Details

sample61.0ms

Algorithm

intervals

Results

24.0ms

266×

body

valid

simplify3.3s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	26	33
1	41	33
2	88	33
3	178	33
4	397	33
5	802	33
6	1173	33
7	1277	33
8	1616	33
9	2734	33
done	5000	33

prune6.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 26.8b

Counts

2 → 1

localize31.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (+ (* x y) z) y)
0.1b	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
0.1b	(* (+ (* (+ y a) y) b) y)
26.2b	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

rewrite64.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt`
18×	`add-cube-cbrt` `*-un-lft-identity`
12×	`add-exp-log` `add-cbrt-cube`
10×	`pow1`
9×	`times-frac` `associate-r` `associate-l`
6×	`associate-*l/`
5×	`flip3-+` `flip-+`
4×	`add-log-exp`
3×	`pow-prod-down` `prod-exp` `associate-/r` `-commutative` `cbrt-unprod` `associate-/l*` `unswap-sqr`
2×	`associate-/r/` `associate-/l/`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num` `div-inv`

Counts

4 → 91

Calls

4 calls:

8.0ms	(* (+ (* x y) z) y)
12.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
10.0ms	(* (+ (* (+ y a) y) b) y)
31.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

series213.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(* (+ (* x y) z) y)
17.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
9.0ms	(* (+ (* (+ y a) y) b) y)
176.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

simplify4.5min

Counts

103 → 103

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	28	35
1	45	35
2	93	35
3	183	35
4	404	35
5	805	35
6	1140	35
7	1238	35
8	1578	35
9	2713	35
done	5000	35
0	27	34
1	45	34
2	94	34
3	185	34
4	404	34
5	813	34
6	1190	34
7	1292	34
8	1634	34
9	2762	34
done	5000	34
0	27	34
1	42	34
2	89	34
3	179	34
4	400	34
5	809	34
6	1132	34
7	1232	34
8	1559	34
9	2697	34
done	5000	34
0	30	101
1	78	101
2	249	37
3	872	35
4	4454	35
done	5000	35
0	28	69
1	43	69
2	90	69
3	180	69
4	395	69
5	806	69
6	1167	69
7	1271	69
8	1613	69
9	2743	69
done	5001	69
0	27	34
1	42	34
2	89	34
3	179	34
4	400	34
5	809	34
6	1132	34
7	1232	34
8	1559	34
9	2697	34
done	5000	34
0	28	101
1	50	101
2	129	35
3	323	35
4	1146	35
done	5001	35
0	27	34
1	42	34
2	89	34
3	179	34
4	400	34
5	809	34
6	1132	34
7	1232	34
8	1559	34
9	2697	34
done	5000	34
0	27	34
1	42	34
2	89	34
3	179	34
4	400	34
5	809	34
6	1132	34
7	1232	34
8	1559	34
9	2697	34
done	5000	34
0	15	18
1	26	18
2	58	18
3	122	18
4	332	18
5	958	18
6	2109	18
7	3112	18
done	5000	18
0	13	16
1	23	16
2	54	16
3	115	16
4	318	16
5	941	16
6	2060	16
7	3086	16
done	5000	16
0	30	71
1	51	71
2	107	71
3	203	71
4	420	71
5	823	71
6	1155	71
7	1257	71
8	1595	71
9	2723	71
done	5000	71
0	28	35
1	43	35
2	90	35
3	180	35
4	399	35
5	808	35
6	1201	35
7	1301	35
8	1652	35
9	2783	35
done	5000	35
0	29	54
1	46	54
2	95	54
3	186	54
4	401	54
5	810	54
6	1127	54
7	1227	54
8	1561	54
9	2698	54
done	5000	54
0	28	35
1	43	35
2	90	35
3	180	35
4	399	35
5	808	35
6	1201	35
7	1301	35
8	1652	35
9	2783	35
done	5000	35
0	18	39
1	30	37
2	60	37
3	112	37
4	226	37
5	431	37
6	581	37
7	610	37
8	688	37
9	944	37
10	1774	37
done	5000	37
0	27	34
1	42	34
2	89	34
3	179	34
4	400	34
5	809	34
6	1174	34
7	1280	34
8	1621	34
9	2759	34
done	5000	34
0	29	52
1	46	52
2	93	52
3	183	52
4	404	52
5	805	52
6	1140	52
7	1238	52
8	1580	52
9	2726	52
done	5000	52
0	28	35
1	43	35
2	90	35
3	180	35
4	399	35
5	808	35
6	1201	35
7	1301	35
8	1652	35
9	2783	35
done	5000	35
0	28	35
1	43	35
2	90	35
3	180	35
4	399	35
5	808	35
6	1201	35
7	1301	35
8	1652	35
9	2783	35
done	5000	35
0	28	35
1	43	35
2	90	35
3	180	35
4	399	35
5	808	35
6	1201	35
7	1301	35
8	1652	35
9	2783	35
done	5000	35
0	17	20
1	27	18
2	53	18
3	100	18
4	214	18
5	425	18
6	579	18
7	608	18
8	686	18
9	940	18
10	1767	18
done	5000	18
0	27	34
1	42	34
2	89	34
3	179	34
4	400	34
5	809	34
6	1174	34
7	1280	34
8	1621	34
9	2759	34
done	5000	34
0	16	35
1	27	35
2	50	35
3	94	35
4	203	35
5	407	35
6	556	35
7	606	35
8	769	35
9	1282	35
10	3296	35
done	5001	35
0	27	34
1	42	34
2	89	34
3	179	34
4	400	34
5	809	34
6	1132	34
7	1232	34
8	1559	34
9	2697	34
done	5000	34
0	15	18
1	24	18
2	47	18
3	91	18
4	200	18
5	404	18
6	558	18
7	608	18
8	764	18
9	1274	18
10	3293	18
done	5000	18
0	27	34
1	42	34
2	89	34
3	179	34
4	400	34
5	809	34
6	1132	34
7	1232	34
8	1559	34
9	2697	34
done	5000	34
0	2	3
1	4	1
done	4	1
0	26	33
1	41	33
2	88	33
3	178	33
4	397	33
5	802	33
6	1173	33
7	1277	33
8	1616	33
9	2734	33
done	5000	33
0	14	17
1	23	17
2	46	17
3	90	17
4	199	17
5	401	17
6	553	17
7	605	17
8	766	17
9	1278	17
10	3264	17
done	5000	17
0	26	33
1	41	33
2	88	33
3	178	33
4	399	33
5	807	33
6	1173	33
7	1277	33
8	1608	33
9	2727	33
done	5000	33
0	28	51
1	45	51
2	92	51
3	182	51
4	401	51
5	810	51
6	1189	51
7	1289	51
8	1625	51
9	2751	51
done	5001	51
0	27	34
1	42	34
2	89	34
3	179	34
4	400	34
5	809	34
6	1132	34
7	1232	34
8	1559	34
9	2697	34
done	5000	34
0	16	19
1	26	17
2	52	17
3	99	17
4	209	17
5	412	17
6	551	17
7	580	17
8	658	17
9	910	17
10	1743	17
done	5000	17
0	27	34
1	42	34
2	89	34
3	179	34
4	400	34
5	800	34
6	1111	34
7	1209	34
8	1551	34
9	2681	34
done	5001	34
0	27	34
1	42	34
2	89	34
3	179	34
4	400	34
5	800	34
6	1111	34
7	1209	34
8	1551	34
9	2681	34
done	5001	34
0	26	33
1	41	33
2	88	33
3	178	33
4	399	33
5	807	33
6	1173	33
7	1277	33
8	1608	33
9	2727	33
done	5000	33
0	29	37
1	60	37
2	144	37
3	391	37
4	1402	37
done	5000	37
0	28	49
1	54	49
2	136	49
3	362	49
4	1252	49
done	5000	49
0	30	69
1	68	67
2	217	67
3	822	53
4	4215	53
done	5000	53
0	26	33
1	43	33
2	105	33
3	260	33
4	985	33
done	5000	33
0	7	9
1	11	9
2	26	9
3	44	9
4	68	9
5	73	9
6	79	9
7	89	9
8	110	9
9	168	9
10	373	9
11	1287	9
done	5000	9
0	9	11
1	13	11
2	20	11
3	28	11
4	30	11
done	30	11
0	8	10
1	15	10
2	31	10
3	49	10
4	75	10
5	80	10
6	86	10
7	96	10
8	119	10
9	184	10
10	397	10
11	1303	10
done	5000	10
0	8	10
1	14	10
2	39	10
3	76	10
4	158	10
5	279	10
6	666	10
7	2057	10
done	5000	10
0	11	29
1	33	29
2	115	13
3	456	13
4	2353	11
done	5000	11
0	9	21
1	13	21
2	28	21
3	46	21
4	72	21
5	77	21
6	83	21
7	93	21
8	116	21
9	177	21
10	389	21
11	1316	21
done	5000	21
0	8	10
1	12	10
2	27	10
3	45	10
4	73	10
5	78	10
6	84	10
7	94	10
8	115	10
9	177	10
10	380	10
11	1306	10
done	5000	10
0	9	29
1	23	29
2	90	11
3	354	11
4	1369	11
done	5000	11
0	8	10
1	12	10
2	27	10
3	45	10
4	73	10
5	78	10
6	84	10
7	94	10
8	115	10
9	177	10
10	380	10
11	1306	10
done	5000	10
0	8	10
1	12	10
2	27	10
3	45	10
4	73	10
5	78	10
6	84	10
7	94	10
8	115	10
9	177	10
10	380	10
11	1306	10
done	5000	10
0	9	11
1	13	11
2	20	11
3	28	11
4	30	11
done	30	11
0	9	11
1	13	11
2	20	11
3	28	11
4	30	11
done	30	11
0	9	13
1	15	13
2	32	13
3	68	13
4	140	13
5	188	13
6	194	13
done	194	13
0	8	10
1	12	10
2	27	10
3	51	10
4	89	10
done	89	10
0	8	9
1	14	7
2	32	7
3	64	7
4	116	7
5	130	7
done	130	7
0	8	10
1	12	10
2	19	10
3	27	10
4	31	10
done	31	10
0	8	10
1	12	10
2	19	10
3	27	10
4	31	10
done	31	10
0	7	9
1	11	9
2	26	9
3	44	9
4	68	9
5	73	9
6	79	9
7	89	9
8	110	9
9	168	9
10	373	9
11	1287	9
done	5000	9
0	10	13
1	30	13
2	82	13
3	255	13
4	773	13
5	2724	13
done	5000	13
0	9	17
1	24	17
2	70	17
3	199	17
4	632	17
5	1847	17
done	5000	17
0	9	11
1	14	11
2	30	11
3	51	11
4	79	11
5	83	11
6	88	11
7	98	11
8	116	11
9	165	11
10	301	11
11	823	11
12	3129	11
done	5000	11
0	11	13
1	16	13
2	24	13
3	35	13
4	37	13
done	37	13
0	10	12
1	18	12
2	35	12
3	56	12
4	86	12
5	92	12
6	97	12
7	107	12
8	127	12
9	174	12
10	321	12
11	844	12
12	3152	12
done	5000	12
0	10	12
1	17	12
2	43	12
3	83	12
4	177	12
5	312	12
6	786	12
7	2795	12
done	5000	12
0	13	35
1	36	35
2	120	15
3	473	15
4	2547	13
done	5000	13
0	11	25
1	16	25
2	32	25
3	53	25
4	81	25
5	87	25
6	92	25
7	102	25
8	122	25
9	173	25
10	322	25
11	851	25
12	3158	25
done	5000	25
0	10	12
1	15	12
2	31	12
3	52	12
4	80	12
5	86	12
6	91	12
7	101	12
8	121	12
9	168	12
10	310	12
11	832	12
12	3132	12
done	5000	12
0	11	35
1	26	35
2	95	13
3	366	13
4	1465	13
done	5000	13
0	10	12
1	15	12
2	31	12
3	52	12
4	80	12
5	86	12
6	91	12
7	101	12
8	121	12
9	168	12
10	310	12
11	832	12
12	3132	12
done	5000	12
0	10	12
1	15	12
2	31	12
3	52	12
4	80	12
5	86	12
6	91	12
7	101	12
8	121	12
9	168	12
10	310	12
11	832	12
12	3132	12
done	5000	12
0	11	13
1	16	13
2	24	13
3	35	13
4	37	13
done	37	13
0	11	13
1	16	13
2	24	13
3	35	13
4	37	13
done	37	13
0	11	15
1	18	15
2	36	15
3	75	15
4	161	15
5	239	15
6	263	15
done	263	15
0	10	12
1	15	12
2	31	12
3	58	12
4	108	12
5	130	12
done	130	12
0	10	11
1	17	9
2	36	9
3	71	9
4	135	9
5	165	9
done	165	9
0	10	12
1	15	12
2	23	12
3	34	12
done	34	12
0	10	12
1	15	12
2	23	12
3	34	12
done	34	12
0	9	11
1	14	11
2	30	11
3	51	11
4	79	11
5	83	11
6	88	11
7	98	11
8	116	11
9	165	11
10	301	11
11	823	11
12	3129	11
done	5000	11
0	12	15
1	33	15
2	87	15
3	291	15
4	956	15
5	2974	15
done	5000	15
0	11	21
1	27	21
2	79	21
3	243	21
4	710	21
5	2009	21
done	5000	21
0	6	7
1	9	7
2	17	7
3	20	7
done	20	7
0	8	9
1	11	9
done	11	9
0	7	8
1	13	8
2	22	8
3	25	8
done	25	8
0	7	8
1	12	8
2	30	8
3	48	8
4	83	8
5	173	8
6	456	8
7	1325	8
8	4821	8
done	5000	8
0	10	23
1	31	23
2	107	11
3	375	11
4	1425	9
done	5000	9
0	8	17
1	11	17
2	19	17
3	22	17
done	22	17
0	7	8
1	10	8
2	18	8
3	21	8
done	21	8
0	8	23
1	21	23
2	82	9
3	311	9
4	878	9
5	2319	9
done	5000	9
0	7	8
1	10	8
2	18	8
3	21	8
done	21	8
0	7	8
1	10	8
2	18	8
3	21	8
done	21	8
0	8	9
1	11	9
done	11	9
0	8	9
1	11	9
done	11	9
0	8	11
1	13	11
2	23	11
3	43	11
4	59	11
5	61	11
done	61	11
0	7	8
1	10	8
2	18	8
3	26	8
done	26	8
0	7	7
1	12	5
2	23	5
3	39	5
4	49	5
done	49	5
0	7	8
1	10	8
done	10	8
0	7	8
1	10	8
done	10	8
0	6	7
1	9	7
2	17	7
3	20	7
done	20	7
0	9	11
1	28	11
2	74	11
3	186	11
4	407	11
5	1209	11
done	5000	11
0	8	13
1	22	13
2	50	13
3	104	13
4	222	13
5	366	13
6	596	13
7	1129	13
8	4157	13
done	5001	13
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	11	13
1	28	13
2	66	13
3	91	11
4	138	9
5	221	9
6	452	9
7	1434	9
done	5000	9
0	11	13
1	28	13
2	66	13
3	91	11
4	138	9
5	221	9
6	452	9
7	1434	9
done	5000	9
0	3	3
1	4	3
done	4	3
0	10	11
1	24	11
2	64	11
3	95	9
4	155	9
5	310	9
6	845	9
7	3199	9
done	5000	9
0	10	11
1	24	11
2	64	11
3	95	9
4	155	9
5	310	9
6	845	9
7	3199	9
done	5000	9
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7

prune258.0ms

Filtered

83 candidates to 103 candidates (-24.1%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	92	11	103
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	93	11	104

Merged error: 25.8b

Counts

104 → 11

localize29.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt y)
0.6b	(cbrt y)
0.6b	(cbrt y)
26.2b	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (* (+ (* (+ y a) y) b) (* (cbrt y) (cbrt y))) (cbrt y)) c) y) i))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
9×	`cbrt-prod` `times-frac`
6×	`add-exp-log` `add-cbrt-cube`
4×	`pow1` `add-log-exp`
3×	`pow1/3` `associate-/r` `associate-/l`
2×	`flip3-+` `associate-/r/` `flip-+` `associate-/l/`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num` `div-inv`

Counts

4 → 64

Calls

4 calls:

2.0ms	(cbrt y)
2.0ms	(cbrt y)
1.0ms	(cbrt y)
37.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (* (+ (* (+ y a) y) b) (* (cbrt y) (cbrt y))) (cbrt y)) c) y) i))

series279.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(cbrt y)
26.0ms	(cbrt y)
31.0ms	(cbrt y)
196.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (* (+ (* (+ y a) y) b) (* (cbrt y) (cbrt y))) (cbrt y)) c) y) i))

simplify4.3min

Counts

76 → 76

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	31	42
1	53	42
2	107	42
3	237	38
4	585	35
5	1240	35
6	1949	35
7	2583	35
8	2874	35
9	3817	35
done	5000	35
0	30	41
1	53	41
2	108	41
3	239	37
4	585	34
5	1235	34
6	1910	34
7	2587	34
8	2900	34
9	3874	34
done	5001	34
0	30	41
1	50	41
2	103	41
3	233	37
4	597	34
5	1242	34
6	1926	34
7	2466	34
8	2707	34
9	3634	34
done	5001	34
0	33	122
1	86	122
2	263	44
3	929	38
4	4712	35
done	5000	35
0	31	83
1	51	83
2	104	83
3	234	75
4	592	69
5	1255	69
6	1965	69
7	2630	69
8	2941	69
9	3919	69
done	5000	69
0	30	41
1	50	41
2	103	41
3	233	37
4	597	34
5	1242	34
6	1926	34
7	2466	34
8	2707	34
9	3634	34
done	5001	34
0	31	122
1	58	122
2	143	42
3	376	38
4	1345	35
done	5000	35
0	30	41
1	50	41
2	103	41
3	233	37
4	597	34
5	1242	34
6	1926	34
7	2466	34
8	2707	34
9	3634	34
done	5001	34
0	30	41
1	50	41
2	103	41
3	233	37
4	597	34
5	1242	34
6	1926	34
7	2466	34
8	2707	34
9	3634	34
done	5001	34
0	15	18
1	26	18
2	58	18
3	122	18
4	332	18
5	958	18
6	2109	18
7	3112	18
done	5000	18
0	16	23
1	31	23
2	68	23
3	169	19
4	554	16
5	1715	16
6	3921	16
done	5000	16
0	33	85
1	59	85
2	121	85
3	257	77
4	624	71
5	1282	71
6	1991	71
7	2779	71
8	3073	71
9	4043	71
done	5001	71
0	31	42
1	51	42
2	104	42
3	234	38
4	597	35
5	1239	35
6	1971	35
7	2619	35
8	2931	35
9	3853	35
done	5000	35
0	32	61
1	54	61
2	109	61
3	240	57
4	605	54
5	1264	54
6	1954	54
7	2735	54
8	3073	54
9	4061	54
done	5000	54
0	31	42
1	51	42
2	104	42
3	234	38
4	597	35
5	1239	35
6	1971	35
7	2619	35
8	2931	35
9	3853	35
done	5000	35
0	18	39
1	30	37
2	60	37
3	112	37
4	226	37
5	431	37
6	581	37
7	610	37
8	688	37
9	944	37
10	1774	37
done	5000	37
0	30	41
1	50	41
2	103	41
3	233	37
4	606	34
5	1262	34
6	1966	34
7	2610	34
8	2855	34
9	3816	34
done	5001	34
0	32	66
1	54	66
2	107	66
3	237	58
4	600	52
5	1263	52
6	1982	52
7	2725	52
8	3059	52
9	4069	52
done	5000	52
0	31	42
1	51	42
2	104	42
3	234	38
4	597	35
5	1239	35
6	1971	35
7	2619	35
8	2931	35
9	3853	35
done	5000	35
0	31	42
1	51	42
2	104	42
3	234	38
4	597	35
5	1239	35
6	1971	35
7	2619	35
8	2931	35
9	3853	35
done	5000	35
0	31	42
1	51	42
2	104	42
3	234	38
4	597	35
5	1239	35
6	1971	35
7	2619	35
8	2931	35
9	3853	35
done	5000	35
0	17	20
1	27	18
2	53	18
3	100	18
4	214	18
5	425	18
6	579	18
7	608	18
8	686	18
9	940	18
10	1767	18
done	5000	18
0	30	41
1	50	41
2	103	41
3	233	37
4	606	34
5	1262	34
6	1966	34
7	2610	34
8	2855	34
9	3816	34
done	5001	34
0	19	49
1	35	49
2	64	49
3	148	41
4	413	35
5	854	35
6	1165	35
7	1224	35
8	1331	35
9	1777	35
10	3528	35
done	5000	35
0	30	41
1	50	41
2	103	41
3	233	37
4	597	34
5	1242	34
6	1926	34
7	2466	34
8	2707	34
9	3634	34
done	5001	34
0	18	25
1	32	25
2	61	25
3	145	21
4	402	18
5	857	18
6	1174	18
7	1244	18
8	1357	18
9	1814	18
10	3580	18
done	5000	18
0	30	41
1	50	41
2	103	41
3	233	37
4	597	34
5	1242	34
6	1926	34
7	2466	34
8	2707	34
9	3634	34
done	5001	34
0	2	3
1	4	1
done	4	1
0	29	40
1	49	40
2	102	40
3	232	36
4	597	33
5	1239	33
6	1931	33
7	2494	33
8	2798	33
9	3746	33
done	5000	33
0	17	24
1	31	24
2	60	24
3	144	20
4	390	17
5	834	17
6	1160	17
7	1225	17
8	1336	17
9	1789	17
10	3517	17
done	5001	17
0	29	40
1	49	40
2	102	40
3	232	36
4	605	33
5	1251	33
6	1966	33
7	2569	33
8	2828	33
9	3779	33
done	5000	33
0	31	65
1	53	65
2	106	65
3	236	57
4	588	51
5	1241	51
6	1916	51
7	2628	51
8	2905	51
9	3853	51
done	5001	51
0	30	41
1	50	41
2	103	41
3	233	37
4	597	34
5	1242	34
6	1926	34
7	2466	34
8	2707	34
9	3634	34
done	5001	34
0	16	19
1	26	17
2	52	17
3	99	17
4	209	17
5	412	17
6	551	17
7	580	17
8	658	17
9	910	17
10	1743	17
done	5000	17
0	30	41
1	50	41
2	103	41
3	233	37
4	588	34
5	1250	34
6	1964	34
7	2616	34
8	2894	34
9	3868	34
done	5000	34
0	30	41
1	50	41
2	103	41
3	233	37
4	588	34
5	1250	34
6	1964	34
7	2616	34
8	2894	34
9	3868	34
done	5000	34
0	29	40
1	49	40
2	102	40
3	232	36
4	605	33
5	1251	33
6	1966	33
7	2569	33
8	2828	33
9	3779	33
done	5000	33
0	32	44
1	68	44
2	158	44
3	437	40
4	1583	37
done	5001	37
0	31	63
1	62	63
2	150	63
3	437	55
4	1755	49
done	5001	49
0	33	76
1	76	74
2	231	74
3	876	56
4	4388	53
done	5000	53
0	29	40
1	51	40
2	119	40
3	314	36
4	1183	33
done	5000	33
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2

prune171.0ms

Filtered

57 candidates to 76 candidates (-33.3%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	75	1	76
Fresh	1	9	10
Picked	0	1	1
Done	0	0	0
Total	76	11	87

Merged error: 25.8b

Counts

87 → 11

localize32.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
0.1b	(* (+ (* (+ y a) y) b) y)
0.7b	(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
26.1b	(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))

rewrite90.0ms

Algorithm

rewrite-expression-head

Rules

90×	`times-frac`
64×	`add-sqr-sqrt`
60×	`add-cube-cbrt` `*-un-lft-identity`
21×	`add-exp-log`
18×	`associate-/r*`
15×	`add-cbrt-cube`
11×	`associate-/r/`
9×	`pow1`
8×	`flip3-+` `div-exp` `flip-+`
6×	`associate-r` `associate-l` `div-inv` `associate-/l*`
4×	`cbrt-undiv` `associate-*l/` `add-log-exp`
2×	`rec-exp` `frac-2neg` `1-exp` `pow-prod-down` `prod-exp` `clear-num` `*-commutative` `cbrt-unprod` `associate-/l/` `unswap-sqr`
1×	`pow-flip` `inv-pow`

Counts

4 → 155

Calls

4 calls:

13.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
11.0ms	(* (+ (* (+ y a) y) b) y)
28.0ms	(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
31.0ms	(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))

series486.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
15.0ms	(* (+ (* (+ y a) y) b) y)
167.0ms	(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
287.0ms	(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))

simplify11.0min

Counts

167 → 167

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	28	35
1	45	35
2	93	35
3	183	35
4	406	35
5	809	35
6	1143	35
7	1241	35
8	1577	35
9	2697	35
done	5000	35
0	27	34
1	45	34
2	94	34
3	185	34
4	408	34
5	813	34
6	1159	34
7	1259	34
8	1597	34
9	2716	34
done	5000	34
0	27	34
1	42	34
2	89	34
3	179	34
4	400	34
5	800	34
6	1111	34
7	1209	34
8	1551	34
9	2681	34
done	5001	34
0	30	101
1	78	101
2	249	37
3	872	35
4	4429	35
done	5000	35
0	28	69
1	43	69
2	90	69
3	180	69
4	401	69
5	804	69
6	1155	69
7	1253	69
8	1596	69
9	2720	69
done	5001	69
0	27	34
1	42	34
2	89	34
3	179	34
4	400	34
5	800	34
6	1111	34
7	1209	34
8	1551	34
9	2681	34
done	5001	34
0	28	101
1	50	101
2	129	35
3	323	35
4	1148	35
done	5001	35
0	27	34
1	42	34
2	89	34
3	179	34
4	400	34
5	800	34
6	1111	34
7	1209	34
8	1551	34
9	2681	34
done	5001	34
0	27	34
1	42	34
2	89	34
3	179	34
4	400	34
5	800	34
6	1111	34
7	1209	34
8	1551	34
9	2681	34
done	5001	34
0	13	16
1	23	16
2	54	16
3	115	16
4	318	16
5	941	16
6	2060	16
7	3086	16
done	5000	16
0	15	18
1	26	18
2	58	18
3	122	18
4	332	18
5	958	18
6	2109	18
7	3112	18
done	5000	18
0	30	71
1	51	71
2	107	71
3	203	71
4	424	71
5	825	71
6	1117	71
7	1215	71
8	1564	71
9	2682	71
done	5000	71
0	28	35
1	43	35
2	90	35
3	180	35
4	403	35
5	806	35
6	1164	35
7	1264	35
8	1600	35
9	2729	35
done	5001	35
0	29	52
1	46	52
2	95	52
3	186	52
4	405	52
5	808	52
6	1135	52
7	1235	52
8	1574	52
9	2705	52
done	5000	52
0	28	35
1	43	35
2	90	35
3	180	35
4	403	35
5	806	35
6	1164	35
7	1264	35
8	1600	35
9	2729	35
done	5001	35
0	16	35
1	27	33
2	56	33
3	105	33
4	214	33
5	420	33
6	586	33
7	636	33
8	797	33
9	1313	33
10	3297	33
done	5000	33
0	27	34
1	42	34
2	89	34
3	179	34
4	400	34
5	801	34
6	1135	34
7	1231	34
8	1573	34
9	2697	34
done	5001	34
0	29	54
1	46	54
2	93	54
3	183	54
4	406	54
5	809	54
6	1145	54
7	1247	54
8	1588	54
9	2731	54
done	5000	54
0	28	35
1	43	35
2	90	35
3	180	35
4	403	35
5	806	35
6	1164	35
7	1264	35
8	1600	35
9	2729	35
done	5001	35
0	28	35
1	43	35
2	90	35
3	180	35
4	403	35
5	806	35
6	1164	35
7	1264	35
8	1600	35
9	2729	35
done	5001	35
0	28	35
1	43	35
2	90	35
3	180	35
4	403	35
5	806	35
6	1164	35
7	1264	35
8	1600	35
9	2729	35
done	5001	35
0	15	18
1	24	16
2	49	16
3	93	16
4	202	16
5	408	16
6	560	16
7	608	16
8	772	16
9	1289	16
10	3280	16
done	5001	16
0	27	34
1	42	34
2	89	34
3	179	34
4	400	34
5	801	34
6	1135	34
7	1231	34
8	1573	34
9	2697	34
done	5001	34
0	18	39
1	30	39
2	54	39
3	101	39
4	217	39
5	424	39
6	581	39
7	610	39
8	688	39
9	941	39
10	1770	39
done	5001	39
0	27	34
1	42	34
2	89	34
3	179	34
4	400	34
5	800	34
6	1111	34
7	1209	34
8	1551	34
9	2681	34
done	5001	34
0	17	20
1	27	20
2	51	20
3	98	20
4	212	20
5	415	20
6	560	20
7	589	20
8	667	20
9	917	20
10	1737	20
done	5000	20
0	27	34
1	42	34
2	89	34
3	179	34
4	400	34
5	800	34
6	1111	34
7	1209	34
8	1551	34
9	2681	34
done	5001	34
0	2	3
1	4	1
done	4	1
0	26	33
1	41	33
2	88	33
3	178	33
4	399	33
5	807	33
6	1173	33
7	1277	33
8	1608	33
9	2727	33
done	5000	33
0	16	19
1	26	19
2	50	19
3	97	19
4	211	19
5	418	19
6	573	19
7	602	19
8	678	19
9	924	19
10	1752	19
done	5001	19
0	26	33
1	41	33
2	88	33
3	178	33
4	397	33
5	802	33
6	1173	33
7	1277	33
8	1616	33
9	2734	33
done	5000	33
0	28	53
1	45	53
2	92	53
3	182	53
4	405	53
5	814	53
6	1167	53
7	1269	53
8	1606	53
9	2728	53
done	5000	53
0	27	34
1	42	34
2	89	34
3	179	34
4	400	34
5	800	34
6	1111	34
7	1209	34
8	1551	34
9	2681	34
done	5001	34
0	14	17
1	23	15
2	48	15
3	92	15
4	199	15
5	403	15
6	563	15
7	611	15
8	773	15
9	1304	15
10	3300	15
done	5000	15
0	27	34
1	42	34
2	89	34
3	179	34
4	400	34
5	809	34
6	1132	34
7	1232	34
8	1559	34
9	2697	34
done	5000	34
0	27	34
1	42	34
2	89	34
3	179	34
4	400	34
5	809	34
6	1132	34
7	1232	34
8	1559	34
9	2697	34
done	5000	34
0	26	33
1	41	33
2	88	33
3	178	33
4	397	33
5	802	33
6	1173	33
7	1277	33
8	1616	33
9	2734	33
done	5000	33
0	29	37
1	60	37
2	144	37
3	391	37
4	1402	37
done	5000	37
0	28	51
1	54	51
2	136	51
3	361	51
4	1252	51
done	5002	51
0	30	65
1	68	63
2	217	63
3	822	51
4	4218	51
done	5001	51
0	26	33
1	43	33
2	105	33
3	260	33
4	981	33
done	5001	33
0	2	2
1	5	1
done	5	1
0	29	36
1	46	36
2	97	36
3	189	36
4	413	35
5	820	35
6	1178	35
7	1280	35
8	1626	35
9	2738	35
done	5001	35
0	28	35
1	46	35
2	95	35
3	189	35
4	412	35
5	814	35
6	1116	35
7	1212	35
8	1556	35
9	2679	35
done	5000	35
0	30	37
1	51	36
2	111	36
3	220	35
4	470	35
5	899	35
6	1217	35
7	1329	35
8	1667	35
9	2793	35
done	5001	35
0	29	36
1	49	35
2	104	35
3	207	35
4	454	35
5	893	35
6	1193	35
7	1293	35
8	1644	35
9	2764	35
done	5001	35
0	31	38
1	54	37
2	109	36
3	224	35
4	475	35
5	905	35
6	1223	35
7	1340	35
8	1677	35
9	2791	35
done	5000	35
0	30	37
1	52	36
2	104	35
3	211	35
4	456	35
5	884	35
6	1215	35
7	1319	35
8	1673	35
9	2794	35
done	5001	35
0	29	36
1	52	35
2	116	35
3	248	34
4	648	34
5	1697	34
6	3188	34
7	4565	34
done	5000	34
0	29	36
1	48	36
2	108	36
3	237	34
4	658	34
5	1868	34
6	4431	34
done	5001	34
0	34	107
1	89	103
2	290	39
3	1140	37
done	5000	37
0	32	107
1	63	103
2	162	37
3	480	37
4	1904	35
done	5000	35
0	30	73
1	49	73
2	107	73
3	226	69
4	600	69
5	1615	69
6	3110	69
7	4386	69
done	5000	69
0	29	36
1	48	36
2	106	36
3	225	34
4	599	34
5	1603	34
6	3094	34
7	4431	34
done	5000	34
0	30	107
1	56	107
2	149	37
3	506	35
4	1903	35
done	5000	35
0	29	36
1	48	36
2	106	36
3	225	34
4	599	34
5	1603	34
6	3094	34
7	4431	34
done	5000	34
0	29	36
1	48	36
2	106	36
3	225	34
4	599	34
5	1603	34
6	3094	34
7	4431	34
done	5000	34
0	2	2
1	5	1
done	5	1
0	27	34
1	44	34
2	95	34
3	197	34
4	498	34
5	1268	34
6	2682	34
7	4459	34
done	5000	34
0	32	75
1	55	73
2	111	71
3	207	71
4	430	71
5	832	71
6	1194	71
7	1288	71
8	1624	71
9	2746	71
done	5000	71
0	30	37
1	47	36
2	94	36
3	184	36
4	401	36
5	803	36
6	1130	36
7	1230	36
8	1565	36
9	2702	36
done	5000	36
0	31	40
1	50	38
2	99	36
3	190	36
4	415	36
5	819	36
6	1168	36
7	1272	36
8	1612	36
9	2747	36
done	5000	36
0	30	37
1	47	36
2	94	36
3	184	36
4	401	36
5	803	36
6	1130	36
7	1230	36
8	1565	36
9	2702	36
done	5000	36
0	34	77
1	61	75
2	144	73
3	304	71
4	579	71
5	985	71
6	1301	71
7	1403	71
8	1736	71
9	2858	71
done	5001	71
0	31	38
1	50	37
2	100	37
3	191	35
4	425	35
5	840	35
6	1179	35
7	1281	35
8	1630	35
9	2764	35
done	5001	35
0	33	58
1	56	56
2	121	54
3	244	52
4	484	52
5	888	52
6	1195	52
7	1297	52
8	1644	52
9	2765	52
done	5000	52
0	31	38
1	50	37
2	100	37
3	191	35
4	425	35
5	840	35
6	1179	35
7	1281	35
8	1630	35
9	2764	35
done	5001	35
0	19	41
1	34	35
2	71	35
3	124	35
4	231	35
5	433	35
6	605	35
7	655	35
8	817	35
9	1339	35
10	3337	35
done	5000	35
0	30	37
1	49	36
2	107	36
3	226	34
4	602	34
5	1624	34
6	3122	34
7	4486	34
done	5001	34
0	33	60
1	56	58
2	118	56
3	228	54
4	453	54
5	855	54
6	1164	54
7	1262	54
8	1603	54
9	2712	54
done	5001	54
0	31	38
1	50	37
2	100	37
3	191	35
4	425	35
5	840	35
6	1179	35
7	1281	35
8	1630	35
9	2764	35
done	5001	35
0	32	41
1	53	39
2	109	37
3	207	35
4	429	35
5	838	35
6	1151	35
7	1247	35
8	1581	35
9	2689	35
done	5000	35
0	31	38
1	50	37
2	100	37
3	191	35
4	425	35
5	840	35
6	1179	35
7	1281	35
8	1630	35
9	2764	35
done	5001	35
0	18	24
1	31	18
2	59	18
3	103	18
4	210	18
5	410	18
6	565	18
7	613	18
8	779	18
9	1287	18
10	3277	18
done	5000	18
0	30	37
1	49	36
2	107	36
3	226	34
4	602	34
5	1624	34
6	3122	34
7	4486	34
done	5001	34
0	21	45
1	37	43
2	76	39
3	140	37
4	264	37
5	464	37
6	621	37
7	650	37
8	730	37
9	975	37
10	1808	37
done	5001	37
0	30	37
1	49	36
2	99	36
3	190	34
4	426	34
5	839	34
6	1188	34
7	1292	34
8	1640	34
9	2742	34
done	5000	34
0	20	26
1	34	24
2	67	20
3	121	18
4	235	18
5	440	18
6	615	18
7	644	18
8	722	18
9	976	18
10	1811	18
done	5000	18
0	30	37
1	49	36
2	99	36
3	190	34
4	426	34
5	839	34
6	1188	34
7	1292	34
8	1640	34
9	2742	34
done	5000	34
0	5	9
1	11	1
done	11	1
0	29	36
1	48	35
2	106	35
3	225	33
4	601	33
5	1618	33
6	3115	33
7	4403	33
done	5000	33
0	4	7
1	8	3
2	12	1
done	12	1
0	29	36
1	48	35
2	106	35
3	225	33
4	601	33
5	1618	33
6	3115	33
7	4403	33
done	5000	33
0	16	21
1	27	19
2	52	17
3	97	17
4	206	17
5	406	17
6	573	17
7	621	17
8	786	17
9	1309	17
10	3333	17
done	5001	17
0	18	22
1	30	21
2	65	19
3	133	17
4	347	17
5	785	17
6	1204	17
7	1360	17
8	1505	17
9	1897	17
10	3130	17
done	5001	17
0	33	43
1	70	41
2	171	39
3	480	37
4	2031	37
done	5000	37
0	21	56
1	47	53
2	123	53
3	358	39
4	1390	39
done	5001	39
0	32	57
1	64	55
2	163	53
3	479	51
4	1908	51
done	5001	51
0	17	20
1	28	19
2	53	19
3	104	19
4	228	19
5	461	19
6	705	19
7	945	19
8	1765	19
9	4041	19
done	5001	19
0	31	72
1	50	71
2	97	71
3	187	71
4	406	71
5	810	71
6	1114	71
7	1208	71
8	1550	71
9	2674	71
done	5000	71
0	30	37
1	47	36
2	94	36
3	184	36
4	401	36
5	803	36
6	1130	36
7	1230	36
8	1565	36
9	2702	36
done	5000	36
0	30	37
1	47	36
2	94	36
3	184	36
4	401	36
5	803	36
6	1130	36
7	1230	36
8	1565	36
9	2702	36
done	5000	36
0	30	37
1	47	36
2	94	36
3	184	36
4	401	36
5	803	36
6	1130	36
7	1230	36
8	1565	36
9	2702	36
done	5000	36
0	33	74
1	58	73
2	126	73
3	245	71
4	528	71
5	990	71
6	1290	71
7	1396	71
8	1735	71
9	2844	71
done	5000	71
0	31	38
1	50	37
2	100	37
3	191	35
4	425	35
5	840	35
6	1179	35
7	1281	35
8	1630	35
9	2764	35
done	5001	35
0	32	55
1	53	54
2	108	54
3	211	52
4	461	52
5	902	52
6	1208	52
7	1312	52
8	1647	52
9	2765	52
done	5000	52
0	31	38
1	50	37
2	100	37
3	191	35
4	425	35
5	840	35
6	1179	35
7	1281	35
8	1630	35
9	2764	35
done	5001	35
0	18	38
1	31	35
2	65	35
3	118	35
4	225	35
5	425	35
6	599	35
7	645	35
8	812	35
9	1334	35
10	3351	35
done	5000	35
0	30	37
1	49	36
2	107	36
3	226	34
4	602	34
5	1624	34
6	3122	34
7	4486	34
done	5001	34
0	32	57
1	53	56
2	107	56
3	205	54
4	448	54
5	859	54
6	1182	54
7	1282	54
8	1621	54
9	2740	54
done	5000	54
0	31	38
1	50	37
2	100	37
3	191	35
4	425	35
5	840	35
6	1179	35
7	1281	35
8	1630	35
9	2764	35
done	5001	35
0	31	38
1	50	37
2	100	37
3	191	35
4	425	35
5	840	35
6	1179	35
7	1281	35
8	1630	35
9	2764	35
done	5001	35
0	31	38
1	50	37
2	100	37
3	191	35
4	425	35
5	840	35
6	1179	35
7	1281	35
8	1630	35
9	2764	35
done	5001	35
0	17	21
1	28	18
2	56	18
3	100	18
4	209	18
5	413	18
6	560	18
7	608	18
8	778	18
9	1306	18
10	3322	18
done	5001	18
0	30	37
1	49	36
2	107	36
3	226	34
4	602	34
5	1624	34
6	3122	34
7	4486	34
done	5001	34
0	20	42
1	34	41
2	65	39
3	121	37
4	249	37
5	454	37
6	620	37
7	649	37
8	727	37
9	982	37
10	1814	37
done	5001	37
0	30	37
1	49	36
2	99	36
3	190	34
4	426	34
5	839	34
6	1188	34
7	1292	34
8	1640	34
9	2742	34
done	5000	34
0	19	23
1	31	22
2	58	20
3	110	18
4	230	18
5	433	18
6	589	18
7	618	18
8	696	18
9	946	18
10	1774	18
done	5000	18
0	30	37
1	49	36
2	99	36
3	190	34
4	426	34
5	839	34
6	1188	34
7	1292	34
8	1640	34
9	2742	34
done	5000	34
0	4	6
1	8	1
done	8	1
0	29	36
1	48	35
2	106	35
3	225	33
4	601	33
5	1618	33
6	3115	33
7	4403	33
done	5000	33
0	3	4
1	5	1
done	5	1
0	29	36
1	48	35
2	106	35
3	225	33
4	601	33
5	1618	33
6	3115	33
7	4403	33
done	5000	33
0	15	18
1	24	17
2	47	17
3	91	17
4	198	17
5	398	17
6	553	17
7	603	17
8	765	17
9	1283	17
10	3267	17
done	5000	17
0	18	22
1	30	21
2	65	19
3	133	17
4	347	17
5	785	17
6	1204	17
7	1360	17
8	1505	17
9	1897	17
10	3130	17
done	5001	17
0	32	40
1	67	39
2	162	39
3	458	37
4	1972	37
done	5001	37
0	21	56
1	47	53
2	123	53
3	358	39
4	1390	39
done	5001	39
0	31	54
1	61	53
2	154	53
3	456	51
4	1867	51
done	5000	51
0	17	20
1	28	19
2	53	19
3	104	19
4	228	19
5	461	19
6	705	19
7	945	19
8	1765	19
9	4041	19
done	5001	19
0	30	71
1	49	71
2	96	71
3	186	71
4	409	71
5	818	71
6	1139	71
7	1237	71
8	1575	71
9	2709	71
done	5000	71
0	29	36
1	46	36
2	93	36
3	183	36
4	412	36
5	818	36
6	1119	36
7	1217	36
8	1557	36
9	2686	36
done	5001	36
0	29	36
1	46	36
2	93	36
3	183	36
4	412	36
5	818	36
6	1119	36
7	1217	36
8	1557	36
9	2686	36
done	5001	36
0	29	36
1	46	36
2	93	36
3	183	36
4	412	36
5	818	36
6	1119	36
7	1217	36
8	1557	36
9	2686	36
done	5001	36
0	32	73
1	57	73
2	125	73
3	244	71
4	527	71
5	1006	71
6	1291	71
7	1395	71
8	1724	71
9	2851	71
done	5000	71
0	30	37
1	49	37
2	99	37
3	190	35
4	428	35
5	841	35
6	1152	35
7	1256	35
8	1590	35
9	2731	35
done	5000	35
0	31	54
1	52	54
2	107	54
3	210	52
4	458	52
5	894	52
6	1194	52
7	1290	52
8	1626	52
9	2747	52
done	5001	52
0	30	37
1	49	37
2	99	37
3	190	35
4	428	35
5	841	35
6	1152	35
7	1256	35
8	1590	35
9	2731	35
done	5000	35
0	17	37
1	30	35
2	64	35
3	117	35
4	226	35
5	434	35
6	591	35
7	639	35
8	800	35
9	1324	35
10	3339	35
done	5000	35
0	29	36
1	48	36
2	106	36
3	225	34
4	603	34
5	1613	34
6	3131	34
7	4445	34
done	5000	34
0	31	56
1	52	56
2	106	56
3	204	54
4	445	54
5	864	54
6	1155	54
7	1257	54
8	1596	54
9	2722	54
done	5000	54
0	30	37
1	49	37
2	99	37
3	190	35
4	428	35
5	841	35
6	1152	35
7	1256	35
8	1590	35
9	2731	35
done	5000	35
0	30	37
1	49	37
2	99	37
3	190	35
4	428	35
5	841	35
6	1152	35
7	1256	35
8	1590	35
9	2731	35
done	5000	35
0	30	37
1	49	37
2	99	37
3	190	35
4	428	35
5	841	35
6	1152	35
7	1256	35
8	1590	35
9	2731	35
done	5000	35
0	16	20
1	27	18
2	55	18
3	99	18
4	208	18
5	410	18
6	564	18
7	614	18
8	776	18
9	1283	18
10	3277	18
done	5001	18
0	29	36
1	48	36
2	106	36
3	225	34
4	603	34
5	1613	34
6	3131	34
7	4445	34
done	5000	34
0	19	41
1	33	37
2	66	37
3	126	37
4	251	37
5	459	37
6	609	37
7	638	37
8	718	37
9	973	37
10	1807	37
done	5001	37
0	29	36
1	48	36
2	98	36
3	189	34
4	425	34
5	842	34
6	1155	34
7	1261	34
8	1598	34
9	2727	34
done	5001	34
0	18	22
1	30	18
2	59	18
3	108	18
4	225	18
5	428	18
6	572	18
7	601	18
8	683	18
9	935	18
10	1781	18
done	5001	18
0	29	36
1	48	36
2	98	36
3	189	34
4	425	34
5	842	34
6	1155	34
7	1261	34
8	1598	34
9	2727	34
done	5001	34
0	3	5
1	6	1
done	6	1
0	28	35
1	47	35
2	105	35
3	224	33
4	602	33
5	1615	33
6	3118	33
7	4420	33
done	5000	33
0	2	3
1	4	1
done	4	1
0	28	35
1	47	35
2	105	35
3	224	33
4	602	33
5	1615	33
6	3118	33
7	4420	33
done	5000	33
0	14	17
1	23	17
2	46	17
3	90	17
4	199	17
5	401	17
6	553	17
7	605	17
8	766	17
9	1278	17
10	3264	17
done	5000	17
0	17	21
1	29	17
2	66	17
3	139	17
4	362	17
5	786	17
6	1189	17
7	1354	17
8	1503	17
9	1884	17
10	3080	17
done	5000	17
0	31	39
1	66	39
2	161	39
3	471	37
4	2029	37
done	5000	37
0	20	55
1	46	53
2	122	53
3	356	39
4	1390	39
done	5000	39
0	30	53
1	60	53
2	153	53
3	456	51
4	1840	51
done	5001	51
0	16	19
1	27	19
2	52	19
3	103	19
4	223	19
5	458	19
6	717	19
7	957	19
8	1780	19
9	4054	19
done	5000	19
0	28	35
1	47	35
2	105	35
3	224	33
4	602	33
5	1615	33
6	3118	33
7	4420	33
done	5000	33
0	28	35
1	47	33
2	109	33
3	225	33
4	554	33
5	1172	33
6	1789	33
7	2231	33
8	2686	33
9	3956	33
done	5000	33
0	30	71
1	49	71
2	96	71
3	186	71
4	409	71
5	818	71
6	1139	71
7	1237	71
8	1575	71
9	2709	71
done	5000	71
0	29	36
1	46	36
2	93	36
3	183	36
4	412	36
5	818	36
6	1119	36
7	1217	36
8	1557	36
9	2686	36
done	5001	36
0	32	73
1	57	73
2	125	73
3	244	71
4	527	71
5	1006	71
6	1291	71
7	1395	71
8	1724	71
9	2851	71
done	5000	71
0	31	54
1	52	54
2	107	54
3	210	52
4	458	52
5	894	52
6	1194	52
7	1290	52
8	1626	52
9	2747	52
done	5001	52
0	17	37
1	30	35
2	64	35
3	117	35
4	226	35
5	434	35
6	591	35
7	639	35
8	800	35
9	1324	35
10	3339	35
done	5000	35
0	31	56
1	52	56
2	106	56
3	204	54
4	445	54
5	864	54
6	1155	54
7	1257	54
8	1596	54
9	2722	54
done	5000	54
0	30	37
1	49	37
2	99	37
3	190	35
4	428	35
5	841	35
6	1152	35
7	1256	35
8	1590	35
9	2731	35
done	5000	35
0	16	20
1	27	18
2	55	18
3	99	18
4	208	18
5	410	18
6	564	18
7	614	18
8	776	18
9	1283	18
10	3277	18
done	5001	18
0	19	41
1	33	37
2	66	37
3	126	37
4	251	37
5	459	37
6	609	37
7	638	37
8	718	37
9	973	37
10	1807	37
done	5001	37
0	18	22
1	30	18
2	59	18
3	108	18
4	225	18
5	428	18
6	572	18
7	601	18
8	683	18
9	935	18
10	1781	18
done	5001	18
0	3	5
1	6	1
done	6	1
0	2	3
1	4	1
done	4	1
0	14	17
1	23	17
2	46	17
3	90	17
4	199	17
5	401	17
6	553	17
7	605	17
8	766	17
9	1278	17
10	3264	17
done	5000	17
0	31	39
1	66	39
2	161	39
3	471	37
4	2029	37
done	5000	37
0	30	53
1	60	53
2	153	53
3	456	51
4	1840	51
done	5001	51
0	29	36
1	48	35
2	106	35
3	212	33
4	538	33
5	1145	33
6	1792	33
7	2247	33
8	2733	33
9	4044	33
done	5000	33
0	29	36
1	48	35
2	106	35
3	212	33
4	538	33
5	1145	33
6	1792	33
7	2247	33
8	2733	33
9	4044	33
done	5000	33
0	28	35
1	47	33
2	109	33
3	225	33
4	554	33
5	1172	33
6	1789	33
7	2231	33
8	2686	33
9	3956	33
done	5000	33
0	14	17
1	23	17
2	46	17
3	90	17
4	199	17
5	401	17
6	553	17
7	605	17
8	766	17
9	1278	17
10	3264	17
done	5000	17
0	7	9
1	11	9
2	26	9
3	44	9
4	68	9
5	73	9
6	79	9
7	89	9
8	110	9
9	168	9
10	373	9
11	1287	9
done	5000	9
0	9	11
1	13	11
2	20	11
3	28	11
4	30	11
done	30	11
0	8	10
1	15	10
2	31	10
3	49	10
4	75	10
5	80	10
6	86	10
7	96	10
8	119	10
9	184	10
10	397	10
11	1303	10
done	5000	10
0	8	10
1	14	10
2	39	10
3	76	10
4	158	10
5	279	10
6	666	10
7	2057	10
done	5000	10
0	11	29
1	33	29
2	115	13
3	456	13
4	2353	11
done	5000	11
0	9	21
1	13	21
2	28	21
3	46	21
4	72	21
5	77	21
6	83	21
7	93	21
8	116	21
9	177	21
10	389	21
11	1316	21
done	5000	21
0	8	10
1	12	10
2	27	10
3	45	10
4	73	10
5	78	10
6	84	10
7	94	10
8	115	10
9	177	10
10	380	10
11	1306	10
done	5000	10
0	9	29
1	23	29
2	90	11
3	354	11
4	1369	11
done	5000	11
0	8	10
1	12	10
2	27	10
3	45	10
4	73	10
5	78	10
6	84	10
7	94	10
8	115	10
9	177	10
10	380	10
11	1306	10
done	5000	10
0	8	10
1	12	10
2	27	10
3	45	10
4	73	10
5	78	10
6	84	10
7	94	10
8	115	10
9	177	10
10	380	10
11	1306	10
done	5000	10
0	9	11
1	13	11
2	20	11
3	28	11
4	30	11
done	30	11
0	9	11
1	13	11
2	20	11
3	28	11
4	30	11
done	30	11
0	9	13
1	15	13
2	32	13
3	68	13
4	140	13
5	188	13
6	194	13
done	194	13
0	8	10
1	12	10
2	27	10
3	51	10
4	89	10
done	89	10
0	8	9
1	14	7
2	32	7
3	64	7
4	116	7
5	130	7
done	130	7
0	8	10
1	12	10
2	19	10
3	27	10
4	31	10
done	31	10
0	8	10
1	12	10
2	19	10
3	27	10
4	31	10
done	31	10
0	7	9
1	11	9
2	26	9
3	44	9
4	68	9
5	73	9
6	79	9
7	89	9
8	110	9
9	168	9
10	373	9
11	1287	9
done	5000	9
0	10	13
1	30	13
2	82	13
3	255	13
4	773	13
5	2724	13
done	5000	13
0	9	17
1	24	17
2	70	17
3	199	17
4	632	17
5	1847	17
done	5000	17
0	9	11
1	14	11
2	30	11
3	51	11
4	79	11
5	83	11
6	88	11
7	98	11
8	116	11
9	165	11
10	301	11
11	823	11
12	3129	11
done	5000	11
0	11	13
1	16	13
2	24	13
3	35	13
4	37	13
done	37	13
0	10	12
1	18	12
2	35	12
3	56	12
4	86	12
5	92	12
6	97	12
7	107	12
8	127	12
9	174	12
10	321	12
11	844	12
12	3152	12
done	5000	12
0	10	12
1	17	12
2	43	12
3	83	12
4	177	12
5	312	12
6	786	12
7	2795	12
done	5000	12
0	13	35
1	36	35
2	120	15
3	473	15
4	2547	13
done	5000	13
0	11	25
1	16	25
2	32	25
3	53	25
4	81	25
5	87	25
6	92	25
7	102	25
8	122	25
9	173	25
10	322	25
11	851	25
12	3158	25
done	5000	25
0	10	12
1	15	12
2	31	12
3	52	12
4	80	12
5	86	12
6	91	12
7	101	12
8	121	12
9	168	12
10	310	12
11	832	12
12	3132	12
done	5000	12
0	11	35
1	26	35
2	95	13
3	366	13
4	1465	13
done	5000	13
0	10	12
1	15	12
2	31	12
3	52	12
4	80	12
5	86	12
6	91	12
7	101	12
8	121	12
9	168	12
10	310	12
11	832	12
12	3132	12
done	5000	12
0	10	12
1	15	12
2	31	12
3	52	12
4	80	12
5	86	12
6	91	12
7	101	12
8	121	12
9	168	12
10	310	12
11	832	12
12	3132	12
done	5000	12
0	11	13
1	16	13
2	24	13
3	35	13
4	37	13
done	37	13
0	11	13
1	16	13
2	24	13
3	35	13
4	37	13
done	37	13
0	11	15
1	18	15
2	36	15
3	75	15
4	161	15
5	239	15
6	263	15
done	263	15
0	10	12
1	15	12
2	31	12
3	58	12
4	108	12
5	130	12
done	130	12
0	10	11
1	17	9
2	36	9
3	71	9
4	135	9
5	165	9
done	165	9
0	10	12
1	15	12
2	23	12
3	34	12
done	34	12
0	10	12
1	15	12
2	23	12
3	34	12
done	34	12
0	9	11
1	14	11
2	30	11
3	51	11
4	79	11
5	83	11
6	88	11
7	98	11
8	116	11
9	165	11
10	301	11
11	823	11
12	3129	11
done	5000	11
0	12	15
1	33	15
2	87	15
3	291	15
4	956	15
5	2974	15
done	5000	15
0	11	21
1	27	21
2	79	21
3	243	21
4	710	21
5	2009	21
done	5000	21
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	11	13
1	28	13
2	66	13
3	91	11
4	138	9
5	221	9
6	452	9
7	1434	9
done	5000	9
0	11	13
1	28	13
2	66	13
3	91	11
4	138	9
5	221	9
6	452	9
7	1434	9
done	5000	9
0	3	3
1	4	3
done	4	3
0	10	11
1	24	11
2	64	11
3	95	9
4	155	9
5	310	9
6	845	9
7	3199	9
done	5000	9
0	10	11
1	24	11
2	64	11
3	95	9
4	155	9
5	310	9
6	845	9
7	3199	9
done	5000	9

prune298.0ms

Filtered

107 candidates to 167 candidates (-56.1%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	164	3	167
Fresh	2	7	9
Picked	0	1	1
Done	0	1	1
Total	166	12	178

Merged error: 25.8b

Counts

178 → 12

localize33.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (+ (* (+ y a) y) b) y)
0.2b	(/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
0.6b	(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
25.9b	(/ (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))

rewrite114.0ms

Algorithm

rewrite-expression-head

Rules

531×	`times-frac`
248×	`add-sqr-sqrt`
246×	`add-cube-cbrt` `*-un-lft-identity`
69×	`associate-/r/`
54×	`add-exp-log`
36×	`div-exp`
35×	`flip3-+` `flip-+` `div-inv`
22×	`add-cbrt-cube`
21×	`associate-/r` `associate-/l`
10×	`cbrt-undiv` `rec-exp` `1-exp`
8×	`pow1`
4×	`add-log-exp`
3×	`frac-2neg` `associate-r` `associate-l` `clear-num`
2×	`pow-flip` `associate-*l/` `inv-pow`
1×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `associate-/l/` `unswap-sqr`

Counts

4 → 373

Calls

4 calls:

11.0ms	(* (+ (* (+ y a) y) b) y)
17.0ms	(/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
15.0ms	(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
39.0ms	(/ (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))

series255.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(* (+ (* (+ y a) y) b) y)
48.0ms	(/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
31.0ms	(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
167.0ms	(/ (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))

simplify31.1min

Counts

385 → 385

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	30	37
1	47	37
2	97	36
3	190	35
4	413	35
5	822	35
6	1136	35
7	1236	35
8	1573	35
9	2694	35
done	5000	35
0	31	38
1	52	37
2	111	36
3	220	35
4	468	35
5	891	35
6	1223	35
7	1323	35
8	1659	35
9	2772	35
done	5000	35
0	32	39
1	55	38
2	112	36
3	232	35
4	476	35
5	894	35
6	1225	35
7	1331	35
8	1673	35
9	2780	35
done	5000	35
0	31	38
1	54	37
2	107	36
3	212	35
4	461	35
5	873	35
6	1183	35
7	1279	35
8	1620	35
9	2749	35
done	5001	35
0	31	38
1	52	37
2	111	36
3	214	35
4	465	35
5	892	35
6	1208	35
7	1324	35
8	1663	35
9	2776	35
done	5000	35
0	31	39
1	56	37
2	128	36
3	248	35
4	482	35
5	890	35
6	1212	35
7	1312	35
8	1647	35
9	2749	35
done	5001	35
0	33	40
1	59	38
2	129	36
3	264	35
4	498	35
5	893	35
6	1245	35
7	1345	35
8	1684	35
9	2798	35
done	5000	35
0	32	39
1	58	37
2	122	36
3	240	35
4	479	35
5	888	35
6	1218	35
7	1320	35
8	1650	35
9	2751	35
done	5000	35
0	32	39
1	55	38
2	114	36
3	223	35
4	475	35
5	895	35
6	1203	35
7	1317	35
8	1660	35
9	2787	35
done	5000	35
0	33	40
1	59	38
2	133	36
3	253	35
4	480	35
5	877	35
6	1178	35
7	1274	35
8	1613	35
9	2746	35
done	5000	35
0	32	41
1	59	39
2	130	36
3	278	35
4	512	35
5	919	35
6	1250	35
7	1350	35
8	1693	35
9	2836	35
done	5000	35
0	32	40
1	58	38
2	122	36
3	248	35
4	483	35
5	893	35
6	1210	35
7	1314	35
8	1656	35
9	2759	35
done	5000	35
0	31	38
1	54	37
2	108	36
3	208	35
4	441	35
5	865	35
6	1176	35
7	1282	35
8	1636	35
9	2756	35
done	5001	35
0	32	39
1	58	37
2	123	36
3	242	35
4	472	35
5	884	35
6	1212	35
7	1316	35
8	1662	35
9	2791	35
done	5001	35
0	32	40
1	58	38
2	121	36
3	265	35
4	497	35
5	911	35
6	1235	35
7	1341	35
8	1684	35
9	2825	35
done	5000	35
0	31	39
1	57	37
2	114	36
3	227	35
4	482	35
5	902	35
6	1217	35
7	1313	35
8	1638	35
9	2737	35
done	5000	35
0	30	38
1	54	38
2	139	36
3	332	34
4	945	34
5	2873	34
done	5000	34
0	30	38
1	51	38
2	125	36
3	311	34
4	924	34
5	3036	34
done	5000	34
0	35	113
1	95	105
2	309	39
3	1404	37
done	5000	37
0	35	113
1	83	109
2	244	41
3	959	41
done	5000	39
0	35	113
1	83	109
2	245	39
3	1092	39
done	5002	39
0	33	113
1	71	113
2	200	41
3	851	37
4	3194	35
done	5000	35
0	31	77
1	52	77
2	124	73
3	300	69
4	868	69
5	2758	69
done	5000	69
0	30	38
1	51	38
2	123	36
3	299	34
4	873	34
5	2769	34
done	5000	34
0	31	113
1	59	113
2	181	37
3	677	35
4	2812	35
done	5000	35
0	30	38
1	51	38
2	123	36
3	299	34
4	873	34
5	2769	34
done	5000	34
0	30	38
1	51	38
2	123	36
3	299	34
4	873	34
5	2769	34
done	5000	34
0	15	18
1	27	17
2	50	17
3	94	17
4	203	17
5	407	17
6	556	17
7	606	17
8	769	17
9	1279	17
10	3291	17
done	5000	17
0	17	20
1	30	19
2	54	19
3	101	19
4	217	19
5	424	19
6	584	19
7	613	19
8	693	19
9	942	19
10	1783	19
done	5000	19
0	33	79
1	56	79
2	112	79
3	208	79
4	429	79
5	831	79
6	1123	79
7	1221	79
8	1559	79
9	2671	79
done	5001	79
0	31	39
1	48	39
2	95	39
3	185	39
4	408	39
5	810	39
6	1132	39
7	1234	39
8	1581	39
9	2713	39
done	5001	39
0	32	58
1	51	58
2	100	58
3	191	58
4	412	58
5	808	58
6	1126	58
7	1224	58
8	1565	58
9	2695	58
done	5000	58
0	31	39
1	48	39
2	95	39
3	185	39
4	408	39
5	810	39
6	1132	39
7	1234	39
8	1581	39
9	2713	39
done	5001	39
0	35	81
1	62	79
2	145	77
3	314	75
4	594	75
5	1047	75
6	1377	75
7	1475	75
8	1813	75
9	2942	75
done	5000	75
0	32	40
1	51	39
2	101	39
3	192	37
4	426	37
5	850	37
6	1160	37
7	1262	37
8	1609	37
9	2738	37
done	5000	37
0	34	62
1	57	60
2	122	58
3	243	56
4	490	56
5	897	56
6	1231	56
7	1335	56
8	1676	56
9	2792	56
done	5001	56
0	32	40
1	51	39
2	101	39
3	192	37
4	426	37
5	850	37
6	1160	37
7	1262	37
8	1609	37
9	2738	37
done	5000	37
0	20	45
1	35	41
2	79	39
3	154	37
4	269	37
5	473	37
6	623	37
7	671	37
8	836	37
9	1346	37
10	3356	37
done	5000	37
0	31	39
1	50	38
2	108	38
3	227	36
4	583	36
5	1524	36
6	2930	36
done	5000	36
0	34	78
1	57	77
2	119	77
3	237	75
4	515	75
5	1023	75
6	1363	75
7	1465	75
8	1799	75
9	2915	75
done	5000	75
0	32	40
1	51	39
2	101	39
3	192	37
4	426	37
5	850	37
6	1160	37
7	1262	37
8	1609	37
9	2738	37
done	5000	37
0	33	59
1	54	58
2	110	58
3	210	56
4	452	56
5	879	56
6	1184	56
7	1282	56
8	1620	56
9	2761	56
done	5001	56
0	32	40
1	51	39
2	101	39
3	192	37
4	426	37
5	850	37
6	1160	37
7	1262	37
8	1609	37
9	2738	37
done	5000	37
0	19	42
1	32	39
2	64	37
3	129	37
4	254	37
5	456	37
6	626	37
7	678	37
8	850	37
9	1375	37
10	3368	37
done	5000	37
0	31	39
1	50	38
2	108	38
3	227	36
4	583	36
5	1524	36
6	2930	36
done	5000	36
0	33	77
1	56	77
2	118	75
3	255	75
4	592	75
5	1060	75
6	1411	75
7	1509	75
8	1854	75
9	2995	75
done	5000	75
0	31	39
1	50	39
2	100	37
3	199	37
4	429	37
5	833	37
6	1172	37
7	1270	37
8	1616	37
9	2754	37
done	5000	37
0	32	58
1	53	58
2	109	56
3	225	56
4	495	56
5	904	56
6	1224	56
7	1330	56
8	1674	56
9	2787	56
done	5000	56
0	31	39
1	50	39
2	100	37
3	199	37
4	429	37
5	833	37
6	1172	37
7	1270	37
8	1616	37
9	2754	37
done	5000	37
0	18	41
1	31	39
2	63	37
3	128	37
4	253	37
5	457	37
6	614	37
7	666	37
8	829	37
9	1197	37
10	2602	37
done	5000	37
0	30	38
1	49	38
2	107	36
3	224	36
4	558	36
5	1338	36
6	2505	36
7	4150	36
done	5001	36
0	17	39
1	28	37
2	57	37
3	106	37
4	215	37
5	419	37
6	573	37
7	623	37
8	788	37
9	1293	37
10	3300	37
done	5001	37
0	30	38
1	49	38
2	107	36
3	224	36
4	558	36
5	1338	36
6	2505	36
7	4150	36
done	5001	36
0	17	39
1	28	37
2	57	37
3	106	37
4	215	37
5	419	37
6	573	37
7	623	37
8	788	37
9	1293	37
10	3300	37
done	5001	37
0	30	38
1	49	38
2	107	36
3	224	36
4	558	36
5	1338	36
6	2505	36
7	4150	36
done	5001	36
0	34	61
1	71	61
2	172	59
3	517	59
4	2286	59
done	5000	59
0	33	72
1	66	70
2	164	70
3	442	56
4	1585	56
done	5000	56
0	33	75
1	65	75
2	164	73
3	506	73
4	2180	73
done	5001	73
0	29	36
1	47	36
2	95	36
3	189	36
4	418	36
5	844	36
6	1225	36
7	1545	36
8	2715	36
done	5000	36
0	32	60
1	51	60
2	98	60
3	188	60
4	413	60
5	819	60
6	1164	60
7	1264	60
8	1613	60
9	2732	60
done	5001	60
0	31	39
1	48	39
2	95	39
3	185	39
4	408	39
5	810	39
6	1132	39
7	1234	39
8	1581	39
9	2713	39
done	5001	39
0	31	39
1	48	39
2	95	39
3	185	39
4	408	39
5	810	39
6	1132	39
7	1234	39
8	1581	39
9	2713	39
done	5001	39
0	31	39
1	48	39
2	95	39
3	185	39
4	408	39
5	810	39
6	1132	39
7	1234	39
8	1581	39
9	2713	39
done	5001	39
0	34	62
1	59	60
2	127	58
3	239	56
4	471	56
5	895	56
6	1206	56
7	1300	56
8	1628	56
9	2752	56
done	5000	56
0	32	40
1	51	39
2	101	39
3	192	37
4	426	37
5	850	37
6	1160	37
7	1262	37
8	1609	37
9	2738	37
done	5000	37
0	33	43
1	54	41
2	109	39
3	205	37
4	429	37
5	828	37
6	1134	37
7	1238	37
8	1581	37
9	2715	37
done	5000	37
0	32	40
1	51	39
2	101	39
3	192	37
4	426	37
5	850	37
6	1160	37
7	1262	37
8	1609	37
9	2738	37
done	5000	37
0	19	26
1	32	22
2	66	20
3	117	18
4	230	18
5	432	18
6	586	18
7	634	18
8	800	18
9	1314	18
10	3307	18
done	5001	18
0	31	39
1	50	38
2	108	38
3	227	36
4	583	36
5	1524	36
6	2930	36
done	5000	36
0	33	59
1	54	58
2	108	58
3	206	56
4	441	56
5	895	56
6	1242	56
7	1340	56
8	1685	56
9	2811	56
done	5000	56
0	32	40
1	51	39
2	101	39
3	192	37
4	426	37
5	850	37
6	1160	37
7	1262	37
8	1609	37
9	2738	37
done	5000	37
0	32	40
1	51	39
2	101	39
3	192	37
4	426	37
5	850	37
6	1160	37
7	1262	37
8	1609	37
9	2738	37
done	5000	37
0	32	40
1	51	39
2	101	39
3	192	37
4	426	37
5	850	37
6	1160	37
7	1262	37
8	1609	37
9	2738	37
done	5000	37
0	18	23
1	29	20
2	57	18
3	103	18
4	214	18
5	418	18
6	572	18
7	622	18
8	789	18
9	1303	18
10	3297	18
done	5000	18
0	31	39
1	50	38
2	108	38
3	227	36
4	583	36
5	1524	36
6	2930	36
done	5000	36
0	32	58
1	53	58
2	107	56
3	213	56
4	462	56
5	881	56
6	1209	56
7	1305	56
8	1637	56
9	2743	56
done	5001	56
0	31	39
1	50	39
2	100	37
3	199	37
4	429	37
5	833	37
6	1172	37
7	1270	37
8	1616	37
9	2754	37
done	5000	37
0	31	39
1	50	39
2	100	37
3	199	37
4	429	37
5	833	37
6	1172	37
7	1270	37
8	1616	37
9	2754	37
done	5000	37
0	31	39
1	50	39
2	100	37
3	199	37
4	429	37
5	833	37
6	1172	37
7	1270	37
8	1616	37
9	2754	37
done	5000	37
0	17	22
1	28	20
2	56	18
3	102	18
4	217	18
5	421	18
6	578	18
7	626	18
8	791	18
9	1148	18
10	2537	18
done	5000	18
0	30	38
1	49	38
2	107	36
3	224	36
4	558	36
5	1338	36
6	2505	36
7	4150	36
done	5001	36
0	16	20
1	25	18
2	50	18
3	94	18
4	203	18
5	407	18
6	569	18
7	617	18
8	782	18
9	1301	18
10	3311	18
done	5001	18
0	30	38
1	49	38
2	107	36
3	224	36
4	558	36
5	1338	36
6	2505	36
7	4150	36
done	5001	36
0	16	20
1	25	18
2	50	18
3	94	18
4	203	18
5	407	18
6	569	18
7	617	18
8	782	18
9	1301	18
10	3311	18
done	5001	18
0	30	38
1	49	38
2	107	36
3	224	36
4	558	36
5	1338	36
6	2505	36
7	4150	36
done	5001	36
0	33	42
1	68	42
2	163	40
3	466	40
4	1896	40
done	5001	40
0	33	72
1	66	70
2	164	70
3	442	56
4	1585	56
done	5000	56
0	32	56
1	62	56
2	155	54
3	450	54
4	1704	54
done	5002	54
0	29	36
1	47	36
2	95	36
3	189	36
4	418	36
5	844	36
6	1225	36
7	1545	36
8	2715	36
done	5000	36
0	35	81
1	62	79
2	144	77
3	319	77
4	655	77
5	1094	77
6	1422	77
7	1520	77
8	1861	77
9	2998	77
done	5000	77
0	32	40
1	51	39
2	101	39
3	191	39
4	412	39
5	812	39
6	1154	39
7	1254	39
8	1589	39
9	2721	39
done	5000	39
0	34	60
1	59	58
2	129	56
3	258	56
4	515	56
5	925	56
6	1209	56
7	1311	56
8	1649	56
9	2774	56
done	5000	56
0	32	40
1	51	39
2	101	39
3	191	39
4	412	39
5	812	39
6	1154	39
7	1254	39
8	1589	39
9	2721	39
done	5000	39
0	35	83
1	68	79
2	180	75
3	483	71
4	939	71
5	1342	71
6	1660	71
7	1760	71
8	2094	71
9	3218	71
done	5000	71
0	32	41
1	53	39
2	109	39
3	211	37
4	462	35
5	892	35
6	1199	35
7	1303	35
8	1645	35
9	2771	35
done	5000	35
0	34	64
1	63	60
2	154	56
3	376	52
4	651	52
5	1055	52
6	1373	52
7	1475	52
8	1812	52
9	2938	52
done	5000	52
0	32	41
1	53	39
2	109	39
3	211	37
4	462	35
5	892	35
6	1199	35
7	1303	35
8	1645	35
9	2771	35
done	5000	35
0	20	47
1	41	41
2	115	35
3	191	35
4	298	35
5	500	35
6	673	35
7	721	35
8	886	35
9	1411	35
10	3399	35
done	5000	35
0	31	40
1	52	38
2	116	38
3	254	36
4	671	34
5	1927	34
6	4244	34
done	5000	34
0	36	80
1	65	77
2	153	75
3	367	71
4	783	71
5	1255	71
6	1588	71
7	1688	71
8	2027	71
9	3161	71
done	5001	71
0	33	41
1	54	39
2	110	39
3	212	37
4	455	35
5	878	35
6	1177	35
7	1275	35
8	1623	35
9	2751	35
done	5000	35
0	35	61
1	62	58
2	144	56
3	321	54
4	625	52
5	1050	52
6	1373	52
7	1479	52
8	1816	52
9	2946	52
done	5001	52
0	33	41
1	54	39
2	110	39
3	212	37
4	455	35
5	878	35
6	1177	35
7	1275	35
8	1623	35
9	2751	35
done	5000	35
0	21	44
1	40	39
2	91	35
3	166	35
4	274	35
5	476	35
6	630	35
7	682	35
8	846	35
9	1359	35
10	3364	35
done	5000	35
0	32	40
1	53	38
2	117	38
3	255	36
4	664	34
5	1917	34
6	4214	34
done	5000	34
0	35	79
1	64	77
2	152	73
3	422	71
4	865	71
5	1281	71
6	1597	71
7	1693	71
8	2035	71
9	3185	71
done	5000	71
0	32	40
1	53	39
2	109	37
3	227	35
4	480	35
5	889	35
6	1195	35
7	1295	35
8	1645	35
9	2763	35
done	5000	35
0	34	60
1	61	58
2	143	54
3	361	52
4	633	52
5	1031	52
6	1346	52
7	1444	52
8	1793	52
9	2935	52
done	5000	52
0	32	40
1	53	39
2	109	37
3	227	35
4	480	35
5	889	35
6	1195	35
7	1295	35
8	1645	35
9	2763	35
done	5000	35
0	20	43
1	39	39
2	90	35
3	175	35
4	285	35
5	485	35
6	647	35
7	699	35
8	861	35
9	1231	35
10	2637	35
done	5000	35
0	31	39
1	52	38
2	116	36
3	264	34
4	681	34
5	1896	34
6	4242	34
done	5000	34
0	19	41
1	36	37
2	85	35
3	160	35
4	272	35
5	476	35
6	637	35
7	687	35
8	852	35
9	1371	35
10	3365	35
done	5001	35
0	31	39
1	52	38
2	116	36
3	264	34
4	681	34
5	1896	34
6	4242	34
done	5000	34
0	19	41
1	36	37
2	85	35
3	160	35
4	272	35
5	476	35
6	637	35
7	687	35
8	852	35
9	1371	35
10	3365	35
done	5001	35
0	31	39
1	52	38
2	116	36
3	264	34
4	681	34
5	1896	34
6	4242	34
done	5000	34
0	36	63
1	79	61
2	206	57
3	675	55
4	2647	55
done	5000	55
0	34	73
1	69	70
2	170	70
3	468	56
4	1737	56
done	5000	56
0	35	77
1	73	75
2	198	71
3	689	69
4	2602	69
done	5000	69
0	30	37
1	50	36
2	101	36
3	203	36
4	460	36
5	1050	36
6	1960	36
7	2723	36
8	4378	36
done	5001	36
0	34	64
1	57	62
2	120	60
3	237	60
4	515	60
5	928	60
6	1251	60
7	1349	60
8	1687	60
9	2824	60
done	5000	60
0	32	40
1	51	39
2	101	39
3	191	39
4	412	39
5	812	39
6	1154	39
7	1254	39
8	1589	39
9	2721	39
done	5000	39
0	33	43
1	54	41
2	112	39
3	214	39
4	448	39
5	842	39
6	1166	39
7	1264	39
8	1603	39
9	2735	39
done	5000	39
0	32	40
1	51	39
2	101	39
3	191	39
4	412	39
5	812	39
6	1154	39
7	1254	39
8	1589	39
9	2721	39
done	5000	39
0	34	66
1	63	62
2	153	58
3	347	54
4	695	54
5	1098	54
6	1406	54
7	1500	54
8	1841	54
9	2977	54
done	5000	54
0	32	41
1	53	39
2	109	39
3	211	37
4	462	35
5	892	35
6	1199	35
7	1303	35
8	1645	35
9	2771	35
done	5000	35
0	33	47
1	58	43
2	131	39
3	277	35
4	506	35
5	896	35
6	1230	35
7	1334	35
8	1677	35
9	2805	35
done	5000	35
0	32	41
1	53	39
2	109	39
3	211	37
4	462	35
5	892	35
6	1199	35
7	1303	35
8	1645	35
9	2771	35
done	5000	35
0	19	30
1	36	24
2	90	18
3	138	18
4	247	18
5	447	18
6	603	18
7	653	18
8	820	18
9	1322	18
10	3309	18
done	5000	18
0	31	40
1	52	38
2	116	38
3	254	36
4	671	34
5	1927	34
6	4244	34
done	5000	34
0	35	63
1	60	60
2	132	58
3	281	54
4	633	54
5	1075	54
6	1407	54
7	1505	54
8	1842	54
9	2966	54
done	5001	54
0	33	41
1	54	39
2	110	39
3	212	37
4	455	35
5	878	35
6	1177	35
7	1275	35
8	1623	35
9	2751	35
done	5000	35
0	34	44
1	57	41
2	123	39
3	247	37
4	524	35
5	937	35
6	1245	35
7	1341	35
8	1680	35
9	2806	35
done	5000	35
0	33	41
1	54	39
2	110	39
3	212	37
4	455	35
5	878	35
6	1177	35
7	1275	35
8	1623	35
9	2751	35
done	5000	35
0	20	27
1	35	22
2	74	18
3	122	18
4	233	18
5	431	18
6	578	18
7	626	18
8	786	18
9	1294	18
10	3298	18
done	5000	18
0	32	40
1	53	38
2	117	38
3	255	36
4	664	34
5	1917	34
6	4214	34
done	5000	34
0	34	62
1	59	60
2	131	56
3	312	54
4	651	54
5	1073	54
6	1389	54
7	1485	54
8	1821	54
9	2944	54
done	5000	54
0	32	40
1	53	39
2	109	37
3	227	35
4	480	35
5	889	35
6	1195	35
7	1295	35
8	1645	35
9	2763	35
done	5000	35
0	33	43
1	56	41
2	122	37
3	271	35
4	515	35
5	918	35
6	1240	35
7	1338	35
8	1687	35
9	2826	35
done	5001	35
0	32	40
1	53	39
2	109	37
3	227	35
4	480	35
5	889	35
6	1195	35
7	1295	35
8	1645	35
9	2763	35
done	5000	35
0	19	26
1	34	22
2	73	18
3	131	18
4	240	18
5	442	18
6	600	18
7	648	18
8	810	18
9	1184	18
10	2613	18
done	5000	18
0	31	39
1	52	38
2	116	36
3	264	34
4	681	34
5	1896	34
6	4242	34
done	5000	34
0	18	24
1	31	20
2	68	18
3	117	18
4	226	18
5	432	18
6	595	18
7	643	18
8	808	18
9	1320	18
10	3296	18
done	5000	18
0	31	39
1	52	38
2	116	36
3	264	34
4	681	34
5	1896	34
6	4242	34
done	5000	34
0	18	24
1	31	20
2	68	18
3	117	18
4	226	18
5	432	18
6	595	18
7	643	18
8	808	18
9	1320	18
10	3296	18
done	5000	18
0	31	39
1	52	38
2	116	36
3	264	34
4	681	34
5	1896	34
6	4242	34
done	5000	34
0	35	46
1	74	44
2	185	40
3	557	38
4	2283	38
done	5000	38
0	34	73
1	69	70
2	170	70
3	468	56
4	1737	56
done	5000	56
0	34	60
1	68	58
2	177	54
3	566	52
4	2178	52
done	5000	52
0	30	37
1	50	36
2	101	36
3	203	36
4	460	36
5	1050	36
6	1960	36
7	2723	36
8	4378	36
done	5001	36
0	22	49
1	38	45
2	89	43
3	158	43
4	275	43
5	478	43
6	634	43
7	663	43
8	741	43
9	993	43
10	1825	43
done	5001	43
0	31	39
1	50	38
2	108	38
3	214	38
4	515	38
5	1200	38
6	1890	38
7	2233	38
8	2811	38
9	4787	38
done	5001	38
0	21	28
1	35	24
2	77	22
3	128	22
4	242	22
5	443	22
6	592	22
7	621	22
8	695	22
9	940	22
10	1755	22
done	5001	22
0	31	39
1	50	38
2	108	38
3	214	38
4	515	38
5	1200	38
6	1890	38
7	2233	38
8	2811	38
9	4787	38
done	5001	38
0	22	51
1	44	45
2	122	39
3	195	37
4	305	37
5	512	37
6	683	37
7	712	37
8	792	37
9	1039	37
10	1862	37
done	5000	37
0	31	40
1	52	38
2	116	38
3	246	36
4	643	34
5	1730	34
6	3823	34
done	5000	34
0	21	32
1	39	26
2	95	20
3	146	18
4	258	18
5	467	18
6	627	18
7	656	18
8	730	18
9	977	18
10	1804	18
done	5001	18
0	31	40
1	52	38
2	116	38
3	246	36
4	643	34
5	1730	34
6	3823	34
done	5000	34
0	5	15
1	13	1
done	13	1
0	30	39
1	51	37
2	123	37
3	289	35
4	844	33
5	2732	33
done	5000	33
0	23	48
1	41	41
2	96	39
3	168	37
4	286	37
5	491	37
6	652	37
7	681	37
8	759	37
9	1017	37
10	1862	37
done	5000	37
0	32	40
1	53	38
2	117	38
3	247	36
4	644	34
5	1725	34
6	3790	34
done	5000	34
0	22	29
1	38	22
2	85	20
3	136	18
4	248	18
5	449	18
6	614	18
7	643	18
8	717	18
9	965	18
10	1777	18
done	5001	18
0	32	40
1	53	38
2	117	38
3	247	36
4	644	34
5	1725	34
6	3790	34
done	5000	34
0	7	12
1	15	3
2	17	1
3	18	1
done	18	1
0	31	39
1	52	37
2	124	37
3	290	35
4	845	33
5	2723	33
done	5000	33
0	22	47
1	40	41
2	95	39
3	167	37
4	287	37
5	492	37
6	649	37
7	678	37
8	758	37
9	1005	37
10	1842	37
done	5001	37
0	31	39
1	52	38
2	116	36
3	262	34
4	675	34
5	1805	34
6	3873	34
done	5000	34
0	21	28
1	37	22
2	84	20
3	135	18
4	251	18
5	458	18
6	618	18
7	647	18
8	725	18
9	977	18
10	1791	18
done	5000	18
0	31	39
1	52	38
2	116	36
3	262	34
4	675	34
5	1805	34
6	3873	34
done	5000	34
0	6	11
1	14	1
done	14	1
0	30	38
1	51	37
2	123	35
3	299	33
4	873	33
5	2777	33
done	5001	33
0	5	9
1	11	1
done	11	1
0	30	38
1	51	37
2	123	35
3	299	33
4	873	33
5	2777	33
done	5001	33
0	5	9
1	11	1
done	11	1
0	30	38
1	51	37
2	123	35
3	299	33
4	873	33
5	2777	33
done	5001	33
0	23	31
1	55	25
2	148	23
3	414	21
4	1704	21
done	5000	21
0	33	72
1	68	69
2	177	69
3	531	55
4	2402	55
done	5000	55
0	22	45
1	49	39
2	140	37
3	398	35
4	1537	35
done	5002	35
0	29	36
1	49	35
2	108	35
3	242	35
4	809	35
5	4292	35
done	5000	35
0	34	78
1	57	77
2	116	77
3	233	77
4	457	77
5	859	77
6	1169	77
7	1267	77
8	1612	77
9	2730	77
done	5000	77
0	32	40
1	51	39
2	101	39
3	191	39
4	412	39
5	812	39
6	1154	39
7	1254	39
8	1589	39
9	2721	39
done	5000	39
0	33	57
1	54	56
2	107	56
3	205	56
4	422	56
5	830	56
6	1168	56
7	1272	56
8	1608	56
9	2734	56
done	5001	56
0	32	40
1	51	39
2	101	39
3	191	39
4	412	39
5	812	39
6	1154	39
7	1254	39
8	1589	39
9	2721	39
done	5000	39
0	36	80
1	65	77
2	152	75
3	343	71
4	748	71
5	1266	71
6	1574	71
7	1680	71
8	2029	71
9	3151	71
done	5000	71
0	33	41
1	54	39
2	110	39
3	212	37
4	455	35
5	878	35
6	1177	35
7	1275	35
8	1623	35
9	2751	35
done	5000	35
0	35	61
1	60	58
2	128	56
3	270	52
4	562	52
5	1031	52
6	1339	52
7	1437	52
8	1787	52
9	2935	52
done	5000	52
0	33	41
1	54	39
2	110	39
3	212	37
4	455	35
5	878	35
6	1177	35
7	1275	35
8	1623	35
9	2751	35
done	5000	35
0	21	44
1	38	39
2	85	35
3	154	35
4	272	35
5	480	35
6	648	35
7	700	35
8	855	35
9	1373	35
10	3371	35
done	5001	35
0	32	40
1	53	38
2	117	38
3	255	36
4	664	34
5	1917	34
6	4214	34
done	5000	34
0	34	77
1	59	75
2	126	75
3	271	71
4	659	71
5	1239	71
6	1570	71
7	1674	71
8	2018	71
9	3158	71
done	5001	71
0	32	41
1	53	39
2	109	39
3	211	37
4	462	35
5	892	35
6	1199	35
7	1303	35
8	1645	35
9	2771	35
done	5000	35
0	33	58
1	56	56
2	117	56
3	238	54
4	505	52
5	983	52
6	1385	52
7	1485	52
8	1822	52
9	2957	52
done	5000	52
0	32	41
1	53	39
2	109	39
3	211	37
4	462	35
5	892	35
6	1199	35
7	1303	35
8	1645	35
9	2771	35
done	5000	35
0	19	41
1	34	37
2	65	35
3	127	35
4	252	35
5	469	35
6	646	35
7	696	35
8	858	35
9	1386	35
10	3372	35
done	5001	35
0	31	40
1	52	38
2	116	38
3	254	36
4	671	34
5	1927	34
6	4244	34
done	5000	34
0	34	76
1	59	75
2	126	73
3	300	71
4	686	71
5	1215	71
6	1564	71
7	1662	71
8	2001	71
9	3112	71
done	5000	71
0	32	40
1	53	39
2	109	37
3	227	35
4	480	35
5	889	35
6	1195	35
7	1295	35
8	1645	35
9	2763	35
done	5000	35
0	33	57
1	56	56
2	117	54
3	261	52
4	547	52
5	1010	52
6	1302	52
7	1404	52
8	1748	52
9	2868	52
done	5000	52
0	32	40
1	53	39
2	109	37
3	227	35
4	480	35
5	889	35
6	1195	35
7	1295	35
8	1645	35
9	2763	35
done	5000	35
0	19	40
1	34	37
2	65	35
3	127	35
4	252	35
5	469	35
6	646	35
7	696	35
8	858	35
9	1228	35
10	2639	35
done	5000	35
0	31	39
1	52	38
2	116	36
3	264	34
4	681	34
5	1896	34
6	4242	34
done	5000	34
0	18	38
1	31	35
2	64	35
3	118	35
4	225	35
5	423	35
6	610	35
7	660	35
8	824	35
9	1341	35
10	3335	35
done	5000	35
0	31	39
1	52	38
2	116	36
3	264	34
4	681	34
5	1896	34
6	4242	34
done	5000	34
0	18	38
1	31	35
2	64	35
3	118	35
4	225	35
5	423	35
6	610	35
7	660	35
8	824	35
9	1341	35
10	3335	35
done	5000	35
0	31	39
1	52	38
2	116	36
3	264	34
4	681	34
5	1896	34
6	4242	34
done	5000	34
0	35	60
1	74	59
2	180	57
3	546	55
4	2360	55
done	5001	55
0	34	73
1	69	70
2	170	70
3	468	56
4	1737	56
done	5000	56
0	34	74
1	68	73
2	172	71
3	558	69
4	2281	69
done	5001	69
0	30	37
1	50	36
2	101	36
3	203	36
4	460	36
5	1050	36
6	1960	36
7	2723	36
8	4378	36
done	5001	36
0	33	61
1	54	60
2	107	60
3	203	60
4	422	60
5	824	60
6	1131	60
7	1233	60
8	1580	60
9	2705	60
done	5000	60
0	32	40
1	51	39
2	101	39
3	191	39
4	412	39
5	812	39
6	1154	39
7	1254	39
8	1589	39
9	2721	39
done	5000	39
0	32	40
1	51	39
2	101	39
3	191	39
4	412	39
5	812	39
6	1154	39
7	1254	39
8	1589	39
9	2721	39
done	5000	39
0	32	40
1	51	39
2	101	39
3	191	39
4	412	39
5	812	39
6	1154	39
7	1254	39
8	1589	39
9	2721	39
done	5000	39
0	35	63
1	62	60
2	142	58
3	297	54
4	578	54
5	1034	54
6	1369	54
7	1473	54
8	1816	54
9	2932	54
done	5001	54
0	33	41
1	54	39
2	110	39
3	212	37
4	455	35
5	878	35
6	1177	35
7	1275	35
8	1623	35
9	2751	35
done	5000	35
0	34	44
1	57	41
2	120	39
3	237	35
4	475	35
5	901	35
6	1225	35
7	1331	35
8	1665	35
9	2780	35
done	5000	35
0	33	41
1	54	39
2	110	39
3	212	37
4	455	35
5	878	35
6	1177	35
7	1275	35
8	1623	35
9	2751	35
done	5000	35
0	20	27
1	35	22
2	77	18
3	124	18
4	231	18
5	431	18
6	592	18
7	644	18
8	805	18
9	1320	18
10	3302	18
done	5001	18
0	32	40
1	53	38
2	117	38
3	255	36
4	664	34
5	1917	34
6	4214	34
done	5000	34
0	33	60
1	56	58
2	118	58
3	238	54
4	555	54
5	1047	54
6	1346	54
7	1450	54
8	1789	54
9	2911	54
done	5001	54
0	32	41
1	53	39
2	109	39
3	211	37
4	462	35
5	892	35
6	1199	35
7	1303	35
8	1645	35
9	2771	35
done	5000	35
0	32	41
1	53	39
2	109	39
3	211	37
4	462	35
5	892	35
6	1199	35
7	1303	35
8	1645	35
9	2771	35
done	5000	35
0	32	41
1	53	39
2	109	39
3	211	37
4	462	35
5	892	35
6	1199	35
7	1303	35
8	1645	35
9	2771	35
done	5000	35
0	18	24
1	31	20
2	59	18
3	105	18
4	218	18
5	416	18
6	572	18
7	622	18
8	787	18
9	1294	18
10	3302	18
done	5000	18
0	31	40
1	52	38
2	116	38
3	254	36
4	671	34
5	1927	34
6	4244	34
done	5000	34
0	33	59
1	56	58
2	118	56
3	257	54
4	565	54
5	1010	54
6	1318	54
7	1418	54
8	1754	54
9	2885	54
done	5000	54
0	32	40
1	53	39
2	109	37
3	227	35
4	480	35
5	889	35
6	1195	35
7	1295	35
8	1645	35
9	2763	35
done	5000	35
0	32	40
1	53	39
2	109	37
3	227	35
4	480	35
5	889	35
6	1195	35
7	1295	35
8	1645	35
9	2763	35
done	5000	35
0	32	40
1	53	39
2	109	37
3	227	35
4	480	35
5	889	35
6	1195	35
7	1295	35
8	1645	35
9	2763	35
done	5000	35
0	18	23
1	31	20
2	59	18
3	105	18
4	218	18
5	416	18
6	572	18
7	622	18
8	787	18
9	1144	18
10	2554	18
done	5000	18
0	31	39
1	52	38
2	116	36
3	264	34
4	681	34
5	1896	34
6	4242	34
done	5000	34
0	17	21
1	28	18
2	58	18
3	102	18
4	209	18
5	413	18
6	569	18
7	621	18
8	784	18
9	1284	18
10	3276	18
done	5000	18
0	31	39
1	52	38
2	116	36
3	264	34
4	681	34
5	1896	34
6	4242	34
done	5000	34
0	17	21
1	28	18
2	58	18
3	102	18
4	209	18
5	413	18
6	569	18
7	621	18
8	784	18
9	1284	18
10	3276	18
done	5000	18
0	31	39
1	52	38
2	116	36
3	264	34
4	681	34
5	1896	34
6	4242	34
done	5000	34
0	34	43
1	71	42
2	172	40
3	507	38
4	2111	38
done	5001	38
0	34	73
1	69	70
2	170	70
3	468	56
4	1737	56
done	5000	56
0	33	57
1	65	56
2	164	54
3	505	52
4	2005	52
done	5000	52
0	30	37
1	50	36
2	101	36
3	203	36
4	460	36
5	1050	36
6	1960	36
7	2723	36
8	4378	36
done	5001	36
0	21	46
1	35	43
2	63	43
3	120	43
4	232	43
5	435	43
6	596	43
7	625	43
8	707	43
9	956	43
10	1800	43
done	5000	43
0	31	39
1	50	38
2	108	38
3	214	38
4	515	38
5	1200	38
6	1890	38
7	2233	38
8	2811	38
9	4787	38
done	5001	38
0	20	25
1	32	22
2	58	22
3	109	22
4	223	22
5	420	22
6	578	22
7	607	22
8	687	22
9	937	22
10	1778	22
done	5000	22
0	31	39
1	50	38
2	108	38
3	214	38
4	515	38
5	1200	38
6	1890	38
7	2233	38
8	2811	38
9	4787	38
done	5001	38
0	23	48
1	43	43
2	93	39
3	157	37
4	273	37
5	472	37
6	638	37
7	667	37
8	743	37
9	988	37
10	1801	37
done	5000	37
0	32	40
1	53	38
2	117	38
3	247	36
4	644	34
5	1725	34
6	3790	34
done	5000	34
0	22	29
1	38	24
2	72	20
3	120	18
4	233	18
5	436	18
6	608	18
7	637	18
8	719	18
9	972	18
10	1807	18
done	5000	18
0	32	40
1	53	38
2	117	38
3	247	36
4	644	34
5	1725	34
6	3790	34
done	5000	34
0	7	12
1	15	5
2	20	1
done	20	1
0	31	39
1	52	37
2	124	37
3	290	35
4	845	33
5	2723	33
done	5000	33
0	21	45
1	37	39
2	72	39
3	129	37
4	247	37
5	452	37
6	603	37
7	632	37
8	714	37
9	965	37
10	1807	37
done	5000	37
0	31	40
1	52	38
2	116	38
3	246	36
4	643	34
5	1730	34
6	3823	34
done	5000	34
0	20	26
1	34	20
2	63	20
3	111	18
4	226	18
5	425	18
6	573	18
7	602	18
8	680	18
9	934	18
10	1776	18
done	5001	18
0	31	40
1	52	38
2	116	38
3	246	36
4	643	34
5	1730	34
6	3823	34
done	5000	34
0	4	9
1	10	1
done	10	1
0	30	39
1	51	37
2	123	37
3	289	35
4	844	33
5	2732	33
done	5000	33
0	21	44
1	37	39
2	72	37
3	135	37
4	254	37
5	457	37
6	615	37
7	644	37
8	718	37
9	974	37
10	1807	37
done	5000	37
0	31	39
1	52	38
2	116	36
3	262	34
4	675	34
5	1805	34
6	3873	34
done	5000	34
0	20	25
1	34	20
2	63	18
3	111	18
4	225	18
5	424	18
6	597	18
7	626	18
8	708	18
9	958	18
10	1783	18
done	5000	18
0	31	39
1	52	38
2	116	36
3	262	34
4	675	34
5	1805	34
6	3873	34
done	5000	34
0	5	8
1	11	1
done	11	1
0	30	38
1	51	37
2	123	35
3	299	33
4	873	33
5	2777	33
done	5001	33
0	4	6
1	8	1
done	8	1
0	30	38
1	51	37
2	123	35
3	299	33
4	873	33
5	2777	33
done	5001	33
0	4	6
1	8	1
done	8	1
0	30	38
1	51	37
2	123	35
3	299	33
4	873	33
5	2777	33
done	5001	33
0	22	28
1	52	23
2	127	21
3	390	21
4	1744	21
done	5000	21
0	33	72
1	68	69
2	177	69
3	531	55
4	2402	55
done	5000	55
0	21	42
1	46	37
2	119	35
3	380	35
4	1552	35
done	5002	35
0	29	36
1	49	35
2	108	35
3	242	35
4	809	35
5	4292	35
done	5000	35
0	33	77
1	56	77
2	115	77
3	232	77
4	463	77
5	867	77
6	1160	77
7	1264	77
8	1598	77
9	2728	77
done	5000	77
0	31	39
1	50	39
2	100	39
3	190	39
4	413	39
5	815	39
6	1146	39
7	1248	39
8	1581	39
9	2712	39
done	5001	39
0	32	56
1	53	56
2	106	56
3	204	56
4	423	56
5	829	56
6	1140	56
7	1242	56
8	1584	56
9	2723	56
done	5000	56
0	31	39
1	50	39
2	100	39
3	190	39
4	413	39
5	815	39
6	1146	39
7	1248	39
8	1581	39
9	2712	39
done	5001	39
0	35	79
1	64	77
2	151	75
3	342	71
4	753	71
5	1283	71
6	1587	71
7	1685	71
8	2033	71
9	3189	71
done	5000	71
0	32	40
1	53	39
2	109	39
3	211	37
4	462	35
5	895	35
6	1213	35
7	1315	35
8	1651	35
9	2769	35
done	5000	35
0	34	60
1	59	58
2	127	56
3	269	52
4	563	52
5	1030	52
6	1348	52
7	1448	52
8	1797	52
9	2929	52
done	5001	52
0	32	40
1	53	39
2	109	39
3	211	37
4	462	35
5	895	35
6	1213	35
7	1315	35
8	1651	35
9	2769	35
done	5000	35
0	20	43
1	37	39
2	84	35
3	153	35
4	277	35
5	491	35
6	652	35
7	702	35
8	860	35
9	1377	35
10	3374	35
done	5000	35
0	31	39
1	52	38
2	116	38
3	254	36
4	667	34
5	1920	34
6	4210	34
done	5000	34
0	34	76
1	59	75
2	126	75
3	271	71
4	663	71
5	1227	71
6	1564	71
7	1666	71
8	2009	71
9	3149	71
done	5000	71
0	32	40
1	53	39
2	109	39
3	211	37
4	462	35
5	895	35
6	1213	35
7	1315	35
8	1651	35
9	2769	35
done	5000	35
0	33	57
1	56	56
2	117	56
3	238	54
4	505	52
5	983	52
6	1378	52
7	1480	52
8	1820	52
9	2955	52
done	5001	52
0	32	40
1	53	39
2	109	39
3	211	37
4	462	35
5	895	35
6	1213	35
7	1315	35
8	1651	35
9	2769	35
done	5000	35
0	19	40
1	34	37
2	65	35
3	127	35
4	256	35
5	469	35
6	616	35
7	664	35
8	828	35
9	1352	35
10	3357	35
done	5000	35
0	31	39
1	52	38
2	116	38
3	254	36
4	667	34
5	1920	34
6	4210	34
done	5000	34
0	33	75
1	58	75
2	125	73
3	299	71
4	688	71
5	1214	71
6	1531	71
7	1631	71
8	1971	71
9	3102	71
done	5001	71
0	31	39
1	52	39
2	108	37
3	226	35
4	482	35
5	893	35
6	1202	35
7	1300	35
8	1637	35
9	2744	35
done	5000	35
0	32	56
1	55	56
2	116	54
3	260	52
4	549	52
5	1008	52
6	1325	52
7	1427	52
8	1759	52
9	2892	52
done	5001	52
0	31	39
1	52	39
2	108	37
3	226	35
4	482	35
5	893	35
6	1202	35
7	1300	35
8	1637	35
9	2744	35
done	5000	35
0	18	39
1	33	37
2	64	35
3	126	35
4	256	35
5	472	35
6	622	35
7	672	35
8	841	35
9	1206	35
10	2614	35
done	5000	35
0	30	38
1	51	38
2	115	36
3	263	34
4	677	34
5	1891	34
6	4218	34
done	5000	34
0	17	37
1	30	35
2	63	35
3	117	35
4	226	35
5	430	35
6	583	35
7	633	35
8	796	35
9	1318	35
10	3310	35
done	5000	35
0	30	38
1	51	38
2	115	36
3	263	34
4	677	34
5	1891	34
6	4218	34
done	5000	34
0	17	37
1	30	35
2	63	35
3	117	35
4	226	35
5	430	35
6	583	35
7	633	35
8	796	35
9	1318	35
10	3310	35
done	5000	35
0	30	38
1	51	38
2	115	36
3	263	34
4	677	34
5	1891	34
6	4218	34
done	5000	34
0	34	59
1	73	59
2	179	57
3	545	55
4	2338	55
done	5001	55
0	33	72
1	68	70
2	169	70
3	467	56
4	1734	56
done	5001	56
0	33	73
1	67	73
2	171	71
3	555	69
4	2274	69
done	5001	69
0	29	36
1	49	36
2	100	36
3	202	36
4	467	36
5	1057	36
6	1954	36
7	2770	36
8	4455	36
done	5000	36
0	32	60
1	53	60
2	106	60
3	202	60
4	425	60
5	829	60
6	1143	60
7	1247	60
8	1587	60
9	2713	60
done	5000	60
0	31	39
1	50	39
2	100	39
3	190	39
4	413	39
5	815	39
6	1146	39
7	1248	39
8	1581	39
9	2712	39
done	5001	39
0	31	39
1	50	39
2	100	39
3	190	39
4	413	39
5	815	39
6	1146	39
7	1248	39
8	1581	39
9	2712	39
done	5001	39
0	31	39
1	50	39
2	100	39
3	190	39
4	413	39
5	815	39
6	1146	39
7	1248	39
8	1581	39
9	2712	39
done	5001	39
0	34	62
1	61	60
2	141	58
3	294	54
4	579	54
5	1025	54
6	1334	54
7	1432	54
8	1779	54
9	2928	54
done	5001	54
0	32	40
1	53	39
2	109	39
3	211	37
4	462	35
5	895	35
6	1213	35
7	1315	35
8	1651	35
9	2769	35
done	5000	35
0	33	43
1	56	41
2	119	39
3	236	35
4	474	35
5	899	35
6	1199	35
7	1293	35
8	1625	35
9	2741	35
done	5000	35
0	32	40
1	53	39
2	109	39
3	211	37
4	462	35
5	895	35
6	1213	35
7	1315	35
8	1651	35
9	2769	35
done	5000	35
0	19	26
1	34	22
2	76	18
3	123	18
4	236	18
5	436	18
6	588	18
7	640	18
8	810	18
9	1310	18
10	3294	18
done	5000	18
0	31	39
1	52	38
2	116	38
3	254	36
4	667	34
5	1920	34
6	4210	34
done	5000	34
0	33	59
1	56	58
2	118	58
3	238	54
4	553	54
5	1034	54
6	1353	54
7	1453	54
8	1796	54
9	2917	54
done	5000	54
0	32	40
1	53	39
2	109	39
3	211	37
4	462	35
5	895	35
6	1213	35
7	1315	35
8	1651	35
9	2769	35
done	5000	35
0	32	40
1	53	39
2	109	39
3	211	37
4	462	35
5	895	35
6	1213	35
7	1315	35
8	1651	35
9	2769	35
done	5000	35
0	32	40
1	53	39
2	109	39
3	211	37
4	462	35
5	895	35
6	1213	35
7	1315	35
8	1651	35
9	2769	35
done	5000	35
0	18	23
1	31	20
2	59	18
3	105	18
4	218	18
5	420	18
6	572	18
7	620	18
8	782	18
9	1297	18
10	3303	18
done	5001	18
0	31	39
1	52	38
2	116	38
3	254	36
4	667	34
5	1920	34
6	4210	34
done	5000	34
0	32	58
1	55	58
2	117	56
3	256	54
4	560	54
5	999	54
6	1341	54
7	1441	54
8	1776	54
9	2915	54
done	5001	54
0	31	39
1	52	39
2	108	37
3	226	35
4	482	35
5	893	35
6	1202	35
7	1300	35
8	1637	35
9	2744	35
done	5000	35
0	31	39
1	52	39
2	108	37
3	226	35
4	482	35
5	893	35
6	1202	35
7	1300	35
8	1637	35
9	2744	35
done	5000	35
0	31	39
1	52	39
2	108	37
3	226	35
4	482	35
5	893	35
6	1202	35
7	1300	35
8	1637	35
9	2744	35
done	5000	35
0	17	22
1	30	20
2	58	18
3	104	18
4	221	18
5	417	18
6	568	18
7	620	18
8	781	18
9	1149	18
10	2556	18
done	5001	18
0	30	38
1	51	38
2	115	36
3	263	34
4	677	34
5	1891	34
6	4218	34
done	5000	34
0	16	20
1	27	18
2	57	18
3	101	18
4	214	18
5	412	18
6	570	18
7	620	18
8	785	18
9	1287	18
10	3297	18
done	5000	18
0	30	38
1	51	38
2	115	36
3	263	34
4	677	34
5	1891	34
6	4218	34
done	5000	34
0	16	20
1	27	18
2	57	18
3	101	18
4	214	18
5	412	18
6	570	18
7	620	18
8	785	18
9	1287	18
10	3297	18
done	5000	18
0	30	38
1	51	38
2	115	36
3	263	34
4	677	34
5	1891	34
6	4218	34
done	5000	34
0	33	42
1	70	42
2	171	40
3	498	38
4	2085	38
done	5001	38
0	33	72
1	68	70
2	169	70
3	467	56
4	1734	56
done	5001	56
0	32	56
1	64	56
2	163	54
3	504	52
4	1996	52
done	5000	52
0	29	36
1	49	36
2	100	36
3	202	36
4	467	36
5	1057	36
6	1954	36
7	2770	36
8	4455	36
done	5000	36
0	20	45
1	34	43
2	62	43
3	119	43
4	235	43
5	434	43
6	585	43
7	614	43
8	696	43
9	952	43
10	1589	43
11	4101	43
done	5000	43
0	30	38
1	49	38
2	107	38
3	213	38
4	520	38
5	1206	38
6	1914	38
7	2229	38
8	2806	38
9	4761	38
done	5000	38
0	19	24
1	31	22
2	57	22
3	108	22
4	224	22
5	425	22
6	571	22
7	600	22
8	680	22
9	935	22
10	1561	22
11	4075	22
done	5000	22
0	30	38
1	49	38
2	107	38
3	213	38
4	520	38
5	1206	38
6	1914	38
7	2229	38
8	2806	38
9	4761	38
done	5000	38
0	22	47
1	42	43
2	92	39
3	154	37
4	269	37
5	474	37
6	651	37
7	680	37
8	758	37
9	1008	37
10	1636	37
11	4143	37
done	5000	37
0	31	39
1	52	38
2	116	38
3	246	36
4	639	34
5	1711	34
6	3764	34
done	5000	34
0	21	28
1	37	24
2	71	20
3	119	18
4	234	18
5	433	18
6	597	18
7	626	18
8	708	18
9	956	18
10	1586	18
11	4125	18
done	5000	18
0	31	39
1	52	38
2	116	38
3	246	36
4	639	34
5	1711	34
6	3764	34
done	5000	34
0	6	11
1	14	1
done	14	1
0	30	38
1	51	37
2	123	37
3	289	35
4	842	33
5	2713	33
done	5000	33
0	21	44
1	37	39
2	72	39
3	129	37
4	247	37
5	452	37
6	608	37
7	637	37
8	717	37
9	972	37
10	1599	37
11	4094	37
done	5001	37
0	31	39
1	52	38
2	116	38
3	246	36
4	639	34
5	1711	34
6	3764	34
done	5000	34
0	20	25
1	34	20
2	63	20
3	111	18
4	226	18
5	425	18
6	573	18
7	602	18
8	680	18
9	934	18
10	1568	18
11	4080	18
done	5000	18
0	31	39
1	52	38
2	116	38
3	246	36
4	639	34
5	1711	34
6	3764	34
done	5000	34
0	5	8
1	11	1
done	11	1
0	30	38
1	51	37
2	123	37
3	289	35
4	842	33
5	2713	33
done	5000	33
0	20	43
1	36	39
2	71	37
3	136	37
4	260	37
5	459	37
6	635	37
7	664	37
8	742	37
9	994	37
10	1619	37
11	4109	37
done	5001	37
0	30	38
1	51	38
2	115	36
3	261	34
4	679	34
5	1808	34
6	3878	34
done	5000	34
0	19	24
1	33	20
2	62	18
3	110	18
4	226	18
5	429	18
6	585	18
7	614	18
8	694	18
9	948	18
10	1587	18
11	4092	18
done	5000	18
0	30	38
1	51	38
2	115	36
3	261	34
4	679	34
5	1808	34
6	3878	34
done	5000	34
0	3	7
1	9	1
done	9	1
0	29	37
1	50	37
2	122	35
3	298	33
4	867	33
5	2754	33
done	5000	33
0	3	5
1	7	1
done	7	1
0	29	37
1	50	37
2	122	35
3	298	33
4	867	33
5	2754	33
done	5000	33
0	3	5
1	7	1
done	7	1
0	29	37
1	50	37
2	122	35
3	298	33
4	867	33
5	2754	33
done	5000	33
0	21	27
1	51	23
2	126	21
3	378	21
4	1677	21
done	5000	21
0	32	71
1	67	69
2	176	69
3	532	55
4	2408	55
done	5001	55
0	20	41
1	45	37
2	118	35
3	379	35
4	1574	35
done	5000	35
0	28	35
1	48	35
2	107	35
3	241	35
4	806	35
5	4292	35
done	5000	35
0	19	43
1	31	43
2	55	43
3	102	43
4	216	43
5	423	43
6	567	43
7	596	43
8	672	43
9	921	43
10	1751	43
done	5001	43
0	30	38
1	49	38
2	107	38
3	213	38
4	520	38
5	1206	38
6	1914	38
7	2229	38
8	2806	38
9	4761	38
done	5000	38
0	18	22
1	28	22
2	52	22
3	99	22
4	211	22
5	414	22
6	547	22
7	576	22
8	654	22
9	907	22
10	1727	22
done	5000	22
0	30	38
1	49	38
2	107	38
3	213	38
4	520	38
5	1206	38
6	1914	38
7	2229	38
8	2806	38
9	4761	38
done	5000	38
0	21	45
1	39	43
2	84	39
3	148	37
4	268	37
5	471	37
6	647	37
7	676	37
8	754	37
9	1007	37
10	1831	37
done	5000	37
0	31	39
1	52	38
2	116	38
3	246	36
4	639	34
5	1711	34
6	3764	34
done	5000	34
0	20	26
1	34	24
2	66	20
3	115	18
4	228	18
5	429	18
6	579	18
7	608	18
8	686	18
9	943	18
10	1784	18
done	5000	18
0	31	39
1	52	38
2	116	38
3	246	36
4	639	34
5	1711	34
6	3764	34
done	5000	34
0	5	9
1	11	5
2	19	1
done	19	1
0	30	38
1	51	37
2	123	37
3	289	35
4	842	33
5	2713	33
done	5000	33
0	20	42
1	34	41
2	65	41
3	120	37
4	295	37
5	634	37
6	828	37
7	1165	37
8	1247	37
9	1500	37
10	2337	37
done	5000	37
0	31	39
1	52	38
2	116	38
3	246	36
4	639	34
5	1711	34
6	3764	34
done	5000	34
0	19	23
1	31	22
2	58	22
3	106	18
4	250	18
5	551	18
6	760	18
7	1048	18
8	1124	18
9	1372	18
10	2184	18
done	5000	18
0	31	39
1	52	38
2	116	38
3	246	36
4	639	34
5	1711	34
6	3764	34
done	5000	34
0	4	6
1	8	3
2	12	1
done	12	1
0	30	38
1	51	37
2	123	37
3	289	35
4	842	33
5	2713	33
done	5000	33
0	19	41
1	33	37
2	66	37
3	126	37
4	251	37
5	459	37
6	609	37
7	638	37
8	718	37
9	973	37
10	1807	37
done	5001	37
0	30	38
1	51	38
2	115	36
3	261	34
4	679	34
5	1808	34
6	3878	34
done	5000	34
0	18	22
1	30	18
2	59	18
3	108	18
4	225	18
5	428	18
6	572	18
7	601	18
8	683	18
9	935	18
10	1781	18
done	5001	18
0	30	38
1	51	38
2	115	36
3	261	34
4	679	34
5	1808	34
6	3878	34
done	5000	34
0	3	5
1	6	1
done	6	1
0	29	37
1	50	37
2	122	35
3	298	33
4	867	33
5	2754	33
done	5000	33
0	2	3
1	4	1
done	4	1
0	29	37
1	50	37
2	122	35
3	298	33
4	867	33
5	2754	33
done	5000	33
0	2	3
1	4	1
done	4	1
0	29	37
1	50	37
2	122	35
3	298	33
4	867	33
5	2754	33
done	5000	33
0	20	25
1	48	21
2	123	21
3	378	21
4	1743	21
done	5000	21
0	32	71
1	67	69
2	176	69
3	532	55
4	2408	55
done	5001	55
0	19	39
1	42	35
2	115	35
3	369	35
4	1512	35
done	5000	35
0	28	35
1	48	35
2	107	35
3	241	35
4	806	35
5	4292	35
done	5000	35
0	19	43
1	31	43
2	55	43
3	102	43
4	216	43
5	423	43
6	567	43
7	596	43
8	672	43
9	921	43
10	1751	43
done	5001	43
0	30	38
1	49	38
2	107	38
3	213	38
4	520	38
5	1206	38
6	1914	38
7	2229	38
8	2806	38
9	4761	38
done	5000	38
0	18	22
1	28	22
2	52	22
3	99	22
4	211	22
5	414	22
6	547	22
7	576	22
8	654	22
9	907	22
10	1727	22
done	5000	22
0	30	38
1	49	38
2	107	38
3	213	38
4	520	38
5	1206	38
6	1914	38
7	2229	38
8	2806	38
9	4761	38
done	5000	38
0	21	45
1	39	43
2	84	39
3	148	37
4	268	37
5	471	37
6	647	37
7	676	37
8	754	37
9	1007	37
10	1831	37
done	5000	37
0	31	39
1	52	38
2	116	38
3	246	36
4	639	34
5	1711	34
6	3764	34
done	5000	34
0	20	26
1	34	24
2	66	20
3	115	18
4	228	18
5	429	18
6	579	18
7	608	18
8	686	18
9	943	18
10	1784	18
done	5000	18
0	31	39
1	52	38
2	116	38
3	246	36
4	639	34
5	1711	34
6	3764	34
done	5000	34
0	5	9
1	11	5
2	19	1
done	19	1
0	30	38
1	51	37
2	123	37
3	289	35
4	842	33
5	2713	33
done	5000	33
0	20	42
1	34	41
2	65	41
3	120	37
4	295	37
5	634	37
6	828	37
7	1165	37
8	1247	37
9	1500	37
10	2337	37
done	5000	37
0	31	39
1	52	38
2	116	38
3	246	36
4	639	34
5	1711	34
6	3764	34
done	5000	34
0	19	23
1	31	22
2	58	22
3	106	18
4	250	18
5	551	18
6	760	18
7	1048	18
8	1124	18
9	1372	18
10	2184	18
done	5000	18
0	31	39
1	52	38
2	116	38
3	246	36
4	639	34
5	1711	34
6	3764	34
done	5000	34
0	4	6
1	8	3
2	12	1
done	12	1
0	30	38
1	51	37
2	123	37
3	289	35
4	842	33
5	2713	33
done	5000	33
0	19	41
1	33	37
2	66	37
3	126	37
4	251	37
5	459	37
6	609	37
7	638	37
8	718	37
9	973	37
10	1807	37
done	5001	37
0	30	38
1	51	38
2	115	36
3	261	34
4	679	34
5	1808	34
6	3878	34
done	5000	34
0	18	22
1	30	18
2	59	18
3	108	18
4	225	18
5	428	18
6	572	18
7	601	18
8	683	18
9	935	18
10	1781	18
done	5001	18
0	30	38
1	51	38
2	115	36
3	261	34
4	679	34
5	1808	34
6	3878	34
done	5000	34
0	3	5
1	6	1
done	6	1
0	29	37
1	50	37
2	122	35
3	298	33
4	867	33
5	2754	33
done	5000	33
0	2	3
1	4	1
done	4	1
0	29	37
1	50	37
2	122	35
3	298	33
4	867	33
5	2754	33
done	5000	33
0	2	3
1	4	1
done	4	1
0	29	37
1	50	37
2	122	35
3	298	33
4	867	33
5	2754	33
done	5000	33
0	20	25
1	48	21
2	123	21
3	378	21
4	1743	21
done	5000	21
0	32	71
1	67	69
2	176	69
3	532	55
4	2408	55
done	5001	55
0	19	39
1	42	35
2	115	35
3	369	35
4	1512	35
done	5000	35
0	28	35
1	48	35
2	107	35
3	241	35
4	806	35
5	4292	35
done	5000	35
0	34	63
1	71	63
2	169	63
3	488	63
4	1966	63
done	5000	63
0	33	68
1	66	66
2	167	66
3	464	54
4	1633	54
done	5001	54
0	33	42
1	68	42
2	163	42
3	449	42
4	1825	42
done	5000	42
0	33	68
1	66	66
2	167	66
3	464	54
4	1633	54
done	5001	54
0	36	65
1	79	63
2	204	61
3	603	57
4	2502	57
done	5000	57
0	34	69
1	69	66
2	176	66
3	491	52
4	1802	52
done	5001	52
0	35	46
1	74	44
2	182	42
3	514	38
4	2129	38
done	5000	38
0	34	69
1	69	66
2	176	66
3	491	52
4	1802	52
done	5001	52
0	21	29
1	52	25
2	139	21
3	398	21
4	1684	21
done	5001	21
0	33	68
1	68	65
2	183	65
3	527	51
4	2158	51
done	5000	51
0	35	62
1	74	61
2	181	61
3	521	57
4	2339	57
done	5000	57
0	34	69
1	69	66
2	176	66
3	491	52
4	1802	52
done	5001	52
0	34	43
1	71	42
2	172	42
3	489	40
4	2054	38
done	5001	38
0	34	69
1	69	66
2	176	66
3	491	52
4	1802	52
done	5001	52
0	20	26
1	49	23
2	122	21
3	378	21
4	1655	21
done	5000	21
0	33	68
1	68	65
2	183	65
3	527	51
4	2158	51
done	5000	51
0	34	61
1	73	61
2	180	59
3	542	57
4	2340	57
done	5000	57
0	33	68
1	68	66
2	175	64
3	521	52
4	1929	52
done	5001	52
0	33	42
1	70	42
2	171	40
3	504	38
4	2086	38
done	5000	38
0	33	68
1	68	66
2	175	64
3	521	52
4	1929	52
done	5001	52
0	19	25
1	48	23
2	121	21
3	373	21
4	1675	21
done	5000	21
0	32	67
1	67	65
2	182	63
3	587	51
4	2648	51
done	5000	51
0	18	23
1	45	21
2	120	21
3	369	21
4	1662	21
done	5002	21
0	32	67
1	67	65
2	182	63
3	587	51
4	2648	51
done	5000	51
0	18	23
1	45	21
2	120	21
3	369	21
4	1662	21
done	5002	21
0	32	67
1	67	65
2	182	63
3	587	51
4	2648	51
done	5000	51
0	34	45
1	83	45
2	222	43
3	762	41
4	3692	41
done	5001	41
0	34	101
1	80	97
2	233	97
3	716	71
4	2850	71
done	5001	71
0	34	59
1	82	59
2	226	57
3	783	55
4	3812	55
done	5001	55
0	30	65
1	62	63
2	164	63
3	464	51
4	1660	51
done	5001	51
0	33	75
1	65	75
2	161	75
3	477	75
4	1845	75
done	5001	75
0	29	36
1	50	36
2	104	36
3	204	36
4	457	36
5	1007	36
6	1716	36
7	2309	36
8	3920	36
done	5000	36
0	32	54
1	62	54
2	155	54
3	442	54
4	1615	54
done	5000	54
0	29	36
1	50	36
2	104	36
3	204	36
4	457	36
5	1007	36
6	1716	36
7	2309	36
8	3920	36
done	5000	36
0	35	77
1	73	75
2	196	73
3	606	69
4	2519	69
done	5000	69
0	30	37
1	53	36
2	115	36
3	235	34
4	562	34
5	1433	34
6	2648	34
7	4576	34
done	5000	34
0	34	58
1	68	56
2	174	54
3	518	50
4	2040	50
done	5001	50
0	30	37
1	53	36
2	115	36
3	235	34
4	562	34
5	1433	34
6	2648	34
7	4576	34
done	5000	34
0	20	41
1	46	37
2	131	33
3	385	33
4	1545	33
done	5002	33
0	29	36
1	52	35
2	122	35
3	286	33
4	1028	33
done	5002	33
0	34	74
1	68	73
2	173	73
3	528	69
4	2337	69
done	5001	69
0	30	37
1	53	36
2	115	36
3	235	34
4	562	34
5	1433	34
6	2648	34
7	4576	34
done	5000	34
0	33	55
1	65	54
2	164	54
3	485	52
4	1919	50
done	5000	50
0	30	37
1	53	36
2	115	36
3	235	34
4	562	34
5	1433	34
6	2648	34
7	4576	34
done	5000	34
0	19	38
1	43	35
2	114	33
3	366	33
4	1512	33
done	5000	33
0	29	36
1	52	35
2	122	35
3	286	33
4	1028	33
done	5002	33
0	33	73
1	67	73
2	172	71
3	550	69
4	2376	69
done	5000	69
0	29	36
1	52	36
2	114	34
3	249	34
4	579	34
5	1478	34
6	2540	34
7	4388	34
done	5001	34
0	32	54
1	64	54
2	163	52
3	501	50
4	2019	50
done	5000	50
0	29	36
1	52	36
2	114	34
3	249	34
4	579	34
5	1478	34
6	2540	34
7	4388	34
done	5001	34
0	18	37
1	42	35
2	113	33
3	367	33
4	1506	33
done	5000	33
0	28	35
1	51	35
2	121	33
3	306	33
4	1055	33
done	5000	33
0	17	35
1	39	33
2	112	33
3	358	33
4	1486	33
done	5000	33
0	28	35
1	51	35
2	121	33
3	306	33
4	1055	33
done	5000	33
0	17	35
1	39	33
2	112	33
3	358	33
4	1486	33
done	5000	33
0	28	35
1	51	35
2	121	33
3	306	33
4	1055	33
done	5000	33
0	34	57
1	82	57
2	226	55
3	780	53
4	3883	53
done	5001	53
0	30	69
1	65	67
2	170	67
3	473	53
4	1686	53
done	5000	53
0	33	71
1	75	71
2	218	69
3	800	67
4	4066	67
done	5000	67
0	26	33
1	46	33
2	101	33
3	211	33
4	480	33
5	1062	33
6	2002	33
7	3915	33
done	5001	33
0	17	21
1	29	17
2	66	17
3	139	17
4	362	17
5	786	17
6	1189	17
7	1354	17
8	1503	17
9	1884	17
10	3080	17
done	5000	17
0	29	37
1	50	37
2	122	35
3	298	33
4	873	33
5	2786	33
done	5000	33
0	31	59
1	52	59
2	113	59
3	237	59
4	578	59
5	1488	59
6	2841	59
7	3697	59
8	4572	59
done	5000	59
0	30	38
1	49	38
2	107	38
3	213	38
4	520	38
5	1206	38
6	1914	38
7	2229	38
8	2806	38
9	4761	38
done	5000	38
0	33	61
1	60	59
2	148	57
3	351	53
4	907	53
5	2575	53
done	5000	53
0	32	42
1	55	40
2	126	38
3	279	34
4	703	34
5	1918	34
6	4067	34
done	5000	34
0	18	25
1	33	21
2	83	17
3	154	17
4	369	17
5	804	17
6	1250	17
7	1441	17
8	1652	17
9	2236	17
10	4318	17
done	5000	17
0	32	58
1	55	57
2	125	57
3	285	53
4	816	53
5	2366	53
done	5001	53
0	31	39
1	52	38
2	116	38
3	246	36
4	639	34
5	1711	34
6	3764	34
done	5000	34
0	17	22
1	30	19
2	66	17
3	136	17
4	357	17
5	783	17
6	1231	17
7	1420	17
8	1630	17
9	2225	17
10	4270	17
done	5001	17
0	31	57
1	54	57
2	124	55
3	303	53
4	829	53
5	2306	53
done	5001	53
0	30	38
1	51	38
2	115	36
3	261	34
4	679	34
5	1808	34
6	3878	34
done	5000	34
0	16	21
1	29	19
2	65	17
3	135	17
4	355	17
5	760	17
6	1179	17
7	1376	17
8	1601	17
9	2208	17
10	4019	17
done	5000	17
0	15	19
1	26	17
2	64	17
3	132	17
4	349	17
5	780	17
6	1207	17
7	1400	17
8	1598	17
9	2201	17
10	4248	17
done	5001	17
0	15	19
1	26	17
2	64	17
3	132	17
4	349	17
5	780	17
6	1207	17
7	1400	17
8	1598	17
9	2201	17
10	4248	17
done	5001	17
0	32	41
1	69	41
2	178	39
3	541	37
4	2291	37
done	5000	37
0	31	55
1	63	55
2	170	53
3	549	51
4	2305	51
done	5000	51
0	30	38
1	49	38
2	107	38
3	213	38
4	518	38
5	1207	38
6	1982	38
7	2372	38
8	3139	38
done	5000	38
0	30	38
1	49	38
2	107	38
3	213	38
4	518	38
5	1207	38
6	1982	38
7	2372	38
8	3139	38
done	5000	38
0	31	39
1	52	38
2	116	38
3	246	36
4	641	34
5	1726	34
6	3854	34
done	5001	34
0	31	39
1	52	38
2	116	38
3	246	36
4	641	34
5	1726	34
6	3854	34
done	5001	34
0	30	38
1	51	37
2	123	37
3	289	35
4	842	33
5	2724	33
done	5000	33
0	31	39
1	52	38
2	116	38
3	246	36
4	641	34
5	1726	34
6	3854	34
done	5001	34
0	31	39
1	52	38
2	116	38
3	246	36
4	641	34
5	1726	34
6	3854	34
done	5001	34
0	30	38
1	51	37
2	123	37
3	289	35
4	842	33
5	2724	33
done	5000	33
0	30	38
1	51	38
2	115	36
3	261	34
4	673	34
5	1811	34
6	3915	34
done	5000	34
0	30	38
1	51	38
2	115	36
3	261	34
4	673	34
5	1811	34
6	3915	34
done	5000	34
0	29	37
1	50	37
2	122	35
3	298	33
4	873	33
5	2786	33
done	5000	33
0	29	37
1	50	37
2	122	35
3	298	33
4	873	33
5	2786	33
done	5000	33
0	29	37
1	50	37
2	122	35
3	298	33
4	873	33
5	2786	33
done	5000	33
0	32	67
1	67	65
2	176	65
3	532	53
4	2405	53
done	5000	53
0	28	35
1	48	35
2	107	35
3	241	35
4	802	35
5	4277	35
done	5000	35
0	15	19
1	26	17
2	64	17
3	132	17
4	349	17
5	780	17
6	1207	17
7	1400	17
8	1598	17
9	2201	17
10	4248	17
done	5001	17
0	28	35
1	54	35
2	125	33
3	294	33
4	789	33
5	1816	33
6	3134	33
7	4025	33
8	4982	33
done	5000	33
0	2	2
1	5	1
done	5	1
0	14	17
1	21	17
2	44	17
3	88	17
4	199	17
5	404	17
6	577	17
7	625	17
8	786	17
9	1297	17
10	3298	17
done	5001	17
0	15	18
1	24	17
2	51	17
3	97	17
4	214	17
5	420	17
6	566	17
7	612	17
8	776	17
9	1299	17
10	3297	17
done	5001	17
0	16	19
1	27	18
2	51	17
3	101	17
4	214	17
5	423	17
6	600	17
7	650	17
8	811	17
9	1334	17
10	3333	17
done	5000	17
0	15	18
1	28	17
2	52	17
3	100	17
4	211	17
5	419	17
6	567	17
7	617	17
8	782	17
9	1299	17
10	3316	17
done	5000	17
0	15	18
1	24	18
2	47	18
3	91	18
4	200	18
5	404	18
6	558	18
7	608	18
8	764	18
9	1274	18
10	3293	18
done	5000	18
0	18	53
1	47	49
2	128	19
3	426	19
4	2102	19
done	5000	19
0	16	37
1	25	37
2	48	37
3	92	37
4	205	37
5	417	37
6	579	37
7	631	37
8	795	37
9	1309	37
10	3293	37
done	5000	37
0	15	18
1	24	18
2	47	18
3	91	18
4	200	18
5	404	18
6	558	18
7	608	18
8	764	18
9	1274	18
10	3293	18
done	5000	18
0	16	53
1	32	53
2	71	19
3	152	19
4	300	19
5	901	19
done	5000	19
0	15	18
1	24	18
2	47	18
3	91	18
4	200	18
5	404	18
6	558	18
7	608	18
8	764	18
9	1274	18
10	3293	18
done	5000	18
0	15	18
1	24	18
2	47	18
3	91	18
4	200	18
5	404	18
6	558	18
7	608	18
8	764	18
9	1274	18
10	3293	18
done	5000	18
0	2	2
1	5	1
done	5	1
0	13	16
1	23	16
2	54	16
3	115	16
4	318	16
5	941	16
6	2060	16
7	3086	16
done	5000	16
0	18	39
1	33	37
2	65	35
3	115	35
4	222	35
5	424	35
6	601	35
7	651	35
8	811	35
9	1327	35
10	3311	35
done	5000	35
0	16	19
1	25	18
2	48	18
3	92	18
4	201	18
5	399	18
6	565	18
7	613	18
8	777	18
9	1299	18
10	3317	18
done	5000	18
0	17	22
1	28	20
2	53	18
3	98	18
4	207	18
5	409	18
6	574	18
7	624	18
8	787	18
9	1297	18
10	3320	18
done	5000	18
0	16	19
1	25	18
2	48	18
3	92	18
4	201	18
5	399	18
6	565	18
7	613	18
8	777	18
9	1299	18
10	3317	18
done	5000	18
0	4	7
1	8	3
2	12	1
done	12	1
0	15	18
1	24	17
2	47	17
3	91	17
4	198	17
5	398	17
6	553	17
7	603	17
8	765	17
9	1283	17
10	3267	17
done	5000	17
0	17	36
1	28	35
2	51	35
3	95	35
4	202	35
5	400	35
6	552	35
7	602	35
8	769	35
9	1278	35
10	3276	35
done	5001	35
0	16	19
1	25	18
2	48	18
3	92	18
4	201	18
5	399	18
6	565	18
7	613	18
8	777	18
9	1299	18
10	3317	18
done	5000	18
0	16	19
1	25	18
2	48	18
3	92	18
4	201	18
5	399	18
6	565	18
7	613	18
8	777	18
9	1299	18
10	3317	18
done	5000	18
0	16	19
1	25	18
2	48	18
3	92	18
4	201	18
5	399	18
6	565	18
7	613	18
8	777	18
9	1299	18
10	3317	18
done	5000	18
0	3	4
1	5	1
done	5	1
0	15	18
1	24	17
2	47	17
3	91	17
4	198	17
5	398	17
6	553	17
7	603	17
8	765	17
9	1283	17
10	3267	17
done	5000	17
0	16	35
1	27	35
2	50	35
3	94	35
4	203	35
5	407	35
6	556	35
7	606	35
8	769	35
9	1282	35
10	3296	35
done	5001	35
0	15	18
1	24	18
2	47	18
3	91	18
4	200	18
5	404	18
6	558	18
7	608	18
8	764	18
9	1274	18
10	3293	18
done	5000	18
0	15	18
1	24	18
2	47	18
3	91	18
4	200	18
5	404	18
6	558	18
7	608	18
8	764	18
9	1274	18
10	3293	18
done	5000	18
0	15	18
1	24	18
2	47	18
3	91	18
4	200	18
5	404	18
6	558	18
7	608	18
8	764	18
9	1274	18
10	3293	18
done	5000	18
0	2	3
1	4	1
done	4	1
0	14	17
1	23	17
2	46	17
3	90	17
4	199	17
5	401	17
6	553	17
7	605	17
8	766	17
9	1278	17
10	3264	17
done	5000	17
0	14	17
1	23	17
2	46	17
3	90	17
4	199	17
5	401	17
6	553	17
7	605	17
8	766	17
9	1278	17
10	3264	17
done	5000	17
0	14	17
1	23	15
2	48	15
3	92	15
4	199	15
5	403	15
6	563	15
7	611	15
8	773	15
9	1304	15
10	3300	15
done	5000	15
0	16	35
1	27	35
2	50	35
3	94	35
4	203	35
5	407	35
6	556	35
7	606	35
8	769	35
9	1282	35
10	3296	35
done	5001	35
0	15	18
1	24	18
2	47	18
3	91	18
4	200	18
5	404	18
6	558	18
7	608	18
8	764	18
9	1274	18
10	3293	18
done	5000	18
0	2	3
1	4	1
done	4	1
0	15	18
1	24	17
2	47	17
3	91	17
4	198	17
5	410	17
6	569	17
7	617	17
8	783	17
9	1302	17
10	3311	17
done	5000	17
0	15	18
1	24	17
2	47	17
3	91	17
4	198	17
5	410	17
6	569	17
7	617	17
8	783	17
9	1302	17
10	3311	17
done	5000	17
0	14	17
1	23	15
2	48	15
3	92	15
4	199	15
5	403	15
6	563	15
7	611	15
8	773	15
9	1304	15
10	3300	15
done	5000	15
0	17	21
1	42	21
2	102	21
3	304	21
4	1182	21
done	5000	21
0	16	33
1	36	33
2	94	33
3	273	33
4	1051	33
done	5000	33
0	2	2
1	5	1
done	5	1
0	16	19
1	24	19
2	48	19
3	95	19
4	207	19
5	408	19
6	541	19
7	572	19
8	652	19
9	898	19
10	1723	19
done	5001	19
0	17	20
1	27	19
2	55	19
3	104	19
4	224	19
5	436	19
6	598	19
7	628	19
8	710	19
9	959	19
10	1796	19
done	5000	19
0	18	21
1	30	20
2	55	19
3	108	19
4	230	19
5	436	19
6	610	19
7	639	19
8	719	19
9	975	19
10	1810	19
done	5000	19
0	17	20
1	31	19
2	56	19
3	107	19
4	225	19
5	436	19
6	599	19
7	628	19
8	706	19
9	952	19
10	1784	19
done	5000	19
0	17	20
1	27	20
2	51	20
3	98	20
4	212	20
5	415	20
6	560	20
7	589	20
8	667	20
9	917	20
10	1737	20
done	5000	20
0	20	59
1	50	55
2	132	21
3	431	21
4	2117	21
done	5000	21
0	18	41
1	28	41
2	52	41
3	99	41
4	211	41
5	414	41
6	547	41
7	576	41
8	654	41
9	907	41
10	1727	41
done	5000	41
0	17	20
1	27	20
2	51	20
3	98	20
4	212	20
5	415	20
6	560	20
7	589	20
8	667	20
9	917	20
10	1737	20
done	5000	20
0	18	59
1	35	59
2	75	21
3	159	21
4	315	21
5	917	21
done	5000	21
0	17	20
1	27	20
2	51	20
3	98	20
4	212	20
5	415	20
6	560	20
7	589	20
8	667	20
9	917	20
10	1737	20
done	5000	20
0	17	20
1	27	20
2	51	20
3	98	20
4	212	20
5	415	20
6	560	20
7	589	20
8	667	20
9	917	20
10	1737	20
done	5000	20
0	2	2
1	5	1
done	5	1
0	15	18
1	26	18
2	58	18
3	122	18
4	332	18
5	958	18
6	2109	18
7	3112	18
done	5000	18
0	20	43
1	36	41
2	69	39
3	122	39
4	232	39
5	437	39
6	598	39
7	627	39
8	707	39
9	955	39
10	1787	39
done	5000	39
0	18	21
1	28	20
2	52	20
3	99	20
4	215	20
5	422	20
6	569	20
7	598	20
8	676	20
9	921	20
10	1743	20
done	5000	20
0	19	24
1	31	22
2	57	20
3	105	20
4	219	20
5	420	20
6	579	20
7	608	20
8	684	20
9	931	20
10	1758	20
done	5000	20
0	18	21
1	28	20
2	52	20
3	99	20
4	215	20
5	422	20
6	569	20
7	598	20
8	676	20
9	921	20
10	1743	20
done	5000	20
0	4	7
1	8	3
2	12	1
done	12	1
0	17	20
1	27	19
2	51	19
3	98	19
4	212	19
5	411	19
6	549	19
7	578	19
8	654	19
9	902	19
10	1731	19
done	5000	19
0	19	40
1	31	39
2	55	39
3	102	39
4	218	39
5	417	39
6	577	39
7	606	39
8	684	39
9	936	39
10	1753	39
done	5000	39
0	18	21
1	28	20
2	52	20
3	99	20
4	215	20
5	422	20
6	569	20
7	598	20
8	676	20
9	921	20
10	1743	20
done	5000	20
0	18	21
1	28	20
2	52	20
3	99	20
4	215	20
5	422	20
6	569	20
7	598	20
8	676	20
9	921	20
10	1743	20
done	5000	20
0	18	21
1	28	20
2	52	20
3	99	20
4	215	20
5	422	20
6	569	20
7	598	20
8	676	20
9	921	20
10	1743	20
done	5000	20
0	3	4
1	5	1
done	5	1
0	17	20
1	27	19
2	51	19
3	98	19
4	212	19
5	411	19
6	549	19
7	578	19
8	654	19
9	902	19
10	1731	19
done	5000	19
0	18	39
1	30	39
2	54	39
3	101	39
4	217	39
5	424	39
6	581	39
7	610	39
8	688	39
9	941	39
10	1770	39
done	5001	39
0	17	20
1	27	20
2	51	20
3	98	20
4	212	20
5	415	20
6	560	20
7	589	20
8	667	20
9	917	20
10	1737	20
done	5000	20
0	17	20
1	27	20
2	51	20
3	98	20
4	212	20
5	415	20
6	560	20
7	589	20
8	667	20
9	917	20
10	1737	20
done	5000	20
0	17	20
1	27	20
2	51	20
3	98	20
4	212	20
5	415	20
6	560	20
7	589	20
8	667	20
9	917	20
10	1737	20
done	5000	20
0	2	3
1	4	1
done	4	1
0	16	19
1	26	19
2	50	19
3	97	19
4	211	19
5	418	19
6	573	19
7	602	19
8	678	19
9	924	19
10	1752	19
done	5001	19
0	16	19
1	26	19
2	50	19
3	97	19
4	211	19
5	418	19
6	573	19
7	602	19
8	678	19
9	924	19
10	1752	19
done	5001	19
0	16	19
1	26	17
2	52	17
3	99	17
4	209	17
5	412	17
6	551	17
7	580	17
8	658	17
9	910	17
10	1743	17
done	5000	17
0	18	39
1	30	39
2	54	39
3	101	39
4	217	39
5	424	39
6	581	39
7	610	39
8	688	39
9	941	39
10	1770	39
done	5001	39
0	17	20
1	27	20
2	51	20
3	98	20
4	212	20
5	415	20
6	560	20
7	589	20
8	667	20
9	917	20
10	1737	20
done	5000	20
0	2	3
1	4	1
done	4	1
0	17	20
1	27	19
2	51	19
3	98	19
4	210	19
5	415	19
6	570	19
7	599	19
8	675	19
9	921	19
10	1747	19
done	5000	19
0	17	20
1	27	19
2	51	19
3	98	19
4	210	19
5	415	19
6	570	19
7	599	19
8	675	19
9	921	19
10	1747	19
done	5000	19
0	16	19
1	26	17
2	52	17
3	99	17
4	209	17
5	412	17
6	551	17
7	580	17
8	658	17
9	910	17
10	1743	17
done	5000	17
0	19	23
1	45	23
2	107	23
3	310	23
4	1204	23
done	5000	23
0	18	37
1	39	37
2	99	37
3	280	37
4	1071	37
done	5000	37
0	7	9
1	11	9
2	26	9
3	44	9
4	68	9
5	73	9
6	79	9
7	89	9
8	110	9
9	168	9
10	373	9
11	1287	9
done	5000	9
0	9	11
1	13	11
2	20	11
3	28	11
4	30	11
done	30	11
0	8	10
1	15	10
2	31	10
3	49	10
4	75	10
5	80	10
6	86	10
7	96	10
8	119	10
9	184	10
10	397	10
11	1303	10
done	5000	10
0	8	10
1	14	10
2	39	10
3	76	10
4	158	10
5	279	10
6	666	10
7	2057	10
done	5000	10
0	11	29
1	33	29
2	115	13
3	456	13
4	2353	11
done	5000	11
0	9	21
1	13	21
2	28	21
3	46	21
4	72	21
5	77	21
6	83	21
7	93	21
8	116	21
9	177	21
10	389	21
11	1316	21
done	5000	21
0	8	10
1	12	10
2	27	10
3	45	10
4	73	10
5	78	10
6	84	10
7	94	10
8	115	10
9	177	10
10	380	10
11	1306	10
done	5000	10
0	9	29
1	23	29
2	90	11
3	354	11
4	1369	11
done	5000	11
0	8	10
1	12	10
2	27	10
3	45	10
4	73	10
5	78	10
6	84	10
7	94	10
8	115	10
9	177	10
10	380	10
11	1306	10
done	5000	10
0	8	10
1	12	10
2	27	10
3	45	10
4	73	10
5	78	10
6	84	10
7	94	10
8	115	10
9	177	10
10	380	10
11	1306	10
done	5000	10
0	9	11
1	13	11
2	20	11
3	28	11
4	30	11
done	30	11
0	9	11
1	13	11
2	20	11
3	28	11
4	30	11
done	30	11
0	9	13
1	15	13
2	32	13
3	68	13
4	140	13
5	188	13
6	194	13
done	194	13
0	8	10
1	12	10
2	27	10
3	51	10
4	89	10
done	89	10
0	8	9
1	14	7
2	32	7
3	64	7
4	116	7
5	130	7
done	130	7
0	8	10
1	12	10
2	19	10
3	27	10
4	31	10
done	31	10
0	8	10
1	12	10
2	19	10
3	27	10
4	31	10
done	31	10
0	7	9
1	11	9
2	26	9
3	44	9
4	68	9
5	73	9
6	79	9
7	89	9
8	110	9
9	168	9
10	373	9
11	1287	9
done	5000	9
0	10	13
1	30	13
2	82	13
3	255	13
4	773	13
5	2724	13
done	5000	13
0	9	17
1	24	17
2	70	17
3	199	17
4	632	17
5	1847	17
done	5000	17
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	11	13
1	28	13
2	66	13
3	91	11
4	138	9
5	221	9
6	452	9
7	1434	9
done	5000	9
0	11	13
1	28	13
2	66	13
3	91	11
4	138	9
5	221	9
6	452	9
7	1434	9
done	5000	9

prune436.0ms

Filtered

162 candidates to 385 candidates (-137.7%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	384	1	385
Fresh	1	8	9
Picked	1	0	1
Done	0	2	2
Total	386	11	397

Merged error: 25.8b

Counts

397 → 11

regimes1.4s

Accuracy

0% (1.1b remaining)

Error of 29.5b against oracle of 28.4b and baseline of 29.5b

bsearch0.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	29	40
1	45	40
done	45	40

end0.0ms

sample1.6s

Algorithm

intervals

Results

809.0ms

8239×

body

valid

Details

sample61.0ms

simplify3.3s

prune6.0ms

localize31.0ms

rewrite64.0ms

series213.0ms

simplify4.5min

prune258.0ms

localize29.0ms

rewrite43.0ms

series279.0ms

simplify4.3min

prune171.0ms

localize32.0ms

rewrite90.0ms

series486.0ms

simplify11.0min

prune298.0ms

localize33.0ms

rewrite114.0ms

series255.0ms

simplify31.1min

prune436.0ms

regimes1.4s

bsearch0.0ms

simplify4.0ms

end0.0ms

sample1.6s

Profiling