Details

sample24.0ms

Algorithm

intervals

Results

9.0ms

256×

body

valid

simplify45.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	6	8
1	13	8
2	16	8
3	20	8
4	26	8
5	30	8
6	31	8
done	31	8

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

Counts

2 → 1

localize8.0ms

Local error

Found 1 expressions with local error:

0.0b	(/ (neg (+ f n)) (- f n))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

82×	`*-un-lft-identity`
60×	`times-frac`
58×	`add-sqr-sqrt`
32×	`add-cube-cbrt`
24×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
13×	`distribute-lft-out--` `difference-of-squares`
12×	`distribute-lft-out` `associate-/l*`
6×	`neg-mul-1`
5×	`associate-/r*`
3×	`add-exp-log` `add-cbrt-cube`
2×	`associate-/r/` `associate-/l/` `distribute-neg-frac`
1×	`pow1` `cbrt-undiv` `neg-sub0` `flip3--` `frac-2neg` `flip3-+` `div-sub` `distribute-frac-neg` `div-exp` `clear-num` `flip--` `flip-+` `div-inv` `add-log-exp`

Counts

1 → 95

Calls

1 calls:

12.0ms

(/ (neg (+ f n)) (- f n))

series21.0ms

Counts

1 → 3

Calls

1 calls:

21.0ms

(/ (neg (+ f n)) (- f n))

simplify20.9s

Counts

98 → 98

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	10
1	15	10
2	19	10
3	20	10
done	20	10
0	7	9
1	17	9
2	22	9
3	27	9
4	33	9
5	37	9
6	38	9
done	38	9
0	7	9
1	14	9
2	20	9
3	26	9
4	35	9
5	44	9
6	53	9
7	63	9
8	76	9
9	98	9
10	107	9
11	116	9
12	132	9
13	145	9
14	146	9
done	146	9
0	10	26
1	31	24
2	146	12
3	648	10
4	2011	10
done	5001	10
0	8	19
1	15	19
2	18	19
3	22	19
4	28	19
5	32	19
6	33	19
done	33	19
0	7	9
1	14	9
2	17	9
3	21	9
4	27	9
5	31	9
6	32	9
done	32	9
0	8	26
1	22	26
2	72	10
3	273	10
4	973	10
5	2946	10
done	5000	10
0	7	9
1	14	9
2	17	9
3	21	9
4	27	9
5	31	9
6	32	9
done	32	9
0	7	9
1	14	9
2	17	9
3	21	9
4	27	9
5	31	9
6	32	9
done	32	9
0	5	5
1	9	3
2	14	3
3	20	3
done	20	3
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	5	5
1	7	1
2	8	1
done	8	1
0	5	7
1	8	7
2	9	7
done	9	7
0	10	21
1	21	21
2	33	21
3	40	21
done	40	21
0	8	10
1	13	10
2	16	10
3	17	10
done	17	10
0	9	16
1	16	16
2	21	16
3	23	16
done	23	16
0	8	10
1	13	10
2	16	10
3	17	10
done	17	10
0	8	13
1	16	11
2	24	11
3	30	11
done	30	11
0	7	9
1	12	9
2	15	9
3	16	9
done	16	9
0	10	17
1	17	17
2	21	17
3	23	17
done	23	17
0	9	11
1	15	11
2	18	11
3	19	11
done	19	11
0	8	13
1	16	11
2	24	11
3	30	11
done	30	11
0	7	9
1	12	9
2	15	9
3	16	9
done	16	9
0	9	15
1	16	15
2	19	15
3	20	15
done	20	15
0	8	10
1	13	10
2	16	10
3	17	10
done	17	10
0	8	10
1	13	10
2	16	10
3	17	10
done	17	10
0	8	10
1	13	10
2	16	10
3	17	10
done	17	10
0	7	7
1	13	5
2	17	5
3	18	5
done	18	5
0	7	9
1	12	9
2	15	9
3	16	9
done	16	9
0	9	11
1	14	11
2	16	11
3	17	11
done	17	11
0	9	11
1	15	11
2	18	11
3	19	11
done	19	11
0	7	7
1	13	5
2	17	5
3	18	5
done	18	5
0	7	9
1	12	9
2	15	9
3	16	9
done	16	9
0	7	11
1	13	11
2	14	11
done	14	11
0	7	9
1	14	9
2	17	9
3	21	9
4	27	9
5	31	9
6	32	9
done	32	9
0	6	6
1	10	6
2	11	6
done	11	6
0	7	9
1	14	9
2	17	9
3	21	9
4	27	9
5	31	9
6	32	9
done	32	9
0	2	3
1	4	1
done	4	1
0	6	8
1	13	8
2	16	8
3	20	8
4	26	8
5	30	8
6	31	8
done	31	8
0	7	7
1	10	7
done	10	7
0	8	10
1	16	10
2	19	10
3	23	10
4	29	10
5	33	10
6	34	10
done	34	10
0	2	3
1	4	1
done	4	1
0	6	8
1	13	8
2	16	8
3	20	8
4	26	8
5	30	8
6	31	8
done	31	8
0	7	11
1	11	11
2	12	11
done	12	11
0	6	8
1	9	8
2	10	8
done	10	8
0	6	6
1	8	6
2	9	6
done	9	6
0	6	8
1	9	8
2	10	8
done	10	8
0	3	3
1	5	1
done	5	1
0	5	7
1	8	7
2	9	7
done	9	7
0	7	7
1	8	7
done	8	7
0	7	9
1	10	9
2	11	9
done	11	9
0	3	3
1	5	1
done	5	1
0	5	7
1	8	7
2	9	7
done	9	7
0	10	20
1	20	20
2	38	20
3	61	20
4	73	20
done	73	20
0	7	9
1	10	9
2	11	9
done	11	9
0	9	15
1	17	15
2	23	15
3	28	15
4	32	15
done	32	15
0	7	9
1	10	9
2	11	9
done	11	9
0	8	12
1	16	10
2	25	10
3	35	10
4	49	10
done	49	10
0	6	8
1	9	8
2	10	8
done	10	8
0	10	16
1	17	16
2	22	16
3	27	16
4	31	16
done	31	16
0	8	10
1	11	10
2	12	10
done	12	10
0	8	12
1	16	10
2	25	10
3	35	10
4	49	10
done	49	10
0	6	8
1	9	8
2	10	8
done	10	8
0	9	15
1	16	15
2	20	15
done	20	15
0	7	9
1	10	9
2	11	9
done	11	9
0	8	10
1	13	10
2	14	10
done	14	10
0	7	9
1	10	9
2	11	9
done	11	9
0	7	7
1	12	5
2	16	5
done	16	5
0	6	8
1	9	8
2	10	8
done	10	8
0	9	11
1	13	11
done	13	11
0	8	10
1	11	10
2	12	10
done	12	10
0	7	7
1	12	5
2	16	5
done	16	5
0	6	8
1	9	8
2	10	8
done	10	8
0	8	12
1	17	11
2	20	11
3	22	11
done	22	11
0	6	8
1	9	8
2	10	8
done	10	8
0	7	7
1	14	6
2	15	6
done	15	6
0	6	8
1	9	8
2	10	8
done	10	8
0	3	4
1	8	1
done	8	1
0	5	7
1	8	7
2	9	7
done	9	7
0	8	8
1	14	7
done	14	7
0	7	9
1	10	9
2	11	9
done	11	9
0	3	4
1	8	1
done	8	1
0	5	7
1	8	7
2	9	7
done	9	7
0	8	12
1	17	11
2	20	11
3	22	11
done	22	11
0	6	8
1	9	8
2	10	8
done	10	8
0	7	7
1	14	6
2	15	6
done	15	6
0	6	8
1	9	8
2	10	8
done	10	8
0	3	4
1	8	1
done	8	1
0	5	7
1	8	7
2	9	7
done	9	7
0	8	8
1	14	7
done	14	7
0	7	9
1	10	9
2	11	9
done	11	9
0	3	4
1	8	1
done	8	1
0	5	7
1	8	7
2	9	7
done	9	7
0	9	19
1	18	19
2	28	19
3	34	19
done	34	19
0	8	10
1	13	10
2	14	10
done	14	10
0	8	14
1	13	14
2	16	14
3	17	14
done	17	14
0	8	10
1	13	10
2	14	10
done	14	10
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	7	9
1	12	9
2	13	9
done	13	9
0	9	15
1	13	15
2	15	15
3	16	15
done	16	15
0	9	11
1	14	11
2	15	11
done	15	11
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	7	9
1	12	9
2	13	9
done	13	9
0	8	14
1	13	14
2	14	14
done	14	14
0	8	10
1	13	10
2	14	10
done	14	10
0	7	9
1	10	9
2	11	9
done	11	9
0	8	10
1	13	10
2	14	10
done	14	10
0	6	6
1	9	4
2	11	4
done	11	4
0	7	9
1	12	9
2	13	9
done	13	9
0	8	10
1	10	10
done	10	10
0	9	11
1	14	11
2	15	11
done	15	11
0	6	6
1	9	4
2	11	4
done	11	4
0	7	9
1	12	9
2	13	9
done	13	9
0	7	11
1	13	11
2	14	11
done	14	11
0	7	9
1	14	9
2	17	9
3	21	9
4	27	9
5	31	9
6	32	9
done	32	9
0	6	6
1	10	6
2	11	6
done	11	6
0	7	9
1	14	9
2	17	9
3	21	9
4	27	9
5	31	9
6	32	9
done	32	9
0	2	3
1	4	1
done	4	1
0	6	8
1	13	8
2	16	8
3	20	8
4	26	8
5	30	8
6	31	8
done	31	8
0	7	7
1	10	7
done	10	7
0	8	10
1	16	10
2	19	10
3	23	10
4	29	10
5	33	10
6	34	10
done	34	10
0	2	3
1	4	1
done	4	1
0	6	8
1	13	8
2	16	8
3	20	8
4	26	8
5	30	8
6	31	8
done	31	8
0	7	11
1	13	11
2	14	11
done	14	11
0	7	9
1	14	9
2	17	9
3	21	9
4	27	9
5	31	9
6	32	9
done	32	9
0	6	6
1	10	6
2	11	6
done	11	6
0	7	9
1	14	9
2	17	9
3	21	9
4	27	9
5	31	9
6	32	9
done	32	9
0	2	3
1	4	1
done	4	1
0	6	8
1	13	8
2	16	8
3	20	8
4	26	8
5	30	8
6	31	8
done	31	8
0	7	7
1	10	7
done	10	7
0	8	10
1	16	10
2	19	10
3	23	10
4	29	10
5	33	10
6	34	10
done	34	10
0	2	3
1	4	1
done	4	1
0	6	8
1	13	8
2	16	8
3	20	8
4	26	8
5	30	8
6	31	8
done	31	8
0	5	5
1	9	5
2	10	5
done	10	5
0	6	8
1	14	8
2	19	8
3	22	8
done	22	8
0	5	7
1	8	7
2	9	7
done	9	7
0	8	14
1	17	14
2	23	14
3	30	14
4	44	14
5	55	14
6	59	14
done	59	14
0	7	9
1	14	9
2	17	9
3	21	9
4	27	9
5	31	9
6	32	9
done	32	9
0	6	6
1	14	4
2	20	4
3	24	4
4	30	4
5	38	4
done	38	4
0	8	10
1	15	10
2	17	10
3	21	10
4	27	10
5	31	10
6	32	10
done	32	10
0	6	6
1	14	4
2	20	4
3	24	4
4	30	4
5	38	4
done	38	4
0	7	9
1	15	9
2	20	9
3	23	9
done	23	9
0	7	9
1	15	9
2	20	9
3	23	9
done	23	9
0	6	8
1	14	8
2	19	8
3	22	8
done	22	8
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	7	9
1	13	9
2	16	9
3	18	9
done	18	9
0	7	9
1	13	9
2	16	9
3	18	9
done	18	9
0	6	8
1	14	8
2	19	8
3	22	8
done	22	8
0	6	8
1	14	8
2	19	8
3	22	8
done	22	8
0	9	12
1	30	12
2	53	12
3	95	12
4	207	12
5	611	12
6	2560	12
done	5000	12
0	8	12
1	18	12
2	29	12
3	59	5
4	106	5
5	162	5
6	230	5
7	401	5
8	1652	5
done	5000	5
0	9	15
1	26	13
2	74	13
3	202	13
4	494	13
5	1263	13
6	3143	13
7	4779	13
done	5000	13
0	4	7
1	6	7
2	13	7
3	30	7
4	63	7
5	106	7
6	186	7
7	296	7
8	455	7
9	628	7
10	671	7
11	672	7
done	672	7
0	1	1
1	3	1
done	3	1
0	1	1
done	1	1
0	1	1
done	1	1

prune102.0ms

Filtered

61 candidates to 98 candidates (-60.7%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	93	5	98
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	94	5	99

Merged error: 0b

Counts

99 → 5

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (- f n) (+ f n))
0.0b	(/ -1 (/ (- f n) (+ f n)))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

178×	`times-frac`
174×	`*-un-lft-identity`
122×	`add-sqr-sqrt`
80×	`add-cube-cbrt`
30×	`associate-/r*`
26×	`distribute-lft-out`
21×	`distribute-lft-out--` `difference-of-squares`
11×	`associate-/r/`
9×	`add-exp-log` `add-cbrt-cube`
8×	`associate-/l*`
6×	`div-inv`
5×	`flip3-+` `flip-+`
4×	`cbrt-undiv` `div-exp`
2×	`pow1` `frac-2neg` `clear-num` `associate-/l/` `add-log-exp`
1×	`flip3--` `div-sub` `flip--`

Counts

2 → 168

Calls

2 calls:

9.0ms	(/ (- f n) (+ f n))
13.0ms	(/ -1 (/ (- f n) (+ f n)))

series20.0ms

Counts

2 → 6

Calls

2 calls:

9.0ms	(/ (- f n) (+ f n))
11.0ms	(/ -1 (/ (- f n) (+ f n)))

simplify1.1min

Counts

174 → 174

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	12
1	19	12
2	28	12
3	41	12
4	45	12
5	53	12
6	68	12
7	94	12
8	103	12
done	103	12
0	9	11
1	20	11
2	28	11
3	37	11
4	50	11
5	55	11
6	63	11
7	78	11
8	104	11
9	113	11
done	113	11
0	8	10
1	19	10
2	40	10
3	64	9
4	87	9
5	126	9
6	155	9
7	179	9
8	204	9
9	228	9
10	238	9
11	241	9
12	246	9
13	251	9
done	251	9
0	8	10
1	16	10
2	32	10
3	58	9
4	87	9
5	147	9
6	304	9
7	685	9
8	2276	9
done	5001	9
0	13	29
1	44	25
2	155	13
3	570	11
4	2420	11
done	5000	11
0	11	29
1	34	25
2	92	11
3	368	11
4	1529	11
done	5001	11
0	9	21
1	17	21
2	31	21
3	47	19
4	60	19
5	82	19
6	103	19
7	114	19
8	120	19
9	124	19
10	127	19
done	127	19
0	8	10
1	16	10
2	30	10
3	46	9
4	59	9
5	81	9
6	102	9
7	113	9
8	119	9
9	123	9
10	126	9
done	126	9
0	9	29
1	24	29
2	75	11
3	360	10
4	2140	10
done	5001	10
0	8	10
1	16	10
2	30	10
3	46	9
4	59	9
5	81	9
6	102	9
7	113	9
8	119	9
9	123	9
10	126	9
done	126	9
0	8	10
1	16	10
2	30	10
3	46	9
4	59	9
5	81	9
6	102	9
7	113	9
8	119	9
9	123	9
10	126	9
done	126	9
0	2	2
1	3	1
2	5	1
done	5	1
0	6	8
1	14	8
2	20	8
3	27	8
4	31	7
5	32	7
done	32	7
0	11	23
1	23	23
2	35	23
3	43	23
done	43	23
0	9	11
1	15	11
2	18	11
3	20	11
done	20	11
0	10	14
1	18	14
2	23	14
3	26	14
done	26	14
0	9	11
1	15	11
2	18	11
3	20	11
done	20	11
0	13	25
1	26	25
2	63	25
3	154	25
4	281	25
5	376	25
6	412	25
7	422	25
done	422	25
0	10	12
1	15	12
2	19	12
3	20	12
4	22	12
5	24	12
6	25	12
done	25	12
0	12	20
1	21	20
2	40	20
3	84	20
4	128	20
5	148	20
6	153	20
7	154	20
done	154	20
0	10	12
1	15	12
2	19	12
3	20	12
4	22	12
5	24	12
6	25	12
done	25	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	9	11
1	14	11
2	26	11
3	39	11
4	47	11
5	53	11
6	60	11
7	62	11
done	62	11
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	9	11
1	14	11
2	26	11
3	39	11
4	47	11
5	53	11
6	60	11
7	62	11
done	62	11
0	12	20
1	21	20
2	37	20
3	65	20
4	102	20
5	125	20
6	135	20
7	144	20
done	144	20
0	10	12
1	15	12
2	19	12
3	20	12
4	22	12
5	24	12
6	25	12
done	25	12
0	11	15
1	18	15
2	28	15
3	38	15
4	48	15
5	52	15
6	54	15
7	55	15
done	55	15
0	10	12
1	15	12
2	19	12
3	20	12
4	22	12
5	24	12
6	25	12
done	25	12
0	10	12
1	18	10
2	30	10
3	52	10
4	58	10
5	62	10
6	68	10
done	68	10
0	9	11
1	14	11
2	26	11
3	39	11
4	47	11
5	53	11
6	60	11
7	62	11
done	62	11
0	10	12
1	18	10
2	30	10
3	52	10
4	58	10
5	62	10
6	68	10
done	68	10
0	9	11
1	14	11
2	26	11
3	39	11
4	47	11
5	53	11
6	60	11
7	62	11
done	62	11
0	11	17
1	20	17
2	35	15
3	82	15
4	194	15
5	253	15
6	298	15
done	298	15
0	9	11
1	17	11
2	23	11
3	26	11
4	28	11
5	33	11
6	36	11
7	38	11
done	38	11
0	10	12
1	17	12
2	26	10
3	52	10
4	99	10
5	108	10
done	108	10
0	9	11
1	17	11
2	23	11
3	26	11
4	28	11
5	33	11
6	36	11
7	38	11
done	38	11
0	6	9
1	12	7
2	21	5
3	42	5
4	56	5
done	56	5
0	8	10
1	16	10
2	30	10
3	45	10
4	53	10
5	68	10
6	82	10
7	91	10
done	91	10
0	6	9
1	12	7
2	21	5
3	42	5
4	56	5
done	56	5
0	8	10
1	16	10
2	30	10
3	45	10
4	53	10
5	68	10
6	82	10
7	91	10
done	91	10
0	13	21
1	21	21
2	36	21
3	64	21
4	101	21
5	124	21
6	134	21
7	143	21
done	143	21
0	11	13
1	19	13
2	25	13
3	28	13
4	30	13
5	35	13
6	38	13
7	40	13
done	40	13
0	12	16
1	18	16
2	27	16
3	37	16
4	47	16
5	51	16
6	53	16
7	54	16
done	54	16
0	11	13
1	19	13
2	25	13
3	28	13
4	30	13
5	35	13
6	38	13
7	40	13
done	40	13
0	11	13
1	18	11
2	29	11
3	51	11
4	56	11
5	60	11
6	66	11
done	66	11
0	10	12
1	18	12
2	32	12
3	47	12
4	55	12
5	70	12
6	83	12
7	91	12
done	91	12
0	11	13
1	18	11
2	29	11
3	51	11
4	56	11
5	60	11
6	66	11
done	66	11
0	10	12
1	18	12
2	32	12
3	47	12
4	55	12
5	70	12
6	83	12
7	91	12
done	91	12
0	11	17
1	20	17
2	35	15
3	82	15
4	194	15
5	253	15
6	298	15
done	298	15
0	9	11
1	17	11
2	23	11
3	26	11
4	28	11
5	33	11
6	36	11
7	38	11
done	38	11
0	10	12
1	17	12
2	26	10
3	52	10
4	99	10
5	108	10
done	108	10
0	9	11
1	17	11
2	23	11
3	26	11
4	28	11
5	33	11
6	36	11
7	38	11
done	38	11
0	6	9
1	12	7
2	21	5
3	42	5
4	56	5
done	56	5
0	8	10
1	16	10
2	30	10
3	45	10
4	53	10
5	68	10
6	82	10
7	91	10
done	91	10
0	6	9
1	12	7
2	21	5
3	42	5
4	56	5
done	56	5
0	8	10
1	16	10
2	30	10
3	45	10
4	53	10
5	68	10
6	82	10
7	91	10
done	91	10
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	8	10
1	16	10
2	30	10
3	45	10
4	53	10
5	68	10
6	82	10
7	91	10
done	91	10
0	7	9
1	11	9
2	17	9
3	20	9
4	22	9
done	22	9
0	8	8
1	13	8
2	24	6
3	35	6
4	50	6
5	64	6
6	88	6
done	88	6
0	12	17
1	35	17
2	67	17
3	151	17
4	407	17
5	1387	17
done	5000	17
0	10	14
1	18	12
2	33	12
3	46	12
4	66	12
5	87	12
6	104	12
7	127	12
8	170	12
9	232	12
10	233	12
done	233	12
0	11	17
1	24	17
2	64	17
3	211	17
4	645	11
5	1426	9
done	5001	9
0	6	6
1	8	6
2	9	6
done	9	6
0	10	20
1	18	20
2	21	20
3	23	20
done	23	20
0	9	11
1	15	11
2	18	11
3	20	11
done	20	11
0	9	11
1	15	11
2	18	11
3	20	11
done	20	11
0	9	11
1	15	11
2	18	11
3	20	11
done	20	11
0	12	22
1	23	22
2	45	22
3	76	22
4	102	22
5	133	22
6	154	22
7	164	22
done	164	22
0	10	12
1	15	12
2	19	12
3	20	12
4	22	12
5	24	12
6	25	12
done	25	12
0	11	17
1	18	17
2	27	17
3	40	17
4	48	17
5	54	17
6	57	17
done	57	17
0	10	12
1	15	12
2	19	12
3	20	12
4	22	12
5	24	12
6	25	12
done	25	12
0	10	14
1	18	12
2	32	12
3	59	12
4	71	12
5	83	12
6	89	12
done	89	12
0	9	11
1	14	11
2	26	11
3	39	11
4	47	11
5	53	11
6	60	11
7	62	11
done	62	11
0	10	14
1	18	12
2	32	12
3	59	12
4	71	12
5	83	12
6	89	12
done	89	12
0	9	11
1	14	11
2	26	11
3	39	11
4	47	11
5	53	11
6	60	11
7	62	11
done	62	11
0	11	17
1	18	17
2	26	17
3	34	17
4	38	17
5	47	17
6	53	17
7	58	17
done	58	17
0	10	12
1	15	12
2	19	12
3	20	12
4	22	12
5	24	12
6	25	12
done	25	12
0	10	12
1	15	12
2	19	12
3	20	12
4	22	12
5	24	12
6	25	12
done	25	12
0	10	12
1	15	12
2	19	12
3	20	12
4	22	12
5	24	12
6	25	12
done	25	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	9	11
1	14	11
2	26	11
3	39	11
4	47	11
5	53	11
6	60	11
7	62	11
done	62	11
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	9	11
1	14	11
2	26	11
3	39	11
4	47	11
5	53	11
6	60	11
7	62	11
done	62	11
0	10	14
1	17	14
2	24	12
3	40	12
4	67	12
5	92	12
6	112	12
done	112	12
0	9	11
1	17	11
2	23	11
3	26	11
4	28	11
5	33	11
6	36	11
7	38	11
done	38	11
0	9	9
1	14	9
2	17	7
3	26	7
4	35	7
5	37	7
done	37	7
0	9	11
1	17	11
2	23	11
3	26	11
4	28	11
5	33	11
6	36	11
7	38	11
done	38	11
0	5	6
1	9	4
2	14	2
3	16	2
4	20	2
done	20	2
0	8	10
1	16	10
2	30	10
3	45	10
4	53	10
5	68	10
6	82	10
7	91	10
done	91	10
0	5	6
1	9	4
2	14	2
3	16	2
4	20	2
done	20	2
0	8	10
1	16	10
2	30	10
3	45	10
4	53	10
5	68	10
6	82	10
7	91	10
done	91	10
0	12	18
1	18	18
2	25	18
3	33	18
4	37	18
5	46	18
6	52	18
7	57	18
done	57	18
0	11	13
1	19	13
2	25	13
3	28	13
4	30	13
5	35	13
6	38	13
7	40	13
done	40	13
0	11	13
1	15	13
2	18	13
3	19	13
4	21	13
5	23	13
6	24	13
done	24	13
0	11	13
1	19	13
2	25	13
3	28	13
4	30	13
5	35	13
6	38	13
7	40	13
done	40	13
0	10	10
1	15	8
2	21	8
3	26	8
4	28	8
5	31	8
6	35	8
done	35	8
0	10	12
1	18	12
2	32	12
3	47	12
4	55	12
5	70	12
6	83	12
7	91	12
done	91	12
0	10	10
1	15	8
2	21	8
3	26	8
4	28	8
5	31	8
6	35	8
done	35	8
0	10	12
1	18	12
2	32	12
3	47	12
4	55	12
5	70	12
6	83	12
7	91	12
done	91	12
0	10	14
1	17	14
2	24	12
3	40	12
4	67	12
5	92	12
6	112	12
done	112	12
0	9	11
1	17	11
2	23	11
3	26	11
4	28	11
5	33	11
6	36	11
7	38	11
done	38	11
0	9	9
1	14	9
2	17	7
3	26	7
4	35	7
5	37	7
done	37	7
0	9	11
1	17	11
2	23	11
3	26	11
4	28	11
5	33	11
6	36	11
7	38	11
done	38	11
0	5	6
1	9	4
2	14	2
3	16	2
4	20	2
done	20	2
0	8	10
1	16	10
2	30	10
3	45	10
4	53	10
5	68	10
6	82	10
7	91	10
done	91	10
0	5	6
1	9	4
2	14	2
3	16	2
4	20	2
done	20	2
0	8	10
1	16	10
2	30	10
3	45	10
4	53	10
5	68	10
6	82	10
7	91	10
done	91	10
0	4	4
1	6	2
2	8	2
done	8	2
0	8	10
1	16	10
2	30	10
3	45	10
4	53	10
5	68	10
6	82	10
7	91	10
done	91	10
0	6	6
1	8	6
2	9	6
done	9	6
0	8	8
1	13	8
2	24	6
3	35	6
4	50	6
5	64	6
6	88	6
done	88	6
0	11	14
1	32	14
2	55	14
3	111	14
4	255	14
5	760	14
6	2904	14
done	5000	14
0	10	14
1	18	12
2	33	12
3	46	12
4	66	12
5	87	12
6	104	12
7	127	12
8	170	12
9	232	12
10	233	12
done	233	12
0	10	14
1	21	14
2	52	14
3	155	14
4	365	8
5	683	6
6	2334	6
done	5000	6
0	6	6
1	8	6
2	9	6
done	9	6
0	9	19
1	19	19
2	22	19
3	24	19
done	24	19
0	8	10
1	14	10
2	17	10
3	19	10
done	19	10
0	8	10
1	16	10
2	19	10
3	21	10
done	21	10
0	8	10
1	14	10
2	17	10
3	19	10
done	19	10
0	11	21
1	24	21
2	46	21
3	75	19
4	135	19
5	200	19
done	200	19
0	9	11
1	14	11
2	18	11
3	20	10
4	24	10
5	25	10
6	26	10
done	26	10
0	10	16
1	19	16
2	28	16
3	41	14
4	68	14
5	105	14
done	105	14
0	9	11
1	14	11
2	18	11
3	20	10
4	24	10
5	25	10
6	26	10
done	26	10
0	8	13
1	16	11
2	28	11
3	37	11
done	37	11
0	8	10
1	13	10
2	25	10
3	39	9
4	52	9
5	61	9
6	72	9
7	74	9
done	74	9
0	8	13
1	16	11
2	28	11
3	37	11
done	37	11
0	8	10
1	13	10
2	25	10
3	39	9
4	52	9
5	61	9
6	72	9
7	74	9
done	74	9
0	10	16
1	19	16
2	27	16
3	35	14
4	59	14
5	76	14
done	76	14
0	9	11
1	14	11
2	18	11
3	20	10
4	24	10
5	25	10
6	26	10
done	26	10
0	9	11
1	16	11
2	20	11
3	21	9
4	34	9
5	39	9
done	39	9
0	9	11
1	14	11
2	18	11
3	20	10
4	24	10
5	25	10
6	26	10
done	26	10
0	7	8
1	13	6
2	19	6
done	19	6
0	8	10
1	13	10
2	25	10
3	39	9
4	52	9
5	61	9
6	72	9
7	74	9
done	74	9
0	7	8
1	13	6
2	19	6
done	19	6
0	8	10
1	13	10
2	25	10
3	39	9
4	52	9
5	61	9
6	72	9
7	74	9
done	74	9
0	8	13
1	15	9
2	24	9
3	37	9
4	46	9
5	47	9
done	47	9
0	8	10
1	16	10
2	22	10
3	26	9
4	30	9
5	34	9
6	37	9
7	39	9
done	39	9
0	7	8
1	12	4
2	17	4
3	19	4
4	20	4
done	20	4
0	8	10
1	16	10
2	22	10
3	26	9
4	30	9
5	34	9
6	37	9
7	39	9
done	39	9
0	3	5
1	6	1
done	6	1
0	7	9
1	15	9
2	29	9
3	45	8
4	58	8
5	80	8
6	101	8
7	112	8
8	118	8
9	122	8
10	125	8
done	125	8
0	3	5
1	6	1
done	6	1
0	7	9
1	15	9
2	29	9
3	45	8
4	58	8
5	80	8
6	101	8
7	112	8
8	118	8
9	122	8
10	125	8
done	125	8
0	11	17
1	19	17
2	26	17
3	34	15
4	58	15
5	73	15
done	73	15
0	10	12
1	18	12
2	24	12
3	28	11
4	32	11
5	36	11
6	39	11
7	41	11
done	41	11
0	10	12
1	16	12
2	19	12
3	20	10
4	33	10
5	40	10
done	40	10
0	10	12
1	18	12
2	24	12
3	28	11
4	32	11
5	36	11
6	39	11
7	41	11
done	41	11
0	8	9
1	13	7
2	18	7
done	18	7
0	9	11
1	17	11
2	31	11
3	47	10
4	61	10
5	79	10
6	96	10
7	104	10
done	104	10
0	8	9
1	13	7
2	18	7
done	18	7
0	9	11
1	17	11
2	31	11
3	47	10
4	61	10
5	79	10
6	96	10
7	104	10
done	104	10
0	8	13
1	15	9
2	24	9
3	37	9
4	46	9
5	47	9
done	47	9
0	8	10
1	16	10
2	22	10
3	26	9
4	30	9
5	34	9
6	37	9
7	39	9
done	39	9
0	7	8
1	12	4
2	17	4
3	19	4
4	20	4
done	20	4
0	8	10
1	16	10
2	22	10
3	26	9
4	30	9
5	34	9
6	37	9
7	39	9
done	39	9
0	3	5
1	6	1
done	6	1
0	7	9
1	15	9
2	29	9
3	45	8
4	58	8
5	80	8
6	101	8
7	112	8
8	118	8
9	122	8
10	125	8
done	125	8
0	3	5
1	6	1
done	6	1
0	7	9
1	15	9
2	29	9
3	45	8
4	58	8
5	80	8
6	101	8
7	112	8
8	118	8
9	122	8
10	125	8
done	125	8
0	2	3
1	4	1
done	4	1
0	7	9
1	15	9
2	29	9
3	45	8
4	58	8
5	80	8
6	101	8
7	112	8
8	118	8
9	122	8
10	125	8
done	125	8
0	5	5
1	9	5
2	10	5
done	10	5
0	7	7
1	12	5
2	22	4
3	26	4
4	28	4
done	28	4
0	10	13
1	33	13
2	56	13
3	112	11
4	293	11
5	977	11
6	2810	11
done	5001	11
0	9	13
1	17	11
2	32	11
3	45	11
4	65	11
5	86	11
6	103	11
7	126	11
8	169	11
9	231	11
10	232	11
done	232	11
0	9	13
1	22	13
2	53	13
3	156	11
4	439	3
5	1629	3
done	5000	3
0	5	5
1	7	5
2	8	5
done	8	5
0	7	9
1	17	9
2	31	9
3	46	7
4	90	7
5	115	7
6	119	7
7	122	7
done	122	7
0	7	9
1	15	9
2	36	8
3	50	8
4	62	8
5	82	8
6	121	8
7	320	8
8	727	8
9	975	8
10	1285	8
11	1951	7
12	2067	7
13	2149	7
14	2285	7
15	2293	7
done	2293	7
0	9	19
1	17	19
2	20	19
3	22	19
done	22	19
0	8	10
1	14	10
2	17	10
3	19	10
done	19	10
0	11	21
1	22	21
2	44	21
3	74	20
4	106	20
5	142	20
6	160	20
7	162	20
done	162	20
0	10	16
1	17	16
2	26	16
3	40	15
4	51	15
5	57	15
6	58	15
done	58	15
0	9	13
1	17	11
2	31	11
3	49	11
4	58	11
5	74	11
6	86	11
7	88	11
done	88	11
0	9	13
1	17	11
2	31	11
3	49	11
4	58	11
5	74	11
6	86	11
7	88	11
done	88	11
0	10	16
1	17	16
2	25	16
3	34	15
4	43	15
5	54	15
6	60	15
7	62	15
done	62	15
0	9	11
1	14	11
2	18	11
3	20	10
4	24	10
5	25	10
6	26	10
done	26	10
0	8	8
1	14	6
2	21	6
3	23	6
done	23	6
0	8	8
1	14	6
2	21	6
3	23	6
done	23	6
0	9	13
1	16	11
2	22	10
3	29	10
4	37	10
5	51	10
6	88	10
7	98	10
8	102	10
done	102	10
0	8	8
1	13	6
2	15	5
done	15	5
0	4	5
1	8	1
done	8	1
0	4	5
1	8	1
done	8	1
0	11	17
1	17	17
2	24	17
3	33	16
4	42	16
5	53	16
6	59	16
7	61	16
done	61	16
0	10	12
1	14	12
2	17	12
3	19	11
4	23	11
5	24	11
6	25	11
done	25	11
0	9	9
1	14	7
2	20	7
3	22	7
done	22	7
0	9	9
1	14	7
2	20	7
3	22	7
done	22	7
0	9	13
1	16	11
2	22	10
3	29	10
4	37	10
5	51	10
6	88	10
7	98	10
8	102	10
done	102	10
0	8	8
1	13	6
2	15	5
done	15	5
0	4	5
1	8	1
done	8	1
0	4	5
1	8	1
done	8	1
0	3	3
1	5	1
done	5	1
0	5	5
1	7	5
2	8	5
done	8	5
0	10	13
1	31	13
2	54	13
3	111	12
4	254	12
5	795	12
6	3114	12
done	5001	12
0	9	13
1	20	13
2	51	13
3	155	12
4	384	4
5	948	4
done	5000	4
0	8	10
1	16	10
2	36	10
3	47	10
4	53	10
5	56	10
done	56	10
0	8	10
1	16	10
2	36	10
3	47	10
4	53	10
5	56	10
done	56	10
0	7	9
1	15	9
2	36	8
3	50	8
4	62	8
5	82	8
6	121	8
7	320	8
8	727	8
9	975	8
10	1285	8
11	1951	7
12	2067	7
13	2149	7
14	2285	7
15	2293	7
done	2293	7
0	5	5
1	7	5
2	8	5
done	8	5
0	7	9
1	12	9
2	14	9
done	14	9
0	6	8
1	15	8
2	20	8
3	23	8
done	23	8
0	6	8
1	12	8
2	18	8
3	22	8
4	25	8
5	31	8
6	35	8
7	51	8
8	57	8
9	64	8
10	73	8
11	94	8
12	115	8
13	132	8
14	139	8
15	145	8
16	148	8
done	148	8
0	9	23
1	33	23
2	111	11
3	305	9
4	851	9
5	3001	9
done	5000	9
0	7	17
1	13	17
2	16	17
3	18	17
done	18	17
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	7	23
1	20	23
2	51	9
3	177	9
4	589	9
5	1821	9
done	5000	9
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	4	5
1	5	5
done	5	5
0	4	5
1	5	5
done	5	5
0	9	19
1	18	19
2	28	19
3	34	19
done	34	19
0	7	9
1	10	9
2	11	9
done	11	9
0	8	14
1	13	14
2	16	14
3	17	14
done	17	14
0	7	9
1	10	9
2	11	9
done	11	9
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	6	8
1	9	8
2	10	8
done	10	8
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	6	8
1	9	8
2	10	8
done	10	8
0	8	14
1	13	14
2	14	14
done	14	14
0	7	9
1	10	9
2	11	9
done	11	9
0	7	9
1	10	9
2	11	9
done	11	9
0	7	9
1	10	9
2	11	9
done	11	9
0	6	6
1	10	4
2	13	4
done	13	4
0	6	8
1	9	8
2	10	8
done	10	8
0	6	6
1	10	4
2	13	4
done	13	4
0	6	8
1	9	8
2	10	8
done	10	8
0	7	11
1	12	11
done	12	11
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	6	6
1	9	6
done	9	6
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	2	3
1	4	1
done	4	1
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	2	3
1	4	1
done	4	1
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	9	15
1	13	15
done	13	15
0	8	10
1	14	10
2	17	10
3	19	10
done	19	10
0	8	10
1	10	10
done	10	10
0	8	10
1	14	10
2	17	10
3	19	10
done	19	10
0	7	7
1	10	5
2	12	5
done	12	5
0	7	9
1	13	9
2	16	9
3	18	9
done	18	9
0	7	7
1	10	5
2	12	5
done	12	5
0	7	9
1	13	9
2	16	9
3	18	9
done	18	9
0	7	11
1	12	11
done	12	11
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	6	6
1	9	6
done	9	6
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	2	3
1	4	1
done	4	1
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	2	3
1	4	1
done	4	1
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	5	5
1	8	5
done	8	5
0	5	7
1	8	7
2	9	7
done	9	7
0	7	13
1	15	13
2	23	13
3	28	13
4	31	13
done	31	13
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	5	5
1	12	3
2	17	3
done	17	3
0	5	5
1	12	3
2	17	3
done	17	3
0	6	8
1	9	8
2	10	8
done	10	8
0	6	8
1	9	8
2	10	8
done	10	8
0	5	7
1	8	7
2	9	7
done	9	7
0	7	9
1	10	9
2	11	9
done	11	9
0	5	7
1	8	7
2	9	7
done	9	7
0	8	11
1	27	11
2	39	11
3	58	11
4	97	11
5	211	11
6	617	11
7	2464	11
done	5000	11
0	7	11
1	16	11
2	36	11
3	72	11
4	109	5
5	164	5
6	315	5
7	1486	5
done	5001	5
0	9	15
1	23	13
2	73	13
3	157	13
4	305	13
5	587	13
6	828	13
7	949	13
8	1032	13
9	1304	13
10	2424	13
done	5000	13
0	4	7
1	11	7
2	24	7
3	40	7
4	59	7
5	75	7
6	82	7
7	84	7
done	84	7
0	1	1
1	3	1
done	3	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
1	3	1
done	3	1
0	1	1
1	3	1
done	3	1

prune164.0ms

Filtered

116 candidates to 174 candidates (-50.0%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	173	1	174
Fresh	1	3	4
Picked	1	0	1
Done	0	0	0
Total	175	4	179

Merged error: 0b

Counts

179 → 4

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(log (exp (/ (- f n) (+ f n))))
0.0b	(exp (/ (- f n) (+ f n)))
0.0b	(/ (- f n) (+ f n))
0.0b	(/ -1 (log (exp (/ (- f n) (+ f n)))))

rewrite67.0ms

Algorithm

rewrite-expression-head

Rules

241×	`*-un-lft-identity`
230×	`times-frac`
169×	`add-sqr-sqrt`
156×	`exp-prod`
135×	`log-pow`
111×	`add-cube-cbrt`
36×	`distribute-lft-out`
34×	`associate-/r*`
29×	`distribute-lft-out--` `difference-of-squares`
14×	`associate-/r/`
9×	`pow1`
8×	`add-exp-log` `add-cbrt-cube` `div-inv` `associate-/l*`
7×	`flip3-+` `flip-+`
5×	`add-log-exp`
3×	`log-prod` `div-sub`
2×	`cbrt-undiv` `frac-2neg` `exp-diff` `div-exp` `clear-num` `associate-/l/`
1×	`log-div` `flip3--` `rem-log-exp` `flip--` `rem-exp-log`

Counts

4 → 255

Calls

4 calls:

11.0ms	(log (exp (/ (- f n) (+ f n))))
9.0ms	(exp (/ (- f n) (+ f n)))
14.0ms	(/ (- f n) (+ f n))
15.0ms	(/ -1 (log (exp (/ (- f n) (+ f n)))))

series50.0ms

Counts

4 → 12

Calls

4 calls:

15.0ms	(log (exp (/ (- f n) (+ f n))))
15.0ms	(exp (/ (- f n) (+ f n)))
9.0ms	(/ (- f n) (+ f n))
11.0ms	(/ -1 (log (exp (/ (- f n) (+ f n)))))

simplify3.6min

Counts

267 → 267

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	13
1	19	11
2	29	11
3	40	11
4	54	11
5	76	11
6	89	11
7	127	11
8	158	11
9	218	11
10	290	11
11	303	11
12	322	11
13	328	11
14	336	11
done	336	11
0	10	12
1	19	10
2	32	10
3	57	10
4	88	9
5	125	9
6	161	9
7	223	9
8	270	9
9	352	9
10	498	9
11	844	9
12	2224	9
done	5001	9
0	10	12
1	16	10
2	24	10
3	44	10
4	75	9
5	113	9
6	181	9
7	366	9
8	770	9
9	2369	9
done	5000	9
0	13	35
1	30	25
2	65	11
3	215	11
4	876	11
5	4024	11
done	5000	11
0	11	25
1	17	21
2	25	21
3	43	21
4	64	19
5	86	19
6	117	19
7	167	19
8	194	19
9	251	19
10	386	19
11	733	19
12	2093	19
done	5001	19
0	10	12
1	16	10
2	24	10
3	42	10
4	63	9
5	85	9
6	116	9
7	166	9
8	193	9
9	250	9
10	385	9
11	726	9
12	2090	9
done	5000	9
0	11	35
1	24	29
2	54	11
3	202	11
4	1098	10
done	5002	10
0	10	12
1	16	10
2	24	10
3	42	10
4	63	9
5	85	9
6	116	9
7	166	9
8	193	9
9	250	9
10	385	9
11	726	9
12	2090	9
done	5000	9
0	10	12
1	16	10
2	24	10
3	42	10
4	63	9
5	85	9
6	116	9
7	166	9
8	193	9
9	250	9
10	385	9
11	726	9
12	2090	9
done	5000	9
0	2	2
1	3	1
2	5	1
done	5	1
0	8	10
1	14	8
2	22	8
3	36	8
4	49	7
5	62	7
6	80	7
7	142	7
8	197	7
9	242	7
10	248	7
done	248	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	10	12
1	16	10
2	24	10
3	42	10
4	62	10
5	79	10
6	103	10
7	146	10
8	170	10
9	204	10
10	267	10
11	281	10
12	298	10
13	304	10
14	314	10
15	320	10
16	333	10
17	347	10
18	362	10
19	375	10
done	375	10
0	10	14
1	18	14
2	23	14
3	26	14
done	26	14
0	12	22
1	20	20
2	31	20
3	42	20
4	67	20
5	144	20
6	413	20
7	1500	20
done	5000	20
0	10	14
1	18	14
2	23	14
3	26	14
done	26	14
0	11	13
1	17	11
2	20	11
3	22	11
done	22	11
0	11	15
1	18	15
2	28	15
3	38	15
4	48	15
5	52	15
6	54	15
7	55	15
done	55	15
0	14	24
1	23	22
2	43	22
3	78	22
4	124	22
5	194	22
6	370	22
7	917	22
8	4578	22
done	5000	22
0	11	15
1	18	15
2	28	15
3	38	15
4	48	15
5	52	15
6	54	15
7	55	15
done	55	15
0	13	19
1	18	17
2	25	17
3	39	17
4	53	17
5	74	17
6	120	17
7	231	17
8	626	17
9	2499	17
done	5001	17
0	10	14
1	17	14
2	35	14
3	69	14
4	115	14
5	139	14
6	149	14
7	156	14
8	157	14
done	157	14
0	12	16
1	18	12
2	31	12
3	53	12
4	81	12
5	116	12
6	238	12
7	636	12
8	2802	12
done	5000	12
0	10	14
1	17	14
2	35	14
3	69	14
4	115	14
5	139	14
6	149	14
7	156	14
8	157	14
done	157	14
0	12	16
1	18	12
2	31	12
3	53	12
4	81	12
5	116	12
6	238	12
7	636	12
8	2802	12
done	5000	12
0	11	15
1	18	15
2	28	15
3	38	15
4	48	15
5	52	15
6	54	15
7	55	15
done	55	15
0	13	19
1	18	17
2	23	17
3	30	17
4	36	17
5	42	17
6	51	17
7	58	17
8	59	17
done	59	17
0	11	15
1	18	15
2	28	15
3	38	15
4	48	15
5	52	15
6	54	15
7	55	15
done	55	15
0	12	14
1	15	12
2	18	12
3	21	12
4	22	12
5	24	12
6	26	12
7	27	12
done	27	12
0	10	14
1	17	14
2	35	14
3	69	14
4	115	14
5	139	14
6	149	14
7	156	14
8	157	14
done	157	14
0	11	11
1	15	7
2	19	7
3	22	7
4	27	7
5	29	7
6	32	7
7	36	7
done	36	7
0	10	14
1	17	14
2	35	14
3	69	14
4	115	14
5	139	14
6	149	14
7	156	14
8	157	14
done	157	14
0	11	11
1	15	7
2	19	7
3	22	7
4	27	7
5	29	7
6	32	7
7	36	7
done	36	7
0	10	14
1	20	14
2	35	14
3	54	14
4	71	14
5	84	14
6	90	14
7	94	14
done	94	14
0	12	16
1	17	14
2	21	14
3	28	12
4	48	12
5	91	12
6	109	12
7	127	12
8	192	12
9	308	12
10	676	12
11	2150	12
done	5000	12
0	10	14
1	20	14
2	35	14
3	54	14
4	71	14
5	84	14
6	90	14
7	94	14
done	94	14
0	11	11
1	14	9
2	16	9
3	19	7
4	28	7
5	37	7
6	42	7
7	53	7
8	86	7
9	144	7
10	319	7
11	1011	7
12	4308	7
done	5001	7
0	9	13
1	19	13
2	42	13
3	85	13
4	138	13
5	183	13
6	215	13
7	240	13
8	249	13
9	253	13
done	253	13
0	7	8
1	9	4
2	10	4
done	10	4
0	9	13
1	19	13
2	42	13
3	85	13
4	138	13
5	183	13
6	215	13
7	240	13
8	249	13
9	253	13
done	253	13
0	7	8
1	9	4
2	10	4
done	10	4
0	12	16
1	22	16
2	37	16
3	56	16
4	73	16
5	86	16
6	92	16
7	96	16
done	96	16
0	14	20
1	18	18
2	22	18
3	29	18
4	35	18
5	41	18
6	50	18
7	57	18
8	58	18
done	58	18
0	12	16
1	22	16
2	37	16
3	56	16
4	73	16
5	86	16
6	92	16
7	96	16
done	96	16
0	13	15
1	15	15
2	17	13
3	20	13
4	21	13
5	23	13
6	25	13
7	26	13
done	26	13
0	11	15
1	21	15
2	44	15
3	87	15
4	140	15
5	185	15
6	217	15
7	241	15
8	244	15
done	244	15
0	12	12
1	15	8
2	22	8
3	29	8
4	34	8
5	36	8
6	39	8
7	43	8
8	44	8
done	44	8
0	11	15
1	21	15
2	44	15
3	87	15
4	140	15
5	185	15
6	217	15
7	241	15
8	244	15
done	244	15
0	12	12
1	15	8
2	22	8
3	29	8
4	34	8
5	36	8
6	39	8
7	43	8
8	44	8
done	44	8
0	10	14
1	20	14
2	35	14
3	54	14
4	71	14
5	84	14
6	90	14
7	94	14
done	94	14
0	12	16
1	17	14
2	21	14
3	28	12
4	48	12
5	91	12
6	109	12
7	127	12
8	192	12
9	308	12
10	676	12
11	2150	12
done	5000	12
0	10	14
1	20	14
2	35	14
3	54	14
4	71	14
5	84	14
6	90	14
7	94	14
done	94	14
0	11	11
1	14	9
2	16	9
3	19	7
4	28	7
5	37	7
6	42	7
7	53	7
8	86	7
9	144	7
10	319	7
11	1011	7
12	4308	7
done	5001	7
0	9	13
1	19	13
2	42	13
3	85	13
4	138	13
5	183	13
6	215	13
7	240	13
8	249	13
9	253	13
done	253	13
0	7	8
1	9	4
2	10	4
done	10	4
0	9	13
1	19	13
2	42	13
3	85	13
4	138	13
5	183	13
6	215	13
7	240	13
8	249	13
9	253	13
done	253	13
0	7	8
1	9	4
2	10	4
done	10	4
0	9	13
1	19	13
2	42	13
3	85	13
4	138	13
5	183	13
6	215	13
7	240	13
8	249	13
9	253	13
done	253	13
0	6	6
1	9	4
done	9	2
0	9	11
1	16	11
2	33	9
3	77	9
4	164	9
5	221	9
6	293	9
done	293	9
0	8	8
1	13	6
2	19	6
3	26	6
4	35	6
5	44	6
6	74	6
7	84	6
8	119	6
9	167	6
10	201	6
11	218	6
12	228	6
done	228	6
0	11	17
1	21	15
2	41	15
3	64	15
4	99	15
5	150	15
6	215	15
7	275	15
8	359	15
9	520	15
10	580	15
11	601	15
done	601	15
0	13	16
1	32	14
2	49	14
3	84	14
4	185	14
5	520	14
6	1952	14
done	5000	14
0	7	9
1	11	9
2	17	9
3	20	9
4	22	9
done	22	9
0	12	16
1	21	14
2	46	14
3	110	14
4	265	8
5	558	6
6	1711	6
done	5001	6
0	13	27
1	25	23
2	40	23
3	53	23
4	60	23
5	69	23
6	78	23
7	108	23
8	125	23
9	159	23
10	224	23
11	237	23
12	251	23
13	257	23
14	265	23
done	265	23
0	11	13
1	17	11
2	23	11
3	30	11
4	37	11
5	46	11
6	55	11
7	85	11
8	101	11
9	135	11
10	200	11
11	213	11
12	231	11
13	237	11
14	245	11
done	245	11
0	12	16
1	20	14
2	28	14
3	36	14
4	43	14
5	52	14
6	61	14
7	91	14
8	108	14
9	142	14
10	204	14
11	217	14
12	233	14
13	239	14
14	247	14
done	247	14
0	11	13
1	17	11
2	23	11
3	30	11
4	37	11
5	46	11
6	55	11
7	85	11
8	101	11
9	135	11
10	200	11
11	213	11
12	231	11
13	237	11
14	245	11
done	245	11
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	10	12
1	16	10
2	24	10
3	42	10
4	62	10
5	79	10
6	103	10
7	146	10
8	170	10
9	204	10
10	267	10
11	281	10
12	298	10
13	304	10
14	314	10
15	320	10
16	333	10
17	347	10
18	362	10
19	375	10
done	375	10
0	4	4
1	6	2
2	8	2
done	8	2
0	10	12
1	16	10
2	24	10
3	42	10
4	62	10
5	79	10
6	103	10
7	146	10
8	170	10
9	204	10
10	267	10
11	281	10
12	298	10
13	304	10
14	314	10
15	320	10
16	333	10
17	347	10
18	362	10
19	375	10
done	375	10
0	9	11
1	15	11
2	18	11
3	20	11
done	20	11
0	12	22
1	20	20
2	31	20
3	42	20
4	67	20
5	144	20
6	413	20
7	1500	20
done	5000	20
0	9	11
1	15	11
2	18	11
3	20	11
done	20	11
0	11	13
1	17	11
2	20	11
3	22	11
done	22	11
0	10	12
1	15	12
2	19	12
3	20	12
4	22	12
5	24	12
6	25	12
done	25	12
0	14	24
1	23	22
2	43	22
3	78	22
4	124	22
5	194	22
6	370	22
7	917	22
8	4578	22
done	5000	22
0	10	12
1	15	12
2	19	12
3	20	12
4	22	12
5	24	12
6	25	12
done	25	12
0	13	19
1	18	17
2	25	17
3	39	17
4	53	17
5	74	17
6	120	17
7	231	17
8	626	17
9	2499	17
done	5001	17
0	9	11
1	14	11
2	26	11
3	39	11
4	47	11
5	53	11
6	60	11
7	62	11
done	62	11
0	12	16
1	18	12
2	31	12
3	53	12
4	81	12
5	116	12
6	238	12
7	636	12
8	2802	12
done	5000	12
0	9	11
1	14	11
2	26	11
3	39	11
4	47	11
5	53	11
6	60	11
7	62	11
done	62	11
0	12	16
1	18	12
2	31	12
3	53	12
4	81	12
5	116	12
6	238	12
7	636	12
8	2802	12
done	5000	12
0	10	12
1	15	12
2	19	12
3	20	12
4	22	12
5	24	12
6	25	12
done	25	12
0	13	19
1	18	17
2	23	17
3	30	17
4	36	17
5	42	17
6	51	17
7	58	17
8	59	17
done	59	17
0	10	12
1	15	12
2	19	12
3	20	12
4	22	12
5	24	12
6	25	12
done	25	12
0	12	14
1	15	12
2	18	12
3	21	12
4	22	12
5	24	12
6	26	12
7	27	12
done	27	12
0	9	11
1	14	11
2	26	11
3	39	11
4	47	11
5	53	11
6	60	11
7	62	11
done	62	11
0	11	11
1	15	7
2	19	7
3	22	7
4	27	7
5	29	7
6	32	7
7	36	7
done	36	7
0	9	11
1	14	11
2	26	11
3	39	11
4	47	11
5	53	11
6	60	11
7	62	11
done	62	11
0	11	11
1	15	7
2	19	7
3	22	7
4	27	7
5	29	7
6	32	7
7	36	7
done	36	7
0	9	11
1	17	11
2	23	11
3	26	11
4	28	11
5	33	11
6	36	11
7	38	11
done	38	11
0	12	16
1	17	14
2	21	14
3	28	12
4	48	12
5	91	12
6	109	12
7	127	12
8	192	12
9	308	12
10	676	12
11	2150	12
done	5000	12
0	9	11
1	17	11
2	23	11
3	26	11
4	28	11
5	33	11
6	36	11
7	38	11
done	38	11
0	11	11
1	14	9
2	16	9
3	19	7
4	28	7
5	37	7
6	42	7
7	53	7
8	86	7
9	144	7
10	319	7
11	1011	7
12	4308	7
done	5001	7
0	8	10
1	16	10
2	30	10
3	45	10
4	53	10
5	68	10
6	82	10
7	91	10
done	91	10
0	7	8
1	9	4
2	10	4
done	10	4
0	8	10
1	16	10
2	30	10
3	45	10
4	53	10
5	68	10
6	82	10
7	91	10
done	91	10
0	7	8
1	9	4
2	10	4
done	10	4
0	11	13
1	19	13
2	25	13
3	28	13
4	30	13
5	35	13
6	38	13
7	40	13
done	40	13
0	14	20
1	18	18
2	22	18
3	29	18
4	35	18
5	41	18
6	50	18
7	57	18
8	58	18
done	58	18
0	11	13
1	19	13
2	25	13
3	28	13
4	30	13
5	35	13
6	38	13
7	40	13
done	40	13
0	13	15
1	15	15
2	17	13
3	20	13
4	21	13
5	23	13
6	25	13
7	26	13
done	26	13
0	10	12
1	18	12
2	32	12
3	47	12
4	55	12
5	70	12
6	83	12
7	91	12
done	91	12
0	12	12
1	15	8
2	22	8
3	29	8
4	34	8
5	36	8
6	39	8
7	43	8
8	44	8
done	44	8
0	10	12
1	18	12
2	32	12
3	47	12
4	55	12
5	70	12
6	83	12
7	91	12
done	91	12
0	12	12
1	15	8
2	22	8
3	29	8
4	34	8
5	36	8
6	39	8
7	43	8
8	44	8
done	44	8
0	9	11
1	17	11
2	23	11
3	26	11
4	28	11
5	33	11
6	36	11
7	38	11
done	38	11
0	12	16
1	17	14
2	21	14
3	28	12
4	48	12
5	91	12
6	109	12
7	127	12
8	192	12
9	308	12
10	676	12
11	2150	12
done	5000	12
0	9	11
1	17	11
2	23	11
3	26	11
4	28	11
5	33	11
6	36	11
7	38	11
done	38	11
0	11	11
1	14	9
2	16	9
3	19	7
4	28	7
5	37	7
6	42	7
7	53	7
8	86	7
9	144	7
10	319	7
11	1011	7
12	4308	7
done	5001	7
0	8	10
1	16	10
2	30	10
3	45	10
4	53	10
5	68	10
6	82	10
7	91	10
done	91	10
0	7	8
1	9	4
2	10	4
done	10	4
0	8	10
1	16	10
2	30	10
3	45	10
4	53	10
5	68	10
6	82	10
7	91	10
done	91	10
0	7	8
1	9	4
2	10	4
done	10	4
0	8	10
1	16	10
2	30	10
3	45	10
4	53	10
5	68	10
6	82	10
7	91	10
done	91	10
0	6	6
1	9	4
done	9	2
0	8	8
1	13	8
2	24	6
3	35	6
4	50	6
5	64	6
6	88	6
done	88	6
0	8	8
1	13	6
2	19	6
3	26	6
4	35	6
5	44	6
6	74	6
7	84	6
8	119	6
9	167	6
10	201	6
11	218	6
12	228	6
done	228	6
0	10	14
1	18	12
2	33	12
3	46	12
4	66	12
5	87	12
6	104	12
7	127	12
8	170	12
9	232	12
10	233	12
done	233	12
0	13	16
1	32	14
2	49	14
3	84	14
4	185	14
5	520	14
6	1952	14
done	5000	14
0	6	6
1	8	6
2	9	6
done	9	6
0	12	16
1	21	14
2	46	14
3	110	14
4	265	8
5	558	6
6	1711	6
done	5001	6
0	12	24
1	20	20
2	26	20
3	33	20
4	40	20
5	49	20
6	58	20
7	88	20
8	104	20
9	138	20
10	201	20
11	215	20
12	233	20
13	239	20
14	247	20
done	247	20
0	11	13
1	17	11
2	23	11
3	30	11
4	37	11
5	46	11
6	55	11
7	85	11
8	101	11
9	135	11
10	200	11
11	213	11
12	231	11
13	237	11
14	245	11
done	245	11
0	11	13
1	17	11
2	23	11
3	30	11
4	37	11
5	46	11
6	55	11
7	85	11
8	101	11
9	135	11
10	200	11
11	213	11
12	231	11
13	237	11
14	245	11
done	245	11
0	11	13
1	17	11
2	23	11
3	30	11
4	37	11
5	46	11
6	55	11
7	85	11
8	101	11
9	135	11
10	200	11
11	213	11
12	231	11
13	237	11
14	245	11
done	245	11
0	4	4
1	6	2
2	8	2
done	8	2
0	10	12
1	16	10
2	24	10
3	42	10
4	62	10
5	79	10
6	103	10
7	146	10
8	170	10
9	204	10
10	267	10
11	281	10
12	298	10
13	304	10
14	314	10
15	320	10
16	333	10
17	347	10
18	362	10
19	375	10
done	375	10
0	2	3
1	4	1
done	4	1
0	9	11
1	15	9
2	23	9
3	41	9
4	62	8
5	84	8
6	115	8
7	165	8
8	193	8
9	250	8
10	384	8
11	727	8
12	2083	8
done	5001	8
0	8	10
1	16	10
2	19	10
3	21	10
done	21	10
0	11	21
1	19	19
2	30	19
3	41	19
4	66	19
5	146	19
6	418	19
7	1517	19
done	5000	19
0	8	10
1	16	10
2	19	10
3	21	10
done	21	10
0	10	12
1	16	10
2	19	10
3	21	10
done	21	10
0	9	11
1	16	11
2	20	11
3	21	9
4	34	9
5	39	9
done	39	9
0	13	23
1	22	21
2	42	21
3	77	21
4	126	20
5	205	20
6	380	20
7	915	20
8	4539	20
done	5000	20
0	9	11
1	16	11
2	20	11
3	21	9
4	34	9
5	39	9
done	39	9
0	12	18
1	17	16
2	24	16
3	38	16
4	54	15
5	79	15
6	122	15
7	235	15
8	632	15
9	2509	15
done	5001	15
0	8	10
1	15	10
2	27	10
3	40	8
4	75	8
5	88	8
done	88	8
0	11	15
1	17	11
2	30	11
3	52	11
4	74	11
5	113	11
6	211	11
7	526	11
8	2170	11
done	5000	11
0	8	10
1	15	10
2	27	10
3	40	8
4	75	8
5	88	8
done	88	8
0	11	15
1	17	11
2	30	11
3	52	11
4	74	11
5	113	11
6	211	11
7	526	11
8	2170	11
done	5000	11
0	9	11
1	16	11
2	20	11
3	21	9
4	34	9
5	39	9
done	39	9
0	12	18
1	17	16
2	22	16
3	29	16
4	37	15
5	49	15
6	58	15
7	62	15
done	62	15
0	9	11
1	16	11
2	20	11
3	21	9
4	34	9
5	39	9
done	39	9
0	11	13
1	14	11
2	17	11
3	20	11
4	22	10
5	26	10
6	27	10
7	28	10
done	28	10
0	8	10
1	15	10
2	27	10
3	40	8
4	75	8
5	88	8
done	88	8
0	10	10
1	14	6
2	18	6
3	21	6
4	23	6
done	23	6
0	8	10
1	15	10
2	27	10
3	40	8
4	75	8
5	88	8
done	88	8
0	10	10
1	14	6
2	18	6
3	21	6
4	23	6
done	23	6
0	8	10
1	18	10
2	24	10
3	27	8
4	49	8
5	62	8
done	62	8
0	11	15
1	16	13
2	20	11
3	25	10
4	33	10
5	48	10
6	83	10
7	103	10
8	115	10
9	154	10
10	256	10
11	503	10
12	1354	10
done	5001	10
0	8	10
1	18	10
2	24	10
3	27	8
4	49	8
5	62	8
done	62	8
0	10	10
1	13	8
2	15	6
3	17	5
done	17	5
0	7	9
1	17	9
2	31	9
3	46	7
4	90	7
5	115	7
6	119	7
7	122	7
done	122	7
0	6	7
1	8	3
2	9	3
done	9	3
0	7	9
1	17	9
2	31	9
3	46	7
4	90	7
5	115	7
6	119	7
7	122	7
done	122	7
0	6	7
1	8	3
2	9	3
done	9	3
0	10	12
1	20	12
2	26	12
3	29	10
4	51	10
5	66	10
done	66	10
0	13	19
1	17	17
2	21	17
3	28	17
4	36	16
5	48	16
6	57	16
7	61	16
done	61	16
0	10	12
1	20	12
2	26	12
3	29	10
4	51	10
5	66	10
done	66	10
0	12	14
1	14	12
2	16	12
3	19	12
4	21	11
5	25	11
6	26	11
7	27	11
done	27	11
0	9	11
1	19	11
2	33	11
3	48	9
4	92	9
5	119	9
6	123	9
7	127	9
done	127	9
0	11	11
1	14	7
2	21	7
3	28	7
4	30	7
done	30	7
0	9	11
1	19	11
2	33	11
3	48	9
4	92	9
5	119	9
6	123	9
7	127	9
done	127	9
0	11	11
1	14	7
2	21	7
3	28	7
4	30	7
done	30	7
0	8	10
1	18	10
2	24	10
3	27	8
4	49	8
5	62	8
done	62	8
0	11	15
1	16	13
2	20	11
3	25	10
4	33	10
5	48	10
6	83	10
7	103	10
8	115	10
9	154	10
10	256	10
11	503	10
12	1354	10
done	5001	10
0	8	10
1	18	10
2	24	10
3	27	8
4	49	8
5	62	8
done	62	8
0	10	10
1	13	8
2	15	6
3	17	5
done	17	5
0	7	9
1	17	9
2	31	9
3	46	7
4	90	7
5	115	7
6	119	7
7	122	7
done	122	7
0	6	7
1	8	3
2	9	3
done	9	3
0	7	9
1	17	9
2	31	9
3	46	7
4	90	7
5	115	7
6	119	7
7	122	7
done	122	7
0	6	7
1	8	3
2	9	3
done	9	3
0	7	9
1	17	9
2	31	9
3	46	7
4	90	7
5	115	7
6	119	7
7	122	7
done	122	7
0	5	5
1	8	1
done	8	1
0	6	7
1	11	3
2	24	3
3	34	3
4	35	3
done	35	3
0	7	7
1	12	5
2	18	5
3	25	5
4	34	5
5	43	5
6	73	5
7	83	5
8	118	5
9	165	5
10	201	5
11	219	5
12	228	5
done	228	5
0	9	13
1	19	11
2	34	11
3	47	11
4	67	11
5	88	11
6	105	11
7	128	11
8	171	11
9	233	11
10	234	11
done	234	11
0	12	15
1	31	13
2	48	13
3	83	13
4	183	12
5	523	12
6	1968	12
done	5000	12
0	5	5
1	9	5
2	10	5
done	10	5
0	11	15
1	20	13
2	45	13
3	109	13
4	265	5
5	598	4
6	2219	4
done	5001	4
0	11	23
1	21	19
2	27	19
3	34	19
4	40	19
5	47	19
6	56	19
7	86	19
8	102	19
9	136	19
10	198	19
11	212	19
12	227	19
13	233	19
14	241	19
done	241	19
0	10	12
1	16	10
2	22	10
3	29	10
4	36	10
5	45	10
6	54	10
7	84	10
8	100	10
9	134	10
10	199	10
11	212	10
12	227	10
13	233	10
14	241	10
done	241	10
0	10	12
1	18	10
2	24	10
3	31	10
4	37	10
5	44	10
6	53	10
7	83	10
8	99	10
9	133	10
10	195	10
11	209	10
12	226	10
13	232	10
14	240	10
done	240	10
0	10	12
1	16	10
2	22	10
3	29	10
4	36	10
5	45	10
6	54	10
7	84	10
8	100	10
9	134	10
10	199	10
11	212	10
12	227	10
13	233	10
14	241	10
done	241	10
0	2	3
1	4	1
done	4	1
0	9	11
1	15	9
2	23	9
3	41	9
4	62	8
5	84	8
6	115	8
7	165	8
8	193	8
9	250	8
10	384	8
11	727	8
12	2083	8
done	5001	8
0	9	11
1	17	9
2	25	9
3	43	9
4	62	7
5	113	7
6	149	7
7	182	7
8	208	7
9	245	7
10	314	7
11	327	7
12	343	7
13	351	7
14	365	7
15	369	7
16	378	7
17	387	7
18	395	7
19	396	7
done	396	7
0	9	11
1	15	9
2	26	9
3	49	8
4	70	8
5	100	8
6	149	8
7	221	8
8	591	8
9	1245	8
10	2746	7
done	5001	7
0	3	3
1	5	1
done	5	1
0	8	10
1	14	10
2	17	10
3	19	10
done	19	10
0	8	10
1	14	10
2	17	10
3	19	10
done	19	10
0	9	11
1	14	11
2	18	11
3	20	10
4	24	10
5	25	10
6	26	10
done	26	10
0	9	11
1	14	11
2	18	11
3	20	10
4	24	10
5	25	10
6	26	10
done	26	10
0	8	10
1	13	10
2	25	10
3	39	9
4	52	9
5	61	9
6	72	9
7	74	9
done	74	9
0	8	10
1	13	10
2	25	10
3	39	9
4	52	9
5	61	9
6	72	9
7	74	9
done	74	9
0	9	11
1	14	11
2	18	11
3	20	10
4	24	10
5	25	10
6	26	10
done	26	10
0	9	11
1	14	11
2	18	11
3	20	10
4	24	10
5	25	10
6	26	10
done	26	10
0	8	10
1	13	10
2	25	10
3	39	9
4	52	9
5	61	9
6	72	9
7	74	9
done	74	9
0	8	10
1	13	10
2	25	10
3	39	9
4	52	9
5	61	9
6	72	9
7	74	9
done	74	9
0	8	10
1	16	10
2	22	10
3	26	9
4	30	9
5	34	9
6	37	9
7	39	9
done	39	9
0	8	10
1	16	10
2	22	10
3	26	9
4	30	9
5	34	9
6	37	9
7	39	9
done	39	9
0	7	9
1	15	9
2	29	9
3	45	8
4	58	8
5	80	8
6	101	8
7	112	8
8	118	8
9	122	8
10	125	8
done	125	8
0	7	9
1	15	9
2	29	9
3	45	8
4	58	8
5	80	8
6	101	8
7	112	8
8	118	8
9	122	8
10	125	8
done	125	8
0	10	12
1	18	12
2	24	12
3	28	11
4	32	11
5	36	11
6	39	11
7	41	11
done	41	11
0	10	12
1	18	12
2	24	12
3	28	11
4	32	11
5	36	11
6	39	11
7	41	11
done	41	11
0	9	11
1	17	11
2	31	11
3	47	10
4	61	10
5	79	10
6	96	10
7	104	10
done	104	10
0	9	11
1	17	11
2	31	11
3	47	10
4	61	10
5	79	10
6	96	10
7	104	10
done	104	10
0	8	10
1	16	10
2	22	10
3	26	9
4	30	9
5	34	9
6	37	9
7	39	9
done	39	9
0	8	10
1	16	10
2	22	10
3	26	9
4	30	9
5	34	9
6	37	9
7	39	9
done	39	9
0	7	9
1	15	9
2	29	9
3	45	8
4	58	8
5	80	8
6	101	8
7	112	8
8	118	8
9	122	8
10	125	8
done	125	8
0	7	9
1	15	9
2	29	9
3	45	8
4	58	8
5	80	8
6	101	8
7	112	8
8	118	8
9	122	8
10	125	8
done	125	8
0	7	9
1	15	9
2	29	9
3	45	8
4	58	8
5	80	8
6	101	8
7	112	8
8	118	8
9	122	8
10	125	8
done	125	8
0	7	7
1	12	5
2	22	4
3	26	4
4	28	4
done	28	4
0	9	13
1	17	11
2	32	11
3	45	11
4	65	11
5	86	11
6	103	11
7	126	11
8	169	11
9	231	11
10	232	11
done	232	11
0	5	5
1	7	5
2	8	5
done	8	5
0	11	23
1	19	19
2	25	19
3	32	19
4	39	19
5	48	19
6	57	19
7	87	19
8	103	19
9	137	19
10	199	19
11	213	19
12	227	19
13	233	19
14	241	19
done	241	19
0	10	12
1	16	10
2	22	10
3	29	10
4	36	10
5	45	10
6	54	10
7	84	10
8	100	10
9	134	10
10	199	10
11	212	10
12	227	10
13	233	10
14	241	10
done	241	10
0	3	3
1	5	1
done	5	1
0	10	12
1	16	10
2	27	10
3	49	10
4	67	10
5	81	10
6	93	10
7	130	10
8	159	10
9	208	10
10	297	10
11	321	10
12	347	10
13	370	10
14	389	10
15	391	10
done	391	10
0	10	12
1	16	10
2	27	10
3	49	10
4	67	10
5	81	10
6	93	10
7	130	10
8	159	10
9	208	10
10	297	10
11	321	10
12	347	10
13	370	10
14	389	10
15	391	10
done	391	10
0	9	11
1	15	9
2	26	9
3	49	8
4	70	8
5	100	8
6	149	8
7	221	8
8	591	8
9	1245	8
10	2746	7
done	5001	7
0	7	9
1	12	9
2	14	9
done	14	9
0	6	8
1	15	8
2	20	8
3	23	8
done	23	8
0	6	8
1	12	8
2	18	8
3	22	8
4	25	8
5	31	8
6	35	8
7	51	8
8	57	8
9	64	8
10	73	8
11	94	8
12	115	8
13	132	8
14	139	8
15	145	8
16	148	8
done	148	8
0	9	23
1	33	23
2	111	11
3	305	9
4	851	9
5	3001	9
done	5000	9
0	7	17
1	13	17
2	16	17
3	18	17
done	18	17
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	7	23
1	20	23
2	51	9
3	177	9
4	589	9
5	1821	9
done	5000	9
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	4	5
1	5	5
done	5	5
0	4	5
1	5	5
done	5	5
0	9	19
1	18	19
2	28	19
3	34	19
done	34	19
0	7	9
1	10	9
2	11	9
done	11	9
0	8	14
1	13	14
2	16	14
3	17	14
done	17	14
0	7	9
1	10	9
2	11	9
done	11	9
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	6	8
1	9	8
2	10	8
done	10	8
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	6	8
1	9	8
2	10	8
done	10	8
0	8	14
1	13	14
2	14	14
done	14	14
0	7	9
1	10	9
2	11	9
done	11	9
0	7	9
1	10	9
2	11	9
done	11	9
0	7	9
1	10	9
2	11	9
done	11	9
0	6	6
1	10	4
2	13	4
done	13	4
0	6	8
1	9	8
2	10	8
done	10	8
0	6	6
1	10	4
2	13	4
done	13	4
0	6	8
1	9	8
2	10	8
done	10	8
0	7	11
1	12	11
done	12	11
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	6	6
1	9	6
done	9	6
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	2	3
1	4	1
done	4	1
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	2	3
1	4	1
done	4	1
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	9	15
1	13	15
done	13	15
0	8	10
1	14	10
2	17	10
3	19	10
done	19	10
0	8	10
1	10	10
done	10	10
0	8	10
1	14	10
2	17	10
3	19	10
done	19	10
0	7	7
1	10	5
2	12	5
done	12	5
0	7	9
1	13	9
2	16	9
3	18	9
done	18	9
0	7	7
1	10	5
2	12	5
done	12	5
0	7	9
1	13	9
2	16	9
3	18	9
done	18	9
0	7	11
1	12	11
done	12	11
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	6	6
1	9	6
done	9	6
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	2	3
1	4	1
done	4	1
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	2	3
1	4	1
done	4	1
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	5	5
1	8	5
done	8	5
0	5	7
1	8	7
2	9	7
done	9	7
0	7	13
1	15	13
2	23	13
3	28	13
4	31	13
done	31	13
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	5	5
1	12	3
2	17	3
done	17	3
0	5	5
1	12	3
2	17	3
done	17	3
0	6	8
1	9	8
2	10	8
done	10	8
0	6	8
1	9	8
2	10	8
done	10	8
0	5	7
1	8	7
2	9	7
done	9	7
0	7	9
1	10	9
2	11	9
done	11	9
0	5	7
1	8	7
2	9	7
done	9	7
0	8	11
1	27	11
2	39	11
3	58	11
4	97	11
5	211	11
6	617	11
7	2464	11
done	5000	11
0	7	11
1	16	11
2	36	11
3	72	11
4	109	5
5	164	5
6	315	5
7	1486	5
done	5001	5
0	9	15
1	23	13
2	73	13
3	157	13
4	305	13
5	587	13
6	828	13
7	949	13
8	1032	13
9	1304	13
10	2424	13
done	5000	13
0	4	7
1	11	7
2	24	7
3	40	7
4	59	7
5	75	7
6	82	7
7	84	7
done	84	7
0	8	18
1	16	18
2	23	18
3	30	18
4	48	18
5	88	18
6	195	18
7	574	18
8	2232	18
done	5000	18
0	7	9
1	13	9
2	16	9
3	18	9
done	18	9
0	10	20
1	19	20
2	31	20
3	43	20
4	55	20
5	87	20
6	169	20
7	394	20
8	1707	20
done	5001	20
0	9	15
1	14	15
2	17	15
3	20	15
4	26	15
5	34	15
6	59	15
7	120	15
8	285	15
9	867	15
10	4287	15
done	5001	15
0	8	12
1	14	10
2	23	10
3	32	10
4	39	10
5	57	10
6	99	10
7	201	10
8	708	10
9	3026	10
done	5000	10
0	8	12
1	14	10
2	23	10
3	32	10
4	39	10
5	57	10
6	99	10
7	201	10
8	708	10
9	3026	10
done	5000	10
0	9	15
1	14	15
2	15	15
done	15	15
0	8	10
1	11	10
2	12	10
done	12	10
0	7	7
1	11	5
2	14	5
done	14	5
0	7	7
1	11	5
2	14	5
done	14	5
0	8	12
1	13	12
done	13	12
0	7	7
1	10	7
done	10	7
0	3	4
1	5	2
2	6	1
done	6	1
0	3	4
1	5	2
2	6	1
done	6	1
0	10	16
1	14	16
done	14	16
0	9	11
1	11	11
done	11	11
0	8	8
1	11	6
2	17	6
done	17	6
0	8	8
1	11	6
2	17	6
done	17	6
0	8	12
1	13	12
done	13	12
0	7	7
1	10	7
done	10	7
0	3	4
1	5	2
2	6	1
done	6	1
0	3	4
1	5	2
2	6	1
done	6	1
0	2	2
1	5	1
done	5	1
0	4	4
1	9	4
2	12	4
3	15	4
4	21	4
5	25	4
6	41	4
7	45	4
8	50	4
9	57	4
10	75	4
11	96	4
12	109	4
13	112	4
done	112	4
0	9	12
1	28	12
2	43	12
3	64	12
4	106	12
5	222	12
6	635	12
7	2476	12
done	5001	12
0	8	12
1	17	12
2	40	12
3	78	12
4	117	6
5	178	6
6	329	6
7	1525	6
done	5001	6
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	7	9
1	13	7
2	19	7
3	26	7
4	33	7
5	42	7
6	51	7
7	81	7
8	98	7
9	132	7
10	193	7
11	206	7
12	224	7
13	230	7
14	238	7
done	238	7
0	7	9
1	13	9
2	19	9
3	23	9
4	28	9
5	40	9
6	54	9
7	108	9
8	199	9
9	461	9
10	1349	9
11	4571	9
done	5001	9
0	8	19
1	14	19
2	20	19
3	24	19
4	27	19
5	33	19
6	37	19
7	53	19
8	59	19
9	66	19
10	75	19
11	96	19
12	117	19
13	130	19
14	137	19
15	143	19
16	146	19
done	146	19
0	7	9
1	13	9
2	19	9
3	23	9
4	26	9
5	32	9
6	36	9
7	52	9
8	58	9
9	65	9
10	74	9
11	94	9
12	115	9
13	132	9
14	139	9
15	145	9
16	148	9
done	148	9
0	8	26
1	17	25
2	35	10
3	96	10
4	297	10
5	890	10
6	2046	10
7	4906	10
done	5000	10
0	7	9
1	13	9
2	19	9
3	23	9
4	26	9
5	32	9
6	36	9
7	52	9
8	58	9
9	65	9
10	74	9
11	94	9
12	115	9
13	132	9
14	139	9
15	145	9
16	148	9
done	148	9
0	7	9
1	13	9
2	19	9
3	23	9
4	26	9
5	32	9
6	36	9
7	52	9
8	58	9
9	65	9
10	74	9
11	94	9
12	115	9
13	132	9
14	139	9
15	145	9
16	148	9
done	148	9
0	9	20
1	17	20
2	25	12
3	30	12
4	33	12
5	39	12
6	43	12
7	59	12
8	63	12
9	70	12
10	79	12
11	100	12
12	121	12
13	135	12
14	142	12
15	148	12
16	151	12
done	151	12
0	8	10
1	14	10
2	20	10
3	24	10
4	27	10
5	33	10
6	37	10
7	53	10
8	59	10
9	66	10
10	75	10
11	96	10
12	117	10
13	130	10
14	137	10
15	143	10
16	146	10
done	146	10
0	8	10
1	14	10
2	20	10
3	24	10
4	27	10
5	33	10
6	37	10
7	53	10
8	59	10
9	66	10
10	75	10
11	96	10
12	117	10
13	130	10
14	137	10
15	143	10
16	146	10
done	146	10
0	8	10
1	14	10
2	20	10
3	24	10
4	27	10
5	33	10
6	37	10
7	53	10
8	59	10
9	66	10
10	75	10
11	96	10
12	117	10
13	130	10
14	137	10
15	143	10
16	146	10
done	146	10
0	2	2
1	4	1
done	4	1
0	7	9
1	13	7
2	19	7
3	26	7
4	33	7
5	42	7
6	51	7
7	81	7
8	98	7
9	132	7
10	193	7
11	206	7
12	224	7
13	230	7
14	238	7
done	238	7
0	6	7
1	7	5
done	7	5
0	6	7
1	7	5
done	7	5
0	7	9
1	13	7
2	19	7
3	26	7
4	33	7
5	42	7
6	51	7
7	81	7
8	98	7
9	132	7
10	193	7
11	206	7
12	224	7
13	230	7
14	238	7
done	238	7
0	9	19
1	17	17
2	26	17
3	36	17
4	61	17
5	134	17
6	387	17
7	1366	17
done	5000	17
0	8	10
1	14	8
2	17	8
3	19	8
done	19	8
0	11	21
1	20	19
2	32	19
3	46	19
4	65	19
5	109	19
6	245	19
7	735	19
8	3689	19
done	5000	19
0	10	16
1	15	14
2	18	14
3	21	14
4	29	14
5	42	14
6	79	14
7	186	14
8	552	14
9	2190	14
done	5000	14
0	9	13
1	15	9
2	24	9
3	35	9
4	47	9
5	72	9
6	151	9
7	420	9
8	1666	9
done	5000	9
0	9	13
1	15	9
2	24	9
3	35	9
4	47	9
5	72	9
6	151	9
7	420	9
8	1666	9
done	5000	9
0	10	16
1	15	14
2	16	14
done	16	14
0	9	11
1	12	9
2	13	9
done	13	9
0	8	8
1	12	4
2	15	4
done	15	4
0	8	8
1	12	4
2	15	4
done	15	4
0	9	13
1	14	11
done	14	11
0	8	8
1	11	6
done	11	6
0	4	5
1	6	1
2	7	1
done	7	1
0	4	5
1	6	1
2	7	1
done	7	1
0	11	17
1	15	15
done	15	15
0	10	12
1	12	10
done	12	10
0	9	9
1	12	5
2	18	5
3	22	5
done	22	5
0	9	9
1	12	5
2	18	5
3	22	5
done	22	5
0	9	13
1	14	11
done	14	11
0	8	8
1	11	6
done	11	6
0	4	5
1	6	1
2	7	1
done	7	1
0	4	5
1	6	1
2	7	1
done	7	1
0	3	3
1	6	1
done	6	1
0	5	5
1	10	3
2	16	3
3	23	3
4	32	3
5	41	3
6	71	3
7	81	3
8	116	3
9	164	3
10	198	3
11	211	3
12	225	3
done	225	3
0	10	13
1	29	11
2	44	11
3	68	11
4	114	11
5	236	11
6	654	11
7	2519	11
done	5001	11
0	9	13
1	18	11
2	41	11
3	82	11
4	125	5
5	189	5
6	347	5
7	1518	5
done	5001	5
0	8	10
1	14	8
2	23	8
3	32	8
4	40	8
5	49	8
6	58	8
7	88	8
8	104	8
9	138	8
10	200	8
11	214	8
12	228	8
13	234	8
14	242	8
done	242	8
0	8	10
1	14	8
2	20	8
3	27	8
4	34	8
5	43	8
6	52	8
7	82	8
8	99	8
9	133	8
10	196	8
11	210	8
12	225	8
13	231	8
14	239	8
done	239	8
0	9	21
1	15	17
2	21	17
3	28	17
4	35	17
5	44	17
6	53	17
7	83	17
8	100	17
9	134	17
10	198	17
11	212	17
12	228	17
13	234	17
14	242	17
done	242	17
0	8	10
1	14	8
2	20	8
3	27	8
4	34	8
5	43	8
6	52	8
7	82	8
8	99	8
9	133	8
10	196	8
11	210	8
12	225	8
13	231	8
14	239	8
done	239	8
0	9	29
1	16	23
2	32	9
3	98	9
4	319	9
5	1052	9
6	3072	9
done	5001	9
0	8	10
1	14	8
2	20	8
3	27	8
4	34	8
5	43	8
6	52	8
7	82	8
8	99	8
9	133	8
10	196	8
11	210	8
12	225	8
13	231	8
14	239	8
done	239	8
0	8	10
1	14	8
2	20	8
3	27	8
4	34	8
5	43	8
6	52	8
7	82	8
8	99	8
9	133	8
10	196	8
11	210	8
12	225	8
13	231	8
14	239	8
done	239	8
0	1	1
1	3	1
done	3	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
1	3	1
done	3	1
0	1	1
1	3	1
done	3	1
0	2	2
done	2	2
0	1	1
1	3	1
2	5	1
done	5	1
0	1	1
1	3	1
2	5	1
done	5	1
0	1	1
done	1	1
0	1	1
1	3	1
done	3	1
0	1	1
1	3	1
done	3	1

prune266.0ms

Filtered

183 candidates to 267 candidates (-45.9%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	267	0	267
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	267	4	271

Merged error: 0b

Counts

271 → 4

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (cbrt (/ (neg (+ f n)) (- f n))) (cbrt (/ (neg (+ f n)) (- f n))))
0.0b	(/ (neg (+ f n)) (- f n))
0.0b	(/ (neg (+ f n)) (- f n))
0.0b	(/ (neg (+ f n)) (- f n))

rewrite191.0ms

Algorithm

rewrite-expression-head

Rules

889×	`*-un-lft-identity`
586×	`times-frac`
471×	`add-sqr-sqrt`
436×	`cbrt-prod`
241×	`add-cube-cbrt`
224×	`distribute-rgt-neg-in`
196×	`distribute-lft-neg-in`
149×	`swap-sqr`
143×	`distribute-lft-out--`
126×	`distribute-lft-out`
103×	`difference-of-squares`
69×	`associate-r` `associate-l`
42×	`neg-mul-1`
36×	`associate-/l*`
15×	`associate-/r*`
14×	`associate-/r/`
12×	`add-exp-log`
11×	`pow1`
10×	`add-cbrt-cube`
9×	`unswap-sqr`
7×	`flip3--` `flip--` `div-inv`
6×	`pow1/3` `associate-/l/` `distribute-neg-frac`
4×	`cbrt-div` `add-log-exp`
3×	`cbrt-undiv` `neg-sub0` `frac-2neg` `flip3-+` `div-sub` `distribute-frac-neg` `div-exp` `clear-num` `flip-+`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `frac-times` `pow-plus` `associate-r/` `associate-l/` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 602

Calls

4 calls:

97.0ms	(* (cbrt (/ (neg (+ f n)) (- f n))) (cbrt (/ (neg (+ f n)) (- f n))))
10.0ms	(/ (neg (+ f n)) (- f n))
11.0ms	(/ (neg (+ f n)) (- f n))
11.0ms	(/ (neg (+ f n)) (- f n))

series66.0ms

Counts

4 → 12

Calls

4 calls:

37.0ms	(* (cbrt (/ (neg (+ f n)) (- f n))) (cbrt (/ (neg (+ f n)) (- f n))))
10.0ms	(/ (neg (+ f n)) (- f n))
10.0ms	(/ (neg (+ f n)) (- f n))
10.0ms	(/ (neg (+ f n)) (- f n))

simplify1.6min

Counts

614 → 614

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	10
1	15	10
2	19	10
3	20	10
done	20	10
0	7	9
1	17	9
2	22	9
3	27	9
4	33	9
5	37	9
6	38	9
done	38	9
0	7	9
1	14	9
2	20	9
3	26	9
4	35	9
5	44	9
6	53	9
7	63	9
8	76	9
9	98	9
10	107	9
11	116	9
12	132	9
13	145	9
14	146	9
done	146	9
0	10	26
1	31	24
2	146	12
3	648	10
4	2011	10
done	5001	10
0	8	19
1	15	19
2	18	19
3	22	19
4	28	19
5	32	19
6	33	19
done	33	19
0	7	9
1	14	9
2	17	9
3	21	9
4	27	9
5	31	9
6	32	9
done	32	9
0	8	26
1	22	26
2	72	10
3	273	10
4	973	10
5	2946	10
done	5000	10
0	7	9
1	14	9
2	17	9
3	21	9
4	27	9
5	31	9
6	32	9
done	32	9
0	7	9
1	14	9
2	17	9
3	21	9
4	27	9
5	31	9
6	32	9
done	32	9
0	5	5
1	9	3
2	14	3
3	20	3
done	20	3
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	5	5
1	7	1
2	8	1
done	8	1
0	5	7
1	8	7
2	9	7
done	9	7
0	10	21
1	21	21
2	33	21
3	40	21
done	40	21
0	8	10
1	13	10
2	16	10
3	17	10
done	17	10
0	9	16
1	16	16
2	21	16
3	23	16
done	23	16
0	8	10
1	13	10
2	16	10
3	17	10
done	17	10
0	8	13
1	16	11
2	24	11
3	30	11
done	30	11
0	7	9
1	12	9
2	15	9
3	16	9
done	16	9
0	10	17
1	17	17
2	21	17
3	23	17
done	23	17
0	9	11
1	15	11
2	18	11
3	19	11
done	19	11
0	8	13
1	16	11
2	24	11
3	30	11
done	30	11
0	7	9
1	12	9
2	15	9
3	16	9
done	16	9
0	9	15
1	16	15
2	19	15
3	20	15
done	20	15
0	8	10
1	13	10
2	16	10
3	17	10
done	17	10
0	8	10
1	13	10
2	16	10
3	17	10
done	17	10
0	8	10
1	13	10
2	16	10
3	17	10
done	17	10
0	7	7
1	13	5
2	17	5
3	18	5
done	18	5
0	7	9
1	12	9
2	15	9
3	16	9
done	16	9
0	9	11
1	14	11
2	16	11
3	17	11
done	17	11
0	9	11
1	15	11
2	18	11
3	19	11
done	19	11
0	7	7
1	13	5
2	17	5
3	18	5
done	18	5
0	7	9
1	12	9
2	15	9
3	16	9
done	16	9
0	7	11
1	13	11
2	14	11
done	14	11
0	7	9
1	14	9
2	17	9
3	21	9
4	27	9
5	31	9
6	32	9
done	32	9
0	6	6
1	10	6
2	11	6
done	11	6
0	7	9
1	14	9
2	17	9
3	21	9
4	27	9
5	31	9
6	32	9
done	32	9
0	2	3
1	4	1
done	4	1
0	6	8
1	13	8
2	16	8
3	20	8
4	26	8
5	30	8
6	31	8
done	31	8
0	7	7
1	10	7
done	10	7
0	8	10
1	16	10
2	19	10
3	23	10
4	29	10
5	33	10
6	34	10
done	34	10
0	2	3
1	4	1
done	4	1
0	6	8
1	13	8
2	16	8
3	20	8
4	26	8
5	30	8
6	31	8
done	31	8
0	7	11
1	11	11
2	12	11
done	12	11
0	6	8
1	9	8
2	10	8
done	10	8
0	6	6
1	8	6
2	9	6
done	9	6
0	6	8
1	9	8
2	10	8
done	10	8
0	3	3
1	5	1
done	5	1
0	5	7
1	8	7
2	9	7
done	9	7
0	7	7
1	8	7
done	8	7
0	7	9
1	10	9
2	11	9
done	11	9
0	3	3
1	5	1
done	5	1
0	5	7
1	8	7
2	9	7
done	9	7
0	10	20
1	20	20
2	38	20
3	61	20
4	73	20
done	73	20
0	7	9
1	10	9
2	11	9
done	11	9
0	9	15
1	17	15
2	23	15
3	28	15
4	32	15
done	32	15
0	7	9
1	10	9
2	11	9
done	11	9
0	8	12
1	16	10
2	25	10
3	35	10
4	49	10
done	49	10
0	6	8
1	9	8
2	10	8
done	10	8
0	10	16
1	17	16
2	22	16
3	27	16
4	31	16
done	31	16
0	8	10
1	11	10
2	12	10
done	12	10
0	8	12
1	16	10
2	25	10
3	35	10
4	49	10
done	49	10
0	6	8
1	9	8
2	10	8
done	10	8
0	9	15
1	16	15
2	20	15
done	20	15
0	7	9
1	10	9
2	11	9
done	11	9
0	8	10
1	13	10
2	14	10
done	14	10
0	7	9
1	10	9
2	11	9
done	11	9
0	7	7
1	12	5
2	16	5
done	16	5
0	6	8
1	9	8
2	10	8
done	10	8
0	9	11
1	13	11
done	13	11
0	8	10
1	11	10
2	12	10
done	12	10
0	7	7
1	12	5
2	16	5
done	16	5
0	6	8
1	9	8
2	10	8
done	10	8
0	8	12
1	17	11
2	20	11
3	22	11
done	22	11
0	6	8
1	9	8
2	10	8
done	10	8
0	7	7
1	14	6
2	15	6
done	15	6
0	6	8
1	9	8
2	10	8
done	10	8
0	3	4
1	8	1
done	8	1
0	5	7
1	8	7
2	9	7
done	9	7
0	8	8
1	14	7
done	14	7
0	7	9
1	10	9
2	11	9
done	11	9
0	3	4
1	8	1
done	8	1
0	5	7
1	8	7
2	9	7
done	9	7
0	8	12
1	17	11
2	20	11
3	22	11
done	22	11
0	6	8
1	9	8
2	10	8
done	10	8
0	7	7
1	14	6
2	15	6
done	15	6
0	6	8
1	9	8
2	10	8
done	10	8
0	3	4
1	8	1
done	8	1
0	5	7
1	8	7
2	9	7
done	9	7
0	8	8
1	14	7
done	14	7
0	7	9
1	10	9
2	11	9
done	11	9
0	3	4
1	8	1
done	8	1
0	5	7
1	8	7
2	9	7
done	9	7
0	9	19
1	18	19
2	28	19
3	34	19
done	34	19
0	8	10
1	13	10
2	14	10
done	14	10
0	8	14
1	13	14
2	16	14
3	17	14
done	17	14
0	8	10
1	13	10
2	14	10
done	14	10
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	7	9
1	12	9
2	13	9
done	13	9
0	9	15
1	13	15
2	15	15
3	16	15
done	16	15
0	9	11
1	14	11
2	15	11
done	15	11
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	7	9
1	12	9
2	13	9
done	13	9
0	8	14
1	13	14
2	14	14
done	14	14
0	8	10
1	13	10
2	14	10
done	14	10
0	7	9
1	10	9
2	11	9
done	11	9
0	8	10
1	13	10
2	14	10
done	14	10
0	6	6
1	9	4
2	11	4
done	11	4
0	7	9
1	12	9
2	13	9
done	13	9
0	8	10
1	10	10
done	10	10
0	9	11
1	14	11
2	15	11
done	15	11
0	6	6
1	9	4
2	11	4
done	11	4
0	7	9
1	12	9
2	13	9
done	13	9
0	7	11
1	13	11
2	14	11
done	14	11
0	7	9
1	14	9
2	17	9
3	21	9
4	27	9
5	31	9
6	32	9
done	32	9
0	6	6
1	10	6
2	11	6
done	11	6
0	7	9
1	14	9
2	17	9
3	21	9
4	27	9
5	31	9
6	32	9
done	32	9
0	2	3
1	4	1
done	4	1
0	6	8
1	13	8
2	16	8
3	20	8
4	26	8
5	30	8
6	31	8
done	31	8
0	7	7
1	10	7
done	10	7
0	8	10
1	16	10
2	19	10
3	23	10
4	29	10
5	33	10
6	34	10
done	34	10
0	2	3
1	4	1
done	4	1
0	6	8
1	13	8
2	16	8
3	20	8
4	26	8
5	30	8
6	31	8
done	31	8
0	7	11
1	13	11
2	14	11
done	14	11
0	7	9
1	14	9
2	17	9
3	21	9
4	27	9
5	31	9
6	32	9
done	32	9
0	6	6
1	10	6
2	11	6
done	11	6
0	7	9
1	14	9
2	17	9
3	21	9
4	27	9
5	31	9
6	32	9
done	32	9
0	2	3
1	4	1
done	4	1
0	6	8
1	13	8
2	16	8
3	20	8
4	26	8
5	30	8
6	31	8
done	31	8
0	7	7
1	10	7
done	10	7
0	8	10
1	16	10
2	19	10
3	23	10
4	29	10
5	33	10
6	34	10
done	34	10
0	2	3
1	4	1
done	4	1
0	6	8
1	13	8
2	16	8
3	20	8
4	26	8
5	30	8
6	31	8
done	31	8
0	5	5
1	9	5
2	10	5
done	10	5
0	6	8
1	14	8
2	19	8
3	22	8
done	22	8
0	5	7
1	8	7
2	9	7
done	9	7
0	8	14
1	17	14
2	23	14
3	30	14
4	44	14
5	55	14
6	59	14
done	59	14
0	7	9
1	14	9
2	17	9
3	21	9
4	27	9
5	31	9
6	32	9
done	32	9
0	6	6
1	14	4
2	20	4
3	24	4
4	30	4
5	38	4
done	38	4
0	8	10
1	15	10
2	17	10
3	21	10
4	27	10
5	31	10
6	32	10
done	32	10
0	6	6
1	14	4
2	20	4
3	24	4
4	30	4
5	38	4
done	38	4
0	7	9
1	15	9
2	20	9
3	23	9
done	23	9
0	7	9
1	15	9
2	20	9
3	23	9
done	23	9
0	6	8
1	14	8
2	19	8
3	22	8
done	22	8
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	7	9
1	13	9
2	16	9
3	18	9
done	18	9
0	7	9
1	13	9
2	16	9
3	18	9
done	18	9
0	6	8
1	14	8
2	19	8
3	22	8
done	22	8
0	6	8
1	14	8
2	19	8
3	22	8
done	22	8
0	9	12
1	30	12
2	53	12
3	95	12
4	207	12
5	611	12
6	2560	12
done	5000	12
0	8	12
1	18	12
2	29	12
3	59	5
4	106	5
5	162	5
6	230	5
7	401	5
8	1652	5
done	5000	5
0	9	15
1	26	13
2	74	13
3	202	13
4	494	13
5	1263	13
6	3143	13
7	4779	13
done	5000	13
0	4	7
1	6	7
2	13	7
3	30	7
4	63	7
5	106	7
6	186	7
7	296	7
8	455	7
9	628	7
10	671	7
11	672	7
done	672	7
0	8	10
1	15	10
2	19	10
3	20	10
done	20	10
0	7	9
1	17	9
2	22	9
3	27	9
4	33	9
5	37	9
6	38	9
done	38	9
0	7	9
1	14	9
2	20	9
3	26	9
4	35	9
5	44	9
6	53	9
7	63	9
8	76	9
9	98	9
10	107	9
11	116	9
12	132	9
13	145	9
14	146	9
done	146	9
0	10	26
1	31	24
2	146	12
3	648	10
4	2011	10
done	5001	10
0	8	19
1	15	19
2	18	19
3	22	19
4	28	19
5	32	19
6	33	19
done	33	19
0	7	9
1	14	9
2	17	9
3	21	9
4	27	9
5	31	9
6	32	9
done	32	9
0	8	26
1	22	26
2	72	10
3	273	10
4	973	10
5	2946	10
done	5000	10
0	7	9
1	14	9
2	17	9
3	21	9
4	27	9
5	31	9
6	32	9
done	32	9
0	7	9
1	14	9
2	17	9
3	21	9
4	27	9
5	31	9
6	32	9
done	32	9
0	5	5
1	9	3
2	14	3
3	20	3
done	20	3
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	5	5
1	7	1
2	8	1
done	8	1
0	5	7
1	8	7
2	9	7
done	9	7
0	10	21
1	21	21
2	33	21
3	40	21
done	40	21
0	8	10
1	13	10
2	16	10
3	17	10
done	17	10
0	9	16
1	16	16
2	21	16
3	23	16
done	23	16
0	8	10
1	13	10
2	16	10
3	17	10
done	17	10
0	8	13
1	16	11
2	24	11
3	30	11
done	30	11
0	7	9
1	12	9
2	15	9
3	16	9
done	16	9
0	10	17
1	17	17
2	21	17
3	23	17
done	23	17
0	9	11
1	15	11
2	18	11
3	19	11
done	19	11
0	8	13
1	16	11
2	24	11
3	30	11
done	30	11
0	7	9
1	12	9
2	15	9
3	16	9
done	16	9
0	9	15
1	16	15
2	19	15
3	20	15
done	20	15
0	8	10
1	13	10
2	16	10
3	17	10
done	17	10
0	8	10
1	13	10
2	16	10
3	17	10
done	17	10
0	8	10
1	13	10
2	16	10
3	17	10
done	17	10
0	7	7
1	13	5
2	17	5
3	18	5
done	18	5
0	7	9
1	12	9
2	15	9
3	16	9
done	16	9
0	9	11
1	14	11
2	16	11
3	17	11
done	17	11
0	9	11
1	15	11
2	18	11
3	19	11
done	19	11
0	7	7
1	13	5
2	17	5
3	18	5
done	18	5
0	7	9
1	12	9
2	15	9
3	16	9
done	16	9
0	7	11
1	13	11
2	14	11
done	14	11
0	7	9
1	14	9
2	17	9
3	21	9
4	27	9
5	31	9
6	32	9
done	32	9
0	6	6
1	10	6
2	11	6
done	11	6
0	7	9
1	14	9
2	17	9
3	21	9
4	27	9
5	31	9
6	32	9
done	32	9
0	2	3
1	4	1
done	4	1
0	6	8
1	13	8
2	16	8
3	20	8
4	26	8
5	30	8
6	31	8
done	31	8
0	7	7
1	10	7
done	10	7
0	8	10
1	16	10
2	19	10
3	23	10
4	29	10
5	33	10
6	34	10
done	34	10
0	2	3
1	4	1
done	4	1
0	6	8
1	13	8
2	16	8
3	20	8
4	26	8
5	30	8
6	31	8
done	31	8
0	7	11
1	11	11
2	12	11
done	12	11
0	6	8
1	9	8
2	10	8
done	10	8
0	6	6
1	8	6
2	9	6
done	9	6
0	6	8
1	9	8
2	10	8
done	10	8
0	3	3
1	5	1
done	5	1
0	5	7
1	8	7
2	9	7
done	9	7
0	7	7
1	8	7
done	8	7
0	7	9
1	10	9
2	11	9
done	11	9
0	3	3
1	5	1
done	5	1
0	5	7
1	8	7
2	9	7
done	9	7
0	10	20
1	20	20
2	38	20
3	61	20
4	73	20
done	73	20
0	7	9
1	10	9
2	11	9
done	11	9
0	9	15
1	17	15
2	23	15
3	28	15
4	32	15
done	32	15
0	7	9
1	10	9
2	11	9
done	11	9
0	8	12
1	16	10
2	25	10
3	35	10
4	49	10
done	49	10
0	6	8
1	9	8
2	10	8
done	10	8
0	10	16
1	17	16
2	22	16
3	27	16
4	31	16
done	31	16
0	8	10
1	11	10
2	12	10
done	12	10
0	8	12
1	16	10
2	25	10
3	35	10
4	49	10
done	49	10
0	6	8
1	9	8
2	10	8
done	10	8
0	9	15
1	16	15
2	20	15
done	20	15
0	7	9
1	10	9
2	11	9
done	11	9
0	8	10
1	13	10
2	14	10
done	14	10
0	7	9
1	10	9
2	11	9
done	11	9
0	7	7
1	12	5
2	16	5
done	16	5
0	6	8
1	9	8
2	10	8
done	10	8
0	9	11
1	13	11
done	13	11
0	8	10
1	11	10
2	12	10
done	12	10
0	7	7
1	12	5
2	16	5
done	16	5
0	6	8
1	9	8
2	10	8
done	10	8
0	8	12
1	17	11
2	20	11
3	22	11
done	22	11
0	6	8
1	9	8
2	10	8
done	10	8
0	7	7
1	14	6
2	15	6
done	15	6
0	6	8
1	9	8
2	10	8
done	10	8
0	3	4
1	8	1
done	8	1
0	5	7
1	8	7
2	9	7
done	9	7
0	8	8
1	14	7
done	14	7
0	7	9
1	10	9
2	11	9
done	11	9
0	3	4
1	8	1
done	8	1
0	5	7
1	8	7
2	9	7
done	9	7
0	8	12
1	17	11
2	20	11
3	22	11
done	22	11
0	6	8
1	9	8
2	10	8
done	10	8
0	7	7
1	14	6
2	15	6
done	15	6
0	6	8
1	9	8
2	10	8
done	10	8
0	3	4
1	8	1
done	8	1
0	5	7
1	8	7
2	9	7
done	9	7
0	8	8
1	14	7
done	14	7
0	7	9
1	10	9
2	11	9
done	11	9
0	3	4
1	8	1
done	8	1
0	5	7
1	8	7
2	9	7
done	9	7
0	9	19
1	18	19
2	28	19
3	34	19
done	34	19
0	8	10
1	13	10
2	14	10
done	14	10
0	8	14
1	13	14
2	16	14
3	17	14
done	17	14
0	8	10
1	13	10
2	14	10
done	14	10
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	7	9
1	12	9
2	13	9
done	13	9
0	9	15
1	13	15
2	15	15
3	16	15
done	16	15
0	9	11
1	14	11
2	15	11
done	15	11
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	7	9
1	12	9
2	13	9
done	13	9
0	8	14
1	13	14
2	14	14
done	14	14
0	8	10
1	13	10
2	14	10
done	14	10
0	7	9
1	10	9
2	11	9
done	11	9
0	8	10
1	13	10
2	14	10
done	14	10
0	6	6
1	9	4
2	11	4
done	11	4
0	7	9
1	12	9
2	13	9
done	13	9
0	8	10
1	10	10
done	10	10
0	9	11
1	14	11
2	15	11
done	15	11
0	6	6
1	9	4
2	11	4
done	11	4
0	7	9
1	12	9
2	13	9
done	13	9
0	7	11
1	13	11
2	14	11
done	14	11
0	7	9
1	14	9
2	17	9
3	21	9
4	27	9
5	31	9
6	32	9
done	32	9
0	6	6
1	10	6
2	11	6
done	11	6
0	7	9
1	14	9
2	17	9
3	21	9
4	27	9
5	31	9
6	32	9
done	32	9
0	2	3
1	4	1
done	4	1
0	6	8
1	13	8
2	16	8
3	20	8
4	26	8
5	30	8
6	31	8
done	31	8
0	7	7
1	10	7
done	10	7
0	8	10
1	16	10
2	19	10
3	23	10
4	29	10
5	33	10
6	34	10
done	34	10
0	2	3
1	4	1
done	4	1
0	6	8
1	13	8
2	16	8
3	20	8
4	26	8
5	30	8
6	31	8
done	31	8
0	7	11
1	13	11
2	14	11
done	14	11
0	7	9
1	14	9
2	17	9
3	21	9
4	27	9
5	31	9
6	32	9
done	32	9
0	6	6
1	10	6
2	11	6
done	11	6
0	7	9
1	14	9
2	17	9
3	21	9
4	27	9
5	31	9
6	32	9
done	32	9
0	2	3
1	4	1
done	4	1
0	6	8
1	13	8
2	16	8
3	20	8
4	26	8
5	30	8
6	31	8
done	31	8
0	7	7
1	10	7
done	10	7
0	8	10
1	16	10
2	19	10
3	23	10
4	29	10
5	33	10
6	34	10
done	34	10
0	2	3
1	4	1
done	4	1
0	6	8
1	13	8
2	16	8
3	20	8
4	26	8
5	30	8
6	31	8
done	31	8
0	5	5
1	9	5
2	10	5
done	10	5
0	6	8
1	14	8
2	19	8
3	22	8
done	22	8
0	5	7
1	8	7
2	9	7
done	9	7
0	8	14
1	17	14
2	23	14
3	30	14
4	44	14
5	55	14
6	59	14
done	59	14
0	7	9
1	14	9
2	17	9
3	21	9
4	27	9
5	31	9
6	32	9
done	32	9
0	6	6
1	14	4
2	20	4
3	24	4
4	30	4
5	38	4
done	38	4
0	8	10
1	15	10
2	17	10
3	21	10
4	27	10
5	31	10
6	32	10
done	32	10
0	6	6
1	14	4
2	20	4
3	24	4
4	30	4
5	38	4
done	38	4
0	7	9
1	15	9
2	20	9
3	23	9
done	23	9
0	7	9
1	15	9
2	20	9
3	23	9
done	23	9
0	6	8
1	14	8
2	19	8
3	22	8
done	22	8
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	7	9
1	13	9
2	16	9
3	18	9
done	18	9
0	7	9
1	13	9
2	16	9
3	18	9
done	18	9
0	6	8
1	14	8
2	19	8
3	22	8
done	22	8
0	6	8
1	14	8
2	19	8
3	22	8
done	22	8
0	9	12
1	30	12
2	53	12
3	95	12
4	207	12
5	611	12
6	2560	12
done	5000	12
0	8	12
1	18	12
2	29	12
3	59	5
4	106	5
5	162	5
6	230	5
7	401	5
8	1652	5
done	5000	5
0	9	15
1	26	13
2	74	13
3	202	13
4	494	13
5	1263	13
6	3143	13
7	4779	13
done	5000	13
0	4	7
1	6	7
2	13	7
3	30	7
4	63	7
5	106	7
6	186	7
7	296	7
8	455	7
9	628	7
10	671	7
11	672	7
done	672	7
0	8	10
1	15	10
2	19	10
3	20	10
done	20	10
0	7	9
1	17	9
2	22	9
3	27	9
4	33	9
5	37	9
6	38	9
done	38	9
0	7	9
1	14	9
2	20	9
3	26	9
4	35	9
5	44	9
6	53	9
7	63	9
8	76	9
9	98	9
10	107	9
11	116	9
12	132	9
13	145	9
14	146	9
done	146	9
0	10	26
1	31	24
2	146	12
3	648	10
4	2011	10
done	5001	10
0	8	19
1	15	19
2	18	19
3	22	19
4	28	19
5	32	19
6	33	19
done	33	19
0	7	9
1	14	9
2	17	9
3	21	9
4	27	9
5	31	9
6	32	9
done	32	9
0	8	26
1	22	26
2	72	10
3	273	10
4	973	10
5	2946	10
done	5000	10
0	7	9
1	14	9
2	17	9
3	21	9
4	27	9
5	31	9
6	32	9
done	32	9
0	7	9
1	14	9
2	17	9
3	21	9
4	27	9
5	31	9
6	32	9
done	32	9
0	5	5
1	9	3
2	14	3
3	20	3
done	20	3
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	5	5
1	7	1
2	8	1
done	8	1
0	5	7
1	8	7
2	9	7
done	9	7
0	10	21
1	21	21
2	33	21
3	40	21
done	40	21
0	8	10
1	13	10
2	16	10
3	17	10
done	17	10
0	9	16
1	16	16
2	21	16
3	23	16
done	23	16
0	8	10
1	13	10
2	16	10
3	17	10
done	17	10
0	8	13
1	16	11
2	24	11
3	30	11
done	30	11
0	7	9
1	12	9
2	15	9
3	16	9
done	16	9
0	10	17
1	17	17
2	21	17
3	23	17
done	23	17
0	9	11
1	15	11
2	18	11
3	19	11
done	19	11
0	8	13
1	16	11
2	24	11
3	30	11
done	30	11
0	7	9
1	12	9
2	15	9
3	16	9
done	16	9
0	9	15
1	16	15
2	19	15
3	20	15
done	20	15
0	8	10
1	13	10
2	16	10
3	17	10
done	17	10
0	8	10
1	13	10
2	16	10
3	17	10
done	17	10
0	8	10
1	13	10
2	16	10
3	17	10
done	17	10
0	7	7
1	13	5
2	17	5
3	18	5
done	18	5
0	7	9
1	12	9
2	15	9
3	16	9
done	16	9
0	9	11
1	14	11
2	16	11
3	17	11
done	17	11
0	9	11
1	15	11
2	18	11
3	19	11
done	19	11
0	7	7
1	13	5
2	17	5
3	18	5
done	18	5
0	7	9
1	12	9
2	15	9
3	16	9
done	16	9
0	7	11
1	13	11
2	14	11
done	14	11
0	7	9
1	14	9
2	17	9
3	21	9
4	27	9
5	31	9
6	32	9
done	32	9
0	6	6
1	10	6
2	11	6
done	11	6
0	7	9
1	14	9
2	17	9
3	21	9
4	27	9
5	31	9
6	32	9
done	32	9
0	2	3
1	4	1
done	4	1
0	6	8
1	13	8
2	16	8
3	20	8
4	26	8
5	30	8
6	31	8
done	31	8
0	7	7
1	10	7
done	10	7
0	8	10
1	16	10
2	19	10
3	23	10
4	29	10
5	33	10
6	34	10
done	34	10
0	2	3
1	4	1
done	4	1
0	6	8
1	13	8
2	16	8
3	20	8
4	26	8
5	30	8
6	31	8
done	31	8
0	7	11
1	11	11
2	12	11
done	12	11
0	6	8
1	9	8
2	10	8
done	10	8
0	6	6
1	8	6
2	9	6
done	9	6
0	6	8
1	9	8
2	10	8
done	10	8
0	3	3
1	5	1
done	5	1
0	5	7
1	8	7
2	9	7
done	9	7
0	7	7
1	8	7
done	8	7
0	7	9
1	10	9
2	11	9
done	11	9
0	3	3
1	5	1
done	5	1
0	5	7
1	8	7
2	9	7
done	9	7
0	10	20
1	20	20
2	38	20
3	61	20
4	73	20
done	73	20
0	7	9
1	10	9
2	11	9
done	11	9
0	9	15
1	17	15
2	23	15
3	28	15
4	32	15
done	32	15
0	7	9
1	10	9
2	11	9
done	11	9
0	8	12
1	16	10
2	25	10
3	35	10
4	49	10
done	49	10
0	6	8
1	9	8
2	10	8
done	10	8
0	10	16
1	17	16
2	22	16
3	27	16
4	31	16
done	31	16
0	8	10
1	11	10
2	12	10
done	12	10
0	8	12
1	16	10
2	25	10
3	35	10
4	49	10
done	49	10
0	6	8
1	9	8
2	10	8
done	10	8
0	9	15
1	16	15
2	20	15
done	20	15
0	7	9
1	10	9
2	11	9
done	11	9
0	8	10
1	13	10
2	14	10
done	14	10
0	7	9
1	10	9
2	11	9
done	11	9
0	7	7
1	12	5
2	16	5
done	16	5
0	6	8
1	9	8
2	10	8
done	10	8
0	9	11
1	13	11
done	13	11
0	8	10
1	11	10
2	12	10
done	12	10
0	7	7
1	12	5
2	16	5
done	16	5
0	6	8
1	9	8
2	10	8
done	10	8
0	8	12
1	17	11
2	20	11
3	22	11
done	22	11
0	6	8
1	9	8
2	10	8
done	10	8
0	7	7
1	14	6
2	15	6
done	15	6
0	6	8
1	9	8
2	10	8
done	10	8
0	3	4
1	8	1
done	8	1
0	5	7
1	8	7
2	9	7
done	9	7
0	8	8
1	14	7
done	14	7
0	7	9
1	10	9
2	11	9
done	11	9
0	3	4
1	8	1
done	8	1
0	5	7
1	8	7
2	9	7
done	9	7
0	8	12
1	17	11
2	20	11
3	22	11
done	22	11
0	6	8
1	9	8
2	10	8
done	10	8
0	7	7
1	14	6
2	15	6
done	15	6
0	6	8
1	9	8
2	10	8
done	10	8
0	3	4
1	8	1
done	8	1
0	5	7
1	8	7
2	9	7
done	9	7
0	8	8
1	14	7
done	14	7
0	7	9
1	10	9
2	11	9
done	11	9
0	3	4
1	8	1
done	8	1
0	5	7
1	8	7
2	9	7
done	9	7
0	9	19
1	18	19
2	28	19
3	34	19
done	34	19
0	8	10
1	13	10
2	14	10
done	14	10
0	8	14
1	13	14
2	16	14
3	17	14
done	17	14
0	8	10
1	13	10
2	14	10
done	14	10
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	7	9
1	12	9
2	13	9
done	13	9
0	9	15
1	13	15
2	15	15
3	16	15
done	16	15
0	9	11
1	14	11
2	15	11
done	15	11
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	7	9
1	12	9
2	13	9
done	13	9
0	8	14
1	13	14
2	14	14
done	14	14
0	8	10
1	13	10
2	14	10
done	14	10
0	7	9
1	10	9
2	11	9
done	11	9
0	8	10
1	13	10
2	14	10
done	14	10
0	6	6
1	9	4
2	11	4
done	11	4
0	7	9
1	12	9
2	13	9
done	13	9
0	8	10
1	10	10
done	10	10
0	9	11
1	14	11
2	15	11
done	15	11
0	6	6
1	9	4
2	11	4
done	11	4
0	7	9
1	12	9
2	13	9
done	13	9
0	7	11
1	13	11
2	14	11
done	14	11
0	7	9
1	14	9
2	17	9
3	21	9
4	27	9
5	31	9
6	32	9
done	32	9
0	6	6
1	10	6
2	11	6
done	11	6
0	7	9
1	14	9
2	17	9
3	21	9
4	27	9
5	31	9
6	32	9
done	32	9
0	2	3
1	4	1
done	4	1
0	6	8
1	13	8
2	16	8
3	20	8
4	26	8
5	30	8
6	31	8
done	31	8
0	7	7
1	10	7
done	10	7
0	8	10
1	16	10
2	19	10
3	23	10
4	29	10
5	33	10
6	34	10
done	34	10
0	2	3
1	4	1
done	4	1
0	6	8
1	13	8
2	16	8
3	20	8
4	26	8
5	30	8
6	31	8
done	31	8
0	7	11
1	13	11
2	14	11
done	14	11
0	7	9
1	14	9
2	17	9
3	21	9
4	27	9
5	31	9
6	32	9
done	32	9
0	6	6
1	10	6
2	11	6
done	11	6
0	7	9
1	14	9
2	17	9
3	21	9
4	27	9
5	31	9
6	32	9
done	32	9
0	2	3
1	4	1
done	4	1
0	6	8
1	13	8
2	16	8
3	20	8
4	26	8
5	30	8
6	31	8
done	31	8
0	7	7
1	10	7
done	10	7
0	8	10
1	16	10
2	19	10
3	23	10
4	29	10
5	33	10
6	34	10
done	34	10
0	2	3
1	4	1
done	4	1
0	6	8
1	13	8
2	16	8
3	20	8
4	26	8
5	30	8
6	31	8
done	31	8
0	5	5
1	9	5
2	10	5
done	10	5
0	6	8
1	14	8
2	19	8
3	22	8
done	22	8
0	5	7
1	8	7
2	9	7
done	9	7
0	8	14
1	17	14
2	23	14
3	30	14
4	44	14
5	55	14
6	59	14
done	59	14
0	7	9
1	14	9
2	17	9
3	21	9
4	27	9
5	31	9
6	32	9
done	32	9
0	6	6
1	14	4
2	20	4
3	24	4
4	30	4
5	38	4
done	38	4
0	8	10
1	15	10
2	17	10
3	21	10
4	27	10
5	31	10
6	32	10
done	32	10
0	6	6
1	14	4
2	20	4
3	24	4
4	30	4
5	38	4
done	38	4
0	7	9
1	15	9
2	20	9
3	23	9
done	23	9
0	7	9
1	15	9
2	20	9
3	23	9
done	23	9
0	6	8
1	14	8
2	19	8
3	22	8
done	22	8
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	7	9
1	13	9
2	16	9
3	18	9
done	18	9
0	7	9
1	13	9
2	16	9
3	18	9
done	18	9
0	6	8
1	14	8
2	19	8
3	22	8
done	22	8
0	6	8
1	14	8
2	19	8
3	22	8
done	22	8
0	9	12
1	30	12
2	53	12
3	95	12
4	207	12
5	611	12
6	2560	12
done	5000	12
0	8	12
1	18	12
2	29	12
3	59	5
4	106	5
5	162	5
6	230	5
7	401	5
8	1652	5
done	5000	5
0	9	15
1	26	13
2	74	13
3	202	13
4	494	13
5	1263	13
6	3143	13
7	4779	13
done	5000	13
0	4	7
1	6	7
2	13	7
3	30	7
4	63	7
5	106	7
6	186	7
7	296	7
8	455	7
9	628	7
10	671	7
11	672	7
done	672	7
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	7	17
1	18	17
2	46	15
3	131	15
4	330	15
5	774	15
6	1450	15
7	2324	15
8	3446	15
done	5001	15
0	8	19
1	15	19
2	18	19
3	22	19
4	28	19
5	32	19
6	33	19
done	33	19
0	2	3
1	6	1
done	6	1
0	9	21
1	18	12
2	22	12
3	26	12
4	32	12
5	36	12
6	37	12
done	37	12
0	9	20
1	18	20
2	23	12
3	28	12
4	34	12
5	38	12
6	39	12
done	39	12
0	9	20
1	18	20
2	25	20
3	34	20
4	58	20
5	102	20
6	214	20
7	603	20
8	2290	20
done	5000	20
0	7	17
1	18	17
2	46	15
3	131	15
4	330	15
5	774	15
6	1450	15
7	2324	15
8	3446	15
done	5001	15
0	10	41
1	17	41
2	20	41
3	24	41
4	30	41
5	34	41
6	35	41
done	35	41
0	9	20
1	16	20
2	19	20
3	23	20
4	29	20
5	33	20
6	34	20
done	34	20
0	10	59
1	25	59
2	36	21
3	54	11
4	119	11
5	352	11
6	1220	11
done	5000	11
0	9	20
1	17	10
2	20	10
3	24	10
4	30	10
5	34	10
6	35	10
done	35	10
0	9	20
1	17	10
2	20	10
3	24	10
4	30	10
5	34	10
6	35	10
done	35	10
0	6	11
1	10	11
2	12	11
3	13	11
done	13	11
0	5	9
1	7	9
2	8	9
done	8	9
0	10	41
1	17	41
2	20	41
3	24	41
4	30	41
5	34	41
6	35	41
done	35	41
0	9	21
1	16	21
2	19	21
3	23	21
4	29	21
5	33	21
6	34	21
done	34	21
0	9	21
1	16	21
2	19	21
3	23	21
4	29	21
5	33	21
6	34	21
done	34	21
0	9	21
1	16	21
2	19	21
3	23	21
4	29	21
5	33	21
6	34	21
done	34	21
0	12	45
1	23	45
2	35	45
3	42	45
done	42	45
0	10	23
1	15	23
2	18	23
3	19	23
done	19	23
0	11	35
1	18	35
2	23	35
3	25	35
done	25	35
0	10	23
1	15	23
2	18	23
3	19	23
done	19	23
0	10	29
1	18	25
2	26	25
3	32	25
done	32	25
0	9	21
1	14	21
2	17	21
3	18	21
done	18	21
0	10	29
1	18	25
2	26	25
3	32	25
done	32	25
0	9	21
1	14	21
2	17	21
3	18	21
done	18	21
0	12	37
1	19	37
2	23	37
3	25	37
done	25	37
0	11	25
1	17	25
2	20	25
3	21	25
done	21	25
0	10	29
1	18	25
2	26	25
3	32	25
done	32	25
0	9	21
1	14	21
2	17	21
3	18	21
done	18	21
0	10	29
1	18	25
2	26	25
3	32	25
done	32	25
0	9	21
1	14	21
2	17	21
3	18	21
done	18	21
0	11	33
1	18	33
2	21	33
3	22	33
done	22	33
0	10	23
1	15	23
2	18	23
3	19	23
done	19	23
0	10	23
1	15	23
2	18	23
3	19	23
done	19	23
0	10	23
1	15	23
2	18	23
3	19	23
done	19	23
0	9	17
1	15	13
2	19	13
3	20	13
done	20	13
0	9	21
1	14	21
2	17	21
3	18	21
done	18	21
0	9	17
1	15	13
2	19	13
3	20	13
done	20	13
0	9	21
1	14	21
2	17	21
3	18	21
done	18	21
0	11	25
1	16	25
2	18	25
3	19	25
done	19	25
0	11	25
1	17	25
2	20	25
3	21	25
done	21	25
0	9	17
1	15	13
2	19	13
3	20	13
done	20	13
0	9	21
1	14	21
2	17	21
3	18	21
done	18	21
0	9	17
1	15	13
2	19	13
3	20	13
done	20	13
0	9	21
1	14	21
2	17	21
3	18	21
done	18	21
0	9	25
1	15	25
2	16	25
done	16	25
0	9	21
1	16	21
2	19	21
3	23	21
4	29	21
5	33	21
6	34	21
done	34	21
0	9	25
1	15	25
2	16	25
done	16	25
0	9	21
1	16	21
2	19	21
3	23	21
4	29	21
5	33	21
6	34	21
done	34	21
0	9	25
1	15	25
2	16	25
done	16	25
0	9	21
1	16	21
2	19	21
3	23	21
4	29	21
5	33	21
6	34	21
done	34	21
0	8	15
1	12	15
2	13	15
done	13	15
0	9	21
1	16	21
2	19	21
3	23	21
4	29	21
5	33	21
6	34	21
done	34	21
0	8	15
1	12	15
2	13	15
done	13	15
0	9	21
1	16	21
2	19	21
3	23	21
4	29	21
5	33	21
6	34	21
done	34	21
0	8	15
1	12	15
2	13	15
done	13	15
0	9	21
1	16	21
2	19	21
3	23	21
4	29	21
5	33	21
6	34	21
done	34	21
0	4	9
1	6	3
done	6	1
0	8	19
1	15	19
2	18	19
3	22	19
4	28	19
5	32	19
6	33	19
done	33	19
0	4	9
1	6	3
done	6	1
0	8	19
1	15	19
2	18	19
3	22	19
4	28	19
5	32	19
6	33	19
done	33	19
0	4	9
1	6	3
done	6	1
0	8	19
1	15	19
2	18	19
3	22	19
4	28	19
5	32	19
6	33	19
done	33	19
0	4	9
1	6	3
done	6	1
0	8	19
1	15	19
2	18	19
3	22	19
4	28	19
5	32	19
6	33	19
done	33	19
0	4	9
1	6	3
done	6	1
0	8	19
1	15	19
2	18	19
3	22	19
4	28	19
5	32	19
6	33	19
done	33	19
0	4	9
1	6	3
done	6	1
0	8	19
1	15	19
2	18	19
3	22	19
4	28	19
5	32	19
6	33	19
done	33	19
0	9	17
1	12	17
done	12	17
0	10	23
1	18	23
2	21	23
3	25	23
4	31	23
5	35	23
6	36	23
done	36	23
0	9	17
1	12	17
done	12	17
0	10	23
1	18	23
2	21	23
3	25	23
4	31	23
5	35	23
6	36	23
done	36	23
0	9	17
1	12	17
done	12	17
0	10	23
1	18	23
2	21	23
3	25	23
4	31	23
5	35	23
6	36	23
done	36	23
0	4	9
1	6	3
done	6	1
0	8	19
1	15	19
2	18	19
3	22	19
4	28	19
5	32	19
6	33	19
done	33	19
0	4	9
1	6	3
done	6	1
0	8	19
1	15	19
2	18	19
3	22	19
4	28	19
5	32	19
6	33	19
done	33	19
0	4	9
1	6	3
done	6	1
0	8	19
1	15	19
2	18	19
3	22	19
4	28	19
5	32	19
6	33	19
done	33	19
0	4	9
1	6	3
done	6	1
0	8	19
1	15	19
2	18	19
3	22	19
4	28	19
5	32	19
6	33	19
done	33	19
0	4	9
1	6	3
done	6	1
0	8	19
1	15	19
2	18	19
3	22	19
4	28	19
5	32	19
6	33	19
done	33	19
0	4	9
1	6	3
done	6	1
0	8	19
1	15	19
2	18	19
3	22	19
4	28	19
5	32	19
6	33	19
done	33	19
0	9	25
1	13	25
2	14	25
done	14	25
0	8	19
1	11	19
2	12	19
done	12	19
0	8	15
1	10	15
2	11	15
done	11	15
0	8	19
1	11	19
2	12	19
done	12	19
0	5	9
1	7	5
done	7	5
0	7	17
1	10	17
2	11	17
done	11	17
0	5	9
1	7	5
done	7	5
0	7	17
1	10	17
2	11	17
done	11	17
0	9	17
1	10	17
done	10	17
0	9	21
1	12	21
2	13	21
done	13	21
0	5	9
1	7	5
done	7	5
0	7	17
1	10	17
2	11	17
done	11	17
0	5	9
1	7	5
done	7	5
0	7	17
1	10	17
2	11	17
done	11	17
0	12	43
1	22	43
2	40	43
3	63	43
4	75	43
done	75	43
0	9	21
1	12	21
2	13	21
done	13	21
0	11	33
1	19	33
2	25	33
3	30	33
4	34	33
done	34	33
0	9	21
1	12	21
2	13	21
done	13	21
0	10	27
1	18	23
2	27	23
3	37	23
4	51	23
done	51	23
0	8	19
1	11	19
2	12	19
done	12	19
0	10	27
1	18	23
2	27	23
3	37	23
4	51	23
done	51	23
0	8	19
1	11	19
2	12	19
done	12	19
0	12	35
1	19	35
2	24	35
3	29	35
4	33	35
done	33	35
0	10	23
1	13	23
2	14	23
done	14	23
0	10	27
1	18	23
2	27	23
3	37	23
4	51	23
done	51	23
0	8	19
1	11	19
2	12	19
done	12	19
0	10	27
1	18	23
2	27	23
3	37	23
4	51	23
done	51	23
0	8	19
1	11	19
2	12	19
done	12	19
0	11	33
1	18	33
2	22	33
done	22	33
0	9	21
1	12	21
2	13	21
done	13	21
0	10	23
1	15	23
2	16	23
done	16	23
0	9	21
1	12	21
2	13	21
done	13	21
0	9	17
1	14	13
2	18	13
done	18	13
0	8	19
1	11	19
2	12	19
done	12	19
0	9	17
1	14	13
2	18	13
done	18	13
0	8	19
1	11	19
2	12	19
done	12	19
0	11	25
1	15	25
done	15	25
0	10	23
1	13	23
2	14	23
done	14	23
0	9	17
1	14	13
2	18	13
done	18	13
0	8	19
1	11	19
2	12	19
done	12	19
0	9	17
1	14	13
2	18	13
done	18	13
0	8	19
1	11	19
2	12	19
done	12	19
0	10	27
1	19	25
2	22	25
3	24	25
done	24	25
0	8	19
1	11	19
2	12	19
done	12	19
0	10	27
1	19	25
2	22	25
3	24	25
done	24	25
0	8	19
1	11	19
2	12	19
done	12	19
0	9	17
1	16	15
2	17	15
done	17	15
0	8	19
1	11	19
2	12	19
done	12	19
0	9	17
1	16	15
2	17	15
done	17	15
0	8	19
1	11	19
2	12	19
done	12	19
0	5	11
1	10	5
done	10	5
0	7	17
1	10	17
2	11	17
done	11	17
0	5	11
1	10	5
done	10	5
0	7	17
1	10	17
2	11	17
done	11	17
0	5	11
1	10	5
done	10	5
0	7	17
1	10	17
2	11	17
done	11	17
0	5	11
1	10	5
done	10	5
0	7	17
1	10	17
2	11	17
done	11	17
0	10	19
1	16	17
done	16	17
0	9	21
1	12	21
2	13	21
done	13	21
0	10	19
1	16	17
done	16	17
0	9	21
1	12	21
2	13	21
done	13	21
0	5	11
1	10	5
done	10	5
0	7	17
1	10	17
2	11	17
done	11	17
0	5	11
1	10	5
done	10	5
0	7	17
1	10	17
2	11	17
done	11	17
0	5	11
1	10	5
done	10	5
0	7	17
1	10	17
2	11	17
done	11	17
0	5	11
1	10	5
done	10	5
0	7	17
1	10	17
2	11	17
done	11	17
0	10	27
1	19	25
2	22	25
3	24	25
done	24	25
0	8	19
1	11	19
2	12	19
done	12	19
0	10	27
1	19	25
2	22	25
3	24	25
done	24	25
0	8	19
1	11	19
2	12	19
done	12	19
0	9	17
1	16	15
2	17	15
done	17	15
0	8	19
1	11	19
2	12	19
done	12	19
0	9	17
1	16	15
2	17	15
done	17	15
0	8	19
1	11	19
2	12	19
done	12	19
0	5	11
1	10	5
done	10	5
0	7	17
1	10	17
2	11	17
done	11	17
0	5	11
1	10	5
done	10	5
0	7	17
1	10	17
2	11	17
done	11	17
0	5	11
1	10	5
done	10	5
0	7	17
1	10	17
2	11	17
done	11	17
0	5	11
1	10	5
done	10	5
0	7	17
1	10	17
2	11	17
done	11	17
0	10	19
1	16	17
done	16	17
0	9	21
1	12	21
2	13	21
done	13	21
0	10	19
1	16	17
done	16	17
0	9	21
1	12	21
2	13	21
done	13	21
0	5	11
1	10	5
done	10	5
0	7	17
1	10	17
2	11	17
done	11	17
0	5	11
1	10	5
done	10	5
0	7	17
1	10	17
2	11	17
done	11	17
0	5	11
1	10	5
done	10	5
0	7	17
1	10	17
2	11	17
done	11	17
0	5	11
1	10	5
done	10	5
0	7	17
1	10	17
2	11	17
done	11	17
0	11	41
1	20	41
2	30	41
3	36	41
done	36	41
0	10	23
1	15	23
2	16	23
done	16	23
0	10	31
1	15	31
2	18	31
3	19	31
done	19	31
0	10	23
1	15	23
2	16	23
done	16	23
0	9	25
1	14	21
2	20	21
3	25	21
done	25	21
0	9	21
1	14	21
2	15	21
done	15	21
0	9	25
1	14	21
2	20	21
3	25	21
done	25	21
0	9	21
1	14	21
2	15	21
done	15	21
0	11	33
1	15	33
2	17	33
3	18	33
done	18	33
0	11	25
1	16	25
2	17	25
done	17	25
0	9	25
1	14	21
2	20	21
3	25	21
done	25	21
0	9	21
1	14	21
2	15	21
done	15	21
0	9	25
1	14	21
2	20	21
3	25	21
done	25	21
0	9	21
1	14	21
2	15	21
done	15	21
0	10	31
1	15	31
2	16	31
done	16	31
0	10	23
1	15	23
2	16	23
done	16	23
0	9	21
1	12	21
2	13	21
done	13	21
0	10	23
1	15	23
2	16	23
done	16	23
0	8	15
1	11	11
2	13	11
done	13	11
0	9	21
1	14	21
2	15	21
done	15	21
0	8	15
1	11	11
2	13	11
done	13	11
0	9	21
1	14	21
2	15	21
done	15	21
0	10	23
1	12	23
done	12	23
0	11	25
1	16	25
2	17	25
done	17	25
0	8	15
1	11	11
2	13	11
done	13	11
0	9	21
1	14	21
2	15	21
done	15	21
0	8	15
1	11	11
2	13	11
done	13	11
0	9	21
1	14	21
2	15	21
done	15	21
0	9	25
1	15	25
2	16	25
done	16	25
0	9	21
1	16	21
2	19	21
3	23	21
4	29	21
5	33	21
6	34	21
done	34	21
0	9	25
1	15	25
2	16	25
done	16	25
0	9	21
1	16	21
2	19	21
3	23	21
4	29	21
5	33	21
6	34	21
done	34	21
0	9	25
1	15	25
2	16	25
done	16	25
0	9	21
1	16	21
2	19	21
3	23	21
4	29	21
5	33	21
6	34	21
done	34	21
0	8	15
1	12	15
2	13	15
done	13	15
0	9	21
1	16	21
2	19	21
3	23	21
4	29	21
5	33	21
6	34	21
done	34	21
0	8	15
1	12	15
2	13	15
done	13	15
0	9	21
1	16	21
2	19	21
3	23	21
4	29	21
5	33	21
6	34	21
done	34	21
0	8	15
1	12	15
2	13	15
done	13	15
0	9	21
1	16	21
2	19	21
3	23	21
4	29	21
5	33	21
6	34	21
done	34	21
0	4	9
1	6	3
done	6	1
0	8	19
1	15	19
2	18	19
3	22	19
4	28	19
5	32	19
6	33	19
done	33	19
0	4	9
1	6	3
done	6	1
0	8	19
1	15	19
2	18	19
3	22	19
4	28	19
5	32	19
6	33	19
done	33	19
0	4	9
1	6	3
done	6	1
0	8	19
1	15	19
2	18	19
3	22	19
4	28	19
5	32	19
6	33	19
done	33	19
0	4	9
1	6	3
done	6	1
0	8	19
1	15	19
2	18	19
3	22	19
4	28	19
5	32	19
6	33	19
done	33	19
0	4	9
1	6	3
done	6	1
0	8	19
1	15	19
2	18	19
3	22	19
4	28	19
5	32	19
6	33	19
done	33	19
0	4	9
1	6	3
done	6	1
0	8	19
1	15	19
2	18	19
3	22	19
4	28	19
5	32	19
6	33	19
done	33	19
0	9	17
1	12	17
done	12	17
0	10	23
1	18	23
2	21	23
3	25	23
4	31	23
5	35	23
6	36	23
done	36	23
0	9	17
1	12	17
done	12	17
0	10	23
1	18	23
2	21	23
3	25	23
4	31	23
5	35	23
6	36	23
done	36	23
0	9	17
1	12	17
done	12	17
0	10	23
1	18	23
2	21	23
3	25	23
4	31	23
5	35	23
6	36	23
done	36	23
0	4	9
1	6	3
done	6	1
0	8	19
1	15	19
2	18	19
3	22	19
4	28	19
5	32	19
6	33	19
done	33	19
0	4	9
1	6	3
done	6	1
0	8	19
1	15	19
2	18	19
3	22	19
4	28	19
5	32	19
6	33	19
done	33	19
0	4	9
1	6	3
done	6	1
0	8	19
1	15	19
2	18	19
3	22	19
4	28	19
5	32	19
6	33	19
done	33	19
0	4	9
1	6	3
done	6	1
0	8	19
1	15	19
2	18	19
3	22	19
4	28	19
5	32	19
6	33	19
done	33	19
0	4	9
1	6	3
done	6	1
0	8	19
1	15	19
2	18	19
3	22	19
4	28	19
5	32	19
6	33	19
done	33	19
0	4	9
1	6	3
done	6	1
0	8	19
1	15	19
2	18	19
3	22	19
4	28	19
5	32	19
6	33	19
done	33	19
0	9	25
1	15	25
2	16	25
done	16	25
0	9	21
1	16	21
2	19	21
3	23	21
4	29	21
5	33	21
6	34	21
done	34	21
0	9	25
1	15	25
2	16	25
done	16	25
0	9	21
1	16	21
2	19	21
3	23	21
4	29	21
5	33	21
6	34	21
done	34	21
0	9	25
1	15	25
2	16	25
done	16	25
0	9	21
1	16	21
2	19	21
3	23	21
4	29	21
5	33	21
6	34	21
done	34	21
0	8	15
1	12	15
2	13	15
done	13	15
0	9	21
1	16	21
2	19	21
3	23	21
4	29	21
5	33	21
6	34	21
done	34	21
0	8	15
1	12	15
2	13	15
done	13	15
0	9	21
1	16	21
2	19	21
3	23	21
4	29	21
5	33	21
6	34	21
done	34	21
0	8	15
1	12	15
2	13	15
done	13	15
0	9	21
1	16	21
2	19	21
3	23	21
4	29	21
5	33	21
6	34	21
done	34	21
0	4	9
1	6	3
done	6	1
0	8	19
1	15	19
2	18	19
3	22	19
4	28	19
5	32	19
6	33	19
done	33	19
0	4	9
1	6	3
done	6	1
0	8	19
1	15	19
2	18	19
3	22	19
4	28	19
5	32	19
6	33	19
done	33	19
0	4	9
1	6	3
done	6	1
0	8	19
1	15	19
2	18	19
3	22	19
4	28	19
5	32	19
6	33	19
done	33	19
0	4	9
1	6	3
done	6	1
0	8	19
1	15	19
2	18	19
3	22	19
4	28	19
5	32	19
6	33	19
done	33	19
0	4	9
1	6	3
done	6	1
0	8	19
1	15	19
2	18	19
3	22	19
4	28	19
5	32	19
6	33	19
done	33	19
0	4	9
1	6	3
done	6	1
0	8	19
1	15	19
2	18	19
3	22	19
4	28	19
5	32	19
6	33	19
done	33	19
0	9	17
1	12	17
done	12	17
0	10	23
1	18	23
2	21	23
3	25	23
4	31	23
5	35	23
6	36	23
done	36	23
0	9	17
1	12	17
done	12	17
0	10	23
1	18	23
2	21	23
3	25	23
4	31	23
5	35	23
6	36	23
done	36	23
0	9	17
1	12	17
done	12	17
0	10	23
1	18	23
2	21	23
3	25	23
4	31	23
5	35	23
6	36	23
done	36	23
0	4	9
1	6	3
done	6	1
0	8	19
1	15	19
2	18	19
3	22	19
4	28	19
5	32	19
6	33	19
done	33	19
0	4	9
1	6	3
done	6	1
0	8	19
1	15	19
2	18	19
3	22	19
4	28	19
5	32	19
6	33	19
done	33	19
0	4	9
1	6	3
done	6	1
0	8	19
1	15	19
2	18	19
3	22	19
4	28	19
5	32	19
6	33	19
done	33	19
0	4	9
1	6	3
done	6	1
0	8	19
1	15	19
2	18	19
3	22	19
4	28	19
5	32	19
6	33	19
done	33	19
0	4	9
1	6	3
done	6	1
0	8	19
1	15	19
2	18	19
3	22	19
4	28	19
5	32	19
6	33	19
done	33	19
0	4	9
1	6	3
done	6	1
0	8	19
1	15	19
2	18	19
3	22	19
4	28	19
5	32	19
6	33	19
done	33	19
0	3	5
1	5	3
done	5	1
0	8	19
1	15	19
2	18	19
3	22	19
4	28	19
5	32	19
6	33	19
done	33	19
0	6	11
1	10	11
2	12	11
3	13	11
done	13	11
0	7	13
1	11	13
2	12	13
done	12	13
0	11	27
1	32	27
2	55	27
3	97	27
4	211	27
5	612	27
6	2576	27
done	5001	27
0	9	25
1	16	21
2	24	21
3	25	21
4	26	21
done	26	21
0	10	27
1	20	27
2	31	27
3	61	13
4	108	13
5	164	13
6	226	13
7	397	13
8	1711	13
done	5000	13
0	5	9
1	6	9
done	6	9
0	10	43
1	21	43
2	26	23
3	39	12
4	60	12
5	90	12
6	167	12
7	389	12
8	1292	12
done	5000	12
0	9	21
1	16	21
2	19	21
3	23	21
4	29	21
5	33	21
6	34	21
done	34	21
0	9	21
1	16	9
2	20	9
3	24	9
4	30	9
5	34	9
6	35	9
done	35	9
0	9	21
1	16	9
2	20	9
3	24	9
4	30	9
5	34	9
6	35	9
done	35	9
0	2	3
1	4	1
done	4	1
0	8	19
1	15	19
2	18	19
3	22	19
4	28	19
5	32	19
6	33	19
done	33	19
0	9	21
1	16	21
2	19	21
3	23	21
4	29	21
5	33	21
6	34	21
done	34	21
0	9	21
1	16	21
2	19	21
3	23	21
4	29	21
5	33	21
6	34	21
done	34	21
0	13	22
1	21	22
2	24	22
3	28	22
4	34	22
5	38	22
6	39	22
done	39	22
0	13	22
1	21	22
2	24	22
3	28	22
4	34	22
5	38	22
6	39	22
done	39	22
0	11	21
1	19	21
2	22	21
3	26	21
4	32	21
5	36	21
6	37	21
done	37	21
0	11	21
1	19	21
2	22	21
3	26	21
4	32	21
5	36	21
6	37	21
done	37	21
0	13	22
1	21	22
2	24	22
3	28	22
4	34	22
5	38	22
6	39	22
done	39	22
0	13	22
1	21	22
2	24	22
3	28	22
4	34	22
5	38	22
6	39	22
done	39	22
0	10	23
1	15	23
2	18	23
3	19	23
done	19	23
0	10	23
1	15	23
2	18	23
3	19	23
done	19	23
0	13	22
1	21	22
2	24	22
3	28	22
4	34	22
5	38	22
6	39	22
done	39	22
0	13	22
1	21	22
2	24	22
3	28	22
4	34	22
5	38	22
6	39	22
done	39	22
0	11	21
1	19	21
2	22	21
3	26	21
4	32	21
5	36	21
6	37	21
done	37	21
0	11	21
1	19	21
2	22	21
3	26	21
4	32	21
5	36	21
6	37	21
done	37	21
0	13	22
1	21	22
2	24	22
3	28	22
4	34	22
5	38	22
6	39	22
done	39	22
0	13	22
1	21	22
2	24	22
3	28	22
4	34	22
5	38	22
6	39	22
done	39	22
0	9	21
1	16	9
2	20	9
3	24	9
4	30	9
5	34	9
6	35	9
done	35	9
0	9	21
1	16	9
2	20	9
3	24	9
4	30	9
5	34	9
6	35	9
done	35	9
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	10	30
1	18	30
2	21	30
3	25	30
4	31	30
5	35	30
6	36	30
done	36	30
0	10	20
1	18	20
2	21	20
3	25	20
4	31	20
5	35	20
6	36	20
done	36	20
0	14	32
1	28	32
2	40	32
3	50	32
4	56	32
5	60	32
6	61	32
done	61	32
0	13	27
1	23	27
2	28	27
3	33	27
4	39	27
5	43	27
6	44	27
done	44	27
0	13	24
1	25	22
2	34	22
3	43	22
4	49	22
5	53	22
6	54	22
done	54	22
0	15	28
1	26	28
2	31	28
3	36	28
4	42	28
5	46	28
6	47	28
done	47	28
0	13	24
1	25	22
2	34	22
3	43	22
4	49	22
5	53	22
6	54	22
done	54	22
0	13	26
1	23	26
2	26	26
3	30	26
4	36	26
5	40	26
6	41	26
done	41	26
0	12	21
1	20	21
2	23	21
3	27	21
4	33	21
5	37	21
6	38	21
done	38	21
0	12	18
1	22	16
2	27	16
3	31	16
4	37	16
5	41	16
6	42	16
done	42	16
0	14	22
1	23	22
2	26	22
3	30	22
4	36	22
5	40	22
6	41	22
done	41	22
0	12	18
1	22	16
2	27	16
3	31	16
4	37	16
5	41	16
6	42	16
done	42	16
0	13	22
1	25	22
2	28	22
3	32	22
4	38	22
5	42	22
6	43	22
done	43	22
0	12	17
1	22	17
2	25	17
3	29	17
4	35	17
5	39	17
6	40	17
done	40	17
0	11	14
1	21	11
2	24	11
3	28	9
4	37	9
5	41	9
6	42	9
done	42	9
0	14	18
1	25	18
2	28	18
3	32	18
4	38	18
5	42	18
6	43	18
done	43	18
0	11	14
1	21	11
2	24	11
3	28	9
4	37	9
5	41	9
6	42	9
done	42	9
0	13	22
1	23	22
2	26	22
3	30	22
4	36	22
5	40	22
6	41	22
done	41	22
0	12	17
1	20	17
2	23	17
3	27	17
4	33	17
5	37	17
6	38	17
done	38	17
0	12	14
1	22	12
2	25	12
3	29	12
4	35	12
5	39	12
6	40	12
done	40	12
0	14	18
1	23	18
2	26	18
3	30	18
4	36	18
5	40	18
6	41	18
done	41	18
0	12	14
1	22	12
2	25	12
3	29	12
4	35	12
5	39	12
6	40	12
done	40	12
0	15	31
1	30	31
2	50	31
3	77	31
4	95	31
5	99	31
6	100	31
done	100	31
0	14	26
1	27	26
2	35	26
3	44	26
4	54	26
5	58	26
6	59	26
done	59	26
0	14	23
1	29	21
2	41	21
3	55	21
4	75	21
5	79	21
6	80	21
done	80	21
0	16	27
1	30	27
2	38	27
3	47	27
4	57	27
5	61	27
6	62	27
done	62	27
0	14	23
1	29	21
2	41	21
3	55	21
4	75	21
5	79	21
6	80	21
done	80	21
0	14	26
1	26	26
2	32	26
3	36	26
4	42	26
5	46	26
6	47	26
done	47	26
0	13	21
1	23	21
2	26	21
3	30	21
4	36	21
5	40	21
6	41	21
done	41	21
0	13	18
1	25	16
2	32	16
3	36	16
4	42	16
5	46	16
6	47	16
done	47	16
0	15	22
1	26	22
2	29	22
3	33	22
4	39	22
5	43	22
6	44	22
done	44	22
0	13	18
1	25	16
2	32	16
3	36	16
4	42	16
5	46	16
6	47	16
done	47	16
0	14	23
1	29	22
2	34	22
3	40	22
4	46	22
5	50	22
6	51	22
done	51	22
0	13	18
1	26	17
2	29	17
3	33	17
4	39	17
5	43	17
6	44	17
done	44	17
0	12	15
1	25	12
2	28	12
3	32	12
4	38	12
5	42	12
6	43	12
done	43	12
0	15	19
1	29	18
2	32	18
3	36	18
4	42	18
5	46	18
6	47	18
done	47	18
0	12	15
1	25	12
2	28	12
3	32	12
4	38	12
5	42	12
6	43	12
done	43	12
0	14	23
1	29	22
2	34	22
3	40	22
4	46	22
5	50	22
6	51	22
done	51	22
0	13	18
1	26	17
2	29	17
3	33	17
4	39	17
5	43	17
6	44	17
done	44	17
0	12	15
1	25	12
2	28	12
3	32	12
4	38	12
5	42	12
6	43	12
done	43	12
0	15	19
1	29	18
2	32	18
3	36	18
4	42	18
5	46	18
6	47	18
done	47	18
0	12	15
1	25	12
2	28	12
3	32	12
4	38	12
5	42	12
6	43	12
done	43	12
0	14	30
1	28	30
2	40	30
3	50	30
4	56	30
5	60	30
6	61	30
done	61	30
0	13	25
1	23	25
2	28	25
3	33	25
4	39	25
5	43	25
6	44	25
done	44	25
0	13	22
1	25	20
2	34	20
3	43	20
4	49	20
5	53	20
6	54	20
done	54	20
0	15	26
1	26	26
2	31	26
3	36	26
4	42	26
5	46	26
6	47	26
done	47	26
0	13	22
1	25	20
2	34	20
3	43	20
4	49	20
5	53	20
6	54	20
done	54	20
0	13	25
1	23	25
2	26	25
3	30	25
4	36	25
5	40	25
6	41	25
done	41	25
0	12	20
1	20	20
2	23	20
3	27	20
4	33	20
5	37	20
6	38	20
done	38	20
0	12	17
1	22	15
2	27	15
3	31	15
4	37	15
5	41	15
6	42	15
done	42	15
0	14	21
1	23	21
2	26	21
3	30	21
4	36	21
5	40	21
6	41	21
done	41	21
0	12	17
1	22	15
2	27	15
3	31	15
4	37	15
5	41	15
6	42	15
done	42	15
0	13	22
1	25	22
2	28	22
3	32	22
4	38	22
5	42	22
6	43	22
done	43	22
0	12	17
1	22	17
2	25	17
3	29	17
4	35	17
5	39	17
6	40	17
done	40	17
0	11	14
1	21	11
2	24	11
3	28	9
4	37	9
5	41	9
6	42	9
done	42	9
0	14	18
1	25	18
2	28	18
3	32	18
4	38	18
5	42	18
6	43	18
done	43	18
0	11	14
1	21	11
2	24	11
3	28	9
4	37	9
5	41	9
6	42	9
done	42	9
0	13	22
1	25	22
2	28	22
3	32	22
4	38	22
5	42	22
6	43	22
done	43	22
0	12	17
1	22	17
2	25	17
3	29	17
4	35	17
5	39	17
6	40	17
done	40	17
0	11	14
1	21	11
2	24	11
3	28	9
4	37	9
5	41	9
6	42	9
done	42	9
0	14	18
1	25	18
2	28	18
3	32	18
4	38	18
5	42	18
6	43	18
done	43	18
0	11	14
1	21	11
2	24	11
3	28	9
4	37	9
5	41	9
6	42	9
done	42	9
0	10	12
1	20	11
2	23	11
3	27	9
4	36	9
5	40	9
6	41	9
done	41	9
0	9	15
1	17	15
2	20	15
3	24	15
4	30	15
5	34	15
6	35	15
done	35	15
0	14	23
1	39	23
2	63	23
3	108	23
4	232	23
5	649	23
6	2658	23
done	5001	23
0	13	23
1	26	23
2	43	23
3	84	16
4	131	16
5	212	16
6	366	16
7	1533	16
done	5000	16
0	10	31
1	20	31
2	25	31
3	29	31
4	35	31
5	39	31
6	40	31
done	40	31
0	9	20
1	17	20
2	20	20
3	24	20
4	30	20
5	34	20
6	35	20
done	35	20
0	9	11
1	19	9
2	25	9
3	29	9
4	35	9
5	39	9
6	40	9
done	40	9
0	9	20
1	17	20
2	20	20
3	24	20
4	30	20
5	34	20
6	35	20
done	35	20
0	10	20
1	18	20
2	21	20
3	25	20
4	31	20
5	35	20
6	36	20
done	36	20
0	12	21
1	20	21
2	23	21
3	27	21
4	33	21
5	37	21
6	38	21
done	38	21
0	12	21
1	20	21
2	23	21
3	27	21
4	33	21
5	37	21
6	38	21
done	38	21
0	11	20
1	19	20
2	22	20
3	26	20
4	32	20
5	36	20
6	37	20
done	37	20
0	14	22
1	24	22
2	28	22
3	32	22
4	38	22
5	42	22
6	43	22
done	43	22
0	11	20
1	19	20
2	22	20
3	26	20
4	32	20
5	36	20
6	37	20
done	37	20
0	12	21
1	20	21
2	23	21
3	27	21
4	33	21
5	37	21
6	38	21
done	38	21
0	12	21
1	20	21
2	23	21
3	27	21
4	33	21
5	37	21
6	38	21
done	38	21
0	11	20
1	19	20
2	22	20
3	26	20
4	32	20
5	36	20
6	37	20
done	37	20
0	14	22
1	24	22
2	28	22
3	32	22
4	38	22
5	42	22
6	43	22
done	43	22
0	11	20
1	19	20
2	22	20
3	26	20
4	32	20
5	36	20
6	37	20
done	37	20
0	11	20
1	21	20
2	24	20
3	31	20
4	43	20
5	51	20
6	53	20
done	53	20
0	11	20
1	21	20
2	24	20
3	31	20
4	43	20
5	51	20
6	53	20
done	53	20
0	8	19
1	15	19
2	18	19
3	22	19
4	28	19
5	32	19
6	33	19
done	33	19
0	13	21
1	25	21
2	29	21
3	36	21
4	48	21
5	56	21
6	58	21
done	58	21
0	8	19
1	15	19
2	18	19
3	22	19
4	28	19
5	32	19
6	33	19
done	33	19
0	11	19
1	19	19
2	22	19
3	26	19
4	32	19
5	36	19
6	37	19
done	37	19
0	11	19
1	19	19
2	22	19
3	26	19
4	32	19
5	36	19
6	37	19
done	37	19
0	10	18
1	17	18
2	20	18
3	24	18
4	30	18
5	34	18
6	35	18
done	35	18
0	13	20
1	23	20
2	27	20
3	31	20
4	37	20
5	41	20
6	42	20
done	42	20
0	10	18
1	17	18
2	20	18
3	24	18
4	30	18
5	34	18
6	35	18
done	35	18
0	12	20
1	20	20
2	23	20
3	27	20
4	33	20
5	37	20
6	38	20
done	38	20
0	12	20
1	20	20
2	23	20
3	27	20
4	33	20
5	37	20
6	38	20
done	38	20
0	11	19
1	19	19
2	22	19
3	26	19
4	32	19
5	36	19
6	37	19
done	37	19
0	14	21
1	24	21
2	28	21
3	32	21
4	38	21
5	42	21
6	43	21
done	43	21
0	11	19
1	19	19
2	22	19
3	26	19
4	32	19
5	36	19
6	37	19
done	37	19
0	12	20
1	20	20
2	23	20
3	27	20
4	33	20
5	37	20
6	38	20
done	38	20
0	12	20
1	20	20
2	23	20
3	27	20
4	33	20
5	37	20
6	38	20
done	38	20
0	11	19
1	19	19
2	22	19
3	26	19
4	32	19
5	36	19
6	37	19
done	37	19
0	14	21
1	24	21
2	28	21
3	32	21
4	38	21
5	42	21
6	43	21
done	43	21
0	11	19
1	19	19
2	22	19
3	26	19
4	32	19
5	36	19
6	37	19
done	37	19
0	11	19
1	19	19
2	22	19
3	26	19
4	32	19
5	36	19
6	37	19
done	37	19
0	11	19
1	19	19
2	22	19
3	26	19
4	32	19
5	36	19
6	37	19
done	37	19
0	10	18
1	17	18
2	20	18
3	24	18
4	30	18
5	34	18
6	35	18
done	35	18
0	13	20
1	23	20
2	27	20
3	31	20
4	37	20
5	41	20
6	42	20
done	42	20
0	10	18
1	17	18
2	20	18
3	24	18
4	30	18
5	34	18
6	35	18
done	35	18
0	11	19
1	19	19
2	22	19
3	26	19
4	32	19
5	36	19
6	37	19
done	37	19
0	11	19
1	19	19
2	22	19
3	26	19
4	32	19
5	36	19
6	37	19
done	37	19
0	10	18
1	17	18
2	20	18
3	24	18
4	30	18
5	34	18
6	35	18
done	35	18
0	13	20
1	23	20
2	27	20
3	31	20
4	37	20
5	41	20
6	42	20
done	42	20
0	10	18
1	17	18
2	20	18
3	24	18
4	30	18
5	34	18
6	35	18
done	35	18
0	13	21
1	23	21
2	26	21
3	30	21
4	36	21
5	40	21
6	41	21
done	41	21
0	13	21
1	23	21
2	26	21
3	30	21
4	36	21
5	40	21
6	41	21
done	41	21
0	12	20
1	22	20
2	25	20
3	29	20
4	35	20
5	39	20
6	40	20
done	40	20
0	15	22
1	27	22
2	31	22
3	35	22
4	41	22
5	45	22
6	46	22
done	46	22
0	12	20
1	22	20
2	25	20
3	29	20
4	35	20
5	39	20
6	40	20
done	40	20
0	13	21
1	23	21
2	26	21
3	30	21
4	36	21
5	40	21
6	41	21
done	41	21
0	13	21
1	23	21
2	26	21
3	30	21
4	36	21
5	40	21
6	41	21
done	41	21
0	12	20
1	22	20
2	25	20
3	29	20
4	35	20
5	39	20
6	40	20
done	40	20
0	15	22
1	27	22
2	31	22
3	35	22
4	41	22
5	45	22
6	46	22
done	46	22
0	12	20
1	22	20
2	25	20
3	29	20
4	35	20
5	39	20
6	40	20
done	40	20
0	11	20
1	21	20
2	24	20
3	31	20
4	43	20
5	51	20
6	53	20
done	53	20
0	11	20
1	21	20
2	24	20
3	31	20
4	43	20
5	51	20
6	53	20
done	53	20
0	8	19
1	15	19
2	18	19
3	22	19
4	28	19
5	32	19
6	33	19
done	33	19
0	13	21
1	25	21
2	29	21
3	36	21
4	48	21
5	56	21
6	58	21
done	58	21
0	8	19
1	15	19
2	18	19
3	22	19
4	28	19
5	32	19
6	33	19
done	33	19
0	11	20
1	21	20
2	24	20
3	31	20
4	43	20
5	51	20
6	53	20
done	53	20
0	11	20
1	21	20
2	24	20
3	31	20
4	43	20
5	51	20
6	53	20
done	53	20
0	8	19
1	15	19
2	18	19
3	22	19
4	28	19
5	32	19
6	33	19
done	33	19
0	13	21
1	25	21
2	29	21
3	36	21
4	48	21
5	56	21
6	58	21
done	58	21
0	8	19
1	15	19
2	18	19
3	22	19
4	28	19
5	32	19
6	33	19
done	33	19
0	8	19
1	15	19
2	18	19
3	22	19
4	28	19
5	32	19
6	33	19
done	33	19
0	11	16
1	21	16
2	24	16
3	28	16
4	34	16
5	38	16
6	39	16
done	39	16
0	14	22
1	28	20
2	38	20
3	43	20
4	50	20
5	54	20
6	55	20
done	55	20
0	9	14
1	17	14
2	20	14
3	24	14
4	30	14
5	34	14
6	35	14
done	35	14
0	9	20
1	17	20
2	20	20
3	24	20
4	30	20
5	34	20
6	35	20
done	35	20
0	9	20
1	17	20
2	20	20
3	24	20
4	30	20
5	34	20
6	35	20
done	35	20
0	8	19
1	15	19
2	18	19
3	22	19
4	28	19
5	32	19
6	33	19
done	33	19
0	9	15
1	17	15
2	20	15
3	24	15
4	30	15
5	34	15
6	35	15
done	35	15
0	9	15
1	17	15
2	20	15
3	24	15
4	30	15
5	34	15
6	35	15
done	35	15
0	1	1
1	3	1
done	3	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
1	3	1
done	3	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
1	3	1
done	3	1
0	1	1
done	1	1
0	1	1
done	1	1
0	4	4
1	9	4
2	17	4
3	28	4
4	53	4
5	117	4
6	333	4
7	1365	4
done	5001	4
0	4	4
1	9	4
2	17	4
3	28	4
4	53	4
5	117	4
6	333	4
7	1365	4
done	5001	4
0	3	3
1	11	1
done	11	1

prune377.0ms

Filtered

327 candidates to 614 candidates (-87.8%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	613	1	614
Fresh	1	1	2
Picked	0	1	1
Done	0	1	1
Total	614	4	618

Merged error: 0b

Counts

618 → 4

regimes116.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	11
1	10	11
done	10	11

end0.0ms

sample431.0ms

Algorithm

intervals

Results

212.0ms

8000×

body

valid

Details

sample24.0ms

simplify45.0ms

prune4.0ms

localize8.0ms

rewrite19.0ms

series21.0ms

simplify20.9s

prune102.0ms

localize6.0ms

rewrite33.0ms

series20.0ms

simplify1.1min

prune164.0ms

localize10.0ms

rewrite67.0ms

series50.0ms

simplify3.6min

prune266.0ms

localize9.0ms

rewrite191.0ms

series66.0ms

simplify1.6min

prune377.0ms

regimes116.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample431.0ms

Profiling