Details

sample130.0ms

Algorithm

intervals

Results

47.0ms	85×	body	1280	valid
26.0ms	78×	body	640	valid
20.0ms	239×	body	80	valid
9.0ms	38×	body	320	valid
2.0ms	11×	body	160	valid

simplify78.0ms

Counts

1 → 1

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	12	19
1	25	13
2	45	13
3	65	13
4	84	13
5	102	13
6	115	13
done	115	13

prune13.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 0.5b

Counts

2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (/ (cos th) (sqrt 2.0)) (* a1 a1))
0.3b	(* (/ (cos th) (sqrt 2.0)) (* a2 a2))
0.7b	(/ (cos th) (sqrt 2.0))
0.7b	(/ (cos th) (sqrt 2.0))

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

76×	`times-frac`
70×	`add-sqr-sqrt`
60×	`add-cube-cbrt` `*-un-lft-identity`
44×	`associate-l` `sqrt-prod`
32×	`add-exp-log` `add-cbrt-cube`
14×	`pow1`
12×	`prod-exp` `associate-/r*` `cbrt-unprod`
6×	`cbrt-undiv` `div-exp` `pow-prod-down` `associate-/l*` `unswap-sqr`
4×	`div-inv` `add-log-exp`
2×	`frac-2neg` `associate-r` `associate-l/` `clear-num` `-commutative`

Counts

4 → 168

Calls

4 calls:

11.0ms	(* (/ (cos th) (sqrt 2.0)) (* a1 a1))
12.0ms	(* (/ (cos th) (sqrt 2.0)) (* a2 a2))
6.0ms	(/ (cos th) (sqrt 2.0))
6.0ms	(/ (cos th) (sqrt 2.0))

series54.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(* (/ (cos th) (sqrt 2.0)) (* a1 a1))
18.0ms	(* (/ (cos th) (sqrt 2.0)) (* a2 a2))
6.0ms	(/ (cos th) (sqrt 2.0))
6.0ms	(/ (cos th) (sqrt 2.0))

simplify1.4min

Counts

180 → 180

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	9	7
2	10	7
done	10	7
0	6	6
1	9	6
2	11	6
3	12	6
done	12	6
0	6	6
done	6	6
0	9	17
1	18	13
2	44	9
3	94	9
4	132	9
5	175	9
6	303	9
7	808	9
8	3185	9
done	5000	9
0	7	13
done	7	13
0	6	6
done	6	6
0	7	17
1	14	17
2	30	7
3	68	7
4	133	7
5	196	7
6	315	7
7	780	7
8	3422	7
done	5001	7
0	6	6
done	6	6
0	6	6
done	6	6
0	3	3
done	3	3
0	3	3
done	3	3
0	9	15
1	15	15
2	24	15
3	30	15
done	30	15
0	7	7
done	7	7
0	9	14
1	12	11
2	14	11
3	15	11
done	15	11
0	7	7
done	7	7
0	8	11
1	10	11
2	12	11
3	13	11
done	13	11
0	7	7
done	7	7
0	7	10
1	11	9
2	13	9
3	14	7
4	21	7
done	21	7
0	6	6
done	6	6
0	8	11
1	10	11
2	12	11
3	13	11
done	13	11
0	7	7
done	7	7
0	6	9
1	10	7
2	16	7
3	21	7
done	21	7
0	6	6
done	6	6
0	8	11
1	10	11
done	10	11
0	7	7
done	7	7
0	8	10
1	9	7
done	9	7
0	7	7
done	7	7
0	7	7
done	7	7
0	7	7
done	7	7
0	6	6
1	8	5
done	8	5
0	6	6
done	6	6
0	7	7
done	7	7
0	7	7
done	7	7
0	5	5
1	7	3
2	9	3
done	9	3
0	6	6
done	6	6
0	6	9
1	10	9
done	10	9
0	6	6
done	6	6
0	6	8
1	9	5
done	9	5
0	6	6
done	6	6
0	5	5
1	7	5
done	7	5
0	6	6
done	6	6
0	3	4
1	5	3
done	5	3
0	5	5
done	5	5
0	5	5
1	7	5
done	7	5
0	6	6
done	6	6
0	2	3
1	4	1
done	4	1
0	5	5
done	5	5
0	4	4
1	6	4
done	6	4
0	5	5
done	5	5
0	7	10
1	9	10
done	9	10
0	7	9
1	8	6
done	8	6
0	6	6
done	6	6
0	5	5
1	7	4
done	7	4
0	6	6
done	6	6
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
done	6	6
0	6	6
done	6	6
0	5	5
done	5	5
0	7	7
1	9	7
2	10	7
done	10	7
0	6	6
1	9	6
2	11	6
3	12	6
done	12	6
0	6	6
done	6	6
0	9	17
1	18	13
2	44	9
3	94	9
4	132	9
5	175	9
6	303	9
7	808	9
8	3185	9
done	5000	9
0	7	13
done	7	13
0	6	6
done	6	6
0	7	17
1	14	17
2	30	7
3	68	7
4	133	7
5	196	7
6	315	7
7	780	7
8	3422	7
done	5001	7
0	6	6
done	6	6
0	6	6
done	6	6
0	3	3
done	3	3
0	3	3
done	3	3
0	9	15
1	15	15
2	24	15
3	30	15
done	30	15
0	7	7
done	7	7
0	9	14
1	12	11
2	14	11
3	15	11
done	15	11
0	7	7
done	7	7
0	8	11
1	10	11
2	12	11
3	13	11
done	13	11
0	7	7
done	7	7
0	7	10
1	11	9
2	13	9
3	14	7
4	21	7
done	21	7
0	6	6
done	6	6
0	8	11
1	10	11
2	12	11
3	13	11
done	13	11
0	7	7
done	7	7
0	6	9
1	10	7
2	16	7
3	21	7
done	21	7
0	6	6
done	6	6
0	8	11
1	10	11
done	10	11
0	7	7
done	7	7
0	8	10
1	9	7
done	9	7
0	7	7
done	7	7
0	7	7
done	7	7
0	7	7
done	7	7
0	6	6
1	8	5
done	8	5
0	6	6
done	6	6
0	7	7
done	7	7
0	7	7
done	7	7
0	5	5
1	7	3
2	9	3
done	9	3
0	6	6
done	6	6
0	6	9
1	10	9
done	10	9
0	6	6
done	6	6
0	6	8
1	9	5
done	9	5
0	6	6
done	6	6
0	5	5
1	7	5
done	7	5
0	6	6
done	6	6
0	3	4
1	5	3
done	5	3
0	5	5
done	5	5
0	5	5
1	7	5
done	7	5
0	6	6
done	6	6
0	2	3
1	4	1
done	4	1
0	5	5
done	5	5
0	4	4
1	6	4
done	6	4
0	5	5
done	5	5
0	7	10
1	9	10
done	9	10
0	7	9
1	8	6
done	8	6
0	6	6
done	6	6
0	5	5
1	7	4
done	7	4
0	6	6
done	6	6
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
done	6	6
0	6	6
done	6	6
0	5	5
done	5	5
0	8	9
1	13	9
2	21	9
3	29	9
4	38	9
5	44	9
6	49	9
done	49	9
0	8	9
1	13	9
2	21	9
3	29	9
4	38	9
5	44	9
6	49	9
done	49	9
0	11	13
1	20	12
2	38	12
3	71	12
4	108	12
5	166	12
6	204	12
7	268	12
8	358	12
9	366	12
done	366	12
0	11	12
1	18	12
2	36	12
3	67	12
4	100	12
5	162	12
6	201	12
7	268	12
8	356	12
9	364	12
done	364	12
0	10	12
1	18	11
2	29	11
3	50	11
4	87	11
5	138	11
6	157	11
7	196	11
8	261	11
9	339	11
10	347	11
done	347	11
0	10	11
1	16	11
2	28	11
3	49	11
4	80	11
5	117	11
6	175	11
7	213	11
8	277	11
9	368	11
10	376	11
done	376	11
0	9	10
1	17	10
2	35	10
3	63	10
4	111	10
5	161	10
6	215	10
7	305	10
8	375	10
9	440	10
10	486	10
11	487	10
done	487	10
0	9	10
1	16	10
2	32	10
3	58	10
4	111	10
5	235	10
6	560	10
7	1609	10
done	5000	10
0	14	29
1	35	25
2	133	17
3	673	13
4	3114	13
done	5001	13
0	14	29
1	36	25
2	130	15
3	674	13
4	3183	13
done	5000	13
0	12	29
1	31	29
2	105	15
3	389	11
4	1577	11
done	5001	11
0	12	29
1	32	29
2	105	13
3	389	11
4	1612	11
done	5000	11
0	10	21
1	15	21
2	23	21
3	31	21
4	40	21
5	46	21
6	51	21
done	51	21
0	9	10
1	14	10
2	22	10
3	30	10
4	39	10
5	45	10
6	50	10
done	50	10
0	10	29
1	25	29
2	104	11
3	512	11
4	1991	11
done	5000	11
0	9	10
1	14	10
2	22	10
3	30	10
4	39	10
5	45	10
6	50	10
done	50	10
0	9	10
1	14	10
2	22	10
3	30	10
4	39	10
5	45	10
6	50	10
done	50	10
0	8	8
1	9	8
done	9	8
0	8	8
1	9	8
done	9	8
0	9	9
1	12	9
2	15	9
3	17	9
4	19	9
5	20	9
done	20	9
0	9	9
1	12	9
2	15	9
3	17	9
4	19	9
5	20	9
done	20	9
0	9	9
1	12	9
2	15	9
3	17	9
4	19	9
5	20	9
done	20	9
0	9	9
1	12	9
2	15	9
3	17	9
4	19	9
5	20	9
done	20	9
0	7	7
1	10	7
2	13	7
3	15	7
4	17	7
5	18	7
done	18	7
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	10	11
1	15	11
2	23	11
3	31	11
4	40	11
5	46	11
6	51	11
done	51	11
0	10	11
1	15	11
2	23	11
3	31	11
4	40	11
5	46	11
6	51	11
done	51	11
0	10	11
1	15	11
2	23	11
3	31	11
4	40	11
5	46	11
6	51	11
done	51	11
0	9	10
1	14	10
2	22	10
3	30	10
4	39	10
5	45	10
6	50	10
7	51	10
done	51	10
0	10	11
1	15	11
2	23	11
3	31	11
4	40	11
5	46	11
6	51	11
done	51	11
0	9	10
1	14	10
2	22	10
3	30	10
4	39	10
5	45	10
6	50	10
7	51	10
done	51	10
0	10	11
1	15	11
2	23	11
3	31	11
4	40	11
5	46	11
6	51	11
done	51	11
0	10	11
1	15	11
2	23	11
3	31	11
4	40	11
5	46	11
6	51	11
done	51	11
0	10	11
1	15	11
2	23	11
3	31	11
4	40	11
5	46	11
6	51	11
done	51	11
0	9	10
1	14	10
2	22	10
3	30	10
4	39	10
5	45	10
6	50	10
7	51	10
done	51	10
0	10	11
1	15	11
2	23	11
3	31	11
4	40	11
5	46	11
6	51	11
done	51	11
0	9	10
1	14	10
2	22	10
3	30	10
4	39	10
5	45	10
6	50	10
7	51	10
done	51	10
0	9	10
1	14	10
2	22	10
3	30	10
4	39	10
5	45	10
6	50	10
7	51	10
done	51	10
0	9	10
1	14	10
2	22	10
3	30	10
4	39	10
5	45	10
6	50	10
7	51	10
done	51	10
0	9	10
1	14	10
2	22	10
3	30	10
4	39	10
5	45	10
6	50	10
7	51	10
done	51	10
0	8	9
1	13	9
2	21	9
3	29	9
4	38	9
5	44	9
6	49	9
done	49	9
0	9	10
1	14	10
2	22	10
3	30	10
4	39	10
5	45	10
6	50	10
7	51	10
done	51	10
0	8	9
1	13	9
2	21	9
3	29	9
4	38	9
5	44	9
6	49	9
done	49	9
0	8	9
1	13	9
2	21	9
3	29	9
4	38	9
5	44	9
6	49	9
done	49	9
0	7	8
1	14	8
2	22	6
3	50	6
4	62	6
done	62	6
0	5	6
1	8	6
2	10	6
done	10	6
0	8	9
1	13	9
2	21	9
3	29	9
4	38	9
5	44	9
6	49	9
done	49	9
0	8	9
1	13	9
2	21	9
3	29	9
4	38	9
5	44	9
6	49	9
done	49	9
0	11	13
1	20	12
2	38	12
3	71	12
4	108	12
5	166	12
6	204	12
7	268	12
8	358	12
9	366	12
done	366	12
0	11	12
1	18	12
2	36	12
3	67	12
4	100	12
5	162	12
6	201	12
7	268	12
8	356	12
9	364	12
done	364	12
0	10	12
1	18	11
2	29	11
3	50	11
4	87	11
5	138	11
6	157	11
7	196	11
8	261	11
9	339	11
10	347	11
done	347	11
0	10	11
1	16	11
2	28	11
3	49	11
4	80	11
5	117	11
6	175	11
7	213	11
8	277	11
9	368	11
10	376	11
done	376	11
0	9	10
1	17	10
2	35	10
3	63	10
4	111	10
5	161	10
6	215	10
7	305	10
8	375	10
9	440	10
10	486	10
11	487	10
done	487	10
0	9	10
1	16	10
2	32	10
3	58	10
4	111	10
5	235	10
6	560	10
7	1609	10
done	5000	10
0	14	29
1	35	25
2	133	17
3	673	13
4	3114	13
done	5001	13
0	14	29
1	36	25
2	130	15
3	674	13
4	3183	13
done	5000	13
0	12	29
1	31	29
2	105	15
3	389	11
4	1577	11
done	5001	11
0	12	29
1	32	29
2	105	13
3	389	11
4	1612	11
done	5000	11
0	10	21
1	15	21
2	23	21
3	31	21
4	40	21
5	46	21
6	51	21
done	51	21
0	9	10
1	14	10
2	22	10
3	30	10
4	39	10
5	45	10
6	50	10
done	50	10
0	10	29
1	25	29
2	104	11
3	512	11
4	1991	11
done	5000	11
0	9	10
1	14	10
2	22	10
3	30	10
4	39	10
5	45	10
6	50	10
done	50	10
0	9	10
1	14	10
2	22	10
3	30	10
4	39	10
5	45	10
6	50	10
done	50	10
0	8	8
1	9	8
done	9	8
0	8	8
1	9	8
done	9	8
0	9	9
1	12	9
2	15	9
3	17	9
4	19	9
5	20	9
done	20	9
0	9	9
1	12	9
2	15	9
3	17	9
4	19	9
5	20	9
done	20	9
0	9	9
1	12	9
2	15	9
3	17	9
4	19	9
5	20	9
done	20	9
0	9	9
1	12	9
2	15	9
3	17	9
4	19	9
5	20	9
done	20	9
0	7	7
1	10	7
2	13	7
3	15	7
4	17	7
5	18	7
done	18	7
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	10	11
1	15	11
2	23	11
3	31	11
4	40	11
5	46	11
6	51	11
done	51	11
0	10	11
1	15	11
2	23	11
3	31	11
4	40	11
5	46	11
6	51	11
done	51	11
0	10	11
1	15	11
2	23	11
3	31	11
4	40	11
5	46	11
6	51	11
done	51	11
0	9	10
1	14	10
2	22	10
3	30	10
4	39	10
5	45	10
6	50	10
7	51	10
done	51	10
0	10	11
1	15	11
2	23	11
3	31	11
4	40	11
5	46	11
6	51	11
done	51	11
0	9	10
1	14	10
2	22	10
3	30	10
4	39	10
5	45	10
6	50	10
7	51	10
done	51	10
0	10	11
1	15	11
2	23	11
3	31	11
4	40	11
5	46	11
6	51	11
done	51	11
0	10	11
1	15	11
2	23	11
3	31	11
4	40	11
5	46	11
6	51	11
done	51	11
0	10	11
1	15	11
2	23	11
3	31	11
4	40	11
5	46	11
6	51	11
done	51	11
0	9	10
1	14	10
2	22	10
3	30	10
4	39	10
5	45	10
6	50	10
7	51	10
done	51	10
0	10	11
1	15	11
2	23	11
3	31	11
4	40	11
5	46	11
6	51	11
done	51	11
0	9	10
1	14	10
2	22	10
3	30	10
4	39	10
5	45	10
6	50	10
7	51	10
done	51	10
0	9	10
1	14	10
2	22	10
3	30	10
4	39	10
5	45	10
6	50	10
7	51	10
done	51	10
0	9	10
1	14	10
2	22	10
3	30	10
4	39	10
5	45	10
6	50	10
7	51	10
done	51	10
0	9	10
1	14	10
2	22	10
3	30	10
4	39	10
5	45	10
6	50	10
7	51	10
done	51	10
0	8	9
1	13	9
2	21	9
3	29	9
4	38	9
5	44	9
6	49	9
done	49	9
0	9	10
1	14	10
2	22	10
3	30	10
4	39	10
5	45	10
6	50	10
7	51	10
done	51	10
0	8	9
1	13	9
2	21	9
3	29	9
4	38	9
5	44	9
6	49	9
done	49	9
0	8	9
1	13	9
2	21	9
3	29	9
4	38	9
5	44	9
6	49	9
done	49	9
0	7	8
1	14	8
2	22	6
3	50	6
4	62	6
done	62	6
0	5	6
1	8	6
2	10	6
done	10	6
0	17	22
1	37	22
2	89	22
3	238	22
4	843	22
5	2365	19
done	5000	19
0	5	5
done	5	5
0	5	5
done	5	5
0	17	22
1	37	22
2	89	22
3	238	22
4	843	22
5	2365	19
done	5000	19
0	5	5
done	5	5
0	5	5
done	5	5
0	13	19
1	29	19
2	105	19
3	242	19
4	673	17
5	1621	17
6	2178	14
7	2365	14
8	2811	14
9	4697	14
done	5000	14
0	9	9
1	17	9
2	41	9
3	58	9
4	78	9
5	95	9
6	117	9
7	180	9
8	393	9
9	1320	9
done	5000	9
0	9	9
1	17	9
2	41	9
3	58	9
4	78	9
5	95	9
6	117	9
7	180	9
8	393	9
9	1320	9
done	5000	9
0	13	19
1	29	19
2	105	19
3	242	19
4	673	17
5	1621	17
6	2178	14
7	2365	14
8	2811	14
9	4697	14
done	5000	14
0	9	9
1	17	9
2	41	9
3	58	9
4	78	9
5	95	9
6	117	9
7	180	9
8	393	9
9	1320	9
done	5000	9
0	9	9
1	17	9
2	41	9
3	58	9
4	78	9
5	95	9
6	117	9
7	180	9
8	393	9
9	1320	9
done	5000	9

prune445.0ms

Filtered

142 candidates to 180 candidates (-26.8%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	170	10	180
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	171	10	181

Merged error: 0.0b

Counts

181 → 10

localize16.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (/ (/ (cos th) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (* a2 a2))
0.6b	(/ (/ (cos th) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))
0.6b	(/ (cos th) (sqrt (sqrt 2.0)))
0.7b	(/ (cos th) (sqrt 2.0))

rewrite162.0ms

Algorithm

rewrite-expression-head

Rules

1149×	`sqrt-prod`
1137×	`times-frac`
626×	`add-sqr-sqrt`
592×	`add-cube-cbrt` `*-un-lft-identity`
283×	`associate-l`
37×	`associate-/l*`
34×	`add-exp-log` `add-cbrt-cube`
24×	`associate-/r*`
23×	`div-inv`
13×	`unswap-sqr`
11×	`cbrt-undiv` `div-exp`
9×	`pow1` `prod-exp` `cbrt-unprod`
4×	`add-log-exp`
3×	`frac-2neg` `pow-prod-down` `clear-num`
1×	`associate-r` `associate-l/` `-commutative` `associate-/l/`

Counts

4 → 744

Calls

4 calls:

57.0ms	(* (/ (/ (cos th) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (* a2 a2))
19.0ms	(/ (/ (cos th) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))
7.0ms	(/ (cos th) (sqrt (sqrt 2.0)))
5.0ms	(/ (cos th) (sqrt 2.0))

series48.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(* (/ (/ (cos th) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (* a2 a2))
6.0ms	(/ (/ (cos th) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))
9.0ms	(/ (cos th) (sqrt (sqrt 2.0)))
6.0ms	(/ (cos th) (sqrt 2.0))

simplify2.3min

Counts

756 → 756

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	9	7
2	10	7
done	10	7
0	6	6
1	9	6
2	11	6
3	12	6
done	12	6
0	6	6
done	6	6
0	9	17
1	18	13
2	44	9
3	94	9
4	132	9
5	175	9
6	303	9
7	808	9
8	3185	9
done	5000	9
0	7	13
done	7	13
0	6	6
done	6	6
0	7	17
1	14	17
2	30	7
3	68	7
4	133	7
5	196	7
6	315	7
7	780	7
8	3422	7
done	5001	7
0	6	6
done	6	6
0	6	6
done	6	6
0	3	3
done	3	3
0	3	3
done	3	3
0	9	15
1	15	15
2	24	15
3	30	15
done	30	15
0	7	7
done	7	7
0	9	14
1	12	11
2	14	11
3	15	11
done	15	11
0	7	7
done	7	7
0	8	11
1	10	11
2	12	11
3	13	11
done	13	11
0	7	7
done	7	7
0	7	10
1	11	9
2	13	9
3	14	7
4	21	7
done	21	7
0	6	6
done	6	6
0	8	11
1	10	11
2	12	11
3	13	11
done	13	11
0	7	7
done	7	7
0	6	9
1	10	7
2	16	7
3	21	7
done	21	7
0	6	6
done	6	6
0	8	11
1	10	11
done	10	11
0	7	7
done	7	7
0	8	10
1	9	7
done	9	7
0	7	7
done	7	7
0	7	7
done	7	7
0	7	7
done	7	7
0	6	6
1	8	5
done	8	5
0	6	6
done	6	6
0	7	7
done	7	7
0	7	7
done	7	7
0	5	5
1	7	3
2	9	3
done	9	3
0	6	6
done	6	6
0	6	9
1	10	9
done	10	9
0	6	6
done	6	6
0	6	8
1	9	5
done	9	5
0	6	6
done	6	6
0	5	5
1	7	5
done	7	5
0	6	6
done	6	6
0	3	4
1	5	3
done	5	3
0	5	5
done	5	5
0	5	5
1	7	5
done	7	5
0	6	6
done	6	6
0	2	3
1	4	1
done	4	1
0	5	5
done	5	5
0	4	4
1	6	4
done	6	4
0	5	5
done	5	5
0	7	10
1	9	10
done	9	10
0	7	9
1	8	6
done	8	6
0	6	6
done	6	6
0	5	5
1	7	4
done	7	4
0	6	6
done	6	6
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
done	6	6
0	6	6
done	6	6
0	5	5
done	5	5
0	8	8
1	10	8
2	11	8
done	11	8
0	7	7
1	10	7
2	12	7
3	13	7
done	13	7
0	7	7
done	7	7
0	10	20
1	19	15
2	52	10
3	119	8
4	198	8
5	317	8
6	776	8
7	3354	8
done	5000	8
0	8	15
done	8	15
0	7	7
done	7	7
0	8	20
1	15	20
2	31	8
3	69	8
4	136	8
5	201	8
6	329	8
7	832	8
8	3566	8
done	5000	8
0	7	7
done	7	7
0	7	7
done	7	7
0	3	3
done	3	3
0	4	4
done	4	4
0	10	17
1	16	17
2	25	17
3	31	17
done	31	17
0	8	8
done	8	8
0	10	16
1	13	12
2	15	12
3	16	12
done	16	12
0	8	8
done	8	8
0	10	15
1	13	12
2	15	12
3	16	12
done	16	12
0	8	8
done	8	8
0	9	12
1	11	12
2	13	12
3	14	12
done	14	12
0	8	8
done	8	8
0	8	11
1	12	9
2	14	9
3	15	7
4	22	7
done	22	7
0	7	7
done	7	7
0	9	12
1	11	12
2	13	12
3	14	12
done	14	12
0	8	8
done	8	8
0	7	10
1	11	9
2	13	9
3	14	7
4	21	7
done	21	7
0	7	7
done	7	7
0	9	12
1	11	12
2	13	12
3	14	12
done	14	12
0	8	8
done	8	8
0	6	9
1	10	7
2	16	7
3	21	7
done	21	7
0	7	7
done	7	7
0	9	13
1	11	13
done	11	13
0	8	8
done	8	8
0	9	12
1	10	8
done	10	8
0	8	8
done	8	8
0	9	11
1	10	8
done	10	8
0	8	8
done	8	8
0	8	8
done	8	8
0	8	8
done	8	8
0	7	7
1	9	5
done	9	5
0	7	7
done	7	7
0	8	8
done	8	8
0	8	8
done	8	8
0	6	6
1	8	5
done	8	5
0	7	7
done	7	7
0	8	8
done	8	8
0	8	8
done	8	8
0	5	5
1	7	3
2	9	3
done	9	3
0	7	7
done	7	7
0	7	11
1	11	11
done	11	11
0	7	7
done	7	7
0	7	10
1	10	6
done	10	6
0	7	7
done	7	7
0	7	9
1	10	6
done	10	6
0	7	7
done	7	7
0	6	6
1	8	6
done	8	6
0	7	7
done	7	7
0	4	5
1	6	3
done	6	3
0	6	6
done	6	6
0	6	6
1	8	6
done	8	6
0	7	7
done	7	7
0	3	4
1	5	3
done	5	3
0	6	6
done	6	6
0	6	6
1	8	6
done	8	6
0	7	7
done	7	7
0	2	3
1	4	1
done	4	1
0	6	6
done	6	6
0	5	5
1	7	5
done	7	5
0	6	6
done	6	6
0	8	12
1	10	12
done	10	12
0	8	11
1	9	7
done	9	7
0	8	10
1	9	7
done	9	7
0	7	7
done	7	7
0	6	6
1	8	4
done	8	4
0	7	7
done	7	7
0	5	5
1	7	4
done	7	4
0	7	7
done	7	7
0	4	4
1	6	2
2	8	2
done	8	2
0	7	7
done	7	7
0	7	7
done	7	7
0	6	6
done	6	6
0	9	13
1	14	13
2	26	10
3	38	10
4	47	10
5	56	10
6	70	10
7	80	10
8	83	10
done	83	10
0	9	12
1	13	12
2	19	12
3	32	10
4	45	10
5	52	10
6	62	10
7	70	10
8	80	10
9	83	10
done	83	10
0	8	11
1	13	11
2	19	6
3	28	6
4	40	6
5	51	6
6	58	6
7	68	6
8	76	6
9	86	6
10	89	6
done	89	6
0	8	11
1	10	11
done	10	6
0	11	32
1	24	22
2	95	13
3	326	9
4	760	7
5	1750	7
done	5001	7
0	11	32
1	26	27
2	82	14
3	267	7
4	647	7
5	1327	7
6	4355	7
done	5000	7
0	9	23
1	11	23
done	11	13
0	8	11
1	10	11
done	10	6
0	9	32
1	18	32
2	49	7
3	145	7
4	432	7
5	817	7
6	1775	7
done	5001	7
0	8	11
1	10	11
done	10	6
0	8	11
1	10	11
done	10	6
0	7	7
1	9	7
done	9	7
0	4	4
done	4	4
0	11	25
1	17	25
2	26	25
3	32	25
done	32	25
0	9	12
done	9	12
0	12	24
1	15	20
2	17	20
3	18	20
done	18	20
0	10	12
done	10	12
0	13	23
1	16	20
2	18	20
3	19	20
done	19	20
0	11	12
done	11	12
0	10	20
1	12	20
2	14	20
3	15	20
done	15	20
0	9	12
done	9	12
0	12	19
1	16	17
2	18	17
3	19	15
4	26	15
done	26	15
0	8	11
done	8	11
0	10	20
1	12	20
2	14	20
3	15	20
done	15	20
0	9	12
done	9	12
0	11	18
1	15	17
2	17	17
3	18	15
4	25	15
done	25	15
0	8	11
done	8	11
0	10	20
1	12	20
2	14	20
3	15	20
done	15	20
0	9	12
done	9	12
0	10	17
1	14	15
2	20	15
3	25	15
done	25	15
0	8	11
done	8	11
0	10	17
1	12	17
done	12	17
0	9	12
done	9	12
0	11	16
1	12	12
done	12	12
0	10	12
done	10	12
0	12	15
1	13	12
done	13	12
0	11	12
done	11	12
0	9	12
done	9	12
0	9	12
done	9	12
0	11	11
1	13	9
done	13	9
0	8	11
done	8	11
0	9	12
done	9	12
0	9	12
done	9	12
0	10	10
1	12	9
done	12	9
0	8	11
done	8	11
0	9	12
done	9	12
0	9	12
done	9	12
0	9	9
1	11	7
2	13	7
done	13	7
0	8	11
done	8	11
0	11	27
1	21	27
2	49	27
3	90	19
4	114	14
5	146	14
6	237	14
7	544	14
8	1649	14
done	5000	14
0	9	13
1	11	13
done	11	13
0	14	26
1	23	22
2	46	22
3	83	22
4	124	22
5	128	22
done	128	22
0	11	13
1	13	13
2	16	13
done	16	13
0	15	25
1	24	22
2	47	22
3	84	22
4	125	22
5	129	22
done	129	22
0	12	13
1	14	13
2	17	13
done	17	13
0	12	22
1	20	22
2	43	22
3	80	22
4	121	22
5	126	22
done	126	22
0	10	13
1	12	13
2	15	13
done	15	13
0	14	21
1	24	19
2	47	19
3	82	17
4	122	17
done	122	17
0	9	12
1	11	12
2	14	12
done	14	12
0	12	22
1	20	22
2	43	22
3	80	22
4	121	22
5	126	22
done	126	22
0	10	13
1	12	13
2	15	13
done	15	13
0	13	20
1	23	19
2	46	19
3	81	17
4	121	17
done	121	17
0	9	12
1	11	12
2	14	12
done	14	12
0	12	22
1	20	22
2	43	22
3	80	22
4	121	22
5	126	22
done	126	22
0	10	13
1	12	13
2	15	13
done	15	13
0	12	19
1	22	17
2	49	17
3	98	17
4	128	17
5	129	17
done	129	17
0	9	12
1	11	12
2	14	12
done	14	12
0	14	26
1	21	22
2	37	22
3	73	22
4	114	22
5	124	22
done	124	22
0	11	13
1	13	13
2	16	13
done	16	13
0	11	25
1	16	17
2	23	15
3	35	15
4	46	15
5	48	15
done	48	15
0	9	13
1	11	13
done	11	7
0	15	24
1	21	17
2	32	17
3	45	17
4	55	17
done	55	17
0	12	13
1	14	13
2	17	13
done	17	13
0	13	21
1	18	17
2	29	17
3	42	17
4	52	17
done	52	17
0	11	13
1	13	13
2	16	13
done	16	13
0	14	20
1	21	14
2	32	14
3	45	12
4	65	12
done	65	12
0	10	12
1	12	12
2	15	12
done	15	12
0	13	21
1	18	17
2	29	17
3	42	17
4	52	17
done	52	17
0	11	13
1	13	13
2	16	13
done	16	13
0	13	19
1	20	14
2	31	14
3	44	12
4	64	12
done	64	12
0	10	12
1	12	12
2	15	12
done	15	12
0	13	21
1	18	17
2	29	17
3	42	17
4	52	17
done	52	17
0	11	13
1	13	13
2	16	13
done	16	13
0	12	18
1	19	12
2	34	12
3	51	12
4	61	12
done	61	12
0	10	12
1	12	12
2	15	12
done	15	12
0	15	25
1	22	22
2	38	22
3	74	22
4	115	22
5	125	22
done	125	22
0	12	13
1	14	13
2	17	13
done	17	13
0	15	24
1	21	17
2	32	17
3	45	17
4	55	17
done	55	17
0	12	13
1	14	13
2	17	13
done	17	13
0	11	23
1	16	17
2	23	11
3	30	11
4	33	11
done	33	11
0	9	13
1	11	13
done	11	7
0	14	20
1	19	17
2	30	17
3	43	17
4	53	17
done	53	17
0	12	13
1	14	13
2	17	13
done	17	13
0	14	19
1	21	14
2	32	14
3	45	12
4	65	12
done	65	12
0	11	12
1	13	12
2	16	12
done	16	12
0	14	20
1	19	17
2	30	17
3	43	17
4	53	17
done	53	17
0	12	13
1	14	13
2	17	13
done	17	13
0	13	18
1	20	14
2	31	14
3	44	12
4	64	12
done	64	12
0	11	12
1	13	12
2	16	12
done	16	12
0	14	20
1	19	17
2	30	17
3	43	17
4	53	17
done	53	17
0	12	13
1	14	13
2	17	13
done	17	13
0	12	17
1	19	12
2	34	12
3	51	12
4	61	12
done	61	12
0	11	12
1	13	12
2	16	12
done	16	12
0	12	22
1	18	22
2	34	22
3	70	22
4	110	22
5	120	22
done	120	22
0	10	13
1	12	13
2	15	13
done	15	13
0	13	21
1	18	17
2	29	17
3	42	17
4	52	17
done	52	17
0	11	13
1	13	13
2	16	13
done	16	13
0	14	20
1	19	17
2	30	17
3	43	17
4	53	17
done	53	17
0	12	13
1	14	13
2	17	13
done	17	13
0	10	17
1	14	17
2	21	11
3	28	11
4	31	11
done	31	11
0	9	13
1	11	13
done	11	7
0	13	16
1	19	14
2	30	14
3	43	12
4	63	12
done	63	12
0	9	12
1	11	12
2	14	12
done	14	12
0	10	17
1	14	17
2	21	11
3	28	11
4	31	11
done	31	11
0	9	13
1	11	13
done	11	7
0	12	15
1	18	14
2	29	14
3	42	12
4	62	12
done	62	12
0	9	12
1	11	12
2	14	12
done	14	12
0	10	17
1	14	17
2	21	11
3	28	11
4	31	11
done	31	11
0	9	13
1	11	13
done	11	7
0	11	14
1	17	12
2	32	12
3	49	12
4	59	12
done	59	12
0	9	12
1	11	12
2	14	12
done	14	12
0	14	21
1	22	19
2	38	19
3	71	17
4	109	17
done	109	17
0	9	12
1	11	12
2	14	12
done	14	12
0	14	20
1	21	14
2	32	14
3	45	12
4	63	12
done	63	12
0	10	12
1	12	12
2	15	12
done	15	12
0	14	19
1	21	14
2	32	14
3	45	12
4	63	12
done	63	12
0	11	12
1	13	12
2	16	12
done	16	12
0	13	16
1	19	14
2	30	14
3	43	12
4	61	12
done	61	12
0	9	12
1	11	12
2	14	12
done	14	12
0	9	15
1	15	11
2	22	9
3	29	7
done	29	7
0	8	11
1	10	11
done	10	6
0	13	16
1	19	14
2	30	14
3	43	12
4	61	12
done	61	12
0	9	12
1	11	12
2	14	12
done	14	12
0	9	14
1	15	11
2	22	9
3	29	7
done	29	7
0	8	11
1	10	11
done	10	6
0	13	16
1	19	14
2	30	14
3	43	12
4	61	12
done	61	12
0	9	12
1	11	12
2	14	12
done	14	12
0	9	13
1	15	9
2	25	9
3	32	7
done	32	7
0	8	11
1	10	11
done	10	6
0	12	22
1	18	22
2	34	22
3	70	22
4	110	22
5	120	22
done	120	22
0	10	13
1	12	13
2	15	13
done	15	13
0	13	21
1	18	17
2	29	17
3	42	17
4	52	17
done	52	17
0	11	13
1	13	13
2	16	13
done	16	13
0	14	20
1	19	17
2	30	17
3	43	17
4	53	17
done	53	17
0	12	13
1	14	13
2	17	13
done	17	13
0	10	17
1	14	17
2	21	11
3	28	11
4	31	11
done	31	11
0	9	13
1	11	13
done	11	7
0	13	16
1	19	14
2	30	14
3	43	12
4	63	12
done	63	12
0	9	12
1	11	12
2	14	12
done	14	12
0	10	17
1	14	17
2	21	11
3	28	11
4	31	11
done	31	11
0	9	13
1	11	13
done	11	7
0	12	15
1	18	14
2	29	14
3	42	12
4	62	12
done	62	12
0	9	12
1	11	12
2	14	12
done	14	12
0	10	17
1	14	17
2	21	11
3	28	11
4	31	11
done	31	11
0	9	13
1	11	13
done	11	7
0	11	14
1	17	12
2	32	12
3	49	12
4	59	12
done	59	12
0	9	12
1	11	12
2	14	12
done	14	12
0	13	20
1	21	19
2	37	19
3	70	17
4	106	17
done	106	17
0	9	12
1	11	12
2	14	12
done	14	12
0	13	19
1	20	14
2	31	14
3	44	12
4	62	12
5	63	12
done	63	12
0	10	12
1	12	12
2	15	12
done	15	12
0	13	18
1	20	14
2	31	14
3	44	12
4	62	12
5	63	12
done	63	12
0	11	12
1	13	12
2	16	12
done	16	12
0	12	15
1	18	14
2	29	14
3	42	12
4	60	12
done	60	12
0	9	12
1	11	12
2	14	12
done	14	12
0	9	14
1	15	11
2	22	9
3	29	7
done	29	7
0	8	11
1	10	11
done	10	6
0	12	15
1	18	14
2	29	14
3	42	12
4	60	12
done	60	12
0	9	12
1	11	12
2	14	12
done	14	12
0	8	13
1	14	11
2	21	9
3	28	7
done	28	7
0	8	11
1	10	11
done	10	6
0	12	15
1	18	14
2	29	14
3	42	12
4	60	12
done	60	12
0	9	12
1	11	12
2	14	12
done	14	12
0	8	12
1	14	9
2	24	9
3	31	7
done	31	7
0	8	11
1	10	11
done	10	6
0	12	22
1	18	22
2	34	22
3	70	22
4	110	22
5	120	22
done	120	22
0	10	13
1	12	13
2	15	13
done	15	13
0	13	21
1	18	17
2	29	17
3	42	17
4	52	17
done	52	17
0	11	13
1	13	13
2	16	13
done	16	13
0	14	20
1	19	17
2	30	17
3	43	17
4	53	17
done	53	17
0	12	13
1	14	13
2	17	13
done	17	13
0	10	17
1	14	17
2	21	11
3	28	11
4	31	11
done	31	11
0	9	13
1	11	13
done	11	7
0	13	16
1	19	14
2	30	14
3	43	12
4	63	12
done	63	12
0	9	12
1	11	12
2	14	12
done	14	12
0	10	17
1	14	17
2	21	11
3	28	11
4	31	11
done	31	11
0	9	13
1	11	13
done	11	7
0	12	15
1	18	14
2	29	14
3	42	12
4	62	12
done	62	12
0	9	12
1	11	12
2	14	12
done	14	12
0	10	17
1	14	17
2	21	11
3	28	11
4	31	11
done	31	11
0	9	13
1	11	13
done	11	7
0	11	14
1	17	12
2	32	12
3	49	12
4	59	12
done	59	12
0	9	12
1	11	12
2	14	12
done	14	12
0	12	19
1	20	17
2	49	17
3	106	17
4	123	17
done	123	17
0	9	12
1	11	12
2	14	12
done	14	12
0	12	18
1	19	12
2	39	12
3	61	12
4	62	12
done	62	12
0	10	12
1	12	12
2	15	12
done	15	12
0	12	17
1	19	12
2	39	12
3	61	12
4	62	12
done	62	12
0	11	12
1	13	12
2	16	12
done	16	12
0	11	14
1	17	12
2	37	12
3	59	12
4	60	12
done	60	12
0	9	12
1	11	12
2	14	12
done	14	12
0	9	13
1	15	7
2	30	7
3	37	7
done	37	7
0	8	11
1	10	11
done	10	6
0	11	14
1	17	12
2	37	12
3	59	12
4	60	12
done	60	12
0	9	12
1	11	12
2	14	12
done	14	12
0	8	12
1	14	7
2	29	7
3	36	7
done	36	7
0	8	11
1	10	11
done	10	6
0	11	14
1	17	12
2	37	12
3	59	12
4	60	12
done	60	12
0	9	12
1	11	12
2	14	12
done	14	12
0	7	11
1	13	7
2	17	7
3	22	7
done	22	7
0	8	11
1	10	11
done	10	6
0	10	23
1	16	23
2	23	23
3	25	15
4	34	10
5	53	10
6	91	10
7	199	10
8	520	10
9	1856	10
done	5000	10
0	9	13
1	11	13
done	11	13
0	13	22
1	18	18
2	24	18
3	32	18
done	32	18
0	11	13
1	13	13
2	16	13
done	16	13
0	14	21
1	19	18
2	25	18
3	33	18
done	33	18
0	12	13
1	14	13
2	17	13
done	17	13
0	11	18
1	15	18
2	21	18
3	29	18
done	29	18
0	10	13
1	12	13
2	15	13
done	15	13
0	13	17
1	19	15
2	25	15
3	33	13
4	40	13
done	40	13
0	9	12
1	11	12
2	14	12
done	14	12
0	11	18
1	15	18
2	21	18
3	29	18
done	29	18
0	10	13
1	12	13
2	15	13
done	15	13
0	12	16
1	18	15
2	24	15
3	32	13
4	39	13
done	39	13
0	9	12
1	11	12
2	14	12
done	14	12
0	11	18
1	15	18
2	21	18
3	29	18
done	29	18
0	10	13
1	12	13
2	15	13
done	15	13
0	11	15
1	17	13
2	27	13
3	43	13
done	43	13
0	9	12
1	11	12
2	14	12
done	14	12
0	13	22
1	18	18
2	24	18
3	30	18
done	30	18
0	11	13
1	13	13
2	16	13
done	16	13
0	10	21
1	13	13
done	13	11
0	9	13
1	11	13
done	11	7
0	14	20
1	18	13
2	21	13
done	21	13
0	12	13
1	14	13
2	17	13
done	17	13
0	12	17
1	15	13
2	18	13
done	18	13
0	11	13
1	13	13
2	16	13
done	16	13
0	13	16
1	18	10
2	21	10
done	21	8
0	10	12
1	12	12
2	15	12
done	15	12
0	12	17
1	15	13
2	18	13
done	18	13
0	11	13
1	13	13
2	16	13
done	16	13
0	12	15
1	17	10
2	20	10
done	20	8
0	10	12
1	12	12
2	15	12
done	15	12
0	12	17
1	15	13
2	18	13
done	18	13
0	11	13
1	13	13
2	16	13
done	16	13
0	11	14
1	16	8
2	23	8
3	25	8
done	25	8
0	10	12
1	12	12
2	15	12
done	15	12
0	14	21
1	19	18
2	25	18
3	31	18
done	31	18
0	12	13
1	14	13
2	17	13
done	17	13
0	14	20
1	18	13
2	21	13
done	21	13
0	12	13
1	14	13
2	17	13
done	17	13
0	10	19
1	13	13
done	13	7
0	9	13
1	11	13
done	11	7
0	13	16
1	16	13
2	19	13
done	19	13
0	12	13
1	14	13
2	17	13
done	17	13
0	13	15
1	18	10
2	21	10
done	21	8
0	11	12
1	13	12
2	16	12
done	16	12
0	13	16
1	16	13
2	19	13
done	19	13
0	12	13
1	14	13
2	17	13
done	17	13
0	12	14
1	17	10
2	20	10
done	20	8
0	11	12
1	13	12
2	16	12
done	16	12
0	13	16
1	16	13
2	19	13
done	19	13
0	12	13
1	14	13
2	17	13
done	17	13
0	11	13
1	16	8
2	23	8
3	25	8
done	25	8
0	11	12
1	13	12
2	16	12
done	16	12
0	11	18
1	15	18
2	21	18
3	27	18
done	27	18
0	10	13
1	12	13
2	15	13
done	15	13
0	12	17
1	15	13
2	18	13
done	18	13
0	11	13
1	13	13
2	16	13
done	16	13
0	13	16
1	16	13
2	19	13
done	19	13
0	12	13
1	14	13
2	17	13
done	17	13
0	9	13
1	11	13
done	11	7
0	9	13
1	11	13
done	11	7
0	12	12
1	16	10
2	19	10
done	19	8
0	9	12
1	11	12
2	14	12
done	14	12
0	9	13
1	11	13
done	11	7
0	9	13
1	11	13
done	11	7
0	11	11
1	15	10
2	18	10
done	18	8
0	9	12
1	11	12
2	14	12
done	14	12
0	9	13
1	11	13
done	11	7
0	9	13
1	11	13
done	11	7
0	10	10
1	14	8
2	21	8
3	23	8
done	23	8
0	9	12
1	11	12
2	14	12
done	14	12
0	13	17
1	19	15
2	25	15
3	31	13
4	41	13
done	41	13
0	9	12
1	11	12
2	14	12
done	14	12
0	13	16
1	18	10
2	21	10
done	21	8
0	10	12
1	12	12
2	15	12
done	15	12
0	13	15
1	18	10
2	21	10
done	21	8
0	11	12
1	13	12
2	16	12
done	16	12
0	12	12
1	16	10
2	19	10
done	19	8
0	9	12
1	11	12
2	14	12
done	14	12
0	8	11
1	12	7
done	12	5
0	8	11
1	10	11
done	10	6
0	12	12
1	16	10
2	19	10
done	19	8
0	9	12
1	11	12
2	14	12
done	14	12
0	8	10
1	12	7
done	12	5
0	8	11
1	10	11
done	10	6
0	12	12
1	16	10
2	19	10
done	19	8
0	9	12
1	11	12
2	14	12
done	14	12
0	8	9
1	12	5
2	15	5
done	15	3
0	8	11
1	10	11
done	10	6
0	11	18
1	15	18
2	21	18
3	27	18
done	27	18
0	10	13
1	12	13
2	15	13
done	15	13
0	12	17
1	15	13
2	18	13
done	18	13
0	11	13
1	13	13
2	16	13
done	16	13
0	13	16
1	16	13
2	19	13
done	19	13
0	12	13
1	14	13
2	17	13
done	17	13
0	9	13
1	11	13
done	11	7
0	9	13
1	11	13
done	11	7
0	12	12
1	16	10
2	19	10
done	19	8
0	9	12
1	11	12
2	14	12
done	14	12
0	9	13
1	11	13
done	11	7
0	9	13
1	11	13
done	11	7
0	11	11
1	15	10
2	18	10
done	18	8
0	9	12
1	11	12
2	14	12
done	14	12
0	9	13
1	11	13
done	11	7
0	9	13
1	11	13
done	11	7
0	10	10
1	14	8
2	21	8
3	23	8
done	23	8
0	9	12
1	11	12
2	14	12
done	14	12
0	12	16
1	18	15
2	24	15
3	30	13
4	40	13
done	40	13
0	9	12
1	11	12
2	14	12
done	14	12
0	12	15
1	17	10
2	20	10
done	20	8
0	10	12
1	12	12
2	15	12
done	15	12
0	12	14
1	17	10
2	20	10
done	20	8
0	11	12
1	13	12
2	16	12
done	16	12
0	11	11
1	15	10
2	18	10
done	18	8
0	9	12
1	11	12
2	14	12
done	14	12
0	8	10
1	12	7
done	12	5
0	8	11
1	10	11
done	10	6
0	11	11
1	15	10
2	18	10
done	18	8
0	9	12
1	11	12
2	14	12
done	14	12
0	7	9
1	11	7
done	11	5
0	8	11
1	10	11
done	10	6
0	11	11
1	15	10
2	18	10
done	18	8
0	9	12
1	11	12
2	14	12
done	14	12
0	7	8
1	11	5
2	14	5
done	14	3
0	8	11
1	10	11
done	10	6
0	11	18
1	15	18
2	21	18
3	27	18
done	27	18
0	10	13
1	12	13
2	15	13
done	15	13
0	12	17
1	15	13
2	18	13
done	18	13
0	11	13
1	13	13
2	16	13
done	16	13
0	13	16
1	16	13
2	19	13
done	19	13
0	12	13
1	14	13
2	17	13
done	17	13
0	9	13
1	11	13
done	11	7
0	9	13
1	11	13
done	11	7
0	12	12
1	16	10
2	19	10
done	19	8
0	9	12
1	11	12
2	14	12
done	14	12
0	9	13
1	11	13
done	11	7
0	9	13
1	11	13
done	11	7
0	11	11
1	15	10
2	18	10
done	18	8
0	9	12
1	11	12
2	14	12
done	14	12
0	9	13
1	11	13
done	11	7
0	9	13
1	11	13
done	11	7
0	10	10
1	14	8
2	21	8
3	23	8
done	23	8
0	9	12
1	11	12
2	14	12
done	14	12
0	11	15
1	17	13
2	26	13
3	34	13
done	34	13
0	9	12
1	11	12
2	14	12
done	14	12
0	11	14
1	16	8
2	22	8
done	22	8
0	10	12
1	12	12
2	15	12
done	15	12
0	11	13
1	16	8
2	22	8
done	22	8
0	11	12
1	13	12
2	16	12
done	16	12
0	10	10
1	14	8
2	20	8
done	20	8
0	9	12
1	11	12
2	14	12
done	14	12
0	8	9
1	12	3
2	18	3
done	18	3
0	8	11
1	10	11
done	10	6
0	10	10
1	14	8
2	20	8
done	20	8
0	9	12
1	11	12
2	14	12
done	14	12
0	7	8
1	11	3
2	17	3
done	17	3
0	8	11
1	10	11
done	10	6
0	10	10
1	14	8
2	20	8
done	20	8
0	9	12
1	11	12
2	14	12
done	14	12
0	6	7
1	10	3
done	10	3
0	8	11
1	10	11
done	10	6
0	8	21
1	16	21
2	23	21
3	25	13
4	33	8
5	50	8
6	88	8
7	199	8
8	521	8
9	1871	8
done	5001	8
0	8	12
1	10	12
done	10	12
0	11	20
1	18	16
2	24	16
3	32	16
done	32	16
0	10	12
1	12	12
2	15	12
done	15	12
0	12	19
1	19	16
2	25	16
3	33	16
done	33	16
0	11	12
1	13	12
2	16	12
done	16	12
0	9	16
1	15	16
2	21	16
3	29	16
done	29	16
0	9	12
1	11	12
2	14	12
done	14	12
0	10	15
1	16	13
2	22	11
3	34	11
done	34	11
0	8	11
1	10	11
2	13	11
done	13	11
0	9	16
1	15	16
2	21	16
3	29	16
done	29	16
0	9	12
1	11	12
2	14	12
done	14	12
0	9	14
1	15	13
2	21	11
3	33	11
done	33	11
0	8	11
1	10	11
2	13	11
done	13	11
0	9	16
1	15	16
2	21	16
3	29	16
done	29	16
0	9	12
1	11	12
2	14	12
done	14	12
0	8	13
1	14	11
2	24	11
3	34	11
done	34	11
0	8	11
1	10	11
2	13	11
done	13	11
0	11	20
1	18	16
2	24	16
3	30	16
done	30	16
0	10	12
1	12	12
2	15	12
done	15	12
0	8	19
1	13	11
done	13	9
0	8	12
1	10	12
done	10	6
0	12	18
1	18	11
2	21	11
done	21	11
0	11	12
1	13	12
2	16	12
done	16	12
0	10	15
1	15	11
2	18	11
done	18	11
0	10	12
1	12	12
2	15	12
done	15	12
0	10	14
1	15	8
2	18	6
3	22	6
done	22	6
0	9	11
1	11	11
2	14	11
done	14	11
0	10	15
1	15	11
2	18	11
done	18	11
0	10	12
1	12	12
2	15	12
done	15	12
0	9	13
1	14	8
2	17	6
3	21	6
done	21	6
0	9	11
1	11	11
2	14	11
done	14	11
0	10	15
1	15	11
2	18	11
done	18	11
0	10	12
1	12	12
2	15	12
done	15	12
0	8	12
1	13	6
2	20	6
done	20	6
0	9	11
1	11	11
2	14	11
done	14	11
0	12	19
1	19	16
2	25	16
3	31	16
done	31	16
0	11	12
1	13	12
2	16	12
done	16	12
0	12	18
1	18	11
2	21	11
done	21	11
0	11	12
1	13	12
2	16	12
done	16	12
0	8	17
1	13	11
done	13	5
0	8	12
1	10	12
done	10	6
0	11	14
1	16	11
2	19	11
done	19	11
0	11	12
1	13	12
2	16	12
done	16	12
0	10	13
1	15	8
2	18	6
3	22	6
done	22	6
0	10	11
1	12	11
2	15	11
done	15	11
0	11	14
1	16	11
2	19	11
done	19	11
0	11	12
1	13	12
2	16	12
done	16	12
0	9	12
1	14	8
2	17	6
3	21	6
done	21	6
0	10	11
1	12	11
2	15	11
done	15	11
0	11	14
1	16	11
2	19	11
done	19	11
0	11	12
1	13	12
2	16	12
done	16	12
0	8	11
1	13	6
2	20	6
done	20	6
0	10	11
1	12	11
2	15	11
done	15	11
0	9	16
1	15	16
2	21	16
3	27	16
done	27	16
0	9	12
1	11	12
2	14	12
done	14	12
0	10	15
1	15	11
2	18	11
done	18	11
0	10	12
1	12	12
2	15	12
done	15	12
0	11	14
1	16	11
2	19	11
done	19	11
0	11	12
1	13	12
2	16	12
done	16	12
0	7	11
1	11	11
done	11	5
0	8	12
1	10	12
done	10	6
0	9	10
1	13	8
2	16	6
3	20	6
done	20	6
0	8	11
1	10	11
2	13	11
done	13	11
0	7	11
1	11	11
done	11	5
0	8	12
1	10	12
done	10	6
0	8	9
1	12	8
2	15	6
3	19	6
done	19	6
0	8	11
1	10	11
2	13	11
done	13	11
0	7	11
1	11	11
done	11	5
0	8	12
1	10	12
done	10	6
0	7	8
1	11	6
2	18	6
done	18	6
0	8	11
1	10	11
2	13	11
done	13	11
0	10	15
1	16	13
2	22	13
3	28	11
4	38	11
done	38	11
0	8	11
1	10	11
2	13	11
done	13	11
0	10	14
1	15	8
2	18	8
done	18	6
0	9	11
1	11	11
2	14	11
done	14	11
0	10	13
1	15	8
2	18	8
done	18	6
0	10	11
1	12	11
2	15	11
done	15	11
0	9	10
1	13	8
2	16	8
done	16	6
0	8	11
1	10	11
2	13	11
done	13	11
0	5	9
1	9	5
done	9	3
0	7	10
1	9	10
done	9	5
0	9	10
1	13	8
2	16	8
done	16	6
0	8	11
1	10	11
2	13	11
done	13	11
0	5	8
1	9	5
done	9	3
0	7	10
1	9	10
done	9	5
0	9	10
1	13	8
2	16	8
done	16	6
0	8	11
1	10	11
2	13	11
done	13	11
0	5	7
1	9	3
2	12	1
done	12	1
0	7	10
1	9	10
done	9	5
0	9	16
1	15	16
2	21	16
3	27	16
done	27	16
0	9	12
1	11	12
2	14	12
done	14	12
0	10	15
1	15	11
2	18	11
done	18	11
0	10	12
1	12	12
2	15	12
done	15	12
0	11	14
1	16	11
2	19	11
done	19	11
0	11	12
1	13	12
2	16	12
done	16	12
0	7	11
1	11	11
done	11	5
0	8	12
1	10	12
done	10	6
0	9	10
1	13	8
2	16	6
3	20	6
done	20	6
0	8	11
1	10	11
2	13	11
done	13	11
0	7	11
1	11	11
done	11	5
0	8	12
1	10	12
done	10	6
0	8	9
1	12	8
2	15	6
3	19	6
done	19	6
0	8	11
1	10	11
2	13	11
done	13	11
0	7	11
1	11	11
done	11	5
0	8	12
1	10	12
done	10	6
0	7	8
1	11	6
2	18	6
done	18	6
0	8	11
1	10	11
2	13	11
done	13	11
0	9	14
1	15	13
2	21	13
3	27	11
4	37	11
done	37	11
0	8	11
1	10	11
2	13	11
done	13	11
0	9	13
1	14	8
2	17	8
done	17	6
0	9	11
1	11	11
2	14	11
done	14	11
0	9	12
1	14	8
2	17	8
done	17	6
0	10	11
1	12	11
2	15	11
done	15	11
0	8	9
1	12	8
2	15	8
done	15	6
0	8	11
1	10	11
2	13	11
done	13	11
0	5	8
1	9	5
done	9	3
0	7	10
1	9	10
done	9	5
0	8	9
1	12	8
2	15	8
done	15	6
0	8	11
1	10	11
2	13	11
done	13	11
0	4	7
1	8	5
done	8	3
0	7	10
1	9	10
done	9	5
0	8	9
1	12	8
2	15	8
done	15	6
0	8	11
1	10	11
2	13	11
done	13	11
0	4	6
1	8	3
2	11	1
done	11	1
0	7	10
1	9	10
done	9	5
0	9	16
1	15	16
2	21	16
3	27	16
done	27	16
0	9	12
1	11	12
2	14	12
done	14	12
0	10	15
1	15	11
2	18	11
done	18	11
0	10	12
1	12	12
2	15	12
done	15	12
0	11	14
1	16	11
2	19	11
done	19	11
0	11	12
1	13	12
2	16	12
done	16	12
0	7	11
1	11	11
done	11	5
0	8	12
1	10	12
done	10	6
0	9	10
1	13	8
2	16	6
3	20	6
done	20	6
0	8	11
1	10	11
2	13	11
done	13	11
0	7	11
1	11	11
done	11	5
0	8	12
1	10	12
done	10	6
0	8	9
1	12	8
2	15	6
3	19	6
done	19	6
0	8	11
1	10	11
2	13	11
done	13	11
0	7	11
1	11	11
done	11	5
0	8	12
1	10	12
done	10	6
0	7	8
1	11	6
2	18	6
done	18	6
0	8	11
1	10	11
2	13	11
done	13	11
0	8	13
1	14	11
2	18	11
3	28	11
4	30	11
done	30	11
0	8	11
1	10	11
2	13	11
done	13	11
0	8	12
1	13	6
2	15	6
3	19	6
done	19	6
0	9	11
1	11	11
2	14	11
done	14	11
0	8	11
1	13	6
2	15	6
3	19	6
done	19	6
0	10	11
1	12	11
2	15	11
done	15	11
0	7	8
1	11	6
2	13	6
3	17	6
done	17	6
0	8	11
1	10	11
2	13	11
done	13	11
0	5	7
1	9	1
done	9	1
0	7	10
1	9	10
done	9	5
0	7	8
1	11	6
2	13	6
3	17	6
done	17	6
0	8	11
1	10	11
2	13	11
done	13	11
0	4	6
1	8	1
done	8	1
0	7	10
1	9	10
done	9	5
0	7	8
1	11	6
2	13	6
3	17	6
done	17	6
0	8	11
1	10	11
2	13	11
done	13	11
0	3	5
1	7	1
done	7	1
0	7	10
1	9	10
done	9	5
0	7	11
1	11	11
done	11	11
0	8	11
1	10	11
2	13	11
done	13	11
0	7	10
1	10	6
done	10	6
0	9	11
1	11	11
2	14	11
done	14	11
0	7	9
1	10	6
done	10	6
0	10	11
1	12	11
2	15	11
done	15	11
0	6	6
1	8	6
done	8	6
0	8	11
1	10	11
2	13	11
done	13	11
0	4	5
1	6	3
done	6	3
0	7	10
1	9	10
done	9	5
0	6	6
1	8	6
done	8	6
0	8	11
1	10	11
2	13	11
done	13	11
0	3	4
1	5	3
done	5	3
0	7	10
1	9	10
done	9	5
0	6	6
1	8	6
done	8	6
0	8	11
1	10	11
2	13	11
done	13	11
0	2	3
1	4	1
done	4	1
0	7	10
1	9	10
done	9	5
0	8	12
1	10	12
done	10	12
0	7	10
1	11	10
2	14	10
done	14	10
0	8	11
1	9	7
done	9	7
0	8	10
1	12	10
2	15	10
done	15	10
0	8	10
1	9	7
done	9	7
0	9	10
1	13	10
2	16	10
done	16	10
0	7	7
done	7	7
0	7	10
1	11	10
2	14	10
done	14	10
0	6	6
1	8	4
done	8	4
0	6	9
1	10	9
done	10	4
0	7	7
done	7	7
0	7	10
1	11	10
2	14	10
done	14	10
0	5	5
1	7	4
done	7	4
0	6	9
1	10	9
done	10	4
0	7	7
done	7	7
0	7	10
1	11	10
2	14	10
done	14	10
0	4	4
1	6	2
2	8	2
done	8	2
0	6	9
1	10	9
done	10	4
0	5	5
1	7	5
done	7	5
0	7	10
1	9	10
2	12	10
done	12	5
0	9	16
1	13	16
2	19	16
3	25	16
done	25	16
0	10	15
1	13	11
2	16	11
done	16	11
0	11	14
1	14	11
2	17	11
done	17	11
0	8	11
1	10	11
2	13	11
done	13	11
0	10	10
1	14	8
2	17	8
done	17	6
0	8	11
1	10	11
2	13	11
done	13	11
0	9	9
1	13	8
2	16	8
done	16	6
0	8	11
1	10	11
2	13	11
done	13	11
0	8	8
1	12	6
2	19	6
3	21	6
done	21	6
0	8	11
done	8	11
0	8	11
done	8	11
0	9	12
1	11	12
2	14	12
3	15	12
4	17	12
5	19	12
6	20	12
done	20	12
0	10	12
1	12	12
2	15	12
3	16	12
4	18	12
5	20	12
6	21	12
done	21	12
0	11	12
1	13	12
2	16	12
3	17	12
4	19	12
5	21	12
6	22	12
done	22	12
0	9	12
1	11	12
2	14	12
3	15	12
4	17	12
5	19	12
6	20	12
done	20	12
0	8	11
1	10	11
2	13	11
done	13	6
0	9	12
1	11	12
2	14	12
3	15	12
4	17	12
5	19	12
6	20	12
done	20	12
0	8	11
1	10	11
2	13	11
done	13	6
0	9	12
1	11	12
2	14	12
3	15	12
4	17	12
5	19	12
6	20	12
done	20	12
0	8	11
1	10	11
2	13	11
done	13	6
0	9	12
1	11	12
2	14	12
3	15	12
4	17	12
5	19	12
6	20	12
done	20	12
0	10	12
1	12	12
2	15	12
3	16	12
4	18	12
5	20	12
6	21	12
done	21	12
0	11	12
1	13	12
2	16	12
3	17	12
4	19	12
5	21	12
6	22	12
done	22	12
0	9	12
1	11	12
2	14	12
3	15	12
4	17	12
5	19	12
6	20	12
done	20	12
0	8	11
1	10	11
2	13	11
done	13	6
0	9	12
1	11	12
2	14	12
3	15	12
4	17	12
5	19	12
6	20	12
done	20	12
0	8	11
1	10	11
2	13	11
done	13	6
0	9	12
1	11	12
2	14	12
3	15	12
4	17	12
5	19	12
6	20	12
done	20	12
0	8	11
1	10	11
2	13	11
done	13	6
0	8	11
1	10	11
2	13	11
3	14	11
4	16	11
5	18	11
6	19	11
done	19	11
0	9	11
1	11	11
2	14	11
3	15	11
4	17	11
5	19	11
6	20	11
done	20	11
0	10	11
1	12	11
2	15	11
3	16	11
4	18	11
5	20	11
6	21	11
done	21	11
0	8	11
1	10	11
2	13	11
3	14	11
4	16	11
5	18	11
6	19	11
done	19	11
0	7	10
1	9	10
2	12	10
done	12	5
0	8	11
1	10	11
2	13	11
3	14	11
4	16	11
5	18	11
6	19	11
done	19	11
0	7	10
1	9	10
2	12	10
done	12	5
0	8	11
1	10	11
2	13	11
3	14	11
4	16	11
5	18	11
6	19	11
done	19	11
0	7	10
1	9	10
2	12	10
done	12	5
0	7	10
1	9	10
2	12	10
done	12	5
0	6	9
1	10	9
2	13	7
3	17	2
4	19	2
done	19	2
0	4	7
done	4	2
0	10	14
1	17	14
2	32	9
3	62	9
4	107	9
5	139	9
6	148	9
7	149	9
done	149	9
0	10	14
1	17	14
2	32	9
3	62	9
4	107	9
5	139	9
6	148	9
7	149	9
done	149	9
0	13	19
1	25	18
2	63	15
3	171	13
4	330	13
5	526	13
6	682	13
7	852	13
8	864	13
done	864	13
0	13	18
1	23	18
2	59	15
3	154	13
4	308	13
5	510	13
6	668	13
7	837	13
8	849	13
done	849	13
0	13	18
1	24	17
2	49	17
3	133	15
4	295	13
5	465	13
6	593	13
7	748	13
8	883	13
9	889	13
done	889	13
0	13	17
1	22	17
2	47	17
3	124	15
4	278	13
5	453	13
6	586	13
7	751	13
8	891	13
9	897	13
done	897	13
0	12	17
1	22	16
2	37	11
3	79	11
4	183	11
5	388	11
6	470	11
7	602	11
8	770	11
9	916	11
10	922	11
done	922	11
0	12	16
1	20	16
2	36	11
3	74	11
4	167	11
5	321	11
6	488	11
7	618	11
8	781	11
9	916	11
10	922	11
done	922	11
0	11	15
1	21	15
2	49	10
3	112	10
4	246	10
5	437	10
6	655	10
7	911	10
8	1128	10
9	1180	10
done	1180	10
0	11	15
1	20	15
2	43	10
3	91	10
4	187	10
5	367	10
6	801	10
7	2165	10
done	5000	10
0	16	44
1	41	34
2	182	21
3	1081	13
done	5001	13
0	16	44
1	42	34
2	181	19
3	1080	13
done	5000	13
0	16	44
1	43	39
2	173	22
3	991	11
done	5000	11
0	16	44
1	44	39
2	169	20
3	991	11
done	5000	11
0	14	44
1	35	44
2	128	15
3	549	11
4	2869	11
done	5000	11
0	14	44
1	36	44
2	127	13
3	554	11
4	2934	11
done	5000	11
0	12	31
1	19	31
2	34	21
3	64	21
4	109	21
5	141	21
6	150	21
7	151	21
done	151	21
0	11	15
1	18	15
2	33	10
3	63	10
4	108	10
5	140	10
6	149	10
done	149	10
0	12	44
1	29	44
2	125	11
3	726	11
4	4267	11
done	5001	11
0	11	15
1	18	15
2	33	10
3	63	10
4	108	10
5	140	10
6	149	10
done	149	10
0	11	15
1	18	15
2	33	10
3	63	10
4	108	10
5	140	10
6	149	10
done	149	10
0	10	13
1	13	13
done	13	8
0	10	13
1	13	13
done	13	8
0	11	14
1	14	14
2	17	14
3	19	14
4	21	14
5	22	14
done	22	14
0	11	14
1	14	14
2	17	14
3	19	14
4	21	14
5	22	14
done	22	14
0	11	14
1	14	14
2	17	14
3	19	14
4	21	14
5	22	14
done	22	14
0	11	14
1	14	14
2	17	14
3	19	14
4	21	14
5	22	14
done	22	14
0	11	14
1	14	14
2	17	14
3	19	14
4	21	14
5	22	14
done	22	14
0	11	14
1	14	14
2	17	14
3	19	14
4	21	14
5	22	14
done	22	14
0	11	15
1	16	15
2	24	9
3	37	9
4	48	9
5	52	9
done	52	9
0	11	15
1	16	15
2	24	9
3	37	9
4	48	9
5	52	9
done	52	9
0	11	15
1	16	15
2	24	9
3	37	9
4	48	9
5	52	9
done	52	9
0	11	15
1	16	15
2	24	9
3	37	9
4	48	9
5	52	9
done	52	9
0	11	15
1	16	15
2	24	9
3	37	9
4	48	9
5	52	9
done	52	9
0	11	15
1	16	15
2	24	9
3	37	9
4	48	9
5	52	9
done	52	9
0	11	15
1	16	15
2	24	9
3	37	9
4	48	9
5	52	9
done	52	9
0	11	15
1	16	15
2	24	9
3	37	9
4	48	9
5	52	9
done	52	9
0	11	15
1	16	15
2	24	9
3	37	9
4	48	9
5	52	9
done	52	9
0	11	15
1	16	15
2	24	9
3	37	9
4	48	9
5	52	9
done	52	9
0	11	15
1	16	15
2	24	9
3	37	9
4	48	9
5	52	9
done	52	9
0	11	15
1	16	15
2	24	9
3	37	9
4	48	9
5	52	9
done	52	9
0	11	15
1	16	15
2	24	9
3	37	9
4	48	9
5	52	9
done	52	9
0	11	15
1	16	15
2	24	9
3	37	9
4	48	9
5	52	9
done	52	9
0	11	15
1	16	15
2	24	9
3	37	9
4	48	9
5	52	9
done	52	9
0	11	15
1	16	15
2	24	9
3	37	9
4	48	9
5	52	9
done	52	9
0	11	15
1	16	15
2	24	9
3	37	9
4	48	9
5	52	9
done	52	9
0	11	15
1	16	15
2	24	9
3	37	9
4	48	9
5	52	9
done	52	9
0	9	12
1	14	12
2	22	7
3	35	7
4	46	7
5	50	7
done	50	7
0	11	15
1	16	15
2	18	10
3	19	10
done	19	10
0	11	15
1	16	15
2	18	10
3	19	10
done	19	10
0	12	16
1	17	16
2	25	16
3	33	16
4	42	16
5	48	16
6	53	16
done	53	16
0	13	16
1	18	16
2	26	16
3	34	16
4	43	16
5	49	16
6	54	16
done	54	16
0	14	16
1	19	16
2	27	16
3	35	16
4	44	16
5	50	16
6	55	16
done	55	16
0	12	16
1	17	16
2	25	16
3	33	16
4	42	16
5	48	16
6	53	16
done	53	16
0	11	15
1	16	15
2	24	15
3	32	15
4	41	15
5	47	15
6	52	15
done	52	15
0	12	16
1	17	16
2	25	16
3	33	16
4	42	16
5	48	16
6	53	16
done	53	16
0	11	15
1	16	15
2	24	15
3	32	15
4	41	15
5	47	15
6	52	15
done	52	15
0	12	16
1	17	16
2	25	16
3	33	16
4	42	16
5	48	16
6	53	16
done	53	16
0	11	15
1	16	15
2	24	15
3	32	15
4	41	15
5	47	15
6	52	15
done	52	15
0	12	16
1	17	16
2	25	16
3	33	16
4	42	16
5	48	16
6	53	16
done	53	16
0	13	16
1	18	16
2	26	16
3	34	16
4	43	16
5	49	16
6	54	16
done	54	16
0	14	16
1	19	16
2	27	16
3	35	16
4	44	16
5	50	16
6	55	16
done	55	16
0	12	16
1	17	16
2	25	16
3	33	16
4	42	16
5	48	16
6	53	16
done	53	16
0	11	15
1	16	15
2	24	15
3	32	15
4	41	15
5	47	15
6	52	15
done	52	15
0	12	16
1	17	16
2	25	16
3	33	16
4	42	16
5	48	16
6	53	16
done	53	16
0	11	15
1	16	15
2	24	15
3	32	15
4	41	15
5	47	15
6	52	15
done	52	15
0	12	16
1	17	16
2	25	16
3	33	16
4	42	16
5	48	16
6	53	16
done	53	16
0	11	15
1	16	15
2	24	15
3	32	15
4	41	15
5	47	15
6	52	15
done	52	15
0	12	17
1	19	17
2	34	17
3	63	17
4	105	17
5	137	17
6	146	17
done	146	17
0	14	17
1	21	17
2	39	17
3	86	17
4	161	17
5	224	17
6	241	17
done	241	17
0	15	17
1	22	17
2	40	17
3	87	17
4	169	17
5	232	17
6	249	17
done	249	17
0	13	17
1	20	17
2	38	17
3	85	17
4	160	17
5	223	17
6	241	17
done	241	17
0	12	16
1	19	16
2	37	16
3	84	16
4	164	16
5	227	16
6	245	16
done	245	16
0	13	17
1	20	17
2	38	17
3	85	17
4	160	17
5	223	17
6	241	17
done	241	17
0	12	16
1	19	16
2	37	16
3	84	16
4	164	16
5	227	16
6	245	16
done	245	16
0	13	17
1	20	17
2	38	17
3	85	17
4	160	17
5	223	17
6	241	17
done	241	17
0	12	16
1	19	16
2	37	16
3	84	16
4	164	16
5	227	16
6	245	16
done	245	16
0	14	17
1	21	17
2	39	17
3	86	17
4	161	17
5	224	17
6	241	17
done	241	17
0	12	17
1	19	17
2	34	11
3	64	11
4	106	11
5	138	11
6	147	11
done	147	11
0	15	17
1	22	17
2	40	17
3	87	17
4	169	17
5	232	17
6	249	17
done	249	17
0	14	17
1	21	17
2	39	17
3	86	17
4	161	17
5	224	17
6	241	17
done	241	17
0	13	16
1	20	16
2	38	16
3	85	16
4	160	16
5	223	16
6	241	16
done	241	16
0	14	17
1	21	17
2	39	17
3	86	17
4	161	17
5	224	17
6	241	17
done	241	17
0	13	16
1	20	16
2	38	16
3	85	16
4	160	16
5	223	16
6	241	16
done	241	16
0	14	17
1	21	17
2	39	17
3	86	17
4	161	17
5	224	17
6	241	17
done	241	17
0	13	16
1	20	16
2	38	16
3	85	16
4	160	16
5	223	16
6	241	16
done	241	16
0	15	17
1	22	17
2	40	17
3	87	17
4	169	17
5	232	17
6	249	17
done	249	17
0	15	17
1	22	17
2	40	17
3	87	17
4	169	17
5	232	17
6	249	17
done	249	17
0	12	17
1	19	17
2	34	11
3	64	11
4	106	11
5	138	11
6	147	11
done	147	11
0	15	17
1	22	17
2	40	17
3	87	17
4	169	17
5	232	17
6	249	17
done	249	17
0	14	16
1	21	16
2	39	16
3	86	16
4	161	16
5	224	16
6	241	16
done	241	16
0	15	17
1	22	17
2	40	17
3	87	17
4	169	17
5	232	17
6	249	17
done	249	17
0	14	16
1	21	16
2	39	16
3	86	16
4	161	16
5	224	16
6	241	16
done	241	16
0	15	17
1	22	17
2	40	17
3	87	17
4	169	17
5	232	17
6	249	17
done	249	17
0	14	16
1	21	16
2	39	16
3	86	16
4	161	16
5	224	16
6	241	16
done	241	16
0	13	17
1	20	17
2	38	17
3	85	17
4	160	17
5	223	17
6	241	17
done	241	17
0	14	17
1	21	17
2	39	17
3	86	17
4	161	17
5	224	17
6	241	17
done	241	17
0	15	17
1	22	17
2	40	17
3	87	17
4	169	17
5	232	17
6	249	17
done	249	17
0	12	17
1	19	17
2	34	11
3	64	11
4	106	11
5	138	11
6	147	11
done	147	11
0	12	16
1	19	16
2	37	16
3	84	16
4	164	16
5	227	16
6	245	16
done	245	16
0	12	17
1	19	17
2	34	11
3	64	11
4	106	11
5	138	11
6	147	11
done	147	11
0	12	16
1	19	16
2	37	16
3	84	16
4	164	16
5	227	16
6	245	16
done	245	16
0	12	17
1	19	17
2	34	11
3	64	11
4	106	11
5	138	11
6	147	11
done	147	11
0	12	16
1	19	16
2	37	16
3	84	16
4	164	16
5	227	16
6	245	16
done	245	16
0	12	16
1	19	16
2	37	16
3	84	16
4	159	16
5	222	16
6	242	16
done	242	16
0	13	16
1	20	16
2	38	16
3	85	16
4	160	16
5	223	16
6	241	16
done	241	16
0	14	16
1	21	16
2	39	16
3	86	16
4	161	16
5	224	16
6	241	16
done	241	16
0	12	16
1	19	16
2	37	16
3	84	16
4	159	16
5	222	16
6	242	16
done	242	16
0	11	15
1	18	15
2	33	10
3	63	10
4	106	10
5	138	10
6	147	10
done	147	10
0	12	16
1	19	16
2	37	16
3	84	16
4	159	16
5	222	16
6	242	16
done	242	16
0	11	15
1	18	15
2	33	10
3	63	10
4	106	10
5	138	10
6	147	10
done	147	10
0	12	16
1	19	16
2	37	16
3	84	16
4	159	16
5	222	16
6	242	16
done	242	16
0	11	15
1	18	15
2	33	10
3	63	10
4	106	10
5	138	10
6	147	10
done	147	10
0	13	17
1	20	17
2	38	17
3	85	17
4	160	17
5	223	17
6	241	17
done	241	17
0	14	17
1	21	17
2	39	17
3	86	17
4	161	17
5	224	17
6	241	17
done	241	17
0	15	17
1	22	17
2	40	17
3	87	17
4	169	17
5	232	17
6	249	17
done	249	17
0	12	17
1	19	17
2	34	11
3	64	11
4	106	11
5	138	11
6	147	11
done	147	11
0	12	16
1	19	16
2	37	16
3	84	16
4	164	16
5	227	16
6	245	16
done	245	16
0	12	17
1	19	17
2	34	11
3	64	11
4	106	11
5	138	11
6	147	11
done	147	11
0	12	16
1	19	16
2	37	16
3	84	16
4	164	16
5	227	16
6	245	16
done	245	16
0	12	17
1	19	17
2	34	11
3	64	11
4	106	11
5	138	11
6	147	11
done	147	11
0	12	16
1	19	16
2	37	16
3	84	16
4	164	16
5	227	16
6	245	16
done	245	16
0	12	16
1	19	16
2	37	16
3	84	16
4	159	16
5	222	16
6	242	16
done	242	16
0	13	16
1	20	16
2	38	16
3	85	16
4	160	16
5	223	16
6	241	16
done	241	16
0	14	16
1	21	16
2	39	16
3	86	16
4	161	16
5	224	16
6	241	16
done	241	16
0	12	16
1	19	16
2	37	16
3	84	16
4	159	16
5	222	16
6	242	16
done	242	16
0	11	15
1	18	15
2	33	10
3	63	10
4	106	10
5	138	10
6	147	10
done	147	10
0	12	16
1	19	16
2	37	16
3	84	16
4	159	16
5	222	16
6	242	16
done	242	16
0	11	15
1	18	15
2	33	10
3	63	10
4	106	10
5	138	10
6	147	10
done	147	10
0	12	16
1	19	16
2	37	16
3	84	16
4	159	16
5	222	16
6	242	16
done	242	16
0	11	15
1	18	15
2	33	10
3	63	10
4	106	10
5	138	10
6	147	10
done	147	10
0	13	17
1	20	17
2	38	17
3	85	17
4	160	17
5	223	17
6	241	17
done	241	17
0	14	17
1	21	17
2	39	17
3	86	17
4	161	17
5	224	17
6	241	17
done	241	17
0	15	17
1	22	17
2	40	17
3	87	17
4	169	17
5	232	17
6	249	17
done	249	17
0	12	17
1	19	17
2	34	11
3	64	11
4	106	11
5	138	11
6	147	11
done	147	11
0	12	16
1	19	16
2	37	16
3	84	16
4	164	16
5	227	16
6	245	16
done	245	16
0	12	17
1	19	17
2	34	11
3	64	11
4	106	11
5	138	11
6	147	11
done	147	11
0	12	16
1	19	16
2	37	16
3	84	16
4	164	16
5	227	16
6	245	16
done	245	16
0	12	17
1	19	17
2	34	11
3	64	11
4	106	11
5	138	11
6	147	11
done	147	11
0	12	16
1	19	16
2	37	16
3	84	16
4	164	16
5	227	16
6	245	16
done	245	16
0	12	16
1	19	16
2	37	16
3	84	16
4	159	16
5	222	16
6	242	16
done	242	16
0	13	16
1	20	16
2	38	16
3	85	16
4	160	16
5	223	16
6	241	16
done	241	16
0	14	16
1	21	16
2	39	16
3	86	16
4	161	16
5	224	16
6	241	16
done	241	16
0	12	16
1	19	16
2	37	16
3	84	16
4	159	16
5	222	16
6	242	16
done	242	16
0	11	15
1	18	15
2	33	10
3	63	10
4	106	10
5	138	10
6	147	10
done	147	10
0	12	16
1	19	16
2	37	16
3	84	16
4	159	16
5	222	16
6	242	16
done	242	16
0	11	15
1	18	15
2	33	10
3	63	10
4	106	10
5	138	10
6	147	10
done	147	10
0	12	16
1	19	16
2	37	16
3	84	16
4	159	16
5	222	16
6	242	16
done	242	16
0	11	15
1	18	15
2	33	10
3	63	10
4	106	10
5	138	10
6	147	10
done	147	10
0	12	17
1	19	17
2	34	17
3	63	17
4	105	17
5	137	17
6	146	17
done	146	17
0	14	17
1	21	17
2	39	17
3	86	17
4	161	17
5	224	17
6	241	17
done	241	17
0	15	17
1	22	17
2	40	17
3	87	17
4	169	17
5	232	17
6	249	17
done	249	17
0	13	17
1	20	17
2	38	17
3	85	17
4	160	17
5	223	17
6	241	17
done	241	17
0	12	16
1	19	16
2	37	16
3	84	16
4	164	16
5	227	16
6	245	16
done	245	16
0	13	17
1	20	17
2	38	17
3	85	17
4	160	17
5	223	17
6	241	17
done	241	17
0	12	16
1	19	16
2	37	16
3	84	16
4	164	16
5	227	16
6	245	16
done	245	16
0	13	17
1	20	17
2	38	17
3	85	17
4	160	17
5	223	17
6	241	17
done	241	17
0	12	16
1	19	16
2	37	16
3	84	16
4	164	16
5	227	16
6	245	16
done	245	16
0	14	17
1	21	17
2	39	17
3	86	17
4	161	17
5	224	17
6	241	17
done	241	17
0	12	17
1	19	17
2	34	11
3	64	11
4	106	11
5	138	11
6	147	11
done	147	11
0	15	17
1	22	17
2	40	17
3	87	17
4	169	17
5	232	17
6	249	17
done	249	17
0	14	17
1	21	17
2	39	17
3	86	17
4	161	17
5	224	17
6	241	17
done	241	17
0	13	16
1	20	16
2	38	16
3	85	16
4	160	16
5	223	16
6	241	16
done	241	16
0	14	17
1	21	17
2	39	17
3	86	17
4	161	17
5	224	17
6	241	17
done	241	17
0	13	16
1	20	16
2	38	16
3	85	16
4	160	16
5	223	16
6	241	16
done	241	16
0	14	17
1	21	17
2	39	17
3	86	17
4	161	17
5	224	17
6	241	17
done	241	17
0	13	16
1	20	16
2	38	16
3	85	16
4	160	16
5	223	16
6	241	16
done	241	16
0	15	17
1	22	17
2	40	17
3	87	17
4	169	17
5	232	17
6	249	17
done	249	17
0	15	17
1	22	17
2	40	17
3	87	17
4	169	17
5	232	17
6	249	17
done	249	17
0	12	17
1	19	17
2	34	11
3	64	11
4	106	11
5	138	11
6	147	11
done	147	11
0	15	17
1	22	17
2	40	17
3	87	17
4	169	17
5	232	17
6	249	17
done	249	17
0	14	16
1	21	16
2	39	16
3	86	16
4	161	16
5	224	16
6	241	16
done	241	16
0	15	17
1	22	17
2	40	17
3	87	17
4	169	17
5	232	17
6	249	17
done	249	17
0	14	16
1	21	16
2	39	16
3	86	16
4	161	16
5	224	16
6	241	16
done	241	16
0	15	17
1	22	17
2	40	17
3	87	17
4	169	17
5	232	17
6	249	17
done	249	17
0	14	16
1	21	16
2	39	16
3	86	16
4	161	16
5	224	16
6	241	16
done	241	16
0	13	17
1	20	17
2	38	17
3	85	17
4	160	17
5	223	17
6	241	17
done	241	17
0	14	17
1	21	17
2	39	17
3	86	17
4	161	17
5	224	17
6	241	17
done	241	17
0	15	17
1	22	17
2	40	17
3	87	17
4	169	17
5	232	17
6	249	17
done	249	17
0	12	17
1	19	17
2	34	11
3	64	11
4	106	11
5	138	11
6	147	11
done	147	11
0	12	16
1	19	16
2	37	16
3	84	16
4	164	16
5	227	16
6	245	16
done	245	16
0	12	17
1	19	17
2	34	11
3	64	11
4	106	11
5	138	11
6	147	11
done	147	11
0	12	16
1	19	16
2	37	16
3	84	16
4	164	16
5	227	16
6	245	16
done	245	16
0	12	17
1	19	17
2	34	11
3	64	11
4	106	11
5	138	11
6	147	11
done	147	11
0	12	16
1	19	16
2	37	16
3	84	16
4	164	16
5	227	16
6	245	16
done	245	16
0	12	16
1	19	16
2	37	16
3	84	16
4	159	16
5	222	16
6	242	16
done	242	16
0	13	16
1	20	16
2	38	16
3	85	16
4	160	16
5	223	16
6	241	16
done	241	16
0	14	16
1	21	16
2	39	16
3	86	16
4	161	16
5	224	16
6	241	16
done	241	16
0	12	16
1	19	16
2	37	16
3	84	16
4	159	16
5	222	16
6	242	16
done	242	16
0	11	15
1	18	15
2	33	10
3	63	10
4	106	10
5	138	10
6	147	10
done	147	10
0	12	16
1	19	16
2	37	16
3	84	16
4	159	16
5	222	16
6	242	16
done	242	16
0	11	15
1	18	15
2	33	10
3	63	10
4	106	10
5	138	10
6	147	10
done	147	10
0	12	16
1	19	16
2	37	16
3	84	16
4	159	16
5	222	16
6	242	16
done	242	16
0	11	15
1	18	15
2	33	10
3	63	10
4	106	10
5	138	10
6	147	10
done	147	10
0	13	17
1	20	17
2	38	17
3	85	17
4	160	17
5	223	17
6	241	17
done	241	17
0	14	17
1	21	17
2	39	17
3	86	17
4	161	17
5	224	17
6	241	17
done	241	17
0	15	17
1	22	17
2	40	17
3	87	17
4	169	17
5	232	17
6	249	17
done	249	17
0	12	17
1	19	17
2	34	11
3	64	11
4	106	11
5	138	11
6	147	11
done	147	11
0	12	16
1	19	16
2	37	16
3	84	16
4	164	16
5	227	16
6	245	16
done	245	16
0	12	17
1	19	17
2	34	11
3	64	11
4	106	11
5	138	11
6	147	11
done	147	11
0	12	16
1	19	16
2	37	16
3	84	16
4	164	16
5	227	16
6	245	16
done	245	16
0	12	17
1	19	17
2	34	11
3	64	11
4	106	11
5	138	11
6	147	11
done	147	11
0	12	16
1	19	16
2	37	16
3	84	16
4	164	16
5	227	16
6	245	16
done	245	16
0	12	16
1	19	16
2	37	16
3	84	16
4	159	16
5	222	16
6	242	16
done	242	16
0	13	16
1	20	16
2	38	16
3	85	16
4	160	16
5	223	16
6	241	16
done	241	16
0	14	16
1	21	16
2	39	16
3	86	16
4	161	16
5	224	16
6	241	16
done	241	16
0	12	16
1	19	16
2	37	16
3	84	16
4	159	16
5	222	16
6	242	16
done	242	16
0	11	15
1	18	15
2	33	10
3	63	10
4	106	10
5	138	10
6	147	10
done	147	10
0	12	16
1	19	16
2	37	16
3	84	16
4	159	16
5	222	16
6	242	16
done	242	16
0	11	15
1	18	15
2	33	10
3	63	10
4	106	10
5	138	10
6	147	10
done	147	10
0	12	16
1	19	16
2	37	16
3	84	16
4	159	16
5	222	16
6	242	16
done	242	16
0	11	15
1	18	15
2	33	10
3	63	10
4	106	10
5	138	10
6	147	10
done	147	10
0	13	17
1	20	17
2	38	17
3	85	17
4	160	17
5	223	17
6	241	17
done	241	17
0	14	17
1	21	17
2	39	17
3	86	17
4	161	17
5	224	17
6	241	17
done	241	17
0	15	17
1	22	17
2	40	17
3	87	17
4	169	17
5	232	17
6	249	17
done	249	17
0	12	17
1	19	17
2	34	11
3	64	11
4	106	11
5	138	11
6	147	11
done	147	11
0	12	16
1	19	16
2	37	16
3	84	16
4	164	16
5	227	16
6	245	16
done	245	16
0	12	17
1	19	17
2	34	11
3	64	11
4	106	11
5	138	11
6	147	11
done	147	11
0	12	16
1	19	16
2	37	16
3	84	16
4	164	16
5	227	16
6	245	16
done	245	16
0	12	17
1	19	17
2	34	11
3	64	11
4	106	11
5	138	11
6	147	11
done	147	11
0	12	16
1	19	16
2	37	16
3	84	16
4	164	16
5	227	16
6	245	16
done	245	16
0	12	16
1	19	16
2	37	16
3	84	16
4	159	16
5	222	16
6	242	16
done	242	16
0	13	16
1	20	16
2	38	16
3	85	16
4	160	16
5	223	16
6	241	16
done	241	16
0	14	16
1	21	16
2	39	16
3	86	16
4	161	16
5	224	16
6	241	16
done	241	16
0	12	16
1	19	16
2	37	16
3	84	16
4	159	16
5	222	16
6	242	16
done	242	16
0	11	15
1	18	15
2	33	10
3	63	10
4	106	10
5	138	10
6	147	10
done	147	10
0	12	16
1	19	16
2	37	16
3	84	16
4	159	16
5	222	16
6	242	16
done	242	16
0	11	15
1	18	15
2	33	10
3	63	10
4	106	10
5	138	10
6	147	10
done	147	10
0	12	16
1	19	16
2	37	16
3	84	16
4	159	16
5	222	16
6	242	16
done	242	16
0	11	15
1	18	15
2	33	10
3	63	10
4	106	10
5	138	10
6	147	10
done	147	10
0	11	16
1	18	16
2	33	16
3	62	16
4	105	16
5	137	16
6	146	16
done	146	16
0	13	16
1	20	16
2	38	16
3	85	16
4	160	16
5	223	16
6	241	16
done	241	16
0	14	16
1	21	16
2	39	16
3	86	16
4	161	16
5	224	16
6	241	16
done	241	16
0	12	16
1	19	16
2	37	16
3	84	16
4	159	16
5	222	16
6	240	16
done	240	16
0	11	15
1	18	15
2	36	15
3	83	15
4	160	15
5	223	15
6	240	15
done	240	15
0	12	16
1	19	16
2	37	16
3	84	16
4	159	16
5	222	16
6	240	16
done	240	16
0	11	15
1	18	15
2	36	15
3	83	15
4	160	15
5	223	15
6	240	15
done	240	15
0	12	16
1	19	16
2	37	16
3	84	16
4	159	16
5	222	16
6	240	16
done	240	16
0	11	15
1	18	15
2	36	15
3	83	15
4	160	15
5	223	15
6	240	15
done	240	15
0	13	16
1	20	16
2	38	16
3	85	16
4	160	16
5	223	16
6	241	16
done	241	16
0	11	16
1	18	16
2	33	10
3	63	10
4	106	10
5	138	10
6	147	10
done	147	10
0	14	16
1	21	16
2	39	16
3	86	16
4	161	16
5	224	16
6	241	16
done	241	16
0	13	16
1	20	16
2	38	16
3	85	16
4	160	16
5	223	16
6	241	16
done	241	16
0	12	15
1	19	15
2	37	15
3	84	15
4	159	15
5	222	15
6	240	15
done	240	15
0	13	16
1	20	16
2	38	16
3	85	16
4	160	16
5	223	16
6	241	16
done	241	16
0	12	15
1	19	15
2	37	15
3	84	15
4	159	15
5	222	15
6	240	15
done	240	15
0	13	16
1	20	16
2	38	16
3	85	16
4	160	16
5	223	16
6	241	16
done	241	16
0	12	15
1	19	15
2	37	15
3	84	15
4	159	15
5	222	15
6	240	15
done	240	15
0	14	16
1	21	16
2	39	16
3	86	16
4	161	16
5	224	16
6	241	16
done	241	16
0	14	16
1	21	16
2	39	16
3	86	16
4	161	16
5	224	16
6	241	16
done	241	16
0	11	16
1	18	16
2	33	10
3	63	10
4	106	10
5	138	10
6	147	10
done	147	10
0	14	16
1	21	16
2	39	16
3	86	16
4	161	16
5	224	16
6	241	16
done	241	16
0	13	15
1	20	15
2	38	15
3	85	15
4	160	15
5	223	15
6	241	15
done	241	15
0	14	16
1	21	16
2	39	16
3	86	16
4	161	16
5	224	16
6	241	16
done	241	16
0	13	15
1	20	15
2	38	15
3	85	15
4	160	15
5	223	15
6	241	15
done	241	15
0	14	16
1	21	16
2	39	16
3	86	16
4	161	16
5	224	16
6	241	16
done	241	16
0	13	15
1	20	15
2	38	15
3	85	15
4	160	15
5	223	15
6	241	15
done	241	15
0	12	16
1	19	16
2	37	16
3	84	16
4	159	16
5	222	16
6	240	16
done	240	16
0	13	16
1	20	16
2	38	16
3	85	16
4	160	16
5	223	16
6	241	16
done	241	16
0	14	16
1	21	16
2	39	16
3	86	16
4	161	16
5	224	16
6	241	16
done	241	16
0	11	16
1	18	16
2	33	10
3	63	10
4	106	10
5	138	10
6	147	10
done	147	10
0	11	15
1	18	15
2	36	15
3	83	15
4	160	15
5	223	15
6	240	15
done	240	15
0	11	16
1	18	16
2	33	10
3	63	10
4	106	10
5	138	10
6	147	10
done	147	10
0	11	15
1	18	15
2	36	15
3	83	15
4	160	15
5	223	15
6	240	15
done	240	15
0	11	16
1	18	16
2	33	10
3	63	10
4	106	10
5	138	10
6	147	10
done	147	10
0	11	15
1	18	15
2	36	15
3	83	15
4	160	15
5	223	15
6	240	15
done	240	15
0	11	15
1	18	15
2	36	15
3	83	15
4	160	15
5	223	15
6	240	15
done	240	15
0	12	15
1	19	15
2	37	15
3	84	15
4	159	15
5	222	15
6	240	15
done	240	15
0	13	15
1	20	15
2	38	15
3	85	15
4	160	15
5	223	15
6	241	15
done	241	15
0	11	15
1	18	15
2	36	15
3	83	15
4	160	15
5	223	15
6	240	15
done	240	15
0	10	14
1	17	14
2	32	9
3	62	9
4	107	9
5	139	9
6	148	9
7	149	9
done	149	9
0	11	15
1	18	15
2	36	15
3	83	15
4	160	15
5	223	15
6	240	15
done	240	15
0	10	14
1	17	14
2	32	9
3	62	9
4	107	9
5	139	9
6	148	9
7	149	9
done	149	9
0	11	15
1	18	15
2	36	15
3	83	15
4	160	15
5	223	15
6	240	15
done	240	15
0	10	14
1	17	14
2	32	9
3	62	9
4	107	9
5	139	9
6	148	9
7	149	9
done	149	9
0	12	16
1	19	16
2	37	16
3	84	16
4	159	16
5	222	16
6	240	16
done	240	16
0	13	16
1	20	16
2	38	16
3	85	16
4	160	16
5	223	16
6	241	16
done	241	16
0	14	16
1	21	16
2	39	16
3	86	16
4	161	16
5	224	16
6	241	16
done	241	16
0	11	16
1	18	16
2	33	10
3	63	10
4	106	10
5	138	10
6	147	10
done	147	10
0	11	15
1	18	15
2	36	15
3	83	15
4	160	15
5	223	15
6	240	15
done	240	15
0	11	16
1	18	16
2	33	10
3	63	10
4	106	10
5	138	10
6	147	10
done	147	10
0	11	15
1	18	15
2	36	15
3	83	15
4	160	15
5	223	15
6	240	15
done	240	15
0	11	16
1	18	16
2	33	10
3	63	10
4	106	10
5	138	10
6	147	10
done	147	10
0	11	15
1	18	15
2	36	15
3	83	15
4	160	15
5	223	15
6	240	15
done	240	15
0	11	15
1	18	15
2	36	15
3	83	15
4	160	15
5	223	15
6	240	15
done	240	15
0	12	15
1	19	15
2	37	15
3	84	15
4	159	15
5	222	15
6	240	15
done	240	15
0	13	15
1	20	15
2	38	15
3	85	15
4	160	15
5	223	15
6	241	15
done	241	15
0	11	15
1	18	15
2	36	15
3	83	15
4	160	15
5	223	15
6	240	15
done	240	15
0	10	14
1	17	14
2	32	9
3	62	9
4	107	9
5	139	9
6	148	9
7	149	9
done	149	9
0	11	15
1	18	15
2	36	15
3	83	15
4	160	15
5	223	15
6	240	15
done	240	15
0	10	14
1	17	14
2	32	9
3	62	9
4	107	9
5	139	9
6	148	9
7	149	9
done	149	9
0	11	15
1	18	15
2	36	15
3	83	15
4	160	15
5	223	15
6	240	15
done	240	15
0	10	14
1	17	14
2	32	9
3	62	9
4	107	9
5	139	9
6	148	9
7	149	9
done	149	9
0	12	16
1	19	16
2	37	16
3	84	16
4	159	16
5	222	16
6	240	16
done	240	16
0	13	16
1	20	16
2	38	16
3	85	16
4	160	16
5	223	16
6	241	16
done	241	16
0	14	16
1	21	16
2	39	16
3	86	16
4	161	16
5	224	16
6	241	16
done	241	16
0	11	16
1	18	16
2	33	10
3	63	10
4	106	10
5	138	10
6	147	10
done	147	10
0	11	15
1	18	15
2	36	15
3	83	15
4	160	15
5	223	15
6	240	15
done	240	15
0	11	16
1	18	16
2	33	10
3	63	10
4	106	10
5	138	10
6	147	10
done	147	10
0	11	15
1	18	15
2	36	15
3	83	15
4	160	15
5	223	15
6	240	15
done	240	15
0	11	16
1	18	16
2	33	10
3	63	10
4	106	10
5	138	10
6	147	10
done	147	10
0	11	15
1	18	15
2	36	15
3	83	15
4	160	15
5	223	15
6	240	15
done	240	15
0	11	15
1	18	15
2	36	15
3	83	15
4	160	15
5	223	15
6	240	15
done	240	15
0	12	15
1	19	15
2	37	15
3	84	15
4	159	15
5	222	15
6	240	15
done	240	15
0	13	15
1	20	15
2	38	15
3	85	15
4	160	15
5	223	15
6	241	15
done	241	15
0	11	15
1	18	15
2	36	15
3	83	15
4	160	15
5	223	15
6	240	15
done	240	15
0	10	14
1	17	14
2	32	9
3	62	9
4	107	9
5	139	9
6	148	9
7	149	9
done	149	9
0	11	15
1	18	15
2	36	15
3	83	15
4	160	15
5	223	15
6	240	15
done	240	15
0	10	14
1	17	14
2	32	9
3	62	9
4	107	9
5	139	9
6	148	9
7	149	9
done	149	9
0	11	15
1	18	15
2	36	15
3	83	15
4	160	15
5	223	15
6	240	15
done	240	15
0	10	14
1	17	14
2	32	9
3	62	9
4	107	9
5	139	9
6	148	9
7	149	9
done	149	9
0	11	15
1	18	15
2	36	15
3	83	15
4	160	15
5	223	15
6	240	15
done	240	15
0	12	15
1	19	15
2	37	15
3	84	15
4	159	15
5	222	15
6	240	15
done	240	15
0	13	15
1	20	15
2	38	15
3	85	15
4	160	15
5	223	15
6	241	15
done	241	15
0	11	15
1	18	15
2	36	15
3	83	15
4	160	15
5	223	15
6	240	15
done	240	15
0	10	14
1	17	14
2	32	9
3	62	9
4	107	9
5	139	9
6	148	9
7	149	9
done	149	9
0	11	15
1	18	15
2	36	15
3	83	15
4	160	15
5	223	15
6	240	15
done	240	15
0	10	14
1	17	14
2	32	9
3	62	9
4	107	9
5	139	9
6	148	9
7	149	9
done	149	9
0	11	15
1	18	15
2	36	15
3	83	15
4	160	15
5	223	15
6	240	15
done	240	15
0	10	14
1	17	14
2	32	9
3	62	9
4	107	9
5	139	9
6	148	9
7	149	9
done	149	9
0	10	14
1	19	14
2	37	14
3	80	12
4	182	12
5	292	12
6	314	12
7	316	12
done	316	12
0	11	14
1	20	14
2	38	14
3	81	12
4	172	12
5	272	12
6	289	12
7	291	12
done	291	12
0	12	14
1	21	14
2	39	14
3	82	12
4	174	12
5	276	12
6	292	12
7	294	12
done	294	12
0	10	14
1	19	14
2	37	14
3	80	12
4	182	12
5	292	12
6	314	12
7	316	12
done	316	12
0	9	13
1	18	13
2	33	8
3	61	6
4	119	6
5	172	6
6	175	6
done	175	6
0	10	14
1	19	14
2	37	14
3	80	12
4	182	12
5	292	12
6	314	12
7	316	12
done	316	12
0	9	13
1	18	13
2	33	8
3	61	6
4	119	6
5	172	6
6	175	6
done	175	6
0	10	14
1	19	14
2	37	14
3	80	12
4	182	12
5	292	12
6	314	12
7	316	12
done	316	12
0	9	13
1	18	13
2	33	8
3	61	6
4	119	6
5	172	6
6	175	6
done	175	6
0	10	14
1	17	14
2	32	9
3	62	9
4	107	9
5	139	9
6	148	9
7	149	9
done	149	9
0	8	9
1	15	9
2	23	7
3	51	7
4	63	7
done	63	7
0	9	10
1	14	10
2	22	10
3	30	10
4	39	10
5	45	10
6	50	10
7	51	10
done	51	10
0	17	22
1	37	22
2	89	22
3	238	22
4	843	22
5	2365	19
done	5000	19
0	5	5
done	5	5
0	5	5
done	5	5
0	18	29
1	40	29
2	109	23
3	370	19
4	1336	19
5	3270	19
done	5000	19
0	8	8
1	11	8
done	11	8
0	8	8
1	11	8
done	11	8
0	17	22
1	37	22
2	89	22
3	238	22
4	843	22
5	2365	19
done	5000	19
0	5	5
done	5	5
0	5	5
done	5	5
0	13	19
1	29	19
2	105	19
3	242	19
4	673	17
5	1621	17
6	2178	14
7	2365	14
8	2811	14
9	4697	14
done	5000	14
0	9	9
1	17	9
2	41	9
3	58	9
4	78	9
5	95	9
6	117	9
7	180	9
8	393	9
9	1320	9
done	5000	9
0	9	9
1	17	9
2	41	9
3	58	9
4	78	9
5	95	9
6	117	9
7	180	9
8	393	9
9	1320	9
done	5000	9

prune1.9s

Filtered

403 candidates to 756 candidates (-87.6%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	754	2	756
Fresh	2	7	9
Picked	0	1	1
Done	0	0	0
Total	756	10	766

Merged error: 0.0b

Counts

766 → 10

localize19.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (/ (cos th) (sqrt 2.0)) (* a1 a1))
0.3b	(* (/ (/ 1 (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0)))) (* (/ (cos th) (sqrt (sqrt 2.0))) (* a2 a2)))
0.6b	(/ (cos th) (sqrt (sqrt 2.0)))
0.7b	(/ (cos th) (sqrt 2.0))

rewrite219.0ms

Algorithm

rewrite-expression-head

Rules

1426×	`sqrt-prod`
977×	`times-frac`
520×	`add-sqr-sqrt`
515×	`add-cube-cbrt` `*-un-lft-identity`
506×	`associate-l`
135×	`add-exp-log`
89×	`add-cbrt-cube`
61×	`prod-exp`
44×	`div-exp`
39×	`cbrt-unprod`
25×	`cbrt-undiv`
18×	`pow1`
16×	`div-inv`
15×	`associate-/r*`
9×	`pow-prod-down`
6×	`associate-/l*`
5×	`rec-exp` `1-exp`
4×	`associate-*l/` `add-log-exp`
3×	`unswap-sqr`
2×	`frac-2neg` `associate-r` `clear-num` `*-commutative`
1×	`frac-times` `associate-*r/`

Counts

4 → 674

Calls

4 calls:

11.0ms	(* (/ (cos th) (sqrt 2.0)) (* a1 a1))
114.0ms	(* (/ (/ 1 (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0)))) (* (/ (cos th) (sqrt (sqrt 2.0))) (* a2 a2)))
7.0ms	(/ (cos th) (sqrt (sqrt 2.0)))
5.0ms	(/ (cos th) (sqrt 2.0))

series51.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(* (/ (cos th) (sqrt 2.0)) (* a1 a1))
18.0ms	(* (/ (/ 1 (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0)))) (* (/ (cos th) (sqrt (sqrt 2.0))) (* a2 a2)))
9.0ms	(/ (cos th) (sqrt (sqrt 2.0)))
7.0ms	(/ (cos th) (sqrt 2.0))

simplify1.6hr

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	9	7
2	10	7
done	10	7
0	6	6
1	9	6
2	11	6
3	12	6
done	12	6
0	6	6
done	6	6
0	9	17
1	18	13
2	44	9
3	94	9
4	132	9
5	175	9
6	303	9
7	808	9
8	3185	9
done	5000	9
0	7	13
done	7	13
0	6	6
done	6	6
0	7	17
1	14	17
2	30	7
3	68	7
4	133	7
5	196	7
6	315	7
7	780	7
8	3422	7
done	5001	7
0	6	6
done	6	6
0	6	6
done	6	6
0	3	3
done	3	3
0	3	3
done	3	3
0	9	15
1	15	15
2	24	15
3	30	15
done	30	15
0	7	7
done	7	7
0	9	14
1	12	11
2	14	11
3	15	11
done	15	11
0	7	7
done	7	7
0	8	11
1	10	11
2	12	11
3	13	11
done	13	11
0	7	7
done	7	7
0	7	10
1	11	9
2	13	9
3	14	7
4	21	7
done	21	7
0	6	6
done	6	6
0	8	11
1	10	11
2	12	11
3	13	11
done	13	11
0	7	7
done	7	7
0	6	9
1	10	7
2	16	7
3	21	7
done	21	7
0	6	6
done	6	6
0	8	11
1	10	11
done	10	11
0	7	7
done	7	7
0	8	10
1	9	7
done	9	7
0	7	7
done	7	7
0	7	7
done	7	7
0	7	7
done	7	7
0	6	6
1	8	5
done	8	5
0	6	6
done	6	6
0	7	7
done	7	7
0	7	7
done	7	7
0	5	5
1	7	3
2	9	3
done	9	3
0	6	6
done	6	6
0	6	9
1	10	9
done	10	9
0	6	6
done	6	6
0	6	8
1	9	5
done	9	5
0	6	6
done	6	6
0	5	5
1	7	5
done	7	5
0	6	6
done	6	6
0	3	4
1	5	3
done	5	3
0	5	5
done	5	5
0	5	5
1	7	5
done	7	5
0	6	6
done	6	6
0	2	3
1	4	1
done	4	1
0	5	5
done	5	5
0	4	4
1	6	4
done	6	4
0	5	5
done	5	5
0	7	10
1	9	10
done	9	10
0	7	9
1	8	6
done	8	6
0	6	6
done	6	6
0	5	5
1	7	4
done	7	4
0	6	6
done	6	6
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
done	6	6
0	6	6
done	6	6
0	5	5
done	5	5
0	8	8
1	10	8
2	11	8
done	11	8
0	7	7
1	10	7
2	12	7
3	13	7
done	13	7
0	7	7
done	7	7
0	10	20
1	19	15
2	52	10
3	119	8
4	198	8
5	317	8
6	776	8
7	3354	8
done	5000	8
0	8	15
done	8	15
0	7	7
done	7	7
0	8	20
1	15	20
2	31	8
3	69	8
4	136	8
5	201	8
6	329	8
7	832	8
8	3566	8
done	5000	8
0	7	7
done	7	7
0	7	7
done	7	7
0	3	3
done	3	3
0	4	4
done	4	4
0	10	17
1	16	17
2	25	17
3	31	17
done	31	17
0	8	8
done	8	8
0	10	16
1	13	12
2	15	12
3	16	12
done	16	12
0	8	8
done	8	8
0	10	15
1	13	12
2	15	12
3	16	12
done	16	12
0	8	8
done	8	8
0	9	12
1	11	12
2	13	12
3	14	12
done	14	12
0	8	8
done	8	8
0	8	11
1	12	9
2	14	9
3	15	7
4	22	7
done	22	7
0	7	7
done	7	7
0	9	12
1	11	12
2	13	12
3	14	12
done	14	12
0	8	8
done	8	8
0	7	10
1	11	9
2	13	9
3	14	7
4	21	7
done	21	7
0	7	7
done	7	7
0	9	12
1	11	12
2	13	12
3	14	12
done	14	12
0	8	8
done	8	8
0	6	9
1	10	7
2	16	7
3	21	7
done	21	7
0	7	7
done	7	7
0	9	13
1	11	13
done	11	13
0	8	8
done	8	8
0	9	12
1	10	8
done	10	8
0	8	8
done	8	8
0	9	11
1	10	8
done	10	8
0	8	8
done	8	8
0	8	8
done	8	8
0	8	8
done	8	8
0	7	7
1	9	5
done	9	5
0	7	7
done	7	7
0	8	8
done	8	8
0	8	8
done	8	8
0	6	6
1	8	5
done	8	5
0	7	7
done	7	7
0	8	8
done	8	8
0	8	8
done	8	8
0	5	5
1	7	3
2	9	3
done	9	3
0	7	7
done	7	7
0	7	11
1	11	11
done	11	11
0	7	7
done	7	7
0	7	10
1	10	6
done	10	6
0	7	7
done	7	7
0	7	9
1	10	6
done	10	6
0	7	7
done	7	7
0	6	6
1	8	6
done	8	6
0	7	7
done	7	7
0	4	5
1	6	3
done	6	3
0	6	6
done	6	6
0	6	6
1	8	6
done	8	6
0	7	7
done	7	7
0	3	4
1	5	3
done	5	3
0	6	6
done	6	6
0	6	6
1	8	6
done	8	6
0	7	7
done	7	7
0	2	3
1	4	1
done	4	1
0	6	6
done	6	6
0	5	5
1	7	5
done	7	5
0	6	6
done	6	6
0	8	12
1	10	12
done	10	12
0	8	11
1	9	7
done	9	7
0	8	10
1	9	7
done	9	7
0	7	7
done	7	7
0	6	6
1	8	4
done	8	4
0	7	7
done	7	7
0	5	5
1	7	4
done	7	4
0	7	7
done	7	7
0	4	4
1	6	2
2	8	2
done	8	2
0	7	7
done	7	7
0	7	7
done	7	7
0	6	6
done	6	6
0	14	22
1	28	22
2	73	16
3	241	14
4	1246	14
5	2381	9
6	2644	9
7	4061	9
done	5000	9
0	14	22
1	28	22
2	73	16
3	241	14
4	1246	14
5	2381	9
6	2644	9
7	4061	9
done	5000	9
0	14	22
1	28	22
2	73	16
3	241	14
4	1246	14
5	2381	9
6	2644	9
7	4061	9
done	5000	9
0	17	27
1	32	26
2	91	22
3	304	20
4	974	19
5	2419	19
6	3101	19
7	3108	19
done	3108	19
0	17	26
1	30	26
2	83	22
3	291	20
4	922	19
5	2313	19
6	3011	19
7	3032	19
done	3032	19
0	16	26
1	30	25
2	76	21
3	224	19
4	696	18
5	2180	18
6	3141	18
7	3172	18
done	3172	18
0	16	25
1	28	25
2	69	21
3	210	19
4	629	18
5	1885	18
6	2841	18
7	2886	18
done	2886	18
0	15	24
1	27	24
2	64	20
3	162	19
4	465	18
5	1334	18
6	2418	18
7	2676	18
8	2678	18
done	2678	18
0	18	28
1	37	26
2	112	22
3	452	21
4	1962	19
5	3983	19
6	4502	19
7	4503	19
done	4503	19
0	18	27
1	35	26
2	104	22
3	431	21
4	1837	19
5	3735	19
6	4309	19
7	4310	19
done	4310	19
0	17	27
1	35	25
2	97	21
3	360	20
4	1457	18
5	3914	18
done	5001	18
0	17	26
1	33	25
2	90	21
3	336	20
4	1346	18
5	3482	18
6	4798	18
7	4836	18
done	4836	18
0	16	25
1	32	24
2	83	20
3	253	19
4	911	18
5	2343	18
6	3843	18
7	4064	18
done	4064	18
0	19	29
1	40	27
2	117	22
3	470	21
4	1988	19
5	4081	19
6	4617	19
7	4618	19
done	4618	19
0	19	28
1	38	27
2	109	22
3	445	21
4	1867	19
5	3820	19
6	4391	19
7	4392	19
done	4392	19
0	18	28
1	38	26
2	102	21
3	376	20
4	1466	18
5	3921	18
done	5000	18
0	18	27
1	36	26
2	95	21
3	352	20
4	1353	18
5	3452	18
6	4802	18
7	4846	18
done	4846	18
0	17	26
1	35	25
2	88	20
3	268	19
4	929	18
5	2350	18
6	3821	18
7	4049	18
done	4049	18
0	19	28
1	39	26
2	105	26
3	388	21
4	1637	19
5	3982	19
6	4633	19
7	4634	19
done	4634	19
0	19	27
1	37	26
2	97	26
3	365	21
4	1539	19
5	4088	19
6	4869	19
7	4877	19
done	4877	19
0	18	27
1	37	25
2	90	25
3	306	20
4	1221	18
5	3545	18
6	4733	18
7	4776	18
done	4776	18
0	18	26
1	35	25
2	83	25
3	283	20
4	1110	18
5	3353	18
6	4974	18
done	5000	18
0	17	25
1	34	24
2	77	24
3	220	19
4	787	18
5	2311	18
6	4073	18
7	4346	18
done	4346	18
0	18	27
1	37	26
2	84	18
3	282	18
4	1291	13
5	3596	13
6	4674	13
7	4719	13
done	4719	13
0	18	26
1	35	26
2	78	18
3	263	18
4	1160	15
5	3592	13
6	4896	13
done	5000	13
0	17	26
1	35	25
2	71	18
3	223	17
4	979	16
5	3244	13
6	4550	13
7	4773	13
done	4773	13
0	17	25
1	33	25
2	66	18
3	204	17
4	884	16
5	3164	13
done	5000	13
0	16	24
1	32	24
2	64	17
3	178	16
4	622	16
5	2408	12
6	4519	12
done	5000	12
0	15	23
1	32	23
2	98	17
3	329	15
4	1639	15
5	4428	10
done	5000	10
0	15	23
1	31	23
2	84	17
3	289	15
4	1515	15
5	4058	10
done	5000	10
0	24	68
1	64	47
2	278	26
3	2543	17
done	5000	17
0	24	68
1	65	47
2	276	24
3	2550	17
done	5000	17
0	22	68
1	60	52
2	250	30
3	1834	18
done	5000	18
0	22	68
1	61	52
2	248	28
3	1841	18
done	5001	18
0	20	68
1	54	52
2	240	26
3	1824	18
done	5000	18
0	24	68
1	67	57
2	309	27
3	2664	19
done	5000	18
0	24	68
1	68	57
2	305	25
3	2637	19
done	5000	18
0	22	68
1	63	62
2	272	30
3	1976	23
done	5000	23
0	22	68
1	64	62
2	270	28
3	1976	23
done	5000	23
0	20	68
1	57	62
2	262	26
3	1966	23
done	5000	23
0	22	68
1	59	63
2	253	26
3	1956	20
done	5001	17
0	22	68
1	60	63
2	251	24
3	1963	20
done	5001	17
0	20	68
1	55	68
2	219	24
3	1348	20
done	5000	18
0	20	68
1	56	68
2	216	22
3	1345	20
done	5000	18
0	18	68
1	49	68
2	212	20
3	1446	20
done	5000	18
0	16	47
1	30	47
2	75	35
3	241	31
4	1221	31
5	2359	21
6	2608	21
7	4019	21
done	5000	21
0	15	23
1	29	23
2	74	17
3	238	15
4	1210	15
5	2315	10
6	2589	10
7	4002	10
done	5000	10
0	16	68
1	40	68
2	204	18
3	1653	16
done	5000	16
0	15	23
1	29	23
2	74	17
3	238	15
4	1210	15
5	2315	10
6	2589	10
7	4002	10
done	5000	10
0	15	23
1	29	23
2	74	17
3	238	15
4	1210	15
5	2315	10
6	2589	10
7	4002	10
done	5000	10
0	12	13
1	22	13
2	46	11
3	130	11
4	235	11
5	239	11
done	239	11
0	5	8
1	6	8
done	6	8
0	11	18
1	20	18
2	36	12
3	80	10
4	252	5
5	389	5
6	441	5
7	686	5
8	1573	5
9	4977	5
done	5000	5
0	15	23
1	27	23
2	53	17
3	119	17
4	316	17
5	588	17
6	705	17
7	718	17
done	718	17
0	15	23
1	27	23
2	53	17
3	119	17
4	316	17
5	588	17
6	705	17
7	718	17
done	718	17
0	16	24
1	28	24
2	66	24
3	158	24
4	357	24
5	737	24
6	1131	24
7	1225	24
8	1228	24
done	1228	24
0	17	24
1	29	24
2	67	24
3	164	24
4	361	24
5	736	24
6	1134	24
7	1232	24
8	1236	24
done	1236	24
0	18	24
1	30	24
2	68	24
3	164	24
4	365	24
5	738	24
6	1136	24
7	1235	24
8	1238	24
done	1238	24
0	19	24
1	31	24
2	69	24
3	162	24
4	363	24
5	759	24
6	1149	24
7	1240	24
8	1242	24
done	1242	24
0	16	24
1	28	24
2	66	24
3	158	24
4	357	24
5	737	24
6	1131	24
7	1225	24
8	1228	24
done	1228	24
0	15	23
1	27	23
2	65	23
3	158	23
4	359	23
5	755	23
6	1143	23
7	1234	23
8	1238	23
done	1238	23
0	16	24
1	28	24
2	66	24
3	158	24
4	357	24
5	737	24
6	1131	24
7	1225	24
8	1228	24
done	1228	24
0	15	23
1	27	23
2	65	23
3	158	23
4	359	23
5	755	23
6	1143	23
7	1234	23
8	1238	23
done	1238	23
0	16	24
1	28	24
2	66	24
3	158	24
4	357	24
5	737	24
6	1131	24
7	1225	24
8	1228	24
done	1228	24
0	15	23
1	27	23
2	65	23
3	158	23
4	359	23
5	755	23
6	1143	23
7	1234	23
8	1238	23
done	1238	23
0	16	24
1	28	24
2	66	24
3	158	24
4	357	24
5	737	24
6	1131	24
7	1225	24
8	1228	24
done	1228	24
0	15	23
1	27	23
2	65	23
3	158	23
4	359	23
5	755	23
6	1143	23
7	1234	23
8	1238	23
done	1238	23
0	16	24
1	28	24
2	66	24
3	158	24
4	357	24
5	737	24
6	1131	24
7	1225	24
8	1228	24
done	1228	24
0	17	24
1	29	24
2	67	24
3	164	24
4	361	24
5	736	24
6	1134	24
7	1232	24
8	1236	24
done	1236	24
0	18	24
1	30	24
2	68	24
3	164	24
4	365	24
5	738	24
6	1136	24
7	1235	24
8	1238	24
done	1238	24
0	19	24
1	31	24
2	69	24
3	162	24
4	363	24
5	759	24
6	1149	24
7	1240	24
8	1242	24
done	1242	24
0	16	24
1	28	24
2	66	24
3	158	24
4	357	24
5	737	24
6	1131	24
7	1225	24
8	1228	24
done	1228	24
0	15	23
1	27	23
2	65	23
3	158	23
4	359	23
5	755	23
6	1143	23
7	1234	23
8	1238	23
done	1238	23
0	16	24
1	28	24
2	66	24
3	158	24
4	357	24
5	737	24
6	1131	24
7	1225	24
8	1228	24
done	1228	24
0	15	23
1	27	23
2	65	23
3	158	23
4	359	23
5	755	23
6	1143	23
7	1234	23
8	1238	23
done	1238	23
0	16	24
1	28	24
2	66	24
3	158	24
4	357	24
5	737	24
6	1131	24
7	1225	24
8	1228	24
done	1228	24
0	15	23
1	27	23
2	65	23
3	158	23
4	359	23
5	755	23
6	1143	23
7	1234	23
8	1238	23
done	1238	23
0	16	24
1	28	24
2	66	24
3	158	24
4	357	24
5	737	24
6	1131	24
7	1225	24
8	1228	24
done	1228	24
0	15	23
1	27	23
2	65	23
3	158	23
4	359	23
5	755	23
6	1143	23
7	1234	23
8	1238	23
done	1238	23
0	16	25
1	30	24
2	75	24
3	223	22
4	825	22
5	1901	22
6	2460	22
7	2547	22
done	2547	22
0	18	25
1	32	24
2	80	24
3	257	22
4	1072	22
5	2764	22
6	3802	22
7	4004	22
done	4004	22
0	19	25
1	33	24
2	81	24
3	255	22
4	1095	22
5	2836	22
6	3858	22
7	4044	22
done	4044	22
0	20	25
1	34	24
2	82	24
3	256	22
4	1063	22
5	2814	22
6	3921	22
7	4134	22
done	4134	22
0	17	25
1	31	24
2	79	24
3	255	22
4	1064	22
5	2766	22
6	3792	22
7	3978	22
done	3978	22
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2852	21
6	3892	21
7	4076	21
done	4076	21
0	17	25
1	31	24
2	79	24
3	255	22
4	1064	22
5	2766	22
6	3792	22
7	3978	22
done	3978	22
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2852	21
6	3892	21
7	4076	21
done	4076	21
0	17	25
1	31	24
2	79	24
3	255	22
4	1064	22
5	2766	22
6	3792	22
7	3978	22
done	3978	22
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2852	21
6	3892	21
7	4076	21
done	4076	21
0	17	25
1	31	24
2	79	24
3	255	22
4	1064	22
5	2766	22
6	3792	22
7	3978	22
done	3978	22
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2852	21
6	3892	21
7	4076	21
done	4076	21
0	18	25
1	32	24
2	80	24
3	257	22
4	1072	22
5	2764	22
6	3802	22
7	4004	22
done	4004	22
0	16	25
1	30	24
2	75	17
3	224	15
4	826	15
5	1885	15
6	2441	15
7	2523	15
done	2523	15
0	19	25
1	33	24
2	81	24
3	255	22
4	1095	22
5	2836	22
6	3858	22
7	4044	22
done	4044	22
0	20	25
1	34	24
2	82	24
3	256	22
4	1063	22
5	2814	22
6	3921	22
7	4134	22
done	4134	22
0	18	25
1	32	24
2	80	24
3	257	22
4	1072	22
5	2764	22
6	3802	22
7	4004	22
done	4004	22
0	17	24
1	31	23
2	79	23
3	255	21
4	1064	21
5	2766	21
6	3792	21
7	3978	21
done	3978	21
0	18	25
1	32	24
2	80	24
3	257	22
4	1072	22
5	2764	22
6	3802	22
7	4004	22
done	4004	22
0	17	24
1	31	23
2	79	23
3	255	21
4	1064	21
5	2766	21
6	3792	21
7	3978	21
done	3978	21
0	18	25
1	32	24
2	80	24
3	257	22
4	1072	22
5	2764	22
6	3802	22
7	4004	22
done	4004	22
0	17	24
1	31	23
2	79	23
3	255	21
4	1064	21
5	2766	21
6	3792	21
7	3978	21
done	3978	21
0	18	25
1	32	24
2	80	24
3	257	22
4	1072	22
5	2764	22
6	3802	22
7	4004	22
done	4004	22
0	17	24
1	31	23
2	79	23
3	255	21
4	1064	21
5	2766	21
6	3792	21
7	3978	21
done	3978	21
0	19	25
1	33	24
2	81	24
3	255	22
4	1095	22
5	2820	22
6	3872	22
7	4038	22
done	4038	22
0	19	25
1	33	24
2	81	24
3	255	22
4	1095	22
5	2820	22
6	3872	22
7	4038	22
done	4038	22
0	17	25
1	31	24
2	76	17
3	226	15
4	844	15
5	1968	15
6	2504	15
7	2591	15
done	2591	15
0	21	25
1	35	24
2	83	24
3	258	22
4	1095	22
5	2821	22
6	3909	22
7	4083	22
done	4083	22
0	19	25
1	33	24
2	81	24
3	255	22
4	1095	22
5	2820	22
6	3872	22
7	4038	22
done	4038	22
0	18	24
1	32	23
2	80	23
3	257	21
4	1072	21
5	2764	21
6	3787	21
7	4017	21
done	4017	21
0	19	25
1	33	24
2	81	24
3	255	22
4	1095	22
5	2820	22
6	3872	22
7	4038	22
done	4038	22
0	18	24
1	32	23
2	80	23
3	257	21
4	1072	21
5	2764	21
6	3787	21
7	4017	21
done	4017	21
0	19	25
1	33	24
2	81	24
3	255	22
4	1095	22
5	2820	22
6	3872	22
7	4038	22
done	4038	22
0	18	24
1	32	23
2	80	23
3	257	21
4	1072	21
5	2764	21
6	3787	21
7	4017	21
done	4017	21
0	19	25
1	33	24
2	81	24
3	255	22
4	1095	22
5	2820	22
6	3872	22
7	4038	22
done	4038	22
0	18	24
1	32	23
2	80	23
3	257	21
4	1072	21
5	2764	21
6	3787	21
7	4017	21
done	4017	21
0	20	25
1	34	24
2	82	24
3	256	22
4	1063	22
5	2802	22
6	3917	22
7	4134	22
done	4134	22
0	20	25
1	34	24
2	82	24
3	256	22
4	1063	22
5	2802	22
6	3917	22
7	4134	22
done	4134	22
0	21	25
1	35	24
2	83	24
3	258	22
4	1095	22
5	2821	22
6	3909	22
7	4083	22
done	4083	22
0	18	25
1	32	24
2	77	17
3	224	15
4	864	15
5	1932	15
6	2460	15
7	2569	15
done	2569	15
0	20	25
1	34	24
2	82	24
3	256	22
4	1063	22
5	2802	22
6	3917	22
7	4134	22
done	4134	22
0	19	24
1	33	23
2	81	23
3	255	21
4	1095	21
5	2798	21
6	3826	21
7	3986	21
done	3986	21
0	20	25
1	34	24
2	82	24
3	256	22
4	1063	22
5	2802	22
6	3917	22
7	4134	22
done	4134	22
0	19	24
1	33	23
2	81	23
3	255	21
4	1095	21
5	2798	21
6	3826	21
7	3986	21
done	3986	21
0	20	25
1	34	24
2	82	24
3	256	22
4	1063	22
5	2802	22
6	3917	22
7	4134	22
done	4134	22
0	19	24
1	33	23
2	81	23
3	255	21
4	1095	21
5	2798	21
6	3826	21
7	3986	21
done	3986	21
0	20	25
1	34	24
2	82	24
3	256	22
4	1063	22
5	2802	22
6	3917	22
7	4134	22
done	4134	22
0	19	24
1	33	23
2	81	23
3	255	21
4	1095	21
5	2798	21
6	3826	21
7	3986	21
done	3986	21
0	17	25
1	31	24
2	79	24
3	255	22
4	1064	22
5	2766	22
6	3792	22
7	3978	22
done	3978	22
0	18	25
1	32	24
2	80	24
3	257	22
4	1072	22
5	2764	22
6	3802	22
7	4004	22
done	4004	22
0	19	25
1	33	24
2	81	24
3	255	22
4	1095	22
5	2836	22
6	3858	22
7	4044	22
done	4044	22
0	20	25
1	34	24
2	82	24
3	256	22
4	1063	22
5	2814	22
6	3921	22
7	4134	22
done	4134	22
0	16	25
1	30	24
2	75	17
3	224	15
4	826	15
5	1885	15
6	2441	15
7	2523	15
done	2523	15
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2852	21
6	3892	21
7	4076	21
done	4076	21
0	16	25
1	30	24
2	75	17
3	224	15
4	826	15
5	1885	15
6	2441	15
7	2523	15
done	2523	15
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2852	21
6	3892	21
7	4076	21
done	4076	21
0	16	25
1	30	24
2	75	17
3	224	15
4	826	15
5	1885	15
6	2441	15
7	2523	15
done	2523	15
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2852	21
6	3892	21
7	4076	21
done	4076	21
0	16	25
1	30	24
2	75	17
3	224	15
4	826	15
5	1885	15
6	2441	15
7	2523	15
done	2523	15
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2852	21
6	3892	21
7	4076	21
done	4076	21
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2872	21
6	3989	21
7	4205	21
done	4205	21
0	17	24
1	31	23
2	79	23
3	255	21
4	1063	21
5	2718	21
6	3778	21
7	3964	21
done	3964	21
0	18	24
1	32	23
2	80	23
3	257	21
4	1073	21
5	2741	21
6	3816	21
7	4022	21
done	4022	21
0	19	24
1	33	23
2	81	23
3	255	21
4	1095	21
5	2826	21
6	3804	21
7	3997	21
done	3997	21
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2872	21
6	3989	21
7	4205	21
done	4205	21
0	15	23
1	29	22
2	74	16
3	241	14
4	1230	14
5	2365	9
6	2626	9
7	4079	9
done	5000	9
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2872	21
6	3989	21
7	4205	21
done	4205	21
0	15	23
1	29	22
2	74	16
3	241	14
4	1230	14
5	2365	9
6	2626	9
7	4079	9
done	5000	9
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2872	21
6	3989	21
7	4205	21
done	4205	21
0	15	23
1	29	22
2	74	16
3	241	14
4	1230	14
5	2365	9
6	2626	9
7	4079	9
done	5000	9
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2872	21
6	3989	21
7	4205	21
done	4205	21
0	15	23
1	29	22
2	74	16
3	241	14
4	1230	14
5	2365	9
6	2626	9
7	4079	9
done	5000	9
0	17	25
1	31	24
2	79	24
3	255	22
4	1064	22
5	2766	22
6	3792	22
7	3978	22
done	3978	22
0	18	25
1	32	24
2	80	24
3	257	22
4	1072	22
5	2764	22
6	3802	22
7	4004	22
done	4004	22
0	19	25
1	33	24
2	81	24
3	255	22
4	1095	22
5	2836	22
6	3858	22
7	4044	22
done	4044	22
0	20	25
1	34	24
2	82	24
3	256	22
4	1063	22
5	2814	22
6	3921	22
7	4134	22
done	4134	22
0	16	25
1	30	24
2	75	17
3	224	15
4	826	15
5	1885	15
6	2441	15
7	2523	15
done	2523	15
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2852	21
6	3892	21
7	4076	21
done	4076	21
0	16	25
1	30	24
2	75	17
3	224	15
4	826	15
5	1885	15
6	2441	15
7	2523	15
done	2523	15
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2852	21
6	3892	21
7	4076	21
done	4076	21
0	16	25
1	30	24
2	75	17
3	224	15
4	826	15
5	1885	15
6	2441	15
7	2523	15
done	2523	15
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2852	21
6	3892	21
7	4076	21
done	4076	21
0	16	25
1	30	24
2	75	17
3	224	15
4	826	15
5	1885	15
6	2441	15
7	2523	15
done	2523	15
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2852	21
6	3892	21
7	4076	21
done	4076	21
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2872	21
6	3989	21
7	4205	21
done	4205	21
0	17	24
1	31	23
2	79	23
3	255	21
4	1063	21
5	2718	21
6	3778	21
7	3964	21
done	3964	21
0	18	24
1	32	23
2	80	23
3	257	21
4	1073	21
5	2741	21
6	3816	21
7	4022	21
done	4022	21
0	19	24
1	33	23
2	81	23
3	255	21
4	1095	21
5	2826	21
6	3804	21
7	3997	21
done	3997	21
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2872	21
6	3989	21
7	4205	21
done	4205	21
0	15	23
1	29	22
2	74	16
3	241	14
4	1230	14
5	2365	9
6	2626	9
7	4079	9
done	5000	9
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2872	21
6	3989	21
7	4205	21
done	4205	21
0	15	23
1	29	22
2	74	16
3	241	14
4	1230	14
5	2365	9
6	2626	9
7	4079	9
done	5000	9
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2872	21
6	3989	21
7	4205	21
done	4205	21
0	15	23
1	29	22
2	74	16
3	241	14
4	1230	14
5	2365	9
6	2626	9
7	4079	9
done	5000	9
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2872	21
6	3989	21
7	4205	21
done	4205	21
0	15	23
1	29	22
2	74	16
3	241	14
4	1230	14
5	2365	9
6	2626	9
7	4079	9
done	5000	9
0	17	25
1	31	24
2	79	24
3	255	22
4	1064	22
5	2766	22
6	3792	22
7	3978	22
done	3978	22
0	18	25
1	32	24
2	80	24
3	257	22
4	1072	22
5	2764	22
6	3802	22
7	4004	22
done	4004	22
0	19	25
1	33	24
2	81	24
3	255	22
4	1095	22
5	2836	22
6	3858	22
7	4044	22
done	4044	22
0	20	25
1	34	24
2	82	24
3	256	22
4	1063	22
5	2814	22
6	3921	22
7	4134	22
done	4134	22
0	16	25
1	30	24
2	75	17
3	224	15
4	826	15
5	1885	15
6	2441	15
7	2523	15
done	2523	15
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2852	21
6	3892	21
7	4076	21
done	4076	21
0	16	25
1	30	24
2	75	17
3	224	15
4	826	15
5	1885	15
6	2441	15
7	2523	15
done	2523	15
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2852	21
6	3892	21
7	4076	21
done	4076	21
0	16	25
1	30	24
2	75	17
3	224	15
4	826	15
5	1885	15
6	2441	15
7	2523	15
done	2523	15
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2852	21
6	3892	21
7	4076	21
done	4076	21
0	16	25
1	30	24
2	75	17
3	224	15
4	826	15
5	1885	15
6	2441	15
7	2523	15
done	2523	15
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2852	21
6	3892	21
7	4076	21
done	4076	21
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2872	21
6	3989	21
7	4205	21
done	4205	21
0	17	24
1	31	23
2	79	23
3	255	21
4	1063	21
5	2718	21
6	3778	21
7	3964	21
done	3964	21
0	18	24
1	32	23
2	80	23
3	257	21
4	1073	21
5	2741	21
6	3816	21
7	4022	21
done	4022	21
0	19	24
1	33	23
2	81	23
3	255	21
4	1095	21
5	2826	21
6	3804	21
7	3997	21
done	3997	21
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2872	21
6	3989	21
7	4205	21
done	4205	21
0	15	23
1	29	22
2	74	16
3	241	14
4	1230	14
5	2365	9
6	2626	9
7	4079	9
done	5000	9
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2872	21
6	3989	21
7	4205	21
done	4205	21
0	15	23
1	29	22
2	74	16
3	241	14
4	1230	14
5	2365	9
6	2626	9
7	4079	9
done	5000	9
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2872	21
6	3989	21
7	4205	21
done	4205	21
0	15	23
1	29	22
2	74	16
3	241	14
4	1230	14
5	2365	9
6	2626	9
7	4079	9
done	5000	9
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2872	21
6	3989	21
7	4205	21
done	4205	21
0	15	23
1	29	22
2	74	16
3	241	14
4	1230	14
5	2365	9
6	2626	9
7	4079	9
done	5000	9
0	17	25
1	31	24
2	79	24
3	255	22
4	1064	22
5	2766	22
6	3792	22
7	3978	22
done	3978	22
0	18	25
1	32	24
2	80	24
3	257	22
4	1072	22
5	2764	22
6	3802	22
7	4004	22
done	4004	22
0	19	25
1	33	24
2	81	24
3	255	22
4	1095	22
5	2836	22
6	3858	22
7	4044	22
done	4044	22
0	20	25
1	34	24
2	82	24
3	256	22
4	1063	22
5	2814	22
6	3921	22
7	4134	22
done	4134	22
0	16	25
1	30	24
2	75	17
3	224	15
4	826	15
5	1885	15
6	2441	15
7	2523	15
done	2523	15
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2852	21
6	3892	21
7	4076	21
done	4076	21
0	16	25
1	30	24
2	75	17
3	224	15
4	826	15
5	1885	15
6	2441	15
7	2523	15
done	2523	15
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2852	21
6	3892	21
7	4076	21
done	4076	21
0	16	25
1	30	24
2	75	17
3	224	15
4	826	15
5	1885	15
6	2441	15
7	2523	15
done	2523	15
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2852	21
6	3892	21
7	4076	21
done	4076	21
0	16	25
1	30	24
2	75	17
3	224	15
4	826	15
5	1885	15
6	2441	15
7	2523	15
done	2523	15
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2852	21
6	3892	21
7	4076	21
done	4076	21
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2872	21
6	3989	21
7	4205	21
done	4205	21
0	17	24
1	31	23
2	79	23
3	255	21
4	1063	21
5	2718	21
6	3778	21
7	3964	21
done	3964	21
0	18	24
1	32	23
2	80	23
3	257	21
4	1073	21
5	2741	21
6	3816	21
7	4022	21
done	4022	21
0	19	24
1	33	23
2	81	23
3	255	21
4	1095	21
5	2826	21
6	3804	21
7	3997	21
done	3997	21
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2872	21
6	3989	21
7	4205	21
done	4205	21
0	15	23
1	29	22
2	74	16
3	241	14
4	1230	14
5	2365	9
6	2626	9
7	4079	9
done	5000	9
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2872	21
6	3989	21
7	4205	21
done	4205	21
0	15	23
1	29	22
2	74	16
3	241	14
4	1230	14
5	2365	9
6	2626	9
7	4079	9
done	5000	9
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2872	21
6	3989	21
7	4205	21
done	4205	21
0	15	23
1	29	22
2	74	16
3	241	14
4	1230	14
5	2365	9
6	2626	9
7	4079	9
done	5000	9
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2872	21
6	3989	21
7	4205	21
done	4205	21
0	15	23
1	29	22
2	74	16
3	241	14
4	1230	14
5	2365	9
6	2626	9
7	4079	9
done	5000	9
0	16	25
1	30	24
2	75	24
3	223	22
4	825	22
5	1901	22
6	2460	22
7	2547	22
done	2547	22
0	18	25
1	32	24
2	80	24
3	257	22
4	1072	22
5	2764	22
6	3802	22
7	4004	22
done	4004	22
0	19	25
1	33	24
2	81	24
3	255	22
4	1095	22
5	2836	22
6	3858	22
7	4044	22
done	4044	22
0	20	25
1	34	24
2	82	24
3	256	22
4	1063	22
5	2814	22
6	3921	22
7	4134	22
done	4134	22
0	17	25
1	31	24
2	79	24
3	255	22
4	1064	22
5	2766	22
6	3792	22
7	3978	22
done	3978	22
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2852	21
6	3892	21
7	4076	21
done	4076	21
0	17	25
1	31	24
2	79	24
3	255	22
4	1064	22
5	2766	22
6	3792	22
7	3978	22
done	3978	22
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2852	21
6	3892	21
7	4076	21
done	4076	21
0	17	25
1	31	24
2	79	24
3	255	22
4	1064	22
5	2766	22
6	3792	22
7	3978	22
done	3978	22
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2852	21
6	3892	21
7	4076	21
done	4076	21
0	17	25
1	31	24
2	79	24
3	255	22
4	1064	22
5	2766	22
6	3792	22
7	3978	22
done	3978	22
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2852	21
6	3892	21
7	4076	21
done	4076	21
0	18	25
1	32	24
2	80	24
3	257	22
4	1072	22
5	2764	22
6	3802	22
7	4004	22
done	4004	22
0	16	25
1	30	24
2	75	17
3	224	15
4	826	15
5	1885	15
6	2441	15
7	2523	15
done	2523	15
0	19	25
1	33	24
2	81	24
3	255	22
4	1095	22
5	2836	22
6	3858	22
7	4044	22
done	4044	22
0	20	25
1	34	24
2	82	24
3	256	22
4	1063	22
5	2814	22
6	3921	22
7	4134	22
done	4134	22
0	18	25
1	32	24
2	80	24
3	257	22
4	1072	22
5	2764	22
6	3802	22
7	4004	22
done	4004	22
0	17	24
1	31	23
2	79	23
3	255	21
4	1064	21
5	2766	21
6	3792	21
7	3978	21
done	3978	21
0	18	25
1	32	24
2	80	24
3	257	22
4	1072	22
5	2764	22
6	3802	22
7	4004	22
done	4004	22
0	17	24
1	31	23
2	79	23
3	255	21
4	1064	21
5	2766	21
6	3792	21
7	3978	21
done	3978	21
0	18	25
1	32	24
2	80	24
3	257	22
4	1072	22
5	2764	22
6	3802	22
7	4004	22
done	4004	22
0	17	24
1	31	23
2	79	23
3	255	21
4	1064	21
5	2766	21
6	3792	21
7	3978	21
done	3978	21
0	18	25
1	32	24
2	80	24
3	257	22
4	1072	22
5	2764	22
6	3802	22
7	4004	22
done	4004	22
0	17	24
1	31	23
2	79	23
3	255	21
4	1064	21
5	2766	21
6	3792	21
7	3978	21
done	3978	21
0	19	25
1	33	24
2	81	24
3	255	22
4	1095	22
5	2820	22
6	3872	22
7	4038	22
done	4038	22
0	19	25
1	33	24
2	81	24
3	255	22
4	1095	22
5	2820	22
6	3872	22
7	4038	22
done	4038	22
0	17	25
1	31	24
2	76	17
3	226	15
4	844	15
5	1968	15
6	2504	15
7	2591	15
done	2591	15
0	21	25
1	35	24
2	83	24
3	258	22
4	1095	22
5	2821	22
6	3909	22
7	4083	22
done	4083	22
0	19	25
1	33	24
2	81	24
3	255	22
4	1095	22
5	2820	22
6	3872	22
7	4038	22
done	4038	22
0	18	24
1	32	23
2	80	23
3	257	21
4	1072	21
5	2764	21
6	3787	21
7	4017	21
done	4017	21
0	19	25
1	33	24
2	81	24
3	255	22
4	1095	22
5	2820	22
6	3872	22
7	4038	22
done	4038	22
0	18	24
1	32	23
2	80	23
3	257	21
4	1072	21
5	2764	21
6	3787	21
7	4017	21
done	4017	21
0	19	25
1	33	24
2	81	24
3	255	22
4	1095	22
5	2820	22
6	3872	22
7	4038	22
done	4038	22
0	18	24
1	32	23
2	80	23
3	257	21
4	1072	21
5	2764	21
6	3787	21
7	4017	21
done	4017	21
0	19	25
1	33	24
2	81	24
3	255	22
4	1095	22
5	2820	22
6	3872	22
7	4038	22
done	4038	22
0	18	24
1	32	23
2	80	23
3	257	21
4	1072	21
5	2764	21
6	3787	21
7	4017	21
done	4017	21
0	20	25
1	34	24
2	82	24
3	256	22
4	1063	22
5	2802	22
6	3917	22
7	4134	22
done	4134	22
0	20	25
1	34	24
2	82	24
3	256	22
4	1063	22
5	2802	22
6	3917	22
7	4134	22
done	4134	22
0	21	25
1	35	24
2	83	24
3	258	22
4	1095	22
5	2821	22
6	3909	22
7	4083	22
done	4083	22
0	18	25
1	32	24
2	77	17
3	224	15
4	864	15
5	1932	15
6	2460	15
7	2569	15
done	2569	15
0	20	25
1	34	24
2	82	24
3	256	22
4	1063	22
5	2802	22
6	3917	22
7	4134	22
done	4134	22
0	19	24
1	33	23
2	81	23
3	255	21
4	1095	21
5	2798	21
6	3826	21
7	3986	21
done	3986	21
0	20	25
1	34	24
2	82	24
3	256	22
4	1063	22
5	2802	22
6	3917	22
7	4134	22
done	4134	22
0	19	24
1	33	23
2	81	23
3	255	21
4	1095	21
5	2798	21
6	3826	21
7	3986	21
done	3986	21
0	20	25
1	34	24
2	82	24
3	256	22
4	1063	22
5	2802	22
6	3917	22
7	4134	22
done	4134	22
0	19	24
1	33	23
2	81	23
3	255	21
4	1095	21
5	2798	21
6	3826	21
7	3986	21
done	3986	21
0	20	25
1	34	24
2	82	24
3	256	22
4	1063	22
5	2802	22
6	3917	22
7	4134	22
done	4134	22
0	19	24
1	33	23
2	81	23
3	255	21
4	1095	21
5	2798	21
6	3826	21
7	3986	21
done	3986	21
0	17	25
1	31	24
2	79	24
3	255	22
4	1064	22
5	2766	22
6	3792	22
7	3978	22
done	3978	22
0	18	25
1	32	24
2	80	24
3	257	22
4	1072	22
5	2764	22
6	3802	22
7	4004	22
done	4004	22
0	19	25
1	33	24
2	81	24
3	255	22
4	1095	22
5	2836	22
6	3858	22
7	4044	22
done	4044	22
0	20	25
1	34	24
2	82	24
3	256	22
4	1063	22
5	2814	22
6	3921	22
7	4134	22
done	4134	22
0	16	25
1	30	24
2	75	17
3	224	15
4	826	15
5	1885	15
6	2441	15
7	2523	15
done	2523	15
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2852	21
6	3892	21
7	4076	21
done	4076	21
0	16	25
1	30	24
2	75	17
3	224	15
4	826	15
5	1885	15
6	2441	15
7	2523	15
done	2523	15
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2852	21
6	3892	21
7	4076	21
done	4076	21
0	16	25
1	30	24
2	75	17
3	224	15
4	826	15
5	1885	15
6	2441	15
7	2523	15
done	2523	15
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2852	21
6	3892	21
7	4076	21
done	4076	21
0	16	25
1	30	24
2	75	17
3	224	15
4	826	15
5	1885	15
6	2441	15
7	2523	15
done	2523	15
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2852	21
6	3892	21
7	4076	21
done	4076	21
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2872	21
6	3989	21
7	4205	21
done	4205	21
0	17	24
1	31	23
2	79	23
3	255	21
4	1063	21
5	2718	21
6	3778	21
7	3964	21
done	3964	21
0	18	24
1	32	23
2	80	23
3	257	21
4	1073	21
5	2741	21
6	3816	21
7	4022	21
done	4022	21
0	19	24
1	33	23
2	81	23
3	255	21
4	1095	21
5	2826	21
6	3804	21
7	3997	21
done	3997	21
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2872	21
6	3989	21
7	4205	21
done	4205	21
0	15	23
1	29	22
2	74	16
3	241	14
4	1230	14
5	2365	9
6	2626	9
7	4079	9
done	5000	9
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2872	21
6	3989	21
7	4205	21
done	4205	21
0	15	23
1	29	22
2	74	16
3	241	14
4	1230	14
5	2365	9
6	2626	9
7	4079	9
done	5000	9
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2872	21
6	3989	21
7	4205	21
done	4205	21
0	15	23
1	29	22
2	74	16
3	241	14
4	1230	14
5	2365	9
6	2626	9
7	4079	9
done	5000	9
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2872	21
6	3989	21
7	4205	21
done	4205	21
0	15	23
1	29	22
2	74	16
3	241	14
4	1230	14
5	2365	9
6	2626	9
7	4079	9
done	5000	9
0	17	25
1	31	24
2	79	24
3	255	22
4	1064	22
5	2766	22
6	3792	22
7	3978	22
done	3978	22
0	18	25
1	32	24
2	80	24
3	257	22
4	1072	22
5	2764	22
6	3802	22
7	4004	22
done	4004	22
0	19	25
1	33	24
2	81	24
3	255	22
4	1095	22
5	2836	22
6	3858	22
7	4044	22
done	4044	22
0	20	25
1	34	24
2	82	24
3	256	22
4	1063	22
5	2814	22
6	3921	22
7	4134	22
done	4134	22
0	16	25
1	30	24
2	75	17
3	224	15
4	826	15
5	1885	15
6	2441	15
7	2523	15
done	2523	15
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2852	21
6	3892	21
7	4076	21
done	4076	21
0	16	25
1	30	24
2	75	17
3	224	15
4	826	15
5	1885	15
6	2441	15
7	2523	15
done	2523	15
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2852	21
6	3892	21
7	4076	21
done	4076	21
0	16	25
1	30	24
2	75	17
3	224	15
4	826	15
5	1885	15
6	2441	15
7	2523	15
done	2523	15
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2852	21
6	3892	21
7	4076	21
done	4076	21
0	16	25
1	30	24
2	75	17
3	224	15
4	826	15
5	1885	15
6	2441	15
7	2523	15
done	2523	15
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2852	21
6	3892	21
7	4076	21
done	4076	21
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2872	21
6	3989	21
7	4205	21
done	4205	21
0	17	24
1	31	23
2	79	23
3	255	21
4	1063	21
5	2718	21
6	3778	21
7	3964	21
done	3964	21
0	18	24
1	32	23
2	80	23
3	257	21
4	1073	21
5	2741	21
6	3816	21
7	4022	21
done	4022	21
0	19	24
1	33	23
2	81	23
3	255	21
4	1095	21
5	2826	21
6	3804	21
7	3997	21
done	3997	21
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2872	21
6	3989	21
7	4205	21
done	4205	21
0	15	23
1	29	22
2	74	16
3	241	14
4	1230	14
5	2365	9
6	2626	9
7	4079	9
done	5000	9
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2872	21
6	3989	21
7	4205	21
done	4205	21
0	15	23
1	29	22
2	74	16
3	241	14
4	1230	14
5	2365	9
6	2626	9
7	4079	9
done	5000	9
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2872	21
6	3989	21
7	4205	21
done	4205	21
0	15	23
1	29	22
2	74	16
3	241	14
4	1230	14
5	2365	9
6	2626	9
7	4079	9
done	5000	9
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2872	21
6	3989	21
7	4205	21
done	4205	21
0	15	23
1	29	22
2	74	16
3	241	14
4	1230	14
5	2365	9
6	2626	9
7	4079	9
done	5000	9
0	17	25
1	31	24
2	79	24
3	255	22
4	1064	22
5	2766	22
6	3792	22
7	3978	22
done	3978	22
0	18	25
1	32	24
2	80	24
3	257	22
4	1072	22
5	2764	22
6	3802	22
7	4004	22
done	4004	22
0	19	25
1	33	24
2	81	24
3	255	22
4	1095	22
5	2836	22
6	3858	22
7	4044	22
done	4044	22
0	20	25
1	34	24
2	82	24
3	256	22
4	1063	22
5	2814	22
6	3921	22
7	4134	22
done	4134	22
0	16	25
1	30	24
2	75	17
3	224	15
4	826	15
5	1885	15
6	2441	15
7	2523	15
done	2523	15
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2852	21
6	3892	21
7	4076	21
done	4076	21
0	16	25
1	30	24
2	75	17
3	224	15
4	826	15
5	1885	15
6	2441	15
7	2523	15
done	2523	15
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2852	21
6	3892	21
7	4076	21
done	4076	21
0	16	25
1	30	24
2	75	17
3	224	15
4	826	15
5	1885	15
6	2441	15
7	2523	15
done	2523	15
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2852	21
6	3892	21
7	4076	21
done	4076	21
0	16	25
1	30	24
2	75	17
3	224	15
4	826	15
5	1885	15
6	2441	15
7	2523	15
done	2523	15
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2852	21
6	3892	21
7	4076	21
done	4076	21
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2872	21
6	3989	21
7	4205	21
done	4205	21
0	17	24
1	31	23
2	79	23
3	255	21
4	1063	21
5	2718	21
6	3778	21
7	3964	21
done	3964	21
0	18	24
1	32	23
2	80	23
3	257	21
4	1073	21
5	2741	21
6	3816	21
7	4022	21
done	4022	21
0	19	24
1	33	23
2	81	23
3	255	21
4	1095	21
5	2826	21
6	3804	21
7	3997	21
done	3997	21
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2872	21
6	3989	21
7	4205	21
done	4205	21
0	15	23
1	29	22
2	74	16
3	241	14
4	1230	14
5	2365	9
6	2626	9
7	4079	9
done	5000	9
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2872	21
6	3989	21
7	4205	21
done	4205	21
0	15	23
1	29	22
2	74	16
3	241	14
4	1230	14
5	2365	9
6	2626	9
7	4079	9
done	5000	9
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2872	21
6	3989	21
7	4205	21
done	4205	21
0	15	23
1	29	22
2	74	16
3	241	14
4	1230	14
5	2365	9
6	2626	9
7	4079	9
done	5000	9
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2872	21
6	3989	21
7	4205	21
done	4205	21
0	15	23
1	29	22
2	74	16
3	241	14
4	1230	14
5	2365	9
6	2626	9
7	4079	9
done	5000	9
0	17	25
1	31	24
2	79	24
3	255	22
4	1064	22
5	2766	22
6	3792	22
7	3978	22
done	3978	22
0	18	25
1	32	24
2	80	24
3	257	22
4	1072	22
5	2764	22
6	3802	22
7	4004	22
done	4004	22
0	19	25
1	33	24
2	81	24
3	255	22
4	1095	22
5	2836	22
6	3858	22
7	4044	22
done	4044	22
0	20	25
1	34	24
2	82	24
3	256	22
4	1063	22
5	2814	22
6	3921	22
7	4134	22
done	4134	22
0	16	25
1	30	24
2	75	17
3	224	15
4	826	15
5	1885	15
6	2441	15
7	2523	15
done	2523	15
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2852	21
6	3892	21
7	4076	21
done	4076	21
0	16	25
1	30	24
2	75	17
3	224	15
4	826	15
5	1885	15
6	2441	15
7	2523	15
done	2523	15
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2852	21
6	3892	21
7	4076	21
done	4076	21
0	16	25
1	30	24
2	75	17
3	224	15
4	826	15
5	1885	15
6	2441	15
7	2523	15
done	2523	15
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2852	21
6	3892	21
7	4076	21
done	4076	21
0	16	25
1	30	24
2	75	17
3	224	15
4	826	15
5	1885	15
6	2441	15
7	2523	15
done	2523	15
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2852	21
6	3892	21
7	4076	21
done	4076	21
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2872	21
6	3989	21
7	4205	21
done	4205	21
0	17	24
1	31	23
2	79	23
3	255	21
4	1063	21
5	2718	21
6	3778	21
7	3964	21
done	3964	21
0	18	24
1	32	23
2	80	23
3	257	21
4	1073	21
5	2741	21
6	3816	21
7	4022	21
done	4022	21
0	19	24
1	33	23
2	81	23
3	255	21
4	1095	21
5	2826	21
6	3804	21
7	3997	21
done	3997	21
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2872	21
6	3989	21
7	4205	21
done	4205	21
0	15	23
1	29	22
2	74	16
3	241	14
4	1230	14
5	2365	9
6	2626	9
7	4079	9
done	5000	9
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2872	21
6	3989	21
7	4205	21
done	4205	21
0	15	23
1	29	22
2	74	16
3	241	14
4	1230	14
5	2365	9
6	2626	9
7	4079	9
done	5000	9
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2872	21
6	3989	21
7	4205	21
done	4205	21
0	15	23
1	29	22
2	74	16
3	241	14
4	1230	14
5	2365	9
6	2626	9
7	4079	9
done	5000	9
0	16	24
1	30	23
2	78	23
3	256	21
4	1114	21
5	2872	21
6	3989	21
7	4205	21
done	4205	21
0	15	23
1	29	22
2	74	16
3	241	14
4	1230	14
5	2365	9
6	2626	9
7	4079	9
done	5000	9
0	15	24
1	29	24
2	74	24
3	219	22
4	836	22
5	1879	22
6	2414	22
7	2506	22
done	2506	22
0	17	24
1	31	24
2	79	24
3	255	22
4	1064	22
5	2726	22
6	3782	22
7	3964	22
done	3964	22
0	18	24
1	32	24
2	80	24
3	257	22
4	1073	22
5	2742	22
6	3782	22
7	3975	22
done	3975	22
0	19	24
1	33	24
2	81	24
3	255	22
4	1095	22
5	2821	22
6	3862	22
7	4023	22
done	4023	22
0	16	24
1	30	24
2	78	24
3	256	22
4	1116	22
5	2808	22
6	3861	22
7	4039	22
done	4039	22
0	15	23
1	29	23
2	77	23
3	255	21
4	1108	21
5	2809	21
6	3829	21
7	4032	21
done	4032	21
0	16	24
1	30	24
2	78	24
3	256	22
4	1116	22
5	2808	22
6	3861	22
7	4039	22
done	4039	22
0	15	23
1	29	23
2	77	23
3	255	21
4	1108	21
5	2809	21
6	3829	21
7	4032	21
done	4032	21
0	16	24
1	30	24
2	78	24
3	256	22
4	1116	22
5	2808	22
6	3861	22
7	4039	22
done	4039	22
0	15	23
1	29	23
2	77	23
3	255	21
4	1108	21
5	2809	21
6	3829	21
7	4032	21
done	4032	21
0	16	24
1	30	24
2	78	24
3	256	22
4	1116	22
5	2808	22
6	3861	22
7	4039	22
done	4039	22
0	15	23
1	29	23
2	77	23
3	255	21
4	1108	21
5	2809	21
6	3829	21
7	4032	21
done	4032	21
0	17	24
1	31	24
2	79	24
3	255	22
4	1064	22
5	2726	22
6	3782	22
7	3964	22
done	3964	22
0	15	24
1	29	24
2	74	17
3	220	15
4	837	15
5	1880	15
6	2429	15
7	2507	15
done	2507	15
0	18	24
1	32	24
2	80	24
3	257	22
4	1073	22
5	2742	22
6	3782	22
7	3975	22
done	3975	22
0	19	24
1	33	24
2	81	24
3	255	22
4	1095	22
5	2821	22
6	3862	22
7	4023	22
done	4023	22
0	17	24
1	31	24
2	79	24
3	255	22
4	1064	22
5	2726	22
6	3782	22
7	3964	22
done	3964	22
0	16	23
1	30	23
2	78	23
3	256	21
4	1116	21
5	2808	21
6	3861	21
7	4039	21
done	4039	21
0	17	24
1	31	24
2	79	24
3	255	22
4	1064	22
5	2726	22
6	3782	22
7	3964	22
done	3964	22
0	16	23
1	30	23
2	78	23
3	256	21
4	1116	21
5	2808	21
6	3861	21
7	4039	21
done	4039	21
0	17	24
1	31	24
2	79	24
3	255	22
4	1064	22
5	2726	22
6	3782	22
7	3964	22
done	3964	22
0	16	23
1	30	23
2	78	23
3	256	21
4	1116	21
5	2808	21
6	3861	21
7	4039	21
done	4039	21
0	17	24
1	31	24
2	79	24
3	255	22
4	1064	22
5	2726	22
6	3782	22
7	3964	22
done	3964	22
0	16	23
1	30	23
2	78	23
3	256	21
4	1116	21
5	2808	21
6	3861	21
7	4039	21
done	4039	21
0	18	24
1	32	24
2	80	24
3	257	22
4	1073	22
5	2744	22
6	3796	22
7	3982	22
done	3982	22
0	18	24
1	32	24
2	80	24
3	257	22
4	1073	22
5	2744	22
6	3796	22
7	3982	22
done	3982	22
0	16	24
1	30	24
2	75	17
3	225	15
4	854	15
5	1953	15
6	2512	15
7	2628	15
done	2628	15
0	20	24
1	34	24
2	82	24
3	256	22
4	1092	22
5	2771	22
6	3859	22
7	4037	22
done	4037	22
0	18	24
1	32	24
2	80	24
3	257	22
4	1073	22
5	2744	22
6	3796	22
7	3982	22
done	3982	22
0	17	23
1	31	23
2	79	23
3	255	21
4	1064	21
5	2734	21
6	3786	21
7	3983	21
done	3983	21
0	18	24
1	32	24
2	80	24
3	257	22
4	1073	22
5	2744	22
6	3796	22
7	3982	22
done	3982	22
0	17	23
1	31	23
2	79	23
3	255	21
4	1064	21
5	2734	21
6	3786	21
7	3983	21
done	3983	21
0	18	24
1	32	24
2	80	24
3	257	22
4	1073	22
5	2744	22
6	3796	22
7	3982	22
done	3982	22
0	17	23
1	31	23
2	79	23
3	255	21
4	1064	21
5	2734	21
6	3786	21
7	3983	21
done	3983	21
0	18	24
1	32	24
2	80	24
3	257	22
4	1073	22
5	2744	22
6	3796	22
7	3982	22
done	3982	22
0	17	23
1	31	23
2	79	23
3	255	21
4	1064	21
5	2734	21
6	3786	21
7	3983	21
done	3983	21
0	19	24
1	33	24
2	81	24
3	255	22
4	1095	22
5	2833	22
6	3846	22
7	4048	22
done	4048	22
0	19	24
1	33	24
2	81	24
3	255	22
4	1095	22
5	2833	22
6	3846	22
7	4048	22
done	4048	22
0	20	24
1	34	24
2	82	24
3	256	22
4	1092	22
5	2771	22
6	3859	22
7	4037	22
done	4037	22
0	17	24
1	31	24
2	76	17
3	226	15
4	835	15
5	1896	15
6	2438	15
7	2531	15
done	2531	15
0	19	24
1	33	24
2	81	24
3	255	22
4	1095	22
5	2833	22
6	3846	22
7	4048	22
done	4048	22
0	18	23
1	32	23
2	80	23
3	257	21
4	1073	21
5	2717	21
6	3802	21
7	4001	21
done	4001	21
0	19	24
1	33	24
2	81	24
3	255	22
4	1095	22
5	2833	22
6	3846	22
7	4048	22
done	4048	22
0	18	23
1	32	23
2	80	23
3	257	21
4	1073	21
5	2717	21
6	3802	21
7	4001	21
done	4001	21
0	19	24
1	33	24
2	81	24
3	255	22
4	1095	22
5	2833	22
6	3846	22
7	4048	22
done	4048	22
0	18	23
1	32	23
2	80	23
3	257	21
4	1073	21
5	2717	21
6	3802	21
7	4001	21
done	4001	21
0	19	24
1	33	24
2	81	24
3	255	22
4	1095	22
5	2833	22
6	3846	22
7	4048	22
done	4048	22
0	18	23
1	32	23
2	80	23
3	257	21
4	1073	21
5	2717	21
6	3802	21
7	4001	21
done	4001	21
0	16	24
1	30	24
2	78	24
3	256	22
4	1116	22
5	2808	22
6	3861	22
7	4039	22
done	4039	22
0	17	24
1	31	24
2	79	24
3	255	22
4	1064	22
5	2726	22
6	3782	22
7	3964	22
done	3964	22
0	18	24
1	32	24
2	80	24
3	257	22
4	1073	22
5	2742	22
6	3782	22
7	3975	22
done	3975	22
0	19	24
1	33	24
2	81	24
3	255	22
4	1095	22
5	2821	22
6	3862	22
7	4023	22
done	4023	22
0	15	24
1	29	24
2	74	17
3	220	15
4	837	15
5	1880	15
6	2429	15
7	2507	15
done	2507	15
0	15	23
1	29	23
2	77	23
3	255	21
4	1108	21
5	2809	21
6	3829	21
7	4032	21
done	4032	21
0	15	24
1	29	24
2	74	17
3	220	15
4	837	15
5	1880	15
6	2429	15
7	2507	15
done	2507	15
0	15	23
1	29	23
2	77	23
3	255	21
4	1108	21
5	2809	21
6	3829	21
7	4032	21
done	4032	21
0	15	24
1	29	24
2	74	17
3	220	15
4	837	15
5	1880	15
6	2429	15
7	2507	15
done	2507	15
0	15	23
1	29	23
2	77	23
3	255	21
4	1108	21
5	2809	21
6	3829	21
7	4032	21
done	4032	21
0	15	24
1	29	24
2	74	17
3	220	15
4	837	15
5	1880	15
6	2429	15
7	2507	15
done	2507	15
0	15	23
1	29	23
2	77	23
3	255	21
4	1108	21
5	2809	21
6	3829	21
7	4032	21
done	4032	21
0	15	23
1	29	23
2	77	23
3	255	21
4	1108	21
5	2823	21
6	3839	21
7	4025	21
done	4025	21
0	16	23
1	30	23
2	78	23
3	256	21
4	1118	21
5	2845	21
6	3919	21
7	4090	21
done	4090	21
0	17	23
1	31	23
2	79	23
3	255	21
4	1064	21
5	2763	21
6	3818	21
7	4041	21
done	4041	21
0	18	23
1	32	23
2	80	23
3	257	21
4	1072	21
5	2784	21
6	3861	21
7	4049	21
done	4049	21
0	15	23
1	29	23
2	77	23
3	255	21
4	1108	21
5	2823	21
6	3839	21
7	4025	21
done	4025	21
0	14	22
1	28	22
2	73	16
3	241	14
4	1246	14
5	2381	9
6	2644	9
7	4061	9
done	5000	9
0	15	23
1	29	23
2	77	23
3	255	21
4	1108	21
5	2823	21
6	3839	21
7	4025	21
done	4025	21
0	14	22
1	28	22
2	73	16
3	241	14
4	1246	14
5	2381	9
6	2644	9
7	4061	9
done	5000	9
0	15	23
1	29	23
2	77	23
3	255	21
4	1108	21
5	2823	21
6	3839	21
7	4025	21
done	4025	21
0	14	22
1	28	22
2	73	16
3	241	14
4	1246	14
5	2381	9
6	2644	9
7	4061	9
done	5000	9
0	15	23
1	29	23
2	77	23
3	255	21
4	1108	21
5	2823	21
6	3839	21
7	4025	21
done	4025	21
0	14	22
1	28	22
2	73	16
3	241	14
4	1246	14
5	2381	9
6	2644	9
7	4061	9
done	5000	9
0	16	24
1	30	24
2	78	24
3	256	22
4	1116	22
5	2808	22
6	3861	22
7	4039	22
done	4039	22
0	17	24
1	31	24
2	79	24
3	255	22
4	1064	22
5	2726	22

Details

sample130.0ms

simplify78.0ms

prune13.0ms

localize12.0ms

rewrite42.0ms

series54.0ms

simplify1.4min

prune445.0ms

localize16.0ms

rewrite162.0ms

series48.0ms

simplify2.3min

prune1.9s

localize19.0ms

rewrite219.0ms

series51.0ms

simplify1.6hr

Profiling