253514

Appears in sequences

• Records in A117831.at n=22A118473
• a(n) = largest number of distinct words arising in Post's tag system {00, 1101} applied to a binary word w, over all starting words w of length n, or a(n) = -1 if there is a word w with an unbounded trajectory.at n=36A284116