Induction: yes
Formula simplification: yes
Enumeration of all sequences
Total found cyclic sequences: 170387
Total found inductive sequences: 0
Max cyclic length: 12
Distribution of cyclic length
1	10
2	44
3	54
4	3889
5	13
6	158033
7	0
8	0
9	0
10	0
11	0
12	8344
Total terminal nodes: 170387
Max cyclic depth: 224
Found inductions: 86462
Max induction length: 12
Distribution of induction length
1	0
2	4
3	0
4	0
5	0
6	86209
7	0
8	0
9	0
10	0
11	0
12	249
Max number of inductions in a sequence: 6
Max number of variables in a length formula before cyclic: 5
Distribution of cyclic depths
0	77
1	151
2	215
3	294
4	436
5	675
6	881
7	634
8	684
9	665
10	768
11	840
12	912
13	952
14	1019
15	1203
16	1078
17	1162
18	1287
19	1196
20	1267
21	1486
22	1392
23	1591
24	1805
25	1929
26	2056
27	2099
28	2322
29	2247
30	2420
31	2503
32	2266
33	2085
34	2211
35	1948
36	2159
37	2353
38	2372
39	2225
40	2148
41	2295
42	2599
43	2783
44	2990
45	2746
46	2411
47	2463
48	2441
49	2514
50	2478
51	2358
52	1984
53	1873
54	1961
55	2122
56	2014
57	2183
58	2082
59	1889
60	1984
61	2122
62	1921
63	2021
64	1992
65	1845
66	1754
67	1848
68	1696
69	1582
70	1631
71	1724
72	1580
73	1653
74	1605
75	1476
76	1532
77	1539
78	1483
79	1378
80	1343
81	1212
82	1230
83	1211
84	1324
85	1153
86	1293
87	1156
88	1232
89	1192
90	1266
91	1098
92	1102
93	968
94	1017
95	886
96	977
97	819
98	784
99	752
100	762
101	748
102	710
103	650
104	600
105	608
106	576
107	595
108	491
109	499
110	416
111	433
112	405
113	440
114	359
115	365
116	268
117	267
118	205
119	233
120	179
121	162
122	139
123	128
124	132
125	137
126	134
127	115
128	118
129	97
130	97
131	81
132	78
133	60
134	56
135	49
136	44
137	36
138	43
139	25
140	36
141	17
142	29
143	16
144	25
145	12
146	15
147	9
148	7
149	6
150	9
151	5
152	9
153	5
154	1
155	3
156	6
157	1
158	6
159	0
160	0
161	0
162	0
163	2
164	4
165	0
166	0
167	0
168	3
169	2
170	3
171	2
172	3
173	1
174	3
175	0
176	3
177	0
178	0
179	0
180	0
181	0
182	3
183	0
184	0
185	0
186	0
187	1
188	3
189	0
190	0
191	0
192	3
193	0
194	3
195	1
196	0
197	0
198	0
199	0
200	0
201	0
202	0
203	0
204	0
205	0
206	3
207	0
208	3
209	0
210	0
211	0
212	0
213	1
214	0
215	0
216	0
217	0
218	0
219	0
220	0
221	0
222	0
223	0
224	3
Total terminal nodes: 170387
Distribution of number of inductions in a sequence
0	27827
1	38765
2	42822
3	32326
4	19590
5	7743
6	1314

Max induction offset: 2
Max number of decreasing digits: 2
Max number of decreasing stretches: 2
Max number of increasing digits: 2
Max number of increasing stretches: 2

Maxlen step_diff_formula: 126
Maxlen onestep_diff_formula: 36
Maxlen seq_formula: 36
Maxlen condition_history: 564
Maxlen induction_conditions: 65