Details

sample26.0ms

Algorithm

intervals

Results

9.0ms

336×

body

valid

simplify6.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	9	7
2	11	7
3	12	7
done	12	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: 6.8b

Counts

2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

10.2b

(/ (* y y) z)

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-exp-log` `add-cbrt-cube`
3×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `times-frac` `associate-/r`
2×	`cbrt-undiv` `div-exp`
1×	`pow1` `frac-2neg` `prod-exp` `clear-num` `cbrt-unprod` `div-inv` `associate-/l*` `add-log-exp`

Counts

1 → 21

Calls

1 calls:

5.0ms

(/ (* y y) z)

series4.0ms

Counts

1 → 3

Calls

1 calls:

4.0ms

(/ (* y y) z)

simplify25.6s

Counts

24 → 24

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	8
1	12	7
2	16	7
3	19	7
4	23	7
5	28	7
6	36	7
7	50	7
8	62	7
9	74	7
10	86	7
11	87	7
done	87	7
0	6	7
1	10	7
2	17	7
3	21	7
4	23	7
5	27	7
6	32	7
7	40	7
8	54	7
9	66	7
10	78	7
11	90	7
12	91	7
done	91	7
0	5	6
1	10	6
2	18	6
3	31	6
4	39	6
5	43	6
6	51	6
7	65	6
8	77	6
9	89	6
10	99	6
11	100	6
done	100	6
0	5	6
1	7	6
2	9	6
3	12	6
4	18	6
5	26	6
6	51	6
7	112	6
8	274	6
9	843	6
10	3566	6
done	5000	6
0	8	17
1	23	17
2	98	11
3	363	7
4	910	7
5	2319	7
done	5000	7
0	8	17
1	24	17
2	97	9
3	369	7
4	933	7
5	2388	7
done	5001	7
0	6	13
1	8	13
2	10	13
3	11	13
done	11	13
0	5	6
1	7	6
2	9	6
3	10	6
done	10	6
0	6	17
1	15	17
2	49	7
3	172	7
4	490	7
5	904	7
6	2460	7
done	5000	7
0	5	6
1	7	6
2	9	6
3	10	6
done	10	6
0	5	6
1	7	6
2	9	6
3	10	6
done	10	6
0	3	4
1	6	4
done	6	4
0	2	2
done	2	2
0	5	7
1	7	7
done	7	7
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	1
done	5	1
0	3	3
done	3	3
0	3	3
1	5	3
done	5	3
0	4	5
1	6	5
done	6	5
0	6	9
1	12	9
2	21	9
3	27	9
done	27	9
0	5	6
1	7	6
2	9	6
3	10	6
done	10	6
0	4	5
1	8	3
2	14	3
3	19	3
done	19	3
0	3	3
done	3	3
0	5	5
1	10	5
2	22	5
3	29	5
4	36	5
5	46	5
6	68	5
7	132	5
8	345	5
9	1261	5
done	5000	5
0	5	5
1	10	5
2	22	5
3	29	5
4	36	5
5	46	5
6	68	5
7	132	5
8	345	5
9	1261	5
done	5000	5
0	5	5
1	10	5
2	22	5
3	29	5
4	36	5
5	46	5
6	68	5
7	132	5
8	345	5
9	1261	5
done	5000	5

prune43.0ms

Filtered

20 candidates to 24 candidates (-20.0%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	21	3	24
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	21	4	25

Merged error: 0.0b

Counts

25 → 4

localize5.0ms

Local error

Found 1 expressions with local error:

0.2b	(* y (/ y z))

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt`
13×	`associate-r`
10×	`times-frac`
9×	`add-cube-cbrt` `*-un-lft-identity`
6×	`add-exp-log` `add-cbrt-cube`
3×	`pow1` `associate-l`
2×	`prod-exp` `cbrt-unprod` `unswap-sqr`
1×	`cbrt-undiv` `associate-r/` `div-exp` `pow-prod-down` `-commutative` `div-inv` `add-log-exp`

Counts

1 → 32

Calls

1 calls:

8.0ms

(* y (/ y z))

series4.0ms

Counts

1 → 3

Calls

1 calls:

4.0ms

(* y (/ y z))

simplify26.2s

Counts

35 → 35

Iterations

Useful iterations: 2 (2.0ms)

Iter	Nodes	Cost
0	4	5
1	7	5
2	9	5
done	9	5
0	6	8
1	11	8
2	17	7
3	23	7
4	28	7
5	36	7
6	50	7
7	62	7
8	74	7
9	86	7
10	87	7
done	87	7
0	6	7
1	9	7
2	15	7
3	23	7
4	30	7
5	38	7
6	52	7
7	64	7
8	76	7
9	86	7
10	87	7
done	87	7
0	5	6
1	11	6
2	18	6
3	27	6
4	37	6
5	43	6
6	51	6
7	65	6
8	77	6
9	89	6
10	101	6
11	102	6
done	102	6
0	5	6
1	10	6
2	18	6
3	28	6
4	57	6
5	129	6
6	325	6
7	1298	6
done	5001	6
0	8	17
1	22	17
2	97	11
3	367	7
4	844	7
5	2314	7
done	5000	7
0	8	17
1	21	17
2	67	9
3	194	9
4	537	7
5	1469	7
done	5000	7
0	6	13
1	9	13
2	11	13
done	11	13
0	5	6
1	8	6
2	10	6
done	10	6
0	6	17
1	18	17
2	65	7
3	191	7
4	475	7
5	1063	7
6	2394	7
done	5001	7
0	5	6
1	8	6
2	10	6
done	10	6
0	5	6
1	8	6
2	10	6
done	10	6
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	6	8
1	9	8
2	11	4
done	11	4
0	6	8
1	9	8
2	11	4
done	11	4
0	6	11
1	9	11
2	11	11
done	11	11
0	5	6
1	6	6
done	6	6
0	8	13
1	17	13
2	46	13
3	86	13
4	142	13
5	156	13
done	156	13
0	7	10
1	12	10
2	22	10
3	37	10
4	50	10
5	52	10
done	52	10
0	6	9
1	13	7
2	30	7
3	67	7
4	97	7
done	97	7
0	7	10
1	12	10
2	23	10
3	36	10
4	48	10
done	48	10
0	6	7
1	9	7
2	12	7
3	16	7
4	17	7
done	17	7
0	5	6
1	10	4
2	17	4
3	26	4
4	32	4
done	32	4
0	7	9
1	14	9
2	24	7
3	31	7
4	49	7
5	79	7
6	82	7
done	82	7
0	6	6
1	11	6
2	14	4
3	15	4
4	20	4
5	21	4
done	21	4
0	4	5
1	9	3
2	14	1
done	14	1
0	3	3
1	6	1
done	6	1
0	2	3
done	2	3
0	5	6
1	8	6
2	11	6
3	15	6
4	16	6
done	16	6
0	5	6
1	8	6
2	11	6
3	15	6
4	16	6
done	16	6
0	4	5
1	7	5
2	9	5
done	9	5
0	2	3
done	2	3
0	5	5
1	10	5
2	22	5
3	29	5
4	36	5
5	46	5
6	68	5
7	132	5
8	345	5
9	1261	5
done	5000	5
0	5	5
1	10	5
2	22	5
3	29	5
4	36	5
5	46	5
6	68	5
7	132	5
8	345	5
9	1261	5
done	5000	5
0	5	5
1	10	5
2	22	5
3	29	5
4	36	5
5	46	5
6	68	5
7	132	5
8	345	5
9	1261	5
done	5000	5

prune47.0ms

Filtered

25 candidates to 35 candidates (-40.0%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	33	2	35
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	33	6	39

Merged error: 0.0b

Counts

39 → 6

localize6.0ms

Local error

Found 1 expressions with local error:

0.2b	(/ y (/ z y))

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

75×	`times-frac`
43×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
13×	`associate-/r*`
6×	`add-exp-log` `add-cbrt-cube`
5×	`div-inv`
3×	`cbrt-undiv` `div-exp` `associate-/l*`
1×	`pow1` `frac-2neg` `clear-num` `associate-/r/` `add-log-exp`

Counts

1 → 70

Calls

1 calls:

6.0ms

(/ y (/ z y))

series4.0ms

Counts

1 → 3

Calls

1 calls:

4.0ms

(/ y (/ z y))

simplify34.8s

Counts

73 → 73

Iterations

Useful iterations: 3 (4.0ms)

Iter	Nodes	Cost
0	6	8
1	12	8
2	20	8
3	31	8
4	44	7
5	53	7
6	64	7
7	81	7
8	82	7
done	82	7
0	6	7
1	10	7
2	15	7
3	22	7
4	33	7
5	44	7
6	53	7
7	64	7
8	81	7
9	82	7
done	82	7
0	5	6
1	10	6
2	19	6
3	27	6
4	36	6
5	47	6
6	59	6
7	71	6
8	82	6
9	92	6
10	93	6
done	93	6
0	5	6
1	7	6
2	12	6
3	18	6
4	26	6
5	51	6
6	112	6
7	274	6
8	843	6
9	3566	6
done	5001	6
0	8	17
1	21	17
2	92	11
3	364	7
4	837	7
5	2197	7
done	5000	7
0	8	17
1	23	17
2	78	9
3	244	7
4	621	7
5	1542	7
done	5000	7
0	6	13
1	8	13
2	11	13
done	11	13
0	5	6
1	7	6
2	10	6
done	10	6
0	6	17
1	15	17
2	46	7
3	166	7
4	456	7
5	935	7
6	2338	7
done	5000	7
0	5	6
1	7	6
2	10	6
done	10	6
0	5	6
1	7	6
2	10	6
done	10	6
0	2	2
done	2	2
0	4	4
1	6	4
done	6	4
0	8	15
1	14	15
2	23	15
3	29	15
done	29	15
0	6	7
done	6	7
0	7	10
1	9	10
2	11	10
3	12	10
done	12	10
0	6	7
done	6	7
0	8	17
1	18	17
2	48	17
3	104	13
4	136	10
5	146	10
6	163	10
7	233	10
8	505	10
9	1338	10
10	4538	10
done	5000	10
0	6	8
1	8	8
2	11	8
done	11	8
0	9	14
1	15	14
2	33	14
3	77	14
4	123	14
5	143	14
6	148	14
7	149	14
done	149	14
0	7	8
1	9	8
2	12	8
3	13	8
4	15	8
5	17	8
6	18	8
done	18	8
0	9	13
1	17	11
2	40	11
3	115	11
4	147	11
5	170	11
6	172	11
done	172	11
0	6	7
1	8	7
2	11	7
3	12	7
4	14	7
5	16	7
6	17	7
done	17	7
0	7	14
1	13	14
2	26	14
3	41	10
4	53	7
5	62	7
6	75	7
7	115	7
8	238	7
9	554	7
10	1840	7
done	5000	7
0	6	8
1	8	8
2	11	8
done	11	8
0	8	11
1	12	11
2	21	11
3	31	11
4	41	11
5	45	11
6	47	11
7	48	11
done	48	11
0	7	8
1	9	8
2	12	8
3	13	8
4	15	8
5	17	8
6	18	8
done	18	8
0	8	10
1	14	8
2	25	8
3	47	8
4	52	8
5	56	8
6	62	8
done	62	8
0	6	7
1	8	7
2	11	7
3	12	7
4	14	7
5	16	7
6	17	7
done	17	7
0	6	13
1	14	13
2	27	11
3	51	7
4	96	4
5	104	4
6	123	4
7	172	4
8	350	4
9	858	4
10	3091	4
done	5001	4
0	5	7
1	7	7
2	10	7
done	10	7
0	7	10
1	13	10
2	22	8
3	48	8
4	95	8
5	104	8
done	104	8
0	6	7
1	8	7
2	11	7
3	12	7
4	14	7
5	16	7
6	17	7
done	17	7
0	6	9
1	12	7
2	21	5
3	42	5
4	56	5
done	56	5
0	5	6
1	7	6
2	10	6
3	11	6
4	13	6
5	15	6
6	16	6
done	16	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	6
1	7	6
2	10	6
3	11	6
4	13	6
5	15	6
6	16	6
done	16	6
0	5	7
1	7	7
2	9	7
3	10	7
done	10	7
0	5	6
1	9	6
2	12	4
3	21	4
4	30	4
5	32	4
done	32	4
0	7	12
1	9	12
done	9	12
0	6	7
done	6	7
0	6	7
done	6	7
0	6	7
done	6	7
0	9	14
1	17	14
2	38	14
3	67	14
4	93	14
5	126	14
6	150	14
7	160	14
8	161	14
done	161	14
0	7	8
1	9	8
2	12	8
3	13	8
4	15	8
5	17	8
6	18	8
done	18	8
0	7	11
1	11	11
2	18	11
3	27	7
4	28	7
done	28	7
0	6	8
1	8	8
2	11	8
done	11	4
0	8	10
1	14	8
2	27	8
3	54	8
4	64	8
5	76	8
6	81	8
done	81	8
0	6	7
1	8	7
2	11	7
3	12	7
4	14	7
5	16	7
6	17	7
done	17	7
0	8	11
1	12	11
2	19	11
3	27	11
4	31	11
5	40	11
6	46	11
7	51	11
done	51	11
0	7	8
1	9	8
2	12	8
3	13	8
4	15	8
5	17	8
6	18	8
done	18	8
0	6	8
1	8	8
2	11	8
done	11	4
0	6	8
1	8	8
2	11	8
done	11	4
0	7	7
1	11	5
2	17	5
3	22	5
4	24	5
5	27	5
6	31	5
done	31	5
0	6	7
1	8	7
2	11	7
3	12	7
4	14	7
5	16	7
6	17	7
done	17	7
0	7	10
1	13	10
2	20	8
3	36	8
4	62	8
5	83	8
6	103	8
done	103	8
0	6	7
1	8	7
2	11	7
3	12	7
4	14	7
5	16	7
6	17	7
done	17	7
0	5	7
1	9	7
2	12	5
3	16	1
4	17	1
done	17	1
0	5	7
1	7	7
2	10	7
done	10	3
0	5	6
1	9	4
2	14	2
3	16	2
4	20	2
done	20	2
0	5	6
1	7	6
2	10	6
3	11	6
4	13	6
5	15	6
6	16	6
done	16	6
0	4	4
1	6	2
2	8	2
done	8	2
0	5	6
1	7	6
2	10	6
3	11	6
4	13	6
5	15	6
6	16	6
done	16	6
0	4	4
done	4	4
0	5	6
1	9	6
2	12	4
3	21	4
4	30	4
5	32	4
done	32	4
0	7	11
1	11	11
done	11	11
0	5	6
done	5	6
0	6	6
1	8	6
done	8	6
0	5	6
done	5	6
0	9	13
1	19	13
2	40	13
3	69	11
4	129	11
5	201	11
done	201	11
0	6	7
1	8	7
2	11	7
3	12	7
4	14	7
5	16	7
6	17	7
done	17	7
0	8	10
1	14	10
2	22	10
3	35	8
4	62	8
5	94	8
done	94	8
0	6	7
1	8	7
2	11	7
3	12	7
4	14	7
5	16	7
6	17	7
done	17	7
0	6	9
1	12	7
2	23	7
3	32	7
done	32	7
0	5	6
1	7	6
2	10	6
done	10	6
0	8	10
1	14	10
2	21	10
3	29	8
4	53	8
5	68	8
done	68	8
0	6	7
1	8	7
2	11	7
3	12	7
4	14	7
5	16	7
6	17	7
done	17	7
0	7	7
1	11	7
2	14	7
3	15	5
4	28	5
5	33	5
done	33	5
0	6	7
1	8	7
2	11	7
3	12	7
4	14	7
5	16	7
6	17	7
done	17	7
0	5	6
1	9	4
2	14	4
done	14	4
0	5	6
1	7	6
2	10	6
done	10	6
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	5	6
1	7	6
2	10	6
3	11	6
4	13	6
5	15	6
6	16	6
done	16	6
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	5	6
1	7	6
2	10	6
3	11	6
4	13	6
5	15	6
6	16	6
done	16	6
0	3	5
1	6	1
done	6	1
0	4	5
1	6	5
2	9	5
done	9	5
0	2	3
1	4	1
done	4	1
0	4	5
1	6	5
2	9	5
done	9	5
0	3	3
1	5	3
done	5	3
0	4	5
1	8	5
2	11	3
done	11	3
0	5	5
1	9	5
2	12	5
3	13	3
done	13	3
0	4	5
1	6	5
done	6	5
0	6	11
1	8	11
done	8	11
0	5	6
done	5	6
0	8	13
1	16	13
2	37	13
3	66	13
4	92	13
5	123	13
6	147	13
7	157	13
8	158	13
done	158	13
0	7	10
1	11	10
2	19	10
3	32	10
4	40	10
5	46	10
6	49	10
done	49	10
0	7	9
1	13	7
2	26	7
3	53	7
4	59	7
5	68	7
6	83	7
7	86	7
done	86	7
0	7	10
1	11	10
2	18	10
3	26	10
4	30	10
5	39	10
6	45	10
7	50	10
done	50	10
0	6	7
1	8	7
2	11	7
3	12	7
4	14	7
5	16	7
6	17	7
done	17	7
0	6	6
1	10	4
2	16	4
3	21	4
done	21	4
0	6	9
1	12	9
2	19	7
3	29	7
4	49	7
5	84	7
6	96	7
done	96	7
0	5	6
1	9	6
2	12	4
3	18	4
4	25	4
5	30	4
done	30	4
0	4	5
1	8	3
2	13	1
done	13	1
0	3	3
1	5	1
done	5	1
0	3	3
done	3	3
0	5	6
1	7	6
2	10	6
done	10	6
0	5	6
1	7	6
2	10	6
done	10	6
0	4	5
1	6	5
done	6	5
0	3	3
done	3	3
0	5	5
1	10	5
2	22	5
3	29	5
4	36	5
5	46	5
6	68	5
7	132	5
8	345	5
9	1261	5
done	5000	5
0	5	5
1	10	5
2	22	5
3	29	5
4	36	5
5	46	5
6	68	5
7	132	5
8	345	5
9	1261	5
done	5000	5
0	5	5
1	10	5
2	22	5
3	29	5
4	36	5
5	46	5
6	68	5
7	132	5
8	345	5
9	1261	5
done	5000	5

prune81.0ms

Filtered

61 candidates to 73 candidates (-19.7%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	72	1	73
Fresh	2	1	3
Picked	0	1	1
Done	1	1	2
Total	75	4	79

Merged error: 0.0b

Counts

79 → 4

localize7.0ms

Local error

Found 1 expressions with local error:

0.2b	(/ (/ y z) (/ 1 y))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

421×	`times-frac`
197×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
29×	`div-inv`
23×	`add-exp-log`
16×	`div-exp`
13×	`associate-/r` `add-cbrt-cube` `associate-/l`
8×	`cbrt-undiv`
2×	`rec-exp` `1-exp`
1×	`pow1` `frac-2neg` `clear-num` `associate-/r/` `associate-/l/` `add-log-exp`

Counts

1 → 219

Calls

1 calls:

16.0ms

(/ (/ y z) (/ 1 y))

series4.0ms

Counts

1 → 3

Calls

1 calls:

4.0ms

(/ (/ y z) (/ 1 y))

simplify1.7min

Counts

222 → 222

Iterations

Useful iterations: done (6.0ms)

Iter	Nodes	Cost
0	7	9
1	13	9
2	25	8
3	36	8
4	47	7
5	54	7
6	65	7
7	80	7
8	81	7
done	81	7
0	8	10
1	18	9
2	45	8
3	97	8
4	136	7
5	182	7
6	196	7
7	211	7
done	211	7
0	9	11
1	21	10
2	45	8
3	124	8
4	166	7
5	215	7
6	234	7
7	249	7
done	249	7
0	9	10
1	20	9
2	37	8
3	69	8
4	127	7
5	175	7
6	187	7
7	202	7
done	202	7
0	7	8
1	11	8
2	18	7
3	27	7
4	38	7
5	49	7
6	60	7
7	75	7
8	76	7
done	76	7
0	8	9
1	16	8
2	34	7
3	75	7
4	121	7
5	163	7
6	188	7
7	203	7
done	203	7
0	9	10
1	19	9
2	35	7
3	99	7
4	150	7
5	194	7
6	224	7
7	239	7
done	239	7
0	8	9
1	18	8
2	28	7
3	52	7
4	105	7
5	149	7
6	184	7
7	207	7
done	207	7
0	7	8
1	16	8
2	36	6
3	78	6
4	134	6
5	203	6
6	262	6
7	272	6
8	287	6
done	287	6
0	7	8
1	13	8
2	24	6
3	52	6
4	76	6
5	103	6
6	163	6
7	303	6
8	990	6
9	4503	6
done	5001	6
0	12	23
1	34	19
2	125	11
3	683	9
4	2345	7
done	5000	7
0	12	23
1	34	23
2	131	13
3	614	11
4	2147	7
done	5000	7
0	12	23
1	33	19
2	100	9
3	436	9
4	1634	9
5	3479	7
done	5000	7
0	10	23
1	33	23
2	115	11
3	501	7
4	1679	7
5	3441	7
done	5000	7
0	8	17
1	14	17
2	23	13
3	46	13
4	62	13
done	62	13
0	7	8
1	13	8
2	22	6
3	44	6
4	60	6
done	60	6
0	8	23
1	21	23
2	76	7
3	307	7
4	1358	7
5	2559	7
done	5000	7
0	7	8
1	13	8
2	22	6
3	44	6
4	60	6
done	60	6
0	7	8
1	13	8
2	22	6
3	44	6
4	60	6
done	60	6
0	4	4
1	6	4
done	6	4
0	4	4
1	9	3
done	9	3
0	10	19
1	18	19
2	27	19
3	33	19
done	33	19
0	8	9
1	10	9
done	10	9
0	9	14
1	13	14
2	15	14
3	16	14
done	16	14
0	8	9
1	10	9
done	10	9
0	12	21
1	24	19
2	60	17
3	139	15
4	193	15
5	242	15
done	242	15
0	9	10
1	13	9
2	16	9
3	17	7
4	26	7
5	40	7
6	48	7
done	48	7
0	11	18
1	19	16
2	37	14
3	68	12
4	92	12
5	106	12
6	108	12
done	108	12
0	9	10
1	13	9
2	16	9
3	17	7
4	26	7
5	40	7
6	48	7
done	48	7
0	10	17
1	18	13
2	39	11
3	70	9
4	78	9
done	78	9
0	8	9
1	12	8
2	15	8
3	16	6
4	25	6
5	39	6
6	47	6
done	47	6
0	11	18
1	19	17
2	34	17
3	62	15
4	119	15
5	229	15
6	266	15
done	266	15
0	9	10
1	13	9
2	16	9
3	17	7
4	26	7
5	40	7
6	48	7
done	48	7
0	10	15
1	16	14
2	25	14
3	35	12
4	60	12
5	95	12
6	100	12
done	100	12
0	9	10
1	13	9
2	16	9
3	17	7
4	26	7
5	40	7
6	48	7
done	48	7
0	9	14
1	15	11
2	24	9
3	45	9
4	62	9
done	62	9
0	8	9
1	12	8
2	15	8
3	16	6
4	25	6
5	39	6
6	47	6
done	47	6
0	10	17
1	18	17
2	33	15
3	80	15
4	192	15
5	252	15
6	297	15
done	297	15
0	8	9
1	12	9
2	15	7
3	24	7
4	33	7
5	35	7
done	35	7
0	9	14
1	15	14
2	24	12
3	50	12
4	97	12
5	106	12
done	106	12
0	8	9
1	12	9
2	15	7
3	24	7
4	33	7
5	35	7
done	35	7
0	8	13
1	14	11
2	23	9
3	44	9
4	58	9
done	58	9
0	7	8
1	11	8
2	14	6
3	23	6
4	32	6
5	34	6
done	34	6
0	7	11
1	11	9
2	17	9
3	22	9
done	22	9
0	7	8
1	11	8
2	14	6
3	23	6
4	32	6
5	34	6
done	34	6
0	7	11
1	11	9
2	17	9
3	22	9
done	22	9
0	7	8
1	11	8
2	14	6
3	23	6
4	32	6
5	34	6
done	34	6
0	9	14
1	13	14
done	13	14
0	8	9
1	10	9
done	10	9
0	8	9
1	10	9
done	10	9
0	8	9
1	10	9
done	10	9
0	11	16
1	21	14
2	42	12
3	64	10
4	71	10
5	87	10
done	87	10
0	9	10
1	13	9
2	16	9
3	17	7
4	26	7
5	40	7
6	48	7
done	48	7
0	10	13
1	16	11
2	24	9
3	30	7
4	33	7
5	40	7
6	41	7
done	41	7
0	9	10
1	13	9
2	16	9
3	17	7
4	26	7
5	40	7
6	48	7
done	48	7
0	9	12
1	15	8
2	26	6
3	33	4
4	37	4
done	37	4
0	8	9
1	12	8
2	15	8
3	16	6
4	25	6
5	39	6
6	47	6
done	47	6
0	10	13
1	16	12
2	23	12
3	31	10
4	47	10
5	99	10
6	131	10
done	131	10
0	9	10
1	13	9
2	16	9
3	17	7
4	26	7
5	40	7
6	48	7
done	48	7
0	9	10
1	13	9
2	16	9
3	17	7
4	26	7
5	40	7
6	48	7
done	48	7
0	9	10
1	13	9
2	16	9
3	17	7
4	26	7
5	40	7
6	48	7
done	48	7
0	8	9
1	12	6
2	17	4
3	19	4
4	23	4
done	23	4
0	8	9
1	12	8
2	15	8
3	16	6
4	25	6
5	39	6
6	47	6
done	47	6
0	9	12
1	15	12
2	22	10
3	38	10
4	65	10
5	88	10
6	108	10
done	108	10
0	8	9
1	12	9
2	15	7
3	24	7
4	33	7
5	35	7
done	35	7
0	8	9
1	12	9
2	15	7
3	24	7
4	33	7
5	35	7
done	35	7
0	8	9
1	12	9
2	15	7
3	24	7
4	33	7
5	35	7
done	35	7
0	7	8
1	11	6
2	16	4
3	18	4
4	22	4
done	22	4
0	7	8
1	11	8
2	14	6
3	23	6
4	32	6
5	34	6
done	34	6
0	6	6
1	8	4
2	10	4
done	10	4
0	7	8
1	11	8
2	14	6
3	23	6
4	32	6
5	34	6
done	34	6
0	6	6
1	8	4
2	10	4
done	10	4
0	7	8
1	11	8
2	14	6
3	23	6
4	32	6
5	34	6
done	34	6
0	12	21
1	24	21
2	59	21
3	147	21
4	272	21
5	310	21
done	310	21
0	9	10
1	13	10
2	16	10
done	16	10
0	11	16
1	21	16
2	44	16
3	81	16
4	122	16
5	126	16
done	126	16
0	9	10
1	13	10
2	16	10
done	16	10
0	12	23
1	30	21
2	95	19
3	300	17
4	524	13
5	550	10
6	559	10
7	608	10
8	817	10
9	1881	10
done	5000	10
0	9	11
1	15	10
2	24	10
3	33	8
4	59	8
5	66	8
done	66	8
0	13	20
1	27	18
2	71	16
3	212	14
4	558	14
5	700	14
6	762	14
done	762	14
0	10	11
1	16	10
2	25	10
3	37	8
4	71	8
5	97	8
6	105	8
7	106	8
done	106	8
0	12	19
1	26	15
2	70	13
3	189	11
4	361	11
5	481	11
6	482	11
done	482	11
0	9	10
1	15	9
2	24	9
3	36	7
4	70	7
5	98	7
6	105	7
done	105	7
0	11	20
1	25	19
2	66	19
3	185	17
4	453	13
5	573	10
6	581	10
7	608	10
8	756	10
9	1677	10
done	5000	10
0	9	11
1	15	10
2	24	10
3	33	8
4	59	8
5	66	8
done	66	8
0	12	17
1	24	16
2	59	16
3	151	14
4	378	14
5	551	14
6	590	14
7	591	14
done	591	14
0	10	11
1	16	10
2	25	10
3	37	8
4	71	8
5	97	8
6	105	8
7	106	8
done	106	8
0	11	16
1	23	13
2	53	11
3	150	11
4	336	11
5	443	11
6	446	11
done	446	11
0	9	10
1	15	9
2	24	9
3	36	7
4	70	7
5	98	7
6	105	7
done	105	7
0	10	19
1	24	19
2	65	17
3	238	17
4	564	13
5	621	10
6	629	10
7	656	10
8	804	10
9	1717	10
done	5000	10
0	8	10
1	14	10
2	23	8
3	46	8
4	68	8
done	68	8
0	11	16
1	23	16
2	58	14
3	193	14
4	464	14
5	610	14
6	621	14
done	621	14
0	9	10
1	15	10
2	24	8
3	52	8
4	87	8
5	107	8
6	108	8
done	108	8
0	10	15
1	22	13
2	52	11
3	150	11
4	344	11
5	500	11
6	504	11
done	504	11
0	8	9
1	14	9
2	23	7
3	51	7
4	86	7
5	106	7
done	106	7
0	9	13
1	19	11
2	46	11
3	95	11
4	125	11
done	125	11
0	8	9
1	14	9
2	23	7
3	51	7
4	86	7
5	106	7
done	106	7
0	9	13
1	19	11
2	46	11
3	95	11
4	125	11
done	125	11
0	8	9
1	14	9
2	23	7
3	51	7
4	86	7
5	106	7
done	106	7
0	11	18
1	19	18
2	35	18
3	71	18
4	111	18
5	121	18
done	121	18
0	9	10
1	13	10
2	16	10
done	16	10
0	10	13
1	16	13
2	27	13
3	40	13
4	50	13
done	50	13
0	9	10
1	13	10
2	16	10
done	16	10
0	11	20
1	25	18
2	68	16
3	174	14
4	215	10
5	233	7
6	242	7
7	277	7
8	402	7
9	931	7
10	2793	7
done	5001	7
0	9	11
1	15	10
2	24	10
3	33	8
4	59	8
5	66	8
done	66	8
0	12	17
1	22	15
2	48	13
3	117	11
4	244	11
5	315	11
6	330	11
done	330	11
0	10	11
1	16	10
2	25	10
3	37	8
4	71	8
5	97	8
6	105	8
7	106	8
done	106	8
0	11	16
1	21	12
2	49	10
3	110	8
4	178	8
5	200	8
6	201	8
done	201	8
0	9	10
1	15	9
2	24	9
3	36	7
4	70	7
5	98	7
6	105	7
done	105	7
0	10	17
1	20	16
2	45	16
3	105	14
4	247	10
5	338	7
6	346	7
7	367	7
8	459	7
9	924	7
10	2578	7
done	5000	7
0	9	11
1	15	10
2	24	10
3	33	8
4	59	8
5	66	8
done	66	8
0	11	14
1	19	13
2	38	13
3	80	11
4	190	11
5	292	11
6	308	11
done	308	11
0	10	11
1	16	10
2	25	10
3	37	8
4	71	8
5	97	8
6	105	8
7	106	8
done	106	8
0	10	13
1	18	10
2	36	8
3	84	8
4	179	8
5	212	8
6	214	8
done	214	8
0	9	10
1	15	9
2	24	9
3	36	7
4	70	7
5	98	7
6	105	7
done	105	7
0	9	16
1	19	16
2	44	14
3	137	14
4	288	10
5	326	7
6	334	7
7	355	7
8	447	7
9	919	7
10	2542	7
done	5001	7
0	8	10
1	14	10
2	23	8
3	46	8
4	68	8
done	68	8
0	10	13
1	18	13
2	37	11
3	108	11
4	236	11
5	312	11
6	314	11
done	314	11
0	9	10
1	15	10
2	24	8
3	52	8
4	87	8
5	107	8
6	108	8
done	108	8
0	9	12
1	17	10
2	35	8
3	83	8
4	177	8
5	210	8
6	213	8
done	213	8
0	8	9
1	14	9
2	23	7
3	51	7
4	86	7
5	106	7
done	106	7
0	8	10
1	14	8
2	29	8
3	46	8
4	56	8
done	56	8
0	8	9
1	14	9
2	23	7
3	51	7
4	86	7
5	106	7
done	106	7
0	8	10
1	14	8
2	29	8
3	46	8
4	56	8
done	56	8
0	8	9
1	14	9
2	23	7
3	51	7
4	86	7
5	106	7
done	106	7
0	9	17
1	17	15
2	46	15
3	103	15
4	121	15
done	121	15
0	8	9
1	12	9
2	15	9
done	15	9
0	8	12
1	14	10
2	34	10
3	56	10
4	57	10
done	57	10
0	8	9
1	12	9
2	15	9
done	15	9
0	9	19
1	23	13
2	64	11
3	96	11
4	100	7
5	115	4
6	132	4
7	171	4
8	266	4
9	555	4
10	1473	4
done	5000	4
0	8	10
1	14	9
2	23	9
3	32	7
4	48	7
5	55	7
done	55	7
0	10	16
1	20	12
2	52	8
3	101	8
4	120	8
5	124	8
done	124	8
0	9	10
1	15	9
2	24	9
3	36	7
4	53	7
5	77	7
6	87	7
7	90	7
8	91	7
done	91	7
0	9	15
1	19	9
2	46	5
3	69	5
4	96	5
done	96	5
0	8	9
1	14	8
2	23	8
3	35	6
4	52	6
5	76	6
6	86	6
7	89	6
8	90	6
done	90	6
0	8	16
1	18	11
2	48	11
3	84	7
4	96	4
5	105	4
6	128	4
7	192	4
8	401	4
9	1037	4
10	3942	4
done	5000	4
0	8	10
1	14	9
2	23	9
3	32	7
4	48	7
5	55	7
done	55	7
0	9	13
1	17	8
2	42	8
3	79	8
4	92	8
5	104	8
done	104	8
0	9	10
1	15	9
2	24	9
3	36	7
4	53	7
5	77	7
6	87	7
7	90	7
8	91	7
done	91	7
0	8	12
1	16	5
2	24	5
3	49	5
4	61	5
done	61	5
0	8	9
1	14	8
2	23	8
3	35	6
4	52	6
5	76	6
6	86	6
7	89	6
8	90	6
done	90	6
0	7	15
1	16	11
2	46	11
3	84	7
4	96	4
5	105	4
6	128	4
7	192	4
8	399	4
9	1006	4
10	3903	4
done	5000	4
0	7	9
1	13	9
2	22	7
3	44	7
4	60	7
done	60	7
0	8	12
1	16	8
2	41	8
3	78	8
4	90	8
5	102	8
done	102	8
0	8	9
1	14	9
2	23	7
3	51	7
4	76	7
5	89	7
6	90	7
7	93	7
8	94	7
done	94	7
0	7	11
1	15	5
2	23	5
3	48	5
4	57	5
done	57	5
0	7	8
1	13	8
2	22	6
3	50	6
4	75	6
5	88	6
6	89	6
7	92	6
8	93	6
done	93	6
0	6	9
1	12	5
2	16	5
3	21	5
done	21	5
0	7	8
1	13	8
2	22	6
3	50	6
4	75	6
5	88	6
6	89	6
7	92	6
8	93	6
done	93	6
0	6	9
1	12	5
2	16	5
3	21	5
done	21	5
0	7	8
1	13	8
2	22	6
3	50	6
4	75	6
5	88	6
6	89	6
7	92	6
8	93	6
done	93	6
0	11	18
1	19	18
2	31	18
3	58	18
4	61	18
done	61	18
0	9	10
1	13	10
2	16	10
done	16	10
0	10	13
1	16	13
2	22	13
3	30	13
done	30	13
0	9	10
1	13	10
2	16	10
done	16	10
0	13	20
1	27	18
2	67	16
3	172	14
4	340	14
5	446	14
6	540	14
7	543	14
done	543	14
0	10	11
1	16	10
2	25	10
3	37	8
4	71	8
5	97	8
6	105	8
7	106	8
done	106	8
0	11	17
1	21	15
2	42	13
3	89	11
4	166	7
done	166	7
0	9	11
1	15	10
2	24	10
3	33	8
4	59	4
5	66	4
done	66	4
0	11	16
1	21	12
2	46	10
3	103	8
4	150	8
5	218	8
done	218	8
0	9	10
1	15	9
2	24	9
3	36	7
4	70	7
5	98	7
6	105	7
done	105	7
0	12	17
1	22	16
2	42	16
3	97	14
4	253	14
5	487	14
6	595	14
7	598	14
done	598	14
0	10	11
1	16	10
2	25	10
3	37	8
4	71	8
5	97	8
6	105	8
7	106	8
done	106	8
0	10	14
1	18	13
2	32	13
3	60	11
4	106	7
5	112	7
done	112	7
0	9	11
1	15	10
2	24	10
3	33	8
4	59	4
5	66	4
done	66	4
0	10	13
1	18	10
2	31	8
3	76	8
4	130	8
5	208	8
done	208	8
0	9	10
1	15	9
2	24	9
3	36	7
4	70	7
5	98	7
6	105	7
done	105	7
0	11	16
1	21	16
2	41	14
3	125	14
4	289	14
5	479	14
6	546	14
done	546	14
0	9	10
1	15	10
2	24	8
3	52	8
4	87	8
5	107	8
6	108	8
done	108	8
0	9	13
1	17	13
2	31	11
3	79	11
4	122	7
done	122	7
0	8	10
1	14	10
2	23	8
3	46	8
4	68	4
done	68	4
0	9	12
1	17	10
2	30	8
3	75	8
4	129	8
5	201	8
done	201	8
0	8	9
1	14	9
2	23	7
3	51	7
4	86	7
5	106	7
done	106	7
0	8	10
1	14	8
2	24	8
3	40	8
done	40	8
0	8	9
1	14	9
2	23	7
3	51	7
4	86	7
5	106	7
done	106	7
0	8	10
1	14	8
2	24	8
3	40	8
done	40	8
0	8	9
1	14	9
2	23	7
3	51	7
4	86	7
5	106	7
done	106	7
0	10	15
1	16	15
2	22	15
3	28	15
done	28	15
0	9	10
1	13	10
2	16	10
done	16	10
0	9	10
1	13	10
2	16	10
done	16	10
0	9	10
1	13	10
2	16	10
done	16	10
0	12	17
1	24	15
2	57	13
3	122	11
4	176	11
5	220	11
6	254	11
7	256	11
done	256	11
0	10	11
1	16	10
2	25	10
3	37	8
4	71	8
5	97	8
6	105	8
7	106	8
done	106	8
0	10	14
1	18	12
2	34	10
3	56	8
4	66	4
5	67	4
done	67	4
0	9	11
1	15	10
2	24	10
3	33	8
4	59	4
5	66	4
done	66	4
0	10	13
1	18	9
2	38	7
3	67	5
4	82	5
5	89	5
done	89	5
0	9	10
1	15	9
2	24	9
3	36	7
4	70	7
5	98	7
6	105	7
done	105	7
0	11	14
1	19	13
2	34	13
3	64	11
4	153	11
5	278	11
6	312	11
7	313	11
done	313	11
0	10	11
1	16	10
2	25	10
3	37	8
4	71	8
5	97	8
6	105	8
7	106	8
done	106	8
0	9	11
1	15	10
2	24	10
3	33	8
4	59	4
5	66	4
done	66	4
0	9	11
1	15	10
2	24	10
3	33	8
4	59	4
5	66	4
done	66	4
0	9	10
1	15	7
2	25	5
3	44	5
4	71	5
5	83	5
done	83	5
0	9	10
1	15	9
2	24	9
3	36	7
4	70	7
5	98	7
6	105	7
done	105	7
0	10	13
1	18	13
2	33	11
3	82	11
4	177	11
5	273	11
6	299	11
done	299	11
0	9	10
1	15	10
2	24	8
3	52	8
4	87	8
5	107	8
6	108	8
done	108	8
0	8	10
1	14	10
2	23	8
3	46	8
4	68	4
done	68	4
0	8	10
1	14	10
2	23	8
3	46	8
4	68	4
done	68	4
0	8	9
1	14	7
2	24	5
3	43	5
4	70	5
5	80	5
done	80	5
0	8	9
1	14	9
2	23	7
3	51	7
4	86	7
5	106	7
done	106	7
0	7	7
1	11	5
2	18	5
3	20	5
done	20	5
0	8	9
1	14	9
2	23	7
3	51	7
4	86	7
5	106	7
done	106	7
0	7	7
1	11	5
2	18	5
3	20	5
done	20	5
0	8	9
1	14	9
2	23	7
3	51	7
4	86	7
5	106	7
done	106	7
0	8	14
1	14	12
2	23	12
3	31	12
done	31	12
0	8	9
1	12	9
2	15	9
done	15	9
0	7	9
1	11	7
2	17	7
done	17	7
0	8	9
1	12	9
2	15	9
done	15	9
0	10	16
1	22	12
2	51	8
3	69	8
4	82	8
5	95	8
done	95	8
0	9	10
1	15	9
2	24	9
3	36	7
4	53	7
5	77	7
6	87	7
7	90	7
8	91	7
done	91	7
0	8	13
1	16	7
2	25	5
done	25	1
0	8	10
1	14	9
2	23	9
3	32	7
4	48	3
5	55	3
done	55	3
0	8	12
1	16	6
2	28	2
3	30	2
4	34	2
done	34	2
0	8	9
1	14	8
2	23	8
3	35	6
4	52	6
5	76	6
6	86	6
7	89	6
8	90	6
done	90	6
0	9	13
1	17	8
2	31	8
3	44	8
4	69	8
5	86	8
done	86	8
0	9	10
1	15	9
2	24	9
3	36	7
4	53	7
5	77	7
6	87	7
7	90	7
8	91	7
done	91	7
0	7	10
1	13	5
2	20	1
done	20	1
0	8	10
1	14	9
2	23	9
3	32	7
4	48	3
5	55	3
done	55	3
0	7	9
1	13	2
2	14	2
3	16	2
4	20	2
done	20	2
0	8	9
1	14	8
2	23	8
3	35	6
4	52	6
5	76	6
6	86	6
7	89	6
8	90	6
done	90	6
0	8	12
1	16	8
2	30	8
3	43	8
4	68	8
5	84	8
done	84	8
0	8	9
1	14	9
2	23	7
3	51	7
4	76	7
5	89	7
6	90	7
7	93	7
8	94	7
done	94	7
0	6	9
1	12	5
2	19	1
done	19	1
0	7	9
1	13	9
2	22	7
3	44	7
4	60	3
done	60	3
0	6	8
1	12	2
2	13	2
3	15	2
4	19	2
done	19	2
0	7	8
1	13	8
2	22	6
3	50	6
4	75	6
5	88	6
6	89	6
7	92	6
8	93	6
done	93	6
0	5	6
1	9	2
done	9	2
0	7	8
1	13	8
2	22	6
3	50	6
4	75	6
5	88	6
6	89	6
7	92	6
8	93	6
done	93	6
0	5	6
1	9	2
done	9	2
0	7	8
1	13	8
2	22	6
3	50	6
4	75	6
5	88	6
6	89	6
7	92	6
8	93	6
done	93	6
0	10	17
1	18	17
2	30	17
3	57	17
4	62	17
done	62	17
0	8	9
1	12	9
2	15	9
done	15	9
0	9	12
1	15	12
2	21	12
3	29	12
done	29	12
0	8	9
1	12	9
2	15	9
done	15	9
0	12	19
1	26	17
2	66	15
3	171	11
4	354	11
5	484	11
6	490	11
done	490	11
0	9	10
1	15	9
2	24	9
3	36	7
4	70	7
5	97	7
6	106	7
7	113	7
done	113	7
0	11	16
1	21	14
2	42	12
3	94	8
4	164	8
5	230	8
6	232	8
done	232	8
0	9	10
1	15	9
2	24	9
3	36	7
4	70	7
5	97	7
6	106	7
7	113	7
done	113	7
0	9	15
1	19	11
2	43	7
3	67	7
4	80	7
5	89	7
done	89	7
0	8	9
1	14	8
2	23	8
3	32	6
4	58	6
5	65	6
done	65	6
0	11	16
1	21	15
2	41	15
3	96	11
4	266	11
5	422	11
6	426	11
done	426	11
0	9	10
1	15	9
2	24	9
3	36	7
4	70	7
5	97	7
6	106	7
7	113	7
done	113	7
0	10	13
1	18	12
2	32	12
3	63	10
4	111	8
5	193	8
6	272	8
done	272	8
0	9	10
1	15	9
2	24	9
3	36	7
4	70	7
5	97	7
6	106	7
7	113	7
done	113	7
0	8	12
1	16	9
2	24	7
3	42	7
4	59	7
5	71	7
done	71	7
0	8	9
1	14	8
2	23	8
3	32	6
4	58	6
5	65	6
done	65	6
0	10	15
1	20	15
2	40	13
3	124	11
4	291	11
5	426	11
6	434	11
done	434	11
0	8	9
1	14	9
2	23	7
3	51	7
4	86	7
5	106	7
6	109	7
done	109	7
0	9	12
1	17	12
2	31	10
3	85	8
4	154	8
5	213	8
6	217	8
done	217	8
0	8	9
1	14	9
2	23	7
3	51	7
4	86	7
5	106	7
6	109	7
done	109	7
0	7	11
1	15	9
2	23	7
3	41	7
4	55	7
5	66	7
done	66	7
0	7	8
1	13	8
2	22	6
3	44	6
4	66	6
done	66	6
0	6	9
1	12	7
2	22	7
3	32	7
done	32	7
0	7	8
1	13	8
2	22	6
3	44	6
4	66	6
done	66	6
0	6	9
1	12	7
2	22	7
3	32	7
done	32	7
0	7	8
1	13	8
2	22	6
3	44	6
4	66	6
done	66	6
0	9	14
1	15	14
2	21	14
3	27	14
done	27	14
0	8	9
1	12	9
2	15	9
done	15	9
0	8	9
1	12	9
2	15	9
done	15	9
0	8	9
1	12	9
2	15	9
done	15	9
0	11	16
1	23	14
2	56	12
3	117	8
4	181	8
5	237	8
done	237	8
0	9	10
1	15	9
2	24	9
3	36	7
4	70	7
5	97	7
6	106	7
7	113	7
done	113	7
0	10	13
1	18	11
2	34	9
3	61	5
4	78	5
5	108	5
done	108	5
0	9	10
1	15	9
2	24	9
3	36	7
4	70	7
5	97	7
6	106	7
7	113	7
done	113	7
0	8	12
1	16	8
2	35	4
3	39	4
done	39	4
0	8	9
1	14	8
2	23	8
3	32	6
4	58	6
5	65	6
done	65	6
0	10	13
1	18	12
2	33	12
3	63	8
4	155	8
5	239	8
done	239	8
0	9	10
1	15	9
2	24	9
3	36	7
4	70	7
5	97	7
6	106	7
7	113	7
done	113	7
0	9	10
1	15	9
2	24	9
3	36	7
4	64	5
5	95	5
6	99	5
done	99	5
0	9	10
1	15	9
2	24	9
3	36	7
4	70	7
5	97	7
6	106	7
7	113	7
done	113	7
0	7	9
1	13	6
2	18	4
3	20	4
4	23	4
done	23	4
0	8	9
1	14	8
2	23	8
3	32	6
4	58	6
5	65	6
done	65	6
0	9	12
1	17	12
2	32	10
3	81	8
4	164	8
5	209	8
done	209	8
0	8	9
1	14	9
2	23	7
3	51	7
4	86	7
5	106	7
6	109	7
done	109	7
0	8	9
1	14	9
2	23	7
3	51	5
4	84	5
5	99	5
done	99	5
0	8	9
1	14	9
2	23	7
3	51	7
4	86	7
5	106	7
6	109	7
done	109	7
0	6	8
1	12	6
2	17	4
3	19	4
4	22	4
done	22	4
0	7	8
1	13	8
2	22	6
3	44	6
4	66	6
done	66	6
0	5	6
1	9	4
2	16	4
done	16	4
0	7	8
1	13	8
2	22	6
3	44	6
4	66	6
done	66	6
0	5	6
1	9	4
2	16	4
done	16	4
0	7	8
1	13	8
2	22	6
3	44	6
4	66	6
done	66	6
0	7	13
1	13	11
2	17	11
3	27	11
4	28	11
done	28	11
0	7	8
1	11	8
2	14	8
done	14	8
0	6	8
1	10	6
2	12	6
3	16	6
done	16	6
0	7	8
1	11	8
2	14	8
done	14	8
0	9	15
1	21	11
2	47	7
3	64	5
4	69	5
done	69	5
0	8	9
1	14	8
2	23	8
3	35	6
4	52	6
5	73	6
6	85	6
7	94	6
8	95	6
done	95	6
0	8	12
1	16	8
2	26	4
3	27	2
4	28	2
done	28	2
0	8	9
1	14	8
2	23	8
3	35	6
4	52	6
5	73	6
6	85	6
7	94	6
8	95	6
done	95	6
0	6	11
1	14	1
done	14	1
0	7	8
1	13	7
2	22	7
3	31	5
4	47	5
5	53	5
done	53	5
0	8	12
1	16	7
2	27	7
3	39	5
4	48	5
done	48	5
0	8	9
1	14	8
2	23	8
3	35	6
4	52	6
5	73	6
6	85	6
7	94	6
8	95	6
done	95	6
0	7	9
1	13	4
2	18	4
3	19	2
4	20	2
done	20	2
0	8	9
1	14	8
2	23	8
3	35	6
4	52	6
5	73	6
6	85	6
7	94	6
8	95	6
done	95	6
0	5	8
1	11	1
done	11	1
0	7	8
1	13	7
2	22	7
3	31	5
4	47	5
5	53	5
done	53	5
0	7	11
1	15	7
2	26	5
3	42	5
4	47	5
done	47	5
0	7	8
1	13	8
2	22	6
3	50	6
4	75	6
5	86	6
6	90	6
7	93	6
8	94	6
done	94	6
0	6	8
1	12	4
2	17	2
3	18	2
done	18	2
0	7	8
1	13	8
2	22	6
3	50	6
4	75	6
5	86	6
6	90	6
7	93	6
8	94	6
done	94	6
0	3	7
1	9	1
done	9	1
0	6	7
1	12	7
2	21	5
3	44	5
4	60	5
done	60	5
0	3	5
1	7	1
done	7	1
0	6	7
1	12	7
2	21	5
3	44	5
4	60	5
done	60	5
0	3	5
1	7	1
done	7	1
0	6	7
1	12	7
2	21	5
3	44	5
4	60	5
done	60	5
0	6	11
1	10	11
done	10	11
0	7	8
1	11	8
2	14	8
done	14	8
0	5	6
1	7	6
done	7	6
0	7	8
1	11	8
2	14	8
done	14	8
0	8	13
1	18	11
2	39	7
3	54	5
4	58	5
done	58	5
0	8	9
1	14	8
2	23	8
3	35	6
4	52	6
5	73	6
6	85	6
7	94	6
8	95	6
done	95	6
0	7	10
1	13	8
2	21	4
3	23	2
4	24	2
done	24	2
0	8	9
1	14	8
2	23	8
3	35	6
4	52	6
5	73	6
6	85	6
7	94	6
8	95	6
done	95	6
0	5	9
1	11	5
2	19	1
done	19	1
0	7	8
1	13	7
2	22	7
3	31	5
4	47	5
5	53	5
done	53	5
0	7	10
1	13	9
2	20	9
3	28	5
4	91	5
5	227	5
6	250	5
7	347	5
done	347	5
0	8	9
1	14	8
2	23	8
3	35	6
4	52	6
5	73	6
6	85	6
7	94	6
8	95	6
done	95	6
0	6	7
1	10	6
2	13	6
3	14	2
4	42	2
5	137	2
6	154	2
7	198	2
done	198	2
0	8	9
1	14	8
2	23	8
3	35	6
4	52	6
5	73	6
6	85	6
7	94	6
8	95	6
done	95	6
0	4	6
1	8	3
2	12	1
done	12	1
0	7	8
1	13	7
2	22	7
3	31	5
4	47	5
5	53	5
done	53	5
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	7	8
1	13	8
2	22	6
3	50	6
4	75	6
5	86	6
6	90	6
7	93	6
8	94	6
done	94	6
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	7	8
1	13	8
2	22	6
3	50	6
4	75	6
5	86	6
6	90	6
7	93	6
8	94	6
done	94	6
0	3	5
1	6	1
done	6	1
0	6	7
1	12	7
2	21	5
3	44	5
4	60	5
done	60	5
0	2	3
1	4	1
done	4	1
0	6	7
1	12	7
2	21	5
3	44	5
4	60	5
done	60	5
0	2	3
1	4	1
done	4	1
0	6	7
1	12	7
2	21	5
3	44	5
4	60	5
done	60	5
0	6	11
1	10	11
done	10	11
0	7	8
1	11	8
2	14	8
done	14	8
0	5	6
1	7	6
done	7	6
0	7	8
1	11	8
2	14	8
done	14	8
0	8	13
1	18	11
2	39	9
3	61	7
4	68	7
5	84	7
6	96	7
done	96	7
0	8	9
1	14	8
2	23	8
3	35	6
4	49	4
5	86	4
6	95	4
done	95	4
0	7	10
1	13	8
2	21	6
3	27	4
4	30	4
5	37	4
6	43	4
done	43	4
0	8	9
1	14	8
2	23	8
3	35	6
4	49	4
5	86	4
6	95	4
done	95	4
0	6	9
1	12	5
2	23	3
3	30	1
done	30	1
0	7	8
1	13	7
2	22	7
3	34	5
4	48	3
5	73	3
6	94	3
7	95	3
done	95	3
0	7	10
1	13	9
2	20	9
3	28	7
4	44	7
5	96	7
6	127	7
done	127	7
0	8	9
1	14	8
2	23	8
3	35	6
4	49	4
5	86	4
6	95	4
done	95	4
0	6	7
1	10	6
2	13	6
3	14	4
4	23	4
5	37	4
6	45	4
done	45	4
0	8	9
1	14	8
2	23	8
3	35	6
4	49	4
5	86	4
6	95	4
done	95	4
0	5	6
1	9	3
2	14	1
done	14	1
0	7	8
1	13	7
2	22	7
3	34	5
4	48	3
5	73	3
6	94	3
7	95	3
done	95	3
0	6	9
1	12	9
2	19	7
3	29	7
4	49	7
5	84	7
6	96	7
done	96	7
0	7	8
1	13	8
2	22	6
3	50	4
4	77	4
5	105	4
done	105	4
0	5	6
1	9	6
2	12	4
3	18	4
4	25	4
5	30	4
done	30	4
0	7	8
1	13	8
2	22	6
3	50	4
4	77	4
5	105	4
done	105	4
0	4	5
1	8	3
2	13	1
done	13	1
0	6	7
1	12	7
2	21	5
3	49	3
4	68	3
5	85	3
6	97	3
done	97	3
0	3	3
1	5	1
done	5	1
0	6	7
1	12	7
2	21	5
3	49	3
4	68	3
5	85	3
6	97	3
done	97	3
0	3	3
1	5	1
done	5	1
0	6	7
1	12	7
2	21	5
3	49	3
4	68	3
5	85	3
6	97	3
done	97	3
0	4	5
1	8	1
done	8	1
0	6	7
1	12	7
2	21	7
3	29	7
4	35	5
5	52	5
6	84	5
7	86	5
done	86	5
0	8	13
1	14	13
2	20	13
3	26	13
done	26	13
0	7	8
1	11	8
2	14	8
done	14	8
0	10	15
1	22	13
2	55	11
3	118	9
4	163	9
5	219	9
6	285	9
7	303	9
done	303	9
0	9	12
1	17	10
2	33	8
3	60	6
4	74	6
5	89	6
6	102	6
7	112	6
8	113	6
done	113	6
0	8	11
1	16	7
2	36	5
3	65	3
4	75	3
5	93	3
6	106	3
7	107	3
done	107	3
0	9	12
1	17	11
2	32	11
3	62	9
4	118	9
5	221	9
6	313	9
7	340	9
done	340	9
0	8	9
1	14	8
2	23	8
3	35	6
4	52	6
5	73	6
6	85	6
7	94	6
8	95	6
done	95	6
0	7	8
1	13	5
2	23	3
3	36	3
4	45	3
5	53	3
6	68	3
7	88	3
8	91	3
done	91	3
0	8	11
1	16	11
2	31	9
3	80	9
4	151	9
5	235	9
6	318	9
7	320	9
done	320	9
0	7	8
1	13	8
2	22	6
3	50	6
4	75	6
5	86	6
6	90	6
7	93	6
8	94	6
done	94	6
0	6	7
1	12	5
2	22	3
3	35	3
4	44	3
5	52	3
6	65	3
7	85	3
8	90	3
done	90	3
0	5	5
1	9	3
2	16	3
done	16	3
0	5	5
1	9	3
2	16	3
done	16	3
0	7	8
1	11	8
2	14	8
done	14	8
0	7	8
1	11	8
2	14	8
done	14	8
0	8	9
1	14	9
2	23	9
3	35	9
4	51	7
5	111	7
6	160	7
done	160	7
0	8	9
1	14	9
2	23	9
3	35	9
4	51	7
5	111	7
6	160	7
done	160	7
0	7	8
1	13	8
2	22	8
3	34	8
4	50	6
5	86	6
6	136	6
7	139	6
done	139	6
0	8	9
1	14	9
2	23	9
3	35	9
4	51	7
5	111	7
6	160	7
done	160	7
0	8	9
1	14	9
2	23	9
3	35	9
4	51	7
5	111	7
6	160	7
done	160	7
0	7	8
1	13	8
2	22	8
3	34	8
4	50	6
5	86	6
6	136	6
7	139	6
done	139	6
0	7	8
1	13	8
2	22	8
3	30	8
4	36	6
5	71	6
6	97	6
done	97	6
0	7	8
1	13	8
2	22	8
3	30	8
4	36	6
5	71	6
6	97	6
done	97	6
0	6	7
1	12	7
2	21	7
3	29	7
4	35	5
5	52	5
6	84	5
7	86	5
done	86	5
0	6	7
1	12	7
2	21	7
3	29	7
4	35	5
5	52	5
6	84	5
7	86	5
done	86	5
0	6	7
1	12	7
2	21	5
3	49	3
4	68	3
5	85	3
6	97	3
done	97	3
0	5	5
1	9	3
2	16	3
done	16	3
0	5	5
1	10	5
2	13	3
done	13	3
0	5	5
1	10	5
2	22	5
3	29	5
4	36	5
5	46	5
6	68	5
7	132	5
8	345	5
9	1261	5
done	5000	5
0	5	5
1	10	5
2	22	5
3	29	5
4	36	5
5	46	5
6	68	5
7	132	5
8	345	5
9	1261	5
done	5000	5
0	5	5
1	10	5
2	22	5
3	29	5
4	36	5
5	46	5
6	68	5
7	132	5
8	345	5
9	1261	5
done	5000	5

prune142.0ms

Filtered

115 candidates to 222 candidates (-93.0%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	222	0	222
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	222	4	226

Merged error: 0.0b

Counts

226 → 4

regimes311.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	6	7
1	7	7
done	7	7

end0.0ms

sample725.0ms

Algorithm

intervals

Results

295.0ms

10606×

body

valid

Details

sample26.0ms

simplify6.0ms

prune3.0ms

localize5.0ms

rewrite11.0ms

series4.0ms

simplify25.6s

prune43.0ms

localize5.0ms

rewrite9.0ms

series4.0ms

simplify26.2s

prune47.0ms

localize6.0ms

rewrite10.0ms

series4.0ms

simplify34.8s

prune81.0ms

localize7.0ms

rewrite33.0ms

series4.0ms

simplify1.7min

prune142.0ms

regimes311.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample725.0ms

Profiling