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 A353725 #14 May 11 2022 20:24:59 %S A353725 0,1,2,3,4,5,6,7,12,13,16,17,18 %N A353725 Records in A353724. %C A353725 Motivated by a comment in A353715. %e A353725 Table from _Walter Trump_, May 11 2022, showing initial terms of A353725 (column 1) and A353726 (column 3). The central column shows the corresponding entry of A353715 written in base 2. %e A353725 0 1 0 %e A353725 1 110 2 %e A353725 2 1100 3 %e A353725 3 1101000 11 %e A353725 4 11110000 54 %e A353725 5 1111100000 74 %e A353725 6 11101000000 88 %e A353725 7 110110000000 183 %e A353725 12 11111000000000000 3913 %e A353725 13 10011111110000000000000 124845 %e A353725 16 111111111110000000000000000 2469947 %e A353725 17 1111111101100000000000000000 4005550 %e A353725 18 1011111111111000000000000000000 19917707 %Y A353725 Cf. A353709, A353715, A353724, A353726, A353727. %K A353725 nonn,more %O A353725 1,3 %A A353725 _N. J. A. Sloane_, May 11 2022 %E A353725 a(10)-a(13) from _Walter Trump_, May 11 2022