$T_n$: ending in exactly one 2 (i.e., last is 2, previous ≠ 2)