Details

sample44.0ms

Algorithm

intervals

Results

14.0ms	229×	body	80	valid
3.0ms	17×	body	640	valid
2.0ms	14×	body	320	valid
1.0ms	7×	body	1280	valid
1.0ms	8×	body	160	valid
0.0ms	1×	body	2560	valid

simplify5.7s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	13
1	22	13
2	51	13
3	101	13
4	191	13
5	343	13
6	507	13
7	660	13
8	794	13
9	1027	13
10	1404	13
11	2266	13
12	3298	13
13	4183	13
done	5000	13

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 16.7b

Counts

2 → 1

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(* (- z t) y)
2.1b	(- (+ x y) (/ (* (- z t) y) (- a t)))
10.0b	(/ (* (- z t) y) (- a t))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

18×	`*-un-lft-identity`
17×	`add-sqr-sqrt`
10×	`add-exp-log` `add-cbrt-cube`
8×	`add-log-exp`
7×	`add-cube-cbrt`
5×	`pow1` `times-frac` `associate-l` `associate-/r*` `distribute-lft-out--`
4×	`flip3--` `associate-*l/` `flip--` `difference-of-squares`
3×	`associate-r`
2×	`cbrt-undiv` `diff-log` `div-exp` `prod-exp` `associate-/r/` `frac-sub` `cbrt-unprod` `associate-/l/`
1×	`sub-neg` `frac-2neg` `flip3-+` `pow-prod-down` `associate--l+` `clear-num` `sum-log` `-commutative` `flip-+` `div-inv` `distribute-lft-out` `associate-/l` `unswap-sqr`

Counts

3 → 70

Calls

3 calls:

8.0ms	(* (- z t) y)
12.0ms	(- (+ x y) (/ (* (- z t) y) (- a t)))
10.0ms	(/ (* (- z t) y) (- a t))

series71.0ms

Counts

3 → 9

Calls

3 calls:

8.0ms	(* (- z t) y)
45.0ms	(- (+ x y) (/ (* (- z t) y) (- a t)))
18.0ms	(/ (* (- z t) y) (- a t))

simplify1.8min

Counts

79 → 79

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	12
1	19	12
2	28	12
3	34	12
4	40	12
5	49	12
6	62	12
7	80	12
8	96	12
9	103	12
10	120	12
11	122	12
done	122	12
0	10	11
1	19	11
2	33	11
3	47	11
4	56	11
5	62	11
6	71	11
7	84	11
8	102	11
9	118	11
10	125	11
11	142	11
12	144	11
done	144	11
0	9	10
1	18	10
2	44	10
3	80	10
4	122	10
5	146	10
6	173	10
7	205	10
8	230	10
9	241	10
10	258	10
11	260	10
done	260	10
0	9	10
1	15	10
2	33	10
3	58	10
4	100	10
5	142	10
6	244	10
7	544	10
8	2041	10
done	5000	10
0	14	29
1	32	29
2	154	15
3	728	15
4	3309	13
done	5000	13
0	12	29
1	34	29
2	173	13
3	972	11
4	4232	11
done	5000	11
0	10	21
1	16	21
2	34	21
3	54	21
4	81	21
5	97	21
6	112	21
7	126	21
8	135	21
9	139	21
done	139	21
0	9	10
1	15	10
2	33	10
3	53	10
4	80	10
5	96	10
6	111	10
7	125	10
8	134	10
9	138	10
done	138	10
0	10	29
1	23	29
2	78	11
3	353	11
4	1857	11
done	5000	11
0	9	10
1	15	10
2	33	10
3	53	10
4	80	10
5	96	10
6	111	10
7	125	10
8	134	10
9	138	10
done	138	10
0	9	10
1	15	10
2	33	10
3	53	10
4	80	10
5	96	10
6	111	10
7	125	10
8	134	10
9	138	10
done	138	10
0	6	6
1	13	6
2	25	6
3	49	6
4	58	5
5	64	5
6	69	5
done	69	5
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	8	13
1	16	13
2	25	13
3	30	13
4	33	13
done	33	13
0	6	6
1	8	6
2	9	6
done	9	6
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	6	6
1	8	6
2	9	6
done	9	6
0	5	5
1	12	3
2	17	3
done	17	3
0	5	5
1	7	5
2	8	5
done	8	5
0	8	9
1	14	9
2	17	9
3	19	9
done	19	9
0	7	7
1	9	7
2	10	7
done	10	7
0	5	5
1	12	3
2	17	3
done	17	3
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	9	5
2	10	5
done	10	5
0	8	9
1	17	9
2	38	9
3	51	9
4	61	9
5	62	9
done	62	9
0	10	15
1	21	15
2	49	15
3	81	15
4	144	15
5	181	15
6	212	15
7	233	15
done	233	15
0	9	10
1	15	10
2	30	10
3	45	10
4	68	10
5	82	10
6	91	10
7	93	10
done	93	10
0	7	7
1	14	5
2	32	5
3	56	5
4	87	5
5	95	5
6	112	5
7	126	5
8	131	5
done	131	5
0	10	11
1	16	11
2	30	11
3	45	11
4	68	11
5	82	11
6	91	11
7	93	11
done	93	11
0	7	7
1	14	5
2	32	5
3	56	5
4	87	5
5	95	5
6	112	5
7	126	5
8	131	5
done	131	5
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	11	13
1	31	13
2	69	13
3	146	13
4	360	13
5	1209	13
done	5000	13
0	10	13
1	20	13
2	52	13
3	121	13
4	250	13
5	460	13
6	672	13
7	1105	13
8	3057	13
done	5000	13
0	10	15
1	26	13
2	74	13
3	211	13
4	488	13
5	1206	13
6	2670	13
done	5000	13
0	6	7
1	16	7
2	36	7
3	61	7
4	104	7
5	160	7
6	246	7
7	442	7
8	752	7
9	865	7
10	882	7
done	882	7
0	14	16
1	25	15
2	52	14
3	97	14
4	215	14
5	479	14
6	1117	14
7	3497	14
done	5001	14
0	13	15
1	25	14
2	52	14
3	109	14
4	230	14
5	504	14
6	1137	14
7	3659	14
done	5000	14
0	12	14
1	23	14
2	52	14
3	102	14
4	192	14
5	344	14
6	507	14
7	661	14
8	791	14
9	1023	14
10	1400	14
11	2268	14
12	3286	14
13	4137	14
done	5001	14
0	12	14
1	26	14
2	63	14
3	133	14
4	274	14
5	585	14
6	1389	14
7	4843	14
done	5000	14
0	13	29
1	24	29
2	53	29
3	103	29
4	193	29
5	345	29
6	508	29
7	661	29
8	791	29
9	1021	29
10	1398	29
11	2260	29
12	3280	29
13	4152	29
done	5000	29
0	12	14
1	23	14
2	52	14
3	102	14
4	192	14
5	344	14
6	507	14
7	661	14
8	791	14
9	1023	14
10	1400	14
11	2268	14
12	3286	14
13	4137	14
done	5001	14
0	13	41
1	25	41
2	80	15
3	315	15
4	1834	15
done	5000	15
0	12	14
1	23	14
2	52	14
3	102	14
4	192	14
5	344	14
6	507	14
7	661	14
8	791	14
9	1023	14
10	1400	14
11	2268	14
12	3286	14
13	4137	14
done	5001	14
0	12	14
1	23	14
2	52	14
3	102	14
4	192	14
5	344	14
6	507	14
7	661	14
8	791	14
9	1023	14
10	1400	14
11	2268	14
12	3286	14
13	4137	14
done	5001	14
0	20	29
1	50	27
2	126	27
3	459	27
4	1872	27
done	5001	27
0	11	15
1	22	13
2	52	13
3	146	13
4	407	13
5	1078	13
6	2601	13
done	5000	13
0	15	21
1	31	21
2	95	21
3	369	17
4	1192	17
5	4582	17
done	5000	17
0	7	7
1	12	7
2	26	7
3	60	7
4	124	7
5	216	7
6	291	7
7	415	7
8	653	7
9	812	7
10	819	7
done	819	7
0	14	17
1	39	17
2	129	17
3	509	17
4	2838	17
done	5000	17
0	15	41
1	41	31
2	128	31
3	480	31
4	1897	31
done	5001	31
0	9	10
1	17	10
2	42	10
3	87	10
4	147	9
5	224	9
6	272	9
7	288	9
8	297	9
9	309	9
10	351	9
11	433	9
12	438	9
done	438	9
0	13	27
1	35	27
2	107	27
3	397	27
4	1653	27
done	5002	27
0	11	13
1	21	13
2	45	13
3	80	13
4	146	13
5	238	13
6	372	13
7	434	13
8	543	13
9	740	13
10	1099	13
11	1726	13
12	2479	13
13	3101	13
14	4211	13
done	5000	13
0	13	15
1	21	15
2	39	15
3	59	15
4	86	15
5	102	15
6	117	15
7	131	15
8	140	15
9	144	15
done	144	15
0	13	15
1	22	15
2	41	15
3	61	15
4	88	15
5	104	15
6	119	15
7	133	15
8	142	15
9	146	15
done	146	15
0	11	13
1	22	13
2	51	13
3	101	13
4	191	13
5	343	13
6	507	13
7	660	13
8	794	13
9	1027	13
10	1404	13
11	2266	13
12	3298	13
13	4183	13
done	5000	13
0	11	13
1	22	13
2	51	13
3	101	13
4	191	13
5	343	13
6	507	13
7	660	13
8	794	13
9	1027	13
10	1404	13
11	2266	13
12	3298	13
13	4183	13
done	5000	13
0	9	11
1	17	11
2	40	11
3	80	11
4	149	11
5	244	11
6	324	11
7	379	11
8	427	11
9	522	11
10	673	11
11	729	11
12	1066	11
13	2420	11
14	2902	11
15	4009	11
done	5001	11
0	9	10
1	17	10
2	42	10
3	87	10
4	147	9
5	224	9
6	272	9
7	288	9
8	297	9
9	309	9
10	351	9
11	433	9
12	438	9
done	438	9
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	7	7
1	10	7
2	11	7
done	11	7
0	6	6
1	12	6
2	20	6
3	25	6
4	29	6
done	29	6
0	6	6
1	11	6
2	29	6
3	48	6
4	91	6
5	174	6
6	425	6
7	1317	6
done	5000	6
0	9	17
1	18	17
2	56	9
3	180	9
4	619	7
5	2374	7
done	5000	7
0	7	13
1	10	13
2	17	13
3	22	13
4	26	13
done	26	13
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	7	17
1	20	17
2	74	7
3	285	7
4	864	7
5	2739	7
done	5000	7
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	7	7
1	10	7
2	11	7
done	11	7
0	7	7
1	10	7
2	11	7
done	11	7
0	7	9
1	12	9
2	21	9
3	38	9
4	50	9
5	58	9
done	58	9
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	6	6
1	9	6
2	10	6
done	10	6
0	6	6
1	9	6
2	10	6
done	10	6
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	8	9
1	24	9
2	52	9
3	131	9
4	308	9
5	980	9
6	4487	9
done	5000	9
0	7	9
1	13	9
2	30	9
3	76	9
4	159	9
5	245	9
6	395	9
7	764	9
8	3363	9
done	5000	9
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	3	3
1	4	3
done	4	3
0	7	7
1	11	7
2	15	7
3	18	7
4	19	7
done	19	7
0	7	7
1	11	7
2	15	7
3	18	7
4	19	7
done	19	7
0	1	1
done	1	1
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5

prune155.0ms

Filtered

60 candidates to 79 candidates (-31.7%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	70	9	79
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	71	9	80

Merged error: 3.5b

Counts

80 → 9

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- a t) y)
2.8b	(- (+ x y) (/ (- z t) (/ (- a t) y)))
10.6b	(/ (- z t) (/ (- a t) y))

rewrite76.0ms

Algorithm

rewrite-expression-head

Rules

203×	`times-frac`
180×	`add-sqr-sqrt`
176×	`*-un-lft-identity`
87×	`add-cube-cbrt`
45×	`difference-of-squares`
44×	`distribute-lft-out--`
22×	`associate-/r*`
10×	`add-exp-log` `add-cbrt-cube` `associate-/l*`
8×	`div-inv` `add-log-exp`
4×	`cbrt-undiv` `div-exp` `associate-/l/`
3×	`pow1` `flip3--` `div-sub` `flip--`
2×	`frac-2neg` `diff-log` `clear-num` `frac-sub`
1×	`sub-neg` `flip3-+` `associate--l+` `sum-log` `associate-/r/` `flip-+` `distribute-lft-out` `associate--r-`

Counts

3 → 197

Calls

3 calls:

7.0ms	(/ (- a t) y)
43.0ms	(- (+ x y) (/ (- z t) (/ (- a t) y)))
13.0ms	(/ (- z t) (/ (- a t) y))

series82.0ms

Counts

3 → 9

Calls

3 calls:

8.0ms	(/ (- a t) y)
46.0ms	(- (+ x y) (/ (- z t) (/ (- a t) y)))
28.0ms	(/ (- z t) (/ (- a t) y))

simplify1.8min

Counts

206 → 206

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	12
1	20	12
2	30	12
3	43	12
4	47	12
5	55	12
6	70	12
7	96	12
8	105	12
done	105	12
0	10	11
1	21	11
2	30	11
3	39	11
4	52	11
5	56	11
6	64	11
7	79	11
8	105	11
9	114	11
done	114	11
0	9	10
1	23	10
2	44	10
3	68	10
4	97	10
5	127	10
6	160	10
7	189	10
8	218	10
9	240	10
10	246	10
done	246	10
0	9	10
1	20	10
2	39	10
3	68	10
4	108	10
5	187	10
6	462	10
7	1679	10
done	5001	10
0	14	29
1	31	29
2	140	15
3	647	13
4	2817	11
done	5000	11
0	12	29
1	33	29
2	122	13
3	520	11
4	2319	11
done	5000	11
0	10	21
1	21	21
2	35	21
3	51	21
4	70	21
5	83	21
6	108	21
7	126	21
8	137	21
9	139	21
done	139	21
0	9	10
1	20	10
2	34	10
3	50	10
4	69	10
5	82	10
6	107	10
7	125	10
8	136	10
9	138	10
done	138	10
0	10	29
1	28	29
2	89	11
3	422	11
4	2319	11
done	5001	11
0	9	10
1	20	10
2	34	10
3	50	10
4	69	10
5	82	10
6	107	10
7	125	10
8	136	10
9	138	10
done	138	10
0	9	10
1	20	10
2	34	10
3	50	10
4	69	10
5	82	10
6	107	10
7	125	10
8	136	10
9	138	10
done	138	10
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	6	6
1	13	6
2	19	6
3	26	6
4	30	5
5	31	5
done	31	5
0	7	7
1	14	7
2	20	7
3	23	7
4	25	7
5	30	7
6	33	7
7	35	7
done	35	7
0	6	7
1	13	7
2	19	7
3	22	7
4	24	7
5	29	7
6	34	7
7	37	7
done	37	7
0	12	23
1	24	23
2	37	23
3	45	23
done	45	23
0	10	11
1	16	11
2	20	11
3	22	11
done	22	11
0	11	16
1	19	16
2	25	16
3	28	16
done	28	16
0	10	11
1	16	11
2	20	11
3	22	11
done	22	11
0	14	25
1	27	25
2	65	25
3	154	25
4	281	25
5	375	25
6	411	25
7	421	25
done	421	25
0	11	12
1	16	12
2	21	12
3	22	12
4	24	12
5	26	12
6	27	12
done	27	12
0	13	22
1	22	22
2	42	22
3	86	22
4	130	22
5	149	22
6	154	22
7	155	22
done	155	22
0	11	12
1	16	12
2	21	12
3	22	12
4	24	12
5	26	12
6	27	12
done	27	12
0	12	21
1	23	19
2	48	19
3	123	19
4	151	19
5	171	19
6	173	19
done	173	19
0	10	11
1	15	11
2	20	11
3	21	11
4	23	11
5	25	11
6	26	11
done	26	11
0	13	20
1	22	20
2	39	20
3	67	20
4	104	20
5	126	20
6	136	20
7	145	20
done	145	20
0	11	12
1	16	12
2	21	12
3	22	12
4	24	12
5	26	12
6	27	12
done	27	12
0	12	17
1	19	17
2	30	17
3	40	17
4	50	17
5	54	17
6	56	17
7	57	17
done	57	17
0	11	12
1	16	12
2	21	12
3	22	12
4	24	12
5	26	12
6	27	12
done	27	12
0	11	16
1	20	14
2	33	14
3	55	14
4	60	14
5	64	14
6	70	14
done	70	14
0	10	11
1	15	11
2	20	11
3	21	11
4	23	11
5	25	11
6	26	11
done	26	11
0	11	17
1	21	17
2	37	15
3	84	15
4	196	15
5	258	15
6	303	15
done	303	15
0	10	11
1	18	11
2	25	11
3	28	11
4	30	11
5	35	11
6	38	11
7	40	11
done	40	11
0	10	14
1	18	14
2	28	12
3	54	12
4	101	12
5	109	12
done	109	12
0	10	11
1	18	11
2	25	11
3	28	11
4	30	11
5	35	11
6	38	11
7	40	11
done	40	11
0	8	13
1	16	11
2	26	9
3	47	9
4	65	9
done	65	9
0	9	10
1	17	10
2	24	10
3	27	10
4	29	10
5	34	10
6	37	10
7	39	10
done	39	10
0	14	21
1	23	21
2	39	21
3	67	21
4	104	21
5	126	21
6	136	21
7	145	21
done	145	21
0	12	13
1	21	13
2	28	13
3	31	13
4	33	13
5	38	13
6	41	13
7	43	13
done	43	13
0	13	18
1	20	18
2	30	18
3	40	18
4	50	18
5	54	18
6	56	18
7	57	18
done	57	18
0	12	13
1	21	13
2	28	13
3	31	13
4	33	13
5	38	13
6	41	13
7	43	13
done	43	13
0	12	17
1	21	15
2	33	15
3	55	15
4	61	15
5	65	15
6	71	15
done	71	15
0	11	12
1	20	12
2	27	12
3	30	12
4	32	12
5	37	12
6	40	12
7	42	12
done	42	12
0	11	17
1	21	17
2	37	15
3	84	15
4	196	15
5	258	15
6	303	15
done	303	15
0	10	11
1	18	11
2	25	11
3	28	11
4	30	11
5	35	11
6	38	11
7	40	11
done	40	11
0	10	14
1	18	14
2	28	12
3	54	12
4	101	12
5	109	12
done	109	12
0	10	11
1	18	11
2	25	11
3	28	11
4	30	11
5	35	11
6	38	11
7	40	11
done	40	11
0	8	13
1	16	11
2	26	9
3	47	9
4	65	9
done	65	9
0	9	10
1	17	10
2	24	10
3	27	10
4	29	10
5	34	10
6	37	10
7	39	10
done	39	10
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	9	10
1	17	10
2	24	10
3	27	10
4	29	10
5	34	10
6	37	10
7	39	10
done	39	10
0	8	13
1	13	13
2	20	13
3	23	13
4	25	13
done	25	13
0	8	8
1	14	8
2	18	6
3	27	6
4	36	6
5	38	6
done	38	6
0	11	18
1	19	18
2	23	18
3	25	18
done	25	18
0	10	11
1	16	11
2	20	11
3	22	11
done	22	11
0	10	11
1	16	11
2	20	11
3	22	11
done	22	11
0	10	11
1	16	11
2	20	11
3	22	11
done	22	11
0	13	20
1	24	20
2	47	20
3	76	20
4	102	20
5	133	20
6	157	20
7	167	20
done	167	20
0	11	12
1	16	12
2	21	12
3	22	12
4	24	12
5	26	12
6	27	12
done	27	12
0	12	17
1	19	17
2	29	17
3	42	17
4	50	17
5	56	17
6	59	17
done	59	17
0	11	12
1	16	12
2	21	12
3	22	12
4	24	12
5	26	12
6	27	12
done	27	12
0	11	16
1	20	14
2	35	14
3	62	14
4	72	14
5	84	14
6	89	14
done	89	14
0	10	11
1	15	11
2	20	11
3	21	11
4	23	11
5	25	11
6	26	11
done	26	11
0	12	15
1	19	15
2	28	15
3	36	15
4	40	15
5	49	15
6	55	15
7	60	15
done	60	15
0	11	12
1	16	12
2	21	12
3	22	12
4	24	12
5	26	12
6	27	12
done	27	12
0	11	12
1	16	12
2	21	12
3	22	12
4	24	12
5	26	12
6	27	12
done	27	12
0	11	12
1	16	12
2	21	12
3	22	12
4	24	12
5	26	12
6	27	12
done	27	12
0	10	11
1	17	9
2	25	9
3	30	9
4	32	9
5	35	9
6	39	9
done	39	9
0	10	11
1	15	11
2	20	11
3	21	11
4	23	11
5	25	11
6	26	11
done	26	11
0	10	12
1	18	12
2	26	10
3	42	10
4	68	10
5	93	10
6	112	10
done	112	10
0	10	11
1	18	11
2	25	11
3	28	11
4	30	11
5	35	11
6	38	11
7	40	11
done	40	11
0	9	9
1	15	9
2	19	7
3	28	7
4	37	7
5	39	7
done	39	7
0	10	11
1	18	11
2	25	11
3	28	11
4	30	11
5	35	11
6	38	11
7	40	11
done	40	11
0	7	8
1	13	6
2	19	4
3	21	4
4	25	4
done	25	4
0	9	10
1	17	10
2	24	10
3	27	10
4	29	10
5	34	10
6	37	10
7	39	10
done	39	10
0	13	16
1	20	16
2	28	16
3	36	16
4	40	16
5	49	16
6	55	16
7	60	16
done	60	16
0	12	13
1	21	13
2	28	13
3	31	13
4	33	13
5	38	13
6	41	13
7	43	13
done	43	13
0	12	13
1	17	13
2	21	13
3	22	13
4	24	13
5	26	13
6	27	13
done	27	13
0	12	13
1	21	13
2	28	13
3	31	13
4	33	13
5	38	13
6	41	13
7	43	13
done	43	13
0	11	12
1	18	10
2	25	10
3	30	10
4	32	10
5	35	10
6	39	10
done	39	10
0	11	12
1	20	12
2	27	12
3	30	12
4	32	12
5	37	12
6	40	12
7	42	12
done	42	12
0	10	12
1	18	12
2	26	10
3	42	10
4	68	10
5	93	10
6	112	10
done	112	10
0	10	11
1	18	11
2	25	11
3	28	11
4	30	11
5	35	11
6	38	11
7	40	11
done	40	11
0	9	9
1	15	9
2	19	7
3	28	7
4	37	7
5	39	7
done	39	7
0	10	11
1	18	11
2	25	11
3	28	11
4	30	11
5	35	11
6	38	11
7	40	11
done	40	11
0	7	8
1	13	6
2	19	4
3	21	4
4	25	4
done	25	4
0	9	10
1	17	10
2	24	10
3	27	10
4	29	10
5	34	10
6	37	10
7	39	10
done	39	10
0	6	6
1	10	4
2	13	4
done	13	4
0	9	10
1	17	10
2	24	10
3	27	10
4	29	10
5	34	10
6	37	10
7	39	10
done	39	10
0	7	8
1	10	8
2	12	8
done	12	8
0	8	8
1	14	8
2	18	6
3	27	6
4	36	6
5	38	6
done	38	6
0	9	15
1	18	15
2	21	15
3	23	15
done	23	15
0	9	10
1	18	10
2	24	10
3	28	10
done	28	10
0	8	8
1	15	8
2	18	8
3	20	8
done	20	8
0	9	10
1	18	10
2	24	10
3	28	10
done	28	10
0	11	17
1	23	17
2	45	17
3	74	15
4	134	15
5	201	15
done	201	15
0	10	11
1	18	11
2	30	11
3	44	11
4	63	11
5	73	11
6	87	11
7	92	11
8	94	11
done	94	11
0	10	14
1	18	14
2	27	14
3	40	12
4	67	12
5	104	12
done	104	12
0	10	11
1	18	11
2	30	11
3	44	11
4	63	11
5	73	11
6	87	11
7	92	11
8	94	11
done	94	11
0	8	13
1	16	11
2	28	11
3	37	11
done	37	11
0	9	10
1	17	10
2	29	10
3	43	10
4	62	10
5	72	10
6	86	10
7	91	10
8	93	10
done	93	10
0	10	12
1	18	12
2	26	12
3	34	10
4	58	10
5	75	10
done	75	10
0	10	11
1	18	11
2	30	11
3	44	11
4	63	11
5	73	11
6	87	11
7	92	11
8	94	11
done	94	11
0	9	9
1	15	9
2	19	9
3	20	7
4	33	7
5	40	7
done	40	7
0	10	11
1	18	11
2	30	11
3	44	11
4	63	11
5	73	11
6	87	11
7	92	11
8	94	11
done	94	11
0	7	8
1	13	6
2	19	6
done	19	6
0	9	10
1	17	10
2	29	10
3	43	10
4	62	10
5	72	10
6	86	10
7	91	10
8	93	10
done	93	10
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	9	10
1	20	10
2	34	10
3	50	10
4	69	10
5	82	10
6	107	10
7	125	10
8	136	10
9	138	10
done	138	10
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	9	10
1	20	10
2	34	10
3	50	10
4	69	10
5	82	10
6	107	10
7	125	10
8	136	10
9	138	10
done	138	10
0	3	5
1	6	1
done	6	1
0	8	9
1	19	9
2	33	9
3	49	9
4	68	9
5	81	9
6	106	9
7	124	9
8	135	9
9	137	9
done	137	9
0	11	13
1	18	13
2	25	13
3	33	11
4	57	11
5	74	11
done	74	11
0	11	12
1	23	12
2	37	12
3	53	12
4	72	12
5	85	12
6	110	12
7	126	12
8	136	12
9	138	12
done	138	12
0	10	10
1	15	10
2	18	10
3	19	8
4	32	8
5	39	8
done	39	8
0	11	12
1	23	12
2	37	12
3	53	12
4	72	12
5	85	12
6	110	12
7	126	12
8	136	12
9	138	12
done	138	12
0	8	9
1	13	7
2	18	7
done	18	7
0	10	11
1	22	11
2	36	11
3	52	11
4	71	11
5	84	11
6	109	11
7	125	11
8	135	11
9	137	11
done	137	11
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	9	10
1	20	10
2	34	10
3	50	10
4	69	10
5	82	10
6	107	10
7	125	10
8	136	10
9	138	10
done	138	10
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	9	10
1	20	10
2	34	10
3	50	10
4	69	10
5	82	10
6	107	10
7	125	10
8	136	10
9	138	10
done	138	10
0	3	5
1	6	1
done	6	1
0	8	9
1	19	9
2	33	9
3	49	9
4	68	9
5	81	9
6	106	9
7	124	9
8	135	9
9	137	9
done	137	9
0	2	3
1	4	1
done	4	1
0	8	9
1	19	9
2	33	9
3	49	9
4	68	9
5	81	9
6	106	9
7	124	9
8	135	9
9	137	9
done	137	9
0	5	5
1	9	5
2	10	5
done	10	5
0	7	7
1	16	7
2	27	5
3	56	5
4	75	5
5	101	5
6	115	5
7	120	5
done	120	5
0	12	19
1	20	19
2	23	19
3	25	19
done	25	19
0	11	12
1	21	12
2	27	12
3	31	12
done	31	12
0	11	12
1	17	12
2	20	12
3	22	12
done	22	12
0	11	12
1	21	12
2	27	12
3	31	12
done	31	12
0	14	21
1	25	21
2	47	21
3	78	21
4	112	21
5	165	21
6	214	21
7	272	21
8	330	21
9	398	21
10	428	21
11	442	21
12	447	21
13	449	21
14	450	21
done	450	21
0	12	13
1	21	13
2	33	13
3	47	13
4	66	13
5	76	13
6	90	13
7	95	13
8	97	13
done	97	13
0	13	18
1	20	18
2	29	18
3	42	18
4	58	18
5	72	18
6	85	18
7	95	18
8	115	18
9	133	18
10	149	18
11	152	18
12	154	18
13	155	18
done	155	18
0	12	13
1	21	13
2	33	13
3	47	13
4	66	13
5	76	13
6	90	13
7	95	13
8	97	13
done	97	13
0	12	17
1	21	15
2	35	15
3	62	15
4	80	15
5	116	15
6	143	15
7	155	15
8	171	15
9	179	15
done	179	15
0	11	12
1	20	12
2	32	12
3	46	12
4	65	12
5	75	12
6	89	12
7	94	12
8	96	12
done	96	12
0	13	16
1	20	16
2	28	16
3	36	16
4	48	16
5	69	16
6	85	16
7	110	16
8	130	16
9	144	16
10	152	16
11	158	16
12	159	16
done	159	16
0	12	13
1	21	13
2	33	13
3	47	13
4	66	13
5	76	13
6	90	13
7	95	13
8	97	13
done	97	13
0	12	13
1	17	13
2	21	13
3	22	13
4	32	13
5	34	13
6	43	13
7	45	13
8	51	13
9	55	13
10	61	13
11	63	13
done	63	13
0	12	13
1	21	13
2	33	13
3	47	13
4	66	13
5	76	13
6	90	13
7	95	13
8	97	13
done	97	13
0	11	12
1	18	10
2	25	10
3	30	10
4	40	10
5	51	10
6	63	10
7	70	10
8	74	10
9	76	10
done	76	10
0	11	12
1	20	12
2	32	12
3	46	12
4	65	12
5	75	12
6	89	12
7	94	12
8	96	12
done	96	12
0	11	13
1	18	13
2	25	11
3	49	11
4	87	11
5	118	11
6	158	11
7	190	11
8	254	11
9	278	11
done	278	11
0	11	12
1	23	12
2	37	12
3	53	12
4	72	12
5	85	12
6	110	12
7	126	12
8	136	12
9	138	12
done	138	12
0	10	10
1	15	10
2	18	8
3	35	8
4	44	8
5	54	8
6	56	8
7	62	8
8	76	8
9	104	8
done	104	8
0	11	12
1	23	12
2	37	12
3	53	12
4	72	12
5	85	12
6	110	12
7	126	12
8	136	12
9	138	12
done	138	12
0	8	9
1	13	7
2	18	5
3	28	5
4	40	5
done	40	5
0	10	11
1	22	11
2	36	11
3	52	11
4	71	11
5	84	11
6	109	11
7	125	11
8	135	11
9	137	11
done	137	11
0	13	17
1	19	17
2	26	17
3	34	17
4	46	17
5	67	17
6	85	17
7	110	17
8	130	17
9	144	17
10	152	17
11	158	17
12	159	17
done	159	17
0	12	14
1	23	14
2	37	14
3	53	14
4	72	14
5	85	14
6	110	14
7	128	14
8	139	14
9	141	14
done	141	14
0	12	14
1	16	14
2	19	14
3	20	14
4	30	14
5	32	14
6	41	14
7	43	14
8	49	14
9	53	14
10	59	14
11	61	14
done	61	14
0	12	14
1	23	14
2	37	14
3	53	14
4	72	14
5	85	14
6	110	14
7	128	14
8	139	14
9	141	14
done	141	14
0	11	13
1	17	11
2	23	11
3	28	11
4	38	11
5	49	11
6	61	11
7	67	11
8	71	11
9	73	11
done	73	11
0	11	13
1	22	13
2	36	13
3	52	13
4	71	13
5	84	13
6	109	13
7	127	13
8	138	13
9	140	13
done	140	13
0	11	13
1	18	13
2	25	11
3	49	11
4	87	11
5	118	11
6	158	11
7	190	11
8	254	11
9	278	11
done	278	11
0	11	12
1	23	12
2	37	12
3	53	12
4	72	12
5	85	12
6	110	12
7	126	12
8	136	12
9	138	12
done	138	12
0	10	10
1	15	10
2	18	8
3	35	8
4	44	8
5	54	8
6	56	8
7	62	8
8	76	8
9	104	8
done	104	8
0	11	12
1	23	12
2	37	12
3	53	12
4	72	12
5	85	12
6	110	12
7	126	12
8	136	12
9	138	12
done	138	12
0	8	9
1	13	7
2	18	5
3	28	5
4	40	5
done	40	5
0	10	11
1	22	11
2	36	11
3	52	11
4	71	11
5	84	11
6	109	11
7	125	11
8	135	11
9	137	11
done	137	11
0	7	7
1	10	5
2	12	5
done	12	5
0	10	11
1	22	11
2	36	11
3	52	11
4	71	11
5	84	11
6	109	11
7	125	11
8	135	11
9	137	11
done	137	11
0	8	9
1	11	9
2	12	9
done	12	9
0	9	9
1	18	9
2	29	7
3	58	7
4	77	7
5	99	7
6	108	7
7	114	7
done	114	7
0	9	15
1	18	15
2	21	15
3	23	15
done	23	15
0	9	10
1	18	10
2	24	10
3	28	10
done	28	10
0	8	8
1	15	8
2	18	8
3	20	8
done	20	8
0	9	10
1	18	10
2	24	10
3	28	10
done	28	10
0	11	17
1	23	17
2	45	17
3	74	15
4	134	15
5	201	15
done	201	15
0	10	11
1	18	11
2	30	11
3	44	11
4	63	11
5	73	11
6	87	11
7	92	11
8	94	11
done	94	11
0	10	14
1	18	14
2	27	14
3	40	12
4	67	12
5	104	12
done	104	12
0	10	11
1	18	11
2	30	11
3	44	11
4	63	11
5	73	11
6	87	11
7	92	11
8	94	11
done	94	11
0	8	13
1	16	11
2	28	11
3	37	11
done	37	11
0	9	10
1	17	10
2	29	10
3	43	10
4	62	10
5	72	10
6	86	10
7	91	10
8	93	10
done	93	10
0	10	12
1	18	12
2	26	12
3	34	10
4	58	10
5	75	10
done	75	10
0	10	11
1	18	11
2	30	11
3	44	11
4	63	11
5	73	11
6	87	11
7	92	11
8	94	11
done	94	11
0	9	9
1	15	9
2	19	9
3	20	7
4	33	7
5	40	7
done	40	7
0	10	11
1	18	11
2	30	11
3	44	11
4	63	11
5	73	11
6	87	11
7	92	11
8	94	11
done	94	11
0	7	8
1	13	6
2	19	6
done	19	6
0	9	10
1	17	10
2	29	10
3	43	10
4	62	10
5	72	10
6	86	10
7	91	10
8	93	10
done	93	10
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	9	10
1	20	10
2	34	10
3	50	10
4	69	10
5	82	10
6	107	10
7	125	10
8	136	10
9	138	10
done	138	10
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	9	10
1	20	10
2	34	10
3	50	10
4	69	10
5	82	10
6	107	10
7	125	10
8	136	10
9	138	10
done	138	10
0	3	5
1	6	1
done	6	1
0	8	9
1	19	9
2	33	9
3	49	9
4	68	9
5	81	9
6	106	9
7	124	9
8	135	9
9	137	9
done	137	9
0	11	13
1	18	13
2	25	13
3	33	11
4	57	11
5	74	11
done	74	11
0	11	12
1	23	12
2	37	12
3	53	12
4	72	12
5	85	12
6	110	12
7	126	12
8	136	12
9	138	12
done	138	12
0	10	10
1	15	10
2	18	10
3	19	8
4	32	8
5	39	8
done	39	8
0	11	12
1	23	12
2	37	12
3	53	12
4	72	12
5	85	12
6	110	12
7	126	12
8	136	12
9	138	12
done	138	12
0	8	9
1	13	7
2	18	7
done	18	7
0	10	11
1	22	11
2	36	11
3	52	11
4	71	11
5	84	11
6	109	11
7	125	11
8	135	11
9	137	11
done	137	11
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	9	10
1	20	10
2	34	10
3	50	10
4	69	10
5	82	10
6	107	10
7	125	10
8	136	10
9	138	10
done	138	10
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	9	10
1	20	10
2	34	10
3	50	10
4	69	10
5	82	10
6	107	10
7	125	10
8	136	10
9	138	10
done	138	10
0	3	5
1	6	1
done	6	1
0	8	9
1	19	9
2	33	9
3	49	9
4	68	9
5	81	9
6	106	9
7	124	9
8	135	9
9	137	9
done	137	9
0	2	3
1	4	1
done	4	1
0	8	9
1	19	9
2	33	9
3	49	9
4	68	9
5	81	9
6	106	9
7	124	9
8	135	9
9	137	9
done	137	9
0	5	5
1	9	5
2	10	5
done	10	5
0	7	7
1	16	7
2	27	5
3	56	5
4	75	5
5	101	5
6	115	5
7	120	5
done	120	5
0	7	7
1	16	7
2	22	7
3	25	5
done	25	5
0	8	9
1	16	9
2	29	9
3	48	9
4	58	9
5	65	9
done	65	9
0	10	17
1	21	17
2	32	17
3	39	17
4	42	17
done	42	17
0	9	10
1	18	10
2	24	10
3	28	10
done	28	10
0	12	19
1	26	19
2	68	19
3	163	19
4	314	19
5	494	19
6	657	19
7	756	19
8	780	19
done	780	19
0	11	16
1	21	16
2	42	16
3	90	16
4	146	16
5	193	16
6	230	16
7	242	16
8	245	16
done	245	16
0	10	15
1	22	13
2	47	13
3	112	13
4	197	13
5	287	13
6	367	13
7	398	13
8	406	13
done	406	13
0	11	14
1	21	14
2	41	14
3	76	14
4	127	14
5	178	14
6	219	14
7	259	14
8	278	14
9	279	14
done	279	14
0	10	11
1	18	11
2	30	11
3	44	11
4	63	11
5	73	11
6	87	11
7	92	11
8	94	11
done	94	11
0	9	10
1	19	8
2	31	8
3	51	8
4	82	8
5	102	8
6	123	8
7	139	8
8	152	8
9	154	8
done	154	8
0	9	11
1	20	11
2	39	9
3	89	9
4	161	9
5	253	9
6	386	9
7	409	9
done	409	9
0	8	8
1	17	8
2	28	6
3	57	6
4	76	6
5	102	6
6	121	6
7	124	6
done	124	6
0	6	7
1	15	5
2	23	3
3	33	3
4	49	3
5	58	3
6	62	3
done	62	3
0	12	15
1	22	15
2	41	15
3	76	15
4	127	15
5	178	15
6	219	15
7	259	15
8	278	15
9	279	15
done	279	15
0	11	12
1	19	12
2	30	12
3	44	12
4	63	12
5	73	12
6	87	12
7	92	12
8	94	12
done	94	12
0	10	11
1	20	9
2	31	9
3	51	9
4	82	9
5	102	9
6	123	9
7	139	9
8	152	9
9	154	9
done	154	9
0	9	11
1	20	11
2	39	9
3	89	9
4	161	9
5	253	9
6	386	9
7	409	9
done	409	9
0	8	8
1	17	8
2	28	6
3	57	6
4	76	6
5	102	6
6	121	6
7	124	6
done	124	6
0	6	7
1	15	5
2	23	3
3	33	3
4	49	3
5	58	3
6	62	3
done	62	3
0	5	5
1	12	3
2	17	3
done	17	3
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	9	10
1	17	10
2	30	10
3	41	10
4	47	10
5	50	10
done	50	10
0	9	10
1	17	10
2	30	10
3	41	10
4	47	10
5	50	10
done	50	10
0	8	9
1	16	9
2	29	9
3	48	9
4	58	9
5	65	9
done	65	9
0	10	11
1	19	11
2	32	11
3	51	11
4	61	11
5	68	11
done	68	11
0	8	9
1	16	9
2	29	9
3	48	9
4	58	9
5	65	9
done	65	9
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	12	17
1	33	15
2	86	15
3	254	15
4	671	15
5	1681	15
6	3863	15
done	5001	15
0	8	9
1	23	9
2	42	9
3	97	9
4	172	9
5	317	9
6	462	9
7	759	9
8	1474	9
9	2535	9
10	2709	9
11	2745	9
12	2746	9
done	2746	9
0	14	16
1	30	15
2	58	14
3	116	14
4	275	14
5	678	14
6	2158	14
done	5000	14
0	13	15
1	30	14
2	60	14
3	134	14
4	315	14
5	732	14
6	2269	14
done	5000	14
0	12	14
1	28	14
2	59	14
3	111	14
4	213	14
5	348	14
6	522	14
7	677	14
8	865	14
9	1060	14
10	1324	14
11	2218	14
12	3159	14
13	4047	14
done	5000	14
0	12	14
1	31	14
2	75	14
3	162	14
4	364	14
5	908	14
6	2960	14
done	5000	14
0	13	29
1	29	29
2	60	29
3	112	29
4	214	29
5	348	29
6	522	29
7	675	29
8	862	29
9	1057	29
10	1321	29
11	2215	29
12	3171	29
13	4041	29
done	5000	29
0	12	14
1	28	14
2	59	14
3	111	14
4	213	14
5	348	14
6	522	14
7	677	14
8	865	14
9	1060	14
10	1324	14
11	2218	14
12	3159	14
13	4047	14
done	5000	14
0	13	41
1	30	41
2	87	15
3	374	15
4	2711	15
done	5000	15
0	12	14
1	28	14
2	59	14
3	111	14
4	213	14
5	348	14
6	522	14
7	677	14
8	865	14
9	1060	14
10	1324	14
11	2218	14
12	3159	14
13	4047	14
done	5000	14
0	12	14
1	28	14
2	59	14
3	111	14
4	213	14
5	348	14
6	522	14
7	677	14
8	865	14
9	1060	14
10	1324	14
11	2218	14
12	3159	14
13	4047	14
done	5000	14
0	20	29
1	52	27
2	118	27
3	376	27
4	1501	27
done	5000	27
0	12	17
1	28	15
2	63	15
3	203	15
4	670	15
5	1941	15
done	5001	15
0	15	21
1	33	21
2	89	21
3	349	17
4	1243	17
5	4873	17
done	5000	17
0	8	9
1	18	9
2	37	9
3	102	9
4	225	9
5	438	9
6	698	9
7	1333	9
done	5000	9
0	14	17
1	44	17
2	132	17
3	531	17
4	2802	17
done	5001	17
0	15	41
1	46	31
2	141	31
3	546	31
4	2260	31
done	5000	31
0	9	10
1	22	10
2	45	10
3	74	10
4	119	9
5	183	9
6	229	9
7	270	9
8	285	9
9	291	9
10	301	9
11	343	9
12	425	9
13	430	9
done	430	9
0	13	27
1	40	27
2	116	27
3	461	27
4	2067	27
done	5000	27
0	11	13
1	26	13
2	55	13
3	106	13
4	185	13
5	280	13
6	420	13
7	532	13
8	734	13
9	1109	13
10	1731	13
11	2487	13
12	3152	13
13	4264	13
done	5000	13
0	13	15
1	26	15
2	40	15
3	56	15
4	75	15
5	88	15
6	113	15
7	131	15
8	142	15
9	144	15
done	144	15
0	13	15
1	27	15
2	42	15
3	58	15
4	77	15
5	90	15
6	115	15
7	133	15
8	144	15
9	146	15
done	146	15
0	14	16
1	22	16
2	26	16
3	28	16
done	28	16
0	14	16
1	23	16
2	30	16
3	32	16
done	32	16
0	15	17
1	22	17
2	27	17
3	28	17
4	30	17
5	32	17
6	33	17
done	33	17
0	15	17
1	23	17
2	35	17
3	44	17
4	53	17
5	58	17
6	64	17
7	67	17
done	67	17
0	11	13
1	27	13
2	58	13
3	110	13
4	212	13
5	346	13
6	520	13
7	676	13
8	862	13
9	1057	13
10	1319	13
11	2219	13
12	3169	13
13	4072	13
done	5000	13
0	11	13
1	27	13
2	58	13
3	110	13
4	212	13
5	346	13
6	520	13
7	676	13
8	862	13
9	1057	13
10	1319	13
11	2219	13
12	3169	13
13	4072	13
done	5000	13
0	9	11
1	22	11
2	45	11
3	81	11
4	144	11
5	228	11
6	310	11
7	372	11
8	460	11
9	594	11
10	666	11
11	869	11
12	1763	11
13	2706	11
14	3588	11
done	5000	11
0	10	11
1	22	11
2	41	11
3	61	11
4	80	11
5	106	11
6	142	11
7	164	11
8	175	11
9	184	11
10	215	11
11	247	11
12	252	11
13	267	11
14	303	11
15	402	11
16	677	11
17	921	11
18	1079	11
19	1168	11
20	1192	11
done	1192	11
0	9	10
1	22	10
2	45	10
3	74	10
4	119	9
5	183	9
6	229	9
7	270	9
8	285	9
9	291	9
10	301	9
11	343	9
12	425	9
13	430	9
done	430	9
0	7	7
1	11	7
2	13	7
done	13	7
0	6	6
1	14	6
2	19	6
3	22	6
done	22	6
0	6	6
1	11	6
2	17	6
3	21	6
4	24	6
5	30	6
6	34	6
7	50	6
8	54	6
9	61	6
10	70	6
11	90	6
12	111	6
13	129	6
14	136	6
15	142	6
16	145	6
done	145	6
0	9	17
1	20	17
2	68	9
3	203	7
4	562	7
5	2030	7
done	5000	7
0	7	13
1	12	13
2	15	13
3	17	13
done	17	13
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	7	17
1	19	17
2	50	7
3	176	7
4	571	7
5	1720	7
done	5001	7
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	2	2
done	2	2
0	3	3
done	3	3
0	3	3
done	3	3
0	9	15
1	17	15
2	27	15
3	33	15
done	33	15
0	7	7
1	9	7
2	10	7
done	10	7
0	8	12
1	12	12
2	15	12
3	16	12
done	16	12
0	7	7
1	9	7
2	10	7
done	10	7
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	6	6
1	8	6
2	9	6
done	9	6
0	8	10
1	12	10
2	13	10
done	13	10
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	6	6
1	10	4
2	13	4
done	13	4
0	6	6
1	8	6
2	9	6
done	9	6
0	5	7
1	9	7
done	9	7
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	4	4
1	6	4
done	6	4
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	2	3
1	4	1
done	4	1
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	9	11
1	12	11
done	12	11
0	8	8
1	13	8
2	16	8
3	18	8
done	18	8
0	8	8
1	9	8
done	9	8
0	8	8
1	13	8
2	16	8
3	18	8
done	18	8
0	7	7
1	10	5
2	12	5
done	12	5
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	5	7
1	9	7
done	9	7
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	4	4
1	6	4
done	6	4
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	2	3
1	4	1
done	4	1
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	3	3
1	5	3
done	5	3
0	5	5
1	7	5
2	8	5
done	8	5
0	7	9
1	14	9
2	22	9
3	27	9
4	30	9
done	30	9
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	5	5
1	12	3
2	17	3
done	17	3
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	5	5
1	7	5
2	8	5
done	8	5
0	7	7
1	9	7
2	10	7
done	10	7
0	5	5
1	7	5
2	8	5
done	8	5
0	9	13
1	23	11
2	52	11
3	78	11
4	87	11
5	89	11
done	89	11
0	5	5
1	13	5
2	14	5
done	14	5
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	3	3
1	4	3
done	4	3
0	7	7
1	11	7
2	15	7
3	18	7
4	19	7
done	19	7
0	7	7
1	11	7
2	15	7
3	18	7
4	19	7
done	19	7
0	6	7
1	8	7
2	11	7
done	11	7
0	6	7
1	8	7
2	11	7
done	11	7
0	6	7
1	8	7
2	11	7
done	11	7

prune214.0ms

Filtered

141 candidates to 206 candidates (-46.1%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	200	6	206
Fresh	4	4	8
Picked	1	0	1
Done	0	0	0
Total	205	10	215

Merged error: 3.2b

Counts

215 → 10

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- a t) y)
4.5b	(- y (/ (- z t) (/ (- a t) y)))
10.6b	(/ (- z t) (/ (- a t) y))

rewrite69.0ms

Algorithm

rewrite-expression-head

Rules

203×	`times-frac`
180×	`add-sqr-sqrt`
174×	`*-un-lft-identity`
87×	`add-cube-cbrt`
45×	`difference-of-squares`
43×	`distribute-lft-out--`
22×	`associate-/r*`
10×	`add-exp-log` `add-cbrt-cube` `associate-/l*`
8×	`div-inv`
5×	`add-log-exp`
4×	`cbrt-undiv` `div-exp` `associate-/l/`
3×	`pow1` `flip3--` `div-sub` `flip--`
2×	`frac-2neg` `clear-num` `associate-/r/`
1×	`sub-neg` `distribute-rgt-out--` `diff-log` `associate--r-`

Counts

3 → 193

Calls

3 calls:

7.0ms	(/ (- a t) y)
32.0ms	(- y (/ (- z t) (/ (- a t) y)))
17.0ms	(/ (- z t) (/ (- a t) y))

series67.0ms

Counts

3 → 9

Calls

3 calls:

7.0ms	(/ (- a t) y)
28.0ms	(- y (/ (- z t) (/ (- a t) y)))
32.0ms	(/ (- z t) (/ (- a t) y))

simplify1.4min

Counts

202 → 202

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	12
1	20	12
2	30	12
3	43	12
4	47	12
5	55	12
6	70	12
7	96	12
8	105	12
done	105	12
0	10	11
1	21	11
2	30	11
3	39	11
4	52	11
5	56	11
6	64	11
7	79	11
8	105	11
9	114	11
done	114	11
0	9	10
1	23	10
2	44	10
3	68	10
4	97	10
5	127	10
6	160	10
7	189	10
8	218	10
9	240	10
10	246	10
done	246	10
0	9	10
1	20	10
2	39	10
3	68	10
4	108	10
5	187	10
6	462	10
7	1679	10
done	5001	10
0	14	29
1	31	29
2	140	15
3	647	13
4	2817	11
done	5000	11
0	12	29
1	33	29
2	122	13
3	520	11
4	2319	11
done	5000	11
0	10	21
1	21	21
2	35	21
3	51	21
4	70	21
5	83	21
6	108	21
7	126	21
8	137	21
9	139	21
done	139	21
0	9	10
1	20	10
2	34	10
3	50	10
4	69	10
5	82	10
6	107	10
7	125	10
8	136	10
9	138	10
done	138	10
0	10	29
1	28	29
2	89	11
3	422	11
4	2319	11
done	5001	11
0	9	10
1	20	10
2	34	10
3	50	10
4	69	10
5	82	10
6	107	10
7	125	10
8	136	10
9	138	10
done	138	10
0	9	10
1	20	10
2	34	10
3	50	10
4	69	10
5	82	10
6	107	10
7	125	10
8	136	10
9	138	10
done	138	10
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	6	6
1	13	6
2	19	6
3	26	6
4	30	5
5	31	5
done	31	5
0	7	7
1	14	7
2	20	7
3	23	7
4	25	7
5	30	7
6	33	7
7	35	7
done	35	7
0	6	7
1	13	7
2	19	7
3	22	7
4	24	7
5	29	7
6	34	7
7	37	7
done	37	7
0	12	23
1	24	23
2	37	23
3	45	23
done	45	23
0	10	11
1	16	11
2	20	11
3	22	11
done	22	11
0	11	16
1	19	16
2	25	16
3	28	16
done	28	16
0	10	11
1	16	11
2	20	11
3	22	11
done	22	11
0	14	25
1	27	25
2	65	25
3	154	25
4	281	25
5	375	25
6	411	25
7	421	25
done	421	25
0	11	12
1	16	12
2	21	12
3	22	12
4	24	12
5	26	12
6	27	12
done	27	12
0	13	22
1	22	22
2	42	22
3	86	22
4	130	22
5	149	22
6	154	22
7	155	22
done	155	22
0	11	12
1	16	12
2	21	12
3	22	12
4	24	12
5	26	12
6	27	12
done	27	12
0	12	21
1	23	19
2	48	19
3	123	19
4	151	19
5	171	19
6	173	19
done	173	19
0	10	11
1	15	11
2	20	11
3	21	11
4	23	11
5	25	11
6	26	11
done	26	11
0	13	20
1	22	20
2	39	20
3	67	20
4	104	20
5	126	20
6	136	20
7	145	20
done	145	20
0	11	12
1	16	12
2	21	12
3	22	12
4	24	12
5	26	12
6	27	12
done	27	12
0	12	17
1	19	17
2	30	17
3	40	17
4	50	17
5	54	17
6	56	17
7	57	17
done	57	17
0	11	12
1	16	12
2	21	12
3	22	12
4	24	12
5	26	12
6	27	12
done	27	12
0	11	16
1	20	14
2	33	14
3	55	14
4	60	14
5	64	14
6	70	14
done	70	14
0	10	11
1	15	11
2	20	11
3	21	11
4	23	11
5	25	11
6	26	11
done	26	11
0	11	17
1	21	17
2	37	15
3	84	15
4	196	15
5	258	15
6	303	15
done	303	15
0	10	11
1	18	11
2	25	11
3	28	11
4	30	11
5	35	11
6	38	11
7	40	11
done	40	11
0	10	14
1	18	14
2	28	12
3	54	12
4	101	12
5	109	12
done	109	12
0	10	11
1	18	11
2	25	11
3	28	11
4	30	11
5	35	11
6	38	11
7	40	11
done	40	11
0	8	13
1	16	11
2	26	9
3	47	9
4	65	9
done	65	9
0	9	10
1	17	10
2	24	10
3	27	10
4	29	10
5	34	10
6	37	10
7	39	10
done	39	10
0	14	21
1	23	21
2	39	21
3	67	21
4	104	21
5	126	21
6	136	21
7	145	21
done	145	21
0	12	13
1	21	13
2	28	13
3	31	13
4	33	13
5	38	13
6	41	13
7	43	13
done	43	13
0	13	18
1	20	18
2	30	18
3	40	18
4	50	18
5	54	18
6	56	18
7	57	18
done	57	18
0	12	13
1	21	13
2	28	13
3	31	13
4	33	13
5	38	13
6	41	13
7	43	13
done	43	13
0	12	17
1	21	15
2	33	15
3	55	15
4	61	15
5	65	15
6	71	15
done	71	15
0	11	12
1	20	12
2	27	12
3	30	12
4	32	12
5	37	12
6	40	12
7	42	12
done	42	12
0	11	17
1	21	17
2	37	15
3	84	15
4	196	15
5	258	15
6	303	15
done	303	15
0	10	11
1	18	11
2	25	11
3	28	11
4	30	11
5	35	11
6	38	11
7	40	11
done	40	11
0	10	14
1	18	14
2	28	12
3	54	12
4	101	12
5	109	12
done	109	12
0	10	11
1	18	11
2	25	11
3	28	11
4	30	11
5	35	11
6	38	11
7	40	11
done	40	11
0	8	13
1	16	11
2	26	9
3	47	9
4	65	9
done	65	9
0	9	10
1	17	10
2	24	10
3	27	10
4	29	10
5	34	10
6	37	10
7	39	10
done	39	10
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	9	10
1	17	10
2	24	10
3	27	10
4	29	10
5	34	10
6	37	10
7	39	10
done	39	10
0	8	13
1	13	13
2	20	13
3	23	13
4	25	13
done	25	13
0	8	8
1	14	8
2	18	6
3	27	6
4	36	6
5	38	6
done	38	6
0	11	18
1	19	18
2	23	18
3	25	18
done	25	18
0	10	11
1	16	11
2	20	11
3	22	11
done	22	11
0	10	11
1	16	11
2	20	11
3	22	11
done	22	11
0	10	11
1	16	11
2	20	11
3	22	11
done	22	11
0	13	20
1	24	20
2	47	20
3	76	20
4	102	20
5	133	20
6	157	20
7	167	20
done	167	20
0	11	12
1	16	12
2	21	12
3	22	12
4	24	12
5	26	12
6	27	12
done	27	12
0	12	17
1	19	17
2	29	17
3	42	17
4	50	17
5	56	17
6	59	17
done	59	17
0	11	12
1	16	12
2	21	12
3	22	12
4	24	12
5	26	12
6	27	12
done	27	12
0	11	16
1	20	14
2	35	14
3	62	14
4	72	14
5	84	14
6	89	14
done	89	14
0	10	11
1	15	11
2	20	11
3	21	11
4	23	11
5	25	11
6	26	11
done	26	11
0	12	15
1	19	15
2	28	15
3	36	15
4	40	15
5	49	15
6	55	15
7	60	15
done	60	15
0	11	12
1	16	12
2	21	12
3	22	12
4	24	12
5	26	12
6	27	12
done	27	12
0	11	12
1	16	12
2	21	12
3	22	12
4	24	12
5	26	12
6	27	12
done	27	12
0	11	12
1	16	12
2	21	12
3	22	12
4	24	12
5	26	12
6	27	12
done	27	12
0	10	11
1	17	9
2	25	9
3	30	9
4	32	9
5	35	9
6	39	9
done	39	9
0	10	11
1	15	11
2	20	11
3	21	11
4	23	11
5	25	11
6	26	11
done	26	11
0	10	12
1	18	12
2	26	10
3	42	10
4	68	10
5	93	10
6	112	10
done	112	10
0	10	11
1	18	11
2	25	11
3	28	11
4	30	11
5	35	11
6	38	11
7	40	11
done	40	11
0	9	9
1	15	9
2	19	7
3	28	7
4	37	7
5	39	7
done	39	7
0	10	11
1	18	11
2	25	11
3	28	11
4	30	11
5	35	11
6	38	11
7	40	11
done	40	11
0	7	8
1	13	6
2	19	4
3	21	4
4	25	4
done	25	4
0	9	10
1	17	10
2	24	10
3	27	10
4	29	10
5	34	10
6	37	10
7	39	10
done	39	10
0	13	16
1	20	16
2	28	16
3	36	16
4	40	16
5	49	16
6	55	16
7	60	16
done	60	16
0	12	13
1	21	13
2	28	13
3	31	13
4	33	13
5	38	13
6	41	13
7	43	13
done	43	13
0	12	13
1	17	13
2	21	13
3	22	13
4	24	13
5	26	13
6	27	13
done	27	13
0	12	13
1	21	13
2	28	13
3	31	13
4	33	13
5	38	13
6	41	13
7	43	13
done	43	13
0	11	12
1	18	10
2	25	10
3	30	10
4	32	10
5	35	10
6	39	10
done	39	10
0	11	12
1	20	12
2	27	12
3	30	12
4	32	12
5	37	12
6	40	12
7	42	12
done	42	12
0	10	12
1	18	12
2	26	10
3	42	10
4	68	10
5	93	10
6	112	10
done	112	10
0	10	11
1	18	11
2	25	11
3	28	11
4	30	11
5	35	11
6	38	11
7	40	11
done	40	11
0	9	9
1	15	9
2	19	7
3	28	7
4	37	7
5	39	7
done	39	7
0	10	11
1	18	11
2	25	11
3	28	11
4	30	11
5	35	11
6	38	11
7	40	11
done	40	11
0	7	8
1	13	6
2	19	4
3	21	4
4	25	4
done	25	4
0	9	10
1	17	10
2	24	10
3	27	10
4	29	10
5	34	10
6	37	10
7	39	10
done	39	10
0	6	6
1	10	4
2	13	4
done	13	4
0	9	10
1	17	10
2	24	10
3	27	10
4	29	10
5	34	10
6	37	10
7	39	10
done	39	10
0	7	8
1	10	8
2	12	8
done	12	8
0	8	8
1	14	8
2	18	6
3	27	6
4	36	6
5	38	6
done	38	6
0	9	15
1	18	15
2	21	15
3	23	15
done	23	15
0	9	10
1	18	10
2	24	10
3	28	10
done	28	10
0	8	8
1	15	8
2	18	8
3	20	8
done	20	8
0	9	10
1	18	10
2	24	10
3	28	10
done	28	10
0	11	17
1	23	17
2	45	17
3	74	15
4	134	15
5	201	15
done	201	15
0	10	11
1	18	11
2	30	11
3	44	11
4	63	11
5	73	11
6	87	11
7	92	11
8	94	11
done	94	11
0	10	14
1	18	14
2	27	14
3	40	12
4	67	12
5	104	12
done	104	12
0	10	11
1	18	11
2	30	11
3	44	11
4	63	11
5	73	11
6	87	11
7	92	11
8	94	11
done	94	11
0	8	13
1	16	11
2	28	11
3	37	11
done	37	11
0	9	10
1	17	10
2	29	10
3	43	10
4	62	10
5	72	10
6	86	10
7	91	10
8	93	10
done	93	10
0	10	12
1	18	12
2	26	12
3	34	10
4	58	10
5	75	10
done	75	10
0	10	11
1	18	11
2	30	11
3	44	11
4	63	11
5	73	11
6	87	11
7	92	11
8	94	11
done	94	11
0	9	9
1	15	9
2	19	9
3	20	7
4	33	7
5	40	7
done	40	7
0	10	11
1	18	11
2	30	11
3	44	11
4	63	11
5	73	11
6	87	11
7	92	11
8	94	11
done	94	11
0	7	8
1	13	6
2	19	6
done	19	6
0	9	10
1	17	10
2	29	10
3	43	10
4	62	10
5	72	10
6	86	10
7	91	10
8	93	10
done	93	10
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	9	10
1	20	10
2	34	10
3	50	10
4	69	10
5	82	10
6	107	10
7	125	10
8	136	10
9	138	10
done	138	10
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	9	10
1	20	10
2	34	10
3	50	10
4	69	10
5	82	10
6	107	10
7	125	10
8	136	10
9	138	10
done	138	10
0	3	5
1	6	1
done	6	1
0	8	9
1	19	9
2	33	9
3	49	9
4	68	9
5	81	9
6	106	9
7	124	9
8	135	9
9	137	9
done	137	9
0	11	13
1	18	13
2	25	13
3	33	11
4	57	11
5	74	11
done	74	11
0	11	12
1	23	12
2	37	12
3	53	12
4	72	12
5	85	12
6	110	12
7	126	12
8	136	12
9	138	12
done	138	12
0	10	10
1	15	10
2	18	10
3	19	8
4	32	8
5	39	8
done	39	8
0	11	12
1	23	12
2	37	12
3	53	12
4	72	12
5	85	12
6	110	12
7	126	12
8	136	12
9	138	12
done	138	12
0	8	9
1	13	7
2	18	7
done	18	7
0	10	11
1	22	11
2	36	11
3	52	11
4	71	11
5	84	11
6	109	11
7	125	11
8	135	11
9	137	11
done	137	11
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	9	10
1	20	10
2	34	10
3	50	10
4	69	10
5	82	10
6	107	10
7	125	10
8	136	10
9	138	10
done	138	10
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	9	10
1	20	10
2	34	10
3	50	10
4	69	10
5	82	10
6	107	10
7	125	10
8	136	10
9	138	10
done	138	10
0	3	5
1	6	1
done	6	1
0	8	9
1	19	9
2	33	9
3	49	9
4	68	9
5	81	9
6	106	9
7	124	9
8	135	9
9	137	9
done	137	9
0	2	3
1	4	1
done	4	1
0	8	9
1	19	9
2	33	9
3	49	9
4	68	9
5	81	9
6	106	9
7	124	9
8	135	9
9	137	9
done	137	9
0	5	5
1	9	5
2	10	5
done	10	5
0	7	7
1	16	7
2	27	5
3	56	5
4	75	5
5	101	5
6	115	5
7	120	5
done	120	5
0	12	19
1	20	19
2	23	19
3	25	19
done	25	19
0	11	12
1	21	12
2	27	12
3	31	12
done	31	12
0	11	12
1	17	12
2	20	12
3	22	12
done	22	12
0	11	12
1	21	12
2	27	12
3	31	12
done	31	12
0	14	21
1	25	21
2	47	21
3	78	21
4	112	21
5	165	21
6	214	21
7	272	21
8	330	21
9	398	21
10	428	21
11	442	21
12	447	21
13	449	21
14	450	21
done	450	21
0	12	13
1	21	13
2	33	13
3	47	13
4	66	13
5	76	13
6	90	13
7	95	13
8	97	13
done	97	13
0	13	18
1	20	18
2	29	18
3	42	18
4	58	18
5	72	18
6	85	18
7	95	18
8	115	18
9	133	18
10	149	18
11	152	18
12	154	18
13	155	18
done	155	18
0	12	13
1	21	13
2	33	13
3	47	13
4	66	13
5	76	13
6	90	13
7	95	13
8	97	13
done	97	13
0	12	17
1	21	15
2	35	15
3	62	15
4	80	15
5	116	15
6	143	15
7	155	15
8	171	15
9	179	15
done	179	15
0	11	12
1	20	12
2	32	12
3	46	12
4	65	12
5	75	12
6	89	12
7	94	12
8	96	12
done	96	12
0	13	16
1	20	16
2	28	16
3	36	16
4	48	16
5	69	16
6	85	16
7	110	16
8	130	16
9	144	16
10	152	16
11	158	16
12	159	16
done	159	16
0	12	13
1	21	13
2	33	13
3	47	13
4	66	13
5	76	13
6	90	13
7	95	13
8	97	13
done	97	13
0	12	13
1	17	13
2	21	13
3	22	13
4	32	13
5	34	13
6	43	13
7	45	13
8	51	13
9	55	13
10	61	13
11	63	13
done	63	13
0	12	13
1	21	13
2	33	13
3	47	13
4	66	13
5	76	13
6	90	13
7	95	13
8	97	13
done	97	13
0	11	12
1	18	10
2	25	10
3	30	10
4	40	10
5	51	10
6	63	10
7	70	10
8	74	10
9	76	10
done	76	10
0	11	12
1	20	12
2	32	12
3	46	12
4	65	12
5	75	12
6	89	12
7	94	12
8	96	12
done	96	12
0	11	13
1	18	13
2	25	11
3	49	11
4	87	11
5	118	11
6	158	11
7	190	11
8	254	11
9	278	11
done	278	11
0	11	12
1	23	12
2	37	12
3	53	12
4	72	12
5	85	12
6	110	12
7	126	12
8	136	12
9	138	12
done	138	12
0	10	10
1	15	10
2	18	8
3	35	8
4	44	8
5	54	8
6	56	8
7	62	8
8	76	8
9	104	8
done	104	8
0	11	12
1	23	12
2	37	12
3	53	12
4	72	12
5	85	12
6	110	12
7	126	12
8	136	12
9	138	12
done	138	12
0	8	9
1	13	7
2	18	5
3	28	5
4	40	5
done	40	5
0	10	11
1	22	11
2	36	11
3	52	11
4	71	11
5	84	11
6	109	11
7	125	11
8	135	11
9	137	11
done	137	11
0	13	17
1	19	17
2	26	17
3	34	17
4	46	17
5	67	17
6	85	17
7	110	17
8	130	17
9	144	17
10	152	17
11	158	17
12	159	17
done	159	17
0	12	14
1	23	14
2	37	14
3	53	14
4	72	14
5	85	14
6	110	14
7	128	14
8	139	14
9	141	14
done	141	14
0	12	14
1	16	14
2	19	14
3	20	14
4	30	14
5	32	14
6	41	14
7	43	14
8	49	14
9	53	14
10	59	14
11	61	14
done	61	14
0	12	14
1	23	14
2	37	14
3	53	14
4	72	14
5	85	14
6	110	14
7	128	14
8	139	14
9	141	14
done	141	14
0	11	13
1	17	11
2	23	11
3	28	11
4	38	11
5	49	11
6	61	11
7	67	11
8	71	11
9	73	11
done	73	11
0	11	13
1	22	13
2	36	13
3	52	13
4	71	13
5	84	13
6	109	13
7	127	13
8	138	13
9	140	13
done	140	13
0	11	13
1	18	13
2	25	11
3	49	11
4	87	11
5	118	11
6	158	11
7	190	11
8	254	11
9	278	11
done	278	11
0	11	12
1	23	12
2	37	12
3	53	12
4	72	12
5	85	12
6	110	12
7	126	12
8	136	12
9	138	12
done	138	12
0	10	10
1	15	10
2	18	8
3	35	8
4	44	8
5	54	8
6	56	8
7	62	8
8	76	8
9	104	8
done	104	8
0	11	12
1	23	12
2	37	12
3	53	12
4	72	12
5	85	12
6	110	12
7	126	12
8	136	12
9	138	12
done	138	12
0	8	9
1	13	7
2	18	5
3	28	5
4	40	5
done	40	5
0	10	11
1	22	11
2	36	11
3	52	11
4	71	11
5	84	11
6	109	11
7	125	11
8	135	11
9	137	11
done	137	11
0	7	7
1	10	5
2	12	5
done	12	5
0	10	11
1	22	11
2	36	11
3	52	11
4	71	11
5	84	11
6	109	11
7	125	11
8	135	11
9	137	11
done	137	11
0	8	9
1	11	9
2	12	9
done	12	9
0	9	9
1	18	9
2	29	7
3	58	7
4	77	7
5	99	7
6	108	7
7	114	7
done	114	7
0	9	15
1	18	15
2	21	15
3	23	15
done	23	15
0	9	10
1	18	10
2	24	10
3	28	10
done	28	10
0	8	8
1	15	8
2	18	8
3	20	8
done	20	8
0	9	10
1	18	10
2	24	10
3	28	10
done	28	10
0	11	17
1	23	17
2	45	17
3	74	15
4	134	15
5	201	15
done	201	15
0	10	11
1	18	11
2	30	11
3	44	11
4	63	11
5	73	11
6	87	11
7	92	11
8	94	11
done	94	11
0	10	14
1	18	14
2	27	14
3	40	12
4	67	12
5	104	12
done	104	12
0	10	11
1	18	11
2	30	11
3	44	11
4	63	11
5	73	11
6	87	11
7	92	11
8	94	11
done	94	11
0	8	13
1	16	11
2	28	11
3	37	11
done	37	11
0	9	10
1	17	10
2	29	10
3	43	10
4	62	10
5	72	10
6	86	10
7	91	10
8	93	10
done	93	10
0	10	12
1	18	12
2	26	12
3	34	10
4	58	10
5	75	10
done	75	10
0	10	11
1	18	11
2	30	11
3	44	11
4	63	11
5	73	11
6	87	11
7	92	11
8	94	11
done	94	11
0	9	9
1	15	9
2	19	9
3	20	7
4	33	7
5	40	7
done	40	7
0	10	11
1	18	11
2	30	11
3	44	11
4	63	11
5	73	11
6	87	11
7	92	11
8	94	11
done	94	11
0	7	8
1	13	6
2	19	6
done	19	6
0	9	10
1	17	10
2	29	10
3	43	10
4	62	10
5	72	10
6	86	10
7	91	10
8	93	10
done	93	10
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	9	10
1	20	10
2	34	10
3	50	10
4	69	10
5	82	10
6	107	10
7	125	10
8	136	10
9	138	10
done	138	10
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	9	10
1	20	10
2	34	10
3	50	10
4	69	10
5	82	10
6	107	10
7	125	10
8	136	10
9	138	10
done	138	10
0	3	5
1	6	1
done	6	1
0	8	9
1	19	9
2	33	9
3	49	9
4	68	9
5	81	9
6	106	9
7	124	9
8	135	9
9	137	9
done	137	9
0	11	13
1	18	13
2	25	13
3	33	11
4	57	11
5	74	11
done	74	11
0	11	12
1	23	12
2	37	12
3	53	12
4	72	12
5	85	12
6	110	12
7	126	12
8	136	12
9	138	12
done	138	12
0	10	10
1	15	10
2	18	10
3	19	8
4	32	8
5	39	8
done	39	8
0	11	12
1	23	12
2	37	12
3	53	12
4	72	12
5	85	12
6	110	12
7	126	12
8	136	12
9	138	12
done	138	12
0	8	9
1	13	7
2	18	7
done	18	7
0	10	11
1	22	11
2	36	11
3	52	11
4	71	11
5	84	11
6	109	11
7	125	11
8	135	11
9	137	11
done	137	11
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	9	10
1	20	10
2	34	10
3	50	10
4	69	10
5	82	10
6	107	10
7	125	10
8	136	10
9	138	10
done	138	10
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	9	10
1	20	10
2	34	10
3	50	10
4	69	10
5	82	10
6	107	10
7	125	10
8	136	10
9	138	10
done	138	10
0	3	5
1	6	1
done	6	1
0	8	9
1	19	9
2	33	9
3	49	9
4	68	9
5	81	9
6	106	9
7	124	9
8	135	9
9	137	9
done	137	9
0	2	3
1	4	1
done	4	1
0	8	9
1	19	9
2	33	9
3	49	9
4	68	9
5	81	9
6	106	9
7	124	9
8	135	9
9	137	9
done	137	9
0	5	5
1	9	5
2	10	5
done	10	5
0	7	7
1	16	7
2	27	5
3	56	5
4	75	5
5	101	5
6	115	5
7	120	5
done	120	5
0	7	7
1	16	7
2	22	7
3	25	5
done	25	5
0	8	9
1	16	9
2	29	9
3	48	9
4	58	9
5	65	9
done	65	9
0	10	17
1	21	17
2	32	17
3	39	17
4	42	17
done	42	17
0	9	10
1	18	10
2	24	10
3	28	10
done	28	10
0	12	19
1	26	19
2	68	19
3	163	19
4	314	19
5	494	19
6	657	19
7	756	19
8	780	19
done	780	19
0	11	16
1	21	16
2	42	16
3	90	16
4	146	16
5	193	16
6	230	16
7	242	16
8	245	16
done	245	16
0	10	15
1	22	13
2	47	13
3	112	13
4	197	13
5	287	13
6	367	13
7	398	13
8	406	13
done	406	13
0	11	14
1	21	14
2	41	14
3	76	14
4	127	14
5	178	14
6	219	14
7	259	14
8	278	14
9	279	14
done	279	14
0	10	11
1	18	11
2	30	11
3	44	11
4	63	11
5	73	11
6	87	11
7	92	11
8	94	11
done	94	11
0	9	10
1	19	8
2	31	8
3	51	8
4	82	8
5	102	8
6	123	8
7	139	8
8	152	8
9	154	8
done	154	8
0	9	11
1	20	11
2	39	9
3	89	9
4	161	9
5	253	9
6	386	9
7	409	9
done	409	9
0	8	8
1	17	8
2	28	6
3	57	6
4	76	6
5	102	6
6	121	6
7	124	6
done	124	6
0	6	7
1	15	5
2	23	3
3	33	3
4	49	3
5	58	3
6	62	3
done	62	3
0	12	15
1	22	15
2	41	15
3	76	15
4	127	15
5	178	15
6	219	15
7	259	15
8	278	15
9	279	15
done	279	15
0	11	12
1	19	12
2	30	12
3	44	12
4	63	12
5	73	12
6	87	12
7	92	12
8	94	12
done	94	12
0	10	11
1	20	9
2	31	9
3	51	9
4	82	9
5	102	9
6	123	9
7	139	9
8	152	9
9	154	9
done	154	9
0	9	11
1	20	11
2	39	9
3	89	9
4	161	9
5	253	9
6	386	9
7	409	9
done	409	9
0	8	8
1	17	8
2	28	6
3	57	6
4	76	6
5	102	6
6	121	6
7	124	6
done	124	6
0	6	7
1	15	5
2	23	3
3	33	3
4	49	3
5	58	3
6	62	3
done	62	3
0	5	5
1	12	3
2	17	3
done	17	3
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	9	10
1	17	10
2	30	10
3	41	10
4	47	10
5	50	10
done	50	10
0	9	10
1	17	10
2	30	10
3	41	10
4	47	10
5	50	10
done	50	10
0	8	9
1	16	9
2	29	9
3	48	9
4	58	9
5	65	9
done	65	9
0	10	11
1	19	11
2	32	11
3	51	11
4	61	11
5	68	11
done	68	11
0	8	9
1	16	9
2	29	9
3	48	9
4	58	9
5	65	9
done	65	9
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	12	17
1	33	15
2	86	15
3	254	15
4	671	15
5	1681	15
6	3863	15
done	5001	15
0	8	9
1	23	9
2	42	9
3	97	9
4	172	9
5	317	9
6	462	9
7	759	9
8	1474	9
9	2535	9
10	2709	9
11	2745	9
12	2746	9
done	2746	9
0	11	13
1	24	12
2	47	12
3	97	12
4	200	12
5	417	12
6	1079	12
done	5000	12
0	10	12
1	23	12
2	46	12
3	82	12
4	148	12
5	233	12
6	315	12
7	377	12
8	465	12
9	602	12
10	675	12
11	881	12
12	1787	12
13	2776	12
14	3694	12
done	5000	12
0	10	12
1	26	12
2	56	12
3	113	12
4	227	12
5	495	12
6	1355	12
done	5001	12
0	11	25
1	24	25
2	47	25
3	83	25
4	146	25
5	230	25
6	312	25
7	374	25
8	462	25
9	596	25
10	668	25
11	871	25
12	1767	25
13	2715	25
14	3569	25
done	5000	25
0	10	12
1	23	12
2	46	12
3	82	12
4	145	12
5	229	12
6	311	12
7	373	12
8	461	12
9	595	12
10	667	12
11	870	12
12	1758	12
13	2707	12
14	3566	12
done	5000	12
0	11	35
1	25	35
2	62	13
3	187	13
4	987	13
done	5001	13
0	10	12
1	23	12
2	46	12
3	82	12
4	145	12
5	229	12
6	311	12
7	373	12
8	461	12
9	595	12
10	667	12
11	870	12
12	1758	12
13	2707	12
14	3566	12
done	5000	12
0	10	12
1	23	12
2	46	12
3	82	12
4	145	12
5	229	12
6	311	12
7	373	12
8	461	12
9	595	12
10	667	12
11	870	12
12	1758	12
13	2707	12
14	3566	12
done	5000	12
0	12	15
1	41	15
2	111	15
3	477	15
4	2744	15
done	5001	15
0	13	35
1	37	25
2	99	25
3	323	25
4	1242	23
5	4479	23
done	5000	23
0	9	10
1	22	10
2	45	10
3	74	10
4	119	9
5	183	9
6	229	9
7	270	9
8	285	9
9	291	9
10	301	9
11	343	9
12	425	9
13	430	9
done	430	9
0	11	23
1	31	23
2	85	23
3	353	21
4	1501	21
done	5001	21
0	9	11
1	21	11
2	42	11
3	73	11
4	120	11
5	168	11
6	208	11
7	249	11
8	316	11
9	480	11
10	941	11
11	1597	11
12	2328	11
13	3032	11
done	5000	11
0	11	13
1	23	13
2	37	13
3	53	13
4	72	13
5	85	13
6	110	13
7	128	13
8	139	13
9	141	13
done	141	13
0	11	13
1	24	13
2	39	13
3	55	13
4	74	13
5	87	13
6	112	13
7	130	13
8	141	13
9	143	13
done	143	13
0	12	14
1	19	14
2	23	14
3	25	14
done	25	14
0	12	14
1	20	14
2	27	14
3	29	14
done	29	14
0	12	15
1	18	15
2	26	14
3	31	14
4	39	14
5	41	14
6	72	14
7	121	14
8	133	14
9	134	14
done	134	14
0	12	15
1	19	15
2	31	15
3	43	15
4	56	15
5	68	14
6	75	14
7	130	14
8	258	14
9	327	14
10	368	14
done	368	14
0	9	11
1	22	11
2	45	11
3	81	11
4	144	11
5	228	11
6	310	11
7	372	11
8	460	11
9	594	11
10	666	11
11	869	11
12	1763	11
13	2706	11
14	3588	11
done	5000	11
0	8	9
1	18	9
2	27	9
3	39	9
4	56	9
5	60	9
6	69	9
7	83	9
8	105	9
9	118	9
10	124	9
11	127	9
done	127	9
0	8	9
1	17	9
2	30	9
3	44	9
4	57	9
5	75	9
6	89	9
7	98	9
8	100	9
done	100	9
0	9	10
1	22	10
2	45	10
3	74	10
4	119	9
5	183	9
6	229	9
7	270	9
8	285	9
9	291	9
10	301	9
11	343	9
12	425	9
13	430	9
done	430	9
0	7	7
1	11	7
2	13	7
done	13	7
0	6	6
1	14	6
2	19	6
3	22	6
done	22	6
0	6	6
1	11	6
2	17	6
3	21	6
4	24	6
5	30	6
6	34	6
7	50	6
8	54	6
9	61	6
10	70	6
11	90	6
12	111	6
13	129	6
14	136	6
15	142	6
16	145	6
done	145	6
0	9	17
1	20	17
2	68	9
3	203	7
4	562	7
5	2030	7
done	5000	7
0	7	13
1	12	13
2	15	13
3	17	13
done	17	13
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	7	17
1	19	17
2	50	7
3	176	7
4	571	7
5	1720	7
done	5001	7
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	2	2
done	2	2
0	3	3
done	3	3
0	3	3
done	3	3
0	9	15
1	17	15
2	27	15
3	33	15
done	33	15
0	7	7
1	9	7
2	10	7
done	10	7
0	8	12
1	12	12
2	15	12
3	16	12
done	16	12
0	7	7
1	9	7
2	10	7
done	10	7
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	6	6
1	8	6
2	9	6
done	9	6
0	8	10
1	12	10
2	13	10
done	13	10
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	6	6
1	10	4
2	13	4
done	13	4
0	6	6
1	8	6
2	9	6
done	9	6
0	5	7
1	9	7
done	9	7
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	4	4
1	6	4
done	6	4
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	2	3
1	4	1
done	4	1
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	9	11
1	12	11
done	12	11
0	8	8
1	13	8
2	16	8
3	18	8
done	18	8
0	8	8
1	9	8
done	9	8
0	8	8
1	13	8
2	16	8
3	18	8
done	18	8
0	7	7
1	10	5
2	12	5
done	12	5
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	5	7
1	9	7
done	9	7
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	4	4
1	6	4
done	6	4
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	2	3
1	4	1
done	4	1
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	3	3
1	5	3
done	5	3
0	5	5
1	7	5
2	8	5
done	8	5
0	7	9
1	14	9
2	22	9
3	27	9
4	30	9
done	30	9
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	5	5
1	12	3
2	17	3
done	17	3
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	5	5
1	7	5
2	8	5
done	8	5
0	7	7
1	9	7
2	10	7
done	10	7
0	5	5
1	7	5
2	8	5
done	8	5
0	9	13
1	23	11
2	52	11
3	78	11
4	87	11
5	89	11
done	89	11
0	5	5
1	13	5
2	14	5
done	14	5
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	6	7
1	8	7
2	11	7
done	11	7
0	6	7
1	8	7
2	11	7
done	11	7
0	6	7
1	8	7
2	11	7
done	11	7

prune204.0ms

Filtered

141 candidates to 202 candidates (-43.3%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	201	1	202
Fresh	1	8	9
Picked	0	1	1
Done	0	0	0
Total	202	10	212

Merged error: 3.2b

Counts

212 → 10

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (- a t) y)
0.5b	(/ 1 (/ (/ (- a t) y) (- z t)))
4.3b	(- (+ x y) (/ 1 (/ (/ (- a t) y) (- z t))))
10.6b	(/ (/ (- a t) y) (- z t))

rewrite230.0ms

Algorithm

rewrite-expression-head

Rules

1195×	`times-frac`
829×	`add-sqr-sqrt`
817×	`*-un-lft-identity`
450×	`add-cube-cbrt`
185×	`difference-of-squares`
182×	`distribute-lft-out--`
109×	`associate-/r*`
35×	`div-inv`
32×	`add-exp-log`
27×	`associate-/l*`
20×	`add-cbrt-cube`
19×	`div-exp`
11×	`associate-/r/`
10×	`cbrt-undiv`
9×	`add-log-exp`
7×	`flip3--` `flip--`
5×	`pow1`
3×	`rec-exp` `frac-2neg` `1-exp` `div-sub` `clear-num` `associate-/l/`
2×	`diff-log` `frac-sub` `distribute-lft-out`
1×	`sub-neg` `pow-flip` `flip3-+` `associate--l+` `sum-log` `flip-+` `inv-pow`

Counts

4 → 634

Calls

4 calls:

7.0ms	(/ (- a t) y)
29.0ms	(/ 1 (/ (/ (- a t) y) (- z t)))
111.0ms	(- (+ x y) (/ 1 (/ (/ (- a t) y) (- z t))))
14.0ms	(/ (/ (- a t) y) (- z t))

series96.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(/ (- a t) y)
38.0ms	(/ 1 (/ (/ (- a t) y) (- z t)))
33.0ms	(- (+ x y) (/ 1 (/ (/ (- a t) y) (- z t))))
17.0ms	(/ (/ (- a t) y) (- z t))

simplify9.3min

Counts

646 → 646

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	12
1	20	12
2	33	12
3	49	12
4	58	12
5	66	12
6	81	12
7	107	12
8	116	12
done	116	12
0	10	11
1	21	11
2	32	11
3	49	11
4	63	11
5	67	11
6	75	11
7	90	11
8	116	11
9	125	11
done	125	11
0	9	10
1	20	10
2	40	10
3	71	10
4	98	10
5	117	10
6	125	10
7	138	10
8	152	10
9	168	10
10	172	10
done	172	10
0	9	10
1	17	10
2	30	10
3	52	10
4	64	10
5	74	10
6	80	10
7	84	10
8	100	10
9	104	10
10	115	10
11	132	10
12	161	10
13	192	10
14	214	10
15	229	10
16	255	10
17	264	10
done	264	10
0	14	29
1	31	29
2	135	15
3	610	13
4	2695	11
done	5001	11
0	12	29
1	33	29
2	121	13
3	508	11
4	2306	11
done	5000	11
0	10	21
1	18	21
2	31	21
3	50	21
4	60	21
5	67	21
done	67	21
0	9	10
1	17	10
2	30	10
3	49	10
4	59	10
5	66	10
done	66	10
0	10	29
1	25	29
2	69	11
3	299	11
4	1617	11
done	5000	11
0	9	10
1	17	10
2	30	10
3	49	10
4	59	10
5	66	10
done	66	10
0	9	10
1	17	10
2	30	10
3	49	10
4	59	10
5	66	10
done	66	10
0	6	6
1	13	6
2	19	6
3	26	6
4	30	5
5	31	5
done	31	5
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	7	7
1	11	7
2	15	7
3	23	7
4	27	7
5	31	7
done	31	7
0	6	7
1	10	7
2	14	7
3	22	7
4	26	7
5	30	7
done	30	7
0	12	23
1	24	23
2	37	23
3	45	23
done	45	23
0	10	11
1	16	11
2	20	11
3	22	11
done	22	11
0	11	18
1	19	18
2	25	18
3	28	18
done	28	18
0	10	11
1	16	11
2	20	11
3	22	11
done	22	11
0	9	15
1	18	13
2	27	13
3	34	13
done	34	13
0	9	10
1	15	10
2	19	10
3	21	10
done	21	10
0	12	19
1	20	19
2	25	19
3	28	19
done	28	19
0	11	12
1	18	12
2	22	12
3	24	12
done	24	12
0	9	15
1	18	13
2	27	13
3	34	13
done	34	13
0	9	10
1	15	10
2	19	10
3	21	10
done	21	10
0	11	16
1	19	16
2	23	16
3	25	16
done	25	16
0	10	11
1	16	11
2	20	11
3	22	11
done	22	11
0	10	11
1	16	11
2	20	11
3	22	11
done	22	11
0	10	11
1	16	11
2	20	11
3	22	11
done	22	11
0	8	8
1	15	6
2	20	6
3	22	6
done	22	6
0	9	10
1	15	10
2	19	10
3	21	10
done	21	10
0	11	12
1	17	12
2	20	12
3	22	12
done	22	12
0	11	12
1	18	12
2	22	12
3	24	12
done	24	12
0	8	8
1	15	6
2	20	6
3	22	6
done	22	6
0	9	10
1	15	10
2	19	10
3	21	10
done	21	10
0	14	25
1	27	25
2	64	25
3	152	25
4	278	25
5	314	25
done	314	25
0	11	12
1	16	12
2	21	12
done	21	12
0	13	20
1	24	20
2	49	20
3	86	20
4	127	20
5	131	20
done	131	20
0	11	12
1	16	12
2	21	12
done	21	12
0	11	17
1	23	15
2	51	15
3	100	15
4	130	15
5	131	15
done	131	15
0	10	11
1	15	11
2	20	11
3	28	11
4	32	11
5	36	11
done	36	11
0	14	21
1	25	21
2	49	21
3	94	21
4	155	21
5	179	21
6	203	21
7	217	21
8	225	21
9	232	21
10	236	21
11	238	21
done	238	21
0	12	13
1	18	13
2	23	13
3	31	13
4	35	13
5	39	13
done	39	13
0	11	17
1	23	15
2	51	15
3	100	15
4	130	15
5	131	15
done	131	15
0	10	11
1	15	11
2	20	11
3	28	11
4	32	11
5	36	11
done	36	11
0	13	22
1	22	22
2	40	22
3	76	22
4	115	22
5	125	22
done	125	22
0	11	12
1	16	12
2	21	12
done	21	12
0	12	17
1	19	17
2	32	17
3	45	17
4	55	17
done	55	17
0	11	12
1	16	12
2	21	12
done	21	12
0	10	14
1	18	12
2	34	12
3	51	12
4	61	12
done	61	12
0	10	11
1	15	11
2	20	11
3	28	11
4	32	11
5	36	11
done	36	11
0	13	18
1	20	18
2	32	18
3	53	18
4	71	18
5	73	18
6	79	18
7	83	18
8	89	18
9	92	18
10	94	18
done	94	18
0	12	13
1	18	13
2	23	13
3	31	13
4	35	13
5	39	13
done	39	13
0	10	14
1	18	12
2	34	12
3	51	12
4	61	12
done	61	12
0	10	11
1	15	11
2	20	11
3	28	11
4	32	11
5	36	11
done	36	11
0	12	21
1	23	19
2	54	19
3	111	19
4	127	19
done	127	19
0	10	11
1	15	11
2	20	11
done	20	11
0	11	16
1	20	14
2	42	14
3	64	14
4	65	14
done	65	14
0	10	11
1	15	11
2	20	11
done	20	11
0	8	13
1	16	9
2	21	9
3	26	9
done	26	9
0	9	10
1	14	10
2	19	10
3	27	10
4	31	10
5	35	10
done	35	10
0	12	17
1	21	15
2	42	15
3	72	15
4	97	15
5	103	15
6	107	15
7	109	15
done	109	15
0	11	12
1	17	12
2	22	12
3	30	12
4	34	12
5	38	12
done	38	12
0	8	13
1	16	9
2	21	9
3	26	9
done	26	9
0	9	10
1	14	10
2	19	10
3	27	10
4	31	10
5	35	10
done	35	10
0	13	20
1	22	20
2	36	20
3	63	20
4	68	20
done	68	20
0	11	12
1	16	12
2	21	12
done	21	12
0	12	15
1	19	15
2	27	15
3	35	15
done	35	15
0	11	12
1	16	12
2	21	12
done	21	12
0	10	12
1	18	10
2	29	10
3	45	10
done	45	10
0	10	11
1	15	11
2	20	11
3	28	11
4	32	11
5	36	11
done	36	11
0	13	16
1	20	16
2	27	16
3	43	16
4	55	16
done	55	16
0	12	13
1	18	13
2	23	13
3	31	13
4	35	13
5	39	13
done	39	13
0	10	12
1	18	10
2	29	10
3	45	10
done	45	10
0	10	11
1	15	11
2	20	11
3	28	11
4	32	11
5	36	11
done	36	11
0	12	17
1	19	17
2	27	17
3	33	17
done	33	17
0	11	12
1	16	12
2	21	12
done	21	12
0	11	12
1	16	12
2	21	12
done	21	12
0	11	12
1	16	12
2	21	12
done	21	12
0	9	9
1	15	7
2	23	7
3	25	7
done	25	7
0	10	11
1	15	11
2	20	11
3	28	11
4	32	11
5	36	11
done	36	11
0	12	13
1	17	13
2	21	13
3	29	13
done	29	13
0	12	13
1	18	13
2	23	13
3	31	13
4	35	13
5	39	13
done	39	13
0	9	9
1	15	7
2	23	7
3	25	7
done	25	7
0	10	11
1	15	11
2	20	11
3	28	11
4	32	11
5	36	11
done	36	11
0	11	16
1	20	14
2	31	14
3	39	14
done	39	14
0	10	11
1	15	11
2	20	11
done	20	11
0	10	11
1	17	9
2	25	9
done	25	9
0	10	11
1	15	11
2	20	11
done	20	11
0	7	8
1	13	4
2	14	4
done	14	4
0	9	10
1	14	10
2	19	10
3	27	10
4	31	10
5	35	10
done	35	10
0	11	12
1	18	10
2	25	10
3	33	10
4	41	10
done	41	10
0	11	12
1	17	12
2	22	12
3	30	12
4	34	12
5	38	12
done	38	12
0	7	8
1	13	4
2	14	4
done	14	4
0	9	10
1	14	10
2	19	10
3	27	10
4	31	10
5	35	10
done	35	10
0	11	17
1	21	17
2	34	17
3	61	17
4	65	17
done	65	17
0	10	11
1	18	11
2	31	11
3	42	11
4	48	11
5	51	11
done	51	11
0	10	12
1	18	12
2	25	12
3	33	12
done	33	12
0	10	11
1	18	11
2	31	11
3	42	11
4	48	11
5	51	11
done	51	11
0	6	9
1	12	7
2	22	7
3	32	7
done	32	7
0	9	10
1	17	10
2	30	10
3	49	10
4	59	10
5	66	10
done	66	10
0	11	13
1	18	13
2	24	13
3	40	13
4	52	13
5	54	13
done	54	13
0	11	12
1	20	12
2	33	12
3	52	12
4	62	12
5	69	12
done	69	12
0	6	9
1	12	7
2	22	7
3	32	7
done	32	7
0	9	10
1	17	10
2	30	10
3	49	10
4	59	10
5	66	10
done	66	10
0	10	14
1	18	14
2	25	14
3	31	14
done	31	14
0	10	11
1	18	11
2	31	11
3	42	11
4	48	11
5	51	11
done	51	11
0	9	9
1	15	9
2	19	9
done	19	9
0	10	11
1	18	11
2	31	11
3	42	11
4	48	11
5	51	11
done	51	11
0	5	6
1	9	4
2	16	4
done	16	4
0	9	10
1	17	10
2	30	10
3	49	10
4	59	10
5	66	10
done	66	10
0	10	10
1	15	10
2	18	10
3	26	10
done	26	10
0	11	12
1	20	12
2	33	12
3	52	12
4	62	12
5	69	12
done	69	12
0	5	6
1	9	4
2	16	4
done	16	4
0	9	10
1	17	10
2	30	10
3	49	10
4	59	10
5	66	10
done	66	10
0	8	13
1	16	11
2	21	11
3	31	11
4	32	11
done	32	11
0	9	10
1	17	10
2	30	10
3	41	10
4	47	10
5	50	10
done	50	10
0	7	8
1	13	6
2	16	6
3	20	6
done	20	6
0	9	10
1	17	10
2	30	10
3	41	10
4	47	10
5	50	10
done	50	10
0	3	5
1	7	1
done	7	1
0	8	9
1	16	9
2	29	9
3	48	9
4	58	9
5	65	9
done	65	9
0	8	9
1	13	7
2	15	7
3	27	7
4	35	7
done	35	7
0	10	11
1	19	11
2	32	11
3	51	11
4	61	11
5	68	11
done	68	11
0	3	5
1	7	1
done	7	1
0	8	9
1	16	9
2	29	9
3	48	9
4	58	9
5	65	9
done	65	9
0	14	21
1	23	21
2	36	21
3	63	21
4	67	21
done	67	21
0	12	13
1	21	13
2	34	13
3	45	13
4	51	13
5	54	13
done	54	13
0	13	16
1	20	16
2	27	16
3	35	16
done	35	16
0	12	13
1	21	13
2	34	13
3	45	13
4	51	13
5	54	13
done	54	13
0	11	13
1	18	11
2	28	11
3	44	11
done	44	11
0	11	12
1	20	12
2	33	12
3	52	12
4	62	12
5	69	12
done	69	12
0	13	17
1	19	17
2	25	17
3	41	17
4	53	17
done	53	17
0	12	14
1	20	14
2	33	14
3	52	14
4	62	14
5	69	14
done	69	14
0	11	13
1	18	11
2	28	11
3	44	11
done	44	11
0	11	12
1	20	12
2	33	12
3	52	12
4	62	12
5	69	12
done	69	12
0	13	18
1	20	18
2	27	18
3	33	18
done	33	18
0	12	13
1	21	13
2	34	13
3	45	13
4	51	13
5	54	13
done	54	13
0	12	13
1	17	13
2	21	13
done	21	13
0	12	13
1	21	13
2	34	13
3	45	13
4	51	13
5	54	13
done	54	13
0	10	10
1	15	8
2	22	8
3	24	8
done	24	8
0	11	12
1	20	12
2	33	12
3	52	12
4	62	12
5	69	12
done	69	12
0	12	14
1	16	14
2	19	14
3	27	14
done	27	14
0	12	14
1	20	14
2	33	14
3	52	14
4	62	14
5	69	14
done	69	14
0	10	10
1	15	8
2	22	8
3	24	8
done	24	8
0	11	12
1	20	12
2	33	12
3	52	12
4	62	12
5	69	12
done	69	12
0	12	17
1	21	15
2	31	15
3	39	15
done	39	15
0	11	12
1	20	12
2	33	12
3	44	12
4	50	12
5	53	12
done	53	12
0	11	12
1	18	10
2	25	10
done	25	10
0	11	12
1	20	12
2	33	12
3	44	12
4	50	12
5	53	12
done	53	12
0	8	9
1	13	5
done	13	5
0	10	11
1	19	11
2	32	11
3	51	11
4	61	11
5	68	11
done	68	11
0	11	13
1	17	11
2	23	11
3	31	11
4	39	11
done	39	11
0	11	13
1	19	13
2	32	13
3	51	13
4	61	13
5	68	13
done	68	13
0	8	9
1	13	5
done	13	5
0	10	11
1	19	11
2	32	11
3	51	11
4	61	11
5	68	11
done	68	11
0	11	17
1	21	17
2	34	17
3	61	17
4	65	17
done	65	17
0	10	11
1	18	11
2	31	11
3	42	11
4	48	11
5	51	11
done	51	11
0	10	12
1	18	12
2	25	12
3	33	12
done	33	12
0	10	11
1	18	11
2	31	11
3	42	11
4	48	11
5	51	11
done	51	11
0	6	9
1	12	7
2	22	7
3	32	7
done	32	7
0	9	10
1	17	10
2	30	10
3	49	10
4	59	10
5	66	10
done	66	10
0	11	13
1	18	13
2	24	13
3	40	13
4	52	13
5	54	13
done	54	13
0	11	12
1	20	12
2	33	12
3	52	12
4	62	12
5	69	12
done	69	12
0	6	9
1	12	7
2	22	7
3	32	7
done	32	7
0	9	10
1	17	10
2	30	10
3	49	10
4	59	10
5	66	10
done	66	10
0	10	14
1	18	14
2	25	14
3	31	14
done	31	14
0	10	11
1	18	11
2	31	11
3	42	11
4	48	11
5	51	11
done	51	11
0	9	9
1	15	9
2	19	9
done	19	9
0	10	11
1	18	11
2	31	11
3	42	11
4	48	11
5	51	11
done	51	11
0	5	6
1	9	4
2	16	4
done	16	4
0	9	10
1	17	10
2	30	10
3	49	10
4	59	10
5	66	10
done	66	10
0	10	10
1	15	10
2	18	10
3	26	10
done	26	10
0	11	12
1	20	12
2	33	12
3	52	12
4	62	12
5	69	12
done	69	12
0	5	6
1	9	4
2	16	4
done	16	4
0	9	10
1	17	10
2	30	10
3	49	10
4	59	10
5	66	10
done	66	10
0	8	13
1	16	11
2	21	11
3	31	11
4	32	11
done	32	11
0	9	10
1	17	10
2	30	10
3	41	10
4	47	10
5	50	10
done	50	10
0	7	8
1	13	6
2	16	6
3	20	6
done	20	6
0	9	10
1	17	10
2	30	10
3	41	10
4	47	10
5	50	10
done	50	10
0	3	5
1	7	1
done	7	1
0	8	9
1	16	9
2	29	9
3	48	9
4	58	9
5	65	9
done	65	9
0	8	9
1	13	7
2	15	7
3	27	7
4	35	7
done	35	7
0	10	11
1	19	11
2	32	11
3	51	11
4	61	11
5	68	11
done	68	11
0	3	5
1	7	1
done	7	1
0	8	9
1	16	9
2	29	9
3	48	9
4	58	9
5	65	9
done	65	9
0	7	11
1	13	11
2	14	11
done	14	11
0	9	10
1	17	10
2	30	10
3	41	10
4	47	10
5	50	10
done	50	10
0	6	6
1	10	6
2	11	6
done	11	6
0	9	10
1	17	10
2	30	10
3	41	10
4	47	10
5	50	10
done	50	10
0	2	3
1	4	1
done	4	1
0	8	9
1	16	9
2	29	9
3	48	9
4	58	9
5	65	9
done	65	9
0	7	7
1	10	7
done	10	7
0	10	11
1	19	11
2	32	11
3	51	11
4	61	11
5	68	11
done	68	11
0	2	3
1	4	1
done	4	1
0	8	9
1	16	9
2	29	9
3	48	9
4	58	9
5	65	9
done	65	9
0	8	13
1	16	13
2	25	13
3	30	13
4	33	13
done	33	13
0	8	8
1	14	8
2	18	8
done	18	8
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	8	8
1	14	8
2	18	8
done	18	8
0	5	5
1	12	3
2	17	3
done	17	3
0	7	7
1	13	7
2	17	7
3	25	7
4	29	7
5	33	7
done	33	7
0	8	9
1	14	9
2	17	9
3	19	9
done	19	9
0	9	9
1	15	9
2	19	9
3	27	9
4	31	9
5	35	9
done	35	9
0	5	5
1	12	3
2	17	3
done	17	3
0	7	7
1	13	7
2	17	7
3	25	7
4	29	7
5	33	7
done	33	7
0	5	5
1	9	5
2	10	5
done	10	5
0	8	9
1	19	9
2	33	9
3	49	9
4	68	9
5	81	9
6	106	9
7	124	9
8	135	9
9	137	9
done	137	9
0	10	15
1	20	15
2	39	15
3	66	15
4	85	15
5	96	15
6	97	15
done	97	15
0	9	10
1	17	10
2	30	10
3	41	10
4	47	10
5	50	10
done	50	10
0	7	7
1	16	5
2	29	5
3	36	5
4	39	5
done	39	5
0	10	11
1	18	11
2	30	11
3	49	11
4	55	11
5	58	11
done	58	11
0	7	7
1	16	5
2	29	5
3	36	5
4	39	5
done	39	5
0	9	10
1	18	10
2	24	10
3	28	10
done	28	10
0	9	10
1	18	10
2	24	10
3	28	10
done	28	10
0	10	11
1	18	11
2	30	11
3	44	11
4	63	11
5	73	11
6	87	11
7	92	11
8	94	11
done	94	11
0	10	11
1	18	11
2	30	11
3	44	11
4	63	11
5	73	11
6	87	11
7	92	11
8	94	11
done	94	11
0	9	10
1	17	10
2	29	10
3	43	10
4	62	10
5	72	10
6	86	10
7	91	10
8	93	10
done	93	10
0	10	11
1	18	11
2	30	11
3	44	11
4	63	11
5	73	11
6	87	11
7	92	11
8	94	11
done	94	11
0	10	11
1	18	11
2	30	11
3	44	11
4	63	11
5	73	11
6	87	11
7	92	11
8	94	11
done	94	11
0	9	10
1	17	10
2	29	10
3	43	10
4	62	10
5	72	10
6	86	10
7	91	10
8	93	10
done	93	10
0	9	10
1	20	10
2	34	10
3	50	10
4	69	10
5	82	10
6	107	10
7	125	10
8	136	10
9	138	10
done	138	10
0	9	10
1	20	10
2	34	10
3	50	10
4	69	10
5	82	10
6	107	10
7	125	10
8	136	10
9	138	10
done	138	10
0	8	9
1	19	9
2	33	9
3	49	9
4	68	9
5	81	9
6	106	9
7	124	9
8	135	9
9	137	9
done	137	9
0	11	12
1	23	12
2	37	12
3	53	12
4	72	12
5	85	12
6	110	12
7	126	12
8	136	12
9	138	12
done	138	12
0	11	12
1	23	12
2	37	12
3	53	12
4	72	12
5	85	12
6	110	12
7	126	12
8	136	12
9	138	12
done	138	12
0	10	11
1	22	11
2	36	11
3	52	11
4	71	11
5	84	11
6	109	11
7	125	11
8	135	11
9	137	11
done	137	11
0	9	10
1	20	10
2	34	10
3	50	10
4	69	10
5	82	10
6	107	10
7	125	10
8	136	10
9	138	10
done	138	10
0	9	10
1	20	10
2	34	10
3	50	10
4	69	10
5	82	10
6	107	10
7	125	10
8	136	10
9	138	10
done	138	10
0	8	9
1	19	9
2	33	9
3	49	9
4	68	9
5	81	9
6	106	9
7	124	9
8	135	9
9	137	9
done	137	9
0	8	9
1	19	9
2	33	9
3	49	9
4	68	9
5	81	9
6	106	9
7	124	9
8	135	9
9	137	9
done	137	9
0	7	7
1	16	7
2	27	5
3	56	5
4	75	5
5	101	5
6	115	5
7	120	5
done	120	5
0	11	13
1	33	13
2	66	13
3	131	13
4	334	13
5	1083	13
6	4866	13
done	5000	13
0	10	13
1	22	13
2	44	13
3	105	13
4	221	13
5	361	13
6	520	13
7	793	13
8	2362	13
done	5001	13
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	16	18
1	33	17
2	69	16
3	158	14
4	451	14
5	1058	14
6	3087	14
done	5001	14
0	15	17
1	33	16
2	69	16
3	179	14
4	559	14
5	1345	14
6	3598	14
done	5000	14
0	14	16
1	31	16
2	70	16
3	175	14
4	526	14
5	1015	14
6	1545	14
7	2542	14
done	5000	14
0	14	16
1	34	16
2	83	16
3	217	14
4	682	14
5	1647	14
6	4274	14
done	5001	14
0	15	33
1	32	33
2	71	33
3	176	29
4	527	29
5	1012	29
6	1537	29
7	2499	29
done	5001	29
0	14	16
1	31	16
2	70	16
3	175	14
4	526	14
5	1015	14
6	1545	14
7	2542	14
done	5000	14
0	15	47
1	33	47
2	98	17
3	396	15
4	2571	15
done	5000	15
0	14	16
1	31	16
2	70	16
3	175	14
4	526	14
5	1015	14
6	1545	14
7	2542	14
done	5000	14
0	14	16
1	31	16
2	70	16
3	175	14
4	526	14
5	1015	14
6	1545	14
7	2542	14
done	5000	14
0	22	31
1	58	27
2	139	27
3	432	27
4	1455	27
5	4795	27
done	5000	27
0	15	21
1	34	19
2	78	19
3	239	19
4	842	19
5	2810	19
done	5000	19
0	17	23
1	39	21
2	109	21
3	436	19
4	1672	19
done	5000	19
0	11	13
1	24	13
2	52	13
3	150	13
4	362	13
5	826	13
6	1569	13
7	4289	13
done	5001	13
0	16	19
1	47	19
2	145	19
3	615	17
4	3617	17
done	5001	17
0	17	47
1	49	35
2	148	35
3	699	31
4	3530	31
done	5000	31
0	11	12
1	26	11
2	59	11
3	165	10
4	500	9
5	958	9
6	1365	9
7	2175	9
done	5001	9
0	15	31
1	43	31
2	123	29
3	540	27
4	2814	27
done	5001	27
0	13	15
1	29	15
2	60	15
3	129	13
4	309	13
5	478	13
6	793	13
7	1517	13
8	3531	13
done	5000	13
0	15	17
1	29	17
2	54	17
3	111	15
4	262	15
5	399	15
6	676	15
7	1299	15
8	3086	15
done	5001	15
0	15	17
1	30	17
2	56	17
3	113	15
4	264	15
5	405	15
6	681	15
7	1307	15
8	3071	15
done	5001	15
0	16	18
1	28	17
2	41	17
3	60	17
4	70	17
5	77	17
done	77	17
0	16	18
1	29	17
2	46	17
3	65	17
4	75	17
5	82	17
done	82	17
0	17	19
1	29	18
2	36	18
3	39	16
4	52	16
5	57	16
done	57	16
0	17	19
1	30	18
2	45	18
3	56	16
4	82	16
5	118	16
6	123	16
7	124	16
done	124	16
0	18	20
1	29	19
2	40	19
3	55	17
4	90	17
5	104	17
done	104	17
0	18	20
1	30	19
2	49	19
3	85	17
4	178	17
5	290	17
6	308	17
7	312	17
8	316	17
done	316	17
0	15	17
1	27	17
2	40	17
3	59	17
4	69	17
5	76	17
done	76	17
0	15	17
1	28	17
2	45	17
3	64	17
4	74	17
5	81	17
done	81	17
0	16	18
1	28	18
2	35	18
3	38	16
4	51	16
5	56	16
done	56	16
0	16	18
1	29	18
2	44	18
3	55	16
4	81	16
5	119	16
6	126	16
7	127	16
done	127	16
0	17	19
1	28	19
2	39	19
3	54	17
4	88	17
5	100	17
done	100	17
0	17	19
1	29	19
2	48	19
3	84	17
4	177	17
5	291	17
6	310	17
7	314	17
8	318	17
done	318	17
0	13	15
1	30	15
2	69	15
3	174	13
4	525	13
5	1019	13
6	1551	13
7	2540	13
done	5000	13
0	13	15
1	30	15
2	69	15
3	174	13
4	525	13
5	1019	13
6	1551	13
7	2540	13
done	5000	13
0	13	15
1	30	15
2	69	15
3	174	13
4	525	13
5	1019	13
6	1551	13
7	2540	13
done	5000	13
0	13	15
1	30	15
2	69	15
3	174	13
4	525	13
5	1019	13
6	1551	13
7	2540	13
done	5000	13
0	11	13
1	25	13
2	58	13
3	153	11
4	462	11
5	902	11
6	1334	11
7	2186	11
done	5000	11
0	11	12
1	26	11
2	59	11
3	165	10
4	500	9
5	958	9
6	1365	9
7	2175	9
done	5001	9
0	2	2
1	5	1
done	5	1
0	12	13
1	21	13
2	37	13
3	60	13
4	84	12
5	95	12
6	111	12
7	132	12
done	132	12
0	11	12
1	22	12
2	36	12
3	57	12
4	79	11
5	96	11
6	107	11
7	125	11
8	145	11
done	145	11
0	10	11
1	21	11
2	41	11
3	75	11
4	108	11
5	136	11
6	152	11
7	167	11
8	188	11
done	188	11
0	13	14
1	26	13
2	55	13
3	117	12
4	256	12
5	351	12
6	405	12
7	419	12
done	419	12
0	12	13
1	27	12
2	52	12
3	99	11
4	213	11
5	328	11
6	395	11
7	443	11
done	443	11
0	11	12
1	24	11
2	50	11
3	96	11
4	179	11
5	316	11
6	400	11
7	433	11
8	447	11
done	447	11
0	14	15
1	29	14
2	53	13
3	121	12
4	263	12
5	358	12
6	411	12
7	425	12
done	425	12
0	13	14
1	30	13
2	50	12
3	103	11
4	219	11
5	334	11
6	399	11
7	450	11
done	450	11
0	12	13
1	27	12
2	50	11
3	100	11
4	183	11
5	320	11
6	403	11
7	436	11
8	450	11
done	450	11
0	11	12
1	27	11
2	61	11
3	144	10
4	353	10
5	604	10
6	1037	10
7	1698	10
8	3557	10
done	5000	10
0	11	12
1	23	12
2	50	12
3	119	10
4	320	10
5	594	10
6	1379	10
7	4719	10
done	5000	10
0	18	35
1	42	31
2	170	17
3	927	13
done	5000	13
0	16	35
1	44	31
2	158	15
3	785	13
4	4282	13
done	5000	13
0	14	35
1	38	31
2	106	13
3	523	13
4	3076	13
done	5001	13
0	12	25
1	24	25
2	49	25
3	106	21
4	258	21
5	399	21
6	675	21
7	1306	21
8	3066	21
done	5001	21
0	11	12
1	23	12
2	48	12
3	105	10
4	257	10
5	394	10
6	672	10
7	1332	10
8	3195	10
done	5001	10
0	12	35
1	31	35
2	95	13
3	496	11
4	2806	11
done	5000	11
0	11	12
1	23	12
2	48	12
3	105	10
4	257	10
5	394	10
6	672	10
7	1332	10
8	3195	10
done	5001	10
0	11	12
1	23	12
2	48	12
3	105	10
4	257	10
5	394	10
6	672	10
7	1332	10
8	3195	10
done	5001	10
0	2	2
1	5	1
done	5	1
0	9	10
1	19	10
2	35	10
3	65	10
4	84	9
5	105	9
6	112	9
done	112	9
0	14	27
1	30	25
2	52	23
3	77	23
4	87	23
5	94	23
done	94	23
0	12	13
1	22	12
2	35	12
3	54	12
4	64	12
5	71	12
done	71	12
0	13	16
1	25	14
2	40	12
3	60	12
4	70	12
5	77	12
done	77	12
0	12	13
1	22	12
2	35	12
3	54	12
4	64	12
5	71	12
done	71	12
0	16	29
1	34	27
2	74	25
3	146	23
4	200	23
done	200	23
0	13	14
1	23	13
2	30	13
3	33	11
4	46	11
5	51	11
done	51	11
0	15	24
1	29	22
2	51	20
3	86	18
4	109	18
done	109	18
0	13	14
1	23	13
2	30	13
3	33	11
4	46	11
5	51	11
done	51	11
0	12	21
1	25	15
2	42	15
3	53	15
done	53	15
0	12	13
1	22	12
2	35	12
3	55	10
4	102	10
5	145	10
6	185	10
7	205	10
8	223	10
9	228	10
done	228	10
0	16	25
1	30	23
2	59	21
3	122	19
4	210	19
5	230	19
done	230	19
0	14	15
1	25	14
2	38	14
3	58	12
4	105	12
5	143	12
6	167	12
7	172	12
8	173	12
done	173	12
0	12	21
1	25	15
2	42	15
3	53	15
done	53	15
0	12	13
1	22	12
2	35	12
3	55	10
4	102	10
5	145	10
6	185	10
7	205	10
8	223	10
9	228	10
done	228	10
0	15	22
1	29	20
2	48	18
3	70	16
4	74	16
done	74	16
0	13	14
1	23	13
2	30	13
3	33	11
4	46	11
5	51	11
done	51	11
0	14	17
1	26	15
2	39	13
3	49	11
4	50	11
done	50	11
0	13	14
1	23	13
2	30	13
3	33	11
4	46	11
5	51	11
done	51	11
0	11	14
1	22	8
2	30	8
3	32	8
done	32	8
0	12	13
1	22	12
2	35	12
3	55	10
4	102	10
5	145	10
6	185	10
7	205	10
8	223	10
9	228	10
done	228	10
0	15	18
1	27	16
2	47	14
3	73	12
4	100	12
5	102	12
done	102	12
0	14	15
1	25	14
2	38	14
3	58	12
4	105	12
5	143	12
6	167	12
7	172	12
8	173	12
done	173	12
0	11	14
1	22	8
2	30	8
3	32	8
done	32	8
0	12	13
1	22	12
2	35	12
3	55	10
4	102	10
5	145	10
6	185	10
7	205	10
8	223	10
9	228	10
done	228	10
0	18	31
1	37	29
2	102	27
3	340	25
4	966	25
5	1126	25
done	1126	25
0	14	15
1	23	14
2	34	14
3	49	12
4	83	12
5	97	12
done	97	12
0	17	26
1	34	24
2	81	22
3	229	20
4	551	20
5	589	20
done	589	20
0	14	15
1	23	14
2	34	14
3	49	12
4	83	12
5	97	12
done	97	12
0	14	23
1	30	17
2	79	17
3	162	15
4	203	15
done	203	15
0	13	14
1	22	13
2	39	13
3	85	11
4	218	11
5	313	11
6	391	11
7	408	11
8	418	11
done	418	11
0	18	27
1	35	25
2	89	23
3	295	21
4	905	21
5	1197	21
6	1321	21
done	1321	21
0	15	16
1	25	15
2	42	15
3	88	13
4	221	13
5	312	13
6	394	13
7	408	13
8	410	13
done	410	13
0	14	23
1	30	17
2	79	17
3	162	15
4	203	15
done	203	15
0	13	14
1	22	13
2	39	13
3	85	11
4	218	11
5	313	11
6	391	11
7	408	11
8	418	11
done	418	11
0	17	28
1	32	26
2	72	24
3	193	22
4	482	22
5	568	22
done	568	22
0	14	15
1	23	14
2	34	14
3	49	12
4	83	12
5	97	12
done	97	12
0	16	23
1	29	21
2	58	19
3	136	17
4	283	17
5	302	17
done	302	17
0	14	15
1	23	14
2	34	14
3	49	12
4	83	12
5	97	12
done	97	12
0	13	20
1	25	14
2	54	14
3	89	12
4	97	12
done	97	12
0	13	14
1	22	13
2	39	13
3	85	11
4	218	11
5	313	11
6	391	11
7	408	11
8	418	11
done	418	11
0	17	24
1	30	22
2	66	20
3	182	18
4	484	18
5	608	18
6	668	18
done	668	18
0	15	16
1	25	15
2	42	15
3	88	13
4	221	13
5	312	13
6	394	13
7	408	13
8	410	13
done	410	13
0	13	20
1	25	14
2	54	14
3	89	12
4	97	12
done	97	12
0	13	14
1	22	13
2	39	13
3	85	11
4	218	11
5	313	11
6	391	11
7	408	11
8	418	11
done	418	11
0	15	27
1	30	23
2	78	19
3	168	19
4	192	19
done	192	19
0	13	14
1	22	13
2	33	13
3	48	11
4	82	11
5	93	11
done	93	11
0	14	22
1	27	18
2	60	14
3	94	14
4	96	14
done	96	14
0	13	14
1	22	13
2	33	13
3	48	11
4	82	11
5	93	11
done	93	11
0	11	19
1	23	11
2	31	11
3	40	11
done	40	11
0	12	13
1	21	12
2	38	12
3	84	10
4	217	10
5	309	10
6	379	10
7	426	10
8	442	10
done	442	10
0	15	23
1	28	19
2	68	15
3	130	15
4	202	15
5	222	15
done	222	15
0	14	15
1	24	14
2	41	14
3	87	12
4	220	12
5	306	12
6	382	12
7	440	12
8	447	12
done	447	12
0	11	19
1	23	11
2	31	11
3	40	11
done	40	11
0	12	13
1	21	12
2	38	12
3	84	10
4	217	10
5	309	10
6	379	10
7	426	10
8	442	10
done	442	10
0	17	26
1	32	24
2	68	22
3	166	20
4	375	20
5	410	20
done	410	20
0	14	15
1	23	14
2	34	14
3	49	12
4	83	12
5	97	12
done	97	12
0	16	21
1	29	19
2	53	17
3	108	15
4	216	15
5	224	15
done	224	15
0	14	15
1	23	14
2	34	14
3	49	12
4	83	12
5	97	12
done	97	12
0	13	18
1	25	12
2	49	12
3	81	10
4	88	10
done	88	10
0	13	14
1	22	13
2	39	13
3	85	11
4	218	11
5	313	11
6	391	11
7	408	11
8	418	11
done	418	11
0	17	22
1	30	20
2	61	18
3	154	16
4	402	16
5	498	16
6	520	16
done	520	16
0	15	16
1	25	15
2	42	15
3	88	13
4	221	13
5	312	13
6	394	13
7	408	13
8	410	13
done	410	13
0	13	18
1	25	12
2	49	12
3	81	10
4	88	10
done	88	10
0	13	14
1	22	13
2	39	13
3	85	11
4	218	11
5	313	11
6	391	11
7	408	11
8	418	11
done	418	11
0	16	23
1	29	21
2	57	19
3	110	17
4	199	17
5	208	17
done	208	17
0	14	15
1	23	14
2	34	14
3	49	12
4	83	12
5	97	12
done	97	12
0	15	18
1	26	16
2	45	14
3	75	12
4	120	12
5	121	12
done	121	12
0	14	15
1	23	14
2	34	14
3	49	12
4	83	12
5	97	12
done	97	12
0	12	15
1	22	9
2	39	9
3	49	7
4	50	7
done	50	7
0	13	14
1	22	13
2	39	13
3	85	11
4	218	11
5	313	11
6	391	11
7	408	11
8	418	11
done	418	11
0	16	19
1	27	17
2	53	15
3	113	13
4	246	13
5	269	13
6	277	13
done	277	13
0	15	16
1	25	15
2	42	15
3	88	13
4	221	13
5	312	13
6	394	13
7	408	13
8	410	13
done	410	13
0	12	15
1	22	9
2	39	9
3	49	7
4	50	7
done	50	7
0	13	14
1	22	13
2	39	13
3	85	11
4	218	11
5	313	11
6	391	11
7	408	11
8	418	11
done	418	11
0	14	22
1	27	18
2	51	14
3	73	14
4	76	14
done	76	14
0	13	14
1	22	13
2	33	13
3	48	11
4	82	11
5	93	11
done	93	11
0	13	17
1	24	13
2	39	9
3	41	9
done	41	9
0	13	14
1	22	13
2	33	13
3	48	11
4	82	11
5	93	11
done	93	11
0	10	14
1	20	6
2	22	6
done	22	6
0	12	13
1	21	12
2	38	12
3	84	10
4	217	10
5	309	10
6	379	10
7	426	10
8	442	10
done	442	10
0	14	18
1	25	14
2	47	10
3	65	10
4	99	10
5	101	10
done	101	10
0	14	15
1	24	14
2	41	14
3	87	12
4	220	12
5	306	12
6	382	12
7	440	12
8	447	12
done	447	12
0	10	14
1	20	6
2	22	6
done	22	6
0	12	13
1	21	12
2	38	12
3	84	10
4	217	10
5	309	10
6	379	10
7	426	10
8	442	10
done	442	10
0	14	23
1	28	21
2	63	19
3	160	15
4	292	15
5	396	15
6	441	15
done	441	15
0	13	14
1	25	13
2	44	13
3	70	11
4	122	11
5	155	11
6	160	11
done	160	11
0	13	18
1	25	16
2	48	14
3	102	10
4	173	10
5	207	10
done	207	10
0	13	14
1	25	13
2	44	13
3	70	11
4	122	11
5	155	11
6	160	11
done	160	11
0	9	15
1	19	9
2	41	5
3	54	5
4	60	5
5	63	5
done	63	5
0	12	13
1	24	12
2	49	12
3	106	10
4	257	10
5	404	10
6	724	10
7	1358	10
8	3213	10
done	5000	10
0	14	19
1	25	17
2	55	15
3	147	11
4	299	11
5	417	11
6	473	11
done	473	11
0	14	15
1	27	14
2	52	14
3	109	12
4	260	12
5	377	12
6	492	12
7	560	12
8	608	12
9	622	12
done	622	12
0	9	15
1	19	9
2	41	5
3	54	5
4	60	5
5	63	5
done	63	5
0	12	13
1	24	12
2	49	12
3	106	10
4	257	10
5	404	10
6	724	10
7	1358	10
8	3213	10
done	5000	10
0	13	20
1	25	18
2	52	16
3	104	12
4	145	12
5	180	12
6	199	12
done	199	12
0	13	14
1	25	13
2	44	13
3	70	11
4	122	11
5	155	11
6	160	11
done	160	11
0	12	15
1	22	13
2	40	11
3	69	7
4	86	7
5	92	7
done	92	7
0	13	14
1	25	13
2	44	13
3	70	11
4	122	11
5	155	11
6	160	11
done	160	11
0	8	12
1	16	6
2	31	2
3	32	2
4	33	2
5	34	2
done	34	2
0	12	13
1	24	12
2	49	12
3	106	10
4	257	10
5	404	10
6	724	10
7	1358	10
8	3213	10
done	5000	10
0	13	16
1	22	14
2	47	12
3	106	8
4	161	8
5	215	8
6	231	8
done	231	8
0	14	15
1	27	14
2	52	14
3	109	12
4	260	12
5	377	12
6	492	12
7	560	12
8	608	12
9	622	12
done	622	12
0	8	12
1	16	6
2	31	2
3	32	2
4	33	2
5	34	2
done	34	2
0	12	13
1	24	12
2	49	12
3	106	10
4	257	10
5	404	10
6	724	10
7	1358	10
8	3213	10
done	5000	10
0	11	19
1	23	15
2	39	9
3	56	9
4	64	9
5	65	9
done	65	9
0	12	13
1	24	12
2	43	12
3	69	10
4	121	10
5	151	10
6	156	10
done	156	10
0	10	14
1	20	10
2	29	4
3	32	4
done	32	4
0	12	13
1	24	12
2	43	12
3	69	10
4	121	10
5	151	10
6	156	10
done	156	10
0	6	11
1	14	1
done	14	1
0	11	12
1	23	11
2	48	11
3	105	9
4	256	9
5	391	9
6	667	9
7	1317	9
8	3123	9
done	5001	9
0	11	15
1	20	11
2	36	5
3	47	5
done	47	5
0	13	14
1	26	13
2	51	13
3	108	11
4	259	11
5	366	11
6	478	11
7	603	11
8	659	11
9	675	11
done	675	11
0	6	11
1	14	1
done	14	1
0	11	12
1	23	11
2	48	11
3	105	9
4	256	9
5	391	9
6	667	9
7	1317	9
8	3123	9
done	5001	9
0	18	27
1	33	25
2	68	23
3	166	21
4	370	21
5	407	21
done	407	21
0	15	16
1	28	15
2	47	15
3	73	13
4	125	13
5	157	13
6	162	13
done	162	13
0	17	22
1	30	20
2	53	18
3	108	16
4	218	16
5	228	16
done	228	16
0	15	16
1	28	15
2	47	15
3	73	13
4	125	13
5	157	13
6	162	13
done	162	13
0	14	19
1	25	13
2	48	13
3	80	11
4	87	11
done	87	11
0	14	15
1	27	14
2	52	14
3	109	12
4	260	12
5	378	12
6	488	12
7	556	12
8	616	12
9	636	12
done	636	12
0	17	23
1	29	21
2	59	19
3	152	17
4	395	17
5	485	17
6	507	17
done	507	17
0	15	17
1	27	16
2	52	16
3	109	14
4	260	14
5	409	14
6	741	14
7	1540	14
8	4081	14
done	5000	14
0	14	19
1	25	13
2	48	13
3	80	11
4	87	11
done	87	11
0	14	15
1	27	14
2	52	14
3	109	12
4	260	12
5	378	12
6	488	12
7	556	12
8	616	12
9	636	12
done	636	12
0	17	24
1	30	22
2	57	20
3	110	18
4	202	18
5	210	18
done	210	18
0	15	16
1	28	15
2	47	15
3	73	13
4	125	13
5	157	13
6	162	13
done	162	13
0	16	19
1	27	17
2	45	15
3	75	13
4	120	13
5	121	13
done	121	13
0	15	16
1	28	15
2	47	15
3	73	13
4	125	13
5	157	13
6	162	13
done	162	13
0	13	16
1	22	10
2	38	10
3	48	8
4	49	8
done	49	8
0	14	15
1	27	14
2	52	14
3	109	12
4	260	12
5	378	12
6	488	12
7	556	12
8	616	12
9	636	12
done	636	12
0	16	20
1	26	18
2	51	16
3	111	14
4	244	14
5	268	14
6	276	14
done	276	14
0	15	17
1	27	16
2	52	16
3	109	14
4	260	14
5	409	14
6	741	14
7	1540	14
8	4081	14
done	5000	14
0	13	16
1	22	10
2	38	10
3	48	8
4	49	8
done	49	8
0	14	15
1	27	14
2	52	14
3	109	12
4	260	12
5	378	12
6	488	12
7	556	12
8	616	12
9	636	12
done	636	12
0	15	23
1	28	19
2	51	15
3	72	15
4	74	15
done	74	15
0	14	15
1	27	14
2	46	14
3	72	12
4	124	12
5	152	12
6	158	12
done	158	12
0	14	18
1	25	14
2	39	10
3	41	10
done	41	10
0	14	15
1	27	14
2	46	14
3	72	12
4	124	12
5	152	12
6	158	12
done	158	12
0	11	15
1	20	7
2	21	7
done	21	7
0	13	14
1	26	13
2	51	13
3	108	11
4	259	11
5	369	11
6	471	11
7	578	11
8	642	11
9	660	11
done	660	11
0	14	19
1	24	15
2	45	11
3	63	11
4	97	11
5	99	11
done	99	11
0	14	16
1	26	15
2	51	15
3	108	13
4	259	13
5	391	13
6	696	13
7	1529	13
8	3643	13
done	5000	13
0	11	15
1	20	7
2	21	7
done	21	7
0	13	14
1	26	13
2	51	13
3	108	11
4	259	11
5	369	11
6	471	11
7	578	11
8	642	11
9	660	11
done	660	11
0	14	23
1	28	21
2	63	19
3	160	15
4	292	15
5	396	15
6	441	15
done	441	15
0	13	14
1	25	13
2	44	13
3	70	11
4	122	11
5	155	11
6	160	11
done	160	11
0	13	18
1	25	16
2	48	14
3	102	10
4	173	10
5	207	10
done	207	10
0	13	14
1	25	13
2	44	13
3	70	11
4	122	11
5	155	11
6	160	11
done	160	11
0	9	15
1	19	9
2	41	5
3	54	5
4	60	5
5	63	5
done	63	5
0	12	13
1	24	12
2	49	12
3	106	10
4	257	10
5	404	10
6	724	10
7	1358	10
8	3213	10
done	5000	10
0	14	19
1	25	17
2	55	15
3	147	11
4	299	11
5	417	11
6	473	11
done	473	11
0	14	15
1	27	14
2	52	14
3	109	12
4	260	12
5	377	12
6	492	12
7	560	12
8	608	12
9	622	12
done	622	12
0	9	15
1	19	9
2	41	5
3	54	5
4	60	5
5	63	5
done	63	5
0	12	13
1	24	12
2	49	12
3	106	10
4	257	10
5	404	10
6	724	10
7	1358	10
8	3213	10
done	5000	10
0	13	20
1	25	18
2	52	16
3	104	12
4	145	12
5	180	12
6	199	12
done	199	12
0	13	14
1	25	13
2	44	13
3	70	11
4	122	11
5	155	11
6	160	11
done	160	11
0	12	15
1	22	13
2	40	11
3	69	7
4	86	7
5	92	7
done	92	7
0	13	14
1	25	13
2	44	13
3	70	11
4	122	11
5	155	11
6	160	11
done	160	11
0	8	12
1	16	6
2	31	2
3	32	2
4	33	2
5	34	2
done	34	2
0	12	13
1	24	12
2	49	12
3	106	10
4	257	10
5	404	10
6	724	10
7	1358	10
8	3213	10
done	5000	10
0	13	16
1	22	14
2	47	12
3	106	8
4	161	8
5	215	8
6	231	8
done	231	8
0	14	15
1	27	14
2	52	14
3	109	12
4	260	12
5	377	12
6	492	12
7	560	12
8	608	12
9	622	12
done	622	12
0	8	12
1	16	6
2	31	2
3	32	2
4	33	2
5	34	2
done	34	2
0	12	13
1	24	12
2	49	12
3	106	10
4	257	10
5	404	10
6	724	10
7	1358	10
8	3213	10
done	5000	10
0	11	19
1	23	15
2	39	9
3	56	9
4	64	9
5	65	9
done	65	9
0	12	13
1	24	12
2	43	12
3	69	10
4	121	10
5	151	10
6	156	10
done	156	10
0	10	14
1	20	10
2	29	4
3	32	4
done	32	4
0	12	13
1	24	12
2	43	12
3	69	10
4	121	10
5	151	10
6	156	10
done	156	10
0	6	11
1	14	1
done	14	1
0	11	12
1	23	11
2	48	11
3	105	9
4	256	9
5	391	9
6	667	9
7	1317	9
8	3123	9
done	5001	9
0	11	15
1	20	11
2	36	5
3	47	5
done	47	5
0	13	14
1	26	13
2	51	13
3	108	11
4	259	11
5	366	11
6	478	11
7	603	11
8	659	11
9	675	11
done	675	11
0	6	11
1	14	1
done	14	1
0	11	12
1	23	11
2	48	11
3	105	9
4	256	9
5	391	9
6	667	9
7	1317	9
8	3123	9
done	5001	9
0	10	17
1	20	15
2	36	11
3	52	9
4	60	9
5	61	9
done	61	9
0	12	13
1	24	12
2	43	12
3	69	10
4	121	10
5	151	10
6	156	10
done	156	10
0	9	12
1	17	10
2	27	6
3	34	4
done	34	4
0	12	13
1	24	12
2	43	12
3	69	10
4	121	10
5	151	10
6	156	10
done	156	10
0	5	9
1	11	1
done	11	1
0	11	12
1	23	11
2	48	11
3	105	9
4	256	9
5	391	9
6	667	9
7	1317	9
8	3123	9
done	5001	9
0	10	13
1	17	11
2	34	7
3	41	5
4	49	5
done	49	5
0	13	14
1	26	13
2	51	13
3	108	11
4	259	11
5	366	11
6	478	11
7	603	11
8	659	11
9	675	11
done	675	11
0	5	9
1	11	1
done	11	1
0	11	12
1	23	11
2	48	11
3	105	9
4	256	9
5	391	9
6	667	9
7	1317	9
8	3123	9
done	5001	9
0	12	19
1	26	17
2	53	15
3	87	13
4	107	13
5	110	13
done	110	13
0	10	11
1	18	10
2	28	8
3	36	6
4	62	6
5	81	6
6	105	6
done	105	6
0	11	14
1	23	12
2	39	10
3	56	8
4	64	8
5	66	8
done	66	8
0	10	11
1	18	10
2	28	8
3	36	6
4	62	6
5	81	6
6	105	6
done	105	6
0	8	11
1	19	5
2	27	5
done	27	5
0	9	10
1	17	9
2	33	7
3	70	5
4	156	5
5	235	5
6	341	5
7	436	5
8	494	5
done	494	5
0	12	15
1	24	13
2	47	11
3	80	9
4	114	9
5	124	9
6	132	9
7	138	9
done	138	9
0	11	12
1	19	11
2	35	9
3	72	7
4	158	7
5	242	7
6	359	7
7	450	7
8	499	7
done	499	7
0	8	11
1	19	5
2	27	5
done	27	5
0	9	10
1	17	9
2	33	7
3	70	5
4	156	5
5	235	5
6	341	5
7	436	5
8	494	5
done	494	5
0	4	7
1	8	3
2	12	1
done	12	1
0	11	12
1	23	11
2	48	11
3	105	9
4	256	9
5	391	9
6	667	9
7	1317	9
8	3123	9
done	5001	9
0	9	11
1	20	9
2	35	7
3	52	5
4	56	5
done	56	5
0	7	8
1	13	7
2	23	5
3	33	3
4	53	3
5	59	3
done	59	3
0	15	19
1	43	17
2	96	15
3	266	13
4	1023	13
5	3988	13
done	5001	13
0	10	14
1	19	11
2	27	11
3	28	11
4	29	11
done	29	11
0	14	19
1	32	17
2	76	15
3	243	13
4	898	13
5	1969	13
6	3029	13
done	5000	13
0	6	6
1	9	5
done	9	5
0	13	24
1	25	23
2	38	23
3	57	23
4	67	23
5	74	23
done	74	23
0	12	13
1	22	12
2	35	12
3	54	12
4	64	12
5	71	12
done	71	12
0	12	13
1	22	12
2	35	12
3	54	12
4	64	12
5	71	12
done	71	12
0	12	13
1	22	12
2	35	12
3	54	12
4	64	12
5	71	12
done	71	12
0	15	26
1	31	25
2	56	25
3	87	23
4	147	23
5	215	23
done	215	23
0	13	14
1	23	13
2	30	13
3	33	11
4	46	11
5	51	11
done	51	11
0	14	21
1	26	20
2	38	20
3	53	18
4	80	18
5	115	18
done	115	18
0	13	14
1	23	13
2	30	13
3	33	11
4	46	11
5	51	11
done	51	11
0	11	18
1	22	15
2	36	15
3	47	15
done	47	15
0	12	13
1	22	12
2	35	12
3	55	10
4	102	10
5	145	10
6	185	10
7	205	10
8	223	10
9	228	10
done	228	10
0	15	22
1	27	21
2	46	21
3	81	19
4	154	19
5	237	19
6	240	19
done	240	19
0	14	15
1	25	14
2	38	14
3	58	12
4	105	12
5	143	12
6	167	12
7	172	12
8	173	12
done	173	12
0	11	18
1	22	15
2	36	15
3	47	15
done	47	15
0	12	13
1	22	12
2	35	12
3	55	10
4	102	10
5	145	10
6	185	10
7	205	10
8	223	10
9	228	10
done	228	10
0	14	19
1	26	18
2	37	18
3	47	16
4	71	16
5	86	16
done	86	16
0	13	14
1	23	13
2	30	13
3	33	11
4	46	11
5	51	11
done	51	11
0	13	14
1	23	13
2	30	13
3	33	11
4	46	11
5	51	11
done	51	11
0	13	14
1	23	13
2	30	13
3	33	11
4	46	11
5	51	11
done	51	11
0	10	11
1	19	8
2	27	8
3	29	8
done	29	8
0	12	13
1	22	12
2	35	12
3	55	10
4	102	10
5	145	10
6	185	10
7	205	10
8	223	10
9	228	10
done	228	10
0	14	15
1	24	14
2	38	14
3	53	12
4	88	12
5	105	12
done	105	12
0	14	15
1	25	14
2	38	14
3	58	12
4	105	12
5	143	12
6	167	12
7	172	12
8	173	12
done	173	12
0	10	11
1	19	8
2	27	8
3	29	8
done	29	8
0	12	13
1	22	12
2	35	12
3	55	10
4	102	10
5	145	10
6	185	10
7	205	10
8	223	10
9	228	10
done	228	10
0	17	28
1	34	27
2	87	27
3	254	25
4	716	25
5	1139	25
6	1142	25
done	1142	25
0	14	15
1	23	14
2	34	14
3	49	12
4	83	12
5	97	12
done	97	12
0	16	23
1	31	22
2	68	22
3	161	20
4	372	20
5	509	20
6	510	20
done	510	20
0	14	15
1	23	14
2	34	14
3	49	12
4	83	12
5	97	12
done	97	12
0	13	20
1	27	17
2	66	17
3	150	15
4	190	15
done	190	15
0	13	14
1	22	13
2	39	13
3	85	11
4	218	11
5	313	11
6	391	11
7	408	11
8	418	11
done	418	11
0	17	24
1	32	23
2	76	23
3	223	21
4	668	21
5	1068	21
6	1188	21
done	1188	21
0	15	16
1	25	15
2	42	15
3	88	13
4	221	13
5	312	13
6	394	13
7	408	13
8	410	13
done	410	13
0	13	20
1	27	17
2	66	17
3	150	15
4	190	15
done	190	15
0	13	14
1	22	13
2	39	13
3	85	11
4	218	11
5	313	11
6	391	11
7	408	11
8	418	11
done	418	11
0	16	25
1	29	24
2	59	24
3	140	22
4	356	22
5	548	22
done	548	22
0	14	15
1	23	14
2	34	14
3	49	12
4	83	12
5	97	12
done	97	12
0	15	20
1	26	19
2	47	19
3	94	17
4	195	17
5	270	17
done	270	17
0	14	15
1	23	14
2	34	14
3	49	12
4	83	12
5	97	12
done	97	12
0	12	17
1	22	14
2	46	14
3	81	12
4	89	12
done	89	12
0	13	14
1	22	13
2	39	13
3	85	11
4	218	11
5	313	11
6	391	11
7	408	11
8	418	11
done	418	11
0	16	21
1	27	20
2	55	20
3	136	18
4	367	18
5	539	18
6	599	18
done	599	18
0	15	16
1	25	15
2	42	15
3	88	13
4	221	13
5	312	13
6	394	13
7	408	13
8	410	13
done	410	13
0	12	17
1	22	14
2	46	14
3	81	12
4	89	12
done	89	12
0	13	14
1	22	13
2	39	13
3	85	11
4	218	11
5	313	11
6	391	11
7	408	11
8	418	11
done	418	11
0	14	24
1	27	21
2	68	19
3	153	19
4	181	19
done	181	19
0	13	14
1	22	13
2	33	13
3	48	11
4	82	11
5	93	11
done	93	11
0	13	19
1	24	16
2	52	14
3	87	14
4	89	14
done	89	14
0	13	14
1	22	13
2	33	13
3	48	11
4	82	11
5	93	11
done	93	11
0	10	16
1	20	11
2	28	11
3	37	11
done	37	11
0	12	13
1	21	12
2	38	12
3	84	10
4	217	10
5	309	10
6	379	10
7	426	10
8	442	10
done	442	10
0	14	20
1	25	17
2	60	15
3	123	15
4	199	15
5	219	15
done	219	15
0	14	15
1	24	14
2	41	14
3	87	12
4	220	12
5	306	12
6	382	12
7	440	12
8	447	12
done	447	12
0	10	16
1	20	11
2	28	11
3	37	11
done	37	11
0	12	13
1	21	12
2	38	12
3	84	10
4	217	10
5	309	10
6	379	10
7	426	10
8	442	10
done	442	10
0	16	23
1	29	22
2	55	22
3	121	20
4	272	20
5	367	20
6	371	20
done	371	20
0	14	15
1	23	14
2	34	14
3	49	12
4	83	12
5	97	12
done	97	12
0	15	18
1	26	17
2	42	17
3	76	15
4	141	15
5	166	15
done	166	15
0	14	15
1	23	14
2	34	14
3	49	12
4	83	12
5	97	12
done	97	12
0	12	15
1	22	12
2	41	12
3	73	10
4	79	10
done	79	10
0	13	14
1	22	13
2	39	13
3	85	11
4	218	11
5	313	11
6	391	11
7	408	11
8	418	11
done	418	11
0	16	19
1	27	18
2	50	18
3	118	16
4	300	16
5	386	16
6	408	16
done	408	16
0	15	16
1	25	15
2	42	15
3	88	13
4	221	13
5	312	13
6	394	13
7	408	13
8	410	13
done	410	13
0	12	15
1	22	12
2	41	12
3	73	10
4	79	10
done	79	10
0	13	14
1	22	13
2	39	13
3	85	11
4	218	11
5	313	11
6	391	11
7	408	11
8	418	11
done	418	11
0	15	20
1	26	19
2	44	19
3	75	17
4	152	17
5	195	17
done	195	17
0	14	15
1	23	14
2	34	14
3	49	12
4	83	12
5	97	12
done	97	12
0	14	15
1	23	14
2	34	14
3	49	12
4	83	12
5	97	12
done	97	12
0	14	15
1	23	14
2	34	14
3	49	12
4	83	12
5	97	12
done	97	12
0	11	12
1	19	9
2	33	9
3	43	7
4	44	7
done	44	7
0	13	14
1	22	13
2	39	13
3	85	11
4	218	11
5	313	11
6	391	11
7	408	11
8	418	11
done	418	11
0	15	16
1	24	15
2	42	15
3	83	13
4	187	13
5	219	13
6	227	13
done	227	13
0	15	16
1	25	15
2	42	15
3	88	13
4	221	13
5	312	13
6	394	13
7	408	13
8	410	13
done	410	13
0	11	12
1	19	9
2	33	9
3	43	7
4	44	7
done	44	7
0	13	14
1	22	13
2	39	13
3	85	11
4	218	11
5	313	11
6	391	11
7	408	11
8	418	11
done	418	11
0	13	19
1	24	16
2	43	14
3	64	14
4	67	14
done	67	14
0	13	14
1	22	13
2	33	13
3	48	11
4	82	11
5	93	11
done	93	11
0	12	14
1	21	11
2	33	9
3	36	9
done	36	9
0	13	14
1	22	13
2	33	13
3	48	11
4	82	11
5	93	11
done	93	11
0	9	11
1	17	6
2	19	6
done	19	6
0	12	13
1	21	12
2	38	12
3	84	10
4	217	10
5	309	10
6	379	10
7	426	10
8	442	10
done	442	10
0	13	15
1	22	12
2	41	10
3	60	10
4	94	10
5	96	10
done	96	10
0	14	15
1	24	14
2	41	14
3	87	12
4	220	12
5	306	12
6	382	12
7	440	12
8	447	12
done	447	12
0	9	11
1	17	6
2	19	6
done	19	6
0	12	13
1	21	12
2	38	12
3	84	10
4	217	10
5	309	10
6	379	10
7	426	10
8	442	10
done	442	10
0	13	20
1	25	19
2	50	17
3	107	15
4	226	15
5	314	15
6	336	15
done	336	15
0	13	14
1	25	13
2	44	13
3	70	11
4	122	11
5	155	11
6	160	11
done	160	11
0	12	15
1	22	14
2	37	12
3	63	10
4	109	10
5	133	10
done	133	10
0	13	14
1	25	13
2	44	13
3	70	11
4	122	11
5	155	11
6	160	11
done	160	11
0	8	12
1	16	9
2	33	5
3	46	5
4	52	5
5	55	5
done	55	5
0	12	13
1	24	12
2	49	12
3	106	10
4	257	10
5	404	10
6	724	10
7	1358	10
8	3213	10
done	5000	10
0	13	16
1	22	15
2	44	13
3	102	11
4	198	11
5	283	11
6	340	11
7	345	11
done	345	11
0	14	15
1	27	14
2	52	14
3	109	12
4	260	12
5	377	12
6	492	12
7	560	12
8	608	12
9	622	12
done	622	12
0	8	12
1	16	9
2	33	5
3	46	5
4	52	5
5	55	5
done	55	5
0	12	13
1	24	12
2	49	12
3	106	10
4	257	10
5	404	10
6	724	10
7	1358	10
8	3213	10
done	5000	10
0	12	17
1	22	16
2	39	14
3	62	12
4	138	12
5	177	12
6	190	12
done	190	12
0	13	14
1	25	13
2	44	13
3	70	11
4	122	11
5	155	11
6	160	11
done	160	11
0	11	12
1	19	11
2	29	9
3	37	7
4	63	7
5	75	7
6	76	7
done	76	7
0	13	14
1	25	13
2	44	13
3	70	11
4	122	11
5	155	11
6	160	11
done	160	11
0	7	9
1	13	6
2	25	2
3	26	2
4	27	2
5	28	2
done	28	2
0	12	13
1	24	12
2	49	12
3	106	10
4	257	10
5	404	10
6	724	10
7	1358	10
8	3213	10
done	5000	10
0	12	13
1	19	12
2	36	10
3	68	8
4	132	8
5	178	8
6	203	8
done	203	8
0	14	15
1	27	14
2	52	14
3	109	12
4	260	12
5	377	12
6	492	12
7	560	12
8	608	12
9	622	12
done	622	12
0	7	9
1	13	6
2	25	2
3	26	2
4	27	2
5	28	2
done	28	2
0	12	13
1	24	12
2	49	12
3	106	10
4	257	10
5	404	10
6	724	10
7	1358	10
8	3213	10
done	5000	10
0	10	16
1	20	11
2	29	9
3	47	9
4	57	9
5	60	9
done	60	9
0	12	13
1	24	12
2	43	12
3	69	10
4	121	10
5	151	10
6	156	10
done	156	10
0	9	11
1	17	6
2	20	4
3	26	4
4	27	4
5	28	4
done	28	4
0	12	13
1	24	12
2	43	12
3	69	10
4	121	10
5	151	10
6	156	10
done	156	10
0	5	8
1	11	1
done	11	1
0	11	12
1	23	11
2	48	11
3	105	9
4	256	9
5	391	9
6	667	9
7	1317	9
8	3123	9
done	5001	9
0	10	12
1	17	7
2	27	5
3	41	5
4	42	5
5	43	5
done	43	5
0	13	14
1	26	13
2	51	13
3	108	11
4	259	11
5	366	11
6	478	11
7	603	11
8	659	11
9	675	11
done	675	11
0	5	8
1	11	1
done	11	1
0	11	12
1	23	11
2	48	11
3	105	9
4	256	9
5	391	9
6	667	9
7	1317	9
8	3123	9
done	5001	9
0	17	24
1	30	23
2	55	23
3	121	21
4	272	21
5	363	21
6	367	21
done	367	21
0	15	16
1	28	15
2	47	15
3	73	13
4	125	13
5	157	13
6	162	13
done	162	13
0	16	19
1	27	18
2	42	18
3	76	16
4	141	16
5	166	16
done	166	16
0	15	16
1	28	15
2	47	15
3	73	13
4	125	13
5	157	13
6	162	13
done	162	13
0	13	16
1	22	13
2	40	13
3	72	11
4	78	11
done	78	11
0	14	15
1	27	14
2	52	14
3	109	12
4	260	12
5	378	12
6	488	12
7	556	12
8	616	12
9	636	12
done	636	12
0	16	20
1	26	19
2	48	19
3	116	17
4	298	17
5	386	17
6	408	17
done	408	17
0	15	17
1	27	16
2	52	16
3	109	14
4	260	14
5	409	14
6	741	14
7	1540	14
8	4081	14
done	5000	14
0	13	16
1	22	13
2	40	13
3	72	11
4	78	11
done	78	11
0	14	15
1	27	14
2	52	14
3	109	12
4	260	12
5	378	12
6	488	12
7	556	12
8	616	12
9	636	12
done	636	12
0	16	21
1	27	20
2	44	20
3	75	18
4	151	18
5	199	18
done	199	18
0	15	16
1	28	15
2	47	15
3	73	13
4	125	13
5	157	13
6	162	13
done	162	13
0	15	16
1	24	15
2	34	15
3	49	13
4	83	13
5	95	13
done	95	13
0	15	16
1	28	15
2	47	15
3	73	13
4	125	13
5	157	13
6	162	13
done	162	13
0	12	13
1	19	10
2	32	10
3	42	8
4	43	8
done	43	8
0	14	15
1	27	14
2	52	14
3	109	12
4	260	12
5	378	12
6	488	12
7	556	12
8	616	12
9	636	12
done	636	12
0	15	17
1	23	16
2	40	16
3	81	14
4	185	14
5	221	14
6	229	14
done	229	14
0	15	17
1	27	16
2	52	16
3	109	14
4	260	14
5	409	14
6	741	14
7	1540	14
8	4081	14
done	5000	14
0	12	13
1	19	10
2	32	10
3	42	8
4	43	8
done	43	8
0	14	15
1	27	14
2	52	14
3	109	12
4	260	12
5	378	12
6	488	12
7	556	12
8	616	12
9	636	12
done	636	12
0	14	20
1	25	17
2	43	15
3	64	15
4	67	15
done	67	15
0	14	15
1	27	14
2	46	14
3	72	12
4	124	12
5	152	12
6	158	12
done	158	12
0	13	15
1	22	12
2	33	10
3	36	10
done	36	10
0	14	15
1	27	14
2	46	14
3	72	12
4	124	12
5	152	12
6	158	12
done	158	12
0	10	12
1	17	7
2	18	7
done	18	7
0	13	14
1	26	13
2	51	13
3	108	11
4	259	11
5	369	11
6	471	11
7	578	11
8	642	11
9	660	11
done	660	11
0	13	16
1	21	13
2	39	11
3	58	11
4	92	11
5	94	11
done	94	11
0	14	16
1	26	15
2	51	15
3	108	13
4	259	13
5	391	13
6	696	13
7	1529	13
8	3643	13
done	5000	13
0	10	12
1	17	7
2	18	7
done	18	7
0	13	14
1	26	13
2	51	13
3	108	11
4	259	11
5	369	11
6	471	11
7	578	11
8	642	11
9	660	11
done	660	11
0	13	20
1	25	19
2	50	17
3	107	15
4	226	15
5	314	15
6	336	15
done	336	15
0	13	14
1	25	13
2	44	13
3	70	11
4	122	11
5	155	11
6	160	11
done	160	11
0	12	15
1	22	14
2	37	12
3	63	10
4	109	10
5	133	10
done	133	10
0	13	14
1	25	13
2	44	13
3	70	11
4	122	11
5	155	11
6	160	11
done	160	11
0	8	12
1	16	9
2	33	5
3	46	5
4	52	5
5	55	5
done	55	5
0	12	13
1	24	12
2	49	12
3	106	10
4	257	10
5	404	10
6	724	10
7	1358	10
8	3213	10
done	5000	10
0	13	16
1	22	15
2	44	13
3	102	11
4	198	11
5	283	11
6	340	11
7	345	11
done	345	11
0	14	15
1	27	14
2	52	14
3	109	12
4	260	12
5	377	12
6	492	12
7	560	12
8	608	12
9	622	12
done	622	12
0	8	12
1	16	9
2	33	5
3	46	5
4	52	5
5	55	5
done	55	5
0	12	13
1	24	12
2	49	12
3	106	10
4	257	10
5	404	10
6	724	10
7	1358	10
8	3213	10
done	5000	10
0	12	17
1	22	16
2	39	14
3	62	12
4	138	12
5	177	12
6	190	12
done	190	12
0	13	14
1	25	13
2	44	13
3	70	11
4	122	11
5	155	11
6	160	11
done	160	11
0	11	12
1	19	11
2	29	9
3	37	7
4	63	7
5	75	7
6	76	7
done	76	7
0	13	14
1	25	13
2	44	13
3	70	11
4	122	11
5	155	11
6	160	11
done	160	11
0	7	9
1	13	6
2	25	2
3	26	2
4	27	2
5	28	2
done	28	2
0	12	13
1	24	12
2	49	12
3	106	10
4	257	10
5	404	10
6	724	10
7	1358	10
8	3213	10
done	5000	10
0	12	13
1	19	12
2	36	10
3	68	8
4	132	8
5	178	8
6	203	8
done	203	8
0	14	15
1	27	14
2	52	14
3	109	12
4	260	12
5	377	12
6	492	12
7	560	12
8	608	12
9	622	12
done	622	12
0	7	9
1	13	6
2	25	2
3	26	2
4	27	2
5	28	2
done	28	2
0	12	13
1	24	12
2	49	12
3	106	10
4	257	10
5	404	10
6	724	10
7	1358	10
8	3213	10
done	5000	10
0	10	16
1	20	11
2	29	9
3	47	9
4	57	9
5	60	9
done	60	9
0	12	13
1	24	12
2	43	12
3	69	10
4	121	10
5	151	10
6	156	10
done	156	10
0	9	11
1	17	6
2	20	4
3	26	4
4	27	4
5	28	4
done	28	4
0	12	13
1	24	12
2	43	12
3	69	10
4	121	10
5	151	10
6	156	10
done	156	10
0	5	8
1	11	1
done	11	1
0	11	12
1	23	11
2	48	11
3	105	9
4	256	9
5	391	9
6	667	9
7	1317	9
8	3123	9
done	5001	9
0	10	12
1	17	7
2	27	5
3	41	5
4	42	5
5	43	5
done	43	5
0	13	14
1	26	13
2	51	13
3	108	11
4	259	11
5	366	11
6	478	11
7	603	11
8	659	11
9	675	11
done	675	11
0	5	8
1	11	1
done	11	1
0	11	12
1	23	11
2	48	11
3	105	9
4	256	9
5	391	9
6	667	9
7	1317	9
8	3123	9
done	5001	9
0	9	14
1	17	13
2	25	11
3	34	9
4	47	9
5	49	9
done	49	9
0	12	13
1	24	12
2	43	12
3	69	10
4	121	10
5	151	10
6	156	10
done	156	10
0	8	9
1	14	8
2	18	6
3	23	4
4	27	4
done	27	4
0	12	13
1	24	12
2	43	12
3	69	10
4	121	10
5	151	10
6	156	10
done	156	10
0	4	6
1	8	1
done	8	1
0	11	12
1	23	11
2	48	11
3	105	9
4	256	9
5	391	9
6	667	9
7	1317	9
8	3123	9
done	5001	9
0	9	10
1	14	9
2	25	7
3	30	5
4	42	5
done	42	5
0	13	14
1	26	13
2	51	13
3	108	11
4	259	11
5	366	11
6	478	11
7	603	11
8	659	11
9	675	11
done	675	11
0	4	6
1	8	1
done	8	1
0	11	12
1	23	11
2	48	11
3	105	9
4	256	9
5	391	9
6	667	9
7	1317	9
8	3123	9
done	5001	9
0	11	16
1	23	15
2	39	15
3	52	13
4	94	13
5	123	13
done	123	13
0	10	11
1	18	10
2	28	8
3	36	6
4	62	6
5	81	6
6	105	6
done	105	6
0	10	11
1	20	10
2	27	10
3	30	8
4	52	8
5	65	8
done	65	8
0	10	11
1	18	10
2	28	8
3	36	6
4	62	6
5	81	6
6	105	6
done	105	6
0	7	8
1	16	5
2	24	5
done	24	5
0	9	10
1	17	9
2	33	7
3	70	5
4	156	5
5	235	5
6	341	5
7	436	5
8	494	5
done	494	5
0	11	12
1	21	11
2	35	11
3	50	9
4	94	9
5	125	9
6	133	9
7	139	9
done	139	9
0	11	12
1	19	11
2	35	9
3	72	7
4	158	7
5	242	7
6	359	7
7	450	7
8	499	7
done	499	7
0	7	8
1	16	5
2	24	5
done	24	5
0	9	10
1	17	9
2	33	7
3	70	5
4	156	5
5	235	5
6	341	5
7	436	5
8	494	5
done	494	5
0	3	4
1	5	1
done	5	1
0	11	12
1	23	11
2	48	11
3	105	9
4	256	9
5	391	9
6	667	9
7	1317	9
8	3123	9
done	5001	9
0	8	8
1	17	7
2	23	7
3	26	5
done	26	5
0	7	8
1	13	7
2	23	5
3	33	3
4	53	3
5	59	3
done	59	3
0	14	16
1	40	15
2	85	15
3	230	13
4	912	13
5	3793	13
done	5000	13
0	10	14
1	19	11
2	27	11
3	28	11
4	29	11
done	29	11
0	13	16
1	29	15
2	65	15
3	202	13
4	733	13
5	1752	13
6	2751	13
done	5001	13
0	6	6
1	9	5
done	9	5
0	12	23
1	24	23
2	37	23
3	56	23
4	66	23
5	73	23
done	73	23
0	11	12
1	21	12
2	34	12
3	53	12
4	63	12
5	70	12
done	70	12
0	11	12
1	21	12
2	34	12
3	53	12
4	63	12
5	70	12
done	70	12
0	11	12
1	21	12
2	34	12
3	53	12
4	63	12
5	70	12
done	70	12
0	14	25
1	30	25
2	55	25
3	88	23
4	148	23
5	209	23
done	209	23
0	12	13
1	22	13
2	29	13
3	32	11
4	45	11
5	50	11
done	50	11
0	13	20
1	25	20
2	37	20
3	52	18
4	79	18
5	113	18
done	113	18
0	12	13
1	22	13
2	29	13
3	32	11
4	45	11
5	50	11
done	50	11
0	10	17
1	21	15
2	35	15
3	46	15
done	46	15
0	11	12
1	21	12
2	34	12
3	54	10
4	101	10
5	144	10
6	184	10
7	204	10
8	222	10
9	227	10
done	227	10
0	14	21
1	26	21
2	45	21
3	80	19
4	153	19
5	231	19
6	234	19
done	234	19
0	13	14
1	24	14
2	37	14
3	57	12
4	104	12
5	142	12
6	166	12
7	171	12
8	172	12
done	172	12
0	10	17
1	21	15
2	35	15
3	46	15
done	46	15
0	11	12
1	21	12
2	34	12
3	54	10
4	101	10
5	144	10
6	184	10
7	204	10
8	222	10
9	227	10
done	227	10
0	13	18
1	25	18
2	36	18
3	46	16
4	70	16
5	83	16
done	83	16
0	12	13
1	22	13
2	29	13
3	32	11
4	45	11
5	50	11
done	50	11
0	12	13
1	22	13
2	29	13
3	32	11
4	45	11
5	50	11
done	50	11
0	12	13
1	22	13
2	29	13
3	32	11
4	45	11
5	50	11
done	50	11
0	9	10
1	18	8
2	26	8
3	28	8
done	28	8
0	11	12
1	21	12
2	34	12
3	54	10
4	101	10
5	144	10
6	184	10
7	204	10
8	222	10
9	227	10
done	227	10
0	13	14
1	23	14
2	37	14
3	52	12
4	87	12
5	104	12
done	104	12
0	13	14
1	24	14
2	37	14
3	57	12
4	104	12
5	142	12
6	166	12
7	171	12
8	172	12
done	172	12
0	9	10
1	18	8
2	26	8
3	28	8
done	28	8
0	11	12
1	21	12
2	34	12
3	54	10
4	101	10
5	144	10
6	184	10
7	204	10
8	222	10
9	227	10
done	227	10
0	16	27
1	33	27
2	86	27
3	249	25
4	705	25
5	1127	25
6	1129	25
done	1129	25
0	13	14
1	22	14
2	33	14
3	48	12
4	82	12
5	92	12
done	92	12
0	15	22
1	30	22
2	67	22
3	160	20
4	369	20
5	500	20
6	501	20
done	501	20
0	13	14
1	22	14
2	33	14
3	48	12
4	82	12
5	92	12
done	92	12
0	12	19
1	26	17
2	65	17
3	147	15
4	187	15
done	187	15
0	12	13
1	21	13
2	38	13
3	84	11
4	217	11
5	314	11
6	392	11
7	409	11
8	423	11
done	423	11
0	16	23
1	31	23
2	75	23
3	218	21
4	663	21
5	1042	21
6	1159	21
done	1159	21
0	14	15
1	24	15
2	41	15
3	87	13
4	220	13
5	309	13
6	390	13
7	405	13
8	409	13
done	409	13
0	12	19
1	26	17
2	65	17
3	147	15
4	187	15
done	187	15
0	12	13
1	21	13
2	38	13
3	84	11
4	217	11
5	314	11
6	392	11
7	409	11
8	423	11
done	423	11
0	15	24
1	28	24
2	58	24
3	139	22
4	355	22
5	560	22
done	560	22
0	13	14
1	22	14
2	33	14
3	48	12
4	82	12
5	92	12
done	92	12
0	14	19
1	25	19
2	46	19
3	93	17
4	190	17
5	262	17
done	262	17
0	13	14
1	22	14
2	33	14
3	48	12
4	82	12
5	92	12
done	92	12
0	11	16
1	21	14
2	45	14
3	80	12
4	88	12
done	88	12
0	12	13
1	21	13
2	38	13
3	84	11
4	217	11
5	314	11
6	392	11
7	409	11
8	423	11
done	423	11
0	15	20
1	26	20
2	54	20
3	135	18
4	372	18
5	544	18
6	602	18
done	602	18
0	14	15
1	24	15
2	41	15
3	87	13
4	220	13
5	309	13
6	390	13
7	405	13
8	409	13
done	409	13
0	11	16
1	21	14
2	45	14
3	80	12
4	88	12
done	88	12
0	12	13
1	21	13
2	38	13
3	84	11
4	217	11
5	314	11
6	392	11
7	409	11
8	423	11
done	423	11
0	13	23
1	26	21
2	67	19
3	152	19
4	178	19
done	178	19
0	12	13
1	21	13
2	32	13
3	47	11
4	81	11
5	92	11
done	92	11
0	12	18
1	23	16
2	51	14
3	86	14
4	88	14
done	88	14
0	12	13
1	21	13
2	32	13
3	47	11
4	81	11
5	92	11
done	92	11
0	9	15
1	19	11
2	27	11
3	36	11
done	36	11
0	11	12
1	20	12
2	37	12
3	83	10
4	216	10
5	308	10
6	378	10
7	431	10
8	446	10
done	446	10
0	13	19
1	24	17
2	59	15
3	122	15
4	198	15
5	218	15
done	218	15
0	13	14
1	23	14
2	40	14
3	86	12
4	219	12
5	303	12
6	378	12
7	434	12
8	438	12
done	438	12
0	9	15
1	19	11
2	27	11
3	36	11
done	36	11
0	11	12
1	20	12
2	37	12
3	83	10
4	216	10
5	308	10
6	378	10
7	431	10
8	446	10
done	446	10
0	15	22
1	28	22
2	54	22
3	120	20
4	269	20
5	358	20
6	362	20
done	362	20
0	13	14
1	22	14
2	33	14
3	48	12
4	82	12
5	92	12
done	92	12
0	14	17
1	25	17
2	41	17
3	75	15
4	140	15
5	165	15
done	165	15
0	13	14
1	22	14
2	33	14
3	48	12
4	82	12
5	92	12
done	92	12
0	11	14
1	21	12
2	40	12
3	72	10
4	78	10
done	78	10
0	12	13
1	21	13
2	38	13
3	84	11
4	217	11
5	314	11
6	392	11
7	409	11
8	423	11
done	423	11
0	15	18
1	26	18
2	49	18
3	117	16
4	298	16
5	385	16
6	407	16
done	407	16
0	14	15
1	24	15
2	41	15
3	87	13
4	220	13
5	309	13
6	390	13
7	405	13
8	409	13
done	409	13
0	11	14
1	21	12
2	40	12
3	72	10
4	78	10
done	78	10
0	12	13
1	21	13
2	38	13
3	84	11
4	217	11
5	314	11
6	392	11
7	409	11
8	423	11
done	423	11
0	14	19
1	25	19
2	43	19
3	74	17
4	151	17
5	196	17
done	196	17
0	13	14
1	22	14
2	33	14
3	48	12
4	82	12
5	92	12
done	92	12
0	13	14
1	22	14
2	33	14
3	48	12
4	82	12
5	92	12
done	92	12
0	13	14
1	22	14
2	33	14
3	48	12
4	82	12
5	92	12
done	92	12
0	10	11
1	18	9
2	32	9
3	42	7
4	44	7
done	44	7
0	12	13
1	21	13
2	38	13
3	84	11
4	217	11
5	314	11
6	392	11
7	409	11
8	423	11
done	423	11
0	14	15
1	23	15
2	41	15
3	82	13
4	186	13
5	220	13
6	228	13
done	228	13
0	14	15
1	24	15
2	41	15
3	87	13
4	220	13
5	309	13
6	390	13
7	405	13
8	409	13
done	409	13
0	10	11
1	18	9
2	32	9
3	42	7
4	44	7
done	44	7
0	12	13
1	21	13
2	38	13
3	84	11
4	217	11
5	314	11
6	392	11
7	409	11
8	423	11
done	423	11
0	12	18
1	23	16
2	42	14
3	63	14
4	66	14
done	66	14
0	12	13
1	21	13
2	32	13
3	47	11
4	81	11
5	92	11
done	92	11
0	11	13
1	20	11
2	32	9
3	35	9
done	35	9
0	12	13
1	21	13
2	32	13
3	47	11
4	81	11
5	92	11
done	92	11
0	8	10
1	16	6
2	18	6
done	18	6
0	11	12
1	20	12
2	37	12
3	83	10
4	216	10
5	308	10
6	378	10
7	431	10
8	446	10
done	446	10
0	12	14
1	21	12
2	40	10
3	59	10
4	93	10
5	95	10
done	95	10
0	13	14
1	23	14
2	40	14
3	86	12
4	219	12
5	303	12
6	378	12
7	434	12
8	438	12
done	438	12
0	8	10
1	16	6
2	18	6
done	18	6
0	11	12
1	20	12
2	37	12
3	83	10
4	216	10
5	308	10
6	378	10
7	431	10
8	446	10
done	446	10
0	12	19
1	24	19
2	49	15
3	126	15
4	256	15
5	354	15
6	361	15
done	361	15
0	12	13
1	24	13
2	43	13
3	69	11
4	121	11
5	156	11
6	160	11
done	160	11
0	11	14
1	21	14
2	36	10
3	82	10
4	129	10
5	154	10
done	154	10
0	12	13
1	24	13
2	43	13
3	69	11
4	121	11
5	156	11
6	160	11
done	160	11
0	7	11
1	15	9
2	32	5
3	45	5
4	51	5
5	54	5
done	54	5
0	11	12
1	23	12
2	48	12
3	105	10
4	256	10
5	404	10
6	730	10
7	1392	10
8	3287	10
done	5001	10
0	12	15
1	21	15
2	43	11
3	123	11
4	237	11
5	336	11
6	386	11
7	390	11
done	390	11
0	13	14
1	26	14
2	51	14
3	108	12
4	259	12
5	376	12
6	492	12
7	561	12
8	612	12
9	626	12
done	626	12
0	7	11
1	15	9
2	32	5
3	45	5
4	51	5
5	54	5
done	54	5
0	11	12
1	23	12
2	48	12
3	105	10
4	256	10
5	404	10
6	730	10
7	1392	10
8	3287	10
done	5001	10
0	11	16
1	21	16
2	38	12
3	74	12
4	144	12
5	195	12
done	195	12
0	12	13
1	24	13
2	43	13
3	69	11
4	121	11
5	156	11
6	160	11
done	160	11
0	10	11
1	18	11
2	28	7
3	50	7
4	68	7
5	76	7
done	76	7
0	12	13
1	24	13
2	43	13
3	69	11
4	121	11
5	156	11
6	160	11
done	160	11
0	6	8
1	12	6
2	24	2
3	25	2
4	26	2
5	27	2
done	27	2
0	11	12
1	23	12
2	48	12
3	105	10
4	256	10
5	404	10
6	730	10
7	1392	10
8	3287	10
done	5001	10
0	11	12
1	18	12
2	35	8
3	77	8
4	133	8
5	193	8
6	205	8
done	205	8
0	13	14
1	26	14
2	51	14
3	108	12
4	259	12
5	376	12
6	492	12
7	561	12
8	612	12
9	626	12
done	626	12
0	6	8
1	12	6
2	24	2
3	25	2
4	26	2
5	27	2
done	27	2
0	11	12
1	23	12
2	48	12
3	105	10
4	256	10
5	404	10
6	730	10
7	1392	10
8	3287	10
done	5001	10
0	9	15
1	19	11
2	28	9
3	44	9
4	54	9
5	57	9
done	57	9
0	11	12
1	23	12
2	42	12
3	68	10
4	120	10
5	146	10
6	151	10
done	151	10
0	8	10
1	16	6
2	19	4
3	25	4
4	26	4
5	27	4
done	27	4
0	11	12
1	23	12
2	42	12
3	68	10
4	120	10
5	146	10
6	151	10
done	151	10
0	4	7
1	10	1
done	10	1
0	10	11
1	22	11
2	47	11
3	104	9
4	256	9
5	395	9
6	673	9
7	1333	9
8	3195	9
done	5000	9
0	9	11
1	16	7
2	26	5
3	40	5
4	41	5
5	42	5
done	42	5
0	12	13
1	25	13
2	50	13
3	107	11
4	258	11
5	367	11
6	480	11
7	605	11
8	656	11
9	673	11
done	673	11
0	4	7
1	10	1
done	10	1
0	10	11
1	22	11
2	47	11
3	104	9
4	256	9
5	395	9
6	673	9
7	1333	9
8	3195	9
done	5000	9
0	16	23
1	29	23
2	54	23
3	120	21
4	273	21
5	368	21
6	372	21
done	372	21
0	14	15
1	27	15
2	46	15
3	72	13
4	124	13
5	157	13
6	162	13
done	162	13
0	15	18
1	26	18
2	41	18
3	75	16
4	140	16
5	162	16
done	162	16
0	14	15
1	27	15
2	46	15
3	72	13
4	124	13
5	157	13
6	162	13
done	162	13
0	12	15
1	21	13
2	39	13
3	71	11
4	77	11
done	77	11
0	13	14
1	26	14
2	51	14
3	108	12
4	259	12
5	378	12
6	489	12
7	557	12
8	617	12
9	637	12
done	637	12
0	15	19
1	25	19
2	47	19
3	115	17
4	298	17
5	388	17
6	410	17
done	410	17
0	14	16
1	26	16
2	51	16
3	108	14
4	259	14
5	406	14
6	749	14
7	1550	14
8	4066	14
done	5001	14
0	12	15
1	21	13
2	39	13
3	71	11
4	77	11
done	77	11
0	13	14
1	26	14
2	51	14
3	108	12
4	259	12
5	378	12
6	489	12
7	557	12
8	617	12
9	637	12
done	637	12
0	15	20
1	26	20
2	43	20
3	74	18
4	151	18
5	196	18
done	196	18
0	14	15
1	27	15
2	46	15
3	72	13
4	124	13
5	157	13
6	162	13
done	162	13
0	14	15
1	23	15
2	33	15
3	48	13
4	83	13
5	95	13
done	95	13
0	14	15
1	27	15
2	46	15
3	72	13
4	124	13
5	157	13
6	162	13
done	162	13
0	11	12
1	18	10
2	31	10
3	41	8
4	42	8
done	42	8
0	13	14
1	26	14
2	51	14
3	108	12
4	259	12
5	378	12
6	489	12
7	557	12
8	617	12
9	637	12
done	637	12
0	14	16
1	22	16
2	39	16
3	80	14
4	184	14
5	220	14
6	228	14
done	228	14
0	14	16
1	26	16
2	51	16
3	108	14
4	259	14
5	406	14
6	749	14
7	1550	14
8	4066	14
done	5001	14
0	11	12
1	18	10
2	31	10
3	41	8
4	42	8
done	42	8
0	13	14
1	26	14
2	51	14
3	108	12
4	259	12
5	378	12
6	489	12
7	557	12
8	617	12
9	637	12
done	637	12
0	13	19
1	24	17
2	42	15
3	63	15
4	66	15
done	66	15
0	13	14
1	26	14
2	45	14
3	71	12
4	123	12
5	151	12
6	157	12
done	157	12
0	12	14
1	21	12
2	32	10
3	35	10
done	35	10
0	13	14
1	26	14
2	45	14
3	71	12
4	123	12
5	151	12
6	157	12
done	157	12
0	9	11
1	16	7
2	17	7
done	17	7
0	12	13
1	25	13
2	50	13
3	107	11
4	258	11
5	370	11
6	472	11
7	581	11
8	645	11
9	660	11
done	660	11
0	12	15
1	20	13
2	38	11
3	57	11
4	91	11
5	93	11
done	93	11
0	13	15
1	25	15
2	50	15
3	107	13
4	258	13
5	390	13
6	687	13
7	1488	13
8	3539	13
done	5000	13
0	9	11
1	16	7
2	17	7
done	17	7
0	12	13
1	25	13
2	50	13
3	107	11
4	258	11
5	370	11
6	472	11
7	581	11
8	645	11
9	660	11
done	660	11
0	12	19
1	24	19
2	49	15
3	126	15
4	256	15
5	354	15
6	361	15
done	361	15
0	12	13
1	24	13
2	43	13
3	69	11
4	121	11
5	156	11
6	160	11
done	160	11
0	11	14
1	21	14
2	36	10
3	82	10
4	129	10
5	154	10
done	154	10
0	12	13
1	24	13
2	43	13
3	69	11
4	121	11
5	156	11
6	160	11
done	160	11
0	7	11
1	15	9
2	32	5
3	45	5
4	51	5
5	54	5
done	54	5
0	11	12
1	23	12
2	48	12
3	105	10
4	256	10
5	404	10
6	730	10
7	1392	10
8	3287	10
done	5001	10
0	12	15
1	21	15
2	43	11
3	123	11
4	237	11
5	336	11
6	386	11
7	390	11
done	390	11
0	13	14
1	26	14
2	51	14
3	108	12
4	259	12
5	376	12
6	492	12
7	561	12
8	612	12
9	626	12
done	626	12
0	7	11
1	15	9
2	32	5
3	45	5
4	51	5
5	54	5
done	54	5
0	11	12
1	23	12
2	48	12
3	105	10
4	256	10
5	404	10
6	730	10
7	1392	10
8	3287	10
done	5001	10
0	11	16
1	21	16
2	38	12
3	74	12
4	144	12
5	195	12
done	195	12
0	12	13
1	24	13
2	43	13
3	69	11
4	121	11
5	156	11
6	160	11
done	160	11
0	10	11
1	18	11
2	28	7
3	50	7
4	68	7
5	76	7
done	76	7
0	12	13
1	24	13
2	43	13
3	69	11
4	121	11
5	156	11
6	160	11
done	160	11
0	6	8
1	12	6
2	24	2
3	25	2
4	26	2
5	27	2
done	27	2
0	11	12
1	23	12
2	48	12
3	105	10
4	256	10
5	404	10
6	730	10
7	1392	10
8	3287	10
done	5001	10
0	11	12
1	18	12
2	35	8
3	77	8
4	133	8
5	193	8
6	205	8
done	205	8
0	13	14
1	26	14
2	51	14
3	108	12
4	259	12
5	376	12
6	492	12
7	561	12
8	612	12
9	626	12
done	626	12
0	6	8
1	12	6
2	24	2
3	25	2
4	26	2
5	27	2
done	27	2
0	11	12
1	23	12
2	48	12
3	105	10
4	256	10
5	404	10
6	730	10
7	1392	10
8	3287	10
done	5001	10
0	9	15
1	19	11
2	28	9
3	44	9
4	54	9
5	57	9
done	57	9
0	11	12
1	23	12
2	42	12
3	68	10
4	120	10
5	146	10
6	151	10
done	151	10
0	8	10
1	16	6
2	19	4
3	25	4
4	26	4
5	27	4
done	27	4
0	11	12
1	23	12
2	42	12
3	68	10
4	120	10
5	146	10
6	151	10
done	151	10
0	4	7
1	10	1
done	10	1
0	10	11
1	22	11
2	47	11
3	104	9
4	256	9
5	395	9
6	673	9
7	1333	9
8	3195	9
done	5000	9
0	9	11
1	16	7
2	26	5
3	40	5
4	41	5
5	42	5
done	42	5
0	12	13
1	25	13
2	50	13
3	107	11
4	258	11
5	367	11
6	480	11
7	605	11
8	656	11
9	673	11
done	673	11
0	4	7
1	10	1
done	10	1
0	10	11
1	22	11
2	47	11
3	104	9
4	256	9
5	395	9
6	673	9
7	1333	9
8	3195	9
done	5000	9
0	8	13
1	16	9
2	26	9
3	39	9
4	48	9
5	49	9
done	49	9
0	11	12
1	23	12
2	42	12
3	68	10
4	120	10
5	146	10
6	151	10
done	151	10
0	7	8
1	13	4
2	19	4
3	21	4
4	22	4
done	22	4
0	11	12
1	23	12
2	42	12
3	68	10
4	120	10
5	146	10
6	151	10
done	151	10
0	3	5
1	6	1
done	6	1
0	10	11
1	22	11
2	47	11
3	104	9
4	256	9
5	395	9
6	673	9
7	1333	9
8	3195	9
done	5000	9
0	8	9
1	13	5
2	26	5
3	36	5
4	37	5
done	37	5
0	12	13
1	25	13
2	50	13
3	107	11
4	258	11
5	367	11
6	480	11
7	605	11
8	656	11
9	673	11
done	673	11
0	3	5
1	6	1
done	6	1
0	10	11
1	22	11
2	47	11
3	104	9
4	256	9
5	395	9
6	673	9
7	1333	9
8	3195	9
done	5000	9
0	10	15
1	22	15
2	38	15
3	51	13
4	93	13
5	126	13
done	126	13
0	9	10
1	17	10
2	27	6
3	42	6
4	63	6
5	80	6
6	93	6
done	93	6
0	9	10
1	19	10
2	26	10
3	29	8
4	51	8
5	64	8
done	64	8
0	9	10
1	17	10
2	27	6
3	42	6
4	63	6
5	80	6
6	93	6
done	93	6
0	6	7
1	15	5
2	23	5
done	23	5
0	8	9
1	16	9
2	32	5
3	66	5
4	120	5
5	173	5
6	225	5
7	267	5
8	335	5
9	386	5
10	394	5
done	394	5
0	10	11
1	20	11
2	34	11
3	49	9
4	93	9
5	126	9
6	134	9
7	140	9
done	140	9
0	10	11
1	18	11
2	34	7
3	68	7
4	122	7
5	180	7
6	250	7
7	300	7
8	351	7
9	374	7
done	374	7
0	6	7
1	15	5
2	23	5
done	23	5
0	8	9
1	16	9
2	32	5
3	66	5
4	120	5
5	173	5
6	225	5
7	267	5
8	335	5
9	386	5
10	394	5
done	394	5
0	2	3
1	4	1
done	4	1
0	10	11
1	22	11
2	47	11
3	104	9
4	256	9
5	395	9
6	673	9
7	1333	9
8	3195	9
done	5000	9
0	7	7
1	16	7
2	22	7
3	25	5
done	25	5
0	6	7
1	12	3
2	24	3
3	37	3
4	47	3
5	54	3
6	56	3
done	56	3
0	13	15
1	39	15
2	84	15
3	229	13
4	922	13
5	3776	13
done	5000	13
0	9	13
1	18	11
2	26	11
3	27	11
4	28	11
done	28	11
0	12	15
1	28	15
2	64	15
3	201	13
4	734	13
5	1741	13
6	2771	13
done	5000	13
0	5	5
1	8	5
done	8	5
0	10	11
1	22	11
2	47	11
3	104	9
4	256	9
5	395	9
6	673	9
7	1333	9
8	3195	9
done	5000	9
0	10	11
1	22	9
2	52	9
3	111	9
4	194	9
5	290	9
6	540	9
7	1124	9
8	1877	9
9	3915	9
done	5000	9
0	12	23
1	24	23
2	37	23
3	56	23
4	66	23
5	73	23
done	73	23
0	11	12
1	21	12
2	34	12
3	53	12
4	63	12
5	70	12
done	70	12
0	14	25
1	30	25
2	55	25
3	88	23
4	148	23
5	209	23
done	209	23
0	13	20
1	25	20
2	37	20
3	52	18
4	79	18
5	113	18
done	113	18
0	10	17
1	21	15
2	35	15
3	46	15
done	46	15
0	14	21
1	26	21
2	45	21
3	80	19
4	153	19
5	231	19
6	234	19
done	234	19
0	10	17
1	21	15
2	35	15
3	46	15
done	46	15
0	13	18
1	25	18
2	36	18
3	46	16
4	70	16
5	83	16
done	83	16
0	12	13
1	22	13
2	29	13
3	32	11
4	45	11
5	50	11
done	50	11
0	9	10
1	18	8
2	26	8
3	28	8
done	28	8
0	13	14
1	23	14
2	37	14
3	52	12
4	87	12
5	104	12
done	104	12
0	9	10
1	18	8
2	26	8
3	28	8
done	28	8
0	16	27
1	33	27
2	86	27
3	249	25
4	705	25
5	1127	25
6	1129	25
done	1129	25
0	15	22
1	30	22
2	67	22
3	160	20
4	369	20
5	500	20
6	501	20
done	501	20
0	12	19
1	26	17
2	65	17
3	147	15
4	187	15
done	187	15
0	16	23
1	31	23
2	75	23
3	218	21
4	663	21
5	1042	21
6	1159	21
done	1159	21
0	12	19
1	26	17
2	65	17
3	147	15
4	187	15
done	187	15
0	15	24
1	28	24
2	58	24
3	139	22
4	355	22
5	560	22
done	560	22
0	14	19
1	25	19
2	46	19
3	93	17
4	190	17
5	262	17
done	262	17
0	11	16
1	21	14
2	45	14
3	80	12
4	88	12
done	88	12
0	15	20
1	26	20
2	54	20
3	135	18
4	372	18
5	544	18
6	602	18
done	602	18
0	11	16
1	21	14
2	45	14
3	80	12
4	88	12
done	88	12
0	13	23
1	26	21
2	67	19
3	152	19
4	178	19
done	178	19
0	12	18
1	23	16
2	51	14
3	86	14
4	88	14
done	88	14
0	9	15
1	19	11
2	27	11
3	36	11
done	36	11
0	13	19
1	24	17
2	59	15
3	122	15
4	198	15
5	218	15
done	218	15
0	9	15
1	19	11
2	27	11
3	36	11
done	36	11
0	15	22
1	28	22
2	54	22
3	120	20
4	269	20
5	358	20
6	362	20
done	362	20
0	14	17
1	25	17
2	41	17
3	75	15
4	140	15
5	165	15
done	165	15
0	11	14
1	21	12
2	40	12
3	72	10
4	78	10
done	78	10
0	15	18
1	26	18
2	49	18
3	117	16
4	298	16
5	385	16
6	407	16
done	407	16
0	11	14
1	21	12
2	40	12
3	72	10
4	78	10
done	78	10
0	14	19
1	25	19
2	43	19
3	74	17
4	151	17
5	196	17
done	196	17
0	13	14
1	22	14
2	33	14
3	48	12
4	82	12
5	92	12
done	92	12
0	10	11
1	18	9
2	32	9
3	42	7
4	44	7
done	44	7
0	14	15
1	23	15
2	41	15
3	82	13
4	186	13
5	220	13
6	228	13
done	228	13
0	10	11
1	18	9
2	32	9
3	42	7
4	44	7
done	44	7
0	12	18
1	23	16
2	42	14
3	63	14
4	66	14
done	66	14
0	11	13
1	20	11
2	32	9
3	35	9
done	35	9
0	8	10
1	16	6
2	18	6
done	18	6
0	12	14
1	21	12
2	40	10
3	59	10
4	93	10
5	95	10
done	95	10
0	8	10
1	16	6
2	18	6
done	18	6
0	12	19
1	24	19
2	49	15
3	126	15
4	256	15
5	354	15
6	361	15
done	361	15
0	11	14
1	21	14
2	36	10
3	82	10
4	129	10
5	154	10
done	154	10
0	7	11
1	15	9
2	32	5
3	45	5
4	51	5
5	54	5
done	54	5
0	12	15
1	21	15
2	43	11
3	123	11
4	237	11
5	336	11
6	386	11
7	390	11
done	390	11
0	7	11
1	15	9
2	32	5
3	45	5
4	51	5
5	54	5
done	54	5
0	11	16
1	21	16
2	38	12
3	74	12
4	144	12
5	195	12
done	195	12
0	10	11
1	18	11
2	28	7
3	50	7
4	68	7
5	76	7
done	76	7
0	6	8
1	12	6
2	24	2
3	25	2
4	26	2
5	27	2
done	27	2
0	11	12
1	18	12
2	35	8
3	77	8
4	133	8
5	193	8
6	205	8
done	205	8
0	6	8
1	12	6
2	24	2
3	25	2
4	26	2
5	27	2
done	27	2
0	9	15
1	19	11
2	28	9
3	44	9
4	54	9
5	57	9
done	57	9
0	8	10
1	16	6
2	19	4
3	25	4
4	26	4
5	27	4
done	27	4
0	4	7
1	10	1
done	10	1
0	9	11
1	16	7
2	26	5
3	40	5
4	41	5
5	42	5
done	42	5
0	4	7
1	10	1
done	10	1
0	16	23
1	29	23
2	54	23
3	120	21
4	273	21
5	368	21
6	372	21
done	372	21
0	15	18
1	26	18
2	41	18
3	75	16
4	140	16
5	162	16
done	162	16
0	12	15
1	21	13
2	39	13
3	71	11
4	77	11
done	77	11
0	15	19
1	25	19
2	47	19
3	115	17
4	298	17
5	388	17
6	410	17
done	410	17
0	12	15
1	21	13
2	39	13
3	71	11
4	77	11
done	77	11
0	15	20
1	26	20
2	43	20
3	74	18
4	151	18
5	196	18
done	196	18
0	14	15
1	23	15
2	33	15
3	48	13
4	83	13
5	95	13
done	95	13
0	11	12
1	18	10
2	31	10
3	41	8
4	42	8
done	42	8
0	14	16
1	22	16
2	39	16
3	80	14
4	184	14
5	220	14
6	228	14
done	228	14
0	11	12
1	18	10
2	31	10
3	41	8
4	42	8
done	42	8
0	13	19
1	24	17
2	42	15
3	63	15
4	66	15
done	66	15
0	12	14
1	21	12
2	32	10
3	35	10
done	35	10
0	9	11
1	16	7
2	17	7
done	17	7
0	12	15
1	20	13
2	38	11
3	57	11
4	91	11
5	93	11
done	93	11
0	9	11
1	16	7
2	17	7
done	17	7
0	12	19
1	24	19
2	49	15
3	126	15
4	256	15
5	354	15
6	361	15
done	361	15
0	11	14
1	21	14
2	36	10
3	82	10
4	129	10
5	154	10
done	154	10
0	7	11
1	15	9
2	32	5
3	45	5
4	51	5
5	54	5
done	54	5
0	12	15
1	21	15
2	43	11
3	123	11
4	237	11
5	336	11
6	386	11
7	390	11
done	390	11
0	7	11
1	15	9
2	32	5
3	45	5
4	51	5
5	54	5
done	54	5
0	11	16
1	21	16
2	38	12
3	74	12
4	144	12
5	195	12
done	195	12
0	10	11
1	18	11
2	28	7
3	50	7
4	68	7
5	76	7
done	76	7
0	6	8
1	12	6
2	24	2
3	25	2
4	26	2
5	27	2
done	27	2
0	11	12
1	18	12
2	35	8
3	77	8
4	133	8
5	193	8
6	205	8
done	205	8
0	6	8
1	12	6
2	24	2
3	25	2
4	26	2
5	27	2
done	27	2
0	9	15
1	19	11
2	28	9
3	44	9
4	54	9
5	57	9
done	57	9
0	8	10
1	16	6
2	19	4
3	25	4
4	26	4
5	27	4
done	27	4
0	4	7
1	10	1
done	10	1
0	9	11
1	16	7
2	26	5
3	40	5
4	41	5
5	42	5
done	42	5
0	4	7
1	10	1
done	10	1
0	8	13
1	16	9
2	26	9
3	39	9
4	48	9
5	49	9
done	49	9
0	7	8
1	13	4
2	19	4
3	21	4
4	22	4
done	22	4
0	3	5
1	6	1
done	6	1
0	8	9
1	13	5
2	26	5
3	36	5
4	37	5
done	37	5
0	3	5
1	6	1
done	6	1
0	10	15
1	22	15
2	38	15
3	51	13
4	93	13
5	126	13
done	126	13
0	9	10
1	19	10
2	26	10
3	29	8
4	51	8
5	64	8
done	64	8
0	6	7
1	15	5
2	23	5
done	23	5
0	10	11
1	20	11
2	34	11
3	49	9
4	93	9
5	126	9
6	134	9
7	140	9
done	140	9
0	6	7
1	15	5
2	23	5
done	23	5
0	2	3
1	4	1
done	4	1
0	7	7
1	16	7
2	22	7
3	25	5
done	25	5
0	13	15
1	39	15
2	84	15
3	229	13
4	922	13
5	3776	13
done	5000	13
0	12	15
1	28	15
2	64	15
3	201	13
4	734	13
5	1741	13
6	2771	13
done	5000	13
0	11	12
1	23	11
2	52	11
3	98	9
4	192	9
5	288	9
6	539	9
7	1054	9
8	1841	9
9	3833	9
done	5001	9
0	11	12
1	23	11
2	52	11
3	98	9
4	192	9
5	288	9
6	539	9
7	1054	9
8	1841	9
9	3833	9
done	5001	9
0	10	11
1	22	9
2	52	9
3	111	9
4	194	9
5	290	9
6	540	9
7	1124	9
8	1877	9
9	3915	9
done	5000	9
0	7	7
1	16	7
2	22	7
3	25	5
done	25	5
0	7	7
1	11	7
2	13	7
done	13	7
0	6	6
1	14	6
2	19	6
3	22	6
done	22	6
0	6	6
1	11	6
2	17	6
3	21	6
4	24	6
5	30	6
6	34	6
7	50	6
8	54	6
9	61	6
10	70	6
11	90	6
12	111	6
13	129	6
14	136	6
15	142	6
16	145	6
done	145	6
0	9	17
1	20	17
2	68	9
3	203	7
4	562	7
5	2030	7
done	5000	7
0	7	13
1	12	13
2	15	13
3	17	13
done	17	13
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	7	17
1	19	17
2	50	7
3	176	7
4	571	7
5	1720	7
done	5001	7
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	2	2
done	2	2
0	3	3
done	3	3
0	3	3
done	3	3
0	9	15
1	17	15
2	27	15
3	33	15
done	33	15
0	7	7
1	9	7
2	10	7
done	10	7
0	8	12
1	12	12
2	15	12
3	16	12
done	16	12
0	7	7
1	9	7
2	10	7
done	10	7
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	6	6
1	8	6
2	9	6
done	9	6
0	8	10
1	12	10
2	13	10
done	13	10
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	6	6
1	10	4
2	13	4
done	13	4
0	6	6
1	8	6
2	9	6
done	9	6
0	5	7
1	9	7
done	9	7
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	4	4
1	6	4
done	6	4
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	2	3
1	4	1
done	4	1
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	9	11
1	12	11
done	12	11
0	8	8
1	13	8
2	16	8
3	18	8
done	18	8
0	8	8
1	9	8
done	9	8
0	8	8
1	13	8
2	16	8
3	18	8
done	18	8
0	7	7
1	10	5
2	12	5
done	12	5
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	5	7
1	9	7
done	9	7
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	4	4
1	6	4
done	6	4
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	2	3
1	4	1
done	4	1
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	3	3
1	5	3
done	5	3
0	5	5
1	7	5
2	8	5
done	8	5
0	7	9
1	14	9
2	22	9
3	27	9
4	30	9
done	30	9
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	5	5
1	12	3
2	17	3
done	17	3
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	5	5
1	7	5
2	8	5
done	8	5
0	7	7
1	9	7
2	10	7
done	10	7
0	5	5
1	7	5
2	8	5
done	8	5
0	9	13
1	23	11
2	52	11
3	78	11
4	87	11
5	89	11
done	89	11
0	5	5
1	13	5
2	14	5
done	14	5
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	8	9
1	16	9
2	31	9
3	51	9
4	75	9
5	90	9
6	110	9
7	132	9
8	141	9
9	150	9
10	181	9
11	213	9
12	218	9
13	233	9
14	269	9
15	359	9
16	589	9
17	790	9
18	915	9
19	969	9
done	969	9
0	8	9
1	16	9
2	31	9
3	51	9
4	75	9
5	90	9
6	110	9
7	132	9
8	141	9
9	150	9
10	181	9
11	213	9
12	218	9
13	233	9
14	269	9
15	359	9
16	589	9
17	790	9
18	915	9
19	969	9
done	969	9
0	1	1
done	1	1
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	6	7
1	8	7
2	11	7
done	11	7
0	6	7
1	8	7
2	11	7
done	11	7
0	6	7
1	8	7
2	11	7
done	11	7

prune386.0ms

Filtered

337 candidates to 646 candidates (-91.7%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	645	1	646
Fresh	0	8	8
Picked	1	0	1
Done	0	1	1
Total	646	10	656

Merged error: 3.2b

Counts

656 → 10

regimes504.0ms

Accuracy

16.1% (4.5b remaining)

Error of 8.5b against oracle of 4.0b and baseline of 9.4b

bsearch59.0ms

Steps

Iters	Range		Point
5	3.7012182592754445e-134	8.082617107761435e-134	5.62063204327648e-134
10	-5.915973271901564e-214	-6.5582180480617695e-226	-3.001114041026476e-218

simplify2.0ms

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	20	41
1	26	29
done	26	29

end0.0ms

sample1.1s

Algorithm

intervals

Results

337.0ms	7308×	body	80	valid
75.0ms	471×	body	640	valid
55.0ms	241×	body	1280	valid
50.0ms	409×	body	320	valid
28.0ms	258×	body	160	valid
3.0ms	11×	body	2560	valid

Details

sample44.0ms

simplify5.7s

prune4.0ms

localize10.0ms

rewrite32.0ms

series71.0ms

simplify1.8min

prune155.0ms

localize10.0ms

rewrite76.0ms

series82.0ms

simplify1.8min

prune214.0ms

localize10.0ms

rewrite69.0ms

series67.0ms

simplify1.4min

prune204.0ms

localize11.0ms

rewrite230.0ms

series96.0ms

simplify9.3min

prune386.0ms

regimes504.0ms

bsearch59.0ms

simplify2.0ms

end0.0ms

sample1.1s

Profiling