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.

A369412 Maximum length 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 1
3 4
4 13
5 11
6 18
7 16
8 25
9 23
10 24
11 22
12 26
13 24
14 34
15 32
16 33
17 31
18 35
19 33
20 34
21 32
22 39
23 37
24 49

List of values

[1, 4, 13, 11, 18, 16, 25, 23, 24, 22, 26, 24, 34, 32, 33, 31, 35, 33, 34, 32, 39, 37, 49]