Details

sample16.0ms

Algorithm

intervals

Results

6.0ms

256×

body

valid

simplify7.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7

prune2.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

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b	(/ (- x y) (- 1.0 y))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

37×	`add-sqr-sqrt` `*-un-lft-identity`
25×	`times-frac`
13×	`add-cube-cbrt`
12×	`distribute-lft-out--` `difference-of-squares`
5×	`associate-/r` `associate-/l`
3×	`add-exp-log` `add-cbrt-cube`
2×	`flip3--` `associate-/r/` `flip--` `associate-/l/`
1×	`pow1` `cbrt-undiv` `frac-2neg` `div-sub` `div-exp` `clear-num` `div-inv` `add-log-exp`

Counts

1 → 52

Calls

1 calls:

12.0ms

(/ (- x y) (- 1.0 y))

series7.0ms

Counts

1 → 3

Calls

1 calls:

7.0ms

(/ (- x y) (- 1.0 y))

simplify21.5s

Counts

55 → 55

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	13	9
2	16	9
done	16	9
0	7	8
1	16	8
2	22	8
3	25	8
done	25	8
0	7	8
1	13	8
2	20	8
3	24	8
4	27	8
5	33	8
6	37	8
7	53	8
8	57	8
9	64	8
10	73	8
11	93	8
12	114	8
13	127	8
14	134	8
15	140	8
16	143	8
done	143	8
0	10	23
1	22	23
2	83	11
3	258	9
4	752	9
5	2785	9
done	5000	9
0	8	17
1	14	17
2	18	17
3	20	17
done	20	17
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	8	23
1	21	23
2	53	9
3	185	9
4	609	9
5	1954	9
done	5000	9
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	5	5
1	7	5
2	8	5
done	8	5
0	4	5
1	6	5
2	7	5
done	7	5
0	10	19
1	19	19
2	30	19
3	36	19
done	36	19
0	8	9
1	11	9
2	13	9
done	13	9
0	9	14
1	14	14
2	18	14
3	19	14
done	19	14
0	8	9
1	11	9
2	13	9
done	13	9
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	7	8
1	10	8
2	12	8
done	12	8
0	10	15
1	15	15
2	18	15
3	19	15
done	19	15
0	9	10
1	13	10
2	15	10
done	15	10
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	7	8
1	10	8
2	12	8
done	12	8
0	9	14
1	14	14
2	16	14
done	16	14
0	8	9
1	11	9
2	13	9
done	13	9
0	8	9
1	11	9
2	13	9
done	13	9
0	8	9
1	11	9
2	13	9
done	13	9
0	6	6
1	10	4
2	13	4
done	13	4
0	7	8
1	10	8
2	12	8
done	12	8
0	9	10
1	12	10
2	13	10
done	13	10
0	9	10
1	13	10
2	15	10
done	15	10
0	6	6
1	10	4
2	13	4
done	13	4
0	7	8
1	10	8
2	12	8
done	12	8
0	7	11
1	13	11
2	14	11
done	14	11
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	6	6
1	10	6
2	11	6
done	11	6
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	2	3
1	4	1
done	4	1
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	7	7
1	10	7
done	10	7
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	2	3
1	4	1
done	4	1
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	10	15
1	15	15
2	16	15
done	16	15
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	9	10
1	12	10
2	13	10
done	13	10
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	7	7
1	10	5
2	12	5
done	12	5
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	9	11
1	11	11
done	11	11
0	9	11
1	15	11
2	19	11
3	21	11
done	21	11
0	7	7
1	10	5
2	12	5
done	12	5
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	7	11
1	13	11
2	14	11
done	14	11
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	6	6
1	10	6
2	11	6
done	11	6
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	2	3
1	4	1
done	4	1
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	7	7
1	10	7
done	10	7
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	2	3
1	4	1
done	4	1
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	5	5
1	9	5
2	10	5
done	10	5
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	8	13
1	16	13
2	25	13
3	30	13
4	33	13
done	33	13
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	5	5
1	12	3
2	17	3
done	17	3
0	8	9
1	14	9
2	17	9
3	19	9
done	19	9
0	5	5
1	12	3
2	17	3
done	17	3
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	9	11
1	29	11
2	53	11
3	95	11
4	200	11
5	580	11
6	2464	11
done	5000	11
0	8	11
1	18	11
2	33	11
3	59	11
4	92	11
5	135	11
6	200	11
7	368	11
8	1645	11
done	5000	11
0	10	15
1	26	13
2	74	13
3	211	13
4	488	13
5	1206	13
6	2670	13
done	5000	13
0	6	7
1	16	7
2	36	7
3	61	7
4	104	7
5	160	7
6	246	7
7	442	7
8	752	7
9	865	7
10	882	7
done	882	7
0	9	13
1	21	11
2	46	9
3	81	9
4	119	9
5	182	9
6	260	9
7	449	9
8	761	9
9	1454	9
10	1950	9
11	2010	9
done	2010	9
0	9	11
1	19	11
2	31	9
3	38	9
4	51	9
5	63	9
6	84	9
7	135	9
8	245	9
9	277	9
10	307	9
11	327	9
12	330	9
done	330	9
0	9	11
1	19	11
2	31	9
3	38	9
4	51	9
5	63	9
6	84	9
7	135	9
8	245	9
9	277	9
10	307	9
11	327	9
12	330	9
done	330	9

prune69.0ms

Filtered

39 candidates to 55 candidates (-41.0%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	53	2	55
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	53	3	56

Merged error: 0b

Counts

56 → 3

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ y (- 1.0 y))
0.0b	(- (/ x (- 1.0 y)) (/ y (- 1.0 y)))
0.0b	(/ x (- 1.0 y))

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

67×	`*-un-lft-identity`
57×	`add-sqr-sqrt`
48×	`times-frac`
25×	`add-cube-cbrt`
20×	`distribute-lft-out--`
14×	`difference-of-squares`
10×	`associate-/r*`
8×	`associate-/r/`
7×	`add-exp-log` `add-cbrt-cube`
6×	`associate-/l*`
5×	`flip3--` `flip--` `add-log-exp`
4×	`div-inv`
3×	`pow1` `distribute-rgt-out--`
2×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num`
1×	`sub-neg` `diff-log` `frac-sub` `sub-div`

Counts

3 → 103

Calls

3 calls:

6.0ms	(/ y (- 1.0 y))
32.0ms	(- (/ x (- 1.0 y)) (/ y (- 1.0 y)))
6.0ms	(/ x (- 1.0 y))

series19.0ms

Counts

3 → 9

Calls

3 calls:

3.0ms	(/ y (- 1.0 y))
9.0ms	(- (/ x (- 1.0 y)) (/ y (- 1.0 y)))
7.0ms	(/ x (- 1.0 y))

simplify1.2min

Counts

112 → 112

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	11	7
2	13	7
done	13	7
0	6	6
1	11	6
2	14	6
3	15	6
done	15	6
0	6	6
1	8	6
2	9	6
done	9	6
0	9	17
1	20	17
2	65	9
3	173	7
4	394	7
5	1087	7
6	3797	7
done	5000	7
0	7	13
1	9	13
2	10	13
done	10	13
0	6	6
1	8	6
2	9	6
done	9	6
0	7	17
1	16	17
2	33	7
3	77	7
4	173	7
5	423	7
6	1031	7
7	3017	7
done	5001	7
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
done	2	2
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	9	15
1	17	15
2	27	15
3	33	15
done	33	15
0	7	7
1	9	7
2	10	7
done	10	7
0	8	10
1	12	10
2	15	10
3	16	10
done	16	10
0	7	7
1	9	7
2	10	7
done	10	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	8	6
2	9	6
done	9	6
0	9	11
1	12	11
2	14	11
3	15	11
done	15	11
0	8	8
1	10	8
2	11	8
done	11	8
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	8	6
2	9	6
done	9	6
0	8	12
1	12	12
2	13	12
done	13	12
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	8	6
2	9	6
done	9	6
0	8	8
1	9	8
done	9	8
0	8	8
1	10	8
2	11	8
done	11	8
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	8	6
2	9	6
done	9	6
0	7	11
1	13	11
2	14	11
done	14	11
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	10	6
2	11	6
done	11	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	3
1	4	1
done	4	1
0	5	5
1	7	5
2	8	5
done	8	5
0	7	7
1	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	2	3
1	4	1
done	4	1
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	9	5
2	10	5
done	10	5
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	7	11
1	11	11
2	12	11
done	12	11
0	6	6
1	8	6
2	9	6
done	9	6
0	3	3
1	5	1
done	5	1
0	7	7
1	8	7
done	8	7
0	3	3
1	5	1
done	5	1
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	8	9
1	23	9
2	45	9
3	81	9
4	173	9
5	521	9
6	2320	9
done	5001	9
0	7	9
1	12	9
2	21	9
3	38	9
4	63	9
5	104	9
6	160	9
7	328	9
8	1613	9
done	5000	9
0	9	13
1	13	12
2	16	12
3	20	12
4	23	12
5	29	12
6	33	12
7	49	12
8	55	12
9	62	12
10	71	12
11	91	12
12	112	12
13	124	12
14	129	12
15	131	12
done	131	12
0	8	12
1	12	12
2	15	12
done	15	12
0	8	12
1	15	12
2	20	12
3	23	12
4	29	12
5	33	12
6	49	12
7	53	12
8	60	12
9	69	12
10	89	12
11	110	12
12	127	12
13	132	12
14	134	12
done	134	12
0	9	25
1	13	25
2	16	25
done	16	25
0	8	12
1	12	12
2	15	12
done	15	12
0	9	35
1	14	35
2	31	13
3	90	13
4	295	13
5	999	13
6	3294	13
done	5000	13
0	8	12
1	12	12
2	15	12
done	15	12
0	8	12
1	12	12
2	15	12
done	15	12
0	3	3
1	5	3
2	6	3
done	6	3
0	7	11
1	13	11
2	34	7
3	68	7
4	139	7
5	224	7
6	346	7
7	569	7
8	851	7
9	876	7
10	885	7
done	885	7
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	10	15
1	32	15
2	88	15
3	259	15
4	845	15
5	2901	15
done	5000	15
0	11	35
1	32	29
2	61	29
3	99	29
4	169	25
5	295	25
6	773	25
7	2329	23
done	5000	23
0	5	6
1	8	6
2	9	6
done	9	6
0	9	23
1	24	23
2	46	23
3	97	23
4	202	23
5	407	23
6	1022	23
7	3474	19
done	5001	19
0	7	11
1	10	11
2	11	11
done	11	11
0	9	13
1	12	13
2	13	13
done	13	13
0	9	13
1	13	13
2	15	13
done	15	13
0	10	14
1	13	14
2	14	14
done	14	14
0	10	14
1	14	14
2	18	14
done	18	14
0	10	14
1	13	14
2	14	14
done	14	14
0	10	14
1	14	14
2	16	14
done	16	14
0	10	15
1	13	15
2	14	15
done	14	15
0	10	15
1	14	15
2	18	15
done	18	15
0	8	13
1	12	13
2	15	13
done	15	13
0	8	13
1	12	13
2	15	13
done	15	13
0	7	11
1	11	11
2	14	11
done	14	11
0	7	11
1	11	11
2	14	11
done	14	11
0	9	15
1	13	15
2	17	15
done	17	15
0	7	11
1	11	11
2	14	11
done	14	11
0	7	11
1	11	11
2	14	11
done	14	11
0	7	11
1	11	11
2	14	11
done	14	11
0	3	3
1	5	3
2	6	3
done	6	3
0	10	19
1	27	19
2	51	19
3	91	19
4	193	19
5	555	19
6	2393	19
done	5000	19
0	9	19
1	16	19
2	29	19
3	54	19
4	81	19
5	122	19
6	180	19
7	348	19
8	1657	19
done	5000	19
0	5	6
1	8	6
2	9	6
done	9	6
0	6	7
1	10	7
2	12	7
done	12	7
0	5	6
1	10	6
2	13	6
3	14	6
done	14	6
0	5	6
1	7	6
2	8	6
done	8	6
0	8	17
1	19	17
2	64	9
3	172	7
4	392	7
5	1164	7
6	4370	7
done	5000	7
0	6	13
1	8	13
2	9	13
done	9	13
0	5	6
1	7	6
2	8	6
done	8	6
0	6	17
1	15	17
2	32	7
3	76	7
4	176	7
5	426	7
6	1521	7
done	5000	7
0	5	6
1	7	6
2	8	6
done	8	6
0	5	6
1	7	6
2	8	6
done	8	6
0	2	2
done	2	2
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	8	15
1	16	15
2	26	15
3	32	15
done	32	15
0	6	7
1	8	7
2	9	7
done	9	7
0	7	10
1	11	10
2	14	10
3	15	10
done	15	10
0	6	7
1	8	7
2	9	7
done	9	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	6
1	7	6
2	8	6
done	8	6
0	8	11
1	11	11
2	13	11
3	14	11
done	14	11
0	7	8
1	9	8
2	10	8
done	10	8
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	6
1	7	6
2	8	6
done	8	6
0	7	12
1	11	12
2	12	12
done	12	12
0	6	7
1	8	7
2	9	7
done	9	7
0	6	7
1	8	7
2	9	7
done	9	7
0	6	7
1	8	7
2	9	7
done	9	7
0	4	4
1	6	2
2	8	2
done	8	2
0	5	6
1	7	6
2	8	6
done	8	6
0	6	8
1	7	8
done	7	8
0	6	8
1	8	8
2	9	8
done	9	8
0	4	4
1	6	2
2	8	2
done	8	2
0	5	6
1	7	6
2	8	6
done	8	6
0	7	11
1	13	11
2	14	11
done	14	11
0	5	6
1	7	6
2	8	6
done	8	6
0	6	6
1	10	6
2	11	6
done	11	6
0	5	6
1	7	6
2	8	6
done	8	6
0	2	3
1	4	1
done	4	1
0	4	5
1	6	5
2	7	5
done	7	5
0	7	7
1	10	7
done	10	7
0	6	7
1	8	7
2	9	7
done	9	7
0	2	3
1	4	1
done	4	1
0	4	5
1	6	5
2	7	5
done	7	5
0	5	5
1	9	5
2	10	5
done	10	5
0	4	5
1	9	5
2	14	5
3	17	5
done	17	5
0	6	11
1	10	11
2	11	11
done	11	11
0	5	6
1	7	6
2	8	6
done	8	6
0	3	3
1	5	1
done	5	1
0	6	7
1	7	7
done	7	7
0	3	3
1	5	1
done	5	1
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	4	5
1	9	5
2	14	5
3	17	5
done	17	5
0	7	9
1	22	9
2	44	9
3	80	9
4	169	9
5	517	9
6	2298	9
done	5001	9
0	6	9
1	11	9
2	20	9
3	37	9
4	62	9
5	103	9
6	161	9
7	329	9
8	1619	9
done	5000	9
0	12	17
1	30	15
2	77	13
3	133	11
4	208	11
5	307	11
6	361	11
7	467	11
8	803	11
9	1733	11
done	5000	11
0	15	20
1	38	20
2	111	18
3	265	16
4	635	16
5	1683	16
done	5000	15
0	15	20
1	38	20
2	111	18
3	265	16
4	635	16
5	1683	16
done	5000	15
0	9	13
1	21	11
2	46	9
3	81	9
4	119	9
5	182	9
6	260	9
7	449	9
8	761	9
9	1454	9
10	1950	9
11	2010	9
done	2010	9
0	9	11
1	19	11
2	31	9
3	38	9
4	51	9
5	63	9
6	84	9
7	135	9
8	245	9
9	277	9
10	307	9
11	327	9
12	330	9
done	330	9
0	9	11
1	19	11
2	31	9
3	38	9
4	51	9
5	63	9
6	84	9
7	135	9
8	245	9
9	277	9
10	307	9
11	327	9
12	330	9
done	330	9
0	11	15
1	31	13
2	81	11
3	134	11
4	235	11
5	444	11
6	1043	11
7	3476	11
done	5000	11
0	12	16
1	30	16
2	74	12
3	171	11
4	413	11
5	1292	9
done	5000	9
0	12	16
1	30	16
2	74	12
3	171	11
4	413	11
5	1292	9
done	5000	9

prune144.0ms

Filtered

86 candidates to 112 candidates (-30.2%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	112	0	112
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	112	3	115

Merged error: 0b

Counts

115 → 3

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (- 1.0 y))
0.0b	(sqrt (- 1.0 y))
0.0b	(/ (/ (- x y) (sqrt (- 1.0 y))) (sqrt (- 1.0 y)))
0.1b	(/ (- x y) (sqrt (- 1.0 y)))

rewrite106.0ms

Algorithm

rewrite-expression-head

Rules

768×	`times-frac`
656×	`add-sqr-sqrt`
654×	`*-un-lft-identity`
500×	`sqrt-prod`
292×	`add-cube-cbrt`
181×	`distribute-lft-out--` `difference-of-squares`
51×	`associate-/l*`
26×	`sqrt-div`
22×	`associate-/r/`
16×	`associate-/r*`
14×	`flip3--` `flip--`
11×	`add-exp-log` `add-cbrt-cube` `div-inv`
6×	`pow1`
4×	`cbrt-undiv` `div-exp` `add-log-exp`
3×	`div-sub` `associate-/l/`
2×	`rem-sqrt-square` `frac-2neg` `sqrt-pow1` `pow1/2` `clear-num`

Counts

4 → 544

Calls

4 calls:

4.0ms	(sqrt (- 1.0 y))
4.0ms	(sqrt (- 1.0 y))
31.0ms	(/ (/ (- x y) (sqrt (- 1.0 y))) (sqrt (- 1.0 y)))
10.0ms	(/ (- x y) (sqrt (- 1.0 y)))

series27.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(sqrt (- 1.0 y))
4.0ms	(sqrt (- 1.0 y))
7.0ms	(/ (/ (- x y) (sqrt (- 1.0 y))) (sqrt (- 1.0 y)))
12.0ms	(/ (- x y) (sqrt (- 1.0 y)))

simplify2.8min

Counts

556 → 556

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	10
1	14	10
2	17	10
done	17	10
0	8	9
1	17	9
2	23	9
3	26	9
done	26	9
0	8	9
1	14	9
2	21	9
3	25	9
4	28	9
5	34	9
6	38	9
7	54	9
8	58	9
9	65	9
10	74	9
11	95	9
12	116	9
13	133	9
14	140	9
15	146	9
16	149	9
done	149	9
0	11	26
1	23	20
2	79	12
3	228	10
4	615	10
5	2135	10
done	5001	10
0	9	19
1	15	19
2	19	19
3	21	19
done	21	19
0	8	9
1	14	9
2	18	9
3	20	9
done	20	9
0	9	26
1	22	26
2	54	10
3	180	10
4	575	10
5	1755	10
done	5000	10
0	8	9
1	14	9
2	18	9
3	20	9
done	20	9
0	8	9
1	14	9
2	18	9
3	20	9
done	20	9
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	5	5
1	7	5
2	8	5
done	8	5
0	6	6
1	8	6
2	9	6
done	9	6
0	5	6
1	7	6
2	8	6
done	8	6
0	11	21
1	20	21
2	31	21
3	37	21
done	37	21
0	9	10
1	12	10
2	14	10
done	14	10
0	11	20
1	17	15
2	21	15
3	22	15
done	22	15
0	9	10
1	12	10
2	14	10
done	14	10
0	10	15
1	15	15
2	19	15
3	20	15
done	20	15
0	9	10
1	12	10
2	14	10
done	14	10
0	8	12
1	14	11
2	17	11
3	18	9
4	25	9
done	25	9
0	8	9
1	11	9
2	13	9
done	13	9
0	11	16
1	16	16
2	19	16
3	20	16
done	20	16
0	10	11
1	14	11
2	16	11
done	16	11
0	8	12
1	14	11
2	17	11
3	18	9
4	25	9
done	25	9
0	8	9
1	11	9
2	13	9
done	13	9
0	10	15
1	15	15
2	19	15
3	20	15
done	20	15
0	9	10
1	12	10
2	14	10
done	14	10
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	8	9
1	11	9
2	13	9
done	13	9
0	10	16
1	15	16
2	17	16
done	17	16
0	9	10
1	12	10
2	14	10
done	14	10
0	10	15
1	14	10
2	16	10
done	16	10
0	9	10
1	12	10
2	14	10
done	14	10
0	9	10
1	12	10
2	14	10
done	14	10
0	9	10
1	12	10
2	14	10
done	14	10
0	7	7
1	11	6
2	12	6
done	12	6
0	8	9
1	11	9
2	13	9
done	13	9
0	10	11
1	13	11
2	14	11
done	14	11
0	10	11
1	14	11
2	16	11
done	16	11
0	7	7
1	11	6
2	12	6
done	12	6
0	8	9
1	11	9
2	13	9
done	13	9
0	9	10
1	12	10
2	14	10
done	14	10
0	9	10
1	12	10
2	14	10
done	14	10
0	6	6
1	10	4
2	13	4
done	13	4
0	8	9
1	11	9
2	13	9
done	13	9
0	8	13
1	14	13
2	15	13
done	15	13
0	8	9
1	14	9
2	18	9
3	20	9
done	20	9
0	8	12
1	13	7
2	14	7
done	14	7
0	8	9
1	14	9
2	18	9
3	20	9
done	20	9
0	7	7
1	11	7
2	12	7
done	12	7
0	8	9
1	14	9
2	18	9
3	20	9
done	20	9
0	3	4
1	5	3
done	5	3
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	8	8
1	11	8
done	11	8
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	3	4
1	5	3
done	5	3
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	7	7
1	11	7
2	12	7
done	12	7
0	8	9
1	14	9
2	18	9
3	20	9
done	20	9
0	2	3
1	4	1
done	4	1
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	11	17
1	16	17
2	17	17
done	17	17
0	10	11
1	17	11
2	21	11
3	23	11
done	23	11
0	11	16
1	15	11
2	16	11
done	16	11
0	10	11
1	17	11
2	21	11
3	23	11
done	23	11
0	10	11
1	13	11
2	14	11
done	14	11
0	10	11
1	17	11
2	21	11
3	23	11
done	23	11
0	8	8
1	11	7
done	11	7
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	10	12
1	12	12
done	12	12
0	10	12
1	16	12
2	20	12
3	22	12
done	22	12
0	8	8
1	11	7
done	11	7
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	10	11
1	13	11
2	14	11
done	14	11
0	10	11
1	17	11
2	21	11
3	23	11
done	23	11
0	7	7
1	10	5
2	12	5
done	12	5
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	8	13
1	14	13
2	15	13
done	15	13
0	8	9
1	14	9
2	18	9
3	20	9
done	20	9
0	8	12
1	13	7
2	14	7
done	14	7
0	8	9
1	14	9
2	18	9
3	20	9
done	20	9
0	7	7
1	11	7
2	12	7
done	12	7
0	8	9
1	14	9
2	18	9
3	20	9
done	20	9
0	3	4
1	5	3
done	5	3
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	8	8
1	11	8
done	11	8
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	3	4
1	5	3
done	5	3
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	7	7
1	11	7
2	12	7
done	12	7
0	8	9
1	14	9
2	18	9
3	20	9
done	20	9
0	2	3
1	4	1
done	4	1
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	6	6
1	10	6
2	11	6
done	11	6
0	7	8
1	10	8
2	12	8
done	12	8
0	9	15
1	17	15
2	26	15
3	31	15
4	34	15
done	34	15
0	9	14
1	16	9
2	20	9
3	22	9
done	22	9
0	8	9
1	14	9
2	18	9
3	20	9
done	20	9
0	6	6
1	13	5
2	16	5
3	18	3
4	23	3
5	27	3
done	27	3
0	9	10
1	15	10
2	18	10
3	20	10
done	20	10
0	6	6
1	13	5
2	16	5
3	18	3
4	23	3
5	27	3
done	27	3
0	8	9
1	14	9
2	18	9
3	20	9
done	20	9
0	5	5
1	12	3
2	17	3
done	17	3
0	8	9
1	11	9
2	13	9
done	13	9
0	8	9
1	11	9
2	13	9
done	13	9
0	7	8
1	10	8
2	12	8
done	12	8
0	9	10
1	13	10
2	15	10
done	15	10
0	7	8
1	10	8
2	12	8
done	12	8
0	10	12
1	30	12
2	54	12
3	90	12
4	178	12
5	511	12
6	2275	12
done	5000	12
0	9	12
1	19	12
2	28	12
3	45	12
4	70	12
5	111	12
6	173	12
7	341	12
8	1595	12
done	5001	12
0	11	16
1	27	14
2	57	14
3	85	14
4	94	14
5	96	14
done	96	14
0	7	8
1	17	8
2	19	8
done	19	8
0	10	16
1	18	16
2	32	12
3	44	12
4	53	12
5	62	12
6	76	12
7	86	12
8	89	12
done	89	12
0	10	15
1	20	15
2	30	15
3	45	12
4	58	12
5	65	12
6	75	12
7	83	12
8	93	12
9	96	12
done	96	12
0	9	14
1	20	14
2	36	8
3	51	8
4	66	8
5	77	8
6	84	8
7	94	8
8	102	8
9	112	8
10	115	8
done	115	8
0	9	14
1	17	14
2	27	8
3	37	8
4	42	8
5	45	8
6	51	8
7	55	8
8	71	8
9	77	8
10	86	8
11	99	8
12	124	8
13	150	8
14	170	8
15	181	8
16	197	8
17	203	8
done	203	8
0	12	41
1	28	29
2	122	17
3	489	11
4	1562	9
done	5000	9
0	12	41
1	33	35
2	114	17
3	429	9
4	1470	9
done	5000	9
0	10	29
1	18	29
2	28	17
3	35	17
4	38	17
done	38	17
0	9	14
1	17	14
2	27	8
3	34	8
4	37	8
done	37	8
0	10	41
1	25	41
2	66	9
3	228	9
4	948	9
5	3047	9
done	5001	9
0	9	14
1	17	14
2	27	8
3	34	8
4	37	8
done	37	8
0	9	14
1	17	14
2	27	8
3	34	8
4	37	8
done	37	8
0	8	9
1	16	9
2	23	9
3	30	9
4	34	8
5	35	8
done	35	8
0	5	5
1	7	5
2	8	5
done	8	5
0	7	11
1	11	11
2	12	5
3	13	5
done	13	5
0	6	11
1	10	11
2	11	5
3	12	5
done	12	5
0	12	31
1	24	31
2	37	31
3	45	31
done	45	31
0	10	15
1	16	15
2	20	15
3	22	15
done	22	15
0	13	30
1	22	25
2	28	25
3	31	25
done	31	25
0	11	15
1	17	15
2	21	15
3	23	15
done	23	15
0	11	25
1	19	25
2	25	25
3	28	25
done	28	25
0	10	15
1	16	15
2	20	15
3	22	15
done	22	15
0	12	22
1	22	21
2	28	21
3	31	19
4	38	19
done	38	19
0	9	14
1	15	14
2	19	14
3	21	14
done	21	14
0	14	26
1	23	26
2	29	26
3	32	26
done	32	26
0	13	16
1	21	16
2	26	16
3	28	16
done	28	16
0	12	22
1	22	21
2	28	21
3	31	19
4	38	19
done	38	19
0	9	14
1	15	14
2	19	14
3	21	14
done	21	14
0	11	25
1	19	25
2	25	25
3	28	25
done	28	25
0	10	15
1	16	15
2	20	15
3	22	15
done	22	15
0	11	21
1	21	19
2	31	19
3	38	19
done	38	19
0	9	14
1	15	14
2	19	14
3	21	14
done	21	14
0	11	21
1	19	21
2	23	21
3	25	21
done	25	21
0	10	15
1	16	15
2	20	15
3	22	15
done	22	15
0	12	20
1	19	15
2	23	15
3	25	15
done	25	15
0	11	15
1	17	15
2	21	15
3	23	15
done	23	15
0	10	15
1	16	15
2	20	15
3	22	15
done	22	15
0	10	15
1	16	15
2	20	15
3	22	15
done	22	15
0	11	12
1	19	11
2	23	11
3	25	11
done	25	11
0	9	14
1	15	14
2	19	14
3	21	14
done	21	14
0	13	16
1	20	16
2	24	16
3	26	16
done	26	16
0	13	16
1	21	16
2	26	16
3	28	16
done	28	16
0	11	12
1	19	11
2	23	11
3	25	11
done	25	11
0	9	14
1	15	14
2	19	14
3	21	14
done	21	14
0	10	15
1	16	15
2	20	15
3	22	15
done	22	15
0	10	15
1	16	15
2	20	15
3	22	15
done	22	15
0	10	11
1	18	9
2	24	9
3	26	9
done	26	9
0	9	14
1	15	14
2	19	14
3	21	14
done	21	14
0	12	33
1	25	33
2	55	33
3	98	23
4	122	17
5	154	17
6	245	17
7	548	17
8	1640	17
done	5001	17
0	10	16
1	15	16
2	17	16
done	17	16
0	15	32
1	27	27
2	52	27
3	89	27
4	130	27
5	135	27
done	135	27
0	12	16
1	17	16
2	22	16
done	22	16
0	13	27
1	24	27
2	49	27
3	86	27
4	127	27
5	131	27
done	131	27
0	11	16
1	16	16
2	21	16
done	21	16
0	14	24
1	27	23
2	52	23
3	87	21
4	127	21
done	127	21
0	10	15
1	15	15
2	20	15
done	20	15
0	16	28
1	28	28
2	53	28
3	90	28
4	131	28
5	136	28
done	136	28
0	14	17
1	21	17
2	27	17
done	27	17
0	14	24
1	27	23
2	52	23
3	87	21
4	127	21
done	127	21
0	10	15
1	15	15
2	20	15
done	20	15
0	13	27
1	24	27
2	49	27
3	86	27
4	127	27
5	131	27
done	131	27
0	11	16
1	16	16
2	21	16
done	21	16
0	13	23
1	26	21
2	55	21
3	104	21
4	134	21
done	134	21
0	10	15
1	15	15
2	20	15
done	20	15
0	15	32
1	25	27
2	43	27
3	79	27
4	121	27
5	131	27
done	131	27
0	12	16
1	17	16
2	22	16
done	22	16
0	12	31
1	20	21
2	29	19
3	41	19
4	52	19
5	54	19
done	54	19
0	10	16
1	15	16
2	17	9
3	18	9
done	18	9
0	14	26
1	22	21
2	35	21
3	48	21
4	58	21
done	58	21
0	12	16
1	17	16
2	22	16
done	22	16
0	14	23
1	24	17
2	37	17
3	50	15
4	70	15
done	70	15
0	11	15
1	16	15
2	21	15
done	21	15
0	16	27
1	25	22
2	38	22
3	51	22
4	61	22
done	61	22
0	14	17
1	21	17
2	27	17
done	27	17
0	14	23
1	24	17
2	37	17
3	50	15
4	70	15
done	70	15
0	11	15
1	16	15
2	21	15
done	21	15
0	14	26
1	22	21
2	35	21
3	48	21
4	58	21
done	58	21
0	12	16
1	17	16
2	22	16
done	22	16
0	13	22
1	23	15
2	40	15
3	57	15
4	67	15
done	67	15
0	11	15
1	16	15
2	21	15
done	21	15
0	13	27
1	22	27
2	40	27
3	76	27
4	115	27
5	125	27
done	125	27
0	11	16
1	16	16
2	21	16
done	21	16
0	14	26
1	22	21
2	35	21
3	48	21
4	58	21
done	58	21
0	12	16
1	17	16
2	22	16
done	22	16
0	11	21
1	18	21
2	27	14
3	34	14
4	37	14
done	37	14
0	10	16
1	15	16
2	17	9
3	18	9
done	18	9
0	13	18
1	22	17
2	35	17
3	48	15
4	68	15
done	68	15
0	10	15
1	15	15
2	20	15
done	20	15
0	15	22
1	23	22
2	36	22
3	49	22
4	59	22
done	59	22
0	14	17
1	21	17
2	27	17
done	27	17
0	13	18
1	22	17
2	35	17
3	48	15
4	68	15
done	68	15
0	10	15
1	15	15
2	20	15
done	20	15
0	11	21
1	18	21
2	27	14
3	34	14
4	37	14
done	37	14
0	10	16
1	15	16
2	17	9
3	18	9
done	18	9
0	12	17
1	21	15
2	38	15
3	55	15
4	65	15
done	65	15
0	10	15
1	15	15
2	20	15
done	20	15
0	14	24
1	25	23
2	43	23
3	76	21
4	111	21
5	113	21
done	113	21
0	10	15
1	15	15
2	20	15
done	20	15
0	14	23
1	24	17
2	37	17
3	50	15
4	68	15
done	68	15
0	11	15
1	16	15
2	21	15
done	21	15
0	13	18
1	22	17
2	35	17
3	48	15
4	66	15
done	66	15
0	10	15
1	15	15
2	20	15
done	20	15
0	9	15
1	17	13
2	25	11
3	32	9
done	32	9
0	9	14
1	14	14
2	16	8
3	17	8
done	17	8
0	14	19
1	23	18
2	35	18
3	48	16
4	66	16
5	67	16
done	67	16
0	13	16
1	20	16
2	26	16
done	26	16
0	9	15
1	17	13
2	25	11
3	32	9
done	32	9
0	9	14
1	14	14
2	16	8
3	17	8
done	17	8
0	13	18
1	22	17
2	35	17
3	48	15
4	66	15
done	66	15
0	10	15
1	15	15
2	20	15
done	20	15
0	9	14
1	17	11
2	28	11
3	35	9
done	35	9
0	9	14
1	14	14
2	16	8
3	17	8
done	17	8
0	16	28
1	26	28
2	44	28
3	80	28
4	122	28
5	132	28
done	132	28
0	14	17
1	21	17
2	27	17
done	27	17
0	16	27
1	25	22
2	38	22
3	51	22
4	61	22
done	61	22
0	14	17
1	21	17
2	27	17
done	27	17
0	15	22
1	23	22
2	36	22
3	49	22
4	59	22
done	59	22
0	14	17
1	21	17
2	27	17
done	27	17
0	14	19
1	23	18
2	35	18
3	48	16
4	68	16
done	68	16
0	13	16
1	20	16
2	26	16
done	26	16
0	12	23
1	19	23
2	27	15
3	34	15
4	37	15
done	37	15
0	11	18
1	17	18
2	19	10
3	20	10
done	20	10
0	14	19
1	23	18
2	35	18
3	48	16
4	68	16
done	68	16
0	13	16
1	20	16
2	26	16
done	26	16
0	15	22
1	23	22
2	36	22
3	49	22
4	59	22
done	59	22
0	14	17
1	21	17
2	27	17
done	27	17
0	13	18
1	22	16
2	38	16
3	55	16
4	65	16
done	65	16
0	13	16
1	20	16
2	26	16
done	26	16
0	14	24
1	25	23
2	43	23
3	76	21
4	111	21
5	113	21
done	113	21
0	10	15
1	15	15
2	20	15
done	20	15
0	14	23
1	24	17
2	37	17
3	50	15
4	68	15
done	68	15
0	11	15
1	16	15
2	21	15
done	21	15
0	13	18
1	22	17
2	35	17
3	48	15
4	66	15
done	66	15
0	10	15
1	15	15
2	20	15
done	20	15
0	9	15
1	17	13
2	25	11
3	32	9
done	32	9
0	9	14
1	14	14
2	16	8
3	17	8
done	17	8
0	14	19
1	23	18
2	35	18
3	48	16
4	66	16
5	67	16
done	67	16
0	13	16
1	20	16
2	26	16
done	26	16
0	9	15
1	17	13
2	25	11
3	32	9
done	32	9
0	9	14
1	14	14
2	16	8
3	17	8
done	17	8
0	13	18
1	22	17
2	35	17
3	48	15
4	66	15
done	66	15
0	10	15
1	15	15
2	20	15
done	20	15
0	9	14
1	17	11
2	28	11
3	35	9
done	35	9
0	9	14
1	14	14
2	16	8
3	17	8
done	17	8
0	13	27
1	22	27
2	40	27
3	76	27
4	115	27
5	125	27
done	125	27
0	11	16
1	16	16
2	21	16
done	21	16
0	14	26
1	22	21
2	35	21
3	48	21
4	58	21
done	58	21
0	12	16
1	17	16
2	22	16
done	22	16
0	11	21
1	18	21
2	27	14
3	34	14
4	37	14
done	37	14
0	10	16
1	15	16
2	17	9
3	18	9
done	18	9
0	13	18
1	22	17
2	35	17
3	48	15
4	68	15
done	68	15
0	10	15
1	15	15
2	20	15
done	20	15
0	15	22
1	23	22
2	36	22
3	49	22
4	59	22
done	59	22
0	14	17
1	21	17
2	27	17
done	27	17
0	13	18
1	22	17
2	35	17
3	48	15
4	68	15
done	68	15
0	10	15
1	15	15
2	20	15
done	20	15
0	11	21
1	18	21
2	27	14
3	34	14
4	37	14
done	37	14
0	10	16
1	15	16
2	17	9
3	18	9
done	18	9
0	12	17
1	21	15
2	38	15
3	55	15
4	65	15
done	65	15
0	10	15
1	15	15
2	20	15
done	20	15
0	13	23
1	24	21
2	55	21
3	112	21
4	129	21
done	129	21
0	10	15
1	15	15
2	20	15
done	20	15
0	13	22
1	23	15
2	45	15
3	67	15
4	68	15
done	68	15
0	11	15
1	16	15
2	21	15
done	21	15
0	12	17
1	21	15
2	43	15
3	65	15
4	66	15
done	66	15
0	10	15
1	15	15
2	20	15
done	20	15
0	9	14
1	17	9
2	33	9
3	40	9
done	40	9
0	9	14
1	14	14
2	16	8
3	17	8
done	17	8
0	13	18
1	22	16
2	43	16
3	65	16
4	66	16
done	66	16
0	13	16
1	20	16
2	26	16
done	26	16
0	9	14
1	17	9
2	33	9
3	40	9
done	40	9
0	9	14
1	14	14
2	16	8
3	17	8
done	17	8
0	12	17
1	21	15
2	43	15
3	65	15
4	66	15
done	66	15
0	10	15
1	15	15
2	20	15
done	20	15
0	8	13
1	16	9
2	21	9
3	26	9
done	26	9
0	9	14
1	14	14
2	16	8
3	17	8
done	17	8
0	11	28
1	20	28
2	29	28
3	31	18
4	40	12
5	59	12
6	99	12
7	207	12
8	530	12
9	1902	12
done	5000	12
0	10	16
1	15	16
2	17	16
done	17	16
0	14	27
1	22	22
2	30	22
3	38	22
done	38	22
0	12	16
1	17	16
2	22	16
done	22	16
0	12	22
1	19	22
2	27	22
3	35	22
done	35	22
0	11	16
1	16	16
2	21	16
done	21	16
0	13	19
1	22	18
2	30	18
3	38	16
4	45	16
done	45	16
0	10	15
1	15	15
2	20	15
done	20	15
0	15	23
1	23	23
2	31	23
3	39	23
done	39	23
0	14	17
1	21	17
2	27	17
done	27	17
0	13	19
1	22	18
2	30	18
3	38	16
4	45	16
done	45	16
0	10	15
1	15	15
2	20	15
done	20	15
0	12	22
1	19	22
2	27	22
3	35	22
done	35	22
0	11	16
1	16	16
2	21	16
done	21	16
0	12	18
1	21	16
2	33	16
3	49	16
done	49	16
0	10	15
1	15	15
2	20	15
done	20	15
0	14	27
1	22	22
2	30	22
3	36	22
done	36	22
0	12	16
1	17	16
2	22	16
done	22	16
0	11	26
1	17	16
2	19	14
3	22	14
done	22	14
0	10	16
1	15	16
2	17	9
3	18	9
done	18	9
0	13	21
1	19	16
2	24	16
done	24	16
0	12	16
1	17	16
2	22	16
done	22	16
0	13	18
1	21	12
2	26	12
done	26	10
0	11	15
1	16	15
2	21	15
done	21	15
0	15	22
1	22	17
2	27	17
done	27	17
0	14	17
1	21	17
2	27	17
done	27	17
0	13	18
1	21	12
2	26	12
done	26	10
0	11	15
1	16	15
2	21	15
done	21	15
0	13	21
1	19	16
2	24	16
done	24	16
0	12	16
1	17	16
2	22	16
done	22	16
0	12	17
1	20	10
2	29	10
3	31	10
done	31	10
0	11	15
1	16	15
2	21	15
done	21	15
0	12	22
1	19	22
2	27	22
3	33	22
done	33	22
0	11	16
1	16	16
2	21	16
done	21	16
0	13	21
1	19	16
2	24	16
done	24	16
0	12	16
1	17	16
2	22	16
done	22	16
0	10	16
1	15	16
2	17	9
3	18	9
done	18	9
0	10	16
1	15	16
2	17	9
3	18	9
done	18	9
0	12	13
1	19	12
2	24	12
done	24	10
0	10	15
1	15	15
2	20	15
done	20	15
0	14	17
1	20	17
2	25	17
done	25	17
0	14	17
1	21	17
2	27	17
done	27	17
0	12	13
1	19	12
2	24	12
done	24	10
0	10	15
1	15	15
2	20	15
done	20	15
0	10	16
1	15	16
2	17	9
3	18	9
done	18	9
0	10	16
1	15	16
2	17	9
3	18	9
done	18	9
0	11	12
1	18	10
2	27	10
3	29	10
done	29	10
0	10	15
1	15	15
2	20	15
done	20	15
0	13	19
1	22	18
2	30	18
3	36	16
4	46	16
done	46	16
0	10	15
1	15	15
2	20	15
done	20	15
0	13	18
1	21	12
2	26	12
done	26	10
0	11	15
1	16	15
2	21	15
done	21	15
0	12	13
1	19	12
2	24	12
done	24	10
0	10	15
1	15	15
2	20	15
done	20	15
0	8	10
1	14	8
2	15	6
done	15	6
0	9	14
1	14	14
2	16	8
3	17	8
done	17	8
0	13	14
1	20	13
2	24	13
done	24	11
0	13	16
1	20	16
2	26	16
done	26	16
0	8	10
1	14	8
2	15	6
done	15	6
0	9	14
1	14	14
2	16	8
3	17	8
done	17	8
0	12	13
1	19	12
2	24	12
done	24	10
0	10	15
1	15	15
2	20	15
done	20	15
0	8	9
1	14	6
2	18	6
done	18	4
0	9	14
1	14	14
2	16	8
3	17	8
done	17	8
0	15	23
1	23	23
2	31	23
3	37	23
done	37	23
0	14	17
1	21	17
2	27	17
done	27	17
0	15	22
1	22	17
2	27	17
done	27	17
0	14	17
1	21	17
2	27	17
done	27	17
0	14	17
1	20	17
2	25	17
done	25	17
0	14	17
1	21	17
2	27	17
done	27	17
0	13	14
1	20	13
2	24	13
done	24	11
0	13	16
1	20	16
2	26	16
done	26	16
0	11	18
1	16	18
2	17	10
3	18	10
done	18	10
0	11	18
1	17	18
2	19	10
3	20	10
done	20	10
0	13	14
1	20	13
2	24	13
done	24	11
0	13	16
1	20	16
2	26	16
done	26	16
0	14	17
1	20	17
2	25	17
done	25	17
0	14	17
1	21	17
2	27	17
done	27	17
0	12	13
1	19	11
2	27	11
3	29	11
done	29	11
0	13	16
1	20	16
2	26	16
done	26	16
0	13	19
1	22	18
2	30	18
3	36	16
4	46	16
done	46	16
0	10	15
1	15	15
2	20	15
done	20	15
0	13	18
1	21	12
2	26	12
done	26	10
0	11	15
1	16	15
2	21	15
done	21	15
0	12	13
1	19	12
2	24	12
done	24	10
0	10	15
1	15	15
2	20	15
done	20	15
0	8	10
1	14	8
2	15	6
done	15	6
0	9	14
1	14	14
2	16	8
3	17	8
done	17	8
0	13	14
1	20	13
2	24	13
done	24	11
0	13	16
1	20	16
2	26	16
done	26	16
0	8	10
1	14	8
2	15	6
done	15	6
0	9	14
1	14	14
2	16	8
3	17	8
done	17	8
0	12	13
1	19	12
2	24	12
done	24	10
0	10	15
1	15	15
2	20	15
done	20	15
0	8	9
1	14	6
2	18	6
done	18	4
0	9	14
1	14	14
2	16	8
3	17	8
done	17	8
0	12	22
1	19	22
2	27	22
3	33	22
done	33	22
0	11	16
1	16	16
2	21	16
done	21	16
0	13	21
1	19	16
2	24	16
done	24	16
0	12	16
1	17	16
2	22	16
done	22	16
0	10	16
1	15	16
2	17	9
3	18	9
done	18	9
0	10	16
1	15	16
2	17	9
3	18	9
done	18	9
0	12	13
1	19	12
2	24	12
done	24	10
0	10	15
1	15	15
2	20	15
done	20	15
0	14	17
1	20	17
2	25	17
done	25	17
0	14	17
1	21	17
2	27	17
done	27	17
0	12	13
1	19	12
2	24	12
done	24	10
0	10	15
1	15	15
2	20	15
done	20	15
0	10	16
1	15	16
2	17	9
3	18	9
done	18	9
0	10	16
1	15	16
2	17	9
3	18	9
done	18	9
0	11	12
1	18	10
2	27	10
3	29	10
done	29	10
0	10	15
1	15	15
2	20	15
done	20	15
0	12	18
1	21	16
2	32	16
3	40	16
done	40	16
0	10	15
1	15	15
2	20	15
done	20	15
0	12	17
1	20	10
2	28	10
done	28	10
0	11	15
1	16	15
2	21	15
done	21	15
0	11	12
1	18	10
2	26	10
done	26	10
0	10	15
1	15	15
2	20	15
done	20	15
0	8	9
1	14	4
2	21	4
done	21	4
0	9	14
1	14	14
2	16	8
3	17	8
done	17	8
0	12	13
1	19	11
2	26	11
done	26	11
0	13	16
1	20	16
2	26	16
done	26	16
0	8	9
1	14	4
2	21	4
done	21	4
0	9	14
1	14	14
2	16	8
3	17	8
done	17	8
0	11	12
1	18	10
2	26	10
done	26	10
0	10	15
1	15	15
2	20	15
done	20	15
0	7	8
1	13	4
2	14	4
done	14	4
0	9	14
1	14	14
2	16	8
3	17	8
done	17	8
0	9	25
1	19	25
2	27	25
3	29	15
4	37	9
5	54	9
6	92	9
7	200	9
8	523	9
9	1888	9
done	5000	9
0	9	15
1	17	15
2	27	15
3	33	15
4	36	15
done	36	15
0	12	24
1	21	19
2	28	19
3	36	19
done	36	19
0	11	15
1	19	15
2	32	15
3	43	15
4	49	15
5	52	15
done	52	15
0	10	19
1	18	19
2	25	19
3	33	19
done	33	19
0	10	15
1	18	15
2	31	15
3	42	15
4	48	15
5	51	15
done	51	15
0	10	16
1	18	15
2	25	13
3	37	13
done	37	13
0	9	14
1	17	14
2	30	14
3	41	14
4	47	14
5	50	14
done	50	14
0	13	20
1	22	20
2	29	20
3	37	20
done	37	20
0	13	16
1	23	16
2	37	16
3	48	16
4	54	16
5	57	16
done	57	16
0	10	16
1	18	15
2	25	13
3	37	13
done	37	13
0	9	14
1	17	14
2	30	14
3	41	14
4	47	14
5	50	14
done	50	14
0	10	19
1	18	19
2	25	19
3	33	19
done	33	19
0	10	15
1	18	15
2	31	15
3	42	15
4	48	15
5	51	15
done	51	15
0	9	15
1	17	13
2	28	13
3	38	13
done	38	13
0	9	14
1	17	14
2	30	14
3	41	14
4	47	14
5	50	14
done	50	14
0	12	24
1	21	19
2	28	19
3	34	19
done	34	19
0	11	15
1	19	15
2	32	15
3	43	15
4	49	15
5	52	15
done	52	15
0	9	23
1	16	13
2	17	11
3	20	11
done	20	11
0	9	15
1	17	15
2	27	8
3	34	8
4	37	8
done	37	8
0	11	18
1	18	13
2	22	13
done	22	13
0	11	15
1	19	15
2	32	15
3	43	15
4	49	15
5	52	15
done	52	15
0	10	15
1	17	9
2	21	7
3	25	7
done	25	7
0	10	14
1	18	14
2	31	14
3	42	14
4	48	14
5	51	14
done	51	14
0	13	19
1	21	14
2	25	14
done	25	14
0	13	16
1	23	16
2	37	16
3	48	16
4	54	16
5	57	16
done	57	16
0	10	15
1	17	9
2	21	7
3	25	7
done	25	7
0	10	14
1	18	14
2	31	14
3	42	14
4	48	14
5	51	14
done	51	14
0	11	18
1	18	13
2	22	13
done	22	13
0	11	15
1	19	15
2	32	15
3	43	15
4	49	15
5	52	15
done	52	15
0	9	14
1	16	7
2	24	7
done	24	7
0	10	14
1	18	14
2	31	14
3	42	14
4	48	14
5	51	14
done	51	14
0	10	19
1	18	19
2	25	19
3	31	19
done	31	19
0	10	15
1	18	15
2	31	15
3	42	15
4	48	15
5	51	15
done	51	15
0	11	18
1	18	13
2	22	13
done	22	13
0	11	15
1	19	15
2	32	15
3	43	15
4	49	15
5	52	15
done	52	15
0	8	13
1	14	13
2	15	6
3	16	6
done	16	6
0	9	15
1	17	15
2	27	8
3	34	8
4	37	8
done	37	8
0	9	10
1	15	9
2	19	7
3	23	7
done	23	7
0	9	14
1	17	14
2	30	14
3	41	14
4	47	14
5	50	14
done	50	14
0	12	14
1	19	14
2	23	14
done	23	14
0	13	16
1	23	16
2	37	16
3	48	16
4	54	16
5	57	16
done	57	16
0	9	10
1	15	9
2	19	7
3	23	7
done	23	7
0	9	14
1	17	14
2	30	14
3	41	14
4	47	14
5	50	14
done	50	14
0	8	13
1	14	13
2	15	6
3	16	6
done	16	6
0	9	15
1	17	15
2	27	8
3	34	8
4	37	8
done	37	8
0	8	9
1	14	7
2	22	7
done	22	7
0	9	14
1	17	14
2	30	14
3	41	14
4	47	14
5	50	14
done	50	14
0	10	16
1	18	15
2	25	15
3	31	13
4	41	13
done	41	13
0	9	14
1	17	14
2	30	14
3	41	14
4	47	14
5	50	14
done	50	14
0	10	15
1	17	9
2	21	9
done	21	7
0	10	14
1	18	14
2	31	14
3	42	14
4	48	14
5	51	14
done	51	14
0	9	10
1	15	9
2	19	9
done	19	7
0	9	14
1	17	14
2	30	14
3	41	14
4	47	14
5	50	14
done	50	14
0	4	7
1	8	5
done	8	3
0	8	13
1	16	13
2	26	7
3	33	7
4	36	7
done	36	7
0	10	11
1	15	10
2	18	10
done	18	8
0	12	15
1	22	15
2	36	15
3	47	15
4	53	15
5	56	15
done	56	15
0	4	7
1	8	5
done	8	3
0	8	13
1	16	13
2	26	7
3	33	7
4	36	7
done	36	7
0	9	10
1	15	9
2	19	9
done	19	7
0	9	14
1	17	14
2	30	14
3	41	14
4	47	14
5	50	14
done	50	14
0	4	6
1	8	3
2	11	1
done	11	1
0	8	13
1	16	13
2	26	7
3	33	7
4	36	7
done	36	7
0	13	20
1	22	20
2	29	20
3	35	20
done	35	20
0	13	16
1	23	16
2	37	16
3	48	16
4	54	16
5	57	16
done	57	16
0	13	19
1	21	14
2	25	14
done	25	14
0	13	16
1	23	16
2	37	16
3	48	16
4	54	16
5	57	16
done	57	16
0	12	14
1	19	14
2	23	14
done	23	14
0	13	16
1	23	16
2	37	16
3	48	16
4	54	16
5	57	16
done	57	16
0	10	11
1	15	10
2	18	8
3	22	8
done	22	8
0	12	15
1	22	15
2	36	15
3	47	15
4	53	15
5	56	15
done	56	15
0	9	15
1	14	15
done	14	7
0	10	17
1	19	17
2	29	9
3	36	9
4	39	9
done	39	9
0	10	11
1	15	10
2	18	8
3	22	8
done	22	8
0	12	15
1	22	15
2	36	15
3	47	15
4	53	15
5	56	15
done	56	15
0	12	14
1	19	14
2	23	14
done	23	14
0	13	16
1	23	16
2	37	16
3	48	16
4	54	16
5	57	16
done	57	16
0	9	10
1	14	8
2	21	8
done	21	8
0	12	15
1	22	15
2	36	15
3	47	15
4	53	15
5	56	15
done	56	15
0	10	16
1	18	15
2	25	15
3	31	13
4	41	13
done	41	13
0	9	14
1	17	14
2	30	14
3	41	14
4	47	14
5	50	14
done	50	14
0	10	15
1	17	9
2	21	9
done	21	7
0	10	14
1	18	14
2	31	14
3	42	14
4	48	14
5	51	14
done	51	14
0	9	10
1	15	9
2	19	9
done	19	7
0	9	14
1	17	14
2	30	14
3	41	14
4	47	14
5	50	14
done	50	14
0	4	7
1	8	5
done	8	3
0	8	13
1	16	13
2	26	7
3	33	7
4	36	7
done	36	7
0	10	11
1	15	10
2	18	10
done	18	8
0	12	15
1	22	15
2	36	15
3	47	15
4	53	15
5	56	15
done	56	15
0	4	7
1	8	5
done	8	3
0	8	13
1	16	13
2	26	7
3	33	7
4	36	7
done	36	7
0	9	10
1	15	9
2	19	9
done	19	7
0	9	14
1	17	14
2	30	14
3	41	14
4	47	14
5	50	14
done	50	14
0	4	6
1	8	3
2	11	1
done	11	1
0	8	13
1	16	13
2	26	7
3	33	7
4	36	7
done	36	7
0	10	19
1	18	19
2	25	19
3	31	19
done	31	19
0	10	15
1	18	15
2	31	15
3	42	15
4	48	15
5	51	15
done	51	15
0	11	18
1	18	13
2	22	13
done	22	13
0	11	15
1	19	15
2	32	15
3	43	15
4	49	15
5	52	15
done	52	15
0	8	13
1	14	13
2	15	6
3	16	6
done	16	6
0	9	15
1	17	15
2	27	8
3	34	8
4	37	8
done	37	8
0	9	10
1	15	9
2	19	7
3	23	7
done	23	7
0	9	14
1	17	14
2	30	14
3	41	14
4	47	14
5	50	14
done	50	14
0	12	14
1	19	14
2	23	14
done	23	14
0	13	16
1	23	16
2	37	16
3	48	16
4	54	16
5	57	16
done	57	16
0	9	10
1	15	9
2	19	7
3	23	7
done	23	7
0	9	14
1	17	14
2	30	14
3	41	14
4	47	14
5	50	14
done	50	14
0	8	13
1	14	13
2	15	6
3	16	6
done	16	6
0	9	15
1	17	15
2	27	8
3	34	8
4	37	8
done	37	8
0	8	9
1	14	7
2	22	7
done	22	7
0	9	14
1	17	14
2	30	14
3	41	14
4	47	14
5	50	14
done	50	14
0	9	15
1	17	13
2	22	13
3	32	13
4	33	13
done	33	13
0	9	14
1	17	14
2	30	14
3	41	14
4	47	14
5	50	14
done	50	14
0	9	14
1	16	7
2	19	7
3	23	7
done	23	7
0	10	14
1	18	14
2	31	14
3	42	14
4	48	14
5	51	14
done	51	14
0	8	9
1	14	7
2	17	7
3	21	7
done	21	7
0	9	14
1	17	14
2	30	14
3	41	14
4	47	14
5	50	14
done	50	14
0	4	6
1	8	1
done	8	1
0	8	13
1	16	13
2	26	7
3	33	7
4	36	7
done	36	7
0	9	10
1	14	8
2	16	8
3	20	8
done	20	8
0	12	15
1	22	15
2	36	15
3	47	15
4	53	15
5	56	15
done	56	15
0	4	6
1	8	1
done	8	1
0	8	13
1	16	13
2	26	7
3	33	7
4	36	7
done	36	7
0	8	9
1	14	7
2	17	7
3	21	7
done	21	7
0	9	14
1	17	14
2	30	14
3	41	14
4	47	14
5	50	14
done	50	14
0	3	5
1	7	1
done	7	1
0	8	13
1	16	13
2	26	7
3	33	7
4	36	7
done	36	7
0	12	29
1	21	29
2	29	29
3	31	19
4	40	13
5	59	13
6	99	13
7	209	13
8	534	13
9	1905	13
done	5000	13
0	11	17
1	20	17
2	30	17
3	36	17
4	39	17
done	39	17
0	15	28
1	23	23
2	30	23
3	38	23
done	38	23
0	13	17
1	22	17
2	35	17
3	46	17
4	52	17
5	55	17
done	55	17
0	13	23
1	20	23
2	27	23
3	35	23
done	35	23
0	12	17
1	21	17
2	34	17
3	45	17
4	51	17
5	54	17
done	54	17
0	14	20
1	23	19
2	30	19
3	38	17
4	45	17
done	45	17
0	11	16
1	20	16
2	33	16
3	44	16
4	50	16
5	53	16
done	53	16
0	15	24
1	23	24
2	30	24
3	38	24
done	38	24
0	14	18
1	24	18
2	38	18
3	49	18
4	55	18
5	58	18
done	58	18
0	14	20
1	23	19
2	30	19
3	38	17
4	45	17
done	45	17
0	11	16
1	20	16
2	33	16
3	44	16
4	50	16
5	53	16
done	53	16
0	13	23
1	20	23
2	27	23
3	35	23
done	35	23
0	12	17
1	21	17
2	34	17
3	45	17
4	51	17
5	54	17
done	54	17
0	13	19
1	22	17
2	33	17
3	49	17
done	49	17
0	11	16
1	20	16
2	33	16
3	44	16
4	50	16
5	53	16
done	53	16
0	15	28
1	23	23
2	30	23
3	36	23
done	36	23
0	13	17
1	22	17
2	35	17
3	46	17
4	52	17
5	55	17
done	55	17
0	12	27
1	18	17
2	19	15
3	22	15
done	22	15
0	11	17
1	20	17
2	30	10
3	37	10
4	40	10
done	40	10
0	14	22
1	20	17
2	24	17
done	24	17
0	13	17
1	22	17
2	35	17
3	46	17
4	52	17
5	55	17
done	55	17
0	14	19
1	22	13
2	26	13
done	26	11
0	12	16
1	21	16
2	34	16
3	45	16
4	51	16
5	54	16
done	54	16
0	15	23
1	22	18
2	26	18
done	26	18
0	14	18
1	24	18
2	38	18
3	49	18
4	55	18
5	58	18
done	58	18
0	14	19
1	22	13
2	26	13
done	26	11
0	12	16
1	21	16
2	34	16
3	45	16
4	51	16
5	54	16
done	54	16
0	14	22
1	20	17
2	24	17
done	24	17
0	13	17
1	22	17
2	35	17
3	46	17
4	52	17
5	55	17
done	55	17
0	13	18
1	21	11
2	29	11
3	31	11
done	31	11
0	12	16
1	21	16
2	34	16
3	45	16
4	51	16
5	54	16
done	54	16
0	13	23
1	20	23
2	27	23
3	33	23
done	33	23
0	12	17
1	21	17
2	34	17
3	45	17
4	51	17
5	54	17
done	54	17
0	14	22
1	20	17
2	24	17
done	24	17
0	13	17
1	22	17
2	35	17
3	46	17
4	52	17
5	55	17
done	55	17
0	11	17
1	16	17
2	17	10
3	18	10
done	18	10
0	11	17
1	20	17
2	30	10
3	37	10
4	40	10
done	40	10
0	13	14
1	20	13
2	24	13
done	24	11
0	11	16
1	20	16
2	33	16
3	44	16
4	50	16
5	53	16
done	53	16
0	14	18
1	20	18
2	24	18
done	24	18
0	14	18
1	24	18
2	38	18
3	49	18
4	55	18
5	58	18
done	58	18
0	13	14
1	20	13
2	24	13
done	24	11
0	11	16
1	20	16
2	33	16
3	44	16
4	50	16
5	53	16
done	53	16
0	11	17
1	16	17
2	17	10
3	18	10
done	18	10
0	11	17
1	20	17
2	30	10
3	37	10
4	40	10
done	40	10
0	12	13
1	19	11
2	27	11
3	29	11
done	29	11
0	11	16
1	20	16
2	33	16
3	44	16
4	50	16
5	53	16
done	53	16
0	14	20
1	23	19
2	30	19
3	36	17
4	46	17
done	46	17
0	11	16
1	20	16
2	33	16
3	44	16
4	50	16
5	53	16
done	53	16
0	14	19
1	22	13
2	26	13
done	26	11
0	12	16
1	21	16
2	34	16
3	45	16
4	51	16
5	54	16
done	54	16
0	13	14
1	20	13
2	24	13
done	24	11
0	11	16
1	20	16
2	33	16
3	44	16
4	50	16
5	53	16
done	53	16
0	9	11
1	14	9
done	14	7
0	10	15
1	19	15
2	29	9
3	36	9
4	39	9
done	39	9
0	13	15
1	19	14
2	22	14
done	22	12
0	13	17
1	23	17
2	37	17
3	48	17
4	54	17
5	57	17
done	57	17
0	9	11
1	14	9
done	14	7
0	10	15
1	19	15
2	29	9
3	36	9
4	39	9
done	39	9
0	13	14
1	20	13
2	24	13
done	24	11
0	11	16
1	20	16
2	33	16
3	44	16
4	50	16
5	53	16
done	53	16
0	9	10
1	14	7
2	17	7
done	17	5
0	10	15
1	19	15
2	29	9
3	36	9
4	39	9
done	39	9
0	15	24
1	23	24
2	30	24
3	36	24
done	36	24
0	14	18
1	24	18
2	38	18
3	49	18
4	55	18
5	58	18
done	58	18
0	15	23
1	22	18
2	26	18
done	26	18
0	14	18
1	24	18
2	38	18
3	49	18
4	55	18
5	58	18
done	58	18
0	14	18
1	20	18
2	24	18
done	24	18
0	14	18
1	24	18
2	38	18
3	49	18
4	55	18
5	58	18
done	58	18
0	13	15
1	19	14
2	22	14
done	22	12
0	13	17
1	23	17
2	37	17
3	48	17
4	54	17
5	57	17
done	57	17
0	11	19
1	15	19
done	15	11
0	11	19
1	19	19
2	29	11
3	36	11
4	39	11
done	39	11
0	13	15
1	19	14
2	22	14
done	22	12
0	13	17
1	23	17
2	37	17
3	48	17
4	54	17
5	57	17
done	57	17
0	14	18
1	20	18
2	24	18
done	24	18
0	14	18
1	24	18
2	38	18
3	49	18
4	55	18
5	58	18
done	58	18
0	12	14
1	18	12
2	25	12
3	27	12
done	27	12
0	13	17
1	23	17
2	37	17
3	48	17
4	54	17
5	57	17
done	57	17
0	14	20
1	23	19
2	30	19
3	36	17
4	46	17
done	46	17
0	11	16
1	20	16
2	33	16
3	44	16
4	50	16
5	53	16
done	53	16
0	14	19
1	22	13
2	26	13
done	26	11
0	12	16
1	21	16
2	34	16
3	45	16
4	51	16
5	54	16
done	54	16
0	13	14
1	20	13
2	24	13
done	24	11
0	11	16
1	20	16
2	33	16
3	44	16
4	50	16
5	53	16
done	53	16
0	9	11
1	14	9
done	14	7
0	10	15
1	19	15
2	29	9
3	36	9
4	39	9
done	39	9
0	13	15
1	19	14
2	22	14
done	22	12
0	13	17
1	23	17
2	37	17
3	48	17
4	54	17
5	57	17
done	57	17
0	9	11
1	14	9
done	14	7
0	10	15
1	19	15
2	29	9
3	36	9
4	39	9
done	39	9
0	13	14
1	20	13
2	24	13
done	24	11
0	11	16
1	20	16
2	33	16
3	44	16
4	50	16
5	53	16
done	53	16
0	9	10
1	14	7
2	17	7
done	17	5
0	10	15
1	19	15
2	29	9
3	36	9
4	39	9
done	39	9
0	13	23
1	20	23
2	27	23
3	33	23
done	33	23
0	12	17
1	21	17
2	34	17
3	45	17
4	51	17
5	54	17
done	54	17
0	14	22
1	20	17
2	24	17
done	24	17
0	13	17
1	22	17
2	35	17
3	46	17
4	52	17
5	55	17
done	55	17
0	11	17
1	16	17
2	17	10
3	18	10
done	18	10
0	11	17
1	20	17
2	30	10
3	37	10
4	40	10
done	40	10
0	13	14
1	20	13
2	24	13
done	24	11
0	11	16
1	20	16
2	33	16
3	44	16
4	50	16
5	53	16
done	53	16
0	14	18
1	20	18
2	24	18
done	24	18
0	14	18
1	24	18
2	38	18
3	49	18
4	55	18
5	58	18
done	58	18
0	13	14
1	20	13
2	24	13
done	24	11
0	11	16
1	20	16
2	33	16
3	44	16
4	50	16
5	53	16
done	53	16
0	11	17
1	16	17
2	17	10
3	18	10
done	18	10
0	11	17
1	20	17
2	30	10
3	37	10
4	40	10
done	40	10
0	12	13
1	19	11
2	27	11
3	29	11
done	29	11
0	11	16
1	20	16
2	33	16
3	44	16
4	50	16
5	53	16
done	53	16
0	13	19
1	22	17
2	32	17
3	40	17
done	40	17
0	11	16
1	20	16
2	33	16
3	44	16
4	50	16
5	53	16
done	53	16
0	13	18
1	21	11
2	28	11
done	28	11
0	12	16
1	21	16
2	34	16
3	45	16
4	51	16
5	54	16
done	54	16
0	12	13
1	19	11
2	26	11
done	26	11
0	11	16
1	20	16
2	33	16
3	44	16
4	50	16
5	53	16
done	53	16
0	9	10
1	14	5
2	20	5
done	20	5
0	10	15
1	19	15
2	29	9
3	36	9
4	39	9
done	39	9
0	12	14
1	18	12
2	24	12
done	24	12
0	13	17
1	23	17
2	37	17
3	48	17
4	54	17
5	57	17
done	57	17
0	9	10
1	14	5
2	20	5
done	20	5
0	10	15
1	19	15
2	29	9
3	36	9
4	39	9
done	39	9
0	12	13
1	19	11
2	26	11
done	26	11
0	11	16
1	20	16
2	33	16
3	44	16
4	50	16
5	53	16
done	53	16
0	8	9
1	13	5
done	13	5
0	10	15
1	19	15
2	29	9
3	36	9
4	39	9
done	39	9
0	9	25
1	19	25
2	27	25
3	29	15
4	37	9
5	54	9
6	92	9
7	200	9
8	523	9
9	1888	9
done	5000	9
0	9	15
1	17	15
2	27	15
3	33	15
4	36	15
done	36	15
0	12	24
1	21	19
2	28	19
3	36	19
done	36	19
0	11	15
1	19	15
2	32	15
3	43	15
4	49	15
5	52	15
done	52	15
0	10	19
1	18	19
2	25	19
3	33	19
done	33	19
0	10	15
1	18	15
2	31	15
3	42	15
4	48	15
5	51	15
done	51	15
0	10	16
1	18	15
2	25	13
3	37	13
done	37	13
0	9	14
1	17	14
2	30	14
3	41	14
4	47	14
5	50	14
done	50	14
0	13	20
1	22	20
2	29	20
3	37	20
done	37	20
0	13	16
1	23	16
2	37	16
3	48	16
4	54	16
5	57	16
done	57	16
0	10	16
1	18	15
2	25	13
3	37	13
done	37	13
0	9	14
1	17	14
2	30	14
3	41	14
4	47	14
5	50	14
done	50	14
0	10	19
1	18	19
2	25	19
3	33	19
done	33	19
0	10	15
1	18	15
2	31	15
3	42	15
4	48	15
5	51	15
done	51	15
0	9	15
1	17	13
2	28	13
3	38	13
done	38	13
0	9	14
1	17	14
2	30	14
3	41	14
4	47	14
5	50	14
done	50	14
0	12	24
1	21	19
2	28	19
3	34	19
done	34	19
0	11	15
1	19	15
2	32	15
3	43	15
4	49	15
5	52	15
done	52	15
0	9	23
1	16	13
2	17	11
3	20	11
done	20	11
0	9	15
1	17	15
2	27	8
3	34	8
4	37	8
done	37	8
0	11	18
1	18	13
2	22	13
done	22	13
0	11	15
1	19	15
2	32	15
3	43	15
4	49	15
5	52	15
done	52	15
0	10	15
1	17	9
2	21	7
3	25	7
done	25	7
0	10	14
1	18	14
2	31	14
3	42	14
4	48	14
5	51	14
done	51	14
0	13	19
1	21	14
2	25	14
done	25	14
0	13	16
1	23	16
2	37	16
3	48	16
4	54	16
5	57	16
done	57	16
0	10	15
1	17	9
2	21	7
3	25	7
done	25	7
0	10	14
1	18	14
2	31	14
3	42	14
4	48	14
5	51	14
done	51	14
0	11	18
1	18	13
2	22	13
done	22	13
0	11	15
1	19	15
2	32	15
3	43	15
4	49	15
5	52	15
done	52	15
0	9	14
1	16	7
2	24	7
done	24	7
0	10	14
1	18	14
2	31	14
3	42	14
4	48	14
5	51	14
done	51	14
0	10	19
1	18	19
2	25	19
3	31	19
done	31	19
0	10	15
1	18	15
2	31	15
3	42	15
4	48	15
5	51	15
done	51	15
0	11	18
1	18	13
2	22	13
done	22	13
0	11	15
1	19	15
2	32	15
3	43	15
4	49	15
5	52	15
done	52	15
0	8	13
1	14	13
2	15	6
3	16	6
done	16	6
0	9	15
1	17	15
2	27	8
3	34	8
4	37	8
done	37	8
0	9	10
1	15	9
2	19	7
3	23	7
done	23	7
0	9	14
1	17	14
2	30	14
3	41	14
4	47	14
5	50	14
done	50	14
0	12	14
1	19	14
2	23	14
done	23	14
0	13	16
1	23	16
2	37	16
3	48	16
4	54	16
5	57	16
done	57	16
0	9	10
1	15	9
2	19	7
3	23	7
done	23	7
0	9	14
1	17	14
2	30	14
3	41	14
4	47	14
5	50	14
done	50	14
0	8	13
1	14	13
2	15	6
3	16	6
done	16	6
0	9	15
1	17	15
2	27	8
3	34	8
4	37	8
done	37	8
0	8	9
1	14	7
2	22	7
done	22	7
0	9	14
1	17	14
2	30	14
3	41	14
4	47	14
5	50	14
done	50	14
0	10	16
1	18	15
2	25	15
3	31	13
4	41	13
done	41	13
0	9	14
1	17	14
2	30	14
3	41	14
4	47	14
5	50	14
done	50	14
0	10	15
1	17	9
2	21	9
done	21	7
0	10	14
1	18	14
2	31	14
3	42	14
4	48	14
5	51	14
done	51	14
0	9	10
1	15	9
2	19	9
done	19	7
0	9	14
1	17	14
2	30	14
3	41	14
4	47	14
5	50	14
done	50	14
0	4	7
1	8	5
done	8	3
0	8	13
1	16	13
2	26	7
3	33	7
4	36	7
done	36	7
0	10	11
1	15	10
2	18	10
done	18	8
0	12	15
1	22	15
2	36	15
3	47	15
4	53	15
5	56	15
done	56	15
0	4	7
1	8	5
done	8	3
0	8	13
1	16	13
2	26	7
3	33	7
4	36	7
done	36	7
0	9	10
1	15	9
2	19	9
done	19	7
0	9	14
1	17	14
2	30	14
3	41	14
4	47	14
5	50	14
done	50	14
0	4	6
1	8	3
2	11	1
done	11	1
0	8	13
1	16	13
2	26	7
3	33	7
4	36	7
done	36	7
0	13	20
1	22	20
2	29	20
3	35	20
done	35	20
0	13	16
1	23	16
2	37	16
3	48	16
4	54	16
5	57	16
done	57	16
0	13	19
1	21	14
2	25	14
done	25	14
0	13	16
1	23	16
2	37	16
3	48	16
4	54	16
5	57	16
done	57	16
0	12	14
1	19	14
2	23	14
done	23	14
0	13	16
1	23	16
2	37	16
3	48	16
4	54	16
5	57	16
done	57	16
0	10	11
1	15	10
2	18	8
3	22	8
done	22	8
0	12	15
1	22	15
2	36	15
3	47	15
4	53	15
5	56	15
done	56	15
0	9	15
1	14	15
done	14	7
0	10	17
1	19	17
2	29	9
3	36	9
4	39	9
done	39	9
0	10	11
1	15	10
2	18	8
3	22	8
done	22	8
0	12	15
1	22	15
2	36	15
3	47	15
4	53	15
5	56	15
done	56	15
0	12	14
1	19	14
2	23	14
done	23	14
0	13	16
1	23	16
2	37	16
3	48	16
4	54	16
5	57	16
done	57	16
0	9	10
1	14	8
2	21	8
done	21	8
0	12	15
1	22	15
2	36	15
3	47	15
4	53	15
5	56	15
done	56	15
0	10	16
1	18	15
2	25	15
3	31	13
4	41	13
done	41	13
0	9	14
1	17	14
2	30	14
3	41	14
4	47	14
5	50	14
done	50	14
0	10	15
1	17	9
2	21	9
done	21	7
0	10	14
1	18	14
2	31	14
3	42	14
4	48	14
5	51	14
done	51	14
0	9	10
1	15	9
2	19	9
done	19	7
0	9	14
1	17	14
2	30	14
3	41	14
4	47	14
5	50	14
done	50	14
0	4	7
1	8	5
done	8	3
0	8	13
1	16	13
2	26	7
3	33	7
4	36	7
done	36	7
0	10	11
1	15	10
2	18	10
done	18	8
0	12	15
1	22	15
2	36	15
3	47	15
4	53	15
5	56	15
done	56	15
0	4	7
1	8	5
done	8	3
0	8	13
1	16	13
2	26	7
3	33	7
4	36	7
done	36	7
0	9	10
1	15	9
2	19	9
done	19	7
0	9	14
1	17	14
2	30	14
3	41	14
4	47	14
5	50	14
done	50	14
0	4	6
1	8	3
2	11	1
done	11	1
0	8	13
1	16	13
2	26	7
3	33	7
4	36	7
done	36	7
0	10	19
1	18	19
2	25	19
3	31	19
done	31	19
0	10	15
1	18	15
2	31	15
3	42	15
4	48	15
5	51	15
done	51	15
0	11	18
1	18	13
2	22	13
done	22	13
0	11	15
1	19	15
2	32	15
3	43	15
4	49	15
5	52	15
done	52	15
0	8	13
1	14	13
2	15	6
3	16	6
done	16	6
0	9	15
1	17	15
2	27	8
3	34	8
4	37	8
done	37	8
0	9	10
1	15	9
2	19	7
3	23	7
done	23	7
0	9	14
1	17	14
2	30	14
3	41	14
4	47	14
5	50	14
done	50	14
0	12	14
1	19	14
2	23	14
done	23	14
0	13	16
1	23	16
2	37	16
3	48	16
4	54	16
5	57	16
done	57	16
0	9	10
1	15	9
2	19	7
3	23	7
done	23	7
0	9	14
1	17	14
2	30	14
3	41	14
4	47	14
5	50	14
done	50	14
0	8	13
1	14	13
2	15	6
3	16	6
done	16	6
0	9	15
1	17	15
2	27	8
3	34	8
4	37	8
done	37	8
0	8	9
1	14	7
2	22	7
done	22	7
0	9	14
1	17	14
2	30	14
3	41	14
4	47	14
5	50	14
done	50	14
0	9	15
1	17	13
2	22	13
3	32	13
4	33	13
done	33	13
0	9	14
1	17	14
2	30	14
3	41	14
4	47	14
5	50	14
done	50	14
0	9	14
1	16	7
2	19	7
3	23	7
done	23	7
0	10	14
1	18	14
2	31	14
3	42	14
4	48	14
5	51	14
done	51	14
0	8	9
1	14	7
2	17	7
3	21	7
done	21	7
0	9	14
1	17	14
2	30	14
3	41	14
4	47	14
5	50	14
done	50	14
0	4	6
1	8	1
done	8	1
0	8	13
1	16	13
2	26	7
3	33	7
4	36	7
done	36	7
0	9	10
1	14	8
2	16	8
3	20	8
done	20	8
0	12	15
1	22	15
2	36	15
3	47	15
4	53	15
5	56	15
done	56	15
0	4	6
1	8	1
done	8	1
0	8	13
1	16	13
2	26	7
3	33	7
4	36	7
done	36	7
0	8	9
1	14	7
2	17	7
3	21	7
done	21	7
0	9	14
1	17	14
2	30	14
3	41	14
4	47	14
5	50	14
done	50	14
0	3	5
1	7	1
done	7	1
0	8	13
1	16	13
2	26	7
3	33	7
4	36	7
done	36	7
0	8	13
1	14	13
2	15	13
done	15	13
0	9	14
1	17	14
2	30	14
3	41	14
4	47	14
5	50	14
done	50	14
0	8	12
1	13	7
2	14	7
done	14	7
0	10	14
1	18	14
2	31	14
3	42	14
4	48	14
5	51	14
done	51	14
0	7	7
1	11	7
2	12	7
done	12	7
0	9	14
1	17	14
2	30	14
3	41	14
4	47	14
5	50	14
done	50	14
0	3	4
1	5	3
done	5	3
0	8	13
1	16	13
2	26	7
3	33	7
4	36	7
done	36	7
0	8	8
1	11	8
done	11	8
0	12	15
1	22	15
2	36	15
3	47	15
4	53	15
5	56	15
done	56	15
0	3	4
1	5	3
done	5	3
0	8	13
1	16	13
2	26	7
3	33	7
4	36	7
done	36	7
0	7	7
1	11	7
2	12	7
done	12	7
0	9	14
1	17	14
2	30	14
3	41	14
4	47	14
5	50	14
done	50	14
0	2	3
1	4	1
done	4	1
0	8	13
1	16	13
2	26	7
3	33	7
4	36	7
done	36	7
0	9	15
1	17	15
2	26	15
3	31	15
4	34	15
done	34	15
0	8	12
1	14	12
2	18	12
done	18	12
0	9	14
1	16	9
2	20	9
3	22	9
done	22	9
0	9	12
1	15	12
2	19	12
done	19	12
0	8	9
1	14	9
2	18	9
3	20	9
done	20	9
0	8	12
1	14	12
2	18	12
done	18	12
0	6	6
1	13	5
2	16	5
3	18	3
4	23	3
5	27	3
done	27	3
0	7	11
1	13	11
2	14	5
3	15	5
done	15	5
0	9	10
1	15	10
2	18	10
3	20	10
done	20	10
0	11	13
1	19	13
2	24	13
done	24	13
0	6	6
1	13	5
2	16	5
3	18	3
4	23	3
5	27	3
done	27	3
0	7	11
1	13	11
2	14	5
3	15	5
done	15	5
0	8	9
1	14	9
2	18	9
3	20	9
done	20	9
0	8	12
1	14	12
2	18	12
done	18	12
0	5	5
1	12	3
2	17	3
done	17	3
0	7	11
1	13	11
2	14	5
3	15	5
done	15	5
0	15	24
1	40	24
2	80	24
3	141	24
4	245	24
5	593	24
6	2360	24
done	5000	24
0	12	18
1	21	16
2	30	16
3	31	16
4	32	16
done	32	16
0	15	23
1	39	18
2	73	18
3	118	18
4	211	18
5	546	18
6	2316	18
done	5000	18
0	12	18
1	21	16
2	30	16
3	31	16
4	32	16
done	32	16
0	14	18
1	37	18
2	71	18
3	116	18
4	209	18
5	544	18
6	2325	18
done	5001	18
0	12	18
1	21	16
2	30	16
3	31	16
4	32	16
done	32	16
0	13	15
1	37	14
2	70	14
3	115	12
4	219	12
5	553	12
6	2334	12
done	5000	12
0	11	17
1	20	15
2	29	15
3	30	15
4	31	15
done	31	15
0	15	19
1	38	19
2	71	19
3	116	19
4	209	19
5	549	19
6	2326	19
done	5001	19
0	13	19
1	22	17
2	31	17
3	32	17
4	33	17
done	33	17
0	13	15
1	37	14
2	70	14
3	115	12
4	219	12
5	553	12
6	2334	12
done	5000	12
0	11	17
1	20	15
2	29	15
3	30	15
4	31	15
done	31	15
0	14	18
1	37	18
2	71	18
3	116	18
4	209	18
5	544	18
6	2325	18
done	5001	18
0	12	18
1	21	16
2	30	16
3	31	16
4	32	16
done	32	16
0	12	14
1	36	12
2	70	12
3	115	12
4	211	12
5	546	12
6	2313	12
done	5001	12
0	11	17
1	20	15
2	29	15
3	30	15
4	31	15
done	31	15
0	14	24
1	28	24
2	58	24
3	110	24
4	159	24
5	223	24
6	375	24
7	1559	24
done	5001	24
0	8	10
1	11	10
2	12	10
done	12	10
0	14	23
1	27	18
2	51	18
3	87	18
4	121	18
5	179	18
6	328	18
7	1493	18
done	5000	18
0	8	10
1	11	10
2	12	10
done	12	10
0	13	18
1	25	18
2	49	18
3	85	18
4	119	18
5	178	18
6	325	18
7	1489	18
done	5000	18
0	8	10
1	11	10
2	12	10
done	12	10
0	12	15
1	26	14
2	44	14
3	70	12
4	112	12
5	155	12
6	214	12
7	406	12
8	1850	12
done	5001	12
0	7	9
1	10	9
2	11	9
done	11	9
0	14	19
1	27	19
2	45	19
3	71	19
4	102	19
5	146	19
6	210	19
7	378	19
8	1626	19
done	5000	19
0	9	11
1	12	11
2	13	11
done	13	11
0	12	15
1	26	14
2	44	14
3	70	12
4	112	12
5	155	12
6	214	12
7	406	12
8	1850	12
done	5001	12
0	7	9
1	10	9
2	11	9
done	11	9
0	13	18
1	25	18
2	49	18
3	85	18
4	119	18
5	178	18
6	325	18
7	1489	18
done	5000	18
0	8	10
1	11	10
2	12	10
done	12	10
0	11	14
1	25	12
2	44	12
3	70	12
4	105	12
5	148	12
6	209	12
7	401	12
8	1832	12
done	5000	12
0	7	9
1	10	9
2	11	9
done	11	9
0	6	6
1	10	6
2	11	6
done	11	6
0	8	13
1	16	13
2	23	13
3	25	7
4	29	7
5	31	7
6	33	7
done	33	7
0	10	20
1	20	20
2	39	20
3	66	20
4	85	20
5	96	20
6	97	20
done	97	20
0	11	19
1	20	14
2	33	14
3	44	14
4	50	14
5	53	14
done	53	14
0	9	14
1	17	14
2	30	14
3	41	14
4	47	14
5	50	14
done	50	14
0	10	11
1	20	10
2	33	10
3	44	8
4	61	8
5	63	8
done	63	8
0	12	15
1	21	15
2	34	15
3	45	15
4	51	15
5	54	15
done	54	15
0	10	11
1	20	10
2	33	10
3	44	8
4	61	8
5	63	8
done	63	8
0	9	14
1	17	14
2	30	14
3	41	14
4	47	14
5	50	14
done	50	14
0	9	10
1	19	8
2	33	8
3	44	8
4	54	8
5	56	8
done	56	8
0	9	14
1	15	14
2	19	14
3	21	14
done	21	14
0	9	14
1	15	14
2	19	14
3	21	14
done	21	14
0	10	15
1	15	15
2	20	15
3	21	15
4	23	15
5	25	15
6	26	15
done	26	15
0	11	15
1	16	15
2	21	15
3	22	15
4	24	15
5	26	15
6	27	15
done	27	15
0	10	15
1	15	15
2	20	15
3	21	15
4	23	15
5	25	15
6	26	15
done	26	15
0	9	14
1	14	14
2	19	14
done	19	8
0	13	16
1	20	16
2	26	16
3	27	16
4	29	16
5	31	16
6	32	16
done	32	16
0	9	14
1	14	14
2	19	14
done	19	8
0	10	15
1	15	15
2	20	15
3	21	15
4	23	15
5	25	15
6	26	15
done	26	15
0	9	14
1	14	14
2	19	14
done	19	8
0	10	15
1	15	15
2	20	15
3	21	15
4	23	15
5	25	15
6	26	15
done	26	15
0	11	15
1	16	15
2	21	15
3	22	15
4	24	15
5	26	15
6	27	15
done	27	15
0	10	15
1	15	15
2	20	15
3	21	15
4	23	15
5	25	15
6	26	15
done	26	15
0	9	14
1	14	14
2	19	14
done	19	8
0	13	16
1	20	16
2	26	16
3	27	16
4	29	16
5	31	16
6	32	16
done	32	16
0	9	14
1	14	14
2	19	14
done	19	8
0	10	15
1	15	15
2	20	15
3	21	15
4	23	15
5	25	15
6	26	15
done	26	15
0	9	14
1	14	14
2	19	14
done	19	8
0	9	14
1	17	14
2	24	14
3	27	14
4	29	14
5	34	14
6	37	14
7	39	14
done	39	14
0	10	14
1	18	14
2	25	14
3	28	14
4	30	14
5	35	14
6	38	14
7	40	14
done	40	14
0	9	14
1	17	14
2	24	14
3	27	14
4	29	14
5	34	14
6	37	14
7	39	14
done	39	14
0	8	13
1	16	13
2	23	13
3	25	7
4	29	7
5	31	7
6	33	7
done	33	7
0	12	15
1	22	15
2	30	15
3	33	15
4	35	15
5	40	15
6	43	15
7	45	15
done	45	15
0	8	13
1	16	13
2	23	13
3	25	7
4	29	7
5	31	7
6	33	7
done	33	7
0	9	14
1	17	14
2	24	14
3	27	14
4	29	14
5	34	14
6	37	14
7	39	14
done	39	14
0	8	13
1	16	13
2	23	13
3	25	7
4	29	7
5	31	7
6	33	7
done	33	7
0	11	16
1	20	16
2	27	16
3	30	16
4	32	16
5	37	16
6	40	16
7	42	16
done	42	16
0	12	16
1	21	16
2	28	16
3	31	16
4	33	16
5	38	16
6	41	16
7	43	16
done	43	16
0	11	16
1	20	16
2	27	16
3	30	16
4	32	16
5	37	16
6	40	16
7	42	16
done	42	16
0	10	15
1	19	15
2	26	15
3	28	9
4	32	9
5	34	9
6	36	9
done	36	9
0	13	17
1	23	17
2	31	17
3	34	17
4	36	17
5	41	17
6	44	17
7	46	17
done	46	17
0	10	15
1	19	15
2	26	15
3	28	9
4	32	9
5	34	9
6	36	9
done	36	9
0	11	16
1	20	16
2	27	16
3	30	16
4	32	16
5	37	16
6	40	16
7	42	16
done	42	16
0	10	15
1	19	15
2	26	15
3	28	9
4	32	9
5	34	9
6	36	9
done	36	9
0	9	14
1	17	14
2	24	14
3	27	14
4	29	14
5	34	14
6	37	14
7	39	14
done	39	14
0	10	14
1	18	14
2	25	14
3	28	14
4	30	14
5	35	14
6	38	14
7	40	14
done	40	14
0	9	14
1	17	14
2	24	14
3	27	14
4	29	14
5	34	14
6	37	14
7	39	14
done	39	14
0	8	13
1	16	13
2	23	13
3	25	7
4	29	7
5	31	7
6	33	7
done	33	7
0	12	15
1	22	15
2	30	15
3	33	15
4	35	15
5	40	15
6	43	15
7	45	15
done	45	15
0	8	13
1	16	13
2	23	13
3	25	7
4	29	7
5	31	7
6	33	7
done	33	7
0	9	14
1	17	14
2	24	14
3	27	14
4	29	14
5	34	14
6	37	14
7	39	14
done	39	14
0	8	13
1	16	13
2	23	13
3	25	7
4	29	7
5	31	7
6	33	7
done	33	7
0	8	13
1	16	13
2	23	13
3	25	7
4	29	7
5	31	7
6	33	7
done	33	7
0	7	11
1	13	11
2	17	9
3	21	3
4	26	3
5	28	3
done	28	3
0	11	17
1	20	15
2	29	15
3	30	15
4	31	15
done	31	15
0	7	9
1	10	9
2	11	9
done	11	9
0	13	17
1	36	17
2	70	17
3	115	17
4	211	17
5	552	17
6	2342	17
done	5000	17
0	12	17
1	24	17
2	48	17
3	84	17
4	118	17
5	185	17
6	332	17
7	1522	17
done	5000	17
0	5	9
1	7	3
2	9	3
done	9	3
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	6	11
1	8	11
2	9	11
done	9	11
0	5	5
1	7	5
2	8	5
done	8	5
0	6	14
1	9	8
2	19	6
3	29	6
4	39	6
5	49	6
6	70	6
7	128	6
8	341	6
9	1259	6
done	5000	6
0	6	10
1	9	5
2	10	5
done	10	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	7	8
1	22	8
2	44	8
3	78	8
4	165	8
5	497	8
6	2266	8
done	5000	8
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	10
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
done	6	1
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	6	11
1	8	11
2	9	11
done	9	11
0	5	5
1	7	5
2	8	5
done	8	5
0	6	14
1	9	8
2	19	6
3	29	6
4	39	6
5	49	6
6	70	6
7	128	6
8	341	6
9	1259	6
done	5000	6
0	6	10
1	9	5
2	10	5
done	10	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	7	8
1	22	8
2	44	8
3	78	8
4	165	8
5	497	8
6	2266	8
done	5000	8
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	10
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
done	6	1
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	12	18
1	25	18
2	52	18
3	83	15
4	129	15
5	168	15
6	244	15
7	477	15
8	791	15
9	907	15
10	927	15
done	927	15
0	14	19
1	36	19
2	77	19
3	160	19
4	349	15
5	884	13
6	2519	13
done	5000	13
0	14	19
1	36	19
2	77	19
3	162	19
4	355	15
5	886	13
6	2557	13
done	5000	13
0	9	13
1	21	11
2	46	9
3	81	9
4	119	9
5	182	9
6	260	9
7	449	9
8	761	9
9	1454	9
10	1950	9
11	2010	9
done	2010	9
0	9	11
1	19	11
2	31	9
3	38	9
4	51	9
5	63	9
6	84	9
7	135	9
8	245	9
9	277	9
10	307	9
11	327	9
12	330	9
done	330	9
0	9	11
1	19	11
2	31	9
3	38	9
4	51	9
5	63	9
6	84	9
7	135	9
8	245	9
9	277	9
10	307	9
11	327	9
12	330	9
done	330	9
0	15	20
1	38	20
2	103	20
3	277	20
4	819	15
5	2866	15
done	5001	15
0	21	33
1	57	33
2	182	33
3	496	29
4	1449	29
5	4899	27
done	5000	27
0	21	33
1	57	33
2	182	33
3	496	33
4	1416	30
5	4541	27
done	5000	27
0	15	20
1	38	20
2	103	20
3	277	20
4	819	15
5	2866	15
done	5001	15
0	21	33
1	57	33
2	182	33
3	496	29
4	1449	29
5	4899	27
done	5000	27
0	21	33
1	57	33
2	182	33
3	496	33
4	1416	30
5	4541	27
done	5000	27

prune745.0ms

Filtered

262 candidates to 556 candidates (-112.2%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	556	0	556
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	556	3	559

Merged error: 0b

Counts

559 → 3

regimes108.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	7	11
done	7	11

end0.0ms

sample434.0ms

Algorithm

intervals

Results

189.0ms	7997×	body	80	valid
0.0ms	1×	body	1280	valid
0.0ms	1×	body	640	valid
0.0ms	1×	body	320	valid

Details

sample16.0ms

simplify7.0ms

prune2.0ms

localize5.0ms

rewrite15.0ms

series7.0ms

simplify21.5s

prune69.0ms

localize6.0ms

rewrite50.0ms

series19.0ms

simplify1.2min

prune144.0ms

localize8.0ms

rewrite106.0ms

series27.0ms

simplify2.8min

prune745.0ms

regimes108.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample434.0ms

Profiling