Let $ a_n $ be the number of valid colorings of $ n $ planets with no two adjacent Jupiter-like planets. - Sourci