A369409 - cp's OEIS frontend

A369409 Irregular triangle read by rows: row n lists the lines of a "normal" proof (see comments) 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	311
8	31111
9	310
10	31
11	311
12	31
13	311
14	31111
15	311111111
16	3111111110
17	31111100
18	311111
19	31111111111
20	311111111110
21	3111111100
22	31111111
23	311101
24	3001
25	31
26	311
27	31111
28	311111111
29	3111111110
30	31111100
31	311111
32	31111111111
33	311111111110
34	3111111100
35	31111111

[31, 31, 311, 31111, 301, 31, 311, 31111, 310, 31, 311, 31, 311, 31111, 311111111, 3111111110, 31111100, 311111, 31111111111, 311111111110, 3111111100, 31111111, 311101, 3001, 31, 311, 31111, 311111111, 3111111110, 31111100, 311111, 31111111111, 311111111110, 3111111100, 31111111]

cp's OEIS Frontend

A369409 Irregular triangle read by rows: row n lists the lines of a "normal" proof (see comments) for the MIU formal system string (theorem) given by A369173(n+1).

Table of values

List of values