A369172 - cp's OEIS frontend

A369172 Irregular triangle read by rows: row n lists the lengths of the strings of the MIU formal system at the n-th level of the tree generated by recursively applying the system rules, starting from the MI string.

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

[2, 3, 3, 5, 4, 5, 9, 7, 6, 9, 3, 3, 17, 13, 11, 4, 4, 10, 17, 7, 7, 7, 7, 7, 7, 4, 5, 5, 33, 25, 21, 9, 9, 9, 9, 7, 7, 2, 19, 8, 8, 8, 8, 8, 8, 18, 33, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 8, 13, 5, 5, 5, 8, 13, 5, 5, 8, 13, 5, 8, 13, 5, 8, 13, 5, 5, 13, 5, 5, 5, 7, 6, 9, 9]

cp's OEIS Frontend

A369172 Irregular triangle read by rows: row n lists the lengths of the strings of the MIU formal system at the n-th level of the tree generated by recursively applying the system rules, starting from the MI string.

Table of values

List of values

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

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

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