Details

sample27.0ms

Algorithm

intervals

Results

9.0ms

268×

body

valid

simplify1.3s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	14	9
2	30	9
3	63	9
4	124	9
5	204	9
6	327	9
7	490	9
8	765	9
9	1013	9
10	1031	9
done	1031	9

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: 7.2b

Counts

2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (- y z) (- t z))
7.2b	(/ x (* (- y z) (- t z)))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 63

Calls

2 calls:

10.0ms	(* (- y z) (- t z))
10.0ms	(/ x (* (- y z) (- t z)))

series43.0ms

Counts

2 → 6

Calls

2 calls:

8.0ms	(* (- y z) (- t z))
35.0ms	(/ x (* (- y z) (- t z)))

simplify1.9min

Counts

69 → 69

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	12
1	19	12
2	30	12
3	40	12
4	50	12
5	66	12
6	85	12
7	101	12
8	106	12
done	106	12
0	10	11
1	19	11
2	40	11
3	81	11
4	152	11
5	244	11
6	386	11
7	575	11
8	857	11
9	1104	11
10	1142	11
11	1176	11
12	1220	11
13	1222	11
done	1222	11
0	9	10
1	18	10
2	42	10
3	87	10
4	161	10
5	244	10
6	383	10
7	565	10
8	856	10
9	1114	10
10	1156	10
11	1188	10
12	1230	10
13	1232	10
done	1232	10
0	9	10
1	15	10
2	31	10
3	64	10
4	125	10
5	207	10
6	330	10
7	493	10
8	769	10
9	1018	10
10	1036	10
done	1036	10
0	14	29
1	32	29
2	152	15
3	776	15
4	3370	13
done	5000	13
0	12	29
1	34	29
2	182	13
3	1053	11
4	4295	11
done	5000	11
0	10	21
1	16	21
2	32	21
3	65	21
4	126	21
5	206	21
6	329	21
7	492	21
8	765	21
9	1012	21
10	1028	21
done	1028	21
0	9	10
1	15	10
2	31	10
3	64	10
4	125	10
5	207	10
6	330	10
7	493	10
8	769	10
9	1018	10
10	1036	10
done	1036	10
0	10	29
1	23	29
2	85	11
3	372	11
4	1484	11
done	5002	11
0	9	10
1	15	10
2	31	10
3	64	10
4	125	10
5	207	10
6	330	10
7	493	10
8	769	10
9	1018	10
10	1036	10
done	1036	10
0	9	10
1	15	10
2	31	10
3	64	10
4	125	10
5	207	10
6	330	10
7	493	10
8	769	10
9	1018	10
10	1036	10
done	1036	10
0	2	2
done	2	2
0	7	8
1	15	8
2	42	8
3	122	8
4	238	7
5	506	7
6	733	7
7	935	7
8	1075	7
done	1075	7
0	7	9
1	11	9
2	17	9
3	20	9
4	22	9
done	22	9
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	6	6
1	8	6
2	9	6
done	9	6
0	5	5
1	9	5
2	10	5
done	10	5
0	5	5
1	7	5
2	8	5
done	8	5
0	8	9
1	16	9
2	32	9
3	65	9
4	126	9
5	206	9
6	329	9
7	492	9
8	765	9
9	1013	9
10	1029	9
done	1029	9
0	8	9
1	14	9
2	35	9
3	89	9
4	197	9
5	370	9
6	662	9
7	986	9
8	1602	9
9	2268	9
10	2544	9
11	2579	9
done	2579	9
0	5	5
1	7	5
2	8	5
done	8	5
0	9	10
1	15	10
2	36	10
3	90	10
4	198	10
5	373	10
6	665	10
7	991	10
8	1609	10
9	2275	10
10	2551	10
11	2586	10
done	2586	10
0	9	10
1	15	10
2	36	10
3	90	10
4	198	10
5	373	10
6	665	10
7	991	10
8	1609	10
9	2275	10
10	2551	10
11	2586	10
done	2586	10
0	8	9
1	14	9
2	35	9
3	89	9
4	197	9
5	370	9
6	662	9
7	986	9
8	1602	9
9	2268	9
10	2544	9
11	2579	9
done	2579	9
0	12	17
1	36	17
2	79	17
3	263	17
4	1255	17
done	5000	17
0	13	17
1	35	17
2	82	17
3	271	17
4	1300	17
done	5002	17
0	13	17
1	35	17
2	82	17
3	272	17
4	1312	17
done	5000	17
0	11	17
1	23	17
2	60	17
3	248	17
4	1058	17
5	3536	17
done	5000	17
0	11	13
1	31	13
2	67	13
3	187	13
4	621	13
5	2301	13
done	5000	13
0	10	13
1	20	13
2	47	13
3	148	13
4	427	13
5	998	13
6	2977	13
done	5000	13
0	11	13
1	31	13
2	67	13
3	187	13
4	630	13
5	2323	13
done	5001	13
0	10	13
1	20	13
2	47	13
3	149	13
4	426	13
5	1000	13
6	2974	13
done	5000	13
0	6	7
1	10	7
2	24	7
3	57	7
4	118	7
5	190	7
6	313	7
7	476	7
8	749	7
9	993	7
10	1011	7
done	1011	7
0	8	9
1	12	9
2	14	9
done	14	9
0	7	8
1	14	8
2	29	8
3	62	8
4	123	8
5	201	8
6	324	8
7	487	8
8	763	8
9	1012	8
10	1030	8
done	1030	8
0	7	8
1	13	8
2	38	8
3	95	8
4	222	8
5	490	8
6	1241	8
7	4858	8
done	5000	8
0	10	23
1	20	23
2	77	11
3	337	11
4	1532	9
done	5000	9
0	8	17
1	12	17
2	26	17
3	59	17
4	120	17
5	192	17
6	315	17
7	478	17
8	754	17
9	999	17
10	1015	17
done	1015	17
0	7	8
1	11	8
2	25	8
3	58	8
4	119	8
5	191	8
6	314	8
7	477	8
8	753	8
9	998	8
10	1016	8
done	1016	8
0	8	23
1	22	23
2	97	9
3	484	9
4	2134	9
done	5001	9
0	7	8
1	11	8
2	25	8
3	58	8
4	119	8
5	191	8
6	314	8
7	477	8
8	753	8
9	998	8
10	1016	8
done	1016	8
0	7	8
1	11	8
2	25	8
3	58	8
4	119	8
5	191	8
6	314	8
7	477	8
8	753	8
9	998	8
10	1016	8
done	1016	8
0	10	15
1	32	15
2	73	15
3	249	15
4	1206	15
done	5000	15
0	13	23
1	34	19
2	113	19
3	484	19
4	1546	19
done	5000	19
0	11	15
1	31	15
2	74	15
3	251	15
4	1265	15
done	5000	15
0	10	15
1	25	13
2	76	13
3	198	13
4	507	13
5	1118	13
6	1436	13
7	1486	13
8	1507	13
9	1570	13
10	1785	13
11	2723	13
done	5000	13
0	11	15
1	31	15
2	74	15
3	251	15
4	1261	15
done	5002	15
0	10	15
1	25	13
2	78	13
3	202	13
4	456	13
5	1070	13
6	1574	13
7	1639	13
8	1663	13
9	1724	13
10	1942	13
11	2881	13
done	5000	13
0	9	15
1	19	15
2	50	15
3	219	15
4	1019	15
5	3434	15
done	5000	15
0	6	7
1	15	7
2	39	7
3	59	7
4	89	7
5	107	7
6	109	7
done	109	7
0	8	9
1	12	9
2	14	9
done	14	9
0	8	9
1	12	9
2	14	9
done	14	9
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	5	6
1	9	6
2	18	6
3	37	6
4	50	5
5	51	5
done	51	5
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	5	6
1	9	6
2	18	6
3	37	6
4	50	5
5	51	5
done	51	5
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	5	6
1	9	6
2	24	6
3	36	6
4	51	5
done	51	5
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	5	6
1	9	6
2	24	6
3	36	6
4	51	5
done	51	5
0	8	13
1	14	13
2	24	13
3	41	13
4	51	13
5	61	13
done	61	13
0	7	8
1	11	8
2	19	8
3	24	8
4	28	8
done	28	8
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	8	9
1	18	9
2	38	9
3	65	9
4	111	9
5	158	9
6	228	9
7	409	9
8	643	9
9	716	9
10	720	9
done	720	9
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	7	8
1	11	8
2	19	8
3	24	8
4	28	8
done	28	8
0	7	8
1	11	8
2	19	8
3	24	8
4	28	8
done	28	8
0	6	7
1	10	7
2	24	7
3	57	7
4	118	7
5	190	7
6	313	7
7	476	7
8	749	7
9	993	7
10	1011	7
done	1011	7
0	8	9
1	13	9
2	27	9
3	61	9
4	125	9
5	221	9
6	296	9
7	426	9
8	644	9
9	801	9
10	808	9
done	808	9
0	6	7
1	10	7
2	24	7
3	57	7
4	118	7
5	190	7
6	313	7
7	476	7
8	749	7
9	993	7
10	1011	7
done	1011	7
0	9	11
1	27	11
2	61	11
3	177	11
4	604	11
5	2235	11
done	5000	11
0	8	11
1	16	11
2	39	11
3	132	11
4	401	11
5	971	11
6	2932	11
done	5001	11
0	9	11
1	27	11
2	61	11
3	177	11
4	599	11
5	2242	11
done	5000	11
0	8	11
1	16	11
2	39	11
3	132	11
4	401	11
5	973	11
6	2959	11
done	5000	11
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	9	11
1	21	11
2	44	9
3	57	9
4	78	9
5	109	9
6	163	9
7	263	9
8	510	9
9	1451	9
done	5000	9
0	9	11
1	21	11
2	44	9
3	57	9
4	78	9
5	109	9
6	163	9
7	263	9
8	510	9
9	1454	9
done	5000	9
0	9	11
1	21	11
2	44	9
3	57	9
4	78	9
5	109	9
6	163	9
7	263	9
8	510	9
9	1454	9
done	5000	9

prune125.0ms

Filtered

56 candidates to 69 candidates (-23.2%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	61	8	69
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	62	8	70

Merged error: 0.0b

Counts

70 → 8

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ x (- t z))
0.0b	(/ 1 (- y z))
2.2b	(* (/ 1 (- y z)) (/ x (- t z)))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

86×	`add-sqr-sqrt`
71×	`*-un-lft-identity`
67×	`times-frac`
41×	`add-cube-cbrt`
31×	`add-exp-log`
21×	`associate-r` `associate-l`
19×	`add-cbrt-cube`
14×	`distribute-lft-out--` `difference-of-squares`
11×	`div-exp`
10×	`associate-/r*`
8×	`prod-exp` `associate-/r/`
6×	`pow1` `cbrt-undiv` `associate-/l*` `unswap-sqr`
4×	`flip3--` `flip--` `cbrt-unprod` `div-inv`
3×	`rec-exp` `1-exp` `add-log-exp`
2×	`frac-2neg` `clear-num`
1×	`frac-times` `pow-flip` `associate-r/` `pow-prod-down` `associate-l/` `*-commutative` `inv-pow`

Counts

3 → 150

Calls

3 calls:

6.0ms	(/ x (- t z))
6.0ms	(/ 1 (- y z))
22.0ms	(* (/ 1 (- y z)) (/ x (- t z)))

series69.0ms

Counts

3 → 9

Calls

3 calls:

8.0ms	(/ x (- t z))
5.0ms	(/ 1 (- y z))
56.0ms	(* (/ 1 (- y z)) (/ x (- t z)))

simplify3.2min

Counts

159 → 159

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	20	11
2	31	9
3	76	9
4	163	9
5	348	9
6	571	9
7	924	9
8	1382	9
9	2000	9
10	3203	9
11	3703	9
12	3941	9
done	3941	9
0	12	13
1	20	13
2	30	12
3	44	12
4	55	12
5	65	12
6	82	12
7	104	12
8	111	12
done	111	12
0	11	12
1	18	12
2	27	11
3	40	11
4	55	11
5	60	11
6	70	11
7	87	11
8	109	11
9	116	11
done	116	11
0	13	14
1	25	13
2	52	12
3	113	12
4	264	12
5	357	12
6	373	12
done	373	12
0	12	13
1	23	12
2	46	11
3	96	11
4	228	11
5	316	11
6	327	11
done	327	11
0	14	15
1	28	14
2	53	13
3	122	12
4	273	12
5	366	12
6	382	12
done	382	12
0	13	14
1	26	13
2	46	12
3	99	11
4	228	11
5	315	11
6	328	11
done	328	11
0	13	14
1	27	13
2	44	12
3	90	12
4	185	12
5	308	12
6	320	12
done	320	12
0	12	13
1	25	12
2	39	11
3	74	11
4	157	11
5	279	11
6	370	11
7	373	11
done	373	11
0	11	12
1	24	12
2	46	10
3	113	10
4	268	10
5	608	10
6	958	10
7	1382	10
8	1844	10
9	2470	10
10	3675	10
11	4185	10
12	4506	10
13	4712	10
14	4833	10
done	4833	10
0	11	12
1	23	12
2	40	10
3	103	10
4	251	10
5	620	10
6	1525	10
done	5000	10
0	18	35
1	45	31
2	171	15
3	965	13
done	5001	13
0	16	35
1	41	31
2	126	13
3	523	13
4	2499	13
done	5001	13
0	16	35
1	42	35
2	158	17
3	695	15
4	3539	13
done	5000	13
0	14	35
1	38	35
2	113	15
3	388	15
4	1591	11
done	5001	11
0	12	25
1	22	25
2	33	21
3	78	21
4	165	21
5	350	21
6	573	21
7	926	21
8	1387	21
9	2005	21
10	3208	21
11	3708	21
12	3950	21
done	3950	21
0	11	12
1	21	12
2	32	10
3	77	10
4	164	10
5	349	10
6	571	10
7	922	10
8	1386	10
9	2006	10
10	3210	10
11	3709	10
12	3945	10
done	3945	10
0	12	35
1	32	35
2	116	11
3	511	11
4	1955	11
done	5000	11
0	11	12
1	21	12
2	32	10
3	77	10
4	164	10
5	349	10
6	571	10
7	922	10
8	1386	10
9	2006	10
10	3210	10
11	3709	10
12	3945	10
done	3945	10
0	11	12
1	21	12
2	32	10
3	77	10
4	164	10
5	349	10
6	571	10
7	922	10
8	1386	10
9	2006	10
10	3210	10
11	3709	10
12	3945	10
done	3945	10
0	3	3
1	6	1
done	6	1
0	6	7
1	10	7
2	24	7
3	57	7
4	118	7
5	190	7
6	313	7
7	476	7
8	749	7
9	993	7
10	1011	7
done	1011	7
0	12	13
1	18	13
2	20	13
done	20	13
0	12	13
1	18	13
2	20	13
done	20	13
0	13	14
1	21	14
2	26	14
3	30	14
4	31	14
done	31	14
0	13	14
1	21	14
2	26	14
3	30	14
4	31	14
done	31	14
0	13	14
1	21	13
2	26	13
3	28	11
4	42	11
done	42	11
0	13	14
1	21	13
2	26	13
3	28	11
4	42	11
done	42	11
0	14	15
1	24	14
2	35	14
3	52	12
4	105	12
5	145	12
6	150	12
done	150	12
0	14	15
1	24	14
2	35	14
3	52	12
4	105	12
5	145	12
6	150	12
done	150	12
0	12	13
1	20	13
2	25	11
3	38	11
4	43	11
done	43	11
0	12	13
1	20	13
2	25	11
3	38	11
4	43	11
done	43	11
0	13	14
1	23	14
2	34	12
3	73	12
4	124	12
5	163	12
6	171	12
done	171	12
0	13	14
1	23	14
2	34	12
3	73	12
4	124	12
5	163	12
6	171	12
done	171	12
0	12	19
1	22	19
2	32	17
3	63	17
4	92	17
5	113	17
6	120	17
7	123	17
done	123	17
0	11	12
1	19	12
2	24	10
3	40	10
4	54	10
5	64	10
6	66	10
7	68	10
done	68	10
0	14	21
1	30	21
2	73	19
3	223	19
4	602	19
5	1219	19
6	1532	19
7	2084	19
8	2513	19
9	2515	19
done	2515	19
0	13	16
1	25	16
2	45	14
3	125	14
4	290	14
5	484	14
6	594	14
7	741	14
8	851	14
done	851	14
0	10	13
1	21	11
2	48	9
3	184	9
4	296	9
5	390	9
6	499	9
7	713	9
8	821	9
9	862	9
done	862	9
0	14	17
1	26	17
2	45	15
3	125	15
4	307	15
5	558	15
6	838	15
7	1393	15
8	1929	15
9	2481	15
10	3593	15
done	5000	15
0	10	13
1	21	11
2	48	9
3	184	9
4	296	9
5	390	9
6	499	9
7	713	9
8	821	9
9	862	9
done	862	9
0	13	18
1	25	18
2	46	16
3	121	16
4	297	16
5	631	16
6	781	16
7	1064	16
8	1261	16
done	1261	16
0	12	13
1	22	13
2	33	11
3	75	11
4	151	11
5	267	11
6	322	11
7	394	11
8	438	11
done	438	11
0	9	10
1	18	8
2	32	6
3	87	6
4	147	6
5	199	6
6	246	6
7	345	6
8	413	6
9	428	6
done	428	6
0	13	14
1	23	14
2	33	12
3	75	12
4	167	12
5	329	12
6	500	12
7	834	12
8	1077	12
9	1423	12
10	2122	12
11	3147	12
12	3624	12
13	3680	12
14	3684	12
done	3684	12
0	9	10
1	18	8
2	32	6
3	87	6
4	147	6
5	199	6
6	246	6
7	345	6
8	413	6
9	428	6
done	428	6
0	11	17
1	23	17
2	43	15
3	93	15
4	173	15
5	228	15
6	267	15
7	356	15
8	395	15
done	395	15
0	10	12
1	20	12
2	31	10
3	53	10
4	81	10
5	105	10
6	118	10
7	142	10
8	155	10
done	155	10
0	7	9
1	16	5
2	21	5
3	36	5
4	51	5
5	62	5
6	66	5
done	66	5
0	11	13
1	21	13
2	31	11
3	53	11
4	97	11
5	163	11
6	230	11
7	334	11
8	453	11
9	589	11
10	858	11
11	1208	11
12	1364	11
13	1385	11
14	1387	11
done	1387	11
0	7	9
1	16	5
2	21	5
3	36	5
4	51	5
5	62	5
6	66	5
done	66	5
0	6	7
1	13	5
2	14	5
done	14	5
0	7	7
1	14	7
2	18	5
3	21	5
4	23	5
5	25	5
done	25	5
0	13	15
1	37	15
2	68	13
3	161	13
4	459	13
5	1986	13
done	5000	13
0	12	15
1	26	15
2	49	13
3	149	13
4	463	13
5	1332	13
6	3194	13
done	5000	13
0	11	12
1	19	12
2	24	12
3	31	12
4	37	12
5	41	12
6	43	12
done	43	12
0	11	12
1	19	12
2	24	12
3	31	12
4	37	12
5	41	12
6	43	12
done	43	12
0	12	13
1	22	12
2	33	12
3	53	10
4	104	10
5	157	10
6	212	10
7	270	10
8	365	10
9	400	10
done	400	10
0	12	13
1	22	12
2	33	12
3	53	10
4	104	10
5	157	10
6	212	10
7	270	10
8	365	10
9	400	10
done	400	10
0	11	12
1	21	11
2	32	11
3	55	9
4	137	9
5	314	9
6	533	9
7	884	9
8	1343	9
9	1964	9
10	3168	9
11	3671	9
12	3914	9
done	3914	9
0	13	14
1	24	13
2	35	13
3	58	11
4	141	11
5	321	11
6	587	11
7	971	11
8	1432	11
9	1933	11
10	2666	11
11	3090	11
12	3131	11
done	3131	11
0	11	12
1	21	11
2	32	11
3	55	9
4	137	9
5	314	9
6	533	9
7	884	9
8	1343	9
9	1964	9
10	3168	9
11	3671	9
12	3914	9
done	3914	9
0	12	13
1	22	12
2	33	12
3	53	10
4	104	10
5	157	10
6	212	10
7	270	10
8	365	10
9	400	10
done	400	10
0	12	13
1	22	12
2	33	12
3	53	10
4	104	10
5	157	10
6	212	10
7	270	10
8	365	10
9	400	10
done	400	10
0	11	12
1	21	11
2	32	11
3	55	9
4	137	9
5	314	9
6	533	9
7	884	9
8	1343	9
9	1964	9
10	3168	9
11	3671	9
12	3914	9
done	3914	9
0	13	14
1	24	13
2	35	13
3	58	11
4	141	11
5	321	11
6	587	11
7	971	11
8	1432	11
9	1933	11
10	2666	11
11	3090	11
12	3131	11
done	3131	11
0	11	12
1	21	11
2	32	11
3	55	9
4	137	9
5	314	9
6	533	9
7	884	9
8	1343	9
9	1964	9
10	3168	9
11	3671	9
12	3914	9
done	3914	9
0	11	12
1	21	12
2	32	10
3	74	10
4	123	10
5	183	10
6	241	10
7	299	10
8	394	10
9	426	10
done	426	10
0	11	12
1	21	12
2	32	10
3	74	10
4	123	10
5	183	10
6	241	10
7	299	10
8	394	10
9	426	10
done	426	10
0	10	11
1	20	11
2	31	9
3	76	9
4	163	9
5	348	9
6	571	9
7	924	9
8	1382	9
9	2000	9
10	3203	9
11	3703	9
12	3941	9
done	3941	9
0	12	13
1	23	13
2	34	11
3	79	11
4	165	11
5	353	11
6	626	11
7	1008	11
8	1468	11
9	1964	11
10	2702	11
11	3128	11
12	3169	11
done	3169	11
0	10	11
1	20	11
2	31	9
3	76	9
4	163	9
5	348	9
6	571	9
7	924	9
8	1382	9
9	2000	9
10	3203	9
11	3703	9
12	3941	9
done	3941	9
0	10	11
1	20	11
2	31	9
3	76	9
4	163	9
5	348	9
6	571	9
7	924	9
8	1382	9
9	2000	9
10	3203	9
11	3703	9
12	3941	9
done	3941	9
0	10	11
1	20	11
2	31	9
3	76	9
4	163	9
5	348	9
6	571	9
7	924	9
8	1382	9
9	2000	9
10	3203	9
11	3703	9
12	3941	9
done	3941	9
0	12	17
1	24	15
2	50	15
3	123	15
4	194	15
5	279	15
6	387	15
7	506	15
8	578	15
9	584	15
done	584	15
0	8	9
1	14	9
2	26	9
3	45	9
4	57	9
5	71	9
6	85	9
7	92	9
done	92	9
0	7	7
1	14	7
2	18	5
3	21	5
4	23	5
5	25	5
done	25	5
0	7	7
1	14	5
2	25	5
3	30	5
4	35	5
5	39	5
done	39	5
0	2	2
1	5	1
done	5	1
0	5	5
1	7	5
2	8	5
done	8	5
0	6	6
1	10	5
2	15	5
3	17	5
4	23	5
5	28	5
done	28	5
0	7	7
1	13	6
2	15	5
3	21	5
4	27	5
5	32	5
done	32	5
0	6	6
1	14	5
2	16	5
3	20	5
4	22	5
5	28	5
6	33	5
done	33	5
0	6	6
1	10	6
2	11	6
done	11	6
0	9	17
1	21	13
2	46	7
3	112	7
4	275	7
5	740	7
6	2085	7
done	5000	7
0	7	13
1	11	13
2	12	13
done	12	13
0	6	6
1	10	6
2	11	6
done	11	6
0	7	17
1	18	17
2	35	7
3	78	7
4	115	7
5	198	7
6	378	7
7	954	7
8	2476	7
done	5000	7
0	6	6
1	10	6
2	11	6
done	11	6
0	6	6
1	10	6
2	11	6
done	11	6
0	2	2
1	5	1
done	5	1
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	9	15
1	19	13
2	29	11
3	35	11
done	35	11
0	7	7
1	11	6
2	12	6
done	12	6
0	8	10
1	14	8
2	17	6
3	18	6
done	18	6
0	7	7
1	11	6
2	12	6
done	12	6
0	4	7
1	8	3
2	12	1
done	12	1
0	6	6
1	10	5
2	11	5
done	11	5
0	9	11
1	14	9
2	16	7
3	17	7
done	17	7
0	8	8
1	12	7
2	13	7
done	13	7
0	4	7
1	8	3
2	12	1
done	12	1
0	6	6
1	10	5
2	11	5
done	11	5
0	8	12
1	14	11
2	15	11
done	15	11
0	7	7
1	11	6
2	12	6
done	12	6
0	7	7
1	11	6
2	12	6
done	12	6
0	7	7
1	11	6
2	12	6
done	12	6
0	3	4
1	5	1
done	5	1
0	6	6
1	10	5
2	11	5
done	11	5
0	8	8
1	11	7
done	11	7
0	8	8
1	12	7
2	13	7
done	13	7
0	3	4
1	5	1
done	5	1
0	6	6
1	10	5
2	11	5
done	11	5
0	7	11
1	13	11
2	14	11
done	14	11
0	6	6
1	10	6
2	11	6
done	11	6
0	6	6
1	10	6
2	11	6
done	11	6
0	6	6
1	10	6
2	11	6
done	11	6
0	2	3
1	4	1
done	4	1
0	5	5
1	9	5
2	10	5
done	10	5
0	7	7
1	10	7
done	10	7
0	7	7
1	11	7
2	12	7
done	12	7
0	2	3
1	4	1
done	4	1
0	5	5
1	9	5
2	10	5
done	10	5
0	5	5
1	9	5
2	10	5
done	10	5
0	5	5
1	12	3
2	17	3
done	17	3
0	7	11
1	13	11
2	14	11
done	14	11
0	6	6
1	10	6
2	11	6
done	11	6
0	2	3
1	4	1
done	4	1
0	7	7
1	10	7
done	10	7
0	2	3
1	4	1
done	4	1
0	6	6
1	13	5
2	16	5
3	18	3
4	23	3
5	27	3
done	27	3
0	6	6
1	13	5
2	16	5
3	18	3
4	23	3
5	27	3
done	27	3
0	5	5
1	12	3
2	17	3
done	17	3
0	8	9
1	25	9
2	47	9
3	83	9
4	175	9
5	519	9
6	2307	9
done	5000	9
0	7	9
1	14	9
2	23	9
3	40	9
4	65	9
5	106	9
6	164	9
7	332	9
8	1645	9
done	5000	9
0	7	7
1	11	7
2	13	7
done	13	7
0	6	6
1	11	6
2	14	6
3	15	6
done	15	6
0	6	6
1	8	6
2	9	6
done	9	6
0	9	17
1	20	17
2	65	9
3	173	7
4	394	7
5	1087	7
6	3797	7
done	5000	7
0	7	13
1	9	13
2	10	13
done	10	13
0	6	6
1	8	6
2	9	6
done	9	6
0	7	17
1	16	17
2	33	7
3	77	7
4	173	7
5	423	7
6	1031	7
7	3017	7
done	5001	7
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	2	2
done	2	2
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	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	10
1	12	10
2	15	10
3	16	10
done	16	10
0	7	7
1	9	7
2	10	7
done	10	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	8	6
2	9	6
done	9	6
0	9	11
1	12	11
2	14	11
3	15	11
done	15	11
0	8	8
1	10	8
2	11	8
done	11	8
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	8	6
2	9	6
done	9	6
0	8	12
1	12	12
2	13	12
done	13	12
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	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	8	6
2	9	6
done	9	6
0	8	8
1	9	8
done	9	8
0	8	8
1	10	8
2	11	8
done	11	8
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	8	6
2	9	6
done	9	6
0	7	11
1	13	11
2	14	11
done	14	11
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	10	6
2	11	6
done	11	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	3
1	4	1
done	4	1
0	5	5
1	7	5
2	8	5
done	8	5
0	7	7
1	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	2	3
1	4	1
done	4	1
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	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	7	11
1	11	11
2	12	11
done	12	11
0	6	6
1	8	6
2	9	6
done	9	6
0	3	3
1	5	1
done	5	1
0	7	7
1	8	7
done	8	7
0	3	3
1	5	1
done	5	1
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	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	8	9
1	23	9
2	45	9
3	81	9
4	173	9
5	521	9
6	2320	9
done	5001	9
0	7	9
1	12	9
2	21	9
3	38	9
4	63	9
5	104	9
6	160	9
7	328	9
8	1613	9
done	5000	9
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1

prune165.0ms

Filtered

102 candidates to 159 candidates (-55.9%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	156	3	159
Fresh	3	4	7
Picked	0	1	1
Done	0	0	0
Total	159	8	167

Merged error: 0b

Counts

167 → 8

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ x (- t z))
2.1b	(/ (/ x (- t z)) (- y z))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

210×	`times-frac`
176×	`add-sqr-sqrt` `*-un-lft-identity`
88×	`add-cube-cbrt`
44×	`distribute-lft-out--` `difference-of-squares`
24×	`associate-/l*`
16×	`associate-/r/`
10×	`associate-/r*`
9×	`add-exp-log` `add-cbrt-cube`
8×	`flip3--` `flip--` `div-inv`
4×	`cbrt-undiv` `div-exp`
2×	`pow1` `frac-2neg` `clear-num` `add-log-exp`
1×	`associate-/l/`

Counts

2 → 185

Calls

2 calls:

6.0ms	(/ x (- t z))
14.0ms	(/ (/ x (- t z)) (- y z))

series43.0ms

Counts

2 → 6

Calls

2 calls:

12.0ms	(/ x (- t z))
30.0ms	(/ (/ x (- t z)) (- y z))

simplify2.6min

Counts

191 → 191

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	18	11
2	27	11
3	42	11
4	56	11
5	60	11
6	68	11
7	83	11
8	109	11
9	118	11
done	118	11
0	9	10
1	17	10
2	35	10
3	75	10
4	137	10
5	211	10
6	339	10
7	503	10
8	774	10
9	1054	10
10	1096	10
11	1130	10
12	1172	10
13	1174	10
done	1174	10
0	9	10
1	14	10
2	25	10
3	53	10
4	98	10
5	160	10
6	284	10
7	433	10
8	692	10
9	954	10
10	974	10
done	974	10
0	14	29
1	31	29
2	132	15
3	617	13
4	2736	11
done	5000	11
0	12	29
1	30	29
2	101	13
3	416	11
4	1771	11
done	5000	11
0	10	21
1	15	21
2	26	21
3	54	21
4	99	21
5	163	21
6	281	21
7	430	21
8	686	21
9	948	21
10	968	21
done	968	21
0	9	10
1	14	10
2	25	10
3	53	10
4	98	10
5	160	10
6	284	10
7	433	10
8	692	10
9	954	10
10	974	10
done	974	10
0	10	29
1	22	29
2	64	11
3	243	11
4	1114	11
5	4662	11
done	5000	11
0	9	10
1	14	10
2	25	10
3	53	10
4	98	10
5	160	10
6	284	10
7	433	10
8	692	10
9	954	10
10	974	10
done	974	10
0	9	10
1	14	10
2	25	10
3	53	10
4	98	10
5	160	10
6	284	10
7	433	10
8	692	10
9	954	10
10	974	10
done	974	10
0	6	6
1	10	6
2	11	6
done	11	6
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	12	23
1	21	23
2	32	23
3	38	23
done	38	23
0	10	11
1	13	11
2	15	11
done	15	11
0	11	18
1	16	18
2	20	18
3	21	18
done	21	18
0	10	11
1	13	11
2	15	11
done	15	11
0	9	15
1	15	13
2	22	13
3	27	13
done	27	13
0	9	10
1	12	10
2	14	10
done	14	10
0	12	19
1	17	19
2	20	19
3	21	19
done	21	19
0	11	12
1	15	12
2	17	12
done	17	12
0	9	15
1	15	13
2	22	13
3	27	13
done	27	13
0	9	10
1	12	10
2	14	10
done	14	10
0	11	16
1	16	16
2	18	16
done	18	16
0	10	11
1	13	11
2	15	11
done	15	11
0	10	11
1	13	11
2	15	11
done	15	11
0	10	11
1	13	11
2	15	11
done	15	11
0	8	8
1	12	6
2	15	6
done	15	6
0	9	10
1	12	10
2	14	10
done	14	10
0	11	12
1	14	12
2	15	12
done	15	12
0	11	12
1	15	12
2	17	12
done	17	12
0	8	8
1	12	6
2	15	6
done	15	6
0	9	10
1	12	10
2	14	10
done	14	10
0	14	25
1	27	25
2	64	25
3	152	25
4	278	25
5	315	25
done	315	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	132	20
done	132	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	180	21
6	206	21
7	220	21
8	228	21
9	235	21
10	239	21
11	240	21
done	240	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	20
1	22	20
2	40	20
3	76	20
4	118	20
5	128	20
done	128	20
0	11	12
1	16	12
2	21	12
done	21	12
0	12	15
1	19	15
2	32	15
3	45	15
4	55	15
done	55	15
0	11	12
1	16	12
2	21	12
done	21	12
0	10	12
1	18	10
2	34	10
3	51	10
4	61	10
done	61	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	32	16
3	53	16
4	71	16
5	73	16
6	79	16
7	83	16
8	89	16
9	92	16
10	94	16
done	94	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	34	10
3	51	10
4	61	10
done	61	10
0	10	11
1	15	11
2	20	11
3	28	11
4	32	11
5	36	11
done	36	11
0	11	17
1	21	15
2	51	15
3	108	15
4	124	15
done	124	15
0	10	11
1	15	11
2	26	11
3	31	11
4	35	11
done	35	11
0	10	12
1	18	10
2	39	10
3	61	10
4	62	10
done	62	10
0	10	11
1	15	11
2	26	11
3	31	11
4	35	11
done	35	11
0	6	9
1	12	5
2	16	5
3	21	5
done	21	5
0	9	10
1	14	10
2	25	10
3	53	10
4	98	10
5	160	10
6	284	10
7	433	10
8	691	10
9	953	10
10	971	10
done	971	10
0	11	13
1	18	11
2	38	11
3	68	11
4	93	11
5	99	11
6	103	11
7	105	11
done	105	11
0	11	12
1	17	12
2	28	12
3	57	12
4	105	12
5	189	12
6	266	12
7	390	12
8	602	12
9	760	12
10	769	12
done	769	12
0	6	9
1	12	5
2	16	5
3	21	5
done	21	5
0	9	10
1	14	10
2	25	10
3	53	10
4	98	10
5	160	10
6	284	10
7	433	10
8	691	10
9	953	10
10	971	10
done	971	10
0	14	21
1	23	21
2	48	21
3	96	21
4	142	21
5	176	21
6	186	21
7	204	21
8	214	21
9	224	21
10	230	21
11	233	21
done	233	21
0	12	13
1	18	13
2	29	13
3	34	13
4	38	13
done	38	13
0	13	16
1	20	16
2	40	16
3	53	16
4	63	16
5	71	16
6	73	16
7	79	16
8	83	16
9	89	16
10	92	16
11	94	16
done	94	16
0	12	13
1	18	13
2	29	13
3	34	13
4	38	13
done	38	13
0	11	13
1	18	11
2	41	11
3	66	11
4	76	11
5	84	11
6	90	11
7	94	11
8	96	11
done	96	11
0	11	12
1	17	12
2	28	12
3	57	12
4	105	12
5	189	12
6	266	12
7	390	12
8	606	12
9	763	12
10	772	12
done	772	12
0	13	17
1	19	17
2	38	17
3	74	17
4	112	17
5	156	17
6	178	17
7	191	17
8	216	17
9	259	17
10	311	17
11	335	17
12	355	17
13	367	17
14	371	17
15	377	17
16	379	17
done	379	17
0	12	14
1	17	14
2	28	14
3	56	14
4	101	14
5	173	14
6	281	14
7	448	14
8	685	14
9	954	14
10	962	14
done	962	14
0	11	13
1	18	11
2	41	11
3	66	11
4	76	11
5	84	11
6	90	11
7	94	11
8	96	11
done	96	11
0	11	12
1	17	12
2	28	12
3	57	12
4	105	12
5	189	12
6	266	12
7	390	12
8	606	12
9	763	12
10	772	12
done	772	12
0	11	17
1	21	15
2	51	15
3	108	15
4	124	15
done	124	15
0	10	11
1	15	11
2	26	11
3	31	11
4	35	11
done	35	11
0	10	12
1	18	10
2	39	10
3	61	10
4	62	10
done	62	10
0	10	11
1	15	11
2	26	11
3	31	11
4	35	11
done	35	11
0	6	9
1	12	5
2	16	5
3	21	5
done	21	5
0	9	10
1	14	10
2	25	10
3	53	10
4	98	10
5	160	10
6	284	10
7	433	10
8	691	10
9	953	10
10	971	10
done	971	10
0	11	13
1	18	11
2	38	11
3	68	11
4	93	11
5	99	11
6	103	11
7	105	11
done	105	11
0	11	12
1	17	12
2	28	12
3	57	12
4	105	12
5	189	12
6	266	12
7	390	12
8	602	12
9	760	12
10	769	12
done	769	12
0	6	9
1	12	5
2	16	5
3	21	5
done	21	5
0	9	10
1	14	10
2	25	10
3	53	10
4	98	10
5	160	10
6	284	10
7	433	10
8	691	10
9	953	10
10	971	10
done	971	10
0	13	22
1	22	22
2	36	22
3	63	22
4	68	22
done	68	22
0	11	12
1	16	12
2	21	12
done	21	12
0	12	17
1	19	17
2	27	17
3	35	17
done	35	17
0	11	12
1	16	12
2	21	12
done	21	12
0	10	14
1	18	12
2	29	12
3	45	12
done	45	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	27	18
3	43	18
4	55	18
done	55	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	29	12
3	45	12
done	45	12
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	10	14
1	18	12
2	28	12
3	36	12
done	36	12
0	10	11
1	15	11
2	26	11
3	31	11
4	35	11
done	35	11
0	9	9
1	15	7
2	22	7
done	22	7
0	10	11
1	15	11
2	26	11
3	31	11
4	35	11
done	35	11
0	5	6
1	9	2
done	9	2
0	9	10
1	14	10
2	25	10
3	53	10
4	98	10
5	160	10
6	284	10
7	433	10
8	691	10
9	953	10
10	971	10
done	971	10
0	10	10
1	15	8
2	21	8
3	29	8
4	37	8
done	37	8
0	11	12
1	17	12
2	28	12
3	57	12
4	105	12
5	189	12
6	266	12
7	390	12
8	602	12
9	760	12
10	769	12
done	769	12
0	5	6
1	9	2
done	9	2
0	9	10
1	14	10
2	25	10
3	53	10
4	98	10
5	160	10
6	284	10
7	433	10
8	691	10
9	953	10
10	971	10
done	971	10
0	13	18
1	20	18
2	35	18
3	53	18
4	55	18
done	55	18
0	12	13
1	18	13
2	29	13
3	34	13
4	38	13
done	38	13
0	12	13
1	17	13
2	29	13
done	29	13
0	12	13
1	18	13
2	29	13
3	34	13
4	38	13
done	38	13
0	10	10
1	15	8
2	30	8
3	40	8
done	40	8
0	11	12
1	17	12
2	28	12
3	57	12
4	105	12
5	189	12
6	266	12
7	390	12
8	606	12
9	763	12
10	772	12
done	772	12
0	12	14
1	16	14
2	27	14
3	50	14
4	70	14
5	98	14
6	118	14
7	120	14
done	120	14
0	12	14
1	17	14
2	28	14
3	56	14
4	101	14
5	173	14
6	281	14
7	448	14
8	685	14
9	954	14
10	962	14
done	962	14
0	10	10
1	15	8
2	30	8
3	40	8
done	40	8
0	11	12
1	17	12
2	28	12
3	57	12
4	105	12
5	189	12
6	266	12
7	390	12
8	606	12
9	763	12
10	772	12
done	772	12
0	10	14
1	18	12
2	28	12
3	36	12
done	36	12
0	10	11
1	15	11
2	26	11
3	31	11
4	35	11
done	35	11
0	9	9
1	15	7
2	22	7
done	22	7
0	10	11
1	15	11
2	26	11
3	31	11
4	35	11
done	35	11
0	5	6
1	9	2
done	9	2
0	9	10
1	14	10
2	25	10
3	53	10
4	98	10
5	160	10
6	284	10
7	433	10
8	691	10
9	953	10
10	971	10
done	971	10
0	10	10
1	15	8
2	21	8
3	29	8
4	37	8
done	37	8
0	11	12
1	17	12
2	28	12
3	57	12
4	105	12
5	189	12
6	266	12
7	390	12
8	602	12
9	760	12
10	769	12
done	769	12
0	5	6
1	9	2
done	9	2
0	9	10
1	14	10
2	25	10
3	53	10
4	98	10
5	160	10
6	284	10
7	433	10
8	691	10
9	953	10
10	971	10
done	971	10
0	12	21
1	23	21
2	37	21
3	64	21
4	71	21
done	71	21
0	10	11
1	15	11
2	20	11
done	20	11
0	11	16
1	20	16
2	28	16
3	36	16
done	36	16
0	10	11
1	15	11
2	20	11
done	20	11
0	8	13
1	16	11
2	27	11
3	37	11
done	37	11
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	17
2	28	17
3	44	17
4	56	17
done	56	17
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	11
2	27	11
3	37	11
done	37	11
0	9	10
1	14	10
2	19	10
3	27	10
4	31	10
5	35	10
done	35	10
0	11	16
1	20	16
2	28	16
3	34	16
done	34	16
0	10	11
1	15	11
2	20	11
done	20	11
0	10	11
1	17	11
2	22	11
done	22	11
0	10	11
1	15	11
2	20	11
done	20	11
0	7	8
1	13	6
2	21	6
done	21	6
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	12
2	22	12
3	30	12
done	30	12
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	6
2	21	6
done	21	6
0	9	10
1	14	10
2	19	10
3	27	10
4	31	10
5	35	10
done	35	10
0	8	13
1	16	11
2	21	11
3	31	11
4	32	11
done	32	11
0	9	10
1	14	10
2	25	10
3	30	10
4	34	10
done	34	10
0	7	8
1	13	6
2	16	6
3	20	6
done	20	6
0	9	10
1	14	10
2	25	10
3	30	10
4	34	10
done	34	10
0	3	5
1	7	1
done	7	1
0	8	9
1	13	9
2	24	9
3	52	9
4	97	9
5	158	9
6	280	9
7	431	9
8	687	9
9	947	9
10	965	9
done	965	9
0	8	9
1	13	7
2	15	7
3	27	7
4	35	7
done	35	7
0	10	11
1	16	11
2	27	11
3	56	11
4	104	11
5	187	11
6	266	11
7	388	11
8	600	11
9	758	11
10	767	11
done	767	11
0	3	5
1	7	1
done	7	1
0	8	9
1	13	9
2	24	9
3	52	9
4	97	9
5	158	9
6	280	9
7	431	9
8	687	9
9	947	9
10	965	9
done	965	9
0	12	17
1	21	17
2	36	17
3	54	17
4	56	17
done	56	17
0	11	12
1	17	12
2	28	12
3	33	12
4	37	12
done	37	12
0	11	12
1	18	12
2	30	12
done	30	12
0	11	12
1	17	12
2	28	12
3	33	12
4	37	12
done	37	12
0	8	9
1	13	7
2	28	7
3	36	7
done	36	7
0	10	11
1	16	11
2	27	11
3	56	11
4	104	11
5	187	11
6	266	11
7	390	11
8	606	11
9	763	11
10	772	11
done	772	11
0	11	13
1	17	13
2	28	13
3	51	13
4	71	13
5	99	13
6	119	13
7	121	13
done	121	13
0	11	13
1	16	13
2	27	13
3	55	13
4	100	13
5	169	13
6	277	13
7	445	13
8	682	13
9	951	13
10	959	13
done	959	13
0	8	9
1	13	7
2	28	7
3	36	7
done	36	7
0	10	11
1	16	11
2	27	11
3	56	11
4	104	11
5	187	11
6	266	11
7	390	11
8	606	11
9	763	11
10	772	11
done	772	11
0	8	13
1	16	11
2	21	11
3	31	11
4	32	11
done	32	11
0	9	10
1	14	10
2	25	10
3	30	10
4	34	10
done	34	10
0	7	8
1	13	6
2	16	6
3	20	6
done	20	6
0	9	10
1	14	10
2	25	10
3	30	10
4	34	10
done	34	10
0	3	5
1	7	1
done	7	1
0	8	9
1	13	9
2	24	9
3	52	9
4	97	9
5	158	9
6	280	9
7	431	9
8	687	9
9	947	9
10	965	9
done	965	9
0	8	9
1	13	7
2	15	7
3	27	7
4	35	7
done	35	7
0	10	11
1	16	11
2	27	11
3	56	11
4	104	11
5	187	11
6	266	11
7	388	11
8	600	11
9	758	11
10	767	11
done	767	11
0	3	5
1	7	1
done	7	1
0	8	9
1	13	9
2	24	9
3	52	9
4	97	9
5	158	9
6	280	9
7	431	9
8	687	9
9	947	9
10	965	9
done	965	9
0	7	11
1	13	11
2	14	11
done	14	11
0	9	10
1	14	10
2	25	10
3	30	10
4	34	10
done	34	10
0	6	6
1	10	6
2	11	6
done	11	6
0	9	10
1	14	10
2	25	10
3	30	10
4	34	10
done	34	10
0	2	3
1	4	1
done	4	1
0	8	9
1	13	9
2	24	9
3	52	9
4	97	9
5	158	9
6	280	9
7	431	9
8	687	9
9	947	9
10	965	9
done	965	9
0	7	7
1	10	7
done	10	7
0	10	11
1	16	11
2	27	11
3	56	11
4	104	11
5	187	11
6	266	11
7	388	11
8	600	11
9	758	11
10	767	11
done	767	11
0	2	3
1	4	1
done	4	1
0	8	9
1	13	9
2	24	9
3	52	9
4	97	9
5	158	9
6	280	9
7	431	9
8	687	9
9	947	9
10	965	9
done	965	9
0	7	11
1	11	11
2	12	11
done	12	11
0	9	10
1	16	10
2	27	10
3	32	10
4	36	10
done	36	10
0	6	6
1	8	6
2	9	6
done	9	6
0	9	10
1	16	10
2	27	10
3	32	10
4	36	10
done	36	10
0	3	3
1	5	1
done	5	1
0	8	9
1	15	9
2	26	9
3	54	9
4	99	9
5	160	9
6	286	9
7	433	9
8	689	9
9	949	9
10	967	9
done	967	9
0	7	7
1	8	7
done	8	7
0	10	11
1	18	11
2	29	11
3	58	11
4	106	11
5	187	11
6	270	11
7	394	11
8	606	11
9	763	11
10	772	11
done	772	11
0	3	3
1	5	1
done	5	1
0	8	9
1	15	9
2	26	9
3	54	9
4	99	9
5	160	9
6	286	9
7	433	9
8	689	9
9	949	9
10	967	9
done	967	9
0	13	19
1	34	19
2	68	19
3	175	19
4	504	19
5	1657	19
done	5000	19
0	11	16
1	20	14
2	29	14
3	30	14
4	31	14
done	31	14
0	12	14
1	31	14
2	62	14
3	145	14
4	345	14
5	1074	14
6	4711	14
done	5000	14
0	11	16
1	20	14
2	29	14
3	30	14
4	31	14
done	31	14
0	10	11
1	29	9
2	64	9
3	155	9
4	402	9
5	1015	9
6	3822	9
done	5001	9
0	10	15
1	19	13
2	28	13
3	29	13
4	30	13
done	30	13
0	13	15
1	31	15
2	62	15
3	169	15
4	557	15
5	1878	15
done	5000	15
0	12	17
1	21	15
2	30	15
3	31	15
4	32	15
done	32	15
0	10	11
1	29	9
2	64	9
3	155	9
4	402	9
5	1015	9
6	3822	9
done	5001	9
0	10	15
1	19	13
2	28	13
3	29	13
4	30	13
done	30	13
0	12	19
1	23	19
2	46	19
3	131	19
4	314	19
5	518	19
6	808	19
7	1389	19
8	4538	19
done	5000	19
0	7	8
1	10	8
2	11	8
done	11	8
0	11	14
1	20	14
2	40	14
3	97	14
4	187	14
5	274	14
6	429	14
7	802	14
8	3475	14
done	5000	14
0	7	8
1	10	8
2	11	8
done	11	8
0	9	11
1	18	9
2	42	9
3	112	9
4	236	9
5	301	9
6	390	9
7	594	9
8	2131	9
done	5000	9
0	6	7
1	9	7
2	10	7
done	10	7
0	12	15
1	20	15
2	40	15
3	121	15
4	329	15
5	669	15
6	1897	15
done	5000	15
0	8	9
1	11	9
2	12	9
done	12	9
0	9	11
1	18	9
2	42	9
3	112	9
4	236	9
5	301	9
6	390	9
7	594	9
8	2131	9
done	5000	9
0	6	7
1	9	7
2	10	7
done	10	7
0	5	5
1	9	5
2	10	5
done	10	5
0	8	9
1	16	9
2	34	9
3	81	9
4	199	9
5	379	9
6	598	9
7	892	9
8	1513	9
9	2346	9
10	2528	9
11	2561	9
done	2561	9
0	10	15
1	17	15
2	31	15
3	54	15
4	68	15
5	78	15
done	78	15
0	9	10
1	14	10
2	25	10
3	30	10
4	34	10
done	34	10
0	7	7
1	13	5
2	27	5
3	40	5
4	49	5
5	53	5
done	53	5
0	10	11
1	15	11
2	25	11
3	54	11
4	90	11
5	132	11
6	174	11
7	256	11
8	439	11
9	673	11
10	749	11
11	755	11
done	755	11
0	7	7
1	13	5
2	27	5
3	40	5
4	49	5
5	53	5
done	53	5
0	9	10
1	15	10
2	19	10
3	21	10
done	21	10
0	9	10
1	15	10
2	19	10
3	21	10
done	21	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	35	10
3	82	10
4	200	10
5	382	10
6	590	10
7	884	10
8	1506	10
9	2339	10
10	2521	10
11	2554	10
done	2554	10
0	11	12
1	20	12
2	38	12
3	85	12
4	204	12
5	395	12
6	640	12
7	939	12
8	1354	12
9	1796	12
10	1924	12
11	1937	12
done	1937	12
0	9	10
1	17	10
2	35	10
3	82	10
4	200	10
5	382	10
6	590	10
7	884	10
8	1506	10
9	2339	10
10	2521	10
11	2554	10
done	2554	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	35	10
3	82	10
4	200	10
5	382	10
6	590	10
7	884	10
8	1506	10
9	2339	10
10	2521	10
11	2554	10
done	2554	10
0	11	12
1	20	12
2	38	12
3	85	12
4	204	12
5	395	12
6	640	12
7	939	12
8	1354	12
9	1796	12
10	1924	12
11	1937	12
done	1937	12
0	9	10
1	17	10
2	35	10
3	82	10
4	200	10
5	382	10
6	590	10
7	884	10
8	1506	10
9	2339	10
10	2521	10
11	2554	10
done	2554	10
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	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	8	9
1	16	9
2	34	9
3	81	9
4	199	9
5	379	9
6	598	9
7	892	9
8	1513	9
9	2346	9
10	2528	9
11	2561	9
done	2561	9
0	10	11
1	19	11
2	37	11
3	84	11
4	203	11
5	398	11
6	641	11
7	940	11
8	1355	11
9	1796	11
10	1924	11
11	1937	11
done	1937	11
0	8	9
1	16	9
2	34	9
3	81	9
4	199	9
5	379	9
6	598	9
7	892	9
8	1513	9
9	2346	9
10	2528	9
11	2561	9
done	2561	9
0	8	9
1	16	9
2	34	9
3	81	9
4	199	9
5	379	9
6	598	9
7	892	9
8	1513	9
9	2346	9
10	2528	9
11	2561	9
done	2561	9
0	8	9
1	18	9
2	36	7
3	103	7
4	187	7
5	344	7
6	540	7
7	784	7
8	1232	7
9	1623	7
10	1698	7
done	1698	7
0	10	15
1	22	13
2	33	13
3	36	13
4	37	13
done	37	13
0	6	7
1	12	7
2	15	7
3	17	7
done	17	7
0	11	13
1	30	13
2	61	13
3	140	13
4	507	13
5	2142	13
done	5001	13
0	10	13
1	19	13
2	39	13
3	115	13
4	358	13
5	894	13
6	2611	13
done	5000	13
0	6	7
1	10	7
2	24	7
3	57	7
4	118	7
5	190	7
6	313	7
7	476	7
8	749	7
9	993	7
10	1011	7
done	1011	7
0	7	7
1	11	7
2	13	7
done	13	7
0	6	6
1	11	6
2	14	6
3	15	6
done	15	6
0	6	6
1	8	6
2	9	6
done	9	6
0	9	17
1	20	17
2	65	9
3	173	7
4	394	7
5	1087	7
6	3797	7
done	5000	7
0	7	13
1	9	13
2	10	13
done	10	13
0	6	6
1	8	6
2	9	6
done	9	6
0	7	17
1	16	17
2	33	7
3	77	7
4	173	7
5	423	7
6	1031	7
7	3017	7
done	5001	7
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	2	2
done	2	2
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	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	10
1	12	10
2	15	10
3	16	10
done	16	10
0	7	7
1	9	7
2	10	7
done	10	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	8	6
2	9	6
done	9	6
0	9	11
1	12	11
2	14	11
3	15	11
done	15	11
0	8	8
1	10	8
2	11	8
done	11	8
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	8	6
2	9	6
done	9	6
0	8	12
1	12	12
2	13	12
done	13	12
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	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	8	6
2	9	6
done	9	6
0	8	8
1	9	8
done	9	8
0	8	8
1	10	8
2	11	8
done	11	8
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	8	6
2	9	6
done	9	6
0	7	11
1	13	11
2	14	11
done	14	11
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	10	6
2	11	6
done	11	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	3
1	4	1
done	4	1
0	5	5
1	7	5
2	8	5
done	8	5
0	7	7
1	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	2	3
1	4	1
done	4	1
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	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	7	11
1	11	11
2	12	11
done	12	11
0	6	6
1	8	6
2	9	6
done	9	6
0	3	3
1	5	1
done	5	1
0	7	7
1	8	7
done	8	7
0	3	3
1	5	1
done	5	1
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	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	8	9
1	23	9
2	45	9
3	81	9
4	173	9
5	521	9
6	2320	9
done	5001	9
0	7	9
1	12	9
2	21	9
3	38	9
4	63	9
5	104	9
6	160	9
7	328	9
8	1613	9
done	5000	9
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1

prune163.0ms

Filtered

132 candidates to 191 candidates (-44.7%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	190	1	191
Fresh	1	5	6
Picked	1	0	1
Done	0	1	1
Total	192	7	199

Merged error: 0b

Counts

199 → 7

localize14.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ x (- t z))
0.6b	(/ 1 (/ (- y z) (/ x (- t z))))
2.0b	(/ (- y z) (/ x (- t z)))

rewrite117.0ms

Algorithm

rewrite-expression-head

Rules

1260×	`times-frac`
844×	`add-sqr-sqrt` `*-un-lft-identity`
468×	`add-cube-cbrt`
188×	`distribute-lft-out--` `difference-of-squares`
136×	`associate-/r*`
60×	`associate-/r/`
33×	`div-inv`
31×	`add-exp-log`
28×	`flip3--` `flip--`
19×	`div-exp` `add-cbrt-cube`
11×	`associate-/l*`
10×	`cbrt-undiv`
4×	`pow1`
3×	`rec-exp` `frac-2neg` `1-exp` `clear-num` `add-log-exp`
2×	`associate-/l/`
1×	`pow-flip` `div-sub` `inv-pow`

Counts

3 → 654

Calls

3 calls:

6.0ms	(/ x (- t z))
30.0ms	(/ 1 (/ (- y z) (/ x (- t z))))
14.0ms	(/ (- y z) (/ x (- t z)))

series84.0ms

Counts

3 → 9

Calls

3 calls:

8.0ms	(/ x (- t z))
59.0ms	(/ 1 (/ (- y z) (/ x (- t z))))
17.0ms	(/ (- y z) (/ x (- t z)))

simplify23.7min

Counts

663 → 663

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	18	11
2	25	11
3	32	11
4	45	11
5	50	11
6	58	11
7	73	11
8	99	11
9	108	11
done	108	11
0	9	10
1	20	10
2	45	10
3	100	10
4	228	10
5	429	10
6	641	10
7	944	10
8	1583	10
9	2441	10
10	2634	10
11	2693	10
12	2733	10
13	2781	10
done	2781	10
0	9	10
1	17	10
2	40	10
3	103	10
4	266	10
5	599	10
6	1462	10
done	5000	10
0	14	29
1	31	29
2	137	15
3	669	13
4	3406	11
done	5001	11
0	12	29
1	30	29
2	105	13
3	456	11
4	2254	11
done	5000	11
0	10	21
1	18	21
2	36	21
3	83	21
4	201	21
5	383	21
6	586	21
7	880	21
8	1501	21
9	2331	21
10	2513	21
11	2546	21
done	2546	21
0	9	10
1	17	10
2	35	10
3	82	10
4	200	10
5	380	10
6	590	10
7	884	10
8	1505	10
9	2338	10
10	2520	10
11	2553	10
done	2553	10
0	10	29
1	25	29
2	90	11
3	513	11
4	3220	11
done	5000	11
0	9	10
1	17	10
2	35	10
3	82	10
4	200	10
5	380	10
6	590	10
7	884	10
8	1505	10
9	2338	10
10	2520	10
11	2553	10
done	2553	10
0	9	10
1	17	10
2	35	10
3	82	10
4	200	10
5	380	10
6	590	10
7	884	10
8	1505	10
9	2338	10
10	2520	10
11	2553	10
done	2553	10
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	6	6
1	10	6
2	11	6
done	11	6
0	7	7
1	11	7
2	21	7
3	39	7
4	57	7
5	71	7
6	85	7
7	89	7
8	90	7
done	90	7
0	6	7
1	10	7
2	20	7
3	38	7
4	53	7
5	61	7
6	69	7
7	71	7
done	71	7
0	12	23
1	21	23
2	32	23
3	38	23
done	38	23
0	10	11
1	13	11
2	15	11
done	15	11
0	11	16
1	16	16
2	20	16
3	21	16
done	21	16
0	10	11
1	13	11
2	15	11
done	15	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	20
1	22	20
2	42	20
3	86	20
4	130	20
5	149	20
6	154	20
7	155	20
done	155	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	11	17
1	21	15
2	45	15
3	120	15
4	149	15
5	170	15
6	172	15
done	172	15
0	10	11
1	15	11
2	26	11
3	44	11
4	62	11
5	76	11
6	90	11
7	94	11
8	95	11
done	95	11
0	14	21
1	23	21
2	50	21
3	134	21
4	250	21
5	373	21
6	421	21
7	440	21
8	446	21
9	449	21
10	451	21
done	451	21
0	12	13
1	18	13
2	29	13
3	47	13
4	65	13
5	79	13
6	93	13
7	97	13
8	98	13
done	98	13
0	11	17
1	21	15
2	45	15
3	120	15
4	149	15
5	170	15
6	172	15
done	172	15
0	10	11
1	15	11
2	26	11
3	44	11
4	62	11
5	76	11
6	90	11
7	94	11
8	95	11
done	95	11
0	13	22
1	22	22
2	39	22
3	67	22
4	104	22
5	126	22
6	136	22
7	145	22
done	145	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	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	10	14
1	18	12
2	30	12
3	52	12
4	58	12
5	62	12
6	68	12
done	68	12
0	10	11
1	15	11
2	26	11
3	44	11
4	62	11
5	76	11
6	90	11
7	94	11
8	95	11
done	95	11
0	13	18
1	20	18
2	38	18
3	72	18
4	118	18
5	142	18
6	152	18
7	159	18
8	160	18
done	160	18
0	12	13
1	18	13
2	29	13
3	47	13
4	65	13
5	79	13
6	93	13
7	97	13
8	98	13
done	98	13
0	10	14
1	18	12
2	30	12
3	52	12
4	58	12
5	62	12
6	68	12
done	68	12
0	10	11
1	15	11
2	26	11
3	44	11
4	62	11
5	76	11
6	90	11
7	94	11
8	95	11
done	95	11
0	12	21
1	23	21
2	40	19
3	87	19
4	200	19
5	261	19
6	306	19
done	306	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	11	16
1	20	16
2	31	14
3	57	14
4	104	14
5	113	14
done	113	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	8	13
1	16	11
2	26	9
3	47	9
4	65	9
done	65	9
0	9	10
1	14	10
2	25	10
3	43	10
4	61	10
5	75	10
6	89	10
7	93	10
8	94	10
done	94	10
0	12	17
1	21	17
2	39	15
3	83	15
4	172	15
5	232	15
6	304	15
done	304	15
0	11	12
1	17	12
2	28	12
3	46	12
4	64	12
5	78	12
6	92	12
7	96	12
8	97	12
done	97	12
0	8	13
1	16	11
2	26	9
3	47	9
4	65	9
done	65	9
0	9	10
1	14	10
2	25	10
3	43	10
4	61	10
5	75	10
6	89	10
7	93	10
8	94	10
done	94	10
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	9	10
1	14	10
2	25	10
3	43	10
4	61	10
5	75	10
6	89	10
7	93	10
8	94	10
done	94	10
0	7	11
1	11	11
2	14	11
3	15	11
done	15	11
0	9	10
1	16	10
2	27	8
3	43	8
4	65	8
5	90	8
6	132	8
7	138	8
done	138	8
0	13	19
1	34	19
2	71	19
3	190	19
4	670	19
5	2811	19
done	5000	19
0	11	16
1	20	14
2	29	14
3	32	14
4	33	14
done	33	14
0	12	19
1	23	19
2	49	19
3	148	19
4	497	19
5	1101	19
6	1929	19
7	3422	19
done	5000	19
0	7	8
1	10	8
2	11	8
done	11	8
0	11	18
1	16	18
2	18	18
done	18	18
0	10	11
1	13	11
2	15	11
done	15	11
0	10	11
1	13	11
2	15	11
done	15	11
0	10	11
1	13	11
2	15	11
done	15	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	15
1	19	15
2	29	15
3	42	15
4	50	15
5	56	15
6	59	15
done	59	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	10	12
1	18	10
2	32	10
3	59	10
4	71	10
5	83	10
6	89	10
done	89	10
0	10	11
1	15	11
2	26	11
3	44	11
4	62	11
5	76	11
6	90	11
7	94	11
8	95	11
done	95	11
0	13	16
1	20	16
2	37	16
3	70	16
4	102	16
5	134	16
6	153	16
7	158	16
8	159	16
9	161	16
10	162	16
done	162	16
0	12	13
1	18	13
2	29	13
3	47	13
4	65	13
5	79	13
6	93	13
7	97	13
8	98	13
done	98	13
0	10	12
1	18	10
2	32	10
3	59	10
4	71	10
5	83	10
6	89	10
done	89	10
0	10	11
1	15	11
2	26	11
3	44	11
4	62	11
5	76	11
6	90	11
7	94	11
8	95	11
done	95	11
0	12	17
1	19	17
2	28	17
3	36	17
4	40	17
5	49	17
6	55	17
7	60	17
done	60	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	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	9	9
1	15	7
2	22	7
3	27	7
4	29	7
5	32	7
6	36	7
done	36	7
0	10	11
1	15	11
2	26	11
3	44	11
4	62	11
5	76	11
6	90	11
7	94	11
8	95	11
done	95	11
0	12	13
1	17	13
2	29	13
3	42	13
4	50	13
5	56	13
6	63	13
7	65	13
done	65	13
0	12	13
1	18	13
2	29	13
3	47	13
4	65	13
5	79	13
6	93	13
7	97	13
8	98	13
done	98	13
0	9	9
1	15	7
2	22	7
3	27	7
4	29	7
5	32	7
6	36	7
done	36	7
0	10	11
1	15	11
2	26	11
3	44	11
4	62	11
5	76	11
6	90	11
7	94	11
8	95	11
done	95	11
0	11	16
1	20	16
2	29	14
3	45	14
4	71	14
5	92	14
6	112	14
done	112	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	10	11
1	17	11
2	22	9
3	31	9
4	40	9
5	42	9
done	42	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	7	8
1	13	6
2	19	4
3	21	4
4	25	4
done	25	4
0	9	10
1	14	10
2	25	10
3	43	10
4	61	10
5	75	10
6	89	10
7	93	10
8	94	10
done	94	10
0	11	12
1	18	12
2	30	10
3	41	10
4	56	10
5	70	10
6	94	10
done	94	10
0	11	12
1	17	12
2	28	12
3	46	12
4	64	12
5	78	12
6	92	12
7	96	12
8	97	12
done	97	12
0	7	8
1	13	6
2	19	4
3	21	4
4	25	4
done	25	4
0	9	10
1	14	10
2	25	10
3	43	10
4	61	10
5	75	10
6	89	10
7	93	10
8	94	10
done	94	10
0	6	6
1	10	4
2	13	4
done	13	4
0	9	10
1	14	10
2	25	10
3	43	10
4	61	10
5	75	10
6	89	10
7	93	10
8	94	10
done	94	10
0	6	6
1	8	6
2	9	6
done	9	6
0	9	10
1	16	10
2	27	8
3	43	8
4	65	8
5	90	8
6	132	8
7	138	8
done	138	8
0	12	14
1	31	14
2	62	14
3	158	14
4	459	14
5	1628	14
done	5001	14
0	11	16
1	20	14
2	29	14
3	32	14
4	33	14
done	33	14
0	11	14
1	20	14
2	40	14
3	110	14
4	279	14
5	519	14
6	867	14
7	1605	14
done	5000	14
0	7	8
1	10	8
2	11	8
done	11	8
0	9	15
1	15	15
2	16	15
done	16	15
0	9	10
1	15	10
2	19	10
3	21	10
done	21	10
0	8	8
1	12	8
2	13	8
done	13	8
0	9	10
1	15	10
2	19	10
3	21	10
done	21	10
0	11	17
1	23	17
2	45	17
3	74	15
4	134	15
5	200	15
done	200	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	12
1	18	12
2	27	12
3	40	10
4	67	10
5	104	10
done	104	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	6	9
1	12	7
2	23	7
3	32	7
done	32	7
0	9	10
1	17	10
2	35	10
3	82	10
4	200	10
5	382	10
6	590	10
7	884	10
8	1506	10
9	2339	10
10	2521	10
11	2554	10
done	2554	10
0	11	13
1	18	13
2	34	13
3	67	11
4	140	11
5	211	11
6	215	11
done	215	11
0	11	12
1	20	12
2	38	12
3	85	12
4	204	12
5	395	12
6	640	12
7	939	12
8	1354	12
9	1796	12
10	1924	12
11	1937	12
done	1937	12
0	6	9
1	12	7
2	23	7
3	32	7
done	32	7
0	9	10
1	17	10
2	35	10
3	82	10
4	200	10
5	382	10
6	590	10
7	884	10
8	1506	10
9	2339	10
10	2521	10
11	2554	10
done	2554	10
0	10	14
1	18	14
2	26	14
3	34	12
4	58	12
5	75	12
done	75	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	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	5	6
1	9	4
2	14	4
done	14	4
0	9	10
1	17	10
2	35	10
3	82	10
4	200	10
5	382	10
6	590	10
7	884	10
8	1506	10
9	2339	10
10	2521	10
11	2554	10
done	2554	10
0	10	10
1	15	10
2	26	10
3	39	8
4	74	8
5	91	8
done	91	8
0	11	12
1	20	12
2	38	12
3	85	12
4	204	12
5	395	12
6	640	12
7	939	12
8	1354	12
9	1796	12
10	1924	12
11	1937	12
done	1937	12
0	5	6
1	9	4
2	14	4
done	14	4
0	9	10
1	17	10
2	35	10
3	82	10
4	200	10
5	382	10
6	590	10
7	884	10
8	1506	10
9	2339	10
10	2521	10
11	2554	10
done	2554	10
0	8	13
1	16	9
2	26	9
3	39	9
4	48	9
5	49	9
done	49	9
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	7	8
1	13	4
2	19	4
3	21	4
4	22	4
done	22	4
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	3	5
1	6	1
done	6	1
0	8	9
1	16	9
2	34	9
3	81	9
4	199	9
5	379	9
6	598	9
7	892	9
8	1513	9
9	2346	9
10	2528	9
11	2561	9
done	2561	9
0	8	9
1	13	5
2	26	5
3	36	5
4	37	5
done	37	5
0	10	11
1	19	11
2	37	11
3	84	11
4	203	11
5	398	11
6	641	11
7	940	11
8	1355	11
9	1796	11
10	1924	11
11	1937	11
done	1937	11
0	3	5
1	6	1
done	6	1
0	8	9
1	16	9
2	34	9
3	81	9
4	199	9
5	379	9
6	598	9
7	892	9
8	1513	9
9	2346	9
10	2528	9
11	2561	9
done	2561	9
0	2	3
1	4	1
done	4	1
0	8	9
1	16	9
2	34	9
3	81	9
4	199	9
5	379	9
6	598	9
7	892	9
8	1513	9
9	2346	9
10	2528	9
11	2561	9
done	2561	9
0	3	3
1	5	3
done	5	3
0	8	9
1	18	9
2	36	7
3	103	7
4	187	7
5	344	7
6	540	7
7	784	7
8	1232	7
9	1623	7
10	1698	7
done	1698	7
0	10	11
1	29	11
2	60	11
3	156	9
4	482	9
5	1955	9
done	5000	9
0	10	15
1	22	13
2	33	13
3	36	13
4	37	13
done	37	13
0	9	11
1	18	11
2	38	11
3	108	9
4	326	9
5	743	9
6	1042	9
7	1607	9
8	4734	9
done	5000	9
0	6	7
1	12	7
2	15	7
3	17	7
done	17	7
0	12	19
1	17	19
2	18	19
done	18	19
0	11	12
1	18	12
2	22	12
3	24	12
done	24	12
0	11	12
1	14	12
2	15	12
done	15	12
0	11	12
1	18	12
2	22	12
3	24	12
done	24	12
0	14	21
1	25	21
2	47	21
3	78	21
4	112	21
5	163	21
6	213	21
7	269	21
8	331	21
9	399	21
10	429	21
11	443	21
12	448	21
13	450	21
14	451	21
done	451	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	16
1	20	16
2	29	16
3	42	16
4	58	16
5	72	16
6	85	16
7	95	16
8	115	16
9	133	16
10	149	16
11	152	16
12	154	16
13	155	16
done	155	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	11	13
1	18	11
2	31	11
3	58	11
4	76	11
5	112	11
6	139	11
7	151	11
8	167	11
9	175	11
done	175	11
0	11	12
1	20	12
2	38	12
3	85	12
4	204	12
5	395	12
6	624	12
7	887	12
8	1369	12
9	1920	12
10	2047	12
11	2060	12
done	2060	12
0	13	17
1	19	17
2	35	17
3	68	17
4	123	17
5	183	17
6	281	17
7	355	17
8	471	17
9	540	17
10	614	17
11	674	17
12	710	17
13	746	17
14	771	17
15	780	17
16	781	17
17	783	17
18	784	17
done	784	17
0	12	14
1	20	14
2	38	14
3	85	14
4	203	14
5	381	14
6	613	14
7	976	14
8	1641	14
9	2038	14
10	2119	14
11	2150	14
done	2150	14
0	11	13
1	18	11
2	31	11
3	58	11
4	76	11
5	112	11
6	139	11
7	151	11
8	167	11
9	175	11
done	175	11
0	11	12
1	20	12
2	38	12
3	85	12
4	204	12
5	395	12
6	624	12
7	887	12
8	1369	12
9	1920	12
10	2047	12
11	2060	12
done	2060	12
0	13	18
1	20	18
2	28	18
3	36	18
4	48	18
5	69	18
6	85	18
7	110	18
8	130	18
9	144	18
10	152	18
11	158	18
12	159	18
done	159	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	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	10	10
1	15	8
2	21	8
3	26	8
4	36	8
5	47	8
6	59	8
7	65	8
8	69	8
9	71	8
done	71	8
0	11	12
1	20	12
2	38	12
3	85	12
4	204	12
5	395	12
6	624	12
7	887	12
8	1369	12
9	1920	12
10	2047	12
11	2060	12
done	2060	12
0	12	14
1	16	14
2	27	14
3	40	14
4	71	14
5	97	14
6	162	14
7	202	14
8	251	14
9	271	14
10	294	14
11	316	14
12	324	14
13	328	14
14	334	14
15	336	14
done	336	14
0	12	14
1	20	14
2	38	14
3	85	14
4	203	14
5	381	14
6	613	14
7	976	14
8	1641	14
9	2038	14
10	2119	14
11	2150	14
done	2150	14
0	10	10
1	15	8
2	21	8
3	26	8
4	36	8
5	47	8
6	59	8
7	65	8
8	69	8
9	71	8
done	71	8
0	11	12
1	20	12
2	38	12
3	85	12
4	204	12
5	395	12
6	624	12
7	887	12
8	1369	12
9	1920	12
10	2047	12
11	2060	12
done	2060	12
0	12	17
1	21	17
2	29	15
3	53	15
4	91	15
5	124	15
6	164	15
7	196	15
8	266	15
9	290	15
done	290	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	11	12
1	18	12
2	22	10
3	39	10
4	48	10
5	58	10
6	60	10
7	66	10
8	80	10
9	108	10
done	108	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	8	9
1	13	7
2	18	5
3	28	5
4	40	5
done	40	5
0	10	11
1	19	11
2	37	11
3	84	11
4	203	11
5	398	11
6	621	11
7	884	11
8	1365	11
9	1914	11
10	2041	11
11	2054	11
done	2054	11
0	11	13
1	17	13
2	28	11
3	62	11
4	97	11
5	144	11
6	200	11
7	231	11
8	250	11
9	286	11
10	302	11
done	302	11
0	11	13
1	19	13
2	37	13
3	84	13
4	202	13
5	380	13
6	610	13
7	977	13
8	1642	13
9	2039	13
10	2120	13
11	2151	13
done	2151	13
0	8	9
1	13	7
2	18	5
3	28	5
4	40	5
done	40	5
0	10	11
1	19	11
2	37	11
3	84	11
4	203	11
5	398	11
6	621	11
7	884	11
8	1365	11
9	1914	11
10	2041	11
11	2054	11
done	2054	11
0	7	7
1	10	5
2	12	5
done	12	5
0	10	11
1	19	11
2	37	11
3	84	11
4	203	11
5	398	11
6	621	11
7	884	11
8	1365	11
9	1914	11
10	2041	11
11	2054	11
done	2054	11
0	7	7
1	8	7
done	8	7
0	10	11
1	21	11
2	39	9
3	107	9
4	201	9
5	363	9
6	551	9
7	742	9
8	1050	9
9	1272	9
10	1286	9
done	1286	9
0	13	15
1	31	15
2	62	15
3	158	15
4	479	15
5	1971	15
done	5001	15
0	12	17
1	24	15
2	35	15
3	38	15
4	39	15
done	39	15
0	12	15
1	20	15
2	40	15
3	110	15
4	303	15
5	683	15
6	1432	15
7	4418	15
done	5000	15
0	8	9
1	14	9
2	17	9
3	19	9
done	19	9
0	9	15
1	15	15
2	16	15
done	16	15
0	9	10
1	15	10
2	19	10
3	21	10
done	21	10
0	8	8
1	12	8
2	13	8
done	13	8
0	9	10
1	15	10
2	19	10
3	21	10
done	21	10
0	11	17
1	23	17
2	45	17
3	74	15
4	134	15
5	200	15
done	200	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	12
1	18	12
2	27	12
3	40	10
4	67	10
5	104	10
done	104	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	6	9
1	12	7
2	23	7
3	32	7
done	32	7
0	9	10
1	17	10
2	35	10
3	82	10
4	200	10
5	382	10
6	590	10
7	884	10
8	1506	10
9	2339	10
10	2521	10
11	2554	10
done	2554	10
0	11	13
1	18	13
2	34	13
3	67	11
4	140	11
5	211	11
6	215	11
done	215	11
0	11	12
1	20	12
2	38	12
3	85	12
4	204	12
5	395	12
6	640	12
7	939	12
8	1354	12
9	1796	12
10	1924	12
11	1937	12
done	1937	12
0	6	9
1	12	7
2	23	7
3	32	7
done	32	7
0	9	10
1	17	10
2	35	10
3	82	10
4	200	10
5	382	10
6	590	10
7	884	10
8	1506	10
9	2339	10
10	2521	10
11	2554	10
done	2554	10
0	10	14
1	18	14
2	26	14
3	34	12
4	58	12
5	75	12
done	75	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	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	5	6
1	9	4
2	14	4
done	14	4
0	9	10
1	17	10
2	35	10
3	82	10
4	200	10
5	382	10
6	590	10
7	884	10
8	1506	10
9	2339	10
10	2521	10
11	2554	10
done	2554	10
0	10	10
1	15	10
2	26	10
3	39	8
4	74	8
5	91	8
done	91	8
0	11	12
1	20	12
2	38	12
3	85	12
4	204	12
5	395	12
6	640	12
7	939	12
8	1354	12
9	1796	12
10	1924	12
11	1937	12
done	1937	12
0	5	6
1	9	4
2	14	4
done	14	4
0	9	10
1	17	10
2	35	10
3	82	10
4	200	10
5	382	10
6	590	10
7	884	10
8	1506	10
9	2339	10
10	2521	10
11	2554	10
done	2554	10
0	8	13
1	16	9
2	26	9
3	39	9
4	48	9
5	49	9
done	49	9
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	7	8
1	13	4
2	19	4
3	21	4
4	22	4
done	22	4
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	3	5
1	6	1
done	6	1
0	8	9
1	16	9
2	34	9
3	81	9
4	199	9
5	379	9
6	598	9
7	892	9
8	1513	9
9	2346	9
10	2528	9
11	2561	9
done	2561	9
0	8	9
1	13	5
2	26	5
3	36	5
4	37	5
done	37	5
0	10	11
1	19	11
2	37	11
3	84	11
4	203	11
5	398	11
6	641	11
7	940	11
8	1355	11
9	1796	11
10	1924	11
11	1937	11
done	1937	11
0	3	5
1	6	1
done	6	1
0	8	9
1	16	9
2	34	9
3	81	9
4	199	9
5	379	9
6	598	9
7	892	9
8	1513	9
9	2346	9
10	2528	9
11	2561	9
done	2561	9
0	2	3
1	4	1
done	4	1
0	8	9
1	16	9
2	34	9
3	81	9
4	199	9
5	379	9
6	598	9
7	892	9
8	1513	9
9	2346	9
10	2528	9
11	2561	9
done	2561	9
0	3	3
1	5	3
done	5	3
0	8	9
1	18	9
2	36	7
3	103	7
4	187	7
5	344	7
6	540	7
7	784	7
8	1232	7
9	1623	7
10	1698	7
done	1698	7
0	10	11
1	29	11
2	60	11
3	156	9
4	482	9
5	1955	9
done	5000	9
0	10	15
1	22	13
2	33	13
3	36	13
4	37	13
done	37	13
0	9	11
1	18	11
2	38	11
3	108	9
4	326	9
5	743	9
6	1042	9
7	1607	9
8	4734	9
done	5000	9
0	6	7
1	12	7
2	15	7
3	17	7
done	17	7
0	7	7
1	13	7
2	23	7
3	41	5
4	88	5
5	124	5
6	145	5
7	147	5
8	148	5
done	148	5
0	8	9
1	13	9
2	24	9
3	52	9
4	97	9
5	158	9
6	280	9
7	431	9
8	687	9
9	947	9
10	965	9
done	965	9
0	10	17
1	18	17
2	27	17
3	32	17
4	35	17
done	35	17
0	9	10
1	15	10
2	19	10
3	21	10
done	21	10
0	12	19
1	26	19
2	68	19
3	163	19
4	314	19
5	497	19
6	658	19
7	755	19
8	779	19
done	779	19
0	11	14
1	21	14
2	42	14
3	90	14
4	146	14
5	193	14
6	230	14
7	242	14
8	245	14
done	245	14
0	9	11
1	20	9
2	44	9
3	109	9
4	196	9
5	288	9
6	369	9
7	400	9
8	408	9
done	408	9
0	12	15
1	22	15
2	50	15
3	134	15
4	310	15
5	579	15
6	885	15
7	1177	15
8	1840	15
9	3147	15
10	3991	15
11	4130	15
12	4141	15
13	4144	15
done	4144	15
0	9	11
1	20	9
2	44	9
3	109	9
4	196	9
5	288	9
6	369	9
7	400	9
8	408	9
done	408	9
0	11	16
1	21	16
2	41	16
3	76	16
4	127	16
5	178	16
6	219	16
7	259	16
8	278	16
9	279	16
done	279	16
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	8
1	17	6
2	28	6
3	48	6
4	79	6
5	99	6
6	120	6
7	135	6
8	146	6
9	148	6
done	148	6
0	11	12
1	19	12
2	38	12
3	80	12
4	177	12
5	317	12
6	456	12
7	614	12
8	1024	12
9	1696	12
10	2082	12
11	2139	12
12	2143	12
13	2144	12
done	2144	12
0	8	8
1	17	6
2	28	6
3	48	6
4	79	6
5	99	6
6	120	6
7	135	6
8	146	6
9	148	6
done	148	6
0	10	15
1	22	15
2	42	13
3	92	13
4	164	13
5	259	13
6	389	13
7	412	13
done	412	13
0	9	10
1	19	10
2	31	8
3	60	8
4	79	8
5	105	8
6	124	8
7	127	8
done	127	8
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	10	11
1	20	11
2	39	9
3	102	9
4	169	9
5	285	9
6	402	9
7	541	9
8	812	9
9	1161	9
10	1315	9
11	1334	9
12	1335	9
done	1335	9
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	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	11	13
1	33	13
2	71	13
3	200	13
4	798	13
5	3742	13
done	5000	13
0	10	13
1	22	13
2	49	13
3	160	13
4	649	13
5	1801	13
done	5000	13
0	9	10
1	14	10
2	25	10
3	30	10
4	34	10
done	34	10
0	9	10
1	14	10
2	25	10
3	30	10
4	34	10
done	34	10
0	8	9
1	13	9
2	24	9
3	52	9
4	97	9
5	158	9
6	280	9
7	431	9
8	687	9
9	947	9
10	965	9
done	965	9
0	10	11
1	16	11
2	27	11
3	56	11
4	104	11
5	187	11
6	266	11
7	388	11
8	600	11
9	758	11
10	767	11
done	767	11
0	8	9
1	13	9
2	24	9
3	52	9
4	97	9
5	158	9
6	280	9
7	431	9
8	687	9
9	947	9
10	965	9
done	965	9
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	12	17
1	30	15
2	81	15
3	161	15
4	250	15
5	355	15
6	476	15
7	567	15
8	588	15
done	588	15
0	8	9
1	20	9
2	37	9
3	48	9
4	65	9
5	82	9
6	91	9
done	91	9
0	2	2
1	5	1
done	5	1
0	12	13
1	21	13
2	36	13
3	57	13
4	89	12
5	100	12
6	116	12
7	118	12
done	118	12
0	11	12
1	19	12
2	29	12
3	40	12
4	73	11
5	97	11
6	110	11
7	114	11
done	114	11
0	10	11
1	21	11
2	46	11
3	106	11
4	238	11
5	458	11
6	682	11
7	998	11
8	1621	11
9	2460	11
10	2654	11
11	2716	11
12	2756	11
13	2761	11
done	2761	11
0	13	14
1	26	13
2	55	13
3	114	12
4	245	12
5	410	12
6	432	12
7	435	12
done	435	12
0	12	13
1	24	12
2	45	12
3	85	11
4	195	11
5	380	11
6	429	11
7	432	11
done	432	11
0	11	12
1	24	11
2	55	11
3	128	11
4	309	11
5	649	11
6	973	11
7	1300	11
8	1919	11
9	2759	11
10	2977	11
11	3123	11
12	3225	11
done	3225	11
0	14	15
1	29	14
2	53	13
3	118	12
4	248	12
5	416	12
6	440	12
7	443	12
done	443	12
0	13	14
1	27	13
2	43	12
3	89	11
4	198	11
5	382	11
6	431	11
7	434	11
done	434	11
0	12	13
1	27	12
2	55	11
3	132	11
4	313	11
5	653	11
6	982	11
7	1309	11
8	1930	11
9	2770	11
10	2988	11
11	3134	11
12	3239	11
done	3239	11
0	11	12
1	27	11
2	61	11
3	145	10
4	369	10
5	793	10
6	1343	10
7	1890	10
8	2785	10
9	4014	10
10	4440	10
11	4761	10
12	4854	10
done	4854	10
0	11	12
1	23	12
2	50	12
3	114	10
4	305	10
5	647	10
6	1222	10
7	2471	10
done	5000	10
0	18	35
1	42	31
2	172	17
3	933	13
done	5001	13
0	16	35
1	41	31
2	142	15
3	678	13
4	3818	13
done	5000	13
0	14	35
1	38	31
2	127	13
3	756	13
4	4987	13
done	5000	13
0	12	25
1	24	25
2	49	25
3	107	21
4	278	21
5	563	21
6	943	21
7	1465	21
8	2356	21
9	3574	21
10	3952	21
11	4147	21
done	4147	21
0	11	12
1	23	12
2	48	12
3	106	10
4	277	10
5	562	10
6	948	10
7	1468	10
8	2361	10
9	3580	10
10	3959	10
11	4154	10
done	4154	10
0	12	35
1	31	35
2	100	13
3	548	11
4	3071	11
done	5000	11
0	11	12
1	23	12
2	48	12
3	106	10
4	277	10
5	562	10
6	948	10
7	1468	10
8	2361	10
9	3580	10
10	3959	10
11	4154	10
done	4154	10
0	11	12
1	23	12
2	48	12
3	106	10
4	277	10
5	562	10
6	948	10
7	1468	10
8	2361	10
9	3580	10
10	3959	10
11	4154	10
done	4154	10
0	2	2
1	5	1
done	5	1
0	9	10
1	19	10
2	46	10
3	128	10
4	312	9
5	707	9
6	1329	9
7	1919	9
8	2582	9
9	2745	9
10	2763	9
11	2786	9
done	2786	9
0	14	27
1	30	25
2	57	23
3	110	23
4	228	23
5	406	23
6	610	23
7	907	23
8	1529	23
9	2363	23
10	2545	23
11	2578	23
done	2578	23
0	12	13
1	22	12
2	40	12
3	87	12
4	205	12
5	389	12
6	597	12
7	892	12
8	1514	12
9	2346	12
10	2524	12
11	2557	12
done	2557	12
0	13	16
1	25	14
2	45	12
3	93	12
4	211	12
5	389	12
6	602	12
7	894	12
8	1513	12
9	2344	12
10	2526	12
11	2559	12
done	2559	12
0	12	13
1	22	12
2	40	12
3	87	12
4	205	12
5	389	12
6	597	12
7	892	12
8	1514	12
9	2346	12
10	2524	12
11	2557	12
done	2557	12
0	16	29
1	31	27
2	69	25
3	139	23
4	193	23
done	193	23
0	13	14
1	20	13
2	25	13
3	26	11
4	39	11
5	44	11
done	44	11
0	15	22
1	26	20
2	46	18
3	79	16
4	102	16
done	102	16
0	13	14
1	20	13
2	25	13
3	26	11
4	39	11
5	44	11
done	44	11
0	18	31
1	37	29
2	105	27
3	343	25
4	1205	25
5	2065	25
6	2134	25
done	2134	25
0	14	15
1	23	14
2	35	14
3	47	12
4	85	12
5	136	12
6	162	12
7	163	12
done	163	12
0	17	26
1	32	24
2	78	22
3	219	20
4	681	20
5	921	20
done	921	20
0	14	15
1	23	14
2	35	14
3	47	12
4	85	12
5	136	12
6	162	12
7	163	12
done	163	12
0	14	23
1	28	19
2	74	17
3	241	15
4	472	15
5	490	15
done	490	15
0	13	14
1	22	13
2	40	13
3	69	11
4	126	11
5	233	11
6	372	11
7	423	11
8	447	11
done	447	11
0	18	27
1	33	25
2	86	23
3	267	21
4	825	21
5	1318	21
6	1732	21
7	1875	21
8	2035	21
9	2048	21
done	2048	21
0	15	16
1	25	15
2	43	15
3	72	13
4	129	13
5	238	13
6	376	13
7	429	13
done	429	13
0	14	23
1	28	19
2	74	17
3	241	15
4	472	15
5	490	15
done	490	15
0	13	14
1	22	13
2	40	13
3	69	11
4	126	11
5	233	11
6	372	11
7	423	11
8	447	11
done	447	11
0	17	28
1	32	26
2	75	24
3	189	22
4	559	22
5	961	22
6	1018	22
done	1018	22
0	14	15
1	23	14
2	35	14
3	47	12
4	85	12
5	136	12
6	162	12
7	163	12
done	163	12
0	16	23
1	29	21
2	64	19
3	137	17
4	340	17
5	452	17
done	452	17
0	14	15
1	23	14
2	35	14
3	47	12
4	85	12
5	136	12
6	162	12
7	163	12
done	163	12
0	13	20
1	25	16
2	56	14
3	129	12
4	200	12
5	202	12
done	202	12
0	13	14
1	22	13
2	40	13
3	69	11
4	126	11
5	233	11
6	372	11
7	423	11
8	447	11
done	447	11
0	17	24
1	30	22
2	72	20
3	169	18
4	404	18
5	615	18
6	816	18
7	871	18
8	901	18
9	914	18
done	914	18
0	15	16
1	25	15
2	43	15
3	72	13
4	129	13
5	238	13
6	376	13
7	429	13
done	429	13
0	13	20
1	25	16
2	56	14
3	129	12
4	200	12
5	202	12
done	202	12
0	13	14
1	22	13
2	40	13
3	69	11
4	126	11
5	233	11
6	372	11
7	423	11
8	447	11
done	447	11
0	15	27
1	30	25
2	68	21
3	166	21
4	361	21
5	432	21
done	432	21
0	13	14
1	22	13
2	34	13
3	46	11
4	84	11
5	120	11
6	154	11
7	157	11
done	157	11
0	14	22
1	27	20
2	57	16
3	114	16
4	176	16
done	176	16
0	13	14
1	22	13
2	34	13
3	46	11
4	84	11
5	120	11
6	154	11
7	157	11
done	157	11
0	11	19
1	23	15
2	45	11
3	75	11
4	80	11
done	80	11
0	12	13
1	21	12
2	39	12
3	68	10
4	125	10
5	189	10
6	301	10
7	365	10
8	427	10
9	434	10
done	434	10
0	15	23
1	28	21
2	65	17
3	140	17
4	248	17
5	298	17
6	376	17
done	376	17
0	14	15
1	24	14
2	42	14
3	71	12
4	128	12
5	192	12
6	304	12
7	368	12
8	425	12
9	433	12
done	433	12
0	11	19
1	23	15
2	45	11
3	75	11
4	80	11
done	80	11
0	12	13
1	21	12
2	39	12
3	68	10
4	125	10
5	189	10
6	301	10
7	365	10
8	427	10
9	434	10
done	434	10
0	10	17
1	20	11
2	35	11
3	44	11
done	44	11
0	12	13
1	21	12
2	39	12
3	68	10
4	125	10
5	189	10
6	301	10
7	365	10
8	427	10
9	434	10
done	434	10
0	11	17
1	21	15
2	40	13
3	73	11
4	96	11
5	97	11
done	97	11
0	11	13
1	20	12
2	38	10
3	58	10
4	81	10
5	106	10
6	131	10
7	137	10
done	137	10
0	17	25
1	44	23
2	105	21
3	294	19
4	1087	19
5	4925	19
done	5000	19
0	14	19
1	27	16
2	53	16
3	120	14
4	248	14
5	444	14
6	464	14
done	464	14
0	16	25
1	33	23
2	83	21
3	266	19
4	1010	19
5	2521	19
6	4964	19
done	5000	19
0	10	11
1	17	10
2	29	10
3	42	8
4	77	8
5	88	8
done	88	8
0	15	24
1	26	22
2	43	20
3	63	18
4	67	18
done	67	18
0	13	14
1	20	13
2	25	13
3	26	11
4	39	11
5	44	11
done	44	11
0	14	17
1	23	15
2	34	13
3	42	11
4	43	11
done	43	11
0	13	14
1	20	13
2	25	13
3	26	11
4	39	11
5	44	11
done	44	11
0	17	26
1	34	24
2	80	22
3	200	20
4	514	20
5	824	20
6	834	20
done	834	20
0	14	15
1	23	14
2	35	14
3	47	12
4	85	12
5	136	12
6	162	12
7	163	12
done	163	12
0	16	21
1	29	19
2	58	17
3	126	15
4	290	15
5	325	15
done	325	15
0	14	15
1	23	14
2	35	14
3	47	12
4	85	12
5	136	12
6	162	12
7	163	12
done	163	12
0	13	18
1	25	14
2	54	12
3	129	10
4	215	10
5	225	10
done	225	10
0	13	14
1	22	13
2	40	13
3	69	11
4	126	11
5	233	11
6	372	11
7	423	11
8	447	11
done	447	11
0	17	22
1	30	20
2	66	18
3	154	16
4	347	16
5	456	16
6	594	16
7	642	16
8	708	16
9	721	16
done	721	16
0	15	16
1	25	15
2	43	15
3	72	13
4	129	13
5	238	13
6	376	13
7	429	13
done	429	13
0	13	18
1	25	14
2	54	12
3	129	10
4	215	10
5	225	10
done	225	10
0	13	14
1	22	13
2	40	13
3	69	11
4	126	11
5	233	11
6	372	11
7	423	11
8	447	11
done	447	11
0	16	23
1	29	21
2	57	19
3	114	17
4	251	17
5	391	17
6	398	17
done	398	17
0	14	15
1	23	14
2	35	14
3	47	12
4	85	12
5	136	12
6	162	12
7	163	12
done	163	12
0	15	18
1	26	16
2	48	14
3	80	12
4	151	12
5	175	12
done	175	12
0	14	15
1	23	14
2	35	14
3	47	12
4	85	12
5	136	12
6	162	12
7	163	12
done	163	12
0	12	15
1	22	11
2	41	9
3	66	7
4	83	7
done	83	7
0	13	14
1	22	13
2	40	13
3	69	11
4	126	11
5	233	11
6	372	11
7	423	11
8	447	11
done	447	11
0	16	19
1	27	17
2	56	15
3	100	13
4	179	13
5	236	13
6	311	13
7	330	13
8	340	13
9	353	13
done	353	13
0	15	16
1	25	15
2	43	15
3	72	13
4	129	13
5	238	13
6	376	13
7	429	13
done	429	13
0	12	15
1	22	11
2	41	9
3	66	7
4	83	7
done	83	7
0	13	14
1	22	13
2	40	13
3	69	11
4	126	11
5	233	11
6	372	11
7	423	11
8	447	11
done	447	11
0	14	22
1	27	20
2	51	16
3	84	16
4	124	16
5	153	16
done	153	16
0	13	14
1	22	13
2	34	13
3	46	11
4	84	11
5	120	11
6	154	11
7	157	11
done	157	11
0	13	17
1	24	15
2	42	11
3	55	11
4	61	11
done	61	11
0	13	14
1	22	13
2	34	13
3	46	11
4	84	11
5	120	11
6	154	11
7	157	11
done	157	11
0	10	14
1	20	10
2	32	6
3	34	6
done	34	6
0	12	13
1	21	12
2	39	12
3	68	10
4	125	10
5	189	10
6	301	10
7	365	10
8	427	10
9	434	10
done	434	10
0	14	18
1	25	16
2	50	12
3	65	12
4	77	12
5	91	12
6	119	12
done	119	12
0	14	15
1	24	14
2	42	14
3	71	12
4	128	12
5	192	12
6	304	12
7	368	12
8	425	12
9	433	12
done	433	12
0	10	14
1	20	10
2	32	6
3	34	6
done	34	6
0	12	13
1	21	12
2	39	12
3	68	10
4	125	10
5	189	10
6	301	10
7	365	10
8	427	10
9	434	10
done	434	10
0	9	12
1	17	6
2	23	6
done	23	6
0	12	13
1	21	12
2	39	12
3	68	10
4	125	10
5	189	10
6	301	10
7	365	10
8	427	10
9	434	10
done	434	10
0	10	12
1	18	10
2	28	8
3	36	6
4	37	6
done	37	6
0	11	13
1	20	12
2	38	10
3	58	10
4	81	10
5	106	10
6	131	10
7	137	10
done	137	10
0	16	20
1	41	18
2	89	16
3	223	14
4	655	14
5	2565	14
done	5001	14
0	14	19
1	27	16
2	53	16
3	120	14
4	248	14
5	444	14
6	464	14
done	464	14
0	15	20
1	30	18
2	67	16
3	189	14
4	549	14
5	1090	14
6	1998	14
7	3611	14
done	5000	14
0	10	11
1	17	10
2	29	10
3	42	8
4	77	8
5	88	8
done	88	8
0	12	21
1	22	19
2	38	15
3	55	13
4	63	13
5	64	13
done	64	13
0	12	13
1	22	12
2	29	12
3	32	10
4	54	10
5	67	10
done	67	10
0	11	14
1	19	12
2	29	8
3	36	6
done	36	6
0	12	13
1	22	12
2	29	12
3	32	10
4	54	10
5	67	10
done	67	10
0	14	23
1	30	21
2	75	17
3	188	15
4	499	15
5	668	15
done	668	15
0	13	14
1	25	13
2	44	13
3	69	11
4	139	11
5	258	11
6	370	11
7	415	11
8	434	11
done	434	11
0	13	18
1	25	16
2	53	12
3	120	10
4	251	10
5	266	10
done	266	10
0	13	14
1	25	13
2	44	13
3	69	11
4	139	11
5	258	11
6	370	11
7	415	11
8	434	11
done	434	11
0	9	15
1	19	11
2	44	7
3	75	5
4	100	5
done	100	5
0	12	13
1	24	12
2	49	12
3	107	10
4	278	10
5	621	10
6	1091	10
7	1606	10
8	2462	10
9	3844	10
10	4155	10
11	4170	10
done	4170	10
0	14	19
1	25	17
2	60	13
3	148	11
4	318	11
5	453	11
6	483	11
done	483	11
0	14	15
1	27	14
2	52	14
3	110	12
4	283	12
5	654	12
6	1278	12
7	1821	12
8	2462	12
9	3098	12
10	3258	12
11	3272	12
done	3272	12
0	9	15
1	19	11
2	44	7
3	75	5
4	100	5
done	100	5
0	12	13
1	24	12
2	49	12
3	107	10
4	278	10
5	621	10
6	1091	10
7	1606	10
8	2462	10
9	3844	10
10	4155	10
11	4170	10
done	4170	10
0	13	20
1	25	18
2	52	14
3	109	12
4	208	12
5	263	12
done	263	12
0	13	14
1	25	13
2	44	13
3	69	11
4	139	11
5	258	11
6	370	11
7	415	11
8	434	11
done	434	11
0	12	15
1	22	13
2	43	9
3	80	7
4	115	7
done	115	7
0	13	14
1	25	13
2	44	13
3	69	11
4	139	11
5	258	11
6	370	11
7	415	11
8	434	11
done	434	11
0	8	12
1	16	8
2	32	4
3	35	2
done	35	2
0	12	13
1	24	12
2	49	12
3	107	10
4	278	10
5	621	10
6	1091	10
7	1606	10
8	2462	10
9	3844	10
10	4155	10
11	4170	10
done	4170	10
0	13	16
1	22	14
2	50	10
3	98	8
4	169	8
5	230	8
6	248	8
done	248	8
0	14	15
1	27	14
2	52	14
3	110	12
4	283	12
5	654	12
6	1278	12
7	1821	12
8	2462	12
9	3098	12
10	3258	12
11	3272	12
done	3272	12
0	8	12
1	16	8
2	32	4
3	35	2
done	35	2
0	12	13
1	24	12
2	49	12
3	107	10
4	278	10
5	621	10
6	1091	10
7	1606	10
8	2462	10
9	3844	10
10	4155	10
11	4170	10
done	4170	10
0	11	19
1	23	13
2	43	11
3	64	11
4	69	11
done	69	11
0	12	13
1	24	12
2	43	12
3	68	10
4	138	10
5	222	10
6	321	10
7	401	10
8	414	10
done	414	10
0	10	14
1	20	8
2	30	6
done	30	6
0	12	13
1	24	12
2	43	12
3	68	10
4	138	10
5	222	10
6	321	10
7	401	10
8	414	10
done	414	10
0	6	11
1	13	1
done	13	1
0	11	12
1	23	11
2	48	11
3	106	9
4	277	9
5	555	9
6	938	9
7	1461	9
8	2356	9
9	3587	9
10	3964	9
11	4157	9
done	4157	9
0	11	15
1	20	9
2	37	7
3	45	7
done	45	7
0	13	14
1	26	13
2	51	13
3	109	11
4	282	11
5	569	11
6	1040	11
7	1617	11
8	2280	11
9	2920	11
10	3105	11
11	3121	11
done	3121	11
0	6	11
1	13	1
done	13	1
0	11	12
1	23	11
2	48	11
3	106	9
4	277	9
5	555	9
6	938	9
7	1461	9
8	2356	9
9	3587	9
10	3964	9
11	4157	9
done	4157	9
0	5	9
1	11	1
done	11	1
0	11	12
1	23	11
2	48	11
3	106	9
4	277	9
5	555	9
6	938	9
7	1461	9
8	2356	9
9	3587	9
10	3964	9
11	4157	9
done	4157	9
0	6	9
1	12	7
2	21	3
3	28	1
done	28	1
0	10	12
1	22	11
2	47	9
3	118	9
4	201	9
5	356	9
6	522	9
7	767	9
8	1183	9
9	1573	9
10	1649	9
done	1649	9
0	13	17
1	36	15
2	84	11
3	220	9
4	628	9
5	2402	9
done	5001	9
0	13	18
1	29	15
2	57	15
3	126	13
4	261	13
5	475	13
6	535	13
7	582	13
8	612	13
9	620	13
done	620	13
0	12	17
1	25	15
2	62	11
3	182	9
4	505	9
5	1127	9
6	1593	9
7	2822	9
done	5000	9
0	9	10
1	19	9
2	33	9
3	48	7
4	92	7
5	119	7
6	123	7
7	126	7
done	126	7
0	16	25
1	27	23
2	43	21
3	63	19
4	67	19
done	67	19
0	14	15
1	25	14
2	32	14
3	35	12
4	57	12
5	72	12
done	72	12
0	15	18
1	24	16
2	34	14
3	42	12
4	43	12
done	43	12
0	14	15
1	25	14
2	32	14
3	35	12
4	57	12
5	72	12
done	72	12
0	18	27
1	35	25
2	80	23
3	200	21
4	526	21
5	857	21
6	929	21
7	1077	21
8	1575	21
9	1864	21
10	1984	21
11	2075	21
done	2075	21
0	15	16
1	28	15
2	47	15
3	72	13
4	142	13
5	266	13
6	382	13
7	428	13
8	429	13
done	429	13
0	17	22
1	30	20
2	58	18
3	126	16
4	302	16
5	354	16
6	366	16
7	416	16
8	559	16
9	681	16
10	735	16
11	776	16
done	776	16
0	15	16
1	28	15
2	47	15
3	72	13
4	142	13
5	266	13
6	382	13
7	428	13
8	429	13
done	429	13
0	14	19
1	25	15
2	53	13
3	128	11
4	226	11
5	266	11
6	288	11
7	332	11
8	504	11
9	533	11
done	533	11
0	14	15
1	27	14
2	52	14
3	110	12
4	283	12
5	654	12
6	1267	12
7	1763	12
8	2434	12
9	3224	12
10	3382	12
11	3397	12
done	3397	12
0	17	23
1	29	21
2	64	19
3	152	17
4	365	17
5	517	17
6	732	17
7	895	17
8	1194	17
9	1390	17
10	1567	17
11	1810	17
12	2060	17
13	2151	17
14	2206	17
15	2247	17
16	2255	17
done	2255	17
0	15	17
1	27	16
2	52	16
3	110	14
4	281	14
5	624	14
6	1143	14
7	1757	14
8	2687	14
9	3348	14
10	3531	14
11	3542	14
done	3542	14
0	14	19
1	25	15
2	53	13
3	128	11
4	226	11
5	266	11
6	288	11
7	332	11
8	504	11
9	533	11
done	533	11
0	14	15
1	27	14
2	52	14
3	110	12
4	283	12
5	654	12
6	1267	12
7	1763	12
8	2434	12
9	3224	12
10	3382	12
11	3397	12
done	3397	12
0	17	24
1	30	22
2	57	20
3	114	18
4	261	18
5	426	18
6	465	18
7	543	18
8	767	18
9	855	18
10	877	18
11	915	18
done	915	18
0	15	16
1	28	15
2	47	15
3	72	13
4	142	13
5	266	13
6	382	13
7	428	13
8	429	13
done	429	13
0	16	19
1	27	17
2	48	15
3	80	13
4	159	13
5	190	13
6	196	13
7	222	13
8	291	13
9	332	13
10	342	13
11	355	13
done	355	13
0	15	16
1	28	15
2	47	15
3	72	13
4	142	13
5	266	13
6	382	13
7	428	13
8	429	13
done	429	13
0	13	16
1	22	12
2	40	10
3	65	8
4	91	8
5	115	8
6	123	8
7	143	8
8	221	8
9	237	8
done	237	8
0	14	15
1	27	14
2	52	14
3	110	12
4	283	12
5	654	12
6	1267	12
7	1763	12
8	2434	12
9	3224	12
10	3382	12
11	3397	12
done	3397	12
0	16	20
1	26	18
2	54	16
3	98	14
4	194	14
5	275	14
6	397	14
7	480	14
8	600	14
9	686	14
10	746	14
11	819	14
12	875	14
13	902	14
14	911	14
15	918	14
16	922	14
done	922	14
0	15	17
1	27	16
2	52	16
3	110	14
4	281	14
5	624	14
6	1143	14
7	1757	14
8	2687	14
9	3348	14
10	3531	14
11	3542	14
done	3542	14
0	13	16
1	22	12
2	40	10
3	65	8
4	91	8
5	115	8
6	123	8
7	143	8
8	221	8
9	237	8
done	237	8
0	14	15
1	27	14
2	52	14
3	110	12
4	283	12
5	654	12
6	1267	12
7	1763	12
8	2434	12
9	3224	12
10	3382	12
11	3397	12
done	3397	12
0	15	23
1	28	21
2	51	17
3	92	17
4	145	17
5	191	17
6	223	17
7	290	17
8	314	17
done	314	17
0	14	15
1	27	14
2	46	14
3	71	12
4	141	12
5	225	12
6	329	12
7	399	12
8	405	12
done	405	12
0	14	18
1	25	16
2	42	12
3	63	12
4	69	12
5	71	12
6	77	12
7	91	12
8	119	12
done	119	12
0	14	15
1	27	14
2	46	14
3	71	12
4	141	12
5	225	12
6	329	12
7	399	12
8	405	12
done	405	12
0	11	15
1	20	11
2	31	7
3	40	7
4	48	7
done	48	7
0	13	14
1	26	13
2	51	13
3	109	11
4	282	11
5	569	11
6	1039	11
7	1593	11
8	2316	11
9	3073	11
10	3240	11
11	3257	11
done	3257	11
0	14	19
1	24	17
2	48	13
3	86	13
4	118	13
5	162	13
6	223	13
7	240	13
8	272	13
9	286	13
10	302	13
done	302	13
0	14	16
1	26	15
2	51	15
3	109	13
4	280	13
5	552	13
6	986	13
7	1557	13
8	2451	13
9	3039	13
10	3335	13
11	3530	13
done	3530	13
0	11	15
1	20	11
2	31	7
3	40	7
4	48	7
done	48	7
0	13	14
1	26	13
2	51	13
3	109	11
4	282	11
5	569	11
6	1039	11
7	1593	11
8	2316	11
9	3073	11
10	3240	11
11	3257	11
done	3257	11
0	10	13
1	17	7
2	22	7
done	22	7
0	13	14
1	26	13
2	51	13
3	109	11
4	282	11
5	569	11
6	1039	11
7	1593	11
8	2316	11
9	3073	11
10	3240	11
11	3257	11
done	3257	11
0	11	13
1	18	11
2	27	9
3	35	7
4	36	7
done	36	7
0	12	14
1	25	13
2	50	11
3	122	11
4	216	11
5	361	11
6	516	11
7	702	11
8	998	11
9	1222	11
10	1238	11
done	1238	11
0	17	21
1	41	19
2	89	17
3	223	15
4	685	15
5	2915	15
done	5000	15
0	15	20
1	31	17
2	59	17
3	128	15
4	263	15
5	479	15
6	540	15
7	587	15
8	614	15
9	616	15
done	616	15
0	16	21
1	30	19
2	67	17
3	189	15
4	575	15
5	1274	15
6	2651	15
done	5001	15
0	11	12
1	21	11
2	35	11
3	50	9
4	94	9
5	119	9
6	123	9
7	127	9
done	127	9
0	12	21
1	22	19
2	38	15
3	55	13
4	63	13
5	64	13
done	64	13
0	12	13
1	22	12
2	29	12
3	32	10
4	54	10
5	67	10
done	67	10
0	11	14
1	19	12
2	29	8
3	36	6
done	36	6
0	12	13
1	22	12
2	29	12
3	32	10
4	54	10
5	67	10
done	67	10
0	14	23
1	30	21
2	75	17
3	188	15
4	499	15
5	668	15
done	668	15
0	13	14
1	25	13
2	44	13
3	69	11
4	139	11
5	258	11
6	370	11
7	415	11
8	434	11
done	434	11
0	13	18
1	25	16
2	53	12
3	120	10
4	251	10
5	266	10
done	266	10
0	13	14
1	25	13
2	44	13
3	69	11
4	139	11
5	258	11
6	370	11
7	415	11
8	434	11
done	434	11
0	9	15
1	19	11
2	44	7
3	75	5
4	100	5
done	100	5
0	12	13
1	24	12
2	49	12
3	107	10
4	278	10
5	621	10
6	1091	10
7	1606	10
8	2462	10
9	3844	10
10	4155	10
11	4170	10
done	4170	10
0	14	19
1	25	17
2	60	13
3	148	11
4	318	11
5	453	11
6	483	11
done	483	11
0	14	15
1	27	14
2	52	14
3	110	12
4	283	12
5	654	12
6	1278	12
7	1821	12
8	2462	12
9	3098	12
10	3258	12
11	3272	12
done	3272	12
0	9	15
1	19	11
2	44	7
3	75	5
4	100	5
done	100	5
0	12	13
1	24	12
2	49	12
3	107	10
4	278	10
5	621	10
6	1091	10
7	1606	10
8	2462	10
9	3844	10
10	4155	10
11	4170	10
done	4170	10
0	13	20
1	25	18
2	52	14
3	109	12
4	208	12
5	263	12
done	263	12
0	13	14
1	25	13
2	44	13
3	69	11
4	139	11
5	258	11
6	370	11
7	415	11
8	434	11
done	434	11
0	12	15
1	22	13
2	43	9
3	80	7
4	115	7
done	115	7
0	13	14
1	25	13
2	44	13
3	69	11
4	139	11
5	258	11
6	370	11
7	415	11
8	434	11
done	434	11
0	8	12
1	16	8
2	32	4
3	35	2
done	35	2
0	12	13
1	24	12
2	49	12
3	107	10
4	278	10
5	621	10
6	1091	10
7	1606	10
8	2462	10
9	3844	10
10	4155	10
11	4170	10
done	4170	10
0	13	16
1	22	14
2	50	10
3	98	8
4	169	8
5	230	8
6	248	8
done	248	8
0	14	15
1	27	14
2	52	14
3	110	12
4	283	12
5	654	12
6	1278	12
7	1821	12
8	2462	12
9	3098	12
10	3258	12
11	3272	12
done	3272	12
0	8	12
1	16	8
2	32	4
3	35	2
done	35	2
0	12	13
1	24	12
2	49	12
3	107	10
4	278	10
5	621	10
6	1091	10
7	1606	10
8	2462	10
9	3844	10
10	4155	10
11	4170	10
done	4170	10
0	11	19
1	23	13
2	43	11
3	64	11
4	69	11
done	69	11
0	12	13
1	24	12
2	43	12
3	68	10
4	138	10
5	222	10
6	321	10
7	401	10
8	414	10
done	414	10
0	10	14
1	20	8
2	30	6
done	30	6
0	12	13
1	24	12
2	43	12
3	68	10
4	138	10
5	222	10
6	321	10
7	401	10
8	414	10
done	414	10
0	6	11
1	13	1
done	13	1
0	11	12
1	23	11
2	48	11
3	106	9
4	277	9
5	555	9
6	938	9
7	1461	9
8	2356	9
9	3587	9
10	3964	9
11	4157	9
done	4157	9
0	11	15
1	20	9
2	37	7
3	45	7
done	45	7
0	13	14
1	26	13
2	51	13
3	109	11
4	282	11
5	569	11
6	1040	11
7	1617	11
8	2280	11
9	2920	11
10	3105	11
11	3121	11
done	3121	11
0	6	11
1	13	1
done	13	1
0	11	12
1	23	11
2	48	11
3	106	9
4	277	9
5	555	9
6	938	9
7	1461	9
8	2356	9
9	3587	9
10	3964	9
11	4157	9
done	4157	9
0	5	9
1	11	1
done	11	1
0	11	12
1	23	11
2	48	11
3	106	9
4	277	9
5	555	9
6	938	9
7	1461	9
8	2356	9
9	3587	9
10	3964	9
11	4157	9
done	4157	9
0	6	9
1	12	7
2	21	3
3	28	1
done	28	1
0	10	12
1	22	11
2	47	9
3	118	9
4	201	9
5	356	9
6	522	9
7	767	9
8	1183	9
9	1573	9
10	1649	9
done	1649	9
0	13	17
1	36	15
2	84	11
3	220	9
4	628	9
5	2402	9
done	5001	9
0	13	18
1	29	15
2	57	15
3	126	13
4	261	13
5	475	13
6	535	13
7	582	13
8	612	13
9	620	13
done	620	13
0	12	17
1	25	15
2	62	11
3	182	9
4	505	9
5	1127	9
6	1593	9
7	2822	9
done	5000	9
0	9	10
1	19	9
2	33	9
3	48	7
4	92	7
5	119	7
6	123	7
7	126	7
done	126	7
0	4	7
1	8	3
2	12	1
done	12	1
0	11	12
1	23	11
2	48	11
3	106	9
4	277	9
5	555	9
6	938	9
7	1461	9
8	2356	9
9	3587	9
10	3964	9
11	4157	9
done	4157	9
0	7	9
1	13	7
2	19	5
3	22	5
done	22	5
0	9	10
1	17	9
2	34	7
3	66	5
4	132	5
5	206	5
6	247	5
7	289	5
8	359	5
9	428	5
10	463	5
11	472	5
done	472	5
0	9	11
1	20	9
2	35	7
3	52	5
4	56	5
done	56	5
0	6	6
1	10	5
2	11	5
done	11	5
0	13	24
1	25	23
2	43	23
3	90	23
4	208	23
5	392	23
6	602	23
7	899	23
8	1520	23
9	2352	23
10	2530	23
11	2563	23
done	2563	23
0	12	13
1	22	12
2	40	12
3	87	12
4	205	12
5	389	12
6	597	12
7	892	12
8	1514	12
9	2346	12
10	2524	12
11	2557	12
done	2557	12
0	12	13
1	22	12
2	40	12
3	87	12
4	205	12
5	389	12
6	597	12
7	892	12
8	1514	12
9	2346	12
10	2524	12
11	2557	12
done	2557	12
0	12	13
1	22	12
2	40	12
3	87	12
4	205	12
5	389	12
6	597	12
7	892	12
8	1514	12
9	2346	12
10	2524	12
11	2557	12
done	2557	12
0	15	26
1	28	25
2	51	25
3	80	23
4	140	23
5	209	23
done	209	23
0	13	14
1	20	13
2	25	13
3	26	11
4	39	11
5	44	11
done	44	11
0	14	19
1	23	18
2	33	18
3	46	16
4	73	16
5	104	16
done	104	16
0	13	14
1	20	13
2	25	13
3	26	11
4	39	11
5	44	11
done	44	11
0	17	28
1	34	27
2	88	27
3	259	25
4	739	25
5	1599	25
6	2363	25
7	2384	25
done	2384	25
0	14	15
1	23	14
2	35	14
3	47	12
4	85	12
5	136	12
6	162	12
7	163	12
done	163	12
0	16	23
1	29	22
2	61	22
3	153	20
4	400	20
5	746	20
6	917	20
7	924	20
done	924	20
0	14	15
1	23	14
2	35	14
3	47	12
4	85	12
5	136	12
6	162	12
7	163	12
done	163	12
0	13	20
1	25	17
2	59	17
3	187	15
4	340	15
5	439	15
6	445	15
done	445	15
0	13	14
1	22	13
2	40	13
3	69	11
4	126	11
5	233	11
6	372	11
7	423	11
8	447	11
done	447	11
0	17	24
1	30	23
2	69	23
3	201	21
4	527	21
5	1085	21
6	1637	21
7	1836	21
8	1997	21
9	2012	21
done	2012	21
0	15	16
1	25	15
2	43	15
3	72	13
4	129	13
5	238	13
6	376	13
7	429	13
done	429	13
0	13	20
1	25	17
2	59	17
3	187	15
4	340	15
5	439	15
6	445	15
done	445	15
0	13	14
1	22	13
2	40	13
3	69	11
4	126	11
5	233	11
6	372	11
7	423	11
8	447	11
done	447	11
0	16	25
1	29	24
2	58	24
3	127	22
4	319	22
5	713	22
6	1168	22
7	1184	22
done	1184	22
0	14	15
1	23	14
2	35	14
3	47	12
4	85	12
5	136	12
6	162	12
7	163	12
done	163	12
0	15	20
1	26	19
2	47	19
3	83	17
4	179	17
5	344	17
6	438	17
7	444	17
done	444	17
0	14	15
1	23	14
2	35	14
3	47	12
4	85	12
5	136	12
6	162	12
7	163	12
done	163	12
0	12	17
1	22	14
2	41	14
3	90	12
4	145	12
5	201	12
6	203	12
done	203	12
0	13	14
1	22	13
2	40	13
3	69	11
4	126	11
5	233	11
6	372	11
7	423	11
8	447	11
done	447	11
0	16	21
1	27	20
2	55	20
3	115	18
4	247	18
5	516	18
6	792	18
7	883	18
8	915	18
9	929	18
done	929	18
0	15	16
1	25	15
2	43	15
3	72	13
4	129	13
5	238	13
6	376	13
7	429	13
done	429	13
0	12	17
1	22	14
2	41	14
3	90	12
4	145	12
5	201	12
6	203	12
done	203	12
0	13	14
1	22	13
2	40	13
3	69	11
4	126	11
5	233	11
6	372	11
7	423	11
8	447	11
done	447	11
0	14	24
1	27	23
2	55	21
3	135	21
4	316	21
5	379	21
done	379	21
0	13	14
1	22	13
2	34	13
3	46	11
4	84	11
5	120	11
6	154	11
7	157	11
done	157	11
0	13	19
1	24	18
2	44	16
3	89	16
4	145	16
5	148	16
done	148	16
0	13	14
1	22	13
2	34	13
3	46	11
4	84	11
5	120	11
6	154	11
7	157	11
done	157	11
0	10	16
1	20	13
2	35	11
3	68	11
4	81	11
done	81	11
0	12	13
1	21	12
2	39	12
3	68	10
4	125	10
5	189	10
6	301	10
7	365	10
8	427	10
9	434	10
done	434	10
0	14	20
1	25	19
2	52	17
3	115	17
4	216	17
5	263	17
6	341	17
done	341	17
0	14	15
1	24	14
2	42	14
3	71	12
4	128	12
5	192	12
6	304	12
7	368	12
8	425	12
9	433	12
done	433	12
0	10	16
1	20	13
2	35	11
3	68	11
4	81	11
done	81	11
0	12	13
1	21	12
2	39	12
3	68	10
4	125	10
5	189	10
6	301	10
7	365	10
8	427	10
9	434	10
done	434	10
0	9	14
1	17	11
2	29	11
3	38	11
done	38	11
0	12	13
1	21	12
2	39	12
3	68	10
4	125	10
5	189	10
6	301	10
7	365	10
8	427	10
9	434	10
done	434	10
0	10	14
1	18	13
2	27	13
3	40	11
4	44	11
5	69	11
6	116	11
7	120	11
done	120	11
0	11	13
1	20	12
2	38	10
3	58	10
4	81	10
5	106	10
6	131	10
7	137	10
done	137	10
0	16	22
1	41	21
2	88	21
3	238	19
4	858	19
5	3984	19
done	5000	19
0	14	19
1	27	16
2	53	16
3	120	14
4	248	14
5	444	14
6	464	14
done	464	14
0	15	22
1	30	21
2	66	21
3	207	19
4	744	19
5	2002	19
6	4754	19
done	5001	19
0	10	11
1	17	10
2	29	10
3	42	8
4	77	8
5	88	8
done	88	8
0	14	21
1	23	20
2	32	20
3	40	18
4	64	18
5	83	18
done	83	18
0	13	14
1	20	13
2	25	13
3	26	11
4	39	11
5	44	11
done	44	11
0	13	14
1	20	13
2	25	13
3	26	11
4	39	11
5	44	11
done	44	11
0	13	14
1	20	13
2	25	13
3	26	11
4	39	11
5	44	11
done	44	11
0	16	23
1	31	22
2	67	22
3	148	20
4	354	20
5	650	20
6	916	20
7	924	20
done	924	20
0	14	15
1	23	14
2	35	14
3	47	12
4	85	12
5	136	12
6	162	12
7	163	12
done	163	12
0	15	18
1	26	17
2	45	17
3	86	15
4	193	15
5	294	15
6	341	15
done	341	15
0	14	15
1	23	14
2	35	14
3	47	12
4	85	12
5	136	12
6	162	12
7	163	12
done	163	12
0	12	15
1	22	12
2	43	12
3	101	10
4	179	10
5	204	10
done	204	10
0	13	14
1	22	13
2	40	13
3	69	11
4	126	11
5	233	11
6	372	11
7	423	11
8	447	11
done	447	11
0	16	19
1	27	18
2	53	18
3	114	16
4	243	16
5	428	16
6	597	16
7	650	16
8	717	16
9	731	16
done	731	16
0	15	16
1	25	15
2	43	15
3	72	13
4	129	13
5	238	13
6	376	13
7	429	13
done	429	13
0	12	15
1	22	12
2	43	12
3	101	10
4	179	10
5	204	10
done	204	10
0	13	14
1	22	13
2	40	13
3	69	11
4	126	11
5	233	11
6	372	11
7	423	11
8	447	11
done	447	11
0	15	20
1	26	19
2	44	19
3	75	17
4	149	17
5	286	17
6	451	17
7	453	17
done	453	17
0	14	15
1	23	14
2	35	14
3	47	12
4	85	12
5	136	12
6	162	12
7	163	12
done	163	12
0	14	15
1	23	14
2	35	14
3	47	12
4	85	12
5	136	12
6	162	12
7	163	12
done	163	12
0	14	15
1	23	14
2	35	14
3	47	12
4	85	12
5	136	12
6	162	12
7	163	12
done	163	12
0	11	12
1	19	9
2	30	9
3	46	7
4	72	7
5	83	7
done	83	7
0	13	14
1	22	13
2	40	13
3	69	11
4	126	11
5	233	11
6	372	11
7	423	11
8	447	11
done	447	11
0	15	16
1	24	15
2	43	15
3	67	13
4	111	13
5	195	13
6	281	13
7	302	13
8	313	13
9	325	13
done	325	13
0	15	16
1	25	15
2	43	15
3	72	13
4	129	13
5	238	13
6	376	13
7	429	13
done	429	13
0	11	12
1	19	9
2	30	9
3	46	7
4	72	7
5	83	7
done	83	7
0	13	14
1	22	13
2	40	13
3	69	11
4	126	11
5	233	11
6	372	11
7	423	11
8	447	11
done	447	11
0	13	19
1	24	18
2	42	16
3	73	16
4	117	16
5	141	16
done	141	16
0	13	14
1	22	13
2	34	13
3	46	11
4	84	11
5	120	11
6	154	11
7	157	11
done	157	11
0	12	14
1	21	13
2	33	11
3	46	11
4	53	11
done	53	11
0	13	14
1	22	13
2	34	13
3	46	11
4	84	11
5	120	11
6	154	11
7	157	11
done	157	11
0	9	11
1	17	8
2	26	6
3	28	6
done	28	6
0	12	13
1	21	12
2	39	12
3	68	10
4	125	10
5	189	10
6	301	10
7	365	10
8	427	10
9	434	10
done	434	10
0	13	15
1	22	14
2	41	12
3	56	12
4	69	12
5	83	12
6	111	12
done	111	12
0	14	15
1	24	14
2	42	14
3	71	12
4	128	12
5	192	12
6	304	12
7	368	12
8	425	12
9	433	12
done	433	12
0	9	11
1	17	8
2	26	6
3	28	6
done	28	6
0	12	13
1	21	12
2	39	12
3	68	10
4	125	10
5	189	10
6	301	10
7	365	10
8	427	10
9	434	10
done	434	10
0	8	9
1	14	6
2	20	6
done	20	6
0	12	13
1	21	12
2	39	12
3	68	10
4	125	10
5	189	10
6	301	10
7	365	10
8	427	10
9	434	10
done	434	10
0	9	9
1	15	8
2	19	8
3	20	6
done	20	6
0	11	13
1	20	12
2	38	10
3	58	10
4	81	10
5	106	10
6	131	10
7	137	10
done	137	10
0	15	17
1	38	16
2	76	16
3	188	14
4	560	14
5	2147	14
done	5000	14
0	14	19
1	27	16
2	53	16
3	120	14
4	248	14
5	444	14
6	464	14
done	464	14
0	14	17
1	27	16
2	54	16
3	151	14
4	416	14
5	856	14
6	1723	14
7	3447	14
done	5001	14
0	10	11
1	17	10
2	29	10
3	42	8
4	77	8
5	88	8
done	88	8
0	11	18
1	19	17
2	27	15
3	36	13
4	50	13
5	52	13
done	52	13
0	12	13
1	22	12
2	29	12
3	32	10
4	54	10
5	67	10
done	67	10
0	10	11
1	16	10
2	20	8
3	25	6
4	29	6
done	29	6
0	12	13
1	22	12
2	29	12
3	32	10
4	54	10
5	67	10
done	67	10
0	13	20
1	27	19
2	62	17
3	138	15
4	391	15
5	520	15
6	524	15
done	524	15
0	13	14
1	25	13
2	44	13
3	69	11
4	139	11
5	258	11
6	370	11
7	415	11
8	434	11
done	434	11
0	12	15
1	22	14
2	40	12
3	80	10
4	187	10
5	241	10
done	241	10
0	13	14
1	25	13
2	44	13
3	69	11
4	139	11
5	258	11
6	370	11
7	415	11
8	434	11
done	434	11
0	8	12
1	16	9
2	34	7
3	54	5
4	61	5
done	61	5
0	12	13
1	24	12
2	49	12
3	107	10
4	278	10
5	621	10
6	1091	10
7	1606	10
8	2462	10
9	3844	10
10	4155	10
11	4170	10
done	4170	10
0	13	16
1	22	15
2	47	13
3	107	11
4	281	11
5	438	11
6	463	11
done	463	11
0	14	15
1	27	14
2	52	14
3	110	12
4	283	12
5	654	12
6	1278	12
7	1821	12
8	2462	12
9	3098	12
10	3258	12
11	3272	12
done	3272	12
0	8	12
1	16	9
2	34	7
3	54	5
4	61	5
done	61	5
0	12	13
1	24	12
2	49	12
3	107	10
4	278	10
5	621	10
6	1091	10
7	1606	10
8	2462	10
9	3844	10
10	4155	10
11	4170	10
done	4170	10
0	12	17
1	22	16
2	39	14
3	71	12
4	154	12
5	217	12
6	220	12
done	220	12
0	13	14
1	25	13
2	44	13
3	69	11
4	139	11
5	258	11
6	370	11
7	415	11
8	434	11
done	434	11
0	11	12
1	19	11
2	30	9
3	45	7
4	76	7
5	100	7
done	100	7
0	13	14
1	25	13
2	44	13
3	69	11
4	139	11
5	258	11
6	370	11
7	415	11
8	434	11
done	434	11
0	7	9
1	13	6
2	22	4
done	22	2
0	12	13
1	24	12
2	49	12
3	107	10
4	278	10
5	621	10
6	1091	10
7	1606	10
8	2462	10
9	3844	10
10	4155	10
11	4170	10
done	4170	10
0	12	13
1	19	12
2	37	10
3	64	8
4	135	8
5	212	8
6	229	8
done	229	8
0	14	15
1	27	14
2	52	14
3	110	12
4	283	12
5	654	12
6	1278	12
7	1821	12
8	2462	12
9	3098	12
10	3258	12
11	3272	12
done	3272	12
0	7	9
1	13	6
2	22	4
done	22	2
0	12	13
1	24	12
2	49	12
3	107	10
4	278	10
5	621	10
6	1091	10
7	1606	10
8	2462	10
9	3844	10
10	4155	10
11	4170	10
done	4170	10
0	10	16
1	20	11
2	34	11
3	54	11
4	64	11
done	64	11
0	12	13
1	24	12
2	43	12
3	68	10
4	138	10
5	222	10
6	321	10
7	401	10
8	414	10
done	414	10
0	9	11
1	17	6
2	25	6
3	27	6
done	27	6
0	12	13
1	24	12
2	43	12
3	68	10
4	138	10
5	222	10
6	321	10
7	401	10
8	414	10
done	414	10
0	5	8
1	10	1
done	10	1
0	11	12
1	23	11
2	48	11
3	106	9
4	277	9
5	555	9
6	938	9
7	1461	9
8	2356	9
9	3587	9
10	3964	9
11	4157	9
done	4157	9
0	10	12
1	17	7
2	32	7
3	42	7
done	42	7
0	13	14
1	26	13
2	51	13
3	109	11
4	282	11
5	569	11
6	1040	11
7	1617	11
8	2280	11
9	2920	11
10	3105	11
11	3121	11
done	3121	11
0	5	8
1	10	1
done	10	1
0	11	12
1	23	11
2	48	11
3	106	9
4	277	9
5	555	9
6	938	9
7	1461	9
8	2356	9
9	3587	9
10	3964	9
11	4157	9
done	4157	9
0	4	6
1	8	1
done	8	1
0	11	12
1	23	11
2	48	11
3	106	9
4	277	9
5	555	9
6	938	9
7	1461	9
8	2356	9
9	3587	9
10	3964	9
11	4157	9
done	4157	9
0	5	6
1	9	5
2	12	3
3	17	1
4	18	1
done	18	1
0	10	12
1	22	11
2	47	9
3	118	9
4	201	9
5	356	9
6	522	9
7	767	9
8	1183	9
9	1573	9
10	1649	9
done	1649	9
0	12	14
1	33	13
2	71	11
3	186	9
4	563	9
5	2253	9
done	5000	9
0	13	18
1	29	15
2	57	15
3	126	13
4	261	13
5	475	13
6	535	13
7	582	13
8	612	13
9	620	13
done	620	13
0	11	14
1	22	13
2	49	11
3	147	9
4	436	9
5	1004	9
6	1413	9
7	2285	9
done	5001	9
0	9	10
1	19	9
2	33	9
3	48	7
4	92	7
5	119	7
6	123	7
7	126	7
done	126	7
0	15	22
1	24	21
2	32	21
3	40	19
4	64	19
5	79	19
done	79	19
0	14	15
1	25	14
2	32	14
3	35	12
4	57	12
5	72	12
done	72	12
0	14	15
1	21	14
2	25	14
3	26	12
4	39	12
5	46	12
done	46	12
0	14	15
1	25	14
2	32	14
3	35	12
4	57	12
5	72	12
done	72	12
0	17	24
1	32	23
2	67	23
3	150	21
4	365	21
5	693	21
6	1072	21
7	1239	21
8	1648	21
9	1939	21
10	2066	21
11	2156	21
done	2156	21
0	15	16
1	28	15
2	47	15
3	72	13
4	142	13
5	266	13
6	382	13
7	428	13
8	429	13
done	429	13
0	16	19
1	27	18
2	45	18
3	86	16
4	199	16
5	324	16
6	397	16
7	449	16
8	592	16
9	708	16
10	763	16
11	802	16
done	802	16
0	15	16
1	28	15
2	47	15
3	72	13
4	142	13
5	266	13
6	382	13
7	428	13
8	429	13
done	429	13
0	13	16
1	22	13
2	42	13
3	99	11
4	185	11
5	248	11
6	270	11
7	314	11
8	498	11
9	527	11
done	527	11
0	14	15
1	27	14
2	52	14
3	110	12
4	283	12
5	654	12
6	1267	12
7	1763	12
8	2434	12
9	3224	12
10	3382	12
11	3397	12
done	3397	12
0	16	20
1	26	19
2	51	19
3	112	17
4	268	17
5	475	17
6	745	17
7	908	17
8	1205	17
9	1396	17
10	1570	17
11	1813	17
12	2065	17
13	2156	17
14	2210	17
15	2251	17
16	2259	17
done	2259	17
0	15	17
1	27	16
2	52	16
3	110	14
4	281	14
5	624	14
6	1143	14
7	1757	14
8	2687	14
9	3348	14
10	3531	14
11	3542	14
done	3542	14
0	13	16
1	22	13
2	42	13
3	99	11
4	185	11
5	248	11
6	270	11
7	314	11
8	498	11
9	527	11
done	527	11
0	14	15
1	27	14
2	52	14
3	110	12
4	283	12
5	654	12
6	1267	12
7	1763	12
8	2434	12
9	3224	12
10	3382	12
11	3397	12
done	3397	12
0	16	21
1	27	20
2	44	20
3	75	18
4	157	18
5	314	18
6	530	18
7	608	18
8	783	18
9	865	18
10	887	18
11	919	18
done	919	18
0	15	16
1	28	15
2	47	15
3	72	13
4	142	13
5	266	13
6	382	13
7	428	13
8	429	13
done	429	13
0	15	16
1	24	15
2	35	15
3	47	13
4	93	13
5	152	13
6	197	13
7	223	13
8	289	13
9	326	13
10	336	13
11	349	13
done	349	13
0	15	16
1	28	15
2	47	15
3	72	13
4	142	13
5	266	13
6	382	13
7	428	13
8	429	13
done	429	13
0	12	13
1	19	10
2	29	10
3	45	8
4	79	8
5	112	8
6	120	8
7	140	8
8	220	8
9	236	8
done	236	8
0	14	15
1	27	14
2	52	14
3	110	12
4	283	12
5	654	12
6	1267	12
7	1763	12
8	2434	12
9	3224	12
10	3382	12
11	3397	12
done	3397	12
0	15	17
1	23	16
2	41	16
3	65	14
4	132	14
5	239	14
6	387	14
7	472	14
8	595	14
9	676	14
10	736	14
11	810	14
12	866	14
13	893	14
14	902	14
15	909	14
16	913	14
done	913	14
0	15	17
1	27	16
2	52	16
3	110	14
4	281	14
5	624	14
6	1143	14
7	1757	14
8	2687	14
9	3348	14
10	3531	14
11	3542	14
done	3542	14
0	12	13
1	19	10
2	29	10
3	45	8
4	79	8
5	112	8
6	120	8
7	140	8
8	220	8
9	236	8
done	236	8
0	14	15
1	27	14
2	52	14
3	110	12
4	283	12
5	654	12
6	1267	12
7	1763	12
8	2434	12
9	3224	12
10	3382	12
11	3397	12
done	3397	12
0	14	20
1	25	19
2	42	17
3	81	17
4	139	17
5	181	17
6	213	17
7	283	17
8	307	17
done	307	17
0	14	15
1	27	14
2	46	14
3	71	12
4	141	12
5	225	12
6	329	12
7	399	12
8	405	12
done	405	12
0	13	15
1	22	14
2	33	12
3	54	12
4	61	12
5	63	12
6	69	12
7	83	12
8	111	12
done	111	12
0	14	15
1	27	14
2	46	14
3	71	12
4	141	12
5	225	12
6	329	12
7	399	12
8	405	12
done	405	12
0	10	12
1	17	9
2	25	7
3	35	7
4	43	7
done	43	7
0	13	14
1	26	13
2	51	13
3	109	11
4	282	11
5	569	11
6	1039	11
7	1593	11
8	2316	11
9	3073	11
10	3240	11
11	3257	11
done	3257	11
0	13	16
1	21	15
2	39	13
3	77	13
4	110	13
5	151	13
6	216	13
7	233	13
8	265	13
9	279	13
10	295	13
done	295	13
0	14	16
1	26	15
2	51	15
3	109	13
4	280	13
5	552	13
6	986	13
7	1557	13
8	2451	13
9	3039	13
10	3335	13
11	3530	13
done	3530	13
0	10	12
1	17	9
2	25	7
3	35	7
4	43	7
done	43	7
0	13	14
1	26	13
2	51	13
3	109	11
4	282	11
5	569	11
6	1039	11
7	1593	11
8	2316	11
9	3073	11
10	3240	11
11	3257	11
done	3257	11
0	9	10
1	14	7
2	19	7
done	19	7
0	13	14
1	26	13
2	51	13
3	109	11
4	282	11
5	569	11
6	1039	11
7	1593	11
8	2316	11
9	3073	11
10	3240	11
11	3257	11
done	3257	11
0	10	10
1	15	9
2	18	9
3	19	7
done	19	7
0	12	14
1	25	13
2	50	11
3	122	11
4	216	11
5	361	11
6	516	11
7	702	11
8	998	11
9	1222	11
10	1238	11
done	1238	11
0	16	18
1	38	17
2	76	17
3	188	15
4	581	15
5	2480	15
done	5000	15
0	15	20
1	31	17
2	59	17
3	128	15
4	263	15
5	479	15
6	540	15
7	587	15
8	614	15
9	616	15
done	616	15
0	15	18
1	27	17
2	54	17
3	151	15
4	442	15
5	1030	15
6	2336	15
done	5000	15
0	11	12
1	21	11
2	35	11
3	50	9
4	94	9
5	119	9
6	123	9
7	127	9
done	127	9
0	11	18
1	19	17
2	27	15
3	36	13
4	50	13
5	52	13
done	52	13
0	12	13
1	22	12
2	29	12
3	32	10
4	54	10
5	67	10
done	67	10
0	10	11
1	16	10
2	20	8
3	25	6
4	29	6
done	29	6
0	12	13
1	22	12
2	29	12
3	32	10
4	54	10
5	67	10
done	67	10
0	13	20
1	27	19
2	62	17
3	138	15
4	391	15
5	520	15
6	524	15
done	524	15
0	13	14
1	25	13
2	44	13
3	69	11
4	139	11
5	258	11
6	370	11
7	415	11
8	434	11
done	434	11
0	12	15
1	22	14
2	40	12
3	80	10
4	187	10
5	241	10
done	241	10
0	13	14
1	25	13
2	44	13
3	69	11
4	139	11
5	258	11
6	370	11
7	415	11
8	434	11
done	434	11
0	8	12
1	16	9
2	34	7
3	54	5
4	61	5
done	61	5
0	12	13
1	24	12
2	49	12
3	107	10
4	278	10
5	621	10
6	1091	10
7	1606	10
8	2462	10
9	3844	10
10	4155	10
11	4170	10
done	4170	10
0	13	16
1	22	15
2	47	13
3	107	11
4	281	11
5	438	11
6	463	11
done	463	11
0	14	15
1	27	14
2	52	14
3	110	12
4	283	12
5	654	12
6	1278	12
7	1821	12
8	2462	12
9	3098	12
10	3258	12
11	3272	12
done	3272	12
0	8	12
1	16	9
2	34	7
3	54	5
4	61	5
done	61	5
0	12	13
1	24	12
2	49	12
3	107	10
4	278	10
5	621	10
6	1091	10
7	1606	10
8	2462	10
9	3844	10
10	4155	10
11	4170	10
done	4170	10
0	12	17
1	22	16
2	39	14
3	71	12
4	154	12
5	217	12
6	220	12
done	220	12
0	13	14
1	25	13
2	44	13
3	69	11
4	139	11
5	258	11
6	370	11
7	415	11
8	434	11
done	434	11
0	11	12
1	19	11
2	30	9
3	45	7
4	76	7
5	100	7
done	100	7
0	13	14
1	25	13
2	44	13
3	69	11
4	139	11
5	258	11
6	370	11
7	415	11
8	434	11
done	434	11
0	7	9
1	13	6
2	22	4
done	22	2
0	12	13
1	24	12
2	49	12
3	107	10
4	278	10
5	621	10
6	1091	10
7	1606	10
8	2462	10
9	3844	10
10	4155	10
11	4170	10
done	4170	10
0	12	13
1	19	12
2	37	10
3	64	8
4	135	8
5	212	8
6	229	8
done	229	8
0	14	15
1	27	14
2	52	14
3	110	12
4	283	12
5	654	12
6	1278	12
7	1821	12
8	2462	12
9	3098	12
10	3258	12
11	3272	12
done	3272	12
0	7	9
1	13	6
2	22	4
done	22	2
0	12	13
1	24	12
2	49	12
3	107	10
4	278	10
5	621	10
6	1091	10
7	1606	10
8	2462	10
9	3844	10
10	4155	10
11	4170	10
done	4170	10
0	10	16
1	20	11
2	34	11
3	54	11
4	64	11
done	64	11
0	12	13
1	24	12
2	43	12
3	68	10
4	138	10
5	222	10
6	321	10
7	401	10
8	414	10
done	414	10
0	9	11
1	17	6
2	25	6
3	27	6
done	27	6
0	12	13
1	24	12
2	43	12
3	68	10
4	138	10
5	222	10
6	321	10
7	401	10
8	414	10
done	414	10
0	5	8
1	10	1
done	10	1
0	11	12
1	23	11
2	48	11
3	106	9
4	277	9
5	555	9
6	938	9
7	1461	9
8	2356	9
9	3587	9
10	3964	9
11	4157	9
done	4157	9
0	10	12
1	17	7
2	32	7
3	42	7
done	42	7
0	13	14
1	26	13
2	51	13
3	109	11
4	282	11
5	569	11
6	1040	11
7	1617	11
8	2280	11
9	2920	11
10	3105	11
11	3121	11
done	3121	11
0	5	8
1	10	1
done	10	1
0	11	12
1	23	11
2	48	11
3	106	9
4	277	9
5	555	9
6	938	9
7	1461	9
8	2356	9
9	3587	9
10	3964	9
11	4157	9
done	4157	9
0	4	6
1	8	1
done	8	1
0	11	12
1	23	11
2	48	11
3	106	9
4	277	9
5	555	9
6	938	9
7	1461	9
8	2356	9
9	3587	9
10	3964	9
11	4157	9
done	4157	9
0	5	6
1	9	5
2	12	3
3	17	1
4	18	1
done	18	1
0	10	12
1	22	11
2	47	9
3	118	9
4	201	9
5	356	9
6	522	9
7	767	9
8	1183	9
9	1573	9
10	1649	9
done	1649	9
0	12	14
1	33	13
2	71	11
3	186	9
4	563	9
5	2253	9
done	5000	9
0	13	18
1	29	15
2	57	15
3	126	13
4	261	13
5	475	13
6	535	13
7	582	13
8	612	13
9	620	13
done	620	13
0	11	14
1	22	13
2	49	11
3	147	9
4	436	9
5	1004	9
6	1413	9
7	2285	9
done	5001	9
0	9	10
1	19	9
2	33	9
3	48	7
4	92	7
5	119	7
6	123	7
7	126	7
done	126	7
0	3	4
1	5	1
done	5	1
0	11	12
1	23	11
2	48	11
3	106	9
4	277	9
5	555	9
6	938	9
7	1461	9
8	2356	9
9	3587	9
10	3964	9
11	4157	9
done	4157	9
0	6	6
1	10	5
2	11	5
done	11	5
0	9	10
1	17	9
2	34	7
3	66	5
4	132	5
5	206	5
6	247	5
7	289	5
8	359	5
9	428	5
10	463	5
11	472	5
done	472	5
0	8	8
1	17	7
2	23	7
3	26	5
done	26	5
0	6	6
1	10	5
2	11	5
done	11	5
0	12	23
1	24	23
2	42	23
3	89	23
4	207	23
5	391	23
6	600	23
7	898	23
8	1517	23
9	2348	23
10	2530	23
11	2563	23
done	2563	23
0	11	12
1	21	12
2	39	12
3	86	12
4	204	12
5	388	12
6	591	12
7	888	12
8	1509	12
9	2342	12
10	2521	12
11	2554	12
done	2554	12
0	11	12
1	21	12
2	39	12
3	86	12
4	204	12
5	388	12
6	591	12
7	888	12
8	1509	12
9	2342	12
10	2521	12
11	2554	12
done	2554	12
0	11	12
1	21	12
2	39	12
3	86	12
4	204	12
5	388	12
6	591	12
7	888	12
8	1509	12
9	2342	12
10	2521	12
11	2554	12
done	2554	12
0	14	25
1	27	25
2	50	25
3	81	23
4	141	23
5	213	23
done	213	23
0	12	13
1	19	13
2	24	13
3	25	11
4	38	11
5	43	11
done	43	11
0	13	18
1	22	18
2	32	18
3	45	16
4	72	16
5	110	16
done	110	16
0	12	13
1	19	13
2	24	13
3	25	11
4	38	11
5	43	11
done	43	11
0	16	27
1	33	27
2	87	27
3	260	25
4	743	25
5	1568	25
6	2381	25
7	2405	25
done	2405	25
0	13	14
1	22	14
2	34	14
3	46	12
4	84	12
5	135	12
6	161	12
done	161	12
0	15	22
1	28	22
2	60	22
3	152	20
4	393	20
5	736	20
6	900	20
7	906	20
done	906	20
0	13	14
1	22	14
2	34	14
3	46	12
4	84	12
5	135	12
6	161	12
done	161	12
0	12	19
1	24	17
2	58	17
3	185	15
4	341	15
5	450	15
6	456	15
done	456	15
0	12	13
1	21	13
2	39	13
3	68	11
4	125	11
5	227	11
6	371	11
7	422	11
8	446	11
done	446	11
0	16	23
1	29	23
2	68	23
3	200	21
4	516	21
5	1086	21
6	1667	21
7	1891	21
8	2056	21
9	2068	21
done	2068	21
0	14	15
1	24	15
2	42	15
3	71	13
4	128	13
5	230	13
6	369	13
7	422	13
done	422	13
0	12	19
1	24	17
2	58	17
3	185	15
4	341	15
5	450	15
6	456	15
done	456	15
0	12	13
1	21	13
2	39	13
3	68	11
4	125	11
5	227	11
6	371	11
7	422	11
8	446	11
done	446	11
0	15	24
1	28	24
2	57	24
3	126	22
4	317	22
5	717	22
6	1193	22
7	1208	22
done	1208	22
0	13	14
1	22	14
2	34	14
3	46	12
4	84	12
5	135	12
6	161	12
done	161	12
0	14	19
1	25	19
2	46	19
3	82	17
4	178	17
5	343	17
6	438	17
7	444	17
done	444	17
0	13	14
1	22	14
2	34	14
3	46	12
4	84	12
5	135	12
6	161	12
done	161	12
0	11	16
1	21	14
2	40	14
3	89	12
4	146	12
5	212	12
6	214	12
done	214	12
0	12	13
1	21	13
2	39	13
3	68	11
4	125	11
5	227	11
6	371	11
7	422	11
8	446	11
done	446	11
0	15	20
1	26	20
2	54	20
3	114	18
4	246	18
5	512	18
6	786	18
7	874	18
8	907	18
9	920	18
done	920	18
0	14	15
1	24	15
2	42	15
3	71	13
4	128	13
5	230	13
6	369	13
7	422	13
done	422	13
0	11	16
1	21	14
2	40	14
3	89	12
4	146	12
5	212	12
6	214	12
done	214	12
0	12	13
1	21	13
2	39	13
3	68	11
4	125	11
5	227	11
6	371	11
7	422	11
8	446	11
done	446	11
0	13	23
1	26	23
2	54	21
3	134	21
4	306	21
5	368	21
done	368	21
0	12	13
1	21	13
2	33	13
3	45	11
4	83	11
5	119	11
6	153	11
7	156	11
done	156	11
0	12	18
1	23	18
2	43	16
3	88	16
4	146	16
5	147	16
done	147	16
0	12	13
1	21	13
2	33	13
3	45	11
4	83	11
5	119	11
6	153	11
7	156	11
done	156	11
0	9	15
1	19	13
2	34	11
3	67	11
4	78	11
done	78	11
0	11	12
1	20	12
2	38	12
3	67	10
4	124	10
5	188	10
6	300	10
7	366	10
8	428	10
9	435	10
done	435	10
0	13	19
1	24	19
2	51	17
3	114	17
4	206	17
5	253	17
6	329	17
done	329	17
0	13	14
1	23	14
2	41	14
3	70	12
4	127	12
5	196	12
6	310	12
7	374	12
8	431	12
9	439	12
done	439	12
0	9	15
1	19	13
2	34	11
3	67	11
4	78	11
done	78	11
0	11	12
1	20	12
2	38	12
3	67	10
4	124	10
5	188	10
6	300	10
7	366	10
8	428	10
9	435	10
done	435	10
0	8	13
1	16	11
2	28	11
3	37	11
done	37	11
0	11	12
1	20	12
2	38	12
3	67	10
4	124	10
5	188	10
6	300	10
7	366	10
8	428	10
9	435	10
done	435	10
0	9	13
1	17	13
2	26	13
3	39	11
4	43	11
5	68	11
6	115	11
7	117	11
done	117	11
0	10	12
1	19	12
2	37	10
3	57	10
4	80	10
5	105	10
6	130	10
7	136	10
done	136	10
0	15	21
1	40	21
2	87	21
3	237	19
4	853	19
5	4004	19
done	5000	19
0	13	18
1	26	16
2	52	16
3	119	14
4	245	14
5	443	14
6	463	14
done	463	14
0	14	21
1	29	21
2	65	21
3	206	19
4	741	19
5	1995	19
6	4718	19
done	5000	19
0	9	10
1	16	10
2	28	10
3	41	8
4	76	8
5	89	8
done	89	8
0	13	20
1	22	20
2	31	20
3	39	18
4	63	18
5	76	18
done	76	18
0	12	13
1	19	13
2	24	13
3	25	11
4	38	11
5	43	11
done	43	11
0	12	13
1	19	13
2	24	13
3	25	11
4	38	11
5	43	11
done	43	11
0	12	13
1	19	13
2	24	13
3	25	11
4	38	11
5	43	11
done	43	11
0	15	22
1	30	22
2	66	22
3	147	20
4	350	20
5	650	20
6	915	20
7	922	20
done	922	20
0	13	14
1	22	14
2	34	14
3	46	12
4	84	12
5	135	12
6	161	12
done	161	12
0	14	17
1	25	17
2	44	17
3	85	15
4	194	15
5	296	15
6	343	15
done	343	15
0	13	14
1	22	14
2	34	14
3	46	12
4	84	12
5	135	12
6	161	12
done	161	12
0	11	14
1	21	12
2	42	12
3	99	10
4	178	10
5	206	10
done	206	10
0	12	13
1	21	13
2	39	13
3	68	11
4	125	11
5	227	11
6	371	11
7	422	11
8	446	11
done	446	11
0	15	18
1	26	18
2	52	18
3	113	16
4	242	16
5	413	16
6	579	16
7	632	16
8	697	16
9	710	16
done	710	16
0	14	15
1	24	15
2	42	15
3	71	13
4	128	13
5	230	13
6	369	13
7	422	13
done	422	13
0	11	14
1	21	12
2	42	12
3	99	10
4	178	10
5	206	10
done	206	10
0	12	13
1	21	13
2	39	13
3	68	11
4	125	11
5	227	11
6	371	11
7	422	11
8	446	11
done	446	11
0	14	19
1	25	19
2	43	19
3	74	17
4	147	17
5	284	17
6	430	17
7	432	17
done	432	17
0	13	14
1	22	14
2	34	14
3	46	12
4	84	12
5	135	12
6	161	12
done	161	12
0	13	14
1	22	14
2	34	14
3	46	12
4	84	12
5	135	12
6	161	12
done	161	12
0	13	14
1	22	14
2	34	14
3	46	12
4	84	12
5	135	12
6	161	12
done	161	12
0	10	11
1	18	9
2	29	9
3	45	7
4	71	7
5	82	7
done	82	7
0	12	13
1	21	13
2	39	13
3	68	11
4	125	11
5	227	11
6	371	11
7	422	11
8	446	11
done	446	11
0	14	15
1	23	15
2	42	15
3	66	13
4	110	13
5	196	13
6	288	13
7	309	13
8	319	13
9	331	13
done	331	13
0	14	15
1	24	15
2	42	15
3	71	13
4	128	13
5	230	13
6	369	13
7	422	13
done	422	13
0	10	11
1	18	9
2	29	9
3	45	7
4	71	7
5	82	7
done	82	7
0	12	13
1	21	13
2	39	13
3	68	11
4	125	11
5	227	11
6	371	11
7	422	11
8	446	11
done	446	11
0	12	18
1	23	18
2	41	16
3	72	16
4	110	16
5	134	16
done	134	16
0	12	13
1	21	13
2	33	13
3	45	11
4	83	11
5	119	11
6	153	11
7	156	11
done	156	11
0	11	13
1	20	13
2	32	11
3	45	11
4	52	11
done	52	11
0	12	13
1	21	13
2	33	13
3	45	11
4	83	11
5	119	11
6	153	11
7	156	11
done	156	11
0	8	10
1	16	8
2	25	6
3	27	6
done	27	6
0	11	12
1	20	12
2	38	12
3	67	10
4	124	10
5	188	10
6	300	10
7	366	10
8	428	10
9	435	10
done	435	10
0	12	14
1	21	14
2	40	12
3	55	12
4	68	12
5	82	12
6	110	12
done	110	12
0	13	14
1	23	14
2	41	14
3	70	12
4	127	12
5	196	12
6	310	12
7	374	12
8	431	12
9	439	12
done	439	12
0	8	10
1	16	8
2	25	6
3	27	6
done	27	6
0	11	12
1	20	12
2	38	12
3	67	10
4	124	10
5	188	10
6	300	10
7	366	10
8	428	10
9	435	10
done	435	10
0	7	8
1	13	6
2	19	6
done	19	6
0	11	12
1	20	12
2	38	12
3	67	10
4	124	10
5	188	10
6	300	10
7	366	10
8	428	10
9	435	10
done	435	10
0	8	8
1	14	8
2	18	8
3	19	6
done	19	6
0	10	12
1	19	12
2	37	10
3	57	10
4	80	10
5	105	10
6	130	10
7	136	10
done	136	10
0	14	16
1	37	16
2	75	16
3	187	14
4	564	14
5	2150	14
done	5001	14
0	13	18
1	26	16
2	52	16
3	119	14
4	245	14
5	443	14
6	463	14
done	463	14
0	13	16
1	26	16
2	53	16
3	150	14
4	416	14
5	850	14
6	1706	14
7	3421	14
done	5000	14
0	9	10
1	16	10
2	28	10
3	41	8
4	76	8
5	89	8
done	89	8
0	10	17
1	18	13
2	28	13
3	41	13
4	50	13
5	51	13
done	51	13
0	11	12
1	21	12
2	28	12
3	31	10
4	53	10
5	66	10
done	66	10
0	9	10
1	15	6
2	21	6
3	23	6
4	24	6
done	24	6
0	11	12
1	21	12
2	28	12
3	31	10
4	53	10
5	66	10
done	66	10
0	12	19
1	26	15
2	63	15
3	167	15
4	351	15
5	457	15
6	461	15
done	461	15
0	12	13
1	24	13
2	43	13
3	68	11
4	138	11
5	257	11
6	371	11
7	416	11
8	434	11
done	434	11
0	11	14
1	21	10
2	41	10
3	96	10
4	175	10
5	212	10
done	212	10
0	12	13
1	24	13
2	43	13
3	68	11
4	138	11
5	257	11
6	371	11
7	416	11
8	434	11
done	434	11
0	7	11
1	15	5
2	32	5
3	62	5
4	68	5
done	68	5
0	11	12
1	23	12
2	48	12
3	106	10
4	277	10
5	626	10
6	1093	10
7	1611	10
8	2467	10
9	3846	10
10	4156	10
11	4171	10
done	4171	10
0	12	15
1	21	11
2	48	11
3	129	11
4	270	11
5	413	11
6	443	11
done	443	11
0	13	14
1	26	14
2	51	14
3	109	12
4	282	12
5	653	12
6	1278	12
7	1823	12
8	2463	12
9	3100	12
10	3262	12
11	3276	12
done	3276	12
0	7	11
1	15	5
2	32	5
3	62	5
4	68	5
done	68	5
0	11	12
1	23	12
2	48	12
3	106	10
4	277	10
5	626	10
6	1093	10
7	1611	10
8	2467	10
9	3846	10
10	4156	10
11	4171	10
done	4171	10
0	11	16
1	21	12
2	40	12
3	87	12
4	168	12
5	239	12
6	242	12
done	242	12
0	12	13
1	24	13
2	43	13
3	68	11
4	138	11
5	257	11
6	371	11
7	416	11
8	434	11
done	434	11
0	10	11
1	18	7
2	31	7
3	54	7
4	81	7
5	106	7
done	106	7
0	12	13
1	24	13
2	43	13
3	68	11
4	138	11
5	257	11
6	371	11
7	416	11
8	434	11
done	434	11
0	6	8
1	12	2
2	20	2
3	21	2
done	21	2
0	11	12
1	23	12
2	48	12
3	106	10
4	277	10
5	626	10
6	1093	10
7	1611	10
8	2467	10
9	3846	10
10	4156	10
11	4171	10
done	4171	10
0	11	12
1	18	8
2	38	8
3	81	8
4	140	8
5	224	8
6	242	8
done	242	8
0	13	14
1	26	14
2	51	14
3	109	12
4	282	12
5	653	12
6	1278	12
7	1823	12
8	2463	12
9	3100	12
10	3262	12
11	3276	12
done	3276	12
0	6	8
1	12	2
2	20	2
3	21	2
done	21	2
0	11	12
1	23	12
2	48	12
3	106	10
4	277	10
5	626	10
6	1093	10
7	1611	10
8	2467	10
9	3846	10
10	4156	10
11	4171	10
done	4171	10
0	9	15
1	18	11
2	32	11
3	52	11
4	61	11
done	61	11
0	11	12
1	23	12
2	42	12
3	67	10
4	137	10
5	221	10
6	321	10
7	401	10
8	415	10
done	415	10
0	8	10
1	15	6
2	23	6
3	25	6
done	25	6
0	11	12
1	23	12
2	42	12
3	67	10
4	137	10
5	221	10
6	321	10
7	401	10
8	415	10
done	415	10
0	4	7
1	8	1
done	8	1
0	10	11
1	22	11
2	47	11
3	105	9
4	276	9
5	561	9
6	947	9
7	1470	9
8	2368	9
9	3584	9
10	3965	9
11	4163	9
done	4163	9
0	9	11
1	15	7
2	30	7
3	40	7
done	40	7
0	12	13
1	25	13
2	50	13
3	108	11
4	281	11
5	568	11
6	1034	11
7	1612	11
8	2274	11
9	2917	11
10	3105	11
11	3121	11
done	3121	11
0	4	7
1	8	1
done	8	1
0	10	11
1	22	11
2	47	11
3	105	9
4	276	9
5	561	9
6	947	9
7	1470	9
8	2368	9
9	3584	9
10	3965	9
11	4163	9
done	4163	9
0	3	5
1	6	1
done	6	1
0	10	11
1	22	11
2	47	11
3	105	9
4	276	9
5	561	9
6	947	9
7	1470	9
8	2368	9
9	3584	9
10	3965	9
11	4163	9
done	4163	9
0	4	5
1	8	1
done	8	1
0	9	11
1	21	11
2	46	9
3	117	9
4	200	9
5	355	9
6	526	9
7	771	9
8	1189	9
9	1579	9
10	1657	9
done	1657	9
0	11	13
1	32	9
2	72	9
3	201	9
4	625	9
5	2366	9
done	5000	9
0	12	17
1	28	15
2	56	15
3	127	13
4	262	13
5	478	13
6	538	13
7	585	13
8	615	13
9	623	13
done	623	13
0	10	13
1	21	9
2	50	9
3	164	9
4	485	9
5	1031	9
6	1405	9
7	2295	9
done	5001	9
0	8	9
1	18	9
2	32	9
3	47	7
4	91	7
5	118	7
6	122	7
7	125	7
done	125	7
0	14	21
1	23	21
2	31	21
3	39	19
4	63	19
5	78	19
done	78	19
0	13	14
1	24	14
2	31	14
3	34	12
4	56	12
5	69	12
done	69	12
0	13	14
1	20	14
2	24	14
3	25	12
4	38	12
5	45	12
done	45	12
0	13	14
1	24	14
2	31	14
3	34	12
4	56	12
5	69	12
done	69	12
0	16	23
1	31	23
2	66	23
3	147	21
4	361	21
5	715	21
6	1076	21
7	1246	21
8	1717	21
9	2009	21
10	2139	21
11	2230	21
done	2230	21
0	14	15
1	27	15
2	46	15
3	71	13
4	141	13
5	260	13
6	375	13
7	421	13
8	423	13
done	423	13
0	15	18
1	26	18
2	44	18
3	85	16
4	198	16
5	322	16
6	395	16
7	448	16
8	590	16
9	706	16
10	762	16
11	800	16
done	800	16
0	14	15
1	27	15
2	46	15
3	71	13
4	141	13
5	260	13
6	375	13
7	421	13
8	423	13
done	423	13
0	12	15
1	21	13
2	41	13
3	99	11
4	185	11
5	245	11
6	267	11
7	311	11
8	489	11
9	517	11
done	517	11
0	13	14
1	26	14
2	51	14
3	109	12
4	282	12
5	653	12
6	1267	12
7	1762	12
8	2428	12
9	3213	12
10	3372	12
11	3387	12
done	3387	12
0	15	19
1	25	19
2	50	19
3	111	17
4	267	17
5	482	17
6	739	17
7	909	17
8	1208	17
9	1398	17
10	1572	17
11	1815	17
12	2063	17
13	2154	17
14	2209	17
15	2250	17
16	2258	17
done	2258	17
0	14	16
1	26	16
2	51	16
3	109	14
4	280	14
5	623	14
6	1130	14
7	1746	14
8	2677	14
9	3336	14
10	3519	14
11	3530	14
done	3530	14
0	12	15
1	21	13
2	41	13
3	99	11
4	185	11
5	245	11
6	267	11
7	311	11
8	489	11
9	517	11
done	517	11
0	13	14
1	26	14
2	51	14
3	109	12
4	282	12
5	653	12
6	1267	12
7	1762	12
8	2428	12
9	3213	12
10	3372	12
11	3387	12
done	3387	12
0	15	20
1	26	20
2	43	20
3	74	18
4	156	18
5	322	18
6	535	18
7	611	18
8	779	18
9	861	18
10	883	18
11	925	18
done	925	18
0	14	15
1	27	15
2	46	15
3	71	13
4	141	13
5	260	13
6	375	13
7	421	13
8	423	13
done	423	13
0	14	15
1	23	15
2	34	15
3	46	13
4	92	13
5	156	13
6	198	13
7	224	13
8	290	13
9	327	13
10	337	13
11	349	13
done	349	13
0	14	15
1	27	15
2	46	15
3	71	13
4	141	13
5	260	13
6	375	13
7	421	13
8	423	13
done	423	13
0	11	12
1	18	10
2	28	10
3	44	8
4	78	8
5	113	8
6	121	8
7	141	8
8	221	8
9	237	8
done	237	8
0	13	14
1	26	14
2	51	14
3	109	12
4	282	12
5	653	12
6	1267	12
7	1762	12
8	2428	12
9	3213	12
10	3372	12
11	3387	12
done	3387	12
0	14	16
1	22	16
2	40	16
3	64	14
4	131	14
5	238	14
6	387	14
7	472	14
8	592	14
9	671	14
10	731	14
11	804	14
12	859	14
13	886	14
14	895	14
15	902	14
16	906	14
done	906	14
0	14	16
1	26	16
2	51	16
3	109	14
4	280	14
5	623	14
6	1130	14
7	1746	14
8	2677	14
9	3336	14
10	3519	14
11	3530	14
done	3530	14
0	11	12
1	18	10
2	28	10
3	44	8
4	78	8
5	113	8
6	121	8
7	141	8
8	221	8
9	237	8
done	237	8
0	13	14
1	26	14
2	51	14
3	109	12
4	282	12
5	653	12
6	1267	12
7	1762	12
8	2428	12
9	3213	12
10	3372	12
11	3387	12
done	3387	12
0	13	19
1	24	19
2	41	17
3	80	17
4	134	17
5	172	17
6	204	17
7	264	17
8	288	17
done	288	17
0	13	14
1	26	14
2	45	14
3	70	12
4	140	12
5	224	12
6	328	12
7	398	12
8	405	12
done	405	12
0	12	14
1	21	14
2	32	12
3	53	12
4	60	12
5	62	12
6	68	12
7	82	12
8	110	12
done	110	12
0	13	14
1	26	14
2	45	14
3	70	12
4	140	12
5	224	12
6	328	12
7	398	12
8	405	12
done	405	12
0	9	11
1	16	9
2	24	7
3	33	7
4	41	7
done	41	7
0	12	13
1	25	13
2	50	13
3	108	11
4	281	11
5	568	11
6	1032	11
7	1586	11
8	2313	11
9	3070	11
10	3239	11
11	3256	11
done	3256	11
0	12	15
1	20	15
2	38	13
3	76	13
4	109	13
5	149	13
6	214	13
7	249	13
8	281	13
9	295	13
10	311	13
done	311	13
0	13	15
1	25	15
2	50	15
3	108	13
4	279	13
5	551	13
6	976	13
7	1546	13
8	2438	13
9	3032	13
10	3327	13
11	3522	13
done	3522	13
0	9	11
1	16	9
2	24	7
3	33	7
4	41	7
done	41	7
0	12	13
1	25	13
2	50	13
3	108	11
4	281	11
5	568	11
6	1032	11
7	1586	11
8	2313	11
9	3070	11
10	3239	11
11	3256	11
done	3256	11
0	8	9
1	13	7
2	18	7
done	18	7
0	12	13
1	25	13
2	50	13
3	108	11
4	281	11
5	568	11
6	1032	11
7	1586	11
8	2313	11
9	3070	11
10	3239	11
11	3256	11
done	3256	11
0	9	9
1	14	9
2	17	9
3	18	7
done	18	7
0	11	13
1	24	13
2	49	11
3	121	11
4	215	11
5	374	11
6	525	11
7	711	11
8	1005	11
9	1229	11
10	1245	11
done	1245	11
0	15	17
1	37	17
2	75	17
3	187	15
4	586	15
5	2475	15
done	5001	15
0	14	19
1	30	17
2	58	17
3	127	15
4	260	15
5	478	15
6	538	15
7	585	15
8	612	15
9	614	15
done	614	15
0	14	17
1	26	17
2	53	17
3	150	15
4	440	15
5	1026	15
6	2329	15
done	5000	15
0	10	11
1	20	11
2	34	11
3	49	9
4	93	9
5	120	9
6	124	9
7	128	9
done	128	9
0	10	17
1	18	13
2	28	13
3	41	13
4	50	13
5	51	13
done	51	13
0	11	12
1	21	12
2	28	12
3	31	10
4	53	10
5	66	10
done	66	10
0	9	10
1	15	6
2	21	6
3	23	6
4	24	6
done	24	6
0	11	12
1	21	12
2	28	12
3	31	10
4	53	10
5	66	10
done	66	10
0	12	19
1	26	15
2	63	15
3	167	15
4	351	15
5	457	15
6	461	15
done	461	15
0	12	13
1	24	13
2	43	13
3	68	11
4	138	11
5	257	11
6	371	11
7	416	11
8	434	11
done	434	11
0	11	14
1	21	10
2	41	10
3	96	10
4	175	10
5	212	10
done	212	10
0	12	13
1	24	13
2	43	13
3	68	11
4	138	11
5	257	11
6	371	11
7	416	11
8	434	11
done	434	11
0	7	11
1	15	5
2	32	5
3	62	5
4	68	5
done	68	5
0	11	12
1	23	12
2	48	12
3	106	10
4	277	10
5	626	10
6	1093	10
7	1611	10
8	2467	10
9	3846	10
10	4156	10
11	4171	10
done	4171	10
0	12	15
1	21	11
2	48	11
3	129	11
4	270	11
5	413	11
6	443	11
done	443	11
0	13	14
1	26	14
2	51	14
3	109	12
4	282	12
5	653	12
6	1278	12
7	1823	12
8	2463	12
9	3100	12
10	3262	12
11	3276	12
done	3276	12
0	7	11
1	15	5
2	32	5
3	62	5
4	68	5
done	68	5
0	11	12
1	23	12
2	48	12
3	106	10
4	277	10
5	626	10
6	1093	10
7	1611	10
8	2467	10
9	3846	10
10	4156	10
11	4171	10
done	4171	10
0	11	16
1	21	12
2	40	12
3	87	12
4	168	12
5	239	12
6	242	12
done	242	12
0	12	13
1	24	13
2	43	13
3	68	11
4	138	11
5	257	11
6	371	11
7	416	11
8	434	11
done	434	11
0	10	11
1	18	7
2	31	7
3	54	7
4	81	7
5	106	7
done	106	7
0	12	13
1	24	13
2	43	13
3	68	11
4	138	11
5	257	11
6	371	11
7	416	11
8	434	11
done	434	11
0	6	8
1	12	2
2	20	2
3	21	2
done	21	2
0	11	12
1	23	12
2	48	12
3	106	10
4	277	10
5	626	10
6	1093	10
7	1611	10
8	2467	10
9	3846	10
10	4156	10
11	4171	10
done	4171	10
0	11	12
1	18	8
2	38	8
3	81	8
4	140	8
5	224	8
6	242	8
done	242	8
0	13	14
1	26	14
2	51	14
3	109	12
4	282	12
5	653	12
6	1278	12
7	1823	12
8	2463	12
9	3100	12
10	3262	12
11	3276	12
done	3276	12
0	6	8
1	12	2
2	20	2
3	21	2
done	21	2
0	11	12
1	23	12
2	48	12
3	106	10
4	277	10
5	626	10
6	1093	10
7	1611	10
8	2467	10
9	3846	10
10	4156	10
11	4171	10
done	4171	10
0	9	15
1	18	11
2	32	11
3	52	11
4	61	11
done	61	11
0	11	12
1	23	12
2	42	12
3	67	10
4	137	10
5	221	10
6	321	10
7	401	10
8	415	10
done	415	10
0	8	10
1	15	6
2	23	6
3	25	6
done	25	6
0	11	12
1	23	12
2	42	12
3	67	10
4	137	10
5	221	10
6	321	10
7	401	10
8	415	10
done	415	10
0	4	7
1	8	1
done	8	1
0	10	11
1	22	11
2	47	11
3	105	9
4	276	9
5	561	9
6	947	9
7	1470	9
8	2368	9
9	3584	9
10	3965	9
11	4163	9
done	4163	9
0	9	11
1	15	7
2	30	7
3	40	7
done	40	7
0	12	13
1	25	13
2	50	13
3	108	11
4	281	11
5	568	11
6	1034	11
7	1612	11
8	2274	11
9	2917	11
10	3105	11
11	3121	11
done	3121	11
0	4	7
1	8	1
done	8	1
0	10	11
1	22	11
2	47	11
3	105	9
4	276	9
5	561	9
6	947	9
7	1470	9
8	2368	9
9	3584	9
10	3965	9
11	4163	9
done	4163	9
0	3	5
1	6	1
done	6	1
0	10	11
1	22	11
2	47	11
3	105	9
4	276	9
5	561	9
6	947	9
7	1470	9
8	2368	9
9	3584	9
10	3965	9
11	4163	9
done	4163	9
0	4	5
1	8	1
done	8	1
0	9	11
1	21	11
2	46	9
3	117	9
4	200	9
5	355	9
6	526	9
7	771	9
8	1189	9
9	1579	9
10	1657	9
done	1657	9
0	11	13
1	32	9
2	72	9
3	201	9
4	625	9
5	2366	9
done	5000	9
0	12	17
1	28	15
2	56	15
3	127	13
4	262	13
5	478	13
6	538	13
7	585	13
8	615	13
9	623	13
done	623	13
0	10	13
1	21	9
2	50	9
3	164	9
4	485	9
5	1031	9
6	1405	9
7	2295	9
done	5001	9
0	8	9
1	18	9
2	32	9
3	47	7
4	91	7
5	118	7
6	122	7
7	125	7
done	125	7
0	2	3
1	4	1
done	4	1
0	10	11
1	22	11
2	47	11
3	105	9
4	276	9
5	561	9
6	947	9
7	1470	9
8	2368	9
9	3584	9
10	3965	9
11	4163	9
done	4163	9
0	5	5
1	9	5
2	10	5
done	10	5
0	8	9
1	16	5
2	35	5
3	79	5
4	139	5
5	206	5
6	247	5
7	291	5
8	357	5
9	425	5
10	448	5
done	448	5
0	7	7
1	16	7
2	22	7
3	25	5
done	25	5
0	5	5
1	9	5
2	10	5
done	10	5
0	10	11
1	22	11
2	47	11
3	105	9
4	276	9
5	561	9
6	947	9
7	1470	9
8	2368	9
9	3584	9
10	3965	9
11	4163	9
done	4163	9
0	10	11
1	22	9
2	54	9
3	138	9
4	317	9
5	606	9
6	975	9
7	1458	9
8	2263	9
9	3470	9
10	3861	9
11	4033	9
done	4033	9
0	12	23
1	24	23
2	42	23
3	89	23
4	207	23
5	391	23
6	600	23
7	898	23
8	1517	23
9	2348	23
10	2530	23
11	2563	23
done	2563	23
0	11	12
1	21	12
2	39	12
3	86	12
4	204	12
5	388	12
6	591	12
7	888	12
8	1509	12
9	2342	12
10	2521	12
11	2554	12
done	2554	12
0	14	25
1	27	25
2	50	25
3	81	23
4	141	23
5	213	23
done	213	23
0	13	18
1	22	18
2	32	18
3	45	16
4	72	16
5	110	16
done	110	16
0	16	27
1	33	27
2	87	27
3	260	25
4	743	25
5	1568	25
6	2381	25
7	2405	25
done	2405	25
0	15	22
1	28	22
2	60	22
3	152	20
4	393	20
5	736	20
6	900	20
7	906	20
done	906	20
0	12	19
1	24	17
2	58	17
3	185	15
4	341	15
5	450	15
6	456	15
done	456	15
0	16	23
1	29	23
2	68	23
3	200	21
4	516	21
5	1086	21
6	1667	21
7	1891	21
8	2056	21
9	2068	21
done	2068	21
0	12	19
1	24	17
2	58	17
3	185	15
4	341	15
5	450	15
6	456	15
done	456	15
0	15	24
1	28	24
2	57	24
3	126	22
4	317	22
5	717	22
6	1193	22
7	1208	22
done	1208	22
0	14	19
1	25	19
2	46	19
3	82	17
4	178	17
5	343	17
6	438	17
7	444	17
done	444	17
0	11	16
1	21	14
2	40	14
3	89	12
4	146	12
5	212	12
6	214	12
done	214	12
0	15	20
1	26	20
2	54	20
3	114	18
4	246	18
5	512	18
6	786	18
7	874	18
8	907	18
9	920	18
done	920	18
0	11	16
1	21	14
2	40	14
3	89	12
4	146	12
5	212	12
6	214	12
done	214	12
0	13	23
1	26	23
2	54	21
3	134	21
4	306	21
5	368	21
done	368	21
0	12	18
1	23	18
2	43	16
3	88	16
4	146	16
5	147	16
done	147	16
0	9	15
1	19	13
2	34	11
3	67	11
4	78	11
done	78	11
0	13	19
1	24	19
2	51	17
3	114	17
4	206	17
5	253	17
6	329	17
done	329	17
0	9	15
1	19	13
2	34	11
3	67	11
4	78	11
done	78	11
0	8	13
1	16	11
2	28	11
3	37	11
done	37	11
0	9	13
1	17	13
2	26	13
3	39	11
4	43	11
5	68	11
6	115	11
7	117	11
done	117	11
0	15	21
1	40	21
2	87	21
3	237	19
4	853	19
5	4004	19
done	5000	19
0	14	21
1	29	21
2	65	21
3	206	19
4	741	19
5	1995	19
6	4718	19
done	5000	19
0	13	20
1	22	20
2	31	20
3	39	18
4	63	18
5	76	18
done	76	18
0	12	13
1	19	13
2	24	13
3	25	11
4	38	11
5	43	11
done	43	11
0	15	22
1	30	22
2	66	22
3	147	20
4	350	20
5	650	20
6	915	20
7	922	20
done	922	20
0	14	17
1	25	17
2	44	17
3	85	15
4	194	15
5	296	15
6	343	15
done	343	15
0	11	14
1	21	12
2	42	12
3	99	10
4	178	10
5	206	10
done	206	10
0	15	18
1	26	18
2	52	18
3	113	16
4	242	16
5	413	16
6	579	16
7	632	16
8	697	16
9	710	16
done	710	16
0	11	14
1	21	12
2	42	12
3	99	10
4	178	10
5	206	10
done	206	10
0	14	19
1	25	19
2	43	19
3	74	17
4	147	17
5	284	17
6	430	17
7	432	17
done	432	17
0	13	14
1	22	14
2	34	14
3	46	12
4	84	12
5	135	12
6	161	12
done	161	12
0	10	11
1	18	9
2	29	9
3	45	7
4	71	7
5	82	7
done	82	7
0	14	15
1	23	15
2	42	15
3	66	13
4	110	13
5	196	13
6	288	13
7	309	13
8	319	13
9	331	13
done	331	13
0	10	11
1	18	9
2	29	9
3	45	7
4	71	7
5	82	7
done	82	7
0	12	18
1	23	18
2	41	16
3	72	16
4	110	16
5	134	16
done	134	16
0	11	13
1	20	13
2	32	11
3	45	11
4	52	11
done	52	11
0	8	10
1	16	8
2	25	6
3	27	6
done	27	6
0	12	14
1	21	14
2	40	12
3	55	12
4	68	12
5	82	12
6	110	12
done	110	12
0	8	10
1	16	8
2	25	6
3	27	6
done	27	6
0	7	8
1	13	6
2	19	6
done	19	6
0	8	8
1	14	8
2	18	8
3	19	6
done	19	6
0	14	16
1	37	16
2	75	16
3	187	14
4	564	14
5	2150	14
done	5001	14
0	13	16
1	26	16
2	53	16
3	150	14
4	416	14
5	850	14
6	1706	14
7	3421	14
done	5000	14
0	10	17
1	18	13
2	28	13
3	41	13
4	50	13
5	51	13
done	51	13
0	9	10
1	15	6
2	21	6
3	23	6
4	24	6
done	24	6
0	12	19
1	26	15
2	63	15
3	167	15
4	351	15
5	457	15
6	461	15
done	461	15
0	11	14
1	21	10
2	41	10
3	96	10
4	175	10
5	212	10
done	212	10
0	7	11
1	15	5
2	32	5
3	62	5
4	68	5
done	68	5
0	12	15
1	21	11
2	48	11
3	129	11
4	270	11
5	413	11
6	443	11
done	443	11
0	7	11
1	15	5
2	32	5
3	62	5
4	68	5
done	68	5
0	11	16
1	21	12
2	40	12
3	87	12
4	168	12
5	239	12
6	242	12
done	242	12
0	10	11
1	18	7
2	31	7
3	54	7
4	81	7
5	106	7
done	106	7
0	6	8
1	12	2
2	20	2
3	21	2
done	21	2
0	11	12
1	18	8
2	38	8
3	81	8
4	140	8
5	224	8
6	242	8
done	242	8
0	6	8
1	12	2
2	20	2
3	21	2
done	21	2
0	9	15
1	18	11
2	32	11
3	52	11
4	61	11
done	61	11
0	8	10
1	15	6
2	23	6
3	25	6
done	25	6
0	4	7
1	8	1
done	8	1
0	9	11
1	15	7
2	30	7
3	40	7
done	40	7
0	4	7
1	8	1
done	8	1
0	3	5
1	6	1
done	6	1
0	4	5
1	8	1
done	8	1
0	11	13
1	32	9
2	72	9
3	201	9
4	625	9
5	2366	9
done	5000	9
0	10	13
1	21	9
2	50	9
3	164	9
4	485	9
5	1031	9
6	1405	9
7	2295	9
done	5001	9
0	14	21
1	23	21
2	31	21
3	39	19
4	63	19
5	78	19
done	78	19
0	13	14
1	20	14
2	24	14
3	25	12
4	38	12
5	45	12
done	45	12
0	16	23
1	31	23
2	66	23
3	147	21
4	361	21
5	715	21
6	1076	21
7	1246	21
8	1717	21
9	2009	21
10	2139	21
11	2230	21
done	2230	21
0	15	18
1	26	18
2	44	18
3	85	16
4	198	16
5	322	16
6	395	16
7	448	16
8	590	16
9	706	16
10	762	16
11	800	16
done	800	16
0	12	15
1	21	13
2	41	13
3	99	11
4	185	11
5	245	11
6	267	11
7	311	11
8	489	11
9	517	11
done	517	11
0	15	19
1	25	19
2	50	19
3	111	17
4	267	17
5	482	17
6	739	17
7	909	17
8	1208	17
9	1398	17
10	1572	17
11	1815	17
12	2063	17
13	2154	17
14	2209	17
15	2250	17
16	2258	17
done	2258	17
0	12	15
1	21	13
2	41	13
3	99	11
4	185	11
5	245	11
6	267	11
7	311	11
8	489	11
9	517	11
done	517	11
0	15	20
1	26	20
2	43	20
3	74	18
4	156	18
5	322	18
6	535	18
7	611	18
8	779	18
9	861	18
10	883	18
11	925	18
done	925	18
0	14	15
1	23	15
2	34	15
3	46	13
4	92	13
5	156	13
6	198	13
7	224	13
8	290	13
9	327	13
10	337	13
11	349	13
done	349	13
0	11	12
1	18	10
2	28	10
3	44	8
4	78	8
5	113	8
6	121	8
7	141	8
8	221	8
9	237	8
done	237	8
0	14	16
1	22	16
2	40	16
3	64	14
4	131	14
5	238	14
6	387	14
7	472	14
8	592	14
9	671	14
10	731	14
11	804	14
12	859	14
13	886	14
14	895	14
15	902	14
16	906	14
done	906	14
0	11	12
1	18	10
2	28	10
3	44	8
4	78	8
5	113	8
6	121	8
7	141	8
8	221	8
9	237	8
done	237	8
0	13	19
1	24	19
2	41	17
3	80	17
4	134	17
5	172	17
6	204	17
7	264	17
8	288	17
done	288	17
0	12	14
1	21	14
2	32	12
3	53	12
4	60	12
5	62	12
6	68	12
7	82	12
8	110	12
done	110	12
0	9	11
1	16	9
2	24	7
3	33	7
4	41	7
done	41	7
0	12	15
1	20	15
2	38	13
3	76	13
4	109	13
5	149	13
6	214	13
7	249	13
8	281	13
9	295	13
10	311	13
done	311	13
0	9	11
1	16	9
2	24	7
3	33	7
4	41	7
done	41	7
0	8	9
1	13	7
2	18	7
done	18	7
0	9	9
1	14	9
2	17	9
3	18	7
done	18	7
0	15	17
1	37	17
2	75	17
3	187	15
4	586	15
5	2475	15
done	5001	15
0	14	17
1	26	17
2	53	17
3	150	15
4	440	15
5	1026	15
6	2329	15
done	5000	15
0	10	17
1	18	13
2	28	13
3	41	13
4	50	13
5	51	13
done	51	13
0	9	10
1	15	6
2	21	6
3	23	6
4	24	6
done	24	6
0	12	19
1	26	15
2	63	15
3	167	15
4	351	15
5	457	15
6	461	15
done	461	15
0	11	14
1	21	10
2	41	10
3	96	10
4	175	10
5	212	10
done	212	10
0	7	11
1	15	5
2	32	5
3	62	5
4	68	5
done	68	5
0	12	15
1	21	11
2	48	11
3	129	11
4	270	11
5	413	11
6	443	11
done	443	11
0	7	11
1	15	5
2	32	5
3	62	5
4	68	5
done	68	5
0	11	16
1	21	12
2	40	12
3	87	12
4	168	12
5	239	12
6	242	12
done	242	12
0	10	11
1	18	7
2	31	7
3	54	7
4	81	7
5	106	7
done	106	7
0	6	8
1	12	2
2	20	2
3	21	2
done	21	2
0	11	12
1	18	8
2	38	8
3	81	8
4	140	8
5	224	8
6	242	8
done	242	8
0	6	8
1	12	2
2	20	2
3	21	2
done	21	2
0	9	15
1	18	11
2	32	11
3	52	11
4	61	11
done	61	11
0	8	10
1	15	6
2	23	6
3	25	6
done	25	6
0	4	7
1	8	1
done	8	1
0	9	11
1	15	7
2	30	7
3	40	7
done	40	7
0	4	7
1	8	1
done	8	1
0	3	5
1	6	1
done	6	1
0	4	5
1	8	1
done	8	1
0	11	13
1	32	9
2	72	9
3	201	9
4	625	9
5	2366	9
done	5000	9
0	10	13
1	21	9
2	50	9
3	164	9
4	485	9
5	1031	9
6	1405	9
7	2295	9
done	5001	9
0	2	3
1	4	1
done	4	1
0	5	5
1	9	5
2	10	5
done	10	5
0	7	7
1	16	7
2	22	7
3	25	5
done	25	5
0	11	12
1	23	11
2	54	11
3	130	9
4	314	9
5	615	9
6	983	9
7	1464	9
8	2268	9
9	3488	9
10	3886	9
11	4062	9
done	4062	9
0	11	12
1	23	11
2	54	11
3	130	9
4	314	9
5	615	9
6	983	9
7	1464	9
8	2268	9
9	3488	9
10	3886	9
11	4062	9
done	4062	9
0	10	11
1	22	9
2	54	9
3	138	9
4	317	9
5	606	9
6	975	9
7	1458	9
8	2263	9
9	3470	9
10	3861	9
11	4033	9
done	4033	9
0	5	5
1	9	5
2	10	5
done	10	5
0	7	7
1	11	7
2	13	7
done	13	7
0	6	6
1	11	6
2	14	6
3	15	6
done	15	6
0	6	6
1	8	6
2	9	6
done	9	6
0	9	17
1	20	17
2	65	9
3	173	7
4	394	7
5	1087	7
6	3797	7
done	5000	7
0	7	13
1	9	13
2	10	13
done	10	13
0	6	6
1	8	6
2	9	6
done	9	6
0	7	17
1	16	17
2	33	7
3	77	7
4	173	7
5	423	7
6	1031	7
7	3017	7
done	5001	7
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	2	2
done	2	2
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	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	10
1	12	10
2	15	10
3	16	10
done	16	10
0	7	7
1	9	7
2	10	7
done	10	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	8	6
2	9	6
done	9	6
0	9	11
1	12	11
2	14	11
3	15	11
done	15	11
0	8	8
1	10	8
2	11	8
done	11	8
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	8	6
2	9	6
done	9	6
0	8	12
1	12	12
2	13	12
done	13	12
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	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	8	6
2	9	6
done	9	6
0	8	8
1	9	8
done	9	8
0	8	8
1	10	8
2	11	8
done	11	8
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	8	6
2	9	6
done	9	6
0	7	11
1	13	11
2	14	11
done	14	11
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	10	6
2	11	6
done	11	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	3
1	4	1
done	4	1
0	5	5
1	7	5
2	8	5
done	8	5
0	7	7
1	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	2	3
1	4	1
done	4	1
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	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	7	11
1	11	11
2	12	11
done	12	11
0	6	6
1	8	6
2	9	6
done	9	6
0	3	3
1	5	1
done	5	1
0	7	7
1	8	7
done	8	7
0	3	3
1	5	1
done	5	1
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	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	8	9
1	23	9
2	45	9
3	81	9
4	173	9
5	521	9
6	2320	9
done	5001	9
0	7	9
1	12	9
2	21	9
3	38	9
4	63	9
5	104	9
6	160	9
7	328	9
8	1613	9
done	5000	9
0	13	17
1	28	17
2	58	17
3	88	15
4	137	13
5	209	13
6	329	13
7	520	13
8	825	13
9	1843	13
done	5000	13
0	13	17
1	29	17
2	57	17
3	88	13
4	139	13
5	213	13
6	331	13
7	521	13
8	824	13
9	1839	13
done	5000	13
0	13	17
1	29	17
2	57	17
3	88	13
4	139	13
5	213	13
6	331	13
7	521	13
8	824	13
9	1839	13
done	5000	13
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1

prune366.0ms

Filtered

329 candidates to 663 candidates (-101.5%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	662	1	663
Fresh	1	4	5
Picked	0	1	1
Done	0	1	1
Total	663	7	670

Merged error: 0b

Counts

670 → 7

regimes488.0ms

Accuracy

44.4% (1.1b remaining)

Error of 1.1b against oracle of 0.0b and baseline of 2.0b

bsearch1.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	51
1	26	51
done	26	51

end0.0ms

sample762.0ms

Algorithm

intervals

Results

293.0ms

8439×

body

valid

Details

sample27.0ms

simplify1.3s

prune4.0ms

localize7.0ms

rewrite23.0ms

series43.0ms

simplify1.9min

prune125.0ms

localize8.0ms

rewrite41.0ms

series69.0ms

simplify3.2min

prune165.0ms

localize7.0ms

rewrite32.0ms

series43.0ms

simplify2.6min

prune163.0ms

localize14.0ms

rewrite117.0ms

series84.0ms

simplify23.7min

prune366.0ms

regimes488.0ms

bsearch1.0ms

simplify2.0ms

end0.0ms

sample762.0ms

Profiling