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.

A369413 Maximum number of symbols of a "normal" proof (see comments) for strings (theorems) in the MIU formal system that are n characters long.

Table of values

n a(n)
2 2
3 13
4 94
5 75
6 165
7 139
8 308
9 269
10 348
11 299
12 482
13 423
14 647
15 581
16 780
17 701
18 893
19 807
20 1064
21 965
22 1281
23 1175
24 1654

List of values

[2, 13, 94, 75, 165, 139, 308, 269, 348, 299, 482, 423, 647, 581, 780, 701, 893, 807, 1064, 965, 1281, 1175, 1654]