Details

sample31.0ms

Algorithm

intervals

Results

10.0ms

316×

body

valid

simplify31.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	16	7
2	37	7
3	64	7
4	75	7
done	75	7

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

Counts

2 → 1

localize6.0ms

Local error

Found 1 expressions with local error:

13.6b

(/ (* a1 a2) (* b1 b2))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

13×	`add-exp-log` `add-cbrt-cube`
4×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod`
1×	`pow1` `add-sqr-sqrt` `add-cube-cbrt` `frac-2neg` `-un-lft-identity` `times-frac` `clear-num` `associate-/r` `div-inv` `associate-/l*` `add-log-exp`

Counts

1 → 21

Calls

1 calls:

11.0ms

(/ (* a1 a2) (* b1 b2))

series9.0ms

Counts

1 → 3

Calls

1 calls:

9.0ms

(/ (* a1 a2) (* b1 b2))

simplify11.7s

Counts

24 → 24

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	11
1	19	11
2	41	11
3	78	11
4	135	11
5	227	11
6	373	11
7	475	11
8	492	11
done	492	11
0	10	10
1	19	10
2	34	10
3	62	10
4	114	10
5	188	10
6	331	10
7	474	10
8	518	10
done	518	10
0	10	10
1	19	10
2	35	10
3	71	10
4	129	10
5	202	10
6	318	10
7	452	10
8	479	10
9	480	10
done	480	10
0	9	9
1	19	9
2	31	9
3	57	9
4	105	9
5	166	9
6	272	9
7	441	9
8	489	9
9	491	9
done	491	9
0	8	8
1	20	8
2	58	8
3	125	8
4	219	8
5	322	8
6	470	8
7	629	8
8	674	8
9	675	8
done	675	8
0	8	8
1	17	8
2	40	8
3	79	8
4	113	8
5	169	8
6	318	8
7	715	8
8	2398	8
done	5001	8
0	15	23
1	36	23
2	229	15
3	1885	15
done	5000	15
0	13	23
1	38	23
2	251	13
3	2325	13
done	5001	13
0	13	23
1	38	23
2	232	13
3	2103	13
done	5000	13
0	11	23
1	40	23
2	258	11
3	2627	9
done	5001	9
0	9	17
1	18	17
2	39	17
3	66	17
4	77	17
done	77	17
0	8	8
1	17	8
2	38	8
3	65	8
4	76	8
done	76	8
0	9	23
1	25	23
2	128	9
3	1015	9
done	5000	9
0	8	8
1	17	8
2	38	8
3	65	8
4	76	8
done	76	8
0	8	8
1	17	8
2	38	8
3	65	8
4	76	8
done	76	8
0	4	4
1	9	4
2	11	4
done	11	4
0	4	4
1	9	4
2	11	4
done	11	4
0	3	3
done	3	3
0	3	3
done	3	3
0	5	5
1	10	5
2	12	5
done	12	5
0	7	7
1	16	7
2	37	7
3	64	7
4	75	7
done	75	7
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	7	7
1	16	7
2	37	7
3	64	7
4	75	7
done	75	7
0	7	7
1	16	7
2	37	7
3	64	7
4	75	7
done	75	7
0	7	7
1	16	7
2	37	7
3	64	7
4	75	7
done	75	7

prune64.0ms

Filtered

20 candidates to 24 candidates (-20.0%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	18	6	24
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	19	6	25

Merged error: 0.1b

Counts

25 → 6

localize6.0ms

Local error

Found 2 expressions with local error:

6.2b	(/ (* b1 b2) a2)
7.0b	(/ a1 (/ (* b1 b2) a2))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

36×	`times-frac`
20×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
16×	`add-exp-log` `add-cbrt-cube`
10×	`associate-/r*`
7×	`cbrt-undiv` `div-exp`
6×	`div-inv`
4×	`associate-/l*`
2×	`pow1` `frac-2neg` `prod-exp` `clear-num` `cbrt-unprod` `add-log-exp`
1×	`associate-/r/`

Counts

2 → 69

Calls

2 calls:

5.0ms	(/ (* b1 b2) a2)
7.0ms	(/ a1 (/ (* b1 b2) a2))

series16.0ms

Counts

2 → 6

Calls

2 calls:

5.0ms	(/ (* b1 b2) a2)
11.0ms	(/ a1 (/ (* b1 b2) a2))

simplify39.0s

Counts

75 → 75

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	11
1	20	11
2	42	11
3	83	11
4	144	11
5	215	11
6	357	11
7	478	11
8	499	11
done	499	11
0	10	10
1	20	10
2	35	10
3	70	10
4	134	10
5	212	10
6	329	10
7	469	10
8	500	10
done	500	10
0	9	9
1	17	9
2	32	9
3	62	9
4	119	9
5	209	9
6	300	9
7	415	9
8	517	9
9	533	9
done	533	9
0	8	8
1	16	8
2	38	8
3	85	8
4	166	8
5	274	8
6	383	8
7	478	8
8	571	8
9	645	8
10	646	8
done	646	8
0	8	8
1	13	8
2	27	8
3	57	8
4	90	8
5	143	8
6	265	8
7	582	8
8	1567	8
done	5001	8
0	15	23
1	35	23
2	195	15
3	1370	15
done	5001	15
0	13	23
1	37	23
2	194	13
3	1482	11
done	5000	11
0	11	23
1	29	23
2	116	11
3	657	9
done	5000	9
0	9	17
1	14	17
2	26	17
3	48	17
4	66	17
5	76	17
6	81	17
done	81	17
0	8	8
1	13	8
2	25	8
3	47	8
4	65	8
5	75	8
6	80	8
done	80	8
0	9	23
1	21	23
2	72	9
3	434	9
4	4005	9
done	5000	9
0	8	8
1	13	8
2	25	8
3	47	8
4	65	8
5	75	8
6	80	8
done	80	8
0	8	8
1	13	8
2	25	8
3	47	8
4	65	8
5	75	8
6	80	8
done	80	8
0	2	2
done	2	2
0	6	6
1	11	6
2	22	6
3	35	6
4	44	6
5	47	6
done	47	6
0	11	19
1	20	19
2	33	19
3	42	19
4	43	19
done	43	19
0	9	9
1	12	9
2	16	9
3	19	9
4	20	9
done	20	9
0	10	12
1	15	12
2	21	12
3	25	12
4	26	12
done	26	12
0	9	9
1	12	9
2	16	9
3	19	9
4	20	9
done	20	9
0	9	13
1	15	13
2	30	13
3	58	13
4	94	13
5	116	13
6	126	13
7	135	13
8	137	13
done	137	13
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	8	10
1	12	10
2	21	10
3	31	10
4	41	10
5	45	10
6	47	10
7	48	10
done	48	10
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	7	9
1	13	7
2	22	7
3	41	7
4	48	7
5	52	7
6	60	7
7	63	7
done	63	7
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	8	8
1	13	8
2	25	8
3	47	8
4	65	8
5	75	8
6	80	8
done	80	8
0	7	9
1	15	9
2	28	9
3	40	9
4	42	9
done	42	9
0	6	6
1	10	6
2	13	4
3	22	4
4	31	4
5	33	4
done	33	4
0	10	16
1	15	16
2	19	16
3	22	16
4	23	16
done	23	16
0	9	9
1	12	9
2	16	9
3	19	9
4	20	9
done	20	9
0	9	9
1	12	9
2	16	9
3	19	9
4	20	9
done	20	9
0	9	9
1	12	9
2	16	9
3	19	9
4	20	9
done	20	9
0	8	10
1	12	10
2	19	10
3	27	10
4	31	10
5	40	10
6	46	10
7	51	10
done	51	10
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	6	6
1	10	4
2	15	4
3	20	4
4	22	4
5	25	4
6	30	4
7	31	4
done	31	4
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	4	4
1	6	2
2	8	2
done	8	2
0	8	8
1	13	8
2	25	8
3	47	8
4	65	8
5	75	8
6	80	8
done	80	8
0	6	6
1	9	6
2	11	6
done	11	6
0	6	6
1	10	6
2	13	4
3	22	4
4	31	4
5	33	4
done	33	4
0	9	15
1	16	15
2	20	15
3	23	15
4	24	15
done	24	15
0	8	8
1	11	8
2	15	8
3	18	8
4	19	8
done	19	8
0	8	8
1	13	8
2	17	8
3	20	8
4	21	8
done	21	8
0	8	8
1	11	8
2	15	8
3	18	8
4	19	8
done	19	8
0	7	9
1	13	9
2	20	9
3	28	7
4	52	7
5	67	7
done	67	7
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	6	6
1	10	6
2	13	6
3	14	4
4	27	4
5	32	4
done	32	4
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	4	5
1	8	3
2	12	3
done	12	3
0	5	5
1	7	5
2	10	5
3	11	5
4	13	5
5	15	5
6	16	5
done	16	5
0	2	3
1	4	1
done	4	1
0	7	7
1	12	7
2	24	7
3	46	7
4	64	7
5	74	7
6	79	7
done	79	7
0	5	5
1	10	5
2	12	5
done	12	5
0	5	5
1	9	5
2	12	3
3	18	3
4	25	3
5	30	3
done	30	3
0	7	7
1	14	7
2	26	7
3	48	5
4	61	5
5	97	5
6	155	5
7	157	5
done	157	5
0	7	7
1	12	7
2	30	7
3	57	7
4	77	7
done	77	7
0	9	15
1	14	15
2	18	15
3	21	15
4	22	15
done	22	15
0	8	8
1	11	8
2	15	8
3	18	8
4	19	8
done	19	8
0	7	9
1	11	9
2	18	9
3	26	9
4	30	9
5	39	9
6	45	9
7	50	9
done	50	9
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	5	5
1	9	3
2	14	3
3	19	3
done	19	3
0	3	3
1	5	1
done	5	1
0	5	5
1	8	5
2	10	5
done	10	5
0	8	8
1	13	8
2	31	8
3	58	8
4	78	8
done	78	8
0	8	8
1	13	8
2	31	8
3	58	8
4	78	8
done	78	8
0	7	7
1	12	7
2	30	7
3	57	7
4	77	7
done	77	7
0	5	5
1	8	5
2	10	5
done	10	5
0	8	8
1	13	8
2	20	8
3	26	8
4	32	8
5	41	8
6	54	8
7	72	8
8	88	8
9	95	8
10	112	8
11	114	8
done	114	8
0	7	7
1	13	7
2	19	7
3	28	7
4	31	7
5	37	7
6	46	7
7	59	7
8	77	7
9	93	7
10	100	7
11	117	7
12	119	7
done	119	7
0	6	6
1	12	6
2	24	6
3	43	6
4	59	6
5	67	6
6	79	6
7	97	6
8	113	6
9	120	6
10	137	6
11	139	6
done	139	6
0	6	6
1	9	6
2	13	6
3	18	6
4	27	6
5	40	6
6	73	6
7	156	6
8	369	6
9	1012	6
10	4069	6
done	5000	6
0	11	17
1	26	17
2	122	11
3	554	11
4	2264	9
done	5000	9
0	9	17
1	28	17
2	129	9
3	692	7
4	2636	7
5	4904	7
done	5000	7
0	7	13
1	10	13
2	14	13
3	17	13
4	18	13
done	18	13
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	7	17
1	17	17
2	58	7
3	237	7
4	990	7
5	2904	7
done	5001	7
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	4	4
1	9	4
2	11	4
done	11	4
0	2	2
done	2	2
0	5	7
1	7	7
done	7	7
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	1
done	5	1
0	3	3
done	3	3
0	3	3
1	5	3
done	5	3
0	5	5
1	8	5
2	10	5
done	10	5
0	7	9
1	15	9
2	29	9
3	42	9
4	46	9
done	46	9
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	5	5
1	10	3
2	18	3
3	27	3
4	32	3
done	32	3
0	3	3
done	3	3
0	7	7
1	16	7
2	37	7
3	64	7
4	75	7
done	75	7
0	7	7
1	16	7
2	37	7
3	64	7
4	75	7
done	75	7
0	7	7
1	16	7
2	37	7
3	64	7
4	75	7
done	75	7
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5

prune128.0ms

Filtered

64 candidates to 75 candidates (-17.2%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	67	8	75
Fresh	3	2	5
Picked	0	1	1
Done	0	0	0
Total	70	11	81

Merged error: 0.0b

Counts

81 → 11

localize15.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt a1)
2.3b	(/ (* (cbrt a1) (cbrt a1)) (/ b1 (* (cbrt a2) (cbrt a2))))
2.6b	(/ (cbrt a1) (/ b2 (cbrt a2)))
4.9b	(* (/ (* (cbrt a1) (cbrt a1)) (/ b1 (* (cbrt a2) (cbrt a2)))) (/ (cbrt a1) (/ b2 (cbrt a2))))

rewrite128.0ms

Algorithm

rewrite-expression-head

Rules

572×	`times-frac`
344×	`add-sqr-sqrt`
272×	`add-cube-cbrt` `*-un-lft-identity`
270×	`cbrt-prod`
138×	`add-exp-log`
137×	`associate-r`
74×	`add-cbrt-cube`
64×	`cbrt-undiv` `div-exp`
41×	`prod-exp` `cbrt-unprod`
29×	`associate-/r*`
21×	`unswap-sqr`
20×	`div-inv`
12×	`associate-l`
7×	`associate-/l*`
6×	`pow1`
4×	`associate-/r/` `add-log-exp`
2×	`frac-2neg` `clear-num`
1×	`frac-times` `pow1/3` `associate-r/` `pow-prod-down` `associate-l/` `*-commutative`

Counts

4 → 448

Calls

4 calls:

1.0ms	(cbrt a1)
13.0ms	(/ (* (cbrt a1) (cbrt a1)) (/ b1 (* (cbrt a2) (cbrt a2))))
11.0ms	(/ (cbrt a1) (/ b2 (cbrt a2)))
67.0ms	(* (/ (* (cbrt a1) (cbrt a1)) (/ b1 (* (cbrt a2) (cbrt a2)))) (/ (cbrt a1) (/ b2 (cbrt a2))))

series122.0ms

Counts

4 → 12

Calls

4 calls:

29.0ms	(cbrt a1)
42.0ms	(/ (* (cbrt a1) (cbrt a1)) (/ b1 (* (cbrt a2) (cbrt a2))))
27.0ms	(/ (cbrt a1) (/ b2 (cbrt a2)))
24.0ms	(* (/ (* (cbrt a1) (cbrt a1)) (/ b1 (* (cbrt a2) (cbrt a2)))) (/ (cbrt a1) (/ b2 (cbrt a2))))

simplify24.1min

Counts

460 → 460

Iterations

Useful iterations: 3 (3.0ms)

Iter	Nodes	Cost
0	13	21
1	26	21
2	76	21
3	304	21
4	1103	13
5	2118	7
6	2749	7
7	2924	7
8	2978	7
9	3141	7
10	3775	7
done	5000	7
0	17	29
1	41	25
2	125	25
3	485	25
4	2068	21
done	5001	21
0	17	28
1	39	24
2	113	24
3	401	24
4	1751	20
done	5000	20
0	17	27
1	37	23
2	106	23
3	343	23
4	1443	20
5	4605	20
done	5000	20
0	18	28
1	40	26
2	114	25
3	453	25
4	1949	21
done	5000	21
0	17	27
1	38	25
2	102	24
3	369	24
4	1610	20
done	5000	20
0	17	26
1	36	24
2	95	23
3	314	23
4	1313	20
5	4534	20
done	5000	20
0	17	27
1	39	25
2	98	25
3	341	25
4	1397	20
5	4780	17
done	5000	17
0	16	26
1	37	24
2	86	24
3	269	24
4	1090	20
5	3970	20
done	5000	20
0	16	25
1	34	23
2	80	23
3	234	23
4	909	20
5	3743	17
done	5001	17
0	18	28
1	40	26
2	118	25
3	460	25
4	1906	21
done	5000	21
0	18	27
1	38	25
2	106	24
3	381	24
4	1614	20
5	4925	17
done	5000	17
0	17	26
1	36	24
2	99	23
3	324	23
4	1272	20
5	4158	20
done	5000	20
0	19	27
1	38	27
2	109	25
3	428	25
4	1815	21
done	5000	21
0	18	26
1	36	26
2	97	24
3	353	24
4	1500	20
5	4850	17
done	5000	17
0	17	25
1	34	25
2	90	23
3	296	23
4	1170	20
5	4115	20
done	5001	20
0	18	26
1	37	26
2	93	25
3	313	25
4	1253	20
5	4390	17
done	5000	17
0	17	25
1	35	25
2	81	24
3	251	24
4	988	20
5	3649	20
done	5001	20
0	16	24
1	32	24
2	75	23
3	216	23
4	789	20
5	3317	17
done	5000	17
0	17	25
1	35	25
2	89	25
3	282	24
4	1174	20
5	4219	17
done	5001	17
0	16	24
1	33	24
2	79	24
3	238	23
4	961	20
5	3652	20
done	5000	20
0	15	23
1	30	23
2	74	23
3	205	23
4	727	23
5	2958	17
done	5001	17
0	14	22
1	30	22
2	99	22
3	405	22
4	1659	14
5	4798	8
done	5000	8
0	14	22
1	29	22
2	87	22
3	350	22
4	1293	14
5	2925	8
done	5000	8
0	15	23
1	37	23
2	143	19
3	812	19
done	5000	19
0	16	30
1	42	30
2	164	20
3	909	20
done	5000	20
0	17	37
1	43	37
2	181	21
3	1182	21
done	5000	21
0	18	37
1	48	37
2	210	23
3	1601	19
done	5001	19
0	18	44
1	52	44
2	229	24
3	1639	19
done	5000	19
0	19	51
1	53	51
2	246	25
3	1992	20
done	5001	20
0	16	37
1	42	37
2	173	21
3	1140	21
done	5001	21
0	16	44
1	46	44
2	192	22
3	1190	22
done	5001	22
0	17	51
1	47	51
2	208	23
3	1505	23
done	5001	23
0	18	37
1	48	37
2	213	23
3	1578	19
done	5000	19
0	19	44
1	53	44
2	233	24
3	1728	20
done	5000	20
0	19	51
1	53	51
2	247	25
3	1961	20
done	5000	20
0	21	51
1	59	51
2	278	27
3	2771	19
done	5000	19
0	21	58
1	63	58
2	298	28
3	2851	19
done	5000	19
0	21	65
1	63	65
2	311	29
3	3127	20
done	5000	20
0	19	51
1	53	51
2	243	25
3	2111	21
done	5000	21
0	19	58
1	57	58
2	262	26
3	2219	22
done	5000	22
0	19	65
1	57	65
2	275	27
3	2466	22
done	5000	22
0	17	51
1	40	51
2	165	23
3	1150	23
done	5000	23
0	17	58
1	44	58
2	184	24
3	1253	24
done	5000	24
0	17	65
1	44	65
2	196	25
3	1417	25
done	5000	25
0	15	45
1	28	45
2	78	45
3	306	45
4	1104	29
5	2159	17
6	2791	17
7	2969	17
8	3030	17
9	3193	17
10	3802	17
done	5000	17
0	14	22
1	27	22
2	77	22
3	305	22
4	1095	14
5	2117	8
6	2755	8
7	2936	8
8	2991	8
9	3160	8
10	3760	8
done	5000	8
0	15	65
1	38	65
2	191	23
3	1650	23
done	5000	23
0	14	22
1	27	22
2	77	22
3	305	22
4	1095	14
5	2117	8
6	2755	8
7	2936	8
8	2991	8
9	3160	8
10	3760	8
done	5000	8
0	14	22
1	27	22
2	77	22
3	305	22
4	1095	14
5	2117	8
6	2755	8
7	2936	8
8	2991	8
9	3160	8
10	3760	8
done	5000	8
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	8	12
1	15	12
2	34	12
3	68	12
4	103	8
5	114	5
6	118	5
7	124	5
8	134	5
9	155	5
10	220	5
11	442	5
12	1371	5
done	5000	5
0	15	23
1	24	23
2	41	23
3	69	23
4	108	23
5	133	23
6	144	23
7	153	23
8	155	23
done	155	23
0	15	23
1	24	23
2	41	23
3	69	23
4	108	23
5	133	23
6	144	23
7	153	23
8	155	23
done	155	23
0	17	24
1	26	24
2	44	24
3	76	24
4	113	24
5	135	24
6	145	24
7	154	24
8	156	24
done	156	24
0	17	24
1	26	24
2	44	24
3	76	24
4	113	24
5	135	24
6	145	24
7	154	24
8	156	24
done	156	24
0	19	25
1	30	25
2	57	25
3	108	25
4	156	25
5	193	25
6	209	25
7	221	25
8	222	25
done	222	25
0	19	25
1	30	25
2	57	25
3	108	25
4	156	25
5	193	25
6	209	25
7	221	25
8	222	25
done	222	25
0	18	25
1	29	25
2	56	25
3	107	25
4	155	25
5	193	25
6	209	25
7	221	25
8	222	25
done	222	25
0	18	25
1	29	25
2	56	25
3	107	25
4	155	25
5	193	25
6	209	25
7	221	25
8	222	25
done	222	25
0	16	24
1	25	24
2	43	24
3	75	24
4	112	24
5	134	24
6	144	24
7	153	24
done	153	24
0	16	24
1	25	24
2	43	24
3	75	24
4	112	24
5	134	24
6	144	24
7	153	24
done	153	24
0	18	25
1	29	25
2	56	25
3	107	25
4	155	25
5	193	25
6	209	25
7	221	25
8	222	25
done	222	25
0	18	25
1	29	25
2	56	25
3	107	25
4	155	25
5	193	25
6	209	25
7	221	25
8	222	25
done	222	25
0	17	25
1	28	25
2	55	25
3	106	25
4	155	25
5	192	25
6	208	25
7	220	25
8	222	25
done	222	25
0	17	25
1	28	25
2	55	25
3	106	25
4	155	25
5	192	25
6	208	25
7	220	25
8	222	25
done	222	25
0	14	20
1	21	20
2	27	20
3	30	20
4	34	20
5	37	20
6	38	20
done	38	20
0	14	20
1	21	20
2	27	20
3	30	20
4	34	20
5	37	20
6	38	20
done	38	20
0	16	21
1	23	21
2	32	21
3	49	21
4	70	21
5	82	21
6	84	21
done	84	21
0	16	21
1	23	21
2	32	21
3	49	21
4	70	21
5	82	21
6	84	21
done	84	21
0	18	22
1	27	22
2	47	22
3	106	22
4	200	22
5	325	22
6	417	22
7	432	22
done	432	22
0	18	22
1	27	22
2	47	22
3	106	22
4	200	22
5	325	22
6	417	22
7	432	22
done	432	22
0	17	22
1	26	22
2	46	22
3	105	22
4	199	22
5	326	22
6	420	22
7	434	22
done	434	22
0	17	22
1	26	22
2	46	22
3	105	22
4	199	22
5	326	22
6	420	22
7	434	22
done	434	22
0	15	21
1	22	21
2	31	21
3	48	21
4	69	21
5	81	21
6	83	21
done	83	21
0	15	21
1	22	21
2	31	21
3	48	21
4	69	21
5	81	21
6	83	21
done	83	21
0	17	22
1	26	22
2	46	22
3	105	22
4	199	22
5	324	22
6	417	22
7	431	22
done	431	22
0	17	22
1	26	22
2	46	22
3	105	22
4	199	22
5	324	22
6	417	22
7	431	22
done	431	22
0	16	22
1	25	22
2	45	22
3	104	22
4	198	22
5	323	22
6	416	22
7	432	22
done	432	22
0	16	22
1	25	22
2	45	22
3	104	22
4	198	22
5	323	22
6	416	22
7	432	22
done	432	22
0	13	17
1	20	17
2	34	17
3	55	17
4	68	17
5	88	17
6	97	17
7	100	17
done	100	17
0	13	17
1	20	17
2	34	17
3	55	17
4	68	17
5	88	17
6	97	17
7	100	17
done	100	17
0	15	18
1	22	18
2	42	18
3	104	18
4	203	18
5	333	18
6	415	18
7	430	18
done	430	18
0	15	18
1	22	18
2	42	18
3	104	18
4	203	18
5	333	18
6	415	18
7	430	18
done	430	18
0	17	19
1	26	19
2	57	19
3	187	19
4	509	19
5	1037	19
6	1701	19
7	1946	19
8	1951	19
done	1951	19
0	17	19
1	26	19
2	57	19
3	187	19
4	509	19
5	1037	19
6	1701	19
7	1946	19
8	1951	19
done	1951	19
0	16	19
1	25	19
2	56	19
3	186	19
4	502	19
5	1030	19
6	1685	19
7	1924	19
8	1930	19
done	1930	19
0	16	19
1	25	19
2	56	19
3	186	19
4	502	19
5	1030	19
6	1685	19
7	1924	19
8	1930	19
done	1930	19
0	14	18
1	21	18
2	41	18
3	103	18
4	198	18
5	325	18
6	405	18
7	420	18
done	420	18
0	14	18
1	21	18
2	41	18
3	103	18
4	198	18
5	325	18
6	405	18
7	420	18
done	420	18
0	16	19
1	25	19
2	56	19
3	186	19
4	502	19
5	1028	19
6	1681	19
7	1920	19
8	1930	19
done	1930	19
0	16	19
1	25	19
2	56	19
3	186	19
4	502	19
5	1028	19
6	1681	19
7	1920	19
8	1930	19
done	1930	19
0	15	19
1	24	19
2	55	19
3	185	19
4	505	19
5	1036	19
6	1696	19
7	1935	19
8	1940	19
done	1940	19
0	15	19
1	24	19
2	55	19
3	185	19
4	505	19
5	1036	19
6	1696	19
7	1935	19
8	1940	19
done	1940	19
0	15	31
1	28	31
2	71	31
3	222	31
4	625	31
5	1159	31
6	1372	31
7	1470	31
8	1472	31
done	1472	31
0	14	22
1	25	22
2	58	22
3	146	22
4	319	22
5	516	22
6	577	22
7	602	22
done	602	22
0	16	32
1	29	32
2	80	32
3	316	32
4	1276	32
5	4047	32
done	5001	32
0	15	26
1	26	26
2	67	26
3	229	26
4	756	26
5	1793	26
6	2812	26
7	3064	26
8	3073	26
done	3073	26
0	17	33
1	32	33
2	91	33
3	418	33
4	2420	33
done	5000	33
0	18	30
1	33	30
2	92	30
3	419	30
4	2404	30
done	5000	30
0	18	29
1	35	28
2	94	28
3	416	26
4	2165	26
done	5000	26
0	18	34
1	37	34
2	115	34
3	559	34
4	3673	34
done	5000	34
0	17	30
1	32	30
2	91	30
3	418	30
4	2420	30
done	5000	30
0	17	28
1	34	26
2	97	26
3	450	26
4	2284	26
done	5000	26
0	16	30
1	29	30
2	81	30
3	337	30
4	1496	30
5	4764	30
done	5000	30
0	17	27
1	30	27
2	82	27
3	338	27
4	1498	27
5	4697	27
done	5000	27
0	17	26
1	32	25
2	84	25
3	340	23
4	1477	23
5	3759	23
done	5000	23
0	17	31
1	32	31
2	90	31
3	391	31
4	2038	31
done	5001	31
0	16	27
1	29	27
2	81	27
3	337	27
4	1496	27
5	4764	27
done	5000	27
0	16	25
1	31	23
2	82	23
3	328	23
4	1323	23
5	3072	23
6	4699	23
done	5000	23
0	15	29
1	30	29
2	82	27
3	316	27
4	1462	27
done	5000	27
0	16	26
1	31	26
2	83	24
3	317	24
4	1454	24
done	5000	24
0	15	25
1	30	24
2	82	22
3	316	20
4	1535	20
5	4697	20
done	5000	20
0	16	30
1	33	30
2	91	28
3	370	28
4	2002	28
done	5000	28
0	15	26
1	30	26
2	82	24
3	316	24
4	1462	24
done	5000	24
0	14	24
1	29	22
2	79	20
3	272	20
4	1302	20
5	3517	20
6	4565	20
7	4595	20
done	4595	20
0	13	22
1	26	20
2	67	20
3	234	20
4	837	20
5	1989	20
6	2591	20
7	2614	20
done	2614	20
0	13	22
1	24	22
2	65	22
3	227	22
4	751	22
5	1797	22
6	2821	22
7	3079	22
8	3084	22
done	3084	22
0	17	29
1	30	29
2	81	29
3	316	29
4	1283	29
5	4077	29
done	5000	29
0	16	23
1	27	23
2	68	23
3	230	23
4	759	23
5	1772	23
6	2800	23
7	3043	23
8	3049	23
done	3049	23
0	18	30
1	33	30
2	92	30
3	419	30
4	2415	30
done	5001	30
0	19	27
1	34	27
2	93	27
3	420	27
4	2416	27
done	5001	27
0	19	26
1	36	25
2	95	25
3	417	23
4	2147	23
done	5000	23
0	19	31
1	38	31
2	116	31
3	560	31
4	3663	31
done	5000	31
0	18	27
1	33	27
2	92	27
3	419	27
4	2415	27
done	5001	27
0	18	25
1	35	23
2	98	23
3	451	23
4	2258	23
done	5000	23
0	17	27
1	30	27
2	82	27
3	338	27
4	1498	27
5	4680	27
done	5000	27
0	18	24
1	31	24
2	83	24
3	339	24
4	1491	24
5	4724	24
done	5000	24
0	18	23
1	33	22
2	85	22
3	341	20
4	1485	20
5	3810	20
done	5000	20
0	18	28
1	33	28
2	91	28
3	392	28
4	2044	28
done	5000	28
0	17	24
1	30	24
2	82	24
3	338	24
4	1498	24
5	4680	24
done	5000	24
0	17	22
1	32	20
2	83	20
3	329	20
4	1324	20
5	3041	20
6	4665	20
done	5000	20
0	16	26
1	31	26
2	83	24
3	317	24
4	1454	24
done	5001	24
0	17	23
1	32	23
2	84	21
3	318	21
4	1466	21
done	5000	21
0	16	22
1	31	21
2	83	19
3	317	17
4	1525	17
5	4163	17
done	5000	17
0	17	27
1	34	27
2	92	25
3	371	25
4	2009	25
done	5000	25
0	16	23
1	31	23
2	83	21
3	317	21
4	1454	21
done	5001	21
0	15	21
1	30	19
2	80	17
3	273	17
4	1304	17
5	3550	17
6	4552	17
7	4577	17
done	4577	17
0	14	19
1	27	17
2	68	17
3	235	17
4	844	17
5	1982	17
6	2576	17
7	2609	17
done	2609	17
0	14	19
1	25	19
2	66	19
3	228	19
4	753	19
5	1804	19
6	2829	19
7	3084	19
8	3090	19
done	3090	19
0	17	28
1	32	27
2	83	27
3	317	25
4	1337	25
5	3087	25
6	3594	25
7	3596	25
done	3596	25
0	16	22
1	29	21
2	70	21
3	232	19
4	745	19
5	1344	19
6	1479	19
7	1481	19
done	1481	19
0	18	29
1	35	28
2	94	28
3	418	26
4	2317	26
done	5000	26
0	19	26
1	36	25
2	95	25
3	419	23
4	2341	23
done	5000	23
0	17	25
1	34	23
2	91	21
3	374	19
4	1370	19
5	3007	19
6	3664	19
7	3684	19
done	3684	19
0	19	30
1	40	29
2	118	29
3	559	27
4	3666	27
done	5000	27
0	18	26
1	35	25
2	94	25
3	418	23
4	2317	23
done	5000	23
0	17	24
1	34	21
2	93	19
3	380	19
4	1402	19
5	3031	19
6	3588	19
7	3590	19
done	3590	19
0	17	26
1	32	25
2	84	25
3	340	23
4	1430	23
5	3480	23
6	4513	23
7	4573	23
done	4573	23
0	18	23
1	33	22
2	85	22
3	341	20
4	1436	20
5	3510	20
6	4561	20
7	4643	20
done	4643	20
0	16	22
1	31	20
2	82	18
3	293	16
4	951	16
5	1466	16
6	1586	16
done	1586	16
0	18	27
1	35	26
2	93	26
3	394	24
4	2047	24
done	5001	24
0	17	23
1	32	22
2	84	22
3	340	20
4	1430	20
5	3480	20
6	4513	20
7	4573	20
done	4573	20
0	16	21
1	31	18
2	79	16
3	273	16
4	826	16
5	1342	16
6	1456	16
done	1456	16
0	15	25
1	30	24
2	82	22
3	309	20
4	1104	20
5	3076	20
6	4481	20
7	4568	20
done	4568	20
0	16	22
1	31	21
2	83	19
3	310	17
4	1095	17
5	3093	17
6	4474	17
7	4559	17
done	4559	17
0	14	21
1	29	19
2	81	15
3	251	13
4	647	13
5	1326	13
6	1613	13
7	1614	13
done	1614	13
0	16	26
1	33	25
2	91	23
3	361	21
4	1489	21
done	5000	21
0	15	22
1	30	21
2	82	19
3	309	17
4	1104	17
5	3076	17
6	4481	17
7	4568	17
done	4568	17
0	14	20
1	29	15
2	65	15
3	205	13
4	617	13
5	1093	13
6	1325	13
done	1325	13
0	13	18
1	26	15
2	64	13
3	221	13
4	630	13
5	1093	13
6	1362	13
done	1362	13
0	14	18
1	27	17
2	68	17
3	230	15
4	757	15
5	1446	15
6	1579	15
7	1581	15
done	1581	15
0	17	33
1	34	33
2	109	33
3	482	33
4	2370	33
done	5000	33
0	16	27
1	29	27
2	79	27
3	309	27
4	1280	27
5	3901	27
done	5001	27
0	18	34
1	35	34
2	111	34
3	562	34
4	3843	34
done	5000	34
0	19	31
1	36	31
2	112	31
3	563	31
4	3837	31
done	5000	31
0	19	30
1	38	29
2	114	29
3	555	27
4	3329	27
done	5000	27
0	19	35
1	40	35
2	140	35
3	768	35
done	5001	35
0	18	31
1	35	31
2	111	31
3	562	31
4	3843	31
done	5000	31
0	18	29
1	37	27
2	117	27
3	646	27
4	3627	27
done	5001	27
0	17	31
1	32	31
2	97	31
3	437	31
4	2331	31
done	5000	31
0	18	28
1	33	28
2	98	28
3	438	28
4	2331	28
done	5000	28
0	18	27
1	35	26
2	100	26
3	440	24
4	2220	24
done	5000	24
0	18	32
1	35	32
2	108	32
3	509	32
4	3139	32
done	5001	32
0	17	28
1	32	28
2	97	28
3	437	28
4	2331	28
done	5000	28
0	17	26
1	34	24
2	97	24
3	456	24
4	2068	24
done	5001	24
0	16	30
1	33	30
2	98	28
3	429	28
4	2587	28
done	5001	28
0	17	27
1	34	27
2	99	25
3	430	25
4	2600	25
done	5001	25
0	16	26
1	33	25
2	98	23
3	429	21
4	2546	21
done	5000	21
0	17	31
1	36	31
2	109	29
3	503	29
4	3502	29
done	5000	29
0	16	27
1	33	27
2	98	25
3	429	25
4	2587	25
done	5001	25
0	15	25
1	32	23
2	93	21
3	413	21
4	2092	21
done	5000	21
0	14	23
1	29	21
2	85	21
3	368	21
4	1554	21
5	4450	21
done	5000	21
0	14	23
1	27	23
2	77	23
3	307	23
4	1278	23
5	3884	23
done	5000	23
0	16	29
1	29	29
2	80	29
3	316	29
4	1276	29
5	4047	29
done	5001	29
0	15	23
1	26	23
2	67	23
3	229	23
4	756	23
5	1793	23
6	2812	23
7	3064	23
8	3073	23
done	3073	23
0	17	30
1	32	30
2	91	30
3	418	30
4	2420	30
done	5000	30
0	18	27
1	33	27
2	92	27
3	419	27
4	2404	27
done	5000	27
0	18	26
1	35	25
2	94	25
3	416	23
4	2165	23
done	5000	23
0	18	31
1	37	31
2	115	31
3	559	31
4	3673	31
done	5000	31
0	17	27
1	32	27
2	91	27
3	418	27
4	2420	27
done	5000	27
0	17	25
1	34	23
2	97	23
3	450	23
4	2284	23
done	5000	23
0	16	27
1	29	27
2	81	27
3	337	27
4	1496	27
5	4764	27
done	5000	27
0	17	24
1	30	24
2	82	24
3	338	24
4	1498	24
5	4697	24
done	5000	24
0	17	23
1	32	22
2	84	22
3	340	20
4	1477	20
5	3759	20
done	5000	20
0	17	28
1	32	28
2	90	28
3	391	28
4	2038	28
done	5001	28
0	16	24
1	29	24
2	81	24
3	337	24
4	1496	24
5	4764	24
done	5000	24
0	16	22
1	31	20
2	82	20
3	328	20
4	1323	20
5	3072	20
6	4699	20
done	5000	20
0	15	26
1	30	26
2	82	24
3	316	24
4	1462	24
done	5000	24
0	16	23
1	31	23
2	83	21
3	317	21
4	1454	21
done	5000	21
0	15	22
1	30	21
2	82	19
3	316	17
4	1535	17
5	4697	17
done	5000	17
0	16	27
1	33	27
2	91	25
3	370	25
4	2002	25
done	5000	25
0	15	23
1	30	23
2	82	21
3	316	21
4	1462	21
done	5000	21
0	14	21
1	29	19
2	79	17
3	272	17
4	1302	17
5	3517	17
6	4565	17
7	4595	17
done	4595	17
0	13	19
1	26	17
2	67	17
3	234	17
4	837	17
5	1989	17
6	2591	17
7	2614	17
done	2614	17
0	13	19
1	24	19
2	65	19
3	227	19
4	751	19
5	1797	19
6	2821	19
7	3079	19
8	3084	19
done	3084	19
0	16	27
1	31	27
2	81	25
3	386	25
4	1407	25
5	3189	25
6	3691	25
done	3691	25
0	15	21
1	28	21
2	69	19
3	280	19
4	794	19
5	1396	19
6	1524	19
7	1525	19
done	1525	19
0	17	28
1	34	28
2	93	26
3	517	26
4	2594	26
done	5000	26
0	18	25
1	35	25
2	94	23
3	518	23
4	2612	23
done	5000	23
0	17	24
1	34	23
2	91	21
3	408	19
4	1459	19
5	3147	19
6	3693	19
7	3699	19
done	3699	19
0	18	29
1	39	29
2	116	27
3	674	27
4	4094	27
done	5000	27
0	17	25
1	34	25
2	93	23
3	517	23
4	2594	23
done	5000	23
0	16	23
1	33	21
2	90	19
3	371	19
4	1402	19
5	3076	19
6	3632	19
7	3638	19
done	3638	19
0	16	25
1	31	25
2	83	23
3	414	23
4	1557	23
5	3657	23
6	4659	23
7	4695	23
done	4695	23
0	17	22
1	32	22
2	84	20
3	415	20
4	1558	20
5	3611	20
6	4593	20
7	4631	20
done	4631	20
0	16	21
1	31	20
2	82	18
3	309	16
4	974	16
5	1485	16
6	1605	16
7	1607	16
done	1607	16
0	17	26
1	34	26
2	92	24
3	480	24
4	2249	24
done	5000	24
0	16	22
1	31	22
2	83	20
3	414	20
4	1557	20
5	3657	20
6	4659	20
7	4695	20
done	4695	20
0	15	20
1	30	18
2	78	16
3	278	16
4	833	16
5	1334	16
6	1454	16
done	1454	16
0	14	24
1	29	20
2	80	20
3	319	20
4	1220	20
5	3311	20
6	3864	20
7	3909	20
done	3909	20
0	15	21
1	30	17
2	81	17
3	320	17
4	1223	17
5	3380	17
6	3928	17
7	3975	17
done	3975	17
0	14	20
1	29	15
2	70	13
3	311	13
4	771	13
5	1290	13
6	1445	13
7	1447	13
done	1447	13
0	15	25
1	32	21
2	97	21
3	462	21
4	1947	21
done	5000	21
0	14	21
1	29	17
2	80	17
3	319	17
4	1220	17
5	3311	17
6	3864	17
7	3909	17
done	3909	17
0	13	19
1	27	15
2	63	13
3	220	13
4	625	13
5	1102	13
6	1385	13
done	1385	13
0	12	17
1	25	15
2	63	13
3	220	13
4	628	13
5	1099	13
6	1366	13
done	1366	13
0	13	17
1	26	17
2	67	15
3	278	15
4	798	15
5	1419	15
6	1541	15
7	1543	15
done	1543	15
0	11	15
1	22	13
2	60	13
3	157	13
4	303	13
5	368	13
6	388	13
done	388	13
0	10	16
1	19	16
2	44	16
3	105	12
4	197	9
5	256	9
6	284	9
7	302	9
8	323	9
9	381	9
10	596	9
11	1530	9
done	5000	9
0	12	18
1	23	18
2	63	18
3	208	18
4	619	14
5	1144	11
6	1419	11
7	1499	11
8	1512	11
9	1535	11
10	1592	11
11	1800	11
12	2741	11
done	5000	11
0	14	22
1	25	22
2	51	22
3	101	22
4	150	22
5	188	22
6	204	22
7	216	22
8	217	22
done	217	22
0	14	22
1	25	22
2	51	22
3	101	22
4	150	22
5	188	22
6	204	22
7	216	22
8	217	22
done	217	22
0	13	19
1	22	19
2	42	19
3	97	19
4	160	19
5	216	19
6	243	19
7	251	19
done	251	19
0	13	19
1	22	19
2	42	19
3	97	19
4	160	19
5	216	19
6	243	19
7	251	19
done	251	19
0	12	16
1	21	16
2	51	16
3	156	16
4	340	16
5	542	16
6	653	16
7	669	16
done	669	16
0	12	16
1	21	16
2	51	16
3	156	16
4	340	16
5	542	16
6	653	16
7	669	16
done	669	16
0	11	15
1	20	15
2	50	15
3	155	15
4	338	15
5	538	15
6	649	15
7	664	15
done	664	15
0	12	18
1	23	18
2	60	18
3	212	18
4	583	14
5	1043	11
6	1344	11
7	1452	11
8	1468	11
9	1489	11
10	1551	11
11	1765	11
12	2701	11
done	5000	11
0	12	18
1	25	18
2	62	16
3	201	16
4	610	12
5	1418	9
6	1629	9
7	1681	9
8	1724	9
9	1900	9
10	2410	9
11	3952	9
done	5001	9
0	13	21
1	26	21
2	76	21
3	304	21
4	1103	13
5	2118	7
6	2749	7
7	2924	7
8	2978	7
9	3141	7
10	3775	7
done	5000	7
0	13	17
1	26	17
2	63	15
3	278	15
4	861	11
5	1356	8
6	1599	8
7	1607	8
8	1617	8
9	1638	8
10	1698	8
11	1914	8
12	2840	8
done	5000	8
0	9	13
1	16	13
2	33	13
3	63	9
4	93	6
5	113	6
6	123	6
7	133	6
8	156	6
9	214	6
10	424	6
11	1358	6
done	5000	6
0	10	16
1	19	16
2	44	16
3	105	12
4	197	9
5	256	9
6	284	9
7	302	9
8	323	9
9	381	9
10	596	9
11	1530	9
done	5000	9
0	9	13
1	16	13
2	33	13
3	71	9
4	90	6
5	106	6
6	115	6
7	126	6
8	147	6
9	207	6
10	420	6
11	1354	6
done	5000	6
0	10	10
1	16	10
2	24	10
3	37	10
4	41	10
5	49	10
6	64	10
7	90	10
8	99	10
done	99	10
0	9	9
1	14	9
2	19	9
3	26	9
4	39	9
5	44	9
6	52	9
7	67	9
8	93	9
9	102	9
done	102	9
0	8	8
1	13	8
2	23	8
3	32	8
4	44	8
5	63	8
6	72	8
7	83	8
8	101	8
9	121	8
10	127	8
done	127	8
0	8	8
1	10	8
2	15	8
3	22	8
4	32	8
5	59	8
6	125	8
7	296	8
8	830	8
9	3494	8
done	5000	8
0	7	9
1	12	9
2	28	7
3	58	7
4	99	7
5	156	7
6	280	7
7	701	7
8	2555	7
done	5000	7
0	8	16
1	17	16
2	42	8
3	105	8
4	259	7
5	495	7
6	788	7
7	1330	7
8	3484	7
done	5000	7
0	9	17
1	11	17
2	14	17
3	15	17
4	17	17
5	19	17
6	20	17
done	20	17
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	9	23
1	18	23
2	56	9
3	229	9
4	943	7
5	2593	7
6	4111	7
done	5000	7
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	3	3
done	3	3
0	5	5
1	7	5
done	7	5
0	11	18
1	13	18
done	13	18
0	9	9
done	9	9
0	10	12
done	10	12
0	9	9
done	9	9
0	13	19
1	17	19
2	25	19
3	38	19
4	46	19
5	52	19
6	55	19
done	55	19
0	10	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	12	16
1	16	16
2	24	16
3	37	16
4	45	16
5	51	16
6	54	16
done	54	16
0	10	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	11	15
1	17	14
2	25	14
3	38	12
4	60	12
5	72	12
6	77	12
done	77	12
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	13	20
1	21	20
2	42	20
3	73	20
4	99	20
5	130	20
6	152	20
7	162	20
done	162	20
0	10	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	12	16
1	16	16
2	24	16
3	37	16
4	45	16
5	51	16
6	54	16
done	54	16
0	10	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	10	14
1	16	12
2	29	12
3	56	12
4	66	12
5	78	12
6	84	12
done	84	12
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	12	16
1	14	16
2	17	16
3	18	16
4	20	16
5	22	16
6	23	16
done	23	16
0	10	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	11	13
1	13	13
2	16	13
3	17	13
4	19	13
5	21	13
6	22	13
done	22	13
0	10	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	10	12
1	14	11
2	17	11
3	18	9
4	29	9
5	34	9
6	42	9
7	43	9
done	43	9
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	12	17
1	16	17
2	23	17
3	31	17
4	35	17
5	44	17
6	50	17
7	55	17
done	55	17
0	10	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	11	13
1	13	13
2	16	13
3	17	13
4	19	13
5	21	13
6	22	13
done	22	13
0	10	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	9	11
1	13	9
2	19	9
3	24	9
4	26	9
5	29	9
6	33	9
done	33	9
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	11	15
1	15	15
2	18	13
3	27	13
4	36	13
5	38	13
done	38	13
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	10	12
1	14	12
2	17	10
3	26	10
4	35	10
5	37	10
done	37	10
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	8	11
1	12	10
2	15	8
3	24	6
4	59	6
done	59	6
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	11	16
1	17	16
2	24	14
3	40	14
4	66	14
5	87	14
6	107	14
done	107	14
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	10	12
1	14	12
2	17	10
3	26	10
4	35	10
5	37	10
done	37	10
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	7	10
1	11	8
2	16	6
3	18	6
4	22	6
done	22	6
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	6	8
1	8	6
2	10	6
done	10	6
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	6	8
done	6	8
0	8	8
1	12	8
2	15	6
3	24	6
4	33	6
5	35	6
done	35	6
0	10	15
1	12	15
done	12	15
0	9	9
done	9	9
0	9	9
done	9	9
0	9	9
done	9	9
0	12	16
1	16	16
2	24	16
3	37	16
4	45	16
5	51	16
6	54	16
done	54	16
0	10	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	11	13
1	15	13
2	23	13
3	36	13
4	44	13
5	50	13
6	53	13
done	53	13
0	10	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	10	12
1	16	11
2	24	11
3	37	9
4	61	9
5	74	9
6	80	9
done	80	9
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	12	17
1	20	17
2	41	17
3	70	17
4	96	17
5	127	17
6	150	17
7	160	17
8	161	17
done	161	17
0	10	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	11	13
1	15	13
2	23	13
3	36	13
4	44	13
5	50	13
6	53	13
done	53	13
0	10	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	9	11
1	15	9
2	28	9
3	55	9
4	67	9
5	79	9
6	84	9
done	84	9
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	11	13
1	13	13
2	16	13
3	17	13
4	19	13
5	21	13
6	22	13
done	22	13
0	10	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	10	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	10	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	9	9
1	13	8
2	16	8
3	17	6
4	28	6
5	33	6
6	41	6
done	41	6
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	11	14
1	15	14
2	22	14
3	30	14
4	34	14
5	43	14
6	49	14
7	54	14
done	54	14
0	10	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	10	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	10	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	8	8
1	12	6
2	18	6
3	23	6
4	25	6
5	28	6
6	32	6
done	32	6
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	10	12
1	14	12
2	17	10
3	26	10
4	35	10
5	37	10
done	37	10
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	9	9
1	13	9
2	16	7
3	25	7
4	34	7
5	36	7
done	36	7
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	7	8
1	11	7
2	14	5
3	23	3
4	58	3
done	58	3
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	10	13
1	16	13
2	23	11
3	39	11
4	66	11
5	89	11
6	109	11
done	109	11
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	9	9
1	13	9
2	16	7
3	25	7
4	34	7
5	36	7
done	36	7
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	6	7
1	10	5
2	15	3
3	17	3
4	21	3
done	21	3
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	5	5
1	7	3
2	9	3
done	9	3
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	5	5
done	5	5
0	8	8
1	12	8
2	15	6
3	24	6
4	33	6
5	35	6
done	35	6
0	9	14
1	13	13
done	13	13
0	8	8
done	8	8
0	8	8
1	10	7
done	10	7
0	8	8
done	8	8
0	11	15
1	17	14
2	25	14
3	38	12
4	65	12
5	97	12
done	97	12
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	10	12
1	16	11
2	24	11
3	37	9
4	64	9
5	99	9
done	99	9
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	7	11
1	13	9
2	20	7
3	29	7
4	32	7
done	32	7
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	11	16
1	21	15
2	42	15
3	71	13
4	131	13
5	196	13
done	196	13
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	10	12
1	16	11
2	24	11
3	37	9
4	64	9
5	99	9
done	99	9
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	7	10
1	13	7
2	24	7
3	33	7
done	33	7
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	10	12
1	14	11
2	17	11
3	18	9
4	31	9
5	38	9
done	38	9
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	9	9
1	13	8
2	16	8
3	17	6
4	30	6
5	35	6
done	35	6
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	6	8
1	10	6
2	13	4
done	13	4
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	10	13
1	16	12
2	23	12
3	31	10
4	55	10
5	74	10
done	74	10
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	9	9
1	13	8
2	16	8
3	17	6
4	30	6
5	35	6
done	35	6
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	6	7
1	10	4
2	15	4
done	15	4
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	8	11
1	12	10
2	15	8
3	20	6
4	24	6
done	24	6
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	7	8
1	11	7
2	14	5
3	19	3
4	23	3
done	23	3
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	4	7
1	8	5
2	11	1
done	11	1
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	8	12
1	14	11
2	21	9
3	30	7
4	43	7
5	45	7
done	45	7
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	7	8
1	11	7
2	14	5
3	19	3
4	23	3
done	23	3
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	4	6
1	8	1
done	8	1
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	3	4
1	5	1
done	5	1
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	4	4
1	6	3
done	6	3
0	7	7
1	11	7
2	14	5
3	23	5
4	32	5
5	34	5
done	34	5
0	11	19
1	17	19
2	26	19
3	32	19
done	32	19
0	9	9
done	9	9
0	10	13
1	12	13
2	14	13
3	15	13
done	15	13
0	9	9
done	9	9
0	13	20
1	19	20
2	37	20
3	81	20
4	125	20
5	145	20
6	150	20
7	151	20
done	151	20
0	10	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	12	17
1	18	17
2	36	17
3	80	17
4	124	17
5	143	17
6	148	17
7	149	17
done	149	17
0	10	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	11	16
1	19	15
2	37	15
3	80	13
4	128	13
5	151	13
6	153	13
done	153	13
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	13	21
1	23	21
2	59	21
3	152	21
4	280	21
5	374	21
6	410	21
7	420	21
8	421	21
done	421	21
0	10	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	12	17
1	18	17
2	36	17
3	80	17
4	124	17
5	143	17
6	148	17
7	149	17
done	149	17
0	10	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	10	15
1	18	13
2	41	13
3	116	13
4	148	13
5	172	13
6	174	13
done	174	13
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	12	17
1	16	17
2	25	17
3	35	17
4	45	17
5	49	17
6	51	17
7	52	17
done	52	17
0	10	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	11	14
1	15	14
2	24	14
3	34	14
4	44	14
5	48	14
6	50	14
7	51	14
done	51	14
0	10	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	10	13
1	16	12
2	25	12
3	35	10
4	56	10
5	64	10
6	76	10
7	78	10
done	78	10
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	12	18
1	18	18
2	33	18
3	61	18
4	97	18
5	118	18
6	128	18
7	137	18
8	138	18
done	138	18
0	10	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	11	14
1	15	14
2	24	14
3	34	14
4	44	14
5	48	14
6	50	14
7	51	14
done	51	14
0	10	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	9	12
1	15	10
2	26	10
3	48	10
4	53	10
5	57	10
6	63	10
7	65	10
done	65	10
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	11	16
1	17	16
2	26	14
3	52	14
4	99	14
5	108	14
done	108	14
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	10	13
1	16	13
2	25	11
3	51	11
4	98	11
5	107	11
done	107	11
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	8	12
1	14	11
2	23	9
3	49	7
4	138	7
5	166	7
done	166	7
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	11	17
1	19	17
2	34	15
3	81	15
4	194	15
5	257	15
6	301	15
done	301	15
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	10	13
1	16	13
2	25	11
3	51	11
4	98	11
5	107	11
done	107	11
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	7	11
1	13	9
2	22	7
3	43	7
4	56	7
done	56	7
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	6	9
1	10	7
2	16	7
3	21	7
done	21	7
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	6	9
1	8	9
2	10	9
3	11	9
done	11	9
0	8	8
1	12	8
2	15	6
3	24	6
4	33	6
5	35	6
done	35	6
0	10	15
1	12	15
done	12	15
0	9	9
done	9	9
0	9	9
done	9	9
0	9	9
done	9	9
0	12	16
1	16	16
2	24	16
3	37	16
4	45	16
5	51	16
6	54	16
done	54	16
0	10	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	11	13
1	15	13
2	23	13
3	36	13
4	44	13
5	50	13
6	53	13
done	53	13
0	10	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	10	12
1	16	11
2	24	11
3	37	9
4	61	9
5	74	9
6	80	9
done	80	9
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	12	17
1	20	17
2	41	17
3	70	17
4	96	17
5	127	17
6	150	17
7	160	17
8	161	17
done	161	17
0	10	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	11	13
1	15	13
2	23	13
3	36	13
4	44	13
5	50	13
6	53	13
done	53	13
0	10	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	9	11
1	15	9
2	28	9
3	55	9
4	67	9
5	79	9
6	84	9
done	84	9
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	11	13
1	13	13
2	16	13
3	17	13
4	19	13
5	21	13
6	22	13
done	22	13
0	10	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	10	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	10	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	9	9
1	13	8
2	16	8
3	17	6
4	28	6
5	33	6
6	41	6
done	41	6
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	11	14
1	15	14
2	22	14
3	30	14
4	34	14
5	43	14
6	49	14
7	54	14
done	54	14
0	10	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	10	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	10	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	8	8
1	12	6
2	18	6
3	23	6
4	25	6
5	28	6
6	32	6
done	32	6
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	10	12
1	14	12
2	17	10
3	26	10
4	35	10
5	37	10
done	37	10
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	9	9
1	13	9
2	16	7
3	25	7
4	34	7
5	36	7
done	36	7
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	7	8
1	11	7
2	14	5
3	23	3
4	58	3
done	58	3
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	10	13
1	16	13
2	23	11
3	39	11
4	66	11
5	89	11
6	109	11
done	109	11
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	9	9
1	13	9
2	16	7
3	25	7
4	34	7
5	36	7
done	36	7
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	6	7
1	10	5
2	15	3
3	17	3
4	21	3
done	21	3
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	5	5
1	7	3
2	9	3
done	9	3
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	5	5
done	5	5
0	8	8
1	12	8
2	15	6
3	24	6
4	33	6
5	35	6
done	35	6
0	8	13
1	12	13
done	12	13
0	8	8
done	8	8
0	7	7
1	9	7
done	9	7
0	8	8
done	8	8
0	10	14
1	16	14
2	24	14
3	37	12
4	64	12
5	101	12
done	101	12
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	9	11
1	15	11
2	23	11
3	36	9
4	63	9
5	99	9
done	99	9
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	7	10
1	13	9
2	20	7
3	29	7
4	32	7
done	32	7
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	10	15
1	20	15
2	41	15
3	72	13
4	132	13
5	206	13
done	206	13
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	9	11
1	15	11
2	23	11
3	36	9
4	63	9
5	99	9
done	99	9
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	6	9
1	12	7
2	23	7
3	32	7
done	32	7
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	9	11
1	13	11
2	16	11
3	17	9
4	30	9
5	35	9
done	35	9
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	8	8
1	12	8
2	15	8
3	16	6
4	29	6
5	36	6
done	36	6
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	6	7
1	10	6
2	13	4
done	13	4
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	9	12
1	15	12
2	22	12
3	30	10
4	54	10
5	69	10
done	69	10
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	8	8
1	12	8
2	15	8
3	16	6
4	29	6
5	36	6
done	36	6
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	5	6
1	9	4
2	14	4
done	14	4
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	7	10
1	11	6
2	16	6
3	18	6
4	19	6
done	19	6
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	6	7
1	10	3
2	15	3
3	17	3
4	18	3
done	18	3
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	4	6
1	8	1
done	8	1
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	7	11
1	13	7
2	22	7
3	35	7
4	47	7
5	48	7
done	48	7
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	6	7
1	10	3
2	15	3
3	17	3
4	18	3
done	18	3
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	3	5
1	6	1
done	6	1
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	2	3
1	4	1
done	4	1
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	3	3
1	5	3
done	5	3
0	7	7
1	11	7
2	14	5
3	23	5
4	32	5
5	34	5
done	34	5
0	6	6
1	10	6
2	13	6
3	14	4
4	27	4
5	32	4
done	32	4
0	7	7
1	9	7
2	12	7
done	12	7
0	9	14
1	11	14
done	11	14
0	8	8
done	8	8
0	11	15
1	15	15
2	23	15
3	36	15
4	44	15
5	50	15
6	53	15
done	53	15
0	10	12
1	14	12
2	22	12
3	35	12
4	43	12
5	49	12
6	52	12
done	52	12
0	9	11
1	15	10
2	23	10
3	36	8
4	60	8
5	73	8
6	79	8
done	79	8
0	11	16
1	19	16
2	40	16
3	69	16
4	95	16
5	127	16
6	148	16
7	158	16
done	158	16
0	10	12
1	14	12
2	22	12
3	35	12
4	43	12
5	49	12
6	52	12
done	52	12
0	8	10
1	14	8
2	27	8
3	54	8
4	64	8
5	76	8
6	81	8
done	81	8
0	10	12
1	12	12
2	15	12
3	16	12
4	18	12
5	20	12
6	21	12
done	21	12
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	8	8
1	12	7
2	15	7
3	16	5
4	27	5
5	32	5
6	40	5
7	41	5
done	41	5
0	10	13
1	14	13
2	21	13
3	29	13
4	33	13
5	42	13
6	48	13
7	53	13
8	54	13
done	54	13
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	7	7
1	11	5
2	17	5
3	22	5
4	24	5
5	27	5
6	31	5
done	31	5
0	9	11
1	13	11
2	16	9
3	25	9
4	34	9
5	36	9
done	36	9
0	8	8
1	12	8
2	15	6
3	24	6
4	33	6
5	35	6
done	35	6
0	6	7
1	10	6
2	13	4
3	22	2
4	57	2
5	70	2
done	70	2
0	9	12
1	15	12
2	22	10
3	38	10
4	65	10
5	88	10
6	108	10
done	108	10
0	8	8
1	12	8
2	15	6
3	24	6
4	33	6
5	35	6
done	35	6
0	5	6
1	9	4
2	14	2
3	16	2
4	20	2
done	20	2
0	4	4
1	6	2
2	8	2
done	8	2
0	4	4
done	4	4
0	8	8
1	10	8
2	13	8
done	13	8
0	8	8
1	10	8
2	13	8
done	13	8
0	7	7
1	9	7
2	12	7
done	12	7
0	8	8
1	10	8
2	13	8
done	13	8
0	8	8
1	10	8
2	13	8
done	13	8
0	7	7
1	9	7
2	12	7
done	12	7
0	4	4
done	4	4
0	12	18
1	25	14
2	55	14
3	113	14
4	240	13
5	370	12
6	629	12
7	813	12
8	835	12
done	835	12
0	12	17
1	24	15
2	46	14
3	100	14
4	217	12
5	361	12
6	626	12
7	809	12
8	831	12
done	831	12
0	11	16
1	22	14
2	36	14
3	66	14
4	143	14
5	306	12
6	484	12
7	680	12
8	840	12
9	841	12
done	841	12
0	12	17
1	24	15
2	52	14
3	109	14
4	219	13
5	333	12
6	541	12
7	867	12
8	900	12
done	900	12
0	12	16
1	22	16
2	45	14
3	96	14
4	197	12
5	315	12
6	518	12
7	883	12
8	917	12
done	917	12
0	11	15
1	20	15
2	35	14
3	62	14
4	124	14
5	255	12
6	386	12
7	645	12
8	829	12
9	851	12
done	851	12
0	10	14
1	19	14
2	48	14
3	109	14
4	231	14
5	443	11
6	605	11
7	770	11
8	986	11
9	990	11
done	990	11
0	10	14
1	16	14
2	33	14
3	71	14
4	137	14
5	239	14
6	477	14
7	1149	14
8	3174	14
done	5000	14
0	9	13
1	21	13
2	72	11
3	232	11
4	581	11
5	1083	11
6	1994	11
done	5000	11
0	12	27
1	32	27
2	140	15
3	726	11
4	2773	11
done	5000	11
0	10	27
1	26	27
2	95	13
3	467	13
4	1914	11
done	5000	11
0	12	27
1	32	27
2	134	15
3	695	11
4	3241	11
done	5000	11
0	15	41
1	43	41
2	201	19
3	1496	11
done	5000	11
0	13	41
1	37	41
2	159	17
3	1035	13
done	5000	13
0	11	29
1	17	29
2	32	29
3	60	29
4	96	29
5	118	29
6	128	29
7	137	29
8	138	29
done	138	29
0	10	14
1	16	14
2	31	14
3	59	14
4	95	14
5	117	14
6	127	14
7	136	14
8	137	14
done	137	14
0	11	41
1	24	41
2	94	15
3	524	15
4	4279	11
done	5000	11
0	10	14
1	16	14
2	31	14
3	59	14
4	95	14
5	117	14
6	127	14
7	136	14
8	137	14
done	137	14
0	10	14
1	16	14
2	31	14
3	59	14
4	95	14
5	117	14
6	127	14
7	136	14
8	137	14
done	137	14
0	4	6
1	7	6
done	7	6
0	6	8
1	10	8
2	14	8
done	14	8
0	10	20
1	14	20
done	14	20
0	9	11
1	11	11
done	11	11
0	9	11
1	11	11
done	11	11
0	9	11
1	11	11
done	11	11
0	9	11
1	13	11
2	21	11
3	34	11
4	42	11
5	48	11
6	51	11
done	51	11
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	7	7
1	11	7
2	14	5
3	23	5
4	32	5
5	34	5
done	34	5
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	4	4
1	6	2
2	8	2
done	8	2
0	8	10
1	12	10
2	19	10
3	27	10
4	31	10
5	40	10
6	46	10
7	51	10
done	51	10
0	4	4
done	4	4
0	8	10
1	14	10
2	21	8
3	37	8
4	63	8
5	86	8
6	106	8
done	106	8
0	7	9
1	13	9
2	20	9
3	28	7
4	52	7
5	67	7
done	67	7
0	9	13
1	15	13
2	27	13
3	54	13
4	60	13
done	60	13
0	11	23
1	19	23
2	28	23
3	34	23
done	34	23
0	10	14
1	14	14
2	16	14
3	17	14
done	17	14
0	10	14
1	16	14
2	34	14
3	78	14
4	124	14
5	144	14
6	149	14
7	150	14
done	150	14
0	9	11
1	13	11
2	22	11
3	32	11
4	42	11
5	46	11
6	48	11
7	49	11
done	49	11
0	8	10
1	14	10
2	23	8
3	49	8
4	96	8
5	104	8
done	104	8
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	7
1	7	7
2	9	7
3	10	7
done	10	7
0	8	10
1	12	10
2	18	10
3	26	10
done	26	10
0	5	7
1	7	7
2	9	7
3	10	7
done	10	7
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	7	7
1	16	7
2	37	7
3	64	7
4	75	7
done	75	7
0	7	7
1	16	7
2	37	7
3	64	7
4	75	7
done	75	7
0	7	7
1	16	7
2	37	7
3	64	7
4	75	7
done	75	7
0	13	13
1	28	12
2	56	10
3	100	9
4	174	6
5	389	6
6	1255	6
7	4609	6
done	5000	6
0	15	17
1	31	14
2	72	12
3	188	9
4	322	6
5	619	6
6	1370	6
7	3788	6
done	5000	6
0	20	22
1	42	21
2	100	20
3	302	19
4	1035	17
5	3882	15
done	5000	15
0	16	17
1	33	16
2	69	14
3	131	11
4	252	9
5	712	9
6	2861	7
done	5001	7
0	18	21
1	38	16
2	82	13
3	231	10
4	657	10
5	1407	7
6	3981	7
done	5000	7
0	23	26
1	48	23
2	99	21
3	313	19
4	1148	19
done	5000	19
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	171	2
6	353	2
7	904	2
8	3078	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2

prune440.0ms

Filtered

375 candidates to 460 candidates (-22.7%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	459	1	460
Fresh	1	8	9
Picked	0	1	1
Done	1	0	1
Total	461	10	471

Merged error: 0b

Counts

471 → 10

localize7.0ms

Local error

Found 2 expressions with local error:

4.9b	(/ a2 (/ b2 (/ a1 b1)))
5.8b	(/ b2 (/ a1 b1))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

471×	`times-frac`
229×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
57×	`associate-/r*`
22×	`div-inv`
16×	`add-exp-log` `add-cbrt-cube`
9×	`cbrt-undiv` `div-exp`
6×	`associate-/r/` `associate-/l*`
2×	`pow1` `frac-2neg` `clear-num` `add-log-exp`

Counts

2 → 266

Calls

2 calls:

13.0ms	(/ a2 (/ b2 (/ a1 b1)))
12.0ms	(/ b2 (/ a1 b1))

series15.0ms

Counts

2 → 6

Calls

2 calls:

9.0ms	(/ a2 (/ b2 (/ a1 b1)))
6.0ms	(/ b2 (/ a1 b1))

simplify2.2min

Counts

272 → 272

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	8
1	14	8
2	22	8
3	35	8
4	39	8
5	47	8
6	62	8
7	88	8
8	97	8
done	97	8
0	7	7
1	12	7
2	17	7
3	24	7
4	37	7
5	41	7
6	49	7
7	64	7
8	90	7
9	99	7
done	99	7
0	6	6
1	11	6
2	21	6
3	30	6
4	42	6
5	61	6
6	70	6
7	81	6
8	99	6
9	119	6
10	125	6
done	125	6
0	6	6
1	8	6
2	13	6
3	20	6
4	30	6
5	57	6
6	123	6
7	292	6
8	829	6
9	3097	6
done	5000	6
0	11	17
1	25	17
2	105	11
3	478	9
4	1839	7
done	5000	7
0	9	17
1	24	17
2	82	9
3	318	7
4	1287	7
5	3403	7
done	5000	7
0	7	13
1	9	13
2	12	13
3	13	13
4	15	13
5	17	13
6	18	13
done	18	13
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	7	17
1	16	17
2	54	7
3	227	7
4	922	7
5	2669	7
done	5001	7
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	2	2
done	2	2
0	4	4
1	6	4
done	6	4
0	9	15
1	15	15
2	24	15
3	30	15
done	30	15
0	7	7
done	7	7
0	8	10
1	10	10
2	12	10
3	13	10
done	13	10
0	7	7
done	7	7
0	11	17
1	21	17
2	57	17
3	146	17
4	272	17
5	365	17
6	401	17
7	411	17
done	411	17
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	10	14
1	16	14
2	34	14
3	78	14
4	124	14
5	144	14
6	149	14
7	150	14
done	150	14
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	9	13
1	17	11
2	40	11
3	115	11
4	147	11
5	170	11
6	172	11
done	172	11
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	10	14
1	16	14
2	31	14
3	59	14
4	95	14
5	117	14
6	127	14
7	136	14
8	137	14
done	137	14
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	9	11
1	13	11
2	22	11
3	32	11
4	42	11
5	46	11
6	48	11
7	49	11
done	49	11
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	8	10
1	14	8
2	25	8
3	47	8
4	52	8
5	56	8
6	62	8
done	62	8
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	9	13
1	17	13
2	32	11
3	79	11
4	192	11
5	255	11
6	299	11
done	299	11
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	8	10
1	14	10
2	23	8
3	49	8
4	96	8
5	104	8
done	104	8
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	6	9
1	12	7
2	21	5
3	42	5
4	56	5
done	56	5
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	5	7
1	7	7
2	9	7
3	10	7
done	10	7
0	6	6
1	10	6
2	13	4
3	22	4
4	31	4
5	33	4
done	33	4
0	8	12
1	10	12
done	10	12
0	7	7
done	7	7
0	7	7
done	7	7
0	7	7
done	7	7
0	10	14
1	18	14
2	39	14
3	70	14
4	96	14
5	130	14
6	156	14
7	166	14
8	167	14
done	167	14
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	9	11
1	13	11
2	21	11
3	34	11
4	42	11
5	48	11
6	51	11
done	51	11
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	8	10
1	14	8
2	27	8
3	54	8
4	64	8
5	76	8
6	81	8
done	81	8
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	9	11
1	13	11
2	20	11
3	28	11
4	32	11
5	41	11
6	47	11
7	52	11
done	52	11
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	7	7
1	11	5
2	17	5
3	22	5
4	24	5
5	27	5
6	31	5
done	31	5
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	8	10
1	14	10
2	21	8
3	37	8
4	63	8
5	86	8
6	106	8
done	106	8
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	7	7
1	11	7
2	14	5
3	23	5
4	32	5
5	34	5
done	34	5
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	5	6
1	9	4
2	14	2
3	16	2
4	20	2
done	20	2
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	4	4
done	4	4
0	6	6
1	10	6
2	13	4
3	22	4
4	31	4
5	33	4
done	33	4
0	7	11
1	11	11
done	11	11
0	6	6
done	6	6
0	6	6
1	8	6
done	8	6
0	6	6
done	6	6
0	9	13
1	19	13
2	40	13
3	69	11
4	129	11
5	201	11
done	201	11
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	8	10
1	14	10
2	22	10
3	35	8
4	62	8
5	94	8
done	94	8
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	6	9
1	12	7
2	23	7
3	32	7
done	32	7
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	8	10
1	14	10
2	21	10
3	29	8
4	53	8
5	68	8
done	68	8
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	7	7
1	11	7
2	14	7
3	15	5
4	28	5
5	33	5
done	33	5
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	5	6
1	9	4
2	14	4
done	14	4
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	3	5
1	6	1
done	6	1
0	5	5
1	7	5
2	10	5
3	11	5
4	13	5
5	15	5
6	16	5
done	16	5
0	2	3
1	4	1
done	4	1
0	5	5
1	7	5
2	10	5
3	11	5
4	13	5
5	15	5
6	16	5
done	16	5
0	3	3
1	5	3
done	5	3
0	5	5
1	9	5
2	12	3
3	18	3
4	25	3
5	30	3
done	30	3
0	5	5
1	9	5
2	12	5
3	13	3
done	13	3
0	5	5
1	7	5
2	10	5
done	10	5
0	7	11
1	9	11
done	9	11
0	6	6
done	6	6
0	9	13
1	17	13
2	38	13
3	67	13
4	93	13
5	126	13
6	150	13
7	160	13
8	161	13
done	161	13
0	8	10
1	12	10
2	20	10
3	33	10
4	41	10
5	47	10
6	50	10
done	50	10
0	7	9
1	13	7
2	26	7
3	53	7
4	59	7
5	68	7
6	83	7
7	86	7
done	86	7
0	8	10
1	12	10
2	19	10
3	27	10
4	31	10
5	40	10
6	46	10
7	51	10
done	51	10
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	6	6
1	10	4
2	16	4
3	21	4
done	21	4
0	7	9
1	13	9
2	20	7
3	30	7
4	50	7
5	80	7
6	92	7
done	92	7
0	6	6
1	10	6
2	13	4
3	19	4
4	26	4
5	31	4
done	31	4
0	4	5
1	8	3
2	13	1
done	13	1
0	3	3
1	5	1
done	5	1
0	3	3
done	3	3
0	6	6
1	8	6
2	11	6
done	11	6
0	6	6
1	8	6
2	11	6
done	11	6
0	5	5
1	7	5
2	10	5
done	10	5
0	3	3
done	3	3
0	11	11
1	21	11
2	43	11
3	93	11
4	173	11
5	237	11
6	373	11
7	493	11
8	496	11
done	496	11
0	10	10
1	19	10
2	33	10
3	65	10
4	136	10
5	221	10
6	328	10
7	441	10
8	451	10
done	451	10
0	9	9
1	16	9
2	29	9
3	50	9
4	93	9
5	177	9
6	277	9
7	403	9
8	511	9
9	515	9
done	515	9
0	8	8
1	15	8
2	35	8
3	68	8
4	125	8
5	234	8
6	391	8
7	515	8
8	632	8
9	660	8
done	660	8
0	8	8
1	12	8
2	24	8
3	42	8
4	70	8
5	122	8
6	230	8
7	487	8
8	1760	8
done	5000	8
0	15	23
1	34	23
2	162	15
3	1055	13
done	5001	13
0	13	23
1	33	23
2	141	13
3	769	11
done	5000	11
0	11	23
1	28	23
2	112	11
3	697	9
done	5000	9
0	9	17
1	13	17
2	23	17
3	35	17
4	51	17
5	67	17
6	75	17
7	77	17
done	77	17
0	8	8
1	12	8
2	22	8
3	34	8
4	50	8
5	66	8
6	74	8
7	76	8
done	76	8
0	9	23
1	20	23
2	76	9
3	461	9
4	3659	9
done	5001	9
0	8	8
1	12	8
2	22	8
3	34	8
4	50	8
5	66	8
6	74	8
7	76	8
done	76	8
0	8	8
1	12	8
2	22	8
3	34	8
4	50	8
5	66	8
6	74	8
7	76	8
done	76	8
0	2	2
done	2	2
0	6	6
1	10	6
2	19	6
3	29	6
4	35	6
5	40	6
6	46	6
7	49	6
done	49	6
0	11	19
1	19	19
2	31	19
3	38	19
4	40	19
5	42	19
6	43	19
done	43	19
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	10	12
1	14	12
2	19	12
3	21	12
4	23	12
5	25	12
6	26	12
done	26	12
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	13	21
1	23	21
2	59	21
3	152	21
4	279	21
5	373	21
6	409	21
7	419	21
done	419	21
0	10	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	12	16
1	18	16
2	36	16
3	80	16
4	124	16
5	143	16
6	148	16
7	149	16
done	149	16
0	10	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	15	23
1	29	23
2	95	23
3	372	23
4	1366	23
5	3314	23
6	4863	23
done	5000	23
0	11	11
1	15	11
2	25	11
3	37	11
4	53	11
5	69	11
6	77	11
7	79	11
done	79	11
0	14	20
1	24	20
2	68	20
3	239	20
4	772	20
5	1535	20
6	1954	20
7	2002	20
done	2002	20
0	11	11
1	15	11
2	25	11
3	37	11
4	53	11
5	69	11
6	77	11
7	79	11
done	79	11
0	13	19
1	25	17
2	71	17
3	294	17
4	658	17
5	1159	17
6	1308	17
done	1308	17
0	10	10
1	14	10
2	24	10
3	36	10
4	52	10
5	68	10
6	77	10
7	79	10
done	79	10
0	14	20
1	24	20
2	65	20
3	203	20
4	635	20
5	1402	20
6	1832	20
7	1878	20
done	1878	20
0	11	11
1	15	11
2	25	11
3	37	11
4	53	11
5	69	11
6	77	11
7	79	11
done	79	11
0	13	17
1	21	17
2	54	17
3	147	17
4	369	17
5	632	17
6	728	17
7	733	17
done	733	17
0	11	11
1	15	11
2	25	11
3	37	11
4	53	11
5	69	11
6	77	11
7	79	11
done	79	11
0	12	16
1	22	14
2	53	14
3	165	14
4	312	14
5	445	14
6	447	14
done	447	14
0	10	10
1	14	10
2	24	10
3	36	10
4	52	10
5	68	10
6	77	10
7	79	10
done	79	10
0	13	19
1	25	19
2	66	17
3	233	17
4	914	17
5	1478	17
6	1691	17
7	1696	17
done	1696	17
0	10	10
1	14	10
2	24	10
3	36	10
4	52	10
5	68	10
6	77	10
7	79	10
done	79	10
0	12	16
1	22	16
2	55	14
3	173	14
4	556	14
5	719	14
6	777	14
done	777	14
0	10	10
1	14	10
2	24	10
3	36	10
4	52	10
5	68	10
6	77	10
7	79	10
done	79	10
0	10	15
1	20	13
2	49	11
3	179	11
4	302	11
5	354	11
done	354	11
0	9	9
1	13	9
2	23	9
3	35	9
4	51	9
5	67	9
6	76	9
7	78	9
done	78	9
0	9	13
1	17	11
2	40	11
3	115	11
4	147	11
5	170	11
6	172	11
done	172	11
0	9	9
1	13	9
2	23	9
3	35	9
4	51	9
5	67	9
6	76	9
7	78	9
done	78	9
0	9	13
1	15	13
2	33	13
3	77	13
4	123	13
5	143	13
6	148	13
7	149	13
done	149	13
0	9	9
1	15	9
2	25	7
3	44	7
4	80	7
5	102	7
6	119	7
done	119	7
0	12	18
1	18	18
2	33	18
3	61	18
4	97	18
5	119	18
6	129	18
7	138	18
done	138	18
0	10	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	11	13
1	15	13
2	24	13
3	34	13
4	44	13
5	48	13
6	50	13
7	51	13
done	51	13
0	10	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	14	20
1	26	20
2	70	20
3	209	20
4	626	20
5	1322	20
6	1876	20
7	1955	20
done	1955	20
0	11	11
1	15	11
2	25	11
3	37	11
4	53	11
5	69	11
6	77	11
7	79	11
done	79	11
0	13	17
1	21	17
2	48	17
3	131	17
4	342	17
5	565	17
6	675	17
7	697	17
done	697	17
0	11	11
1	15	11
2	25	11
3	37	11
4	53	11
5	69	11
6	77	11
7	79	11
done	79	11
0	12	16
1	22	14
2	51	14
3	159	14
4	333	14
5	525	14
6	566	14
done	566	14
0	10	10
1	14	10
2	24	10
3	36	10
4	52	10
5	68	10
6	77	10
7	79	10
done	79	10
0	13	17
1	21	17
2	47	17
3	116	17
4	292	17
5	524	17
6	649	17
7	664	17
done	664	17
0	11	11
1	15	11
2	25	11
3	37	11
4	53	11
5	69	11
6	77	11
7	79	11
done	79	11
0	12	14
1	18	14
2	38	14
3	79	14
4	156	14
5	220	14
6	236	14
7	240	14
done	240	14
0	11	11
1	15	11
2	25	11
3	37	11
4	53	11
5	69	11
6	77	11
7	79	11
done	79	11
0	11	13
1	19	11
2	38	11
3	86	11
4	150	11
5	208	11
6	210	11
done	210	11
0	10	10
1	14	10
2	24	10
3	36	10
4	52	10
5	68	10
6	77	10
7	79	10
done	79	10
0	12	16
1	22	16
2	48	14
3	122	14
4	369	14
5	584	14
6	678	14
7	680	14
done	680	14
0	10	10
1	14	10
2	24	10
3	36	10
4	52	10
5	68	10
6	77	10
7	79	10
done	79	10
0	11	13
1	19	13
2	39	11
3	86	11
4	195	11
5	246	11
6	267	11
done	267	11
0	10	10
1	14	10
2	24	10
3	36	10
4	52	10
5	68	10
6	77	10
7	79	10
done	79	10
0	9	12
1	17	10
2	35	8
3	85	8
4	129	8
5	144	8
done	144	8
0	9	9
1	13	9
2	23	9
3	35	9
4	51	9
5	67	9
6	76	9
7	78	9
done	78	9
0	8	10
1	14	8
2	25	8
3	47	8
4	52	8
5	56	8
6	62	8
done	62	8
0	9	9
1	13	9
2	23	9
3	35	9
4	51	9
5	67	9
6	76	9
7	78	9
done	78	9
0	8	10
1	12	10
2	21	10
3	31	10
4	41	10
5	45	10
6	47	10
7	48	10
done	48	10
0	9	9
1	15	9
2	25	7
3	44	7
4	80	7
5	102	7
6	119	7
done	119	7
0	11	17
1	19	17
2	34	15
3	81	15
4	193	15
5	253	15
6	298	15
done	298	15
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	10	12
1	16	12
2	25	10
3	51	10
4	98	10
5	107	10
done	107	10
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	13	19
1	27	19
2	71	17
3	234	17
4	868	17
5	1758	17
6	1794	17
done	1794	17
0	10	10
1	14	10
2	24	10
3	36	10
4	52	10
5	68	10
6	77	10
7	79	10
done	79	10
0	12	16
1	22	16
2	49	14
3	154	14
4	486	14
5	856	14
6	877	14
done	877	14
0	10	10
1	14	10
2	24	10
3	36	10
4	52	10
5	68	10
6	77	10
7	79	10
done	79	10
0	10	15
1	20	13
2	47	11
3	119	11
4	186	11
5	229	11
done	229	11
0	9	9
1	13	9
2	23	9
3	35	9
4	51	9
5	67	9
6	76	9
7	78	9
done	78	9
0	12	16
1	22	16
2	48	14
3	140	14
4	448	14
5	673	14
6	676	14
done	676	14
0	10	10
1	14	10
2	24	10
3	36	10
4	52	10
5	68	10
6	77	10
7	79	10
done	79	10
0	11	13
1	19	13
2	39	11
3	103	11
4	255	11
5	323	11
done	323	11
0	10	10
1	14	10
2	24	10
3	36	10
4	52	10
5	68	10
6	77	10
7	79	10
done	79	10
0	9	12
1	17	10
2	35	8
3	66	8
4	88	8
done	88	8
0	9	9
1	13	9
2	23	9
3	35	9
4	51	9
5	67	9
6	76	9
7	78	9
done	78	9
0	10	15
1	20	11
2	51	11
3	132	11
4	292	11
5	384	11
6	385	11
done	385	11
0	9	9
1	13	9
2	23	9
3	35	9
4	51	9
5	67	9
6	76	9
7	78	9
done	78	9
0	9	12
1	17	8
2	37	8
3	76	8
4	145	8
5	168	8
done	168	8
0	9	9
1	13	9
2	23	9
3	35	9
4	51	9
5	67	9
6	76	9
7	78	9
done	78	9
0	7	11
1	14	7
2	21	5
3	42	5
4	56	5
done	56	5
0	8	8
1	12	8
2	22	8
3	34	8
4	50	8
5	66	8
6	75	8
7	77	8
done	77	8
0	6	9
1	12	7
2	21	5
3	42	5
4	56	5
done	56	5
0	8	8
1	12	8
2	22	8
3	34	8
4	50	8
5	66	8
6	75	8
7	77	8
done	77	8
0	7	9
1	13	9
2	22	7
3	48	7
4	95	7
5	104	7
done	104	7
0	8	8
1	14	8
2	24	6
3	40	6
4	74	6
5	100	6
6	119	6
done	119	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	8	8
1	12	8
2	22	8
3	34	8
4	50	8
5	66	8
6	75	8
7	77	8
done	77	8
0	5	7
1	7	7
2	9	7
3	10	7
done	10	7
0	8	8
1	14	8
2	24	6
3	46	6
4	71	6
5	83	6
6	89	6
done	89	6
0	7	9
1	11	9
2	20	9
3	30	9
4	40	9
5	44	9
6	46	9
7	47	9
done	47	9
0	4	4
done	4	4
0	10	16
1	14	16
2	17	16
3	18	16
4	20	16
5	22	16
6	23	16
done	23	16
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	12	18
1	20	18
2	41	18
3	70	18
4	96	18
5	127	18
6	149	18
7	159	18
done	159	18
0	10	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	11	13
1	15	13
2	23	13
3	36	13
4	44	13
5	50	13
6	53	13
done	53	13
0	10	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	14	20
1	26	20
2	78	20
3	247	20
4	620	20
5	1128	20
6	1661	20
7	1762	20
done	1762	20
0	11	11
1	15	11
2	25	11
3	37	11
4	53	11
5	69	11
6	77	11
7	79	11
done	79	11
0	13	17
1	21	17
2	51	17
3	143	17
4	316	17
5	492	17
6	637	17
7	666	17
done	666	17
0	11	11
1	15	11
2	25	11
3	37	11
4	53	11
5	69	11
6	77	11
7	79	11
done	79	11
0	12	16
1	22	14
2	55	14
3	182	14
4	319	14
5	441	14
6	505	14
done	505	14
0	10	10
1	14	10
2	24	10
3	36	10
4	52	10
5	68	10
6	77	10
7	79	10
done	79	10
0	13	17
1	21	17
2	48	17
3	117	17
4	253	17
5	412	17
6	539	17
7	554	17
done	554	17
0	11	11
1	15	11
2	25	11
3	37	11
4	53	11
5	69	11
6	77	11
7	79	11
done	79	11
0	12	14
1	18	14
2	37	14
3	73	14
4	132	14
5	183	14
6	213	14
7	216	14
done	216	14
0	11	11
1	15	11
2	25	11
3	37	11
4	53	11
5	69	11
6	77	11
7	79	11
done	79	11
0	11	13
1	19	11
2	37	11
3	86	11
4	139	11
5	185	11
6	187	11
done	187	11
0	10	10
1	14	10
2	24	10
3	36	10
4	52	10
5	68	10
6	77	10
7	79	10
done	79	10
0	12	16
1	22	16
2	49	14
3	137	14
4	415	14
5	654	14
6	803	14
7	807	14
done	807	14
0	10	10
1	14	10
2	24	10
3	36	10
4	52	10
5	68	10
6	77	10
7	79	10
done	79	10
0	11	13
1	19	13
2	38	11
3	91	11
4	233	11
5	302	11
6	344	11
done	344	11
0	10	10
1	14	10
2	24	10
3	36	10
4	52	10
5	68	10
6	77	10
7	79	10
done	79	10
0	9	12
1	17	10
2	33	8
3	90	8
4	161	8
5	191	8
done	191	8
0	9	9
1	13	9
2	23	9
3	35	9
4	51	9
5	67	9
6	76	9
7	78	9
done	78	9
0	8	10
1	14	8
2	27	8
3	54	8
4	64	8
5	76	8
6	81	8
done	81	8
0	9	9
1	13	9
2	23	9
3	35	9
4	51	9
5	67	9
6	76	9
7	78	9
done	78	9
0	8	10
1	12	10
2	20	10
3	33	10
4	41	10
5	47	10
6	50	10
done	50	10
0	9	9
1	15	9
2	25	7
3	44	7
4	80	7
5	102	7
6	119	7
done	119	7
0	11	15
1	15	15
2	22	15
3	30	15
4	34	15
5	43	15
6	49	15
7	54	15
done	54	15
0	10	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	10	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	10	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	13	17
1	23	17
2	57	17
3	140	17
4	278	17
5	467	17
6	661	17
7	695	17
done	695	17
0	11	11
1	15	11
2	25	11
3	37	11
4	53	11
5	69	11
6	77	11
7	79	11
done	79	11
0	12	14
1	18	14
2	35	14
3	76	14
4	140	14
5	199	14
6	251	14
7	263	14
done	263	14
0	11	11
1	15	11
2	25	11
3	37	11
4	53	11
5	69	11
6	77	11
7	79	11
done	79	11
0	11	13
1	19	11
2	39	11
3	97	11
4	172	11
5	233	11
6	254	11
done	254	11
0	10	10
1	14	10
2	24	10
3	36	10
4	52	10
5	68	10
6	77	10
7	79	10
done	79	10
0	12	14
1	18	14
2	34	14
3	65	14
4	106	14
5	164	14
6	207	14
7	213	14
done	213	14
0	11	11
1	15	11
2	25	11
3	37	11
4	53	11
5	69	11
6	77	11
7	79	11
done	79	11
0	11	11
1	15	11
2	25	11
3	37	11
4	53	11
5	69	11
6	77	11
7	79	11
done	79	11
0	11	11
1	15	11
2	25	11
3	37	11
4	53	11
5	69	11
6	77	11
7	79	11
done	79	11
0	10	10
1	16	8
2	26	8
3	42	8
4	67	8
5	88	8
done	88	8
0	10	10
1	14	10
2	24	10
3	36	10
4	52	10
5	68	10
6	77	10
7	79	10
done	79	10
0	11	13
1	19	13
2	35	11
3	72	11
4	155	11
5	243	11
6	303	11
7	305	11
done	305	11
0	10	10
1	14	10
2	24	10
3	36	10
4	52	10
5	68	10
6	77	10
7	79	10
done	79	10
0	10	10
1	16	10
2	26	8
3	45	8
4	81	8
5	103	8
6	120	8
done	120	8
0	10	10
1	14	10
2	24	10
3	36	10
4	52	10
5	68	10
6	77	10
7	79	10
done	79	10
0	8	9
1	14	7
2	23	5
3	37	5
4	64	5
5	72	5
done	72	5
0	9	9
1	13	9
2	23	9
3	35	9
4	51	9
5	67	9
6	76	9
7	78	9
done	78	9
0	7	7
1	11	5
2	17	5
3	22	5
4	24	5
5	27	5
6	31	5
done	31	5
0	9	9
1	13	9
2	23	9
3	35	9
4	51	9
5	67	9
6	76	9
7	78	9
done	78	9
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	9	9
1	15	9
2	25	7
3	44	7
4	80	7
5	102	7
6	119	7
done	119	7
0	10	14
1	16	14
2	23	12
3	39	12
4	66	12
5	89	12
6	109	12
done	109	12
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	9	9
1	13	9
2	16	7
3	25	7
4	34	7
5	36	7
done	36	7
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	12	16
1	24	16
2	58	14
3	144	14
4	360	14
5	640	14
6	648	14
done	648	14
0	10	10
1	14	10
2	24	10
3	36	10
4	52	10
5	68	10
6	77	10
7	79	10
done	79	10
0	11	13
1	19	13
2	36	11
3	84	11
4	177	11
5	296	11
6	302	11
done	302	11
0	10	10
1	14	10
2	24	10
3	36	10
4	52	10
5	68	10
6	77	10
7	79	10
done	79	10
0	9	12
1	17	10
2	35	8
3	57	8
4	71	8
5	88	8
done	88	8
0	9	9
1	13	9
2	23	9
3	35	9
4	51	9
5	67	9
6	76	9
7	78	9
done	78	9
0	11	13
1	19	13
2	35	11
3	75	11
4	152	11
5	206	11
done	206	11
0	10	10
1	14	10
2	24	10
3	36	10
4	52	10
5	68	10
6	77	10
7	79	10
done	79	10
0	10	10
1	16	10
2	26	8
3	48	8
4	78	8
5	97	8
done	97	8
0	10	10
1	14	10
2	24	10
3	36	10
4	52	10
5	68	10
6	77	10
7	79	10
done	79	10
0	8	9
1	14	7
2	23	5
3	25	5
4	29	5
done	29	5
0	9	9
1	13	9
2	23	9
3	35	9
4	51	9
5	67	9
6	76	9
7	78	9
done	78	9
0	9	12
1	17	8
2	36	8
3	71	8
4	108	8
5	144	8
done	144	8
0	9	9
1	13	9
2	23	9
3	35	9
4	51	9
5	67	9
6	76	9
7	78	9
done	78	9
0	8	9
1	14	5
2	25	5
3	37	5
4	56	5
5	65	5
done	65	5
0	9	9
1	13	9
2	23	9
3	35	9
4	51	9
5	67	9
6	76	9
7	78	9
done	78	9
0	6	8
1	11	4
2	14	2
3	16	2
4	20	2
done	20	2
0	8	8
1	12	8
2	22	8
3	34	8
4	50	8
5	66	8
6	75	8
7	77	8
done	77	8
0	5	6
1	9	4
2	14	2
3	16	2
4	20	2
done	20	2
0	8	8
1	12	8
2	22	8
3	34	8
4	50	8
5	66	8
6	75	8
7	77	8
done	77	8
0	6	6
1	10	6
2	13	4
3	22	4
4	31	4
5	33	4
done	33	4
0	8	8
1	14	8
2	24	6
3	40	6
4	74	6
5	100	6
6	119	6
done	119	6
0	4	4
1	6	2
2	8	2
done	8	2
0	8	8
1	12	8
2	22	8
3	34	8
4	50	8
5	66	8
6	75	8
7	77	8
done	77	8
0	4	4
done	4	4
0	8	8
1	14	8
2	24	6
3	46	6
4	71	6
5	83	6
6	89	6
done	89	6
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	4	4
done	4	4
0	9	15
1	15	15
2	18	15
3	19	15
4	21	15
5	23	15
6	24	15
done	24	15
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	8	8
1	12	8
2	15	8
3	16	8
4	18	8
5	20	8
6	21	8
done	21	8
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	11	17
1	21	17
2	42	17
3	71	15
4	131	15
5	197	15
done	197	15
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	10	12
1	16	12
2	24	12
3	37	10
4	64	10
5	101	10
done	101	10
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	13	19
1	27	19
2	79	19
3	248	17
4	733	17
5	1567	17
6	2395	17
7	2413	17
done	2413	17
0	10	10
1	14	10
2	24	10
3	36	10
4	52	10
5	68	10
6	77	10
7	79	10
done	79	10
0	12	16
1	22	16
2	52	16
3	144	14
4	387	14
5	695	14
6	854	14
7	861	14
done	861	14
0	10	10
1	14	10
2	24	10
3	36	10
4	52	10
5	68	10
6	77	10
7	79	10
done	79	10
0	10	15
1	20	13
2	53	13
3	181	11
4	350	11
5	477	11
6	483	11
done	483	11
0	9	9
1	13	9
2	23	9
3	35	9
4	51	9
5	67	9
6	76	9
7	78	9
done	78	9
0	12	16
1	22	16
2	49	16
3	118	14
4	309	14
5	687	14
6	1141	14
7	1156	14
done	1156	14
0	10	10
1	14	10
2	24	10
3	36	10
4	52	10
5	68	10
6	77	10
7	79	10
done	79	10
0	11	13
1	19	13
2	38	13
3	74	11
4	170	11
5	341	11
6	440	11
7	445	11
done	445	11
0	10	10
1	14	10
2	24	10
3	36	10
4	52	10
5	68	10
6	77	10
7	79	10
done	79	10
0	9	12
1	17	10
2	35	10
3	84	8
4	142	8
5	207	8
6	209	8
done	209	8
0	9	9
1	13	9
2	23	9
3	35	9
4	51	9
5	67	9
6	76	9
7	78	9
done	78	9
0	10	15
1	20	15
2	46	13
3	126	13
4	301	13
5	381	13
done	381	13
0	9	9
1	13	9
2	23	9
3	35	9
4	51	9
5	67	9
6	76	9
7	78	9
done	78	9
0	9	12
1	17	12
2	35	10
3	80	10
4	138	10
5	143	10
done	143	10
0	9	9
1	13	9
2	23	9
3	35	9
4	51	9
5	67	9
6	76	9
7	78	9
done	78	9
0	7	11
1	15	9
2	29	7
3	61	7
4	71	7
done	71	7
0	8	8
1	12	8
2	22	8
3	34	8
4	50	8
5	66	8
6	75	8
7	77	8
done	77	8
0	6	9
1	12	7
2	23	7
3	32	7
done	32	7
0	8	8
1	12	8
2	22	8
3	34	8
4	50	8
5	66	8
6	75	8
7	77	8
done	77	8
0	7	9
1	13	9
2	21	9
3	34	7
4	38	7
5	63	7
6	104	7
7	106	7
done	106	7
0	8	8
1	14	8
2	24	6
3	43	6
4	79	6
5	99	6
6	123	6
7	128	6
8	129	6
done	129	6
0	10	14
1	16	14
2	23	14
3	31	12
4	55	12
5	74	12
done	74	12
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	9	9
1	13	9
2	16	9
3	17	7
4	30	7
5	35	7
done	35	7
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	12	16
1	24	16
2	58	16
3	139	14
4	342	14
5	618	14
6	868	14
7	873	14
done	873	14
0	10	10
1	14	10
2	24	10
3	36	10
4	52	10
5	68	10
6	77	10
7	79	10
done	79	10
0	11	13
1	19	13
2	36	13
3	77	11
4	180	11
5	287	11
6	336	11
7	337	11
done	337	11
0	10	10
1	14	10
2	24	10
3	36	10
4	52	10
5	68	10
6	77	10
7	79	10
done	79	10
0	9	12
1	17	10
2	37	10
3	94	8
4	176	8
5	208	8
done	208	8
0	9	9
1	13	9
2	23	9
3	35	9
4	51	9
5	67	9
6	76	9
7	78	9
done	78	9
0	11	13
1	19	13
2	35	13
3	66	11
4	139	11
5	276	11
6	429	11
7	431	11
done	431	11
0	10	10
1	14	10
2	24	10
3	36	10
4	52	10
5	68	10
6	77	10
7	79	10
done	79	10
0	10	10
1	16	10
2	26	10
3	38	8
4	76	8
5	134	8
6	165	8
done	165	8
0	10	10
1	14	10
2	24	10
3	36	10
4	52	10
5	68	10
6	77	10
7	79	10
done	79	10
0	8	9
1	14	7
2	24	7
3	40	5
4	66	5
5	77	5
done	77	5
0	9	9
1	13	9
2	23	9
3	35	9
4	51	9
5	67	9
6	76	9
7	78	9
done	78	9
0	9	12
1	17	12
2	33	10
3	64	10
4	106	10
5	130	10
done	130	10
0	9	9
1	13	9
2	23	9
3	35	9
4	51	9
5	67	9
6	76	9
7	78	9
done	78	9
0	8	9
1	14	9
2	24	7
3	37	7
4	44	7
done	44	7
0	9	9
1	13	9
2	23	9
3	35	9
4	51	9
5	67	9
6	76	9
7	78	9
done	78	9
0	6	8
1	12	6
2	20	4
3	22	4
done	22	4
0	8	8
1	12	8
2	22	8
3	34	8
4	50	8
5	66	8
6	75	8
7	77	8
done	77	8
0	5	6
1	9	4
2	14	4
done	14	4
0	8	8
1	12	8
2	22	8
3	34	8
4	50	8
5	66	8
6	75	8
7	77	8
done	77	8
0	6	6
1	10	6
2	13	6
3	14	4
done	14	4
0	8	8
1	14	8
2	24	6
3	43	6
4	79	6
5	99	6
6	123	6
7	128	6
8	129	6
done	129	6
0	8	13
1	14	9
2	23	9
3	36	9
4	45	9
5	46	9
done	46	9
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	7	8
1	11	4
2	16	4
3	18	4
4	19	4
done	19	4
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	10	15
1	22	11
2	58	11
3	162	11
4	358	11
5	510	11
6	518	11
done	518	11
0	9	9
1	13	9
2	23	9
3	35	9
4	51	9
5	67	9
6	76	9
7	78	9
done	78	9
0	9	12
1	17	8
2	36	8
3	89	8
4	167	8
5	211	8
done	211	8
0	9	9
1	13	9
2	23	9
3	35	9
4	51	9
5	67	9
6	76	9
7	78	9
done	78	9
0	7	11
1	15	5
2	32	5
3	62	5
4	68	5
done	68	5
0	8	8
1	12	8
2	22	8
3	34	8
4	50	8
5	66	8
6	75	8
7	77	8
done	77	8
0	9	12
1	17	8
2	35	8
3	82	8
4	163	8
5	234	8
6	239	8
done	239	8
0	9	9
1	13	9
2	23	9
3	35	9
4	51	9
5	67	9
6	76	9
7	78	9
done	78	9
0	8	9
1	14	5
2	26	5
3	47	5
4	74	5
5	91	5
done	91	5
0	9	9
1	13	9
2	23	9
3	35	9
4	51	9
5	67	9
6	76	9
7	78	9
done	78	9
0	6	8
1	12	2
2	20	2
3	21	2
done	21	2
0	8	8
1	12	8
2	22	8
3	34	8
4	50	8
5	66	8
6	75	8
7	77	8
done	77	8
0	7	11
1	14	7
2	27	7
3	45	7
4	53	7
done	53	7
0	8	8
1	12	8
2	22	8
3	34	8
4	50	8
5	66	8
6	75	8
7	77	8
done	77	8
0	6	8
1	11	4
2	18	4
3	20	4
done	20	4
0	8	8
1	12	8
2	22	8
3	34	8
4	50	8
5	66	8
6	75	8
7	77	8
done	77	8
0	4	7
1	8	1
done	8	1
0	7	7
1	11	7
2	21	7
3	33	7
4	49	7
5	65	7
6	73	7
7	75	7
done	75	7
0	3	5
1	6	1
done	6	1
0	7	7
1	11	7
2	21	7
3	33	7
4	49	7
5	65	7
6	73	7
7	75	7
done	75	7
0	4	5
1	8	1
done	8	1
0	7	7
1	13	7
2	23	5
3	39	5
4	73	5
5	95	5
6	120	5
7	125	5
8	126	5
done	126	5
0	2	3
1	4	1
done	4	1
0	7	7
1	11	7
2	21	7
3	33	7
4	49	7
5	65	7
6	73	7
7	75	7
done	75	7
0	3	3
1	5	3
done	5	3
0	7	7
1	13	7
2	23	5
3	39	5
4	56	5
5	78	5
6	90	5
7	100	5
done	100	5
0	5	5
1	9	5
2	12	5
3	13	3
done	13	3
0	3	3
done	3	3
0	7	7
1	13	7
2	23	7
3	35	5
4	73	5
5	109	5
6	148	5
7	153	5
done	153	5
0	7	7
1	11	7
2	21	7
3	36	7
4	58	7
5	73	7
6	79	7
done	79	7
0	9	15
1	13	15
2	16	15
3	17	15
4	19	15
5	21	15
6	22	15
done	22	15
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	11	17
1	19	17
2	40	17
3	69	17
4	95	17
5	127	17
6	148	17
7	158	17
done	158	17
0	10	12
1	14	12
2	22	12
3	35	12
4	43	12
5	49	12
6	52	12
done	52	12
0	13	19
1	25	19
2	77	19
3	248	19
4	619	19
5	1125	19
6	1660	19
7	1772	19
done	1772	19
0	12	16
1	20	16
2	50	16
3	142	16
4	310	16
5	486	16
6	634	16
7	667	16
done	667	16
0	11	15
1	21	13
2	54	13
3	182	13
4	324	13
5	445	13
6	519	13
done	519	13
0	12	16
1	20	16
2	47	16
3	116	16
4	253	16
5	412	16
6	538	16
7	553	16
done	553	16
0	11	13
1	17	13
2	36	13
3	72	13
4	131	13
5	182	13
6	212	13
7	215	13
done	215	13
0	10	12
1	18	10
2	36	10
3	85	10
4	141	10
5	186	10
6	195	10
done	195	10
0	11	15
1	21	15
2	48	13
3	136	13
4	414	13
5	634	13
6	793	13
7	841	13
done	841	13
0	10	12
1	18	12
2	37	10
3	90	10
4	232	10
5	302	10
6	360	10
7	377	10
8	379	10
done	379	10
0	8	11
1	16	9
2	32	7
3	89	7
4	152	7
5	189	7
6	214	7
done	214	7
0	7	9
1	13	7
2	26	7
3	53	7
4	59	7
5	68	7
6	83	7
7	86	7
done	86	7
0	7	9
1	11	9
2	19	9
3	32	9
4	40	9
5	46	9
6	49	9
done	49	9
0	10	14
1	14	14
2	21	14
3	29	14
4	33	14
5	42	14
6	48	14
7	53	14
8	54	14
done	54	14
0	9	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	12	16
1	22	16
2	56	16
3	137	16
4	275	16
5	462	16
6	657	16
7	693	16
done	693	16
0	11	13
1	17	13
2	34	13
3	75	13
4	137	13
5	196	13
6	246	13
7	260	13
done	260	13
0	10	12
1	18	10
2	38	10
3	96	10
4	177	10
5	252	10
6	295	10
done	295	10
0	11	13
1	17	13
2	33	13
3	64	13
4	105	13
5	163	13
6	206	13
7	212	13
done	212	13
0	10	10
1	14	10
2	24	10
3	36	10
4	52	10
5	68	10
6	77	10
7	79	10
done	79	10
0	9	9
1	15	7
2	25	7
3	41	7
4	66	7
5	86	7
6	92	7
done	92	7
0	10	12
1	18	12
2	34	10
3	71	10
4	159	10
5	240	10
6	325	10
7	345	10
done	345	10
0	9	9
1	15	9
2	25	7
3	44	7
4	80	7
5	98	7
6	122	7
7	128	7
8	129	7
done	129	7
0	7	8
1	13	6
2	22	4
3	36	4
4	60	4
5	75	4
6	85	4
done	85	4
0	6	6
1	10	4
2	16	4
3	21	4
done	21	4
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	9	13
1	15	13
2	22	11
3	32	11
4	52	11
5	85	11
6	97	11
done	97	11
0	8	8
1	12	8
2	15	6
3	21	6
4	28	6
5	33	6
done	33	6
0	11	15
1	23	15
2	57	13
3	136	13
4	333	13
5	622	13
6	650	13
done	650	13
0	10	12
1	18	12
2	35	10
3	76	10
4	167	10
5	322	10
6	334	10
done	334	10
0	8	11
1	16	9
2	34	7
3	56	7
4	71	7
5	89	7
done	89	7
0	10	12
1	18	12
2	34	10
3	67	10
4	137	10
5	212	10
done	212	10
0	9	9
1	15	9
2	25	7
3	41	7
4	68	7
5	102	7
done	102	7
0	7	8
1	13	6
2	22	4
3	24	4
4	28	4
5	32	4
done	32	4
0	8	11
1	16	7
2	35	7
3	71	7
4	108	7
5	176	7
6	181	7
done	181	7
0	7	8
1	13	4
2	24	4
3	37	4
4	49	4
5	72	4
done	72	4
0	5	7
1	10	3
2	13	1
done	13	1
0	4	5
1	8	3
2	13	1
done	13	1
0	5	5
1	9	5
2	12	3
3	18	3
4	25	3
5	30	3
done	30	3
0	3	3
1	5	1
done	5	1
0	3	3
done	3	3
0	5	5
1	7	5
2	10	5
3	11	5
4	13	5
5	15	5
6	16	5
done	16	5
0	8	8
1	12	8
2	22	8
3	37	8
4	59	8
5	74	8
6	80	8
done	80	8
0	8	8
1	12	8
2	22	8
3	37	8
4	59	8
5	74	8
6	80	8
done	80	8
0	7	7
1	11	7
2	21	7
3	36	7
4	58	7
5	73	7
6	79	7
done	79	7
0	3	3
done	3	3
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	7	7
1	16	7
2	37	7
3	64	7
4	75	7
done	75	7
0	7	7
1	16	7
2	37	7
3	64	7
4	75	7
done	75	7
0	7	7
1	16	7
2	37	7
3	64	7
4	75	7
done	75	7

prune320.0ms

Filtered

239 candidates to 272 candidates (-13.8%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	270	2	272
Fresh	2	6	8
Picked	1	0	1
Done	1	0	1
Total	274	8	282

Merged error: 0b

Counts

282 → 8

regimes739.0ms

Accuracy

53.5% (5.4b remaining)

Error of 5.4b against oracle of 0.0b and baseline of 11.7b

bsearch1.0ms

simplify5.0ms

Iterations

Useful iterations: done (5.0ms)

Iter	Nodes	Cost
0	25	69
1	32	57
2	35	49
3	38	49
done	38	48

end0.0ms

sample829.0ms

Algorithm

intervals

Results

322.0ms

9934×

body

valid

Details

sample31.0ms

simplify31.0ms

prune4.0ms

localize6.0ms

rewrite12.0ms

series9.0ms

simplify11.7s

prune64.0ms

localize6.0ms

rewrite14.0ms

series16.0ms

simplify39.0s

prune128.0ms

localize15.0ms

rewrite128.0ms

series122.0ms

simplify24.1min

prune440.0ms

localize7.0ms

rewrite45.0ms

series15.0ms

simplify2.2min

prune320.0ms

regimes739.0ms

bsearch1.0ms

simplify5.0ms

end0.0ms

sample829.0ms

Profiling