Details

sample89.0ms

Algorithm

intervals

Results

17.0ms	558×	pre	80	true
16.0ms	302×	body	80	nan
15.0ms	149×	body	160	valid
13.0ms	107×	body	80	valid

simplify57.0ms

Counts

1 → 1

Iterations

Useful iterations: 2 (5.0ms)

Iter	Nodes	Cost
0	12	17
1	21	17
2	41	16
3	75	16
4	87	16
5	95	16
done	95	16

prune8.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 28.8b

Counts

2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.2b	(- (* b b) (* (* 3.0 a) c))
0.3b	(* (* 3.0 a) c)
0.4b	(/ (- (sqrt (- (* b b) (* (* 3.0 a) c))) b) (* 3.0 a))
28.6b	(- (sqrt (- (* b b) (* (* 3.0 a) c))) b)

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-sqr-sqrt`
14×	`add-exp-log` `add-cbrt-cube`
13×	`*-un-lft-identity`
9×	`pow1`
8×	`add-log-exp`
7×	`add-cube-cbrt`
6×	`times-frac` `associate-/l*` `difference-of-squares`
4×	`prod-exp` `cbrt-unprod`
3×	`flip3--` `associate-r` `pow-prod-down` `sqrt-prod` `flip--` `distribute-lft-out--`
2×	`cbrt-undiv` `sub-neg` `diff-log` `div-exp` `associate-/l/`
1×	`frac-2neg` `div-sub` `associate-l` `clear-num` `associate-/r` `-commutative` `div-inv`

Counts

4 → 75

Calls

4 calls:

4.0ms	(- (* b b) (* (* 3.0 a) c))
6.0ms	(* (* 3.0 a) c)
18.0ms	(/ (- (sqrt (- (* b b) (* (* 3.0 a) c))) b) (* 3.0 a))
9.0ms	(- (sqrt (- (* b b) (* (* 3.0 a) c))) b)

series64.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(- (* b b) (* (* 3.0 a) c))
4.0ms	(* (* 3.0 a) c)
31.0ms	(/ (- (sqrt (- (* b b) (* (* 3.0 a) c))) b) (* 3.0 a))
18.0ms	(- (sqrt (- (* b b) (* (* 3.0 a) c))) b)

simplify1.4min

Counts

87 → 87

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	12	14
1	20	13
2	39	13
3	67	13
4	74	13
5	80	13
6	84	13
7	100	13
8	104	13
9	109	13
10	116	13
11	134	13
12	155	13
13	172	13
14	175	13
done	175	13
0	11	13
1	19	13
2	37	13
3	62	13
4	66	13
done	66	13
0	11	13
1	22	13
2	42	13
3	70	13
4	80	13
5	84	13
6	100	13
7	104	13
8	109	13
9	116	13
10	134	13
11	155	13
12	173	13
13	176	13
done	176	13
0	12	27
1	20	27
2	38	27
3	63	27
4	67	27
done	67	27
0	11	13
1	19	13
2	37	13
3	62	13
4	66	13
done	66	13
0	12	38
1	21	38
2	53	14
3	121	14
4	231	14
5	605	14
6	2448	14
done	5000	14
0	11	13
1	19	13
2	37	13
3	62	13
4	66	13
done	66	13
0	11	13
1	19	13
2	37	13
3	62	13
4	66	13
done	66	13
0	13	16
1	33	16
2	72	16
3	140	16
4	304	16
5	745	16
6	2570	16
done	5001	16
0	13	38
1	26	24
2	61	24
3	117	22
4	167	22
5	250	22
6	423	22
7	536	22
8	638	22
9	694	22
10	766	22
done	766	22
0	2	2
done	2	2
0	11	25
1	22	13
2	55	13
3	112	13
4	162	7
5	246	6
6	979	6
done	5000	6
0	10	12
1	17	12
2	34	12
3	59	12
4	63	12
done	63	12
0	12	14
1	19	14
2	36	14
3	61	14
4	63	14
done	63	14
0	12	14
1	20	14
2	38	14
3	63	14
4	67	14
done	67	14
0	12	14
1	19	14
2	36	14
3	61	14
4	63	14
done	63	14
0	12	14
1	20	14
2	38	14
3	63	14
4	67	14
done	67	14
0	10	12
1	18	12
2	36	12
3	61	12
4	65	12
done	65	12
0	2	2
done	2	2
0	15	19
1	28	19
2	55	19
3	90	19
4	104	19
5	120	19
6	139	19
7	155	19
8	160	19
done	160	19
0	13	18
1	26	18
2	51	18
3	84	18
4	95	18
5	107	18
6	126	18
7	152	18
8	162	18
done	162	18
0	12	17
1	28	17
2	67	17
3	114	17
4	137	17
5	148	17
6	164	17
7	183	17
8	199	17
9	204	17
done	204	17
0	12	17
1	25	17
2	59	17
3	94	17
4	107	17
5	114	17
6	118	17
7	134	17
8	138	17
9	149	17
10	166	17
11	195	17
12	231	17
13	261	17
14	278	17
15	304	17
16	306	17
done	306	17
0	18	50
1	41	50
2	161	22
3	686	22
4	2721	20
done	5000	20
0	15	50
1	41	50
2	176	20
3	827	18
4	3200	18
done	5001	18
0	13	35
1	26	35
2	57	35
3	90	35
4	100	35
5	101	35
done	101	35
0	12	17
1	25	17
2	56	17
3	89	17
4	97	17
5	98	17
done	98	17
0	13	50
1	33	50
2	122	18
3	571	18
4	2580	18
done	5000	18
0	12	17
1	25	17
2	56	17
3	89	17
4	97	17
5	98	17
done	98	17
0	12	17
1	25	17
2	56	17
3	89	17
4	97	17
5	98	17
done	98	17
0	11	13
1	19	13
2	40	13
3	67	13
4	72	12
done	72	12
0	4	4
1	9	4
2	11	4
done	11	4
0	10	14
1	18	14
2	37	14
3	62	14
4	64	14
done	64	14
0	5	5
1	8	5
2	10	5
done	10	5
0	13	29
1	23	29
2	43	29
3	69	29
4	73	29
done	73	29
0	12	15
1	20	15
2	38	15
3	63	15
4	67	15
done	67	15
0	12	15
1	20	15
2	38	15
3	63	15
4	67	15
done	67	15
0	12	15
1	20	15
2	38	15
3	63	15
4	67	15
done	67	15
0	3	3
1	5	3
done	5	3
0	11	14
1	22	14
2	42	14
3	69	14
4	73	14
done	73	14
0	13	16
1	20	16
2	37	16
3	62	16
4	66	16
done	66	16
0	13	16
1	24	16
2	44	16
3	71	16
4	73	16
done	73	16
0	13	16
1	20	16
2	37	16
3	62	16
4	66	16
done	66	16
0	13	16
1	24	16
2	44	16
3	71	16
4	73	16
done	73	16
0	3	3
1	5	3
done	5	3
0	11	14
1	22	14
2	42	14
3	69	14
4	73	14
done	73	14
0	5	5
1	10	5
2	12	5
done	12	5
0	11	16
1	21	16
2	46	16
3	79	16
4	88	16
5	90	16
done	90	16
0	11	14
1	22	14
2	42	14
3	69	14
4	73	14
done	73	14
0	12	17
1	22	17
2	44	17
3	72	17
4	75	17
done	75	17
0	12	17
1	22	17
2	44	17
3	72	17
4	75	17
done	75	17
0	11	16
1	21	16
2	46	16
3	79	16
4	88	16
5	90	16
done	90	16
0	13	18
1	23	18
2	48	18
3	81	18
4	90	18
5	92	18
done	92	18
0	13	18
1	23	18
2	48	18
3	81	18
4	90	18
5	92	18
done	92	18
0	11	16
1	21	16
2	46	16
3	79	16
4	88	16
5	90	16
done	90	16
0	14	42
1	36	28
2	128	28
3	352	26
4	755	26
5	1171	26
6	1759	26
7	2632	26
8	3989	26
done	5000	26
0	11	16
1	27	16
2	71	16
3	106	16
4	108	16
done	108	16
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	7	7
1	12	7
2	17	7
3	21	7
done	21	7
0	6	6
1	13	6
2	26	6
3	38	6
4	40	6
done	40	6
0	6	6
1	12	6
2	29	6
3	51	6
4	107	6
5	248	6
6	586	6
7	1550	6
done	5000	6
0	11	17
1	24	17
2	89	11
3	327	11
4	1072	9
5	2986	9
done	5000	9
0	9	17
1	26	17
2	93	9
3	379	9
4	1161	7
5	2175	7
done	5000	7
0	7	13
1	11	13
2	17	13
done	17	13
0	6	6
1	10	6
2	16	6
done	16	6
0	7	17
1	21	17
2	91	7
3	423	7
4	1138	7
5	1610	7
6	3198	7
done	5000	7
0	6	6
1	10	6
2	16	6
done	16	6
0	6	6
1	10	6
2	16	6
done	16	6
0	7	9
1	13	9
2	26	9
3	36	9
done	36	9
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	5	5
1	11	3
2	23	3
3	27	3
done	27	3
0	3	3
1	4	3
done	4	3
0	10	11
1	20	10
2	42	10
3	96	10
4	254	10
5	834	10
6	4965	10
done	5000	10
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	9	10
1	18	10
2	45	10
3	103	10
4	210	10
5	652	10
6	2953	10
done	5001	10
0	10	21
1	16	21
2	33	21
3	58	21
4	60	21
done	60	21
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	10	29
1	17	29
2	48	11
3	174	11
4	920	11
5	4638	11
done	5000	11
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	11	13
1	35	13
2	131	11
3	621	11
4	3194	11
done	5001	11
0	12	29
1	38	23
2	127	21
3	376	19
4	530	19
5	557	19
6	663	19
7	1006	19
8	2362	19
done	5000	19
0	6	6
1	14	6
2	35	6
3	53	6
done	53	6
0	10	19
1	30	19
2	98	17
3	378	15
4	1029	15
5	1449	15
6	1950	15
7	3164	15
done	5000	15
0	8	9
1	13	9
2	19	9
done	19	9
0	6	6
1	14	6
2	35	6
3	53	6
done	53	6
0	13	15
1	31	15
2	71	15
3	124	13
4	220	13
5	294	13
6	409	13
7	706	13
8	1079	13
9	2184	13
done	5000	13
0	7	7
1	13	7
2	27	7
3	48	7
4	77	7
5	88	7
done	88	7
0	10	11
1	19	11
2	41	11
3	62	11
4	91	11
5	102	11
done	102	11
0	14	17
1	40	15
2	120	15
3	351	15
4	1057	13
5	2942	13
done	5000	13
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	10	11
1	18	11
2	33	11
3	50	11
4	62	11
5	65	11
done	65	11
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	9	9
1	20	9
2	45	9
3	75	9
4	83	9
5	93	9
6	115	9
7	176	9
8	390	9
9	1312	9
done	5001	9
0	9	9
1	20	9
2	45	9
3	75	9
4	83	9
5	93	9
6	115	9
7	176	9
8	390	9
9	1312	9
done	5001	9
0	9	9
1	20	9
2	45	9
3	75	9
4	83	9
5	93	9
6	115	9
7	176	9
8	390	9
9	1312	9
done	5001	9

prune166.0ms

Filtered

66 candidates to 87 candidates (-31.8%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	82	5	87
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	83	5	88

Merged error: 0.4b

Counts

88 → 5

localize12.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (* 3.0 a) c)
0.3b	(* (* 3.0 a) c)
0.3b	(/ (neg (* (* 3.0 a) c)) (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b))
0.4b	(/ (/ (neg (* (* 3.0 a) c)) (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b)) (* 3.0 a))

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

102×	`times-frac`
78×	`*-un-lft-identity`
40×	`add-sqr-sqrt` `add-cube-cbrt`
36×	`associate-/l*`
28×	`add-exp-log` `add-cbrt-cube`
19×	`distribute-lft-out`
14×	`pow1`
13×	`distribute-lft-neg-in` `neg-mul-1` `distribute-rgt-neg-in`
8×	`prod-exp` `cbrt-unprod`
7×	`cbrt-undiv` `div-exp`
6×	`associate-r` `pow-prod-down` `associate-/r/`
5×	`associate-/r*`
4×	`div-inv` `add-log-exp`
3×	`flip3-+` `div-sub` `distribute-frac-neg` `flip-+`
2×	`neg-sub0` `frac-2neg` `associate-l` `clear-num` `*-commutative`
1×	`associate-/l/`

Counts

4 → 168

Calls

4 calls:

6.0ms	(* (* 3.0 a) c)
6.0ms	(* (* 3.0 a) c)
12.0ms	(/ (neg (* (* 3.0 a) c)) (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b))
17.0ms	(/ (/ (neg (* (* 3.0 a) c)) (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b)) (* 3.0 a))

series133.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* (* 3.0 a) c)
4.0ms	(* (* 3.0 a) c)
70.0ms	(/ (neg (* (* 3.0 a) c)) (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b))
55.0ms	(/ (/ (neg (* (* 3.0 a) c)) (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b)) (* 3.0 a))

simplify3.9min

Counts

180 → 180

Iterations

Useful iterations: 2 (6.0ms)

Iter	Nodes	Cost
0	18	27
1	37	27
2	91	27
3	219	26
4	789	26
5	2843	19
done	5000	19
0	16	26
1	35	26
2	81	26
3	189	26
4	641	26
5	2461	19
done	5000	19
0	17	26
1	37	26
2	91	26
3	235	25
4	829	25
5	3318	25
done	5000	25
0	15	25
1	35	25
2	84	25
3	214	25
4	706	25
5	2800	25
done	5001	25
0	14	24
1	33	24
2	111	24
3	539	17
4	2363	16
done	5000	16
0	14	24
1	30	24
2	95	24
3	472	17
4	2028	16
done	5000	16
0	22	71
1	71	69
2	354	31
3	4963	29
done	5000	29
0	19	71
1	71	69
2	359	29
3	4999	27
done	5000	27
0	20	71
1	53	71
2	229	29
3	1854	29
done	5000	29
0	17	71
1	53	71
2	244	27
3	2037	25
done	5001	25
0	15	49
1	31	49
2	96	49
3	467	35
4	1919	33
done	5001	33
0	14	24
1	30	24
2	95	24
3	466	17
4	1938	16
done	5000	16
0	15	71
1	38	71
2	170	25
3	1408	18
done	5000	18
0	14	24
1	30	24
2	95	24
3	466	17
4	1938	16
done	5000	16
0	14	24
1	30	24
2	95	24
3	466	17
4	1938	16
done	5000	16
0	13	20
1	27	20
2	63	18
3	159	18
4	342	18
5	477	18
6	548	18
7	559	18
done	559	18
0	4	4
1	9	4
2	11	4
done	11	4
0	13	18
1	24	5
2	57	1
3	112	1
4	120	1
done	120	1
0	12	22
1	25	22
2	88	22
3	376	16
4	1066	14
done	5000	14
0	15	43
1	29	43
2	62	43
3	123	43
4	201	43
5	275	43
6	301	43
done	301	43
0	14	22
1	26	22
2	57	22
3	117	22
4	195	22
5	269	22
6	295	22
done	295	22
0	14	22
1	26	22
2	57	22
3	117	22
4	195	22
5	269	22
6	295	22
done	295	22
0	14	22
1	26	22
2	57	22
3	117	22
4	195	22
5	269	22
6	295	22
done	295	22
0	17	45
1	35	45
2	80	45
3	135	45
4	176	45
5	181	45
done	181	45
0	15	23
1	27	23
2	52	23
3	70	23
done	70	23
0	16	31
1	30	31
2	63	31
3	94	31
4	104	31
done	104	31
0	15	23
1	27	23
2	52	23
3	70	23
done	70	23
0	11	19
1	25	17
2	66	17
3	102	17
4	112	17
5	117	17
done	117	17
0	14	22
1	26	22
2	59	22
3	77	22
done	77	22
0	11	19
1	25	17
2	66	17
3	102	17
4	112	17
5	117	17
done	117	17
0	14	22
1	26	22
2	59	22
3	77	22
done	77	22
0	16	37
1	30	37
2	58	37
3	84	37
done	84	37
0	15	23
1	27	23
2	52	23
3	70	23
done	70	23
0	15	23
1	27	23
2	52	23
3	70	23
done	70	23
0	15	23
1	27	23
2	52	23
3	70	23
done	70	23
0	10	11
1	22	9
2	49	9
3	67	9
done	67	9
0	14	22
1	26	22
2	59	22
3	77	22
done	77	22
0	10	11
1	22	9
2	49	9
3	67	9
done	67	9
0	14	22
1	26	22
2	59	22
3	77	22
done	77	22
0	15	31
1	28	31
2	51	31
3	84	31
4	86	31
done	86	31
0	14	22
1	28	22
2	76	22
3	262	22
4	699	19
5	1190	18
done	5000	18
0	14	17
1	25	17
2	45	17
3	72	17
4	74	17
done	74	17
0	14	22
1	28	22
2	76	22
3	262	22
4	699	19
5	1190	18
done	5000	18
0	4	5
1	8	3
2	10	3
3	12	3
done	12	3
0	13	21
1	27	21
2	83	21
3	269	21
4	704	18
5	1205	17
done	5000	17
0	4	5
1	8	3
2	10	3
3	12	3
done	12	3
0	13	21
1	27	21
2	83	21
3	269	21
4	704	18
5	1205	17
done	5000	17
0	15	31
1	26	31
2	49	31
3	82	31
4	84	31
done	84	31
0	13	21
1	24	21
2	70	21
3	200	21
4	385	19
5	499	17
6	1735	17
done	5000	17
0	14	17
1	23	17
2	43	17
3	68	17
4	70	17
done	70	17
0	13	21
1	24	21
2	70	21
3	200	21
4	385	19
5	499	17
6	1735	17
done	5000	17
0	5	5
1	9	3
2	11	3
3	13	3
done	13	3
0	12	20
1	23	20
2	77	20
3	205	20
4	389	18
5	536	16
6	1903	16
done	5000	16
0	5	5
1	9	3
2	11	3
3	13	3
done	13	3
0	12	20
1	23	20
2	77	20
3	205	20
4	389	18
5	536	16
6	1903	16
done	5000	16
0	15	34
1	32	34
2	91	34
3	246	31
4	472	30
5	1865	30
done	5001	30
0	13	17
1	22	17
2	42	17
3	67	17
4	71	17
done	71	17
0	14	20
1	29	20
2	70	20
3	158	17
4	231	16
5	843	16
6	4504	16
done	5000	16
0	13	17
1	22	17
2	42	17
3	67	17
4	71	17
done	71	17
0	7	8
1	18	6
2	57	6
3	105	2
4	278	2
5	702	2
6	2102	2
done	5000	2
0	12	16
1	21	16
2	49	16
3	74	16
4	76	16
done	76	16
0	7	8
1	18	6
2	57	6
3	105	2
4	278	2
5	702	2
6	2102	2
done	5000	2
0	12	16
1	21	16
2	49	16
3	74	16
4	76	16
done	76	16
0	14	33
1	30	33
2	80	33
3	170	31
4	262	29
5	843	29
6	4351	29
done	5001	29
0	14	18
1	25	18
2	48	18
3	78	18
4	82	18
done	82	18
0	13	19
1	24	19
2	59	19
3	111	17
4	137	15
5	322	15
6	1623	15
done	5000	15
0	14	18
1	25	18
2	48	18
3	78	18
4	82	18
done	82	18
0	6	7
1	13	5
2	41	5
3	74	1
4	80	1
done	80	1
0	13	17
1	24	17
2	55	17
3	83	17
4	87	17
done	87	17
0	6	7
1	13	5
2	41	5
3	74	1
4	80	1
done	80	1
0	13	17
1	24	17
2	55	17
3	83	17
4	87	17
done	87	17
0	3	3
1	5	3
done	5	3
0	13	21
1	27	21
2	83	21
3	269	21
4	704	18
5	1205	17
done	5000	17
0	7	8
1	17	8
2	47	8
3	108	8
4	188	5
5	264	4
6	832	4
7	4815	4
done	5000	4
0	13	16
1	24	16
2	52	16
3	77	16
4	79	16
done	79	16
0	16	25
1	42	25
2	107	25
3	343	25
4	943	22
5	1971	21
done	5000	21
0	14	40
1	28	26
2	73	26
3	161	24
4	310	24
5	603	24
6	1189	22
7	2370	22
done	5000	22
0	14	34
1	32	22
2	121	22
3	584	22
4	2436	13
done	5000	13
0	11	14
1	22	14
2	42	14
3	69	14
4	73	14
done	73	14
0	5	5
1	10	5
2	12	5
done	12	5
0	13	23
1	29	23
2	99	23
3	464	17
4	2212	15
done	5000	15
0	12	22
1	25	22
2	88	22
3	376	16
4	1066	14
done	5000	14
0	13	21
1	27	21
2	83	21
3	269	21
4	704	18
5	1210	17
done	5000	17
0	14	24
1	28	24
2	63	24
3	126	24
4	206	24
5	280	24
6	306	24
done	306	24
0	14	24
1	28	24
2	63	24
3	126	24
4	206	24
5	280	24
6	306	24
done	306	24
0	15	25
1	29	25
2	64	25
3	102	25
4	125	25
5	133	25
6	136	25
7	138	25
done	138	25
0	15	25
1	29	25
2	64	25
3	102	25
4	125	25
5	133	25
6	136	25
7	138	25
done	138	25
0	14	24
1	28	24
2	71	24
3	141	24
4	222	24
5	274	24
6	287	24
7	299	24
8	301	24
done	301	24
0	14	24
1	28	24
2	71	24
3	141	24
4	222	24
5	274	24
6	287	24
7	299	24
8	301	24
done	301	24
0	15	25
1	29	25
2	64	25
3	102	25
4	125	25
5	133	25
6	136	25
7	138	25
done	138	25
0	15	25
1	29	25
2	64	25
3	102	25
4	125	25
5	133	25
6	136	25
7	138	25
done	138	25
0	14	24
1	28	24
2	71	24
3	141	24
4	222	24
5	274	24
6	287	24
7	299	24
8	301	24
done	301	24
0	14	24
1	28	24
2	71	24
3	141	24
4	222	24
5	274	24
6	287	24
7	299	24
8	301	24
done	301	24
0	14	24
1	30	24
2	92	24
3	377	18
4	1548	16
done	5000	16
0	14	24
1	30	24
2	92	24
3	377	18
4	1548	16
done	5000	16
0	13	23
1	29	23
2	99	23
3	464	17
4	2212	15
done	5000	15
0	13	23
1	29	23
2	99	23
3	464	17
4	2212	15
done	5000	15
0	13	23
1	26	23
2	89	23
3	351	17
4	949	15
done	5000	15
0	13	23
1	26	23
2	89	23
3	351	17
4	949	15
done	5000	15
0	12	22
1	25	22
2	96	22
3	462	16
4	1484	14
done	5000	14
0	12	22
1	25	22
2	96	22
3	462	16
4	1484	14
done	5000	14
0	13	19
1	24	19
2	54	19
3	99	19
4	126	19
5	135	19
6	138	19
7	140	19
done	140	19
0	13	19
1	24	19
2	54	19
3	99	19
4	126	19
5	135	19
6	138	19
7	140	19
done	140	19
0	12	18
1	23	18
2	61	18
3	140	18
4	223	18
5	275	18
6	288	18
7	300	18
8	302	18
done	302	18
0	12	18
1	23	18
2	61	18
3	140	18
4	223	18
5	275	18
6	288	18
7	300	18
8	302	18
done	302	18
0	14	20
1	27	20
2	58	20
3	110	20
4	139	20
5	154	20
6	157	20
7	159	20
done	159	20
0	14	20
1	27	20
2	58	20
3	110	20
4	139	20
5	154	20
6	157	20
7	159	20
done	159	20
0	13	19
1	26	19
2	65	19
3	149	19
4	234	19
5	305	19
6	330	19
7	342	19
8	344	19
done	344	19
0	13	19
1	26	19
2	65	19
3	149	19
4	234	19
5	305	19
6	330	19
7	342	19
8	344	19
done	344	19
0	13	23
1	29	23
2	99	23
3	464	17
4	2212	15
done	5000	15
0	13	18
1	26	18
2	64	16
3	173	16
4	407	16
5	656	16
6	932	16
done	932	16
0	14	42
1	30	28
2	79	28
3	181	26
4	376	26
5	786	26
6	1684	24
7	3860	24
done	5001	24
0	11	16
1	21	16
2	46	16
3	79	16
4	88	16
5	90	16
done	90	16
0	11	16
1	27	16
2	71	16
3	106	16
4	108	16
done	108	16
0	14	21
1	26	21
2	55	21
3	103	21
4	184	21
5	284	21
6	330	21
7	414	21
8	572	21
9	1063	21
10	1239	21
11	1472	21
12	1630	21
done	1630	21
0	13	20
1	28	20
2	67	20
3	158	20
4	348	20
5	624	20
6	845	20
7	1090	20
8	1382	20
9	1525	20
10	1701	20
11	1864	20
done	1864	20
0	13	20
1	25	20
2	59	20
3	121	20
4	209	20
5	331	20
6	491	20
7	856	20
8	1813	20
9	4368	20
done	5000	20
0	16	59
1	54	57
2	241	23
3	2339	21
done	5000	21
0	14	41
1	26	41
2	57	41
3	117	41
4	195	41
5	269	41
6	295	41
done	295	41
0	13	20
1	25	20
2	56	20
3	116	20
4	194	20
5	268	20
6	294	20
done	294	20
0	14	59
1	33	59
2	111	21
3	609	21
done	5002	21
0	13	20
1	25	20
2	56	20
3	116	20
4	194	20
5	268	20
6	294	20
done	294	20
0	13	20
1	25	20
2	56	20
3	116	20
4	194	20
5	268	20
6	294	20
done	294	20
0	7	7
1	15	5
2	41	5
3	91	5
4	141	5
done	141	5
0	11	13
1	21	13
2	40	13
3	66	13
4	68	13
done	68	13
0	12	14
1	19	1
2	36	1
3	61	1
4	63	1
done	63	1
0	11	18
1	20	18
2	47	18
3	91	18
4	117	18
5	130	18
done	130	18
0	16	43
1	32	43
2	63	43
3	87	43
done	87	43
0	14	21
1	24	21
2	46	21
3	64	21
done	64	21
0	15	29
1	27	29
2	51	29
3	70	29
done	70	29
0	14	21
1	24	21
2	46	21
3	64	21
done	64	21
0	10	17
1	22	15
2	49	15
3	72	15
4	73	15
done	73	15
0	13	20
1	23	20
2	45	20
3	63	20
done	63	20
0	10	17
1	22	15
2	49	15
3	72	15
4	73	15
done	73	15
0	13	20
1	23	20
2	45	20
3	63	20
done	63	20
0	15	35
1	27	35
2	49	35
3	67	35
done	67	35
0	14	21
1	24	21
2	46	21
3	64	21
done	64	21
0	14	21
1	24	21
2	46	21
3	64	21
done	64	21
0	14	21
1	24	21
2	46	21
3	64	21
done	64	21
0	9	9
1	19	7
2	42	7
3	60	7
done	60	7
0	13	20
1	23	20
2	45	20
3	63	20
done	63	20
0	9	9
1	19	7
2	42	7
3	60	7
done	60	7
0	13	20
1	23	20
2	45	20
3	63	20
done	63	20
0	14	29
1	25	29
2	42	29
3	67	29
4	71	29
done	71	29
0	13	20
1	25	20
2	56	20
3	116	20
4	194	20
5	268	20
6	294	20
done	294	20
0	13	15
1	22	15
2	39	15
3	64	15
4	66	15
done	66	15
0	13	20
1	25	20
2	56	20
3	116	20
4	194	20
5	268	20
6	294	20
done	294	20
0	2	3
1	4	1
done	4	1
0	12	19
1	24	19
2	55	19
3	115	19
4	193	19
5	267	19
6	293	19
done	293	19
0	2	3
1	4	1
done	4	1
0	12	19
1	24	19
2	55	19
3	115	19
4	193	19
5	267	19
6	293	19
done	293	19
0	14	29
1	23	29
2	40	29
3	65	29
4	69	29
done	69	29
0	12	19
1	21	19
2	48	19
3	94	19
4	122	19
5	135	19
done	135	19
0	13	15
1	20	15
2	37	15
3	62	15
4	66	15
done	66	15
0	12	19
1	21	19
2	48	19
3	94	19
4	122	19
5	135	19
done	135	19
0	3	3
1	5	1
done	5	1
0	11	18
1	20	18
2	47	18
3	91	18
4	117	18
5	130	18
done	130	18
0	3	3
1	5	1
done	5	1
0	11	18
1	20	18
2	47	18
3	91	18
4	117	18
5	130	18
done	130	18
0	14	32
1	29	32
2	68	32
3	133	32
4	164	32
5	171	32
done	171	32
0	12	15
1	19	15
2	36	15
3	61	15
4	63	15
done	63	15
0	13	18
1	26	18
2	50	18
3	84	18
4	97	18
5	100	18
done	100	18
0	12	15
1	19	15
2	36	15
3	61	15
4	63	15
done	63	15
0	6	6
1	15	4
2	28	4
3	45	4
4	72	4
5	77	4
done	77	4
0	11	14
1	18	14
2	35	14
3	60	14
4	62	14
done	62	14
0	6	6
1	15	4
2	28	4
3	45	4
4	72	4
5	77	4
done	77	4
0	11	14
1	18	14
2	35	14
3	60	14
4	62	14
done	62	14
0	13	31
1	27	31
2	58	31
3	96	31
4	104	31
done	104	31
0	13	16
1	22	16
2	38	16
3	63	16
4	65	16
done	65	16
0	12	17
1	21	17
2	42	17
3	70	17
4	75	17
done	75	17
0	13	16
1	22	16
2	38	16
3	63	16
4	65	16
done	65	16
0	5	5
1	10	3
2	18	3
3	27	3
4	32	3
done	32	3
0	12	15
1	21	15
2	37	15
3	62	15
4	66	15
done	66	15
0	5	5
1	10	3
2	18	3
3	27	3
4	32	3
done	32	3
0	12	15
1	21	15
2	37	15
3	62	15
4	66	15
done	66	15
0	12	14
1	21	14
2	38	14
3	63	14
4	65	14
done	65	14
0	12	19
1	22	19
2	48	19
3	84	19
4	116	19
5	118	19
done	118	19
0	11	18
1	20	18
2	47	18
3	91	18
4	117	18
5	130	18
done	130	18
0	14	34
1	28	34
2	77	34
3	229	34
4	515	34
5	769	34
6	820	34
done	820	34
0	13	20
1	25	20
2	56	20
3	116	20
4	194	20
5	268	20
6	294	20
done	294	20
0	8	8
1	20	6
2	54	6
3	123	6
4	269	6
5	413	6
6	468	6
done	468	6
0	8	8
1	20	6
2	54	6
3	123	6
4	269	6
5	413	6
6	468	6
done	468	6
0	13	20
1	23	20
2	45	20
3	63	20
done	63	20
0	13	20
1	23	20
2	45	20
3	63	20
done	63	20
0	12	19
1	22	19
2	48	19
3	84	19
4	116	19
5	118	19
done	118	19
0	11	18
1	20	18
2	44	18
3	80	18
4	83	18
done	83	18
0	11	14
1	18	14
2	35	14
3	60	14
4	62	14
done	62	14
0	12	15
1	19	15
2	35	15
3	60	15
4	64	15
done	64	15
0	15	23
1	39	23
2	79	23
3	165	23
4	352	23
5	616	23
6	1108	23
7	3933	23
done	5000	23
0	13	32
1	29	20
2	93	20
3	340	20
4	1059	14
5	2526	13
done	5000	13
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	7	7
1	12	7
2	17	7
3	21	7
done	21	7
0	6	6
1	13	6
2	26	6
3	38	6
4	40	6
done	40	6
0	6	6
1	12	6
2	29	6
3	51	6
4	107	6
5	248	6
6	586	6
7	1550	6
done	5000	6
0	11	17
1	24	17
2	89	11
3	327	11
4	1072	9
5	2986	9
done	5000	9
0	9	17
1	26	17
2	93	9
3	379	9
4	1161	7
5	2175	7
done	5000	7
0	7	13
1	11	13
2	17	13
done	17	13
0	6	6
1	10	6
2	16	6
done	16	6
0	7	17
1	21	17
2	91	7
3	423	7
4	1138	7
5	1610	7
6	3198	7
done	5000	7
0	6	6
1	10	6
2	16	6
done	16	6
0	6	6
1	10	6
2	16	6
done	16	6
0	7	9
1	13	9
2	26	9
3	36	9
done	36	9
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	5	5
1	11	3
2	23	3
3	27	3
done	27	3
0	3	3
1	4	3
done	4	3
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	7	7
1	12	7
2	17	7
3	21	7
done	21	7
0	6	6
1	13	6
2	26	6
3	38	6
4	40	6
done	40	6
0	6	6
1	12	6
2	29	6
3	51	6
4	107	6
5	248	6
6	586	6
7	1550	6
done	5000	6
0	11	17
1	24	17
2	89	11
3	327	11
4	1072	9
5	2986	9
done	5000	9
0	9	17
1	26	17
2	93	9
3	379	9
4	1161	7
5	2175	7
done	5000	7
0	7	13
1	11	13
2	17	13
done	17	13
0	6	6
1	10	6
2	16	6
done	16	6
0	7	17
1	21	17
2	91	7
3	423	7
4	1138	7
5	1610	7
6	3198	7
done	5000	7
0	6	6
1	10	6
2	16	6
done	16	6
0	6	6
1	10	6
2	16	6
done	16	6
0	7	9
1	13	9
2	26	9
3	36	9
done	36	9
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	5	5
1	11	3
2	23	3
3	27	3
done	27	3
0	3	3
1	4	3
done	4	3
0	1	1
done	1	1
0	1	1
done	1	1
0	20	29
1	51	29
2	185	29
3	609	27
4	2790	27
done	5000	27
0	1	1
done	1	1
0	1	1
done	1	1
0	19	27
1	51	27
2	181	27
3	594	25
4	2459	23
done	5000	23
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5

prune419.0ms

Filtered

137 candidates to 180 candidates (-31.4%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	169	11	180
Fresh	4	0	4
Picked	1	0	1
Done	0	0	0
Total	174	11	185

Merged error: 0.0b

Counts

185 → 11

localize15.0ms

Local error

Found 4 expressions with local error:

0.2b	(- (* b b) (* (* 3.0 a) c))
0.3b	(* (* 3.0 a) c)
0.4b	(/ (* 3.0 a) (/ c (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b)))
0.4b	(/ (/ (neg (* 3.0 a)) 1) (/ (* 3.0 a) (/ c (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b))))

rewrite130.0ms

Algorithm

rewrite-expression-head

Rules

1670×	`times-frac`
618×	`*-un-lft-identity`
468×	`add-sqr-sqrt` `add-cube-cbrt`
80×	`add-exp-log`
75×	`associate-/r/` `distribute-lft-out`
74×	`div-inv`
72×	`distribute-lft-neg-in` `neg-mul-1` `distribute-rgt-neg-in`
62×	`add-cbrt-cube`
49×	`div-exp`
41×	`associate-/r*`
33×	`cbrt-undiv`
25×	`flip3-+` `flip-+`
23×	`associate-/l*`
11×	`prod-exp`
9×	`pow1` `cbrt-unprod`
6×	`add-log-exp`
5×	`1-exp`
3×	`associate-r` `pow-prod-down`
2×	`frac-2neg` `div-sub` `distribute-frac-neg` `clear-num`
1×	`neg-sub0` `sub-neg` `flip3--` `diff-log` `associate-l` `*-commutative` `flip--` `associate-/l/`

Counts

4 → 676

Calls

4 calls:

4.0ms	(- (* b b) (* (* 3.0 a) c))
7.0ms	(* (* 3.0 a) c)
20.0ms	(/ (* 3.0 a) (/ c (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b)))
32.0ms	(/ (/ (neg (* 3.0 a)) 1) (/ (* 3.0 a) (/ c (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b))))

series124.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(- (* b b) (* (* 3.0 a) c))
4.0ms	(* (* 3.0 a) c)
60.0ms	(/ (* 3.0 a) (/ c (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b)))
50.0ms	(/ (/ (neg (* 3.0 a)) 1) (/ (* 3.0 a) (/ c (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b))))

simplify47.8min

Counts

688 → 688

Iterations

Useful iterations: 2 (8.0ms)

Iter	Nodes	Cost
0	22	30
1	50	28
2	143	28
3	474	28
4	1814	23
done	5000	23
0	21	29
1	48	27
2	127	27
3	393	27
4	1457	22
done	5000	22
0	20	29
1	48	27
2	128	27
3	410	27
4	1525	27
5	4789	23
done	5000	23
0	19	28
1	46	26
2	114	26
3	337	26
4	1191	26
5	3995	22
done	5000	22
0	18	27
1	42	25
2	122	25
3	335	25
4	1027	25
5	3299	21
done	5001	21
0	23	31
1	53	30
2	136	28
3	477	28
4	1823	23
done	5001	23
0	22	30
1	51	29
2	120	27
3	396	27
4	1450	22
done	5001	22
0	21	30
1	51	29
2	121	27
3	412	27
4	1534	27
5	4732	23
done	5000	23
0	20	29
1	49	28
2	107	26
3	340	26
4	1191	26
5	3985	22
done	5000	22
0	19	28
1	45	27
2	115	25
3	338	25
4	1027	25
5	3291	21
done	5001	21
0	22	30
1	52	28
2	136	28
3	428	28
4	1946	23
done	5000	23
0	21	29
1	50	27
2	122	27
3	369	27
4	1607	22
done	5000	22
0	20	29
1	50	27
2	123	27
3	388	27
4	1715	27
done	5000	27
0	19	28
1	48	26
2	111	26
3	336	26
4	1388	26
5	4884	22
done	5000	22
0	18	27
1	44	25
2	121	25
3	363	25
4	1291	25
5	4308	21
done	5000	21
0	17	26
1	43	24
2	183	24
3	846	17
4	4210	16
done	5000	16
0	17	26
1	40	24
2	162	24
3	747	17
4	3632	16
done	5000	16
0	29	77
1	94	71
2	441	33
done	5000	33
0	27	77
1	81	71
2	377	31
done	5000	31
0	26	77
1	93	71
2	445	31
done	5000	27
0	24	77
1	80	71
2	397	29
done	5000	25
0	22	77
1	66	71
2	299	27
3	3367	27
done	5001	27
0	27	77
1	85	71
2	411	33
done	5001	33
0	25	77
1	72	71
2	347	31
3	4423	29
done	5000	29
0	24	77
1	85	71
2	398	31
done	5001	31
0	22	77
1	72	71
2	344	29
done	5001	29
0	20	77
1	60	71
2	297	27
3	3453	25
done	5000	25
0	18	53
1	41	49
2	161	49
3	724	35
4	3484	33
done	5000	33
0	17	26
1	40	24
2	160	24
3	723	17
4	3484	16
done	5001	16
0	18	77
1	48	71
2	247	25
3	2282	18
done	5001	18
0	17	26
1	40	24
2	160	24
3	723	17
4	3484	16
done	5001	16
0	17	26
1	40	24
2	160	24
3	723	17
4	3484	16
done	5001	16
0	7	7
1	18	5
2	37	3
3	67	3
4	99	3
5	106	3
done	106	3
0	13	19
1	26	19
2	75	19
3	206	19
4	441	19
5	719	19
6	859	19
7	951	19
8	974	19
done	974	19
0	16	22
1	32	20
2	90	1
3	231	1
4	454	1
5	809	1
6	1003	1
7	1082	1
8	1085	1
done	1085	1
0	15	24
1	34	22
2	151	22
3	742	14
4	3005	14
done	5001	14
0	20	55
1	45	51
2	103	51
3	228	51
4	536	51
5	951	51
6	1561	51
7	1740	51
8	1767	51
9	1805	51
done	1805	51
0	18	27
1	37	25
2	86	25
3	205	25
4	510	25
5	911	25
6	1524	25
7	1706	25
8	1733	25
9	1778	25
done	1778	25
0	19	35
1	40	31
2	91	31
3	211	31
4	519	31
5	904	31
6	1515	31
7	1691	31
8	1718	31
9	1760	31
done	1760	31
0	18	27
1	37	25
2	86	25
3	205	25
4	510	25
5	911	25
6	1524	25
7	1706	25
8	1733	25
9	1778	25
done	1778	25
0	20	49
1	41	45
2	84	45
3	164	45
4	311	45
5	486	45
6	642	45
7	651	45
8	653	45
done	653	45
0	18	25
1	35	23
2	66	23
3	119	23
4	231	23
5	376	23
6	523	23
done	523	23
0	19	33
1	38	29
2	75	29
3	137	29
4	260	29
5	417	29
6	565	29
7	566	29
done	566	29
0	18	25
1	35	23
2	66	23
3	119	23
4	231	23
5	376	23
6	523	23
done	523	23
0	22	51
1	49	47
2	121	47
3	314	47
4	861	47
5	1692	47
6	2358	47
7	2427	47
done	2427	47
0	19	26
1	38	24
2	76	24
3	140	24
4	269	24
5	436	24
6	591	24
7	593	24
done	593	24
0	21	37
1	44	33
2	99	33
3	234	33
4	564	33
5	953	33
6	1231	33
7	1256	33
8	1258	33
done	1258	33
0	19	26
1	38	24
2	76	24
3	140	24
4	269	24
5	436	24
6	591	24
7	593	24
done	593	24
0	14	25
1	31	19
2	72	19
3	196	19
4	383	19
5	619	19
6	719	19
7	738	19
done	738	19
0	18	25
1	37	23
2	83	23
3	159	23
4	294	23
5	465	23
6	634	23
7	641	23
8	649	23
9	653	23
10	659	23
11	662	23
12	664	23
done	664	23
0	14	25
1	31	19
2	72	19
3	196	19
4	383	19
5	619	19
6	719	19
7	738	19
done	738	19
0	18	25
1	37	23
2	83	23
3	159	23
4	294	23
5	465	23
6	634	23
7	641	23
8	649	23
9	653	23
10	659	23
11	662	23
12	664	23
done	664	23
0	21	48
1	44	44
2	98	44
3	219	44
4	506	44
5	906	44
6	1195	44
7	1211	44
done	1211	44
0	19	26
1	38	24
2	76	24
3	140	24
4	269	24
5	436	24
6	591	24
7	593	24
done	593	24
0	20	34
1	41	30
2	89	30
3	182	30
4	370	30
5	586	30
6	750	30
7	754	30
done	754	30
0	19	26
1	38	24
2	76	24
3	140	24
4	269	24
5	436	24
6	591	24
7	593	24
done	593	24
0	13	22
1	28	16
2	59	16
3	124	16
4	209	16
5	295	16
6	312	16
7	323	16
8	330	16
done	330	16
0	18	25
1	37	23
2	83	23
3	159	23
4	294	23
5	465	23
6	634	23
7	641	23
8	649	23
9	653	23
10	659	23
11	662	23
12	664	23
done	664	23
0	13	22
1	28	16
2	59	16
3	124	16
4	209	16
5	295	16
6	312	16
7	323	16
8	330	16
done	330	16
0	18	25
1	37	23
2	83	23
3	159	23
4	294	23
5	465	23
6	634	23
7	641	23
8	649	23
9	653	23
10	659	23
11	662	23
12	664	23
done	664	23
0	20	47
1	43	43
2	97	41
3	207	41
4	534	41
5	950	41
6	1207	41
7	1212	41
done	1212	41
0	18	25
1	37	23
2	75	23
3	139	23
4	267	23
5	426	23
6	581	23
7	583	23
done	583	23
0	19	33
1	40	29
2	88	27
3	172	27
4	377	27
5	588	27
6	762	27
done	762	27
0	18	25
1	37	23
2	75	23
3	139	23
4	267	23
5	426	23
6	581	23
7	583	23
done	583	23
0	11	21
1	26	15
2	56	13
3	98	13
4	152	13
5	190	13
6	205	13
7	220	13
8	222	13
9	238	13
10	313	13
11	393	13
12	460	13
done	460	13
0	17	24
1	36	22
2	82	22
3	158	22
4	292	22
5	459	22
6	627	22
7	634	22
8	642	22
9	646	22
10	652	22
11	655	22
12	657	22
done	657	22
0	11	21
1	26	15
2	56	13
3	98	13
4	152	13
5	190	13
6	205	13
7	220	13
8	222	13
9	238	13
10	313	13
11	393	13
12	460	13
done	460	13
0	17	24
1	36	22
2	82	22
3	158	22
4	292	22
5	459	22
6	627	22
7	634	22
8	642	22
9	646	22
10	652	22
11	655	22
12	657	22
done	657	22
0	10	19
1	23	13
2	44	13
3	77	13
4	106	13
5	114	13
6	116	13
done	116	13
0	17	24
1	36	22
2	82	22
3	158	22
4	292	22
5	459	22
6	627	22
7	634	22
8	642	22
9	646	22
10	652	22
11	655	22
12	657	22
done	657	22
0	11	19
1	24	15
2	46	15
3	73	15
4	110	15
5	119	15
6	121	15
7	122	15
done	122	15
0	17	24
1	36	22
2	82	20
3	145	20
4	279	20
5	449	20
6	620	20
7	624	20
8	650	20
9	715	20
10	746	20
11	754	20
12	766	20
done	766	20
0	21	36
1	54	32
2	119	32
3	274	32
4	716	32
5	2143	32
done	5000	32
0	19	48
1	43	32
2	107	32
3	275	30
4	798	30
5	1878	30
done	5000	30
0	19	45
1	44	29
2	118	29
3	339	29
4	1067	23
5	2723	22
done	5000	22
0	16	22
1	34	20
2	72	20
3	142	20
4	271	20
5	435	20
6	595	20
7	599	20
8	600	20
done	600	20
0	9	17
1	20	11
2	38	11
3	60	11
4	87	11
5	92	11
done	92	11
0	17	26
1	38	24
2	99	24
3	260	24
4	728	24
5	1558	24
6	2582	24
7	3112	24
8	3443	24
9	4058	24
10	4450	24
11	4601	24
12	4745	24
13	4766	24
done	4766	24
0	9	19
1	25	15
2	51	15
3	92	15
4	193	15
5	270	15
6	309	15
7	310	15
done	310	15
0	17	24
1	36	22
2	82	20
3	165	20
4	334	20
5	506	20
6	587	20
7	589	20
8	590	20
done	590	20
0	11	21
1	26	17
2	63	17
3	174	17
4	465	17
5	743	17
6	876	17
7	882	17
done	882	17
0	15	20
1	30	18
2	58	18
3	110	18
4	220	18
5	367	18
6	513	18
done	513	18
0	19	47
1	40	45
2	89	45
3	208	45
4	516	45
5	927	45
6	1538	45
7	1717	45
8	1744	45
9	1784	45
done	1784	45
0	18	27
1	37	25
2	86	25
3	205	25
4	510	25
5	911	25
6	1524	25
7	1706	25
8	1733	25
9	1778	25
done	1778	25
0	18	27
1	37	25
2	86	25
3	205	25
4	510	25
5	911	25
6	1524	25
7	1706	25
8	1733	25
9	1778	25
done	1778	25
0	18	27
1	37	25
2	86	25
3	205	25
4	510	25
5	911	25
6	1524	25
7	1706	25
8	1733	25
9	1778	25
done	1778	25
0	19	41
1	38	39
2	73	39
3	133	39
4	248	39
5	407	39
6	559	39
7	564	39
done	564	39
0	18	25
1	35	23
2	66	23
3	119	23
4	231	23
5	376	23
6	523	23
done	523	23
0	18	25
1	35	23
2	66	23
3	119	23
4	231	23
5	376	23
6	523	23
done	523	23
0	18	25
1	35	23
2	66	23
3	119	23
4	231	23
5	376	23
6	523	23
done	523	23
0	21	43
1	46	41
2	108	41
3	241	41
4	499	41
5	847	41
6	1218	41
7	1259	41
8	1260	41
done	1260	41
0	19	26
1	38	24
2	76	24
3	140	24
4	269	24
5	436	24
6	591	24
7	593	24
done	593	24
0	20	29
1	41	27
2	86	27
3	179	27
4	353	27
5	563	27
6	766	27
7	781	27
8	782	27
done	782	27
0	19	26
1	38	24
2	76	24
3	140	24
4	269	24
5	436	24
6	591	24
7	593	24
done	593	24
0	13	17
1	28	13
2	60	13
3	134	13
4	226	13
5	303	13
6	344	13
7	354	13
done	354	13
0	18	25
1	37	23
2	83	23
3	159	23
4	294	23
5	465	23
6	634	23
7	641	23
8	649	23
9	653	23
10	659	23
11	662	23
12	664	23
done	664	23
0	13	17
1	28	13
2	60	13
3	134	13
4	226	13
5	303	13
6	344	13
7	354	13
done	354	13
0	18	25
1	37	23
2	83	23
3	159	23
4	294	23
5	465	23
6	634	23
7	641	23
8	649	23
9	653	23
10	659	23
11	662	23
12	664	23
done	664	23
0	20	40
1	41	38
2	85	38
3	168	38
4	318	38
5	521	38
6	712	38
7	718	38
done	718	38
0	19	26
1	38	24
2	76	24
3	140	24
4	269	24
5	436	24
6	591	24
7	593	24
done	593	24
0	19	26
1	38	24
2	76	24
3	140	24
4	269	24
5	436	24
6	591	24
7	593	24
done	593	24
0	19	26
1	38	24
2	76	24
3	140	24
4	269	24
5	436	24
6	591	24
7	593	24
done	593	24
0	12	14
1	25	10
2	47	10
3	80	10
4	128	10
5	155	10
6	158	10
7	163	10
8	168	10
done	168	10
0	18	25
1	37	23
2	83	23
3	159	23
4	294	23
5	465	23
6	634	23
7	641	23
8	649	23
9	653	23
10	659	23
11	662	23
12	664	23
done	664	23
0	12	14
1	25	10
2	47	10
3	80	10
4	128	10
5	155	10
6	158	10
7	163	10
8	168	10
done	168	10
0	18	25
1	37	23
2	83	23
3	159	23
4	294	23
5	465	23
6	634	23
7	641	23
8	649	23
9	653	23
10	659	23
11	662	23
12	664	23
done	664	23
0	19	39
1	40	37
2	84	35
3	163	35
4	342	35
5	602	35
6	824	35
7	829	35
done	829	35
0	18	25
1	37	23
2	75	23
3	139	23
4	267	23
5	426	23
6	581	23
7	583	23
done	583	23
0	18	25
1	37	23
2	75	21
3	137	21
4	268	21
5	435	21
6	598	21
done	598	21
0	18	25
1	37	23
2	75	23
3	139	23
4	267	23
5	426	23
6	581	23
7	583	23
done	583	23
0	10	13
1	23	9
2	44	7
3	65	7
4	95	7
5	111	7
6	123	7
7	131	7
8	135	7
9	137	7
10	153	7
11	228	7
12	308	7
13	372	7
done	372	7
0	17	24
1	36	22
2	82	22
3	158	22
4	292	22
5	459	22
6	627	22
7	634	22
8	642	22
9	646	22
10	652	22
11	655	22
12	657	22
done	657	22
0	10	13
1	23	9
2	44	7
3	65	7
4	95	7
5	111	7
6	123	7
7	131	7
8	135	7
9	137	7
10	153	7
11	228	7
12	308	7
13	372	7
done	372	7
0	17	24
1	36	22
2	82	22
3	158	22
4	292	22
5	459	22
6	627	22
7	634	22
8	642	22
9	646	22
10	652	22
11	655	22
12	657	22
done	657	22
0	9	11
1	20	7
2	37	7
3	56	7
4	80	7
5	87	7
6	88	7
done	88	7
0	17	24
1	36	22
2	82	22
3	158	22
4	292	22
5	459	22
6	627	22
7	634	22
8	642	22
9	646	22
10	652	22
11	655	22
12	657	22
done	657	22
0	10	11
1	21	9
2	37	9
3	55	9
4	84	9
5	91	9
6	92	9
done	92	9
0	17	24
1	36	22
2	82	20
3	145	20
4	279	20
5	449	20
6	620	20
7	624	20
8	650	20
9	715	20
10	746	20
11	754	20
12	766	20
done	766	20
0	20	28
1	51	26
2	106	26
3	232	26
4	610	26
5	1869	26
done	5000	26
0	19	48
1	43	32
2	107	32
3	275	30
4	798	30
5	1878	30
done	5000	30
0	18	37
1	41	23
2	105	23
3	287	23
4	780	17
5	1738	16
done	5001	16
0	16	22
1	34	20
2	72	20
3	142	20
4	271	20
5	435	20
6	595	20
7	599	20
8	600	20
done	600	20
0	8	9
1	17	5
2	31	5
3	48	5
4	75	5
5	80	5
done	80	5
0	17	26
1	38	24
2	99	24
3	260	24
4	728	24
5	1558	24
6	2582	24
7	3112	24
8	3443	24
9	4058	24
10	4450	24
11	4601	24
12	4745	24
13	4766	24
done	4766	24
0	8	11
1	19	9
2	34	9
3	54	9
4	100	9
5	140	9
6	158	9
7	184	9
8	185	9
done	185	9
0	17	24
1	36	22
2	82	20
3	165	20
4	334	20
5	506	20
6	587	20
7	589	20
8	590	20
done	590	20
0	10	13
1	23	11
2	48	11
3	99	11
4	223	11
5	368	11
6	447	11
7	508	11
8	510	11
done	510	11
0	15	20
1	30	18
2	58	18
3	110	18
4	220	18
5	367	18
6	513	18
done	513	18
0	22	57
1	49	55
2	122	53
3	269	51
4	374	51
5	426	51
6	439	51
7	451	51
8	453	51
done	453	51
0	19	28
1	38	27
2	79	27
3	155	25
4	244	25
5	296	25
6	309	25
7	321	25
8	323	25
done	323	25
0	21	37
1	46	35
2	107	33
3	212	31
4	303	31
5	356	31
6	369	31
7	381	31
8	383	31
done	383	31
0	19	28
1	38	27
2	79	27
3	155	25
4	244	25
5	296	25
6	309	25
7	321	25
8	323	25
done	323	25
0	22	51
1	47	49
2	105	47
3	250	45
4	465	45
5	749	45
6	878	45
7	880	45
done	880	45
0	19	26
1	36	25
2	62	25
3	98	23
4	115	23
5	147	23
6	173	23
7	178	23
8	183	23
done	183	23
0	21	35
1	44	33
2	96	31
3	202	29
4	282	29
5	392	29
6	426	29
done	426	29
0	19	26
1	36	25
2	62	25
3	98	23
4	115	23
5	147	23
6	173	23
7	178	23
8	183	23
done	183	23
0	24	53
1	55	51
2	143	49
3	487	47
4	1644	47
5	4089	47
done	5000	47
0	20	27
1	39	26
2	74	26
3	145	24
4	220	24
5	345	24
6	460	24
7	474	24
done	474	24
0	23	39
1	50	37
2	121	35
3	370	33
4	1078	33
5	2253	33
6	2753	33
7	2757	33
done	2757	33
0	20	27
1	39	26
2	74	26
3	145	24
4	220	24
5	345	24
6	460	24
7	474	24
done	474	24
0	16	27
1	37	23
2	91	19
3	248	19
4	504	19
5	683	19
6	732	19
done	732	19
0	19	26
1	38	25
2	81	25
3	172	23
4	279	23
5	457	23
6	616	23
7	662	23
8	687	23
9	694	23
10	696	23
11	697	23
done	697	23
0	16	27
1	37	23
2	91	19
3	248	19
4	504	19
5	683	19
6	732	19
done	732	19
0	19	26
1	38	25
2	81	25
3	172	23
4	279	23
5	457	23
6	616	23
7	662	23
8	687	23
9	694	23
10	696	23
11	697	23
done	697	23
0	23	50
1	50	48
2	120	46
3	352	44
4	949	44
5	1793	44
6	2239	44
7	2242	44
done	2242	44
0	20	27
1	39	26
2	74	26
3	145	24
4	220	24
5	345	24
6	460	24
7	474	24
done	474	24
0	22	36
1	47	34
2	111	32
3	300	30
4	663	30
5	1069	30
6	1230	30
7	1237	30
done	1237	30
0	20	27
1	39	26
2	74	26
3	145	24
4	220	24
5	345	24
6	460	24
7	474	24
done	474	24
0	15	24
1	34	20
2	78	16
3	163	16
4	243	16
5	328	16
6	336	16
done	336	16
0	19	26
1	38	25
2	81	25
3	172	23
4	279	23
5	457	23
6	616	23
7	662	23
8	687	23
9	694	23
10	696	23
11	697	23
done	697	23
0	15	24
1	34	20
2	78	16
3	163	16
4	243	16
5	328	16
6	336	16
done	336	16
0	19	26
1	38	25
2	81	25
3	172	23
4	279	23
5	457	23
6	616	23
7	662	23
8	687	23
9	694	23
10	696	23
11	697	23
done	697	23
0	22	49
1	49	47
2	119	43
3	328	41
4	930	41
5	1585	41
6	1769	41
7	1790	41
done	1790	41
0	19	26
1	38	25
2	73	25
3	144	23
4	221	23
5	344	23
6	449	23
7	460	23
done	460	23
0	21	35
1	46	33
2	110	29
3	276	27
4	621	27
5	872	27
6	949	27
done	949	27
0	19	26
1	38	25
2	73	25
3	144	23
4	221	23
5	344	23
6	449	23
7	460	23
done	460	23
0	13	23
1	32	19
2	75	13
3	123	13
4	185	13
5	228	13
6	261	13
7	266	13
done	266	13
0	18	25
1	37	24
2	80	24
3	171	22
4	275	22
5	456	22
6	601	22
7	647	22
8	670	22
9	677	22
10	679	22
11	680	22
done	680	22
0	13	23
1	32	19
2	75	13
3	123	13
4	185	13
5	228	13
6	261	13
7	266	13
done	266	13
0	18	25
1	37	24
2	80	24
3	171	22
4	275	22
5	456	22
6	601	22
7	647	22
8	670	22
9	677	22
10	679	22
11	680	22
done	680	22
0	12	21
1	29	17
2	60	15
3	133	13
4	239	13
5	295	13
6	296	13
done	296	13
0	18	25
1	37	24
2	80	24
3	171	22
4	275	22
5	456	22
6	601	22
7	647	22
8	670	22
9	677	22
10	679	22
11	680	22
done	680	22
0	13	21
1	30	19
2	67	17
3	149	15
4	226	15
5	335	15
6	390	15
done	390	15
0	18	25
1	37	24
2	80	22
3	154	20
4	251	20
5	379	20
6	441	20
7	474	20
8	550	20
9	761	20
10	820	20
11	833	20
done	833	20
0	23	38
1	60	36
2	141	34
3	398	32
4	1087	32
5	3004	32
done	5000	32
0	20	49
1	44	34
2	103	34
3	262	30
4	781	30
5	2099	30
done	5000	30
0	21	47
1	50	33
2	140	31
3	474	29
4	1616	23
5	4366	22
done	5001	22
0	17	23
1	35	22
2	68	22
3	129	20
4	182	20
5	269	20
6	402	20
7	483	20
8	508	20
9	513	20
done	513	20
0	11	19
1	26	15
2	48	13
3	55	11
4	57	11
done	57	11
0	18	27
1	39	26
2	99	26
3	282	24
4	715	24
5	1391	24
6	1948	24
7	2085	24
8	2168	24
9	2196	24
10	2200	24
11	2204	24
done	2204	24
0	11	21
1	28	19
2	70	17
3	166	15
4	279	15
5	313	15
6	329	15
done	329	15
0	18	25
1	37	24
2	80	22
3	162	20
4	212	20
5	243	20
6	249	20
7	251	20
8	252	20
done	252	20
0	13	23
1	32	21
2	84	19
3	271	17
4	801	17
5	1174	17
6	1294	17
done	1294	17
0	16	21
1	31	20
2	51	20
3	83	18
4	97	18
done	97	18
0	21	54
1	44	53
2	98	53
3	207	51
4	327	51
5	380	51
6	393	51
7	405	51
8	407	51
done	407	51
0	19	28
1	38	27
2	79	27
3	155	25
4	244	25
5	296	25
6	309	25
7	321	25
8	323	25
done	323	25
0	20	34
1	41	33
2	90	33
3	179	31
4	278	31
5	330	31
6	343	31
7	355	31
8	357	31
done	357	31
0	19	28
1	38	27
2	79	27
3	155	25
4	244	25
5	296	25
6	309	25
7	321	25
8	323	25
done	323	25
0	21	48
1	42	47
2	84	47
3	179	45
4	344	45
5	566	45
6	697	45
7	703	45
done	703	45
0	19	26
1	36	25
2	62	25
3	98	23
4	115	23
5	147	23
6	173	23
7	178	23
8	183	23
done	183	23
0	20	32
1	39	31
2	75	31
3	141	29
4	212	29
5	287	29
6	324	29
done	324	29
0	19	26
1	36	25
2	62	25
3	98	23
4	115	23
5	147	23
6	173	23
7	178	23
8	183	23
done	183	23
0	23	50
1	50	49
2	119	49
3	371	47
4	1155	47
5	3075	47
6	4418	47
7	4434	47
done	4434	47
0	20	27
1	39	26
2	74	26
3	145	24
4	220	24
5	345	24
6	460	24
7	474	24
done	474	24
0	22	36
1	45	35
2	97	35
3	272	33
4	719	33
5	1646	33
6	2152	33
7	2163	33
done	2163	33
0	20	27
1	39	26
2	74	26
3	145	24
4	220	24
5	345	24
6	460	24
7	474	24
done	474	24
0	15	24
1	32	19
2	67	19
3	199	19
4	388	19
5	567	19
6	625	19
done	625	19
0	19	26
1	38	25
2	81	25
3	172	23
4	279	23
5	457	23
6	616	23
7	662	23
8	687	23
9	694	23
10	696	23
11	697	23
done	697	23
0	15	24
1	32	19
2	67	19
3	199	19
4	388	19
5	567	19
6	625	19
done	625	19
0	19	26
1	38	25
2	81	25
3	172	23
4	279	23
5	457	23
6	616	23
7	662	23
8	687	23
9	694	23
10	696	23
11	697	23
done	697	23
0	22	47
1	45	46
2	96	46
3	256	44
4	643	44
5	1350	44
6	1857	44
7	1869	44
done	1869	44
0	20	27
1	39	26
2	74	26
3	145	24
4	220	24
5	345	24
6	460	24
7	474	24
done	474	24
0	21	33
1	42	32
2	87	32
3	209	30
4	427	30
5	736	30
6	913	30
7	920	30
done	920	30
0	20	27
1	39	26
2	74	26
3	145	24
4	220	24
5	345	24
6	460	24
7	474	24
done	474	24
0	14	21
1	29	16
2	54	16
3	120	16
4	187	16
5	267	16
6	276	16
done	276	16
0	19	26
1	38	25
2	81	25
3	172	23
4	279	23
5	457	23
6	616	23
7	662	23
8	687	23
9	694	23
10	696	23
11	697	23
done	697	23
0	14	21
1	29	16
2	54	16
3	120	16
4	187	16
5	267	16
6	276	16
done	276	16
0	19	26
1	38	25
2	81	25
3	172	23
4	279	23
5	457	23
6	616	23
7	662	23
8	687	23
9	694	23
10	696	23
11	697	23
done	697	23
0	21	46
1	44	45
2	95	43
3	242	41
4	639	41
5	1229	41
6	1417	41
7	1433	41
done	1433	41
0	19	26
1	38	25
2	73	25
3	144	23
4	221	23
5	344	23
6	449	23
7	460	23
done	460	23
0	20	32
1	41	31
2	86	29
3	197	27
4	407	27
5	647	27
6	708	27
done	708	27
0	19	26
1	38	25
2	73	25
3	144	23
4	221	23
5	344	23
6	449	23
7	460	23
done	460	23
0	12	20
1	27	15
2	51	13
3	86	13
4	159	13
5	202	13
6	234	13
done	234	13
0	18	25
1	37	24
2	80	24
3	171	22
4	275	22
5	456	22
6	601	22
7	647	22
8	670	22
9	677	22
10	679	22
11	680	22
done	680	22
0	12	20
1	27	15
2	51	13
3	86	13
4	159	13
5	202	13
6	234	13
done	234	13
0	18	25
1	37	24
2	80	24
3	171	22
4	275	22
5	456	22
6	601	22
7	647	22
8	670	22
9	677	22
10	679	22
11	680	22
done	680	22
0	11	18
1	24	15
2	44	15
3	93	13
4	162	13
5	210	13
6	215	13
done	215	13
0	18	25
1	37	24
2	80	24
3	171	22
4	275	22
5	456	22
6	601	22
7	647	22
8	670	22
9	677	22
10	679	22
11	680	22
done	680	22
0	12	18
1	25	17
2	46	17
3	88	15
4	157	15
5	226	15
6	282	15
done	282	15
0	18	25
1	37	24
2	80	22
3	154	20
4	251	20
5	379	20
6	441	20
7	474	20
8	550	20
9	761	20
10	820	20
11	833	20
done	833	20
0	22	35
1	55	34
2	117	34
3	309	32
4	845	32
5	2590	32
done	5001	32
0	20	49
1	44	34
2	103	34
3	262	30
4	781	30
5	2099	30
done	5000	30
0	20	44
1	45	31
2	116	31
3	379	29
4	1288	23
5	3641	22
done	5000	22
0	17	23
1	35	22
2	68	22
3	129	20
4	182	20
5	269	20
6	402	20
7	483	20
8	508	20
9	513	20
done	513	20
0	10	16
1	21	13
2	33	13
3	40	11
done	40	11
0	18	27
1	39	26
2	99	26
3	282	24
4	715	24
5	1391	24
6	1948	24
7	2085	24
8	2168	24
9	2196	24
10	2200	24
11	2204	24
done	2204	24
0	10	18
1	23	17
2	45	17
3	94	15
4	150	15
5	185	15
6	203	15
done	203	15
0	18	25
1	37	24
2	80	22
3	162	20
4	212	20
5	243	20
6	249	20
7	251	20
8	252	20
done	252	20
0	12	20
1	27	19
2	59	19
3	168	17
4	463	17
5	784	17
6	944	17
done	944	17
0	16	21
1	31	20
2	51	20
3	83	18
4	97	18
done	97	18
0	20	53
1	43	51
2	110	51
3	243	51
4	340	51
5	392	51
6	405	51
7	417	51
8	419	51
done	419	51
0	18	27
1	37	25
2	81	25
3	157	25
4	239	25
5	291	25
6	304	25
7	316	25
8	318	25
done	318	25
0	19	33
1	40	31
2	98	31
3	196	31
4	281	31
5	333	31
6	346	31
7	358	31
8	360	31
done	360	31
0	18	27
1	37	25
2	81	25
3	157	25
4	239	25
5	291	25
6	304	25
7	316	25
8	318	25
done	318	25
0	20	47
1	41	45
2	94	45
3	228	45
4	410	45
5	670	45
6	740	45
7	751	45
done	751	45
0	18	25
1	35	23
2	64	23
3	104	23
4	121	23
5	145	23
6	148	23
7	153	23
8	158	23
done	158	23
0	19	31
1	38	29
2	85	29
3	178	29
4	250	29
5	346	29
6	352	29
done	352	29
0	18	25
1	35	23
2	64	23
3	104	23
4	121	23
5	145	23
6	148	23
7	153	23
8	158	23
done	158	23
0	22	49
1	49	47
2	132	47
3	427	47
4	1346	47
5	3356	47
6	4549	47
7	4608	47
done	4608	47
0	19	26
1	38	24
2	76	24
3	148	24
4	210	24
5	310	24
6	364	24
7	370	24
done	370	24
0	21	35
1	44	33
2	110	33
3	325	33
4	828	33
5	1799	33
6	2305	33
7	2314	33
done	2314	33
0	19	26
1	38	24
2	76	24
3	148	24
4	210	24
5	310	24
6	364	24
7	370	24
done	370	24
0	14	23
1	31	19
2	69	19
3	194	19
4	379	19
5	554	19
6	600	19
7	601	19
done	601	19
0	18	25
1	37	23
2	83	23
3	175	23
4	263	23
5	448	23
6	547	23
7	579	23
8	587	23
9	589	23
10	590	23
done	590	23
0	14	23
1	31	19
2	69	19
3	194	19
4	379	19
5	554	19
6	600	19
7	601	19
done	601	19
0	18	25
1	37	23
2	83	23
3	175	23
4	263	23
5	448	23
6	547	23
7	579	23
8	587	23
9	589	23
10	590	23
done	590	23
0	21	46
1	44	44
2	109	44
3	309	44
4	754	44
5	1430	44
6	1885	44
7	1910	44
done	1910	44
0	19	26
1	38	24
2	76	24
3	148	24
4	210	24
5	310	24
6	364	24
7	370	24
done	370	24
0	20	32
1	41	30
2	100	30
3	260	30
4	499	30
5	801	30
6	963	30
7	964	30
done	964	30
0	19	26
1	38	24
2	76	24
3	148	24
4	210	24
5	310	24
6	364	24
7	370	24
done	370	24
0	13	20
1	28	16
2	56	16
3	123	16
4	188	16
5	268	16
6	276	16
done	276	16
0	18	25
1	37	23
2	83	23
3	175	23
4	263	23
5	448	23
6	547	23
7	579	23
8	587	23
9	589	23
10	590	23
done	590	23
0	13	20
1	28	16
2	56	16
3	123	16
4	188	16
5	268	16
6	276	16
done	276	16
0	18	25
1	37	23
2	83	23
3	175	23
4	263	23
5	448	23
6	547	23
7	579	23
8	587	23
9	589	23
10	590	23
done	590	23
0	20	45
1	43	43
2	108	41
3	297	41
4	760	41
5	1353	41
6	1561	41
7	1581	41
done	1581	41
0	18	25
1	37	23
2	75	23
3	147	23
4	205	23
5	305	23
6	354	23
7	359	23
done	359	23
0	19	31
1	40	29
2	99	27
3	250	27
4	483	27
5	706	27
6	775	27
done	775	27
0	18	25
1	37	23
2	75	23
3	147	23
4	205	23
5	305	23
6	354	23
7	359	23
done	359	23
0	11	19
1	26	15
2	53	13
3	92	13
4	161	13
5	203	13
6	240	13
7	246	13
done	246	13
0	17	24
1	36	22
2	82	22
3	174	22
4	262	22
5	448	22
6	547	22
7	578	22
8	586	22
9	588	22
10	589	22
done	589	22
0	11	19
1	26	15
2	53	13
3	92	13
4	161	13
5	203	13
6	240	13
7	246	13
done	246	13
0	17	24
1	36	22
2	82	22
3	174	22
4	262	22
5	448	22
6	547	22
7	578	22
8	586	22
9	588	22
10	589	22
done	589	22
0	10	17
1	23	13
2	50	13
3	92	13
4	162	13
5	214	13
6	264	13
7	272	13
done	272	13
0	17	24
1	36	22
2	82	22
3	174	22
4	262	22
5	448	22
6	547	22
7	578	22
8	586	22
9	588	22
10	589	22
done	589	22
0	11	17
1	24	15
2	56	15
3	125	15
4	195	15
5	281	15
6	288	15
done	288	15
0	17	24
1	36	22
2	82	20
3	163	20
4	248	20
5	360	20
6	437	20
7	515	20
8	730	20
9	797	20
10	812	20
done	812	20
0	21	34
1	54	32
2	130	32
3	360	32
4	912	32
5	2796	32
done	5001	32
0	19	48
1	43	32
2	105	32
3	264	30
4	713	30
5	1843	30
done	5000	30
0	19	43
1	44	29
2	129	29
3	432	29
4	1417	23
5	4071	22
done	5000	22
0	16	22
1	34	20
2	70	20
3	131	20
4	175	20
5	246	20
6	320	20
7	406	20
8	426	20
9	430	20
done	430	20
0	9	15
1	20	11
2	26	11
3	31	11
done	31	11
0	17	26
1	38	24
2	101	24
3	285	24
4	666	24
5	1336	24
6	1770	24
7	1887	24
8	1923	24
9	1927	24
10	1931	24
done	1931	24
0	9	17
1	22	15
2	59	15
3	156	15
4	212	15
5	232	15
done	232	15
0	17	24
1	36	20
2	78	20
3	146	20
4	191	20
5	222	20
6	228	20
7	230	20
8	231	20
done	231	20
0	11	19
1	26	17
2	73	17
3	237	17
4	558	17
5	924	17
6	954	17
done	954	17
0	15	20
1	30	18
2	53	18
3	85	18
4	93	18
done	93	18
0	21	51
1	44	49
2	94	47
3	187	45
4	271	45
5	323	45
6	336	45
7	348	45
8	350	45
done	350	45
0	19	28
1	38	27
2	79	27
3	155	25
4	244	25
5	296	25
6	309	25
7	321	25
8	323	25
done	323	25
0	20	31
1	41	29
2	85	27
3	163	25
4	246	25
5	299	25
6	312	25
7	324	25
8	326	25
done	326	25
0	19	28
1	38	27
2	79	27
3	155	25
4	244	25
5	296	25
6	309	25
7	321	25
8	323	25
done	323	25
0	21	45
1	42	43
2	79	41
3	147	39
4	197	39
5	275	39
6	328	39
7	339	39
8	342	39
done	342	39
0	19	26
1	36	25
2	62	25
3	98	23
4	115	23
5	147	23
6	173	23
7	178	23
8	183	23
done	183	23
0	20	29
1	39	27
2	70	25
3	115	23
4	130	23
5	157	23
6	163	23
7	168	23
8	173	23
done	173	23
0	19	26
1	36	25
2	62	25
3	98	23
4	115	23
5	147	23
6	173	23
7	178	23
8	183	23
done	183	23
0	23	47
1	50	45
2	114	43
3	310	41
4	743	41
5	1395	41
6	2013	41
7	2070	41
done	2070	41
0	20	27
1	39	26
2	74	26
3	145	24
4	220	24
5	345	24
6	460	24
7	474	24
done	474	24
0	22	33
1	45	31
2	92	29
3	223	27
4	459	27
5	760	27
6	1047	27
7	1083	27
done	1083	27
0	20	27
1	39	26
2	74	26
3	145	24
4	220	24
5	345	24
6	460	24
7	474	24
done	474	24
0	15	21
1	32	17
2	62	13
3	132	13
4	211	13
5	274	13
6	321	13
7	332	13
done	332	13
0	19	26
1	38	25
2	81	25
3	172	23
4	279	23
5	457	23
6	616	23
7	662	23
8	687	23
9	694	23
10	696	23
11	697	23
done	697	23
0	15	21
1	32	17
2	62	13
3	132	13
4	211	13
5	274	13
6	321	13
7	332	13
done	332	13
0	19	26
1	38	25
2	81	25
3	172	23
4	279	23
5	457	23
6	616	23
7	662	23
8	687	23
9	694	23
10	696	23
11	697	23
done	697	23
0	22	44
1	45	42
2	91	40
3	207	38
4	378	38
5	589	38
6	773	38
7	789	38
done	789	38
0	20	27
1	39	26
2	74	26
3	145	24
4	220	24
5	345	24
6	460	24
7	474	24
done	474	24
0	21	30
1	42	28
2	82	26
3	167	24
4	259	24
5	366	24
6	431	24
7	437	24
done	437	24
0	20	27
1	39	26
2	74	26
3	145	24
4	220	24
5	345	24
6	460	24
7	474	24
done	474	24
0	14	18
1	29	14
2	49	10
3	72	10
4	94	10
5	111	10
6	114	10
7	119	10
8	124	10
done	124	10
0	19	26
1	38	25
2	81	25
3	172	23
4	279	23
5	457	23
6	616	23
7	662	23
8	687	23
9	694	23
10	696	23
11	697	23
done	697	23
0	14	18
1	29	14
2	49	10
3	72	10
4	94	10
5	111	10
6	114	10
7	119	10
8	124	10
done	124	10
0	19	26
1	38	25
2	81	25
3	172	23
4	279	23
5	457	23
6	616	23
7	662	23
8	687	23
9	694	23
10	696	23
11	697	23
done	697	23
0	21	43
1	44	41
2	90	37
3	197	35
4	397	35
5	614	35
6	756	35
done	756	35
0	19	26
1	38	25
2	73	25
3	144	23
4	221	23
5	344	23
6	449	23
7	460	23
done	460	23
0	20	29
1	41	27
2	81	23
3	159	21
4	255	21
5	348	21
6	403	21
done	403	21
0	19	26
1	38	25
2	73	25
3	144	23
4	221	23
5	344	23
6	449	23
7	460	23
done	460	23
0	12	17
1	27	13
2	46	7
3	59	7
4	68	7
5	79	7
6	93	7
7	111	7
done	111	7
0	18	25
1	37	24
2	80	24
3	171	22
4	275	22
5	456	22
6	601	22
7	647	22
8	670	22
9	677	22
10	679	22
11	680	22
done	680	22
0	12	17
1	27	13
2	46	7
3	59	7
4	68	7
5	79	7
6	93	7
7	111	7
done	111	7
0	18	25
1	37	24
2	80	24
3	171	22
4	275	22
5	456	22
6	601	22
7	647	22
8	670	22
9	677	22
10	679	22
11	680	22
done	680	22
0	11	15
1	24	11
2	38	9
3	66	7
4	85	7
5	111	7
6	116	7
done	116	7
0	18	25
1	37	24
2	80	24
3	171	22
4	275	22
5	456	22
6	601	22
7	647	22
8	670	22
9	677	22
10	679	22
11	680	22
done	680	22
0	12	15
1	25	13
2	41	11
3	62	9
4	75	9
5	99	9
6	115	9
7	120	9
8	125	9
done	125	9
0	18	25
1	37	24
2	80	22
3	154	20
4	251	20
5	379	20
6	441	20
7	474	20
8	550	20
9	761	20
10	820	20
11	833	20
done	833	20
0	22	32
1	55	30
2	112	28
3	267	26
4	676	26
5	2104	26
done	5001	26
0	20	49
1	44	34
2	103	34
3	262	30
4	781	30
5	2099	30
done	5000	30
0	20	41
1	45	27
2	111	25
3	331	23
4	972	17
5	2265	16
done	5000	16
0	17	23
1	35	22
2	68	22
3	129	20
4	182	20
5	269	20
6	402	20
7	483	20
8	508	20
9	513	20
done	513	20
0	10	13
1	21	9
2	28	7
done	28	5
0	18	27
1	39	26
2	99	26
3	282	24
4	715	24
5	1391	24
6	1948	24
7	2085	24
8	2168	24
9	2196	24
10	2200	24
11	2204	24
done	2204	24
0	10	15
1	23	13
2	40	11
3	64	9
4	84	9
5	106	9
6	122	9
done	122	9
0	18	25
1	37	24
2	80	22
3	162	20
4	212	20
5	243	20
6	249	20
7	251	20
8	252	20
done	252	20
0	12	17
1	27	15
2	54	13
3	122	11
4	285	11
5	386	11
6	443	11
done	443	11
0	16	21
1	31	20
2	51	20
3	83	18
4	97	18
done	97	18
0	20	48
1	41	47
2	85	47
3	167	45
4	260	45
5	312	45
6	325	45
7	337	45
8	339	45
done	339	45
0	19	28
1	38	27
2	79	27
3	155	25
4	244	25
5	296	25
6	309	25
7	321	25
8	323	25
done	323	25
0	19	28
1	38	27
2	79	27
3	155	25
4	244	25
5	296	25
6	309	25
7	321	25
8	323	25
done	323	25
0	19	28
1	38	27
2	79	27
3	155	25
4	244	25
5	296	25
6	309	25
7	321	25
8	323	25
done	323	25
0	20	42
1	39	41
2	71	41
3	126	39
4	182	39
5	280	39
6	377	39
7	386	39
8	388	39
done	388	39
0	19	26
1	36	25
2	62	25
3	98	23
4	115	23
5	147	23
6	173	23
7	178	23
8	183	23
done	183	23
0	19	26
1	36	25
2	62	25
3	98	23
4	115	23
5	147	23
6	173	23
7	177	23
8	182	23
done	182	23
0	19	26
1	36	25
2	62	25
3	98	23
4	115	23
5	147	23
6	173	23
7	178	23
8	183	23
done	183	23
0	22	44
1	47	43
2	106	43
3	285	41
4	670	41
5	1481	41
6	2411	41
7	2543	41
done	2543	41
0	20	27
1	39	26
2	74	26
3	145	24
4	220	24
5	345	24
6	460	24
7	474	24
done	474	24
0	21	30
1	42	29
2	84	29
3	200	27
4	397	27
5	799	27
6	1225	27
7	1274	27
done	1274	27
0	20	27
1	39	26
2	74	26
3	145	24
4	220	24
5	345	24
6	460	24
7	474	24
done	474	24
0	14	18
1	29	13
2	54	13
3	130	13
4	210	13
5	292	13
6	332	13
7	340	13
done	340	13
0	19	26
1	38	25
2	81	25
3	172	23
4	279	23
5	457	23
6	616	23
7	662	23
8	687	23
9	694	23
10	696	23
11	697	23
done	697	23
0	14	18
1	29	13
2	54	13
3	130	13
4	210	13
5	292	13
6	332	13
7	340	13
done	340	13
0	19	26
1	38	25
2	81	25
3	172	23
4	279	23
5	457	23
6	616	23
7	662	23
8	687	23
9	694	23
10	696	23
11	697	23
done	697	23
0	21	41
1	42	40
2	83	40
3	184	38
4	343	38
5	596	38
6	876	38
7	920	38
done	920	38
0	20	27
1	39	26
2	74	26
3	145	24
4	220	24
5	345	24
6	460	24
7	474	24
done	474	24
0	20	27
1	39	26
2	74	26
3	145	24
4	220	24
5	345	24
6	460	24
7	474	24
done	474	24
0	20	27
1	39	26
2	74	26
3	145	24
4	220	24
5	345	24
6	460	24
7	474	24
done	474	24
0	13	15
1	26	10
2	41	10
3	66	10
4	88	10
5	117	10
6	120	10
7	125	10
8	130	10
done	130	10
0	19	26
1	38	25
2	81	25
3	172	23
4	279	23
5	457	23
6	616	23
7	662	23
8	687	23
9	694	23
10	696	23
11	697	23
done	697	23
0	13	15
1	26	10
2	41	10
3	66	10
4	88	10
5	117	10
6	120	10
7	125	10
8	130	10
done	130	10
0	19	26
1	38	25
2	81	25
3	172	23
4	279	23
5	457	23
6	616	23
7	662	23
8	687	23
9	694	23
10	696	23
11	697	23
done	697	23
0	20	40
1	41	39
2	82	37
3	176	35
4	365	35
5	621	35
6	749	35
7	767	35
done	767	35
0	19	26
1	38	25
2	73	25
3	144	23
4	221	23
5	344	23
6	449	23
7	460	23
done	460	23
0	19	26
1	38	25
2	73	23
3	139	21
4	224	21
5	328	21
6	383	21
7	384	21
done	384	21
0	19	26
1	38	25
2	73	25
3	144	23
4	221	23
5	344	23
6	449	23
7	460	23
done	460	23
0	11	14
1	24	9
2	38	7
3	50	7
4	70	7
5	83	7
6	97	7
7	115	7
done	115	7
0	18	25
1	37	24
2	80	24
3	171	22
4	275	22
5	456	22
6	601	22
7	647	22
8	670	22
9	677	22
10	679	22
11	680	22
done	680	22
0	11	14
1	24	9
2	38	7
3	50	7
4	70	7
5	83	7
6	97	7
7	115	7
done	115	7
0	18	25
1	37	24
2	80	24
3	171	22
4	275	22
5	456	22
6	601	22
7	647	22
8	670	22
9	677	22
10	679	22
11	680	22
done	680	22
0	10	12
1	21	9
2	33	9
3	57	7
4	74	7
5	105	7
6	110	7
7	114	7
done	114	7
0	18	25
1	37	24
2	80	24
3	171	22
4	275	22
5	456	22
6	601	22
7	647	22
8	670	22
9	677	22
10	679	22
11	680	22
done	680	22
0	11	12
1	22	11
2	33	11
3	45	9
4	62	9
5	90	9
6	124	9
7	129	9
8	134	9
done	134	9
0	18	25
1	37	24
2	80	22
3	154	20
4	251	20
5	379	20
6	441	20
7	474	20
8	550	20
9	761	20
10	820	20
11	833	20
done	833	20
0	21	29
1	52	28
2	104	28
3	245	26
4	643	26
5	2110	26
done	5001	26
0	20	49
1	44	34
2	103	34
3	262	30
4	781	30
5	2099	30
done	5000	30
0	19	38
1	42	25
2	103	25
3	309	23
4	953	17
5	2270	16
done	5000	16
0	17	23
1	35	22
2	68	22
3	129	20
4	182	20
5	269	20
6	402	20
7	483	20
8	508	20
9	513	20
done	513	20
0	9	10
1	18	7
2	23	7
done	23	5
0	18	27
1	39	26
2	99	26
3	282	24
4	715	24
5	1391	24
6	1948	24
7	2085	24
8	2168	24
9	2196	24
10	2200	24
11	2204	24
done	2204	24
0	9	12
1	20	11
2	32	11
3	44	9
4	57	9
5	79	9
6	95	9
done	95	9
0	18	25
1	37	24
2	80	22
3	162	20
4	212	20
5	243	20
6	249	20
7	251	20
8	252	20
done	252	20
0	11	14
1	24	13
2	46	13
3	101	11
4	221	11
5	341	11
6	460	11
done	460	11
0	16	21
1	31	20
2	51	20
3	83	18
4	97	18
done	97	18
0	19	47
1	40	45
2	87	45
3	171	45
4	254	45
5	306	45
6	319	45
7	331	45
8	333	45
done	333	45
0	18	27
1	37	25
2	81	25
3	157	25
4	239	25
5	291	25
6	304	25
7	316	25
8	318	25
done	318	25
0	18	27
1	37	25
2	81	25
3	157	25
4	239	25
5	291	25
6	304	25
7	316	25
8	318	25
done	318	25
0	18	27
1	37	25
2	81	25
3	157	25
4	239	25
5	291	25
6	304	25
7	316	25
8	318	25
done	318	25
0	19	41
1	38	39
2	73	39
3	134	39
4	187	39
5	274	39
6	314	39
7	325	39
done	325	39
0	18	25
1	35	23
2	64	23
3	104	23
4	121	23
5	145	23
6	148	23
7	153	23
8	158	23
done	158	23
0	18	25
1	35	23
2	64	23
3	104	23
4	121	23
5	145	23
6	148	23
7	153	23
8	158	23
done	158	23
0	18	25
1	35	23
2	64	23
3	104	23
4	121	23
5	145	23
6	148	23
7	153	23
8	158	23
done	158	23
0	21	43
1	46	41
2	108	41
3	284	41
4	656	41
5	1411	41
6	1909	41
7	1957	41
done	1957	41
0	19	26
1	38	24
2	76	24
3	148	24
4	210	24
5	310	24
6	364	24
7	370	24
done	370	24
0	20	29
1	41	27
2	86	27
3	202	27
4	386	27
5	749	27
6	962	27
7	985	27
done	985	27
0	19	26
1	38	24
2	76	24
3	148	24
4	210	24
5	310	24
6	364	24
7	370	24
done	370	24
0	13	17
1	28	13
2	52	13
3	109	13
4	158	13
5	215	13
6	260	13
7	274	13
done	274	13
0	18	25
1	37	23
2	83	23
3	175	23
4	263	23
5	448	23
6	547	23
7	579	23
8	587	23
9	589	23
10	590	23
done	590	23
0	13	17
1	28	13
2	52	13
3	109	13
4	158	13
5	215	13
6	260	13
7	274	13
done	274	13
0	18	25
1	37	23
2	83	23
3	175	23
4	263	23
5	448	23
6	547	23
7	579	23
8	587	23
9	589	23
10	590	23
done	590	23
0	20	40
1	41	38
2	85	38
3	186	38
4	325	38
5	535	38
6	683	38
7	697	38
done	697	38
0	19	26
1	38	24
2	76	24
3	148	24
4	210	24
5	310	24
6	364	24
7	370	24
done	370	24
0	19	26
1	38	24
2	76	24
3	148	24
4	210	24
5	310	24
6	364	24
7	370	24
done	370	24
0	19	26
1	38	24
2	76	24
3	148	24
4	210	24
5	310	24
6	364	24
7	370	24
done	370	24
0	12	14
1	25	10
2	39	10
3	53	10
4	69	10
5	86	10
6	88	10
7	93	10
8	98	10
done	98	10
0	18	25
1	37	23
2	83	23
3	175	23
4	263	23
5	448	23
6	547	23
7	579	23
8	587	23
9	589	23
10	590	23
done	590	23
0	12	14
1	25	10
2	39	10
3	53	10
4	69	10
5	86	10
6	88	10
7	93	10
8	98	10
done	98	10
0	18	25
1	37	23
2	83	23
3	175	23
4	263	23
5	448	23
6	547	23
7	579	23
8	587	23
9	589	23
10	590	23
done	590	23
0	19	39
1	40	37
2	84	35
3	184	35
4	351	35
5	576	35
6	701	35
done	701	35
0	18	25
1	37	23
2	75	23
3	147	23
4	205	23
5	305	23
6	354	23
7	359	23
done	359	23
0	18	25
1	37	23
2	75	21
3	148	21
4	220	21
5	294	21
6	333	21
done	333	21
0	18	25
1	37	23
2	75	23
3	147	23
4	205	23
5	305	23
6	354	23
7	359	23
done	359	23
0	10	13
1	23	9
2	36	7
3	44	7
4	53	7
5	63	7
6	76	7
7	92	7
done	92	7
0	17	24
1	36	22
2	82	22
3	174	22
4	262	22
5	448	22
6	547	22
7	578	22
8	586	22
9	588	22
10	589	22
done	589	22
0	10	13
1	23	9
2	36	7
3	44	7
4	53	7
5	63	7
6	76	7
7	92	7
done	92	7
0	17	24
1	36	22
2	82	22
3	174	22
4	262	22
5	448	22
6	547	22
7	578	22
8	586	22
9	588	22
10	589	22
done	589	22
0	9	11
1	20	7
2	33	7
3	43	7
4	52	7
5	62	7
6	75	7
7	92	7
done	92	7
0	17	24
1	36	22
2	82	22
3	174	22
4	262	22
5	448	22
6	547	22
7	578	22
8	586	22
9	588	22
10	589	22
done	589	22
0	10	11
1	21	9
2	35	9
3	51	9
4	68	9
5	90	9
6	92	9
7	97	9
8	102	9
done	102	9
0	17	24
1	36	22
2	82	20
3	163	20
4	248	20
5	360	20
6	437	20
7	515	20
8	730	20
9	797	20
10	812	20
done	812	20
0	20	28
1	51	26
2	106	26
3	248	26
4	623	26
5	2090	26
done	5000	26
0	19	48
1	43	32
2	105	32
3	264	30
4	713	30
5	1843	30
done	5000	30
0	18	37
1	41	23
2	105	23
3	310	23
4	916	17
5	2394	16
done	5000	16
0	16	22
1	34	20
2	70	20
3	131	20
4	175	20
5	246	20
6	320	20
7	406	20
8	426	20
9	430	20
done	430	20
0	8	9
1	17	5
2	19	5
done	19	5
0	17	26
1	38	24
2	101	24
3	285	24
4	666	24
5	1336	24
6	1770	24
7	1887	24
8	1923	24
9	1927	24
10	1931	24
done	1931	24
0	8	11
1	19	9
2	34	9
3	61	9
4	83	9
5	99	9
done	99	9
0	17	24
1	36	20
2	78	20
3	146	20
4	191	20
5	222	20
6	228	20
7	230	20
8	231	20
done	231	20
0	10	13
1	23	11
2	48	11
3	107	11
4	210	11
5	332	11
6	359	11
done	359	11
0	15	20
1	30	18
2	53	18
3	85	18
4	93	18
done	93	18
0	19	47
1	38	45
2	88	43
3	182	41
4	267	41
5	319	41
6	332	41
7	344	41
8	346	41
done	346	41
0	18	27
1	39	26
2	101	26
3	240	24
4	467	24
5	761	24
6	1238	24
7	1749	24
8	1825	24
9	1866	24
done	1866	24
0	18	27
1	35	25
2	79	23
3	158	21
4	241	21
5	293	21
6	306	21
7	318	21
8	320	21
done	320	21
0	18	27
1	39	26
2	101	26
3	240	24
4	467	24
5	761	24
6	1238	24
7	1749	24
8	1825	24
9	1866	24
done	1866	24
0	19	41
1	36	39
2	73	37
3	142	35
4	179	33
5	252	33
6	267	33
done	267	33
0	18	25
1	37	24
2	86	24
3	223	22
4	488	18
5	1644	18
done	5000	18
0	18	25
1	33	23
2	64	21
3	110	19
4	120	17
5	155	17
6	170	17
done	170	17
0	18	25
1	37	24
2	86	24
3	223	22
4	488	18
5	1644	18
done	5000	18
0	21	43
1	44	41
2	108	39
3	305	37
4	635	35
5	1295	35
6	1862	35
7	1901	35
done	1901	35
0	19	26
1	40	25
2	98	25
3	313	23
4	985	19
5	4627	19
done	5000	19
0	20	29
1	39	27
2	86	25
3	218	23
4	403	21
5	705	21
6	903	21
7	915	21
done	915	21
0	19	26
1	40	25
2	98	25
3	313	23
4	985	19
5	4627	19
done	5000	19
0	11	17
1	23	13
2	51	9
3	121	9
4	166	7
5	217	7
6	234	7
done	234	7
0	18	25
1	39	24
2	105	24
3	340	22
4	1040	18
5	4788	18
done	5000	18
0	11	17
1	23	13
2	51	9
3	121	9
4	166	7
5	217	7
6	234	7
done	234	7
0	18	25
1	39	24
2	105	24
3	340	22
4	1040	18
5	4788	18
done	5000	18
0	20	40
1	39	38
2	85	36
3	202	34
4	337	32
5	622	32
6	929	32
7	953	32
done	953	32
0	19	26
1	40	25
2	98	25
3	313	23
4	985	19
5	4627	19
done	5000	19
0	19	26
1	36	24
2	76	22
3	162	20
4	234	18
5	376	18
6	504	18
7	512	18
done	512	18
0	19	26
1	40	25
2	98	25
3	313	23
4	985	19
5	4627	19
done	5000	19
0	10	14
1	20	10
2	38	6
3	61	6
4	74	4
5	97	4
6	106	4
done	106	4
0	18	25
1	39	24
2	105	24
3	340	22
4	1040	18
5	4788	18
done	5000	18
0	10	14
1	20	10
2	38	6
3	61	6
4	74	4
5	97	4
6	106	4
done	106	4
0	18	25
1	39	24
2	105	24
3	340	22
4	1040	18
5	4788	18
done	5000	18
0	19	39
1	38	37
2	84	33
3	187	31
4	329	31
5	410	31
done	410	31
0	18	25
1	39	24
2	97	24
3	311	22
4	1014	18
5	4925	18
done	5000	18
0	18	25
1	35	23
2	75	19
3	149	17
4	216	17
5	238	17
done	238	17
0	18	25
1	39	24
2	97	24
3	311	22
4	1014	18
5	4925	18
done	5000	18
0	8	13
1	18	5
2	30	3
3	32	3
4	35	3
done	35	3
0	17	24
1	38	23
2	104	23
3	338	21
4	1063	17
done	5000	17
0	8	13
1	18	5
2	30	3
3	32	3
4	35	3
done	35	3
0	17	24
1	38	23
2	104	23
3	338	21
4	1063	17
done	5000	17
0	7	11
1	15	7
2	26	5
3	33	3
4	35	3
5	37	3
done	37	3
0	17	24
1	38	23
2	104	23
3	338	21
4	1063	17
done	5000	17
0	8	11
1	16	9
2	30	7
3	51	5
4	59	3
5	70	3
6	84	3
7	95	3
8	100	3
done	100	3
0	17	24
1	38	23
2	103	19
3	286	19
4	867	15
5	3014	15
done	5000	15
0	20	28
1	49	26
2	106	24
3	262	22
4	654	20
5	2142	20
done	5001	20
0	19	48
1	45	33
2	127	33
3	395	29
4	1930	25
done	5000	25
0	18	37
1	39	23
2	105	21
3	326	19
4	919	11
5	2270	10
done	5000	10
0	16	22
1	36	21
2	92	21
3	262	19
4	766	15
5	2905	14
done	5000	14
0	5	9
1	11	5
2	16	3
done	16	1
0	17	26
1	40	25
2	123	25
3	494	23
4	2352	16
done	5001	16
0	8	11
1	17	9
2	32	7
3	56	5
4	62	5
done	62	5
0	17	24
1	38	23
2	104	21
3	331	19
4	851	19
5	1442	19
6	1676	19
7	1894	19
8	2103	19
9	2202	19
10	2221	19
done	2221	19
0	10	13
1	21	11
2	46	9
3	114	7
4	212	5
5	326	5
6	418	5
7	425	5
done	425	5
0	15	20
1	32	19
2	73	19
3	168	17
4	287	17
5	409	17
6	585	17
7	693	17
8	699	17
9	701	17
done	701	17
0	18	44
1	35	43
2	79	43
3	164	41
4	257	41
5	309	41
6	322	41
7	334	41
8	336	41
done	336	41
0	18	27
1	39	26
2	101	26
3	240	24
4	467	24
5	761	24
6	1238	24
7	1749	24
8	1825	24
9	1866	24
done	1866	24
0	17	24
1	32	23
2	73	23
3	152	21
4	241	21
5	293	21
6	306	21
7	318	21
8	320	21
done	320	21
0	18	27
1	39	26
2	101	26
3	240	24
4	467	24
5	761	24
6	1238	24
7	1749	24
8	1825	24
9	1866	24
done	1866	24
0	18	38
1	33	37
2	65	37
3	121	35
4	178	33
5	362	33
6	454	33
done	454	33
0	18	25
1	37	24
2	86	24
3	223	22
4	488	18
5	1644	18
done	5000	18
0	17	22
1	30	21
2	56	21
3	95	19
4	114	17
5	201	17
6	235	17
7	237	17
done	237	17
0	18	25
1	37	24
2	86	24
3	223	22
4	488	18
5	1644	18
done	5000	18
0	20	40
1	41	39
2	100	39
3	284	37
4	686	35
5	1738	35
6	2234	35
7	2254	35
done	2254	35
0	19	26
1	40	25
2	98	25
3	313	23
4	985	19
5	4627	19
done	5000	19
0	19	26
1	36	25
2	78	25
3	195	23
4	401	21
5	974	21
6	1189	21
done	1189	21
0	19	26
1	40	25
2	98	25
3	313	23
4	985	19
5	4627	19
done	5000	19
0	10	14
1	20	9
2	43	9
3	120	9
4	201	7
5	280	7
6	299	7
done	299	7
0	18	25
1	39	24
2	105	24
3	340	22
4	1040	18
5	4788	18
done	5000	18
0	10	14
1	20	9
2	43	9
3	120	9
4	201	7
5	280	7
6	299	7
done	299	7
0	18	25
1	39	24
2	105	24
3	340	22
4	1040	18
5	4788	18
done	5000	18
0	19	37
1	36	36
2	77	36
3	179	34
4	338	32
5	771	32
6	1277	32
7	1285	32
done	1285	32
0	19	26
1	40	25
2	98	25
3	313	23
4	985	19
5	4627	19
done	5000	19
0	18	23
1	33	22
2	68	22
3	140	20
4	214	18
5	471	18
6	690	18
done	690	18
0	19	26
1	40	25
2	98	25
3	313	23
4	985	19
5	4627	19
done	5000	19
0	9	11
1	17	6
2	30	6
3	55	6
4	76	4
5	118	4
6	125	4
done	125	4
0	18	25
1	39	24
2	105	24
3	340	22
4	1040	18
5	4788	18
done	5000	18
0	9	11
1	17	6
2	30	6
3	55	6
4	76	4
5	118	4
6	125	4
done	125	4
0	18	25
1	39	24
2	105	24
3	340	22
4	1040	18
5	4788	18
done	5000	18
0	18	36
1	35	35
2	76	33
3	167	31
4	304	31
5	404	31
done	404	31
0	18	25
1	39	24
2	97	24
3	311	22
4	1014	18
5	4925	18
done	5000	18
0	17	22
1	32	21
2	67	19
3	132	17
4	192	17
5	197	17
done	197	17
0	18	25
1	39	24
2	97	24
3	311	22
4	1014	18
5	4925	18
done	5000	18
0	7	10
1	15	5
2	23	3
3	25	3
4	28	3
done	28	3
0	17	24
1	38	23
2	104	23
3	338	21
4	1063	17
done	5000	17
0	7	10
1	15	5
2	23	3
3	25	3
4	28	3
done	28	3
0	17	24
1	38	23
2	104	23
3	338	21
4	1063	17
done	5000	17
0	6	8
1	12	5
2	21	5
3	28	3
4	30	3
5	33	3
done	33	3
0	17	24
1	38	23
2	104	23
3	338	21
4	1063	17
done	5000	17
0	7	8
1	13	7
2	22	7
3	34	5
4	51	3
5	71	3
6	84	3
7	95	3
8	100	3
done	100	3
0	17	24
1	38	23
2	103	19
3	286	19
4	867	15
5	3030	15
done	5001	15
0	19	25
1	46	24
2	98	24
3	242	22
4	628	20
5	2248	20
done	5000	20
0	19	48
1	45	33
2	127	33
3	395	29
4	1930	25
done	5000	25
0	17	34
1	36	21
2	97	21
3	306	19
4	948	11
5	2425	10
done	5001	10
0	16	22
1	36	21
2	92	21
3	262	19
4	766	15
5	2905	14
done	5000	14
0	4	6
1	8	3
2	11	1
done	11	1
0	17	26
1	40	25
2	123	25
3	494	23
4	2352	16
done	5001	16
0	7	8
1	14	7
2	24	7
3	36	5
4	43	5
done	43	5
0	17	24
1	38	23
2	104	21
3	331	19
4	851	19
5	1442	19
6	1676	19
7	1894	19
8	2103	19
9	2202	19
10	2221	19
done	2221	19
0	9	10
1	18	9
2	38	9
3	93	7
4	204	5
5	419	5
6	707	5
7	714	5
done	714	5
0	15	20
1	32	19
2	73	19
3	168	17
4	287	17
5	409	17
6	585	17
7	693	17
8	699	17
9	701	17
done	701	17
0	17	43
1	34	41
2	76	41
3	165	41
4	250	41
5	302	41
6	315	41
7	327	41
8	329	41
done	329	41
0	17	26
1	38	24
2	113	24
3	281	24
4	632	24
5	1052	24
6	1648	24
7	1829	24
8	1856	24
9	1899	24
done	1899	24
0	16	23
1	31	21
2	71	21
3	152	21
4	237	21
5	289	21
6	302	21
7	314	21
8	316	21
done	316	21
0	17	26
1	38	24
2	113	24
3	281	24
4	632	24
5	1052	24
6	1648	24
7	1829	24
8	1856	24
9	1899	24
done	1899	24
0	17	37
1	32	35
2	62	35
3	127	33
4	194	33
5	269	33
done	269	33
0	17	24
1	36	22
2	104	22
3	287	20
4	786	18
5	3131	18
done	5000	18
0	16	21
1	29	19
2	53	19
3	99	17
4	123	17
5	155	17
6	157	17
done	157	17
0	17	24
1	36	22
2	104	22
3	287	20
4	786	18
5	3131	18
done	5000	18
0	19	39
1	40	37
2	97	37
3	272	35
4	715	35
5	1507	35
6	2081	35
7	2095	35
done	2095	35
0	18	25
1	39	23
2	122	23
3	413	21
4	1414	19
done	5001	19
0	18	25
1	35	23
2	75	23
3	192	21
4	411	21
5	764	21
6	921	21
done	921	21
0	18	25
1	39	23
2	122	23
3	413	21
4	1414	19
done	5001	19
0	9	13
1	19	9
2	39	9
3	94	7
4	176	7
5	228	7
done	228	7
0	17	24
1	38	22
2	129	22
3	440	20
4	1470	18
done	5000	18
0	9	13
1	19	9
2	39	9
3	94	7
4	176	7
5	228	7
done	228	7
0	17	24
1	38	22
2	129	22
3	440	20
4	1470	18
done	5000	18
0	18	36
1	35	34
2	74	34
3	178	32
4	351	32
5	664	32
6	1003	32
7	1007	32
done	1007	32
0	18	25
1	39	23
2	122	23
3	413	21
4	1414	19
done	5001	19
0	17	22
1	32	20
2	65	20
3	139	18
4	220	18
5	380	18
6	482	18
done	482	18
0	18	25
1	39	23
2	122	23
3	413	21
4	1414	19
done	5001	19
0	8	10
1	16	6
2	26	6
3	40	4
4	63	4
5	86	4
6	87	4
done	87	4
0	17	24
1	38	22
2	129	22
3	440	20
4	1470	18
done	5000	18
0	8	10
1	16	6
2	26	6
3	40	4
4	63	4
5	86	4
6	87	4
done	87	4
0	17	24
1	38	22
2	129	22
3	440	20
4	1470	18
done	5000	18
0	17	35
1	34	33
2	73	31
3	168	31
4	283	31
5	329	31
done	329	31
0	17	24
1	38	22
2	121	22
3	409	20
4	1454	18
done	5000	18
0	16	21
1	31	19
2	64	17
3	135	17
4	161	17
done	161	17
0	17	24
1	38	22
2	121	22
3	409	20
4	1454	18
done	5000	18
0	5	9
1	13	5
2	21	3
3	23	3
4	25	3
done	25	3
0	16	23
1	37	21
2	128	21
3	436	19
4	1507	17
done	5000	17
0	5	9
1	13	5
2	21	3
3	23	3
4	25	3
done	25	3
0	16	23
1	37	21
2	128	21
3	436	19
4	1507	17
done	5000	17
0	5	7
1	11	3
2	18	3
3	20	3
4	22	3
done	22	3
0	16	23
1	37	21
2	128	21
3	436	19
4	1507	17
done	5000	17
0	6	7
1	12	5
2	19	5
3	38	3
4	48	3
5	59	3
done	59	3
0	16	23
1	37	21
2	127	19
3	397	15
4	1435	15
5	4743	15
done	5000	15
0	18	24
1	45	22
2	95	22
3	241	20
4	627	20
5	2120	20
done	5000	20
0	18	47
1	44	31
2	145	31
3	471	27
4	2255	25
done	5001	25
0	16	33
1	35	19
2	94	19
3	301	17
4	934	11
5	2425	10
done	5000	10
0	15	21
1	35	19
2	110	19
3	338	17
4	1082	15
5	4498	14
done	5000	14
0	3	5
1	7	1
done	7	1
0	16	25
1	39	23
2	159	23
3	722	16
4	3420	15
done	5000	15
0	6	7
1	13	5
2	21	5
3	37	5
done	37	5
0	16	23
1	37	19
2	123	19
3	379	19
4	1009	19
5	1542	19
6	1748	19
7	1934	19
8	2147	19
9	2246	19
10	2266	19
done	2266	19
0	8	9
1	17	7
2	35	7
3	97	5
4	174	5
5	282	5
6	390	5
7	393	5
done	393	5
0	14	19
1	31	17
2	85	17
3	196	17
4	369	17
5	545	17
6	713	17
7	725	17
8	731	17
9	733	17
done	733	17
0	20	47
1	39	45
2	89	43
3	183	41
4	266	41
5	319	41
6	332	41
7	344	41
8	346	41
done	346	41
0	17	26
1	34	25
2	90	25
3	196	23
4	337	23
5	606	23
6	1055	23
7	1638	23
8	1713	23
9	1753	23
done	1753	23
0	19	27
1	36	25
2	80	23
3	159	21
4	242	21
5	295	21
6	308	21
7	320	21
8	322	21
done	322	21
0	17	26
1	34	25
2	90	25
3	196	23
4	337	23
5	606	23
6	1055	23
7	1638	23
8	1713	23
9	1753	23
done	1753	23
0	20	41
1	37	39
2	74	37
3	143	35
4	186	34
5	273	34
6	335	34
7	388	34
8	537	34
9	593	34
10	620	34
11	637	34
12	646	34
done	646	34
0	17	24
1	32	23
2	75	23
3	165	21
4	284	17
5	627	17
6	1705	17
done	5001	17
0	19	25
1	34	23
2	65	21
3	111	19
4	126	18
5	153	18
6	163	18
7	207	18
8	357	18
9	452	18
10	479	18
11	496	18
12	505	18
done	505	18
0	17	24
1	32	23
2	75	23
3	165	21
4	284	17
5	627	17
6	1705	17
done	5001	17
0	22	43
1	45	41
2	109	39
3	306	37
4	651	36
5	1332	36
6	2009	36
7	2250	36
8	2393	36
9	2451	36
10	2478	36
11	2495	36
12	2504	36
done	2504	36
0	18	25
1	35	24
2	87	24
3	245	22
4	592	18
5	1877	18
done	5001	18
0	21	29
1	40	27
2	87	25
3	219	23
4	406	22
5	719	22
6	1059	22
7	1174	22
8	1321	22
9	1365	22
10	1392	22
11	1409	22
12	1418	22
done	1418	22
0	18	25
1	35	24
2	87	24
3	245	22
4	592	18
5	1877	18
done	5001	18
0	12	17
1	24	13
2	52	9
3	123	9
4	173	8
5	235	8
6	299	8
7	314	8
done	314	8
0	17	24
1	34	23
2	94	23
3	272	21
4	659	17
5	2089	17
done	5001	17
0	12	17
1	24	13
2	52	9
3	123	9
4	173	8
5	235	8
6	299	8
7	314	8
done	314	8
0	17	24
1	34	23
2	94	23
3	272	21
4	659	17
5	2089	17
done	5001	17
0	21	40
1	40	38
2	86	36
3	203	34
4	340	33
5	561	33
6	757	33
7	866	33
8	1021	33
9	1105	33
10	1132	33
11	1149	33
12	1158	33
done	1158	33
0	18	25
1	35	24
2	87	24
3	245	22
4	592	18
5	1877	18
done	5001	18
0	20	26
1	37	24
2	77	22
3	163	20
4	238	19
5	343	19
6	420	19
7	485	19
8	630	19
9	699	19
10	726	19
11	743	19
12	752	19
done	752	19
0	18	25
1	35	24
2	87	24
3	245	22
4	592	18
5	1877	18
done	5001	18
0	11	14
1	21	10
2	39	6
3	62	6
4	79	5
5	96	5
6	104	5
7	106	5
8	109	5
done	109	5
0	17	24
1	34	23
2	94	23
3	272	21
4	659	17
5	2089	17
done	5001	17
0	11	14
1	21	10
2	39	6
3	62	6
4	79	5
5	96	5
6	104	5
7	106	5
8	109	5
done	109	5
0	17	24
1	34	23
2	94	23
3	272	21
4	659	17
5	2089	17
done	5001	17
0	20	39
1	39	37
2	85	33
3	193	31
4	328	31
5	559	31
6	769	31
7	866	31
8	1140	31
9	1772	31
10	2195	31
11	2366	31
done	2366	31
0	17	24
1	34	23
2	86	23
3	244	21
4	597	17
5	2152	17
done	5000	17
0	19	25
1	36	23
2	76	19
3	155	17
4	220	17
5	306	17
6	395	17
7	457	17
8	729	17
9	1372	17
10	1800	17
11	1972	17
done	1972	17
0	17	24
1	34	23
2	86	23
3	244	21
4	597	17
5	2152	17
done	5000	17
0	9	13
1	19	9
2	36	3
3	40	3
4	46	3
5	50	3
6	55	3
7	65	3
8	74	3
done	74	3
0	16	23
1	33	22
2	93	22
3	271	20
4	675	16
5	2753	16
done	5000	16
0	9	13
1	19	9
2	36	3
3	40	3
4	46	3
5	50	3
6	55	3
7	65	3
8	74	3
done	74	3
0	16	23
1	33	22
2	93	22
3	271	20
4	675	16
5	2753	16
done	5000	16
0	8	11
1	16	7
2	28	5
3	40	3
4	44	3
5	50	3
6	54	3
7	59	3
8	69	3
9	78	3
done	78	3
0	16	23
1	33	22
2	93	22
3	271	20
4	675	16
5	2753	16
done	5000	16
0	9	11
1	17	9
2	31	7
3	52	5
4	63	4
5	85	4
6	104	4
7	108	4
8	110	4
done	110	4
0	16	23
1	33	22
2	92	18
3	227	18
4	538	14
5	1384	14
6	3883	14
done	5001	14
0	21	28
1	50	26
2	107	24
3	263	22
4	647	21
5	2062	21
done	5001	21
0	18	47
1	40	32
2	116	32
3	339	28
4	1306	24
done	5000	24
0	19	37
1	40	23
2	106	21
3	327	19
4	927	12
5	2247	11
done	5001	11
0	15	21
1	31	20
2	81	20
3	204	18
4	458	14
5	1255	14
6	4129	14
done	5001	14
0	6	9
1	12	5
2	17	1
done	17	1
0	16	25
1	35	24
2	112	24
3	417	22
4	1651	14
done	5000	14
0	9	11
1	18	9
2	33	7
3	57	5
4	61	5
done	61	5
0	16	23
1	33	22
2	93	20
3	277	18
4	506	18
5	747	18
6	953	18
7	1062	18
8	1112	18
9	1126	18
10	1129	18
done	1129	18
0	11	13
1	22	11
2	47	9
3	115	7
4	225	6
5	297	6
6	347	6
7	365	6
done	365	6
0	14	19
1	27	18
2	62	18
3	122	16
4	183	16
5	276	16
6	432	16
7	608	16
8	609	16
done	609	16
0	19	44
1	36	43
2	80	43
3	163	41
4	256	41
5	309	41
6	322	41
7	334	41
8	336	41
done	336	41
0	17	26
1	34	25
2	90	25
3	196	23
4	337	23
5	606	23
6	1055	23
7	1638	23
8	1713	23
9	1753	23
done	1753	23
0	18	24
1	33	23
2	74	23
3	151	21
4	240	21
5	292	21
6	305	21
7	317	21
8	319	21
done	319	21
0	17	26
1	34	25
2	90	25
3	196	23
4	337	23
5	606	23
6	1055	23
7	1638	23
8	1713	23
9	1753	23
done	1753	23
0	19	38
1	34	37
2	66	37
3	122	35
4	181	34
5	282	34
6	344	34
7	396	34
8	543	34
9	596	34
10	623	34
11	640	34
12	649	34
done	649	34
0	17	24
1	32	23
2	75	23
3	165	21
4	284	17
5	627	17
6	1705	17
done	5001	17
0	18	22
1	31	21
2	57	21
3	94	19
4	114	18
5	147	18
6	159	18
7	203	18
8	353	18
9	435	18
10	462	18
11	479	18
12	488	18
done	488	18
0	17	24
1	32	23
2	75	23
3	165	21
4	284	17
5	627	17
6	1705	17
done	5001	17
0	21	40
1	42	39
2	101	39
3	283	37
4	687	36
5	1516	36
6	2158	36
7	2419	36
8	2570	36
9	2618	36
10	2645	36
11	2662	36
12	2671	36
done	2671	36
0	18	25
1	35	24
2	87	24
3	245	22
4	592	18
5	1877	18
done	5001	18
0	20	26
1	37	25
2	79	25
3	196	23
4	404	22
5	822	22
6	1126	22
7	1239	22
8	1384	22
9	1457	22
10	1484	22
11	1501	22
12	1510	22
done	1510	22
0	18	25
1	35	24
2	87	24
3	245	22
4	592	18
5	1877	18
done	5001	18
0	11	14
1	21	9
2	44	9
3	120	9
4	191	8
5	249	8
6	313	8
7	328	8
done	328	8
0	17	24
1	34	23
2	94	23
3	272	21
4	659	17
5	2089	17
done	5001	17
0	11	14
1	21	9
2	44	9
3	120	9
4	191	8
5	249	8
6	313	8
7	328	8
done	328	8
0	17	24
1	34	23
2	94	23
3	272	21
4	659	17
5	2089	17
done	5001	17
0	20	37
1	37	36
2	78	36
3	180	34
4	345	33
5	604	33
6	791	33
7	901	33
8	1063	33
9	1144	33
10	1171	33
11	1188	33
12	1197	33
done	1197	33
0	18	25
1	35	24
2	87	24
3	245	22
4	592	18
5	1877	18
done	5001	18
0	19	23
1	34	22
2	69	22
3	141	20
4	216	19
5	344	19
6	416	19
7	479	19
8	629	19
9	688	19
10	715	19
11	732	19
12	741	19
done	741	19
0	18	25
1	35	24
2	87	24
3	245	22
4	592	18
5	1877	18
done	5001	18
0	10	11
1	18	6
2	31	6
3	56	6
4	79	5
5	96	5
6	104	5
7	106	5
8	108	5
done	108	5
0	17	24
1	34	23
2	94	23
3	272	21
4	659	17
5	2089	17
done	5001	17
0	10	11
1	18	6
2	31	6
3	56	6
4	79	5
5	96	5
6	104	5
7	106	5
8	108	5
done	108	5
0	17	24
1	34	23
2	94	23
3	272	21
4	659	17
5	2089	17
done	5001	17
0	19	36
1	36	35
2	77	33
3	172	31
4	343	31
5	567	31
6	738	31
7	867	31
8	1139	31
9	1787	31
10	2157	31
11	2327	31
done	2327	31
0	17	24
1	34	23
2	86	23
3	244	21
4	597	17
5	2152	17
done	5000	17
0	18	22
1	33	21
2	68	19
3	135	17
4	205	17
5	277	17
6	343	17
7	364	17
8	418	17
9	703	17
10	1381	17
11	1801	17
12	1980	17
done	1980	17
0	17	24
1	34	23
2	86	23
3	244	21
4	597	17
5	2152	17
done	5000	17
0	8	10
1	16	5
2	28	3
3	40	3
4	50	3
5	57	3
6	64	3
7	75	3
8	81	3
done	81	3
0	16	23
1	33	22
2	93	22
3	271	20
4	675	16
5	2753	16
done	5000	16
0	8	10
1	16	5
2	28	3
3	40	3
4	50	3
5	57	3
6	64	3
7	75	3
8	81	3
done	81	3
0	16	23
1	33	22
2	93	22
3	271	20
4	675	16
5	2753	16
done	5000	16
0	7	8
1	13	5
2	23	5
3	32	3
4	36	3
5	42	3
6	46	3
7	51	3
8	61	3
9	70	3
done	70	3
0	16	23
1	33	22
2	93	22
3	271	20
4	675	16
5	2753	16
done	5000	16
0	8	8
1	14	7
2	23	7
3	35	5
4	53	4
5	82	4
6	102	4
7	106	4
8	108	4
done	108	4
0	16	23
1	33	22
2	92	18
3	227	18
4	538	14
5	1384	14
6	3883	14
done	5001	14
0	20	25
1	47	24
2	99	24
3	241	22
4	635	21
5	2076	21
done	5000	21
0	18	47
1	40	32
2	116	32
3	339	28
4	1306	24
done	5000	24
0	18	34
1	37	21
2	98	21
3	305	19
4	946	12
5	2329	11
done	5000	11
0	15	21
1	31	20
2	81	20
3	204	18
4	458	14
5	1255	14
6	4129	14
done	5001	14
0	5	6
1	9	3
2	12	1
done	12	1
0	16	25
1	35	24
2	112	24
3	417	22
4	1651	14
done	5000	14
0	8	8
1	15	7
2	25	7
3	37	5
4	44	5
done	44	5
0	16	23
1	33	22
2	93	20
3	277	18
4	506	18
5	747	18
6	953	18
7	1062	18
8	1112	18
9	1126	18
10	1129	18
done	1129	18
0	10	10
1	19	9
2	39	9
3	94	7
4	206	6
5	307	6
6	374	6
7	380	6
done	380	6
0	14	19
1	27	18
2	62	18
3	122	16
4	183	16
5	276	16
6	432	16
7	608	16
8	609	16
done	609	16
0	18	43
1	35	41
2	77	41
3	166	41
4	253	41
5	305	41
6	318	41
7	330	41
8	332	41
done	332	41
0	16	25
1	33	23
2	111	23
3	324	23
4	623	23
5	1218	23
6	1860	23
7	2057	23
8	2105	23
done	2105	23
0	17	23
1	32	21
2	72	21
3	155	21
4	240	21
5	293	21
6	306	21
7	318	21
8	320	21
done	320	21
0	16	25
1	33	23
2	111	23
3	324	23
4	623	23
5	1218	23
6	1860	23
7	2057	23
8	2105	23
done	2105	23
0	18	37
1	33	35
2	63	35
3	129	34
4	187	34
5	275	34
6	376	34
7	540	34
8	601	34
9	628	34
10	645	34
11	654	34
done	654	34
0	16	23
1	31	21
2	92	21
3	258	17
4	486	17
5	1176	17
6	3221	17
done	5000	17
0	17	21
1	30	19
2	54	19
3	101	18
4	119	18
5	148	18
6	199	18
7	344	18
8	417	18
9	444	18
10	461	18
11	470	18
done	470	18
0	16	23
1	31	21
2	92	21
3	258	17
4	486	17
5	1176	17
6	3221	17
done	5000	17
0	20	39
1	41	37
2	98	37
3	278	36
4	663	36
5	1450	36
6	2129	36
7	2540	36
8	2613	36
9	2640	36
10	2657	36
11	2666	36
done	2666	36
0	17	24
1	34	22
2	110	22
3	368	18
4	928	18
5	2903	18
done	5000	18
0	19	25
1	36	23
2	76	23
3	194	22
4	383	22
5	769	22
6	1142	22
7	1399	22
8	1477	22
9	1504	22
10	1521	22
11	1530	22
done	1530	22
0	17	24
1	34	22
2	110	22
3	368	18
4	928	18
5	2903	18
done	5000	18
0	10	13
1	20	9
2	40	9
3	97	8
4	163	8
5	238	8
6	310	8
7	327	8
done	327	8
0	16	23
1	33	21
2	117	21
3	395	17
4	989	17
5	3163	17
done	5000	17
0	10	13
1	20	9
2	40	9
3	97	8
4	163	8
5	238	8
6	310	8
7	327	8
done	327	8
0	16	23
1	33	21
2	117	21
3	395	17
4	989	17
5	3163	17
done	5000	17
0	19	36
1	36	34
2	75	34
3	178	33
4	319	33
5	539	33
6	760	33
7	978	33
8	1056	33
9	1083	33
10	1100	33
11	1109	33
done	1109	33
0	17	24
1	34	22
2	110	22
3	368	18
4	928	18
5	2903	18
done	5000	18
0	18	22
1	33	20
2	66	20
3	141	19
4	207	19
5	310	19
6	422	19
7	587	19
8	652	19
9	679	19
10	696	19
11	705	19
done	705	19
0	17	24
1	34	22
2	110	22
3	368	18
4	928	18
5	2903	18
done	5000	18
0	9	10
1	17	6
2	27	6
3	42	5
4	61	5
5	83	5
6	89	5
7	91	5
8	93	5
done	93	5
0	16	23
1	33	21
2	117	21
3	395	17
4	989	17
5	3163	17
done	5000	17
0	9	10
1	17	6
2	27	6
3	42	5
4	61	5
5	83	5
6	89	5
7	91	5
8	93	5
done	93	5
0	16	23
1	33	21
2	117	21
3	395	17
4	989	17
5	3163	17
done	5000	17
0	18	35
1	35	33
2	74	31
3	179	31
4	334	31
5	547	31
6	717	31
7	848	31
8	1135	31
9	1794	31
10	2208	31
11	2340	31
done	2340	31
0	16	23
1	33	21
2	109	21
3	364	17
4	994	17
5	3393	17
done	5000	17
0	17	21
1	32	19
2	65	17
3	142	17
4	202	17
5	277	17
6	360	17
7	433	17
8	718	17
9	1381	17
10	1813	17
11	1988	17
done	1988	17
0	16	23
1	33	21
2	109	21
3	364	17
4	994	17
5	3393	17
done	5000	17
0	7	9
1	15	5
2	24	3
3	28	3
4	34	3
5	38	3
6	43	3
7	53	3
8	62	3
done	62	3
0	15	22
1	32	20
2	116	20
3	390	16
4	1056	16
5	3655	16
done	5000	16
0	7	9
1	15	5
2	24	3
3	28	3
4	34	3
5	38	3
6	43	3
7	53	3
8	62	3
done	62	3
0	15	22
1	32	20
2	116	20
3	390	16
4	1056	16
5	3655	16
done	5000	16
0	6	7
1	12	3
2	20	3
3	26	3
4	32	3
5	36	3
6	41	3
7	51	3
8	60	3
done	60	3
0	15	22
1	32	20
2	116	20
3	390	16
4	1056	16
5	3655	16
done	5000	16
0	7	7
1	13	5
2	20	5
3	40	4
4	56	4
5	81	4
6	89	4
7	91	4
8	93	4
done	93	4
0	15	22
1	32	20
2	114	18
3	354	14
4	799	14
5	2852	14
done	5000	14
0	19	24
1	46	22
2	96	22
3	243	21
4	612	21
5	2037	21
done	5000	21
0	17	46
1	39	30
2	133	30
3	440	24
4	1316	24
done	5000	24
0	17	33
1	36	19
2	95	19
3	305	18
4	910	12
5	2362	11
done	5001	11
0	14	20
1	30	18
2	98	18
3	305	14
4	619	14
5	1681	14
6	4604	14
done	5000	14
0	4	5
1	8	1
done	8	1
0	15	24
1	34	22
2	151	22
3	742	14
4	3005	14
done	5001	14
0	7	7
1	14	5
2	22	5
3	38	5
done	38	5
0	15	22
1	32	18
2	110	18
3	333	18
4	614	18
5	868	18
6	995	18
7	1058	18
8	1106	18
9	1119	18
10	1121	18
done	1121	18
0	9	9
1	18	7
2	36	7
3	99	6
4	193	6
5	292	6
6	326	6
7	337	6
done	337	6
0	13	18
1	26	16
2	75	16
3	185	16
4	326	16
5	510	16
6	570	16
7	573	16
8	574	16
done	574	16
0	20	48
1	41	46
2	99	44
3	204	42
4	291	42
5	381	42
6	542	42
7	848	42
8	1205	42
9	1736	42
10	2008	42
done	2008	42
0	17	24
1	32	23
2	73	23
3	152	21
4	241	21
5	293	21
6	306	21
7	318	21
8	320	21
done	320	21
0	19	28
1	38	26
2	88	24
3	172	22
4	260	22
5	350	22
6	511	22
7	819	22
8	1176	22
9	1690	22
10	1962	22
done	1962	22
0	17	24
1	32	23
2	73	23
3	152	21
4	241	21
5	293	21
6	306	21
7	318	21
8	320	21
done	320	21
0	20	42
1	39	40
2	84	38
3	172	36
4	240	33
5	391	32
6	1045	32
7	3557	32
done	5000	32
0	17	22
1	30	21
2	56	21
3	95	19
4	114	15
5	181	15
6	477	15
7	1144	15
8	3112	15
done	5000	15
0	19	26
1	36	24
2	75	22
3	133	20
4	161	17
5	230	16
6	546	16
7	1596	16
8	3989	16
done	5000	16
0	17	22
1	30	21
2	56	21
3	95	19
4	114	15
5	181	15
6	477	15
7	1144	15
8	3112	15
done	5000	15
0	22	44
1	47	42
2	119	40
3	351	38
4	816	35
5	1781	34
done	5000	34
0	18	23
1	33	22
2	68	22
3	140	20
4	219	16
5	477	16
6	1290	16
7	3125	16
done	5000	16
0	21	30
1	42	28
2	97	26
3	256	24
4	529	21
5	995	20
6	3200	20
done	5000	20
0	18	23
1	33	22
2	68	22
3	140	20
4	219	16
5	477	16
6	1290	16
7	3125	16
done	5000	16
0	12	18
1	26	14
2	63	10
3	151	10
4	239	7
5	330	6
6	756	6
7	2923	6
done	5000	6
0	17	22
1	32	21
2	75	21
3	167	19
4	272	15
5	586	15
6	1641	15
7	4242	15
done	5001	15
0	12	18
1	26	14
2	63	10
3	151	10
4	239	7
5	330	6
6	756	6
7	2923	6
done	5000	6
0	17	22
1	32	21
2	75	21
3	167	19
4	272	15
5	586	15
6	1641	15
7	4242	15
done	5001	15
0	21	41
1	42	39
2	96	37
3	240	35
4	446	32
5	786	31
6	2758	31
done	5000	31
0	18	23
1	33	22
2	68	22
3	140	20
4	219	16
5	477	16
6	1290	16
7	3125	16
done	5000	16
0	20	27
1	39	25
2	87	23
3	196	21
4	319	18
5	500	17
6	1491	17
7	4984	17
done	5000	17
0	18	23
1	33	22
2	68	22
3	140	20
4	219	16
5	477	16
6	1290	16
7	3125	16
done	5000	16
0	11	15
1	23	11
2	50	7
3	83	7
4	114	4
5	140	3
6	270	3
7	853	3
8	2911	3
done	5000	3
0	17	22
1	32	21
2	75	21
3	167	19
4	272	15
5	586	15
6	1641	15
7	4242	15
done	5001	15
0	11	15
1	23	11
2	50	7
3	83	7
4	114	4
5	140	3
6	270	3
7	853	3
8	2911	3
done	5000	3
0	17	22
1	32	21
2	75	21
3	167	19
4	272	15
5	586	15
6	1641	15
7	4242	15
done	5001	15
0	20	40
1	41	38
2	94	32
3	209	32
4	498	32
5	971	32
6	1947	29
7	3352	29
done	5000	29
0	17	22
1	32	21
2	67	21
3	140	19
4	215	15
5	499	15
6	1337	15
7	3305	15
done	5000	15
0	19	26
1	38	24
2	85	18
3	168	18
4	341	18
5	608	18
6	1280	15
7	2048	15
8	4291	15
done	5000	15
0	17	22
1	32	21
2	67	21
3	140	19
4	215	15
5	499	15
6	1337	15
7	3305	15
done	5000	15
0	9	14
1	21	10
2	46	4
3	60	4
4	73	4
5	101	1
done	101	1
0	16	21
1	31	20
2	74	20
3	167	18
4	274	14
5	612	14
6	1571	14
7	3895	14
done	5000	14
0	9	14
1	21	10
2	46	4
3	60	4
4	73	4
5	101	1
done	101	1
0	16	21
1	31	20
2	74	20
3	167	18
4	274	14
5	612	14
6	1571	14
7	3895	14
done	5000	14
0	8	12
1	18	8
2	33	4
3	58	1
4	60	1
5	64	1
done	64	1
0	16	21
1	31	20
2	74	20
3	167	18
4	274	14
5	612	14
6	1571	14
7	3895	14
done	5000	14
0	9	12
1	19	10
2	42	8
3	75	6
4	98	3
5	132	2
6	237	2
7	595	2
8	2166	2
done	5000	2
0	16	21
1	31	20
2	74	16
3	147	14
4	192	14
5	342	14
6	1064	14
7	3254	14
done	5000	14
0	21	29
1	52	27
2	117	25
3	295	23
4	720	20
5	2240	19
done	5001	19
0	18	45
1	38	30
2	97	30
3	257	26
4	828	22
5	2187	22
done	5000	22
0	19	38
1	42	24
2	116	22
3	361	20
4	1047	11
5	2552	9
done	5000	9
0	15	19
1	29	18
2	62	18
3	126	16
4	194	12
5	325	12
6	847	12
7	2285	12
done	5000	12
0	7	10
1	15	6
2	27	4
done	27	2
0	16	23
1	33	22
2	93	22
3	278	20
4	713	18
5	1431	16
6	3332	16
done	5000	16
0	9	12
1	20	10
2	44	8
3	83	6
4	103	3
5	107	3
done	107	3
0	16	21
1	31	20
2	74	18
3	158	16
4	209	16
5	312	16
6	523	16
7	661	16
8	662	16
done	662	16
0	11	14
1	24	12
2	58	10
3	150	8
4	319	8
5	481	8
6	652	4
7	1509	4
done	5000	4
0	14	17
1	25	16
2	45	16
3	80	14
4	96	14
done	96	14
0	19	45
1	38	44
2	87	44
3	177	42
4	288	42
5	392	42
6	563	42
7	871	42
8	1228	42
9	1739	42
10	2011	42
done	2011	42
0	17	24
1	32	23
2	73	23
3	152	21
4	241	21
5	293	21
6	306	21
7	318	21
8	320	21
done	320	21
0	18	25
1	35	24
2	79	24
3	159	22
4	264	22
5	368	22
6	539	22
7	847	22
8	1204	22
9	1746	22
10	2018	22
done	2018	22
0	17	24
1	32	23
2	73	23
3	152	21
4	241	21
5	293	21
6	306	21
7	318	21
8	320	21
done	320	21
0	19	39
1	36	38
2	73	38
3	145	36
4	250	36
5	466	32
6	1331	32
7	3578	32
done	5000	32
0	17	22
1	30	21
2	56	21
3	95	19
4	114	15
5	181	15
6	477	15
7	1144	15
8	3112	15
done	5000	15
0	18	23
1	33	22
2	64	22
3	110	20
4	165	20
5	269	16
6	708	16
7	1604	16
8	4418	16
done	5001	16
0	17	22
1	30	21
2	56	21
3	95	19
4	114	15
5	181	15
6	477	15
7	1144	15
8	3112	15
done	5000	15
0	21	41
1	44	40
2	108	40
3	320	38
4	844	38
5	2059	34
done	5001	34
0	18	23
1	33	22
2	68	22
3	140	20
4	219	16
5	477	16
6	1290	16
7	3125	16
done	5000	16
0	20	27
1	39	26
2	86	26
3	227	24
4	529	24
5	1166	20
6	3202	20
done	5000	20
0	18	23
1	33	22
2	68	22
3	140	20
4	219	16
5	477	16
6	1290	16
7	3125	16
done	5000	16
0	11	15
1	23	10
2	52	10
3	150	10
4	258	7
5	370	6
6	844	6
7	3942	6
done	5000	6
0	17	22
1	32	21
2	75	21
3	167	19
4	270	15
5	584	15
6	1636	15
7	4270	15
done	5001	15
0	11	15
1	23	10
2	52	10
3	150	10
4	258	7
5	370	6
6	844	6
7	3942	6
done	5000	6
0	17	22
1	32	21
2	75	21
3	167	19
4	270	15
5	584	15
6	1636	15
7	4270	15
done	5001	15
0	20	38
1	39	37
2	85	37
3	211	35
4	447	35
5	865	31
6	3171	31
done	5001	31
0	18	23
1	33	22
2	68	22
3	140	20
4	219	16
5	477	16
6	1290	16
7	3125	16
done	5000	16
0	19	24
1	36	23
2	76	23
3	168	21
4	300	21
5	545	17
6	1728	17
7	4768	17
done	5000	17
0	18	23
1	33	22
2	68	22
3	140	20
4	219	16
5	477	16
6	1290	16
7	3125	16
done	5000	16
0	10	12
1	20	7
2	39	7
3	78	7
4	117	4
5	155	3
6	330	3
7	1388	3
8	3641	3
done	5000	3
0	17	22
1	32	21
2	75	21
3	167	19
4	270	15
5	584	15
6	1636	15
7	4270	15
done	5001	15
0	10	12
1	20	7
2	39	7
3	78	7
4	117	4
5	155	3
6	330	3
7	1388	3
8	3641	3
done	5000	3
0	17	22
1	32	21
2	75	21
3	167	19
4	270	15
5	584	15
6	1636	15
7	4270	15
done	5001	15
0	19	37
1	38	36
2	84	32
3	202	32
4	477	32
5	998	29
6	2187	29
done	5000	29
0	17	22
1	32	21
2	67	21
3	140	19
4	215	15
5	499	15
6	1337	15
7	3305	15
done	5000	15
0	18	23
1	35	22
2	75	18
3	162	18
4	313	18
5	583	18
6	1247	15
7	1996	15
8	4255	15
done	5000	15
0	17	22
1	32	21
2	67	21
3	140	19
4	215	15
5	499	15
6	1337	15
7	3305	15
done	5000	15
0	8	11
1	18	6
2	39	4
3	55	1
4	59	1
5	69	1
6	79	1
7	84	1
done	84	1
0	16	21
1	31	20
2	74	20
3	167	18
4	274	14
5	612	14
6	1571	14
7	3895	14
done	5000	14
0	8	11
1	18	6
2	39	4
3	55	1
4	59	1
5	69	1
6	79	1
7	84	1
done	84	1
0	16	21
1	31	20
2	74	20
3	167	18
4	274	14
5	612	14
6	1571	14
7	3895	14
done	5000	14
0	7	9
1	15	4
2	30	4
3	60	1
4	62	1
5	66	1
done	66	1
0	16	21
1	31	20
2	74	20
3	167	18
4	274	14
5	612	14
6	1571	14
7	3895	14
done	5000	14
0	8	9
1	16	8
2	31	8
3	52	6
4	92	6
5	141	2
6	277	2
7	598	2
8	2199	2
done	5000	2
0	16	21
1	31	20
2	74	16
3	147	14
4	192	14
5	342	14
6	1064	14
7	3254	14
done	5000	14
0	20	26
1	49	25
2	106	25
3	267	23
4	704	23
5	2334	19
done	5000	19
0	18	45
1	38	30
2	97	30
3	257	26
4	828	22
5	2187	22
done	5000	22
0	18	35
1	39	22
2	105	22
3	333	20
4	1053	14
5	2696	9
done	5000	9
0	15	19
1	29	18
2	62	18
3	126	16
4	194	12
5	325	12
6	847	12
7	2285	12
done	5000	12
0	6	7
1	12	4
2	19	4
done	19	2
0	16	23
1	33	22
2	93	22
3	278	20
4	713	18
5	1427	16
6	3328	16
done	5000	16
0	8	9
1	17	8
2	33	8
3	57	6
4	71	4
5	72	3
done	72	3
0	16	21
1	31	20
2	74	18
3	158	16
4	209	16
5	312	16
6	523	16
7	661	16
8	662	16
done	662	16
0	10	11
1	21	10
2	47	10
3	123	8
4	287	8
5	483	8
6	751	4
7	1611	4
done	5001	4
0	14	17
1	25	16
2	45	16
3	80	14
4	96	14
done	96	14
0	18	44
1	37	42
2	97	42
3	190	42
4	306	42
5	462	42
6	681	42
7	763	42
8	1120	42
9	1634	42
10	1906	42
done	1906	42
0	16	23
1	31	21
2	71	21
3	152	21
4	235	21
5	287	21
6	300	21
7	312	21
8	314	21
done	314	21
0	17	24
1	34	22
2	87	22
3	166	22
4	281	22
5	437	22
6	656	22
7	738	22
8	1095	22
9	1603	22
10	1875	22
done	1875	22
0	16	23
1	31	21
2	71	21
3	152	21
4	235	21
5	287	21
6	300	21
7	312	21
8	314	21
done	314	21
0	18	38
1	35	36
2	83	36
3	171	33
4	287	32
5	668	32
6	2610	32
done	5000	32
0	16	21
1	29	19
2	53	19
3	99	19
4	116	19
5	149	15
6	222	15
7	704	15
8	2056	15
done	5000	15
0	17	22
1	32	20
2	74	20
3	130	17
4	189	16
5	407	16
6	1471	16
7	2321	16
done	5000	16
0	16	21
1	29	19
2	53	19
3	99	19
4	116	19
5	149	15
6	222	15
7	704	15
8	2056	15
done	5000	15
0	20	40
1	43	38
2	118	38
3	344	35
4	910	34
5	2673	34
done	5000	34
0	17	22
1	32	20
2	65	20
3	139	20
4	204	20
5	319	16
6	640	16
7	1580	16
done	5000	16
0	19	26
1	38	24
2	96	24
3	246	21
4	548	20
5	1522	20
done	5000	20
0	17	22
1	32	20
2	65	20
3	139	20
4	204	20
5	319	16
6	640	16
7	1580	16
done	5000	16
0	10	14
1	22	10
2	54	10
3	131	7
4	229	6
5	518	6
6	2225	6
done	5001	6
0	16	21
1	31	19
2	72	19
3	168	19
4	261	19
5	469	15
6	1019	15
7	2666	15
done	5000	15
0	10	14
1	22	10
2	54	10
3	131	7
4	229	6
5	518	6
6	2225	6
done	5001	6
0	16	21
1	31	19
2	72	19
3	168	19
4	261	19
5	469	15
6	1019	15
7	2666	15
done	5000	15
0	19	37
1	38	35
2	95	35
3	230	32
4	474	31
5	1755	31
done	5000	31
0	17	22
1	32	20
2	65	20
3	139	20
4	204	20
5	319	16
6	640	16
7	1580	16
done	5000	16
0	18	23
1	35	21
2	86	21
3	186	18
4	315	17
5	837	17
6	3452	17
done	5000	17
0	17	22
1	32	20
2	65	20
3	139	20
4	204	20
5	319	16
6	640	16
7	1580	16
done	5000	16
0	9	11
1	19	7
2	41	7
3	69	4
4	95	3
5	197	3
6	1046	3
7	1814	3
8	3626	3
done	5001	3
0	16	21
1	31	19
2	72	19
3	168	19
4	261	19
5	469	15
6	1019	15
7	2666	15
done	5000	15
0	9	11
1	19	7
2	41	7
3	69	4
4	95	3
5	197	3
6	1046	3
7	1814	3
8	3626	3
done	5001	3
0	16	21
1	31	19
2	72	19
3	168	19
4	261	19
5	469	15
6	1019	15
7	2666	15
done	5000	15
0	18	36
1	36	34
2	93	32
3	228	29
4	490	29
5	1686	29
done	5000	29
0	16	21
1	31	19
2	64	19
3	139	19
4	205	19
5	334	15
6	676	15
7	1557	15
done	5000	15
0	17	22
1	33	20
2	84	18
3	186	15
4	338	15
5	1130	15
6	3147	15
done	5000	15
0	16	21
1	31	19
2	64	19
3	139	19
4	205	19
5	334	15
6	676	15
7	1557	15
done	5000	15
0	7	10
1	16	6
2	40	4
3	56	1
4	60	1
5	70	1
6	80	1
7	87	1
done	87	1
0	15	20
1	30	18
2	71	18
3	164	18
4	260	18
5	476	14
6	853	14
7	1754	14
done	5000	14
0	7	10
1	16	6
2	40	4
3	56	1
4	60	1
5	70	1
6	80	1
7	87	1
done	87	1
0	15	20
1	30	18
2	71	18
3	164	18
4	260	18
5	476	14
6	853	14
7	1754	14
done	5000	14
0	6	8
1	13	4
2	28	4
3	51	1
4	53	1
5	57	1
done	57	1
0	15	20
1	30	18
2	71	18
3	164	18
4	260	18
5	476	14
6	853	14
7	1754	14
done	5000	14
0	7	8
1	15	6
2	41	6
3	71	3
4	97	2
5	213	2
6	880	2
7	1473	2
8	3344	2
done	5001	2
0	15	20
1	29	16
2	67	16
3	139	16
4	201	16
5	280	14
6	340	14
7	551	14
8	1703	14
done	5000	14
0	19	25
1	48	23
2	116	23
3	287	20
4	717	19
5	3042	19
done	5000	19
0	17	44
1	37	28
2	94	28
3	255	26
4	691	26
5	1588	22
done	5000	22
0	17	34
1	38	20
2	115	20
3	351	17
4	1073	10
5	3325	9
done	5001	9
0	14	18
1	28	16
2	59	16
3	122	16
4	169	16
5	227	12
6	490	12
7	1042	12
8	4614	12
done	5000	12
0	5	6
1	11	2
2	13	2
done	13	2
0	15	22
1	32	20
2	90	20
3	277	18
4	654	16
5	1805	16
done	5000	16
0	7	8
1	16	6
2	43	6
3	70	3
done	70	3
0	15	20
1	30	16
2	68	16
3	138	16
4	187	16
5	263	16
6	397	16
7	527	16
8	606	16
done	606	16
0	9	10
1	20	8
2	57	8
3	137	8
4	290	6
5	487	4
6	1401	4
7	4456	4
done	5000	4
0	13	16
1	24	14
2	43	14
3	80	14
4	90	14
done	90	14
0	19	47
1	38	45
2	88	43
3	182	41
4	267	41
5	319	41
6	332	41
7	344	41
8	346	41
done	346	41
0	18	25
1	35	24
2	80	24
3	159	22
4	266	22
5	370	22
6	544	22
7	852	22
8	1209	22
9	1736	22
10	2008	22
done	2008	22
0	18	27
1	35	25
2	79	23
3	158	21
4	241	21
5	293	21
6	306	21
7	318	21
8	320	21
done	320	21
0	18	25
1	35	24
2	80	24
3	159	22
4	266	22
5	370	22
6	544	22
7	852	22
8	1209	22
9	1736	22
10	2008	22
done	2008	22
0	19	41
1	36	39
2	73	37
3	142	35
4	197	31
5	343	31
6	1251	31
7	2289	31
done	5000	31
0	18	23
1	33	22
2	65	22
3	110	20
4	167	20
5	271	16
6	717	16
7	1613	16
8	4102	16
done	5001	16
0	18	25
1	33	23
2	64	21
3	110	19
4	124	15
5	185	15
6	610	15
7	973	15
8	2502	15
done	5000	15
0	18	23
1	33	22
2	65	22
3	110	20
4	167	20
5	271	16
6	717	16
7	1613	16
8	4102	16
done	5001	16
0	21	43
1	44	41
2	108	39
3	305	37
4	759	33
5	1675	33
done	5000	33
0	19	24
1	36	23
2	77	23
3	168	21
4	303	21
5	549	17
6	1735	17
7	4812	17
done	5000	17
0	20	29
1	39	27
2	86	25
3	218	23
4	462	19
5	963	19
6	3462	19
done	5001	19
0	19	24
1	36	23
2	77	23
3	168	21
4	303	21
5	549	17
6	1735	17
7	4812	17
done	5000	17
0	11	17
1	23	13
2	51	9
3	121	9
4	204	5
5	346	5
6	1180	5
7	2371	5
done	5000	5
0	18	23
1	35	22
2	84	22
3	195	20
4	360	20
5	660	16
6	2030	16
done	5001	16
0	11	17
1	23	13
2	51	9
3	121	9
4	204	5
5	346	5
6	1180	5
7	2371	5
done	5000	5
0	18	23
1	35	22
2	84	22
3	195	20
4	360	20
5	660	16
6	2030	16
done	5001	16
0	20	40
1	39	38
2	85	36
3	202	34
4	375	30
5	794	30
6	3222	30
done	5000	30
0	19	24
1	36	23
2	77	23
3	168	21
4	303	21
5	549	17
6	1735	17
7	4812	17
done	5000	17
0	19	26
1	36	24
2	76	22
3	162	20
4	259	16
5	497	16
6	1868	16
7	3097	16
done	5001	16
0	19	24
1	36	23
2	77	23
3	168	21
4	303	21
5	549	17
6	1735	17
7	4812	17
done	5000	17
0	10	14
1	20	10
2	38	6
3	61	6
4	86	2
5	146	2
6	495	2
7	885	2
8	2533	2
done	5000	2
0	18	23
1	35	22
2	84	22
3	195	20
4	360	20
5	660	16
6	2030	16
done	5001	16
0	10	14
1	20	10
2	38	6
3	61	6
4	86	2
5	146	2
6	495	2
7	885	2
8	2533	2
done	5000	2
0	18	23
1	35	22
2	84	22
3	195	20
4	360	20
5	660	16
6	2030	16
done	5001	16
0	19	39
1	38	37
2	84	31
3	174	29
4	290	29
5	543	29
6	1545	29
7	4533	29
done	5000	29
0	18	23
1	35	22
2	76	22
3	166	20
4	311	20
5	613	16
6	2184	16
done	5000	16
0	18	25
1	35	23
2	75	17
3	138	15
4	177	15
5	297	15
6	863	15
7	2400	15
done	5000	15
0	18	23
1	35	22
2	76	22
3	166	20
4	311	20
5	613	16
6	2184	16
done	5000	16
0	8	13
1	18	9
2	35	3
3	37	1
done	37	1
0	17	22
1	34	21
2	83	21
3	193	19
4	369	19
5	721	15
6	2331	15
done	5000	15
0	8	13
1	18	9
2	35	3
3	37	1
done	37	1
0	17	22
1	34	21
2	83	21
3	193	19
4	369	19
5	721	15
6	2331	15
done	5000	15
0	7	11
1	15	3
2	23	3
3	34	1
done	34	1
0	17	22
1	34	21
2	83	21
3	193	19
4	369	19
5	721	15
6	2331	15
done	5000	15
0	8	11
1	16	9
2	30	7
3	51	5
4	65	1
5	69	1
6	75	1
done	75	1
0	17	22
1	34	21
2	83	17
3	176	17
4	308	17
5	552	14
6	1211	14
7	3195	14
done	5000	14
0	20	28
1	49	26
2	106	24
3	261	22
4	681	18
5	2232	18
done	5000	18
0	19	46
1	41	31
2	106	31
3	282	27
4	916	27
5	2898	23
done	5000	22
0	18	37
1	39	23
2	105	21
3	325	19
4	986	9
5	2540	8
done	5000	8
0	16	20
1	32	19
2	71	19
3	149	17
4	276	17
5	509	12
6	1328	12
7	3315	12
done	5000	12
0	6	9
1	12	5
2	17	3
done	17	1
0	17	24
1	36	23
2	102	23
3	316	21
4	880	21
5	2088	17
done	5000	17
0	8	11
1	17	9
2	32	7
3	56	5
4	66	3
done	66	3
0	17	22
1	34	21
2	83	19
3	185	17
4	289	17
5	407	17
6	628	17
7	724	17
8	739	17
9	743	17
10	745	17
done	745	17
0	10	13
1	21	11
2	46	9
3	114	7
4	266	3
5	438	3
6	1082	3
7	4226	3
done	5000	3
0	15	18
1	28	17
2	52	17
3	87	15
4	121	15
5	173	15
6	334	15
7	581	15
done	581	15
0	18	44
1	35	43
2	79	43
3	164	41
4	257	41
5	309	41
6	322	41
7	334	41
8	336	41
done	336	41
0	18	25
1	35	24
2	80	24
3	159	22
4	266	22
5	370	22
6	544	22
7	852	22
8	1209	22
9	1736	22
10	2008	22
done	2008	22
0	17	24
1	32	23
2	73	23
3	152	21
4	243	21
5	295	21
6	308	21
7	320	21
8	322	21
done	322	21
0	18	25
1	35	24
2	80	24
3	159	22
4	266	22
5	370	22
6	544	22
7	852	22
8	1209	22
9	1736	22
10	2008	22
done	2008	22
0	18	38
1	33	37
2	65	37
3	121	35
4	177	31
5	335	31
6	912	31
7	2464	31
done	5001	31
0	18	23
1	33	22
2	65	22
3	110	20
4	167	20
5	271	16
6	717	16
7	1613	16
8	4102	16
done	5001	16
0	17	22
1	30	21
2	56	21
3	95	19
4	114	15
5	181	15
6	477	15
7	1195	15
8	3380	15
done	5000	15
0	18	23
1	33	22
2	65	22
3	110	20
4	167	20
5	271	16
6	717	16
7	1613	16
8	4102	16
done	5001	16
0	20	40
1	41	39
2	100	39
3	284	37
4	705	33
5	1731	33
done	5000	33
0	19	24
1	36	23
2	77	23
3	168	21
4	303	21
5	549	17
6	1735	17
7	4812	17
done	5000	17
0	19	26
1	36	25
2	78	25
3	195	23
4	398	19
5	954	19
6	2780	19
done	5000	19
0	19	24
1	36	23
2	77	23
3	168	21
4	303	21
5	549	17
6	1735	17
7	4812	17
done	5000	17
0	10	14
1	20	9
2	43	9
3	120	7
4	212	5
5	423	5
6	824	5
7	2363	5
done	5001	5
0	18	23
1	35	22
2	84	22
3	195	20
4	360	20
5	660	16
6	2030	16
done	5001	16
0	10	14
1	20	9
2	43	9
3	120	7
4	212	5
5	423	5
6	824	5
7	2363	5
done	5001	5
0	18	23
1	35	22
2	84	22
3	195	20
4	360	20
5	660	16
6	2030	16
done	5001	16
0	19	37
1	36	36
2	77	36
3	179	34
4	339	30
5	788	30
6	2593	30
done	5000	30
0	19	24
1	36	23
2	77	23
3	168	21
4	303	21
5	549	17
6	1735	17
7	4812	17
done	5000	17
0	18	23
1	33	22
2	68	22
3	140	20
4	219	16
5	477	16
6	1290	16
7	3126	16
done	5000	16
0	19	24
1	36	23
2	77	23
3	168	21
4	303	21
5	549	17
6	1735	17
7	4812	17
done	5000	17
0	9	11
1	17	6
2	30	6
3	55	4
4	76	2
5	166	2
6	261	2
7	650	2
8	2291	2
done	5000	2
0	18	23
1	35	22
2	84	22
3	195	20
4	360	20
5	660	16
6	2030	16
done	5001	16
0	9	11
1	17	6
2	30	6
3	55	4
4	76	2
5	166	2
6	261	2
7	650	2
8	2291	2
done	5000	2
0	18	23
1	35	22
2	84	22
3	195	20
4	360	20
5	660	16
6	2030	16
done	5001	16
0	18	36
1	35	35
2	76	31
3	166	29
4	283	29
5	532	29
6	1674	29
done	5000	29
0	18	23
1	35	22
2	76	22
3	166	20
4	311	20
5	613	16
6	2184	16
done	5000	16
0	17	22
1	32	21
2	67	17
3	132	15
4	166	15
5	293	15
6	880	15
7	2624	15
done	5001	15
0	18	23
1	35	22
2	76	22
3	166	20
4	311	20
5	613	16
6	2184	16
done	5000	16
0	7	10
1	15	5
2	27	3
3	29	1
done	29	1
0	17	22
1	34	21
2	83	21
3	193	19
4	369	19
5	721	15
6	2331	15
done	5001	15
0	7	10
1	15	5
2	27	3
3	29	1
done	29	1
0	17	22
1	34	21
2	83	21
3	193	19
4	369	19
5	721	15
6	2331	15
done	5001	15
0	6	8
1	12	3
2	19	3
3	36	1
done	36	1
0	17	22
1	34	21
2	83	21
3	193	19
4	369	19
5	721	15
6	2331	15
done	5001	15
0	7	8
1	13	7
2	22	7
3	34	5
4	50	1
5	57	1
6	67	1
done	67	1
0	17	22
1	34	21
2	83	17
3	176	17
4	308	17
5	552	14
6	1211	14
7	3195	14
done	5000	14
0	19	25
1	46	24
2	98	24
3	241	22
4	630	18
5	2202	18
done	5000	18
0	19	46
1	41	31
2	106	31
3	282	27
4	916	27
5	2898	23
done	5000	22
0	17	34
1	36	21
2	97	21
3	305	19
4	960	9
5	2543	8
done	5000	8
0	16	20
1	32	19
2	71	19
3	149	17
4	276	17
5	509	12
6	1328	12
7	3294	12
done	5001	12
0	5	6
1	9	3
2	12	3
done	12	1
0	17	24
1	36	23
2	102	23
3	316	21
4	880	21
5	2088	17
done	5000	17
0	7	8
1	14	7
2	24	7
3	36	5
4	42	3
done	42	3
0	17	22
1	34	21
2	83	19
3	185	17
4	289	17
5	407	17
6	628	17
7	724	17
8	739	17
9	743	17
10	745	17
done	745	17
0	9	10
1	18	9
2	38	9
3	93	7
4	205	3
5	432	3
6	1324	3
7	3277	3
done	5000	3
0	15	18
1	28	17
2	52	17
3	87	15
4	121	15
5	173	15
6	334	15
7	581	15
done	581	15
0	17	43
1	34	41
2	76	41
3	165	41
4	250	41
5	302	41
6	315	41
7	327	41
8	329	41
done	329	41
0	17	24
1	34	22
2	88	22
3	165	22
4	251	22
5	341	22
6	502	22
7	810	22
8	1167	22
9	1663	22
10	1935	22
done	1935	22
0	16	23
1	31	21
2	71	21
3	152	21
4	237	21
5	289	21
6	302	21
7	314	21
8	316	21
done	316	21
0	17	24
1	34	22
2	88	22
3	165	22
4	251	22
5	341	22
6	502	22
7	810	22
8	1167	22
9	1663	22
10	1935	22
done	1935	22
0	17	37
1	32	35
2	62	35
3	127	35
4	180	35
5	281	31
6	514	31
7	1684	31
done	5000	31
0	17	22
1	32	20
2	75	20
3	129	17
4	162	16
5	316	16
6	1279	16
7	2458	16
done	5000	16
0	16	21
1	29	19
2	53	19
3	99	19
4	116	19
5	149	15
6	222	15
7	704	15
8	2056	15
done	5000	15
0	17	22
1	32	20
2	75	20
3	129	17
4	162	16
5	316	16
6	1279	16
7	2458	16
done	5000	16
0	19	39
1	40	37
2	97	37
3	272	37
4	656	37
5	1463	33
6	3956	33
done	5000	33
0	18	23
1	35	21
2	87	21
3	185	18
4	286	17
5	743	17
6	3350	17
done	5000	17
0	18	25
1	35	23
2	75	23
3	192	23
4	381	23
5	791	19
6	2069	19
done	5000	19
0	18	23
1	35	21
2	87	21
3	185	18
4	286	17
5	743	17
6	3350	17
done	5000	17
0	9	13
1	19	9
2	39	9
3	94	9
4	156	9
5	237	5
6	537	5
7	1362	5
8	4450	5
done	5001	5
0	17	22
1	34	20
2	94	20
3	212	17
4	343	16
5	1148	16
done	5000	16
0	9	13
1	19	9
2	39	9
3	94	9
4	156	9
5	237	5
6	537	5
7	1362	5
8	4450	5
done	5001	5
0	17	22
1	34	20
2	94	20
3	212	17
4	343	16
5	1148	16
done	5000	16
0	18	36
1	35	34
2	74	34
3	178	34
4	317	34
5	555	30
6	1564	30
7	4330	30
done	5001	30
0	18	23
1	35	21
2	87	21
3	185	18
4	286	17
5	743	17
6	3350	17
done	5000	17
0	17	22
1	32	20
2	65	20
3	139	20
4	202	20
5	322	16
6	729	16
7	1686	16
done	5001	16
0	18	23
1	35	21
2	87	21
3	185	18
4	286	17
5	743	17
6	3350	17
done	5000	17
0	8	10
1	16	6
2	26	6
3	40	6
4	58	6
5	82	2
6	205	2
7	347	2
8	1184	2
9	3691	2
done	5001	2
0	17	22
1	34	20
2	94	20
3	212	17
4	343	16
5	1148	16
done	5000	16
0	8	10
1	16	6
2	26	6
3	40	6
4	58	6
5	82	2
6	205	2
7	347	2
8	1184	2
9	3691	2
done	5001	2
0	17	22
1	34	20
2	94	20
3	212	17
4	343	16
5	1148	16
done	5000	16
0	17	35
1	33	31
2	69	31
3	159	31
4	278	31
5	408	29
6	614	29
7	1406	29
done	5000	29
0	17	22
1	34	20
2	86	20
3	185	17
4	296	16
5	1153	16
done	5000	16
0	16	21
1	30	17
2	60	17
3	124	17
4	174	17
5	219	15
6	271	15
7	458	15
8	1496	15
9	4898	15
done	5000	15
0	17	22
1	34	20
2	86	20
3	185	17
4	296	16
5	1153	16
done	5000	16
0	6	9
1	13	3
2	16	1
done	16	1
0	16	21
1	33	19
2	93	19
3	212	16
4	352	15
5	1024	15
done	5000	15
0	6	9
1	13	3
2	16	1
done	16	1
0	16	21
1	33	19
2	93	19
3	212	16
4	352	15
5	1024	15
done	5000	15
0	4	7
1	10	1
2	11	1
done	11	1
0	16	21
1	33	19
2	93	19
3	212	16
4	352	15
5	1024	15
done	5000	15
0	6	7
1	12	5
2	19	5
3	38	5
4	53	5
5	81	1
6	83	1
done	83	1
0	16	21
1	32	19
2	92	17
3	198	14
4	339	14
5	1119	14
6	3049	14
done	5001	14
0	18	24
1	45	22
2	95	22
3	240	22
4	618	22
5	2069	18
done	5001	18
0	18	45
1	40	29
2	116	29
3	307	24
4	960	23
5	3088	22
done	5001	22
0	16	33
1	35	19
2	94	19
3	300	19
4	910	13
5	2437	8
done	5000	8
0	15	19
1	31	17
2	81	17
3	172	14
4	291	13
5	681	12
6	2188	12
7	4177	12
done	5000	12
0	4	5
1	8	1
done	8	1
0	16	23
1	35	21
2	112	21
3	328	21
4	840	18
5	1962	17
done	5000	17
0	6	7
1	13	5
2	21	5
3	37	5
done	37	5
0	16	21
1	33	17
2	89	17
3	170	17
4	251	17
5	374	17
6	601	17
7	691	17
8	697	17
9	700	17
done	700	17
0	8	9
1	17	7
2	35	7
3	97	5
4	187	3
5	445	3
6	1579	3
7	3077	3
done	5000	3
0	14	17
1	27	15
2	60	15
3	95	15
4	110	15
5	148	15
6	296	15
7	543	15
done	543	15
0	16	41
1	31	41
2	69	41
3	146	41
4	229	41
5	281	41
6	294	41
7	306	41
8	308	41
done	308	41
0	17	26
1	38	24
2	113	24
3	281	24
4	632	24
5	1052	24
6	1648	24
7	1829	24
8	1856	24
9	1899	24
done	1899	24
0	15	21
1	28	21
2	66	21
3	145	21
4	228	21
5	280	21
6	293	21
7	305	21
8	307	21
done	307	21
0	17	26
1	38	24
2	113	24
3	281	24
4	632	24
5	1052	24
6	1648	24
7	1829	24
8	1856	24
9	1899	24
done	1899	24
0	16	35
1	29	35
2	53	35
3	88	33
4	114	33
5	133	33
done	133	33
0	17	24
1	36	22
2	104	22
3	287	20
4	786	18
5	3131	18
done	5000	18
0	15	19
1	26	19
2	46	19
3	72	17
4	87	17
5	92	17
done	92	17
0	17	24
1	36	22
2	104	22
3	287	20
4	786	18
5	3131	18
done	5000	18
0	18	37
1	37	37
2	88	37
3	198	35
4	412	35
5	708	35
6	1003	35
7	1011	35
done	1011	35
0	18	25
1	39	23
2	122	23
3	413	21
4	1414	19
done	5001	19
0	17	23
1	32	23
2	66	23
3	134	21
4	243	21
5	344	21
6	391	21
7	392	21
done	392	21
0	18	25
1	39	23
2	122	23
3	413	21
4	1414	19
done	5001	19
0	8	11
1	16	9
2	36	9
3	94	7
4	170	7
5	227	7
done	227	7
0	17	24
1	38	22
2	129	22
3	440	20
4	1470	18
done	5000	18
0	8	11
1	16	9
2	36	9
3	94	7
4	170	7
5	227	7
done	227	7
0	17	24
1	38	22
2	129	22
3	440	20
4	1470	18
done	5000	18
0	17	34
1	32	34
2	65	34
3	121	32
4	197	32
5	343	32
6	500	32
7	502	32
done	502	32
0	18	25
1	39	23
2	122	23
3	413	21
4	1414	19
done	5001	19
0	16	20
1	29	20
2	56	20
3	93	18
4	133	18
5	184	18
6	212	18
done	212	18
0	18	25
1	39	23
2	122	23
3	413	21
4	1414	19
done	5001	19
0	7	8
1	13	6
2	23	6
3	39	4
4	62	4
5	84	4
6	85	4
done	85	4
0	17	24
1	38	22
2	129	22
3	440	20
4	1470	18
done	5000	18
0	7	8
1	13	6
2	23	6
3	39	4
4	62	4
5	84	4
6	85	4
done	85	4
0	17	24
1	38	22
2	129	22
3	440	20
4	1470	18
done	5000	18
0	16	33
1	31	33
2	64	31
3	118	31
4	164	31
5	194	31
done	194	31
0	17	24
1	38	22
2	121	22
3	409	20
4	1454	18
done	5000	18
0	15	19
1	28	19
2	55	17
3	92	17
4	101	17
done	101	17
0	17	24
1	38	22
2	121	22
3	409	20
4	1454	18
done	5000	18
0	5	7
1	11	5
2	19	3
3	21	3
4	23	3
done	23	3
0	16	23
1	37	21
2	128	21
3	436	19
4	1507	17
done	5000	17
0	5	7
1	11	5
2	19	3
3	21	3
4	23	3
done	23	3
0	16	23
1	37	21
2	128	21
3	436	19
4	1507	17
done	5000	17
0	4	5
1	8	3
2	12	3
done	12	3
0	16	23
1	37	21
2	128	21
3	436	19
4	1507	17
done	5000	17
0	5	5
1	9	5
2	12	5
3	13	3
done	13	3
0	16	23
1	37	21
2	127	19
3	397	15
4	1435	15
5	4743	15
done	5000	15
0	17	22
1	42	22
2	86	22
3	187	20
4	468	20
5	1443	20
6	4956	20
done	5000	20
0	18	47
1	44	31
2	145	31
3	471	27
4	2255	25
done	5001	25
0	15	31
1	32	19
2	85	19
3	242	17
4	646	11
5	1392	10
6	4459	8
done	5000	8
0	15	21
1	35	19
2	110	19
3	338	17
4	1082	15
5	4498	14
done	5000	14
0	2	3
1	4	1
done	4	1
0	16	25
1	39	23
2	159	23
3	722	16
4	3420	15
done	5000	15
0	5	5
1	10	5
2	12	5
done	12	5
0	16	23
1	37	19
2	123	19
3	379	19
4	1009	19
5	1542	19
6	1748	19
7	1934	19
8	2147	19
9	2246	19
10	2266	19
done	2266	19
0	7	7
1	14	7
2	26	7
3	48	5
4	61	5
5	97	5
6	155	5
7	157	5
done	157	5
0	14	19
1	31	17
2	85	17
3	196	17
4	369	17
5	545	17
6	713	17
7	725	17
8	731	17
9	733	17
done	733	17
0	16	44
1	35	44
2	95	44
3	212	44
4	327	44
5	386	44
6	399	44
7	411	44
8	413	44
done	413	44
0	16	23
1	31	21
2	71	21
3	152	21
4	237	21
5	289	21
6	302	21
7	314	21
8	316	21
done	316	21
0	15	24
1	32	24
2	77	24
3	163	24
4	255	24
5	310	24
6	323	24
7	335	24
8	337	24
done	337	24
0	16	23
1	31	21
2	71	21
3	152	21
4	237	21
5	289	21
6	302	21
7	314	21
8	316	21
done	316	21
0	16	38
1	33	38
2	73	38
3	173	38
4	339	35
5	576	34
6	2148	34
done	5000	34
0	16	21
1	29	19
2	53	19
3	99	17
4	123	17
5	155	17
6	157	17
done	157	17
0	15	22
1	30	22
2	64	22
3	131	22
4	204	19
5	273	18
6	990	18
done	5000	18
0	16	21
1	29	19
2	53	19
3	99	17
4	123	17
5	155	17
6	157	17
done	157	17
0	18	40
1	41	40
2	118	40
3	414	40
4	1546	37
5	4574	36
done	5000	36
0	17	22
1	32	20
2	65	20
3	139	18
4	218	18
5	370	18
6	478	18
done	478	18
0	17	26
1	36	26
2	96	26
3	305	26
4	944	23
5	2182	22
done	5001	22
0	17	22
1	32	20
2	65	20
3	139	18
4	218	18
5	370	18
6	478	18
done	478	18
0	11	14
1	26	12
2	73	12
3	278	12
4	824	8
5	3018	8
done	5000	8
0	16	21
1	31	19
2	72	19
3	168	17
4	277	17
5	532	17
6	795	17
7	872	17
8	916	17
done	916	17
0	11	14
1	26	12
2	73	12
3	278	12
4	824	8
5	3018	8
done	5000	8
0	16	21
1	31	19
2	72	19
3	168	17
4	277	17
5	532	17
6	795	17
7	872	17
8	916	17
done	916	17
0	17	37
1	36	37
2	95	37
3	293	37
4	887	34
5	2022	33
done	5000	33
0	17	22
1	32	20
2	65	20
3	139	18
4	218	18
5	370	18
6	478	18
done	478	18
0	16	23
1	33	23
2	86	23
3	234	23
4	543	20
5	983	19
6	4396	19
done	5001	19
0	17	22
1	32	20
2	65	20
3	139	18
4	218	18
5	370	18
6	478	18
done	478	18
0	10	11
1	23	9
2	60	9
3	183	9
4	417	5
5	1534	5
done	5000	5
0	16	21
1	31	19
2	72	19
3	168	17
4	277	17
5	532	17
6	795	17
7	872	17
8	916	17
done	916	17
0	10	11
1	23	9
2	60	9
3	183	9
4	417	5
5	1534	5
done	5000	5
0	16	21
1	31	19
2	72	19
3	168	17
4	277	17
5	532	17
6	795	17
7	872	17
8	916	17
done	916	17
0	17	36
1	38	36
2	97	34
3	280	32
4	924	30
5	3506	30
done	5000	30
0	16	21
1	31	19
2	64	19
3	140	17
4	220	17
5	354	17
6	459	17
7	470	17
done	470	17
0	16	22
1	35	22
2	88	20
3	223	18
4	555	16
5	1723	16
done	5000	16
0	16	21
1	31	19
2	64	19
3	140	17
4	220	17
5	354	17
6	459	17
7	470	17
done	470	17
0	8	10
1	21	8
2	55	6
3	122	6
4	313	6
5	638	2
6	1085	2
7	2295	2
done	5000	2
0	15	20
1	30	18
2	71	18
3	165	16
4	277	16
5	492	16
6	664	16
7	734	16
8	810	16
9	866	16
10	881	16
done	881	16
0	8	10
1	21	8
2	55	6
3	122	6
4	313	6
5	638	2
6	1085	2
7	2295	2
done	5000	2
0	15	20
1	30	18
2	71	18
3	165	16
4	277	16
5	492	16
6	664	16
7	734	16
8	810	16
9	866	16
10	881	16
done	881	16
0	7	8
1	18	6
2	34	6
3	75	4
4	162	2
5	326	2
6	1715	2
7	3448	2
done	5000	2
0	15	20
1	30	18
2	71	18
3	165	16
4	277	16
5	492	16
6	664	16
7	734	16
8	810	16
9	866	16
10	881	16
done	881	16
0	7	8
1	16	8
2	35	8
3	78	8
4	149	5
5	218	4
6	775	4
7	4805	4
done	5000	4
0	15	20
1	30	18
2	71	16
3	148	16
4	185	16
5	209	16
done	209	16
0	17	25
1	46	25
2	116	25
3	319	25
4	907	22
5	2306	21
done	5000	21
0	17	44
1	37	28
2	94	28
3	255	24
4	721	24
5	1885	24
6	3785	22
done	5000	22
0	15	34
1	36	22
2	115	22
3	408	22
4	1576	13
5	4871	11
done	5000	11
0	14	18
1	28	16
2	59	16
3	122	14
4	183	14
5	252	14
6	294	14
7	334	14
8	435	14
9	476	14
10	542	14
11	827	14
12	1508	14
13	1928	14
14	2097	14
done	2097	14
0	6	6
1	15	4
2	28	4
3	45	4
4	72	4
5	77	4
done	77	4
0	15	22
1	32	20
2	90	20
3	278	18
4	699	18
5	1664	18
6	2556	18
7	3071	18
8	3429	18
9	3476	18
done	3476	18
0	5	8
1	14	8
2	49	1
3	73	1
4	82	1
5	225	1
6	1194	1
done	5000	1
0	15	20
1	30	16
2	69	14
3	142	14
4	188	14
5	215	14
6	221	14
7	223	14
8	235	14
9	270	14
10	302	14
11	313	14
done	313	14
0	7	10
1	18	10
2	60	10
3	226	3
4	642	2
5	2505	2
done	5001	2
0	13	16
1	24	14
2	43	14
3	80	14
4	92	14
done	92	14
0	14	20
1	29	20
2	79	20
3	192	18
4	408	18
5	763	18
6	1179	18
7	1396	18
8	1798	18
9	2019	18
done	2019	18
0	16	25
1	39	23
2	130	23
3	592	23
4	3867	19
done	5000	19
0	15	24
1	34	22
2	151	22
3	742	14
4	3005	14
done	5001	14
0	18	46
1	41	44
2	133	44
3	371	44
4	833	44
5	1260	44
6	1881	44
7	2069	44
8	2096	44
9	2136	44
done	2136	44
0	17	26
1	38	24
2	113	24
3	281	24
4	632	24
5	1052	24
6	1648	24
7	1829	24
8	1856	24
9	1899	24
done	1899	24
0	18	40
1	39	38
2	113	38
3	354	38
4	1037	34
5	4442	34
done	5000	34
0	17	24
1	36	22
2	104	22
3	288	22
4	710	18
5	2398	18
done	5001	18
0	20	42
1	47	40
2	154	40
3	626	40
4	3002	36
done	5000	36
0	19	28
1	42	26
2	132	26
3	496	26
4	2025	22
done	5000	22
0	12	16
1	29	12
2	84	12
3	305	12
4	974	8
5	3676	8
done	5000	8
0	12	16
1	29	12
2	84	12
3	305	12
4	974	8
5	3676	8
done	5000	8
0	19	39
1	42	37
2	131	37
3	480	37
4	1898	33
done	5000	33
0	18	25
1	39	23
2	122	23
3	414	23
4	1331	19
done	5000	19
0	11	13
1	26	9
2	71	9
3	216	9
4	543	5
5	1871	5
done	5000	5
0	11	13
1	26	9
2	71	9
3	216	9
4	543	5
5	1871	5
done	5000	5
0	18	38
1	41	36
2	130	34
3	449	30
4	2291	30
done	5001	30
0	17	24
1	38	22
2	121	20
3	387	16
4	1620	16
done	5000	16
0	9	12
1	24	8
2	68	6
3	141	2
4	328	2
5	736	2
6	2065	2
done	5000	2
0	9	12
1	24	8
2	68	6
3	141	2
4	328	2
5	736	2
6	2065	2
done	5000	2
0	8	10
1	21	6
2	65	6
3	139	2
4	339	2
5	759	2
6	2055	2
done	5001	2
0	9	10
1	22	8
2	75	8
3	222	8
4	567	4
5	1967	4
done	5000	4
0	19	27
1	52	25
2	152	25
3	511	25
4	1797	21
done	5000	21
0	17	36
1	42	22
2	151	22
3	596	22
4	2735	12
done	5001	12
0	7	8
1	18	4
2	29	4
3	46	4
4	73	4
5	78	4
done	78	4
0	7	10
1	20	8
2	85	8
3	321	1
4	768	1
5	4810	1
done	5000	1
0	9	12
1	24	10
2	100	10
3	431	3
4	1679	2
done	5000	2
0	17	26
1	38	24
2	105	24
3	283	24
4	847	24
5	1731	24
6	2975	24
7	3710	24
8	3972	24
9	4133	24
10	4339	24
11	4371	24
12	4373	24
done	4373	24
0	17	26
1	38	24
2	105	24
3	283	24
4	847	24
5	1731	24
6	2975	24
7	3710	24
8	3972	24
9	4133	24
10	4339	24
11	4371	24
12	4373	24
done	4373	24
0	18	27
1	39	26
2	105	26
3	290	24
4	916	24
5	1964	24
6	3405	24
7	4167	24
8	4241	24
9	4260	24
done	4260	24
0	18	27
1	39	26
2	105	26
3	290	24
4	916	24
5	1964	24
6	3405	24
7	4167	24
8	4241	24
9	4260	24
done	4260	24
0	17	26
1	38	24
2	103	24
3	292	24
4	895	24
5	2018	24
6	3007	24
7	3483	24
8	3521	24
9	3541	24
done	3541	24
0	18	27
1	39	26
2	105	26
3	290	24
4	916	24
5	1964	24
6	3405	24
7	4167	24
8	4241	24
9	4260	24
done	4260	24
0	18	27
1	39	26
2	105	26
3	290	24
4	916	24
5	1964	24
6	3405	24
7	4167	24
8	4241	24
9	4260	24
done	4260	24
0	17	26
1	38	24
2	103	24
3	292	24
4	895	24
5	2018	24
6	3007	24
7	3483	24
8	3521	24
9	3541	24
done	3541	24
0	17	26
1	40	25
2	125	25
3	478	23
4	2361	19
done	5001	19
0	17	26
1	40	25
2	125	25
3	478	23
4	2361	19
done	5001	19
0	16	25
1	39	23
2	130	23
3	592	23
4	3867	19
done	5000	19
0	16	25
1	35	24
2	118	24
3	431	22
4	1809	14
done	5001	14
0	16	25
1	35	24
2	118	24
3	431	22
4	1809	14
done	5001	14
0	15	24
1	34	22
2	135	22
3	689	16
4	3379	14
done	5000	14
0	16	23
1	33	22
2	99	22
3	283	20
4	913	16
5	2557	16
done	5000	16
0	16	23
1	33	22
2	99	22
3	283	20
4	913	16
5	2557	16
done	5000	16
0	15	22
1	32	20
2	94	20
3	274	18
4	823	16
5	2989	16
done	5000	16
0	17	24
1	36	23
2	104	23
3	307	21
4	953	21
5	2482	17
done	5001	17
0	17	24
1	36	23
2	104	23
3	307	21
4	953	21
5	2482	17
done	5001	17
0	16	23
1	35	21
2	106	21
3	305	21
4	1038	21
5	2804	17
done	5000	17
0	16	25
1	39	23
2	130	23
3	592	23
4	3867	19
done	5000	19
0	15	22
1	32	20
2	95	18
3	300	18
4	838	18
5	1827	18
6	2974	18
7	3843	18
8	3887	18
done	3887	18
0	7	10
1	20	8
2	85	8
3	321	1
4	768	1
5	4810	1
done	5000	1
0	14	20
1	30	18
2	91	18
3	287	18
4	560	18
5	937	18
6	1029	18
7	1043	18
done	1043	18
0	17	22
1	33	22
2	70	22
3	135	22
4	182	22
5	253	22
6	377	22
7	520	22
8	544	22
done	544	22
0	16	21
1	31	21
2	61	21
3	111	21
4	165	21
5	223	21
6	316	21
7	439	21
8	545	21
9	550	21
done	550	21
0	15	21
1	31	21
2	63	21
3	124	21
4	169	21
5	220	21
6	319	21
7	480	21
8	527	21
9	529	21
done	529	21
0	14	20
1	29	20
2	56	20
3	105	20
4	148	20
5	195	20
6	266	20
7	390	20
8	532	20
9	556	20
done	556	20
0	13	19
1	27	19
2	78	19
3	184	19
4	333	19
5	497	19
6	595	19
7	726	19
8	814	19
9	925	19
10	942	19
11	961	19
12	962	19
done	962	19
0	13	19
1	24	19
2	64	19
3	153	19
4	265	19
5	407	19
6	697	19
7	1718	19
done	5000	19
0	21	56
1	60	56
2	251	26
3	1586	24
done	5000	24
0	19	56
1	47	56
2	185	24
3	1011	24
done	5000	24
0	18	56
1	60	56
2	247	24
3	1615	22
done	5000	22
0	16	56
1	47	56
2	191	22
3	1148	20
done	5001	20
0	14	39
1	25	39
2	63	39
3	140	39
4	223	39
5	275	39
6	288	39
7	300	39
8	302	39
done	302	39
0	13	19
1	24	19
2	62	19
3	139	19
4	222	19
5	274	19
6	287	19
7	299	19
8	301	19
done	301	19
0	14	56
1	32	56
2	126	20
3	683	20
done	5000	20
0	13	19
1	24	19
2	62	19
3	139	19
4	222	19
5	274	19
6	287	19
7	299	19
8	301	19
done	301	19
0	13	19
1	24	19
2	62	19
3	139	19
4	222	19
5	274	19
6	287	19
7	299	19
8	301	19
done	301	19
0	4	4
1	9	4
2	11	4
done	11	4
0	12	15
1	21	15
2	37	15
3	62	15
4	64	15
done	64	15
0	14	33
1	23	33
2	40	33
3	65	33
4	67	33
done	67	33
0	13	17
1	20	17
2	37	17
3	62	17
4	64	17
done	64	17
0	13	17
1	20	17
2	37	17
3	62	17
4	64	17
done	64	17
0	13	17
1	20	17
2	37	17
3	62	17
4	64	17
done	64	17
0	16	35
1	31	35
2	69	35
3	125	35
4	153	35
5	184	35
6	205	35
7	215	35
done	215	35
0	14	18
1	23	18
2	43	18
3	69	18
4	75	18
5	77	18
6	78	18
done	78	18
0	15	21
1	26	21
2	51	21
3	89	21
4	99	21
5	105	21
6	108	21
done	108	21
0	14	18
1	23	18
2	43	18
3	69	18
4	75	18
5	77	18
6	78	18
done	78	18
0	7	9
1	13	7
2	26	7
3	53	7
4	59	7
5	68	7
6	83	7
7	86	7
done	86	7
0	13	17
1	22	17
2	50	17
3	88	17
4	100	17
5	106	17
6	113	17
7	115	17
done	115	17
0	7	9
1	13	7
2	26	7
3	53	7
4	59	7
5	68	7
6	83	7
7	86	7
done	86	7
0	13	17
1	22	17
2	50	17
3	88	17
4	100	17
5	106	17
6	113	17
7	115	17
done	115	17
0	15	32
1	26	32
2	50	32
3	83	32
4	89	32
5	98	32
6	104	32
7	109	32
8	110	32
done	110	32
0	14	18
1	23	18
2	43	18
3	69	18
4	75	18
5	77	18
6	78	18
done	78	18
0	14	18
1	23	18
2	43	18
3	69	18
4	75	18
5	77	18
6	78	18
done	78	18
0	14	18
1	23	18
2	43	18
3	69	18
4	75	18
5	77	18
6	78	18
done	78	18
0	6	6
1	10	4
2	16	4
3	21	4
done	21	4
0	13	17
1	22	17
2	50	17
3	88	17
4	100	17
5	106	17
6	113	17
7	115	17
done	115	17
0	6	6
1	10	4
2	16	4
3	21	4
done	21	4
0	13	17
1	22	17
2	50	17
3	88	17
4	100	17
5	106	17
6	113	17
7	115	17
done	115	17
0	15	31
1	28	31
2	52	29
3	89	29
4	111	29
5	146	29
6	158	29
done	158	29
0	13	17
1	22	17
2	42	17
3	68	17
4	72	17
5	74	17
6	75	17
done	75	17
0	14	17
1	25	17
2	45	15
3	78	15
4	89	15
5	94	15
done	94	15
0	13	17
1	22	17
2	42	17
3	68	17
4	72	17
5	74	17
6	75	17
done	75	17
0	4	5
1	8	3
2	13	1
done	13	1
0	12	16
1	21	16
2	49	16
3	87	16
4	97	16
5	103	16
6	110	16
7	112	16
done	112	16
0	4	5
1	8	3
2	13	1
done	13	1
0	12	16
1	21	16
2	49	16
3	87	16
4	97	16
5	103	16
6	110	16
7	112	16
done	112	16
0	3	3
1	5	1
done	5	1
0	12	16
1	21	16
2	49	16
3	87	16
4	97	16
5	103	16
6	110	16
7	112	16
done	112	16
0	3	3
done	3	3
0	13	16
1	24	16
2	52	14
3	83	14
4	94	14
5	99	14
done	99	14
0	15	20
1	36	20
2	73	20
3	161	20
4	401	20
5	1306	20
6	4160	20
done	5000	20
0	14	40
1	28	26
2	70	26
3	142	24
4	238	24
5	397	24
6	665	24
7	739	24
8	767	24
done	767	24
0	13	29
1	26	17
2	72	17
3	200	17
4	502	11
5	1023	10
6	2968	10
done	5000	10
0	11	14
1	19	14
2	37	14
3	62	14
4	64	14
done	64	14
0	13	16
1	24	16
2	52	16
3	90	14
4	129	14
5	144	14
done	144	14
0	12	18
1	23	18
2	58	18
3	121	18
4	128	18
done	128	18
0	14	35
1	28	35
2	59	35
3	97	35
4	105	35
done	105	35
0	13	19
1	22	19
2	43	19
3	71	19
4	74	19
done	74	19
0	16	37
1	33	37
2	94	37
3	252	37
4	478	37
5	671	37
6	733	37
7	746	37
8	748	37
done	748	37
0	15	23
1	28	23
2	69	23
3	166	23
4	256	23
5	299	23
6	306	23
7	308	23
done	308	23
0	9	11
1	18	9
2	46	9
3	145	9
4	187	9
5	227	9
6	255	9
7	264	9
done	264	9
0	9	11
1	18	9
2	46	9
3	145	9
4	187	9
5	227	9
6	255	9
7	264	9
done	264	9
0	15	34
1	28	34
2	64	34
3	131	34
4	203	34
5	249	34
6	263	34
7	276	34
8	277	34
done	277	34
0	14	20
1	25	20
2	55	20
3	100	20
4	127	20
5	136	20
6	139	20
7	141	20
done	141	20
0	8	8
1	15	6
2	29	6
3	58	6
4	64	6
5	69	6
6	81	6
7	88	6
done	88	6
0	8	8
1	15	6
2	29	6
3	58	6
4	64	6
5	69	6
6	81	6
7	88	6
done	88	6
0	15	33
1	30	33
2	66	31
3	173	31
4	455	31
5	698	31
6	934	31
done	934	31
0	14	19
1	27	19
2	57	17
3	136	17
4	304	17
5	456	17
6	628	17
done	628	17
0	6	7
1	13	5
2	24	3
3	55	3
4	98	3
5	110	3
6	132	3
done	132	3
0	6	7
1	13	5
2	24	3
3	55	3
4	98	3
5	110	3
6	132	3
done	132	3
0	5	5
1	10	3
2	18	3
3	27	3
4	32	3
done	32	3
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	15	22
1	38	22
2	85	22
3	214	22
4	687	22
5	2801	22
done	5001	22
0	13	31
1	28	19
2	84	19
3	269	19
4	972	13
5	2645	12
done	5000	12
0	12	16
1	21	16
2	49	16
3	74	16
4	76	16
done	76	16
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	7	7
1	12	7
2	17	7
3	21	7
done	21	7
0	6	6
1	13	6
2	26	6
3	38	6
4	40	6
done	40	6
0	6	6
1	12	6
2	29	6
3	51	6
4	107	6
5	248	6
6	586	6
7	1550	6
done	5000	6
0	11	17
1	24	17
2	89	11
3	327	11
4	1072	9
5	2986	9
done	5000	9
0	9	17
1	26	17
2	93	9
3	379	9
4	1161	7
5	2175	7
done	5000	7
0	7	13
1	11	13
2	17	13
done	17	13
0	6	6
1	10	6
2	16	6
done	16	6
0	7	17
1	21	17
2	91	7
3	423	7
4	1138	7
5	1610	7
6	3198	7
done	5000	7
0	6	6
1	10	6
2	16	6
done	16	6
0	6	6
1	10	6
2	16	6
done	16	6
0	7	9
1	13	9
2	26	9
3	36	9
done	36	9
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	5	5
1	11	3
2	23	3
3	27	3
done	27	3
0	3	3
1	4	3
done	4	3
0	10	11
1	20	10
2	42	10
3	96	10
4	254	10
5	834	10
6	4965	10
done	5000	10
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	9	10
1	18	10
2	45	10
3	103	10
4	210	10
5	652	10
6	2953	10
done	5001	10
0	10	21
1	16	21
2	33	21
3	58	21
4	60	21
done	60	21
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	10	29
1	17	29
2	48	11
3	174	11
4	920	11
5	4638	11
done	5000	11
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	11	13
1	35	13
2	131	11
3	621	11
4	3194	11
done	5001	11
0	12	29
1	38	23
2	127	21
3	376	19
4	530	19
5	557	19
6	663	19
7	1006	19
8	2362	19
done	5000	19
0	6	6
1	14	6
2	35	6
3	53	6
done	53	6
0	10	19
1	30	19
2	98	17
3	378	15
4	1029	15
5	1449	15
6	1950	15
7	3164	15
done	5000	15
0	8	9
1	13	9
2	19	9
done	19	9
0	6	6
1	14	6
2	35	6
3	53	6
done	53	6
0	1	1
done	1	1
0	1	1
done	1	1
0	20	29
1	51	29
2	185	29
3	609	27
4	2790	27
done	5000	27
0	7	7
1	13	7
2	27	7
3	48	7
4	77	7
5	88	7
done	88	7
0	7	7
1	13	7
2	27	7
3	48	7
4	77	7
5	88	7
done	88	7
0	1	1
done	1	1
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	9	9
1	20	9
2	45	9
3	75	9
4	83	9
5	93	9
6	115	9
7	176	9
8	390	9
9	1312	9
done	5001	9
0	9	9
1	20	9
2	45	9
3	75	9
4	83	9
5	93	9
6	115	9
7	176	9
8	390	9
9	1312	9
done	5001	9
0	9	9
1	20	9
2	45	9
3	75	9
4	83	9
5	93	9
6	115	9
7	176	9
8	390	9
9	1312	9
done	5001	9

prune1.2s

Filtered

376 candidates to 688 candidates (-83.0%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	683	5	688
Fresh	6	4	10
Picked	1	0	1
Done	0	0	0
Total	690	9	699

Merged error: 0.0b

Counts

699 → 9

localize18.0ms

Local error

Found 4 expressions with local error:

0.2b	(+ (sqrt (- (* b b) (* (* 3.0 a) c))) b)
0.2b	(- (* b b) (* (* 3.0 a) c))
0.3b	(* c (/ -1 (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b)))
0.3b	(* (* 3.0 a) c)

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

22×	`*-un-lft-identity`
21×	`associate-r`
19×	`add-sqr-sqrt`
14×	`add-exp-log` `add-cube-cbrt` `add-cbrt-cube`
13×	`times-frac`
11×	`pow1`
8×	`add-log-exp`
5×	`prod-exp` `cbrt-unprod`
4×	`associate-l` `pow-prod-down` `distribute-lft-out`
2×	`flip3-+` `associate-/r/` `*-commutative` `flip-+` `unswap-sqr`
1×	`cbrt-undiv` `+-commutative` `sub-neg` `flip3--` `diff-log` `associate-*r/` `div-exp` `sum-log` `flip--` `div-inv`

Counts

4 → 79

Calls

4 calls:

7.0ms	(+ (sqrt (- (* b b) (* (* 3.0 a) c))) b)
4.0ms	(- (* b b) (* (* 3.0 a) c))
14.0ms	(* c (/ -1 (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b)))
6.0ms	(* (* 3.0 a) c)

series88.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(+ (sqrt (- (* b b) (* (* 3.0 a) c))) b)
15.0ms	(- (* b b) (* (* 3.0 a) c))
52.0ms	(* c (/ -1 (+ (sqrt (- (* b b) (* (* 3.0 a) c))) b)))
4.0ms	(* (* 3.0 a) c)

simplify1.5min

Counts

91 → 91

Iterations

Useful iterations: 2 (2.0ms)

Iter	Nodes	Cost
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	7	7
1	12	7
2	17	7
3	21	7
done	21	7
0	6	6
1	13	6
2	26	6
3	38	6
4	40	6
done	40	6
0	6	6
1	12	6
2	29	6
3	51	6
4	107	6
5	248	6
6	586	6
7	1550	6
done	5000	6
0	11	17
1	24	17
2	89	11
3	327	11
4	1072	9
5	2986	9
done	5000	9
0	9	17
1	26	17
2	93	9
3	379	9
4	1161	7
5	2175	7
done	5000	7
0	7	13
1	11	13
2	17	13
done	17	13
0	6	6
1	10	6
2	16	6
done	16	6
0	7	17
1	21	17
2	91	7
3	423	7
4	1138	7
5	1610	7
6	3198	7
done	5000	7
0	6	6
1	10	6
2	16	6
done	16	6
0	6	6
1	10	6
2	16	6
done	16	6
0	7	9
1	13	9
2	26	9
3	36	9
done	36	9
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	5	5
1	11	3
2	23	3
3	27	3
done	27	3
0	3	3
1	4	3
done	4	3
0	13	16
1	23	16
2	43	16
3	72	15
4	94	15
5	104	15
done	104	15
0	16	19
1	28	19
2	52	19
3	88	19
4	96	19
5	106	19
6	113	19
7	125	19
8	148	19
9	162	19
10	168	19
done	168	19
0	15	18
1	26	18
2	49	18
3	85	18
4	97	18
5	106	18
6	111	18
7	120	18
8	137	18
9	156	18
10	164	18
done	164	18
0	14	17
1	27	17
2	53	17
3	92	16
4	133	16
5	157	16
6	169	16
7	187	16
8	203	16
9	210	16
10	227	16
11	229	16
done	229	16
0	14	17
1	26	17
2	52	17
3	91	16
4	155	16
5	253	16
6	515	16
7	1616	16
done	5001	16
0	19	50
1	55	46
2	160	20
3	450	19
4	1405	19
5	4736	17
done	5000	17
0	17	50
1	37	50
2	105	20
3	297	20
4	989	18
5	3433	17
done	5000	17
0	15	35
1	25	35
2	45	35
3	76	33
4	98	33
5	110	33
done	110	33
0	14	17
1	24	17
2	44	17
3	73	16
4	95	16
5	107	16
done	107	16
0	15	50
1	35	50
2	106	18
3	330	17
4	949	17
5	3101	17
done	5001	17
0	14	17
1	24	17
2	44	17
3	73	16
4	95	16
5	107	16
done	107	16
0	14	17
1	24	17
2	44	17
3	73	16
4	95	16
5	107	16
done	107	16
0	15	18
1	23	18
2	40	18
3	65	18
4	67	18
done	67	18
0	15	18
1	23	18
2	40	18
3	65	18
4	67	18
done	67	18
0	16	19
1	26	19
2	46	19
3	75	19
4	78	19
done	78	19
0	16	19
1	26	19
2	46	19
3	75	19
4	78	19
done	78	19
0	15	33
1	25	33
2	44	33
3	69	33
4	71	33
done	71	33
0	14	17
1	22	17
2	39	17
3	64	17
4	66	17
done	66	17
0	17	35
1	33	35
2	79	35
3	146	35
4	204	35
5	216	35
done	216	35
0	16	21
1	28	21
2	55	21
3	97	21
4	114	21
5	116	21
done	116	21
0	7	9
1	14	7
2	31	7
3	68	7
4	98	7
done	98	7
0	7	9
1	14	7
2	31	7
3	68	7
4	98	7
done	98	7
0	16	32
1	28	32
2	56	32
3	94	32
4	108	32
done	108	32
0	15	18
1	25	18
2	45	18
3	76	18
4	79	18
done	79	18
0	6	6
1	11	4
2	18	4
3	27	4
4	33	4
done	33	4
0	6	6
1	11	4
2	18	4
3	27	4
4	33	4
done	33	4
0	15	31
1	29	31
2	56	29
3	89	29
4	111	29
5	144	29
6	149	29
done	149	29
0	14	17
1	26	17
2	46	15
3	72	15
4	79	15
5	80	15
done	80	15
0	4	5
1	9	3
2	14	1
done	14	1
0	4	5
1	9	3
2	14	1
done	14	1
0	3	3
1	6	1
done	6	1
0	3	3
1	4	3
2	5	2
done	5	2
0	16	20
1	38	20
2	67	20
3	124	19
4	260	19
5	545	19
6	1014	19
7	2920	19
done	5000	19
0	14	29
1	28	17
2	71	17
3	160	16
4	279	10
5	481	9
6	1568	7
done	5000	7
0	14	17
1	24	17
2	44	17
3	74	16
4	78	16
done	78	16
0	14	17
1	24	17
2	44	17
3	74	16
4	78	16
done	78	16
0	13	16
1	23	16
2	43	16
3	72	15
4	94	15
5	104	15
done	104	15
0	3	3
1	4	3
2	5	2
done	5	2
0	10	11
1	20	10
2	42	10
3	96	10
4	254	10
5	834	10
6	4965	10
done	5000	10
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	9	10
1	18	10
2	45	10
3	103	10
4	210	10
5	652	10
6	2953	10
done	5001	10
0	10	21
1	16	21
2	33	21
3	58	21
4	60	21
done	60	21
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	10	29
1	17	29
2	48	11
3	174	11
4	920	11
5	4638	11
done	5000	11
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	11	13
1	35	13
2	131	11
3	621	11
4	3194	11
done	5001	11
0	12	29
1	38	23
2	127	21
3	376	19
4	530	19
5	557	19
6	663	19
7	1006	19
8	2362	19
done	5000	19
0	6	6
1	14	6
2	35	6
3	53	6
done	53	6
0	10	19
1	30	19
2	98	17
3	378	15
4	1029	15
5	1449	15
6	1950	15
7	3164	15
done	5000	15
0	8	9
1	13	9
2	19	9
done	19	9
0	6	6
1	14	6
2	35	6
3	53	6
done	53	6
0	12	14
1	21	13
2	39	13
3	64	13
4	66	13
done	66	13
0	11	13
1	18	13
2	35	13
3	60	13
4	62	13
done	62	13
0	11	13
1	21	13
2	39	13
3	64	13
4	66	13
done	66	13
0	12	27
1	19	27
2	36	27
3	61	27
4	63	27
done	63	27
0	11	13
1	18	13
2	35	13
3	60	13
4	62	13
done	62	13
0	12	38
1	32	38
2	80	14
3	170	14
4	379	14
5	1442	14
done	5001	14
0	11	13
1	18	13
2	35	13
3	60	13
4	62	13
done	62	13
0	11	13
1	18	13
2	35	13
3	60	13
4	62	13
done	62	13
0	13	16
1	32	16
2	58	16
3	109	16
4	225	16
5	435	16
6	891	16
7	2769	16
done	5001	16
0	13	38
1	27	24
2	69	24
3	143	22
4	239	22
5	397	22
6	665	22
7	740	22
8	767	22
done	767	22
0	11	25
1	22	13
2	55	13
3	112	13
4	162	7
5	246	6
6	979	6
done	5000	6
0	10	12
1	18	12
2	36	12
3	61	12
4	65	12
done	65	12
0	10	12
1	17	12
2	34	12
3	59	12
4	63	12
done	63	12
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	1	1
done	1	1
0	5	5
1	9	4
2	14	4
3	18	4
4	19	4
done	19	4
0	11	14
1	25	14
2	65	14
3	133	14
4	303	14
5	1080	14
6	4925	14
done	5000	14
0	9	9
1	20	9
2	45	9
3	75	9
4	83	9
5	93	9
6	115	9
7	176	9
8	390	9
9	1312	9
done	5001	9
0	9	9
1	20	9
2	45	9
3	75	9
4	83	9
5	93	9
6	115	9
7	176	9
8	390	9
9	1312	9
done	5001	9
0	9	9
1	20	9
2	45	9
3	75	9
4	83	9
5	93	9
6	115	9
7	176	9
8	390	9
9	1312	9
done	5001	9
0	13	15
1	31	15
2	80	15
3	151	13
4	233	13
5	282	13
6	378	13
7	547	13
8	818	13
9	1833	13
done	5000	13
0	10	11
1	19	11
2	42	11
3	97	11
4	203	11
5	279	11
6	289	11
done	289	11
0	7	7
1	13	7
2	27	7
3	48	7
4	77	7
5	88	7
done	88	7

prune147.0ms

Filtered

72 candidates to 91 candidates (-26.4%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	90	1	91
Fresh	1	7	8
Picked	1	0	1
Done	0	0	0
Total	92	8	100

Merged error: 0.0b

Counts

100 → 8

regimes317.0ms

Accuracy

0% (0.4b remaining)

Error of 0.4b against oracle of 0.0b and baseline of 0.4b

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	16
1	17	16
done	17	16

end0.0ms

sample2.2s

Algorithm

intervals

Results

488.0ms	16317×	pre	80	true
453.0ms	4493×	body	160	valid
442.0ms	8317×	body	80	nan
196.0ms	3507×	body	80	valid

Details

sample89.0ms

simplify57.0ms

prune8.0ms

localize10.0ms

rewrite39.0ms

series64.0ms

simplify1.4min

prune166.0ms

localize12.0ms

rewrite48.0ms

series133.0ms

simplify3.9min

prune419.0ms

localize15.0ms

rewrite130.0ms

series124.0ms

simplify47.8min

prune1.2s

localize18.0ms

rewrite34.0ms

series88.0ms

simplify1.5min

prune147.0ms

regimes317.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample2.2s

Profiling