Details

sample31.0ms

Algorithm

intervals

Results

14.0ms

256×

body

valid

simplify2.8s

Counts

1 → 1

Iterations

Useful iterations: 6 (1.5s)

Iter	Nodes	Cost
0	13	17
1	25	17
2	59	17
3	132	17
4	353	17
5	751	15
6	2643	13
done	5000	13

prune18.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.0b

Counts

2 → 2

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (/ (* z 2.0) y) (/ t z))
0.0b	(- x (/ 2.0 (- (/ (* z 2.0) y) (/ t z))))
0.8b	(/ 2.0 (- (/ (* z 2.0) y) (/ t z)))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 73

Calls

3 calls:

11.0ms	(- (/ (* z 2.0) y) (/ t z))
20.0ms	(- x (/ 2.0 (- (/ (* z 2.0) y) (/ t z))))
13.0ms	(/ 2.0 (- (/ (* z 2.0) y) (/ t z)))

series35.0ms

Counts

3 → 9

Calls

3 calls:

11.0ms	(- (/ (* z 2.0) y) (/ t z))
14.0ms	(- x (/ 2.0 (- (/ (* z 2.0) y) (/ t z))))
9.0ms	(/ 2.0 (- (/ (* z 2.0) y) (/ t z)))

simplify55.0s

Counts

82 → 82

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	13
1	18	13
2	26	13
3	29	13
4	30	13
done	30	13
0	10	12
1	18	12
2	27	12
3	31	12
4	32	12
done	32	12
0	10	12
1	15	12
2	22	12
3	25	12
4	26	12
done	26	12
0	13	35
1	27	35
2	78	15
3	227	13
4	731	13
5	2989	13
done	5001	13
0	11	25
1	16	25
2	23	25
3	26	25
4	27	25
done	27	25
0	10	12
1	15	12
2	22	12
3	25	12
4	26	12
done	26	12
0	11	35
1	23	35
2	46	13
3	93	13
4	217	13
5	660	13
6	2509	13
done	5000	13
0	10	12
1	15	12
2	22	12
3	25	12
4	26	12
done	26	12
0	10	12
1	15	12
2	22	12
3	25	12
4	26	12
done	26	12
0	2	2
done	2	2
0	9	10
1	14	10
2	24	10
3	40	10
4	58	9
5	65	9
done	65	9
0	13	27
1	24	27
2	40	27
3	49	27
4	50	27
done	50	27
0	11	13
1	16	13
2	23	13
3	26	13
4	27	13
done	27	13
0	12	16
1	19	16
2	28	16
3	32	16
4	33	16
done	33	16
0	11	13
1	16	13
2	23	13
3	26	13
4	27	13
done	27	13
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	10	12
1	15	12
2	22	12
3	25	12
4	26	12
done	26	12
0	13	17
1	19	17
2	25	17
3	29	17
4	30	17
done	30	17
0	12	14
1	17	14
2	22	14
3	25	14
4	26	14
done	26	14
0	14	18
1	20	18
2	26	18
3	30	18
4	31	18
done	31	18
0	13	15
1	18	15
2	25	15
3	28	15
4	29	15
done	29	15
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	10	12
1	15	12
2	22	12
3	25	12
4	26	12
done	26	12
0	12	24
1	19	24
2	26	24
3	29	24
4	30	24
done	30	24
0	11	13
1	16	13
2	23	13
3	26	13
4	27	13
done	27	13
0	11	13
1	16	13
2	23	13
3	26	13
4	27	13
done	27	13
0	11	13
1	16	13
2	23	13
3	26	13
4	27	13
done	27	13
0	4	4
1	6	2
2	8	2
done	8	2
0	10	12
1	15	12
2	22	12
3	25	12
4	26	12
done	26	12
0	12	14
1	16	14
2	20	14
3	23	14
4	24	14
done	24	14
0	12	14
1	17	14
2	22	14
3	25	14
4	26	14
done	26	14
0	13	15
1	17	15
2	21	15
3	24	15
4	25	15
done	25	15
0	13	15
1	18	15
2	25	15
3	28	15
4	29	15
done	29	15
0	4	4
1	6	2
2	8	2
done	8	2
0	10	12
1	15	12
2	22	12
3	25	12
4	26	12
done	26	12
0	12	23
1	21	23
2	28	23
3	31	23
4	32	23
done	32	23
0	10	12
1	15	12
2	22	12
3	25	12
4	26	12
done	26	12
0	11	12
1	18	12
2	25	12
3	28	12
4	29	12
done	29	12
0	10	12
1	15	12
2	22	12
3	25	12
4	26	12
done	26	12
0	2	3
1	4	1
done	4	1
0	9	11
1	14	11
2	21	11
3	24	11
4	25	11
done	25	11
0	12	13
1	18	13
2	22	13
3	25	13
4	26	13
done	26	13
0	11	13
1	16	13
2	21	13
3	24	13
4	25	13
done	25	13
0	13	14
1	19	14
2	23	14
3	26	14
4	27	14
done	27	14
0	12	14
1	17	14
2	24	14
3	27	14
4	28	14
done	28	14
0	2	3
1	4	1
done	4	1
0	9	11
1	14	11
2	21	11
3	24	11
4	25	11
done	25	11
0	10	11
1	17	11
2	24	11
3	27	11
4	28	11
done	28	11
0	9	11
1	17	11
2	31	11
3	55	11
4	87	11
5	104	9
6	231	9
7	1150	9
8	4530	9
done	5000	9
0	11	23
1	18	23
2	25	23
3	28	23
4	29	23
done	29	23
0	10	12
1	15	12
2	22	12
3	25	12
4	26	12
done	26	12
0	3	3
1	5	1
done	5	1
0	11	13
1	15	13
2	19	13
3	22	13
4	23	13
done	23	13
0	12	14
1	16	14
2	20	14
3	23	14
4	24	14
done	24	14
0	3	3
1	5	1
done	5	1
0	10	12
1	18	12
2	33	12
3	59	12
4	90	12
5	105	12
done	105	12
0	10	12
1	18	12
2	33	12
3	59	12
4	90	12
5	105	12
done	105	12
0	9	11
1	17	11
2	31	11
3	55	11
4	87	11
5	104	9
6	231	9
7	1150	9
8	4530	9
done	5000	9
0	9	11
1	14	11
2	24	11
done	24	11
0	12	15
1	36	15
2	113	15
3	407	15
4	1831	15
done	5000	15
0	11	21
1	27	21
2	68	21
3	180	21
4	439	21
5	773	21
6	1078	21
7	1653	21
8	3919	21
done	5000	21
0	13	15
1	20	14
2	29	14
3	37	14
4	41	14
5	47	14
6	51	14
7	67	14
8	71	14
9	76	14
10	83	14
11	101	14
12	122	14
13	140	14
14	145	14
15	147	14
done	147	14
0	12	14
1	19	14
2	29	14
3	32	14
4	33	14
done	33	14
0	12	14
1	22	14
2	34	14
3	40	14
4	47	14
5	51	14
6	67	14
7	71	14
8	76	14
9	83	14
10	101	14
11	122	14
12	139	14
13	144	14
14	146	14
done	146	14
0	13	29
1	20	29
2	30	29
3	33	29
4	34	29
done	34	29
0	12	14
1	19	14
2	29	14
3	32	14
4	33	14
done	33	14
0	13	41
1	21	41
2	45	15
3	99	15
4	264	15
5	823	15
6	2773	15
done	5000	15
0	12	14
1	19	14
2	29	14
3	32	14
4	33	14
done	33	14
0	12	14
1	19	14
2	29	14
3	32	14
4	33	14
done	33	14
0	14	17
1	37	17
2	86	17
3	215	17
4	698	17
5	2643	17
done	5000	17
0	15	41
1	33	29
2	58	29
3	84	29
4	152	29
5	379	29
6	997	27
7	3540	27
done	5000	27
0	10	12
1	17	12
2	24	12
3	27	12
4	28	12
done	28	12
0	13	27
1	27	27
2	49	27
3	92	27
4	196	27
5	467	27
6	1172	25
7	3987	25
done	5001	25
0	11	13
1	17	13
2	24	13
3	27	13
4	28	13
done	28	13
0	13	15
1	19	15
2	26	15
3	29	15
4	30	15
done	30	15
0	13	15
1	20	15
2	28	15
3	31	15
4	32	15
done	32	15
0	14	16
1	20	16
2	27	16
3	30	16
4	31	16
done	31	16
0	14	16
1	21	16
2	31	16
3	34	16
4	35	16
done	35	16
0	11	13
1	18	13
2	28	13
3	31	13
4	32	13
done	32	13
0	10	12
1	17	12
2	24	12
3	27	12
4	28	12
done	28	12
0	10	11
1	15	10
2	21	10
3	31	10
4	43	10
5	68	10
6	145	10
7	450	10
8	1192	10
9	3399	10
done	5001	10
0	9	10
1	14	10
2	21	10
3	24	10
4	25	10
done	25	10
0	9	10
1	17	10
2	26	10
3	34	10
4	49	10
5	76	10
6	200	10
7	490	10
8	1238	10
9	3320	10
done	5001	10
0	10	21
1	15	21
2	22	21
3	25	21
4	26	21
done	26	21
0	9	10
1	14	10
2	21	10
3	24	10
4	25	10
done	25	10
0	10	29
1	16	29
2	37	11
3	121	11
4	501	11
5	2149	11
done	5001	11
0	9	10
1	14	10
2	21	10
3	24	10
4	25	10
done	25	10
0	9	10
1	14	10
2	21	10
3	24	10
4	25	10
done	25	10
0	8	9
1	13	9
2	23	9
done	23	9
0	3	3
1	4	3
done	4	3
0	11	13
1	35	13
2	112	13
3	404	13
4	1797	13
done	5001	13
0	12	29
1	34	25
2	91	25
3	240	23
4	566	23
5	868	23
6	959	21
7	3023	21
done	5000	21
0	4	4
1	6	4
done	6	4
0	10	19
1	26	19
2	65	19
3	173	19
4	433	19
5	770	19
6	1077	19
7	1655	19
8	3915	19
done	5000	19
0	8	9
1	12	9
2	16	9
3	19	9
4	20	9
done	20	9
0	10	11
1	14	11
2	18	11
3	21	11
4	22	11
done	22	11
0	10	11
1	15	11
2	20	11
3	23	11
4	24	11
done	24	11
0	11	12
1	15	12
2	19	12
3	22	12
4	23	12
done	23	12
0	11	12
1	16	12
2	23	12
3	26	12
4	27	12
done	27	12
0	8	9
1	13	9
2	20	9
3	23	9
4	24	9
done	24	9
0	4	4
1	6	4
done	6	4
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	8	9
1	13	9
2	19	9
3	23	9
4	24	9
done	24	9
0	8	9
1	13	9
2	19	9
3	23	9
4	24	9
done	24	9
0	8	9
1	13	9
2	19	9
3	23	9
4	24	9
done	24	9

prune148.0ms

Filtered

62 candidates to 82 candidates (-32.3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	79	3	82
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	79	5	84

Merged error: 0b

Counts

84 → 5

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (/ (* z 2.0) y) (/ t z))
0.0b	(- x (/ (sqrt 2.0) (/ (- (/ (* z 2.0) y) (/ t z)) (sqrt 2.0))))
0.3b	(/ (- (/ (* z 2.0) y) (/ t z)) (sqrt 2.0))
0.9b	(/ (sqrt 2.0) (/ (- (/ (* z 2.0) y) (/ t z)) (sqrt 2.0)))

rewrite172.0ms

Algorithm

rewrite-expression-head

Rules

588×	`times-frac`
514×	`add-sqr-sqrt`
342×	`*-un-lft-identity`
275×	`sqrt-prod`
240×	`add-cube-cbrt`
107×	`difference-of-squares`
51×	`distribute-lft-out--`
46×	`associate-/r*`
12×	`associate-/l*`
11×	`add-exp-log` `add-cbrt-cube`
9×	`div-inv`
8×	`add-log-exp`
4×	`pow1` `cbrt-undiv` `div-exp`
3×	`flip3--` `flip--` `associate-/l/`
2×	`sub-neg` `frac-2neg` `diff-log` `clear-num` `frac-sub`
1×	`div-sub` `associate-/r/`

Counts

4 → 401

Calls

4 calls:

11.0ms	(- (/ (* z 2.0) y) (/ t z))
85.0ms	(- x (/ (sqrt 2.0) (/ (- (/ (* z 2.0) y) (/ t z)) (sqrt 2.0))))
17.0ms	(/ (- (/ (* z 2.0) y) (/ t z)) (sqrt 2.0))
27.0ms	(/ (sqrt 2.0) (/ (- (/ (* z 2.0) y) (/ t z)) (sqrt 2.0)))

series261.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(- (/ (* z 2.0) y) (/ t z))
220.0ms	(- x (/ (sqrt 2.0) (/ (- (/ (* z 2.0) y) (/ t z)) (sqrt 2.0))))
18.0ms	(/ (- (/ (* z 2.0) y) (/ t z)) (sqrt 2.0))
17.0ms	(/ (sqrt 2.0) (/ (- (/ (* z 2.0) y) (/ t z)) (sqrt 2.0)))

simplify1.9min

Counts

413 → 413

Iterations

Useful iterations: 2 (2.0ms)

Iter	Nodes	Cost
0	13	18
1	24	18
2	39	18
3	53	18
4	67	16
5	76	16
6	87	16
7	104	16
8	105	16
done	105	16
0	13	17
1	25	17
2	45	17
3	78	17
4	120	17
5	146	16
6	155	16
7	166	16
8	183	16
9	184	16
done	184	16
0	12	16
1	25	16
2	49	16
3	83	12
4	123	12
5	150	12
6	162	12
7	174	12
8	185	12
9	195	12
10	196	12
11	199	12
12	204	12
13	209	12
done	209	12
0	12	16
1	22	16
2	42	16
3	74	12
4	113	12
5	153	12
6	222	12
7	420	12
8	1072	12
done	5000	12
0	15	47
1	33	39
2	118	17
3	464	17
4	1590	15
done	5002	15
0	15	47
1	38	43
2	115	19
3	420	19
4	1714	13
done	5000	13
0	13	33
1	23	33
2	41	33
3	67	25
4	98	25
5	113	25
done	113	25
0	12	16
1	22	16
2	40	16
3	66	12
4	97	12
5	112	12
done	112	12
0	13	47
1	30	47
2	76	17
3	228	13
4	679	13
5	2459	13
done	5001	13
0	12	16
1	22	16
2	40	16
3	66	12
4	97	12
5	112	12
done	112	12
0	12	16
1	22	16
2	40	16
3	66	12
4	97	12
5	112	12
done	112	12
0	3	3
done	3	3
0	11	13
1	21	13
2	39	13
3	81	13
4	146	12
5	221	12
6	254	12
7	259	12
done	259	12
0	15	35
1	29	35
2	53	35
3	85	35
4	116	35
5	131	35
done	131	35
0	13	17
1	21	17
2	36	17
3	62	17
4	93	17
5	108	17
done	108	17
0	14	21
1	24	21
2	41	21
3	68	21
4	99	21
5	114	21
done	114	21
0	13	17
1	21	17
2	36	17
3	62	17
4	93	17
5	108	17
done	108	17
0	15	37
1	30	37
2	67	37
3	126	31
4	157	27
5	197	27
6	314	27
7	715	27
8	2340	27
done	5000	27
0	13	18
1	20	18
2	30	18
3	33	18
4	34	18
done	34	18
0	18	36
1	30	33
2	55	33
3	102	33
4	149	33
5	169	33
6	174	33
7	175	33
done	175	33
0	15	18
1	22	18
2	32	18
3	36	18
4	39	18
5	41	18
6	42	18
done	42	18
0	16	33
1	27	33
2	52	33
3	99	33
4	144	33
5	163	33
6	168	33
7	169	33
done	169	33
0	14	18
1	21	18
2	31	18
3	35	18
4	38	18
5	40	18
6	41	18
done	41	18
0	17	32
1	30	31
2	55	31
3	101	29
4	152	29
5	179	29
6	181	29
done	181	29
0	13	17
1	20	17
2	30	17
3	34	17
4	37	17
5	39	17
6	40	17
done	40	17
0	16	33
1	27	33
2	52	33
3	99	33
4	144	33
5	163	33
6	168	33
7	169	33
done	169	33
0	14	18
1	21	18
2	31	18
3	35	18
4	38	18
5	40	18
6	41	18
done	41	18
0	16	31
1	29	29
2	59	29
3	137	29
4	169	29
5	191	29
6	193	29
done	193	29
0	13	17
1	20	17
2	30	17
3	34	17
4	37	17
5	39	17
6	40	17
done	40	17
0	14	26
1	25	26
2	45	26
3	63	20
4	76	16
5	100	16
6	154	16
7	329	16
8	922	16
9	3468	16
done	5000	16
0	13	18
1	20	18
2	30	18
3	33	18
4	34	18
done	34	18
0	17	25
1	27	22
2	43	22
3	56	22
4	67	22
5	71	22
6	73	22
7	74	22
done	74	22
0	15	18
1	22	18
2	32	18
3	36	18
4	39	18
5	41	18
6	42	18
done	42	18
0	15	22
1	24	22
2	40	22
3	53	22
4	64	22
5	68	22
6	70	22
7	71	22
done	71	22
0	14	18
1	21	18
2	31	18
3	35	18
4	38	18
5	40	18
6	41	18
done	41	18
0	16	21
1	27	20
2	43	20
3	56	18
4	78	18
5	86	18
6	98	18
done	98	18
0	13	17
1	20	17
2	30	17
3	34	17
4	37	17
5	39	17
6	40	17
done	40	17
0	15	22
1	24	22
2	40	22
3	53	22
4	64	22
5	68	22
6	70	22
7	71	22
done	71	22
0	14	18
1	21	18
2	31	18
3	35	18
4	38	18
5	40	18
6	41	18
done	41	18
0	15	20
1	26	18
2	44	18
3	69	18
4	75	18
5	79	18
6	85	18
7	86	18
done	86	18
0	13	17
1	20	17
2	30	17
3	34	17
4	37	17
5	39	17
6	40	17
done	40	17
0	7	17
1	15	17
2	28	15
3	52	9
4	97	5
5	122	5
6	195	5
7	456	5
8	1371	5
done	5000	5
0	12	17
1	22	17
2	40	17
3	66	17
4	97	17
5	112	17
done	112	17
0	10	16
1	17	13
2	26	11
3	52	11
4	99	11
5	108	11
done	108	11
0	14	17
1	24	17
2	42	17
3	69	17
4	102	17
5	122	17
6	141	17
7	170	17
8	194	17
9	198	17
done	198	17
0	8	13
1	14	13
2	23	11
3	49	11
4	96	11
5	104	11
done	104	11
0	13	17
1	23	17
2	41	17
3	68	17
4	101	17
5	121	17
6	140	17
7	169	17
8	193	17
9	197	17
done	197	17
0	8	12
1	14	11
2	23	9
3	49	7
4	138	7
5	166	7
done	166	7
0	12	16
1	22	16
2	40	16
3	67	16
4	100	16
5	120	16
6	139	16
7	168	16
8	192	16
9	196	16
done	196	16
0	8	13
1	14	13
2	23	11
3	49	11
4	96	11
5	104	11
done	104	11
0	13	17
1	23	17
2	41	17
3	68	17
4	101	17
5	121	17
6	140	17
7	169	17
8	193	17
9	197	17
done	197	17
0	7	11
1	13	9
2	22	7
3	43	7
4	56	7
done	56	7
0	12	16
1	22	16
2	40	16
3	67	16
4	100	16
5	120	16
6	139	16
7	168	16
8	192	16
9	196	16
done	196	16
0	15	27
1	25	27
2	42	27
3	60	21
4	73	17
5	97	17
6	151	17
7	324	17
8	904	17
9	3437	17
done	5000	17
0	14	19
1	24	19
2	34	19
3	39	19
4	40	19
done	40	19
0	18	26
1	27	23
2	40	23
3	53	23
4	64	23
5	68	23
6	70	23
7	71	23
done	71	23
0	16	19
1	26	19
2	36	19
3	42	19
4	45	19
5	50	19
6	53	19
7	55	19
done	55	19
0	16	23
1	24	23
2	37	23
3	50	23
4	61	23
5	65	23
6	67	23
7	68	23
done	68	23
0	15	19
1	25	19
2	35	19
3	41	19
4	44	19
5	49	19
6	52	19
7	54	19
done	54	19
0	17	22
1	27	21
2	40	21
3	53	19
4	75	19
5	83	19
6	95	19
7	96	19
done	96	19
0	14	18
1	24	18
2	34	18
3	40	18
4	43	18
5	48	18
6	51	18
7	53	18
done	53	18
0	16	23
1	24	23
2	37	23
3	50	23
4	61	23
5	65	23
6	67	23
7	68	23
done	68	23
0	15	19
1	25	19
2	35	19
3	41	19
4	44	19
5	49	19
6	52	19
7	54	19
done	54	19
0	16	21
1	26	19
2	41	19
3	66	19
4	73	19
5	77	19
6	83	19
7	85	19
done	85	19
0	14	18
1	24	18
2	34	18
3	40	18
4	43	18
5	48	18
6	51	18
7	53	18
done	53	18
0	16	28
1	26	28
2	43	28
3	61	22
4	74	18
5	98	18
6	154	18
7	329	18
8	919	18
9	3467	18
done	5000	18
0	15	20
1	25	20
2	39	20
3	48	20
4	53	20
done	53	20
0	19	27
1	28	24
2	41	24
3	54	24
4	65	24
5	69	24
6	71	24
7	72	24
done	72	24
0	17	20
1	27	20
2	41	20
3	51	20
4	58	20
5	63	20
6	68	20
7	74	20
8	78	20
done	78	20
0	17	24
1	25	24
2	38	24
3	51	24
4	62	24
5	66	24
6	68	24
7	69	24
done	69	24
0	16	20
1	26	20
2	40	20
3	50	20
4	57	20
5	62	20
6	67	20
7	73	20
8	77	20
done	77	20
0	18	23
1	28	22
2	41	22
3	54	20
4	76	20
5	83	20
6	95	20
7	97	20
done	97	20
0	15	19
1	25	19
2	39	19
3	49	19
4	56	19
5	61	19
6	66	19
7	72	19
8	76	19
done	76	19
0	17	24
1	25	24
2	38	24
3	51	24
4	62	24
5	66	24
6	68	24
7	69	24
done	69	24
0	16	20
1	26	20
2	40	20
3	50	20
4	57	20
5	62	20
6	67	20
7	73	20
8	77	20
done	77	20
0	17	22
1	27	20
2	42	20
3	67	20
4	73	20
5	77	20
6	83	20
7	85	20
done	85	20
0	15	19
1	25	19
2	39	19
3	49	19
4	56	19
5	61	19
6	66	19
7	72	19
8	76	19
done	76	19
0	7	17
1	15	17
2	28	15
3	52	9
4	97	5
5	122	5
6	195	5
7	456	5
8	1371	5
done	5000	5
0	12	17
1	22	17
2	40	17
3	66	17
4	97	17
5	112	17
done	112	17
0	10	16
1	17	13
2	26	11
3	52	11
4	99	11
5	108	11
done	108	11
0	14	17
1	24	17
2	42	17
3	69	17
4	102	17
5	122	17
6	141	17
7	170	17
8	194	17
9	198	17
done	198	17
0	8	13
1	14	13
2	23	11
3	49	11
4	96	11
5	104	11
done	104	11
0	13	17
1	23	17
2	41	17
3	68	17
4	101	17
5	121	17
6	140	17
7	169	17
8	193	17
9	197	17
done	197	17
0	8	12
1	14	11
2	23	9
3	49	7
4	138	7
5	166	7
done	166	7
0	12	16
1	22	16
2	40	16
3	67	16
4	100	16
5	120	16
6	139	16
7	168	16
8	192	16
9	196	16
done	196	16
0	8	13
1	14	13
2	23	11
3	49	11
4	96	11
5	104	11
done	104	11
0	13	17
1	23	17
2	41	17
3	68	17
4	101	17
5	121	17
6	140	17
7	169	17
8	193	17
9	197	17
done	197	17
0	7	11
1	13	9
2	22	7
3	43	7
4	56	7
done	56	7
0	12	16
1	22	16
2	40	16
3	67	16
4	100	16
5	120	16
6	139	16
7	168	16
8	192	16
9	196	16
done	196	16
0	6	9
1	10	7
2	16	7
3	21	7
done	21	7
0	12	16
1	22	16
2	40	16
3	67	16
4	100	16
5	120	16
6	139	16
7	168	16
8	192	16
9	196	16
done	196	16
0	12	17
1	19	17
2	31	17
3	47	17
4	77	17
5	105	17
6	112	17
done	112	17
0	6	8
1	10	8
2	13	6
3	22	6
4	31	6
5	33	6
done	33	6
0	16	34
1	27	31
2	42	31
3	68	31
4	100	31
5	115	31
done	115	31
0	14	17
1	22	17
2	37	17
3	63	17
4	94	17
5	109	17
done	109	17
0	15	20
1	24	17
2	39	17
3	65	17
4	96	17
5	111	17
done	111	17
0	14	17
1	22	17
2	37	17
3	63	17
4	94	17
5	109	17
done	109	17
0	18	36
1	32	33
2	60	33
3	94	33
4	121	33
5	154	33
6	178	33
7	188	33
done	188	33
0	15	18
1	22	18
2	32	18
3	36	18
4	39	18
5	41	18
6	42	18
done	42	18
0	15	35
1	25	29
2	39	29
3	51	27
4	60	27
5	68	27
6	72	27
done	72	27
0	13	18
1	20	18
2	30	18
3	33	13
4	35	13
done	35	13
0	17	32
1	27	29
2	42	29
3	58	29
4	67	29
5	73	29
6	76	29
done	76	29
0	15	18
1	22	18
2	32	18
3	36	18
4	39	18
5	41	18
6	42	18
done	42	18
0	17	31
1	29	27
2	44	27
3	60	25
4	85	25
5	98	25
6	104	25
done	104	25
0	14	17
1	21	17
2	31	17
3	35	17
4	38	17
5	40	17
6	41	17
done	41	17
0	17	32
1	27	29
2	42	29
3	58	29
4	67	29
5	73	29
6	76	29
done	76	29
0	15	18
1	22	18
2	32	18
3	36	18
4	39	18
5	41	18
6	42	18
done	42	18
0	16	30
1	28	25
2	48	25
3	78	25
4	91	25
5	103	25
6	109	25
done	109	25
0	14	17
1	21	17
2	31	17
3	35	17
4	38	17
5	40	17
6	41	17
done	41	17
0	17	25
1	27	22
2	41	22
3	52	22
4	57	22
5	66	22
6	72	22
7	77	22
8	78	22
done	78	22
0	15	18
1	22	18
2	32	18
3	36	18
4	39	18
5	41	18
6	42	18
done	42	18
0	14	24
1	22	18
2	32	18
3	35	16
4	39	16
5	41	16
6	42	16
done	42	16
0	13	18
1	20	18
2	30	18
3	33	13
4	35	13
done	35	13
0	16	21
1	24	18
2	34	18
3	38	18
4	41	18
5	43	18
6	44	18
done	44	18
0	15	18
1	22	18
2	32	18
3	36	18
4	39	18
5	41	18
6	42	18
done	42	18
0	16	20
1	26	16
2	36	16
3	40	14
4	52	14
5	57	14
6	65	14
7	66	14
done	66	14
0	14	17
1	21	17
2	31	17
3	35	17
4	38	17
5	40	17
6	41	17
done	41	17
0	16	21
1	24	18
2	34	18
3	38	18
4	41	18
5	43	18
6	44	18
done	44	18
0	15	18
1	22	18
2	32	18
3	36	18
4	39	18
5	41	18
6	42	18
done	42	18
0	15	19
1	25	14
2	38	14
3	46	14
4	49	14
5	52	14
6	56	14
done	56	14
0	14	17
1	21	17
2	31	17
3	35	17
4	38	17
5	40	17
6	41	17
done	41	17
0	10	16
1	17	13
2	24	11
3	40	11
4	66	11
5	91	11
6	111	11
done	111	11
0	14	17
1	24	17
2	42	17
3	69	17
4	102	17
5	122	17
6	141	17
7	170	17
8	194	17
9	198	17
done	198	17
0	7	15
1	12	9
2	15	7
3	22	5
4	25	5
5	29	5
6	34	5
done	34	5
0	12	17
1	22	17
2	40	17
3	66	12
4	98	12
5	113	12
done	113	12
0	9	12
1	14	9
2	17	7
3	26	7
4	35	7
5	37	7
done	37	7
0	14	17
1	24	17
2	42	17
3	69	17
4	102	17
5	122	17
6	141	17
7	170	17
8	194	17
9	198	17
done	198	17
0	8	11
1	13	7
2	16	5
3	25	3
4	60	3
5	76	3
done	76	3
0	13	16
1	23	16
2	41	16
3	68	16
4	101	16
5	121	16
6	140	16
7	169	16
8	193	16
9	197	16
done	197	16
0	9	12
1	14	9
2	17	7
3	26	7
4	35	7
5	37	7
done	37	7
0	14	17
1	24	17
2	42	17
3	69	17
4	102	17
5	122	17
6	141	17
7	170	17
8	194	17
9	198	17
done	198	17
0	7	10
1	12	5
2	17	3
3	19	3
4	23	3
done	23	3
0	13	16
1	23	16
2	41	16
3	68	16
4	101	16
5	121	16
6	140	16
7	169	16
8	193	16
9	197	16
done	197	16
0	18	26
1	27	23
2	38	23
3	49	23
4	54	23
5	63	23
6	69	23
7	74	23
8	75	23
done	75	23
0	16	19
1	26	19
2	36	19
3	42	19
4	45	19
5	50	19
6	53	19
7	55	19
done	55	19
0	15	25
1	22	19
2	29	19
3	32	17
4	36	17
5	38	17
6	39	17
done	39	17
0	14	19
1	24	19
2	34	19
3	39	14
4	41	14
done	41	14
0	17	22
1	24	19
2	31	19
3	35	19
4	38	19
5	40	19
6	41	19
done	41	19
0	16	19
1	26	19
2	36	19
3	42	19
4	45	19
5	50	19
6	53	19
7	55	19
done	55	19
0	17	21
1	26	17
2	33	17
3	37	15
4	49	15
5	54	15
6	62	15
done	62	15
0	15	18
1	25	18
2	35	18
3	41	18
4	44	18
5	49	18
6	52	18
7	54	18
done	54	18
0	17	22
1	24	19
2	31	19
3	35	19
4	38	19
5	40	19
6	41	19
done	41	19
0	16	19
1	26	19
2	36	19
3	42	19
4	45	19
5	50	19
6	53	19
7	55	19
done	55	19
0	16	20
1	25	15
2	35	15
3	43	15
4	46	15
5	49	15
6	53	15
done	53	15
0	15	18
1	25	18
2	35	18
3	41	18
4	44	18
5	49	18
6	52	18
7	54	18
done	54	18
0	19	27
1	28	24
2	39	24
3	50	24
4	55	24
5	64	24
6	70	24
7	75	24
done	75	24
0	17	20
1	27	20
2	41	20
3	51	20
4	58	20
5	63	20
6	68	20
7	74	20
8	78	20
done	78	20
0	16	26
1	23	20
2	30	20
3	33	18
4	37	18
5	39	18
6	40	18
done	40	18
0	15	20
1	25	20
2	39	20
3	48	15
4	54	15
done	54	15
0	18	23
1	25	20
2	32	20
3	36	20
4	39	20
5	41	20
6	42	20
done	42	20
0	17	20
1	27	20
2	41	20
3	51	20
4	58	20
5	63	20
6	68	20
7	74	20
8	78	20
done	78	20
0	18	22
1	27	18
2	34	18
3	38	16
4	50	16
5	55	16
6	63	16
done	63	16
0	16	19
1	26	19
2	40	19
3	50	19
4	57	19
5	62	19
6	67	19
7	73	19
8	77	19
done	77	19
0	18	23
1	25	20
2	32	20
3	36	20
4	39	20
5	41	20
6	42	20
done	42	20
0	17	20
1	27	20
2	41	20
3	51	20
4	58	20
5	63	20
6	68	20
7	74	20
8	78	20
done	78	20
0	17	21
1	26	16
2	36	16
3	44	16
4	47	16
5	50	16
6	54	16
7	55	16
done	55	16
0	16	19
1	26	19
2	40	19
3	50	19
4	57	19
5	62	19
6	67	19
7	73	19
8	77	19
done	77	19
0	10	16
1	17	13
2	24	11
3	40	11
4	66	11
5	91	11
6	111	11
done	111	11
0	14	17
1	24	17
2	42	17
3	69	17
4	102	17
5	122	17
6	141	17
7	170	17
8	194	17
9	198	17
done	198	17
0	7	15
1	12	9
2	15	7
3	22	5
4	25	5
5	29	5
6	34	5
done	34	5
0	12	17
1	22	17
2	40	17
3	66	12
4	98	12
5	113	12
done	113	12
0	9	12
1	14	9
2	17	7
3	26	7
4	35	7
5	37	7
done	37	7
0	14	17
1	24	17
2	42	17
3	69	17
4	102	17
5	122	17
6	141	17
7	170	17
8	194	17
9	198	17
done	198	17
0	8	11
1	13	7
2	16	5
3	25	3
4	60	3
5	76	3
done	76	3
0	13	16
1	23	16
2	41	16
3	68	16
4	101	16
5	121	16
6	140	16
7	169	16
8	193	16
9	197	16
done	197	16
0	9	12
1	14	9
2	17	7
3	26	7
4	35	7
5	37	7
done	37	7
0	14	17
1	24	17
2	42	17
3	69	17
4	102	17
5	122	17
6	141	17
7	170	17
8	194	17
9	198	17
done	198	17
0	7	10
1	12	5
2	17	3
3	19	3
4	23	3
done	23	3
0	13	16
1	23	16
2	41	16
3	68	16
4	101	16
5	121	16
6	140	16
7	169	16
8	193	16
9	197	16
done	197	16
0	6	8
1	9	3
2	11	3
done	11	3
0	13	16
1	23	16
2	41	16
3	68	16
4	101	16
5	121	16
6	140	16
7	169	16
8	193	16
9	197	16
done	197	16
0	12	16
1	18	13
2	25	13
3	28	13
4	29	13
done	29	13
0	7	8
1	11	8
2	14	6
3	23	6
4	32	6
5	34	6
done	34	6
0	14	31
1	24	31
2	39	31
3	65	31
4	97	31
5	112	31
done	112	31
0	13	17
1	21	17
2	36	17
3	62	17
4	93	17
5	108	17
done	108	17
0	13	17
1	21	17
2	36	17
3	62	17
4	93	17
5	108	17
done	108	17
0	13	17
1	21	17
2	36	17
3	62	17
4	93	17
5	108	17
done	108	17
0	16	33
1	29	33
2	57	33
3	89	33
4	116	33
5	147	33
6	171	33
7	181	33
8	182	33
done	182	33
0	14	18
1	21	18
2	31	18
3	35	18
4	38	18
5	40	18
6	41	18
done	41	18
0	17	32
1	27	29
2	42	29
3	58	29
4	67	29
5	73	29
6	76	29
done	76	29
0	15	18
1	22	18
2	32	18
3	36	18
4	39	18
5	41	18
6	42	18
done	42	18
0	14	29
1	23	29
2	37	29
3	49	24
4	52	24
done	52	24
0	13	18
1	20	18
2	30	18
3	33	13
4	35	13
done	35	13
0	16	28
1	27	27
2	42	27
3	58	25
4	83	25
5	97	25
6	103	25
done	103	25
0	13	17
1	20	17
2	30	17
3	34	17
4	37	17
5	39	17
6	40	17
done	40	17
0	14	29
1	23	29
2	37	29
3	49	24
4	52	24
done	52	24
0	13	18
1	20	18
2	30	18
3	33	13
4	35	13
done	35	13
0	15	27
1	26	25
2	46	25
3	76	25
4	87	25
5	99	25
6	105	25
done	105	25
0	13	17
1	20	17
2	30	17
3	34	17
4	37	17
5	39	17
6	40	17
done	40	17
0	15	22
1	24	22
2	38	22
3	49	22
4	54	22
5	63	22
6	69	22
7	74	22
8	75	22
done	75	22
0	14	18
1	21	18
2	31	18
3	35	18
4	38	18
5	40	18
6	41	18
done	41	18
0	16	21
1	24	18
2	34	18
3	38	18
4	41	18
5	43	18
6	44	18
done	44	18
0	15	18
1	22	18
2	32	18
3	36	18
4	39	18
5	41	18
6	42	18
done	42	18
0	13	18
1	20	18
2	30	18
3	33	13
4	35	13
done	35	13
0	13	18
1	20	18
2	30	18
3	33	13
4	35	13
done	35	13
0	15	17
1	24	16
2	34	16
3	38	14
4	50	14
5	55	14
6	63	14
done	63	14
0	13	17
1	20	17
2	30	17
3	34	17
4	37	17
5	39	17
6	40	17
done	40	17
0	13	18
1	20	18
2	30	18
3	33	13
4	35	13
done	35	13
0	13	18
1	20	18
2	30	18
3	33	13
4	35	13
done	35	13
0	14	16
1	23	14
2	36	14
3	44	14
4	47	14
5	50	14
6	54	14
done	54	14
0	13	17
1	20	17
2	30	17
3	34	17
4	37	17
5	39	17
6	40	17
done	40	17
0	8	13
1	14	13
2	21	11
3	37	11
4	63	11
5	86	11
6	106	11
done	106	11
0	13	17
1	23	17
2	41	17
3	68	17
4	101	17
5	121	17
6	140	17
7	169	17
8	193	17
9	197	17
done	197	17
0	9	12
1	14	9
2	17	7
3	26	7
4	35	7
5	37	7
done	37	7
0	14	17
1	24	17
2	42	17
3	69	17
4	102	17
5	122	17
6	141	17
7	170	17
8	194	17
9	198	17
done	198	17
0	6	9
1	10	9
2	13	7
3	17	2
4	19	2
done	19	2
0	12	17
1	22	17
2	40	17
3	66	12
4	98	12
5	113	12
done	113	12
0	7	8
1	11	7
2	14	5
3	23	3
4	58	3
done	58	3
0	12	16
1	22	16
2	40	16
3	67	16
4	100	16
5	120	16
6	139	16
7	168	16
8	192	16
9	196	16
done	196	16
0	6	9
1	10	9
2	13	7
3	17	2
4	19	2
done	19	2
0	12	17
1	22	17
2	40	17
3	66	12
4	98	12
5	113	12
done	113	12
0	6	7
1	10	5
2	15	3
3	17	3
4	21	3
done	21	3
0	12	16
1	22	16
2	40	16
3	67	16
4	100	16
5	120	16
6	139	16
7	168	16
8	192	16
9	196	16
done	196	16
0	16	23
1	24	23
2	35	23
3	46	23
4	51	23
5	60	23
6	66	23
7	71	23
done	71	23
0	15	19
1	25	19
2	35	19
3	41	19
4	44	19
5	49	19
6	52	19
7	54	19
done	54	19
0	17	22
1	24	19
2	31	19
3	35	19
4	38	19
5	40	19
6	41	19
done	41	19
0	16	19
1	26	19
2	36	19
3	42	19
4	45	19
5	50	19
6	53	19
7	55	19
done	55	19
0	14	19
1	20	19
2	27	19
3	30	14
4	32	14
done	32	14
0	14	19
1	24	19
2	34	19
3	39	14
4	41	14
done	41	14
0	16	18
1	24	17
2	31	17
3	35	15
4	47	15
5	52	15
6	60	15
7	61	15
done	61	15
0	14	18
1	24	18
2	34	18
3	40	18
4	43	18
5	48	18
6	51	18
7	53	18
done	53	18
0	14	19
1	20	19
2	27	19
3	30	14
4	32	14
done	32	14
0	14	19
1	24	19
2	34	19
3	39	14
4	41	14
done	41	14
0	15	17
1	23	15
2	33	15
3	41	15
4	44	15
5	47	15
6	51	15
done	51	15
0	14	18
1	24	18
2	34	18
3	40	18
4	43	18
5	48	18
6	51	18
7	53	18
done	53	18
0	17	24
1	25	24
2	36	24
3	47	24
4	52	24
5	61	24
6	67	24
7	72	24
8	73	24
done	73	24
0	16	20
1	26	20
2	40	20
3	50	20
4	57	20
5	62	20
6	67	20
7	73	20
8	77	20
done	77	20
0	18	23
1	25	20
2	32	20
3	36	20
4	39	20
5	41	20
6	42	20
done	42	20
0	17	20
1	27	20
2	41	20
3	51	20
4	58	20
5	63	20
6	68	20
7	74	20
8	78	20
done	78	20
0	15	20
1	21	20
2	28	20
3	31	15
4	33	15
done	33	15
0	15	20
1	25	20
2	39	20
3	48	15
4	54	15
done	54	15
0	17	19
1	25	18
2	32	18
3	36	16
4	48	16
5	53	16
6	61	16
done	61	16
0	15	19
1	25	19
2	39	19
3	49	19
4	56	19
5	61	19
6	66	19
7	72	19
8	76	19
done	76	19
0	15	20
1	21	20
2	28	20
3	31	15
4	33	15
done	33	15
0	15	20
1	25	20
2	39	20
3	48	15
4	54	15
done	54	15
0	16	18
1	24	16
2	34	16
3	42	16
4	45	16
5	48	16
6	52	16
done	52	16
0	15	19
1	25	19
2	39	19
3	49	19
4	56	19
5	61	19
6	66	19
7	72	19
8	76	19
done	76	19
0	8	13
1	14	13
2	21	11
3	37	11
4	63	11
5	86	11
6	106	11
done	106	11
0	13	17
1	23	17
2	41	17
3	68	17
4	101	17
5	121	17
6	140	17
7	169	17
8	193	17
9	197	17
done	197	17
0	9	12
1	14	9
2	17	7
3	26	7
4	35	7
5	37	7
done	37	7
0	14	17
1	24	17
2	42	17
3	69	17
4	102	17
5	122	17
6	141	17
7	170	17
8	194	17
9	198	17
done	198	17
0	6	9
1	10	9
2	13	7
3	17	2
4	19	2
done	19	2
0	12	17
1	22	17
2	40	17
3	66	12
4	98	12
5	113	12
done	113	12
0	7	8
1	11	7
2	14	5
3	23	3
4	58	3
done	58	3
0	12	16
1	22	16
2	40	16
3	67	16
4	100	16
5	120	16
6	139	16
7	168	16
8	192	16
9	196	16
done	196	16
0	6	9
1	10	9
2	13	7
3	17	2
4	19	2
done	19	2
0	12	17
1	22	17
2	40	17
3	66	12
4	98	12
5	113	12
done	113	12
0	6	7
1	10	5
2	15	3
3	17	3
4	21	3
done	21	3
0	12	16
1	22	16
2	40	16
3	67	16
4	100	16
5	120	16
6	139	16
7	168	16
8	192	16
9	196	16
done	196	16
0	5	5
1	7	3
2	9	3
done	9	3
0	12	16
1	22	16
2	40	16
3	67	16
4	100	16
5	120	16
6	139	16
7	168	16
8	192	16
9	196	16
done	196	16
0	11	13
1	16	13
2	23	13
3	26	13
4	27	13
done	27	13
0	6	8
1	10	8
2	13	6
3	22	6
4	31	6
5	33	6
done	33	6
0	15	30
1	27	29
2	42	29
3	68	29
4	100	29
5	115	29
done	115	29
0	12	16
1	20	16
2	35	16
3	61	16
4	93	16
5	108	16
done	108	16
0	14	16
1	24	15
2	39	15
3	65	15
4	96	15
5	111	15
done	111	15
0	12	16
1	20	16
2	35	16
3	61	16
4	93	16
5	108	16
done	108	16
0	17	32
1	32	31
2	60	31
3	94	29
4	155	29
5	227	29
done	227	29
0	13	17
1	20	17
2	30	17
3	34	17
4	37	17
5	39	17
6	40	17
done	40	17
0	17	31
1	29	27
2	44	27
3	60	25
4	88	25
5	127	25
done	127	25
0	14	17
1	21	17
2	31	17
3	35	17
4	38	17
5	40	17
6	41	17
done	41	17
0	16	28
1	27	27
2	42	27
3	58	25
4	86	25
5	123	25
done	123	25
0	13	17
1	20	17
2	30	17
3	34	17
4	37	17
5	39	17
6	40	17
done	40	17
0	14	27
1	25	25
2	39	23
3	51	23
4	53	23
done	53	23
0	12	16
1	19	16
2	29	16
3	32	12
4	33	12
done	33	12
0	16	28
1	27	27
2	42	27
3	58	25
4	86	25
5	123	25
done	123	25
0	13	17
1	20	17
2	30	17
3	34	17
4	37	17
5	39	17
6	40	17
done	40	17
0	14	26
1	25	23
2	43	23
3	55	23
4	56	23
done	56	23
0	12	16
1	19	16
2	29	16
3	32	12
4	33	12
done	33	12
0	16	21
1	27	20
2	41	20
3	52	18
4	77	18
5	94	18
done	94	18
0	13	17
1	20	17
2	30	17
3	34	17
4	37	17
5	39	17
6	40	17
done	40	17
0	16	20
1	26	16
2	36	16
3	40	14
4	54	14
5	59	14
done	59	14
0	14	17
1	21	17
2	31	17
3	35	17
4	38	17
5	40	17
6	41	17
done	41	17
0	15	17
1	24	16
2	34	16
3	38	14
4	52	14
5	57	14
done	57	14
0	13	17
1	20	17
2	30	17
3	34	17
4	37	17
5	39	17
6	40	17
done	40	17
0	13	16
1	22	14
2	32	12
3	35	12
4	36	12
done	36	12
0	12	16
1	19	16
2	29	16
3	32	12
4	33	12
done	33	12
0	15	17
1	24	16
2	34	16
3	38	14
4	52	14
5	57	14
done	57	14
0	13	17
1	20	17
2	30	17
3	34	17
4	37	17
5	39	17
6	40	17
done	40	17
0	13	15
1	22	12
2	34	12
3	37	12
4	38	12
done	38	12
0	12	16
1	19	16
2	29	16
3	32	12
4	33	12
done	33	12
0	8	12
1	14	11
2	21	9
3	30	7
4	43	7
5	45	7
done	45	7
0	12	16
1	22	16
2	40	16
3	67	16
4	100	16
5	120	16
6	139	16
7	168	16
8	192	16
9	196	16
done	196	16
0	8	11
1	13	7
2	16	5
3	21	3
4	25	3
done	25	3
0	13	16
1	23	16
2	41	16
3	68	16
4	101	16
5	121	16
6	140	16
7	169	16
8	193	16
9	197	16
done	197	16
0	7	8
1	11	7
2	14	5
3	19	3
4	23	3
done	23	3
0	12	16
1	22	16
2	40	16
3	67	16
4	100	16
5	120	16
6	139	16
7	168	16
8	192	16
9	196	16
done	196	16
0	4	7
1	8	5
2	11	1
done	11	1
0	11	15
1	21	15
2	39	15
3	65	11
4	96	11
5	111	11
done	111	11
0	7	8
1	11	7
2	14	5
3	19	3
4	23	3
done	23	3
0	12	16
1	22	16
2	40	16
3	67	16
4	100	16
5	120	16
6	139	16
7	168	16
8	192	16
9	196	16
done	196	16
0	4	6
1	8	1
done	8	1
0	11	15
1	21	15
2	39	15
3	65	11
4	96	11
5	111	11
done	111	11
0	17	22
1	27	21
2	38	21
3	49	19
4	74	19
5	93	19
done	93	19
0	14	18
1	24	18
2	34	18
3	40	18
4	43	18
5	48	18
6	51	18
7	53	18
done	53	18
0	17	21
1	26	17
2	33	17
3	37	15
4	51	15
5	56	15
done	56	15
0	15	18
1	25	18
2	35	18
3	41	18
4	44	18
5	49	18
6	52	18
7	54	18
done	54	18
0	16	18
1	24	17
2	31	17
3	35	15
4	49	15
5	54	15
done	54	15
0	14	18
1	24	18
2	34	18
3	40	18
4	43	18
5	48	18
6	51	18
7	53	18
done	53	18
0	14	17
1	22	15
2	29	13
3	32	13
4	33	13
done	33	13
0	13	17
1	23	17
2	33	17
3	38	13
4	39	13
done	39	13
0	16	18
1	24	17
2	31	17
3	35	15
4	49	15
5	54	15
done	54	15
0	14	18
1	24	18
2	34	18
3	40	18
4	43	18
5	48	18
6	51	18
7	53	18
done	53	18
0	14	16
1	22	13
2	31	13
3	34	13
4	35	13
done	35	13
0	13	17
1	23	17
2	33	17
3	38	13
4	39	13
done	39	13
0	18	23
1	28	22
2	39	22
3	50	20
4	75	20
5	94	20
done	94	20
0	15	19
1	25	19
2	39	19
3	49	19
4	56	19
5	61	19
6	66	19
7	72	19
8	76	19
done	76	19
0	18	22
1	27	18
2	34	18
3	38	16
4	52	16
5	57	16
done	57	16
0	16	19
1	26	19
2	40	19
3	50	19
4	57	19
5	62	19
6	67	19
7	73	19
8	77	19
done	77	19
0	17	19
1	25	18
2	32	18
3	36	16
4	50	16
5	55	16
done	55	16
0	15	19
1	25	19
2	39	19
3	49	19
4	56	19
5	61	19
6	66	19
7	72	19
8	76	19
done	76	19
0	15	18
1	23	16
2	30	14
3	33	14
4	34	14
done	34	14
0	14	18
1	24	18
2	38	18
3	47	14
4	52	14
done	52	14
0	17	19
1	25	18
2	32	18
3	36	16
4	50	16
5	55	16
done	55	16
0	15	19
1	25	19
2	39	19
3	49	19
4	56	19
5	61	19
6	66	19
7	72	19
8	76	19
done	76	19
0	15	17
1	23	14
2	32	14
3	35	14
4	36	14
done	36	14
0	14	18
1	24	18
2	38	18
3	47	14
4	52	14
done	52	14
0	8	12
1	14	11
2	21	9
3	30	7
4	43	7
5	45	7
done	45	7
0	12	16
1	22	16
2	40	16
3	67	16
4	100	16
5	120	16
6	139	16
7	168	16
8	192	16
9	196	16
done	196	16
0	8	11
1	13	7
2	16	5
3	21	3
4	25	3
done	25	3
0	13	16
1	23	16
2	41	16
3	68	16
4	101	16
5	121	16
6	140	16
7	169	16
8	193	16
9	197	16
done	197	16
0	7	8
1	11	7
2	14	5
3	19	3
4	23	3
done	23	3
0	12	16
1	22	16
2	40	16
3	67	16
4	100	16
5	120	16
6	139	16
7	168	16
8	192	16
9	196	16
done	196	16
0	4	7
1	8	5
2	11	1
done	11	1
0	11	15
1	21	15
2	39	15
3	65	11
4	96	11
5	111	11
done	111	11
0	7	8
1	11	7
2	14	5
3	19	3
4	23	3
done	23	3
0	12	16
1	22	16
2	40	16
3	67	16
4	100	16
5	120	16
6	139	16
7	168	16
8	192	16
9	196	16
done	196	16
0	4	6
1	8	1
done	8	1
0	11	15
1	21	15
2	39	15
3	65	11
4	96	11
5	111	11
done	111	11
0	3	4
1	5	1
done	5	1
0	11	15
1	21	15
2	39	15
3	65	11
4	96	11
5	111	11
done	111	11
0	11	12
1	18	11
2	25	11
3	28	11
4	29	11
done	29	11
0	5	7
1	9	7
2	12	5
3	16	1
4	17	1
done	17	1
0	14	31
1	24	31
2	39	31
3	65	31
4	97	31
5	112	31
done	112	31
0	13	17
1	21	17
2	36	17
3	62	17
4	93	17
5	108	17
done	108	17
0	13	17
1	21	17
2	36	17
3	62	17
4	93	17
5	108	17
done	108	17
0	13	17
1	21	17
2	36	17
3	62	17
4	93	17
5	108	17
done	108	17
0	16	33
1	29	33
2	57	33
3	89	33
4	116	33
5	147	33
6	171	33
7	181	33
8	182	33
done	182	33
0	14	18
1	21	18
2	31	18
3	35	18
4	38	18
5	40	18
6	41	18
done	41	18
0	17	32
1	27	29
2	42	29
3	58	29
4	67	29
5	73	29
6	76	29
done	76	29
0	15	18
1	22	18
2	32	18
3	36	18
4	39	18
5	41	18
6	42	18
done	42	18
0	14	29
1	23	29
2	37	29
3	49	24
4	52	24
done	52	24
0	13	18
1	20	18
2	30	18
3	33	13
4	35	13
done	35	13
0	16	28
1	27	27
2	42	27
3	58	25
4	83	25
5	97	25
6	103	25
done	103	25
0	13	17
1	20	17
2	30	17
3	34	17
4	37	17
5	39	17
6	40	17
done	40	17
0	14	29
1	23	29
2	37	29
3	49	24
4	52	24
done	52	24
0	13	18
1	20	18
2	30	18
3	33	13
4	35	13
done	35	13
0	15	27
1	26	25
2	46	25
3	76	25
4	87	25
5	99	25
6	105	25
done	105	25
0	13	17
1	20	17
2	30	17
3	34	17
4	37	17
5	39	17
6	40	17
done	40	17
0	15	22
1	24	22
2	38	22
3	49	22
4	54	22
5	63	22
6	69	22
7	74	22
8	75	22
done	75	22
0	14	18
1	21	18
2	31	18
3	35	18
4	38	18
5	40	18
6	41	18
done	41	18
0	16	21
1	24	18
2	34	18
3	38	18
4	41	18
5	43	18
6	44	18
done	44	18
0	15	18
1	22	18
2	32	18
3	36	18
4	39	18
5	41	18
6	42	18
done	42	18
0	13	18
1	20	18
2	30	18
3	33	13
4	35	13
done	35	13
0	13	18
1	20	18
2	30	18
3	33	13
4	35	13
done	35	13
0	15	17
1	24	16
2	34	16
3	38	14
4	50	14
5	55	14
6	63	14
done	63	14
0	13	17
1	20	17
2	30	17
3	34	17
4	37	17
5	39	17
6	40	17
done	40	17
0	13	18
1	20	18
2	30	18
3	33	13
4	35	13
done	35	13
0	13	18
1	20	18
2	30	18
3	33	13
4	35	13
done	35	13
0	14	16
1	23	14
2	36	14
3	44	14
4	47	14
5	50	14
6	54	14
done	54	14
0	13	17
1	20	17
2	30	17
3	34	17
4	37	17
5	39	17
6	40	17
done	40	17
0	8	13
1	14	13
2	21	11
3	37	11
4	63	11
5	86	11
6	106	11
done	106	11
0	13	17
1	23	17
2	41	17
3	68	17
4	101	17
5	121	17
6	140	17
7	169	17
8	193	17
9	197	17
done	197	17
0	9	12
1	14	9
2	17	7
3	26	7
4	35	7
5	37	7
done	37	7
0	14	17
1	24	17
2	42	17
3	69	17
4	102	17
5	122	17
6	141	17
7	170	17
8	194	17
9	198	17
done	198	17
0	6	9
1	10	9
2	13	7
3	17	2
4	19	2
done	19	2
0	12	17
1	22	17
2	40	17
3	66	12
4	98	12
5	113	12
done	113	12
0	7	8
1	11	7
2	14	5
3	23	3
4	58	3
done	58	3
0	12	16
1	22	16
2	40	16
3	67	16
4	100	16
5	120	16
6	139	16
7	168	16
8	192	16
9	196	16
done	196	16
0	6	9
1	10	9
2	13	7
3	17	2
4	19	2
done	19	2
0	12	17
1	22	17
2	40	17
3	66	12
4	98	12
5	113	12
done	113	12
0	6	7
1	10	5
2	15	3
3	17	3
4	21	3
done	21	3
0	12	16
1	22	16
2	40	16
3	67	16
4	100	16
5	120	16
6	139	16
7	168	16
8	192	16
9	196	16
done	196	16
0	16	23
1	24	23
2	35	23
3	46	23
4	51	23
5	60	23
6	66	23
7	71	23
done	71	23
0	15	19
1	25	19
2	35	19
3	41	19
4	44	19
5	49	19
6	52	19
7	54	19
done	54	19
0	17	22
1	24	19
2	31	19
3	35	19
4	38	19
5	40	19
6	41	19
done	41	19
0	16	19
1	26	19
2	36	19
3	42	19
4	45	19
5	50	19
6	53	19
7	55	19
done	55	19
0	14	19
1	20	19
2	27	19
3	30	14
4	32	14
done	32	14
0	14	19
1	24	19
2	34	19
3	39	14
4	41	14
done	41	14
0	16	18
1	24	17
2	31	17
3	35	15
4	47	15
5	52	15
6	60	15
7	61	15
done	61	15
0	14	18
1	24	18
2	34	18
3	40	18
4	43	18
5	48	18
6	51	18
7	53	18
done	53	18
0	14	19
1	20	19
2	27	19
3	30	14
4	32	14
done	32	14
0	14	19
1	24	19
2	34	19
3	39	14
4	41	14
done	41	14
0	15	17
1	23	15
2	33	15
3	41	15
4	44	15
5	47	15
6	51	15
done	51	15
0	14	18
1	24	18
2	34	18
3	40	18
4	43	18
5	48	18
6	51	18
7	53	18
done	53	18
0	17	24
1	25	24
2	36	24
3	47	24
4	52	24
5	61	24
6	67	24
7	72	24
8	73	24
done	73	24
0	16	20
1	26	20
2	40	20
3	50	20
4	57	20
5	62	20
6	67	20
7	73	20
8	77	20
done	77	20
0	18	23
1	25	20
2	32	20
3	36	20
4	39	20
5	41	20
6	42	20
done	42	20
0	17	20
1	27	20
2	41	20
3	51	20
4	58	20
5	63	20
6	68	20
7	74	20
8	78	20
done	78	20
0	15	20
1	21	20
2	28	20
3	31	15
4	33	15
done	33	15
0	15	20
1	25	20
2	39	20
3	48	15
4	54	15
done	54	15
0	17	19
1	25	18
2	32	18
3	36	16
4	48	16
5	53	16
6	61	16
done	61	16
0	15	19
1	25	19
2	39	19
3	49	19
4	56	19
5	61	19
6	66	19
7	72	19
8	76	19
done	76	19
0	15	20
1	21	20
2	28	20
3	31	15
4	33	15
done	33	15
0	15	20
1	25	20
2	39	20
3	48	15
4	54	15
done	54	15
0	16	18
1	24	16
2	34	16
3	42	16
4	45	16
5	48	16
6	52	16
done	52	16
0	15	19
1	25	19
2	39	19
3	49	19
4	56	19
5	61	19
6	66	19
7	72	19
8	76	19
done	76	19
0	8	13
1	14	13
2	21	11
3	37	11
4	63	11
5	86	11
6	106	11
done	106	11
0	13	17
1	23	17
2	41	17
3	68	17
4	101	17
5	121	17
6	140	17
7	169	17
8	193	17
9	197	17
done	197	17
0	9	12
1	14	9
2	17	7
3	26	7
4	35	7
5	37	7
done	37	7
0	14	17
1	24	17
2	42	17
3	69	17
4	102	17
5	122	17
6	141	17
7	170	17
8	194	17
9	198	17
done	198	17
0	6	9
1	10	9
2	13	7
3	17	2
4	19	2
done	19	2
0	12	17
1	22	17
2	40	17
3	66	12
4	98	12
5	113	12
done	113	12
0	7	8
1	11	7
2	14	5
3	23	3
4	58	3
done	58	3
0	12	16
1	22	16
2	40	16
3	67	16
4	100	16
5	120	16
6	139	16
7	168	16
8	192	16
9	196	16
done	196	16
0	6	9
1	10	9
2	13	7
3	17	2
4	19	2
done	19	2
0	12	17
1	22	17
2	40	17
3	66	12
4	98	12
5	113	12
done	113	12
0	6	7
1	10	5
2	15	3
3	17	3
4	21	3
done	21	3
0	12	16
1	22	16
2	40	16
3	67	16
4	100	16
5	120	16
6	139	16
7	168	16
8	192	16
9	196	16
done	196	16
0	5	5
1	7	3
2	9	3
done	9	3
0	12	16
1	22	16
2	40	16
3	67	16
4	100	16
5	120	16
6	139	16
7	168	16
8	192	16
9	196	16
done	196	16
0	11	13
1	16	13
2	23	13
3	26	13
4	27	13
done	27	13
0	6	8
1	10	8
2	13	6
3	22	6
4	31	6
5	33	6
done	33	6
0	14	29
1	26	29
2	41	29
3	67	29
4	98	29
5	113	29
done	113	29
0	12	16
1	20	16
2	35	16
3	61	16
4	93	16
5	108	16
done	108	16
0	13	15
1	23	15
2	38	15
3	64	15
4	95	15
5	110	15
done	110	15
0	12	16
1	20	16
2	35	16
3	61	16
4	93	16
5	108	16
done	108	16
0	16	31
1	31	31
2	59	31
3	91	29
4	152	29
5	213	29
done	213	29
0	13	17
1	20	17
2	30	17
3	34	17
4	37	17
5	39	17
6	40	17
done	40	17
0	16	30
1	28	27
2	43	27
3	59	25
4	87	25
5	126	25
done	126	25
0	14	17
1	21	17
2	31	17
3	35	17
4	38	17
5	40	17
6	41	17
done	41	17
0	15	27
1	26	27
2	41	27
3	57	25
4	85	25
5	124	25
done	124	25
0	13	17
1	20	17
2	30	17
3	34	17
4	37	17
5	39	17
6	40	17
done	40	17
0	14	26
1	25	25
2	39	23
3	51	23
4	53	23
done	53	23
0	12	16
1	19	16
2	29	16
3	32	12
4	33	12
done	33	12
0	15	27
1	26	27
2	41	27
3	57	25
4	85	25
5	124	25
done	124	25
0	13	17
1	20	17
2	30	17
3	34	17
4	37	17
5	39	17
6	40	17
done	40	17
0	13	25
1	24	23
2	42	23
3	54	23
4	55	23
done	55	23
0	12	16
1	19	16
2	29	16
3	32	12
4	33	12
done	33	12
0	15	20
1	26	20
2	40	20
3	51	18
4	76	18
5	95	18
done	95	18
0	13	17
1	20	17
2	30	17
3	34	17
4	37	17
5	39	17
6	40	17
done	40	17
0	15	19
1	25	16
2	35	16
3	39	14
4	53	14
5	58	14
done	58	14
0	14	17
1	21	17
2	31	17
3	35	17
4	38	17
5	40	17
6	41	17
done	41	17
0	14	16
1	23	16
2	33	16
3	37	14
4	51	14
5	58	14
done	58	14
0	13	17
1	20	17
2	30	17
3	34	17
4	37	17
5	39	17
6	40	17
done	40	17
0	13	15
1	22	14
2	32	12
3	35	12
4	36	12
done	36	12
0	12	16
1	19	16
2	29	16
3	32	12
4	33	12
done	33	12
0	14	16
1	23	16
2	33	16
3	37	14
4	51	14
5	58	14
done	58	14
0	13	17
1	20	17
2	30	17
3	34	17
4	37	17
5	39	17
6	40	17
done	40	17
0	12	14
1	21	12
2	33	12
3	36	12
4	37	12
done	37	12
0	12	16
1	19	16
2	29	16
3	32	12
4	33	12
done	33	12
0	7	11
1	13	7
2	22	7
3	35	7
4	47	7
5	48	7
done	48	7
0	12	16
1	22	16
2	40	16
3	67	16
4	100	16
5	120	16
6	139	16
7	168	16
8	192	16
9	196	16
done	196	16
0	7	10
1	12	3
2	17	3
3	19	3
4	20	3
done	20	3
0	13	16
1	23	16
2	41	16
3	68	16
4	101	16
5	121	16
6	140	16
7	169	16
8	193	16
9	197	16
done	197	16
0	6	7
1	10	3
2	15	3
3	17	3
4	18	3
done	18	3
0	12	16
1	22	16
2	40	16
3	67	16
4	100	16
5	120	16
6	139	16
7	168	16
8	192	16
9	196	16
done	196	16
0	4	6
1	8	1
done	8	1
0	11	15
1	21	15
2	39	15
3	65	11
4	96	11
5	111	11
done	111	11
0	6	7
1	10	3
2	15	3
3	17	3
4	18	3
done	18	3
0	12	16
1	22	16
2	40	16
3	67	16
4	100	16
5	120	16
6	139	16
7	168	16
8	192	16
9	196	16
done	196	16
0	3	5
1	6	1
done	6	1
0	11	15
1	21	15
2	39	15
3	65	11
4	96	11
5	111	11
done	111	11
0	16	21
1	26	21
2	37	21
3	48	19
4	73	19
5	90	19
done	90	19
0	14	18
1	24	18
2	34	18
3	40	18
4	43	18
5	48	18
6	51	18
7	53	18
done	53	18
0	16	20
1	25	17
2	32	17
3	36	15
4	50	15
5	55	15
done	55	15
0	15	18
1	25	18
2	35	18
3	41	18
4	44	18
5	49	18
6	52	18
7	54	18
done	54	18
0	15	17
1	23	17
2	30	17
3	34	15
4	48	15
5	53	15
done	53	15
0	14	18
1	24	18
2	34	18
3	40	18
4	43	18
5	48	18
6	51	18
7	53	18
done	53	18
0	14	16
1	22	15
2	29	13
3	32	13
4	33	13
done	33	13
0	13	17
1	23	17
2	33	17
3	38	13
4	39	13
done	39	13
0	15	17
1	23	17
2	30	17
3	34	15
4	48	15
5	53	15
done	53	15
0	14	18
1	24	18
2	34	18
3	40	18
4	43	18
5	48	18
6	51	18
7	53	18
done	53	18
0	13	15
1	21	13
2	30	13
3	33	13
4	34	13
done	34	13
0	13	17
1	23	17
2	33	17
3	38	13
4	39	13
done	39	13
0	17	22
1	27	22
2	38	22
3	49	20
4	74	20
5	93	20
done	93	20
0	15	19
1	25	19
2	39	19
3	49	19
4	56	19
5	61	19
6	66	19
7	72	19
8	76	19
done	76	19
0	17	21
1	26	18
2	33	18
3	37	16
4	51	16
5	56	16
done	56	16
0	16	19
1	26	19
2	40	19
3	50	19
4	57	19
5	62	19
6	67	19
7	73	19
8	77	19
done	77	19
0	16	18
1	24	18
2	31	18
3	35	16
4	49	16
5	54	16
done	54	16
0	15	19
1	25	19
2	39	19
3	49	19
4	56	19
5	61	19
6	66	19
7	72	19
8	76	19
done	76	19
0	15	17
1	23	16
2	30	14
3	33	14
4	34	14
done	34	14
0	14	18
1	24	18
2	38	18
3	47	14
4	52	14
done	52	14
0	16	18
1	24	18
2	31	18
3	35	16
4	49	16
5	54	16
done	54	16
0	15	19
1	25	19
2	39	19
3	49	19
4	56	19
5	61	19
6	66	19
7	72	19
8	76	19
done	76	19
0	14	16
1	22	14
2	31	14
3	34	14
4	35	14
done	35	14
0	14	18
1	24	18
2	38	18
3	47	14
4	52	14
done	52	14
0	7	11
1	13	7
2	22	7
3	35	7
4	47	7
5	48	7
done	48	7
0	12	16
1	22	16
2	40	16
3	67	16
4	100	16
5	120	16
6	139	16
7	168	16
8	192	16
9	196	16
done	196	16
0	7	10
1	12	3
2	17	3
3	19	3
4	20	3
done	20	3
0	13	16
1	23	16
2	41	16
3	68	16
4	101	16
5	121	16
6	140	16
7	169	16
8	193	16
9	197	16
done	197	16
0	6	7
1	10	3
2	15	3
3	17	3
4	18	3
done	18	3
0	12	16
1	22	16
2	40	16
3	67	16
4	100	16
5	120	16
6	139	16
7	168	16
8	192	16
9	196	16
done	196	16
0	4	6
1	8	1
done	8	1
0	11	15
1	21	15
2	39	15
3	65	11
4	96	11
5	111	11
done	111	11
0	6	7
1	10	3
2	15	3
3	17	3
4	18	3
done	18	3
0	12	16
1	22	16
2	40	16
3	67	16
4	100	16
5	120	16
6	139	16
7	168	16
8	192	16
9	196	16
done	196	16
0	3	5
1	6	1
done	6	1
0	11	15
1	21	15
2	39	15
3	65	11
4	96	11
5	111	11
done	111	11
0	2	3
1	4	1
done	4	1
0	11	15
1	21	15
2	39	15
3	65	11
4	96	11
5	111	11
done	111	11
0	10	11
1	17	11
2	24	11
3	27	11
4	28	11
done	28	11
0	5	7
1	9	7
2	12	5
3	16	1
4	17	1
done	17	1
0	12	14
1	24	14
2	42	14
3	69	12
4	170	12
5	353	12
6	434	12
7	479	12
done	479	12
0	11	15
1	21	15
2	42	11
3	87	11
4	168	11
5	294	9
6	1202	9
done	5000	9
0	13	30
1	23	30
2	38	30
3	64	30
4	95	30
5	110	30
done	110	30
0	12	16
1	20	16
2	35	16
3	61	16
4	93	16
5	108	16
done	108	16
0	15	32
1	28	32
2	56	32
3	88	32
4	115	32
5	148	32
6	173	32
7	183	32
done	183	32
0	16	31
1	26	28
2	41	28
3	57	28
4	66	28
5	72	28
6	75	28
done	75	28
0	14	28
1	23	28
2	38	28
3	54	28
4	63	28
5	69	28
6	72	28
done	72	28
0	15	27
1	26	26
2	41	26
3	57	24
4	82	24
5	95	24
6	100	24
done	100	24
0	14	28
1	23	28
2	38	28
3	54	28
4	63	28
5	69	28
6	72	28
done	72	28
0	14	26
1	25	24
2	45	24
3	75	24
4	88	24
5	100	24
6	105	24
done	105	24
0	14	21
1	23	21
2	37	21
3	48	21
4	53	21
5	62	21
6	68	21
7	73	21
done	73	21
0	15	20
1	23	17
2	33	17
3	37	17
4	40	17
5	42	17
6	43	17
done	43	17
0	13	17
1	20	17
2	30	17
3	34	17
4	37	17
5	39	17
6	40	17
done	40	17
0	14	16
1	23	15
2	33	15
3	37	13
4	49	13
5	54	13
6	62	13
done	62	13
0	13	17
1	20	17
2	30	17
3	34	17
4	37	17
5	39	17
6	40	17
done	40	17
0	13	15
1	22	13
2	35	13
3	43	13
4	46	13
5	49	13
6	53	13
done	53	13
0	7	12
1	13	12
2	20	10
3	36	10
4	62	10
5	83	10
6	103	10
done	103	10
0	8	11
1	13	8
2	16	6
3	25	6
4	34	6
5	36	6
done	36	6
0	6	8
1	10	8
2	13	6
3	22	6
4	31	6
5	33	6
done	33	6
0	6	7
1	10	6
2	13	4
3	22	2
4	57	2
5	70	2
done	70	2
0	6	8
1	10	8
2	13	6
3	22	6
4	31	6
5	33	6
done	33	6
0	5	6
1	9	4
2	14	2
3	16	2
4	20	2
done	20	2
0	15	22
1	23	22
2	34	22
3	45	22
4	50	22
5	59	22
6	65	22
7	70	22
done	70	22
0	16	21
1	23	18
2	30	18
3	34	18
4	37	18
5	39	18
6	40	18
done	40	18
0	14	18
1	20	18
2	27	18
3	31	18
4	34	18
5	36	18
6	37	18
done	37	18
0	15	17
1	23	16
2	30	16
3	34	14
4	46	14
5	51	14
6	59	14
done	59	14
0	14	18
1	20	18
2	27	18
3	31	18
4	34	18
5	36	18
6	37	18
done	37	18
0	14	16
1	22	14
2	32	14
3	40	14
4	43	14
5	46	14
6	50	14
7	51	14
done	51	14
0	16	23
1	24	23
2	35	23
3	46	23
4	51	23
5	60	23
6	66	23
7	71	23
done	71	23
0	17	22
1	24	19
2	31	19
3	35	19
4	38	19
5	40	19
6	41	19
done	41	19
0	15	19
1	21	19
2	28	19
3	32	19
4	35	19
5	37	19
6	38	19
done	38	19
0	16	18
1	24	17
2	31	17
3	35	15
4	47	15
5	52	15
6	60	15
7	61	15
done	61	15
0	15	19
1	21	19
2	28	19
3	32	19
4	35	19
5	37	19
6	38	19
done	38	19
0	15	17
1	23	15
2	33	15
3	41	15
4	44	15
5	47	15
6	51	15
done	51	15
0	7	12
1	13	12
2	20	10
3	36	10
4	62	10
5	83	10
6	103	10
done	103	10
0	8	11
1	13	8
2	16	6
3	25	6
4	34	6
5	36	6
done	36	6
0	6	8
1	10	8
2	13	6
3	22	6
4	31	6
5	33	6
done	33	6
0	6	7
1	10	6
2	13	4
3	22	2
4	57	2
5	70	2
done	70	2
0	6	8
1	10	8
2	13	6
3	22	6
4	31	6
5	33	6
done	33	6
0	5	6
1	9	4
2	14	2
3	16	2
4	20	2
done	20	2
0	4	4
1	6	2
2	8	2
done	8	2
0	10	12
1	15	12
2	22	12
3	25	12
4	26	12
done	26	12
0	12	16
1	22	16
2	46	16
3	102	16
4	224	16
5	382	16
6	445	16
done	445	16
0	13	16
1	23	16
2	47	16
3	103	16
4	225	16
5	376	16
6	436	16
done	436	16
0	12	16
1	22	16
2	46	16
3	102	16
4	224	16
5	382	16
6	445	16
done	445	16
0	11	15
1	21	15
2	42	11
3	87	11
4	168	11
5	294	9
6	1202	9
done	5000	9
0	12	16
1	22	16
2	46	16
3	102	16
4	224	16
5	382	16
6	445	16
done	445	16
0	11	15
1	21	15
2	42	11
3	87	11
4	168	11
5	294	9
6	1202	9
done	5000	9
0	10	12
1	15	12
2	22	12
3	25	12
4	26	12
done	26	12
0	12	14
1	19	14
2	27	14
3	30	14
4	31	14
done	31	14
0	11	13
1	22	13
2	39	13
3	66	13
4	97	13
5	112	13
done	112	13
0	11	13
1	19	13
2	37	13
3	65	13
4	104	13
5	140	13
6	193	13
7	424	13
8	1025	13
9	2632	13
done	5000	13
0	14	38
1	28	34
2	76	16
3	245	16
4	948	16
5	4579	16
done	5000	16
0	12	27
1	20	27
2	35	27
3	61	27
4	93	27
5	108	27
done	108	27
0	11	13
1	19	13
2	34	13
3	60	13
4	91	13
5	106	13
done	106	13
0	12	38
1	27	38
2	70	14
3	258	14
4	1190	14
done	5000	14
0	11	13
1	19	13
2	34	13
3	60	13
4	91	13
5	106	13
done	106	13
0	11	13
1	19	13
2	34	13
3	60	13
4	91	13
5	106	13
done	106	13
0	9	10
1	14	10
2	24	10
3	40	10
4	58	9
5	65	9
done	65	9
0	3	3
done	3	3
0	7	8
1	12	8
2	30	8
3	57	8
4	77	8
done	77	8
0	6	6
1	8	6
2	11	6
done	11	6
0	14	29
1	25	29
2	41	29
3	50	29
4	51	29
done	51	29
0	12	14
1	17	14
2	24	14
3	27	14
4	28	14
done	28	14
0	14	28
1	22	25
2	31	25
3	35	25
4	36	25
done	36	25
0	12	14
1	17	14
2	24	14
3	27	14
4	28	14
done	28	14
0	13	25
1	20	25
2	29	25
3	33	25
4	34	25
done	34	25
0	12	14
1	17	14
2	24	14
3	27	14
4	28	14
done	28	14
0	13	24
1	22	23
2	31	23
3	35	21
4	43	21
done	43	21
0	11	13
1	16	13
2	23	13
3	26	13
4	27	13
done	27	13
0	13	25
1	20	25
2	29	25
3	33	25
4	34	25
done	34	25
0	12	14
1	17	14
2	24	14
3	27	14
4	28	14
done	28	14
0	12	23
1	21	21
2	34	21
3	42	21
4	43	21
done	43	21
0	11	13
1	16	13
2	23	13
3	26	13
4	27	13
done	27	13
0	13	18
1	20	18
2	27	18
3	30	18
4	31	18
done	31	18
0	12	14
1	17	14
2	24	14
3	27	14
4	28	14
done	28	14
0	13	17
1	19	14
2	26	14
3	29	14
4	30	14
done	30	14
0	12	14
1	17	14
2	24	14
3	27	14
4	28	14
done	28	14
0	12	14
1	17	14
2	24	14
3	27	14
4	28	14
done	28	14
0	12	14
1	17	14
2	24	14
3	27	14
4	28	14
done	28	14
0	12	13
1	19	12
2	26	12
3	29	12
4	30	12
done	30	12
0	11	13
1	16	13
2	23	13
3	26	13
4	27	13
done	27	13
0	12	14
1	17	14
2	24	14
3	27	14
4	28	14
done	28	14
0	12	14
1	17	14
2	24	14
3	27	14
4	28	14
done	28	14
0	11	12
1	18	10
2	27	10
3	30	10
4	31	10
done	31	10
0	11	13
1	16	13
2	23	13
3	26	13
4	27	13
done	27	13
0	6	9
1	10	9
done	10	9
0	11	13
1	19	13
2	34	13
3	60	13
4	92	13
5	107	13
done	107	13
0	6	8
1	9	5
done	9	5
0	11	13
1	19	13
2	34	13
3	60	13
4	92	13
5	107	13
done	107	13
0	5	5
1	7	5
done	7	5
0	11	13
1	19	13
2	34	13
3	60	13
4	92	13
5	107	13
done	107	13
0	3	4
1	5	3
done	5	3
0	10	12
1	18	12
2	33	12
3	59	12
4	90	12
5	105	12
done	105	12
0	5	5
1	7	5
done	7	5
0	11	13
1	19	13
2	34	13
3	60	13
4	92	13
5	107	13
done	107	13
0	2	3
1	4	1
done	4	1
0	10	12
1	18	12
2	33	12
3	59	12
4	90	12
5	105	12
done	105	12
0	14	19
1	20	19
2	24	19
3	27	19
4	28	19
done	28	19
0	13	15
1	21	15
2	28	15
3	33	15
4	34	15
done	34	15
0	14	18
1	19	15
2	23	15
3	26	15
4	27	15
done	27	15
0	13	15
1	21	15
2	28	15
3	33	15
4	34	15
done	34	15
0	13	15
1	17	15
2	21	15
3	24	15
4	25	15
done	25	15
0	13	15
1	21	15
2	28	15
3	33	15
4	34	15
done	34	15
0	13	14
1	19	13
2	23	13
3	26	13
4	27	13
done	27	13
0	12	14
1	20	14
2	27	14
3	32	14
4	33	14
done	33	14
0	13	15
1	17	15
2	21	15
3	24	15
4	25	15
done	25	15
0	13	15
1	21	15
2	28	15
3	33	15
4	34	15
done	34	15
0	12	13
1	18	11
2	24	11
3	27	11
4	28	11
done	28	11
0	12	14
1	20	14
2	27	14
3	32	14
4	33	14
done	33	14
0	15	20
1	21	20
2	25	20
3	28	20
4	29	20
done	29	20
0	14	16
1	22	16
2	33	16
3	42	16
4	47	16
done	47	16
0	15	19
1	20	16
2	24	16
3	27	16
4	28	16
done	28	16
0	14	16
1	22	16
2	33	16
3	42	16
4	47	16
done	47	16
0	14	16
1	18	16
2	22	16
3	25	16
4	26	16
done	26	16
0	14	16
1	22	16
2	33	16
3	42	16
4	47	16
done	47	16
0	14	15
1	20	14
2	24	14
3	27	14
4	28	14
done	28	14
0	13	15
1	21	15
2	32	15
3	41	15
4	46	15
done	46	15
0	14	16
1	18	16
2	22	16
3	25	16
4	26	16
done	26	16
0	14	16
1	22	16
2	33	16
3	42	16
4	47	16
done	47	16
0	13	14
1	19	12
2	25	12
3	28	12
4	29	12
done	29	12
0	13	15
1	21	15
2	32	15
3	41	15
4	46	15
done	46	15
0	6	9
1	10	9
done	10	9
0	11	13
1	19	13
2	34	13
3	60	13
4	92	13
5	107	13
done	107	13
0	6	8
1	9	5
done	9	5
0	11	13
1	19	13
2	34	13
3	60	13
4	92	13
5	107	13
done	107	13
0	5	5
1	7	5
done	7	5
0	11	13
1	19	13
2	34	13
3	60	13
4	92	13
5	107	13
done	107	13
0	3	4
1	5	3
done	5	3
0	10	12
1	18	12
2	33	12
3	59	12
4	90	12
5	105	12
done	105	12
0	5	5
1	7	5
done	7	5
0	11	13
1	19	13
2	34	13
3	60	13
4	92	13
5	107	13
done	107	13
0	2	3
1	4	1
done	4	1
0	10	12
1	18	12
2	33	12
3	59	12
4	90	12
5	105	12
done	105	12
0	4	4
1	6	4
done	6	4
0	10	12
1	15	12
2	22	12
3	25	12
4	26	12
done	26	12
0	12	17
1	22	17
2	42	17
3	87	17
4	175	17
5	258	17
6	268	17
done	268	17
0	12	16
1	21	13
2	36	13
3	62	13
4	94	13
5	109	13
done	109	13
0	11	13
1	19	13
2	34	13
3	60	13
4	92	13
5	107	13
done	107	13
0	11	12
1	21	11
2	36	11
3	62	9
4	101	9
5	124	9
6	136	9
done	136	9
0	11	13
1	19	13
2	34	13
3	60	13
4	92	13
5	107	13
done	107	13
0	10	11
1	20	9
2	37	9
3	68	9
4	100	9
5	123	9
6	135	9
done	135	9
0	11	13
1	16	13
2	23	13
3	26	13
4	27	13
done	27	13
0	11	13
1	16	13
2	23	13
3	26	13
4	27	13
done	27	13
0	10	12
1	15	12
2	22	12
3	25	12
4	26	12
done	26	12
0	12	14
1	17	14
2	22	14
3	25	14
4	26	14
done	26	14
0	13	15
1	18	15
2	25	15
3	28	15
4	29	15
done	29	15
0	10	12
1	15	12
2	22	12
3	25	12
4	26	12
done	26	12
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	14	32
1	43	28
2	125	28
3	393	26
4	1171	26
5	2809	26
6	4177	24
done	5000	24
0	10	12
1	21	12
2	38	12
3	66	12
4	97	12
5	108	12
6	110	12
done	110	12
0	15	19
1	27	18
2	49	18
3	93	14
4	150	14
5	220	14
6	386	14
7	1003	14
8	4070	14
done	5000	14
0	14	18
1	26	18
2	50	18
3	84	14
4	118	14
5	136	14
6	154	14
7	189	14
8	231	14
9	268	14
10	276	14
done	276	14
0	14	18
1	29	18
2	57	18
3	103	14
4	164	14
5	258	14
6	542	14
7	1691	14
done	5000	14
0	15	37
1	27	37
2	51	37
3	85	29
4	120	29
5	138	29
6	156	29
7	191	29
8	233	29
9	270	29
10	278	29
done	278	29
0	14	18
1	26	18
2	50	18
3	84	14
4	118	14
5	136	14
6	154	14
7	189	14
8	231	14
9	268	14
10	276	14
done	276	14
0	15	53
1	28	53
2	66	19
3	165	15
4	550	15
5	2088	15
done	5001	15
0	14	18
1	26	18
2	50	18
3	84	14
4	118	14
5	136	14
6	154	14
7	189	14
8	231	14
9	268	14
10	276	14
done	276	14
0	14	18
1	26	18
2	50	18
3	84	14
4	118	14
5	136	14
6	154	14
7	189	14
8	231	14
9	268	14
10	276	14
done	276	14
0	16	21
1	44	21
2	115	21
3	385	17
4	1533	17
done	5000	17
0	17	53
1	40	37
2	89	37
3	213	29
4	431	29
5	1306	29
6	4289	29
done	5000	29
0	12	16
1	24	16
2	47	16
3	82	12
4	115	12
5	133	12
6	151	12
7	186	12
8	228	12
9	265	12
10	273	12
done	273	12
0	15	35
1	34	35
2	74	35
3	208	27
4	562	27
5	1636	27
6	4925	27
done	5000	27
0	13	17
1	24	17
2	42	17
3	68	13
4	99	13
5	114	13
done	114	13
0	15	19
1	26	19
2	44	19
3	70	15
4	102	15
5	117	15
done	117	15
0	15	19
1	27	19
2	46	19
3	72	15
4	104	15
5	119	15
done	119	15
0	16	20
1	25	20
2	40	20
3	66	20
4	98	20
5	113	20
done	113	20
0	16	20
1	26	20
2	44	20
3	70	20
4	102	20
5	117	20
done	117	20
0	16	21
1	24	21
2	34	21
3	37	16
4	39	16
done	39	16
0	16	21
1	25	21
2	41	21
3	52	16
4	57	16
done	57	16
0	16	21
1	24	21
2	34	21
3	37	16
4	39	16
done	39	16
0	16	21
1	25	21
2	41	21
3	52	16
4	57	16
done	57	16
0	16	20
1	25	20
2	40	20
3	66	20
4	98	20
5	113	20
done	113	20
0	16	20
1	26	20
2	44	20
3	70	20
4	102	20
5	117	20
done	117	20
0	16	21
1	24	21
2	34	21
3	37	16
4	39	16
done	39	16
0	16	21
1	25	21
2	41	21
3	52	16
4	57	16
done	57	16
0	16	21
1	24	21
2	34	21
3	37	16
4	39	16
done	39	16
0	16	21
1	25	21
2	41	21
3	52	16
4	57	16
done	57	16
0	13	17
1	25	17
2	49	17
3	83	13
4	118	13
5	136	13
6	154	13
7	189	13
8	231	13
9	268	13
10	276	13
done	276	13
0	12	16
1	24	16
2	47	16
3	82	12
4	115	12
5	133	12
6	151	12
7	186	12
8	228	12
9	265	12
10	273	12
done	273	12
0	10	11
1	15	10
2	21	10
3	31	10
4	43	10
5	68	10
6	145	10
7	450	10
8	1192	10
9	3399	10
done	5001	10
0	9	10
1	14	10
2	21	10
3	24	10
4	25	10
done	25	10
0	9	10
1	17	10
2	26	10
3	34	10
4	49	10
5	76	10
6	200	10
7	490	10
8	1238	10
9	3320	10
done	5001	10
0	10	21
1	15	21
2	22	21
3	25	21
4	26	21
done	26	21
0	9	10
1	14	10
2	21	10
3	24	10
4	25	10
done	25	10
0	10	29
1	16	29
2	37	11
3	121	11
4	501	11
5	2149	11
done	5001	11
0	9	10
1	14	10
2	21	10
3	24	10
4	25	10
done	25	10
0	9	10
1	14	10
2	21	10
3	24	10
4	25	10
done	25	10
0	8	9
1	13	9
2	23	9
done	23	9
0	3	3
1	4	3
done	4	3
0	11	13
1	35	13
2	112	13
3	404	13
4	1797	13
done	5001	13
0	12	29
1	34	25
2	91	25
3	240	23
4	566	23
5	868	23
6	959	21
7	3023	21
done	5000	21
0	4	4
1	6	4
done	6	4
0	10	19
1	26	19
2	65	19
3	173	19
4	433	19
5	770	19
6	1077	19
7	1655	19
8	3915	19
done	5000	19
0	8	9
1	12	9
2	16	9
3	19	9
4	20	9
done	20	9
0	10	11
1	14	11
2	18	11
3	21	11
4	22	11
done	22	11
0	10	11
1	15	11
2	20	11
3	23	11
4	24	11
done	24	11
0	11	12
1	15	12
2	19	12
3	22	12
4	23	12
done	23	12
0	11	12
1	16	12
2	23	12
3	26	12
4	27	12
done	27	12
0	8	9
1	13	9
2	20	9
3	23	9
4	24	9
done	24	9
0	4	4
1	6	4
done	6	4
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	11	15
1	22	15
2	46	15
3	77	15
4	99	15
5	100	15
done	100	15
0	11	15
1	22	15
2	46	15
3	77	15
4	99	15
5	100	15
done	100	15
0	11	15
1	22	15
2	46	15
3	77	15
4	99	15
5	100	15
done	100	15
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	8	9
1	13	9
2	19	9
3	23	9
4	24	9
done	24	9
0	8	9
1	13	9
2	19	9
3	23	9
4	24	9
done	24	9
0	8	9
1	13	9
2	19	9
3	23	9
4	24	9
done	24	9

prune715.0ms

Filtered

208 candidates to 413 candidates (-98.6%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	413	0	413
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	413	5	418

Merged error: 0b

Counts

418 → 5

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b	(- x (cbrt (pow (/ 2.0 (- (/ (* z 2.0) y) (/ t z))) 3)))
0.2b	(pow (/ 2.0 (- (/ (* z 2.0) y) (/ t z))) 3)
0.8b	(/ 2.0 (- (/ (* z 2.0) y) (/ t z)))
25.1b	(cbrt (pow (/ 2.0 (- (/ (* z 2.0) y) (/ t z))) 3))

rewrite98.0ms

Algorithm

rewrite-expression-head

Rules

152×	`add-sqr-sqrt`
108×	`times-frac`
91×	`*-un-lft-identity`
62×	`cbrt-prod`
57×	`add-cube-cbrt`
52×	`unpow-prod-down` `cube-prod`
39×	`difference-of-squares`
17×	`distribute-lft-out--`
15×	`associate-/r/`
9×	`add-exp-log` `add-cbrt-cube`
6×	`flip3--` `associate-/r*` `flip--` `add-log-exp`
5×	`pow1` `frac-sub` `div-inv`
3×	`pow-unpow` `associate-/l*` `sqr-pow`
2×	`cbrt-undiv` `cube-div` `cube-mult` `unpow3` `div-exp` `pow-exp` `rem-cube-cbrt`
1×	`pow-to-exp` `sub-neg` `cbrt-div` `pow-pow` `frac-2neg` `pow1/3` `diff-log` `clear-num` `rem-cbrt-cube`

Counts

4 → 198

Calls

4 calls:

38.0ms	(- x (cbrt (pow (/ 2.0 (- (/ (* z 2.0) y) (/ t z))) 3)))
17.0ms	(pow (/ 2.0 (- (/ (* z 2.0) y) (/ t z))) 3)
14.0ms	(/ 2.0 (- (/ (* z 2.0) y) (/ t z)))
19.0ms	(cbrt (pow (/ 2.0 (- (/ (* z 2.0) y) (/ t z))) 3))

series50.0ms

Counts

4 → 12

Calls

4 calls:

14.0ms	(- x (cbrt (pow (/ 2.0 (- (/ (* z 2.0) y) (/ t z))) 3)))
18.0ms	(pow (/ 2.0 (- (/ (* z 2.0) y) (/ t z))) 3)
9.0ms	(/ 2.0 (- (/ (* z 2.0) y) (/ t z)))
9.0ms	(cbrt (pow (/ 2.0 (- (/ (* z 2.0) y) (/ t z))) 3))

simplify10.5min

Counts

210 → 210

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	13	15
1	29	12
2	63	12
3	142	12
4	407	12
5	1472	12
done	5000	12
0	13	15
1	29	12
2	60	12
3	137	12
4	401	12
5	1468	12
done	5000	12
0	14	28
1	29	25
2	57	15
3	99	15
4	202	15
5	493	14
6	1703	14
done	5001	14
0	13	15
1	26	12
2	39	12
3	52	12
4	74	12
5	134	12
6	345	12
7	1283	12
done	5001	12
0	13	15
1	26	12
2	39	12
3	57	12
4	83	12
5	153	12
6	399	12
7	1376	12
done	5000	12
0	13	15
1	26	12
2	39	12
3	57	12
4	83	12
5	153	12
6	399	12
7	1376	12
done	5000	12
0	16	30
1	38	27
2	114	27
3	403	16
4	1735	16
done	5000	16
0	14	16
1	30	13
2	61	12
3	100	12
4	164	12
5	306	12
6	654	12
7	2211	12
done	5001	12
0	15	19
1	33	16
2	78	16
3	217	16
4	641	16
5	1809	16
done	5000	16
0	14	16
1	30	13
2	61	13
3	100	13
4	173	13
5	347	13
6	768	13
7	2497	13
done	5000	13
0	8	10
1	22	5
2	60	5
3	160	4
4	280	4
5	550	4
6	1600	4
done	5000	4
0	13	15
1	29	12
2	60	12
3	115	12
4	277	12
5	961	12
6	3810	12
done	5000	12
0	16	20
1	33	17
2	75	17
3	230	17
4	682	17
5	1879	17
done	5000	17
0	15	17
1	31	14
2	60	14
3	115	14
4	227	14
5	524	14
6	1633	14
done	5000	14
0	17	21
1	34	18
2	76	18
3	231	18
4	690	18
5	1946	18
done	5001	18
0	16	18
1	32	15
2	63	15
3	118	15
4	238	15
5	600	15
6	1966	15
done	5000	15
0	8	10
1	22	5
2	60	5
3	160	4
4	280	4
5	550	4
6	1600	4
done	5000	4
0	13	15
1	29	12
2	60	12
3	115	12
4	277	12
5	961	12
6	3810	12
done	5000	12
0	15	27
1	33	24
2	76	24
3	205	18
4	648	18
5	2360	18
done	5001	18
0	14	16
1	30	13
2	61	13
3	122	13
4	287	13
5	841	13
6	3612	13
done	5001	13
0	14	16
1	30	13
2	61	13
3	122	13
4	287	13
5	825	13
6	3660	13
done	5000	13
0	14	16
1	30	13
2	61	13
3	122	13
4	287	13
5	825	13
6	3660	13
done	5000	13
0	7	7
1	19	2
2	35	2
3	60	2
4	116	2
5	289	2
6	1062	2
done	5000	2
0	13	15
1	29	12
2	60	12
3	137	12
4	392	12
5	1427	12
done	5001	12
0	15	17
1	30	14
2	58	14
3	135	14
4	323	14
5	887	14
6	3869	14
done	5001	14
0	15	17
1	31	14
2	60	14
3	137	14
4	342	14
5	991	14
6	4453	14
done	5001	14
0	16	18
1	31	15
2	59	15
3	136	15
4	333	15
5	939	15
6	4008	15
done	5001	15
0	16	18
1	32	15
2	63	15
3	140	15
4	353	15
5	1069	15
6	4804	15
done	5000	15
0	7	7
1	19	2
2	35	2
3	60	2
4	116	2
5	289	2
6	1062	2
done	5000	2
0	13	15
1	29	12
2	60	12
3	137	12
4	392	12
5	1427	12
done	5001	12
0	15	26
1	35	23
2	73	23
3	168	15
4	426	15
5	1033	15
6	3784	14
done	5001	14
0	13	15
1	29	12
2	60	12
3	121	12
4	295	12
5	891	12
6	3798	12
done	5001	12
0	14	15
1	32	12
2	58	12
3	95	12
4	166	12
5	323	12
6	981	12
7	3348	12
done	5000	12
0	13	15
1	29	12
2	60	12
3	121	12
4	295	12
5	866	12
6	3819	12
done	5000	12
0	5	6
1	16	1
done	16	1
0	12	14
1	28	11
2	59	11
3	136	11
4	400	11
5	1465	11
done	5001	11
0	15	16
1	32	13
2	55	13
3	108	13
4	202	13
5	390	13
6	1206	13
7	4322	13
done	5000	13
0	14	16
1	30	13
2	59	13
3	136	13
4	351	13
5	1034	13
6	4611	13
done	5001	13
0	16	17
1	33	14
2	56	14
3	109	14
4	213	14
5	451	14
6	1436	14
7	4942	14
done	5000	14
0	15	17
1	31	14
2	62	14
3	139	14
4	362	14
5	1112	14
6	4956	14
done	5000	14
0	5	6
1	16	1
done	16	1
0	12	14
1	28	11
2	59	11
3	136	11
4	400	11
5	1465	11
done	5001	11
0	4	4
1	14	1
2	18	1
done	18	1
0	12	14
1	28	11
2	59	11
3	136	11
4	400	11
5	1465	11
done	5001	11
0	4	4
1	12	1
2	18	1
3	28	1
4	51	1
5	114	1
6	328	1
7	1249	1
done	5000	1
0	13	14
1	31	11
2	57	11
3	110	11
4	271	11
5	946	11
6	4332	11
done	5001	11
0	12	14
1	28	11
2	62	11
3	136	11
4	413	11
5	1522	11
done	5000	11
0	6	6
1	18	3
2	53	3
3	131	3
4	236	3
5	609	3
6	2439	3
done	5000	3
0	14	18
1	46	15
2	143	15
3	546	15
4	3100	15
done	5001	15
0	15	32
1	45	25
2	136	25
3	573	23
4	4280	23
done	5001	23
0	14	24
1	41	21
2	109	21
3	366	21
4	1769	21
done	5001	21
0	11	12
1	23	9
2	49	9
3	132	9
4	480	9
5	1797	9
done	5001	9
0	11	24
1	20	24
2	33	24
3	49	24
4	104	24
5	291	24
6	859	22
7	3149	22
done	5000	22
0	10	12
1	15	12
2	22	12
3	25	12
4	26	12
done	26	12
0	14	30
1	29	24
2	60	24
3	137	24
4	401	24
5	1471	24
done	5000	24
0	13	15
1	29	12
2	60	12
3	137	12
4	401	12
5	1468	12
done	5000	12
0	14	28
1	29	25
2	57	15
3	99	15
4	202	15
5	493	14
6	1703	14
done	5001	14
0	13	15
1	26	12
2	39	12
3	52	12
4	74	12
5	134	12
6	345	12
7	1283	12
done	5001	12
0	13	15
1	26	12
2	39	12
3	57	12
4	83	12
5	153	12
6	399	12
7	1376	12
done	5000	12
0	13	15
1	26	12
2	39	12
3	57	12
4	83	12
5	153	12
6	399	12
7	1376	12
done	5000	12
0	16	30
1	38	27
2	114	27
3	403	16
4	1735	16
done	5000	16
0	14	16
1	30	13
2	61	12
3	100	12
4	164	12
5	306	12
6	654	12
7	2211	12
done	5001	12
0	15	19
1	33	16
2	78	16
3	217	16
4	641	16
5	1809	16
done	5000	16
0	14	16
1	30	13
2	61	13
3	100	13
4	173	13
5	347	13
6	768	13
7	2497	13
done	5000	13
0	8	10
1	22	5
2	60	5
3	160	4
4	280	4
5	550	4
6	1600	4
done	5000	4
0	13	15
1	29	12
2	60	12
3	115	12
4	277	12
5	961	12
6	3810	12
done	5000	12
0	16	20
1	33	17
2	75	17
3	230	17
4	682	17
5	1879	17
done	5000	17
0	15	17
1	31	14
2	60	14
3	115	14
4	227	14
5	524	14
6	1633	14
done	5000	14
0	17	21
1	34	18
2	76	18
3	231	18
4	690	18
5	1946	18
done	5001	18
0	16	18
1	32	15
2	63	15
3	118	15
4	238	15
5	600	15
6	1966	15
done	5000	15
0	8	10
1	22	5
2	60	5
3	160	4
4	280	4
5	550	4
6	1600	4
done	5000	4
0	13	15
1	29	12
2	60	12
3	115	12
4	277	12
5	961	12
6	3810	12
done	5000	12
0	15	27
1	33	24
2	76	24
3	205	18
4	648	18
5	2360	18
done	5001	18
0	14	16
1	30	13
2	61	13
3	122	13
4	287	13
5	841	13
6	3612	13
done	5001	13
0	14	16
1	30	13
2	61	13
3	122	13
4	287	13
5	825	13
6	3660	13
done	5000	13
0	14	16
1	30	13
2	61	13
3	122	13
4	287	13
5	825	13
6	3660	13
done	5000	13
0	7	7
1	19	2
2	35	2
3	60	2
4	116	2
5	289	2
6	1062	2
done	5000	2
0	13	15
1	29	12
2	60	12
3	137	12
4	392	12
5	1427	12
done	5001	12
0	15	17
1	30	14
2	58	14
3	135	14
4	323	14
5	887	14
6	3869	14
done	5001	14
0	15	17
1	31	14
2	60	14
3	137	14
4	342	14
5	991	14
6	4453	14
done	5001	14
0	16	18
1	31	15
2	59	15
3	136	15
4	333	15
5	939	15
6	4008	15
done	5001	15
0	16	18
1	32	15
2	63	15
3	140	15
4	353	15
5	1069	15
6	4804	15
done	5000	15
0	7	7
1	19	2
2	35	2
3	60	2
4	116	2
5	289	2
6	1062	2
done	5000	2
0	13	15
1	29	12
2	60	12
3	137	12
4	392	12
5	1427	12
done	5001	12
0	15	26
1	35	23
2	73	23
3	168	15
4	426	15
5	1033	15
6	3784	14
done	5001	14
0	13	15
1	29	12
2	60	12
3	121	12
4	295	12
5	891	12
6	3798	12
done	5001	12
0	14	15
1	32	12
2	58	12
3	95	12
4	166	12
5	323	12
6	981	12
7	3348	12
done	5000	12
0	13	15
1	29	12
2	60	12
3	121	12
4	295	12
5	866	12
6	3819	12
done	5000	12
0	5	6
1	16	1
done	16	1
0	12	14
1	28	11
2	59	11
3	136	11
4	400	11
5	1465	11
done	5001	11
0	15	16
1	32	13
2	55	13
3	108	13
4	202	13
5	390	13
6	1206	13
7	4322	13
done	5000	13
0	14	16
1	30	13
2	59	13
3	136	13
4	351	13
5	1034	13
6	4611	13
done	5001	13
0	16	17
1	33	14
2	56	14
3	109	14
4	213	14
5	451	14
6	1436	14
7	4942	14
done	5000	14
0	15	17
1	31	14
2	62	14
3	139	14
4	362	14
5	1112	14
6	4956	14
done	5000	14
0	5	6
1	16	1
done	16	1
0	12	14
1	28	11
2	59	11
3	136	11
4	400	11
5	1465	11
done	5001	11
0	4	4
1	14	1
2	18	1
done	18	1
0	12	14
1	28	11
2	59	11
3	136	11
4	400	11
5	1465	11
done	5001	11
0	4	4
1	12	1
2	18	1
3	28	1
4	51	1
5	114	1
6	328	1
7	1249	1
done	5000	1
0	13	14
1	31	11
2	57	11
3	110	11
4	271	11
5	946	11
6	4332	11
done	5001	11
0	12	14
1	28	11
2	62	11
3	136	11
4	413	11
5	1522	11
done	5000	11
0	6	6
1	18	3
2	53	3
3	131	3
4	236	3
5	609	3
6	2439	3
done	5000	3
0	14	18
1	46	15
2	143	15
3	546	15
4	3100	15
done	5001	15
0	15	32
1	45	25
2	136	25
3	573	23
4	4280	23
done	5001	23
0	14	24
1	41	21
2	109	21
3	366	21
4	1769	21
done	5001	21
0	11	12
1	23	9
2	49	9
3	132	9
4	480	9
5	1797	9
done	5001	9
0	10	12
1	15	12
2	22	12
3	25	12
4	26	12
done	26	12
0	11	24
1	20	24
2	33	24
3	49	24
4	104	24
5	291	24
6	859	22
7	3149	22
done	5000	22
0	13	15
1	29	15
2	61	15
3	138	15
4	403	15
5	1471	15
done	5001	15
0	13	15
1	29	15
2	61	15
3	138	15
4	403	15
5	1471	15
done	5001	15
0	2	2
1	4	1
done	4	1
0	12	14
1	28	11
2	59	11
3	136	11
4	400	11
5	1465	11
done	5001	11
0	14	16
1	23	14
2	37	14
3	50	14
4	74	14
5	134	14
6	351	14
7	1280	14
done	5001	14
0	14	16
1	23	14
2	37	14
3	50	14
4	74	14
5	134	14
6	351	14
7	1280	14
done	5001	14
0	4	4
1	12	1
2	18	1
3	28	1
4	51	1
5	114	1
6	328	1
7	1249	1
done	5000	1
0	11	12
1	24	9
2	49	9
3	138	9
4	533	9
5	2227	9
done	5001	9
0	14	31
1	30	25
2	61	25
3	138	25
4	402	25
5	1463	25
done	5000	25
0	13	15
1	29	12
2	60	12
3	137	12
4	401	12
5	1468	12
done	5000	12
0	14	44
1	28	13
2	59	13
3	136	13
4	400	13
5	1467	13
done	5000	13
0	13	15
1	29	12
2	60	12
3	137	12
4	401	12
5	1468	12
done	5000	12
0	13	15
1	29	12
2	60	12
3	137	12
4	401	12
5	1468	12
done	5000	12
0	11	13
1	18	13
2	26	13
3	29	13
4	30	13
done	30	13
0	10	12
1	18	12
2	27	12
3	31	12
4	32	12
done	32	12
0	10	12
1	15	12
2	22	12
3	25	12
4	26	12
done	26	12
0	13	35
1	27	35
2	78	15
3	227	13
4	731	13
5	2989	13
done	5001	13
0	11	25
1	16	25
2	23	25
3	26	25
4	27	25
done	27	25
0	10	12
1	15	12
2	22	12
3	25	12
4	26	12
done	26	12
0	11	35
1	23	35
2	46	13
3	93	13
4	217	13
5	660	13
6	2509	13
done	5000	13
0	10	12
1	15	12
2	22	12
3	25	12
4	26	12
done	26	12
0	10	12
1	15	12
2	22	12
3	25	12
4	26	12
done	26	12
0	2	2
done	2	2
0	9	10
1	14	10
2	24	10
3	40	10
4	58	9
5	65	9
done	65	9
0	13	27
1	24	27
2	40	27
3	49	27
4	50	27
done	50	27
0	11	13
1	16	13
2	23	13
3	26	13
4	27	13
done	27	13
0	12	16
1	19	16
2	28	16
3	32	16
4	33	16
done	33	16
0	11	13
1	16	13
2	23	13
3	26	13
4	27	13
done	27	13
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	10	12
1	15	12
2	22	12
3	25	12
4	26	12
done	26	12
0	13	17
1	19	17
2	25	17
3	29	17
4	30	17
done	30	17
0	12	14
1	17	14
2	22	14
3	25	14
4	26	14
done	26	14
0	14	18
1	20	18
2	26	18
3	30	18
4	31	18
done	31	18
0	13	15
1	18	15
2	25	15
3	28	15
4	29	15
done	29	15
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	10	12
1	15	12
2	22	12
3	25	12
4	26	12
done	26	12
0	12	24
1	19	24
2	26	24
3	29	24
4	30	24
done	30	24
0	11	13
1	16	13
2	23	13
3	26	13
4	27	13
done	27	13
0	11	13
1	16	13
2	23	13
3	26	13
4	27	13
done	27	13
0	11	13
1	16	13
2	23	13
3	26	13
4	27	13
done	27	13
0	4	4
1	6	2
2	8	2
done	8	2
0	10	12
1	15	12
2	22	12
3	25	12
4	26	12
done	26	12
0	12	14
1	16	14
2	20	14
3	23	14
4	24	14
done	24	14
0	12	14
1	17	14
2	22	14
3	25	14
4	26	14
done	26	14
0	13	15
1	17	15
2	21	15
3	24	15
4	25	15
done	25	15
0	13	15
1	18	15
2	25	15
3	28	15
4	29	15
done	29	15
0	4	4
1	6	2
2	8	2
done	8	2
0	10	12
1	15	12
2	22	12
3	25	12
4	26	12
done	26	12
0	12	23
1	21	23
2	28	23
3	31	23
4	32	23
done	32	23
0	10	12
1	15	12
2	22	12
3	25	12
4	26	12
done	26	12
0	11	12
1	18	12
2	25	12
3	28	12
4	29	12
done	29	12
0	10	12
1	15	12
2	22	12
3	25	12
4	26	12
done	26	12
0	2	3
1	4	1
done	4	1
0	9	11
1	14	11
2	21	11
3	24	11
4	25	11
done	25	11
0	12	13
1	18	13
2	22	13
3	25	13
4	26	13
done	26	13
0	11	13
1	16	13
2	21	13
3	24	13
4	25	13
done	25	13
0	13	14
1	19	14
2	23	14
3	26	14
4	27	14
done	27	14
0	12	14
1	17	14
2	24	14
3	27	14
4	28	14
done	28	14
0	2	3
1	4	1
done	4	1
0	9	11
1	14	11
2	21	11
3	24	11
4	25	11
done	25	11
0	10	11
1	17	11
2	24	11
3	27	11
4	28	11
done	28	11
0	9	11
1	17	11
2	31	11
3	55	11
4	87	11
5	104	9
6	231	9
7	1150	9
8	4530	9
done	5000	9
0	11	23
1	18	23
2	25	23
3	28	23
4	29	23
done	29	23
0	10	12
1	15	12
2	22	12
3	25	12
4	26	12
done	26	12
0	3	3
1	5	1
done	5	1
0	11	13
1	15	13
2	19	13
3	22	13
4	23	13
done	23	13
0	12	14
1	16	14
2	20	14
3	23	14
4	24	14
done	24	14
0	3	3
1	5	1
done	5	1
0	10	12
1	18	12
2	33	12
3	59	12
4	90	12
5	105	12
done	105	12
0	10	12
1	18	12
2	33	12
3	59	12
4	90	12
5	105	12
done	105	12
0	9	11
1	17	11
2	31	11
3	55	11
4	87	11
5	104	9
6	231	9
7	1150	9
8	4530	9
done	5000	9
0	9	11
1	14	11
2	24	11
done	24	11
0	12	15
1	36	15
2	113	15
3	407	15
4	1831	15
done	5000	15
0	11	21
1	27	21
2	68	21
3	180	21
4	439	21
5	773	21
6	1078	21
7	1653	21
8	3919	21
done	5000	21
0	13	15
1	21	15
2	35	15
3	43	15
4	49	15
done	49	15
0	12	14
1	21	14
2	30	14
3	40	14
4	46	14
5	51	14
done	51	14
0	12	14
1	21	14
2	30	14
3	40	14
4	46	14
5	51	14
done	51	14
0	3	3
1	6	1
done	6	1
0	13	17
1	22	17
2	36	17
3	63	17
4	120	17
5	275	17
6	895	17
7	3316	17
done	5000	17
0	12	14
1	21	14
2	33	14
3	54	14
4	94	14
5	200	14
6	572	14
7	2195	14
done	5001	14
0	11	13
1	23	11
2	37	11
3	51	11
4	74	11
5	131	11
6	343	11
7	1279	11
done	5000	11
0	13	27
1	28	27
2	56	14
3	96	14
4	199	14
5	491	14
6	1683	14
done	5000	14
0	12	14
1	25	11
2	38	11
3	51	11
4	73	11
5	133	11
6	341	11
7	1262	11
done	5000	11
0	12	14
1	25	14
2	38	14
3	56	14
4	82	14
5	150	14
6	397	14
7	1363	14
done	5000	14
0	12	14
1	25	14
2	38	14
3	56	14
4	82	14
5	150	14
6	397	14
7	1363	14
done	5000	14
0	15	29
1	37	29
2	113	29
3	405	15
4	1753	15
done	5000	15
0	13	15
1	29	15
2	60	11
3	99	11
4	162	11
5	306	11
6	660	11
7	2201	11
done	5000	11
0	14	18
1	32	18
2	77	18
3	216	16
4	648	16
5	1845	16
done	5000	16
0	13	15
1	29	15
2	60	14
3	99	14
4	171	14
5	347	14
6	771	14
7	2509	14
done	5001	14
0	7	9
1	21	7
2	59	7
3	161	3
4	269	3
5	537	3
6	1599	3
done	5000	3
0	12	14
1	28	14
2	59	13
3	114	13
4	276	13
5	965	13
6	3820	13
done	5000	13
0	15	19
1	32	19
2	74	19
3	229	17
4	684	17
5	1926	17
done	5000	17
0	14	16
1	30	16
2	59	15
3	114	15
4	227	15
5	526	15
6	1639	15
done	5000	15
0	16	20
1	33	20
2	75	20
3	230	18
4	704	18
5	1978	18
done	5000	18
0	15	17
1	31	17
2	62	16
3	117	16
4	238	16
5	599	16
6	1970	16
done	5001	16
0	7	9
1	21	7
2	59	7
3	161	3
4	269	3
5	537	3
6	1599	3
done	5000	3
0	12	14
1	28	14
2	59	13
3	114	13
4	276	13
5	965	13
6	3820	13
done	5000	13
0	14	26
1	32	26
2	75	26
3	204	17
4	650	17
5	2380	17
done	5000	17
0	13	15
1	29	15
2	60	14
3	121	14
4	286	14
5	840	14
6	3595	14
done	5000	14
0	13	15
1	29	15
2	60	15
3	121	15
4	286	15
5	824	15
6	3655	15
done	5001	15
0	13	15
1	29	15
2	60	15
3	121	15
4	286	15
5	824	15
6	3655	15
done	5001	15
0	6	6
1	18	4
2	34	4
3	59	4
4	115	4
5	288	4
6	1067	4
done	5000	4
0	12	14
1	28	14
2	59	14
3	136	14
4	391	14
5	1426	14
done	5000	14
0	14	16
1	29	16
2	57	16
3	134	16
4	323	16
5	890	16
6	3866	16
done	5000	16
0	14	16
1	30	16
2	59	16
3	136	16
4	342	16
5	990	16
6	4452	16
done	5001	16
0	15	17
1	30	17
2	58	17
3	135	17
4	334	17
5	936	17
6	4014	17
done	5001	17
0	15	17
1	31	17
2	62	17
3	139	17
4	352	17
5	1064	17
6	4785	17
done	5000	17
0	6	6
1	18	4
2	34	4
3	59	4
4	115	4
5	288	4
6	1067	4
done	5000	4
0	12	14
1	28	14
2	59	14
3	136	14
4	391	14
5	1426	14
done	5000	14
0	14	25
1	34	25
2	72	25
3	167	14
4	436	14
5	1039	14
6	3779	14
done	5001	14
0	12	14
1	28	14
2	59	13
3	120	13
4	294	13
5	886	13
6	3797	13
done	5001	13
0	13	14
1	31	14
2	57	14
3	94	14
4	165	14
5	321	14
6	967	14
7	3343	14
done	5000	14
0	12	14
1	28	14
2	59	14
3	120	14
4	294	14
5	859	14
6	3809	14
done	5001	14
0	4	5
1	15	1
2	19	1
3	23	1
done	23	1
0	11	13
1	27	13
2	58	13
3	135	13
4	399	13
5	1461	13
done	5000	13
0	14	15
1	31	15
2	54	15
3	107	15
4	203	15
5	396	15
6	1234	15
7	4333	15
done	5000	15
0	13	15
1	29	15
2	58	15
3	135	15
4	349	15
5	1027	15
6	4613	15
done	5000	15
0	15	16
1	32	16
2	55	16
3	108	16
4	210	16
5	447	16
6	1418	16
7	4886	16
done	5000	16
0	14	16
1	30	16
2	61	16
3	138	16
4	360	16
5	1101	16
6	4955	16
done	5000	16
0	4	5
1	15	1
2	19	1
3	23	1
done	23	1
0	11	13
1	27	13
2	58	13
3	135	13
4	399	13
5	1461	13
done	5000	13
0	3	3
1	13	1
done	13	1
0	11	13
1	27	13
2	58	13
3	135	13
4	399	13
5	1461	13
done	5000	13
0	3	3
1	11	3
2	17	3
3	27	3
4	50	3
5	113	3
6	327	3
7	1246	3
done	5000	3
0	12	13
1	30	13
2	56	13
3	109	13
4	270	13
5	939	13
6	4313	13
done	5001	13
0	11	13
1	27	13
2	61	13
3	135	13
4	412	13
5	1528	13
done	5000	13
0	5	5
1	17	5
2	52	5
3	124	5
4	231	5
5	605	5
6	2400	5
done	5000	5
0	13	17
1	45	17
2	142	17
3	545	17
4	3097	17
done	5000	17
0	14	31
1	44	27
2	135	27
3	572	25
4	4290	25
done	5001	25
0	13	23
1	40	23
2	108	23
3	369	23
4	1777	23
done	5000	23
0	10	11
1	22	11
2	48	11
3	131	11
4	479	11
5	1789	11
done	5000	11
0	10	23
1	19	23
2	32	23
3	48	23
4	103	23
5	290	23
6	859	21
7	3167	21
done	5001	21
0	12	14
1	30	14
2	73	14
3	179	14
4	569	14
5	2062	14
done	5000	14
0	12	14
1	28	14
2	65	14
3	154	14
4	468	14
5	1715	14
done	5001	14
0	13	29
1	28	23
2	59	23
3	136	23
4	400	23
5	1465	23
done	5001	23
0	12	14
1	28	11
2	59	11
3	136	11
4	400	11
5	1465	11
done	5001	11
0	13	41
1	33	27
2	105	15
3	465	15
4	4444	15
done	5001	15
0	13	27
1	28	27
2	56	14
3	96	14
4	199	14
5	491	14
6	1683	14
done	5000	14
0	12	14
1	25	11
2	38	11
3	51	11
4	73	11
5	133	11
6	341	11
7	1262	11
done	5000	11
0	12	14
1	25	14
2	38	14
3	56	14
4	82	14
5	150	14
6	397	14
7	1363	14
done	5000	14
0	12	14
1	25	14
2	38	14
3	56	14
4	82	14
5	150	14
6	397	14
7	1363	14
done	5000	14
0	15	29
1	37	29
2	113	29
3	405	15
4	1753	15
done	5000	15
0	13	15
1	29	15
2	60	11
3	99	11
4	162	11
5	306	11
6	660	11
7	2201	11
done	5000	11
0	14	18
1	32	18
2	77	18
3	216	16
4	648	16
5	1845	16
done	5000	16
0	13	15
1	29	15
2	60	14
3	99	14
4	171	14
5	347	14
6	771	14
7	2509	14
done	5001	14
0	7	9
1	21	7
2	59	7
3	161	3
4	269	3
5	537	3
6	1599	3
done	5000	3
0	12	14
1	28	14
2	59	13
3	114	13
4	276	13
5	965	13
6	3820	13
done	5000	13
0	15	19
1	32	19
2	74	19
3	229	17
4	684	17
5	1926	17
done	5000	17
0	14	16
1	30	16
2	59	15
3	114	15
4	227	15
5	526	15
6	1639	15
done	5000	15
0	16	20
1	33	20
2	75	20
3	230	18
4	704	18
5	1978	18
done	5000	18
0	15	17
1	31	17
2	62	16
3	117	16
4	238	16
5	599	16
6	1970	16
done	5001	16
0	7	9
1	21	7
2	59	7
3	161	3
4	269	3
5	537	3
6	1599	3
done	5000	3
0	12	14
1	28	14
2	59	13
3	114	13
4	276	13
5	965	13
6	3820	13
done	5000	13
0	14	26
1	32	26
2	75	26
3	204	17
4	650	17
5	2380	17
done	5000	17
0	13	15
1	29	15
2	60	14
3	121	14
4	286	14
5	840	14
6	3595	14
done	5000	14
0	13	15
1	29	15
2	60	15
3	121	15
4	286	15
5	824	15
6	3655	15
done	5001	15
0	13	15
1	29	15
2	60	15
3	121	15
4	286	15
5	824	15
6	3655	15
done	5001	15
0	6	6
1	18	4
2	34	4
3	59	4
4	115	4
5	288	4
6	1067	4
done	5000	4
0	12	14
1	28	14
2	59	14
3	136	14
4	391	14
5	1426	14
done	5000	14
0	14	16
1	29	16
2	57	16
3	134	16
4	323	16
5	890	16
6	3866	16
done	5000	16
0	14	16
1	30	16
2	59	16
3	136	16
4	342	16
5	990	16
6	4452	16
done	5001	16
0	15	17
1	30	17
2	58	17
3	135	17
4	334	17
5	936	17
6	4014	17
done	5001	17
0	15	17
1	31	17
2	62	17
3	139	17
4	352	17
5	1064	17
6	4785	17
done	5000	17
0	6	6
1	18	4
2	34	4
3	59	4
4	115	4
5	288	4
6	1067	4
done	5000	4
0	12	14
1	28	14
2	59	14
3	136	14
4	391	14
5	1426	14
done	5000	14
0	14	25
1	34	25
2	72	25
3	167	14
4	436	14
5	1039	14
6	3779	14
done	5001	14
0	12	14
1	28	14
2	59	13
3	120	13
4	294	13
5	886	13
6	3797	13
done	5001	13
0	13	14
1	31	14
2	57	14
3	94	14
4	165	14
5	321	14
6	967	14
7	3343	14
done	5000	14
0	12	14
1	28	14
2	59	14
3	120	14
4	294	14
5	859	14
6	3809	14
done	5001	14
0	4	5
1	15	1
2	19	1
3	23	1
done	23	1
0	11	13
1	27	13
2	58	13
3	135	13
4	399	13
5	1461	13
done	5000	13
0	14	15
1	31	15
2	54	15
3	107	15
4	203	15
5	396	15
6	1234	15
7	4333	15
done	5000	15
0	13	15
1	29	15
2	58	15
3	135	15
4	349	15
5	1027	15
6	4613	15
done	5000	15
0	15	16
1	32	16
2	55	16
3	108	16
4	210	16
5	447	16
6	1418	16
7	4886	16
done	5000	16
0	14	16
1	30	16
2	61	16
3	138	16
4	360	16
5	1101	16
6	4955	16
done	5000	16
0	4	5
1	15	1
2	19	1
3	23	1
done	23	1
0	11	13
1	27	13
2	58	13
3	135	13
4	399	13
5	1461	13
done	5000	13
0	3	3
1	13	1
done	13	1
0	11	13
1	27	13
2	58	13
3	135	13
4	399	13
5	1461	13
done	5000	13
0	3	3
1	11	3
2	17	3
3	27	3
4	50	3
5	113	3
6	327	3
7	1246	3
done	5000	3
0	12	13
1	30	13
2	56	13
3	109	13
4	270	13
5	939	13
6	4313	13
done	5001	13
0	11	13
1	27	13
2	61	13
3	135	13
4	412	13
5	1528	13
done	5000	13
0	5	5
1	17	5
2	52	5
3	124	5
4	231	5
5	605	5
6	2400	5
done	5000	5
0	13	17
1	45	17
2	142	17
3	545	17
4	3097	17
done	5000	17
0	14	31
1	44	27
2	135	27
3	572	25
4	4290	25
done	5001	25
0	13	23
1	40	23
2	108	23
3	369	23
4	1777	23
done	5000	23
0	10	11
1	22	11
2	48	11
3	131	11
4	479	11
5	1789	11
done	5000	11
0	3	3
1	11	3
2	17	3
3	27	3
4	50	3
5	113	3
6	327	3
7	1246	3
done	5000	3
0	10	11
1	23	11
2	48	11
3	137	11
4	532	11
5	2227	11
done	5000	11
0	10	23
1	19	23
2	32	23
3	48	23
4	103	23
5	290	23
6	859	21
7	3167	21
done	5001	21
0	12	14
1	28	14
2	60	14
3	137	14
4	402	14
5	1468	14
done	5001	14
0	12	14
1	28	14
2	60	14
3	137	14
4	402	14
5	1468	14
done	5001	14
0	13	15
1	22	13
2	35	13
3	48	13
4	72	13
5	136	13
6	349	13
7	1276	13
done	5001	13
0	13	15
1	22	13
2	35	13
3	48	13
4	72	13
5	136	13
6	349	13
7	1276	13
done	5001	13
0	16	18
1	34	14
2	67	14
3	149	14
4	416	14
5	1490	14
done	5000	14
0	15	17
1	33	14
2	67	14
3	144	14
4	408	14
5	1478	14
done	5000	14
0	15	17
1	36	14
2	72	14
3	152	14
4	422	14
5	1492	14
done	5000	14
0	16	35
1	34	29
2	68	29
3	145	29
4	409	29
5	1473	29
done	5000	29
0	15	17
1	33	14
2	67	14
3	144	14
4	408	14
5	1478	14
done	5000	14
0	16	50
1	35	41
2	82	15
3	207	15
4	630	15
5	2318	15
done	5000	15
0	15	17
1	33	14
2	67	14
3	144	14
4	408	14
5	1478	14
done	5000	14
0	15	17
1	33	14
2	67	14
3	144	14
4	408	14
5	1478	14
done	5000	14
0	16	20
1	41	17
2	90	17
3	219	17
4	702	17
5	2650	17
done	5001	17
0	18	50
1	40	29
2	85	29
3	173	29
4	447	29
5	1565	29
done	5000	29
0	13	15
1	29	12
2	62	12
3	139	12
4	403	12
5	1470	12
done	5001	12
0	16	33
1	36	27
2	74	27
3	174	27
4	485	27
5	1640	27
done	5000	27
0	14	16
1	31	13
2	62	13
3	139	13
4	403	13
5	1464	13
done	5001	13
0	16	18
1	30	15
2	43	15
3	61	15
4	87	15
5	157	15
6	413	15
7	1407	15
done	5001	15
0	16	18
1	31	15
2	45	15
3	63	15
4	89	15
5	160	15
6	404	15
7	1379	15
done	5000	15
0	17	19
1	34	16
2	65	16
3	126	16
4	291	16
5	823	16
6	3662	16
done	5000	16
0	17	19
1	35	16
2	69	16
3	130	16
4	295	16
5	826	16
6	3659	16
done	5001	16
0	16	18
1	30	15
2	43	15
3	61	15
4	87	15
5	157	15
6	413	15
7	1407	15
done	5001	15
0	16	18
1	31	15
2	45	15
3	63	15
4	89	15
5	160	15
6	404	15
7	1379	15
done	5000	15
0	17	19
1	34	16
2	65	16
3	126	16
4	291	16
5	823	16
6	3662	16
done	5000	16
0	17	19
1	35	16
2	69	16
3	130	16
4	295	16
5	826	16
6	3659	16
done	5001	16
0	16	18
1	33	18
2	65	18
3	142	18
4	407	18
5	1470	18
done	5000	18
0	16	18
1	34	18
2	67	18
3	144	18
4	409	18
5	1475	18
done	5000	18
0	17	19
1	27	17
2	40	17
3	54	17
4	82	17
5	145	17
6	356	17
7	1284	17
done	5000	17
0	17	19
1	28	17
2	42	17
3	60	17
4	84	17
5	145	17
6	359	17
7	1279	17
done	5000	17
0	16	18
1	33	15
2	64	15
3	141	15
4	405	15
5	1472	15
done	5000	15
0	16	18
1	34	15
2	66	15
3	143	15
4	407	15
5	1470	15
done	5000	15
0	14	16
1	32	13
2	66	13
3	143	13
4	407	13
5	1476	13
done	5000	13
0	13	15
1	29	12
2	62	12
3	139	12
4	403	12
5	1470	12
done	5001	12
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1

prune299.0ms

Filtered

122 candidates to 210 candidates (-72.1%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	210	0	210
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	210	5	215

Merged error: 0b

Counts

215 → 5

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b	(- x (/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t))))
0.9b	(- (* (* z 2.0) z) (* y t))
17.6b	(/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t)))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 51

Calls

3 calls:

9.0ms	(- x (/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t))))
5.0ms	(- (* (* z 2.0) z) (* y t))
16.0ms	(/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t)))

series68.0ms

Counts

3 → 9

Calls

3 calls:

29.0ms	(- x (/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t))))
9.0ms	(- (* (* z 2.0) z) (* y t))
29.0ms	(/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t)))

simplify1.8min

Counts

60 → 60

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	15	19
1	28	19
2	59	19
3	96	19
4	123	19
5	158	19
6	222	19
7	402	19
8	479	19
9	572	19
10	642	19
done	642	19
0	14	18
1	28	18
2	52	18
3	86	18
4	120	18
5	154	18
6	219	18
7	398	18
8	475	18
9	568	18
10	637	18
done	637	18
0	13	17
1	26	17
2	54	17
3	85	17
4	131	17
5	152	17
6	187	17
7	251	17
8	431	17
9	508	17
10	600	17
11	667	17
done	667	17
0	12	16
1	25	16
2	65	16
3	143	16
4	372	16
5	763	14
6	2436	12
done	5000	12
0	12	16
1	22	16
2	51	16
3	99	16
4	260	16
5	598	14
6	2275	12
done	5001	12
0	19	47
1	45	47
2	215	23
3	1459	23
done	5000	23
0	17	47
1	47	47
2	212	21
3	1518	21
done	5001	21
0	15	47
1	41	47
2	213	19
3	1736	17
done	5001	17
0	13	33
1	23	33
2	52	33
3	98	33
4	245	33
5	549	29
6	2092	25
done	5001	25
0	12	16
1	22	16
2	51	16
3	97	16
4	244	16
5	548	14
6	2086	12
done	5000	12
0	13	47
1	30	47
2	102	17
3	508	17
4	3828	17
done	5001	17
0	12	16
1	22	16
2	51	16
3	97	16
4	244	16
5	548	14
6	2086	12
done	5000	12
0	12	16
1	22	16
2	51	16
3	97	16
4	244	16
5	548	14
6	2086	12
done	5000	12
0	6	6
1	14	6
2	35	6
3	53	6
done	53	6
0	9	10
1	14	10
2	27	10
3	49	10
4	72	9
done	72	9
0	12	25
1	25	25
2	49	25
3	62	25
4	66	25
done	66	25
0	10	12
1	15	12
2	25	12
done	25	12
0	11	14
1	19	14
2	33	14
3	36	14
4	37	14
done	37	14
0	10	12
1	15	12
2	25	12
done	25	12
0	5	5
1	10	3
2	18	3
3	27	3
4	32	3
done	32	3
0	9	11
1	14	11
2	24	11
done	24	11
0	10	11
1	17	11
2	27	11
done	27	11
0	11	15
1	24	15
2	98	15
3	393	13
4	1200	9
done	5000	9
0	13	27
1	28	27
2	73	27
3	146	27
4	248	27
5	282	27
done	282	27
0	12	16
1	22	16
2	48	16
3	68	16
4	92	16
5	105	16
done	105	16
0	7	7
1	15	5
2	35	5
3	71	5
4	136	5
5	176	5
done	176	5
0	9	11
1	17	11
2	37	11
3	58	11
4	92	9
5	206	9
6	425	9
7	1020	9
8	2417	9
done	5000	9
0	14	19
1	43	19
2	151	19
3	584	19
4	2613	19
done	5000	19
0	13	25
1	40	25
2	128	25
3	356	25
4	1094	23
5	3442	21
done	5000	17
0	10	11
1	19	10
2	38	10
3	77	10
4	194	10
5	731	10
6	4672	10
done	5000	10
0	9	10
1	14	10
2	24	10
done	24	10
0	9	10
1	17	10
2	37	10
3	65	10
4	146	10
5	586	10
6	3267	10
done	5000	10
0	10	21
1	15	21
2	25	21
done	25	21
0	9	10
1	14	10
2	24	10
done	24	10
0	10	29
1	16	29
2	40	11
3	147	11
4	634	11
5	2604	11
done	5000	11
0	9	10
1	14	10
2	24	10
done	24	10
0	9	10
1	14	10
2	24	10
done	24	10
0	11	13
1	35	13
2	124	13
3	467	13
4	1227	13
5	3646	13
done	5001	13
0	12	29
1	40	25
2	118	25
3	239	23
4	328	23
5	349	21
6	382	21
7	483	21
8	810	21
9	1951	21
done	5000	21
0	4	4
1	9	4
2	11	4
done	11	4
0	10	19
1	32	19
2	88	19
3	173	19
4	269	17
5	464	15
6	807	15
7	1524	15
8	4221	15
done	5000	15
0	8	9
1	12	9
2	15	9
done	15	9
0	4	4
1	9	4
2	11	4
done	11	4
0	15	19
1	27	18
2	58	18
3	120	18
4	344	18
5	811	16
6	2759	14
done	5001	14
0	14	18
1	26	18
2	60	18
3	133	18
4	354	18
5	752	16
6	2625	14
done	5001	14
0	14	18
1	29	18
2	65	18
3	143	18
4	386	18
5	851	16
6	3042	14
done	5001	14
0	15	37
1	27	37
2	61	37
3	134	37
4	355	37
5	753	33
6	2629	29
done	5000	29
0	14	18
1	26	18
2	60	18
3	133	18
4	354	18
5	752	16
6	2625	14
done	5001	14
0	15	53
1	28	53
2	76	19
3	209	19
4	934	19
done	5000	19
0	14	18
1	26	18
2	60	18
3	133	18
4	354	18
5	752	16
6	2625	14
done	5001	14
0	14	18
1	26	18
2	60	18
3	133	18
4	354	18
5	752	16
6	2625	14
done	5001	14
0	16	21
1	44	21
2	132	21
3	601	21
4	4701	21
done	5000	21
0	17	53
1	40	37
2	116	37
3	440	37
4	2029	37
done	5000	37
0	12	16
1	24	16
2	63	16
3	147	16
4	367	16
5	871	14
6	3478	12
done	5001	12
0	15	35
1	34	35
2	96	35
3	412	35
4	2429	35
done	5000	35
0	13	17
1	24	17
2	53	17
3	99	17
4	246	17
5	550	15
6	2069	13
done	5000	13
0	15	19
1	26	19
2	55	19
3	100	19
4	247	19
5	551	17
6	2080	15
done	5001	15
0	15	19
1	27	19
2	57	19
3	102	19
4	249	19
5	553	17
6	2072	15
done	5000	15
0	13	17
1	25	17
2	59	17
3	132	17
4	353	17
5	751	15
6	2643	13
done	5000	13
0	12	16
1	24	16
2	63	16
3	147	16
4	367	16
5	871	14
6	3478	12
done	5001	12
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	9	9
1	18	9
2	41	9
3	46	9
4	52	9
5	62	9
6	84	9
7	152	9
8	365	9
9	1301	9
done	5000	9
0	9	9
1	18	9
2	41	9
3	46	9
4	52	9
5	62	9
6	84	9
7	152	9
8	365	9
9	1301	9
done	5000	9
0	9	9
1	18	9
2	41	9
3	46	9
4	52	9
5	62	9
6	84	9
7	152	9
8	365	9
9	1301	9
done	5000	9
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1

prune96.0ms

Filtered

48 candidates to 60 candidates (-25.0%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	60	0	60
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	60	5	65

Merged error: 0b

Counts

65 → 5

regimes380.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

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

end0.0ms

sample879.0ms

Algorithm

intervals

Results

450.0ms

8000×

body

valid

Details

sample31.0ms

simplify2.8s

prune18.0ms

localize10.0ms

rewrite47.0ms

series35.0ms

simplify55.0s

prune148.0ms

localize12.0ms

rewrite172.0ms

series261.0ms

simplify1.9min

prune715.0ms

localize17.0ms

rewrite98.0ms

series50.0ms

simplify10.5min

prune299.0ms

localize12.0ms

rewrite32.0ms

series68.0ms

simplify1.8min

prune96.0ms

regimes380.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample879.0ms

Profiling