A369410 - cp's OEIS frontend

A369410 Irregular triangle read by rows: row n lists the length of a "normal" proof (see comments) for each of the distinct derivable strings (theorems) in the MIU formal system that are n characters long.

n	a(n)
2	1
3	4
4	4
5	2
6	13
7	13
8	8
9	13
10	8
11	8
12	11
13	11
14	6
15	11
16	6
17	6
18	11
19	6
20	6
21	6
22	3
23	12
24	12
25	18
26	12
27	18
28	18
29	12
30	18
31	18
32	18
33	12
34	12
35	18
36	18
37	18
38	12
39	18
40	12
41	12
42	12
43	7
44	10
45	10
46	16
47	10
48	16
49	16
50	10
51	16
52	16
53	16
54	10
55	10
56	16
57	16
58	16
59	10
60	16
61	10
62	10
63	10
64	5
65	10
66	16
67	16
68	16
69	10
70	16
71	10
72	10
73	10
74	5
75	16
76	10
77	10
78	10
79	5
80	10
81	10
82	5
83	10
84	5
85	5

[1, 4, 4, 2, 13, 13, 8, 13, 8, 8, 11, 11, 6, 11, 6, 6, 11, 6, 6, 6, 3, 12, 12, 18, 12, 18, 18, 12, 18, 18, 18, 12, 12, 18, 18, 18, 12, 18, 12, 12, 12, 7, 10, 10, 16, 10, 16, 16, 10, 16, 16, 16, 10, 10, 16, 16, 16, 10, 16, 10, 10, 10, 5, 10, 16, 16, 16, 10, 16, 10, 10, 10, 5, 16, 10, 10, 10, 5, 10, 10, 5, 10, 5, 5]

cp's OEIS Frontend

A369410 Irregular triangle read by rows: row n lists the length of a "normal" proof (see comments) for each of the distinct derivable strings (theorems) in the MIU formal system that are n characters long.

Table of values

List of values

n	a(n)
2	1
3	4
4	4
5	2
6	13
7	13
8	8
9	13
10	8
11	8
12	11
13	11
14	6
15	11
16	6
17	6
18	11
19	6
20	6
21	6
22	3
23	12
24	12
25	18
26	12
27	18
28	18
29	12
30	18
31	18
32	18
33	12
34	12
35	18
36	18
37	18
38	12
39	18
40	12
41	12
42	12
43	7
44	10
45	10
46	16
47	10
48	16
49	16
50	10
51	16
52	16
53	16
54	10
55	10
56	16
57	16
58	16
59	10
60	16
61	10
62	10
63	10
64	5
65	10
66	16
67	16
68	16
69	10
70	16
71	10
72	10
73	10
74	5
75	16
76	10
77	10
78	10
79	5
80	10
81	10
82	5
83	10
84	5
85	5

n	a(n)
2	1
3	4
4	4
5	2
6	13
7	13
8	8
9	13
10	8
11	8
12	11
13	11
14	6
15	11
16	6
17	6
18	11
19	6
20	6
21	6
22	3
23	12
24	12
25	18
26	12
27	18
28	18
29	12
30	18
31	18
32	18
33	12
34	12
35	18
36	18
37	18
38	12
39	18
40	12
41	12
42	12
43	7
44	10
45	10
46	16
47	10
48	16
49	16
50	10
51	16
52	16
53	16
54	10
55	10
56	16
57	16
58	16
59	10
60	16
61	10
62	10
63	10
64	5
65	10
66	16
67	16
68	16
69	10
70	16
71	10
72	10
73	10
74	5
75	16
76	10
77	10
78	10
79	5
80	10
81	10
82	5
83	10
84	5
85	5

n	a(n)
2	1
3	4
4	4
5	2
6	13
7	13
8	8
9	13
10	8
11	8
12	11
13	11
14	6
15	11
16	6
17	6
18	11
19	6
20	6
21	6
22	3
23	12
24	12
25	18
26	12
27	18
28	18
29	12
30	18
31	18
32	18
33	12
34	12
35	18
36	18
37	18
38	12
39	18
40	12
41	12
42	12
43	7
44	10
45	10
46	16
47	10
48	16
49	16
50	10
51	16
52	16
53	16
54	10
55	10
56	16
57	16
58	16
59	10
60	16
61	10
62	10
63	10
64	5
65	10
66	16
67	16
68	16
69	10
70	16
71	10
72	10
73	10
74	5
75	16
76	10
77	10
78	10
79	5
80	10
81	10
82	5
83	10
84	5
85	5