Details

sample59.0ms

Algorithm

intervals

Results

27.0ms	259×	body	80	nan
14.0ms	256×	body	80	valid

simplify18.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	9	11
1	16	11
2	19	11
3	21	11
done	21	11

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

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(atan (sqrt (/ (- 1.0 x) (+ 1.0 x))))
0.0b	(sqrt (/ (- 1.0 x) (+ 1.0 x)))
0.0b	(/ (- 1.0 x) (+ 1.0 x))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

64×	`*-un-lft-identity`
45×	`add-sqr-sqrt`
41×	`times-frac`
26×	`sqrt-prod`
24×	`add-cube-cbrt`
11×	`distribute-lft-out`
9×	`distribute-lft-out--` `difference-of-squares`
5×	`add-exp-log` `add-cbrt-cube` `associate-/l*`
4×	`pow1` `associate-/r*` `associate-/r/`
3×	`add-log-exp`
2×	`rem-sqrt-square` `flip3-+` `flip-+` `div-inv` `associate-/l/`
1×	`cbrt-undiv` `flip3--` `frac-2neg` `sqrt-pow1` `pow1/2` `sqrt-div` `div-sub` `div-exp` `clear-num` `flip--`

Counts

3 → 91

Calls

3 calls:

1.0ms	(atan (sqrt (/ (- 1.0 x) (+ 1.0 x))))
8.0ms	(sqrt (/ (- 1.0 x) (+ 1.0 x)))
11.0ms	(/ (- 1.0 x) (+ 1.0 x))

series22.0ms

Counts

3 → 9

Calls

3 calls:

3.0ms	(atan (sqrt (/ (- 1.0 x) (+ 1.0 x))))
6.0ms	(sqrt (/ (- 1.0 x) (+ 1.0 x)))
12.0ms	(/ (- 1.0 x) (+ 1.0 x))

simplify50.6s

Counts

100 → 100

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
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	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	8	19
1	14	19
2	17	19
3	19	19
done	19	19
0	7	9
1	13	9
2	16	9
3	18	9
done	18	9
0	8	26
1	15	16
2	25	10
3	50	10
4	72	10
5	106	10
6	136	10
7	203	10
8	412	10
9	1358	10
done	5000	10
0	8	18
1	15	9
2	18	9
3	20	9
done	20	9
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	7	9
1	13	9
2	16	9
3	18	9
done	18	9
0	10	20
1	19	20
2	30	10
3	36	10
done	36	10
0	8	10
1	11	10
2	12	10
done	12	10
0	9	15
1	14	15
2	17	15
3	18	15
done	18	15
0	8	10
1	11	10
2	12	10
done	12	10
0	8	12
1	14	10
2	22	5
3	27	5
done	27	5
0	7	9
1	10	9
2	11	9
done	11	9
0	8	12
1	14	10
2	22	5
3	27	5
done	27	5
0	7	9
1	10	9
2	11	9
done	11	9
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	8	10
1	11	10
2	12	10
done	12	10
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	9
1	10	9
2	11	9
done	11	9
0	7	7
1	11	5
2	14	5
done	14	5
0	7	9
1	10	9
2	11	9
done	11	9
0	8	12
1	13	12
done	13	12
0	7	9
1	13	9
2	16	9
3	18	9
done	18	9
0	7	7
1	10	7
done	10	7
0	7	9
1	13	9
2	16	9
3	18	9
done	18	9
0	3	4
1	5	1
done	5	1
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	3	4
1	5	1
done	5	1
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	10	16
1	14	16
done	14	16
0	9	11
1	15	11
2	18	11
3	20	11
done	20	11
0	9	11
1	11	11
done	11	11
0	9	11
1	15	11
2	18	11
3	20	11
done	20	11
0	8	8
1	11	6
2	13	6
done	13	6
0	8	10
1	14	10
2	17	10
3	19	10
done	19	10
0	8	8
1	11	6
2	13	6
done	13	6
0	8	10
1	14	10
2	17	10
3	19	10
done	19	10
0	8	12
1	13	12
done	13	12
0	7	9
1	13	9
2	16	9
3	18	9
done	18	9
0	7	7
1	10	7
done	10	7
0	7	9
1	13	9
2	16	9
3	18	9
done	18	9
0	3	4
1	5	1
done	5	1
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	3	4
1	5	1
done	5	1
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	2	2
1	4	1
done	4	1
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	4	4
1	6	4
2	7	4
done	7	4
0	6	6
1	9	6
done	9	6
0	9	12
1	28	12
2	40	12
3	59	12
4	98	12
5	214	12
6	629	12
7	2464	12
done	5000	12
0	8	12
1	16	10
2	31	10
3	44	10
4	64	10
5	85	10
6	102	10
7	125	10
8	168	10
9	230	10
10	231	10
done	231	10
0	8	12
1	17	12
2	37	12
3	73	12
4	110	6
5	166	6
6	317	6
7	1480	6
done	5000	6
0	4	4
1	6	4
2	7	4
done	7	4
0	4	4
1	6	4
2	7	4
done	7	4
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
done	6	1
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	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	21
1	15	21
2	18	21
3	20	21
done	20	21
0	8	10
1	14	10
2	17	10
3	19	10
done	19	10
0	9	29
1	16	29
2	21	11
3	28	11
4	34	11
5	44	11
6	67	11
7	132	11
8	349	11
9	1277	11
done	5000	11
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	21	11
2	48	11
3	65	9
4	88	9
5	127	9
6	201	9
7	352	9
8	631	9
9	1655	9
done	5000	9
0	11	15
1	27	15
2	58	11
3	130	11
4	330	11
5	1025	9
done	5000	9
0	11	15
1	27	15
2	58	11
3	130	11
4	330	11
5	1025	9
done	5000	9
0	17	29
1	46	29
2	133	29
3	340	22
4	956	22
5	3234	17
done	5000	17
0	22	35
1	59	35
2	177	29
3	563	26
4	2375	24
done	5000	24
0	22	35
1	59	35
2	177	29
3	563	26
4	2375	24
done	5000	24
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	7	9
1	13	9
2	16	9
3	18	9
done	18	9

prune184.0ms

Filtered

70 candidates to 100 candidates (-42.9%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	99	1	100
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	99	2	101

Merged error: 0b

Counts

101 → 2

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (+ 1.0 x))
0.0b	(sqrt (/ (/ (- 1.0 x) (sqrt (+ 1.0 x))) (sqrt (+ 1.0 x))))
0.0b	(/ (- 1.0 x) (sqrt (+ 1.0 x)))
0.0b	(/ (/ (- 1.0 x) (sqrt (+ 1.0 x))) (sqrt (+ 1.0 x)))

rewrite169.0ms

Algorithm

rewrite-expression-head

Rules

1144×	`times-frac`
1018×	`*-un-lft-identity`
958×	`sqrt-prod`
706×	`add-sqr-sqrt`
462×	`add-cube-cbrt`
165×	`distribute-lft-out`
113×	`distribute-lft-out--` `difference-of-squares`
46×	`associate-/l*`
39×	`sqrt-div`
36×	`associate-/r/`
19×	`flip3-+` `flip-+`
18×	`div-inv`
14×	`associate-/r*`
11×	`add-exp-log` `add-cbrt-cube`
8×	`rem-sqrt-square`
6×	`pow1`
4×	`cbrt-undiv` `div-exp` `add-log-exp`
3×	`div-sub` `associate-/l/`
2×	`frac-2neg` `sqrt-pow1` `pow1/2` `clear-num`
1×	`flip3--` `flip--`

Counts

4 → 743

Calls

4 calls:

9.0ms	(sqrt (+ 1.0 x))
43.0ms	(sqrt (/ (/ (- 1.0 x) (sqrt (+ 1.0 x))) (sqrt (+ 1.0 x))))
11.0ms	(/ (- 1.0 x) (sqrt (+ 1.0 x)))
25.0ms	(/ (/ (- 1.0 x) (sqrt (+ 1.0 x))) (sqrt (+ 1.0 x)))

series21.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(sqrt (+ 1.0 x))
6.0ms	(sqrt (/ (/ (- 1.0 x) (sqrt (+ 1.0 x))) (sqrt (+ 1.0 x))))
8.0ms	(/ (- 1.0 x) (sqrt (+ 1.0 x)))
4.0ms	(/ (/ (- 1.0 x) (sqrt (+ 1.0 x))) (sqrt (+ 1.0 x)))

simplify4.2min

Counts

755 → 755

Iterations

Useful iterations: 2 (2.0ms)

Iter	Nodes	Cost
0	9	16
1	17	16
2	30	12
3	42	12
4	51	12
5	60	12
6	74	12
7	84	12
8	87	12
done	87	12
0	9	15
1	19	15
2	28	15
3	43	12
4	56	12
5	63	12
6	73	12
7	81	12
8	91	12
9	94	12
done	94	12
0	8	14
1	19	14
2	34	8
3	49	8
4	64	8
5	75	8
6	82	8
7	92	8
8	100	8
9	110	8
10	113	8
done	113	8
0	8	14
1	16	14
2	25	8
3	35	8
4	40	8
5	43	8
6	49	8
7	53	8
8	69	8
9	75	8
10	84	8
11	97	8
12	121	8
13	147	8
14	166	8
15	177	8
16	193	8
17	199	8
done	199	8
0	11	41
1	27	29
2	122	17
3	486	11
4	1500	9
done	5000	9
0	11	41
1	32	35
2	114	17
3	415	9
4	1408	9
done	5000	9
0	9	29
1	17	29
2	26	17
3	33	17
4	36	17
done	36	17
0	8	14
1	16	14
2	25	8
3	32	8
4	35	8
done	35	8
0	9	41
1	24	41
2	64	9
3	224	9
4	928	9
5	2936	9
done	5001	9
0	8	14
1	16	14
2	25	8
3	32	8
4	35	8
done	35	8
0	8	14
1	16	14
2	25	8
3	32	8
4	35	8
done	35	8
0	7	9
1	15	9
2	21	9
3	28	9
4	32	8
5	33	8
done	33	8
0	5	5
1	6	5
done	6	5
0	6	11
1	9	11
done	9	5
0	6	11
1	9	11
done	9	5
0	11	31
1	23	31
2	35	31
3	43	31
done	43	31
0	9	15
1	15	15
2	18	15
3	20	15
done	20	15
0	12	30
1	21	25
2	26	25
3	29	25
done	29	25
0	10	15
1	16	15
2	19	15
3	21	15
done	21	15
0	10	25
1	18	25
2	23	25
3	26	25
done	26	25
0	9	15
1	15	15
2	18	15
3	20	15
done	20	15
0	11	22
1	21	21
2	26	21
3	29	19
4	36	19
done	36	19
0	8	14
1	14	14
2	17	14
3	19	14
done	19	14
0	11	22
1	21	21
2	26	21
3	29	19
4	36	19
done	36	19
0	8	14
1	14	14
2	17	14
3	19	14
done	19	14
0	10	25
1	18	25
2	23	25
3	26	25
done	26	25
0	9	15
1	15	15
2	18	15
3	20	15
done	20	15
0	10	21
1	20	19
2	29	19
3	36	19
done	36	19
0	8	14
1	14	14
2	17	14
3	19	14
done	19	14
0	10	21
1	18	21
2	21	21
3	23	21
done	23	21
0	9	15
1	15	15
2	18	15
3	20	15
done	20	15
0	11	20
1	18	15
2	21	15
3	23	15
done	23	15
0	10	15
1	16	15
2	19	15
3	21	15
done	21	15
0	9	15
1	15	15
2	18	15
3	20	15
done	20	15
0	9	15
1	15	15
2	18	15
3	20	15
done	20	15
0	10	12
1	18	11
2	21	11
3	23	11
done	23	11
0	8	14
1	14	14
2	17	14
3	19	14
done	19	14
0	10	12
1	18	11
2	21	11
3	23	11
done	23	11
0	8	14
1	14	14
2	17	14
3	19	14
done	19	14
0	9	15
1	15	15
2	18	15
3	20	15
done	20	15
0	9	15
1	15	15
2	18	15
3	20	15
done	20	15
0	9	11
1	17	9
2	22	9
3	24	9
done	24	9
0	8	14
1	14	14
2	17	14
3	19	14
done	19	14
0	11	33
1	24	33
2	53	33
3	94	23
4	118	17
5	150	17
6	243	17
7	550	17
8	1648	17
done	5000	17
0	9	16
1	14	16
2	15	16
done	15	16
0	14	32
1	26	27
2	50	27
3	87	27
4	128	27
5	132	27
done	132	27
0	11	16
1	16	16
2	20	16
done	20	16
0	12	27
1	23	27
2	47	27
3	84	27
4	125	27
5	129	27
done	129	27
0	10	16
1	15	16
2	19	16
done	19	16
0	13	24
1	26	23
2	50	23
3	85	21
4	125	21
done	125	21
0	9	15
1	14	15
2	18	15
done	18	15
0	13	24
1	26	23
2	50	23
3	85	21
4	125	21
done	125	21
0	9	15
1	14	15
2	18	15
done	18	15
0	12	27
1	23	27
2	47	27
3	84	27
4	125	27
5	129	27
done	129	27
0	10	16
1	15	16
2	19	16
done	19	16
0	12	23
1	25	21
2	53	21
3	102	21
4	132	21
5	133	21
done	133	21
0	9	15
1	14	15
2	18	15
done	18	15
0	14	32
1	24	27
2	41	27
3	77	27
4	118	27
5	128	27
done	128	27
0	11	16
1	16	16
2	20	16
done	20	16
0	11	31
1	19	21
2	27	19
3	39	19
4	50	19
5	52	19
done	52	19
0	9	16
1	14	16
2	15	9
3	16	9
done	16	9
0	13	26
1	21	21
2	33	21
3	46	21
4	56	21
done	56	21
0	11	16
1	16	16
2	20	16
done	20	16
0	13	23
1	23	17
2	35	17
3	48	15
4	68	15
done	68	15
0	10	15
1	15	15
2	19	15
done	19	15
0	13	23
1	23	17
2	35	17
3	48	15
4	68	15
done	68	15
0	10	15
1	15	15
2	19	15
done	19	15
0	13	26
1	21	21
2	33	21
3	46	21
4	56	21
done	56	21
0	11	16
1	16	16
2	20	16
done	20	16
0	12	22
1	22	15
2	38	15
3	55	15
4	65	15
done	65	15
0	10	15
1	15	15
2	19	15
done	19	15
0	12	27
1	21	27
2	38	27
3	74	27
4	113	27
5	123	27
done	123	27
0	10	16
1	15	16
2	19	16
done	19	16
0	13	26
1	21	21
2	33	21
3	46	21
4	56	21
done	56	21
0	11	16
1	16	16
2	20	16
done	20	16
0	10	21
1	17	21
2	25	14
3	32	14
4	35	14
done	35	14
0	9	16
1	14	16
2	15	9
3	16	9
done	16	9
0	12	18
1	21	17
2	33	17
3	46	15
4	66	15
done	66	15
0	9	15
1	14	15
2	18	15
done	18	15
0	12	18
1	21	17
2	33	17
3	46	15
4	66	15
done	66	15
0	9	15
1	14	15
2	18	15
done	18	15
0	10	21
1	17	21
2	25	14
3	32	14
4	35	14
done	35	14
0	9	16
1	14	16
2	15	9
3	16	9
done	16	9
0	11	17
1	20	15
2	36	15
3	53	15
4	63	15
done	63	15
0	9	15
1	14	15
2	18	15
done	18	15
0	13	24
1	24	23
2	41	23
3	74	21
4	112	21
5	113	21
done	113	21
0	9	15
1	14	15
2	18	15
done	18	15
0	13	23
1	23	17
2	35	17
3	48	15
4	66	15
done	66	15
0	10	15
1	15	15
2	19	15
done	19	15
0	12	18
1	21	17
2	33	17
3	46	15
4	64	15
done	64	15
0	9	15
1	14	15
2	18	15
done	18	15
0	9	15
1	17	13
2	25	11
3	32	9
done	32	9
0	8	14
1	13	14
2	14	8
3	15	8
done	15	8
0	9	15
1	17	13
2	25	11
3	32	9
done	32	9
0	8	14
1	13	14
2	14	8
3	15	8
done	15	8
0	12	18
1	21	17
2	33	17
3	46	15
4	64	15
done	64	15
0	9	15
1	14	15
2	18	15
done	18	15
0	9	14
1	17	11
2	28	11
3	35	9
done	35	9
0	8	14
1	13	14
2	14	8
3	15	8
done	15	8
0	13	24
1	24	23
2	41	23
3	74	21
4	112	21
5	113	21
done	113	21
0	9	15
1	14	15
2	18	15
done	18	15
0	13	23
1	23	17
2	35	17
3	48	15
4	66	15
done	66	15
0	10	15
1	15	15
2	19	15
done	19	15
0	12	18
1	21	17
2	33	17
3	46	15
4	64	15
done	64	15
0	9	15
1	14	15
2	18	15
done	18	15
0	9	15
1	17	13
2	25	11
3	32	9
done	32	9
0	8	14
1	13	14
2	14	8
3	15	8
done	15	8
0	9	15
1	17	13
2	25	11
3	32	9
done	32	9
0	8	14
1	13	14
2	14	8
3	15	8
done	15	8
0	12	18
1	21	17
2	33	17
3	46	15
4	64	15
done	64	15
0	9	15
1	14	15
2	18	15
done	18	15
0	9	14
1	17	11
2	28	11
3	35	9
done	35	9
0	8	14
1	13	14
2	14	8
3	15	8
done	15	8
0	12	27
1	21	27
2	38	27
3	74	27
4	113	27
5	123	27
done	123	27
0	10	16
1	15	16
2	19	16
done	19	16
0	13	26
1	21	21
2	33	21
3	46	21
4	56	21
done	56	21
0	11	16
1	16	16
2	20	16
done	20	16
0	10	21
1	17	21
2	25	14
3	32	14
4	35	14
done	35	14
0	9	16
1	14	16
2	15	9
3	16	9
done	16	9
0	12	18
1	21	17
2	33	17
3	46	15
4	66	15
done	66	15
0	9	15
1	14	15
2	18	15
done	18	15
0	12	18
1	21	17
2	33	17
3	46	15
4	66	15
done	66	15
0	9	15
1	14	15
2	18	15
done	18	15
0	10	21
1	17	21
2	25	14
3	32	14
4	35	14
done	35	14
0	9	16
1	14	16
2	15	9
3	16	9
done	16	9
0	11	17
1	20	15
2	36	15
3	53	15
4	63	15
done	63	15
0	9	15
1	14	15
2	18	15
done	18	15
0	12	23
1	23	21
2	53	21
3	110	21
4	126	21
done	126	21
0	9	15
1	14	15
2	18	15
done	18	15
0	12	22
1	22	15
2	43	15
3	65	15
4	66	15
done	66	15
0	10	15
1	15	15
2	19	15
done	19	15
0	11	17
1	20	15
2	41	15
3	63	15
4	64	15
done	64	15
0	9	15
1	14	15
2	18	15
done	18	15
0	9	14
1	17	9
2	33	9
3	40	9
done	40	9
0	8	14
1	13	14
2	14	8
3	15	8
done	15	8
0	9	14
1	17	9
2	33	9
3	40	9
done	40	9
0	8	14
1	13	14
2	14	8
3	15	8
done	15	8
0	11	17
1	20	15
2	41	15
3	63	15
4	64	15
done	64	15
0	9	15
1	14	15
2	18	15
done	18	15
0	8	13
1	16	9
2	21	9
3	26	9
done	26	9
0	8	14
1	13	14
2	14	8
3	15	8
done	15	8
0	10	28
1	19	28
2	27	28
3	31	18
4	40	12
5	59	12
6	97	12
7	205	12
8	530	12
9	1899	12
done	5000	12
0	9	16
1	14	16
2	15	16
done	15	16
0	13	27
1	21	22
2	28	22
3	36	22
done	36	22
0	11	16
1	16	16
2	20	16
done	20	16
0	11	22
1	18	22
2	25	22
3	33	22
done	33	22
0	10	16
1	15	16
2	19	16
done	19	16
0	12	19
1	21	18
2	28	18
3	36	16
4	43	16
done	43	16
0	9	15
1	14	15
2	18	15
done	18	15
0	12	19
1	21	18
2	28	18
3	36	16
4	43	16
done	43	16
0	9	15
1	14	15
2	18	15
done	18	15
0	11	22
1	18	22
2	25	22
3	33	22
done	33	22
0	10	16
1	15	16
2	19	16
done	19	16
0	11	18
1	20	16
2	31	16
3	47	16
done	47	16
0	9	15
1	14	15
2	18	15
done	18	15
0	13	27
1	21	22
2	28	22
3	34	22
done	34	22
0	11	16
1	16	16
2	20	16
done	20	16
0	10	26
1	16	16
2	17	14
3	20	14
done	20	14
0	9	16
1	14	16
2	15	9
3	16	9
done	16	9
0	12	21
1	18	16
2	22	16
done	22	16
0	11	16
1	16	16
2	20	16
done	20	16
0	12	18
1	20	12
2	24	12
done	24	10
0	10	15
1	15	15
2	19	15
done	19	15
0	12	18
1	20	12
2	24	12
done	24	10
0	10	15
1	15	15
2	19	15
done	19	15
0	12	21
1	18	16
2	22	16
done	22	16
0	11	16
1	16	16
2	20	16
done	20	16
0	11	17
1	19	10
2	27	10
3	29	10
done	29	10
0	10	15
1	15	15
2	19	15
done	19	15
0	11	22
1	18	22
2	25	22
3	31	22
done	31	22
0	10	16
1	15	16
2	19	16
done	19	16
0	12	21
1	18	16
2	22	16
done	22	16
0	11	16
1	16	16
2	20	16
done	20	16
0	9	16
1	14	16
2	15	9
3	16	9
done	16	9
0	9	16
1	14	16
2	15	9
3	16	9
done	16	9
0	11	13
1	18	12
2	22	12
done	22	10
0	9	15
1	14	15
2	18	15
done	18	15
0	11	13
1	18	12
2	22	12
done	22	10
0	9	15
1	14	15
2	18	15
done	18	15
0	9	16
1	14	16
2	15	9
3	16	9
done	16	9
0	9	16
1	14	16
2	15	9
3	16	9
done	16	9
0	10	12
1	17	10
2	25	10
3	27	10
done	27	10
0	9	15
1	14	15
2	18	15
done	18	15
0	12	19
1	21	18
2	28	18
3	34	16
4	44	16
done	44	16
0	9	15
1	14	15
2	18	15
done	18	15
0	12	18
1	20	12
2	24	12
done	24	10
0	10	15
1	15	15
2	19	15
done	19	15
0	11	13
1	18	12
2	22	12
done	22	10
0	9	15
1	14	15
2	18	15
done	18	15
0	8	10
1	14	8
2	15	6
done	15	6
0	8	14
1	13	14
2	14	8
3	15	8
done	15	8
0	8	10
1	14	8
2	15	6
done	15	6
0	8	14
1	13	14
2	14	8
3	15	8
done	15	8
0	11	13
1	18	12
2	22	12
done	22	10
0	9	15
1	14	15
2	18	15
done	18	15
0	8	9
1	14	6
2	18	6
done	18	4
0	8	14
1	13	14
2	14	8
3	15	8
done	15	8
0	12	19
1	21	18
2	28	18
3	34	16
4	44	16
done	44	16
0	9	15
1	14	15
2	18	15
done	18	15
0	12	18
1	20	12
2	24	12
done	24	10
0	10	15
1	15	15
2	19	15
done	19	15
0	11	13
1	18	12
2	22	12
done	22	10
0	9	15
1	14	15
2	18	15
done	18	15
0	8	10
1	14	8
2	15	6
done	15	6
0	8	14
1	13	14
2	14	8
3	15	8
done	15	8
0	8	10
1	14	8
2	15	6
done	15	6
0	8	14
1	13	14
2	14	8
3	15	8
done	15	8
0	11	13
1	18	12
2	22	12
done	22	10
0	9	15
1	14	15
2	18	15
done	18	15
0	8	9
1	14	6
2	18	6
done	18	4
0	8	14
1	13	14
2	14	8
3	15	8
done	15	8
0	11	22
1	18	22
2	25	22
3	31	22
done	31	22
0	10	16
1	15	16
2	19	16
done	19	16
0	12	21
1	18	16
2	22	16
done	22	16
0	11	16
1	16	16
2	20	16
done	20	16
0	9	16
1	14	16
2	15	9
3	16	9
done	16	9
0	9	16
1	14	16
2	15	9
3	16	9
done	16	9
0	11	13
1	18	12
2	22	12
done	22	10
0	9	15
1	14	15
2	18	15
done	18	15
0	11	13
1	18	12
2	22	12
done	22	10
0	9	15
1	14	15
2	18	15
done	18	15
0	9	16
1	14	16
2	15	9
3	16	9
done	16	9
0	9	16
1	14	16
2	15	9
3	16	9
done	16	9
0	10	12
1	17	10
2	25	10
3	27	10
done	27	10
0	9	15
1	14	15
2	18	15
done	18	15
0	11	18
1	20	16
2	30	16
3	38	16
done	38	16
0	9	15
1	14	15
2	18	15
done	18	15
0	11	17
1	19	10
2	26	10
done	26	10
0	10	15
1	15	15
2	19	15
done	19	15
0	10	12
1	17	10
2	24	10
done	24	10
0	9	15
1	14	15
2	18	15
done	18	15
0	8	9
1	14	4
2	21	4
done	21	4
0	8	14
1	13	14
2	14	8
3	15	8
done	15	8
0	8	9
1	14	4
2	21	4
done	21	4
0	8	14
1	13	14
2	14	8
3	15	8
done	15	8
0	10	12
1	17	10
2	24	10
done	24	10
0	9	15
1	14	15
2	18	15
done	18	15
0	7	8
1	13	4
2	14	4
done	14	4
0	8	14
1	13	14
2	14	8
3	15	8
done	15	8
0	9	25
1	18	25
2	25	25
3	27	15
4	35	9
5	52	9
6	90	9
7	198	9
8	516	9
9	1867	9
done	5000	9
0	8	15
1	16	15
2	25	15
3	31	15
4	34	15
done	34	15
0	12	24
1	20	19
2	26	19
3	34	19
done	34	19
0	10	15
1	18	15
2	30	15
3	41	15
4	47	15
5	50	15
done	50	15
0	10	19
1	17	19
2	23	19
3	31	19
done	31	19
0	9	15
1	17	15
2	29	15
3	40	15
4	46	15
5	49	15
done	49	15
0	10	16
1	17	15
2	23	13
3	35	13
done	35	13
0	8	14
1	16	14
2	28	14
3	39	14
4	45	14
5	48	14
done	48	14
0	10	16
1	17	15
2	23	13
3	35	13
done	35	13
0	8	14
1	16	14
2	28	14
3	39	14
4	45	14
5	48	14
done	48	14
0	10	19
1	17	19
2	23	19
3	31	19
done	31	19
0	9	15
1	17	15
2	29	15
3	40	15
4	46	15
5	49	15
done	49	15
0	9	15
1	16	13
2	26	13
3	36	13
done	36	13
0	8	14
1	16	14
2	28	14
3	39	14
4	45	14
5	48	14
done	48	14
0	12	24
1	20	19
2	26	19
3	32	19
done	32	19
0	10	15
1	18	15
2	30	15
3	41	15
4	47	15
5	50	15
done	50	15
0	9	23
1	15	13
done	15	11
0	8	15
1	16	15
2	25	8
3	32	8
4	35	8
done	35	8
0	11	18
1	17	13
2	20	13
done	20	13
0	10	15
1	18	15
2	30	15
3	41	15
4	47	15
5	50	15
done	50	15
0	10	15
1	16	9
2	19	7
3	23	7
done	23	7
0	9	14
1	17	14
2	29	14
3	40	14
4	46	14
5	49	14
done	49	14
0	10	15
1	16	9
2	19	7
3	23	7
done	23	7
0	9	14
1	17	14
2	29	14
3	40	14
4	46	14
5	49	14
done	49	14
0	11	18
1	17	13
2	20	13
done	20	13
0	10	15
1	18	15
2	30	15
3	41	15
4	47	15
5	50	15
done	50	15
0	9	14
1	15	7
2	22	7
done	22	7
0	9	14
1	17	14
2	29	14
3	40	14
4	46	14
5	49	14
done	49	14
0	10	19
1	17	19
2	23	19
3	29	19
done	29	19
0	9	15
1	17	15
2	29	15
3	40	15
4	46	15
5	49	15
done	49	15
0	11	18
1	17	13
2	20	13
done	20	13
0	10	15
1	18	15
2	30	15
3	41	15
4	47	15
5	50	15
done	50	15
0	8	13
1	13	13
done	13	6
0	8	15
1	16	15
2	25	8
3	32	8
4	35	8
done	35	8
0	9	10
1	14	9
2	17	7
3	21	7
done	21	7
0	8	14
1	16	14
2	28	14
3	39	14
4	45	14
5	48	14
done	48	14
0	9	10
1	14	9
2	17	7
3	21	7
done	21	7
0	8	14
1	16	14
2	28	14
3	39	14
4	45	14
5	48	14
done	48	14
0	8	13
1	13	13
done	13	6
0	8	15
1	16	15
2	25	8
3	32	8
4	35	8
done	35	8
0	8	9
1	13	7
2	20	7
done	20	7
0	8	14
1	16	14
2	28	14
3	39	14
4	45	14
5	48	14
done	48	14
0	10	16
1	17	15
2	23	15
3	29	13
4	39	13
done	39	13
0	8	14
1	16	14
2	28	14
3	39	14
4	45	14
5	48	14
done	48	14
0	10	15
1	16	9
2	19	9
done	19	7
0	9	14
1	17	14
2	29	14
3	40	14
4	46	14
5	49	14
done	49	14
0	9	10
1	14	9
2	17	9
done	17	7
0	8	14
1	16	14
2	28	14
3	39	14
4	45	14
5	48	14
done	48	14
0	4	7
1	8	5
done	8	3
0	7	13
1	15	13
2	24	7
3	31	7
4	34	7
done	34	7
0	4	7
1	8	5
done	8	3
0	7	13
1	15	13
2	24	7
3	31	7
4	34	7
done	34	7
0	9	10
1	14	9
2	17	9
done	17	7
0	8	14
1	16	14
2	28	14
3	39	14
4	45	14
5	48	14
done	48	14
0	4	6
1	8	3
2	11	1
done	11	1
0	7	13
1	15	13
2	24	7
3	31	7
4	34	7
done	34	7
0	10	16
1	17	15
2	23	15
3	29	13
4	39	13
done	39	13
0	8	14
1	16	14
2	28	14
3	39	14
4	45	14
5	48	14
done	48	14
0	10	15
1	16	9
2	19	9
done	19	7
0	9	14
1	17	14
2	29	14
3	40	14
4	46	14
5	49	14
done	49	14
0	9	10
1	14	9
2	17	9
done	17	7
0	8	14
1	16	14
2	28	14
3	39	14
4	45	14
5	48	14
done	48	14
0	4	7
1	8	5
done	8	3
0	7	13
1	15	13
2	24	7
3	31	7
4	34	7
done	34	7
0	4	7
1	8	5
done	8	3
0	7	13
1	15	13
2	24	7
3	31	7
4	34	7
done	34	7
0	9	10
1	14	9
2	17	9
done	17	7
0	8	14
1	16	14
2	28	14
3	39	14
4	45	14
5	48	14
done	48	14
0	4	6
1	8	3
2	11	1
done	11	1
0	7	13
1	15	13
2	24	7
3	31	7
4	34	7
done	34	7
0	10	19
1	17	19
2	23	19
3	29	19
done	29	19
0	9	15
1	17	15
2	29	15
3	40	15
4	46	15
5	49	15
done	49	15
0	11	18
1	17	13
2	20	13
done	20	13
0	10	15
1	18	15
2	30	15
3	41	15
4	47	15
5	50	15
done	50	15
0	8	13
1	13	13
done	13	6
0	8	15
1	16	15
2	25	8
3	32	8
4	35	8
done	35	8
0	9	10
1	14	9
2	17	7
3	21	7
done	21	7
0	8	14
1	16	14
2	28	14
3	39	14
4	45	14
5	48	14
done	48	14
0	9	10
1	14	9
2	17	7
3	21	7
done	21	7
0	8	14
1	16	14
2	28	14
3	39	14
4	45	14
5	48	14
done	48	14
0	8	13
1	13	13
done	13	6
0	8	15
1	16	15
2	25	8
3	32	8
4	35	8
done	35	8
0	8	9
1	13	7
2	20	7
done	20	7
0	8	14
1	16	14
2	28	14
3	39	14
4	45	14
5	48	14
done	48	14
0	9	15
1	16	13
2	20	13
3	30	13
4	31	13
done	31	13
0	8	14
1	16	14
2	28	14
3	39	14
4	45	14
5	48	14
done	48	14
0	9	14
1	15	7
2	17	7
3	21	7
done	21	7
0	9	14
1	17	14
2	29	14
3	40	14
4	46	14
5	49	14
done	49	14
0	8	9
1	13	7
2	15	7
3	19	7
done	19	7
0	8	14
1	16	14
2	28	14
3	39	14
4	45	14
5	48	14
done	48	14
0	4	6
1	8	1
done	8	1
0	7	13
1	15	13
2	24	7
3	31	7
4	34	7
done	34	7
0	4	6
1	8	1
done	8	1
0	7	13
1	15	13
2	24	7
3	31	7
4	34	7
done	34	7
0	8	9
1	13	7
2	15	7
3	19	7
done	19	7
0	8	14
1	16	14
2	28	14
3	39	14
4	45	14
5	48	14
done	48	14
0	3	5
1	7	1
done	7	1
0	7	13
1	15	13
2	24	7
3	31	7
4	34	7
done	34	7
0	11	29
1	19	29
2	26	29
3	30	19
4	39	13
5	58	13
6	96	13
7	206	13
8	528	13
9	1873	13
done	5000	13
0	10	17
1	18	17
2	27	17
3	33	17
4	36	17
done	36	17
0	14	28
1	21	23
2	27	23
3	35	23
done	35	23
0	12	17
1	20	17
2	32	17
3	43	17
4	49	17
5	52	17
done	52	17
0	12	23
1	18	23
2	24	23
3	32	23
done	32	23
0	11	17
1	19	17
2	31	17
3	42	17
4	48	17
5	51	17
done	51	17
0	13	20
1	21	19
2	27	19
3	35	17
4	42	17
done	42	17
0	10	16
1	18	16
2	30	16
3	41	16
4	47	16
5	50	16
done	50	16
0	13	20
1	21	19
2	27	19
3	35	17
4	42	17
done	42	17
0	10	16
1	18	16
2	30	16
3	41	16
4	47	16
5	50	16
done	50	16
0	12	23
1	18	23
2	24	23
3	32	23
done	32	23
0	11	17
1	19	17
2	31	17
3	42	17
4	48	17
5	51	17
done	51	17
0	12	19
1	20	17
2	30	17
3	46	17
done	46	17
0	10	16
1	18	16
2	30	16
3	41	16
4	47	16
5	50	16
done	50	16
0	14	28
1	21	23
2	27	23
3	33	23
done	33	23
0	12	17
1	20	17
2	32	17
3	43	17
4	49	17
5	52	17
done	52	17
0	11	27
1	16	17
done	16	15
0	10	17
1	18	17
2	27	10
3	34	10
4	37	10
done	37	10
0	13	22
1	18	17
2	21	17
done	21	17
0	12	17
1	20	17
2	32	17
3	43	17
4	49	17
5	52	17
done	52	17
0	13	19
1	20	13
2	23	13
done	23	11
0	11	16
1	19	16
2	31	16
3	42	16
4	48	16
5	51	16
done	51	16
0	13	19
1	20	13
2	23	13
done	23	11
0	11	16
1	19	16
2	31	16
3	42	16
4	48	16
5	51	16
done	51	16
0	13	22
1	18	17
2	21	17
done	21	17
0	12	17
1	20	17
2	32	17
3	43	17
4	49	17
5	52	17
done	52	17
0	12	18
1	19	11
2	26	11
3	28	11
done	28	11
0	11	16
1	19	16
2	31	16
3	42	16
4	48	16
5	51	16
done	51	16
0	12	23
1	18	23
2	24	23
3	30	23
done	30	23
0	11	17
1	19	17
2	31	17
3	42	17
4	48	17
5	51	17
done	51	17
0	13	22
1	18	17
2	21	17
done	21	17
0	12	17
1	20	17
2	32	17
3	43	17
4	49	17
5	52	17
done	52	17
0	10	17
1	14	17
done	14	10
0	10	17
1	18	17
2	27	10
3	34	10
4	37	10
done	37	10
0	12	14
1	18	13
2	21	13
done	21	11
0	10	16
1	18	16
2	30	16
3	41	16
4	47	16
5	50	16
done	50	16
0	12	14
1	18	13
2	21	13
done	21	11
0	10	16
1	18	16
2	30	16
3	41	16
4	47	16
5	50	16
done	50	16
0	10	17
1	14	17
done	14	10
0	10	17
1	18	17
2	27	10
3	34	10
4	37	10
done	37	10
0	11	13
1	17	11
2	24	11
3	26	11
done	26	11
0	10	16
1	18	16
2	30	16
3	41	16
4	47	16
5	50	16
done	50	16
0	13	20
1	21	19
2	27	19
3	33	17
4	43	17
done	43	17
0	10	16
1	18	16
2	30	16
3	41	16
4	47	16
5	50	16
done	50	16
0	13	19
1	20	13
2	23	13
done	23	11
0	11	16
1	19	16
2	31	16
3	42	16
4	48	16
5	51	16
done	51	16
0	12	14
1	18	13
2	21	13
done	21	11
0	10	16
1	18	16
2	30	16
3	41	16
4	47	16
5	50	16
done	50	16
0	9	11
1	14	9
done	14	7
0	9	15
1	17	15
2	26	9
3	33	9
4	36	9
done	36	9
0	9	11
1	14	9
done	14	7
0	9	15
1	17	15
2	26	9
3	33	9
4	36	9
done	36	9
0	12	14
1	18	13
2	21	13
done	21	11
0	10	16
1	18	16
2	30	16
3	41	16
4	47	16
5	50	16
done	50	16
0	9	10
1	14	7
2	17	7
done	17	5
0	9	15
1	17	15
2	26	9
3	33	9
4	36	9
done	36	9
0	13	20
1	21	19
2	27	19
3	33	17
4	43	17
done	43	17
0	10	16
1	18	16
2	30	16
3	41	16
4	47	16
5	50	16
done	50	16
0	13	19
1	20	13
2	23	13
done	23	11
0	11	16
1	19	16
2	31	16
3	42	16
4	48	16
5	51	16
done	51	16
0	12	14
1	18	13
2	21	13
done	21	11
0	10	16
1	18	16
2	30	16
3	41	16
4	47	16
5	50	16
done	50	16
0	9	11
1	14	9
done	14	7
0	9	15
1	17	15
2	26	9
3	33	9
4	36	9
done	36	9
0	9	11
1	14	9
done	14	7
0	9	15
1	17	15
2	26	9
3	33	9
4	36	9
done	36	9
0	12	14
1	18	13
2	21	13
done	21	11
0	10	16
1	18	16
2	30	16
3	41	16
4	47	16
5	50	16
done	50	16
0	9	10
1	14	7
2	17	7
done	17	5
0	9	15
1	17	15
2	26	9
3	33	9
4	36	9
done	36	9
0	12	23
1	18	23
2	24	23
3	30	23
done	30	23
0	11	17
1	19	17
2	31	17
3	42	17
4	48	17
5	51	17
done	51	17
0	13	22
1	18	17
2	21	17
done	21	17
0	12	17
1	20	17
2	32	17
3	43	17
4	49	17
5	52	17
done	52	17
0	10	17
1	14	17
done	14	10
0	10	17
1	18	17
2	27	10
3	34	10
4	37	10
done	37	10
0	12	14
1	18	13
2	21	13
done	21	11
0	10	16
1	18	16
2	30	16
3	41	16
4	47	16
5	50	16
done	50	16
0	12	14
1	18	13
2	21	13
done	21	11
0	10	16
1	18	16
2	30	16
3	41	16
4	47	16
5	50	16
done	50	16
0	10	17
1	14	17
done	14	10
0	10	17
1	18	17
2	27	10
3	34	10
4	37	10
done	37	10
0	11	13
1	17	11
2	24	11
3	26	11
done	26	11
0	10	16
1	18	16
2	30	16
3	41	16
4	47	16
5	50	16
done	50	16
0	12	19
1	20	17
2	29	17
3	37	17
done	37	17
0	10	16
1	18	16
2	30	16
3	41	16
4	47	16
5	50	16
done	50	16
0	12	18
1	19	11
2	25	11
done	25	11
0	11	16
1	19	16
2	31	16
3	42	16
4	48	16
5	51	16
done	51	16
0	11	13
1	17	11
2	23	11
done	23	11
0	10	16
1	18	16
2	30	16
3	41	16
4	47	16
5	50	16
done	50	16
0	9	10
1	14	5
2	20	5
done	20	5
0	9	15
1	17	15
2	26	9
3	33	9
4	36	9
done	36	9
0	9	10
1	14	5
2	20	5
done	20	5
0	9	15
1	17	15
2	26	9
3	33	9
4	36	9
done	36	9
0	11	13
1	17	11
2	23	11
done	23	11
0	10	16
1	18	16
2	30	16
3	41	16
4	47	16
5	50	16
done	50	16
0	8	9
1	13	5
done	13	5
0	9	15
1	17	15
2	26	9
3	33	9
4	36	9
done	36	9
0	9	25
1	18	25
2	25	25
3	27	15
4	35	9
5	52	9
6	90	9
7	198	9
8	516	9
9	1867	9
done	5000	9
0	8	15
1	16	15
2	25	15
3	31	15
4	34	15
done	34	15
0	12	24
1	20	19
2	26	19
3	34	19
done	34	19
0	10	15
1	18	15
2	30	15
3	41	15
4	47	15
5	50	15
done	50	15
0	10	19
1	17	19
2	23	19
3	31	19
done	31	19
0	9	15
1	17	15
2	29	15
3	40	15
4	46	15
5	49	15
done	49	15
0	10	16
1	17	15
2	23	13
3	35	13
done	35	13
0	8	14
1	16	14
2	28	14
3	39	14
4	45	14
5	48	14
done	48	14
0	10	16
1	17	15
2	23	13
3	35	13
done	35	13
0	8	14
1	16	14
2	28	14
3	39	14
4	45	14
5	48	14
done	48	14
0	10	19
1	17	19
2	23	19
3	31	19
done	31	19
0	9	15
1	17	15
2	29	15
3	40	15
4	46	15
5	49	15
done	49	15
0	9	15
1	16	13
2	26	13
3	36	13
done	36	13
0	8	14
1	16	14
2	28	14
3	39	14
4	45	14
5	48	14
done	48	14
0	12	24
1	20	19
2	26	19
3	32	19
done	32	19
0	10	15
1	18	15
2	30	15
3	41	15
4	47	15
5	50	15
done	50	15
0	9	23
1	15	13
done	15	11
0	8	15
1	16	15
2	25	8
3	32	8
4	35	8
done	35	8
0	11	18
1	17	13
2	20	13
done	20	13
0	10	15
1	18	15
2	30	15
3	41	15
4	47	15
5	50	15
done	50	15
0	10	15
1	16	9
2	19	7
3	23	7
done	23	7
0	9	14
1	17	14
2	29	14
3	40	14
4	46	14
5	49	14
done	49	14
0	10	15
1	16	9
2	19	7
3	23	7
done	23	7
0	9	14
1	17	14
2	29	14
3	40	14
4	46	14
5	49	14
done	49	14
0	11	18
1	17	13
2	20	13
done	20	13
0	10	15
1	18	15
2	30	15
3	41	15
4	47	15
5	50	15
done	50	15
0	9	14
1	15	7
2	22	7
done	22	7
0	9	14
1	17	14
2	29	14
3	40	14
4	46	14
5	49	14
done	49	14
0	10	19
1	17	19
2	23	19
3	29	19
done	29	19
0	9	15
1	17	15
2	29	15
3	40	15
4	46	15
5	49	15
done	49	15
0	11	18
1	17	13
2	20	13
done	20	13
0	10	15
1	18	15
2	30	15
3	41	15
4	47	15
5	50	15
done	50	15
0	8	13
1	13	13
done	13	6
0	8	15
1	16	15
2	25	8
3	32	8
4	35	8
done	35	8
0	9	10
1	14	9
2	17	7
3	21	7
done	21	7
0	8	14
1	16	14
2	28	14
3	39	14
4	45	14
5	48	14
done	48	14
0	9	10
1	14	9
2	17	7
3	21	7
done	21	7
0	8	14
1	16	14
2	28	14
3	39	14
4	45	14
5	48	14
done	48	14
0	8	13
1	13	13
done	13	6
0	8	15
1	16	15
2	25	8
3	32	8
4	35	8
done	35	8
0	8	9
1	13	7
2	20	7
done	20	7
0	8	14
1	16	14
2	28	14
3	39	14
4	45	14
5	48	14
done	48	14
0	10	16
1	17	15
2	23	15
3	29	13
4	39	13
done	39	13
0	8	14
1	16	14
2	28	14
3	39	14
4	45	14
5	48	14
done	48	14
0	10	15
1	16	9
2	19	9
done	19	7
0	9	14
1	17	14
2	29	14
3	40	14
4	46	14
5	49	14
done	49	14
0	9	10
1	14	9
2	17	9
done	17	7
0	8	14
1	16	14
2	28	14
3	39	14
4	45	14
5	48	14
done	48	14
0	4	7
1	8	5
done	8	3
0	7	13
1	15	13
2	24	7
3	31	7
4	34	7
done	34	7
0	4	7
1	8	5
done	8	3
0	7	13
1	15	13
2	24	7
3	31	7
4	34	7
done	34	7
0	9	10
1	14	9
2	17	9
done	17	7
0	8	14
1	16	14
2	28	14
3	39	14
4	45	14
5	48	14
done	48	14
0	4	6
1	8	3
2	11	1
done	11	1
0	7	13
1	15	13
2	24	7
3	31	7
4	34	7
done	34	7
0	10	16
1	17	15
2	23	15
3	29	13
4	39	13
done	39	13
0	8	14
1	16	14
2	28	14
3	39	14
4	45	14
5	48	14
done	48	14
0	10	15
1	16	9
2	19	9
done	19	7
0	9	14
1	17	14
2	29	14
3	40	14
4	46	14
5	49	14
done	49	14
0	9	10
1	14	9
2	17	9
done	17	7
0	8	14
1	16	14
2	28	14
3	39	14
4	45	14
5	48	14
done	48	14
0	4	7
1	8	5
done	8	3
0	7	13
1	15	13
2	24	7
3	31	7
4	34	7
done	34	7
0	4	7
1	8	5
done	8	3
0	7	13
1	15	13
2	24	7
3	31	7
4	34	7
done	34	7
0	9	10
1	14	9
2	17	9
done	17	7
0	8	14
1	16	14
2	28	14
3	39	14
4	45	14
5	48	14
done	48	14
0	4	6
1	8	3
2	11	1
done	11	1
0	7	13
1	15	13
2	24	7
3	31	7
4	34	7
done	34	7
0	10	19
1	17	19
2	23	19
3	29	19
done	29	19
0	9	15
1	17	15
2	29	15
3	40	15
4	46	15
5	49	15
done	49	15
0	11	18
1	17	13
2	20	13
done	20	13
0	10	15
1	18	15
2	30	15
3	41	15
4	47	15
5	50	15
done	50	15
0	8	13
1	13	13
done	13	6
0	8	15
1	16	15
2	25	8
3	32	8
4	35	8
done	35	8
0	9	10
1	14	9
2	17	7
3	21	7
done	21	7
0	8	14
1	16	14
2	28	14
3	39	14
4	45	14
5	48	14
done	48	14
0	9	10
1	14	9
2	17	7
3	21	7
done	21	7
0	8	14
1	16	14
2	28	14
3	39	14
4	45	14
5	48	14
done	48	14
0	8	13
1	13	13
done	13	6
0	8	15
1	16	15
2	25	8
3	32	8
4	35	8
done	35	8
0	8	9
1	13	7
2	20	7
done	20	7
0	8	14
1	16	14
2	28	14
3	39	14
4	45	14
5	48	14
done	48	14
0	9	15
1	16	13
2	20	13
3	30	13
4	31	13
done	31	13
0	8	14
1	16	14
2	28	14
3	39	14
4	45	14
5	48	14
done	48	14
0	9	14
1	15	7
2	17	7
3	21	7
done	21	7
0	9	14
1	17	14
2	29	14
3	40	14
4	46	14
5	49	14
done	49	14
0	8	9
1	13	7
2	15	7
3	19	7
done	19	7
0	8	14
1	16	14
2	28	14
3	39	14
4	45	14
5	48	14
done	48	14
0	4	6
1	8	1
done	8	1
0	7	13
1	15	13
2	24	7
3	31	7
4	34	7
done	34	7
0	4	6
1	8	1
done	8	1
0	7	13
1	15	13
2	24	7
3	31	7
4	34	7
done	34	7
0	8	9
1	13	7
2	15	7
3	19	7
done	19	7
0	8	14
1	16	14
2	28	14
3	39	14
4	45	14
5	48	14
done	48	14
0	3	5
1	7	1
done	7	1
0	7	13
1	15	13
2	24	7
3	31	7
4	34	7
done	34	7
0	8	13
1	13	13
done	13	13
0	8	14
1	16	14
2	28	14
3	39	14
4	45	14
5	48	14
done	48	14
0	8	12
1	12	7
done	12	7
0	9	14
1	17	14
2	29	14
3	40	14
4	46	14
5	49	14
done	49	14
0	7	7
1	10	7
done	10	7
0	8	14
1	16	14
2	28	14
3	39	14
4	45	14
5	48	14
done	48	14
0	3	4
1	5	3
done	5	3
0	7	13
1	15	13
2	24	7
3	31	7
4	34	7
done	34	7
0	3	4
1	5	3
done	5	3
0	7	13
1	15	13
2	24	7
3	31	7
4	34	7
done	34	7
0	7	7
1	10	7
done	10	7
0	8	14
1	16	14
2	28	14
3	39	14
4	45	14
5	48	14
done	48	14
0	2	3
1	4	1
done	4	1
0	7	13
1	15	13
2	24	7
3	31	7
4	34	7
done	34	7
0	8	15
1	16	15
2	24	15
3	29	15
4	32	15
done	32	15
0	8	12
1	13	12
2	16	12
done	16	12
0	8	14
1	15	9
2	18	9
3	20	9
done	20	9
0	9	12
1	14	12
2	17	12
done	17	12
0	7	9
1	13	9
2	16	9
3	18	9
done	18	9
0	8	12
1	13	12
2	16	12
done	16	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	12	11
done	12	5
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	12	11
done	12	5
0	7	9
1	13	9
2	16	9
3	18	9
done	18	9
0	8	12
1	13	12
2	16	12
done	16	12
0	5	5
1	12	3
2	17	3
done	17	3
0	7	11
1	12	11
done	12	5
0	14	24
1	38	24
2	65	24
3	109	24
4	169	24
5	297	24
6	711	24
7	2546	24
done	5000	24
0	12	18
1	21	16
2	36	16
3	49	16
4	69	16
5	90	16
6	107	16
7	130	16
8	173	16
9	235	16
10	236	16
done	236	16
0	14	23
1	37	18
2	58	18
3	86	18
4	131	18
5	251	18
6	669	18
7	2507	18
done	5000	18
0	12	18
1	21	16
2	36	16
3	49	16
4	69	16
5	90	16
6	107	16
7	130	16
8	173	16
9	235	16
10	236	16
done	236	16
0	13	18
1	35	18
2	56	18
3	84	18
4	129	18
5	254	18
6	664	18
7	2515	18
done	5001	18
0	12	18
1	21	16
2	36	16
3	49	16
4	69	16
5	90	16
6	107	16
7	130	16
8	173	16
9	235	16
10	236	16
done	236	16
0	12	15
1	35	14
2	56	14
3	84	12
4	140	12
5	251	12
6	668	12
7	2534	12
done	5000	12
0	11	17
1	20	15
2	35	15
3	48	15
4	68	15
5	89	15
6	106	15
7	129	15
8	172	15
9	234	15
10	235	15
done	235	15
0	12	15
1	35	14
2	56	14
3	84	12
4	140	12
5	251	12
6	668	12
7	2534	12
done	5000	12
0	11	17
1	20	15
2	35	15
3	48	15
4	68	15
5	89	15
6	106	15
7	129	15
8	172	15
9	234	15
10	235	15
done	235	15
0	13	18
1	35	18
2	56	18
3	84	18
4	129	18
5	254	18
6	664	18
7	2515	18
done	5001	18
0	12	18
1	21	16
2	36	16
3	49	16
4	69	16
5	90	16
6	107	16
7	130	16
8	173	16
9	235	16
10	236	16
done	236	16
0	11	14
1	34	12
2	56	12
3	84	12
4	133	12
5	249	12
6	658	12
7	2504	12
done	5000	12
0	11	17
1	20	15
2	35	15
3	48	15
4	68	15
5	89	15
6	106	15
7	129	15
8	172	15
9	234	15
10	235	15
done	235	15
0	13	24
1	26	24
2	54	24
3	106	24
4	153	24
5	215	24
6	365	24
7	1558	24
done	5000	24
0	8	10
1	11	10
2	12	10
done	12	10
0	13	23
1	25	18
2	47	18
3	83	18
4	117	18
5	171	18
6	318	18
7	1518	18
done	5001	18
0	8	10
1	11	10
2	12	10
done	12	10
0	12	18
1	23	18
2	45	18
3	81	18
4	115	18
5	172	18
6	319	18
7	1500	18
done	5000	18
0	8	10
1	11	10
2	12	10
done	12	10
0	11	15
1	24	14
2	47	14
3	83	12
4	131	12
5	205	12
6	417	12
7	1730	12
done	5001	12
0	7	9
1	10	9
2	11	9
done	11	9
0	11	15
1	24	14
2	47	14
3	83	12
4	131	12
5	205	12
6	417	12
7	1730	12
done	5001	12
0	7	9
1	10	9
2	11	9
done	11	9
0	12	18
1	23	18
2	45	18
3	81	18
4	115	18
5	172	18
6	319	18
7	1500	18
done	5000	18
0	8	10
1	11	10
2	12	10
done	12	10
0	10	14
1	23	12
2	47	12
3	83	12
4	124	12
5	195	12
6	405	12
7	1688	12
done	5000	12
0	7	9
1	10	9
2	11	9
done	11	9
0	6	6
1	9	6
done	9	6
0	7	13
1	15	13
2	21	13
3	23	7
4	24	7
done	24	7
0	9	20
1	19	20
2	37	20
3	64	20
4	84	20
5	95	20
6	96	20
done	96	20
0	10	19
1	19	14
2	31	14
3	42	14
4	48	14
5	51	14
done	51	14
0	8	14
1	16	14
2	28	14
3	39	14
4	45	14
5	48	14
done	48	14
0	9	11
1	19	10
2	31	10
3	42	8
4	59	8
5	61	8
done	61	8
0	9	11
1	19	10
2	31	10
3	42	8
4	59	8
5	61	8
done	61	8
0	8	14
1	16	14
2	28	14
3	39	14
4	45	14
5	48	14
done	48	14
0	8	10
1	18	8
2	31	8
3	42	8
4	52	8
5	54	8
done	54	8
0	8	14
1	14	14
2	17	14
3	19	14
done	19	14
0	8	14
1	14	14
2	17	14
3	19	14
done	19	14
0	9	15
1	14	15
2	18	15
3	19	15
4	21	15
5	23	15
6	24	15
done	24	15
0	10	15
1	15	15
2	19	15
3	20	15
4	22	15
5	24	15
6	25	15
done	25	15
0	9	15
1	14	15
2	18	15
3	19	15
4	21	15
5	23	15
6	24	15
done	24	15
0	8	14
1	13	14
2	17	14
done	17	8
0	8	14
1	13	14
2	17	14
done	17	8
0	9	15
1	14	15
2	18	15
3	19	15
4	21	15
5	23	15
6	24	15
done	24	15
0	8	14
1	13	14
2	17	14
done	17	8
0	9	15
1	14	15
2	18	15
3	19	15
4	21	15
5	23	15
6	24	15
done	24	15
0	10	15
1	15	15
2	19	15
3	20	15
4	22	15
5	24	15
6	25	15
done	25	15
0	9	15
1	14	15
2	18	15
3	19	15
4	21	15
5	23	15
6	24	15
done	24	15
0	8	14
1	13	14
2	17	14
done	17	8
0	8	14
1	13	14
2	17	14
done	17	8
0	9	15
1	14	15
2	18	15
3	19	15
4	21	15
5	23	15
6	24	15
done	24	15
0	8	14
1	13	14
2	17	14
done	17	8
0	8	14
1	16	14
2	22	14
3	25	14
4	27	14
5	32	14
6	35	14
7	37	14
done	37	14
0	9	14
1	17	14
2	23	14
3	26	14
4	28	14
5	33	14
6	36	14
7	38	14
done	38	14
0	8	14
1	16	14
2	22	14
3	25	14
4	27	14
5	32	14
6	35	14
7	37	14
done	37	14
0	7	13
1	15	13
2	21	13
3	23	7
4	24	7
done	24	7
0	7	13
1	15	13
2	21	13
3	23	7
4	24	7
done	24	7
0	8	14
1	16	14
2	22	14
3	25	14
4	27	14
5	32	14
6	35	14
7	37	14
done	37	14
0	7	13
1	15	13
2	21	13
3	23	7
4	24	7
done	24	7
0	10	16
1	18	16
2	24	16
3	27	16
4	29	16
5	34	16
6	37	16
7	39	16
done	39	16
0	11	16
1	19	16
2	25	16
3	28	16
4	30	16
5	35	16
6	38	16
7	40	16
done	40	16
0	10	16
1	18	16
2	24	16
3	27	16
4	29	16
5	34	16
6	37	16
7	39	16
done	39	16
0	9	15
1	17	15
2	23	15
3	25	9
4	26	9
done	26	9
0	9	15
1	17	15
2	23	15
3	25	9
4	26	9
done	26	9
0	10	16
1	18	16
2	24	16
3	27	16
4	29	16
5	34	16
6	37	16
7	39	16
done	39	16
0	9	15
1	17	15
2	23	15
3	25	9
4	26	9
done	26	9
0	8	14
1	16	14
2	22	14
3	25	14
4	27	14
5	32	14
6	35	14
7	37	14
done	37	14
0	9	14
1	17	14
2	23	14
3	26	14
4	28	14
5	33	14
6	36	14
7	38	14
done	38	14
0	8	14
1	16	14
2	22	14
3	25	14
4	27	14
5	32	14
6	35	14
7	37	14
done	37	14
0	7	13
1	15	13
2	21	13
3	23	7
4	24	7
done	24	7
0	7	13
1	15	13
2	21	13
3	23	7
4	24	7
done	24	7
0	8	14
1	16	14
2	22	14
3	25	14
4	27	14
5	32	14
6	35	14
7	37	14
done	37	14
0	7	13
1	15	13
2	21	13
3	23	7
4	24	7
done	24	7
0	7	13
1	15	13
2	21	13
3	23	7
4	24	7
done	24	7
0	7	11
1	12	11
2	15	9
3	19	3
4	21	3
done	21	3
0	11	17
1	20	15
2	35	15
3	48	15
4	68	15
5	89	15
6	106	15
7	129	15
8	172	15
9	234	15
10	235	15
done	235	15
0	7	9
1	10	9
2	11	9
done	11	9
0	12	17
1	34	17
2	55	17
3	83	17
4	132	17
5	253	17
6	670	17
7	2508	17
done	5000	17
0	11	17
1	22	17
2	44	17
3	80	17
4	114	17
5	178	17
6	327	17
7	1505	17
done	5000	17
0	5	9
1	6	3
2	7	3
done	7	3
0	8	10
1	13	10
2	15	10
done	15	10
0	7	9
1	16	9
2	21	9
3	24	9
done	24	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	56	9
9	63	9
10	72	9
11	92	9
12	113	9
13	130	9
14	137	9
15	143	9
16	146	9
done	146	9
0	10	26
1	22	20
2	79	12
3	214	10
4	582	10
5	2057	10
done	5001	10
0	8	19
1	14	19
2	17	19
3	19	19
done	19	19
0	7	9
1	13	9
2	16	9
3	18	9
done	18	9
0	8	26
1	21	26
2	52	10
3	178	10
4	573	10
5	1747	10
done	5000	10
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	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	5	5
1	6	5
done	6	5
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	10	21
1	19	21
2	29	21
3	35	21
done	35	21
0	8	10
1	11	10
2	12	10
done	12	10
0	10	20
1	16	15
2	19	15
3	20	15
done	20	15
0	8	10
1	11	10
2	12	10
done	12	10
0	9	15
1	14	15
2	17	15
3	18	15
done	18	15
0	8	10
1	11	10
2	12	10
done	12	10
0	8	12
1	14	11
2	17	11
3	18	9
4	25	9
done	25	9
0	7	9
1	10	9
2	11	9
done	11	9
0	8	12
1	14	11
2	17	11
3	18	9
4	25	9
done	25	9
0	7	9
1	10	9
2	11	9
done	11	9
0	9	15
1	14	15
2	17	15
3	18	15
done	18	15
0	8	10
1	11	10
2	12	10
done	12	10
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	7	9
1	10	9
2	11	9
done	11	9
0	9	16
1	14	16
2	15	16
done	15	16
0	8	10
1	11	10
2	12	10
done	12	10
0	9	15
1	13	10
2	14	10
done	14	10
0	8	10
1	11	10
2	12	10
done	12	10
0	8	10
1	11	10
2	12	10
done	12	10
0	8	10
1	11	10
2	12	10
done	12	10
0	7	7
1	11	6
2	12	6
done	12	6
0	7	9
1	10	9
2	11	9
done	11	9
0	7	7
1	11	6
2	12	6
done	12	6
0	7	9
1	10	9
2	11	9
done	11	9
0	8	10
1	11	10
2	12	10
done	12	10
0	8	10
1	11	10
2	12	10
done	12	10
0	6	6
1	10	4
2	13	4
done	13	4
0	7	9
1	10	9
2	11	9
done	11	9
0	8	13
1	13	13
done	13	13
0	7	9
1	13	9
2	16	9
3	18	9
done	18	9
0	8	12
1	12	7
done	12	7
0	7	9
1	13	9
2	16	9
3	18	9
done	18	9
0	7	7
1	10	7
done	10	7
0	7	9
1	13	9
2	16	9
3	18	9
done	18	9
0	3	4
1	5	3
done	5	3
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	3	4
1	5	3
done	5	3
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	7	7
1	10	7
done	10	7
0	7	9
1	13	9
2	16	9
3	18	9
done	18	9
0	2	3
1	4	1
done	4	1
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	10	17
1	14	17
done	14	17
0	9	11
1	15	11
2	18	11
3	20	11
done	20	11
0	10	16
1	13	11
done	13	11
0	9	11
1	15	11
2	18	11
3	20	11
done	20	11
0	9	11
1	11	11
done	11	11
0	9	11
1	15	11
2	18	11
3	20	11
done	20	11
0	8	8
1	11	7
done	11	7
0	8	10
1	14	10
2	17	10
3	19	10
done	19	10
0	8	8
1	11	7
done	11	7
0	8	10
1	14	10
2	17	10
3	19	10
done	19	10
0	9	11
1	11	11
done	11	11
0	9	11
1	15	11
2	18	11
3	20	11
done	20	11
0	7	7
1	10	5
2	12	5
done	12	5
0	8	10
1	14	10
2	17	10
3	19	10
done	19	10
0	8	13
1	13	13
done	13	13
0	7	9
1	13	9
2	16	9
3	18	9
done	18	9
0	8	12
1	12	7
done	12	7
0	7	9
1	13	9
2	16	9
3	18	9
done	18	9
0	7	7
1	10	7
done	10	7
0	7	9
1	13	9
2	16	9
3	18	9
done	18	9
0	3	4
1	5	3
done	5	3
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	3	4
1	5	3
done	5	3
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	7	7
1	10	7
done	10	7
0	7	9
1	13	9
2	16	9
3	18	9
done	18	9
0	2	3
1	4	1
done	4	1
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	9	8
2	10	8
done	10	8
0	8	15
1	16	15
2	24	15
3	29	15
4	32	15
done	32	15
0	8	14
1	15	9
2	18	9
3	20	9
done	20	9
0	7	9
1	13	9
2	16	9
3	18	9
done	18	9
0	6	6
1	13	5
2	16	5
3	18	3
4	23	3
5	27	3
done	27	3
0	6	6
1	13	5
2	16	5
3	18	3
4	23	3
5	27	3
done	27	3
0	7	9
1	13	9
2	16	9
3	18	9
done	18	9
0	5	5
1	12	3
2	17	3
done	17	3
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	8
1	9	8
2	10	8
done	10	8
0	8	10
1	11	10
2	12	10
done	12	10
0	6	8
1	9	8
2	10	8
done	10	8
0	9	12
1	28	12
2	40	12
3	59	12
4	98	12
5	214	12
6	629	12
7	2464	12
done	5000	12
0	8	12
1	17	12
2	31	12
3	58	12
4	86	12
5	139	12
6	286	12
7	1446	12
done	5000	12
0	10	16
1	24	14
2	52	14
3	80	14
4	91	14
5	93	14
done	93	14
0	5	8
1	13	8
2	14	8
done	14	8
0	9	15
1	17	15
2	26	9
3	33	9
4	36	9
done	36	9
0	9	15
1	17	15
2	26	9
3	33	9
4	36	9
done	36	9
0	10	31
1	18	31
2	27	19
3	34	19
4	37	19
done	37	19
0	9	15
1	17	15
2	26	9
3	33	9
4	36	9
done	36	9
0	10	44
1	19	28
2	39	10
3	78	10
4	131	10
5	199	10
6	272	10
7	363	10
8	582	10
9	1504	10
done	5000	10
0	10	30
1	19	15
2	28	9
3	35	9
4	38	9
done	38	9
0	9	15
1	17	15
2	26	9
3	33	9
4	36	9
done	36	9
0	9	15
1	17	15
2	26	9
3	33	9
4	36	9
done	36	9
0	9	15
1	17	15
2	26	9
3	33	9
4	36	9
done	36	9
0	12	32
1	24	32
2	37	16
3	45	16
done	45	16
0	10	16
1	16	16
2	19	16
3	21	16
done	21	16
0	13	31
1	22	26
2	27	26
3	30	26
done	30	26
0	11	16
1	17	16
2	20	16
3	22	16
done	22	16
0	11	26
1	19	26
2	24	26
3	27	26
done	27	26
0	10	16
1	16	16
2	19	16
3	21	16
done	21	16
0	12	23
1	22	22
2	27	22
3	30	20
4	38	10
done	38	10
0	9	15
1	15	15
2	18	15
3	20	15
done	20	15
0	12	23
1	22	22
2	27	22
3	30	20
4	38	10
done	38	10
0	9	15
1	15	15
2	18	15
3	20	15
done	20	15
0	11	26
1	19	26
2	24	26
3	27	26
done	27	26
0	10	16
1	16	16
2	19	16
3	21	16
done	21	16
0	11	22
1	21	20
2	31	10
3	38	10
done	38	10
0	9	15
1	15	15
2	18	15
3	20	15
done	20	15
0	11	22
1	19	22
2	22	22
3	24	22
done	24	22
0	10	16
1	16	16
2	19	16
3	21	16
done	21	16
0	12	21
1	19	16
2	22	16
3	24	16
done	24	16
0	11	16
1	17	16
2	20	16
3	22	16
done	22	16
0	10	16
1	16	16
2	19	16
3	21	16
done	21	16
0	10	16
1	16	16
2	19	16
3	21	16
done	21	16
0	11	13
1	19	12
2	22	12
3	24	12
done	24	12
0	9	15
1	15	15
2	18	15
3	20	15
done	20	15
0	11	13
1	19	12
2	22	12
3	24	12
done	24	12
0	9	15
1	15	15
2	18	15
3	20	15
done	20	15
0	10	16
1	16	16
2	19	16
3	21	16
done	21	16
0	10	16
1	16	16
2	19	16
3	21	16
done	21	16
0	10	12
1	18	10
2	23	10
3	25	10
done	25	10
0	9	15
1	15	15
2	18	15
3	20	15
done	20	15
0	12	34
1	25	34
2	54	34
3	98	17
4	122	17
5	154	17
6	245	13
7	548	13
8	1643	13
done	5000	13
0	10	17
1	15	17
2	16	17
done	16	17
0	15	33
1	27	28
2	51	28
3	88	28
4	129	28
5	133	28
done	133	28
0	12	17
1	17	17
2	21	17
done	21	17
0	13	28
1	24	28
2	48	28
3	85	28
4	126	28
5	130	28
done	130	28
0	11	17
1	16	17
2	20	17
done	20	17
0	14	25
1	27	24
2	51	24
3	86	22
4	127	11
done	127	11
0	10	16
1	15	16
2	19	16
done	19	16
0	14	25
1	27	24
2	51	24
3	86	22
4	127	11
done	127	11
0	10	16
1	15	16
2	19	16
done	19	16
0	13	28
1	24	28
2	48	28
3	85	28
4	126	28
5	130	28
done	130	28
0	11	17
1	16	17
2	20	17
done	20	17
0	13	24
1	26	22
2	55	11
3	104	11
4	134	11
done	134	11
0	10	16
1	15	16
2	19	16
done	19	16
0	15	33
1	25	28
2	42	28
3	78	28
4	120	28
5	130	28
done	130	28
0	12	17
1	17	17
2	21	17
done	21	17
0	12	32
1	20	22
2	28	20
3	41	11
4	53	10
5	55	10
done	55	10
0	10	17
1	15	17
2	16	10
3	17	10
done	17	10
0	14	27
1	22	22
2	34	22
3	47	22
4	57	22
done	57	22
0	12	17
1	17	17
2	21	17
done	21	17
0	14	24
1	24	18
2	36	18
3	49	16
4	69	16
done	69	16
0	11	16
1	16	16
2	20	16
done	20	16
0	14	24
1	24	18
2	36	18
3	49	16
4	69	16
done	69	16
0	11	16
1	16	16
2	20	16
done	20	16
0	14	27
1	22	22
2	34	22
3	47	22
4	57	22
done	57	22
0	12	17
1	17	17
2	21	17
done	21	17
0	13	23
1	23	16
2	39	16
3	56	16
4	66	16
done	66	16
0	11	16
1	16	16
2	20	16
done	20	16
0	13	28
1	22	28
2	39	28
3	75	28
4	117	28
5	127	28
done	127	28
0	11	17
1	16	17
2	20	17
done	20	17
0	14	27
1	22	22
2	34	22
3	47	22
4	57	22
done	57	22
0	12	17
1	17	17
2	21	17
done	21	17
0	11	22
1	18	22
2	26	15
3	34	11
4	37	11
done	37	11
0	10	17
1	15	17
2	16	10
3	17	10
done	17	10
0	13	19
1	22	18
2	34	18
3	47	16
4	67	16
done	67	16
0	10	16
1	15	16
2	19	16
done	19	16
0	13	19
1	22	18
2	34	18
3	47	16
4	67	16
done	67	16
0	10	16
1	15	16
2	19	16
done	19	16
0	11	22
1	18	22
2	26	15
3	34	11
4	37	11
done	37	11
0	10	17
1	15	17
2	16	10
3	17	10
done	17	10
0	12	18
1	21	16
2	37	16
3	54	16
4	64	16
done	64	16
0	10	16
1	15	16
2	19	16
done	19	16
0	14	25
1	25	24
2	42	24
3	75	22
4	111	11
5	112	11
done	112	11
0	10	16
1	15	16
2	19	16
done	19	16
0	14	24
1	24	18
2	36	18
3	49	16
4	67	16
5	68	16
done	68	16
0	11	16
1	16	16
2	20	16
done	20	16
0	13	19
1	22	18
2	34	18
3	47	16
4	65	16
5	66	16
done	66	16
0	10	16
1	15	16
2	19	16
done	19	16
0	10	16
1	18	14
2	26	12
3	34	5
done	34	5
0	9	15
1	14	15
2	15	9
3	16	9
done	16	9
0	10	16
1	18	14
2	26	12
3	34	5
done	34	5
0	9	15
1	14	15
2	15	9
3	16	9
done	16	9
0	13	19
1	22	18
2	34	18
3	47	16
4	65	16
5	66	16
done	66	16
0	10	16
1	15	16
2	19	16
done	19	16
0	10	15
1	18	12
2	29	12
3	37	5
done	37	5
0	9	15
1	14	15
2	15	9
3	16	9
done	16	9
0	14	25
1	25	24
2	42	24
3	75	22
4	111	11
5	112	11
done	112	11
0	10	16
1	15	16
2	19	16
done	19	16
0	14	24
1	24	18
2	36	18
3	49	16
4	67	16
5	68	16
done	68	16
0	11	16
1	16	16
2	20	16
done	20	16
0	13	19
1	22	18
2	34	18
3	47	16
4	65	16
5	66	16
done	66	16
0	10	16
1	15	16
2	19	16
done	19	16
0	10	16
1	18	14
2	26	12
3	34	5
done	34	5
0	9	15
1	14	15
2	15	9
3	16	9
done	16	9
0	10	16
1	18	14
2	26	12
3	34	5
done	34	5
0	9	15
1	14	15
2	15	9
3	16	9
done	16	9
0	13	19
1	22	18
2	34	18
3	47	16
4	65	16
5	66	16
done	66	16
0	10	16
1	15	16
2	19	16
done	19	16
0	10	15
1	18	12
2	29	12
3	37	5
done	37	5
0	9	15
1	14	15
2	15	9
3	16	9
done	16	9
0	13	28
1	22	28
2	39	28
3	75	28
4	117	28
5	127	28
done	127	28
0	11	17
1	16	17
2	20	17
done	20	17
0	14	27
1	22	22
2	34	22
3	47	22
4	57	22
done	57	22
0	12	17
1	17	17
2	21	17
done	21	17
0	11	22
1	18	22
2	26	15
3	34	11
4	37	11
done	37	11
0	10	17
1	15	17
2	16	10
3	17	10
done	17	10
0	13	19
1	22	18
2	34	18
3	47	16
4	67	16
done	67	16
0	10	16
1	15	16
2	19	16
done	19	16
0	13	19
1	22	18
2	34	18
3	47	16
4	67	16
done	67	16
0	10	16
1	15	16
2	19	16
done	19	16
0	11	22
1	18	22
2	26	15
3	34	11
4	37	11
done	37	11
0	10	17
1	15	17
2	16	10
3	17	10
done	17	10
0	12	18
1	21	16
2	37	16
3	54	16
4	64	16
done	64	16
0	10	16
1	15	16
2	19	16
done	19	16
0	13	24
1	24	22
2	54	22
3	112	11
4	128	11
done	128	11
0	10	16
1	15	16
2	19	16
done	19	16
0	13	23
1	23	16
2	44	16
3	66	16
4	67	16
done	67	16
0	11	16
1	16	16
2	20	16
done	20	16
0	12	18
1	21	16
2	42	16
3	64	16
4	65	16
done	65	16
0	10	16
1	15	16
2	19	16
done	19	16
0	10	15
1	18	10
2	35	5
3	42	5
done	42	5
0	9	15
1	14	15
2	15	9
3	16	9
done	16	9
0	10	15
1	18	10
2	35	5
3	42	5
done	42	5
0	9	15
1	14	15
2	15	9
3	16	9
done	16	9
0	12	18
1	21	16
2	42	16
3	64	16
4	65	16
done	65	16
0	10	16
1	15	16
2	19	16
done	19	16
0	9	14
1	17	10
2	23	5
3	28	5
done	28	5
0	9	15
1	14	15
2	15	9
3	16	9
done	16	9
0	11	29
1	20	29
2	28	29
3	30	19
4	39	13
5	58	13
6	96	13
7	207	13
8	528	13
9	1901	13
done	5001	13
0	10	17
1	15	17
2	16	17
done	16	17
0	14	28
1	22	23
2	29	23
3	37	23
done	37	23
0	12	17
1	17	17
2	21	17
done	21	17
0	12	23
1	19	23
2	26	23
3	34	23
done	34	23
0	11	17
1	16	17
2	20	17
done	20	17
0	13	20
1	22	19
2	29	19
3	37	17
4	44	17
done	44	17
0	10	16
1	15	16
2	19	16
done	19	16
0	13	20
1	22	19
2	29	19
3	37	17
4	44	17
done	44	17
0	10	16
1	15	16
2	19	16
done	19	16
0	12	23
1	19	23
2	26	23
3	34	23
done	34	23
0	11	17
1	16	17
2	20	17
done	20	17
0	12	19
1	21	17
2	32	17
3	48	17
done	48	17
0	10	16
1	15	16
2	19	16
done	19	16
0	14	28
1	22	23
2	29	23
3	35	23
done	35	23
0	12	17
1	17	17
2	21	17
done	21	17
0	11	27
1	17	17
2	18	15
3	21	15
done	21	15
0	10	17
1	15	17
2	16	10
3	17	10
done	17	10
0	13	22
1	19	17
2	23	17
done	23	17
0	12	17
1	17	17
2	21	17
done	21	17
0	13	19
1	21	13
2	25	13
done	25	11
0	11	16
1	16	16
2	20	16
done	20	16
0	13	19
1	21	13
2	25	13
done	25	11
0	11	16
1	16	16
2	20	16
done	20	16
0	13	22
1	19	17
2	23	17
done	23	17
0	12	17
1	17	17
2	21	17
done	21	17
0	12	18
1	20	11
2	28	11
3	30	11
done	30	11
0	11	16
1	16	16
2	20	16
done	20	16
0	12	23
1	19	23
2	26	23
3	32	23
done	32	23
0	11	17
1	16	17
2	20	17
done	20	17
0	13	22
1	19	17
2	23	17
done	23	17
0	12	17
1	17	17
2	21	17
done	21	17
0	10	17
1	15	17
2	16	10
3	17	10
done	17	10
0	10	17
1	15	17
2	16	10
3	17	10
done	17	10
0	12	14
1	19	13
2	23	13
done	23	11
0	10	16
1	15	16
2	19	16
done	19	16
0	12	14
1	19	13
2	23	13
done	23	11
0	10	16
1	15	16
2	19	16
done	19	16
0	10	17
1	15	17
2	16	10
3	17	10
done	17	10
0	10	17
1	15	17
2	16	10
3	17	10
done	17	10
0	11	13
1	18	11
2	26	11
3	28	11
done	28	11
0	10	16
1	15	16
2	19	16
done	19	16
0	13	20
1	22	19
2	29	19
3	35	17
4	45	17
done	45	17
0	10	16
1	15	16
2	19	16
done	19	16
0	13	19
1	21	13
2	25	13
done	25	11
0	11	16
1	16	16
2	20	16
done	20	16
0	12	14
1	19	13
2	23	13
done	23	11
0	10	16
1	15	16
2	19	16
done	19	16
0	9	11
1	15	9
2	16	7
done	16	7
0	9	15
1	14	15
2	15	9
3	16	9
done	16	9
0	9	11
1	15	9
2	16	7
done	16	7
0	9	15
1	14	15
2	15	9
3	16	9
done	16	9
0	12	14
1	19	13
2	23	13
done	23	11
0	10	16
1	15	16
2	19	16
done	19	16
0	9	10
1	15	7
2	19	7
done	19	5
0	9	15
1	14	15
2	15	9
3	16	9
done	16	9
0	13	20
1	22	19
2	29	19
3	35	17
4	45	17
done	45	17
0	10	16
1	15	16
2	19	16
done	19	16
0	13	19
1	21	13
2	25	13
done	25	11
0	11	16
1	16	16
2	20	16
done	20	16
0	12	14
1	19	13
2	23	13
done	23	11
0	10	16
1	15	16
2	19	16
done	19	16
0	9	11
1	15	9
2	16	7
done	16	7
0	9	15
1	14	15
2	15	9
3	16	9
done	16	9
0	9	11
1	15	9
2	16	7
done	16	7
0	9	15
1	14	15
2	15	9
3	16	9
done	16	9
0	12	14
1	19	13
2	23	13
done	23	11
0	10	16
1	15	16
2	19	16
done	19	16
0	9	10
1	15	7
2	19	7
done	19	5
0	9	15
1	14	15
2	15	9
3	16	9
done	16	9
0	12	23
1	19	23
2	26	23
3	32	23
done	32	23
0	11	17
1	16	17
2	20	17
done	20	17
0	13	22
1	19	17
2	23	17
done	23	17
0	12	17
1	17	17
2	21	17
done	21	17
0	10	17
1	15	17
2	16	10
3	17	10
done	17	10
0	10	17
1	15	17
2	16	10
3	17	10
done	17	10
0	12	14
1	19	13
2	23	13
done	23	11
0	10	16
1	15	16
2	19	16
done	19	16
0	12	14
1	19	13
2	23	13
done	23	11
0	10	16
1	15	16
2	19	16
done	19	16
0	10	17
1	15	17
2	16	10
3	17	10
done	17	10
0	10	17
1	15	17
2	16	10
3	17	10
done	17	10
0	11	13
1	18	11
2	26	11
3	28	11
done	28	11
0	10	16
1	15	16
2	19	16
done	19	16
0	12	19
1	21	17
2	31	17
3	39	17
done	39	17
0	10	16
1	15	16
2	19	16
done	19	16
0	12	18
1	20	11
2	27	11
done	27	11
0	11	16
1	16	16
2	20	16
done	20	16
0	11	13
1	18	11
2	25	11
done	25	11
0	10	16
1	15	16
2	19	16
done	19	16
0	9	10
1	15	5
2	22	5
done	22	5
0	9	15
1	14	15
2	15	9
3	16	9
done	16	9
0	9	10
1	15	5
2	22	5
done	22	5
0	9	15
1	14	15
2	15	9
3	16	9
done	16	9
0	11	13
1	18	11
2	25	11
done	25	11
0	10	16
1	15	16
2	19	16
done	19	16
0	8	9
1	14	5
2	15	5
done	15	5
0	9	15
1	14	15
2	15	9
3	16	9
done	16	9
0	10	26
1	19	26
2	26	26
3	30	16
4	38	10
5	55	10
6	93	10
7	201	10
8	527	10
9	1874	10
done	5000	10
0	9	16
1	17	16
2	26	16
3	32	16
4	35	16
done	35	16
0	13	25
1	21	20
2	27	20
3	35	20
done	35	20
0	11	16
1	19	16
2	31	16
3	42	16
4	48	16
5	51	16
done	51	16
0	11	20
1	18	20
2	24	20
3	32	20
done	32	20
0	10	16
1	18	16
2	30	16
3	41	16
4	47	16
5	50	16
done	50	16
0	11	17
1	18	16
2	24	14
3	36	14
done	36	14
0	9	15
1	17	15
2	29	15
3	40	15
4	46	15
5	49	15
done	49	15
0	11	17
1	18	16
2	24	14
3	36	14
done	36	14
0	9	15
1	17	15
2	29	15
3	40	15
4	46	15
5	49	15
done	49	15
0	11	20
1	18	20
2	24	20
3	32	20
done	32	20
0	10	16
1	18	16
2	30	16
3	41	16
4	47	16
5	50	16
done	50	16
0	10	16
1	17	14
2	27	14
3	37	14
done	37	14
0	9	15
1	17	15
2	29	15
3	40	15
4	46	15
5	49	15
done	49	15
0	13	25
1	21	20
2	27	20
3	33	20
done	33	20
0	11	16
1	19	16
2	31	16
3	42	16
4	48	16
5	51	16
done	51	16
0	10	24
1	16	14
done	16	12
0	9	16
1	17	16
2	26	9
3	33	9
4	36	9
done	36	9
0	12	19
1	18	14
2	21	14
done	21	14
0	11	16
1	19	16
2	31	16
3	42	16
4	48	16
5	51	16
done	51	16
0	11	16
1	17	10
2	20	8
3	24	8
done	24	8
0	10	15
1	18	15
2	30	15
3	41	15
4	47	15
5	50	15
done	50	15
0	11	16
1	17	10
2	20	8
3	24	8
done	24	8
0	10	15
1	18	15
2	30	15
3	41	15
4	47	15
5	50	15
done	50	15
0	12	19
1	18	14
2	21	14
done	21	14
0	11	16
1	19	16
2	31	16
3	42	16
4	48	16
5	51	16
done	51	16
0	10	15
1	16	8
2	23	8
done	23	8
0	10	15
1	18	15
2	30	15
3	41	15
4	47	15
5	50	15
done	50	15
0	11	20
1	18	20
2	24	20
3	30	20
done	30	20
0	10	16
1	18	16
2	30	16
3	41	16
4	47	16
5	50	16
done	50	16
0	12	19
1	18	14
2	21	14
done	21	14
0	11	16
1	19	16
2	31	16
3	42	16
4	48	16
5	51	16
done	51	16
0	9	14
1	14	14
done	14	7
0	9	16
1	17	16
2	26	9
3	33	9
4	36	9
done	36	9
0	10	11
1	15	10
2	18	8
3	22	8
done	22	8
0	9	15
1	17	15
2	29	15
3	40	15
4	46	15
5	49	15
done	49	15
0	10	11
1	15	10
2	18	8
3	22	8
done	22	8
0	9	15
1	17	15
2	29	15
3	40	15
4	46	15
5	49	15
done	49	15
0	9	14
1	14	14
done	14	7
0	9	16
1	17	16
2	26	9
3	33	9
4	36	9
done	36	9
0	9	10
1	14	8
2	21	8
done	21	8
0	9	15
1	17	15
2	29	15
3	40	15
4	46	15
5	49	15
done	49	15
0	11	17
1	18	16
2	24	16
3	30	14
4	40	14
done	40	14
0	9	15
1	17	15
2	29	15
3	40	15
4	46	15
5	49	15
done	49	15
0	11	16
1	17	10
2	20	10
done	20	10
0	10	15
1	18	15
2	30	15
3	41	15
4	47	15
5	50	15
done	50	15
0	10	11
1	15	10
2	18	10
done	18	8
0	9	15
1	17	15
2	29	15
3	40	15
4	46	15
5	49	15
done	49	15
0	5	8
1	9	6
done	9	4
0	8	14
1	16	14
2	25	8
3	32	8
4	35	8
done	35	8
0	5	8
1	9	6
done	9	4
0	8	14
1	16	14
2	25	8
3	32	8
4	35	8
done	35	8
0	10	11
1	15	10
2	18	10
done	18	8
0	9	15
1	17	15
2	29	15
3	40	15
4	46	15
5	49	15
done	49	15
0	5	7
1	9	4
2	12	1
done	12	1
0	8	14
1	16	14
2	25	8
3	32	8
4	35	8
done	35	8
0	11	17
1	18	16
2	24	16
3	30	14
4	40	14
done	40	14
0	9	15
1	17	15
2	29	15
3	40	15
4	46	15
5	49	15
done	49	15
0	11	16
1	17	10
2	20	10
done	20	10
0	10	15
1	18	15
2	30	15
3	41	15
4	47	15
5	50	15
done	50	15
0	10	11
1	15	10
2	18	10
done	18	8
0	9	15
1	17	15
2	29	15
3	40	15
4	46	15
5	49	15
done	49	15
0	5	8
1	9	6
done	9	4
0	8	14
1	16	14
2	25	8
3	32	8
4	35	8
done	35	8
0	5	8
1	9	6
done	9	4
0	8	14
1	16	14
2	25	8
3	32	8
4	35	8
done	35	8
0	10	11
1	15	10
2	18	10
done	18	8
0	9	15
1	17	15
2	29	15
3	40	15
4	46	15
5	49	15
done	49	15
0	5	7
1	9	4
2	12	1
done	12	1
0	8	14
1	16	14
2	25	8
3	32	8
4	35	8
done	35	8
0	11	20
1	18	20
2	24	20
3	30	20
done	30	20
0	10	16
1	18	16
2	30	16
3	41	16
4	47	16
5	50	16
done	50	16
0	12	19
1	18	14
2	21	14
done	21	14
0	11	16
1	19	16
2	31	16
3	42	16
4	48	16
5	51	16
done	51	16
0	9	14
1	14	14
done	14	7
0	9	16
1	17	16
2	26	9
3	33	9
4	36	9
done	36	9
0	10	11
1	15	10
2	18	8
3	22	8
done	22	8
0	9	15
1	17	15
2	29	15
3	40	15
4	46	15
5	49	15
done	49	15
0	10	11
1	15	10
2	18	8
3	22	8
done	22	8
0	9	15
1	17	15
2	29	15
3	40	15
4	46	15
5	49	15
done	49	15
0	9	14
1	14	14
done	14	7
0	9	16
1	17	16
2	26	9
3	33	9
4	36	9
done	36	9
0	9	10
1	14	8
2	21	8
done	21	8
0	9	15
1	17	15
2	29	15
3	40	15
4	46	15
5	49	15
done	49	15
0	10	16
1	17	14
2	21	14
3	31	14
4	32	14
done	32	14
0	9	15
1	17	15
2	29	15
3	40	15
4	46	15
5	49	15
done	49	15
0	10	15
1	16	8
2	18	8
3	22	8
done	22	8
0	10	15
1	18	15
2	30	15
3	41	15
4	47	15
5	50	15
done	50	15
0	9	10
1	14	8
2	16	8
3	20	8
done	20	8
0	9	15
1	17	15
2	29	15
3	40	15
4	46	15
5	49	15
done	49	15
0	5	7
1	9	1
done	9	1
0	8	14
1	16	14
2	25	8
3	32	8
4	35	8
done	35	8
0	5	7
1	9	1
done	9	1
0	8	14
1	16	14
2	25	8
3	32	8
4	35	8
done	35	8
0	9	10
1	14	8
2	16	8
3	20	8
done	20	8
0	9	15
1	17	15
2	29	15
3	40	15
4	46	15
5	49	15
done	49	15
0	4	6
1	8	1
done	8	1
0	8	14
1	16	14
2	25	8
3	32	8
4	35	8
done	35	8
0	12	30
1	20	30
2	27	30
3	29	20
4	38	14
5	57	14
6	95	14
7	201	14
8	528	14
9	1887	14
done	5000	14
0	11	18
1	19	18
2	28	18
3	34	18
4	37	18
done	37	18
0	15	29
1	22	24
2	28	24
3	36	24
done	36	24
0	13	18
1	21	18
2	33	18
3	44	18
4	50	18
5	53	18
done	53	18
0	13	24
1	19	24
2	25	24
3	33	24
done	33	24
0	12	18
1	20	18
2	32	18
3	43	18
4	49	18
5	52	18
done	52	18
0	14	21
1	22	20
2	28	20
3	36	18
4	43	18
done	43	18
0	11	17
1	19	17
2	31	17
3	42	17
4	48	17
5	51	17
done	51	17
0	14	21
1	22	20
2	28	20
3	36	18
4	43	18
done	43	18
0	11	17
1	19	17
2	31	17
3	42	17
4	48	17
5	51	17
done	51	17
0	13	24
1	19	24
2	25	24
3	33	24
done	33	24
0	12	18
1	20	18
2	32	18
3	43	18
4	49	18
5	52	18
done	52	18
0	13	20
1	21	18
2	31	18
3	47	18
done	47	18
0	11	17
1	19	17
2	31	17
3	42	17
4	48	17
5	51	17
done	51	17
0	15	29
1	22	24
2	28	24
3	34	24
done	34	24
0	13	18
1	21	18
2	33	18
3	44	18
4	50	18
5	53	18
done	53	18
0	12	28
1	17	18
done	17	16
0	11	18
1	19	18
2	28	11
3	35	11
4	38	11
done	38	11
0	14	23
1	19	18
2	22	18
done	22	18
0	13	18
1	21	18
2	33	18
3	44	18
4	50	18
5	53	18
done	53	18
0	14	20
1	21	14
2	24	14
done	24	12
0	12	17
1	20	17
2	32	17
3	43	17
4	49	17
5	52	17
done	52	17
0	14	20
1	21	14
2	24	14
done	24	12
0	12	17
1	20	17
2	32	17
3	43	17
4	49	17
5	52	17
done	52	17
0	14	23
1	19	18
2	22	18
done	22	18
0	13	18
1	21	18
2	33	18
3	44	18
4	50	18
5	53	18
done	53	18
0	13	19
1	20	12
2	27	12
3	29	12
done	29	12
0	12	17
1	20	17
2	32	17
3	43	17
4	49	17
5	52	17
done	52	17
0	13	24
1	19	24
2	25	24
3	31	24
done	31	24
0	12	18
1	20	18
2	32	18
3	43	18
4	49	18
5	52	18
done	52	18
0	14	23
1	19	18
2	22	18
done	22	18
0	13	18
1	21	18
2	33	18
3	44	18
4	50	18
5	53	18
done	53	18
0	11	18
1	15	18
done	15	11
0	11	18
1	19	18
2	28	11
3	35	11
4	38	11
done	38	11
0	13	15
1	19	14
2	22	14
done	22	12
0	11	17
1	19	17
2	31	17
3	42	17
4	48	17
5	51	17
done	51	17
0	13	15
1	19	14
2	22	14
done	22	12
0	11	17
1	19	17
2	31	17
3	42	17
4	48	17
5	51	17
done	51	17
0	11	18
1	15	18
done	15	11
0	11	18
1	19	18
2	28	11
3	35	11
4	38	11
done	38	11
0	12	14
1	18	12
2	25	12
3	27	12
done	27	12
0	11	17
1	19	17
2	31	17
3	42	17
4	48	17
5	51	17
done	51	17
0	14	21
1	22	20
2	28	20
3	34	18
4	44	18
done	44	18
0	11	17
1	19	17
2	31	17
3	42	17
4	48	17
5	51	17
done	51	17
0	14	20
1	21	14
2	24	14
done	24	12
0	12	17
1	20	17
2	32	17
3	43	17
4	49	17
5	52	17
done	52	17
0	13	15
1	19	14
2	22	14
done	22	14
0	11	17
1	19	17
2	31	17
3	42	17
4	48	17
5	51	17
done	51	17
0	10	12
1	15	10
done	15	8
0	10	16
1	18	16
2	27	10
3	34	10
4	37	10
done	37	10
0	10	12
1	15	10
done	15	8
0	10	16
1	18	16
2	27	10
3	34	10
4	37	10
done	37	10
0	13	15
1	19	14
2	22	14
done	22	14
0	11	17
1	19	17
2	31	17
3	42	17
4	48	17
5	51	17
done	51	17
0	10	11
1	15	8
2	18	8
done	18	6
0	10	16
1	18	16
2	27	10
3	34	10
4	37	10
done	37	10
0	14	21
1	22	20
2	28	20
3	34	18
4	44	18
done	44	18
0	11	17
1	19	17
2	31	17
3	42	17
4	48	17
5	51	17
done	51	17
0	14	20
1	21	14
2	24	14
done	24	12
0	12	17
1	20	17
2	32	17
3	43	17
4	49	17
5	52	17
done	52	17
0	13	15
1	19	14
2	22	14
done	22	14
0	11	17
1	19	17
2	31	17
3	42	17
4	48	17
5	51	17
done	51	17
0	10	12
1	15	10
done	15	8
0	10	16
1	18	16
2	27	10
3	34	10
4	37	10
done	37	10
0	10	12
1	15	10
done	15	8
0	10	16
1	18	16
2	27	10
3	34	10
4	37	10
done	37	10
0	13	15
1	19	14
2	22	14
done	22	14
0	11	17
1	19	17
2	31	17
3	42	17
4	48	17
5	51	17
done	51	17
0	10	11
1	15	8
2	18	8
done	18	6
0	10	16
1	18	16
2	27	10
3	34	10
4	37	10
done	37	10
0	13	24
1	19	24
2	25	24
3	31	24
done	31	24
0	12	18
1	20	18
2	32	18
3	43	18
4	49	18
5	52	18
done	52	18
0	14	23
1	19	18
2	22	18
done	22	18
0	13	18
1	21	18
2	33	18
3	44	18
4	50	18
5	53	18
done	53	18
0	11	18
1	15	18
done	15	11
0	11	18
1	19	18
2	28	11
3	35	11
4	38	11
done	38	11
0	13	15
1	19	14
2	22	14
done	22	12
0	11	17
1	19	17
2	31	17
3	42	17
4	48	17
5	51	17
done	51	17
0	13	15
1	19	14
2	22	14
done	22	12
0	11	17
1	19	17
2	31	17
3	42	17
4	48	17
5	51	17
done	51	17
0	11	18
1	15	18
done	15	11
0	11	18
1	19	18
2	28	11
3	35	11
4	38	11
done	38	11
0	12	14
1	18	12
2	25	12
3	27	12
done	27	12
0	11	17
1	19	17
2	31	17
3	42	17
4	48	17
5	51	17
done	51	17
0	13	20
1	21	18
2	30	18
3	38	18
done	38	18
0	11	17
1	19	17
2	31	17
3	42	17
4	48	17
5	51	17
done	51	17
0	13	19
1	20	12
2	26	12
done	26	12
0	12	17
1	20	17
2	32	17
3	43	17
4	49	17
5	52	17
done	52	17
0	12	14
1	18	12
2	24	12
done	24	12
0	11	17
1	19	17
2	31	17
3	42	17
4	48	17
5	51	17
done	51	17
0	10	11
1	15	6
2	21	6
done	21	6
0	10	16
1	18	16
2	27	10
3	34	10
4	37	10
done	37	10
0	10	11
1	15	6
2	21	6
done	21	6
0	10	16
1	18	16
2	27	10
3	34	10
4	37	10
done	37	10
0	12	14
1	18	12
2	24	12
done	24	12
0	11	17
1	19	17
2	31	17
3	42	17
4	48	17
5	51	17
done	51	17
0	9	10
1	14	6
done	14	6
0	10	16
1	18	16
2	27	10
3	34	10
4	37	10
done	37	10
0	10	26
1	19	26
2	26	26
3	30	16
4	38	10
5	55	10
6	93	10
7	201	10
8	527	10
9	1874	10
done	5000	10
0	9	16
1	17	16
2	26	16
3	32	16
4	35	16
done	35	16
0	13	25
1	21	20
2	27	20
3	35	20
done	35	20
0	11	16
1	19	16
2	31	16
3	42	16
4	48	16
5	51	16
done	51	16
0	11	20
1	18	20
2	24	20
3	32	20
done	32	20
0	10	16
1	18	16
2	30	16
3	41	16
4	47	16
5	50	16
done	50	16
0	11	17
1	18	16
2	24	14
3	36	14
done	36	14
0	9	15
1	17	15
2	29	15
3	40	15
4	46	15
5	49	15
done	49	15
0	11	17
1	18	16
2	24	14
3	36	14
done	36	14
0	9	15
1	17	15
2	29	15
3	40	15
4	46	15
5	49	15
done	49	15
0	11	20
1	18	20
2	24	20
3	32	20
done	32	20
0	10	16
1	18	16
2	30	16
3	41	16
4	47	16
5	50	16
done	50	16
0	10	16
1	17	14
2	27	14
3	37	14
done	37	14
0	9	15
1	17	15
2	29	15
3	40	15
4	46	15
5	49	15
done	49	15
0	13	25
1	21	20
2	27	20
3	33	20
done	33	20
0	11	16
1	19	16
2	31	16
3	42	16
4	48	16
5	51	16
done	51	16
0	10	24
1	16	14
done	16	12
0	9	16
1	17	16
2	26	9
3	33	9
4	36	9
done	36	9
0	12	19
1	18	14
2	21	14
done	21	14
0	11	16
1	19	16
2	31	16
3	42	16
4	48	16
5	51	16
done	51	16
0	11	16
1	17	10
2	20	8
3	24	8
done	24	8
0	10	15
1	18	15
2	30	15
3	41	15
4	47	15
5	50	15
done	50	15
0	11	16
1	17	10
2	20	8
3	24	8
done	24	8
0	10	15
1	18	15
2	30	15
3	41	15
4	47	15
5	50	15
done	50	15
0	12	19
1	18	14
2	21	14
done	21	14
0	11	16
1	19	16
2	31	16
3	42	16
4	48	16
5	51	16
done	51	16
0	10	15
1	16	8
2	23	8
done	23	8
0	10	15
1	18	15
2	30	15
3	41	15
4	47	15
5	50	15
done	50	15
0	11	20
1	18	20
2	24	20
3	30	20
done	30	20
0	10	16
1	18	16
2	30	16
3	41	16
4	47	16
5	50	16
done	50	16
0	12	19
1	18	14
2	21	14
done	21	14
0	11	16
1	19	16
2	31	16
3	42	16
4	48	16
5	51	16
done	51	16
0	9	14
1	14	14
done	14	7
0	9	16
1	17	16
2	26	9
3	33	9
4	36	9
done	36	9
0	10	11
1	15	10
2	18	8
3	22	8
done	22	8
0	9	15
1	17	15
2	29	15
3	40	15
4	46	15
5	49	15
done	49	15
0	10	11
1	15	10
2	18	8
3	22	8
done	22	8
0	9	15
1	17	15
2	29	15
3	40	15
4	46	15
5	49	15
done	49	15
0	9	14
1	14	14
done	14	7
0	9	16
1	17	16
2	26	9
3	33	9
4	36	9
done	36	9
0	9	10
1	14	8
2	21	8
done	21	8
0	9	15
1	17	15
2	29	15
3	40	15
4	46	15
5	49	15
done	49	15
0	11	17
1	18	16
2	24	16
3	30	14
4	40	14
done	40	14
0	9	15
1	17	15
2	29	15
3	40	15
4	46	15
5	49	15
done	49	15
0	11	16
1	17	10
2	20	10
done	20	10
0	10	15
1	18	15
2	30	15
3	41	15
4	47	15
5	50	15
done	50	15
0	10	11
1	15	10
2	18	10
done	18	8
0	9	15
1	17	15
2	29	15
3	40	15
4	46	15
5	49	15
done	49	15
0	5	8
1	9	6
done	9	4
0	8	14
1	16	14
2	25	8
3	32	8
4	35	8
done	35	8
0	5	8
1	9	6
done	9	4
0	8	14
1	16	14
2	25	8
3	32	8
4	35	8
done	35	8
0	10	11
1	15	10
2	18	10
done	18	8
0	9	15
1	17	15
2	29	15
3	40	15
4	46	15
5	49	15
done	49	15
0	5	7
1	9	4
2	12	1
done	12	1
0	8	14
1	16	14
2	25	8
3	32	8
4	35	8
done	35	8
0	11	17
1	18	16
2	24	16
3	30	14
4	40	14
done	40	14
0	9	15
1	17	15
2	29	15
3	40	15
4	46	15
5	49	15
done	49	15
0	11	16
1	17	10
2	20	10
done	20	10
0	10	15
1	18	15
2	30	15
3	41	15
4	47	15
5	50	15
done	50	15
0	10	11
1	15	10
2	18	10
done	18	8
0	9	15
1	17	15
2	29	15
3	40	15
4	46	15
5	49	15
done	49	15
0	5	8
1	9	6
done	9	4
0	8	14
1	16	14
2	25	8
3	32	8
4	35	8
done	35	8
0	5	8
1	9	6
done	9	4
0	8	14
1	16	14
2	25	8
3	32	8
4	35	8
done	35	8
0	10	11
1	15	10
2	18	10
done	18	8
0	9	15
1	17	15
2	29	15
3	40	15
4	46	15
5	49	15
done	49	15
0	5	7
1	9	4
2	12	1
done	12	1
0	8	14
1	16	14
2	25	8
3	32	8
4	35	8
done	35	8
0	11	20
1	18	20
2	24	20
3	30	20
done	30	20
0	10	16
1	18	16
2	30	16
3	41	16
4	47	16
5	50	16
done	50	16
0	12	19
1	18	14
2	21	14
done	21	14
0	11	16
1	19	16
2	31	16
3	42	16
4	48	16
5	51	16
done	51	16
0	9	14
1	14	14
done	14	7
0	9	16
1	17	16
2	26	9
3	33	9
4	36	9
done	36	9
0	10	11
1	15	10
2	18	8
3	22	8
done	22	8
0	9	15
1	17	15
2	29	15
3	40	15
4	46	15
5	49	15
done	49	15
0	10	11
1	15	10
2	18	8
3	22	8
done	22	8
0	9	15
1	17	15
2	29	15
3	40	15
4	46	15
5	49	15
done	49	15
0	9	14
1	14	14
done	14	7
0	9	16
1	17	16
2	26	9
3	33	9
4	36	9
done	36	9
0	9	10
1	14	8
2	21	8
done	21	8
0	9	15
1	17	15
2	29	15
3	40	15
4	46	15
5	49	15
done	49	15
0	10	16
1	17	14
2	21	14
3	31	14
4	32	14
done	32	14
0	9	15
1	17	15
2	29	15
3	40	15
4	46	15
5	49	15
done	49	15
0	10	15
1	16	8
2	18	8
3	22	8
done	22	8
0	10	15
1	18	15
2	30	15
3	41	15
4	47	15
5	50	15
done	50	15
0	9	10
1	14	8
2	16	8
3	20	8
done	20	8
0	9	15
1	17	15
2	29	15
3	40	15
4	46	15
5	49	15
done	49	15
0	5	7
1	9	1
done	9	1
0	8	14
1	16	14
2	25	8
3	32	8
4	35	8
done	35	8
0	5	7
1	9	1
done	9	1
0	8	14
1	16	14
2	25	8
3	32	8
4	35	8
done	35	8
0	9	10
1	14	8
2	16	8
3	20	8
done	20	8
0	9	15
1	17	15
2	29	15
3	40	15
4	46	15
5	49	15
done	49	15
0	4	6
1	8	1
done	8	1
0	8	14
1	16	14
2	25	8
3	32	8
4	35	8
done	35	8
0	9	14
1	14	14
done	14	14
0	9	15
1	17	15
2	29	15
3	40	15
4	46	15
5	49	15
done	49	15
0	9	13
1	13	8
done	13	8
0	10	15
1	18	15
2	30	15
3	41	15
4	47	15
5	50	15
done	50	15
0	8	8
1	11	8
done	11	8
0	9	15
1	17	15
2	29	15
3	40	15
4	46	15
5	49	15
done	49	15
0	4	5
1	6	4
done	6	4
0	8	14
1	16	14
2	25	8
3	32	8
4	35	8
done	35	8
0	4	5
1	6	4
done	6	4
0	8	14
1	16	14
2	25	8
3	32	8
4	35	8
done	35	8
0	8	8
1	11	8
done	11	8
0	9	15
1	17	15
2	29	15
3	40	15
4	46	15
5	49	15
done	49	15
0	3	4
1	5	1
done	5	1
0	8	14
1	16	14
2	25	8
3	32	8
4	35	8
done	35	8
0	9	16
1	17	16
2	25	16
3	30	16
4	33	16
done	33	16
0	9	13
1	14	13
2	17	13
done	17	13
0	9	15
1	16	10
2	19	10
3	21	10
done	21	10
0	10	13
1	15	13
2	18	13
done	18	13
0	8	10
1	14	10
2	17	10
3	19	10
done	19	10
0	9	13
1	14	13
2	17	13
done	17	13
0	7	7
1	14	6
2	17	6
3	19	4
4	24	4
5	28	4
done	28	4
0	8	12
1	13	12
done	13	6
0	7	7
1	14	6
2	17	6
3	19	4
4	24	4
5	28	4
done	28	4
0	8	12
1	13	12
done	13	6
0	8	10
1	14	10
2	17	10
3	19	10
done	19	10
0	9	13
1	14	13
2	17	13
done	17	13
0	6	6
1	13	4
2	18	4
done	18	4
0	8	12
1	13	12
done	13	6
0	15	25
1	39	25
2	66	25
3	110	25
4	166	25
5	295	25
6	712	25
7	2568	25
done	5001	25
0	13	19
1	22	17
2	37	17
3	50	17
4	70	17
5	91	17
6	108	17
7	131	17
8	174	17
9	236	17
10	237	17
done	237	17
0	15	24
1	38	19
2	59	19
3	87	19
4	132	19
5	250	19
6	672	19
7	2498	19
done	5001	19
0	13	19
1	22	17
2	37	17
3	50	17
4	70	17
5	91	17
6	108	17
7	131	17
8	174	17
9	236	17
10	237	17
done	237	17
0	14	19
1	36	19
2	57	19
3	85	19
4	130	19
5	252	19
6	672	19
7	2519	19
done	5001	19
0	13	19
1	22	17
2	37	17
3	50	17
4	70	17
5	91	17
6	108	17
7	131	17
8	174	17
9	236	17
10	237	17
done	237	17
0	13	16
1	36	15
2	57	15
3	85	13
4	141	13
5	257	13
6	662	13
7	2508	13
done	5001	13
0	12	18
1	21	16
2	36	16
3	49	16
4	69	16
5	90	16
6	107	16
7	130	16
8	173	16
9	235	16
10	236	16
done	236	16
0	13	16
1	36	15
2	57	15
3	85	13
4	141	13
5	257	13
6	662	13
7	2508	13
done	5001	13
0	12	18
1	21	16
2	36	16
3	49	16
4	69	16
5	90	16
6	107	16
7	130	16
8	173	16
9	235	16
10	236	16
done	236	16
0	14	19
1	36	19
2	57	19
3	85	19
4	130	19
5	252	19
6	672	19
7	2519	19
done	5001	19
0	13	19
1	22	17
2	37	17
3	50	17
4	70	17
5	91	17
6	108	17
7	131	17
8	174	17
9	236	17
10	237	17
done	237	17
0	12	15
1	35	13
2	57	13
3	85	13
4	134	13
5	255	13
6	668	13
7	2505	13
done	5000	13
0	12	18
1	21	16
2	36	16
3	49	16
4	69	16
5	90	16
6	107	16
7	130	16
8	173	16
9	235	16
10	236	16
done	236	16
0	14	25
1	27	25
2	55	25
3	107	25
4	153	25
5	214	25
6	364	25
7	1580	25
done	5000	25
0	9	11
1	12	11
2	13	11
done	13	11
0	14	24
1	26	19
2	48	19
3	84	19
4	118	19
5	173	19
6	324	19
7	1506	19
done	5001	19
0	9	11
1	12	11
2	13	11
done	13	11
0	13	19
1	24	19
2	46	19
3	82	19
4	116	19
5	176	19
6	327	19
7	1504	19
done	5000	19
0	9	11
1	12	11
2	13	11
done	13	11
0	12	16
1	25	15
2	48	15
3	84	13
4	132	13
5	203	13
6	413	13
7	1728	13
done	5001	13
0	8	10
1	11	10
2	12	10
done	12	10
0	12	16
1	25	15
2	48	15
3	84	13
4	132	13
5	203	13
6	413	13
7	1728	13
done	5001	13
0	8	10
1	11	10
2	12	10
done	12	10
0	13	19
1	24	19
2	46	19
3	82	19
4	116	19
5	176	19
6	327	19
7	1504	19
done	5000	19
0	9	11
1	12	11
2	13	11
done	13	11
0	11	15
1	24	13
2	48	13
3	84	13
4	125	13
5	195	13
6	407	13
7	1730	13
done	5001	13
0	8	10
1	11	10
2	12	10
done	12	10
0	2	2
1	4	1
done	4	1
0	8	14
1	16	14
2	25	8
3	32	8
4	35	8
done	35	8
0	7	9
1	13	9
2	16	9
3	18	9
done	18	9
0	7	7
1	10	7
done	10	7
0	13	18
1	35	18
2	56	18
3	84	18
4	131	18
5	251	18
6	667	18
7	2496	18
done	5000	18
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	12	18
1	23	18
2	45	18
3	81	18
4	115	18
5	179	18
6	326	18
7	1509	18
done	5000	18
0	5	5
1	7	5
2	8	5
done	8	5
0	7	9
1	13	9
2	16	9
3	18	9
done	18	9
0	5	5
1	6	5
done	6	5
0	3	3
1	6	1
done	6	1
0	9	15
1	17	15
2	26	9
3	33	9
4	36	9
done	36	9
0	9	15
1	17	15
2	26	9
3	33	9
4	36	9
done	36	9
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	8	8
2	19	6
3	24	6
4	30	6
5	40	6
6	61	6
7	126	6
8	339	6
9	1262	6
done	5000	6
0	6	10
1	8	5
done	8	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	7	8
1	21	8
2	30	8
3	47	8
4	88	8
5	208	8
6	613	8
7	2441	8
done	5000	8
0	8	12
1	16	10
2	31	10
3	44	10
4	64	10
5	85	10
6	102	10
7	125	10
8	168	10
9	230	10
10	231	10
done	231	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	6	4
2	7	4
done	7	4
0	3	3
1	6	1
done	6	1
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	9	11
1	21	11
2	48	11
3	65	9
4	88	9
5	127	9
6	201	9
7	352	9
8	631	9
9	1655	9
done	5000	9
0	11	15
1	27	15
2	58	11
3	130	11
4	330	11
5	1025	9
done	5000	9
0	11	15
1	27	15
2	58	11
3	130	11
4	330	11
5	1025	9
done	5000	9
0	21	36
1	57	34
2	164	34
3	418	33
4	1072	26
5	3350	23
done	5000	23
0	17	27
1	47	27
2	156	27
3	377	27
4	996	25
5	3158	25
done	5000	25
0	24	41
1	65	41
2	216	41
3	641	41
4	1857	35
done	5000	31
0	17	29
1	46	29
2	133	29
3	340	22
4	956	22
5	3234	17
done	5000	17
0	22	35
1	59	35
2	177	29
3	563	26
4	2375	24
done	5000	24
0	22	35
1	59	35
2	177	29
3	563	26
4	2375	24
done	5000	24
0	15	20
1	38	20
2	110	20
3	320	20
4	942	15
5	3240	15
done	5000	15
0	21	33
1	57	33
2	182	33
3	495	29
4	1451	29
5	4983	27
done	5000	27
0	21	33
1	57	33
2	182	33
3	495	33
4	1428	30
5	4608	27
done	5000	27

prune1.4s

Filtered

304 candidates to 755 candidates (-148.4%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	755	0	755
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	755	2	757

Merged error: 0b

Counts

757 → 2

regimes148.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	17
1	13	17
done	13	17

end0.0ms

sample1.0s

Algorithm

intervals

Results

387.0ms	8000×	body	80	valid
321.0ms	7938×	body	80	nan

Details

sample59.0ms

simplify18.0ms

prune4.0ms

localize10.0ms

rewrite26.0ms

series22.0ms

simplify50.6s

prune184.0ms

localize15.0ms

rewrite169.0ms

series21.0ms

simplify4.2min

prune1.4s

regimes148.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.0s

Profiling