Details

sample20.0ms

Algorithm

intervals

Results

8.0ms

344×

body

valid

simplify2.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	4	5
1	6	5
done	6	5

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: 13.6b

Counts

2 → 1

localize9.0ms

Local error

Found 1 expressions with local error:

13.2b

(/ x (* y y))

rewrite6.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-/l`
2×	`cbrt-undiv` `div-exp`
1×	`pow1` `frac-2neg` `prod-exp` `clear-num` `associate-/r*` `cbrt-unprod` `div-inv` `add-log-exp`

Counts

1 → 21

Calls

1 calls:

5.0ms

(/ x (* y y))

series6.0ms

Counts

1 → 3

Calls

1 calls:

6.0ms

(/ x (* y y))

simplify20.7s

Counts

24 → 24

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	8
1	12	7
2	22	7
3	29	7
4	35	7
5	44	7
6	57	7
7	73	7
8	76	7
done	76	7
0	6	7
1	10	7
2	17	7
3	27	7
4	35	7
5	43	7
6	55	7
7	69	7
8	84	7
done	84	7
0	5	6
1	10	6
2	16	6
3	24	6
4	36	6
5	44	6
6	53	6
7	66	6
8	82	6
9	85	6
done	85	6
0	5	6
1	7	6
done	7	6
0	8	17
1	23	17
2	90	11
3	323	7
4	746	7
5	1849	7
done	5000	7
0	8	17
1	24	17
2	93	9
3	339	7
4	806	7
5	1926	7
done	5000	7
0	6	13
1	8	13
done	8	13
0	5	6
1	7	6
done	7	6
0	6	17
1	15	17
2	52	7
3	188	7
4	512	7
5	850	7
6	1977	7
done	5000	7
0	5	6
1	7	6
done	7	6
0	5	6
1	7	6
done	7	6
0	2	2
done	2	2
0	3	4
1	6	4
done	6	4
0	5	7
1	7	7
2	9	7
3	10	7
done	10	7
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	3
done	5	3
0	3	3
done	3	3
0	4	5
1	8	5
done	8	5
0	4	5
1	6	5
2	8	5
3	9	5
done	9	5
0	3	3
done	3	3
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	4	5
1	6	5
2	8	5
3	9	5
done	9	5
0	5	5
1	10	5
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5000	5
0	5	5
1	10	5
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5000	5
0	5	5
1	10	5
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5000	5

prune51.0ms

Filtered

20 candidates to 24 candidates (-20.0%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	17	7	24
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	18	7	25

Merged error: 0.0b

Counts

25 → 7

localize4.0ms

Local error

Found 1 expressions with local error:

0.2b	(/ (/ x y) y)

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 70

Calls

1 calls:

11.0ms

(/ (/ x y) y)

series6.0ms

Counts

1 → 3

Calls

1 calls:

6.0ms

(/ (/ x y) y)

simplify27.1s

Counts

73 → 73

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	8
1	11	8
2	23	7
3	35	7
4	44	7
5	53	7
6	67	7
7	77	7
8	80	7
done	80	7
0	6	7
1	10	7
2	16	7
3	29	7
4	42	7
5	49	7
6	59	7
7	67	7
8	77	7
9	80	7
done	80	7
0	5	6
1	10	6
2	16	6
3	24	6
4	36	6
5	47	6
6	54	6
7	64	6
8	72	6
9	82	6
10	85	6
done	85	6
0	5	6
1	7	6
done	7	6
0	8	17
1	21	17
2	91	11
3	327	7
4	782	7
5	1908	7
done	5000	7
0	8	17
1	23	17
2	78	9
3	265	7
4	655	7
5	1459	7
6	4733	7
done	5000	7
0	6	13
1	8	13
done	8	13
0	5	6
1	7	6
done	7	6
0	6	17
1	15	17
2	46	7
3	141	7
4	426	7
5	815	7
6	1834	7
done	5001	7
0	5	6
1	7	6
done	7	6
0	5	6
1	7	6
done	7	6
0	4	4
1	6	4
done	6	4
0	2	2
done	2	2
0	8	15
1	14	15
2	23	15
3	29	15
done	29	15
0	6	7
done	6	7
0	7	12
1	9	12
2	11	12
3	12	12
done	12	12
0	6	7
done	6	7
0	7	11
1	11	9
2	17	9
3	22	9
done	22	9
0	5	6
done	5	6
0	7	10
1	9	10
done	9	10
0	6	7
done	6	7
0	6	7
done	6	7
0	6	7
done	6	7
0	6	6
1	8	4
2	10	4
done	10	4
0	5	6
done	5	6
0	8	17
1	18	17
2	46	17
3	89	13
4	113	10
5	122	10
6	139	10
7	192	10
8	386	10
9	959	10
10	3182	10
done	5000	10
0	6	8
1	8	8
done	8	8
0	9	14
1	17	14
2	40	14
3	77	14
4	118	14
5	123	14
done	123	14
0	7	8
1	9	8
2	12	8
done	12	8
0	9	13
1	19	11
2	46	11
3	95	11
4	125	11
done	125	11
0	6	7
1	8	7
2	11	7
done	11	7
0	9	14
1	15	14
2	31	14
3	67	14
4	109	14
5	119	14
done	119	14
0	7	8
1	9	8
2	12	8
done	12	8
0	7	11
1	11	11
2	18	7
3	23	7
4	28	7
5	29	7
done	29	7
0	6	8
1	8	8
done	8	4
0	8	10
1	14	8
2	29	8
3	46	8
4	56	8
done	56	8
0	6	7
1	8	7
2	11	7
done	11	7
0	9	13
1	17	11
2	46	11
3	103	11
4	121	11
done	121	11
0	6	7
1	8	7
2	11	7
done	11	7
0	8	10
1	14	8
2	34	8
3	56	8
4	57	8
done	57	8
0	6	7
1	8	7
2	11	7
done	11	7
0	6	9
1	12	5
2	16	5
3	21	5
done	21	5
0	5	6
1	7	6
done	7	6
0	7	14
1	13	14
2	20	14
3	24	10
4	33	7
5	42	7
6	55	7
7	85	7
8	165	7
9	341	7
10	1122	7
done	5000	7
0	6	8
1	8	8
done	8	8
0	8	11
1	12	11
2	18	11
3	26	11
done	26	11
0	7	8
1	9	8
2	12	8
done	12	8
0	8	10
1	14	8
2	24	8
3	40	8
done	40	8
0	6	7
1	8	7
2	11	7
done	11	7
0	8	11
1	12	11
2	18	11
3	24	11
done	24	11
0	7	8
1	9	8
2	12	8
done	12	8
0	6	8
1	8	8
done	8	4
0	6	8
1	8	8
done	8	4
0	7	7
1	11	5
2	18	5
3	20	5
done	20	5
0	6	7
1	8	7
2	11	7
done	11	7
0	8	10
1	14	8
2	23	8
3	31	8
done	31	8
0	6	7
1	8	7
2	11	7
done	11	7
0	7	7
1	11	5
2	17	5
done	17	5
0	6	7
1	8	7
2	11	7
done	11	7
0	5	6
1	9	2
done	9	2
0	5	6
1	7	6
done	7	6
0	6	13
1	14	13
2	21	13
3	23	9
4	31	6
5	38	6
6	51	6
7	81	6
8	160	6
9	340	6
10	1127	6
done	5001	6
0	5	7
1	7	7
done	7	7
0	7	10
1	13	10
2	19	10
3	27	10
done	27	10
0	6	7
1	8	7
2	11	7
done	11	7
0	6	9
1	12	7
2	22	7
3	32	7
done	32	7
0	5	6
1	7	6
2	10	6
done	10	6
0	7	10
1	13	10
2	19	10
3	25	10
done	25	10
0	6	7
1	8	7
2	11	7
done	11	7
0	5	7
1	9	7
done	9	3
0	5	7
1	7	7
done	7	3
0	5	6
1	9	4
2	16	4
done	16	4
0	5	6
1	7	6
2	10	6
done	10	6
0	6	9
1	12	7
2	16	7
3	26	7
4	28	7
done	28	7
0	5	6
1	7	6
2	10	6
done	10	6
0	5	6
1	9	4
2	11	4
3	15	4
done	15	4
0	5	6
1	7	6
2	10	6
done	10	6
0	3	5
1	7	1
done	7	1
0	4	5
1	6	5
done	6	5
0	5	7
1	9	7
done	9	7
0	5	6
1	7	6
2	10	6
done	10	6
0	4	4
1	6	4
done	6	4
0	5	6
1	7	6
2	10	6
done	10	6
0	2	3
1	4	1
done	4	1
0	4	5
1	6	5
done	6	5
0	5	7
1	7	7
done	7	7
0	5	6
1	9	6
2	12	6
done	12	6
0	4	4
done	4	4
0	5	6
1	9	6
2	12	6
done	12	6
0	3	3
1	5	1
done	5	1
0	4	5
1	8	5
done	8	5
0	3	3
1	5	3
done	5	3
0	4	5
1	6	5
2	9	5
done	9	5
0	6	9
1	10	9
2	16	9
3	22	9
done	22	9
0	5	6
1	7	6
2	10	6
done	10	6
0	5	5
1	9	3
2	16	3
done	16	3
0	5	6
done	5	6
0	5	6
done	5	6
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	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	7	6
2	10	6
done	10	6
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	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	7	6
2	10	6
done	10	6
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	7	6
2	10	6
3	11	6
4	13	6
5	15	6
6	16	6
done	16	6
0	4	5
1	6	5
2	9	5
done	9	5
0	4	5
1	6	5
2	9	5
done	9	5
0	4	5
1	8	5
2	11	3
done	11	3
0	2	3
done	2	3
0	5	5
1	10	5
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5000	5
0	5	5
1	10	5
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5000	5
0	5	5
1	10	5
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5000	5

prune97.0ms

Filtered

60 candidates to 73 candidates (-21.7%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	68	5	73
Fresh	3	3	6
Picked	0	1	1
Done	0	0	0
Total	71	9	80

Merged error: 0b

Counts

80 → 9

localize5.0ms

Local error

Found 1 expressions with local error:

0.2b	(* (/ 1 y) (/ x y))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

32×	`add-sqr-sqrt`
25×	`times-frac`
23×	`add-exp-log`
17×	`*-un-lft-identity`
15×	`add-cube-cbrt`
13×	`associate-r` `associate-l` `add-cbrt-cube`
8×	`div-exp` `prod-exp`
6×	`unswap-sqr`
4×	`cbrt-undiv` `cbrt-unprod`
3×	`pow1`
2×	`rec-exp` `1-exp` `div-inv`
1×	`frac-times` `associate-r/` `pow-prod-down` `associate-l/` `*-commutative` `add-log-exp`

Counts

1 → 56

Calls

1 calls:

16.0ms

(* (/ 1 y) (/ x y))

series4.0ms

Counts

1 → 3

Calls

1 calls:

4.0ms

(* (/ 1 y) (/ x y))

simplify48.6s

Counts

59 → 59

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	13	7
2	21	5
3	62	5
4	105	5
5	107	5
done	107	5
0	7	9
1	11	9
2	15	8
3	26	8
4	35	7
5	44	7
6	58	7
7	68	7
8	71	7
done	71	7
0	7	8
1	10	8
2	16	7
3	26	7
4	38	7
5	46	7
6	56	7
7	64	7
8	74	7
9	77	7
done	77	7
0	8	10
1	16	9
2	40	8
3	103	8
4	211	7
5	273	7
6	287	7
done	287	7
0	8	9
1	15	8
2	35	7
3	77	7
4	198	7
5	285	7
6	304	7
done	304	7
0	9	11
1	19	10
2	41	8
3	103	8
4	240	7
5	332	7
6	348	7
done	348	7
0	9	10
1	18	9
2	35	8
3	79	7
4	197	7
5	274	7
6	290	7
7	305	7
done	305	7
0	9	10
1	18	9
2	31	8
3	79	8
4	151	7
5	206	7
6	224	7
done	224	7
0	8	9
1	17	8
2	28	7
3	60	7
4	136	7
5	198	7
6	253	7
done	253	7
0	7	8
1	17	8
2	33	6
3	92	6
4	187	6
5	304	6
6	377	6
7	436	6
done	436	6
0	7	8
1	16	8
2	30	6
3	96	6
4	209	6
5	393	6
6	1044	6
7	3977	6
done	5000	6
0	12	23
1	35	19
2	133	11
3	829	9
4	3024	7
done	5000	7
0	12	23
1	34	19
2	105	9
3	444	9
4	1766	9
5	4213	7
done	5001	7
0	12	23
1	35	23
2	137	13
3	595	9
4	2178	9
done	5000	9
0	10	23
1	31	23
2	104	11
3	365	11
4	1292	7
5	4145	7
done	5001	7
0	8	17
1	15	17
2	23	13
3	64	13
4	105	13
5	108	13
done	108	13
0	7	8
1	14	8
2	22	6
3	63	6
4	105	6
5	107	6
done	107	6
0	8	23
1	25	23
2	104	7
3	397	7
4	1112	7
5	2743	7
done	5001	7
0	7	8
1	14	8
2	22	6
3	63	6
4	105	6
5	107	6
done	107	6
0	7	8
1	14	8
2	22	6
3	63	6
4	105	6
5	107	6
done	107	6
0	3	3
1	6	1
done	6	1
0	2	3
done	2	3
0	8	9
1	11	9
done	11	9
0	8	9
1	11	9
done	11	9
0	9	10
1	14	10
2	17	10
3	21	10
4	22	10
done	22	10
0	9	10
1	14	10
2	17	10
3	21	10
4	22	10
done	22	10
0	9	10
1	14	9
2	17	9
3	19	7
4	33	7
5	35	7
done	35	7
0	9	10
1	14	9
2	17	9
3	19	7
4	33	7
5	35	7
done	35	7
0	9	11
1	16	10
2	24	10
3	36	8
4	86	4
5	94	4
done	94	4
0	9	11
1	16	10
2	24	10
3	36	8
4	86	4
5	94	4
done	94	4
0	8	9
1	13	9
2	16	7
3	29	7
4	36	7
done	36	7
0	8	9
1	13	9
2	16	7
3	29	7
4	36	7
done	36	7
0	8	10
1	15	10
2	23	8
3	64	8
4	118	4
5	119	4
done	119	4
0	8	10
1	15	10
2	23	8
3	64	8
4	118	4
5	119	4
done	119	4
0	8	13
1	15	13
2	23	11
3	51	11
4	64	11
done	64	11
0	7	8
1	12	8
2	15	6
3	28	6
4	33	6
done	33	6
0	10	15
1	23	15
2	64	13
3	216	13
4	525	13
5	836	13
6	858	13
done	858	13
0	9	12
1	18	12
2	36	10
3	113	10
4	233	10
5	306	10
6	323	10
done	323	10
0	8	11
1	17	9
2	43	7
3	168	7
4	243	7
5	249	7
done	249	7
0	9	12
1	18	12
2	37	10
3	109	10
4	245	10
5	418	10
6	432	10
done	432	10
0	8	9
1	15	9
2	24	7
3	63	7
4	114	7
5	153	7
6	162	7
done	162	7
0	7	8
1	14	6
2	27	4
3	71	4
4	95	4
5	99	4
done	99	4
0	7	11
1	16	11
2	34	9
3	79	9
4	127	9
done	127	9
0	6	8
1	13	8
2	22	6
3	41	6
4	50	6
done	50	6
0	5	7
1	12	3
2	16	3
3	23	3
done	23	3
0	4	5
1	9	3
done	9	3
0	5	5
1	10	5
2	13	3
done	13	3
0	7	8
1	12	8
2	15	8
3	19	8
4	20	8
done	20	8
0	7	8
1	12	8
2	15	8
3	19	8
4	20	8
done	20	8
0	8	9
1	15	8
2	24	8
3	41	6
4	71	6
5	98	6
6	109	6
7	110	6
done	110	6
0	8	9
1	15	8
2	24	8
3	41	6
4	71	6
5	98	6
6	109	6
7	110	6
done	110	6
0	7	8
1	14	7
2	22	7
3	34	5
4	70	5
5	83	5
6	85	5
done	85	5
0	8	9
1	15	8
2	24	8
3	41	6
4	71	6
5	98	6
6	109	6
7	110	6
done	110	6
0	8	9
1	15	8
2	24	8
3	41	6
4	71	6
5	98	6
6	109	6
7	110	6
done	110	6
0	7	8
1	14	7
2	22	7
3	34	5
4	70	5
5	83	5
6	85	5
done	85	5
0	7	8
1	14	8
2	23	6
3	62	6
4	90	6
5	121	6
6	136	6
done	136	6
0	7	8
1	14	8
2	23	6
3	62	6
4	90	6
5	121	6
6	136	6
done	136	6
0	6	7
1	13	7
2	21	5
3	62	5
4	105	5
5	107	5
done	107	5
0	6	7
1	13	7
2	21	5
3	62	5
4	105	5
5	107	5
done	107	5
0	6	7
1	13	7
2	21	5
3	62	5
4	105	5
5	107	5
done	107	5
0	5	5
1	10	5
2	13	3
done	13	3
0	5	5
1	10	3
2	20	3
3	22	3
4	25	3
5	27	3
done	27	3
0	5	5
1	10	5
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5000	5
0	5	5
1	10	5
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5000	5
0	5	5
1	10	5
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5000	5

prune71.0ms

Filtered

38 candidates to 59 candidates (-55.3%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	59	0	59
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	59	9	68

Merged error: 0b

Counts

68 → 9

localize5.0ms

Local error

Found 2 expressions with local error:

0.2b	(/ y (/ x y))
0.3b	(/ 1 (/ y (/ x y)))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

471×	`times-frac`
229×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
57×	`associate-/r*`
28×	`add-exp-log`
22×	`div-inv`
18×	`div-exp`
16×	`add-cbrt-cube`
9×	`cbrt-undiv`
6×	`associate-/r/` `associate-/l*`
3×	`pow1` `rec-exp` `1-exp`
2×	`frac-2neg` `clear-num` `add-log-exp`
1×	`pow-flip` `inv-pow`

Counts

2 → 274

Calls

2 calls:

7.0ms	(/ y (/ x y))
14.0ms	(/ 1 (/ y (/ x y)))

series8.0ms

Counts

2 → 6

Calls

2 calls:

4.0ms	(/ y (/ x y))
4.0ms	(/ 1 (/ y (/ x y)))

simplify2.8min

Counts

280 → 280

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	2	2
1	5	1
done	5	1
0	7	9
1	13	9
2	25	9
3	44	8
4	74	7
5	80	7
6	86	7
7	87	7
done	87	7
0	7	8
1	11	8
2	18	8
3	29	8
4	53	7
5	72	7
6	78	7
7	83	7
done	83	7
0	6	7
1	11	7
2	20	7
3	32	7
4	45	7
5	70	7
6	92	7
7	98	7
8	99	7
done	99	7
0	8	10
1	18	9
2	44	8
3	104	8
4	193	7
5	249	7
6	265	7
done	265	7
0	8	9
1	16	8
2	34	8
3	71	7
4	171	7
5	249	7
6	262	7
7	277	7
done	277	7
0	7	8
1	14	7
2	29	7
3	54	7
4	108	7
5	238	7
6	320	7
7	335	7
done	335	7
0	9	11
1	21	10
2	42	8
3	108	8
4	199	7
5	256	7
6	272	7
done	272	7
0	9	10
1	19	9
2	32	8
3	75	7
4	175	7
5	255	7
6	268	7
7	283	7
done	283	7
0	8	9
1	17	8
2	29	7
3	58	7
4	112	7
5	243	7
6	327	7
7	342	7
done	342	7
0	7	8
1	17	7
2	35	7
3	65	6
4	147	6
5	280	6
6	401	6
7	420	6
8	434	6
done	434	6
0	7	8
1	13	8
2	25	8
3	38	6
4	109	6
5	228	6
6	417	6
7	1065	6
8	4081	6
done	5000	6
0	12	23
1	32	19
2	126	13
3	602	9
4	2642	7
done	5000	7
0	12	23
1	34	19
2	115	11
3	458	9
4	1672	9
5	4346	7
done	5000	7
0	10	23
1	28	19
2	83	9
3	382	9
4	1265	7
5	2699	7
done	5000	7
0	8	17
1	14	17
2	24	17
3	31	13
4	73	13
5	110	13
6	115	13
done	115	13
0	7	8
1	13	8
2	23	8
3	30	6
4	72	6
5	113	6
6	116	6
done	116	6
0	8	23
1	21	23
2	73	9
3	395	7
4	1354	7
5	2302	7
done	5000	7
0	7	8
1	13	8
2	23	8
3	30	6
4	72	6
5	113	6
6	116	6
done	116	6
0	7	8
1	13	8
2	23	8
3	30	6
4	72	6
5	113	6
6	116	6
done	116	6
0	2	2
1	5	1
done	5	1
0	5	6
1	9	6
2	17	6
3	26	6
4	28	6
done	28	6
0	10	19
1	20	17
2	32	15
3	38	15
done	38	15
0	8	9
1	12	8
2	15	8
done	15	8
0	9	12
1	15	10
2	20	8
3	21	8
done	21	8
0	8	9
1	12	8
2	15	8
done	15	8
0	12	21
1	24	19
2	60	17
3	132	15
4	183	15
done	183	15
0	9	10
1	13	9
2	16	9
3	17	7
4	30	7
5	35	7
done	35	7
0	11	16
1	19	14
2	37	12
3	70	10
4	90	10
done	90	10
0	9	10
1	13	9
2	16	9
3	17	7
4	30	7
5	35	7
done	35	7
0	12	23
1	28	21
2	88	19
3	273	13
4	702	10
5	751	10
6	791	10
7	977	10
8	2255	10
done	5000	10
0	9	11
1	15	10
2	25	10
3	32	8
4	74	8
5	118	8
6	119	8
done	119	8
0	13	20
1	25	18
2	69	16
3	210	14
4	674	14
5	924	14
done	924	14
0	10	11
1	16	10
2	26	10
3	38	8
4	76	8
5	134	8
6	165	8
7	166	8
done	166	8
0	12	19
1	24	15
2	69	13
3	236	11
4	475	11
5	488	11
done	488	11
0	9	10
1	15	9
2	25	9
3	37	7
4	75	7
5	133	7
6	162	7
7	163	7
done	163	7
0	11	20
1	23	18
2	62	16
3	152	10
4	331	7
5	362	7
6	392	7
7	507	7
8	1139	7
9	3400	7
done	5000	7
0	9	11
1	15	10
2	25	10
3	32	8
4	74	8
5	118	8
6	119	8
done	119	8
0	12	17
1	22	15
2	55	13
3	128	11
4	327	11
5	428	11
done	428	11
0	10	11
1	16	10
2	26	10
3	38	8
4	76	8
5	134	8
6	165	8
7	166	8
done	166	8
0	11	16
1	21	12
2	51	10
3	124	8
4	191	8
5	194	8
done	194	8
0	9	10
1	15	9
2	25	9
3	37	7
4	75	7
5	133	7
6	162	7
7	163	7
done	163	7
0	9	19
1	21	17
2	55	13
3	92	9
4	138	6
5	152	6
6	183	6
7	285	6
8	625	6
9	1645	6
done	5000	6
0	8	10
1	14	9
2	24	9
3	31	7
4	73	7
5	110	7
6	112	7
done	112	7
0	10	16
1	20	14
2	48	10
3	105	10
4	173	10
done	173	10
0	9	10
1	15	9
2	25	9
3	37	7
4	75	7
5	118	7
6	157	7
7	162	7
done	162	7
0	9	15
1	19	11
2	40	7
3	70	7
4	79	7
done	79	7
0	8	9
1	14	8
2	24	8
3	36	6
4	74	6
5	110	6
6	149	6
7	152	6
done	152	6
0	8	13
1	16	7
2	30	7
3	39	7
done	39	7
0	8	9
1	14	8
2	24	8
3	36	6
4	74	6
5	110	6
6	149	6
7	152	6
done	152	6
0	9	13
1	17	11
2	35	9
3	68	7
4	95	7
5	96	7
done	96	7
0	7	9
1	13	8
2	23	6
3	36	6
4	43	6
done	43	6
0	11	18
1	19	16
2	34	14
3	54	12
4	57	12
done	57	12
0	9	10
1	13	9
2	16	9
3	17	7
4	30	7
5	35	7
done	35	7
0	10	13
1	16	11
2	25	9
3	33	7
4	34	7
done	34	7
0	9	10
1	13	9
2	16	9
3	17	7
4	30	7
5	35	7
done	35	7
0	13	20
1	27	18
2	71	16
3	189	14
4	499	14
5	780	14
6	788	14
done	788	14
0	10	11
1	16	10
2	26	10
3	38	8
4	76	8
5	134	8
6	165	8
7	166	8
done	166	8
0	11	17
1	21	15
2	47	13
3	102	9
4	192	7
5	207	7
done	207	7
0	9	11
1	15	10
2	25	10
3	32	6
4	74	4
5	119	4
6	125	4
done	125	4
0	11	16
1	21	12
2	49	10
3	123	8
4	210	8
done	210	8
0	9	10
1	15	9
2	25	9
3	37	7
4	75	7
5	133	7
6	162	7
7	163	7
done	163	7
0	12	17
1	22	15
2	48	13
3	105	11
4	243	11
5	377	11
6	382	11
done	382	11
0	10	11
1	16	10
2	26	10
3	38	8
4	76	8
5	134	8
6	165	8
7	166	8
done	166	8
0	10	14
1	18	12
2	38	10
3	64	6
4	92	4
5	100	4
done	100	4
0	9	11
1	15	10
2	25	10
3	32	6
4	74	4
5	119	4
6	125	4
done	125	4
0	10	13
1	18	9
2	36	7
3	61	5
4	78	5
done	78	5
0	9	10
1	15	9
2	25	9
3	37	7
4	75	7
5	133	7
6	162	7
7	163	7
done	163	7
0	10	16
1	20	14
2	42	10
3	75	10
4	116	10
5	146	10
done	146	10
0	9	10
1	15	9
2	25	9
3	37	7
4	75	7
5	118	7
6	157	7
7	162	7
done	162	7
0	8	13
1	16	11
2	32	7
3	37	3
done	37	3
0	8	10
1	14	9
2	24	9
3	31	5
4	73	3
5	111	3
6	114	3
done	114	3
0	8	12
1	16	8
2	27	4
3	29	4
done	29	4
0	8	9
1	14	8
2	24	8
3	36	6
4	74	6
5	110	6
6	149	6
7	152	6
done	152	6
0	7	10
1	13	4
2	18	4
done	18	4
0	8	9
1	14	8
2	24	8
3	36	6
4	74	6
5	110	6
6	149	6
7	152	6
done	152	6
0	8	10
1	14	8
2	23	6
3	31	4
4	32	4
done	32	4
0	7	9
1	13	8
2	23	6
3	36	6
4	43	6
done	43	6
0	10	17
1	18	15
2	33	11
3	49	9
4	57	9
5	58	9
done	58	9
0	8	9
1	12	8
2	15	8
3	16	6
4	29	6
5	36	6
done	36	6
0	9	12
1	15	10
2	24	6
3	31	4
done	31	4
0	8	9
1	12	8
2	15	8
3	16	6
4	29	6
5	36	6
done	36	6
0	12	19
1	26	17
2	70	13
3	185	11
4	427	11
5	581	11
done	581	11
0	9	10
1	15	9
2	25	9
3	37	7
4	75	7
5	133	7
6	162	7
7	163	7
done	163	7
0	11	16
1	21	14
2	48	10
3	115	8
4	256	8
5	290	8
done	290	8
0	9	10
1	15	9
2	25	9
3	37	7
4	75	7
5	133	7
6	162	7
7	163	7
done	163	7
0	9	15
1	19	11
2	44	7
3	75	5
4	100	5
done	100	5
0	8	9
1	14	8
2	24	8
3	31	6
4	73	6
5	117	6
done	117	6
0	11	16
1	21	14
2	47	10
3	106	8
4	211	8
5	286	8
done	286	8
0	9	10
1	15	9
2	25	9
3	37	7
4	75	7
5	133	7
6	162	7
7	163	7
done	163	7
0	10	13
1	18	11
2	38	7
3	72	5
4	107	5
5	109	5
done	109	5
0	9	10
1	15	9
2	25	9
3	37	7
4	75	7
5	133	7
6	162	7
7	163	7
done	163	7
0	8	12
1	16	8
2	32	4
3	35	2
done	35	2
0	8	9
1	14	8
2	24	8
3	31	6
4	73	6
5	117	6
done	117	6
0	9	15
1	19	9
2	38	7
3	57	7
4	61	7
done	61	7
0	8	9
1	14	8
2	24	8
3	36	6
4	74	6
5	110	6
6	151	6
7	154	6
done	154	6
0	8	12
1	16	6
2	25	4
done	25	4
0	8	9
1	14	8
2	24	8
3	36	6
4	74	6
5	110	6
6	151	6
7	154	6
done	154	6
0	6	11
1	13	1
done	13	1
0	7	8
1	13	7
2	23	7
3	30	5
4	72	5
5	109	5
6	111	5
done	111	5
0	5	9
1	11	1
done	11	1
0	7	8
1	13	7
2	23	7
3	30	5
4	72	5
5	109	5
6	111	5
done	111	5
0	6	9
1	12	7
2	21	3
3	28	1
done	28	1
0	6	8
1	12	7
2	21	5
3	24	5
4	25	5
done	25	5
0	4	7
1	8	3
2	12	1
done	12	1
0	7	8
1	13	7
2	23	7
3	30	5
4	72	5
5	109	5
6	111	5
done	111	5
0	5	7
1	9	5
2	11	3
3	12	3
done	12	3
0	7	8
1	13	7
2	23	5
3	38	3
4	56	3
5	76	3
done	76	3
0	7	9
1	13	7
2	22	5
3	30	3
4	31	3
done	31	3
0	4	4
1	6	3
done	6	3
0	9	16
1	15	15
2	18	15
done	18	15
0	8	9
1	12	8
2	15	8
done	15	8
0	8	9
1	12	8
2	15	8
done	15	8
0	8	9
1	12	8
2	15	8
done	15	8
0	11	18
1	21	17
2	42	17
3	71	15
4	131	15
5	196	15
done	196	15
0	9	10
1	13	9
2	16	9
3	17	7
4	30	7
5	35	7
done	35	7
0	10	13
1	16	12
2	24	12
3	37	10
4	64	10
5	99	10
done	99	10
0	9	10
1	13	9
2	16	9
3	17	7
4	30	7
5	35	7
done	35	7
0	11	20
1	25	19
2	71	19
3	194	13
4	527	10
5	985	10
6	1070	10
7	1222	10
8	2341	10
done	5001	10
0	9	11
1	15	10
2	25	10
3	32	8
4	74	8
5	118	8
6	119	8
done	119	8
0	12	17
1	22	16
2	52	16
3	144	14
4	388	14
5	695	14
6	856	14
7	863	14
done	863	14
0	10	11
1	16	10
2	26	10
3	38	8
4	76	8
5	134	8
6	165	8
7	166	8
done	166	8
0	11	16
1	21	13
2	54	13
3	182	11
4	341	11
5	463	11
6	469	11
done	469	11
0	9	10
1	15	9
2	25	9
3	37	7
4	75	7
5	133	7
6	162	7
7	163	7
done	163	7
0	10	17
1	20	16
2	45	16
3	90	10
4	247	7
5	540	7
6	591	7
7	685	7
8	1237	7
9	3171	7
done	5000	7
0	9	11
1	15	10
2	25	10
3	32	8
4	74	8
5	118	8
6	119	8
done	119	8
0	11	14
1	19	13
2	38	13
3	74	11
4	170	11
5	340	11
6	436	11
7	441	11
done	441	11
0	10	11
1	16	10
2	26	10
3	38	8
4	76	8
5	134	8
6	165	8
7	166	8
done	166	8
0	10	13
1	18	10
2	36	10
3	85	8
4	142	8
5	211	8
6	213	8
done	213	8
0	9	10
1	15	9
2	25	9
3	37	7
4	75	7
5	133	7
6	162	7
7	163	7
done	163	7
0	8	16
1	18	15
2	42	13
3	75	9
4	127	6
5	141	6
6	172	6
7	272	6
8	612	6
9	1637	6
done	5000	6
0	8	10
1	14	9
2	24	9
3	31	7
4	73	7
5	110	7
6	112	7
done	112	7
0	9	13
1	17	12
2	35	10
3	80	10
4	138	10
5	141	10
done	141	10
0	9	10
1	15	9
2	25	9
3	37	7
4	75	7
5	118	7
6	157	7
7	162	7
done	162	7
0	8	12
1	16	9
2	30	7
3	63	7
4	71	7
done	71	7
0	8	9
1	14	8
2	24	8
3	36	6
4	74	6
5	110	6
6	149	6
7	152	6
done	152	6
0	7	10
1	13	7
2	24	7
3	33	7
done	33	7
0	8	9
1	14	8
2	24	8
3	36	6
4	74	6
5	110	6
6	149	6
7	152	6
done	152	6
0	8	10
1	14	9
2	22	9
3	35	7
4	39	7
5	64	7
6	103	7
7	107	7
done	107	7
0	7	9
1	13	8
2	23	6
3	36	6
4	43	6
done	43	6
0	10	15
1	16	14
2	23	14
3	31	12
4	55	12
5	74	12
done	74	12
0	9	10
1	13	9
2	16	9
3	17	7
4	30	7
5	35	7
done	35	7
0	9	10
1	13	9
2	16	9
3	17	7
4	30	7
5	35	7
done	35	7
0	9	10
1	13	9
2	16	9
3	17	7
4	30	7
5	35	7
done	35	7
0	12	17
1	24	16
2	58	16
3	139	14
4	341	14
5	620	14
6	865	14
7	870	14
done	870	14
0	10	11
1	16	10
2	26	10
3	38	8
4	76	8
5	134	8
6	165	8
7	166	8
done	166	8
0	10	14
1	18	13
2	34	13
3	65	9
4	163	7
5	254	7
6	264	7
done	264	7
0	9	11
1	15	10
2	25	10
3	32	6
4	74	4
5	119	4
6	125	4
done	125	4
0	10	13
1	18	10
2	38	10
3	95	8
4	182	8
5	216	8
done	216	8
0	9	10
1	15	9
2	25	9
3	37	7
4	75	7
5	133	7
6	162	7
7	163	7
done	163	7
0	11	14
1	19	13
2	35	13
3	66	11
4	139	11
5	276	11
6	429	11
7	431	11
done	431	11
0	10	11
1	16	10
2	26	10
3	38	8
4	76	8
5	134	8
6	165	8
7	166	8
done	166	8
0	9	11
1	15	10
2	25	10
3	32	6
4	74	4
5	119	4
6	125	4
done	125	4
0	9	11
1	15	10
2	25	10
3	32	6
4	74	4
5	119	4
6	125	4
done	125	4
0	9	10
1	15	7
2	25	7
3	41	5
4	67	5
5	76	5
done	76	5
0	9	10
1	15	9
2	25	9
3	37	7
4	75	7
5	133	7
6	162	7
7	163	7
done	163	7
0	9	13
1	17	12
2	33	10
3	64	10
4	106	10
5	130	10
done	130	10
0	9	10
1	15	9
2	25	9
3	37	7
4	75	7
5	118	7
6	157	7
7	162	7
done	162	7
0	7	10
1	13	9
2	22	7
3	27	3
4	28	3
done	28	3
0	8	10
1	14	9
2	24	9
3	31	5
4	73	3
5	111	3
6	114	3
done	114	3
0	7	9
1	13	6
2	21	4
3	22	4
done	22	4
0	8	9
1	14	8
2	24	8
3	36	6
4	74	6
5	110	6
6	149	6
7	152	6
done	152	6
0	6	7
1	10	4
2	15	4
done	15	4
0	8	9
1	14	8
2	24	8
3	36	6
4	74	6
5	110	6
6	149	6
7	152	6
done	152	6
0	7	7
1	11	6
2	14	6
3	15	4
done	15	4
0	7	9
1	13	8
2	23	6
3	36	6
4	43	6
done	43	6
0	9	14
1	15	13
2	22	11
3	31	9
4	44	9
5	46	9
done	46	9
0	8	9
1	12	8
2	15	8
3	16	6
4	29	6
5	36	6
done	36	6
0	8	9
1	12	8
2	15	6
3	20	4
4	24	4
done	24	4
0	8	9
1	12	8
2	15	8
3	16	6
4	29	6
5	36	6
done	36	6
0	11	16
1	23	15
2	57	13
3	135	11
4	391	11
5	547	11
6	555	11
done	555	11
0	9	10
1	15	9
2	25	9
3	37	7
4	75	7
5	133	7
6	162	7
7	163	7
done	163	7
0	10	13
1	18	12
2	35	10
3	75	8
4	189	8
5	261	8
done	261	8
0	9	10
1	15	9
2	25	9
3	37	7
4	75	7
5	133	7
6	162	7
7	163	7
done	163	7
0	8	12
1	16	9
2	34	7
3	54	5
4	61	5
done	61	5
0	8	9
1	14	8
2	24	8
3	31	6
4	73	6
5	117	6
done	117	6
0	10	13
1	18	12
2	34	10
3	66	8
4	150	8
5	233	8
6	238	8
done	238	8
0	9	10
1	15	9
2	25	9
3	37	7
4	75	7
5	133	7
6	162	7
7	163	7
done	163	7
0	9	10
1	15	9
2	25	7
3	40	5
4	71	5
5	93	5
done	93	5
0	9	10
1	15	9
2	25	9
3	37	7
4	75	7
5	133	7
6	162	7
7	163	7
done	163	7
0	7	9
1	13	6
2	22	4
done	22	2
0	8	9
1	14	8
2	24	8
3	31	6
4	73	6
5	117	6
done	117	6
0	8	12
1	16	7
2	29	7
3	49	7
4	58	7
done	58	7
0	8	9
1	14	8
2	24	8
3	36	6
4	74	6
5	110	6
6	151	6
7	154	6
done	154	6
0	7	9
1	13	4
2	20	4
3	22	4
done	22	4
0	8	9
1	14	8
2	24	8
3	36	6
4	74	6
5	110	6
6	151	6
7	154	6
done	154	6
0	5	8
1	10	1
done	10	1
0	7	8
1	13	7
2	23	7
3	30	5
4	72	5
5	109	5
6	111	5
done	111	5
0	4	6
1	8	1
done	8	1
0	7	8
1	13	7
2	23	7
3	30	5
4	72	5
5	109	5
6	111	5
done	111	5
0	5	6
1	9	5
2	12	3
3	17	1
4	18	1
done	18	1
0	6	8
1	12	7
2	21	5
3	24	5
4	25	5
done	25	5
0	3	4
1	5	1
done	5	1
0	7	8
1	13	7
2	23	7
3	30	5
4	72	5
5	109	5
6	111	5
done	111	5
0	4	4
1	6	3
done	6	3
0	7	8
1	13	7
2	23	5
3	38	3
4	56	3
5	76	3
done	76	3
0	6	6
1	10	5
2	13	5
3	14	3
done	14	3
0	4	4
1	6	3
done	6	3
0	8	15
1	14	15
2	17	15
done	17	15
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	7	8
1	11	8
2	14	8
done	14	8
0	10	17
1	20	17
2	41	17
3	72	15
4	132	15
5	206	15
done	206	15
0	8	9
1	12	9
2	15	9
3	16	7
4	29	7
5	36	7
done	36	7
0	9	12
1	15	12
2	23	12
3	36	10
4	63	10
5	99	10
done	99	10
0	8	9
1	12	9
2	15	9
3	16	7
4	29	7
5	36	7
done	36	7
0	10	19
1	24	19
2	70	19
3	193	13
4	537	10
5	1002	10
6	1083	10
7	1235	10
8	2372	10
done	5000	10
0	8	10
1	14	10
2	24	10
3	31	8
4	73	8
5	117	8
done	117	8
0	11	16
1	21	16
2	51	16
3	143	14
4	386	14
5	730	14
6	893	14
7	901	14
done	901	14
0	9	10
1	15	10
2	25	10
3	37	8
4	75	8
5	133	8
6	162	8
done	162	8
0	10	15
1	20	13
2	53	13
3	181	11
4	350	11
5	477	11
6	483	11
done	483	11
0	8	9
1	14	9
2	24	9
3	36	7
4	74	7
5	125	7
6	153	7
7	154	7
done	154	7
0	9	16
1	19	16
2	44	16
3	89	10
4	242	7
5	519	7
6	570	7
7	664	7
8	1210	7
9	3197	7
done	5000	7
0	8	10
1	14	10
2	24	10
3	31	8
4	73	8
5	117	8
done	117	8
0	10	13
1	18	13
2	37	13
3	73	11
4	169	11
5	344	11
6	451	11
7	456	11
done	456	11
0	9	10
1	15	10
2	25	10
3	37	8
4	75	8
5	133	8
6	162	8
done	162	8
0	9	12
1	17	10
2	35	10
3	84	8
4	142	8
5	207	8
6	209	8
done	209	8
0	8	9
1	14	9
2	24	9
3	36	7
4	74	7
5	125	7
6	153	7
7	154	7
done	154	7
0	7	15
1	16	15
2	40	13
3	73	9
4	118	6
5	132	6
6	163	6
7	263	6
8	605	6
9	1650	6
done	5000	6
0	7	9
1	13	9
2	23	9
3	30	7
4	72	7
5	109	7
6	111	7
done	111	7
0	8	12
1	16	12
2	34	10
3	79	10
4	140	10
5	145	10
done	145	10
0	8	9
1	14	9
2	24	9
3	36	7
4	74	7
5	110	7
6	149	7
7	152	7
done	152	7
0	7	11
1	15	9
2	29	7
3	61	7
4	71	7
done	71	7
0	7	8
1	13	8
2	23	8
3	35	6
4	73	6
5	109	6
6	146	6
7	151	6
done	151	6
0	6	9
1	12	7
2	23	7
3	32	7
done	32	7
0	7	8
1	13	8
2	23	8
3	35	6
4	73	6
5	109	6
6	146	6
7	151	6
done	151	6
0	7	9
1	13	9
2	21	9
3	34	7
4	38	7
5	63	7
6	104	7
7	106	7
done	106	7
0	6	8
1	12	8
2	22	6
3	35	6
4	42	6
done	42	6
0	9	14
1	15	14
2	22	14
3	30	12
4	54	12
5	69	12
done	69	12
0	8	9
1	12	9
2	15	9
3	16	7
4	29	7
5	36	7
done	36	7
0	8	9
1	12	9
2	15	9
3	16	7
4	29	7
5	36	7
done	36	7
0	8	9
1	12	9
2	15	9
3	16	7
4	29	7
5	36	7
done	36	7
0	11	16
1	23	16
2	57	16
3	140	14
4	342	14
5	632	14
6	891	14
7	897	14
done	897	14
0	9	10
1	15	10
2	25	10
3	37	8
4	75	8
5	133	8
6	162	8
done	162	8
0	9	13
1	17	13
2	33	13
3	64	9
4	162	7
5	253	7
6	263	7
done	263	7
0	8	10
1	14	10
2	24	10
3	31	6
4	73	4
5	118	4
6	124	4
done	124	4
0	9	12
1	17	10
2	37	10
3	94	8
4	176	8
5	208	8
done	208	8
0	8	9
1	14	9
2	24	9
3	36	7
4	74	7
5	125	7
6	153	7
7	154	7
done	154	7
0	10	13
1	18	13
2	34	13
3	65	11
4	139	11
5	285	11
6	459	11
7	464	11
done	464	11
0	9	10
1	15	10
2	25	10
3	37	8
4	75	8
5	133	8
6	162	8
done	162	8
0	8	10
1	14	10
2	24	10
3	31	6
4	73	4
5	118	4
6	124	4
done	124	4
0	8	10
1	14	10
2	24	10
3	31	6
4	73	4
5	118	4
6	124	4
done	124	4
0	8	9
1	14	7
2	24	7
3	40	5
4	66	5
5	77	5
done	77	5
0	8	9
1	14	9
2	24	9
3	36	7
4	74	7
5	125	7
6	153	7
7	154	7
done	154	7
0	8	12
1	16	12
2	32	10
3	63	10
4	101	10
5	125	10
done	125	10
0	8	9
1	14	9
2	24	9
3	36	7
4	74	7
5	110	7
6	149	7
7	152	7
done	152	7
0	6	9
1	11	9
2	20	7
3	25	3
4	26	3
done	26	3
0	7	9
1	13	9
2	23	9
3	30	5
4	72	3
5	110	3
6	113	3
done	113	3
0	6	8
1	12	6
2	20	4
3	22	4
done	22	4
0	7	8
1	13	8
2	23	8
3	35	6
4	73	6
5	109	6
6	146	6
7	151	6
done	151	6
0	5	6
1	9	4
2	14	4
done	14	4
0	7	8
1	13	8
2	23	8
3	35	6
4	73	6
5	109	6
6	146	6
7	151	6
done	151	6
0	6	6
1	10	6
2	13	6
3	14	4
done	14	4
0	6	8
1	12	8
2	22	6
3	35	6
4	42	6
done	42	6
0	8	13
1	14	9
2	23	9
3	36	9
4	45	9
5	46	9
done	46	9
0	7	8
1	11	8
2	14	8
3	15	6
4	28	6
5	33	6
done	33	6
0	7	8
1	11	4
2	16	4
3	18	4
4	19	4
done	19	4
0	7	8
1	11	8
2	14	8
3	15	6
4	28	6
5	33	6
done	33	6
0	10	15
1	22	11
2	58	11
3	162	11
4	358	11
5	510	11
6	518	11
done	518	11
0	8	9
1	14	9
2	24	9
3	36	7
4	74	7
5	125	7
6	153	7
7	154	7
done	154	7
0	9	12
1	17	8
2	36	8
3	89	8
4	167	8
5	211	8
done	211	8
0	8	9
1	14	9
2	24	9
3	36	7
4	74	7
5	125	7
6	153	7
7	154	7
done	154	7
0	7	11
1	15	5
2	32	5
3	62	5
4	68	5
done	68	5
0	7	8
1	13	8
2	23	8
3	30	6
4	72	6
5	118	6
done	118	6
0	9	12
1	17	8
2	35	8
3	82	8
4	163	8
5	234	8
6	239	8
done	239	8
0	8	9
1	14	9
2	24	9
3	36	7
4	74	7
5	125	7
6	153	7
7	154	7
done	154	7
0	8	9
1	14	5
2	26	5
3	47	5
4	74	5
5	91	5
done	91	5
0	8	9
1	14	9
2	24	9
3	36	7
4	74	7
5	125	7
6	153	7
7	154	7
done	154	7
0	6	8
1	12	2
2	20	2
3	21	2
done	21	2
0	7	8
1	13	8
2	23	8
3	30	6
4	72	6
5	118	6
done	118	6
0	7	11
1	14	7
2	27	7
3	45	7
4	53	7
done	53	7
0	7	8
1	13	8
2	23	8
3	35	6
4	73	6
5	109	6
6	148	6
7	153	6
done	153	6
0	6	8
1	11	4
2	18	4
3	20	4
done	20	4
0	7	8
1	13	8
2	23	8
3	35	6
4	73	6
5	109	6
6	148	6
7	153	6
done	153	6
0	4	7
1	8	1
done	8	1
0	6	7
1	12	7
2	22	7
3	29	5
4	71	5
5	116	5
6	121	5
done	121	5
0	3	5
1	6	1
done	6	1
0	6	7
1	12	7
2	22	7
3	29	5
4	71	5
5	116	5
6	121	5
done	121	5
0	4	5
1	8	1
done	8	1
0	5	7
1	10	7
2	19	5
3	22	5
4	23	5
done	23	5
0	2	3
1	4	1
done	4	1
0	6	7
1	12	7
2	22	7
3	29	5
4	71	5
5	116	5
6	121	5
done	121	5
0	3	3
1	5	3
done	5	3
0	6	7
1	12	3
2	24	3
3	45	3
4	63	3
5	78	3
6	83	3
done	83	3
0	5	5
1	9	5
2	12	5
3	13	3
done	13	3
0	3	3
1	5	3
done	5	3
0	6	7
1	12	7
2	22	7
3	29	5
4	71	5
5	116	5
6	121	5
done	121	5
0	6	7
1	12	5
2	26	5
3	48	5
4	59	5
5	60	5
done	60	5
0	8	15
1	14	15
2	17	15
done	17	15
0	7	8
1	11	8
2	14	8
done	14	8
0	10	17
1	20	17
2	41	17
3	72	15
4	132	15
5	206	15
done	206	15
0	9	12
1	15	12
2	23	12
3	36	10
4	63	10
5	99	10
done	99	10
0	10	19
1	24	19
2	70	19
3	193	13
4	537	10
5	1002	10
6	1083	10
7	1235	10
8	2372	10
done	5000	10
0	11	16
1	21	16
2	51	16
3	143	14
4	386	14
5	730	14
6	893	14
7	901	14
done	901	14
0	10	15
1	20	13
2	53	13
3	181	11
4	350	11
5	477	11
6	483	11
done	483	11
0	9	16
1	19	16
2	44	16
3	89	10
4	242	7
5	519	7
6	570	7
7	664	7
8	1210	7
9	3197	7
done	5000	7
0	10	13
1	18	13
2	37	13
3	73	11
4	169	11
5	344	11
6	451	11
7	456	11
done	456	11
0	9	12
1	17	10
2	35	10
3	84	8
4	142	8
5	207	8
6	209	8
done	209	8
0	7	15
1	16	15
2	40	13
3	73	9
4	118	6
5	132	6
6	163	6
7	263	6
8	605	6
9	1650	6
done	5000	6
0	8	12
1	16	12
2	34	10
3	79	10
4	140	10
5	145	10
done	145	10
0	7	11
1	15	9
2	29	7
3	61	7
4	71	7
done	71	7
0	6	9
1	12	7
2	23	7
3	32	7
done	32	7
0	7	9
1	13	9
2	21	9
3	34	7
4	38	7
5	63	7
6	104	7
7	106	7
done	106	7
0	9	14
1	15	14
2	22	14
3	30	12
4	54	12
5	69	12
done	69	12
0	8	9
1	12	9
2	15	9
3	16	7
4	29	7
5	36	7
done	36	7
0	11	16
1	23	16
2	57	16
3	140	14
4	342	14
5	632	14
6	891	14
7	897	14
done	897	14
0	9	13
1	17	13
2	33	13
3	64	9
4	162	7
5	253	7
6	263	7
done	263	7
0	9	12
1	17	10
2	37	10
3	94	8
4	176	8
5	208	8
done	208	8
0	10	13
1	18	13
2	34	13
3	65	11
4	139	11
5	285	11
6	459	11
7	464	11
done	464	11
0	8	10
1	14	10
2	24	10
3	31	6
4	73	4
5	118	4
6	124	4
done	124	4
0	8	9
1	14	7
2	24	7
3	40	5
4	66	5
5	77	5
done	77	5
0	8	12
1	16	12
2	32	10
3	63	10
4	101	10
5	125	10
done	125	10
0	6	9
1	11	9
2	20	7
3	25	3
4	26	3
done	26	3
0	6	8
1	12	6
2	20	4
3	22	4
done	22	4
0	5	6
1	9	4
2	14	4
done	14	4
0	6	6
1	10	6
2	13	6
3	14	4
done	14	4
0	8	13
1	14	9
2	23	9
3	36	9
4	45	9
5	46	9
done	46	9
0	7	8
1	11	4
2	16	4
3	18	4
4	19	4
done	19	4
0	10	15
1	22	11
2	58	11
3	162	11
4	358	11
5	510	11
6	518	11
done	518	11
0	9	12
1	17	8
2	36	8
3	89	8
4	167	8
5	211	8
done	211	8
0	7	11
1	15	5
2	32	5
3	62	5
4	68	5
done	68	5
0	9	12
1	17	8
2	35	8
3	82	8
4	163	8
5	234	8
6	239	8
done	239	8
0	8	9
1	14	5
2	26	5
3	47	5
4	74	5
5	91	5
done	91	5
0	6	8
1	12	2
2	20	2
3	21	2
done	21	2
0	7	11
1	14	7
2	27	7
3	45	7
4	53	7
done	53	7
0	6	8
1	11	4
2	18	4
3	20	4
done	20	4
0	4	7
1	8	1
done	8	1
0	3	5
1	6	1
done	6	1
0	4	5
1	8	1
done	8	1
0	2	3
1	4	1
done	4	1
0	3	3
1	5	3
done	5	3
0	5	5
1	9	5
2	12	5
3	13	3
done	13	3
0	7	8
1	13	7
2	23	7
3	34	5
4	47	5
5	54	5
6	55	5
done	55	5
0	7	8
1	13	7
2	23	7
3	34	5
4	47	5
5	54	5
6	55	5
done	55	5
0	6	7
1	12	5
2	26	5
3	48	5
4	59	5
5	60	5
done	60	5
0	3	3
1	5	3
done	5	3
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	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5000	5
0	5	5
1	10	5
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5000	5
0	5	5
1	10	5
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	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
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

prune181.0ms

Filtered

170 candidates to 280 candidates (-64.7%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	279	1	280
Fresh	2	4	6
Picked	0	1	1
Done	0	2	2
Total	281	8	289

Merged error: 0b

Counts

289 → 8

regimes148.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	5
done	4	5

end0.0ms

sample574.0ms

Algorithm

intervals

Results

249.0ms

10705×

body

valid

Details

sample20.0ms

simplify2.0ms

prune2.0ms

localize9.0ms

rewrite6.0ms

series6.0ms

simplify20.7s

prune51.0ms

localize4.0ms

rewrite15.0ms

series6.0ms

simplify27.1s

prune97.0ms

localize5.0ms

rewrite18.0ms

series4.0ms

simplify48.6s

prune71.0ms

localize5.0ms

rewrite41.0ms

series8.0ms

simplify2.8min

prune181.0ms

regimes148.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample574.0ms

Profiling