Details

sample245.0ms

Algorithm

intervals

Results

83.0ms	1162×	body	80	nan
40.0ms	436×	body	80	valid

simplify1.6s

Counts

1 → 1

Iterations

Useful iterations: 3 (17.0ms)

Iter	Nodes	Cost
0	17	18
1	32	18
2	64	18
3	157	16
4	469	16
5	1857	16
done	5000	16

prune26.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 0.2b

Counts

2 → 2

localize17.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (- t 1.0) (log a))
0.3b	(* y (log z))
0.8b	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
0.9b	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-sqr-sqrt`
19×	`*-un-lft-identity`
15×	`add-cube-cbrt`
13×	`add-cbrt-cube`
12×	`add-exp-log` `log-prod`
10×	`pow1` `add-log-exp`
8×	`associate-r` `associate-l`
6×	`distribute-rgt-in` `distribute-lft-in`
5×	`exp-prod`
3×	`times-frac` `exp-sum` `prod-exp` `associate-/r*` `cbrt-unprod` `rem-exp-log`
2×	`cbrt-undiv` `exp-diff` `diff-log` `div-exp` `pow-prod-down` `associate-l/` `log-pow` `-commutative` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`
1×	`sub-neg` `flip3--` `frac-2neg` `associate-r/` `associate--l+` `clear-num` `sum-log` `flip--` `div-inv` `associate-/l/` `associate-/l`

Counts

4 → 95

Calls

4 calls:

9.0ms	(* (- t 1.0) (log a))
6.0ms	(* y (log z))
13.0ms	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
8.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

series162.0ms

Counts

4 → 12

Calls

4 calls:

14.0ms	(* (- t 1.0) (log a))
8.0ms	(* y (log z))
82.0ms	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
58.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify2.0min

Counts

107 → 107

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	16	30
1	27	30
2	45	30
3	71	30
4	135	30
5	238	30
6	465	30
7	1046	30
8	2875	30
done	5000	30
0	15	15
1	24	15
2	38	15
3	59	15
4	105	15
5	168	15
6	286	15
7	491	15
8	658	15
9	691	15
10	700	15
done	700	15
0	2	2
1	5	1
done	5	1
0	16	16
1	25	16
2	33	16
3	42	16
4	51	16
5	54	16
6	60	16
7	77	16
8	108	16
9	150	16
10	182	16
11	198	16
12	228	16
13	250	16
done	250	16
0	2	2
1	5	1
done	5	1
0	12	12
1	20	12
2	38	9
3	73	9
4	154	9
5	398	9
6	1557	9
done	5000	9
0	3	3
1	6	3
2	8	3
done	8	3
0	5	5
1	8	5
2	15	3
3	25	3
4	48	3
5	104	3
6	245	3
7	707	3
8	2686	3
done	5000	3
0	9	9
1	17	9
2	32	8
3	64	8
4	127	8
5	274	8
6	848	8
7	2713	8
done	5000	8
0	12	12
1	20	12
2	38	9
3	73	9
4	154	9
5	398	9
6	1557	9
done	5000	9
0	3	3
1	6	3
2	8	3
done	8	3
0	12	12
1	20	12
2	38	9
3	73	9
4	154	9
5	398	9
6	1557	9
done	5000	9
0	2	2
done	2	2
0	15	15
1	27	13
2	52	13
3	111	12
4	271	12
5	699	12
6	2839	12
done	5001	12
0	15	15
1	27	15
2	49	15
3	102	13
4	235	13
5	621	13
6	2683	13
done	5001	13
0	16	31
1	28	31
2	50	31
3	99	27
4	218	27
5	545	27
6	2200	27
done	5000	27
0	15	15
1	27	15
2	49	15
3	98	13
4	217	13
5	542	13
6	2220	13
done	5000	13
0	16	44
1	31	43
2	80	16
3	341	14
4	1888	14
done	5000	14
0	15	15
1	27	15
2	49	15
3	98	13
4	217	13
5	542	13
6	2220	13
done	5000	13
0	15	15
1	27	15
2	49	15
3	98	13
4	217	13
5	542	13
6	2220	13
done	5000	13
0	18	19
1	34	19
2	77	19
3	218	19
4	669	19
5	1840	19
6	3846	19
done	5000	19
0	19	20
1	37	20
2	72	19
3	215	17
4	773	17
5	2579	17
done	5001	17
0	18	19
1	36	19
2	76	19
3	197	17
4	768	16
5	3515	16
done	5000	16
0	18	19
1	33	19
2	65	19
3	160	17
4	482	17
5	1963	17
done	5000	17
0	23	56
1	52	55
2	197	24
3	1029	22
done	5001	22
0	21	56
1	52	56
2	191	22
3	1126	18
done	5000	18
0	19	39
1	34	39
2	66	39
3	159	35
4	467	35
5	1854	35
done	5000	35
0	18	19
1	33	19
2	65	19
3	158	17
4	469	17
5	1857	17
done	5001	17
0	19	56
1	41	56
2	110	20
3	454	18
4	3892	18
done	5000	18
0	18	19
1	33	19
2	65	19
3	158	17
4	469	17
5	1857	17
done	5001	17
0	18	19
1	33	19
2	65	19
3	158	17
4	469	17
5	1857	17
done	5001	17
0	17	17
1	34	17
2	66	17
3	163	15
4	432	15
5	1621	15
done	5001	15
0	2	2
done	2	2
0	5	7
1	7	7
done	7	7
0	16	17
1	28	17
2	52	17
3	117	15
4	284	15
5	912	15
6	4301	15
done	5000	15
0	4	4
done	4	4
0	16	17
1	28	17
2	52	17
3	117	15
4	284	15
5	912	15
6	4301	15
done	5000	15
0	3	3
1	5	1
done	5	1
0	15	16
1	27	16
2	51	16
3	116	14
4	283	14
5	911	14
6	4282	14
done	5001	14
0	3	3
1	5	3
done	5	3
0	17	18
1	32	18
2	62	18
3	144	16
4	374	16
5	1302	16
done	5001	16
0	19	22
1	39	22
2	83	22
3	229	20
4	823	20
5	3710	20
done	5001	20
0	18	19
1	33	19
2	65	19
3	158	17
4	469	17
5	1854	17
done	5001	17
0	18	18
1	35	16
2	73	16
3	185	14
4	563	14
5	2098	14
done	5000	14
0	15	16
1	27	16
2	51	16
3	109	14
4	255	14
5	747	14
6	3553	14
done	5000	14
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	6	6
1	7	6
done	7	6
0	5	5
1	9	5
2	10	5
done	10	5
0	5	5
1	8	5
2	15	3
3	25	3
4	48	3
5	104	3
6	245	3
7	707	3
8	2686	3
done	5000	3
0	8	14
1	15	14
2	40	8
3	79	8
4	137	6
5	259	6
6	654	6
7	2457	6
done	5001	6
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	17	14
2	46	6
3	89	6
4	105	6
5	151	6
6	283	6
7	735	6
8	2697	6
done	5000	6
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	6	8
1	9	8
2	15	7
3	21	7
4	25	7
done	25	7
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	4	4
1	7	3
done	7	1
0	4	4
1	5	4
done	5	4
0	6	8
1	9	8
2	15	7
3	21	7
4	25	7
done	25	7
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	4	4
1	7	3
done	7	1
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
done	6	1
0	6	9
1	9	9
2	11	9
done	11	9
0	5	5
1	6	5
done	6	5
0	3	3
1	6	1
done	6	1
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	4	4
1	5	4
done	5	4
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	8	8
1	11	8
2	12	8
done	12	8
0	7	7
1	13	7
2	21	7
3	26	7
4	30	7
done	30	7
0	7	7
1	12	7
2	31	5
3	52	5
4	95	5
5	180	5
6	433	5
7	1310	5
done	5001	5
0	10	20
1	19	20
2	57	10
3	181	10
4	623	8
5	2395	8
done	5000	8
0	8	15
1	11	15
2	18	15
3	23	15
4	27	15
done	27	15
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	8	20
1	21	20
2	75	8
3	285	8
4	869	8
5	2731	8
done	5000	8
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	8	8
1	11	8
2	12	8
done	12	8
0	8	8
1	11	8
2	12	8
done	12	8
0	8	10
1	13	10
2	26	9
3	55	9
4	117	9
5	177	9
6	224	9
7	321	9
8	492	9
9	672	9
10	733	9
done	733	9
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	6	6
1	11	5
2	18	1
3	22	1
done	22	1
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	8	10
1	13	10
2	26	9
3	55	9
4	117	9
5	179	9
6	226	9
7	324	9
8	495	9
9	677	9
10	740	9
done	740	9
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	6	6
1	11	5
2	18	1
3	22	1
done	22	1
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	8	11
1	13	11
2	22	11
3	39	11
4	53	11
5	63	11
done	63	11
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	7	7
1	10	7
2	11	7
done	11	7
0	7	7
1	10	7
2	11	7
done	11	7
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	8	8
1	11	8
2	18	8
3	23	8
4	27	8
done	27	8
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	9	10
1	25	10
2	53	10
3	132	10
4	314	10
5	981	10
6	4441	10
done	5001	10
0	8	10
1	14	10
2	31	10
3	77	10
4	164	10
5	250	10
6	408	10
7	781	10
8	3438	10
done	5001	10
0	25	79
1	62	62
2	174	34
3	397	19
4	873	16
5	2226	15
done	5000	15
0	25	38
1	59	32
2	159	26
3	515	18
4	1128	15
5	2626	12
done	5001	12
0	25	38
1	55	38
2	151	35
3	639	29
4	3242	26
done	5000	26
0	31	91
1	77	74
2	220	46
3	623	29
4	1668	23
done	5000	23
0	28	42
1	65	36
2	175	30
3	605	22
4	1808	19
done	5001	18
0	28	42
1	61	42
2	167	39
3	743	33
4	4635	30
done	5000	30
0	7	7
1	11	6
2	19	4
3	25	4
done	25	4
0	8	9
1	16	7
2	26	4
3	45	4
4	53	4
5	70	4
6	105	4
done	105	4
0	8	9
1	13	9
2	24	9
3	43	6
4	67	4
5	188	4
6	974	4
7	2318	4
done	5001	4
0	13	19
1	31	13
2	59	9
3	97	6
4	132	6
5	166	6
6	232	6
7	295	6
8	408	6
9	410	6
done	410	6
0	14	23
1	31	19
2	62	13
3	122	7
4	189	6
5	303	6
6	414	6
7	471	6
done	471	6
0	14	23
1	28	23
2	52	23
3	116	18
4	270	15
5	873	9
6	2689	6
done	5001	6

prune234.0ms

Filtered

87 candidates to 107 candidates (-23.0%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	98	9	107
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	99	10	109

Merged error: 0.0b

Counts

109 → 10

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (/ y (pow z y)) (/ (pow a (- t 1.0)) (exp b)))
0.1b	(pow a (- t 1.0))
0.5b	(/ (pow a (- t 1.0)) (exp b))
1.2b	(/ x (/ (/ y (pow z y)) (/ (pow a (- t 1.0)) (exp b))))

rewrite1.0s

Algorithm

rewrite-expression-head

Rules

12920×	`times-frac`
5011×	`add-sqr-sqrt` `*-un-lft-identity`
5009×	`add-cube-cbrt`
2553×	`unpow-prod-down`
851×	`sqr-pow`
814×	`associate-/r*`
766×	`unpow-prod-up`
383×	`sub-neg`
289×	`div-inv`
100×	`div-exp`
97×	`add-exp-log`
37×	`associate-/l*`
36×	`add-cbrt-cube`
22×	`cbrt-undiv`
18×	`pow-to-exp` `pow-exp`
6×	`associate-/r/`
5×	`pow1` `pow-unpow`
4×	`add-log-exp`
3×	`frac-2neg` `clear-num`
2×	`associate-/l/` `pow-sub`
1×	`pow-pow` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 4095

Calls

4 calls:

237.0ms	(/ (/ y (pow z y)) (/ (pow a (- t 1.0)) (exp b)))
5.0ms	(pow a (- t 1.0))
7.0ms	(/ (pow a (- t 1.0)) (exp b))
157.0ms	(/ x (/ (/ y (pow z y)) (/ (pow a (- t 1.0)) (exp b))))

series208.0ms

Counts

4 → 12

Calls

4 calls:

81.0ms	(/ (/ y (pow z y)) (/ (pow a (- t 1.0)) (exp b)))
14.0ms	(pow a (- t 1.0))
25.0ms	(/ (pow a (- t 1.0)) (exp b))
88.0ms	(/ x (/ (/ y (pow z y)) (/ (pow a (- t 1.0)) (exp b))))

simplify1.6hr

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	18	19
1	36	19
2	91	19
3	237	19
4	761	19
5	2297	19
6	4662	19
done	5000	19
0	18	19
1	36	19
2	91	19
3	237	19
4	761	19
5	2297	19
6	4662	19
done	5000	19
0	18	19
1	41	19
2	101	19
3	277	19
4	970	19
5	3956	19
done	5000	19
0	19	20
1	39	20
2	90	19
3	221	19
4	708	19
5	2787	19
done	5000	19
0	18	19
1	36	19
2	91	19
3	237	19
4	761	19
5	2297	19
6	4662	19
done	5000	19
0	18	19
1	36	19
2	91	19
3	237	19
4	761	19
5	2297	19
6	4662	19
done	5000	19
0	18	19
1	41	19
2	101	19
3	277	19
4	970	19
5	3956	19
done	5000	19
0	19	20
1	39	20
2	90	19
3	221	19
4	708	19
5	2787	19
done	5000	19
0	18	19
1	41	19
2	102	19
3	287	19
4	1042	19
5	4394	19
done	5000	19
0	18	19
1	41	19
2	102	19
3	287	19
4	1042	19
5	4394	19
done	5000	19
0	18	19
1	45	19
2	111	19
3	324	19
4	1227	19
done	5000	19
0	19	20
1	43	20
2	100	19
3	268	19
4	943	19
5	4685	19
done	5000	19
0	17	18
1	37	18
2	87	18
3	252	18
4	886	18
5	3627	18
done	5000	18
0	17	18
1	37	18
2	87	18
3	252	18
4	886	18
5	3627	18
done	5000	18
0	17	18
1	41	18
2	96	18
3	289	18
4	1067	18
done	5000	18
0	18	19
1	39	19
2	87	18
3	237	18
4	823	18
5	3907	18
done	5000	18
0	17	18
1	35	18
2	81	18
3	237	17
4	923	17
5	4918	17
done	5000	17
0	16	17
1	34	17
2	88	17
3	279	16
4	1192	16
done	5000	16
0	16	17
1	31	17
2	74	17
3	226	17
4	961	17
done	5001	17
0	25	50
1	67	43
2	305	26
3	2495	22
done	5000	22
0	23	50
1	59	48
2	240	24
3	1760	22
done	5001	22
0	23	50
1	61	45
2	270	24
3	2203	22
done	5000	22
0	21	50
1	56	50
2	225	22
3	1640	20
done	5001	20
0	19	50
1	47	50
2	178	20
3	1243	18
done	5001	18
0	17	35
1	32	35
2	73	35
3	217	35
4	921	35
done	5000	35
0	16	17
1	31	17
2	72	17
3	216	17
4	917	17
done	5000	17
0	17	50
1	39	50
2	130	18
3	792	18
done	5001	18
0	16	17
1	31	17
2	72	17
3	216	17
4	917	17
done	5000	17
0	16	17
1	31	17
2	72	17
3	216	17
4	917	17
done	5000	17
0	2	2
done	2	2
0	14	15
1	29	15
2	69	15
3	199	15
4	853	15
5	4902	15
done	5000	15
0	19	37
1	38	37
2	78	37
3	185	37
4	638	37
5	3280	37
done	5000	37
0	17	18
1	30	18
2	61	18
3	162	18
4	614	18
5	3239	18
done	5000	18
0	18	21
1	33	21
2	66	21
3	168	21
4	619	21
5	3248	21
done	5000	21
0	17	18
1	30	18
2	61	18
3	162	18
4	614	18
5	3239	18
done	5000	18
0	21	39
1	40	39
2	94	39
3	234	39
4	498	39
5	948	39
6	2237	39
done	5000	39
0	18	19
1	29	19
2	50	19
3	100	19
4	234	19
5	589	19
6	1826	19
done	5000	19
0	20	29
1	35	29
2	71	29
3	164	29
4	342	29
5	702	29
6	1945	29
done	5001	29
0	18	19
1	29	19
2	50	19
3	100	19
4	234	19
5	589	19
6	1826	19
done	5000	19
0	19	31
1	36	31
2	99	31
3	378	31
4	1716	31
done	5001	31
0	17	18
1	28	18
2	56	18
3	136	18
4	395	18
5	1309	18
done	5000	18
0	18	27
1	33	27
2	84	27
3	276	27
4	1068	27
5	4657	27
done	5000	27
0	17	18
1	28	18
2	56	18
3	136	18
4	395	18
5	1309	18
done	5000	18
0	16	25
1	33	23
2	85	23
3	323	23
4	1134	23
5	4870	23
done	5000	23
0	16	17
1	27	17
2	55	17
3	135	17
4	396	17
5	1322	17
done	5000	17
0	19	31
1	36	31
2	99	31
3	378	31
4	1716	31
done	5001	31
0	17	18
1	28	18
2	56	18
3	136	18
4	395	18
5	1309	18
done	5000	18
0	18	27
1	33	27
2	84	27
3	276	27
4	1068	27
5	4657	27
done	5000	27
0	17	18
1	28	18
2	56	18
3	136	18
4	395	18
5	1309	18
done	5000	18
0	16	25
1	33	23
2	85	23
3	323	23
4	1134	23
5	4870	23
done	5000	23
0	16	17
1	27	17
2	55	17
3	135	17
4	396	17
5	1322	17
done	5000	17
0	23	37
1	42	37
2	109	37
3	393	37
4	1751	37
done	5001	37
0	19	20
1	32	20
2	62	20
3	143	20
4	413	20
5	1344	20
done	5000	20
0	22	33
1	39	33
2	94	33
3	291	33
4	1113	33
5	4749	33
done	5000	33
0	19	20
1	32	20
2	62	20
3	143	20
4	413	20
5	1344	20
done	5000	20
0	20	31
1	39	29
2	95	29
3	338	29
4	1177	29
5	4973	29
done	5000	29
0	18	19
1	31	19
2	61	19
3	142	19
4	412	19
5	1340	19
done	5001	19
0	22	34
1	41	34
2	108	34
3	392	34
4	1747	34
done	5000	34
0	19	20
1	32	20
2	62	20
3	143	20
4	413	20
5	1344	20
done	5000	20
0	21	30
1	38	30
2	93	30
3	290	30
4	1109	30
5	4701	30
done	5000	30
0	19	20
1	32	20
2	62	20
3	143	20
4	413	20
5	1344	20
done	5000	20
0	19	28
1	38	26
2	94	26
3	337	26
4	1185	26
done	5000	26
0	18	19
1	31	19
2	61	19
3	142	19
4	412	19
5	1340	19
done	5001	19
0	21	33
1	42	29
2	97	27
3	292	27
4	1053	27
5	1782	27
6	2507	27
7	4397	27
done	5000	27
0	18	19
1	31	19
2	61	19
3	142	19
4	410	19
5	1337	19
done	5001	19
0	20	29
1	39	25
2	86	23
3	232	23
4	685	23
5	1006	23
6	1579	23
7	3455	23
done	5000	23
0	18	19
1	31	19
2	61	19
3	142	19
4	410	19
5	1337	19
done	5001	19
0	17	27
1	36	21
2	79	19
3	240	19
4	426	19
5	625	19
6	1127	19
7	2988	19
done	5000	19
0	17	18
1	30	18
2	60	18
3	141	18
4	409	18
5	1335	18
done	5001	18
0	23	41
1	46	41
2	128	41
3	450	41
4	1563	41
5	3789	41
done	5000	41
0	19	20
1	32	20
2	58	20
3	113	20
4	242	20
5	528	20
6	1490	20
done	5000	20
0	22	37
1	41	37
2	101	37
3	315	37
4	956	37
5	1975	37
6	3365	37
done	5000	37
0	19	20
1	32	20
2	58	20
3	113	20
4	242	20
5	528	20
6	1490	20
done	5000	20
0	20	35
1	41	33
2	103	33
3	367	33
4	861	33
5	1615	33
6	2695	33
done	5000	33
0	18	19
1	31	19
2	57	19
3	112	19
4	241	19
5	523	19
6	1471	19
done	5000	19
0	22	34
1	41	34
2	99	34
3	280	34
4	832	34
5	1827	34
6	3205	34
done	5000	34
0	19	20
1	32	20
2	59	20
3	114	20
4	243	20
5	525	20
6	1482	20
done	5000	20
0	21	30
1	38	30
2	88	30
3	224	30
4	561	30
5	1101	30
6	2146	30
done	5001	30
0	19	20
1	32	20
2	59	20
3	114	20
4	243	20
5	525	20
6	1482	20
done	5000	20
0	19	28
1	38	26
2	86	26
3	241	26
4	506	26
5	937	26
6	1863	26
done	5000	26
0	18	19
1	31	19
2	58	19
3	113	19
4	242	19
5	524	19
6	1466	19
done	5000	19
0	17	29
1	33	29
2	81	27
3	270	27
4	1003	27
5	1711	27
6	2403	27
7	4281	27
done	5000	27
0	18	19
1	31	19
2	61	19
3	142	19
4	410	19
5	1337	19
done	5001	19
0	16	25
1	30	25
2	70	23
3	210	23
4	646	23
5	954	23
6	1485	23
7	3335	23
done	5000	23
0	18	19
1	31	19
2	61	19
3	142	19
4	410	19
5	1337	19
done	5001	19
0	13	23
1	27	21
2	63	19
3	215	19
4	383	19
5	567	19
6	1047	19
7	2899	19
done	5000	19
0	17	18
1	30	18
2	60	18
3	141	18
4	409	18
5	1335	18
done	5001	18
0	23	35
1	44	35
2	116	35
3	407	35
4	1776	35
done	5001	35
0	20	21
1	35	21
2	70	21
3	158	21
4	445	21
5	1408	21
done	5000	21
0	22	31
1	41	31
2	101	31
3	305	31
4	1147	31
5	4743	31
done	5000	31
0	20	21
1	35	21
2	70	21
3	158	21
4	445	21
5	1408	21
done	5000	21
0	20	29
1	41	27
2	102	27
3	352	27
4	1212	27
done	5000	27
0	19	20
1	34	20
2	69	20
3	157	20
4	444	20
5	1413	20
done	5000	20
0	12	21
1	24	19
2	54	19
3	151	19
4	233	19
5	397	19
6	879	19
7	2737	19
done	5000	19
0	17	18
1	30	18
2	60	18
3	141	18
4	409	18
5	1335	18
done	5001	18
0	16	25
1	31	25
2	72	25
3	211	25
4	640	25
5	2196	25
done	5000	25
0	13	14
1	25	13
2	42	12
3	83	12
4	171	12
5	333	12
6	824	12
7	2690	12
done	5001	12
0	20	32
1	35	32
2	68	32
3	145	32
4	316	32
5	679	32
6	1941	32
done	5000	32
0	18	19
1	29	19
2	50	19
3	100	19
4	234	19
5	589	19
6	1826	19
done	5000	19
0	19	22
1	32	22
2	59	22
3	118	22
4	262	22
5	618	22
6	1873	22
done	5001	22
0	18	19
1	29	19
2	50	19
3	100	19
4	234	19
5	589	19
6	1826	19
done	5000	19
0	18	24
1	33	24
2	79	24
3	245	24
4	940	24
5	4200	24
done	5000	24
0	17	18
1	28	18
2	56	18
3	136	18
4	395	18
5	1309	18
done	5000	18
0	17	20
1	30	20
2	66	20
3	177	20
4	583	20
5	2214	20
done	5000	20
0	17	18
1	28	18
2	56	18
3	136	18
4	395	18
5	1309	18
done	5000	18
0	15	18
1	30	16
2	67	16
3	196	16
4	637	16
5	2561	16
done	5001	16
0	16	17
1	27	17
2	55	17
3	135	17
4	396	17
5	1322	17
done	5000	17
0	18	24
1	33	24
2	79	24
3	245	24
4	940	24
5	4200	24
done	5000	24
0	17	18
1	28	18
2	56	18
3	136	18
4	395	18
5	1309	18
done	5000	18
0	17	20
1	30	20
2	66	20
3	177	20
4	583	20
5	2214	20
done	5000	20
0	17	18
1	28	18
2	56	18
3	136	18
4	395	18
5	1309	18
done	5000	18
0	15	18
1	30	16
2	67	16
3	196	16
4	637	16
5	2561	16
done	5001	16
0	16	17
1	27	17
2	55	17
3	135	17
4	396	17
5	1322	17
done	5000	17
0	22	30
1	39	30
2	89	30
3	260	30
4	974	30
5	4287	30
done	5000	30
0	19	20
1	32	20
2	62	20
3	143	20
4	413	20
5	1344	20
done	5000	20
0	21	26
1	36	26
2	76	26
3	192	26
4	623	26
5	2280	26
done	5001	26
0	19	20
1	32	20
2	62	20
3	143	20
4	413	20
5	1344	20
done	5000	20
0	19	24
1	36	22
2	77	22
3	211	22
4	674	22
5	2678	22
done	5000	22
0	18	19
1	31	19
2	61	19
3	142	19
4	412	19
5	1340	19
done	5001	19
0	21	27
1	38	27
2	88	27
3	259	27
4	978	27
5	4295	27
done	5001	27
0	19	20
1	32	20
2	62	20
3	143	20
4	413	20
5	1344	20
done	5000	20
0	20	23
1	35	23
2	75	23
3	191	23
4	622	23
5	2276	23
done	5000	23
0	19	20
1	32	20
2	62	20
3	143	20
4	413	20
5	1344	20
done	5000	20
0	18	21
1	35	19
2	76	19
3	210	19
4	673	19
5	2686	19
done	5000	19
0	18	19
1	31	19
2	61	19
3	142	19
4	412	19
5	1340	19
done	5001	19
0	20	26
1	39	22
2	79	20
3	181	20
4	495	20
5	868	20
6	1477	20
7	3361	20
done	5000	20
0	18	19
1	31	19
2	61	19
3	142	19
4	410	19
5	1337	19
done	5001	19
0	19	22
1	36	18
2	70	16
3	145	16
4	320	16
5	538	16
6	1058	16
7	2946	16
done	5000	16
0	18	19
1	31	19
2	61	19
3	142	19
4	410	19
5	1337	19
done	5001	19
0	16	20
1	33	14
2	65	12
3	146	12
4	252	12
5	431	12
6	939	12
7	2814	12
done	5001	12
0	17	18
1	30	18
2	60	18
3	141	18
4	409	18
5	1335	18
done	5001	18
0	22	34
1	43	34
2	103	34
3	285	34
4	827	34
5	1792	34
6	3257	34
done	5000	34
0	19	20
1	32	20
2	58	20
3	113	20
4	242	20
5	528	20
6	1490	20
done	5000	20
0	21	30
1	38	30
2	81	30
3	207	30
4	533	30
5	1038	30
6	2094	30
done	5000	30
0	19	20
1	32	20
2	58	20
3	113	20
4	242	20
5	528	20
6	1490	20
done	5000	20
0	19	28
1	38	26
2	83	26
3	233	26
4	520	26
5	1007	26
6	1978	26
done	5000	26
0	18	19
1	31	19
2	57	19
3	112	19
4	241	19
5	523	19
6	1471	19
done	5000	19
0	21	27
1	38	27
2	81	27
3	193	27
4	482	27
5	992	27
6	2071	27
done	5001	27
0	19	20
1	32	20
2	59	20
3	114	20
4	243	20
5	525	20
6	1482	20
done	5000	20
0	20	23
1	35	23
2	72	23
3	156	23
4	344	23
5	677	23
6	1626	23
done	5001	23
0	19	20
1	32	20
2	59	20
3	114	20
4	243	20
5	525	20
6	1482	20
done	5000	20
0	18	21
1	35	19
2	71	19
3	162	19
4	338	19
5	665	19
6	1579	19
done	5000	19
0	18	19
1	31	19
2	58	19
3	113	19
4	242	19
5	524	19
6	1466	19
done	5000	19
0	16	22
1	30	22
2	63	20
3	159	20
4	451	20
5	817	20
6	1386	20
7	3248	20
done	5000	20
0	18	19
1	31	19
2	61	19
3	142	19
4	410	19
5	1337	19
done	5001	19
0	15	18
1	27	18
2	54	16
3	123	16
4	285	16
5	483	16
6	980	16
7	2833	16
done	5000	16
0	18	19
1	31	19
2	61	19
3	142	19
4	410	19
5	1337	19
done	5001	19
0	12	16
1	24	14
2	49	12
3	121	12
4	213	12
5	372	12
6	854	12
7	2700	12
done	5001	12
0	17	18
1	30	18
2	60	18
3	141	18
4	409	18
5	1335	18
done	5001	18
0	22	28
1	41	28
2	96	28
3	274	28
4	1014	28
5	4341	28
done	5000	28
0	20	21
1	35	21
2	70	21
3	158	21
4	445	21
5	1408	21
done	5000	21
0	21	24
1	38	24
2	83	24
3	206	24
4	654	24
5	2353	24
done	5000	24
0	20	21
1	35	21
2	70	21
3	158	21
4	445	21
5	1408	21
done	5000	21
0	19	22
1	38	20
2	84	20
3	225	20
4	707	20
5	2733	20
done	5000	20
0	19	20
1	34	20
2	69	20
3	157	20
4	444	20
5	1413	20
done	5000	20
0	11	14
1	21	12
2	39	12
3	83	12
4	140	12
5	286	12
6	765	12
7	2604	12
done	5000	12
0	17	18
1	30	18
2	60	18
3	141	18
4	409	18
5	1335	18
done	5001	18
0	15	18
1	28	18
2	57	18
3	132	18
4	365	18
5	1102	18
6	4127	18
done	5000	18
0	13	14
1	25	13
2	42	12
3	83	12
4	171	12
5	333	12
6	824	12
7	2690	12
done	5001	12
0	23	39
1	42	39
2	105	39
3	385	39
4	1634	39
done	5001	39
0	19	20
1	32	20
2	61	20
3	144	20
4	396	20
5	1198	20
6	4585	20
done	5000	20
0	22	29
1	39	29
2	89	29
3	295	29
4	1077	29
5	4241	29
done	5000	29
0	19	20
1	32	20
2	61	20
3	144	20
4	396	20
5	1198	20
6	4585	20
done	5000	20
0	21	31
1	40	31
2	116	31
3	568	31
4	3954	31
done	5001	31
0	18	19
1	31	19
2	70	19
3	213	19
4	904	19
done	5000	19
0	20	27
1	37	27
2	101	27
3	439	27
4	2615	27
done	5000	27
0	18	19
1	31	19
2	70	19
3	213	19
4	904	19
done	5000	19
0	18	25
1	37	23
2	104	23
3	520	23
4	3269	23
done	5001	23
0	17	18
1	30	18
2	69	18
3	212	18
4	904	18
done	5000	18
0	21	31
1	40	31
2	116	31
3	568	31
4	3954	31
done	5001	31
0	18	19
1	31	19
2	70	19
3	213	19
4	904	19
done	5000	19
0	20	27
1	37	27
2	101	27
3	439	27
4	2615	27
done	5000	27
0	18	19
1	31	19
2	70	19
3	213	19
4	904	19
done	5000	19
0	18	25
1	37	23
2	104	23
3	520	23
4	3269	23
done	5001	23
0	17	18
1	30	18
2	69	18
3	212	18
4	904	18
done	5000	18
0	25	37
1	46	37
2	126	37
3	583	37
4	3999	37
done	5000	37
0	20	21
1	35	21
2	76	21
3	220	21
4	923	21
done	5001	21
0	24	33
1	43	33
2	111	33
3	454	33
4	2649	33
done	5001	33
0	20	21
1	35	21
2	76	21
3	220	21
4	923	21
done	5001	21
0	22	31
1	43	29
2	114	29
3	535	29
4	3304	29
done	5000	29
0	19	20
1	34	20
2	75	20
3	219	20
4	920	20
done	5000	20
0	24	34
1	45	34
2	125	34
3	582	34
4	3975	34
done	5000	34
0	20	21
1	35	21
2	76	21
3	220	21
4	923	21
done	5001	21
0	23	30
1	42	30
2	110	30
3	453	30
4	2641	30
done	5000	30
0	20	21
1	35	21
2	76	21
3	220	21
4	923	21
done	5001	21
0	21	28
1	42	26
2	113	26
3	533	26
4	3310	26
done	5001	26
0	19	20
1	34	20
2	75	20
3	219	20
4	920	20
done	5000	20
0	23	33
1	46	29
2	116	27
3	519	27
4	2985	27
done	5001	27
0	19	20
1	34	20
2	75	20
3	219	20
4	920	20
done	5002	20
0	22	29
1	43	25
2	105	23
3	429	23
4	2145	23
done	5001	23
0	19	20
1	34	20
2	75	20
3	219	20
4	920	20
done	5002	20
0	19	27
1	40	21
2	97	19
3	437	19
4	1398	19
done	5000	19
0	18	19
1	33	19
2	74	19
3	218	19
4	920	19
done	5002	19
0	25	41
1	50	41
2	146	41
3	667	41
4	4070	41
done	5000	41
0	20	21
1	35	21
2	72	21
3	178	21
4	560	21
5	2164	21
done	5000	21
0	24	37
1	45	37
2	118	37
3	490	37
4	2635	37
done	5000	37
0	20	21
1	35	21
2	72	21
3	178	21
4	560	21
5	2164	21
done	5000	21
0	22	35
1	45	33
2	121	33
3	568	33
4	2780	33
done	5000	33
0	19	20
1	34	20
2	71	20
3	177	20
4	563	20
5	2173	20
done	5000	20
0	24	34
1	45	34
2	118	34
3	462	34
4	2412	34
done	5001	34
0	20	21
1	35	21
2	73	21
3	179	21
4	561	21
5	2161	21
done	5000	21
0	23	30
1	42	30
2	107	30
3	387	30
4	1754	30
done	5001	30
0	20	21
1	35	21
2	73	21
3	179	21
4	561	21
5	2161	21
done	5000	21
0	21	28
1	42	26
2	104	26
3	403	26
4	1717	26
done	5001	26
0	19	20
1	34	20
2	72	20
3	178	20
4	561	20
5	2165	20
done	5000	20
0	19	29
1	37	29
2	100	27
3	497	27
4	2965	27
done	5000	27
0	19	20
1	34	20
2	75	20
3	219	20
4	920	20
done	5002	20
0	18	25
1	34	25
2	89	23
3	407	23
4	2128	23
done	5000	23
0	19	20
1	34	20
2	75	20
3	219	20
4	920	20
done	5002	20
0	15	23
1	31	21
2	81	19
3	385	19
4	1325	19
done	5000	19
0	18	19
1	33	19
2	74	19
3	218	19
4	920	19
done	5002	19
0	25	35
1	48	35
2	133	35
3	597	35
4	4027	35
done	5001	35
0	21	22
1	38	22
2	84	22
3	235	22
4	956	22
done	5001	22
0	24	31
1	45	31
2	118	31
3	468	31
4	2685	31
done	5001	31
0	21	22
1	38	22
2	84	22
3	235	22
4	956	22
done	5001	22
0	22	29
1	45	27
2	121	27
3	549	27
4	3326	27
done	5000	27
0	20	21
1	37	21
2	83	21
3	234	21
4	955	21
done	5000	21
0	14	21
1	28	19
2	75	19
3	287	19
4	786	19
5	2583	19
done	5000	19
0	18	19
1	33	19
2	74	19
3	218	19
4	920	19
done	5002	19
0	18	25
1	35	25
2	91	25
3	376	25
4	1999	25
done	5001	25
0	14	15
1	28	14
2	56	13
3	160	13
4	574	13
5	1788	13
done	5001	13
0	22	36
1	41	36
2	104	36
3	384	36
4	1638	36
done	5001	36
0	19	20
1	32	20
2	61	20
3	144	20
4	396	20
5	1198	20
6	4585	20
done	5000	20
0	21	26
1	38	26
2	88	26
3	294	26
4	1082	26
5	4276	26
done	5000	26
0	19	20
1	32	20
2	61	20
3	144	20
4	396	20
5	1198	20
6	4585	20
done	5000	20
0	20	28
1	39	28
2	115	28
3	567	28
4	3959	28
done	5000	28
0	18	19
1	31	19
2	70	19
3	213	19
4	904	19
done	5000	19
0	19	24
1	36	24
2	100	24
3	438	24
4	2623	24
done	5000	24
0	18	19
1	31	19
2	70	19
3	213	19
4	904	19
done	5000	19
0	17	22
1	36	20
2	103	20
3	519	20
4	3271	20
done	5000	20
0	17	18
1	30	18
2	69	18
3	212	18
4	904	18
done	5000	18
0	20	28
1	39	28
2	115	28
3	567	28
4	3959	28
done	5000	28
0	18	19
1	31	19
2	70	19
3	213	19
4	904	19
done	5000	19
0	19	24
1	36	24
2	100	24
3	438	24
4	2623	24
done	5000	24
0	18	19
1	31	19
2	70	19
3	213	19
4	904	19
done	5000	19
0	17	22
1	36	20
2	103	20
3	519	20
4	3271	20
done	5000	20
0	17	18
1	30	18
2	69	18
3	212	18
4	904	18
done	5000	18
0	24	34
1	45	34
2	125	34
3	582	34
4	3988	34
done	5001	34
0	20	21
1	35	21
2	76	21
3	220	21
4	923	21
done	5001	21
0	23	30
1	42	30
2	110	30
3	453	30
4	2651	30
done	5000	30
0	20	21
1	35	21
2	76	21
3	220	21
4	923	21
done	5001	21
0	21	28
1	42	26
2	113	26
3	533	26
4	3303	26
done	5001	26
0	19	20
1	34	20
2	75	20
3	219	20
4	920	20
done	5000	20
0	23	31
1	44	31
2	124	31
3	581	31
4	3976	31
done	5000	31
0	20	21
1	35	21
2	76	21
3	220	21
4	923	21
done	5001	21
0	22	27
1	41	27
2	109	27
3	452	27
4	2649	27
done	5000	27
0	20	21
1	35	21
2	76	21
3	220	21
4	923	21
done	5001	21
0	20	25
1	41	23
2	112	23
3	533	23
4	3305	23
done	5001	23
0	19	20
1	34	20
2	75	20
3	219	20
4	920	20
done	5000	20
0	22	30
1	45	26
2	115	24
3	518	24
4	2983	24
done	5001	24
0	19	20
1	34	20
2	75	20
3	219	20
4	920	20
done	5002	20
0	21	26
1	42	22
2	104	20
3	428	20
4	2157	20
done	5000	20
0	19	20
1	34	20
2	75	20
3	219	20
4	920	20
done	5002	20
0	18	24
1	39	18
2	96	16
3	435	16
4	1403	16
done	5000	16
0	18	19
1	33	19
2	74	19
3	218	19
4	920	19
done	5002	19
0	24	38
1	49	38
2	145	38
3	668	38
4	4069	38
done	5001	38
0	20	21
1	35	21
2	72	21
3	178	21
4	560	21
5	2164	21
done	5000	21
0	23	34
1	44	34
2	117	34
3	489	34
4	2636	34
done	5000	34
0	20	21
1	35	21
2	72	21
3	178	21
4	560	21
5	2164	21
done	5000	21
0	21	32
1	44	30
2	120	30
3	568	30
4	2785	30
done	5001	30
0	19	20
1	34	20
2	71	20
3	177	20
4	563	20
5	2173	20
done	5000	20
0	23	31
1	44	31
2	117	31
3	461	31
4	2402	31
done	5001	31
0	20	21
1	35	21
2	73	21
3	179	21
4	561	21
5	2161	21
done	5000	21
0	22	27
1	41	27
2	106	27
3	386	27
4	1754	27
done	5000	27
0	20	21
1	35	21
2	73	21
3	179	21
4	561	21
5	2161	21
done	5000	21
0	20	25
1	41	23
2	103	23
3	402	23
4	1713	23
done	5000	23
0	19	20
1	34	20
2	72	20
3	178	20
4	561	20
5	2165	20
done	5000	20
0	18	26
1	36	26
2	99	24
3	496	24
4	2947	24
done	5000	24
0	19	20
1	34	20
2	75	20
3	219	20
4	920	20
done	5002	20
0	17	22
1	33	22
2	88	20
3	406	20
4	2130	20
done	5000	20
0	19	20
1	34	20
2	75	20
3	219	20
4	920	20
done	5002	20
0	14	20
1	30	18
2	80	16
3	384	16
4	1339	16
done	5000	16
0	18	19
1	33	19
2	74	19
3	218	19
4	920	19
done	5002	19
0	24	32
1	47	32
2	132	32
3	596	32
4	4034	32
done	5001	32
0	21	22
1	38	22
2	84	22
3	235	22
4	956	22
done	5001	22
0	23	28
1	44	28
2	117	28
3	467	28
4	2683	28
done	5001	28
0	21	22
1	38	22
2	84	22
3	235	22
4	956	22
done	5001	22
0	21	26
1	44	24
2	120	24
3	547	24
4	3342	24
done	5000	24
0	20	21
1	37	21
2	83	21
3	234	21
4	955	21
done	5000	21
0	13	18
1	27	16
2	74	16
3	286	16
4	783	16
5	2576	16
done	5000	16
0	18	19
1	33	19
2	74	19
3	218	19
4	920	19
done	5002	19
0	17	22
1	34	22
2	90	22
3	375	22
4	1990	22
done	5000	22
0	14	15
1	28	14
2	56	13
3	160	13
4	574	13
5	1788	13
done	5001	13
0	21	35
1	42	33
2	94	31
3	275	31
4	689	31
5	1221	31
6	2166	31
done	5000	31
0	18	19
1	31	19
2	60	19
3	143	19
4	396	19
5	1199	19
6	4570	19
done	5000	19
0	20	25
1	39	23
2	80	21
3	204	21
4	464	21
5	784	21
6	1644	21
done	5002	21
0	18	19
1	31	19
2	60	19
3	143	19
4	396	19
5	1199	19
6	4570	19
done	5000	19
0	19	27
1	40	25
2	107	23
3	465	23
4	2427	23
done	5001	23
0	17	18
1	30	18
2	69	18
3	212	18
4	904	18
done	5000	18
0	18	23
1	37	21
2	92	19
3	343	19
4	1493	19
done	5001	19
0	17	18
1	30	18
2	69	18
3	212	18
4	904	18
done	5000	18
0	15	21
1	34	17
2	90	15
3	361	15
4	1510	15
done	5000	15
0	16	17
1	29	17
2	68	17
3	211	17
4	905	17
done	5000	17
0	19	27
1	40	25
2	107	23
3	465	23
4	2427	23
done	5001	23
0	17	18
1	30	18
2	69	18
3	212	18
4	904	18
done	5000	18
0	18	23
1	37	21
2	92	19
3	343	19
4	1493	19
done	5001	19
0	17	18
1	30	18
2	69	18
3	212	18
4	904	18
done	5000	18
0	15	21
1	34	17
2	90	15
3	361	15
4	1510	15
done	5000	15
0	16	17
1	29	17
2	68	17
3	211	17
4	905	17
done	5000	17
0	23	33
1	46	31
2	117	29
3	480	29
4	2467	29
done	5001	29
0	19	20
1	34	20
2	75	20
3	219	20
4	918	20
done	5001	20
0	22	29
1	43	27
2	102	25
3	358	25
4	1526	25
done	5000	25
0	19	20
1	34	20
2	75	20
3	219	20
4	918	20
done	5001	20
0	19	27
1	40	23
2	100	21
3	377	21
4	1552	21
done	5000	21
0	18	19
1	33	19
2	74	19
3	218	19
4	918	19
done	5001	19
0	22	30
1	45	28
2	116	26
3	479	26
4	2470	26
done	5000	26
0	19	20
1	34	20
2	75	20
3	219	20
4	918	20
done	5001	20
0	21	26
1	42	24
2	101	22
3	357	22
4	1531	22
done	5000	22
0	19	20
1	34	20
2	75	20
3	219	20
4	918	20
done	5001	20
0	18	24
1	39	20
2	99	18
3	375	18
4	1548	18
done	5000	18
0	18	19
1	33	19
2	74	19
3	218	19
4	918	19
done	5001	19
0	20	29
1	43	23
2	104	19
3	321	19
4	878	19
5	1403	19
6	1636	19
7	1693	19
8	1746	19
9	1807	19
10	1876	19
11	1953	19
12	2038	19
13	2131	19
14	2232	19
15	2341	19
16	2458	19
17	2583	19
18	2716	19
19	2857	19
20	3006	19
21	3163	19
22	3328	19
23	3501	19
24	3682	19
25	3871	19
26	4068	19
27	4273	19
28	4486	19
29	4707	19
30	4936	19
done	5000	19
0	18	19
1	33	19
2	74	19
3	218	19
4	918	19
done	5002	19
0	19	25
1	40	19
2	93	15
3	251	15
4	536	15
5	722	15
6	808	15
7	853	15
8	906	15
9	967	15
10	1036	15
11	1113	15
12	1198	15
13	1291	15
14	1392	15
15	1501	15
16	1618	15
17	1743	15
18	1876	15
19	2017	15
20	2166	15
21	2323	15
22	2488	15
23	2661	15
24	2842	15
25	3031	15
26	3228	15
27	3433	15
28	3646	15
29	3867	15
30	4096	15
31	4333	15
32	4578	15
33	4831	15
done	5001	15
0	18	19
1	33	19
2	74	19
3	218	19
4	918	19
done	5002	19
0	16	23
1	37	15
2	80	11
3	223	11
4	394	11
5	494	11
6	531	11
7	576	11
8	629	11
9	690	11
10	759	11
11	836	11
12	921	11
13	1014	11
14	1115	11
15	1224	11
16	1341	11
17	1466	11
18	1599	11
19	1740	11
20	1889	11
21	2046	11
22	2211	11
23	2384	11
24	2565	11
25	2754	11
26	2951	11
27	3156	11
28	3369	11
29	3590	11
30	3819	11
31	4056	11
32	4301	11
33	4554	11
34	4815	11
done	5000	11
0	17	18
1	32	18
2	73	18
3	217	18
4	917	18
done	5000	18
0	23	37
1	50	35
2	135	33
3	564	33
4	2204	33
done	5000	33
0	19	20
1	34	20
2	71	20
3	177	20
4	563	20
5	2166	20
done	5000	20
0	22	33
1	45	31
2	109	29
3	403	29
4	1393	29
5	3138	29
6	4624	29
done	5000	29
0	19	20
1	34	20
2	71	20
3	177	20
4	563	20
5	2166	20
done	5000	20
0	19	31
1	42	27
2	107	25
3	425	25
4	1258	25
5	2309	25
6	3009	25
7	4918	25
done	5000	25
0	18	19
1	33	19
2	70	19
3	176	19
4	561	19
5	2160	19
done	5000	19
0	22	30
1	45	28
2	109	26
3	382	26
4	1324	26
5	3343	26
done	5000	26
0	19	20
1	34	20
2	72	20
3	178	20
4	561	20
5	2156	20
done	5000	20
0	21	26
1	42	24
2	98	22
3	302	22
4	879	22
5	1728	22
6	2621	22
7	4583	22
done	5000	22
0	19	20
1	34	20
2	72	20
3	178	20
4	561	20
5	2156	20
done	5000	20
0	18	24
1	39	20
2	92	18
3	281	18
4	752	18
5	1304	18
6	1845	18
7	3744	18
done	5000	18
0	18	19
1	33	19
2	71	19
3	177	19
4	562	19
5	2163	19
done	5001	19
0	16	25
1	34	23
2	88	19
3	295	19
4	829	19
5	1359	19
6	1567	19
7	1588	19
8	1607	19
9	1629	19
10	1654	19
11	1682	19
12	1713	19
13	1747	19
14	1784	19
15	1824	19
16	1867	19
17	1913	19
18	1962	19
19	2014	19
20	2069	19
21	2127	19
22	2188	19
23	2252	19
24	2319	19
25	2389	19
26	2462	19
27	2538	19
28	2617	19
29	2699	19
30	2784	19
31	2872	19
32	2963	19
33	3057	19
34	3154	19
35	3254	19
36	3357	19
37	3463	19
38	3572	19
39	3684	19
40	3799	19
41	3917	19
42	4038	19
43	4162	19
44	4289	19
45	4419	19
46	4552	19
47	4688	19
48	4827	19
49	4969	19
done	5001	19
0	18	19
1	33	19
2	74	19
3	218	19
4	918	19
done	5002	19
0	15	21
1	31	19
2	77	15
3	225	15
4	495	15
5	661	15
6	719	15
7	735	15
8	754	15
9	776	15
10	801	15
11	829	15
12	860	15
13	894	15
14	931	15
15	971	15
16	1014	15
17	1060	15
18	1109	15
19	1161	15
20	1216	15
21	1274	15
22	1335	15
23	1399	15
24	1466	15
25	1536	15
26	1609	15
27	1685	15
28	1764	15
29	1846	15
30	1931	15
31	2019	15
32	2110	15
33	2204	15
34	2301	15
35	2401	15
36	2504	15
37	2610	15
38	2719	15
39	2831	15
40	2946	15
41	3064	15
42	3185	15
43	3309	15
44	3436	15
45	3566	15
46	3699	15
47	3835	15
48	3974	15
49	4116	15
50	4261	15
51	4409	15
52	4560	15
53	4714	15
54	4871	15
done	5001	15
0	18	19
1	33	19
2	74	19
3	218	19
4	918	19
done	5002	19
0	12	19
1	28	13
2	59	11
3	201	11
4	320	11
5	380	11
6	393	11
7	409	11
8	428	11
9	450	11
10	475	11
11	503	11
12	534	11
13	568	11
14	605	11
15	645	11
16	688	11
17	734	11
18	783	11
19	835	11
20	890	11
21	948	11
22	1009	11
23	1073	11
24	1140	11
25	1210	11
26	1283	11
27	1359	11
28	1438	11
29	1520	11
30	1605	11
31	1693	11
32	1784	11
33	1878	11
34	1975	11
35	2075	11
36	2178	11
37	2284	11
38	2393	11
39	2505	11
40	2620	11
41	2738	11
42	2859	11
43	2983	11
44	3110	11
45	3240	11
46	3373	11
47	3509	11
48	3648	11
49	3790	11
50	3935	11
51	4083	11
52	4234	11
53	4388	11
54	4545	11
55	4705	11
56	4868	11
done	5000	11
0	17	18
1	32	18
2	73	18
3	217	18
4	917	18
done	5000	18
0	23	31
1	48	29
2	124	27
3	494	27
4	2502	27
done	5000	27
0	20	21
1	37	21
2	83	21
3	234	21
4	955	21
done	5001	21
0	22	27
1	45	25
2	109	23
3	372	23
4	1561	23
done	5000	23
0	20	21
1	37	21
2	83	21
3	234	21
4	955	21
done	5001	21
0	19	25
1	42	21
2	107	19
3	391	19
4	1582	19
done	5001	19
0	19	20
1	36	20
2	82	20
3	233	20
4	954	20
done	5001	20
0	11	17
1	25	13
2	47	11
3	121	11
4	162	11
5	193	11
6	209	11
7	225	11
8	244	11
9	266	11
10	291	11
11	319	11
12	350	11
13	384	11
14	421	11
15	461	11
16	504	11
17	550	11
18	599	11
19	651	11
20	706	11
21	764	11
22	825	11
23	889	11
24	956	11
25	1026	11
26	1099	11
27	1175	11
28	1254	11
29	1336	11
30	1421	11
31	1509	11
32	1600	11
33	1694	11
34	1791	11
35	1891	11
36	1994	11
37	2100	11
38	2209	11
39	2321	11
40	2436	11
41	2554	11
42	2675	11
43	2799	11
44	2926	11
45	3056	11
46	3189	11
47	3325	11
48	3464	11
49	3606	11
50	3751	11
51	3899	11
52	4050	11
53	4204	11
54	4361	11
55	4521	11
56	4684	11
57	4850	11
done	5000	11
0	17	18
1	32	18
2	73	18
3	217	18
4	917	18
done	5000	18
0	16	21
1	35	19
2	80	17
3	256	17
4	849	17
5	2677	17
done	5001	17
0	13	14
1	27	13
2	55	12
3	159	12
4	573	12
5	1773	12
done	5000	12
0	23	41
1	46	41
2	125	41
3	448	41
4	1505	41
5	3565	41
done	5000	41
0	19	20
1	32	20
2	57	20
3	117	20
4	254	20
5	576	20
6	1743	20
done	5000	20
0	22	31
1	43	31
2	104	31
3	325	31
4	928	31
5	1874	31
6	3326	31
done	5000	31
0	19	20
1	32	20
2	57	20
3	117	20
4	254	20
5	576	20
6	1743	20
done	5000	20
0	21	33
1	44	33
2	137	33
3	676	33
4	4079	33
done	5000	33
0	18	19
1	31	19
2	66	19
3	176	19
4	578	19
5	2259	19
done	5000	19
0	20	29
1	41	29
2	122	29
3	528	29
4	2706	29
done	5000	29
0	18	19
1	31	19
2	66	19
3	176	19
4	578	19
5	2259	19
done	5000	19
0	18	27
1	41	25
2	121	25
3	589	25
4	3151	25
done	5000	25
0	17	18
1	30	18
2	65	18
3	175	18
4	578	18
5	2263	18
done	5001	18
0	21	33
1	44	33
2	137	33
3	676	33
4	4079	33
done	5000	33
0	18	19
1	31	19
2	66	19
3	176	19
4	578	19
5	2259	19
done	5000	19
0	20	29
1	41	29
2	122	29
3	528	29
4	2706	29
done	5000	29
0	18	19
1	31	19
2	66	19
3	176	19
4	578	19
5	2259	19
done	5000	19
0	18	27
1	41	25
2	121	25
3	589	25
4	3151	25
done	5000	25
0	17	18
1	30	18
2	65	18
3	175	18
4	578	18
5	2263	18
done	5001	18
0	25	39
1	50	39
2	147	39
3	689	39
4	4136	39
done	5001	39
0	20	21
1	35	21
2	72	21
3	183	21
4	593	21
5	2287	21
done	5000	21
0	24	35
1	47	35
2	132	35
3	541	35
4	2748	35
done	5000	35
0	20	21
1	35	21
2	72	21
3	183	21
4	593	21
5	2287	21
done	5000	21
0	22	33
1	47	31
2	131	31
3	603	31
4	3192	31
done	5000	31
0	19	20
1	34	20
2	71	20
3	182	20
4	594	20
5	2273	20
done	5001	20
0	24	36
1	49	36
2	146	36
3	688	36
4	4128	36
done	5000	36
0	20	21
1	35	21
2	72	21
3	183	21
4	593	21
5	2287	21
done	5000	21
0	23	32
1	46	32
2	131	32
3	540	32
4	2740	32
done	5000	32
0	20	21
1	35	21
2	72	21
3	183	21
4	593	21
5	2287	21
done	5000	21
0	21	30
1	46	28
2	130	28
3	604	28
4	3200	28
done	5000	28
0	19	20
1	34	20
2	71	20
3	182	20
4	594	20
5	2273	20
done	5001	20
0	23	35
1	50	31
2	135	29
3	628	29
4	2895	29
done	5001	29
0	19	20
1	34	20
2	71	20
3	182	20
4	594	20
5	2284	20
done	5001	20
0	22	31
1	47	27
2	124	25
3	519	25
4	2013	25
5	3577	25
6	4875	25
done	5001	25
0	19	20
1	34	20
2	71	20
3	182	20
4	594	20
5	2284	20
done	5001	20
0	19	29
1	44	23
2	112	21
3	492	21
4	1302	21
5	2479	21
6	2977	21
7	4405	21
done	5000	21
0	18	19
1	33	19
2	70	19
3	181	19
4	591	19
5	2283	19
done	5000	19
0	25	43
1	54	43
2	169	43
3	797	43
4	4189	43
done	5000	43
0	20	21
1	35	21
2	68	21
3	145	21
4	325	21
5	677	21
6	1637	21
7	4918	21
done	5000	21
0	24	39
1	49	39
2	139	39
3	582	39
4	2680	39
done	5001	39
0	20	21
1	35	21
2	68	21
3	145	21
4	325	21
5	677	21
6	1637	21
7	4918	21
done	5000	21
0	22	37
1	49	35
2	138	35
3	637	35
4	2600	35
done	5000	35
0	19	20
1	34	20
2	67	20
3	144	20
4	324	20
5	672	20
6	1632	20
7	4953	20
done	5000	20
0	24	36
1	49	36
2	137	36
3	536	36
4	2406	36
done	5000	36
0	20	21
1	35	21
2	69	21
3	146	21
4	328	21
5	685	21
6	1646	21
7	4930	21
done	5000	21
0	23	32
1	46	32
2	126	32
3	450	32
4	1705	32
5	4881	32
done	5000	32
0	20	21
1	35	21
2	69	21
3	146	21
4	328	21
5	685	21
6	1646	21
7	4930	21
done	5000	21
0	21	30
1	46	28
2	119	28
3	449	28
4	1567	28
5	4105	28
done	5000	28
0	19	20
1	34	20
2	68	20
3	145	20
4	325	20
5	679	20
6	1639	20
7	4950	20
done	5000	20
0	19	31
1	41	31
2	119	29
3	608	29
4	2881	29
done	5000	29
0	19	20
1	34	20
2	71	20
3	182	20
4	594	20
5	2284	20
done	5001	20
0	18	27
1	38	27
2	108	25
3	497	25
4	1986	25
5	3514	25
6	4653	25
done	5000	25
0	19	20
1	34	20
2	71	20
3	182	20
4	594	20
5	2284	20
done	5001	20
0	15	25
1	35	23
2	96	21
3	437	21
4	1238	21
5	2431	21
6	2903	21
7	4287	21
done	5000	21
0	18	19
1	33	19
2	70	19
3	181	19
4	591	19
5	2283	19
done	5000	19
0	25	37
1	52	37
2	154	37
3	703	37
4	4159	37
done	5000	37
0	21	22
1	38	22
2	80	22
3	198	22
4	629	22
5	2347	22
done	5001	22
0	24	33
1	49	33
2	139	33
3	555	33
4	2778	33
done	5000	33
0	21	22
1	38	22
2	80	22
3	198	22
4	629	22
5	2347	22
done	5001	22
0	22	31
1	49	29
2	138	29
3	617	29
4	3228	29
done	5000	29
0	20	21
1	37	21
2	79	21
3	197	21
4	628	21
5	2337	21
done	5000	21
0	14	23
1	32	21
2	93	21
3	337	21
4	686	21
5	1011	21
6	1490	21
7	2923	21
done	5000	21
0	18	19
1	33	19
2	70	19
3	181	19
4	591	19
5	2283	19
done	5000	19
0	18	27
1	39	27
2	108	27
3	427	27
4	1836	27
done	5001	27
0	14	15
1	28	14
2	52	13
3	125	13
4	291	13
5	474	13
6	924	13
7	2354	13
done	5000	13
0	22	36
1	41	36
2	96	36
3	289	36
4	856	36
5	1875	36
6	3366	36
done	5001	36
0	19	20
1	32	20
2	58	20
3	118	20
4	255	20
5	576	20
6	1736	20
done	5000	20
0	21	26
1	38	26
2	82	26
3	226	26
4	574	26
5	1090	26
6	2318	26
done	5001	26
0	19	20
1	32	20
2	58	20
3	118	20
4	255	20
5	576	20
6	1736	20
done	5000	20
0	20	28
1	39	28
2	109	28
3	461	28
4	2544	28
done	5000	28
0	18	19
1	31	19
2	67	19
3	177	19
4	578	19
5	2251	19
done	5000	19
0	19	24
1	36	24
2	94	24
3	349	24
4	1609	24
done	5001	24
0	18	19
1	31	19
2	67	19
3	177	19
4	578	19
5	2251	19
done	5000	19
0	17	22
1	36	20
2	95	20
3	402	20
4	1919	20
done	5000	20
0	17	18
1	30	18
2	66	18
3	176	18
4	578	18
5	2263	18
done	5000	18
0	20	28
1	39	28
2	109	28
3	461	28
4	2544	28
done	5000	28
0	18	19
1	31	19
2	67	19
3	177	19
4	578	19
5	2251	19
done	5000	19
0	19	24
1	36	24
2	94	24
3	349	24
4	1609	24
done	5001	24
0	18	19
1	31	19
2	67	19
3	177	19
4	578	19
5	2251	19
done	5000	19
0	17	22
1	36	20
2	95	20
3	402	20
4	1919	20
done	5000	20
0	17	18
1	30	18
2	66	18
3	176	18
4	578	18
5	2263	18
done	5000	18
0	24	34
1	45	34
2	119	34
3	476	34
4	2583	34
done	5000	34
0	20	21
1	35	21
2	73	21
3	184	21
4	596	21
5	2281	21
done	5001	21
0	23	30
1	42	30
2	104	30
3	364	30
4	1646	30
done	5000	30
0	20	21
1	35	21
2	73	21
3	184	21
4	596	21
5	2281	21
done	5001	21
0	21	28
1	42	26
2	105	26
3	416	26
4	1952	26
done	5000	26
0	19	20
1	34	20
2	72	20
3	183	20
4	593	20
5	2270	20
done	5000	20
0	23	31
1	44	31
2	118	31
3	475	31
4	2579	31
done	5000	31
0	20	21
1	35	21
2	73	21
3	184	21
4	596	21
5	2281	21
done	5001	21
0	22	27
1	41	27
2	103	27
3	363	27
4	1644	27
done	5000	27
0	20	21
1	35	21
2	73	21
3	184	21
4	596	21
5	2281	21
done	5001	21
0	20	25
1	41	23
2	104	23
3	415	23
4	1955	23
done	5000	23
0	19	20
1	34	20
2	72	20
3	183	20
4	593	20
5	2270	20
done	5000	20
0	22	30
1	45	26
2	109	24
3	415	24
4	1691	24
5	3812	24
done	5000	24
0	19	20
1	34	20
2	72	20
3	183	20
4	595	20
5	2296	20
done	5001	20
0	21	26
1	42	22
2	98	20
3	338	20
4	1158	20
5	1934	20
6	2670	20
7	4148	20
done	5000	20
0	19	20
1	34	20
2	72	20
3	183	20
4	595	20
5	2296	20
done	5001	20
0	18	24
1	39	18
2	90	16
3	350	16
4	801	16
5	1368	16
6	1814	16
7	3246	16
done	5000	16
0	18	19
1	33	19
2	71	19
3	182	19
4	594	19
5	2282	19
done	5000	19
0	24	38
1	49	38
2	137	38
3	542	38
4	2558	38
done	5001	38
0	20	21
1	35	21
2	69	21
3	146	21
4	328	21
5	685	21
6	1646	21
7	4930	21
done	5000	21
0	23	34
1	44	34
2	111	34
3	398	34
4	1621	34
5	4966	34
done	5000	34
0	20	21
1	35	21
2	69	21
3	146	21
4	328	21
5	685	21
6	1646	21
7	4930	21
done	5000	21
0	21	32
1	44	30
2	112	30
3	457	30
4	1626	30
5	4230	30
done	5001	30
0	19	20
1	34	20
2	68	20
3	145	20
4	325	20
5	679	20
6	1639	20
7	4950	20
done	5000	20
0	23	31
1	44	31
2	111	31
3	374	31
4	1442	31
5	4557	31
done	5000	31
0	20	21
1	35	21
2	70	21
3	147	21
4	329	21
5	684	21
6	1640	21
7	4941	21
done	5000	21
0	22	27
1	41	27
2	100	27
3	307	27
4	1003	27
5	2494	27
6	4364	27
done	5000	27
0	20	21
1	35	21
2	70	21
3	147	21
4	329	21
5	684	21
6	1640	21
7	4941	21
done	5000	21
0	20	25
1	41	23
2	97	23
3	324	23
4	978	23
5	2174	23
6	3284	23
done	5000	23
0	19	20
1	34	20
2	69	20
3	146	20
4	328	20
5	683	20
6	1639	20
7	4958	20
done	5000	20
0	18	26
1	36	26
2	93	24
3	393	24
4	1661	24
5	3741	24
done	5000	24
0	19	20
1	34	20
2	72	20
3	183	20
4	595	20
5	2296	20
done	5001	20
0	17	22
1	33	22
2	82	20
3	316	20
4	1125	20
5	1863	20
6	2547	20
7	3982	20
done	5000	20
0	19	20
1	34	20
2	72	20
3	183	20
4	595	20
5	2296	20
done	5001	20
0	14	20
1	30	18
2	74	16
3	289	16
4	724	16
5	1283	16
6	1698	16
7	3099	16
done	5000	16
0	18	19
1	33	19
2	71	19
3	182	19
4	594	19
5	2282	19
done	5000	19
0	24	32
1	47	32
2	126	32
3	490	32
4	2617	32
done	5000	32
0	21	22
1	38	22
2	81	22
3	199	22
4	630	22
5	2346	22
done	5000	22
0	23	28
1	44	28
2	111	28
3	378	28
4	1674	28
done	5000	28
0	21	22
1	38	22
2	81	22
3	199	22
4	630	22
5	2346	22
done	5000	22
0	21	26
1	44	24
2	112	24
3	430	24
4	1987	24
done	5000	24
0	20	21
1	37	21
2	80	21
3	198	21
4	629	21
5	2344	21
done	5001	21
0	13	18
1	27	16
2	68	16
3	208	16
4	381	16
5	585	16
6	1015	16
7	2447	16
done	5000	16
0	18	19
1	33	19
2	71	19
3	182	19
4	594	19
5	2282	19
done	5000	19
0	17	22
1	34	22
2	82	22
3	274	22
4	1058	22
5	4438	22
done	5001	22
0	14	15
1	28	14
2	53	13
3	126	13
4	292	13
5	475	13
6	925	13
7	2360	13
done	5001	13
0	20	33
1	38	31
2	102	31
3	317	31
4	698	31
5	1171	31
6	2127	31
done	5000	31
0	18	19
1	31	19
2	60	19
3	143	19
4	396	19
5	1199	19
6	4570	19
done	5000	19
0	19	23
1	35	21
2	84	21
3	220	21
4	453	21
5	767	21
6	1619	21
done	5000	21
0	18	19
1	31	19
2	60	19
3	143	19
4	396	19
5	1199	19
6	4570	19
done	5000	19
0	18	25
1	36	23
2	115	23
3	533	23
4	2583	23
done	5000	23
0	17	18
1	30	18
2	69	18
3	212	18
4	904	18
done	5000	18
0	17	21
1	33	19
2	100	19
3	395	19
4	1609	19
done	5000	19
0	17	18
1	30	18
2	69	18
3	212	18
4	904	18
done	5000	18
0	14	19
1	30	15
2	94	15
3	406	15
4	1630	15
done	5000	15
0	16	17
1	29	17
2	68	17
3	211	17
4	905	17
done	5000	17
0	18	25
1	36	23
2	115	23
3	533	23
4	2583	23
done	5000	23
0	17	18
1	30	18
2	69	18
3	212	18
4	904	18
done	5000	18
0	17	21
1	33	19
2	100	19
3	395	19
4	1609	19
done	5000	19
0	17	18
1	30	18
2	69	18
3	212	18
4	904	18
done	5000	18
0	14	19
1	30	15
2	94	15
3	406	15
4	1630	15
done	5000	15
0	16	17
1	29	17
2	68	17
3	211	17
4	905	17
done	5000	17
0	22	31
1	42	29
2	125	29
3	548	29
4	2643	29
done	5000	29
0	19	20
1	34	20
2	75	20
3	219	20
4	918	20
done	5001	20
0	21	27
1	39	25
2	110	25
3	410	25
4	1648	25
done	5001	25
0	19	20
1	34	20
2	75	20
3	219	20
4	918	20
done	5001	20
0	18	25
1	36	21
2	104	21
3	422	21
4	1672	21
done	5000	21
0	18	19
1	33	19
2	74	19
3	218	19
4	918	19
done	5001	19
0	21	28
1	41	26
2	124	26
3	547	26
4	2667	26
done	5000	26
0	19	20
1	34	20
2	75	20
3	219	20
4	918	20
done	5001	20
0	20	24
1	38	22
2	109	22
3	409	22
4	1636	22
done	5001	22
0	19	20
1	34	20
2	75	20
3	219	20
4	918	20
done	5001	20
0	17	22
1	35	18
2	103	18
3	420	18
4	1657	18
done	5001	18
0	18	19
1	33	19
2	74	19
3	218	19
4	918	19
done	5001	19
0	19	27
1	39	19
2	104	19
3	354	19
4	945	19
5	1429	19
6	1654	19
7	1701	19
8	1741	19
9	1787	19
10	1839	19
11	1897	19
12	1961	19
13	2031	19
14	2107	19
15	2189	19
16	2277	19
17	2371	19
18	2471	19
19	2577	19
20	2689	19
21	2807	19
22	2931	19
23	3061	19
24	3197	19
25	3339	19
26	3487	19
27	3641	19
28	3801	19
29	3967	19
30	4139	19
31	4317	19
32	4501	19
33	4691	19
34	4887	19
done	5000	19
0	18	19
1	33	19
2	74	19
3	218	19
4	918	19
done	5002	19
0	18	23
1	36	15
2	91	15
3	265	15
4	538	15
5	711	15
6	784	15
7	818	15
8	858	15
9	904	15
10	956	15
11	1014	15
12	1078	15
13	1148	15
14	1224	15
15	1306	15
16	1394	15
17	1488	15
18	1588	15
19	1694	15
20	1806	15
21	1924	15
22	2048	15
23	2178	15
24	2314	15
25	2456	15
26	2604	15
27	2758	15
28	2918	15
29	3084	15
30	3256	15
31	3434	15
32	3618	15
33	3808	15
34	4004	15
35	4206	15
36	4414	15
37	4628	15
38	4848	15
done	5000	15
0	18	19
1	33	19
2	74	19
3	218	19
4	918	19
done	5002	19
0	15	21
1	33	11
2	85	11
3	265	11
4	398	11
5	463	11
6	491	11
7	525	11
8	565	11
9	611	11
10	663	11
11	721	11
12	785	11
13	855	11
14	931	11
15	1013	11
16	1101	11
17	1195	11
18	1295	11
19	1401	11
20	1513	11
21	1631	11
22	1755	11
23	1885	11
24	2021	11
25	2163	11
26	2311	11
27	2465	11
28	2625	11
29	2791	11
30	2963	11
31	3141	11
32	3325	11
33	3515	11
34	3711	11
35	3913	11
36	4121	11
37	4335	11
38	4555	11
39	4781	11
done	5000	11
0	17	18
1	32	18
2	73	18
3	217	18
4	917	18
done	5000	18
0	22	35
1	46	33
2	145	33
3	648	33
4	2363	33
done	5000	33
0	19	20
1	34	20
2	71	20
3	177	20
4	563	20
5	2166	20
done	5000	20
0	21	31
1	41	29
2	117	29
3	457	29
4	1453	29
5	3099	29
6	4466	29
done	5000	29
0	19	20
1	34	20
2	71	20
3	177	20
4	563	20
5	2166	20
done	5000	20
0	18	29
1	38	25
2	111	25
3	469	25
4	1283	25
5	2316	25
6	3028	25
7	4918	25
done	5000	25
0	18	19
1	33	19
2	70	19
3	176	19
4	561	19
5	2160	19
done	5000	19
0	21	28
1	41	26
2	115	26
3	420	26
4	1346	26
5	3333	26
done	5000	26
0	19	20
1	34	20
2	72	20
3	178	20
4	561	20
5	2156	20
done	5000	20
0	20	24
1	38	22
2	104	22
3	333	22
4	877	22
5	1731	22
6	2600	22
7	4547	22
done	5000	22
0	19	20
1	34	20
2	72	20
3	178	20
4	561	20
5	2156	20
done	5000	20
0	17	22
1	35	18
2	94	18
3	297	18
4	740	18
5	1286	18
6	1800	18
7	3673	18
done	5000	18
0	18	19
1	33	19
2	71	19
3	177	19
4	562	19
5	2163	19
done	5001	19
0	15	23
1	29	19
2	87	19
3	328	19
4	889	19
5	1360	19
6	1544	19
7	1555	19
done	1555	19
0	18	19
1	33	19
2	74	19
3	218	19
4	918	19
done	5002	19
0	14	19
1	26	15
2	74	15
3	237	15
4	503	15
5	656	15
6	702	15
done	702	15
0	18	19
1	33	19
2	74	19
3	218	19
4	918	19
done	5002	19
0	11	17
1	23	11
2	51	11
3	207	11
4	315	11
5	358	11
done	358	11
0	17	18
1	32	18
2	73	18
3	217	18
4	917	18
done	5000	18
0	22	29
1	44	27
2	132	27
3	562	27
4	2685	27
done	5000	27
0	20	21
1	37	21
2	83	21
3	234	21
4	955	21
done	5001	21
0	21	25
1	41	23
2	117	23
3	424	23
4	1685	23
done	5000	23
0	20	21
1	37	21
2	83	21
3	234	21
4	955	21
done	5001	21
0	18	23
1	38	19
2	111	19
3	436	19
4	1688	19
done	5000	19
0	19	20
1	36	20
2	82	20
3	233	20
4	954	20
done	5001	20
0	10	15
1	20	11
2	40	11
3	115	11
4	148	11
5	172	11
6	174	11
done	174	11
0	17	18
1	32	18
2	73	18
3	217	18
4	917	18
done	5000	18
0	15	19
1	31	17
2	86	17
3	296	17
4	903	17
5	2806	17
done	5000	17
0	13	14
1	27	13
2	55	12
3	159	12
4	573	12
5	1773	12
done	5000	12
0	23	37
1	41	37
2	107	37
3	390	37
4	1647	37
done	5000	37
0	20	21
1	32	21
2	64	21
3	150	21
4	408	21
5	1234	21
6	4727	21
done	5000	21
0	22	27
1	38	27
2	91	27
3	300	27
4	1092	27
5	4270	27
done	5000	27
0	20	21
1	32	21
2	64	21
3	150	21
4	408	21
5	1234	21
6	4727	21
done	5000	21
0	21	29
1	39	29
2	118	29
3	573	29
4	3970	29
done	5000	29
0	19	20
1	31	20
2	73	20
3	219	20
4	919	20
done	5000	20
0	20	25
1	36	25
2	103	25
3	444	25
4	2627	25
done	5001	25
0	19	20
1	31	20
2	73	20
3	219	20
4	919	20
done	5000	20
0	18	23
1	36	21
2	106	21
3	525	21
4	3286	21
done	5000	21
0	18	19
1	30	19
2	72	19
3	218	19
4	918	19
done	5001	19
0	21	29
1	39	29
2	118	29
3	573	29
4	3970	29
done	5000	29
0	19	20
1	31	20
2	73	20
3	219	20
4	919	20
done	5000	20
0	20	25
1	36	25
2	103	25
3	444	25
4	2627	25
done	5001	25
0	19	20
1	31	20
2	73	20
3	219	20
4	919	20
done	5000	20
0	18	23
1	36	21
2	106	21
3	525	21
4	3286	21
done	5000	21
0	18	19
1	30	19
2	72	19
3	218	19
4	918	19
done	5001	19
0	25	35
1	45	35
2	128	35
3	588	35
4	4012	35
done	5001	35
0	21	22
1	35	22
2	79	22
3	226	22
4	935	22
done	5000	22
0	24	31
1	42	31
2	113	31
3	459	31
4	2661	31
done	5000	31
0	21	22
1	35	22
2	79	22
3	226	22
4	935	22
done	5000	22
0	22	29
1	42	27
2	116	27
3	540	27
4	3313	27
done	5000	27
0	20	21
1	34	21
2	78	21
3	225	21
4	932	21
done	5001	21
0	24	32
1	44	32
2	127	32
3	587	32
4	4005	32
done	5000	32
0	21	22
1	35	22
2	79	22
3	226	22
4	935	22
done	5000	22
0	23	28
1	41	28
2	112	28
3	458	28
4	2661	28
done	5000	28
0	21	22
1	35	22
2	79	22
3	226	22
4	935	22
done	5000	22
0	21	26
1	41	24
2	115	24
3	538	24
4	3324	24
done	5000	24
0	20	21
1	34	21
2	78	21
3	225	21
4	932	21
done	5001	21
0	23	31
1	45	27
2	118	25
3	524	25
4	3003	25
done	5000	25
0	20	21
1	34	21
2	78	21
3	225	21
4	935	21
done	5001	21
0	22	27
1	42	23
2	107	21
3	434	21
4	2155	21
done	5000	21
0	20	21
1	34	21
2	78	21
3	225	21
4	935	21
done	5001	21
0	19	25
1	39	19
2	99	17
3	442	17
4	1405	17
done	5000	17
0	19	20
1	33	20
2	77	20
3	224	20
4	931	20
done	5000	20
0	25	39
1	49	39
2	148	39
3	676	39
4	4102	39
done	5000	39
0	21	22
1	35	22
2	75	22
3	184	22
4	577	22
5	2189	22
done	5001	22
0	24	35
1	44	35
2	120	35
3	495	35
4	2661	35
done	5000	35
0	21	22
1	35	22
2	75	22
3	184	22
4	577	22
5	2189	22
done	5001	22
0	22	33
1	44	31
2	123	31
3	574	31
4	2807	31
done	5001	31
0	20	21
1	34	21
2	74	21
3	183	21
4	575	21
5	2193	21
done	5001	21
0	24	32
1	44	32
2	120	32
3	467	32
4	2414	32
done	5000	32
0	21	22
1	35	22
2	76	22
3	185	22
4	576	22
5	2199	22
done	5000	22
0	23	28
1	41	28
2	109	28
3	392	28
4	1762	28
done	5000	28
0	21	22
1	35	22
2	76	22
3	185	22
4	576	22
5	2199	22
done	5000	22
0	21	26
1	41	24
2	106	24
3	408	24
4	1728	24
done	5000	24
0	20	21
1	34	21
2	75	21
3	184	21
4	574	21
5	2192	21
done	5000	21
0	19	27
1	36	27
2	102	25
3	502	25
4	2986	25
done	5001	25
0	20	21
1	34	21
2	78	21
3	225	21
4	935	21
done	5001	21
0	18	23
1	33	23
2	91	21
3	412	21
4	2142	21
done	5001	21
0	20	21
1	34	21
2	78	21
3	225	21
4	935	21
done	5001	21
0	15	21
1	30	19
2	83	17
3	391	17
4	1337	17
done	5000	17
0	19	20
1	33	20
2	77	20
3	224	20
4	931	20
done	5000	20
0	24	33
1	47	33
2	133	33
3	600	33
4	4032	33
done	5000	33
0	21	23
1	38	23
2	85	23
3	239	23
4	968	23
done	5001	23
0	23	29
1	44	29
2	118	29
3	471	29
4	2696	29
done	5000	29
0	21	23
1	38	23
2	85	23
3	239	23
4	968	23
done	5001	23
0	21	27
1	44	25
2	121	25
3	551	25
4	3345	25
done	5001	25
0	20	22
1	37	22
2	84	22
3	238	22
4	966	22
done	5001	22
0	14	19
1	27	17
2	77	17
3	292	17
4	797	17
5	2637	17
done	5000	17
0	19	20
1	33	20
2	77	20
3	224	20
4	931	20
done	5000	20
0	18	23
1	34	23
2	93	23
3	381	23
4	2015	23
done	5000	23
0	15	16
1	28	15
2	59	14
3	166	14
4	588	14
5	1799	14
done	5000	14
0	22	36
1	39	36
2	87	36
3	246	36
4	825	36
5	3140	36
done	5001	36
0	19	20
1	32	20
2	61	20
3	144	20
4	396	20
5	1198	20
6	4585	20
done	5000	20
0	21	26
1	36	26
2	73	26
3	186	26
4	562	26
5	1922	26
done	5000	26
0	19	20
1	32	20
2	61	20
3	144	20
4	396	20
5	1198	20
6	4585	20
done	5000	20
0	20	28
1	37	28
2	98	28
3	387	28
4	2154	28
done	5001	28
0	18	19
1	31	19
2	70	19
3	213	19
4	904	19
done	5000	19
0	19	24
1	34	24
2	83	24
3	283	24
4	1360	24
done	5000	24
0	18	19
1	31	19
2	70	19
3	213	19
4	904	19
done	5000	19
0	17	22
1	34	20
2	88	20
3	358	20
4	1858	20
done	5000	20
0	17	18
1	30	18
2	69	18
3	212	18
4	904	18
done	5000	18
0	20	28
1	37	28
2	98	28
3	387	28
4	2154	28
done	5001	28
0	18	19
1	31	19
2	70	19
3	213	19
4	904	19
done	5000	19
0	19	24
1	34	24
2	83	24
3	283	24
4	1360	24
done	5000	24
0	18	19
1	31	19
2	70	19
3	213	19
4	904	19
done	5000	19
0	17	22
1	34	20
2	88	20
3	358	20
4	1858	20
done	5000	20
0	17	18
1	30	18
2	69	18
3	212	18
4	904	18
done	5000	18
0	24	34
1	43	34
2	108	34
3	402	34
4	2191	34
done	5001	34
0	20	21
1	35	21
2	76	21
3	220	21
4	923	21
done	5001	21
0	23	30
1	40	30
2	93	30
3	298	30
4	1398	30
done	5001	30
0	20	21
1	35	21
2	76	21
3	220	21
4	923	21
done	5001	21
0	21	28
1	40	26
2	98	26
3	373	26
4	1896	26
done	5000	26
0	19	20
1	34	20
2	75	20
3	219	20
4	920	20
done	5000	20
0	23	31
1	42	31
2	107	31
3	401	31
4	2191	31
done	5000	31
0	20	21
1	35	21
2	76	21
3	220	21
4	923	21
done	5001	21
0	22	27
1	39	27
2	92	27
3	297	27
4	1396	27
done	5001	27
0	20	21
1	35	21
2	76	21
3	220	21
4	923	21
done	5001	21
0	20	25
1	39	23
2	97	23
3	372	23
4	1897	23
done	5000	23
0	19	20
1	34	20
2	75	20
3	219	20
4	920	20
done	5000	20
0	22	30
1	43	26
2	98	24
3	325	24
4	1503	24
done	5001	24
0	19	20
1	34	20
2	75	20
3	219	20
4	920	20
done	5002	20
0	21	26
1	40	22
2	87	20
3	261	20
4	1032	20
5	3237	20
done	5000	20
0	19	20
1	34	20
2	75	20
3	219	20
4	920	20
done	5002	20
0	18	24
1	37	18
2	81	16
3	276	16
4	718	16
5	2826	16
done	5000	16
0	18	19
1	33	19
2	74	19
3	218	19
4	920	19
done	5002	19
0	24	38
1	47	38
2	128	38
3	466	38
4	2198	38
done	5000	38
0	20	21
1	35	21
2	72	21
3	178	21
4	560	21
5	2164	21
done	5000	21
0	23	34
1	42	34
2	100	34
3	327	34
4	1365	34
done	5000	34
0	20	21
1	35	21
2	72	21
3	178	21
4	560	21
5	2164	21
done	5000	21
0	21	32
1	42	30
2	105	30
3	404	30
4	1554	30
done	5001	30
0	19	20
1	34	20
2	71	20
3	177	20
4	563	20
5	2173	20
done	5000	20
0	23	31
1	42	31
2	100	31
3	309	31
4	1269	31
done	5000	31
0	20	21
1	35	21
2	73	21
3	179	21
4	561	21
5	2161	21
done	5000	21
0	22	27
1	39	27
2	89	27
3	250	27
4	898	27
5	3849	27
done	5001	27
0	20	21
1	35	21
2	73	21
3	179	21
4	561	21
5	2161	21
done	5000	21
0	20	25
1	39	23
2	88	23
3	271	23
4	920	23
5	4458	23
done	5000	23
0	19	20
1	34	20
2	72	20
3	178	20
4	561	20
5	2165	20
done	5000	20
0	18	26
1	34	26
2	82	24
3	303	24
4	1463	24
done	5001	24
0	19	20
1	34	20
2	75	20
3	219	20
4	920	20
done	5002	20
0	17	22
1	31	22
2	71	20
3	239	20
4	990	20
5	3161	20
done	5000	20
0	19	20
1	34	20
2	75	20
3	219	20
4	920	20
done	5002	20
0	14	20
1	28	18
2	65	16
3	239	16
4	664	16
5	2783	16
done	5000	16
0	18	19
1	33	19
2	74	19
3	218	19
4	920	19
done	5002	19
0	24	32
1	45	32
2	115	32
3	416	32
4	2226	32
done	5000	32
0	21	22
1	38	22
2	84	22
3	235	22
4	956	22
done	5001	22
0	23	28
1	42	28
2	100	28
3	312	28
4	1434	28
done	5001	28
0	21	22
1	38	22
2	84	22
3	235	22
4	956	22
done	5001	22
0	21	26
1	42	24
2	105	24
3	387	24
4	1929	24
done	5000	24
0	20	21
1	37	21
2	83	21
3	234	21
4	955	21
done	5000	21
0	13	18
1	25	16
2	57	16
3	165	16
4	370	16
5	1050	16
6	3842	16
done	5000	16
0	18	19
1	33	19
2	74	19
3	218	19
4	920	19
done	5002	19
0	17	22
1	32	22
2	75	22
3	240	22
4	1045	22
done	5001	22
0	14	15
1	28	14
2	56	13
3	160	13
4	574	13
5	1788	13
done	5001	13
0	21	33
1	38	33
2	86	33
3	245	33
4	823	33
5	3129	33
done	5000	33
0	19	20
1	32	20
2	61	20
3	144	20
4	396	20
5	1198	20
6	4585	20
done	5000	20
0	20	23
1	35	23
2	72	23
3	185	23
4	561	23
5	1916	23
done	5001	23
0	19	20
1	32	20
2	61	20
3	144	20
4	396	20
5	1198	20
6	4585	20
done	5000	20
0	19	25
1	36	25
2	97	25
3	386	25
4	2148	25
done	5000	25
0	18	19
1	31	19
2	70	19
3	213	19
4	904	19
done	5000	19
0	18	21
1	33	21
2	82	21
3	282	21
4	1361	21
done	5000	21
0	18	19
1	31	19
2	70	19
3	213	19
4	904	19
done	5000	19
0	16	19
1	33	17
2	87	17
3	357	17
4	1854	17
done	5000	17
0	17	18
1	30	18
2	69	18
3	212	18
4	904	18
done	5000	18
0	19	25
1	36	25
2	97	25
3	386	25
4	2148	25
done	5000	25
0	18	19
1	31	19
2	70	19
3	213	19
4	904	19
done	5000	19
0	18	21
1	33	21
2	82	21
3	282	21
4	1361	21
done	5000	21
0	18	19
1	31	19
2	70	19
3	213	19
4	904	19
done	5000	19
0	16	19
1	33	17
2	87	17
3	357	17
4	1854	17
done	5000	17
0	17	18
1	30	18
2	69	18
3	212	18
4	904	18
done	5000	18
0	23	31
1	42	31
2	107	31
3	401	31
4	2185	31
done	5000	31
0	20	21
1	35	21
2	76	21
3	220	21
4	923	21
done	5001	21
0	22	27
1	39	27
2	92	27
3	297	27
4	1396	27
done	5001	27
0	20	21
1	35	21
2	76	21
3	220	21
4	923	21
done	5001	21
0	20	25
1	39	23
2	97	23
3	372	23
4	1895	23
done	5000	23
0	19	20
1	34	20
2	75	20
3	219	20
4	920	20
done	5000	20
0	22	28
1	41	28
2	106	28
3	400	28
4	2193	28
done	5000	28
0	20	21
1	35	21
2	76	21
3	220	21
4	923	21
done	5001	21
0	21	24
1	38	24
2	91	24
3	296	24
4	1397	24
done	5000	24
0	20	21
1	35	21
2	76	21
3	220	21
4	923	21
done	5001	21
0	19	22
1	38	20
2	96	20
3	371	20
4	1888	20
done	5000	20
0	19	20
1	34	20
2	75	20
3	219	20
4	920	20
done	5000	20
0	21	27
1	42	23
2	97	21
3	324	21
4	1497	21
done	5000	21
0	19	20
1	34	20
2	75	20
3	219	20
4	920	20
done	5002	20
0	20	23
1	39	19
2	86	17
3	260	17
4	1028	17
5	3221	17
done	5000	17
0	19	20
1	34	20
2	75	20
3	219	20
4	920	20
done	5002	20
0	17	21
1	36	15
2	80	13
3	275	13
4	719	13
5	2853	13
done	5001	13
0	18	19
1	33	19
2	74	19
3	218	19
4	920	19
done	5002	19
0	23	35
1	46	35
2	127	35
3	467	35
4	2197	35
done	5000	35
0	20	21
1	35	21
2	72	21
3	178	21
4	560	21
5	2164	21
done	5000	21
0	22	31
1	41	31
2	99	31
3	326	31
4	1361	31
done	5000	31
0	20	21
1	35	21
2	72	21
3	178	21
4	560	21
5	2164	21
done	5000	21
0	20	29
1	41	27
2	104	27
3	404	27
4	1563	27
done	5000	27
0	19	20
1	34	20
2	71	20
3	177	20
4	563	20
5	2173	20
done	5000	20
0	22	28
1	41	28
2	99	28
3	308	28
4	1262	28
done	5001	28
0	20	21
1	35	21
2	73	21
3	179	21
4	561	21
5	2161	21
done	5000	21
0	21	24
1	38	24
2	88	24
3	249	24
4	897	24
5	3859	24
done	5000	24
0	20	21
1	35	21
2	73	21
3	179	21
4	561	21
5	2161	21
done	5000	21
0	19	22
1	38	20
2	87	20
3	270	20
4	919	20
5	4427	20
done	5000	20
0	19	20
1	34	20
2	72	20
3	178	20
4	561	20
5	2165	20
done	5000	20
0	17	23
1	33	23
2	81	21
3	302	21
4	1452	21
done	5001	21
0	19	20
1	34	20
2	75	20
3	219	20
4	920	20
done	5002	20
0	16	19
1	30	19
2	70	17
3	238	17
4	990	17
5	3142	17
done	5000	17
0	19	20
1	34	20
2	75	20
3	219	20
4	920	20
done	5002	20
0	13	17
1	27	15
2	64	13
3	238	13
4	662	13
5	2752	13
done	5000	13
0	18	19
1	33	19
2	74	19
3	218	19
4	920	19
done	5002	19
0	23	29
1	44	29
2	114	29
3	415	29
4	2213	29
done	5000	29
0	21	22
1	38	22
2	84	22
3	235	22
4	956	22
done	5001	22
0	22	25
1	41	25
2	99	25
3	311	25
4	1432	25
done	5001	25
0	21	22
1	38	22
2	84	22
3	235	22
4	956	22
done	5001	22
0	20	23
1	41	21
2	104	21
3	386	21
4	1925	21
done	5000	21
0	20	21
1	37	21
2	83	21
3	234	21
4	955	21
done	5000	21
0	12	15
1	24	13
2	56	13
3	164	13
4	368	13
5	1048	13
6	3847	13
done	5000	13
0	18	19
1	33	19
2	74	19
3	218	19
4	920	19
done	5002	19
0	16	19
1	31	19
2	74	19
3	239	19
4	1044	19
done	5000	19
0	14	15
1	28	14
2	56	13
3	160	13
4	574	13
5	1788	13
done	5001	13
0	20	32
1	39	30
2	79	28
3	170	28
4	365	28
5	635	28
6	1455	28
7	4890	28
done	5000	28
0	18	19
1	31	19
2	60	19
3	143	19
4	396	19
5	1199	19
6	4570	19
done	5000	19
0	19	22
1	36	20
2	67	18
3	125	18
4	262	18
5	500	18
6	1294	18
7	4665	18
done	5000	18
0	18	19
1	31	19
2	60	19
3	143	19
4	396	19
5	1199	19
6	4570	19
done	5000	19
0	18	24
1	37	22
2	92	20
3	315	20
4	1434	20
done	5000	20
0	17	18
1	30	18
2	69	18
3	212	18
4	904	18
done	5000	18
0	17	20
1	34	18
2	77	16
3	218	16
4	834	16
5	3115	16
done	5000	16
0	17	18
1	30	18
2	69	18
3	212	18
4	904	18
done	5000	18
0	14	18
1	31	14
2	77	12
3	238	12
4	834	12
5	3134	12
done	5000	12
0	16	17
1	29	17
2	68	17
3	211	17
4	905	17
done	5000	17
0	18	24
1	37	22
2	92	20
3	315	20
4	1434	20
done	5000	20
0	17	18
1	30	18
2	69	18
3	212	18
4	904	18
done	5000	18
0	17	20
1	34	18
2	77	16
3	218	16
4	834	16
5	3115	16
done	5000	16
0	17	18
1	30	18
2	69	18
3	212	18
4	904	18
done	5000	18
0	14	18
1	31	14
2	77	12
3	238	12
4	834	12
5	3134	12
done	5000	12
0	16	17
1	29	17
2	68	17
3	211	17
4	905	17
done	5000	17
0	22	30
1	43	28
2	102	26
3	330	26
4	1473	26
done	5000	26
0	19	20
1	34	20
2	75	20
3	219	20
4	918	20
done	5001	20
0	21	26
1	40	24
2	87	22
3	233	22
4	874	22
5	3176	22
done	5000	22
0	19	20
1	34	20
2	75	20
3	219	20
4	918	20
done	5001	20
0	18	24
1	37	20
2	87	18
3	253	18
4	876	18
5	3169	18
done	5000	18
0	18	19
1	33	19
2	74	19
3	218	19
4	918	19
done	5001	19
0	21	27
1	42	25
2	101	23
3	329	23
4	1461	23
done	5000	23
0	19	20
1	34	20
2	75	20
3	219	20
4	918	20
done	5001	20
0	20	23
1	39	21
2	86	19
3	232	19
4	874	19
5	3161	19
done	5000	19
0	19	20
1	34	20
2	75	20
3	219	20
4	918	20
done	5001	20
0	17	21
1	36	17
2	86	15
3	252	15
4	873	15
5	3153	15
done	5000	15
0	18	19
1	33	19
2	74	19
3	218	19
4	918	19
done	5001	19
0	19	26
1	40	20
2	89	18
3	206	16
4	457	16
5	649	16
6	783	16
7	830	16
8	883	16
9	944	16
10	1013	16
11	1090	16
12	1175	16
13	1268	16
14	1369	16
15	1478	16
16	1595	16
17	1720	16
18	1853	16
19	1994	16
20	2143	16
21	2300	16
22	2465	16
23	2638	16
24	2819	16
25	3008	16
26	3205	16
27	3410	16
28	3623	16
29	3844	16
30	4073	16
31	4310	16
32	4555	16
33	4808	16
done	5000	16
0	18	19
1	33	19
2	74	19
3	218	19
4	918	19
done	5002	19
0	18	22
1	37	16
2	78	14
3	157	12
4	272	12
5	353	12
6	409	12
7	454	12
8	507	12
9	568	12
10	637	12
11	714	12
12	799	12
13	892	12
14	993	12
15	1102	12
16	1219	12
17	1344	12
18	1477	12
19	1618	12
20	1767	12
21	1924	12
22	2089	12
23	2262	12
24	2443	12
25	2632	12
26	2829	12
27	3034	12
28	3247	12
29	3468	12
30	3697	12
31	3934	12
32	4179	12
33	4432	12
34	4693	12
35	4962	12
done	5001	12
0	18	19
1	33	19
2	74	19
3	218	19
4	918	19
done	5002	19
0	15	20
1	34	12
2	68	10
3	159	8
4	224	8
5	270	8
6	307	8
7	352	8
8	405	8
9	466	8
10	535	8
11	612	8
12	697	8
13	790	8
14	891	8
15	1000	8
16	1117	8
17	1242	8
18	1375	8
19	1516	8
20	1665	8
21	1822	8
22	1987	8
23	2160	8
24	2341	8
25	2530	8
26	2727	8
27	2932	8
28	3145	8
29	3366	8
30	3595	8
31	3832	8
32	4077	8
33	4330	8
34	4591	8
35	4860	8
done	5000	8
0	17	18
1	32	18
2	73	18
3	217	18
4	917	18
done	5000	18
0	22	34
1	47	32
2	120	30
3	392	30
4	1255	30
5	2748	30
6	4614	30
done	5000	30
0	19	20
1	34	20
2	71	20
3	177	20
4	563	20
5	2166	20
done	5000	20
0	21	30
1	42	28
2	94	26
3	268	26
4	756	26
5	1388	26
6	2225	26
7	4248	26
done	5000	26
0	19	20
1	34	20
2	71	20
3	177	20
4	563	20
5	2166	20
done	5000	20
0	18	28
1	39	24
2	94	22
3	293	22
4	688	22
5	1194	22
6	1798	22
7	3696	22
done	5000	22
0	18	19
1	33	19
2	70	19
3	176	19
4	561	19
5	2160	19
done	5000	19
0	21	27
1	42	25
2	94	23
3	252	23
4	737	23
5	1537	23
6	2568	23
7	4570	23
done	5001	23
0	19	20
1	34	20
2	72	20
3	178	20
4	561	20
5	2156	20
done	5000	20
0	20	23
1	39	21
2	83	19
3	191	19
4	469	19
5	832	19
6	1454	19
7	3395	19
done	5000	19
0	19	20
1	34	20
2	72	20
3	178	20
4	561	20
5	2156	20
done	5000	20
0	17	21
1	36	17
2	79	15
3	181	15
4	399	15
5	664	15
6	1174	15
7	3065	15
done	5000	15
0	18	19
1	33	19
2	71	19
3	177	19
4	562	19
5	2163	19
done	5001	19
0	15	22
1	31	20
2	73	16
3	156	16
4	402	16
5	566	16
6	678	16
7	697	16
8	716	16
9	738	16
10	763	16
11	791	16
12	822	16
13	856	16
14	893	16
15	933	16
16	976	16
17	1022	16
18	1071	16
19	1123	16
20	1178	16
21	1236	16
22	1297	16
23	1361	16
24	1428	16
25	1498	16
26	1571	16
27	1647	16
28	1726	16
29	1808	16
30	1893	16
31	1981	16
32	2072	16
33	2166	16
34	2263	16
35	2363	16
36	2466	16
37	2572	16
38	2681	16
39	2793	16
40	2908	16
41	3026	16
42	3147	16
43	3271	16
44	3398	16
45	3528	16
46	3661	16
47	3797	16
48	3936	16
49	4078	16
50	4223	16
51	4371	16
52	4522	16
53	4676	16
54	4833	16
55	4993	16
done	5000	16
0	18	19
1	33	19
2	74	19
3	218	19
4	918	19
done	5002	19
0	14	18
1	28	16
2	62	12
3	112	12
4	214	12
5	277	12
6	312	12
7	328	12
8	347	12
9	369	12
10	394	12
11	422	12
12	453	12
13	487	12
14	524	12
15	564	12
16	607	12
17	653	12
18	702	12
19	754	12
20	809	12
21	867	12
22	928	12
23	992	12
24	1059	12
25	1129	12
26	1202	12
27	1278	12
28	1357	12
29	1439	12
30	1524	12
31	1612	12
32	1703	12
33	1797	12
34	1894	12
35	1994	12
36	2097	12
37	2203	12
38	2312	12
39	2424	12
40	2539	12
41	2657	12
42	2778	12
43	2902	12
44	3029	12
45	3159	12
46	3292	12
47	3428	12
48	3567	12
49	3709	12
50	3854	12
51	4002	12
52	4153	12
53	4307	12
54	4464	12
55	4624	12
56	4787	12
57	4953	12
done	5001	12
0	18	19
1	33	19
2	74	19
3	218	19
4	918	19
done	5002	19
0	11	16
1	25	10
2	46	8
3	109	8
4	156	8
5	180	8
6	193	8
7	209	8
8	228	8
9	250	8
10	275	8
11	303	8
12	334	8
13	368	8
14	405	8
15	445	8
16	488	8
17	534	8
18	583	8
19	635	8
20	690	8
21	748	8
22	809	8
23	873	8
24	940	8
25	1010	8
26	1083	8
27	1159	8
28	1238	8
29	1320	8
30	1405	8
31	1493	8
32	1584	8
33	1678	8
34	1775	8
35	1875	8
36	1978	8
37	2084	8
38	2193	8
39	2305	8
40	2420	8
41	2538	8
42	2659	8
43	2783	8
44	2910	8
45	3040	8
46	3173	8
47	3309	8
48	3448	8
49	3590	8
50	3735	8
51	3883	8
52	4034	8
53	4188	8
54	4345	8
55	4505	8
56	4668	8
57	4834	8
done	5002	8
0	17	18
1	32	18
2	73	18
3	217	18
4	917	18
done	5000	18
0	22	28
1	45	26
2	109	24
3	344	24
4	1497	24
done	5001	24
0	20	21
1	37	21
2	83	21
3	234	21
4	955	21
done	5001	21
0	21	24
1	42	22
2	94	20
3	247	20
4	906	20
5	3221	20
done	5000	20
0	20	21
1	37	21
2	83	21
3	234	21
4	955	21
done	5001	21
0	18	22
1	39	18
2	94	16
3	267	16
4	906	16
5	3256	16
done	5000	16
0	19	20
1	36	20
2	82	20
3	233	20
4	954	20
done	5001	20
0	10	14
1	22	10
2	36	8
3	64	8
4	76	8
5	90	8
6	109	8
7	126	8
8	145	8
9	167	8
10	192	8
11	220	8
12	251	8
13	285	8
14	322	8
15	362	8
16	405	8
17	451	8
18	500	8
19	552	8
20	607	8
21	665	8
22	726	8
23	790	8
24	857	8
25	927	8
26	1000	8
27	1076	8
28	1155	8
29	1237	8
30	1322	8
31	1410	8
32	1501	8
33	1595	8
34	1692	8
35	1792	8
36	1895	8
37	2001	8
38	2110	8
39	2222	8
40	2337	8
41	2455	8
42	2576	8
43	2700	8
44	2827	8
45	2957	8
46	3090	8
47	3226	8
48	3365	8
49	3507	8
50	3652	8
51	3800	8
52	3951	8
53	4105	8
54	4262	8
55	4422	8
56	4585	8
57	4751	8
58	4920	8
done	5000	8
0	17	18
1	32	18
2	73	18
3	217	18
4	917	18
done	5000	18
0	15	18
1	32	16
2	67	14
3	158	14
4	452	14
5	1232	14
6	4250	14
done	5000	14
0	13	14
1	27	13
2	55	12
3	159	12
4	573	12
5	1773	12
done	5000	12
0	22	38
1	41	38
2	91	38
3	254	38
4	681	38
5	1418	38
6	2797	38
done	5000	38
0	19	20
1	32	20
2	57	20
3	117	20
4	254	20
5	576	20
6	1743	20
done	5000	20
0	21	28
1	38	28
2	76	28
3	190	28
4	451	28
5	899	28
6	2150	28
done	5001	28
0	19	20
1	32	20
2	57	20
3	117	20
4	254	20
5	576	20
6	1743	20
done	5000	20
0	20	30
1	39	30
2	103	30
3	405	30
4	2043	30
done	5001	30
0	18	19
1	31	19
2	66	19
3	176	19
4	578	19
5	2259	19
done	5000	19
0	19	26
1	36	26
2	88	26
3	299	26
4	1270	26
done	5001	26
0	18	19
1	31	19
2	66	19
3	176	19
4	578	19
5	2259	19
done	5000	19
0	17	24
1	36	22
2	91	22
3	363	22
4	1622	22
done	5001	22
0	17	18
1	30	18
2	65	18
3	175	18
4	578	18
5	2263	18
done	5001	18
0	20	30
1	39	30
2	103	30
3	405	30
4	2043	30
done	5001	30
0	18	19
1	31	19
2	66	19
3	176	19
4	578	19
5	2259	19
done	5000	19
0	19	26
1	36	26
2	88	26
3	299	26
4	1270	26
done	5001	26
0	18	19
1	31	19
2	66	19
3	176	19
4	578	19
5	2259	19
done	5000	19
0	17	24
1	36	22
2	91	22
3	363	22
4	1622	22
done	5001	22
0	17	18
1	30	18
2	65	18
3	175	18
4	578	18
5	2263	18
done	5001	18
0	24	36
1	45	36
2	113	36
3	420	36
4	2094	36
done	5001	36
0	20	21
1	35	21
2	72	21
3	183	21
4	593	21
5	2287	21
done	5000	21
0	23	32
1	42	32
2	98	32
3	314	32
4	1305	32
done	5000	32
0	20	21
1	35	21
2	72	21
3	183	21
4	593	21
5	2287	21
done	5000	21
0	21	30
1	42	28
2	101	28
3	378	28
4	1660	28
done	5001	28
0	19	20
1	34	20
2	71	20
3	182	20
4	594	20
5	2273	20
done	5001	20
0	23	33
1	44	33
2	112	33
3	419	33
4	2092	33
done	5001	33
0	20	21
1	35	21
2	72	21
3	183	21
4	593	21
5	2287	21
done	5000	21
0	22	29
1	41	29
2	97	29
3	313	29
4	1304	29
done	5000	29
0	20	21
1	35	21
2	72	21
3	183	21
4	593	21
5	2287	21
done	5000	21
0	20	27
1	41	25
2	100	25
3	377	25
4	1662	25
done	5000	25
0	19	20
1	34	20
2	71	20
3	182	20
4	594	20
5	2273	20
done	5001	20
0	22	32
1	45	28
2	103	26
3	359	26
4	1284	26
5	2869	26
6	4484	26
done	5001	26
0	19	20
1	34	20
2	71	20
3	182	20
4	594	20
5	2284	20
done	5001	20
0	21	28
1	42	24
2	92	22
3	287	22
4	829	22
5	1387	22
6	2138	22
7	3663	22
done	5000	22
0	19	20
1	34	20
2	71	20
3	182	20
4	594	20
5	2284	20
done	5001	20
0	18	26
1	39	20
2	84	18
3	289	18
4	614	18
5	1215	18
6	1672	18
7	3107	18
done	5001	18
0	18	19
1	33	19
2	70	19
3	181	19
4	591	19
5	2283	19
done	5000	19
0	24	40
1	49	40
2	133	40
3	486	40
4	2063	40
done	5000	40
0	20	21
1	35	21
2	68	21
3	145	21
4	325	21
5	677	21
6	1637	21
7	4918	21
done	5000	21
0	23	36
1	44	36
2	105	36
3	345	36
4	1259	36
5	3689	36
done	5000	36
0	20	21
1	35	21
2	68	21
3	145	21
4	325	21
5	677	21
6	1637	21
7	4918	21
done	5000	21
0	21	34
1	44	32
2	108	32
3	412	32
4	1358	32
5	3934	32
done	5001	32
0	19	20
1	34	20
2	67	20
3	144	20
4	324	20
5	672	20
6	1632	20
7	4953	20
done	5000	20
0	23	33
1	44	33
2	105	33
3	328	33
4	1177	33
5	3625	33
done	5001	33
0	20	21
1	35	21
2	69	21
3	146	21
4	328	21
5	685	21
6	1646	21
7	4930	21
done	5000	21
0	22	29
1	41	29
2	94	29
3	265	29
4	799	29
5	1936	29
6	3864	29
done	5000	29
0	20	21
1	35	21
2	69	21
3	146	21
4	328	21
5	685	21
6	1646	21
7	4930	21
done	5000	21
0	20	27
1	41	25
2	91	25
3	280	25
4	787	25
5	2005	25
6	3339	25
done	5000	25
0	19	20
1	34	20
2	68	20
3	145	20
4	325	20
5	679	20
6	1639	20
7	4950	20
done	5000	20
0	18	28
1	36	28
2	87	26
3	337	26
4	1257	26
5	2828	26
6	4407	26
done	5000	26
0	19	20
1	34	20
2	71	20
3	182	20
4	594	20
5	2284	20
done	5001	20
0	17	24
1	33	24
2	76	22
3	265	22
4	805	22
5	1365	22
6	2106	22
7	3600	22
done	5001	22
0	19	20
1	34	20
2	71	20
3	182	20
4	594	20
5	2284	20
done	5001	20
0	14	22
1	30	20
2	68	18
3	251	18
4	561	18
5	1132	18
6	1566	18
7	2962	18
done	5000	18
0	18	19
1	33	19
2	70	19
3	181	19
4	591	19
5	2283	19
done	5000	19
0	24	34
1	47	34
2	120	34
3	434	34
4	2121	34
done	5001	34
0	21	22
1	38	22
2	80	22
3	198	22
4	629	22
5	2347	22
done	5001	22
0	23	30
1	44	30
2	105	30
3	328	30
4	1338	30
done	5001	30
0	21	22
1	38	22
2	80	22
3	198	22
4	629	22
5	2347	22
done	5001	22
0	21	28
1	44	26
2	108	26
3	392	26
4	1694	26
done	5000	26
0	20	21
1	37	21
2	79	21
3	197	21
4	628	21
5	2337	21
done	5000	21
0	13	20
1	27	18
2	62	18
3	178	18
4	298	18
5	444	18
6	882	18
7	2308	18
done	5001	18
0	18	19
1	33	19
2	70	19
3	181	19
4	591	19
5	2283	19
done	5000	19
0	17	24
1	34	24
2	78	24
3	240	24
4	857	24
5	3346	24
done	5000	24
0	14	15
1	28	14
2	52	13
3	125	13
4	291	13
5	474	13
6	924	13
7	2354	13
done	5000	13
0	21	33
1	38	33
2	81	33
3	194	33
4	462	33
5	940	33
6	2147	33
done	5000	33
0	19	20
1	32	20
2	58	20
3	118	20
4	255	20
5	576	20
6	1736	20
done	5000	20
0	20	23
1	35	23
2	69	23
3	153	23
4	334	23
5	691	23
6	1849	23
done	5000	23
0	19	20
1	32	20
2	58	20
3	118	20
4	255	20
5	576	20
6	1736	20
done	5000	20
0	19	25
1	36	25
2	94	25
3	333	25
4	1511	25
done	5000	25
0	18	19
1	31	19
2	67	19
3	177	19
4	578	19
5	2251	19
done	5000	19
0	18	21
1	33	21
2	79	21
3	240	21
4	910	21
5	4014	21
done	5000	21
0	18	19
1	31	19
2	67	19
3	177	19
4	578	19
5	2251	19
done	5000	19
0	16	19
1	33	17
2	82	17
3	287	17
4	1119	17
done	5001	17
0	17	18
1	30	18
2	66	18
3	176	18
4	578	18
5	2263	18
done	5000	18
0	19	25
1	36	25
2	94	25
3	333	25
4	1511	25
done	5000	25
0	18	19
1	31	19
2	67	19
3	177	19
4	578	19
5	2251	19
done	5000	19
0	18	21
1	33	21
2	79	21
3	240	21
4	910	21
5	4014	21
done	5000	21
0	18	19
1	31	19
2	67	19
3	177	19
4	578	19
5	2251	19
done	5000	19
0	16	19
1	33	17
2	82	17
3	287	17
4	1119	17
done	5001	17
0	17	18
1	30	18
2	66	18
3	176	18
4	578	18
5	2263	18
done	5000	18
0	23	31
1	42	31
2	104	31
3	348	31
4	1548	31
done	5000	31
0	20	21
1	35	21
2	73	21
3	184	21
4	596	21
5	2281	21
done	5001	21
0	22	27
1	39	27
2	89	27
3	255	27
4	948	27
5	4096	27
done	5000	27
0	20	21
1	35	21
2	73	21
3	184	21
4	596	21
5	2281	21
done	5001	21
0	20	25
1	39	23
2	92	23
3	302	23
4	1157	23
done	5000	23
0	19	20
1	34	20
2	72	20
3	183	20
4	593	20
5	2270	20
done	5000	20
0	22	28
1	41	28
2	103	28
3	347	28
4	1551	28
done	5000	28
0	20	21
1	35	21
2	73	21
3	184	21
4	596	21
5	2281	21
done	5001	21
0	21	24
1	38	24
2	88	24
3	254	24
4	947	24
5	4108	24
done	5000	24
0	20	21
1	35	21
2	73	21
3	184	21
4	596	21
5	2281	21
done	5001	21
0	19	22
1	38	20
2	91	20
3	301	20
4	1154	20
done	5000	20
0	19	20
1	34	20
2	72	20
3	183	20
4	593	20
5	2270	20
done	5000	20
0	21	27
1	42	23
2	94	21
3	274	21
4	893	21
5	1712	21
6	2560	21
7	4070	21
done	5000	21
0	19	20
1	34	20
2	72	20
3	183	20
4	595	20
5	2296	20
done	5001	20
0	20	23
1	39	19
2	83	17
3	216	17
4	572	17
5	886	17
6	1417	17
7	2881	17
done	5001	17
0	19	20
1	34	20
2	72	20
3	183	20
4	595	20
5	2296	20
done	5001	20
0	17	21
1	36	15
2	77	13
3	231	13
4	437	13
5	720	13
6	1122	13
7	2558	13
done	5001	13
0	18	19
1	33	19
2	71	19
3	182	19
4	594	19
5	2282	19
done	5000	19
0	23	35
1	46	35
2	122	35
3	397	35
4	1451	35
5	4169	35
done	5000	35
0	20	21
1	35	21
2	69	21
3	146	21
4	328	21
5	685	21
6	1646	21
7	4930	21
done	5000	21
0	22	31
1	41	31
2	96	31
3	282	31
4	892	31
5	2131	31
6	3891	31
done	5000	31
0	20	21
1	35	21
2	69	21
3	146	21
4	328	21
5	685	21
6	1646	21
7	4930	21
done	5000	21
0	20	29
1	41	27
2	99	27
3	338	27
4	933	27
5	2168	27
6	3495	27
done	5000	27
0	19	20
1	34	20
2	68	20
3	145	20
4	325	20
5	679	20
6	1639	20
7	4950	20
done	5000	20
0	22	28
1	41	28
2	96	28
3	266	28
4	823	28
5	2054	28
6	4139	28
done	5001	28
0	20	21
1	35	21
2	70	21
3	147	21
4	329	21
5	684	21
6	1640	21
7	4941	21
done	5000	21
0	21	24
1	38	24
2	85	24
3	211	24
4	545	24
5	1163	24
6	2296	24
done	5000	24
0	20	21
1	35	21
2	70	21
3	147	21
4	329	21
5	684	21
6	1640	21
7	4941	21
done	5000	21
0	19	22
1	38	20
2	84	20
3	230	20
4	551	20
5	1194	20
6	2144	20
done	5000	20
0	19	20
1	34	20
2	69	20
3	146	20
4	328	20
5	683	20
6	1639	20
7	4958	20
done	5000	20
0	17	23
1	33	23
2	78	21
3	252	21
4	856	21
5	1642	21
6	2471	21
7	3937	21
done	5000	21
0	19	20
1	34	20
2	72	20
3	183	20
4	595	20
5	2296	20
done	5001	20
0	16	19
1	30	19
2	67	17
3	194	17
4	535	17
5	826	17
6	1326	17
7	2780	17
done	5000	17
0	19	20
1	34	20
2	72	20
3	183	20
4	595	20
5	2296	20
done	5001	20
0	13	17
1	27	15
2	61	13
3	186	13
4	371	13
5	631	13
6	1015	13
7	2421	13
done	5001	13
0	18	19
1	33	19
2	71	19
3	182	19
4	594	19
5	2282	19
done	5000	19
0	23	29
1	44	29
2	111	29
3	362	29
4	1585	29
done	5000	29
0	21	22
1	38	22
2	81	22
3	199	22
4	630	22
5	2346	22
done	5000	22
0	22	25
1	41	25
2	96	25
3	269	25
4	985	25
5	4181	25
done	5000	25
0	21	22
1	38	22
2	81	22
3	199	22
4	630	22
5	2346	22
done	5000	22
0	20	23
1	41	21
2	99	21
3	316	21
4	1190	21
done	5001	21
0	20	21
1	37	21
2	80	21
3	198	21
4	629	21
5	2344	21
done	5001	21
0	12	15
1	24	13
2	53	13
3	124	13
4	198	13
5	318	13
6	719	13
7	2129	13
done	5001	13
0	18	19
1	33	19
2	71	19
3	182	19
4	594	19
5	2282	19
done	5000	19
0	16	19
1	31	19
2	69	19
3	183	19
4	576	19
5	2030	19
done	5000	19
0	14	15
1	28	14
2	53	13
3	126	13
4	292	13
5	475	13
6	925	13
7	2360	13
done	5001	13
0	19	30
1	35	28
2	74	28
3	161	28
4	350	28
5	612	28
6	1420	28
7	4804	28
done	5000	28
0	18	19
1	31	19
2	60	19
3	143	19
4	396	19
5	1199	19
6	4570	19
done	5000	19
0	18	20
1	32	18
2	62	18
3	116	18
4	248	18
5	481	18
6	1270	18
7	4616	18
done	5000	18
0	18	19
1	31	19
2	60	19
3	143	19
4	396	19
5	1199	19
6	4570	19
done	5000	19
0	17	22
1	33	20
2	87	20
3	306	20
4	1423	20
done	5000	20
0	17	18
1	30	18
2	69	18
3	212	18
4	904	18
done	5000	18
0	16	18
1	30	16
2	72	16
3	209	16
4	822	16
5	3083	16
done	5001	16
0	17	18
1	30	18
2	69	18
3	212	18
4	904	18
done	5000	18
0	13	16
1	27	12
2	70	12
3	227	12
4	820	12
5	3138	12
done	5000	12
0	16	17
1	29	17
2	68	17
3	211	17
4	905	17
done	5000	17
0	17	22
1	33	20
2	87	20
3	306	20
4	1423	20
done	5000	20
0	17	18
1	30	18
2	69	18
3	212	18
4	904	18
done	5000	18
0	16	18
1	30	16
2	72	16
3	209	16
4	822	16
5	3083	16
done	5001	16
0	17	18
1	30	18
2	69	18
3	212	18
4	904	18
done	5000	18
0	13	16
1	27	12
2	70	12
3	227	12
4	820	12
5	3138	12
done	5000	12
0	16	17
1	29	17
2	68	17
3	211	17
4	905	17
done	5000	17
0	21	28
1	39	26
2	97	26
3	321	26
4	1462	26
done	5000	26
0	19	20
1	34	20
2	75	20
3	219	20
4	918	20
done	5001	20
0	20	24
1	36	22
2	82	22
3	224	22
4	857	22
5	3152	22
done	5001	22
0	19	20
1	34	20
2	75	20
3	219	20
4	918	20
done	5001	20
0	17	22
1	33	18
2	80	18
3	242	18
4	859	18
5	3142	18
done	5000	18
0	18	19
1	33	19
2	74	19
3	218	19
4	918	19
done	5001	19
0	20	25
1	38	23
2	96	23
3	320	23
4	1460	23
done	5000	23
0	19	20
1	34	20
2	75	20
3	219	20
4	918	20
done	5001	20
0	19	21
1	35	19
2	81	19
3	223	19
4	858	19
5	3156	19
done	5001	19
0	19	20
1	34	20
2	75	20
3	219	20
4	918	20
done	5001	20
0	16	19
1	32	15
2	79	15
3	241	15
4	863	15
5	3118	15
done	5000	15
0	18	19
1	33	19
2	74	19
3	218	19
4	918	19
done	5001	19
0	18	24
1	36	16
2	77	16
3	163	16
4	411	16
5	588	16
6	709	16
7	745	16
8	785	16
9	831	16
10	883	16
11	941	16
12	1005	16
13	1075	16
14	1151	16
15	1233	16
16	1321	16
17	1415	16
18	1515	16
19	1621	16
20	1733	16
21	1851	16
22	1975	16
23	2105	16
24	2241	16
25	2383	16
26	2531	16
27	2685	16
28	2845	16
29	3011	16
30	3183	16
31	3361	16
32	3545	16
33	3735	16
34	3931	16
35	4133	16
36	4341	16
37	4555	16
38	4775	16
done	5000	16
0	18	19
1	33	19
2	74	19
3	218	19
4	918	19
done	5002	19
0	17	20
1	33	12
2	66	12
3	121	12
4	232	12
5	307	12
6	356	12
7	390	12
8	430	12
9	476	12
10	528	12
11	586	12
12	650	12
13	720	12
14	796	12
15	878	12
16	966	12
17	1060	12
18	1160	12
19	1266	12
20	1378	12
21	1496	12
22	1620	12
23	1750	12
24	1886	12
25	2028	12
26	2176	12
27	2330	12
28	2490	12
29	2656	12
30	2828	12
31	3006	12
32	3190	12
33	3380	12
34	3576	12
35	3778	12
36	3986	12
37	4200	12
38	4420	12
39	4646	12
40	4878	12
done	5000	12
0	18	19
1	33	19
2	74	19
3	218	19
4	918	19
done	5002	19
0	14	18
1	30	8
2	62	8
3	130	8
4	186	8
5	224	8
6	252	8
7	286	8
8	326	8
9	372	8
10	424	8
11	482	8
12	546	8
13	616	8
14	692	8
15	774	8
16	862	8
17	956	8
18	1056	8
19	1162	8
20	1274	8
21	1392	8
22	1516	8
23	1646	8
24	1782	8
25	1924	8
26	2072	8
27	2226	8
28	2386	8
29	2552	8
30	2724	8
31	2902	8
32	3086	8
33	3276	8
34	3472	8
35	3674	8
36	3882	8
37	4096	8
38	4316	8
39	4542	8
40	4774	8
done	5000	8
0	17	18
1	32	18
2	73	18
3	217	18
4	917	18
done	5000	18
0	21	32
1	43	30
2	115	30
3	381	30
4	1231	30
5	2692	30
6	4506	30
done	5000	30
0	19	20
1	34	20
2	71	20
3	177	20
4	563	20
5	2166	20
done	5000	20
0	20	28
1	38	26
2	89	26
3	259	26
4	751	26
5	1357	26
6	2181	26
7	4162	26
done	5000	26
0	19	20
1	34	20
2	71	20
3	177	20
4	563	20
5	2166	20
done	5000	20
0	17	26
1	35	22
2	87	22
3	281	22
4	665	22
5	1153	22
6	1724	22
7	3617	22
done	5000	22
0	18	19
1	33	19
2	70	19
3	176	19
4	561	19
5	2160	19
done	5000	19
0	20	25
1	38	23
2	89	23
3	243	23
4	722	23
5	1498	23
6	2523	23
7	4514	23
done	5000	23
0	19	20
1	34	20
2	72	20
3	178	20
4	561	20
5	2156	20
done	5000	20
0	19	21
1	35	19
2	78	19
3	182	19
4	452	19
5	805	19
6	1417	19
7	3358	19
done	5000	19
0	19	20
1	34	20
2	72	20
3	178	20
4	561	20
5	2156	20
done	5000	20
0	16	19
1	32	15
2	72	15
3	170	15
4	385	15
5	654	15
6	1153	15
7	3032	15
done	5000	15
0	18	19
1	33	19
2	71	19
3	177	19
4	562	19
5	2163	19
done	5001	19
0	14	20
1	26	16
2	60	16
3	133	16
4	372	16
5	520	16
6	614	16
7	617	16
done	617	16
0	18	19
1	33	19
2	74	19
3	218	19
4	918	19
done	5002	19
0	13	16
1	23	12
2	49	12
3	93	12
4	188	12
5	240	12
6	261	12
done	261	12
0	18	19
1	33	19
2	74	19
3	218	19
4	918	19
done	5002	19
0	10	14
1	20	8
2	33	8
3	90	8
4	135	8
5	154	8
done	154	8
0	17	18
1	32	18
2	73	18
3	217	18
4	917	18
done	5000	18
0	21	26
1	41	24
2	104	24
3	335	24
4	1492	24
done	5001	24
0	20	21
1	37	21
2	83	21
3	234	21
4	955	21
done	5001	21
0	20	22
1	38	20
2	89	20
3	238	20
4	890	20
5	3220	20
done	5000	20
0	20	21
1	37	21
2	83	21
3	234	21
4	955	21
done	5001	21
0	17	20
1	35	16
2	87	16
3	256	16
4	891	16
5	3235	16
done	5000	16
0	19	20
1	36	20
2	82	20
3	233	20
4	954	20
done	5001	20
0	9	12
1	17	8
2	25	8
3	47	8
4	52	8
5	56	8
6	62	8
7	63	8
done	63	8
0	17	18
1	32	18
2	73	18
3	217	18
4	917	18
done	5000	18
0	14	16
1	28	14
2	62	14
3	149	14
4	437	14
5	1214	14
6	4286	14
done	5000	14
0	13	14
1	27	13
2	55	12
3	159	12
4	573	12
5	1773	12
done	5000	12
0	22	34
1	38	34
2	89	34
3	251	34
4	837	34
5	3133	34
done	5001	34
0	20	21
1	32	21
2	64	21
3	150	21
4	408	21
5	1234	21
6	4727	21
done	5000	21
0	21	24
1	35	24
2	75	24
3	191	24
4	577	24
5	1967	24
done	5001	24
0	20	21
1	32	21
2	64	21
3	150	21
4	408	21
5	1234	21
6	4727	21
done	5000	21
0	20	26
1	36	26
2	100	26
3	392	26
4	2169	26
done	5000	26
0	19	20
1	31	20
2	73	20
3	219	20
4	919	20
done	5000	20
0	19	22
1	33	22
2	85	22
3	288	22
4	1375	22
done	5001	22
0	19	20
1	31	20
2	73	20
3	219	20
4	919	20
done	5000	20
0	17	20
1	33	18
2	90	18
3	363	18
4	1868	18
done	5001	18
0	18	19
1	30	19
2	72	19
3	218	19
4	918	19
done	5001	19
0	20	26
1	36	26
2	100	26
3	392	26
4	2169	26
done	5000	26
0	19	20
1	31	20
2	73	20
3	219	20
4	919	20
done	5000	20
0	19	22
1	33	22
2	85	22
3	288	22
4	1375	22
done	5001	22
0	19	20
1	31	20
2	73	20
3	219	20
4	919	20
done	5000	20
0	17	20
1	33	18
2	90	18
3	363	18
4	1868	18
done	5001	18
0	18	19
1	30	19
2	72	19
3	218	19
4	918	19
done	5001	19
0	24	32
1	42	32
2	110	32
3	407	32
4	2203	32
done	5000	32
0	21	22
1	35	22
2	79	22
3	226	22
4	935	22
done	5000	22
0	23	28
1	39	28
2	95	28
3	303	28
4	1412	28
done	5000	28
0	21	22
1	35	22
2	79	22
3	226	22
4	935	22
done	5000	22
0	21	26
1	39	24
2	100	24
3	378	24
4	1913	24
done	5001	24
0	20	21
1	34	21
2	78	21
3	225	21
4	932	21
done	5001	21
0	23	29
1	41	29
2	109	29
3	406	29
4	2210	29
done	5001	29
0	21	22
1	35	22
2	79	22
3	226	22
4	935	22
done	5000	22
0	22	25
1	38	25
2	94	25
3	302	25
4	1412	25
done	5001	25
0	21	22
1	35	22
2	79	22
3	226	22
4	935	22
done	5000	22
0	20	23
1	38	21
2	99	21
3	377	21
4	1905	21
done	5000	21
0	20	21
1	34	21
2	78	21
3	225	21
4	932	21
done	5001	21
0	22	28
1	42	24
2	100	22
3	330	22
4	1515	22
done	5000	22
0	20	21
1	34	21
2	78	21
3	225	21
4	935	21
done	5001	21
0	21	24
1	39	20
2	89	18
3	266	18
4	1040	18
5	3279	18
done	5000	18
0	20	21
1	34	21
2	78	21
3	225	21
4	935	21
done	5001	21
0	18	22
1	36	16
2	83	14
3	281	14
4	731	14
5	2859	14
done	5001	14
0	19	20
1	33	20
2	77	20
3	224	20
4	931	20
done	5000	20
0	24	36
1	46	36
2	130	36
3	471	36
4	2210	36
done	5000	36
0	21	22
1	35	22
2	75	22
3	184	22
4	577	22
5	2189	22
done	5001	22
0	23	32
1	41	32
2	102	32
3	332	32
4	1373	32
done	5000	32
0	21	22
1	35	22
2	75	22
3	184	22
4	577	22
5	2189	22
done	5001	22
0	21	30
1	41	28
2	107	28
3	409	28
4	1571	28
done	5000	28
0	20	21
1	34	21
2	74	21
3	183	21
4	575	21
5	2193	21
done	5001	21
0	23	29
1	41	29
2	102	29
3	314	29
4	1281	29
done	5000	29
0	21	22
1	35	22
2	76	22
3	185	22
4	576	22
5	2199	22
done	5000	22
0	22	25
1	38	25
2	91	25
3	255	25
4	909	25
5	3896	25
done	5001	25
0	21	22
1	35	22
2	76	22
3	185	22
4	576	22
5	2199	22
done	5000	22
0	20	23
1	38	21
2	90	21
3	276	21
4	937	21
5	4482	21
done	5000	21
0	20	21
1	34	21
2	75	21
3	184	21
4	574	21
5	2192	21
done	5000	21
0	18	24
1	33	24
2	84	22
3	308	22
4	1480	22
done	5000	22
0	20	21
1	34	21
2	78	21
3	225	21
4	935	21
done	5001	21
0	17	20
1	30	20
2	73	18
3	244	18
4	1005	18
5	3170	18
done	5000	18
0	20	21
1	34	21
2	78	21
3	225	21
4	935	21
done	5001	21
0	14	18
1	27	16
2	67	14
3	244	14
4	677	14
5	2775	14
done	5001	14
0	19	20
1	33	20
2	77	20
3	224	20
4	931	20
done	5000	20
0	23	30
1	44	30
2	115	30
3	419	30
4	2236	30
done	5001	30
0	21	23
1	38	23
2	85	23
3	239	23
4	968	23
done	5001	23
0	22	26
1	41	26
2	100	26
3	315	26
4	1447	26
done	5000	26
0	21	23
1	38	23
2	85	23
3	239	23
4	968	23
done	5001	23
0	20	24
1	41	22
2	105	22
3	390	22
4	1937	22
done	5000	22
0	20	22
1	37	22
2	84	22
3	238	22
4	966	22
done	5001	22
0	13	16
1	24	14
2	59	14
3	170	14
4	383	14
5	1081	14
6	4024	14
done	5000	14
0	19	20
1	33	20
2	77	20
3	224	20
4	931	20
done	5000	20
0	17	20
1	31	20
2	77	20
3	245	20
4	1058	20
done	5001	20
0	15	16
1	28	15
2	59	14
3	166	14
4	588	14
5	1799	14
done	5000	14
0	22	35
1	41	35
2	89	35
3	248	33
4	857	33
5	3376	33
done	5000	33
0	18	19
1	31	19
2	60	19
3	143	19
4	396	19
5	1199	19
6	4584	19
done	5000	19
0	21	25
1	38	25
2	75	25
3	188	23
4	592	23
5	2111	23
done	5000	23
0	18	19
1	31	19
2	60	19
3	143	19
4	396	19
5	1199	19
6	4584	19
done	5000	19
0	20	27
1	39	27
2	100	27
3	389	25
4	2179	25
done	5000	25
0	17	18
1	30	18
2	69	18
3	212	18
4	904	18
done	5000	18
0	19	23
1	36	23
2	85	23
3	285	21
4	1391	21
done	5000	21
0	17	18
1	30	18
2	69	18
3	212	18
4	904	18
done	5000	18
0	16	21
1	33	19
2	86	19
3	314	17
4	1409	17
done	5000	17
0	16	17
1	29	17
2	68	17
3	211	17
4	905	17
done	5000	17
0	20	27
1	39	27
2	100	27
3	389	25
4	2179	25
done	5000	25
0	17	18
1	30	18
2	69	18
3	212	18
4	904	18
done	5000	18
0	19	23
1	36	23
2	85	23
3	285	21
4	1391	21
done	5000	21
0	17	18
1	30	18
2	69	18
3	212	18
4	904	18
done	5000	18
0	16	21
1	33	19
2	86	19
3	314	17
4	1409	17
done	5000	17
0	16	17
1	29	17
2	68	17
3	211	17
4	905	17
done	5000	17
0	24	33
1	45	33
2	110	33
3	404	31
4	2218	31
done	5001	31
0	19	20
1	34	20
2	75	20
3	219	20
4	919	20
done	5002	20
0	23	29
1	42	29
2	95	29
3	300	27
4	1432	27
done	5000	27
0	19	20
1	34	20
2	75	20
3	219	20
4	919	20
done	5002	20
0	20	27
1	39	25
2	96	25
3	327	23
4	1451	23
done	5000	23
0	18	19
1	33	19
2	74	19
3	218	19
4	918	19
done	5000	19
0	23	30
1	44	30
2	109	30
3	403	28
4	2222	28
done	5001	28
0	19	20
1	34	20
2	75	20
3	219	20
4	919	20
done	5002	20
0	22	26
1	41	26
2	94	26
3	299	24
4	1429	24
done	5000	24
0	19	20
1	34	20
2	75	20
3	219	20
4	919	20
done	5002	20
0	19	24
1	38	22
2	95	22
3	326	20
4	1446	20
done	5000	20
0	18	19
1	33	19
2	74	19
3	218	19
4	918	19
done	5000	19
0	21	29
1	42	25
2	97	23
3	324	21
4	1419	21
done	5000	21
0	18	19
1	33	19
2	74	19
3	218	19
4	918	19
done	5002	19
0	20	25
1	39	21
2	86	19
3	260	17
4	952	17
5	3015	17
done	5000	17
0	18	19
1	33	19
2	74	19
3	218	19
4	918	19
done	5002	19
0	17	23
1	36	17
2	75	15
3	217	13
4	467	13
5	1374	13
done	5000	13
0	17	18
1	32	18
2	73	18
3	217	18
4	917	18
done	5000	18
0	24	37
1	49	37
2	130	37
3	468	35
4	2218	35
done	5000	35
0	19	20
1	34	20
2	71	20
3	177	20
4	563	20
5	2166	20
done	5000	20
0	23	33
1	44	33
2	102	33
3	329	31
4	1400	31
done	5000	31
0	19	20
1	34	20
2	71	20
3	177	20
4	563	20
5	2166	20
done	5000	20
0	20	31
1	41	29
2	103	29
3	356	27
4	1135	27
5	4706	27
done	5000	27
0	18	19
1	33	19
2	70	19
3	176	19
4	561	19
5	2160	19
done	5001	19
0	23	30
1	44	30
2	102	30
3	311	28
4	1299	28
done	5001	28
0	19	20
1	34	20
2	72	20
3	178	20
4	561	20
5	2153	20
done	5000	20
0	22	26
1	41	26
2	91	26
3	252	24
4	938	24
5	4077	24
done	5000	24
0	19	20
1	34	20
2	72	20
3	178	20
4	561	20
5	2153	20
done	5000	20
0	19	24
1	38	22
2	86	22
3	236	20
4	666	20
5	2539	20
done	5000	20
0	18	19
1	33	19
2	71	19
3	177	19
4	562	19
5	2159	19
done	5000	19
0	17	25
1	33	25
2	81	23
3	302	21
4	1385	21
5	4979	21
done	5000	21
0	18	19
1	33	19
2	74	19
3	218	19
4	918	19
done	5002	19
0	16	21
1	30	21
2	70	19
3	238	17
4	905	17
5	2920	17
done	5001	17
0	18	19
1	33	19
2	74	19
3	218	19
4	918	19
done	5002	19
0	13	19
1	27	17
2	59	15
3	181	13
4	414	13
5	1299	13
done	5000	13
0	17	18
1	32	18
2	73	18
3	217	18
4	917	18
done	5000	18
0	24	31
1	47	31
2	117	31
3	418	29
4	2249	29
done	5000	29
0	20	21
1	37	21
2	83	21
3	234	21
4	955	21
done	5001	21
0	23	27
1	44	27
2	102	27
3	314	25
4	1466	25
done	5000	25
0	20	21
1	37	21
2	83	21
3	234	21
4	955	21
done	5001	21
0	20	25
1	41	23
2	103	23
3	341	21
4	1481	21
done	5001	21
0	19	20
1	36	20
2	82	20
3	233	20
4	954	20
done	5001	20
0	12	17
1	24	15
2	56	15
3	150	13
4	367	13
5	1090	13
6	4381	13
done	5000	13
0	17	18
1	32	18
2	73	18
3	217	18
4	917	18
done	5000	18
0	17	21
1	34	21
2	77	21
3	242	19
4	1065	19
done	5001	19
0	13	14
1	27	13
2	55	12
3	159	12
4	573	12
5	1777	12
done	5000	12
0	21	32
1	40	32
2	88	32
3	247	30
4	854	30
5	3359	30
done	5000	30
0	18	19
1	31	19
2	60	19
3	143	19
4	396	19
5	1199	19
6	4584	19
done	5000	19
0	20	22
1	37	22
2	74	22
3	187	20
4	587	20
5	2104	20
done	5000	20
0	18	19
1	31	19
2	60	19
3	143	19
4	396	19
5	1199	19
6	4584	19
done	5000	19
0	19	24
1	38	24
2	99	24
3	388	22
4	2178	22
done	5001	22
0	17	18
1	30	18
2	69	18
3	212	18
4	904	18
done	5000	18
0	18	20
1	35	20
2	84	20
3	284	18
4	1392	18
done	5000	18
0	17	18
1	30	18
2	69	18
3	212	18
4	904	18
done	5000	18
0	15	18
1	32	16
2	85	16
3	311	14
4	1403	14
done	5000	14
0	16	17
1	29	17
2	68	17
3	211	17
4	905	17
done	5000	17
0	19	24
1	38	24
2	99	24
3	388	22
4	2178	22
done	5001	22
0	17	18
1	30	18
2	69	18
3	212	18
4	904	18
done	5000	18
0	18	20
1	35	20
2	84	20
3	284	18
4	1392	18
done	5000	18
0	17	18
1	30	18
2	69	18
3	212	18
4	904	18
done	5000	18
0	15	18
1	32	16
2	85	16
3	311	14
4	1403	14
done	5000	14
0	16	17
1	29	17
2	68	17
3	211	17
4	905	17
done	5000	17
0	23	30
1	44	30
2	109	30
3	403	28
4	2225	28
done	5000	28
0	19	20
1	34	20
2	75	20
3	219	20
4	919	20
done	5002	20
0	22	26
1	41	26
2	94	26
3	299	24
4	1429	24
done	5000	24
0	19	20
1	34	20
2	75	20
3	219	20
4	919	20
done	5002	20
0	19	24
1	38	22
2	95	22
3	326	20
4	1445	20
done	5000	20
0	18	19
1	33	19
2	74	19
3	218	19
4	918	19
done	5000	19
0	22	27
1	43	27
2	108	27
3	402	25
4	2220	25
done	5000	25
0	19	20
1	34	20
2	75	20
3	219	20
4	919	20
done	5002	20
0	21	23
1	40	23
2	93	23
3	298	21
4	1429	21
done	5000	21
0	19	20
1	34	20
2	75	20
3	219	20
4	919	20
done	5002	20
0	18	21
1	37	19
2	94	19
3	327	17
4	1440	17
done	5001	17
0	18	19
1	33	19
2	74	19
3	218	19
4	918	19
done	5000	19
0	20	26
1	41	22
2	96	20
3	323	18
4	1416	18
done	5001	18
0	18	19
1	33	19
2	74	19
3	218	19
4	918	19
done	5002	19
0	19	22
1	38	18
2	85	16
3	259	14
4	950	14
5	3001	14
done	5001	14
0	18	19
1	33	19
2	74	19
3	218	19
4	918	19
done	5002	19
0	16	20
1	35	14
2	74	12
3	216	10
4	464	10
5	1393	10
done	5001	10
0	17	18
1	32	18
2	73	18
3	217	18
4	917	18
done	5000	18
0	23	34
1	48	34
2	129	34
3	469	32
4	2220	32
done	5001	32
0	19	20
1	34	20
2	71	20
3	177	20
4	563	20
5	2166	20
done	5000	20
0	22	30
1	43	30
2	101	30
3	328	28
4	1399	28
done	5001	28
0	19	20
1	34	20
2	71	20
3	177	20
4	563	20
5	2166	20
done	5000	20
0	19	28
1	40	26
2	102	26
3	358	24
4	1129	24
5	4682	24
done	5000	24
0	18	19
1	33	19
2	70	19
3	176	19
4	561	19
5	2160	19
done	5001	19
0	22	27
1	43	27
2	101	27
3	310	25
4	1299	25
done	5001	25
0	19	20
1	34	20
2	72	20
3	178	20
4	561	20
5	2153	20
done	5000	20
0	21	23
1	40	23
2	90	23
3	251	21
4	934	21
5	4108	21
done	5000	21
0	19	20
1	34	20
2	72	20
3	178	20
4	561	20
5	2153	20
done	5000	20
0	18	21
1	37	19
2	85	19
3	235	17
4	662	17
5	2526	17
done	5001	17
0	18	19
1	33	19
2	71	19
3	177	19
4	562	19
5	2159	19
done	5000	19
0	16	22
1	32	22
2	80	20
3	301	18
4	1364	18
5	4954	18
done	5000	18
0	18	19
1	33	19
2	74	19
3	218	19
4	918	19
done	5002	19
0	15	18
1	29	18
2	69	16
3	237	14
4	908	14
5	2939	14
done	5000	14
0	18	19
1	33	19
2	74	19
3	218	19
4	918	19
done	5002	19
0	12	16
1	26	14
2	58	12
3	180	10
4	411	10
5	1292	10
done	5001	10
0	17	18
1	32	18
2	73	18
3	217	18
4	917	18
done	5000	18
0	23	28
1	46	28
2	116	28
3	417	26
4	2249	26
done	5000	26
0	20	21
1	37	21
2	83	21
3	234	21
4	955	21
done	5001	21
0	22	24
1	43	24
2	101	24
3	313	22
4	1468	22
done	5000	22
0	20	21
1	37	21
2	83	21
3	234	21
4	955	21
done	5001	21
0	19	22
1	40	20
2	102	20
3	342	18
4	1485	18
done	5000	18
0	19	20
1	36	20
2	82	20
3	233	20
4	954	20
done	5001	20
0	11	14
1	23	12
2	55	12
3	149	10
4	367	10
5	1098	10
6	4425	10
done	5000	10
0	17	18
1	32	18
2	73	18
3	217	18
4	917	18
done	5000	18
0	16	18
1	33	18
2	76	18
3	241	16
4	1063	16
done	5000	16
0	13	14
1	27	13
2	55	12
3	159	12
4	573	12
5	1777	12
done	5000	12
0	19	31
1	38	27
2	74	27
3	160	25
4	380	25
5	779	25
6	1601	25
7	4933	25
done	5000	25
0	17	18
1	30	18
2	59	18
3	142	18
4	394	18
5	1196	18
6	4562	18
done	5000	18
0	18	21
1	35	17
2	63	17
3	120	15
4	276	15
5	559	15
6	1358	15
7	4733	15
done	5000	15
0	17	18
1	30	18
2	59	18
3	142	18
4	394	18
5	1196	18
6	4562	18
done	5000	18
0	17	23
1	36	19
2	87	19
3	305	17
4	1493	17
done	5000	17
0	16	17
1	29	17
2	68	17
3	211	17
4	907	17
done	5000	17
0	16	19
1	33	15
2	72	15
3	208	13
4	869	13
5	3169	13
done	5001	13
0	16	17
1	29	17
2	68	17
3	211	17
4	907	17
done	5000	17
0	13	17
1	30	11
2	70	11
3	190	9
4	567	9
5	1674	9
done	5000	9
0	15	16
1	28	16
2	67	16
3	210	16
4	903	16
done	5000	16
0	17	23
1	36	19
2	87	19
3	305	17
4	1493	17
done	5000	17
0	16	17
1	29	17
2	68	17
3	211	17
4	907	17
done	5000	17
0	16	19
1	33	15
2	72	15
3	208	13
4	869	13
5	3169	13
done	5001	13
0	16	17
1	29	17
2	68	17
3	211	17
4	907	17
done	5000	17
0	13	17
1	30	11
2	70	11
3	190	9
4	567	9
5	1674	9
done	5000	9
0	15	16
1	28	16
2	67	16
3	210	16
4	903	16
done	5000	16
0	21	29
1	42	25
2	97	25
3	320	23
4	1542	23
done	5000	23
0	18	19
1	33	19
2	74	19
3	218	19
4	919	19
done	5000	19
0	20	25
1	39	21
2	82	21
3	223	19
4	912	19
5	3219	19
done	5000	19
0	18	19
1	33	19
2	74	19
3	218	19
4	919	19
done	5000	19
0	17	23
1	36	17
2	80	17
3	206	15
4	616	15
5	1777	15
done	5000	15
0	17	18
1	32	18
2	73	18
3	217	18
4	917	18
done	5000	18
0	20	26
1	41	22
2	96	22
3	319	20
4	1533	20
done	5000	20
0	18	19
1	33	19
2	74	19
3	218	19
4	919	19
done	5000	19
0	19	22
1	38	18
2	81	18
3	222	16
4	912	16
5	3239	16
done	5000	16
0	18	19
1	33	19
2	74	19
3	218	19
4	919	19
done	5000	19
0	16	20
1	35	14
2	79	14
3	205	12
4	602	12
5	1721	12
done	5000	12
0	17	18
1	32	18
2	73	18
3	217	18
4	917	18
done	5000	18
0	18	25
1	39	15
2	81	15
3	168	13
4	305	13
5	428	13
6	466	13
7	511	13
8	564	13
9	625	13
10	694	13
11	771	13
12	856	13
13	949	13
14	1050	13
15	1159	13
16	1276	13
17	1401	13
18	1534	13
19	1675	13
20	1824	13
21	1981	13
22	2146	13
23	2319	13
24	2500	13
25	2689	13
26	2886	13
27	3091	13
28	3304	13
29	3525	13
30	3754	13
31	3991	13
32	4236	13
33	4489	13
34	4750	13
done	5000	13
0	17	18
1	32	18
2	73	18
3	217	18
4	917	18
done	5002	18
0	17	21
1	36	11
2	70	11
3	124	9
4	197	9
5	261	9
6	298	9
7	343	9
8	396	9
9	457	9
10	526	9
11	603	9
12	688	9
13	781	9
14	882	9
15	991	9
16	1108	9
17	1233	9
18	1366	9
19	1507	9
20	1656	9
21	1813	9
22	1978	9
23	2151	9
24	2332	9
25	2521	9
26	2718	9
27	2923	9
28	3136	9
29	3357	9
30	3586	9
31	3823	9
32	4068	9
33	4321	9
34	4582	9
35	4851	9
done	5000	9
0	17	18
1	32	18
2	73	18
3	217	18
4	917	18
done	5002	18
0	14	19
1	33	7
2	50	7
3	84	5
4	114	5
5	151	5
6	188	5
7	233	5
8	286	5
9	347	5
10	416	5
11	493	5
12	578	5
13	671	5
14	772	5
15	881	5
16	998	5
17	1123	5
18	1256	5
19	1397	5
20	1546	5
21	1703	5
22	1868	5
23	2041	5
24	2222	5
25	2411	5
26	2608	5
27	2813	5
28	3026	5
29	3247	5
30	3476	5
31	3713	5
32	3958	5
33	4211	5
34	4472	5
35	4741	5
done	5000	5
0	16	17
1	31	17
2	72	17
3	216	17
4	916	17
done	5001	17
0	21	33
1	46	29
2	115	29
3	380	27
4	1336	27
5	2615	27
6	3314	27
done	5000	27
0	18	19
1	33	19
2	70	19
3	176	19
4	561	19
5	2157	19
done	5000	19
0	20	29
1	41	25
2	89	25
3	260	23
4	813	23
5	1491	23
6	2044	23
7	3941	23
done	5000	23
0	18	19
1	33	19
2	70	19
3	176	19
4	561	19
5	2157	19
done	5000	19
0	17	27
1	38	21
2	87	21
3	238	19
4	444	19
5	667	19
6	1156	19
7	3048	19
done	5000	19
0	17	18
1	32	18
2	69	18
3	175	18
4	560	18
5	2157	18
done	5000	18
0	20	26
1	41	22
2	89	22
3	243	20
4	764	20
5	1424	20
6	2025	20
7	3925	20
done	5001	20
0	18	19
1	33	19
2	71	19
3	177	19
4	562	19
5	2160	19
done	5000	19
0	19	22
1	38	18
2	78	18
3	182	16
4	486	16
5	850	16
6	1373	16
7	3271	16
done	5000	16
0	18	19
1	33	19
2	71	19
3	177	19
4	562	19
5	2160	19
done	5000	19
0	16	20
1	35	14
2	73	14
3	145	12
4	275	12
5	440	12
6	920	12
7	2825	12
done	5000	12
0	17	18
1	32	18
2	70	18
3	176	18
4	561	18
5	2150	18
done	5000	18
0	14	21
1	30	15
2	65	15
3	141	13
4	265	13
5	363	13
6	377	13
7	393	13
8	412	13
9	434	13
10	459	13
11	487	13
12	518	13
13	552	13
14	589	13
15	629	13
16	672	13
17	718	13
18	767	13
19	819	13
20	874	13
21	932	13
22	993	13
23	1057	13
24	1124	13
25	1194	13
26	1267	13
27	1343	13
28	1422	13
29	1504	13
30	1589	13
31	1677	13
32	1768	13
33	1862	13
34	1959	13
35	2059	13
36	2162	13
37	2268	13
38	2377	13
39	2489	13
40	2604	13
41	2722	13
42	2843	13
43	2967	13
44	3094	13
45	3224	13
46	3357	13
47	3493	13
48	3632	13
49	3774	13
50	3919	13
51	4067	13
52	4218	13
53	4372	13
54	4529	13
55	4689	13
56	4852	13
done	5001	13
0	17	18
1	32	18
2	73	18
3	217	18
4	917	18
done	5002	18
0	13	17
1	27	11
2	54	11
3	99	9
4	156	9
5	199	9
6	212	9
7	228	9
8	247	9
9	269	9
10	294	9
11	322	9
12	353	9
13	387	9
14	424	9
15	464	9
16	507	9
17	553	9
18	602	9
19	654	9
20	709	9
21	767	9
22	828	9
23	892	9
24	959	9
25	1029	9
26	1102	9
27	1178	9
28	1257	9
29	1339	9
30	1424	9
31	1512	9
32	1603	9
33	1697	9
34	1794	9
35	1894	9
36	1997	9
37	2103	9
38	2212	9
39	2324	9
40	2439	9
41	2557	9
42	2678	9
43	2802	9
44	2929	9
45	3059	9
46	3192	9
47	3328	9
48	3467	9
49	3609	9
50	3754	9
51	3902	9
52	4053	9
53	4207	9
54	4364	9
55	4524	9
56	4687	9
57	4853	9
done	5000	9
0	17	18
1	32	18
2	73	18
3	217	18
4	917	18
done	5002	18
0	10	15
1	24	7
2	34	7
3	59	5
4	79	5
5	97	5
6	110	5
7	126	5
8	145	5
9	167	5
10	192	5
11	220	5
12	251	5
13	285	5
14	322	5
15	362	5
16	405	5
17	451	5
18	500	5
19	552	5
20	607	5
21	665	5
22	726	5
23	790	5
24	857	5
25	927	5
26	1000	5
27	1076	5
28	1155	5
29	1237	5
30	1322	5
31	1410	5
32	1501	5
33	1595	5
34	1692	5
35	1792	5
36	1895	5
37	2001	5
38	2110	5
39	2222	5
40	2337	5
41	2455	5
42	2576	5
43	2700	5
44	2827	5
45	2957	5
46	3090	5
47	3226	5
48	3365	5
49	3507	5
50	3652	5
51	3800	5
52	3951	5
53	4105	5
54	4262	5
55	4422	5
56	4585	5
57	4751	5
58	4920	5
done	5000	5
0	16	17
1	31	17
2	72	17
3	216	17
4	916	17
done	5001	17
0	21	27
1	44	23
2	104	23
3	334	21
4	1573	21
done	5001	21
0	19	20
1	36	20
2	82	20
3	233	20
4	951	20
done	5001	20
0	20	23
1	41	19
2	89	19
3	237	17
4	942	17
5	3275	17
done	5000	17
0	19	20
1	36	20
2	82	20
3	233	20
4	951	20
done	5001	20
0	17	21
1	38	15
2	87	15
3	220	13
4	645	13
5	1807	13
done	5001	13
0	18	19
1	35	19
2	81	19
3	232	19
4	950	19
done	5001	19
0	9	13
1	21	7
2	31	7
3	56	5
4	76	5
5	92	5
6	105	5
7	121	5
8	140	5
9	162	5
10	187	5
11	215	5
12	246	5
13	280	5
14	317	5
15	357	5
16	400	5
17	446	5
18	495	5
19	547	5
20	602	5
21	660	5
22	721	5
23	785	5
24	852	5
25	922	5
26	995	5
27	1071	5
28	1150	5
29	1232	5
30	1317	5
31	1405	5
32	1496	5
33	1590	5
34	1687	5
35	1787	5
36	1890	5
37	1996	5
38	2105	5
39	2217	5
40	2332	5
41	2450	5
42	2571	5
43	2695	5
44	2822	5
45	2952	5
46	3085	5
47	3221	5
48	3360	5
49	3502	5
50	3647	5
51	3795	5
52	3946	5
53	4100	5
54	4257	5
55	4417	5
56	4580	5
57	4746	5
58	4915	5
done	5001	5
0	16	17
1	31	17
2	72	17
3	216	17
4	916	17
done	5001	17
0	14	17
1	31	13
2	63	13
3	151	11
4	473	11
5	1277	11
done	5000	11
0	12	13
1	26	12
2	54	11
3	158	11
4	572	11
5	1754	11
done	5000	11
0	22	37
1	43	37
2	93	37
3	256	35
4	718	35
5	1833	35
6	4250	35
done	5001	35
0	18	19
1	31	19
2	56	19
3	116	19
4	252	19
5	576	19
6	1747	19
done	5000	19
0	21	27
1	40	27
2	78	27
3	192	25
4	490	25
5	1215	25
6	2669	25
done	5001	25
0	18	19
1	31	19
2	56	19
3	116	19
4	252	19
5	576	19
6	1747	19
done	5000	19
0	20	29
1	41	29
2	105	29
3	407	27
4	2075	27
done	5001	27
0	17	18
1	30	18
2	65	18
3	175	18
4	576	18
5	2265	18
done	5001	18
0	19	25
1	38	25
2	90	25
3	301	23
4	1306	23
done	5001	23
0	17	18
1	30	18
2	65	18
3	175	18
4	576	18
5	2265	18
done	5001	18
0	16	23
1	35	21
2	89	21
3	317	19
4	1199	19
done	5000	19
0	16	17
1	29	17
2	64	17
3	174	17
4	575	17
5	2253	17
done	5000	17
0	20	29
1	41	29
2	105	29
3	407	27
4	2075	27
done	5001	27
0	17	18
1	30	18
2	65	18
3	175	18
4	576	18
5	2265	18
done	5001	18
0	19	25
1	38	25
2	90	25
3	301	23
4	1306	23
done	5001	23
0	17	18
1	30	18
2	65	18
3	175	18
4	576	18
5	2265	18
done	5001	18
0	16	23
1	35	21
2	89	21
3	317	19
4	1199	19
done	5000	19
0	16	17
1	29	17
2	64	17
3	174	17
4	575	17
5	2253	17
done	5000	17
0	24	35
1	47	35
2	115	35
3	422	33
4	2111	33
done	5001	33
0	19	20
1	34	20
2	71	20
3	182	20
4	594	20
5	2278	20
done	5000	20
0	23	31
1	44	31
2	100	31
3	316	29
4	1341	29
done	5000	29
0	19	20
1	34	20
2	71	20
3	182	20
4	594	20
5	2278	20
done	5000	20
0	20	29
1	41	27
2	99	27
3	332	25
4	1232	25
done	5000	25
0	18	19
1	33	19
2	70	19
3	181	19
4	591	19
5	2285	19
done	5000	19
0	23	32
1	46	32
2	114	32
3	421	30
4	2116	30
done	5000	30
0	19	20
1	34	20
2	71	20
3	182	20
4	594	20
5	2278	20
done	5000	20
0	22	28
1	43	28
2	99	28
3	315	26
4	1344	26
done	5000	26
0	19	20
1	34	20
2	71	20
3	182	20
4	594	20
5	2278	20
done	5000	20
0	19	26
1	40	24
2	98	24
3	333	22
4	1235	22
done	5000	22
0	18	19
1	33	19
2	70	19
3	181	19
4	591	19
5	2285	19
done	5000	19
0	21	31
1	44	27
2	102	25
3	358	23
4	1226	23
5	2527	23
6	3017	23
7	4448	23
done	5001	23
0	18	19
1	33	19
2	70	19
3	181	19
4	591	19
5	2274	19
done	5001	19
0	20	27
1	41	23
2	91	21
3	286	19
4	793	19
5	1466	19
6	1879	19
7	3314	19
done	5001	19
0	18	19
1	33	19
2	70	19
3	181	19
4	591	19
5	2274	19
done	5001	19
0	17	25
1	38	19
2	78	17
3	230	15
4	391	15
5	615	15
6	1012	15
7	2436	15
done	5001	15
0	17	18
1	32	18
2	69	18
3	180	18
4	591	18
5	2279	18
done	5001	18
0	24	39
1	51	39
2	135	39
3	488	37
4	2088	37
done	5000	37
0	19	20
1	34	20
2	67	20
3	144	20
4	324	20
5	669	20
6	1626	20
7	4921	20
done	5000	20
0	23	35
1	46	35
2	107	35
3	347	33
4	1298	33
5	4230	33
done	5000	33
0	19	20
1	34	20
2	67	20
3	144	20
4	324	20
5	669	20
6	1626	20
7	4921	20
done	5000	20
0	20	33
1	43	31
2	106	31
3	362	29
4	939	29
5	2033	29
6	3078	29
done	5000	29
0	18	19
1	33	19
2	66	19
3	143	19
4	322	19
5	664	19
6	1615	19
7	4913	19
done	5000	19
0	23	32
1	46	32
2	107	32
3	330	30
4	1215	30
5	4002	30
done	5000	30
0	19	20
1	34	20
2	68	20
3	145	20
4	325	20
5	676	20
6	1633	20
7	4941	20
done	5000	20
0	22	28
1	43	28
2	96	28
3	267	26
4	843	26
5	2329	26
6	4542	26
done	5000	26
0	19	20
1	34	20
2	68	20
3	145	20
4	325	20
5	676	20
6	1633	20
7	4941	20
done	5000	20
0	19	26
1	40	24
2	89	24
3	243	22
4	543	22
5	1121	22
6	1986	22
done	5000	22
0	18	19
1	33	19
2	67	19
3	144	19
4	323	19
5	671	19
6	1633	19
7	4945	19
done	5000	19
0	17	27
1	35	27
2	86	25
3	336	23
4	1180	23
5	2464	23
6	2977	23
7	4375	23
done	5001	23
0	18	19
1	33	19
2	70	19
3	181	19
4	591	19
5	2274	19
done	5001	19
0	16	23
1	32	23
2	75	21
3	264	19
4	759	19
5	1411	19
6	1846	19
7	3239	19
done	5000	19
0	18	19
1	33	19
2	70	19
3	181	19
4	591	19
5	2274	19
done	5001	19
0	13	21
1	29	19
2	62	17
3	193	15
4	340	15
5	535	15
6	913	15
7	2291	15
done	5000	15
0	17	18
1	32	18
2	69	18
3	180	18
4	591	18
5	2279	18
done	5001	18
0	24	33
1	49	33
2	122	33
3	436	31
4	2144	31
done	5000	31
0	20	21
1	37	21
2	79	21
3	197	21
4	628	21
5	2350	21
done	5000	21
0	23	29
1	46	29
2	107	29
3	330	27
4	1377	27
done	5000	27
0	20	21
1	37	21
2	79	21
3	197	21
4	628	21
5	2350	21
done	5000	21
0	20	27
1	43	25
2	106	25
3	348	23
4	1267	23
done	5000	23
0	19	20
1	36	20
2	78	20
3	196	20
4	627	20
5	2329	20
done	5001	20
0	12	19
1	26	17
2	61	17
3	163	15
4	305	15
5	625	15
6	1014	15
7	2425	15
done	5000	15
0	17	18
1	32	18
2	69	18
3	180	18
4	591	18
5	2279	18
done	5001	18
0	17	23
1	36	23
2	80	23
3	242	21
4	875	21
5	3493	21
done	5000	21
0	13	14
1	27	13
2	51	12
3	124	12
4	288	12
5	460	12
6	861	12
7	2190	12
done	5000	12
0	21	32
1	40	32
2	83	32
3	196	30
4	494	30
5	1215	30
6	2757	30
done	5000	30
0	18	19
1	31	19
2	57	19
3	117	19
4	253	19
5	577	19
6	1744	19
done	5000	19
0	20	22
1	37	22
2	71	22
3	155	20
4	365	20
5	869	20
6	2085	20
done	5000	20
0	18	19
1	31	19
2	57	19
3	117	19
4	253	19
5	577	19
6	1744	19
done	5000	19
0	19	24
1	38	24
2	96	24
3	335	22
4	1535	22
done	5000	22
0	17	18
1	30	18
2	66	18
3	176	18
4	578	18
5	2265	18
done	5000	18
0	18	20
1	35	20
2	81	20
3	242	18
4	946	18
5	4323	18
done	5000	18
0	17	18
1	30	18
2	66	18
3	176	18
4	578	18
5	2265	18
done	5000	18
0	15	18
1	32	16
2	80	16
3	251	14
4	815	14
5	3261	14
done	5000	14
0	16	17
1	29	17
2	65	17
3	175	17
4	577	17
5	2244	17
done	5001	17
0	19	24
1	38	24
2	96	24
3	335	22
4	1535	22
done	5000	22
0	17	18
1	30	18
2	66	18
3	176	18
4	578	18
5	2265	18
done	5000	18
0	18	20
1	35	20
2	81	20
3	242	18
4	946	18
5	4323	18
done	5000	18
0	17	18
1	30	18
2	66	18
3	176	18
4	578	18
5	2265	18
done	5000	18
0	15	18
1	32	16
2	80	16
3	251	14
4	815	14
5	3261	14
done	5000	14
0	16	17
1	29	17
2	65	17
3	175	17
4	577	17
5	2244	17
done	5001	17
0	23	30
1	44	30
2	106	30
3	350	28
4	1582	28
done	5000	28
0	19	20
1	34	20
2	72	20
3	183	20
4	593	20
5	2287	20
done	5000	20
0	22	26
1	41	26
2	91	26
3	257	24
4	985	24
5	4401	24
done	5000	24
0	19	20
1	34	20
2	72	20
3	183	20
4	593	20
5	2287	20
done	5000	20
0	19	24
1	38	22
2	90	22
3	266	20
4	855	20
5	3395	20
done	5000	20
0	18	19
1	33	19
2	71	19
3	182	19
4	592	19
5	2284	19
done	5001	19
0	22	27
1	43	27
2	105	27
3	349	25
4	1568	25
done	5000	25
0	19	20
1	34	20
2	72	20
3	183	20
4	593	20
5	2287	20
done	5000	20
0	21	23
1	40	23
2	90	23
3	256	21
4	982	21
5	4408	21
done	5000	21
0	19	20
1	34	20
2	72	20
3	183	20
4	593	20
5	2287	20
done	5000	20
0	18	21
1	37	19
2	89	19
3	265	17
4	854	17
5	3353	17
done	5001	17
0	18	19
1	33	19
2	71	19
3	182	19
4	592	19
5	2284	19
done	5001	19
0	20	26
1	41	22
2	93	20
3	273	18
4	836	18
5	1464	18
6	1910	18
7	3358	18
done	5000	18
0	18	19
1	33	19
2	71	19
3	182	19
4	592	19
5	2270	19
done	5001	19
0	19	22
1	38	18
2	82	16
3	215	14
4	521	14
5	861	14
6	1279	14
7	2714	14
done	5001	14
0	18	19
1	33	19
2	71	19
3	182	19
4	592	19
5	2270	19
done	5001	19
0	16	20
1	35	14
2	71	12
3	178	10
4	272	10
5	413	10
6	809	10
7	2237	10
done	5001	10
0	17	18
1	32	18
2	70	18
3	181	18
4	591	18
5	2285	18
done	5000	18
0	23	34
1	48	34
2	124	34
3	399	32
4	1483	32
5	4467	32
done	5000	32
0	19	20
1	34	20
2	68	20
3	145	20
4	325	20
5	676	20
6	1633	20
7	4941	20
done	5000	20
0	22	30
1	43	30
2	98	30
3	284	28
4	927	28
5	2485	28
6	4739	28
done	5001	28
0	19	20
1	34	20
2	68	20
3	145	20
4	325	20
5	676	20
6	1633	20
7	4941	20
done	5000	20
0	19	28
1	40	26
2	97	26
3	299	24
4	635	24
5	1156	24
6	2076	24
done	5000	24
0	18	19
1	33	19
2	67	19
3	144	19
4	323	19
5	671	19
6	1633	19
7	4945	19
done	5000	19
0	22	27
1	43	27
2	98	27
3	268	25
4	863	25
5	2239	25
6	3812	25
done	5000	25
0	19	20
1	34	20
2	69	20
3	146	20
4	326	20
5	678	20
6	1633	20
7	4947	20
done	5000	20
0	21	23
1	40	23
2	87	23
3	213	21
4	588	21
5	1412	21
6	2611	21
done	5000	21
0	19	20
1	34	20
2	69	20
3	146	20
4	326	20
5	678	20
6	1633	20
7	4947	20
done	5000	20
0	18	21
1	37	19
2	82	19
3	199	17
4	387	17
5	700	17
6	1543	17
7	4803	17
done	5000	17
0	18	19
1	33	19
2	68	19
3	145	19
4	324	19
5	673	19
6	1628	19
7	4940	19
done	5000	19
0	16	22
1	32	22
2	77	20
3	251	18
4	806	18
5	1399	18
6	1801	18
7	3215	18
done	5000	18
0	18	19
1	33	19
2	71	19
3	182	19
4	592	19
5	2270	19
done	5001	19
0	15	18
1	29	18
2	66	16
3	193	14
4	491	14
5	821	14
6	1200	14
7	2611	14
done	5000	14
0	18	19
1	33	19
2	71	19
3	182	19
4	592	19
5	2270	19
done	5001	19
0	12	16
1	26	14
2	55	12
3	138	10
4	219	10
5	335	10
6	714	10
7	2120	10
done	5000	10
0	17	18
1	32	18
2	70	18
3	181	18
4	591	18
5	2285	18
done	5000	18
0	23	28
1	46	28
2	113	28
3	364	26
4	1612	26
done	5000	26
0	20	21
1	37	21
2	80	21
3	198	21
4	629	21
5	2336	21
done	5001	21
0	22	24
1	43	24
2	98	24
3	271	22
4	1022	22
5	4502	22
done	5000	22
0	20	21
1	37	21
2	80	21
3	198	21
4	629	21
5	2336	21
done	5001	21
0	19	22
1	40	20
2	97	20
3	280	18
4	887	18
5	3418	18
done	5000	18
0	19	20
1	36	20
2	79	20
3	197	20
4	628	20
5	2349	20
done	5000	20
0	11	14
1	23	12
2	52	12
3	113	10
4	197	10
5	387	10
6	762	10
7	2163	10
done	5001	10
0	17	18
1	32	18
2	70	18
3	181	18
4	591	18
5	2285	18
done	5000	18
0	16	18
1	33	18
2	71	18
3	185	16
4	597	16
5	2174	16
done	5000	16
0	13	14
1	27	13
2	52	12
3	125	12
4	289	12
5	459	12
6	859	12
7	2201	12
done	5001	12
0	17	29
1	33	27
2	66	25
3	166	25
4	441	25
5	783	25
6	1611	25
7	4939	25
done	5000	25
0	17	18
1	30	18
2	59	18
3	142	18
4	394	18
5	1196	18
6	4562	18
done	5000	18
0	16	19
1	30	17
2	55	15
3	124	15
4	306	15
5	560	15
6	1339	15
7	4692	15
done	5000	15
0	17	18
1	30	18
2	59	18
3	142	18
4	394	18
5	1196	18
6	4562	18
done	5000	18
0	15	21
1	31	19
2	79	17
3	311	17
4	1564	17
done	5000	17
0	16	17
1	29	17
2	68	17
3	211	17
4	907	17
done	5000	17
0	14	17
1	28	15
2	64	13
3	216	13
4	914	13
5	3461	13
done	5000	13
0	16	17
1	29	17
2	68	17
3	211	17
4	907	17
done	5000	17
0	11	15
1	25	11
2	62	9
3	181	9
4	583	9
5	1796	9
done	5000	9
0	15	16
1	28	16
2	67	16
3	210	16
4	903	16
done	5000	16
0	15	21
1	31	19
2	79	17
3	311	17
4	1564	17
done	5000	17
0	16	17
1	29	17
2	68	17
3	211	17
4	907	17
done	5000	17
0	14	17
1	28	15
2	64	13
3	216	13
4	914	13
5	3461	13
done	5000	13
0	16	17
1	29	17
2	68	17
3	211	17
4	907	17
done	5000	17
0	11	15
1	25	11
2	62	9
3	181	9
4	583	9
5	1796	9
done	5000	9
0	15	16
1	28	16
2	67	16
3	210	16
4	903	16
done	5000	16
0	19	27
1	37	25
2	89	23
3	326	23
4	1599	23
done	5001	23
0	18	19
1	33	19
2	74	19
3	218	19
4	919	19
done	5000	19
0	18	23
1	34	21
2	74	19
3	231	19
4	955	19
5	3539	19
done	5000	19
0	18	19
1	33	19
2	74	19
3	218	19
4	919	19
done	5000	19
0	15	21
1	31	17
2	72	15
3	195	15
4	620	15
5	1882	15
done	5001	15
0	17	18
1	32	18
2	73	18
3	217	18
4	917	18
done	5000	18
0	18	24
1	36	22
2	88	20
3	325	20
4	1581	20
done	5000	20
0	18	19
1	33	19
2	74	19
3	218	19
4	919	19
done	5000	19
0	17	20
1	33	18
2	73	16
3	230	16
4	954	16
5	3567	16
done	5000	16
0	18	19
1	33	19
2	74	19
3	218	19
4	919	19
done	5000	19
0	14	18
1	30	14
2	71	12
3	194	12
4	615	12
5	1865	12
done	5000	12
0	17	18
1	32	18
2	73	18
3	217	18
4	917	18
done	5000	18
0	16	23
1	34	15
2	73	13
3	165	13
4	322	13
5	444	13
6	473	13
7	507	13
8	547	13
9	593	13
10	645	13
11	703	13
12	767	13
13	837	13
14	913	13
15	995	13
16	1083	13
17	1177	13
18	1277	13
19	1383	13
20	1495	13
21	1613	13
22	1737	13
23	1867	13
24	2003	13
25	2145	13
26	2293	13
27	2447	13
28	2607	13
29	2773	13
30	2945	13
31	3123	13
32	3307	13
33	3497	13
34	3693	13
35	3895	13
36	4103	13
37	4317	13
38	4537	13
39	4763	13
40	4995	13
done	5000	13
0	17	18
1	32	18
2	73	18
3	217	18
4	917	18
done	5002	18
0	15	19
1	31	11
2	62	9
3	113	9
4	195	9
5	237	9
6	265	9
7	299	9
8	339	9
9	385	9
10	437	9
11	495	9
12	559	9
13	629	9
14	705	9
15	787	9
16	875	9
17	969	9
18	1069	9
19	1175	9
20	1287	9
21	1405	9
22	1529	9
23	1659	9
24	1795	9
25	1937	9
26	2085	9
27	2239	9
28	2399	9
29	2565	9
30	2737	9
31	2915	9
32	3099	9
33	3289	9
34	3485	9
35	3687	9
36	3895	9
37	4109	9
38	4329	9
39	4555	9
40	4787	9
done	5000	9
0	17	18
1	32	18
2	73	18
3	217	18
4	917	18
done	5002	18
0	12	17
1	28	7
2	42	5
3	74	5
4	108	5
5	130	5
6	158	5
7	192	5
8	232	5
9	278	5
10	330	5
11	388	5
12	452	5
13	522	5
14	598	5
15	680	5
16	768	5
17	862	5
18	962	5
19	1068	5
20	1180	5
21	1298	5
22	1422	5
23	1552	5
24	1688	5
25	1830	5
26	1978	5
27	2132	5
28	2292	5
29	2458	5
30	2630	5
31	2808	5
32	2992	5
33	3182	5
34	3378	5
35	3580	5
36	3788	5
37	4002	5
38	4222	5
39	4448	5
40	4680	5
41	4918	5
done	5000	5
0	16	17
1	31	17
2	72	17
3	216	17
4	916	17
done	5001	17
0	19	31
1	41	29
2	107	27
3	387	27
4	1441	27
5	2808	27
6	3437	27
done	5000	27
0	18	19
1	33	19
2	70	19
3	176	19
4	561	19
5	2157	19
done	5000	19
0	18	27
1	36	25
2	81	23
3	266	23
4	876	23
5	1538	23
6	2074	23
7	3957	23
done	5000	23
0	18	19
1	33	19
2	70	19
3	176	19
4	561	19
5	2157	19
done	5000	19
0	15	25
1	33	21
2	79	19
3	219	19
4	424	19
5	653	19
6	1123	19
7	3002	19
done	5000	19
0	17	18
1	32	18
2	69	18
3	175	18
4	560	18
5	2157	18
done	5000	18
0	18	24
1	36	22
2	81	20
3	250	20
4	834	20
5	1443	20
6	2019	20
7	3888	20
done	5000	20
0	18	19
1	33	19
2	71	19
3	177	19
4	562	19
5	2160	19
done	5000	19
0	17	20
1	33	18
2	70	16
3	191	16
4	533	16
5	867	16
6	1383	16
7	3264	16
done	5001	16
0	18	19
1	33	19
2	71	19
3	177	19
4	562	19
5	2160	19
done	5000	19
0	14	18
1	30	14
2	65	12
3	133	12
4	262	12
5	430	12
6	913	12
7	2808	12
done	5000	12
0	17	18
1	32	18
2	70	18
3	176	18
4	561	18
5	2150	18
done	5000	18
0	12	19
1	24	15
2	56	13
3	135	13
4	274	13
5	353	13
6	354	13
done	354	13
0	17	18
1	32	18
2	73	18
3	217	18
4	917	18
done	5002	18
0	11	15
1	21	11
2	45	9
3	85	9
4	152	9
5	172	9
done	172	9
0	17	18
1	32	18
2	73	18
3	217	18
4	917	18
done	5002	18
0	7	13
1	17	7
2	24	5
3	45	5
4	58	5
done	58	5
0	16	17
1	31	17
2	72	17
3	216	17
4	916	17
done	5001	17
0	19	25
1	39	23
2	96	21
3	340	21
4	1633	21
done	5001	21
0	19	20
1	36	20
2	82	20
3	233	20
4	951	20
done	5001	20
0	18	21
1	36	19
2	81	17
3	245	17
4	989	17
5	3611	17
done	5001	17
0	19	20
1	36	20
2	82	20
3	233	20
4	951	20
done	5001	20
0	15	19
1	33	15
2	79	13
3	209	13
4	651	13
5	1952	13
done	5001	13
0	18	19
1	35	19
2	81	19
3	232	19
4	950	19
done	5001	19
0	7	11
1	15	7
2	22	5
3	43	5
4	57	5
done	57	5
0	16	17
1	31	17
2	72	17
3	216	17
4	916	17
done	5001	17
0	12	15
1	26	13
2	55	11
3	158	11
4	534	11
5	1681	11
done	5001	11
0	12	13
1	26	12
2	54	11
3	158	11
4	572	11
5	1754	11
done	5000	11
0	22	33
1	40	33
2	91	33
3	253	31
4	873	31
5	3391	31
done	5000	31
0	19	20
1	31	20
2	63	20
3	149	20
4	409	20
5	1239	20
6	4748	20
done	5000	20
0	21	23
1	37	23
2	77	23
3	193	21
4	606	21
5	2140	21
done	5001	21
0	19	20
1	31	20
2	63	20
3	149	20
4	409	20
5	1239	20
6	4748	20
done	5000	20
0	20	25
1	38	25
2	102	25
3	394	23
4	2194	23
done	5001	23
0	18	19
1	30	19
2	72	19
3	218	19
4	918	19
done	5000	19
0	19	21
1	35	21
2	87	21
3	290	19
4	1403	19
done	5001	19
0	18	19
1	30	19
2	72	19
3	218	19
4	918	19
done	5000	19
0	16	19
1	32	17
2	88	17
3	319	15
4	1421	15
done	5000	15
0	17	18
1	29	18
2	71	18
3	217	18
4	915	18
done	5000	18
0	20	25
1	38	25
2	102	25
3	394	23
4	2194	23
done	5001	23
0	18	19
1	30	19
2	72	19
3	218	19
4	918	19
done	5000	19
0	19	21
1	35	21
2	87	21
3	290	19
4	1403	19
done	5001	19
0	18	19
1	30	19
2	72	19
3	218	19
4	918	19
done	5000	19
0	16	19
1	32	17
2	88	17
3	319	15
4	1421	15
done	5000	15
0	17	18
1	29	18
2	71	18
3	217	18
4	915	18
done	5000	18
0	24	31
1	44	31
2	112	31
3	409	29
4	2228	29
done	5000	29
0	20	21
1	34	21
2	78	21
3	225	21
4	933	21
done	5000	21
0	23	27
1	41	27
2	97	27
3	305	25
4	1445	25
done	5000	25
0	20	21
1	34	21
2	78	21
3	225	21
4	933	21
done	5000	21
0	20	25
1	38	23
2	98	23
3	332	21
4	1459	21
done	5001	21
0	19	20
1	33	20
2	77	20
3	224	20
4	933	20
done	5001	20
0	23	28
1	43	28
2	111	28
3	408	26
4	2222	26
done	5001	26
0	20	21
1	34	21
2	78	21
3	225	21
4	933	21
done	5000	21
0	22	24
1	40	24
2	96	24
3	304	22
4	1442	22
done	5000	22
0	20	21
1	34	21
2	78	21
3	225	21
4	933	21
done	5000	21
0	19	22
1	37	20
2	97	20
3	331	18
4	1457	18
done	5000	18
0	19	20
1	33	20
2	77	20
3	224	20
4	933	20
done	5001	20
0	21	27
1	41	23
2	99	21
3	329	19
4	1429	19
done	5001	19
0	19	20
1	33	20
2	77	20
3	224	20
4	931	20
done	5001	20
0	20	23
1	38	19
2	88	17
3	265	15
4	968	15
5	3042	15
done	5000	15
0	19	20
1	33	20
2	77	20
3	224	20
4	931	20
done	5001	20
0	17	21
1	35	15
2	77	13
3	222	11
4	476	11
5	1406	11
done	5001	11
0	18	19
1	32	19
2	76	19
3	223	19
4	929	19
done	5000	19
0	24	35
1	48	35
2	132	35
3	475	33
4	2236	33
done	5001	33
0	20	21
1	34	21
2	74	21
3	183	21
4	574	21
5	2194	21
done	5001	21
0	23	31
1	43	31
2	104	31
3	334	29
4	1413	29
done	5000	29
0	20	21
1	34	21
2	74	21
3	183	21
4	574	21
5	2194	21
done	5001	21
0	20	29
1	40	27
2	105	27
3	362	25
4	1141	25
5	4714	25
done	5000	25
0	19	20
1	33	20
2	73	20
3	182	20
4	572	20
5	2195	20
done	5000	20
0	23	28
1	43	28
2	104	28
3	316	26
4	1312	26
done	5001	26
0	20	21
1	34	21
2	75	21
3	184	21
4	575	21
5	2191	21
done	5000	21
0	22	24
1	40	24
2	93	24
3	257	22
4	947	22
5	4123	22
done	5000	22
0	20	21
1	34	21
2	75	21
3	184	21
4	575	21
5	2191	21
done	5000	21
0	19	22
1	37	20
2	88	20
3	241	18
4	678	18
5	2592	18
done	5000	18
0	19	20
1	33	20
2	74	20
3	183	20
4	573	20
5	2190	20
done	5000	20
0	17	23
1	32	23
2	83	21
3	307	19
4	1396	19
done	5000	19
0	19	20
1	33	20
2	77	20
3	224	20
4	931	20
done	5001	20
0	16	19
1	29	19
2	72	17
3	243	15
4	925	15
5	2995	15
done	5001	15
0	19	20
1	33	20
2	77	20
3	224	20
4	931	20
done	5001	20
0	13	17
1	26	15
2	61	13
3	186	11
4	426	11
5	1347	11
done	5000	11
0	18	19
1	32	19
2	76	19
3	223	19
4	929	19
done	5000	19
0	23	29
1	46	29
2	117	29
3	421	27
4	2263	27
done	5000	27
0	20	22
1	37	22
2	84	22
3	238	22
4	966	22
done	5000	22
0	22	25
1	43	25
2	102	25
3	317	23
4	1476	23
done	5000	23
0	20	22
1	37	22
2	84	22
3	238	22
4	966	22
done	5000	22
0	19	23
1	40	21
2	103	21
3	346	19
4	1497	19
done	5000	19
0	19	21
1	36	21
2	83	21
3	237	21
4	962	21
done	5001	21
0	12	15
1	23	13
2	58	13
3	155	11
4	380	11
5	1137	11
6	4503	11
done	5000	11
0	18	19
1	32	19
2	76	19
3	223	19
4	929	19
done	5000	19
0	17	19
1	33	19
2	79	19
3	247	17
4	1077	17
done	5001	17
0	14	15
1	27	14
2	58	13
3	165	13
4	588	13
5	1790	13
done	5000	13
0	16	27
1	30	27
2	56	25
3	132	25
4	329	25
5	612	25
6	1431	25
7	4811	25
done	5000	25
0	17	18
1	30	18
2	59	18
3	142	18
4	394	18
5	1196	18
6	4562	18
done	5000	18
0	15	17
1	27	17
2	47	15
3	102	15
4	232	15
5	455	15
6	1238	15
7	4616	15
done	5000	15
0	17	18
1	30	18
2	59	18
3	142	18
4	394	18
5	1196	18
6	4562	18
done	5000	18
0	14	19
1	28	19
2	67	17
3	235	17
4	1036	17
5	4490	17
done	5001	17
0	16	17
1	29	17
2	68	17
3	211	17
4	907	17
done	5000	17
0	13	15
1	25	15
2	54	13
3	167	13
4	633	13
5	2547	13
done	5000	13
0	16	17
1	29	17
2	68	17
3	211	17
4	907	17
done	5000	17
0	10	13
1	22	11
2	50	9
3	137	9
4	398	9
5	1325	9
done	5002	9
0	15	16
1	28	16
2	67	16
3	210	16
4	903	16
done	5000	16
0	14	19
1	28	19
2	67	17
3	235	17
4	1036	17
5	4490	17
done	5001	17
0	16	17
1	29	17
2	68	17
3	211	17
4	907	17
done	5000	17
0	13	15
1	25	15
2	54	13
3	167	13
4	633	13
5	2547	13
done	5000	13
0	16	17
1	29	17
2	68	17
3	211	17
4	907	17
done	5000	17
0	10	13
1	22	11
2	50	9
3	137	9
4	398	9
5	1325	9
done	5002	9
0	15	16
1	28	16
2	67	16
3	210	16
4	903	16
done	5000	16
0	18	25
1	34	25
2	77	23
3	250	23
4	1072	23
5	4590	23
done	5000	23
0	18	19
1	33	19
2	74	19
3	218	19
4	919	19
done	5000	19
0	17	21
1	31	21
2	64	19
3	182	19
4	670	19
5	2621	19
done	5000	19
0	18	19
1	33	19
2	74	19
3	218	19
4	919	19
done	5000	19
0	14	19
1	28	17
2	60	15
3	152	15
4	431	15
5	1379	15
done	5000	15
0	17	18
1	32	18
2	73	18
3	217	18
4	917	18
done	5000	18
0	17	22
1	33	22
2	76	20
3	249	20
4	1077	20
5	4583	20
done	5000	20
0	18	19
1	33	19
2	74	19
3	218	19
4	919	19
done	5000	19
0	16	18
1	30	18
2	63	16
3	181	16
4	665	16
5	2604	16
done	5000	16
0	18	19
1	33	19
2	74	19
3	218	19
4	919	19
done	5000	19
0	13	16
1	27	14
2	59	12
3	151	12
4	432	12
5	1384	12
done	5000	12
0	17	18
1	32	18
2	73	18
3	217	18
4	917	18
done	5000	18
0	15	21
1	31	15
2	61	13
3	143	13
4	302	13
5	420	13
6	450	13
7	484	13
8	524	13
9	570	13
10	622	13
11	680	13
12	744	13
13	814	13
14	890	13
15	972	13
16	1060	13
17	1154	13
18	1254	13
19	1360	13
20	1472	13
21	1590	13
22	1714	13
23	1844	13
24	1980	13
25	2122	13
26	2270	13
27	2424	13
28	2584	13
29	2750	13
30	2922	13
31	3100	13
32	3284	13
33	3474	13
34	3670	13
35	3872	13
36	4080	13
37	4294	13
38	4514	13
39	4740	13
40	4972	13
done	5001	13
0	17	18
1	32	18
2	73	18
3	217	18
4	917	18
done	5002	18
0	14	17
1	28	11
2	52	9
3	100	9
4	179	9
5	226	9
6	254	9
7	288	9
8	328	9
9	374	9
10	426	9
11	484	9
12	548	9
13	618	9
14	694	9
15	776	9
16	864	9
17	958	9
18	1058	9
19	1164	9
20	1276	9
21	1394	9
22	1518	9
23	1648	9
24	1784	9
25	1926	9
26	2074	9
27	2228	9
28	2388	9
29	2554	9
30	2726	9
31	2904	9
32	3088	9
33	3278	9
34	3474	9
35	3676	9
36	3884	9
37	4098	9
38	4318	9
39	4544	9
40	4776	9
done	5000	9
0	17	18
1	32	18
2	73	18
3	217	18
4	917	18
done	5002	18
0	11	15
1	25	7
2	39	5
3	71	5
4	100	5
5	122	5
6	150	5
7	184	5
8	224	5
9	270	5
10	322	5
11	380	5
12	444	5
13	514	5
14	590	5
15	672	5
16	760	5
17	854	5
18	954	5
19	1060	5
20	1172	5
21	1290	5
22	1414	5
23	1544	5
24	1680	5
25	1822	5
26	1970	5
27	2124	5
28	2284	5
29	2450	5
30	2622	5
31	2800	5
32	2984	5
33	3174	5
34	3370	5
35	3572	5
36	3780	5
37	3994	5
38	4214	5
39	4440	5
40	4672	5
41	4910	5
done	5000	5
0	16	17
1	31	17
2	72	17
3	216	17
4	916	17
done	5001	17
0	18	29
1	38	29
2	91	27
3	279	27
4	974	27
5	1995	27
6	2510	27
7	4429	27
done	5000	27
0	18	19
1	33	19
2	70	19
3	176	19
4	561	19
5	2157	19
done	5000	19
0	17	25
1	33	25
2	69	23
3	197	23
4	594	23
5	1106	23
6	1614	23
7	3505	23
done	5000	23
0	18	19
1	33	19
2	70	19
3	176	19
4	561	19
5	2157	19
done	5000	19
0	14	23
1	30	21
2	66	19
3	160	19
4	295	19
5	477	19
6	952	19
7	2872	19
done	5000	19
0	17	18
1	32	18
2	69	18
3	175	18
4	560	18
5	2157	18
done	5000	18
0	17	22
1	33	22
2	69	20
3	184	20
4	555	20
5	923	20
6	1397	20
7	3313	20
done	5001	20
0	18	19
1	33	19
2	71	19
3	177	19
4	562	19
5	2160	19
done	5000	19
0	16	18
1	30	18
2	60	16
3	147	16
4	363	16
5	576	16
6	1058	16
7	2933	16
done	5000	16
0	18	19
1	33	19
2	71	19
3	177	19
4	562	19
5	2160	19
done	5000	19
0	13	16
1	27	14
2	55	12
3	109	12
4	195	12
5	331	12
6	808	12
7	2725	12
done	5001	12
0	17	18
1	32	18
2	70	18
3	176	18
4	561	18
5	2150	18
done	5000	18
0	11	17
1	21	13
2	52	13
3	133	13
4	287	13
5	373	13
6	374	13
done	374	13
0	17	18
1	32	18
2	73	18
3	217	18
4	917	18
done	5002	18
0	10	13
1	18	9
2	38	9
3	77	9
4	156	9
5	176	9
done	176	9
0	17	18
1	32	18
2	73	18
3	217	18
4	917	18
done	5002	18
0	7	11
1	14	7
2	21	5
3	42	5
4	56	5
done	56	5
0	16	17
1	31	17
2	72	17
3	216	17
4	916	17
done	5001	17
0	18	23
1	36	23
2	84	21
3	264	21
4	1110	21
5	4697	21
done	5000	21
0	19	20
1	36	20
2	82	20
3	233	20
4	951	20
done	5001	20
0	17	19
1	33	19
2	71	17
3	196	17
4	701	17
5	2699	17
done	5000	17
0	19	20
1	36	20
2	82	20
3	233	20
4	951	20
done	5001	20
0	14	17
1	30	15
2	67	13
3	166	13
4	468	13
5	1456	13
done	5000	13
0	18	19
1	35	19
2	81	19
3	232	19
4	950	19
done	5001	19
0	6	9
1	12	7
2	21	5
3	42	5
4	56	5
done	56	5
0	16	17
1	31	17
2	72	17
3	216	17
4	916	17
done	5001	17
0	11	13
1	23	13
2	45	11
3	120	11
4	384	11
5	1283	11
done	5000	11
0	12	13
1	26	12
2	54	11
3	158	11
4	572	11
5	1754	11
done	5000	11
0	16	27
1	28	27
2	54	27
3	111	27
4	232	27
5	475	27
6	1272	27
7	4612	27
done	5001	27
0	18	18
1	33	18
2	62	18
3	145	16
4	397	16
5	1276	16
done	5000	16
0	15	17
1	25	17
2	45	17
3	84	17
4	180	17
5	402	17
6	1184	17
7	4545	17
done	5000	17
0	18	18
1	33	18
2	62	18
3	145	16
4	397	16
5	1276	16
done	5000	16
0	14	19
1	26	19
2	65	19
3	211	19
4	854	19
5	4000	19
done	5000	19
0	17	17
1	32	17
2	71	17
3	214	15
4	893	15
done	5000	15
0	13	15
1	23	15
2	52	15
3	143	15
4	501	15
5	1982	15
done	5000	15
0	17	17
1	32	17
2	71	17
3	214	15
4	893	15
done	5000	15
0	11	13
1	23	11
2	53	11
3	162	11
4	532	11
5	2179	11
done	5000	11
0	16	16
1	31	16
2	70	16
3	213	14
4	889	14
done	5000	14
0	14	19
1	26	19
2	65	19
3	211	19
4	854	19
5	4000	19
done	5000	19
0	17	17
1	32	17
2	71	17
3	214	15
4	893	15
done	5000	15
0	13	15
1	23	15
2	52	15
3	143	15
4	501	15
5	1982	15
done	5000	15
0	17	17
1	32	17
2	71	17
3	214	15
4	893	15
done	5000	15
0	11	13
1	23	11
2	53	11
3	162	11
4	532	11
5	2179	11
done	5000	11
0	16	16
1	31	16
2	70	16
3	213	14
4	889	14
done	5000	14
0	18	25
1	32	25
2	75	25
3	226	25
4	896	25
5	4052	25
done	5000	25
0	19	19
1	36	19
2	77	19
3	221	17
4	909	17
done	5000	17
0	17	21
1	29	21
2	62	21
3	158	21
4	539	21
5	2060	21
done	5000	21
0	19	19
1	36	19
2	77	19
3	221	17
4	909	17
done	5000	17
0	15	19
1	29	17
2	63	17
3	177	17
4	569	17
5	2263	17
done	5000	17
0	18	18
1	35	18
2	76	18
3	220	16
4	906	16
done	5000	16
0	17	22
1	31	22
2	74	22
3	225	22
4	894	22
5	4057	22
done	5001	22
0	19	19
1	36	19
2	77	19
3	221	17
4	909	17
done	5000	17
0	16	18
1	28	18
2	61	18
3	157	18
4	540	18
5	2064	18
done	5000	18
0	19	19
1	36	19
2	77	19
3	221	17
4	909	17
done	5000	17
0	14	16
1	28	14
2	62	14
3	176	14
4	570	14
5	2250	14
done	5000	14
0	18	18
1	35	18
2	76	18
3	220	16
4	906	16
done	5000	16
0	16	21
1	32	17
2	65	15
3	138	15
4	379	15
5	672	15
6	808	15
7	845	15
8	885	15
9	931	15
10	983	15
11	1041	15
12	1105	15
13	1175	15
14	1251	15
15	1333	15
16	1421	15
17	1515	15
18	1615	15
19	1721	15
20	1833	15
21	1951	15
22	2075	15
23	2205	15
24	2341	15
25	2483	15
26	2631	15
27	2785	15
28	2945	15
29	3111	15
30	3283	15
31	3461	15
32	3645	15
33	3835	15
34	4031	15
35	4233	15
36	4441	15
37	4655	15
38	4875	15
done	5000	15
0	18	18
1	35	18
2	76	18
3	220	16
4	906	16
done	5000	16
0	15	17
1	29	13
2	56	11
3	103	11
4	224	11
5	313	11
6	367	11
7	401	11
8	441	11
9	487	11
10	539	11
11	597	11
12	661	11
13	731	11
14	807	11
15	889	11
16	977	11
17	1071	11
18	1171	11
19	1277	11
20	1389	11
21	1507	11
22	1631	11
23	1761	11
24	1897	11
25	2039	11
26	2187	11
27	2341	11
28	2501	11
29	2667	11
30	2839	11
31	3017	11
32	3201	11
33	3391	11
34	3587	11
35	3789	11
36	3997	11
37	4211	11
38	4431	11
39	4657	11
40	4889	11
done	5000	11
0	18	18
1	35	18
2	76	18
3	220	16
4	906	16
done	5000	16
0	12	15
1	26	9
2	51	7
3	90	7
4	138	7
5	191	7
6	246	7
7	319	7
8	359	7
9	405	7
10	457	7
11	515	7
12	579	7
13	649	7
14	725	7
15	807	7
16	895	7
17	989	7
18	1089	7
19	1195	7
20	1307	7
21	1425	7
22	1549	7
23	1679	7
24	1815	7
25	1957	7
26	2105	7
27	2259	7
28	2419	7
29	2585	7
30	2757	7
31	2935	7
32	3119	7
33	3309	7
34	3505	7
35	3707	7
36	3915	7
37	4129	7
38	4349	7
39	4575	7
40	4807	7
done	5000	7
0	17	17
1	34	17
2	75	17
3	219	15
4	904	15
done	5000	15
0	18	29
1	36	29
2	89	29
3	253	29
4	741	29
5	1553	29
6	2562	29
7	4546	29
done	5000	29
0	19	19
1	36	19
2	73	19
3	179	17
4	560	17
5	2328	17
done	5000	17
0	17	25
1	31	25
2	67	25
3	173	25
4	452	25
5	821	25
6	1428	25
7	3335	25
done	5001	25
0	19	19
1	36	19
2	73	19
3	179	17
4	560	17
5	2328	17
done	5000	17
0	15	23
1	31	21
2	69	21
3	199	21
4	431	21
5	785	21
6	1373	21
7	3313	21
done	5000	21
0	18	18
1	35	18
2	72	18
3	178	16
4	560	16
5	2334	16
done	5000	16
0	17	22
1	31	22
2	67	22
3	159	22
4	399	22
5	780	22
6	1399	22
7	3314	22
done	5000	22
0	19	19
1	36	19
2	74	19
3	180	17
4	560	17
5	2334	17
done	5000	17
0	16	18
1	28	18
2	58	18
3	122	18
4	264	18
5	469	18
6	976	18
7	2869	18
done	5000	18
0	19	19
1	36	19
2	74	19
3	180	17
4	560	17
5	2334	17
done	5000	17
0	14	16
1	28	14
2	57	14
3	128	14
4	250	14
5	475	14
6	973	14
7	2908	14
done	5000	14
0	18	18
1	35	18
2	73	18
3	179	16
4	561	16
5	2343	16
done	5000	16
0	12	17
1	22	17
2	48	15
3	112	15
4	338	15
5	596	15
6	715	15
7	718	15
done	718	15
0	18	18
1	35	18
2	76	18
3	220	16
4	906	16
done	5000	16
0	11	13
1	19	13
2	39	11
3	77	11
4	182	11
5	248	11
6	272	11
done	272	11
0	18	18
1	35	18
2	76	18
3	220	16
4	906	16
done	5000	16
0	8	11
1	16	9
2	34	7
3	62	7
4	94	7
5	131	7
6	158	7
7	198	7
done	198	7
0	17	17
1	34	17
2	75	17
3	219	15
4	904	15
done	5000	15
0	18	23
1	34	23
2	82	23
3	240	23
4	924	23
5	4119	23
done	5000	23
0	20	20
1	39	20
2	85	20
3	236	18
4	944	18
done	5000	18
0	17	19
1	31	19
2	69	19
3	172	19
4	572	19
5	2116	19
done	5000	19
0	20	20
1	39	20
2	85	20
3	236	18
4	944	18
done	5000	18
0	15	17
1	31	15
2	70	15
3	191	15
4	602	15
5	2334	15
done	5001	15
0	19	19
1	38	19
2	84	19
3	235	17
4	939	17
done	5001	17
0	7	9
1	13	7
2	22	7
3	41	7
4	48	7
5	52	7
6	60	7
7	63	7
done	63	7
0	17	17
1	34	17
2	75	17
3	219	15
4	904	15
done	5000	15
0	11	13
1	21	13
2	43	13
3	98	13
4	283	13
5	887	13
6	3433	13
done	5000	13
0	12	13
1	26	12
2	54	11
3	160	9
4	495	9
5	1702	9
done	5000	9
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	16	17
1	31	17
2	72	17
3	216	17
4	916	17
done	5001	17
0	8	11
1	16	11
2	34	11
3	84	11
4	246	11
5	827	11
6	3221	11
done	5001	11
0	13	13
1	25	13
2	48	11
3	117	11
4	361	11
5	1480	11
done	5000	11
0	14	17
1	29	17
2	72	17
3	237	17
4	1039	17
done	5001	17
0	5	5
done	5	5
0	18	34
1	33	34
2	64	34
3	165	34
4	616	34
5	3239	34
done	5000	34
0	17	18
1	30	18
2	61	18
3	162	18
4	614	18
5	3239	18
done	5000	18
0	17	18
1	30	18
2	61	18
3	162	18
4	614	18
5	3239	18
done	5000	18
0	17	18
1	30	18
2	61	18
3	162	18
4	614	18
5	3239	18
done	5000	18
0	20	36
1	37	36
2	76	36
3	154	36
4	312	36
5	690	36
6	1976	36
done	5000	36
0	18	19
1	29	19
2	50	19
3	100	19
4	234	19
5	589	19
6	1826	19
done	5000	19
0	19	26
1	32	26
2	58	26
3	120	26
4	262	26
5	618	26
6	1869	26
done	5000	26
0	18	19
1	29	19
2	50	19
3	100	19
4	234	19
5	589	19
6	1826	19
done	5000	19
0	18	28
1	33	28
2	82	28
3	272	28
4	1023	28
5	4704	28
done	5000	28
0	17	18
1	28	18
2	56	18
3	136	18
4	395	18
5	1309	18
done	5000	18
0	17	24
1	30	24
2	67	24
3	189	24
4	627	24
5	2471	24
done	5000	24
0	17	18
1	28	18
2	56	18
3	136	18
4	395	18
5	1309	18
done	5000	18
0	15	22
1	30	20
2	69	20
3	220	20
4	726	20
5	2901	20
done	5001	20
0	16	17
1	27	17
2	55	17
3	135	17
4	396	17
5	1322	17
done	5000	17
0	18	28
1	33	28
2	82	28
3	272	28
4	1023	28
5	4704	28
done	5000	28
0	17	18
1	28	18
2	56	18
3	136	18
4	395	18
5	1309	18
done	5000	18
0	17	24
1	30	24
2	67	24
3	189	24
4	627	24
5	2471	24
done	5000	24
0	17	18
1	28	18
2	56	18
3	136	18
4	395	18
5	1309	18
done	5000	18
0	15	22
1	30	20
2	69	20
3	220	20
4	726	20
5	2901	20
done	5001	20
0	16	17
1	27	17
2	55	17
3	135	17
4	396	17
5	1322	17
done	5000	17
0	22	34
1	39	34
2	92	34
3	287	34
4	1059	34
5	4790	34
done	5000	34
0	19	20
1	32	20
2	62	20
3	143	20
4	413	20
5	1344	20
done	5000	20
0	21	30
1	36	30
2	77	30
3	204	30
4	662	30
5	2550	30
done	5000	30
0	19	20
1	32	20
2	62	20
3	143	20
4	413	20
5	1344	20
done	5000	20
0	19	28
1	36	26
2	79	26
3	235	26
4	755	26
5	2901	26
done	5000	26
0	18	19
1	31	19
2	61	19
3	142	19
4	412	19
5	1340	19
done	5001	19
0	21	31
1	38	31
2	91	31
3	286	31
4	1062	31
5	4837	31
done	5000	31
0	19	20
1	32	20
2	62	20
3	143	20
4	413	20
5	1344	20
done	5000	20
0	20	27
1	35	27
2	76	27
3	203	27
4	667	27
5	2541	27
done	5001	27
0	19	20
1	32	20
2	62	20
3	143	20
4	413	20
5	1344	20
done	5000	20
0	18	25
1	35	23
2	78	23
3	234	23
4	751	23
5	2893	23
done	5000	23
0	18	19
1	31	19
2	61	19
3	142	19
4	412	19
5	1340	19
done	5001	19
0	20	30
1	39	26
2	80	24
3	196	24
4	539	24
5	944	24
6	1597	24
7	3482	24
done	5000	24
0	18	19
1	31	19
2	61	19
3	142	19
4	410	19
5	1337	19
done	5001	19
0	19	26
1	36	22
2	69	20
3	150	20
4	358	20
5	588	20
6	1137	20
7	3014	20
done	5000	20
0	18	19
1	31	19
2	61	19
3	142	19
4	410	19
5	1337	19
done	5001	19
0	16	24
1	33	18
2	63	16
3	151	16
4	281	16
5	469	16
6	978	16
7	2828	16
done	5000	16
0	17	18
1	30	18
2	60	18
3	141	18
4	409	18
5	1335	18
done	5001	18
0	22	38
1	43	38
2	111	38
3	325	38
4	816	38
5	1600	38
6	3096	38
done	5000	38
0	19	20
1	32	20
2	58	20
3	113	20
4	242	20
5	528	20
6	1490	20
done	5000	20
0	21	34
1	38	34
2	84	34
3	219	34
4	507	34
5	962	34
6	2060	34
done	5000	34
0	19	20
1	32	20
2	58	20
3	113	20
4	242	20
5	528	20
6	1490	20
done	5000	20
0	19	32
1	38	30
2	87	30
3	257	30
4	526	30
5	924	30
6	1923	30
done	5000	30
0	18	19
1	31	19
2	57	19
3	112	19
4	241	19
5	523	19
6	1471	19
done	5000	19
0	21	31
1	38	31
2	82	31
3	194	31
4	445	31
5	876	31
6	1935	31
done	5000	31
0	19	20
1	32	20
2	59	20
3	114	20
4	243	20
5	525	20
6	1482	20
done	5000	20
0	20	27
1	35	27
2	71	27
3	150	27
4	320	27
5	639	27
6	1623	27
done	5000	27
0	19	20
1	32	20
2	59	20
3	114	20
4	243	20
5	525	20
6	1482	20
done	5000	20
0	18	25
1	35	23
2	70	23
3	162	23
4	326	23
5	638	23
6	1572	23
done	5000	23
0	18	19
1	31	19
2	58	19
3	113	19
4	242	19
5	524	19
6	1466	19
done	5000	19
0	16	26
1	30	26
2	64	24
3	174	24
4	503	24
5	898	24
6	1523	24
7	3369	24
done	5000	24
0	18	19
1	31	19
2	61	19
3	142	19
4	410	19
5	1337	19
done	5001	19
0	15	22
1	27	22
2	53	20
3	128	20
4	322	20
5	536	20
6	1058	20
7	2918	20
done	5000	20
0	18	19
1	31	19
2	61	19
3	142	19
4	410	19
5	1337	19
done	5001	19
0	12	20
1	24	18
2	47	16
3	126	16
4	241	16
5	410	16
6	890	16
7	2720	16
done	5000	16
0	17	18
1	30	18
2	60	18
3	141	18
4	409	18
5	1335	18
done	5001	18
0	22	32
1	41	32
2	99	32
3	301	32
4	1095	32
5	4861	32
done	5000	32
0	20	21
1	35	21
2	70	21
3	158	21
4	445	21
5	1408	21
done	5000	21
0	21	28
1	38	28
2	84	28
3	218	28
4	697	28
5	2582	28
done	5000	28
0	20	21
1	35	21
2	70	21
3	158	21
4	445	21
5	1408	21
done	5000	21
0	19	26
1	38	24
2	86	24
3	249	24
4	792	24
5	2979	24
done	5000	24
0	19	20
1	34	20
2	69	20
3	157	20
4	444	20
5	1413	20
done	5000	20
0	11	18
1	21	16
2	41	16
3	90	16
4	152	16
5	305	16
6	791	16
7	2654	16
done	5000	16
0	17	18
1	30	18
2	60	18
3	141	18
4	409	18
5	1335	18
done	5001	18
0	15	22
1	28	22
2	59	22
3	148	22
4	398	22
5	1248	22
6	4893	22
done	5000	22
0	13	14
1	25	13
2	42	12
3	83	12
4	171	12
5	333	12
6	824	12
7	2690	12
done	5001	12
0	19	29
1	32	29
2	57	29
3	114	29
4	252	29
5	612	29

Details

sample245.0ms

simplify1.6s

prune26.0ms

localize17.0ms

rewrite39.0ms

series162.0ms

simplify2.0min

prune234.0ms

localize14.0ms

rewrite1.0s

series208.0ms

simplify1.6hr

Profiling