This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.
%I A302202 #14 Sep 13 2021 09:17:34
%S A302202 6,21,16,31,412,57,2156,859,382,2811,372,2609,704,37913,618,155,1008,
%T A302202 2407,1210,629,5286,1779,1468,4346275,4130,3247,7024,3891,14638,7025,
%U A302202 4570,4329,147694,1863,11126,81147,20210,3853,116020,7641,6494
%N A302202 a(n) = number of distinct words arising in Post's tag system {00, 1101} applied to the word (100)^n , or a(n) = -1 if this word has an unbounded trajectory.
%C A302202 a(n) = A284119(n) + A284121(n) (or -1 if the trajectory is unbounded).
%C A302202 a(n) is a lower bound on A284116(3n) (assuming that there is no starting string with an unbounded trajectory).
%C A302202 On October 30 2020, a student in my CS 360 class, Zhiping Cai, found that for n = 70051, 96938660265781 (96.9 trillion) steps are needed. See https://github.com/zcai1/posts-problem . I am not sure this has been independently verified. - _Jeffrey Shallit_, Sep 13 2021
%H A302202 Lars Blomberg, <a href="/A302202/b302202.txt">Table of n, a(n) for n = 1..6075</a>
%Y A302202 Cf. A284119, A284121; A284116.
%K A302202 nonn
%O A302202 1,1
%A A302202 _Lars Blomberg_ and _N. J. A. Sloane_, Apr 19 2018