Details

sample23.0ms

Algorithm

intervals

Results

7.0ms

267×

body

valid

simplify7.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7

prune3.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

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b	(/ (- x y) (- z y))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 52

Calls

1 calls:

9.0ms

(/ (- x y) (- z y))

series11.0ms

Counts

1 → 3

Calls

1 calls:

11.0ms

(/ (- x y) (- z y))

simplify18.4s

Counts

55 → 55

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	13	9
2	16	9
done	16	9
0	7	8
1	16	8
2	22	8
3	25	8
done	25	8
0	7	8
1	13	8
2	20	8
3	24	8
4	27	8
5	33	8
6	37	8
7	53	8
8	57	8
9	64	8
10	73	8
11	93	8
12	114	8
13	127	8
14	134	8
15	140	8
16	143	8
done	143	8
0	10	23
1	22	23
2	83	11
3	258	9
4	752	9
5	2785	9
done	5000	9
0	8	17
1	14	17
2	18	17
3	20	17
done	20	17
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	8	23
1	21	23
2	53	9
3	185	9
4	609	9
5	1954	9
done	5000	9
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	5	5
1	7	5
2	8	5
done	8	5
0	4	5
1	6	5
2	7	5
done	7	5
0	10	19
1	19	19
2	30	19
3	36	19
done	36	19
0	8	9
1	11	9
2	13	9
done	13	9
0	9	14
1	14	14
2	18	14
3	19	14
done	19	14
0	8	9
1	11	9
2	13	9
done	13	9
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	7	8
1	10	8
2	12	8
done	12	8
0	10	15
1	15	15
2	18	15
3	19	15
done	19	15
0	9	10
1	13	10
2	15	10
done	15	10
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	7	8
1	10	8
2	12	8
done	12	8
0	9	14
1	14	14
2	16	14
done	16	14
0	8	9
1	11	9
2	13	9
done	13	9
0	8	9
1	11	9
2	13	9
done	13	9
0	8	9
1	11	9
2	13	9
done	13	9
0	6	6
1	10	4
2	13	4
done	13	4
0	7	8
1	10	8
2	12	8
done	12	8
0	9	10
1	12	10
2	13	10
done	13	10
0	9	10
1	13	10
2	15	10
done	15	10
0	6	6
1	10	4
2	13	4
done	13	4
0	7	8
1	10	8
2	12	8
done	12	8
0	7	11
1	13	11
2	14	11
done	14	11
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	6	6
1	10	6
2	11	6
done	11	6
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	2	3
1	4	1
done	4	1
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	7	7
1	10	7
done	10	7
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	2	3
1	4	1
done	4	1
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	10	15
1	15	15
2	16	15
done	16	15
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	9	10
1	12	10
2	13	10
done	13	10
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	7	7
1	10	5
2	12	5
done	12	5
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	9	11
1	11	11
done	11	11
0	9	11
1	15	11
2	19	11
3	21	11
done	21	11
0	7	7
1	10	5
2	12	5
done	12	5
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	7	11
1	13	11
2	14	11
done	14	11
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	6	6
1	10	6
2	11	6
done	11	6
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	2	3
1	4	1
done	4	1
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	7	7
1	10	7
done	10	7
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	2	3
1	4	1
done	4	1
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	5	5
1	9	5
2	10	5
done	10	5
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	8	13
1	16	13
2	25	13
3	30	13
4	33	13
done	33	13
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	5	5
1	12	3
2	17	3
done	17	3
0	8	9
1	14	9
2	17	9
3	19	9
done	19	9
0	5	5
1	12	3
2	17	3
done	17	3
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	9	11
1	29	11
2	53	11
3	95	11
4	200	11
5	580	11
6	2464	11
done	5000	11
0	8	11
1	18	11
2	33	11
3	59	11
4	92	11
5	135	11
6	200	11
7	368	11
8	1645	11
done	5000	11
0	10	15
1	26	13
2	74	13
3	211	13
4	488	13
5	1206	13
6	2670	13
done	5000	13
0	6	7
1	16	7
2	36	7
3	61	7
4	104	7
5	160	7
6	246	7
7	442	7
8	752	7
9	865	7
10	882	7
done	882	7
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1

prune57.0ms

Filtered

38 candidates to 55 candidates (-44.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	53	2	55
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	53	3	56

Merged error: 0b

Counts

56 → 3

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (/ x (- z y)) (/ y (- z y)))
0.0b	(/ y (- z y))
0.0b	(/ x (- z y))

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

67×	`*-un-lft-identity`
57×	`add-sqr-sqrt`
48×	`times-frac`
25×	`add-cube-cbrt`
20×	`distribute-lft-out--`
14×	`difference-of-squares`
10×	`associate-/r*`
8×	`associate-/r/`
7×	`add-exp-log` `add-cbrt-cube`
6×	`associate-/l*`
5×	`flip3--` `flip--` `add-log-exp`
4×	`div-inv`
3×	`pow1` `distribute-rgt-out--`
2×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num`
1×	`sub-neg` `diff-log` `frac-sub` `sub-div`

Counts

3 → 103

Calls

3 calls:

33.0ms	(- (/ x (- z y)) (/ y (- z y)))
7.0ms	(/ y (- z y))
6.0ms	(/ x (- z y))

series31.0ms

Counts

3 → 9

Calls

3 calls:

17.0ms	(- (/ x (- z y)) (/ y (- z y)))
6.0ms	(/ y (- z y))
8.0ms	(/ x (- z y))

simplify49.6s

Counts

112 → 112

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	11	7
2	13	7
done	13	7
0	6	6
1	11	6
2	14	6
3	15	6
done	15	6
0	6	6
1	8	6
2	9	6
done	9	6
0	9	17
1	20	17
2	65	9
3	173	7
4	394	7
5	1087	7
6	3797	7
done	5000	7
0	7	13
1	9	13
2	10	13
done	10	13
0	6	6
1	8	6
2	9	6
done	9	6
0	7	17
1	16	17
2	33	7
3	77	7
4	173	7
5	423	7
6	1031	7
7	3017	7
done	5001	7
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
done	2	2
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	9	15
1	17	15
2	27	15
3	33	15
done	33	15
0	7	7
1	9	7
2	10	7
done	10	7
0	8	10
1	12	10
2	15	10
3	16	10
done	16	10
0	7	7
1	9	7
2	10	7
done	10	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	8	6
2	9	6
done	9	6
0	9	11
1	12	11
2	14	11
3	15	11
done	15	11
0	8	8
1	10	8
2	11	8
done	11	8
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	8	6
2	9	6
done	9	6
0	8	12
1	12	12
2	13	12
done	13	12
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	8	6
2	9	6
done	9	6
0	8	8
1	9	8
done	9	8
0	8	8
1	10	8
2	11	8
done	11	8
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	8	6
2	9	6
done	9	6
0	7	11
1	13	11
2	14	11
done	14	11
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	10	6
2	11	6
done	11	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	3
1	4	1
done	4	1
0	5	5
1	7	5
2	8	5
done	8	5
0	7	7
1	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	2	3
1	4	1
done	4	1
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	9	5
2	10	5
done	10	5
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	7	11
1	11	11
2	12	11
done	12	11
0	6	6
1	8	6
2	9	6
done	9	6
0	3	3
1	5	1
done	5	1
0	7	7
1	8	7
done	8	7
0	3	3
1	5	1
done	5	1
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	8	9
1	23	9
2	45	9
3	81	9
4	173	9
5	521	9
6	2320	9
done	5001	9
0	7	9
1	12	9
2	21	9
3	38	9
4	63	9
5	104	9
6	160	9
7	328	9
8	1613	9
done	5000	9
0	6	7
1	10	7
2	12	7
done	12	7
0	5	6
1	10	6
2	13	6
3	14	6
done	14	6
0	5	6
1	7	6
2	8	6
done	8	6
0	8	17
1	19	17
2	64	9
3	172	7
4	392	7
5	1164	7
6	4370	7
done	5000	7
0	6	13
1	8	13
2	9	13
done	9	13
0	5	6
1	7	6
2	8	6
done	8	6
0	6	17
1	15	17
2	32	7
3	76	7
4	176	7
5	426	7
6	1521	7
done	5000	7
0	5	6
1	7	6
2	8	6
done	8	6
0	5	6
1	7	6
2	8	6
done	8	6
0	2	2
done	2	2
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	8	15
1	16	15
2	26	15
3	32	15
done	32	15
0	6	7
1	8	7
2	9	7
done	9	7
0	7	10
1	11	10
2	14	10
3	15	10
done	15	10
0	6	7
1	8	7
2	9	7
done	9	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	6
1	7	6
2	8	6
done	8	6
0	8	11
1	11	11
2	13	11
3	14	11
done	14	11
0	7	8
1	9	8
2	10	8
done	10	8
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	6
1	7	6
2	8	6
done	8	6
0	7	12
1	11	12
2	12	12
done	12	12
0	6	7
1	8	7
2	9	7
done	9	7
0	6	7
1	8	7
2	9	7
done	9	7
0	6	7
1	8	7
2	9	7
done	9	7
0	4	4
1	6	2
2	8	2
done	8	2
0	5	6
1	7	6
2	8	6
done	8	6
0	6	8
1	7	8
done	7	8
0	6	8
1	8	8
2	9	8
done	9	8
0	4	4
1	6	2
2	8	2
done	8	2
0	5	6
1	7	6
2	8	6
done	8	6
0	7	11
1	13	11
2	14	11
done	14	11
0	5	6
1	7	6
2	8	6
done	8	6
0	6	6
1	10	6
2	11	6
done	11	6
0	5	6
1	7	6
2	8	6
done	8	6
0	2	3
1	4	1
done	4	1
0	4	5
1	6	5
2	7	5
done	7	5
0	7	7
1	10	7
done	10	7
0	6	7
1	8	7
2	9	7
done	9	7
0	2	3
1	4	1
done	4	1
0	4	5
1	6	5
2	7	5
done	7	5
0	5	5
1	9	5
2	10	5
done	10	5
0	4	5
1	9	5
2	14	5
3	17	5
done	17	5
0	6	11
1	10	11
2	11	11
done	11	11
0	5	6
1	7	6
2	8	6
done	8	6
0	3	3
1	5	1
done	5	1
0	6	7
1	7	7
done	7	7
0	3	3
1	5	1
done	5	1
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	4	5
1	9	5
2	14	5
3	17	5
done	17	5
0	7	9
1	22	9
2	44	9
3	80	9
4	169	9
5	517	9
6	2298	9
done	5001	9
0	6	9
1	11	9
2	20	9
3	37	9
4	62	9
5	103	9
6	161	9
7	329	9
8	1619	9
done	5000	9
0	9	13
1	13	12
2	16	12
3	20	12
4	23	12
5	29	12
6	33	12
7	49	12
8	55	12
9	62	12
10	71	12
11	91	12
12	112	12
13	124	12
14	129	12
15	131	12
done	131	12
0	8	12
1	12	12
2	15	12
done	15	12
0	8	12
1	15	12
2	20	12
3	23	12
4	29	12
5	33	12
6	49	12
7	53	12
8	60	12
9	69	12
10	89	12
11	110	12
12	127	12
13	132	12
14	134	12
done	134	12
0	9	25
1	13	25
2	16	25
done	16	25
0	8	12
1	12	12
2	15	12
done	15	12
0	9	35
1	14	35
2	31	13
3	90	13
4	295	13
5	999	13
6	3294	13
done	5000	13
0	8	12
1	12	12
2	15	12
done	15	12
0	8	12
1	12	12
2	15	12
done	15	12
0	3	3
1	5	3
2	6	3
done	6	3
0	7	11
1	13	11
2	34	7
3	68	7
4	139	7
5	224	7
6	346	7
7	569	7
8	851	7
9	876	7
10	885	7
done	885	7
0	4	7
1	6	7
2	13	7
3	30	7
4	63	7
5	106	7
6	186	7
7	296	7
8	455	7
9	628	7
10	671	7
11	672	7
done	672	7
0	10	15
1	32	15
2	88	15
3	259	15
4	845	15
5	2901	15
done	5000	15
0	11	35
1	32	29
2	61	29
3	99	29
4	169	25
5	295	25
6	773	25
7	2329	23
done	5000	23
0	5	6
1	8	6
2	9	6
done	9	6
0	9	23
1	24	23
2	46	23
3	97	23
4	202	23
5	407	23
6	1022	23
7	3474	19
done	5001	19
0	7	11
1	10	11
2	11	11
done	11	11
0	9	13
1	12	13
2	13	13
done	13	13
0	9	13
1	13	13
2	15	13
done	15	13
0	10	14
1	13	14
2	14	14
done	14	14
0	10	14
1	14	14
2	18	14
done	18	14
0	10	14
1	13	14
2	14	14
done	14	14
0	10	14
1	14	14
2	16	14
done	16	14
0	10	15
1	13	15
2	14	15
done	14	15
0	10	15
1	14	15
2	18	15
done	18	15
0	8	13
1	12	13
2	15	13
done	15	13
0	8	13
1	12	13
2	15	13
done	15	13
0	7	11
1	11	11
2	14	11
done	14	11
0	7	11
1	11	11
2	14	11
done	14	11
0	9	15
1	13	15
2	17	15
done	17	15
0	7	11
1	11	11
2	14	11
done	14	11
0	7	11
1	11	11
2	14	11
done	14	11
0	7	11
1	11	11
2	14	11
done	14	11
0	3	3
1	5	3
2	6	3
done	6	3
0	10	19
1	27	19
2	51	19
3	91	19
4	193	19
5	555	19
6	2393	19
done	5000	19
0	9	19
1	16	19
2	29	19
3	54	19
4	81	19
5	122	19
6	180	19
7	348	19
8	1657	19
done	5000	19
0	5	6
1	8	6
2	9	6
done	9	6
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
1	3	1
done	3	1
0	3	3
done	3	3
0	3	3
done	3	3

prune100.0ms

Filtered

84 candidates to 112 candidates (-33.3%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	112	0	112
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	112	3	115

Merged error: 0b

Counts

115 → 3

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (- x y) (- z y))
0.2b	(* (sqrt (/ (- x y) (- z y))) (sqrt (/ (- x y) (- z y))))
3.4b	(sqrt (/ (- x y) (- z y)))
3.4b	(sqrt (/ (- x y) (- z y)))

rewrite98.0ms

Algorithm

rewrite-expression-head

Rules

338×	`*-un-lft-identity`
288×	`add-sqr-sqrt`
248×	`sqrt-prod`
231×	`times-frac`
108×	`distribute-lft-out--`
94×	`add-cube-cbrt`
80×	`difference-of-squares`
60×	`swap-sqr`
34×	`associate-r` `associate-l`
21×	`pow1`
14×	`associate-/r/`
10×	`sqrt-pow1` `pow1/2`
9×	`unswap-sqr`
8×	`add-exp-log` `flip3--` `add-cbrt-cube` `flip--`
7×	`div-inv`
6×	`sqrt-div`
5×	`associate-/r` `pow-prod-up` `associate-/l`
4×	`rem-sqrt-square` `add-log-exp`
3×	`pow-prod-down` `pow-sqr`
2×	`associate-/l/`
1×	`cbrt-undiv` `pow2` `frac-times` `frac-2neg` `pow-plus` `sqrt-unprod` `div-sub` `associate-r/` `div-exp` `associate-l/` `prod-exp` `clear-num` `rem-square-sqrt` `*-commutative` `cbrt-unprod`

Counts

4 → 303

Calls

4 calls:

9.0ms	(/ (- x y) (- z y))
44.0ms	(* (sqrt (/ (- x y) (- z y))) (sqrt (/ (- x y) (- z y))))
10.0ms	(sqrt (/ (- x y) (- z y)))
9.0ms	(sqrt (/ (- x y) (- z y)))

series135.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(/ (- x y) (- z y))
11.0ms	(* (sqrt (/ (- x y) (- z y))) (sqrt (/ (- x y) (- z y))))
56.0ms	(sqrt (/ (- x y) (- z y)))
58.0ms	(sqrt (/ (- x y) (- z y)))

simplify1.4min

Counts

315 → 315

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	14	9
2	18	9
3	20	9
done	20	9
0	8	9
1	14	9
2	18	9
3	20	9
done	20	9
0	9	19
1	15	19
2	19	19
3	21	19
done	21	19
0	8	9
1	14	9
2	18	9
3	20	9
done	20	9
0	9	26
1	16	16
2	27	10
3	52	10
4	80	10
5	118	10
6	160	10
7	241	10
8	471	10
9	1387	10
done	5000	10
0	9	18
1	16	9
2	20	9
3	22	9
done	22	9
0	8	9
1	14	9
2	18	9
3	20	9
done	20	9
0	8	9
1	14	9
2	18	9
3	20	9
done	20	9
0	8	9
1	14	9
2	18	9
3	20	9
done	20	9
0	11	20
1	20	20
2	32	10
3	38	10
done	38	10
0	9	10
1	12	10
2	14	10
done	14	10
0	10	15
1	15	15
2	19	15
3	20	15
done	20	15
0	9	10
1	12	10
2	14	10
done	14	10
0	8	12
1	14	10
2	22	5
3	27	5
done	27	5
0	8	9
1	11	9
2	13	9
done	13	9
0	11	16
1	16	16
2	19	16
3	20	16
done	20	16
0	10	11
1	14	11
2	16	11
done	16	11
0	8	12
1	14	10
2	22	5
3	27	5
done	27	5
0	8	9
1	11	9
2	13	9
done	13	9
0	10	15
1	15	15
2	17	15
done	17	15
0	9	10
1	12	10
2	14	10
done	14	10
0	9	10
1	12	10
2	14	10
done	14	10
0	9	10
1	12	10
2	14	10
done	14	10
0	7	7
1	11	5
2	14	5
done	14	5
0	8	9
1	11	9
2	13	9
done	13	9
0	10	11
1	13	11
2	14	11
done	14	11
0	10	11
1	14	11
2	16	11
done	16	11
0	7	7
1	11	5
2	14	5
done	14	5
0	8	9
1	11	9
2	13	9
done	13	9
0	8	12
1	14	12
2	15	12
done	15	12
0	8	9
1	14	9
2	18	9
3	20	9
done	20	9
0	7	7
1	11	7
2	12	7
done	12	7
0	8	9
1	14	9
2	18	9
3	20	9
done	20	9
0	3	4
1	5	1
done	5	1
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	8	8
1	11	8
done	11	8
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	3	4
1	5	1
done	5	1
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	11	16
1	16	16
2	17	16
done	17	16
0	10	11
1	17	11
2	21	11
3	23	11
done	23	11
0	10	11
1	13	11
2	14	11
done	14	11
0	10	11
1	17	11
2	21	11
3	23	11
done	23	11
0	8	8
1	11	6
2	13	6
done	13	6
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	10	12
1	12	12
done	12	12
0	10	12
1	16	12
2	20	12
3	22	12
done	22	12
0	8	8
1	11	6
2	13	6
done	13	6
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	8	12
1	14	12
2	15	12
done	15	12
0	8	9
1	14	9
2	18	9
3	20	9
done	20	9
0	7	7
1	11	7
2	12	7
done	12	7
0	8	9
1	14	9
2	18	9
3	20	9
done	20	9
0	3	4
1	5	1
done	5	1
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	8	8
1	11	8
done	11	8
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	3	4
1	5	1
done	5	1
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	2	2
1	4	1
done	4	1
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	4	4
1	6	4
2	7	4
done	7	4
0	6	6
1	10	6
2	11	6
done	11	6
0	10	12
1	30	12
2	54	12
3	96	12
4	202	12
5	588	12
6	2485	12
done	5001	12
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	10
0	9	12
1	19	12
2	34	12
3	60	12
4	93	12
5	136	12
6	201	12
7	369	12
8	1654	12
done	5000	12
0	4	4
1	5	4
done	5	4
0	4	4
1	6	4
2	7	4
done	7	4
0	4	4
1	6	4
2	7	4
done	7	4
0	3	3
1	6	1
done	6	1
0	8	9
1	14	9
2	18	9
3	20	9
done	20	9
0	8	9
1	14	9
2	18	9
3	20	9
done	20	9
0	8	9
1	14	9
2	18	9
3	20	9
done	20	9
0	8	9
1	14	9
2	18	9
3	20	9
done	20	9
0	9	19
1	15	19
2	19	19
3	21	19
done	21	19
0	8	9
1	14	9
2	18	9
3	20	9
done	20	9
0	9	26
1	16	16
2	27	10
3	52	10
4	80	10
5	118	10
6	160	10
7	241	10
8	471	10
9	1387	10
done	5000	10
0	9	18
1	16	9
2	20	9
3	22	9
done	22	9
0	8	9
1	14	9
2	18	9
3	20	9
done	20	9
0	8	9
1	14	9
2	18	9
3	20	9
done	20	9
0	8	9
1	14	9
2	18	9
3	20	9
done	20	9
0	11	20
1	20	20
2	32	10
3	38	10
done	38	10
0	9	10
1	12	10
2	14	10
done	14	10
0	10	15
1	15	15
2	19	15
3	20	15
done	20	15
0	9	10
1	12	10
2	14	10
done	14	10
0	8	12
1	14	10
2	22	5
3	27	5
done	27	5
0	8	9
1	11	9
2	13	9
done	13	9
0	11	16
1	16	16
2	19	16
3	20	16
done	20	16
0	10	11
1	14	11
2	16	11
done	16	11
0	8	12
1	14	10
2	22	5
3	27	5
done	27	5
0	8	9
1	11	9
2	13	9
done	13	9
0	10	15
1	15	15
2	17	15
done	17	15
0	9	10
1	12	10
2	14	10
done	14	10
0	9	10
1	12	10
2	14	10
done	14	10
0	9	10
1	12	10
2	14	10
done	14	10
0	7	7
1	11	5
2	14	5
done	14	5
0	8	9
1	11	9
2	13	9
done	13	9
0	10	11
1	13	11
2	14	11
done	14	11
0	10	11
1	14	11
2	16	11
done	16	11
0	7	7
1	11	5
2	14	5
done	14	5
0	8	9
1	11	9
2	13	9
done	13	9
0	8	12
1	14	12
2	15	12
done	15	12
0	8	9
1	14	9
2	18	9
3	20	9
done	20	9
0	7	7
1	11	7
2	12	7
done	12	7
0	8	9
1	14	9
2	18	9
3	20	9
done	20	9
0	3	4
1	5	1
done	5	1
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	8	8
1	11	8
done	11	8
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	3	4
1	5	1
done	5	1
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	11	16
1	16	16
2	17	16
done	17	16
0	10	11
1	17	11
2	21	11
3	23	11
done	23	11
0	10	11
1	13	11
2	14	11
done	14	11
0	10	11
1	17	11
2	21	11
3	23	11
done	23	11
0	8	8
1	11	6
2	13	6
done	13	6
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	10	12
1	12	12
done	12	12
0	10	12
1	16	12
2	20	12
3	22	12
done	22	12
0	8	8
1	11	6
2	13	6
done	13	6
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	8	12
1	14	12
2	15	12
done	15	12
0	8	9
1	14	9
2	18	9
3	20	9
done	20	9
0	7	7
1	11	7
2	12	7
done	12	7
0	8	9
1	14	9
2	18	9
3	20	9
done	20	9
0	3	4
1	5	1
done	5	1
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	8	8
1	11	8
done	11	8
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	3	4
1	5	1
done	5	1
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	2	2
1	4	1
done	4	1
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	4	4
1	6	4
2	7	4
done	7	4
0	6	6
1	10	6
2	11	6
done	11	6
0	10	12
1	30	12
2	54	12
3	96	12
4	202	12
5	588	12
6	2485	12
done	5001	12
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	10
0	9	12
1	19	12
2	34	12
3	60	12
4	93	12
5	136	12
6	201	12
7	369	12
8	1654	12
done	5000	12
0	4	4
1	5	4
done	5	4
0	4	4
1	6	4
2	7	4
done	7	4
0	4	4
1	6	4
2	7	4
done	7	4
0	3	3
1	6	1
done	6	1
0	8	9
1	14	9
2	18	9
3	20	9
done	20	9
0	8	9
1	14	9
2	18	9
3	20	9
done	20	9
0	2	3
1	5	1
2	7	1
done	7	1
0	5	5
1	8	1
done	8	1
0	2	3
1	6	1
done	6	1
0	5	5
1	8	3
done	8	1
0	4	7
1	8	3
2	9	1
done	9	1
0	7	15
1	17	15
2	33	15
3	95	15
4	229	15
5	489	15
6	893	15
7	1482	15
8	2670	15
9	4985	15
done	5000	15
0	8	17
1	14	7
2	19	7
3	21	7
done	21	7
0	7	15
1	17	15
2	33	15
3	95	15
4	229	15
5	489	15
6	893	15
7	1482	15
8	2670	15
9	4985	15
done	5000	15
0	2	3
1	6	1
done	6	1
0	9	19
1	17	11
2	22	11
3	24	11
done	24	11
0	9	18
1	17	8
2	27	8
3	32	8
4	33	8
done	33	8
0	9	18
1	17	8
2	29	8
3	38	8
4	59	8
5	106	8
6	217	8
7	609	8
8	2384	8
done	5000	8
0	10	53
1	23	23
2	53	21
3	174	9
4	628	9
5	2170	9
done	5001	9
0	10	37
1	16	17
2	21	17
3	23	17
done	23	17
0	9	18
1	15	8
2	20	8
3	22	8
done	22	8
0	10	53
1	24	23
2	49	9
3	164	9
4	599	9
5	2150	9
done	5001	9
0	7	15
1	17	15
2	33	15
3	95	15
4	229	15
5	489	15
6	893	15
7	1482	15
8	2670	15
9	4985	15
done	5000	15
0	9	18
1	16	8
2	20	8
3	22	8
done	22	8
0	9	18
1	16	8
2	20	8
3	22	8
done	22	8
0	5	9
1	7	3
2	9	3
done	9	3
0	5	9
1	7	3
2	9	3
done	9	3
0	10	39
1	20	39
2	26	21
3	37	11
4	52	11
5	80	11
6	154	11
7	371	11
8	1293	11
done	5000	11
0	9	19
1	15	19
2	19	19
3	21	19
done	21	19
0	10	37
1	17	17
2	22	17
3	24	17
done	24	17
0	9	19
1	15	8
2	20	8
3	22	8
done	22	8
0	9	19
1	15	8
2	20	8
3	22	8
done	22	8
0	9	19
1	15	8
2	20	8
3	22	8
done	22	8
0	9	19
1	15	8
2	20	8
3	22	8
done	22	8
0	9	19
1	15	8
2	20	8
3	22	8
done	22	8
0	12	41
1	21	19
2	34	19
3	40	19
done	40	19
0	10	21
1	13	9
2	16	9
done	16	9
0	11	31
1	16	14
2	21	14
3	22	14
done	22	14
0	10	21
1	13	9
2	16	9
done	16	9
0	9	25
1	15	9
2	26	9
3	35	9
4	40	9
done	40	9
0	9	19
1	12	8
2	15	8
done	15	8
0	9	25
1	15	9
2	26	9
3	35	9
4	40	9
done	40	9
0	9	19
1	12	8
2	15	8
done	15	8
0	12	33
1	17	15
2	21	15
3	22	15
done	22	15
0	11	23
1	15	10
2	18	10
done	18	10
0	9	25
1	15	9
2	26	9
3	35	9
4	40	9
done	40	9
0	9	19
1	12	8
2	15	8
done	15	8
0	9	25
1	15	9
2	26	9
3	35	9
4	40	9
done	40	9
0	9	19
1	12	8
2	15	8
done	15	8
0	11	31
1	16	14
2	19	14
done	19	14
0	10	21
1	13	9
2	16	9
done	16	9
0	10	21
1	13	9
2	16	9
done	16	9
0	10	21
1	13	9
2	16	9
done	16	9
0	8	15
1	12	4
2	18	4
3	22	4
4	27	4
done	27	4
0	9	19
1	12	8
2	15	8
done	15	8
0	8	15
1	12	4
2	18	4
3	22	4
4	27	4
done	27	4
0	9	19
1	12	8
2	15	8
done	15	8
0	11	23
1	14	10
2	16	10
done	16	10
0	11	23
1	15	10
2	18	10
done	18	10
0	8	15
1	12	4
2	18	4
3	22	4
4	27	4
done	27	4
0	9	19
1	12	8
2	15	8
done	15	8
0	8	15
1	12	4
2	18	4
3	22	4
4	27	4
done	27	4
0	9	19
1	12	8
2	15	8
done	15	8
0	9	25
1	15	11
2	17	11
done	17	11
0	9	19
1	15	8
2	20	8
3	22	8
done	22	8
0	9	25
1	15	11
2	17	11
done	17	11
0	9	19
1	15	8
2	20	8
3	22	8
done	22	8
0	8	15
1	12	6
2	14	6
done	14	6
0	9	19
1	15	8
2	20	8
3	22	8
done	22	8
0	8	15
1	12	6
2	14	6
done	14	6
0	9	19
1	15	8
2	20	8
3	22	8
done	22	8
0	4	9
1	6	1
done	6	1
0	8	17
1	14	7
2	19	7
3	21	7
done	21	7
0	4	9
1	6	1
done	6	1
0	8	17
1	14	7
2	19	7
3	21	7
done	21	7
0	4	9
1	6	1
done	6	1
0	8	17
1	14	7
2	19	7
3	21	7
done	21	7
0	4	9
1	6	1
done	6	1
0	8	17
1	14	7
2	19	7
3	21	7
done	21	7
0	9	17
1	12	7
2	13	7
done	13	7
0	10	21
1	17	9
2	22	9
3	24	9
done	24	9
0	9	17
1	12	7
2	13	7
done	13	7
0	10	21
1	17	9
2	22	9
3	24	9
done	24	9
0	4	9
1	6	1
done	6	1
0	8	17
1	14	7
2	19	7
3	21	7
done	21	7
0	4	9
1	6	1
done	6	1
0	8	17
1	14	7
2	19	7
3	21	7
done	21	7
0	4	9
1	6	1
done	6	1
0	8	17
1	14	7
2	19	7
3	21	7
done	21	7
0	4	9
1	6	1
done	6	1
0	8	17
1	14	7
2	19	7
3	21	7
done	21	7
0	12	33
1	17	15
2	19	15
done	19	15
0	11	23
1	18	10
2	23	10
3	25	10
done	25	10
0	11	23
1	14	10
2	16	10
done	16	10
0	11	23
1	18	10
2	23	10
3	25	10
done	25	10
0	9	17
1	12	5
2	17	5
3	21	5
4	26	5
done	26	5
0	10	21
1	17	9
2	22	9
3	24	9
done	24	9
0	9	17
1	12	5
2	17	5
3	21	5
4	26	5
done	26	5
0	10	21
1	17	9
2	22	9
3	24	9
done	24	9
0	11	25
1	13	11
2	14	11
done	14	11
0	11	25
1	17	11
2	22	11
3	24	11
done	24	11
0	9	17
1	12	5
2	17	5
3	21	5
4	26	5
done	26	5
0	10	21
1	17	9
2	22	9
3	24	9
done	24	9
0	9	17
1	12	5
2	17	5
3	21	5
4	26	5
done	26	5
0	10	21
1	17	9
2	22	9
3	24	9
done	24	9
0	9	25
1	15	11
2	17	11
done	17	11
0	9	19
1	15	8
2	20	8
3	22	8
done	22	8
0	9	25
1	15	11
2	17	11
done	17	11
0	9	19
1	15	8
2	20	8
3	22	8
done	22	8
0	8	15
1	12	6
2	14	6
done	14	6
0	9	19
1	15	8
2	20	8
3	22	8
done	22	8
0	8	15
1	12	6
2	14	6
done	14	6
0	9	19
1	15	8
2	20	8
3	22	8
done	22	8
0	4	9
1	6	1
done	6	1
0	8	17
1	14	7
2	19	7
3	21	7
done	21	7
0	4	9
1	6	1
done	6	1
0	8	17
1	14	7
2	19	7
3	21	7
done	21	7
0	4	9
1	6	1
done	6	1
0	8	17
1	14	7
2	19	7
3	21	7
done	21	7
0	4	9
1	6	1
done	6	1
0	8	17
1	14	7
2	19	7
3	21	7
done	21	7
0	9	17
1	12	7
2	13	7
done	13	7
0	10	21
1	17	9
2	22	9
3	24	9
done	24	9
0	9	17
1	12	7
2	13	7
done	13	7
0	10	21
1	17	9
2	22	9
3	24	9
done	24	9
0	4	9
1	6	1
done	6	1
0	8	17
1	14	7
2	19	7
3	21	7
done	21	7
0	4	9
1	6	1
done	6	1
0	8	17
1	14	7
2	19	7
3	21	7
done	21	7
0	4	9
1	6	1
done	6	1
0	8	17
1	14	7
2	19	7
3	21	7
done	21	7
0	4	9
1	6	1
done	6	1
0	8	17
1	14	7
2	19	7
3	21	7
done	21	7
0	3	5
1	5	1
done	5	1
0	8	17
1	14	7
2	19	7
3	21	7
done	21	7
0	5	9
1	7	3
2	9	3
done	9	3
0	7	13
1	11	5
2	13	5
done	13	5
0	11	25
1	31	11
2	56	11
3	98	11
4	204	11
5	586	11
6	2460	11
done	5001	11
0	9	25
1	16	9
2	25	9
3	26	9
4	27	9
done	27	9
0	10	25
1	20	11
2	36	11
3	62	11
4	95	11
5	138	11
6	201	11
7	369	11
8	1654	11
done	5000	11
0	5	9
1	6	3
2	7	3
done	7	3
0	9	19
1	15	8
2	20	8
3	22	8
done	22	8
0	9	19
1	15	8
2	20	8
3	22	8
done	22	8
0	9	19
1	15	8
2	20	8
3	22	8
done	22	8
0	9	19
1	15	8
2	20	8
3	22	8
done	22	8
0	2	3
1	4	1
done	4	1
0	8	17
1	14	7
2	19	7
3	21	7
done	21	7
0	9	19
1	15	8
2	20	8
3	22	8
done	22	8
0	9	19
1	15	8
2	20	8
3	22	8
done	22	8
0	13	20
1	20	20
2	24	20
3	26	20
done	26	20
0	13	20
1	20	20
2	24	20
3	26	20
done	26	20
0	9	19
1	15	8
2	20	8
3	22	8
done	22	8
0	9	19
1	15	8
2	20	8
3	22	8
done	22	8
0	13	20
1	20	20
2	24	20
3	26	20
done	26	20
0	13	20
1	20	20
2	24	20
3	26	20
done	26	20
0	10	21
1	13	9
2	16	9
done	16	9
0	10	21
1	13	9
2	16	9
done	16	9
0	13	20
1	20	20
2	24	20
3	26	20
done	26	20
0	13	20
1	20	20
2	24	20
3	26	20
done	26	20
0	9	19
1	15	8
2	20	8
3	22	8
done	22	8
0	9	19
1	15	8
2	20	8
3	22	8
done	22	8
0	13	20
1	20	20
2	24	20
3	26	20
done	26	20
0	13	20
1	20	20
2	24	20
3	26	20
done	26	20
0	9	19
1	15	8
2	20	8
3	22	8
done	22	8
0	9	19
1	15	8
2	20	8
3	22	8
done	22	8
0	3	3
1	5	1
2	7	1
done	7	1
0	3	3
1	6	1
done	6	1
0	4	5
1	10	1
done	10	1
0	10	28
1	19	28
2	25	28
3	27	28
done	27	28
0	11	27
1	19	18
2	23	18
3	25	18
done	25	18
0	9	18
1	16	18
2	20	18
3	22	18
done	22	18
0	14	29
1	27	29
2	41	19
3	49	19
done	49	19
0	13	24
1	22	24
2	28	24
3	31	24
done	31	24
0	13	21
1	24	19
2	35	14
3	42	14
done	42	14
0	15	25
1	25	25
2	31	25
3	34	25
done	34	25
0	13	21
1	24	19
2	35	14
3	42	14
done	42	14
0	13	24
1	22	24
2	26	24
3	28	24
done	28	24
0	12	19
1	19	19
2	23	19
3	25	19
done	25	19
0	12	16
1	21	14
2	27	14
3	29	14
done	29	14
0	14	20
1	22	20
2	26	20
3	28	20
done	28	20
0	12	16
1	21	14
2	27	14
3	29	14
done	29	14
0	13	21
1	24	21
2	28	21
3	30	21
done	30	21
0	12	16
1	21	16
2	25	16
3	27	16
done	27	16
0	11	13
1	20	10
2	24	10
3	26	8
4	29	8
done	29	8
0	14	17
1	24	17
2	28	17
3	30	17
done	30	17
0	11	13
1	20	10
2	24	10
3	26	8
4	29	8
done	29	8
0	15	25
1	25	25
2	29	25
3	31	25
done	31	25
0	14	20
1	22	20
2	26	20
3	28	20
done	28	20
0	14	17
1	24	15
2	30	15
3	32	15
done	32	15
0	15	21
1	24	21
2	28	21
3	30	21
done	30	21
0	14	17
1	24	15
2	30	15
3	32	15
done	32	15
0	13	21
1	24	21
2	28	21
3	30	21
done	30	21
0	12	16
1	21	16
2	25	16
3	27	16
done	27	16
0	11	13
1	20	10
2	24	10
3	26	8
4	29	8
done	29	8
0	14	17
1	24	17
2	28	17
3	30	17
done	30	17
0	11	13
1	20	10
2	24	10
3	26	8
4	29	8
done	29	8
0	10	11
1	19	10
2	23	10
3	25	8
4	28	8
done	28	8
0	9	13
1	16	13
2	20	13
3	22	13
done	22	13
0	14	21
1	39	21
2	66	21
3	110	21
4	219	21
5	606	21
6	2523	21
done	5000	21
0	13	21
1	27	21
2	50	21
3	85	21
4	117	21
5	182	21
6	329	21
7	1474	21
done	5001	21
0	9	18
1	16	18
2	20	18
3	22	18
done	22	18
0	9	10
1	18	8
2	25	8
3	27	8
done	27	8
0	9	18
1	16	18
2	20	18
3	22	18
done	22	18
0	10	18
1	17	18
2	21	18
3	23	18
done	23	18
0	9	18
1	16	18
2	20	18
3	22	18
done	22	18
0	12	19
1	19	19
2	23	19
3	25	19
done	25	19
0	12	19
1	19	19
2	23	19
3	25	19
done	25	19
0	11	18
1	18	18
2	22	18
3	24	18
done	24	18
0	14	20
1	23	20
2	28	20
3	30	20
done	30	20
0	11	18
1	18	18
2	22	18
3	24	18
done	24	18
0	12	19
1	19	19
2	23	19
3	25	19
done	25	19
0	12	19
1	19	19
2	23	19
3	25	19
done	25	19
0	11	18
1	18	18
2	22	18
3	24	18
done	24	18
0	14	20
1	23	20
2	28	20
3	30	20
done	30	20
0	11	18
1	18	18
2	22	18
3	24	18
done	24	18
0	11	18
1	21	18
2	27	18
3	31	18
done	31	18
0	11	18
1	21	18
2	27	18
3	31	18
done	31	18
0	8	17
1	14	7
2	19	7
3	21	7
done	21	7
0	13	19
1	25	19
2	32	19
3	36	19
done	36	19
0	8	17
1	14	7
2	19	7
3	21	7
done	21	7
0	14	20
1	26	20
2	33	20
3	37	20
done	37	20
0	14	20
1	26	20
2	33	20
3	37	20
done	37	20
0	13	19
1	25	19
2	32	19
3	36	19
done	36	19
0	15	21
1	28	21
2	36	21
3	40	21
done	40	21
0	13	19
1	25	19
2	32	19
3	36	19
done	36	19
0	11	18
1	21	18
2	27	18
3	31	18
done	31	18
0	11	18
1	21	18
2	27	18
3	31	18
done	31	18
0	8	17
1	14	7
2	19	7
3	21	7
done	21	7
0	13	19
1	25	19
2	32	19
3	36	19
done	36	19
0	8	17
1	14	7
2	19	7
3	21	7
done	21	7
0	8	17
1	14	7
2	19	7
3	21	7
done	21	7
0	11	15
1	20	15
2	24	15
3	26	15
done	26	15
0	14	21
1	28	19
2	40	19
3	43	19
4	44	19
done	44	19
0	10	13
1	18	13
2	22	13
3	24	13
done	24	13
0	9	18
1	16	18
2	20	18
3	22	18
done	22	18
0	8	17
1	14	7
2	19	7
3	21	7
done	21	7
0	9	13
1	16	13
2	20	13
3	22	13
done	22	13
0	9	13
1	16	13
2	20	13
3	22	13
done	22	13
0	8	9
1	13	9
2	16	9
done	16	9
0	7	8
1	16	8
2	22	8
3	25	8
done	25	8
0	7	8
1	13	8
2	20	8
3	24	8
4	27	8
5	33	8
6	37	8
7	53	8
8	57	8
9	64	8
10	73	8
11	93	8
12	114	8
13	127	8
14	134	8
15	140	8
16	143	8
done	143	8
0	10	23
1	22	23
2	83	11
3	258	9
4	752	9
5	2785	9
done	5000	9
0	8	17
1	14	17
2	18	17
3	20	17
done	20	17
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	8	23
1	21	23
2	53	9
3	185	9
4	609	9
5	1954	9
done	5000	9
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	5	5
1	7	5
2	8	5
done	8	5
0	4	5
1	6	5
2	7	5
done	7	5
0	10	19
1	19	19
2	30	19
3	36	19
done	36	19
0	8	9
1	11	9
2	13	9
done	13	9
0	9	14
1	14	14
2	18	14
3	19	14
done	19	14
0	8	9
1	11	9
2	13	9
done	13	9
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	7	8
1	10	8
2	12	8
done	12	8
0	10	15
1	15	15
2	18	15
3	19	15
done	19	15
0	9	10
1	13	10
2	15	10
done	15	10
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	7	8
1	10	8
2	12	8
done	12	8
0	9	14
1	14	14
2	16	14
done	16	14
0	8	9
1	11	9
2	13	9
done	13	9
0	8	9
1	11	9
2	13	9
done	13	9
0	8	9
1	11	9
2	13	9
done	13	9
0	6	6
1	10	4
2	13	4
done	13	4
0	7	8
1	10	8
2	12	8
done	12	8
0	9	10
1	12	10
2	13	10
done	13	10
0	9	10
1	13	10
2	15	10
done	15	10
0	6	6
1	10	4
2	13	4
done	13	4
0	7	8
1	10	8
2	12	8
done	12	8
0	7	11
1	13	11
2	14	11
done	14	11
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	6	6
1	10	6
2	11	6
done	11	6
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	2	3
1	4	1
done	4	1
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	7	7
1	10	7
done	10	7
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	2	3
1	4	1
done	4	1
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	10	15
1	15	15
2	16	15
done	16	15
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	9	10
1	12	10
2	13	10
done	13	10
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	7	7
1	10	5
2	12	5
done	12	5
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	9	11
1	11	11
done	11	11
0	9	11
1	15	11
2	19	11
3	21	11
done	21	11
0	7	7
1	10	5
2	12	5
done	12	5
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	7	11
1	13	11
2	14	11
done	14	11
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	6	6
1	10	6
2	11	6
done	11	6
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	2	3
1	4	1
done	4	1
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	7	7
1	10	7
done	10	7
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	2	3
1	4	1
done	4	1
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	5	5
1	9	5
2	10	5
done	10	5
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	8	13
1	16	13
2	25	13
3	30	13
4	33	13
done	33	13
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	5	5
1	12	3
2	17	3
done	17	3
0	8	9
1	14	9
2	17	9
3	19	9
done	19	9
0	5	5
1	12	3
2	17	3
done	17	3
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	9	11
1	29	11
2	53	11
3	95	11
4	200	11
5	580	11
6	2464	11
done	5000	11
0	8	11
1	18	11
2	33	11
3	59	11
4	92	11
5	135	11
6	200	11
7	368	11
8	1645	11
done	5000	11
0	10	15
1	26	13
2	74	13
3	211	13
4	488	13
5	1206	13
6	2670	13
done	5000	13
0	6	7
1	16	7
2	36	7
3	61	7
4	104	7
5	160	7
6	246	7
7	442	7
8	752	7
9	865	7
10	882	7
done	882	7
0	1	1
done	1	1
0	7	8
1	11	8
2	16	8
3	17	8
done	17	8
0	7	8
1	11	8
2	16	8
3	17	8
done	17	8
0	1	1
done	1	1
0	7	8
1	11	8
2	16	8
3	17	8
done	17	8
0	7	8
1	11	8
2	16	8
3	17	8
done	17	8
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

prune214.0ms

Filtered

183 candidates to 315 candidates (-72.1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	315	0	315
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	315	3	318

Merged error: 0b

Counts

318 → 3

regimes212.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	11
done	7	11

end0.0ms

sample557.0ms

Algorithm

intervals

Results

215.0ms

8367×

body

valid

Details

sample23.0ms

simplify7.0ms

prune3.0ms

localize5.0ms

rewrite12.0ms

series11.0ms

simplify18.4s

prune57.0ms

localize7.0ms

rewrite51.0ms

series31.0ms

simplify49.6s

prune100.0ms

localize8.0ms

rewrite98.0ms

series135.0ms

simplify1.4min

prune214.0ms

regimes212.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample557.0ms

Profiling