Details

sample13.0ms

Algorithm

intervals

Results

6.0ms

256×

body

valid

simplify3.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	5	7
1	8	7
2	9	7
done	9	7

prune2.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 0.0b

Counts

2 → 1

localize4.0ms

Local error

Found 1 expressions with local error:

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

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

34×	`*-un-lft-identity`
22×	`add-sqr-sqrt`
20×	`times-frac`
12×	`add-cube-cbrt`
6×	`distribute-lft-out`
5×	`associate-/r*` `distribute-lft-out--` `difference-of-squares`
4×	`associate-/l*`
3×	`add-exp-log` `add-cbrt-cube`
2×	`associate-/r/` `associate-/l/`
1×	`pow1` `cbrt-undiv` `flip3--` `frac-2neg` `flip3-+` `div-exp` `clear-num` `flip--` `flip-+` `div-inv` `add-log-exp`

Counts

1 → 45

Calls

1 calls:

13.0ms

(/ (+ x 1.0) (- 1.0 x))

series4.0ms

Counts

1 → 3

Calls

1 calls:

4.0ms

(/ (+ x 1.0) (- 1.0 x))

simplify27.4s

Counts

48 → 48

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	12	9
2	14	9
done	14	9
0	6	8
1	12	8
2	15	8
3	16	8
done	16	8
0	6	8
1	9	8
2	10	8
done	10	8
0	9	23
1	33	23
2	108	11
3	291	9
4	813	9
5	2446	9
done	5000	9
0	7	17
1	10	17
2	11	17
done	11	17
0	6	8
1	9	8
2	10	8
done	10	8
0	7	23
1	17	23
2	50	9
3	128	9
4	336	9
5	825	9
6	2030	9
done	5001	9
0	6	8
1	9	8
2	10	8
done	10	8
0	6	8
1	9	8
2	10	8
done	10	8
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	9	19
1	18	19
2	28	19
3	34	19
done	34	19
0	7	9
1	10	9
2	11	9
done	11	9
0	8	14
1	13	14
2	16	14
3	17	14
done	17	14
0	7	9
1	10	9
2	11	9
done	11	9
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	6	8
1	9	8
2	10	8
done	10	8
0	9	15
1	13	15
2	15	15
3	16	15
done	16	15
0	8	10
1	11	10
2	12	10
done	12	10
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	6	8
1	9	8
2	10	8
done	10	8
0	8	14
1	13	14
2	14	14
done	14	14
0	7	9
1	10	9
2	11	9
done	11	9
0	7	9
1	10	9
2	11	9
done	11	9
0	7	9
1	10	9
2	11	9
done	11	9
0	6	6
1	9	4
2	11	4
done	11	4
0	6	8
1	9	8
2	10	8
done	10	8
0	8	10
1	10	10
done	10	10
0	8	10
1	11	10
2	12	10
done	12	10
0	6	6
1	9	4
2	11	4
done	11	4
0	6	8
1	9	8
2	10	8
done	10	8
0	7	11
1	13	11
2	14	11
done	14	11
0	6	8
1	9	8
2	10	8
done	10	8
0	6	6
1	10	6
2	11	6
done	11	6
0	6	8
1	9	8
2	10	8
done	10	8
0	2	3
1	4	1
done	4	1
0	5	7
1	8	7
2	9	7
done	9	7
0	7	7
1	10	7
done	10	7
0	7	9
1	10	9
2	11	9
done	11	9
0	2	3
1	4	1
done	4	1
0	5	7
1	8	7
2	9	7
done	9	7
0	7	11
1	13	11
2	14	11
done	14	11
0	6	8
1	9	8
2	10	8
done	10	8
0	6	6
1	10	6
2	11	6
done	11	6
0	6	8
1	9	8
2	10	8
done	10	8
0	2	3
1	4	1
done	4	1
0	5	7
1	8	7
2	9	7
done	9	7
0	7	7
1	10	7
done	10	7
0	7	9
1	10	9
2	11	9
done	11	9
0	2	3
1	4	1
done	4	1
0	5	7
1	8	7
2	9	7
done	9	7
0	5	5
1	9	5
2	10	5
done	10	5
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	7	13
1	12	13
2	13	13
done	13	13
0	6	8
1	9	8
2	10	8
done	10	8
0	5	5
1	8	3
2	10	3
done	10	3
0	7	9
1	9	9
done	9	9
0	5	5
1	8	3
2	10	3
done	10	3
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	8	11
1	24	11
2	46	11
3	82	11
4	176	11
5	518	11
6	2314	11
done	5000	11
0	7	11
1	12	11
2	20	11
3	38	5
4	65	5
5	106	5
6	166	5
7	334	5
8	1613	5
done	5000	5
0	9	15
1	25	13
2	72	13
3	190	13
4	460	13
5	1173	13
6	2565	13
7	4874	13
done	5000	13
0	5	7
1	10	7
2	24	7
3	58	7
4	118	7
5	203	7
6	302	7
7	453	7
8	593	7
9	640	7
10	653	7
done	653	7
0	9	11
1	20	11
2	42	9
3	55	9
4	69	9
5	87	9
6	133	9
7	242	9
8	479	9
9	1419	9
done	5000	9
0	12	16
1	30	16
2	74	12
3	171	11
4	413	11
5	1292	9
done	5000	9
0	12	16
1	30	16
2	74	12
3	171	11
4	413	11
5	1292	9
done	5000	9

prune71.0ms

Filtered

33 candidates to 48 candidates (-45.5%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	45	3	48
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	46	3	49

Merged error: 0b

Counts

49 → 3

localize6.0ms

Local error

Found 2 expressions with local error:

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

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

178×	`times-frac`
174×	`*-un-lft-identity`
122×	`add-sqr-sqrt`
80×	`add-cube-cbrt`
30×	`associate-/r*`
26×	`distribute-lft-out`
21×	`distribute-lft-out--` `difference-of-squares`
15×	`add-exp-log`
11×	`associate-/r/`
9×	`add-cbrt-cube`
8×	`div-exp` `associate-/l*`
6×	`div-inv`
5×	`flip3-+` `flip-+`
4×	`cbrt-undiv`
3×	`pow1`
2×	`rec-exp` `frac-2neg` `1-exp` `clear-num` `associate-/l/` `add-log-exp`
1×	`flip3--` `pow-flip` `div-sub` `flip--` `inv-pow`

Counts

2 → 174

Calls

2 calls:

13.0ms	(/ 1 (/ (- 1.0 x) (+ x 1.0)))
9.0ms	(/ (- 1.0 x) (+ x 1.0))

series7.0ms

Counts

2 → 6

Calls

2 calls:

3.0ms	(/ 1 (/ (- 1.0 x) (+ x 1.0)))
3.0ms	(/ (- 1.0 x) (+ x 1.0))

simplify1.4min

Counts

180 → 180

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	12	9
2	14	9
done	14	9
0	6	8
1	15	8
2	20	8
3	23	8
done	23	8
0	6	8
1	12	8
2	18	8
3	22	8
4	25	8
5	31	8
6	35	8
7	51	8
8	57	8
9	64	8
10	73	8
11	94	8
12	115	8
13	132	8
14	139	8
15	145	8
16	148	8
done	148	8
0	9	23
1	33	23
2	111	11
3	305	9
4	851	9
5	2997	9
done	5001	9
0	7	17
1	13	17
2	16	17
3	18	17
done	18	17
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	7	23
1	20	23
2	51	9
3	177	9
4	589	9
5	1821	9
done	5000	9
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	4	5
1	5	5
done	5	5
0	4	5
1	5	5
done	5	5
0	9	19
1	18	19
2	28	19
3	34	19
done	34	19
0	7	9
1	10	9
2	11	9
done	11	9
0	8	14
1	13	14
2	16	14
3	17	14
done	17	14
0	7	9
1	10	9
2	11	9
done	11	9
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	6	8
1	9	8
2	10	8
done	10	8
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	6	8
1	9	8
2	10	8
done	10	8
0	8	14
1	13	14
2	14	14
done	14	14
0	7	9
1	10	9
2	11	9
done	11	9
0	7	9
1	10	9
2	11	9
done	11	9
0	7	9
1	10	9
2	11	9
done	11	9
0	6	6
1	10	4
2	13	4
done	13	4
0	6	8
1	9	8
2	10	8
done	10	8
0	6	6
1	10	4
2	13	4
done	13	4
0	6	8
1	9	8
2	10	8
done	10	8
0	7	11
1	12	11
done	12	11
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	6	6
1	9	6
done	9	6
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	2	3
1	4	1
done	4	1
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	2	3
1	4	1
done	4	1
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	9	15
1	13	15
done	13	15
0	8	10
1	14	10
2	17	10
3	19	10
done	19	10
0	8	10
1	10	10
done	10	10
0	8	10
1	14	10
2	17	10
3	19	10
done	19	10
0	7	7
1	10	5
2	12	5
done	12	5
0	7	9
1	13	9
2	16	9
3	18	9
done	18	9
0	7	7
1	10	5
2	12	5
done	12	5
0	7	9
1	13	9
2	16	9
3	18	9
done	18	9
0	7	11
1	12	11
done	12	11
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	6	6
1	9	6
done	9	6
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	2	3
1	4	1
done	4	1
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	2	3
1	4	1
done	4	1
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	5	5
1	8	5
done	8	5
0	5	7
1	8	7
2	9	7
done	9	7
0	7	13
1	15	13
2	23	13
3	28	13
4	31	13
done	31	13
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	5	5
1	12	3
2	17	3
done	17	3
0	5	5
1	12	3
2	17	3
done	17	3
0	6	8
1	9	8
2	10	8
done	10	8
0	6	8
1	9	8
2	10	8
done	10	8
0	5	7
1	8	7
2	9	7
done	9	7
0	7	9
1	10	9
2	11	9
done	11	9
0	5	7
1	8	7
2	9	7
done	9	7
0	8	11
1	27	11
2	39	11
3	58	11
4	97	11
5	211	11
6	617	11
7	2464	11
done	5000	11
0	7	11
1	17	11
2	33	11
3	59	11
4	92	11
5	135	11
6	197	11
7	364	11
8	1665	11
done	5000	11
0	9	15
1	23	13
2	73	13
3	157	13
4	301	13
5	590	13
6	841	13
7	972	13
8	1052	13
9	1323	13
10	2456	13
done	5000	13
0	5	7
1	12	7
2	25	7
3	41	7
4	64	7
5	80	7
6	87	7
7	89	7
done	89	7
0	2	2
1	5	1
done	5	1
0	8	10
1	13	10
2	18	10
3	20	10
4	21	9
done	21	9
0	7	9
1	16	9
2	21	9
3	27	9
4	29	9
5	30	9
done	30	9
0	9	11
1	18	10
2	32	10
3	51	9
4	80	9
5	107	9
6	115	9
7	131	9
done	131	9
0	8	10
1	19	9
2	30	9
3	45	9
4	71	9
5	101	9
6	107	9
7	113	9
8	128	9
done	128	9
0	10	12
1	21	11
2	30	10
3	55	9
4	85	9
5	112	9
6	122	9
7	138	9
done	138	9
0	9	11
1	22	10
2	30	9
3	49	9
4	75	9
5	105	9
6	111	9
7	117	9
8	131	9
done	131	9
0	8	10
1	22	9
2	42	9
3	70	8
4	130	8
5	183	8
6	205	8
7	212	8
8	222	8
done	222	8
0	8	10
1	18	10
2	34	10
3	59	8
4	126	8
5	201	8
6	378	8
7	911	8
8	3174	8
done	5000	8
0	13	29
1	44	25
2	152	13
3	559	11
4	2179	11
done	5001	11
0	11	29
1	33	25
2	84	11
3	335	11
4	1193	9
5	3722	9
done	5000	9
0	9	21
1	19	21
2	33	21
3	48	17
4	92	17
5	117	17
6	121	17
7	124	17
done	124	17
0	8	10
1	18	10
2	32	10
3	47	8
4	91	8
5	116	8
6	120	8
7	123	8
done	123	8
0	9	29
1	26	29
2	75	11
3	334	9
4	1111	9
5	2586	9
done	5001	9
0	8	10
1	18	10
2	32	10
3	47	8
4	91	8
5	116	8
6	120	8
7	123	8
done	123	8
0	8	10
1	18	10
2	32	10
3	47	8
4	91	8
5	116	8
6	120	8
7	123	8
done	123	8
0	2	2
1	5	1
done	5	1
0	6	8
1	14	8
2	20	8
3	27	8
4	31	7
5	32	7
done	32	7
0	11	23
1	25	21
2	37	19
3	45	19
done	45	19
0	9	11
1	17	10
2	20	10
3	22	10
done	22	10
0	10	14
1	20	12
2	25	10
3	28	10
done	28	10
0	9	11
1	17	10
2	20	10
3	22	10
done	22	10
0	13	25
1	28	23
2	65	21
3	135	19
4	192	19
done	192	19
0	10	12
1	17	11
2	21	11
3	22	9
4	35	9
5	40	9
done	40	9
0	12	20
1	23	18
2	42	16
3	75	14
4	96	14
done	96	14
0	10	12
1	17	11
2	21	11
3	22	9
4	35	9
5	40	9
done	40	9
0	10	17
1	20	11
2	35	11
3	44	11
done	44	11
0	9	11
1	16	10
2	28	10
3	41	8
4	76	8
5	89	8
done	89	8
0	10	17
1	20	11
2	35	11
3	44	11
done	44	11
0	9	11
1	16	10
2	28	10
3	41	8
4	76	8
5	89	8
done	89	8
0	12	20
1	23	18
2	39	16
3	59	14
4	63	14
done	63	14
0	10	12
1	17	11
2	21	11
3	22	9
4	35	9
5	40	9
done	40	9
0	11	15
1	20	13
2	30	11
3	38	9
4	39	9
done	39	9
0	10	12
1	17	11
2	21	11
3	22	9
4	35	9
5	40	9
done	40	9
0	9	12
1	17	6
2	23	6
done	23	6
0	9	11
1	16	10
2	28	10
3	41	8
4	76	8
5	89	8
done	89	8
0	9	12
1	17	6
2	23	6
done	23	6
0	9	11
1	16	10
2	28	10
3	41	8
4	76	8
5	89	8
done	89	8
0	10	17
1	19	15
2	34	11
3	50	9
4	58	9
5	59	9
done	59	9
0	9	11
1	19	10
2	25	10
3	28	8
4	50	8
5	63	8
done	63	8
0	9	12
1	16	10
2	25	6
3	33	4
done	33	4
0	9	11
1	19	10
2	25	10
3	28	8
4	50	8
5	63	8
done	63	8
0	5	9
1	11	1
done	11	1
0	8	10
1	18	9
2	32	9
3	47	7
4	91	7
5	118	7
6	122	7
7	125	7
done	125	7
0	5	9
1	11	1
done	11	1
0	8	10
1	18	9
2	32	9
3	47	7
4	91	7
5	118	7
6	122	7
7	125	7
done	125	7
0	13	21
1	23	19
2	38	17
3	58	15
4	62	15
done	62	15
0	11	13
1	21	12
2	27	12
3	30	10
4	52	10
5	65	10
done	65	10
0	12	16
1	20	14
2	29	12
3	37	10
4	38	10
done	38	10
0	11	13
1	21	12
2	27	12
3	30	10
4	52	10
5	65	10
done	65	10
0	10	13
1	17	7
2	22	7
done	22	7
0	10	12
1	20	11
2	34	11
3	49	9
4	93	9
5	120	9
6	124	9
7	128	9
done	128	9
0	10	13
1	17	7
2	22	7
done	22	7
0	10	12
1	20	11
2	34	11
3	49	9
4	93	9
5	120	9
6	124	9
7	128	9
done	128	9
0	10	17
1	19	15
2	34	11
3	50	9
4	58	9
5	59	9
done	59	9
0	9	11
1	19	10
2	25	10
3	28	8
4	50	8
5	63	8
done	63	8
0	9	12
1	16	10
2	25	6
3	33	4
done	33	4
0	9	11
1	19	10
2	25	10
3	28	8
4	50	8
5	63	8
done	63	8
0	5	9
1	11	1
done	11	1
0	8	10
1	18	9
2	32	9
3	47	7
4	91	7
5	118	7
6	122	7
7	125	7
done	125	7
0	5	9
1	11	1
done	11	1
0	8	10
1	18	9
2	32	9
3	47	7
4	91	7
5	118	7
6	122	7
7	125	7
done	125	7
0	4	7
1	8	3
2	12	1
done	12	1
0	8	10
1	18	9
2	32	9
3	47	7
4	91	7
5	118	7
6	122	7
7	125	7
done	125	7
0	7	9
1	13	7
2	19	5
3	22	5
done	22	5
0	7	8
1	12	7
2	23	5
3	28	3
4	40	3
done	40	3
0	12	17
1	37	15
2	69	13
3	143	11
4	324	11
5	954	11
6	2894	11
done	5000	11
0	10	14
1	20	11
2	35	11
3	48	11
4	68	11
5	89	11
6	106	11
7	129	11
8	172	11
9	234	11
10	235	11
done	235	11
0	11	17
1	27	15
2	63	13
3	166	11
4	437	11
5	829	11
6	1150	11
7	1832	11
done	5000	11
0	6	6
1	10	5
2	11	5
done	11	5
0	10	20
1	20	19
2	23	19
3	25	19
done	25	19
0	9	11
1	17	10
2	20	10
3	22	10
done	22	10
0	9	11
1	17	10
2	20	10
3	22	10
done	22	10
0	9	11
1	17	10
2	20	10
3	22	10
done	22	10
0	12	22
1	25	21
2	47	21
3	78	19
4	138	19
5	205	19
done	205	19
0	10	12
1	17	11
2	21	11
3	22	9
4	35	9
5	40	9
done	40	9
0	11	17
1	20	16
2	29	16
3	42	14
4	69	14
5	101	14
done	101	14
0	10	12
1	17	11
2	21	11
3	22	9
4	35	9
5	40	9
done	40	9
0	9	14
1	17	11
2	29	11
3	38	11
done	38	11
0	9	11
1	16	10
2	28	10
3	41	8
4	76	8
5	89	8
done	89	8
0	9	14
1	17	11
2	29	11
3	38	11
done	38	11
0	9	11
1	16	10
2	28	10
3	41	8
4	76	8
5	89	8
done	89	8
0	11	17
1	20	16
2	28	16
3	36	14
4	60	14
5	73	14
done	73	14
0	10	12
1	17	11
2	21	11
3	22	9
4	35	9
5	40	9
done	40	9
0	10	12
1	17	11
2	21	11
3	22	9
4	35	9
5	40	9
done	40	9
0	10	12
1	17	11
2	21	11
3	22	9
4	35	9
5	40	9
done	40	9
0	8	9
1	14	6
2	20	6
done	20	6
0	9	11
1	16	10
2	28	10
3	41	8
4	76	8
5	89	8
done	89	8
0	8	9
1	14	6
2	20	6
done	20	6
0	9	11
1	16	10
2	28	10
3	41	8
4	76	8
5	89	8
done	89	8
0	9	14
1	16	13
2	23	11
3	32	9
4	45	9
5	47	9
done	47	9
0	9	11
1	19	10
2	25	10
3	28	8
4	50	8
5	63	8
done	63	8
0	8	9
1	13	8
2	16	6
3	21	4
4	25	4
done	25	4
0	9	11
1	19	10
2	25	10
3	28	8
4	50	8
5	63	8
done	63	8
0	4	6
1	8	1
done	8	1
0	8	10
1	18	9
2	32	9
3	47	7
4	91	7
5	118	7
6	122	7
7	125	7
done	125	7
0	4	6
1	8	1
done	8	1
0	8	10
1	18	9
2	32	9
3	47	7
4	91	7
5	118	7
6	122	7
7	125	7
done	125	7
0	12	18
1	20	17
2	27	17
3	35	15
4	59	15
5	74	15
done	74	15
0	11	13
1	21	12
2	27	12
3	30	10
4	52	10
5	65	10
done	65	10
0	11	13
1	17	12
2	20	12
3	21	10
4	34	10
5	39	10
done	39	10
0	11	13
1	21	12
2	27	12
3	30	10
4	52	10
5	65	10
done	65	10
0	9	10
1	14	7
2	19	7
done	19	7
0	10	12
1	20	11
2	34	11
3	49	9
4	93	9
5	120	9
6	124	9
7	128	9
done	128	9
0	9	10
1	14	7
2	19	7
done	19	7
0	10	12
1	20	11
2	34	11
3	49	9
4	93	9
5	120	9
6	124	9
7	128	9
done	128	9
0	9	14
1	16	13
2	23	11
3	32	9
4	45	9
5	47	9
done	47	9
0	9	11
1	19	10
2	25	10
3	28	8
4	50	8
5	63	8
done	63	8
0	8	9
1	13	8
2	16	6
3	21	4
4	25	4
done	25	4
0	9	11
1	19	10
2	25	10
3	28	8
4	50	8
5	63	8
done	63	8
0	4	6
1	8	1
done	8	1
0	8	10
1	18	9
2	32	9
3	47	7
4	91	7
5	118	7
6	122	7
7	125	7
done	125	7
0	4	6
1	8	1
done	8	1
0	8	10
1	18	9
2	32	9
3	47	7
4	91	7
5	118	7
6	122	7
7	125	7
done	125	7
0	3	4
1	5	1
done	5	1
0	8	10
1	18	9
2	32	9
3	47	7
4	91	7
5	118	7
6	122	7
7	125	7
done	125	7
0	6	6
1	10	5
2	11	5
done	11	5
0	7	8
1	12	7
2	23	5
3	28	3
4	40	3
done	40	3
0	11	14
1	34	13
2	57	13
3	113	11
4	292	11
5	965	11
6	2840	11
done	5000	11
0	10	14
1	20	11
2	35	11
3	48	11
4	68	11
5	89	11
6	106	11
7	129	11
8	172	11
9	234	11
10	235	11
done	235	11
0	10	14
1	24	13
2	51	13
3	130	11
4	373	11
5	826	11
6	1140	11
7	1785	11
done	5000	11
0	6	6
1	10	5
2	11	5
done	11	5
0	9	19
1	19	19
2	22	19
3	24	19
done	24	19
0	8	10
1	16	10
2	19	10
3	21	10
done	21	10
0	8	10
1	16	10
2	19	10
3	21	10
done	21	10
0	8	10
1	16	10
2	19	10
3	21	10
done	21	10
0	11	21
1	24	21
2	46	21
3	75	19
4	135	19
5	200	19
done	200	19
0	9	11
1	16	11
2	20	11
3	21	9
4	34	9
5	39	9
done	39	9
0	10	16
1	19	16
2	28	16
3	41	14
4	68	14
5	105	14
done	105	14
0	9	11
1	16	11
2	20	11
3	21	9
4	34	9
5	39	9
done	39	9
0	8	13
1	16	11
2	28	11
3	37	11
done	37	11
0	8	10
1	15	10
2	27	10
3	40	8
4	75	8
5	88	8
done	88	8
0	8	13
1	16	11
2	28	11
3	37	11
done	37	11
0	8	10
1	15	10
2	27	10
3	40	8
4	75	8
5	88	8
done	88	8
0	10	16
1	19	16
2	27	16
3	35	14
4	59	14
5	76	14
done	76	14
0	9	11
1	16	11
2	20	11
3	21	9
4	34	9
5	39	9
done	39	9
0	9	11
1	16	11
2	20	11
3	21	9
4	34	9
5	39	9
done	39	9
0	9	11
1	16	11
2	20	11
3	21	9
4	34	9
5	39	9
done	39	9
0	7	8
1	13	6
2	19	6
done	19	6
0	8	10
1	15	10
2	27	10
3	40	8
4	75	8
5	88	8
done	88	8
0	7	8
1	13	6
2	19	6
done	19	6
0	8	10
1	15	10
2	27	10
3	40	8
4	75	8
5	88	8
done	88	8
0	8	13
1	15	9
2	24	9
3	37	9
4	46	9
5	47	9
done	47	9
0	8	10
1	18	10
2	24	10
3	27	8
4	49	8
5	62	8
done	62	8
0	7	8
1	12	4
2	17	4
3	19	4
4	20	4
done	20	4
0	8	10
1	18	10
2	24	10
3	27	8
4	49	8
5	62	8
done	62	8
0	3	5
1	6	1
done	6	1
0	7	9
1	17	9
2	31	9
3	46	7
4	90	7
5	115	7
6	119	7
7	122	7
done	122	7
0	3	5
1	6	1
done	6	1
0	7	9
1	17	9
2	31	9
3	46	7
4	90	7
5	115	7
6	119	7
7	122	7
done	122	7
0	11	17
1	19	17
2	26	17
3	34	15
4	58	15
5	73	15
done	73	15
0	10	12
1	20	12
2	26	12
3	29	10
4	51	10
5	66	10
done	66	10
0	10	12
1	16	12
2	19	12
3	20	10
4	33	10
5	40	10
done	40	10
0	10	12
1	20	12
2	26	12
3	29	10
4	51	10
5	66	10
done	66	10
0	8	9
1	13	7
2	18	7
done	18	7
0	9	11
1	19	11
2	33	11
3	48	9
4	92	9
5	119	9
6	123	9
7	127	9
done	127	9
0	8	9
1	13	7
2	18	7
done	18	7
0	9	11
1	19	11
2	33	11
3	48	9
4	92	9
5	119	9
6	123	9
7	127	9
done	127	9
0	8	13
1	15	9
2	24	9
3	37	9
4	46	9
5	47	9
done	47	9
0	8	10
1	18	10
2	24	10
3	27	8
4	49	8
5	62	8
done	62	8
0	7	8
1	12	4
2	17	4
3	19	4
4	20	4
done	20	4
0	8	10
1	18	10
2	24	10
3	27	8
4	49	8
5	62	8
done	62	8
0	3	5
1	6	1
done	6	1
0	7	9
1	17	9
2	31	9
3	46	7
4	90	7
5	115	7
6	119	7
7	122	7
done	122	7
0	3	5
1	6	1
done	6	1
0	7	9
1	17	9
2	31	9
3	46	7
4	90	7
5	115	7
6	119	7
7	122	7
done	122	7
0	2	3
1	4	1
done	4	1
0	7	9
1	17	9
2	31	9
3	46	7
4	90	7
5	115	7
6	119	7
7	122	7
done	122	7
0	5	5
1	9	5
2	10	5
done	10	5
0	6	7
1	11	3
2	24	3
3	34	3
4	35	3
done	35	3
0	10	13
1	33	13
2	56	13
3	112	11
4	291	11
5	975	11
6	2884	11
done	5001	11
0	9	13
1	19	11
2	34	11
3	47	11
4	67	11
5	88	11
6	105	11
7	128	11
8	171	11
9	233	11
10	234	11
done	234	11
0	9	13
1	23	13
2	50	13
3	129	11
4	380	11
5	827	11
6	1145	11
7	1785	11
done	5000	11
0	5	5
1	9	5
2	10	5
done	10	5
0	7	9
1	17	9
2	31	9
3	46	7
4	90	7
5	115	7
6	119	7
7	122	7
done	122	7
0	7	9
1	17	7
2	38	7
3	57	7
4	67	7
5	69	7
done	69	7
0	9	19
1	19	19
2	22	19
3	24	19
done	24	19
0	8	10
1	16	10
2	19	10
3	21	10
done	21	10
0	11	21
1	24	21
2	46	21
3	75	19
4	135	19
5	200	19
done	200	19
0	10	16
1	19	16
2	28	16
3	41	14
4	68	14
5	105	14
done	105	14
0	8	13
1	16	11
2	28	11
3	37	11
done	37	11
0	8	13
1	16	11
2	28	11
3	37	11
done	37	11
0	10	16
1	19	16
2	27	16
3	35	14
4	59	14
5	76	14
done	76	14
0	9	11
1	16	11
2	20	11
3	21	9
4	34	9
5	39	9
done	39	9
0	7	8
1	13	6
2	19	6
done	19	6
0	7	8
1	13	6
2	19	6
done	19	6
0	8	13
1	15	9
2	24	9
3	37	9
4	46	9
5	47	9
done	47	9
0	7	8
1	12	4
2	17	4
3	19	4
4	20	4
done	20	4
0	3	5
1	6	1
done	6	1
0	3	5
1	6	1
done	6	1
0	11	17
1	19	17
2	26	17
3	34	15
4	58	15
5	73	15
done	73	15
0	10	12
1	16	12
2	19	12
3	20	10
4	33	10
5	40	10
done	40	10
0	8	9
1	13	7
2	18	7
done	18	7
0	8	9
1	13	7
2	18	7
done	18	7
0	8	13
1	15	9
2	24	9
3	37	9
4	46	9
5	47	9
done	47	9
0	7	8
1	12	4
2	17	4
3	19	4
4	20	4
done	20	4
0	3	5
1	6	1
done	6	1
0	3	5
1	6	1
done	6	1
0	2	3
1	4	1
done	4	1
0	5	5
1	9	5
2	10	5
done	10	5
0	10	13
1	33	13
2	56	13
3	112	11
4	291	11
5	975	11
6	2884	11
done	5001	11
0	9	13
1	23	13
2	50	13
3	129	11
4	380	11
5	827	11
6	1145	11
7	1785	11
done	5000	11
0	8	10
1	18	9
2	38	9
3	49	7
4	66	7
5	68	7
done	68	7
0	8	10
1	18	9
2	38	9
3	49	7
4	66	7
5	68	7
done	68	7
0	7	9
1	17	7
2	38	7
3	57	7
4	67	7
5	69	7
done	69	7
0	5	5
1	9	5
2	10	5
done	10	5
0	9	11
1	21	11
2	48	11
3	65	9
4	88	9
5	127	9
6	201	9
7	352	9
8	631	9
9	1655	9
done	5000	9
0	11	15
1	27	15
2	58	11
3	130	11
4	330	11
5	1025	9
done	5000	9
0	11	15
1	27	15
2	58	11
3	130	11
4	330	11
5	1025	9
done	5000	9
0	9	11
1	20	11
2	42	9
3	55	9
4	69	9
5	87	9
6	133	9
7	242	9
8	479	9
9	1419	9
done	5000	9
0	12	16
1	30	16
2	74	12
3	171	11
4	413	11
5	1292	9
done	5000	9
0	12	16
1	30	16
2	74	12
3	171	11
4	413	11
5	1292	9
done	5000	9

prune181.0ms

Filtered

91 candidates to 180 candidates (-97.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	180	0	180
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	180	3	183

Merged error: 0b

Counts

183 → 3

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(log (exp (/ (+ x 1.0) (- 1.0 x))))
0.0b	(/ (+ x 1.0) (- 1.0 x))
0.0b	(exp (/ (+ x 1.0) (- 1.0 x)))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

93×	`*-un-lft-identity`
61×	`add-sqr-sqrt`
60×	`times-frac`
52×	`exp-prod`
35×	`add-cube-cbrt`
27×	`log-pow`
16×	`distribute-lft-out`
13×	`distribute-lft-out--` `difference-of-squares`
6×	`associate-/r/`
5×	`add-exp-log` `associate-/r*` `add-cbrt-cube`
4×	`pow1` `associate-/l*` `add-log-exp`
3×	`log-prod` `flip3--` `flip--` `div-inv`
2×	`associate-/l/`
1×	`cbrt-undiv` `frac-2neg` `flip3-+` `div-exp` `rem-log-exp` `clear-num` `flip-+` `rem-exp-log`

Counts

3 → 117

Calls

3 calls:

12.0ms	(log (exp (/ (+ x 1.0) (- 1.0 x))))
10.0ms	(/ (+ x 1.0) (- 1.0 x))
10.0ms	(exp (/ (+ x 1.0) (- 1.0 x)))

series12.0ms

Counts

3 → 9

Calls

3 calls:

3.0ms	(log (exp (/ (+ x 1.0) (- 1.0 x))))
3.0ms	(/ (+ x 1.0) (- 1.0 x))
5.0ms	(exp (/ (+ x 1.0) (- 1.0 x)))

simplify1.8min

Counts

126 → 126

Iterations

Useful iterations: 2 (2.0ms)

Iter	Nodes	Cost
0	8	18
1	13	18
2	18	18
3	23	18
4	41	18
5	81	18
6	190	18
7	558	18
8	2253	18
done	5000	18
0	7	9
1	10	9
2	11	9
done	11	9
0	10	20
1	19	20
2	31	20
3	43	20
4	55	20
5	87	20
6	169	20
7	394	20
8	1707	20
done	5001	20
0	9	15
1	14	15
2	17	15
3	20	15
4	26	15
5	34	15
6	59	15
7	120	15
8	285	15
9	867	15
10	4287	15
done	5001	15
0	8	12
1	13	10
2	21	10
3	30	10
4	37	10
5	55	10
6	97	10
7	199	10
8	709	10
9	2995	10
done	5000	10
0	10	16
1	14	16
2	16	16
3	19	16
4	25	16
5	33	16
6	58	16
7	129	16
8	302	16
9	892	16
10	4376	16
done	5000	16
0	8	12
1	13	10
2	21	10
3	30	10
4	37	10
5	55	10
6	97	10
7	199	10
8	709	10
9	2995	10
done	5000	10
0	9	15
1	14	15
2	15	15
done	15	15
0	8	10
1	11	10
2	12	10
done	12	10
0	7	7
1	10	5
2	12	5
done	12	5
0	9	11
1	11	11
done	11	11
0	7	7
1	10	5
2	12	5
done	12	5
0	8	12
1	14	12
2	15	12
done	15	12
0	7	7
1	11	7
2	12	7
done	12	7
0	3	4
1	5	2
2	6	1
done	6	1
0	8	8
1	11	8
done	11	8
0	3	4
1	5	2
2	6	1
done	6	1
0	8	12
1	14	12
2	15	12
done	15	12
0	7	7
1	11	7
2	12	7
done	12	7
0	3	4
1	5	2
2	6	1
done	6	1
0	8	8
1	11	8
done	11	8
0	3	4
1	5	2
2	6	1
done	6	1
0	2	2
1	5	1
done	5	1
0	4	4
1	8	4
2	9	4
done	9	4
0	9	12
1	25	12
2	47	12
3	83	12
4	171	12
5	505	12
6	2291	12
done	5000	12
0	8	12
1	13	12
2	21	12
3	39	6
4	66	6
5	107	6
6	167	6
7	335	6
8	1601	6
done	5001	6
0	7	9
1	10	7
2	11	7
done	11	7
0	7	9
1	10	9
2	11	9
done	11	9
0	8	19
1	11	19
2	12	19
done	12	19
0	7	9
1	10	9
2	11	9
done	11	9
0	8	26
1	14	25
2	23	10
3	35	10
4	63	10
5	106	10
6	197	10
7	420	10
8	1114	10
9	4484	10
done	5000	10
0	7	9
1	10	9
2	11	9
done	11	9
0	7	9
1	10	9
2	11	9
done	11	9
0	7	9
1	12	9
2	14	9
done	14	9
0	6	8
1	12	8
2	15	8
3	16	8
done	16	8
0	6	8
1	9	8
2	10	8
done	10	8
0	9	23
1	33	23
2	108	11
3	291	9
4	813	9
5	2446	9
done	5000	9
0	7	17
1	10	17
2	11	17
done	11	17
0	6	8
1	9	8
2	10	8
done	10	8
0	7	23
1	17	23
2	50	9
3	128	9
4	336	9
5	825	9
6	2030	9
done	5001	9
0	6	8
1	9	8
2	10	8
done	10	8
0	6	8
1	9	8
2	10	8
done	10	8
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	9	19
1	18	19
2	28	19
3	34	19
done	34	19
0	7	9
1	10	9
2	11	9
done	11	9
0	8	14
1	13	14
2	16	14
3	17	14
done	17	14
0	7	9
1	10	9
2	11	9
done	11	9
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	6	8
1	9	8
2	10	8
done	10	8
0	9	15
1	13	15
2	15	15
3	16	15
done	16	15
0	8	10
1	11	10
2	12	10
done	12	10
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	6	8
1	9	8
2	10	8
done	10	8
0	8	14
1	13	14
2	14	14
done	14	14
0	7	9
1	10	9
2	11	9
done	11	9
0	7	9
1	10	9
2	11	9
done	11	9
0	7	9
1	10	9
2	11	9
done	11	9
0	6	6
1	9	4
2	11	4
done	11	4
0	6	8
1	9	8
2	10	8
done	10	8
0	8	10
1	10	10
done	10	10
0	8	10
1	11	10
2	12	10
done	12	10
0	6	6
1	9	4
2	11	4
done	11	4
0	6	8
1	9	8
2	10	8
done	10	8
0	7	11
1	13	11
2	14	11
done	14	11
0	6	8
1	9	8
2	10	8
done	10	8
0	6	6
1	10	6
2	11	6
done	11	6
0	6	8
1	9	8
2	10	8
done	10	8
0	2	3
1	4	1
done	4	1
0	5	7
1	8	7
2	9	7
done	9	7
0	7	7
1	10	7
done	10	7
0	7	9
1	10	9
2	11	9
done	11	9
0	2	3
1	4	1
done	4	1
0	5	7
1	8	7
2	9	7
done	9	7
0	7	11
1	13	11
2	14	11
done	14	11
0	6	8
1	9	8
2	10	8
done	10	8
0	6	6
1	10	6
2	11	6
done	11	6
0	6	8
1	9	8
2	10	8
done	10	8
0	2	3
1	4	1
done	4	1
0	5	7
1	8	7
2	9	7
done	9	7
0	7	7
1	10	7
done	10	7
0	7	9
1	10	9
2	11	9
done	11	9
0	2	3
1	4	1
done	4	1
0	5	7
1	8	7
2	9	7
done	9	7
0	5	5
1	9	5
2	10	5
done	10	5
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	7	13
1	12	13
2	13	13
done	13	13
0	6	8
1	9	8
2	10	8
done	10	8
0	5	5
1	8	3
2	10	3
done	10	3
0	7	9
1	9	9
done	9	9
0	5	5
1	8	3
2	10	3
done	10	3
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	8	11
1	24	11
2	46	11
3	82	11
4	176	11
5	518	11
6	2314	11
done	5000	11
0	7	11
1	12	11
2	20	11
3	38	5
4	65	5
5	106	5
6	166	5
7	334	5
8	1613	5
done	5000	5
0	9	15
1	25	13
2	72	13
3	190	13
4	460	13
5	1173	13
6	2565	13
7	4874	13
done	5000	13
0	5	7
1	10	7
2	24	7
3	58	7
4	118	7
5	203	7
6	302	7
7	453	7
8	593	7
9	640	7
10	653	7
done	653	7
0	9	20
1	14	20
2	17	12
3	18	12
done	18	12
0	8	10
1	11	10
2	12	10
done	12	10
0	8	10
1	11	10
2	12	10
done	12	10
0	8	10
1	11	10
2	12	10
done	12	10
0	2	2
1	4	1
done	4	1
0	7	9
1	10	7
2	11	7
done	11	7
0	7	9
1	10	7
2	11	7
done	11	7
0	9	19
1	14	17
2	21	17
3	29	17
4	54	17
5	127	17
6	376	17
7	1342	17
done	5000	17
0	8	10
1	11	8
2	12	8
done	12	8
0	11	21
1	20	19
2	32	19
3	46	19
4	65	19
5	109	19
6	245	19
7	735	19
8	3689	19
done	5000	19
0	10	16
1	15	14
2	18	14
3	21	14
4	29	14
5	42	14
6	79	14
7	186	14
8	552	14
9	2190	14
done	5000	14
0	9	13
1	14	9
2	22	9
3	33	9
4	45	9
5	70	9
6	149	9
7	418	9
8	1661	9
done	5000	9
0	11	17
1	15	15
2	17	15
3	20	15
4	28	15
5	41	15
6	78	15
7	193	15
8	565	15
9	2215	15
done	5000	15
0	9	13
1	14	9
2	22	9
3	33	9
4	45	9
5	70	9
6	149	9
7	418	9
8	1661	9
done	5000	9
0	10	16
1	15	14
2	16	14
done	16	14
0	9	11
1	12	9
2	13	9
done	13	9
0	8	8
1	11	4
2	13	4
done	13	4
0	10	12
1	12	10
done	12	10
0	8	8
1	11	4
2	13	4
done	13	4
0	9	13
1	15	11
2	16	11
done	16	11
0	8	8
1	12	6
2	13	6
done	13	6
0	4	5
1	6	1
2	7	1
done	7	1
0	9	9
1	12	7
done	12	7
0	4	5
1	6	1
2	7	1
done	7	1
0	9	13
1	15	11
2	16	11
done	16	11
0	8	8
1	12	6
2	13	6
done	13	6
0	4	5
1	6	1
2	7	1
done	7	1
0	9	9
1	12	7
done	12	7
0	4	5
1	6	1
2	7	1
done	7	1
0	3	3
1	6	1
done	6	1
0	5	5
1	9	3
2	13	3
3	14	3
done	14	3
0	10	13
1	26	11
2	48	11
3	84	11
4	172	11
5	510	11
6	2307	11
done	5001	11
0	9	13
1	14	11
2	22	11
3	40	5
4	67	5
5	108	5
6	168	5
7	336	5
8	1662	5
done	5001	5
0	8	10
1	11	8
2	15	8
3	17	8
4	18	8
done	18	8
0	8	10
1	11	8
2	12	8
done	12	8
0	9	21
1	12	17
2	13	17
done	13	17
0	8	10
1	11	8
2	12	8
done	12	8
0	9	29
1	13	23
2	24	9
3	65	9
4	161	9
5	438	9
6	1105	9
7	2992	9
done	5000	9
0	8	10
1	11	8
2	12	8
done	12	8
0	8	10
1	11	8
2	12	8
done	12	8
0	13	18
1	30	18
2	70	17
3	105	14
4	143	12
5	165	12
6	262	12
7	525	12
8	732	12
9	1650	12
done	5000	12
0	13	18
1	32	18
2	76	18
3	165	15
4	331	15
5	810	14
6	2821	14
done	5000	14
0	13	18
1	32	18
2	76	18
3	165	15
4	331	15
5	810	14
6	2821	14
done	5000	14
0	9	11
1	20	11
2	42	9
3	55	9
4	69	9
5	87	9
6	133	9
7	242	9
8	479	9
9	1419	9
done	5000	9
0	12	16
1	30	16
2	74	12
3	171	11
4	413	11
5	1292	9
done	5000	9
0	12	16
1	30	16
2	74	12
3	171	11
4	413	11
5	1292	9
done	5000	9
0	9	11
1	20	11
2	42	9
3	55	9
4	69	9
5	87	9
6	133	9
7	242	9
8	479	9
9	1419	9
done	5000	9
0	12	16
1	30	16
2	74	12
3	171	11
4	413	11
5	1292	9
done	5000	9
0	12	16
1	30	16
2	74	12
3	171	11
4	413	11
5	1292	9
done	5000	9

prune192.0ms

Filtered

87 candidates to 126 candidates (-44.8%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	126	0	126
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	126	3	129

Merged error: 0b

Counts

129 → 3

localize7.0ms

Local error

Found 4 expressions with local error:

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

rewrite92.0ms

Algorithm

rewrite-expression-head

Rules

624×	`times-frac`
582×	`*-un-lft-identity`
422×	`add-sqr-sqrt`
410×	`sqrt-prod`
256×	`add-cube-cbrt`
82×	`distribute-lft-out--` `difference-of-squares`
81×	`distribute-lft-out`
42×	`associate-/l*`
26×	`sqrt-div`
22×	`associate-/r/`
16×	`associate-/r*`
13×	`flip3--` `flip--`
11×	`add-exp-log` `add-cbrt-cube` `div-inv`
6×	`pow1`
4×	`cbrt-undiv` `div-exp` `add-log-exp`
3×	`associate-/l/`
2×	`rem-sqrt-square` `frac-2neg` `sqrt-pow1` `pow1/2` `clear-num`
1×	`flip3-+` `flip-+`

Counts

4 → 461

Calls

4 calls:

4.0ms	(sqrt (- 1.0 x))
4.0ms	(sqrt (- 1.0 x))
26.0ms	(/ (/ (+ x 1.0) (sqrt (- 1.0 x))) (sqrt (- 1.0 x)))
13.0ms	(/ (+ x 1.0) (sqrt (- 1.0 x)))

series19.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify2.8min

Counts

473 → 473

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	10
1	13	10
2	15	10
done	15	10
0	7	9
1	13	9
2	16	9
3	17	9
done	17	9
0	7	9
1	10	9
2	11	9
done	11	9
0	10	26
1	34	20
2	104	12
3	261	10
4	673	10
5	1800	10
6	4670	10
done	5001	10
0	8	19
1	11	19
2	12	19
done	12	19
0	7	9
1	10	9
2	11	9
done	11	9
0	8	26
1	18	26
2	51	10
3	123	10
4	302	10
5	624	10
6	1313	10
7	3284	10
done	5000	10
0	7	9
1	10	9
2	11	9
done	11	9
0	7	9
1	10	9
2	11	9
done	11	9
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	5	5
1	7	5
2	8	5
done	8	5
0	10	21
1	19	21
2	29	21
3	35	21
done	35	21
0	8	10
1	11	10
2	12	10
done	12	10
0	10	20
1	16	15
2	19	15
3	20	15
done	20	15
0	8	10
1	11	10
2	12	10
done	12	10
0	9	15
1	14	15
2	17	15
3	18	15
done	18	15
0	8	10
1	11	10
2	12	10
done	12	10
0	8	12
1	13	11
2	15	11
3	16	9
4	23	9
done	23	9
0	7	9
1	10	9
2	11	9
done	11	9
0	10	16
1	14	16
2	16	16
3	17	16
done	17	16
0	9	11
1	12	11
2	13	11
done	13	11
0	8	12
1	13	11
2	15	11
3	16	9
4	23	9
done	23	9
0	7	9
1	10	9
2	11	9
done	11	9
0	9	15
1	14	15
2	17	15
3	18	15
done	18	15
0	8	10
1	11	10
2	12	10
done	12	10
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	7	9
1	10	9
2	11	9
done	11	9
0	9	16
1	14	16
2	15	16
done	15	16
0	8	10
1	11	10
2	12	10
done	12	10
0	9	15
1	13	10
2	14	10
done	14	10
0	8	10
1	11	10
2	12	10
done	12	10
0	8	10
1	11	10
2	12	10
done	12	10
0	8	10
1	11	10
2	12	10
done	12	10
0	7	7
1	10	6
done	10	6
0	7	9
1	10	9
2	11	9
done	11	9
0	9	11
1	11	11
done	11	11
0	9	11
1	12	11
2	13	11
done	13	11
0	7	7
1	10	6
done	10	6
0	7	9
1	10	9
2	11	9
done	11	9
0	8	10
1	11	10
2	12	10
done	12	10
0	8	10
1	11	10
2	12	10
done	12	10
0	6	6
1	9	4
2	11	4
done	11	4
0	7	9
1	10	9
2	11	9
done	11	9
0	8	13
1	14	13
2	15	13
done	15	13
0	7	9
1	10	9
2	11	9
done	11	9
0	8	12
1	13	7
2	14	7
done	14	7
0	7	9
1	10	9
2	11	9
done	11	9
0	7	7
1	11	7
2	12	7
done	12	7
0	7	9
1	10	9
2	11	9
done	11	9
0	3	4
1	5	3
done	5	3
0	6	8
1	9	8
2	10	8
done	10	8
0	8	8
1	11	8
done	11	8
0	8	10
1	11	10
2	12	10
done	12	10
0	3	4
1	5	3
done	5	3
0	6	8
1	9	8
2	10	8
done	10	8
0	7	7
1	11	7
2	12	7
done	12	7
0	7	9
1	10	9
2	11	9
done	11	9
0	2	3
1	4	1
done	4	1
0	6	8
1	9	8
2	10	8
done	10	8
0	8	13
1	14	13
2	15	13
done	15	13
0	7	9
1	10	9
2	11	9
done	11	9
0	8	12
1	13	7
2	14	7
done	14	7
0	7	9
1	10	9
2	11	9
done	11	9
0	7	7
1	11	7
2	12	7
done	12	7
0	7	9
1	10	9
2	11	9
done	11	9
0	3	4
1	5	3
done	5	3
0	6	8
1	9	8
2	10	8
done	10	8
0	8	8
1	11	8
done	11	8
0	8	10
1	11	10
2	12	10
done	12	10
0	3	4
1	5	3
done	5	3
0	6	8
1	9	8
2	10	8
done	10	8
0	7	7
1	11	7
2	12	7
done	12	7
0	7	9
1	10	9
2	11	9
done	11	9
0	2	3
1	4	1
done	4	1
0	6	8
1	9	8
2	10	8
done	10	8
0	6	6
1	10	6
2	11	6
done	11	6
0	6	8
1	9	8
2	10	8
done	10	8
0	8	15
1	13	15
2	14	15
done	14	15
0	8	14
1	12	9
2	13	9
done	13	9
0	7	9
1	10	9
2	11	9
done	11	9
0	6	6
1	9	5
done	9	5
0	8	10
1	10	10
done	10	10
0	6	6
1	9	5
done	9	5
0	7	9
1	10	9
2	11	9
done	11	9
0	5	5
1	8	3
2	10	3
done	10	3
0	7	9
1	10	9
2	11	9
done	11	9
0	7	9
1	10	9
2	11	9
done	11	9
0	6	8
1	9	8
2	10	8
done	10	8
0	6	8
1	9	8
2	10	8
done	10	8
0	9	12
1	25	12
2	47	12
3	81	12
4	165	12
5	497	12
6	2245	12
done	5000	12
0	8	12
1	13	12
2	19	12
3	34	12
4	59	12
5	100	12
6	156	12
7	324	12
8	1575	12
done	5000	12
0	10	16
1	26	14
2	57	14
3	104	14
4	157	14
5	209	14
6	264	14
7	328	14
8	469	14
9	716	14
10	796	14
11	797	14
done	797	14
0	6	8
1	11	8
2	19	8
3	24	8
4	28	8
done	28	8
0	9	16
1	17	16
2	30	12
3	42	12
4	51	12
5	60	12
6	74	12
7	84	12
8	87	12
done	87	12
0	9	15
1	16	15
2	23	15
3	36	12
4	49	12
5	56	12
6	66	12
7	74	12
8	84	12
9	87	12
done	87	12
0	8	14
1	16	14
2	23	8
3	32	8
4	44	8
5	55	8
6	62	8
7	72	8
8	80	8
9	90	8
10	93	8
done	93	8
0	8	14
1	13	14
2	14	8
3	15	8
done	15	8
0	11	41
1	39	29
2	147	17
3	513	11
4	1498	9
5	4659	9
done	5000	9
0	11	41
1	29	35
2	108	17
3	341	9
4	929	9
5	2562	9
done	5000	9
0	9	29
1	14	29
2	15	17
3	16	17
done	16	17
0	8	14
1	13	14
2	14	8
3	15	8
done	15	8
0	9	41
1	21	41
2	53	9
3	173	9
4	599	9
5	1576	9
6	4448	9
done	5001	9
0	8	14
1	13	14
2	14	8
3	15	8
done	15	8
0	8	14
1	13	14
2	14	8
3	15	8
done	15	8
0	7	9
1	12	9
2	16	9
3	18	9
4	24	9
5	28	9
6	32	9
done	32	9
0	5	5
1	7	5
2	8	5
done	8	5
0	11	31
1	20	31
2	30	31
3	36	31
done	36	31
0	9	15
1	12	15
2	13	15
done	13	15
0	12	30
1	18	25
2	21	25
3	22	25
done	22	25
0	10	15
1	13	15
2	14	15
done	14	15
0	10	25
1	15	25
2	18	25
3	19	25
done	19	25
0	9	15
1	12	15
2	13	15
done	13	15
0	11	22
1	18	21
2	21	21
3	22	19
4	29	19
done	29	19
0	8	14
1	11	14
2	12	14
done	12	14
0	13	26
1	19	26
2	22	26
3	23	26
done	23	26
0	12	16
1	17	16
2	19	16
done	19	16
0	11	22
1	18	21
2	21	21
3	22	19
4	29	19
done	29	19
0	8	14
1	11	14
2	12	14
done	12	14
0	10	25
1	15	25
2	18	25
3	19	25
done	19	25
0	9	15
1	12	15
2	13	15
done	13	15
0	10	21
1	17	19
2	24	19
3	29	19
done	29	19
0	8	14
1	11	14
2	12	14
done	12	14
0	10	21
1	15	21
2	16	21
done	16	21
0	9	15
1	12	15
2	13	15
done	13	15
0	11	20
1	15	15
2	16	15
done	16	15
0	10	15
1	13	15
2	14	15
done	14	15
0	9	15
1	12	15
2	13	15
done	13	15
0	9	15
1	12	15
2	13	15
done	13	15
0	10	12
1	15	11
2	16	11
done	16	11
0	8	14
1	11	14
2	12	14
done	12	14
0	12	16
1	16	16
2	17	16
done	17	16
0	12	16
1	17	16
2	19	16
done	19	16
0	10	12
1	15	11
2	16	11
done	16	11
0	8	14
1	11	14
2	12	14
done	12	14
0	9	15
1	12	15
2	13	15
done	13	15
0	9	15
1	12	15
2	13	15
done	13	15
0	9	11
1	14	9
2	17	9
done	17	9
0	8	14
1	11	14
2	12	14
done	12	14
0	11	33
1	24	33
2	53	33
3	94	23
4	118	17
5	150	17
6	243	17
7	550	17
8	1648	17
done	5000	17
0	9	16
1	14	16
2	15	16
done	15	16
0	14	32
1	26	27
2	50	27
3	87	27
4	128	27
5	132	27
done	132	27
0	11	16
1	16	16
2	20	16
done	20	16
0	12	27
1	23	27
2	47	27
3	84	27
4	125	27
5	129	27
done	129	27
0	10	16
1	15	16
2	19	16
done	19	16
0	13	24
1	26	23
2	50	23
3	85	21
4	125	21
done	125	21
0	9	15
1	14	15
2	18	15
done	18	15
0	15	28
1	27	28
2	51	28
3	88	28
4	129	28
5	135	28
done	135	28
0	13	17
1	20	17
2	25	17
done	25	17
0	13	24
1	26	23
2	50	23
3	85	21
4	125	21
done	125	21
0	9	15
1	14	15
2	18	15
done	18	15
0	12	27
1	23	27
2	47	27
3	84	27
4	125	27
5	129	27
done	129	27
0	10	16
1	15	16
2	19	16
done	19	16
0	12	23
1	25	21
2	53	21
3	102	21
4	132	21
5	133	21
done	133	21
0	9	15
1	14	15
2	18	15
done	18	15
0	14	32
1	24	27
2	41	27
3	77	27
4	118	27
5	128	27
done	128	27
0	11	16
1	16	16
2	20	16
done	20	16
0	11	31
1	19	21
2	27	19
3	39	19
4	50	19
5	52	19
done	52	19
0	9	16
1	14	16
2	15	9
3	16	9
done	16	9
0	13	26
1	21	21
2	33	21
3	46	21
4	56	21
done	56	21
0	11	16
1	16	16
2	20	16
done	20	16
0	13	23
1	23	17
2	35	17
3	48	15
4	68	15
done	68	15
0	10	15
1	15	15
2	19	15
done	19	15
0	15	27
1	24	22
2	36	22
3	49	22
4	59	22
done	59	22
0	13	17
1	20	17
2	25	17
done	25	17
0	13	23
1	23	17
2	35	17
3	48	15
4	68	15
done	68	15
0	10	15
1	15	15
2	19	15
done	19	15
0	13	26
1	21	21
2	33	21
3	46	21
4	56	21
done	56	21
0	11	16
1	16	16
2	20	16
done	20	16
0	12	22
1	22	15
2	38	15
3	55	15
4	65	15
done	65	15
0	10	15
1	15	15
2	19	15
done	19	15
0	12	27
1	21	27
2	38	27
3	74	27
4	113	27
5	123	27
done	123	27
0	10	16
1	15	16
2	19	16
done	19	16
0	13	26
1	21	21
2	33	21
3	46	21
4	56	21
done	56	21
0	11	16
1	16	16
2	20	16
done	20	16
0	10	21
1	17	21
2	25	14
3	32	14
4	35	14
done	35	14
0	9	16
1	14	16
2	15	9
3	16	9
done	16	9
0	12	18
1	21	17
2	33	17
3	46	15
4	66	15
done	66	15
0	9	15
1	14	15
2	18	15
done	18	15
0	14	22
1	22	22
2	34	22
3	47	22
4	57	22
done	57	22
0	13	17
1	20	17
2	25	17
done	25	17
0	12	18
1	21	17
2	33	17
3	46	15
4	66	15
done	66	15
0	9	15
1	14	15
2	18	15
done	18	15
0	10	21
1	17	21
2	25	14
3	32	14
4	35	14
done	35	14
0	9	16
1	14	16
2	15	9
3	16	9
done	16	9
0	11	17
1	20	15
2	36	15
3	53	15
4	63	15
done	63	15
0	9	15
1	14	15
2	18	15
done	18	15
0	13	24
1	24	23
2	41	23
3	74	21
4	112	21
5	113	21
done	113	21
0	9	15
1	14	15
2	18	15
done	18	15
0	13	23
1	23	17
2	35	17
3	48	15
4	66	15
done	66	15
0	10	15
1	15	15
2	19	15
done	19	15
0	12	18
1	21	17
2	33	17
3	46	15
4	64	15
done	64	15
0	9	15
1	14	15
2	18	15
done	18	15
0	9	15
1	16	13
2	23	11
3	30	9
done	30	9
0	8	14
1	13	14
2	14	8
3	15	8
done	15	8
0	13	19
1	21	18
2	32	18
3	45	16
4	63	16
done	63	16
0	12	16
1	19	16
2	24	16
done	24	16
0	9	15
1	16	13
2	23	11
3	30	9
done	30	9
0	8	14
1	13	14
2	14	8
3	15	8
done	15	8
0	12	18
1	21	17
2	33	17
3	46	15
4	64	15
done	64	15
0	9	15
1	14	15
2	18	15
done	18	15
0	9	14
1	16	11
2	26	11
3	33	9
done	33	9
0	8	14
1	13	14
2	14	8
3	15	8
done	15	8
0	15	28
1	25	28
2	42	28
3	78	28
4	120	28
5	130	28
done	130	28
0	13	17
1	20	17
2	25	17
done	25	17
0	15	27
1	24	22
2	36	22
3	49	22
4	59	22
done	59	22
0	13	17
1	20	17
2	25	17
done	25	17
0	14	22
1	22	22
2	34	22
3	47	22
4	57	22
done	57	22
0	13	17
1	20	17
2	25	17
done	25	17
0	13	19
1	21	18
2	32	18
3	45	16
4	65	16
done	65	16
0	12	16
1	19	16
2	24	16
done	24	16
0	11	23
1	17	23
2	24	15
3	31	15
4	34	15
done	34	15
0	10	18
1	15	18
2	16	10
3	17	10
done	17	10
0	13	19
1	21	18
2	32	18
3	45	16
4	65	16
done	65	16
0	12	16
1	19	16
2	24	16
done	24	16
0	14	22
1	22	22
2	34	22
3	47	22
4	57	22
done	57	22
0	13	17
1	20	17
2	25	17
done	25	17
0	12	18
1	20	16
2	35	16
3	52	16
4	62	16
done	62	16
0	12	16
1	19	16
2	24	16
done	24	16
0	13	24
1	24	23
2	41	23
3	74	21
4	112	21
5	113	21
done	113	21
0	9	15
1	14	15
2	18	15
done	18	15
0	13	23
1	23	17
2	35	17
3	48	15
4	66	15
done	66	15
0	10	15
1	15	15
2	19	15
done	19	15
0	12	18
1	21	17
2	33	17
3	46	15
4	64	15
done	64	15
0	9	15
1	14	15
2	18	15
done	18	15
0	9	15
1	16	13
2	23	11
3	30	9
done	30	9
0	8	14
1	13	14
2	14	8
3	15	8
done	15	8
0	13	19
1	21	18
2	32	18
3	45	16
4	63	16
done	63	16
0	12	16
1	19	16
2	24	16
done	24	16
0	9	15
1	16	13
2	23	11
3	30	9
done	30	9
0	8	14
1	13	14
2	14	8
3	15	8
done	15	8
0	12	18
1	21	17
2	33	17
3	46	15
4	64	15
done	64	15
0	9	15
1	14	15
2	18	15
done	18	15
0	9	14
1	16	11
2	26	11
3	33	9
done	33	9
0	8	14
1	13	14
2	14	8
3	15	8
done	15	8
0	12	27
1	21	27
2	38	27
3	74	27
4	113	27
5	123	27
done	123	27
0	10	16
1	15	16
2	19	16
done	19	16
0	13	26
1	21	21
2	33	21
3	46	21
4	56	21
done	56	21
0	11	16
1	16	16
2	20	16
done	20	16
0	10	21
1	17	21
2	25	14
3	32	14
4	35	14
done	35	14
0	9	16
1	14	16
2	15	9
3	16	9
done	16	9
0	12	18
1	21	17
2	33	17
3	46	15
4	66	15
done	66	15
0	9	15
1	14	15
2	18	15
done	18	15
0	14	22
1	22	22
2	34	22
3	47	22
4	57	22
done	57	22
0	13	17
1	20	17
2	25	17
done	25	17
0	12	18
1	21	17
2	33	17
3	46	15
4	66	15
done	66	15
0	9	15
1	14	15
2	18	15
done	18	15
0	10	21
1	17	21
2	25	14
3	32	14
4	35	14
done	35	14
0	9	16
1	14	16
2	15	9
3	16	9
done	16	9
0	11	17
1	20	15
2	36	15
3	53	15
4	63	15
done	63	15
0	9	15
1	14	15
2	18	15
done	18	15
0	12	23
1	23	21
2	53	21
3	110	21
4	126	21
done	126	21
0	9	15
1	14	15
2	18	15
done	18	15
0	12	22
1	22	15
2	43	15
3	65	15
4	66	15
done	66	15
0	10	15
1	15	15
2	19	15
done	19	15
0	11	17
1	20	15
2	41	15
3	63	15
4	64	15
done	64	15
0	9	15
1	14	15
2	18	15
done	18	15
0	9	14
1	16	9
2	31	9
3	38	9
done	38	9
0	8	14
1	13	14
2	14	8
3	15	8
done	15	8
0	12	18
1	20	16
2	40	16
3	62	16
4	63	16
done	63	16
0	12	16
1	19	16
2	24	16
done	24	16
0	9	14
1	16	9
2	31	9
3	38	9
done	38	9
0	8	14
1	13	14
2	14	8
3	15	8
done	15	8
0	11	17
1	20	15
2	41	15
3	63	15
4	64	15
done	64	15
0	9	15
1	14	15
2	18	15
done	18	15
0	8	13
1	15	9
2	19	9
3	24	9
done	24	9
0	8	14
1	13	14
2	14	8
3	15	8
done	15	8
0	10	28
1	19	28
2	27	28
3	31	18
4	40	12
5	59	12
6	97	12
7	205	12
8	530	12
9	1899	12
done	5000	12
0	9	16
1	14	16
2	15	16
done	15	16
0	13	27
1	21	22
2	28	22
3	36	22
done	36	22
0	11	16
1	16	16
2	20	16
done	20	16
0	11	22
1	18	22
2	25	22
3	33	22
done	33	22
0	10	16
1	15	16
2	19	16
done	19	16
0	12	19
1	21	18
2	28	18
3	36	16
4	43	16
done	43	16
0	9	15
1	14	15
2	18	15
done	18	15
0	14	23
1	22	23
2	29	23
3	37	23
done	37	23
0	13	17
1	20	17
2	25	17
done	25	17
0	12	19
1	21	18
2	28	18
3	36	16
4	43	16
done	43	16
0	9	15
1	14	15
2	18	15
done	18	15
0	11	22
1	18	22
2	25	22
3	33	22
done	33	22
0	10	16
1	15	16
2	19	16
done	19	16
0	11	18
1	20	16
2	31	16
3	47	16
done	47	16
0	9	15
1	14	15
2	18	15
done	18	15
0	13	27
1	21	22
2	28	22
3	34	22
done	34	22
0	11	16
1	16	16
2	20	16
done	20	16
0	10	26
1	16	16
2	17	14
3	20	14
done	20	14
0	9	16
1	14	16
2	15	9
3	16	9
done	16	9
0	12	21
1	18	16
2	22	16
done	22	16
0	11	16
1	16	16
2	20	16
done	20	16
0	12	18
1	20	12
2	24	12
done	24	10
0	10	15
1	15	15
2	19	15
done	19	15
0	14	22
1	21	17
2	25	17
done	25	17
0	13	17
1	20	17
2	25	17
done	25	17
0	12	18
1	20	12
2	24	12
done	24	10
0	10	15
1	15	15
2	19	15
done	19	15
0	12	21
1	18	16
2	22	16
done	22	16
0	11	16
1	16	16
2	20	16
done	20	16
0	11	17
1	19	10
2	27	10
3	29	10
done	29	10
0	10	15
1	15	15
2	19	15
done	19	15
0	11	22
1	18	22
2	25	22
3	31	22
done	31	22
0	10	16
1	15	16
2	19	16
done	19	16
0	12	21
1	18	16
2	22	16
done	22	16
0	11	16
1	16	16
2	20	16
done	20	16
0	9	16
1	14	16
2	15	9
3	16	9
done	16	9
0	9	16
1	14	16
2	15	9
3	16	9
done	16	9
0	11	13
1	18	12
2	22	12
done	22	10
0	9	15
1	14	15
2	18	15
done	18	15
0	13	17
1	19	17
2	23	17
done	23	17
0	13	17
1	20	17
2	25	17
done	25	17
0	11	13
1	18	12
2	22	12
done	22	10
0	9	15
1	14	15
2	18	15
done	18	15
0	9	16
1	14	16
2	15	9
3	16	9
done	16	9
0	9	16
1	14	16
2	15	9
3	16	9
done	16	9
0	10	12
1	17	10
2	25	10
3	27	10
done	27	10
0	9	15
1	14	15
2	18	15
done	18	15
0	12	19
1	21	18
2	28	18
3	34	16
4	44	16
done	44	16
0	9	15
1	14	15
2	18	15
done	18	15
0	12	18
1	20	12
2	24	12
done	24	10
0	10	15
1	15	15
2	19	15
done	19	15
0	11	13
1	18	12
2	22	12
done	22	10
0	9	15
1	14	15
2	18	15
done	18	15
0	8	10
1	13	8
done	13	6
0	8	14
1	13	14
2	14	8
3	15	8
done	15	8
0	12	14
1	18	13
2	21	13
done	21	11
0	12	16
1	19	16
2	24	16
done	24	16
0	8	10
1	13	8
done	13	6
0	8	14
1	13	14
2	14	8
3	15	8
done	15	8
0	11	13
1	18	12
2	22	12
done	22	10
0	9	15
1	14	15
2	18	15
done	18	15
0	8	9
1	13	6
2	16	6
done	16	4
0	8	14
1	13	14
2	14	8
3	15	8
done	15	8
0	14	23
1	22	23
2	29	23
3	35	23
done	35	23
0	13	17
1	20	17
2	25	17
done	25	17
0	14	22
1	21	17
2	25	17
done	25	17
0	13	17
1	20	17
2	25	17
done	25	17
0	13	17
1	19	17
2	23	17
done	23	17
0	13	17
1	20	17
2	25	17
done	25	17
0	12	14
1	18	13
2	21	13
done	21	11
0	12	16
1	19	16
2	24	16
done	24	16
0	10	18
1	14	18
done	14	10
0	10	18
1	15	18
2	16	10
3	17	10
done	17	10
0	12	14
1	18	13
2	21	13
done	21	11
0	12	16
1	19	16
2	24	16
done	24	16
0	13	17
1	19	17
2	23	17
done	23	17
0	13	17
1	20	17
2	25	17
done	25	17
0	11	13
1	17	11
2	24	11
3	26	11
done	26	11
0	12	16
1	19	16
2	24	16
done	24	16
0	12	19
1	21	18
2	28	18
3	34	16
4	44	16
done	44	16
0	9	15
1	14	15
2	18	15
done	18	15
0	12	18
1	20	12
2	24	12
done	24	10
0	10	15
1	15	15
2	19	15
done	19	15
0	11	13
1	18	12
2	22	12
done	22	10
0	9	15
1	14	15
2	18	15
done	18	15
0	8	10
1	13	8
done	13	6
0	8	14
1	13	14
2	14	8
3	15	8
done	15	8
0	12	14
1	18	13
2	21	13
done	21	11
0	12	16
1	19	16
2	24	16
done	24	16
0	8	10
1	13	8
done	13	6
0	8	14
1	13	14
2	14	8
3	15	8
done	15	8
0	11	13
1	18	12
2	22	12
done	22	10
0	9	15
1	14	15
2	18	15
done	18	15
0	8	9
1	13	6
2	16	6
done	16	4
0	8	14
1	13	14
2	14	8
3	15	8
done	15	8
0	11	22
1	18	22
2	25	22
3	31	22
done	31	22
0	10	16
1	15	16
2	19	16
done	19	16
0	12	21
1	18	16
2	22	16
done	22	16
0	11	16
1	16	16
2	20	16
done	20	16
0	9	16
1	14	16
2	15	9
3	16	9
done	16	9
0	9	16
1	14	16
2	15	9
3	16	9
done	16	9
0	11	13
1	18	12
2	22	12
done	22	10
0	9	15
1	14	15
2	18	15
done	18	15
0	13	17
1	19	17
2	23	17
done	23	17
0	13	17
1	20	17
2	25	17
done	25	17
0	11	13
1	18	12
2	22	12
done	22	10
0	9	15
1	14	15
2	18	15
done	18	15
0	9	16
1	14	16
2	15	9
3	16	9
done	16	9
0	9	16
1	14	16
2	15	9
3	16	9
done	16	9
0	10	12
1	17	10
2	25	10
3	27	10
done	27	10
0	9	15
1	14	15
2	18	15
done	18	15
0	11	18
1	20	16
2	30	16
3	38	16
done	38	16
0	9	15
1	14	15
2	18	15
done	18	15
0	11	17
1	19	10
2	26	10
done	26	10
0	10	15
1	15	15
2	19	15
done	19	15
0	10	12
1	17	10
2	24	10
done	24	10
0	9	15
1	14	15
2	18	15
done	18	15
0	8	9
1	13	4
2	19	4
done	19	4
0	8	14
1	13	14
2	14	8
3	15	8
done	15	8
0	11	13
1	17	11
2	23	11
done	23	11
0	12	16
1	19	16
2	24	16
done	24	16
0	8	9
1	13	4
2	19	4
done	19	4
0	8	14
1	13	14
2	14	8
3	15	8
done	15	8
0	10	12
1	17	10
2	24	10
done	24	10
0	9	15
1	14	15
2	18	15
done	18	15
0	7	8
1	12	4
done	12	4
0	8	14
1	13	14
2	14	8
3	15	8
done	15	8
0	9	25
1	19	25
2	27	25
3	29	15
4	37	9
5	54	9
6	92	9
7	200	9
8	523	9
9	1888	9
done	5000	9
0	8	15
1	13	15
2	14	15
done	14	15
0	12	24
1	21	19
2	28	19
3	36	19
done	36	19
0	10	15
1	15	15
2	19	15
done	19	15
0	10	19
1	18	19
2	25	19
3	33	19
done	33	19
0	9	15
1	14	15
2	18	15
done	18	15
0	10	16
1	18	15
2	25	13
3	37	13
done	37	13
0	8	14
1	13	14
2	17	14
done	17	14
0	13	20
1	22	20
2	29	20
3	37	20
done	37	20
0	12	16
1	19	16
2	24	16
done	24	16
0	10	16
1	18	15
2	25	13
3	37	13
done	37	13
0	8	14
1	13	14
2	17	14
done	17	14
0	10	19
1	18	19
2	25	19
3	33	19
done	33	19
0	9	15
1	14	15
2	18	15
done	18	15
0	9	15
1	17	13
2	28	13
3	38	13
done	38	13
0	8	14
1	13	14
2	17	14
done	17	14
0	12	24
1	21	19
2	28	19
3	34	19
done	34	19
0	10	15
1	15	15
2	19	15
done	19	15
0	9	23
1	16	13
2	17	11
3	20	11
done	20	11
0	8	15
1	13	15
2	14	8
3	15	8
done	15	8
0	11	18
1	18	13
2	22	13
done	22	13
0	10	15
1	15	15
2	19	15
done	19	15
0	10	15
1	17	9
2	21	7
3	25	7
done	25	7
0	9	14
1	14	14
2	18	14
done	18	14
0	13	19
1	21	14
2	25	14
done	25	14
0	12	16
1	19	16
2	24	16
done	24	16
0	10	15
1	17	9
2	21	7
3	25	7
done	25	7
0	9	14
1	14	14
2	18	14
done	18	14
0	11	18
1	18	13
2	22	13
done	22	13
0	10	15
1	15	15
2	19	15
done	19	15
0	9	14
1	16	7
2	24	7
done	24	7
0	9	14
1	14	14
2	18	14
done	18	14
0	10	19
1	18	19
2	25	19
3	31	19
done	31	19
0	9	15
1	14	15
2	18	15
done	18	15
0	11	18
1	18	13
2	22	13
done	22	13
0	10	15
1	15	15
2	19	15
done	19	15
0	8	13
1	14	13
2	15	6
3	16	6
done	16	6
0	8	15
1	13	15
2	14	8
3	15	8
done	15	8
0	9	10
1	15	9
2	19	7
3	23	7
done	23	7
0	8	14
1	13	14
2	17	14
done	17	14
0	12	14
1	19	14
2	23	14
done	23	14
0	12	16
1	19	16
2	24	16
done	24	16
0	9	10
1	15	9
2	19	7
3	23	7
done	23	7
0	8	14
1	13	14
2	17	14
done	17	14
0	8	13
1	14	13
2	15	6
3	16	6
done	16	6
0	8	15
1	13	15
2	14	8
3	15	8
done	15	8
0	8	9
1	14	7
2	22	7
done	22	7
0	8	14
1	13	14
2	17	14
done	17	14
0	10	16
1	18	15
2	25	15
3	31	13
4	41	13
done	41	13
0	8	14
1	13	14
2	17	14
done	17	14
0	10	15
1	17	9
2	21	9
done	21	7
0	9	14
1	14	14
2	18	14
done	18	14
0	9	10
1	15	9
2	19	9
done	19	7
0	8	14
1	13	14
2	17	14
done	17	14
0	4	7
1	8	5
done	8	3
0	7	13
1	12	13
2	13	7
3	14	7
done	14	7
0	10	11
1	15	10
2	18	10
done	18	8
0	11	15
1	18	15
2	23	15
done	23	15
0	4	7
1	8	5
done	8	3
0	7	13
1	12	13
2	13	7
3	14	7
done	14	7
0	9	10
1	15	9
2	19	9
done	19	7
0	8	14
1	13	14
2	17	14
done	17	14
0	4	6
1	8	3
2	11	1
done	11	1
0	7	13
1	12	13
2	13	7
3	14	7
done	14	7
0	13	20
1	22	20
2	29	20
3	35	20
done	35	20
0	12	16
1	19	16
2	24	16
done	24	16
0	13	19
1	21	14
2	25	14
done	25	14
0	12	16
1	19	16
2	24	16
done	24	16
0	12	14
1	19	14
2	23	14
done	23	14
0	12	16
1	19	16
2	24	16
done	24	16
0	10	11
1	15	10
2	18	8
3	22	8
done	22	8
0	11	15
1	18	15
2	23	15
done	23	15
0	9	15
1	14	15
done	14	7
0	9	17
1	14	17
2	15	9
3	16	9
done	16	9
0	10	11
1	15	10
2	18	8
3	22	8
done	22	8
0	11	15
1	18	15
2	23	15
done	23	15
0	12	14
1	19	14
2	23	14
done	23	14
0	12	16
1	19	16
2	24	16
done	24	16
0	9	10
1	14	8
2	21	8
done	21	8
0	11	15
1	18	15
2	23	15
done	23	15
0	10	16
1	18	15
2	25	15
3	31	13
4	41	13
done	41	13
0	8	14
1	13	14
2	17	14
done	17	14
0	10	15
1	17	9
2	21	9
done	21	7
0	9	14
1	14	14
2	18	14
done	18	14
0	9	10
1	15	9
2	19	9
done	19	7
0	8	14
1	13	14
2	17	14
done	17	14
0	4	7
1	8	5
done	8	3
0	7	13
1	12	13
2	13	7
3	14	7
done	14	7
0	10	11
1	15	10
2	18	10
done	18	8
0	11	15
1	18	15
2	23	15
done	23	15
0	4	7
1	8	5
done	8	3
0	7	13
1	12	13
2	13	7
3	14	7
done	14	7
0	9	10
1	15	9
2	19	9
done	19	7
0	8	14
1	13	14
2	17	14
done	17	14
0	4	6
1	8	3
2	11	1
done	11	1
0	7	13
1	12	13
2	13	7
3	14	7
done	14	7
0	10	19
1	18	19
2	25	19
3	31	19
done	31	19
0	9	15
1	14	15
2	18	15
done	18	15
0	11	18
1	18	13
2	22	13
done	22	13
0	10	15
1	15	15
2	19	15
done	19	15
0	8	13
1	14	13
2	15	6
3	16	6
done	16	6
0	8	15
1	13	15
2	14	8
3	15	8
done	15	8
0	9	10
1	15	9
2	19	7
3	23	7
done	23	7
0	8	14
1	13	14
2	17	14
done	17	14
0	12	14
1	19	14
2	23	14
done	23	14
0	12	16
1	19	16
2	24	16
done	24	16
0	9	10
1	15	9
2	19	7
3	23	7
done	23	7
0	8	14
1	13	14
2	17	14
done	17	14
0	8	13
1	14	13
2	15	6
3	16	6
done	16	6
0	8	15
1	13	15
2	14	8
3	15	8
done	15	8
0	8	9
1	14	7
2	22	7
done	22	7
0	8	14
1	13	14
2	17	14
done	17	14
0	9	15
1	17	13
2	22	13
3	32	13
4	33	13
done	33	13
0	8	14
1	13	14
2	17	14
done	17	14
0	9	14
1	16	7
2	19	7
3	23	7
done	23	7
0	9	14
1	14	14
2	18	14
done	18	14
0	8	9
1	14	7
2	17	7
3	21	7
done	21	7
0	8	14
1	13	14
2	17	14
done	17	14
0	4	6
1	8	1
done	8	1
0	7	13
1	12	13
2	13	7
3	14	7
done	14	7
0	9	10
1	14	8
2	16	8
3	20	8
done	20	8
0	11	15
1	18	15
2	23	15
done	23	15
0	4	6
1	8	1
done	8	1
0	7	13
1	12	13
2	13	7
3	14	7
done	14	7
0	8	9
1	14	7
2	17	7
3	21	7
done	21	7
0	8	14
1	13	14
2	17	14
done	17	14
0	3	5
1	7	1
done	7	1
0	7	13
1	12	13
2	13	7
3	14	7
done	14	7
0	9	25
1	19	25
2	27	25
3	29	15
4	37	9
5	54	9
6	92	9
7	200	9
8	523	9
9	1888	9
done	5000	9
0	8	15
1	13	15
2	14	15
done	14	15
0	12	24
1	21	19
2	28	19
3	36	19
done	36	19
0	10	15
1	15	15
2	19	15
done	19	15
0	10	19
1	18	19
2	25	19
3	33	19
done	33	19
0	9	15
1	14	15
2	18	15
done	18	15
0	10	16
1	18	15
2	25	13
3	37	13
done	37	13
0	8	14
1	13	14
2	17	14
done	17	14
0	13	20
1	22	20
2	29	20
3	37	20
done	37	20
0	12	16
1	19	16
2	24	16
done	24	16
0	10	16
1	18	15
2	25	13
3	37	13
done	37	13
0	8	14
1	13	14
2	17	14
done	17	14
0	10	19
1	18	19
2	25	19
3	33	19
done	33	19
0	9	15
1	14	15
2	18	15
done	18	15
0	9	15
1	17	13
2	28	13
3	38	13
done	38	13
0	8	14
1	13	14
2	17	14
done	17	14
0	12	24
1	21	19
2	28	19
3	34	19
done	34	19
0	10	15
1	15	15
2	19	15
done	19	15
0	9	23
1	16	13
2	17	11
3	20	11
done	20	11
0	8	15
1	13	15
2	14	8
3	15	8
done	15	8
0	11	18
1	18	13
2	22	13
done	22	13
0	10	15
1	15	15
2	19	15
done	19	15
0	10	15
1	17	9
2	21	7
3	25	7
done	25	7
0	9	14
1	14	14
2	18	14
done	18	14
0	13	19
1	21	14
2	25	14
done	25	14
0	12	16
1	19	16
2	24	16
done	24	16
0	10	15
1	17	9
2	21	7
3	25	7
done	25	7
0	9	14
1	14	14
2	18	14
done	18	14
0	11	18
1	18	13
2	22	13
done	22	13
0	10	15
1	15	15
2	19	15
done	19	15
0	9	14
1	16	7
2	24	7
done	24	7
0	9	14
1	14	14
2	18	14
done	18	14
0	10	19
1	18	19
2	25	19
3	31	19
done	31	19
0	9	15
1	14	15
2	18	15
done	18	15
0	11	18
1	18	13
2	22	13
done	22	13
0	10	15
1	15	15
2	19	15
done	19	15
0	8	13
1	14	13
2	15	6
3	16	6
done	16	6
0	8	15
1	13	15
2	14	8
3	15	8
done	15	8
0	9	10
1	15	9
2	19	7
3	23	7
done	23	7
0	8	14
1	13	14
2	17	14
done	17	14
0	12	14
1	19	14
2	23	14
done	23	14
0	12	16
1	19	16
2	24	16
done	24	16
0	9	10
1	15	9
2	19	7
3	23	7
done	23	7
0	8	14
1	13	14
2	17	14
done	17	14
0	8	13
1	14	13
2	15	6
3	16	6
done	16	6
0	8	15
1	13	15
2	14	8
3	15	8
done	15	8
0	8	9
1	14	7
2	22	7
done	22	7
0	8	14
1	13	14
2	17	14
done	17	14
0	10	16
1	18	15
2	25	15
3	31	13
4	41	13
done	41	13
0	8	14
1	13	14
2	17	14
done	17	14
0	10	15
1	17	9
2	21	9
done	21	7
0	9	14
1	14	14
2	18	14
done	18	14
0	9	10
1	15	9
2	19	9
done	19	7
0	8	14
1	13	14
2	17	14
done	17	14
0	4	7
1	8	5
done	8	3
0	7	13
1	12	13
2	13	7
3	14	7
done	14	7
0	10	11
1	15	10
2	18	10
done	18	8
0	11	15
1	18	15
2	23	15
done	23	15
0	4	7
1	8	5
done	8	3
0	7	13
1	12	13
2	13	7
3	14	7
done	14	7
0	9	10
1	15	9
2	19	9
done	19	7
0	8	14
1	13	14
2	17	14
done	17	14
0	4	6
1	8	3
2	11	1
done	11	1
0	7	13
1	12	13
2	13	7
3	14	7
done	14	7
0	13	20
1	22	20
2	29	20
3	35	20
done	35	20
0	12	16
1	19	16
2	24	16
done	24	16
0	13	19
1	21	14
2	25	14
done	25	14
0	12	16
1	19	16
2	24	16
done	24	16
0	12	14
1	19	14
2	23	14
done	23	14
0	12	16
1	19	16
2	24	16
done	24	16
0	10	11
1	15	10
2	18	8
3	22	8
done	22	8
0	11	15
1	18	15
2	23	15
done	23	15
0	9	15
1	14	15
done	14	7
0	9	17
1	14	17
2	15	9
3	16	9
done	16	9
0	10	11
1	15	10
2	18	8
3	22	8
done	22	8
0	11	15
1	18	15
2	23	15
done	23	15
0	12	14
1	19	14
2	23	14
done	23	14
0	12	16
1	19	16
2	24	16
done	24	16
0	9	10
1	14	8
2	21	8
done	21	8
0	11	15
1	18	15
2	23	15
done	23	15
0	10	16
1	18	15
2	25	15
3	31	13
4	41	13
done	41	13
0	8	14
1	13	14
2	17	14
done	17	14
0	10	15
1	17	9
2	21	9
done	21	7
0	9	14
1	14	14
2	18	14
done	18	14
0	9	10
1	15	9
2	19	9
done	19	7
0	8	14
1	13	14
2	17	14
done	17	14
0	4	7
1	8	5
done	8	3
0	7	13
1	12	13
2	13	7
3	14	7
done	14	7
0	10	11
1	15	10
2	18	10
done	18	8
0	11	15
1	18	15
2	23	15
done	23	15
0	4	7
1	8	5
done	8	3
0	7	13
1	12	13
2	13	7
3	14	7
done	14	7
0	9	10
1	15	9
2	19	9
done	19	7
0	8	14
1	13	14
2	17	14
done	17	14
0	4	6
1	8	3
2	11	1
done	11	1
0	7	13
1	12	13
2	13	7
3	14	7
done	14	7
0	10	19
1	18	19
2	25	19
3	31	19
done	31	19
0	9	15
1	14	15
2	18	15
done	18	15
0	11	18
1	18	13
2	22	13
done	22	13
0	10	15
1	15	15
2	19	15
done	19	15
0	8	13
1	14	13
2	15	6
3	16	6
done	16	6
0	8	15
1	13	15
2	14	8
3	15	8
done	15	8
0	9	10
1	15	9
2	19	7
3	23	7
done	23	7
0	8	14
1	13	14
2	17	14
done	17	14
0	12	14
1	19	14
2	23	14
done	23	14
0	12	16
1	19	16
2	24	16
done	24	16
0	9	10
1	15	9
2	19	7
3	23	7
done	23	7
0	8	14
1	13	14
2	17	14
done	17	14
0	8	13
1	14	13
2	15	6
3	16	6
done	16	6
0	8	15
1	13	15
2	14	8
3	15	8
done	15	8
0	8	9
1	14	7
2	22	7
done	22	7
0	8	14
1	13	14
2	17	14
done	17	14
0	9	15
1	17	13
2	22	13
3	32	13
4	33	13
done	33	13
0	8	14
1	13	14
2	17	14
done	17	14
0	9	14
1	16	7
2	19	7
3	23	7
done	23	7
0	9	14
1	14	14
2	18	14
done	18	14
0	8	9
1	14	7
2	17	7
3	21	7
done	21	7
0	8	14
1	13	14
2	17	14
done	17	14
0	4	6
1	8	1
done	8	1
0	7	13
1	12	13
2	13	7
3	14	7
done	14	7
0	9	10
1	14	8
2	16	8
3	20	8
done	20	8
0	11	15
1	18	15
2	23	15
done	23	15
0	4	6
1	8	1
done	8	1
0	7	13
1	12	13
2	13	7
3	14	7
done	14	7
0	8	9
1	14	7
2	17	7
3	21	7
done	21	7
0	8	14
1	13	14
2	17	14
done	17	14
0	3	5
1	7	1
done	7	1
0	7	13
1	12	13
2	13	7
3	14	7
done	14	7
0	8	13
1	14	13
2	15	13
done	15	13
0	8	14
1	13	14
2	17	14
done	17	14
0	8	12
1	13	7
2	14	7
done	14	7
0	9	14
1	14	14
2	18	14
done	18	14
0	7	7
1	11	7
2	12	7
done	12	7
0	8	14
1	13	14
2	17	14
done	17	14
0	3	4
1	5	3
done	5	3
0	7	13
1	12	13
2	13	7
3	14	7
done	14	7
0	8	8
1	11	8
done	11	8
0	11	15
1	18	15
2	23	15
done	23	15
0	3	4
1	5	3
done	5	3
0	7	13
1	12	13
2	13	7
3	14	7
done	14	7
0	7	7
1	11	7
2	12	7
done	12	7
0	8	14
1	13	14
2	17	14
done	17	14
0	2	3
1	4	1
done	4	1
0	7	13
1	12	13
2	13	7
3	14	7
done	14	7
0	8	15
1	13	15
2	14	15
done	14	15
0	8	12
1	14	12
2	18	12
done	18	12
0	8	14
1	12	9
2	13	9
done	13	9
0	9	12
1	15	12
2	19	12
done	19	12
0	7	9
1	10	9
2	11	9
done	11	9
0	8	12
1	14	12
2	18	12
done	18	12
0	6	6
1	9	5
done	9	5
0	7	11
1	13	11
2	14	5
3	15	5
done	15	5
0	8	10
1	10	10
done	10	10
0	11	13
1	19	13
2	24	13
done	24	13
0	6	6
1	9	5
done	9	5
0	7	11
1	13	11
2	14	5
3	15	5
done	15	5
0	7	9
1	10	9
2	11	9
done	11	9
0	8	12
1	14	12
2	18	12
done	18	12
0	5	5
1	8	3
2	10	3
done	10	3
0	7	11
1	13	11
2	14	5
3	15	5
done	15	5
0	14	24
1	36	24
2	64	24
3	104	24
4	194	24
5	528	24
6	2310	24
done	5000	24
0	12	18
1	21	16
2	30	16
3	31	16
4	32	16
done	32	16
0	14	23
1	35	18
2	60	18
3	94	18
4	182	18
5	517	18
6	2307	18
done	5000	18
0	12	18
1	21	16
2	30	16
3	31	16
4	32	16
done	32	16
0	13	18
1	33	18
2	58	18
3	92	18
4	177	18
5	512	18
6	2289	18
done	5000	18
0	12	18
1	21	16
2	30	16
3	31	16
4	32	16
done	32	16
0	12	15
1	32	14
2	57	14
3	91	12
4	182	12
5	510	12
6	2299	12
done	5000	12
0	11	17
1	20	15
2	29	15
3	30	15
4	31	15
done	31	15
0	14	19
1	33	19
2	58	19
3	92	19
4	180	19
5	508	19
6	2307	19
done	5000	19
0	13	19
1	22	17
2	31	17
3	32	17
4	33	17
done	33	17
0	12	15
1	32	14
2	57	14
3	91	12
4	182	12
5	510	12
6	2299	12
done	5000	12
0	11	17
1	20	15
2	29	15
3	30	15
4	31	15
done	31	15
0	13	18
1	33	18
2	58	18
3	92	18
4	177	18
5	512	18
6	2289	18
done	5000	18
0	12	18
1	21	16
2	30	16
3	31	16
4	32	16
done	32	16
0	11	14
1	31	12
2	60	12
3	96	12
4	182	12
5	511	12
6	2292	12
done	5000	12
0	11	17
1	20	15
2	29	15
3	30	15
4	31	15
done	31	15
0	13	24
1	23	24
2	40	24
3	71	24
4	99	24
5	152	24
6	301	24
7	1471	24
done	5000	24
0	8	10
1	11	10
2	12	10
done	12	10
0	13	23
1	22	18
2	36	18
3	61	18
4	89	18
5	140	18
6	289	18
7	1449	18
done	5000	18
0	8	10
1	11	10
2	12	10
done	12	10
0	12	18
1	20	18
2	34	18
3	59	18
4	87	18
5	140	18
6	287	18
7	1448	18
done	5001	18
0	8	10
1	11	10
2	12	10
done	12	10
0	11	15
1	20	14
2	29	14
3	44	12
4	77	12
5	132	12
6	226	12
7	495	12
8	2010	12
done	5000	12
0	7	9
1	10	9
2	11	9
done	11	9
0	13	19
1	21	19
2	30	19
3	45	19
4	70	19
5	111	19
6	171	19
7	339	19
8	1620	19
done	5000	19
0	9	11
1	12	11
2	13	11
done	13	11
0	11	15
1	20	14
2	29	14
3	44	12
4	77	12
5	132	12
6	226	12
7	495	12
8	2010	12
done	5000	12
0	7	9
1	10	9
2	11	9
done	11	9
0	12	18
1	20	18
2	34	18
3	59	18
4	87	18
5	140	18
6	287	18
7	1448	18
done	5001	18
0	8	10
1	11	10
2	12	10
done	12	10
0	10	14
1	19	12
2	32	12
3	49	12
4	77	12
5	132	12
6	226	12
7	495	12
8	1970	12
done	5000	12
0	7	9
1	10	9
2	11	9
done	11	9
0	6	6
1	10	6
2	11	6
done	11	6
0	7	13
1	12	13
2	16	13
done	16	7
0	9	20
1	16	20
2	23	20
3	29	20
done	29	20
0	10	19
1	16	14
2	20	14
done	20	14
0	8	14
1	13	14
2	17	14
done	17	14
0	9	11
1	16	10
2	20	10
done	20	8
0	11	15
1	17	15
2	21	15
done	21	15
0	9	11
1	16	10
2	20	10
done	20	8
0	8	14
1	13	14
2	17	14
done	17	14
0	8	10
1	15	8
2	23	8
3	25	8
done	25	8
0	8	14
1	11	14
2	12	14
done	12	14
0	8	14
1	11	14
2	12	14
done	12	14
0	9	15
1	14	15
2	18	15
3	19	15
4	21	15
5	23	15
6	24	15
done	24	15
0	10	15
1	15	15
2	19	15
3	20	15
4	22	15
5	24	15
6	25	15
done	25	15
0	9	15
1	14	15
2	18	15
3	19	15
4	21	15
5	23	15
6	24	15
done	24	15
0	8	14
1	13	14
2	17	14
done	17	8
0	12	16
1	19	16
2	24	16
3	25	16
4	27	16
5	29	16
6	30	16
done	30	16
0	8	14
1	13	14
2	17	14
done	17	8
0	9	15
1	14	15
2	18	15
3	19	15
4	21	15
5	23	15
6	24	15
done	24	15
0	8	14
1	13	14
2	17	14
done	17	8
0	9	15
1	14	15
2	18	15
3	19	15
4	21	15
5	23	15
6	24	15
done	24	15
0	10	15
1	15	15
2	19	15
3	20	15
4	22	15
5	24	15
6	25	15
done	25	15
0	9	15
1	14	15
2	18	15
3	19	15
4	21	15
5	23	15
6	24	15
done	24	15
0	8	14
1	13	14
2	17	14
done	17	8
0	12	16
1	19	16
2	24	16
3	25	16
4	27	16
5	29	16
6	30	16
done	30	16
0	8	14
1	13	14
2	17	14
done	17	8
0	9	15
1	14	15
2	18	15
3	19	15
4	21	15
5	23	15
6	24	15
done	24	15
0	8	14
1	13	14
2	17	14
done	17	8
0	8	14
1	13	14
2	17	14
3	18	14
4	20	14
5	22	14
6	23	14
done	23	14
0	9	14
1	14	14
2	18	14
3	19	14
4	21	14
5	23	14
6	24	14
done	24	14
0	8	14
1	13	14
2	17	14
3	18	14
4	20	14
5	22	14
6	23	14
done	23	14
0	7	13
1	12	13
2	16	13
done	16	7
0	11	15
1	18	15
2	23	15
3	24	15
4	26	15
5	28	15
6	29	15
done	29	15
0	7	13
1	12	13
2	16	13
done	16	7
0	8	14
1	13	14
2	17	14
3	18	14
4	20	14
5	22	14
6	23	14
done	23	14
0	7	13
1	12	13
2	16	13
done	16	7
0	8	14
1	13	14
2	17	14
3	18	14
4	20	14
5	22	14
6	23	14
done	23	14
0	9	14
1	14	14
2	18	14
3	19	14
4	21	14
5	23	14
6	24	14
done	24	14
0	8	14
1	13	14
2	17	14
3	18	14
4	20	14
5	22	14
6	23	14
done	23	14
0	7	13
1	12	13
2	16	13
done	16	7
0	11	15
1	18	15
2	23	15
3	24	15
4	26	15
5	28	15
6	29	15
done	29	15
0	7	13
1	12	13
2	16	13
done	16	7
0	8	14
1	13	14
2	17	14
3	18	14
4	20	14
5	22	14
6	23	14
done	23	14
0	7	13
1	12	13
2	16	13
done	16	7
0	7	13
1	12	13
2	16	13
done	16	7
0	7	11
1	13	11
2	17	9
3	21	3
4	26	3
5	28	3
done	28	3
0	11	17
1	20	15
2	29	15
3	30	15
4	31	15
done	31	15
0	7	9
1	10	9
2	11	9
done	11	9
0	12	17
1	32	17
2	57	17
3	91	17
4	180	17
5	511	17
6	2302	17
done	5000	17
0	11	17
1	19	17
2	33	17
3	58	17
4	86	17
5	150	17
6	299	17
7	1466	17
done	5000	17
0	5	9
1	7	3
2	9	3
done	9	3
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	6	11
1	8	11
2	9	11
done	9	11
0	5	5
1	7	5
2	8	5
done	8	5
0	6	14
1	9	8
2	19	6
3	29	6
4	39	6
5	49	6
6	70	6
7	128	6
8	341	6
9	1259	6
done	5000	6
0	6	10
1	9	5
2	10	5
done	10	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	7	8
1	22	8
2	44	8
3	78	8
4	165	8
5	497	8
6	2266	8
done	5000	8
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	10
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
done	6	1
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	6	11
1	8	11
2	9	11
done	9	11
0	5	5
1	7	5
2	8	5
done	8	5
0	6	14
1	9	8
2	19	6
3	29	6
4	39	6
5	49	6
6	70	6
7	128	6
8	341	6
9	1259	6
done	5000	6
0	6	10
1	9	5
2	10	5
done	10	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	7	8
1	22	8
2	44	8
3	78	8
4	165	8
5	497	8
6	2266	8
done	5000	8
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	10
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
done	6	1
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	21	36
1	57	34
2	169	34
3	491	33
4	1272	26
5	3709	23
done	5000	23
0	24	41
1	64	41
2	216	39
3	626	35
4	1702	33
5	3822	31
done	5000	31
0	17	27
1	47	27
2	154	27
3	372	23
4	945	23
5	2938	23
done	5000	23
0	9	11
1	20	11
2	42	9
3	55	9
4	69	9
5	87	9
6	133	9
7	242	9
8	479	9
9	1419	9
done	5000	9
0	12	16
1	30	16
2	74	12
3	171	11
4	413	11
5	1292	9
done	5000	9
0	12	16
1	30	16
2	74	12
3	171	11
4	413	11
5	1292	9
done	5000	9
0	15	20
1	38	20
2	103	20
3	277	20
4	819	15
5	2866	15
done	5001	15
0	21	33
1	57	33
2	182	33
3	495	29
4	1451	29
5	4983	27
done	5000	27
0	21	33
1	57	33
2	182	33
3	495	33
4	1428	30
5	4608	27
done	5000	27
0	15	20
1	38	20
2	103	20
3	277	20
4	819	15
5	2866	15
done	5001	15
0	21	33
1	57	33
2	182	33
3	495	29
4	1451	29
5	4983	27
done	5000	27
0	21	33
1	57	33
2	182	33
3	495	33
4	1428	30
5	4608	27
done	5000	27

prune712.0ms

Filtered

217 candidates to 473 candidates (-118.0%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	473	0	473
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	473	3	476

Merged error: 0b

Counts

476 → 3

regimes58.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	9
1	10	9
done	10	9

end0.0ms

sample334.0ms

Algorithm

intervals

Results

188.0ms

8000×

body

valid

Details

sample13.0ms

simplify3.0ms

prune2.0ms

localize4.0ms

rewrite16.0ms

series4.0ms

simplify27.4s

prune71.0ms

localize6.0ms

rewrite32.0ms

series7.0ms

simplify1.4min

prune181.0ms

localize8.0ms

rewrite37.0ms

series12.0ms

simplify1.8min

prune192.0ms

localize7.0ms

rewrite92.0ms

series19.0ms

simplify2.8min

prune712.0ms

regimes58.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample334.0ms

Profiling