cp's OEIS Frontend

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.

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.

Table of values

n a(n)
1 6
2 21
3 16
4 31
5 412
6 57
7 2156
8 859
9 382
10 2811
11 372
12 2609
13 704
14 37913
15 618
16 155
17 1008
18 2407
19 1210
20 629
21 5286
22 1779
23 1468
24 4346275
25 4130
26 3247
27 7024
28 3891
29 14638
30 7025
31 4570
32 4329
33 147694
34 1863
35 11126
36 81147
37 20210
38 3853
39 116020
40 7641
41 6494

List of values

[6, 21, 16, 31, 412, 57, 2156, 859, 382, 2811, 372, 2609, 704, 37913, 618, 155, 1008, 2407, 1210, 629, 5286, 1779, 1468, 4346275, 4130, 3247, 7024, 3891, 14638, 7025, 4570, 4329, 147694, 1863, 11126, 81147, 20210, 3853, 116020, 7641, 6494]