Alternatively, we proceed by **constructing valid sequences** using dynamic programming or recursive counting, but for Olympiad-style reasoning, we can use the **principle of arranging with separation**. - Leaselab