A369586 - cp's OEIS frontend

A369586 Irregular triangle read by rows: row n lists the lines of the shortest proof for the MIU formal system string (theorem) given by A369173(n+1).

n	a(n)
1	31
2	31
3	311
4	31111
5	301
6	31
7	310
8	31
9	311
10	31
11	311
12	31111
13	311111111
14	3011111
15	30011
16	300110011
17	3001100110
18	30011110
19	300100
20	3001
21	31
22	311
23	31111
24	301
25	3010
26	31
27	311
28	31111
29	311111111
30	3011111
31	30111110
32	301100
33	3011
34	31
35	311
36	31111
37	311110
38	3100
39	31
40	311
41	31111
42	311111111
43	3101111
44	31011110
45	310100
46	3101
47	31
48	311
49	3110

[31, 31, 311, 31111, 301, 31, 310, 31, 311, 31, 311, 31111, 311111111, 3011111, 30011, 300110011, 3001100110, 30011110, 300100, 3001, 31, 311, 31111, 301, 3010, 31, 311, 31111, 311111111, 3011111, 30111110, 301100, 3011, 31, 311, 31111, 311110, 3100, 31, 311, 31111, 311111111, 3101111, 31011110, 310100, 3101, 31, 311, 3110]

cp's OEIS Frontend

A369586 Irregular triangle read by rows: row n lists the lines of the shortest proof for the MIU formal system string (theorem) given by A369173(n+1).

Table of values

List of values