Time bar (total: 8.0min)
| 6.0ms | 256× | body | 80 | valid |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5 | 7 |
| 1 | 8 | 7 |
| 2 | 9 | 7 |
| done | 9 | 7 |
2 alts after pruning (2 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 1 | 1 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 0 | 2 | 2 |
Merged error: 0.0b
Found 1 expressions with local error:
| 0.0b | (/ (+ x y) (- x y)) |
| 34× | *-un-lft-identity |
| 22× | add-sqr-sqrt |
| 20× | times-frac |
| 12× | add-cube-cbrt |
| 6× | distribute-lft-out |
| 5× | associate-/r* distribute-lft-out-- difference-of-squares |
| 4× | associate-/l* |
| 3× | add-exp-log add-cbrt-cube |
| 2× | associate-/r/ associate-/l/ |
| 1× | pow1 cbrt-undiv flip3-- frac-2neg flip3-+ div-exp clear-num flip-- flip-+ div-inv add-log-exp |
| 9.0ms | (/ (+ x y) (- x y)) |
| 10.0ms | (/ (+ x y) (- x y)) |
Useful iterations: 1 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 7 | 9 |
| 1 | 12 | 9 |
| 2 | 14 | 9 |
| done | 14 | 9 |
| 0 | 6 | 8 |
| 1 | 12 | 8 |
| 2 | 15 | 8 |
| 3 | 16 | 8 |
| done | 16 | 8 |
| 0 | 6 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 9 | 23 |
| 1 | 33 | 23 |
| 2 | 108 | 11 |
| 3 | 291 | 9 |
| 4 | 813 | 9 |
| 5 | 2446 | 9 |
| done | 5001 | 9 |
| 0 | 7 | 17 |
| 1 | 10 | 17 |
| 2 | 11 | 17 |
| done | 11 | 17 |
| 0 | 6 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 7 | 23 |
| 1 | 17 | 23 |
| 2 | 50 | 9 |
| 3 | 128 | 9 |
| 4 | 336 | 9 |
| 5 | 825 | 9 |
| 6 | 2030 | 9 |
| done | 5000 | 9 |
| 0 | 6 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 6 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 4 | 4 |
| 1 | 8 | 4 |
| 2 | 10 | 4 |
| 3 | 11 | 4 |
| done | 11 | 4 |
| 0 | 4 | 4 |
| 1 | 6 | 4 |
| 2 | 10 | 4 |
| 3 | 12 | 4 |
| 4 | 13 | 3 |
| done | 13 | 3 |
| 0 | 9 | 19 |
| 1 | 18 | 19 |
| 2 | 28 | 19 |
| 3 | 34 | 19 |
| done | 34 | 19 |
| 0 | 7 | 9 |
| 1 | 10 | 9 |
| 2 | 11 | 9 |
| done | 11 | 9 |
| 0 | 8 | 14 |
| 1 | 13 | 14 |
| 2 | 16 | 14 |
| 3 | 17 | 14 |
| done | 17 | 14 |
| 0 | 7 | 9 |
| 1 | 10 | 9 |
| 2 | 11 | 9 |
| done | 11 | 9 |
| 0 | 7 | 11 |
| 1 | 12 | 9 |
| 2 | 18 | 9 |
| 3 | 23 | 9 |
| done | 23 | 9 |
| 0 | 6 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 9 | 15 |
| 1 | 13 | 15 |
| 2 | 15 | 15 |
| 3 | 16 | 15 |
| done | 16 | 15 |
| 0 | 8 | 10 |
| 1 | 11 | 10 |
| 2 | 12 | 10 |
| done | 12 | 10 |
| 0 | 7 | 11 |
| 1 | 12 | 9 |
| 2 | 18 | 9 |
| 3 | 23 | 9 |
| done | 23 | 9 |
| 0 | 6 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 8 | 14 |
| 1 | 13 | 14 |
| 2 | 14 | 14 |
| done | 14 | 14 |
| 0 | 7 | 9 |
| 1 | 10 | 9 |
| 2 | 11 | 9 |
| done | 11 | 9 |
| 0 | 7 | 9 |
| 1 | 10 | 9 |
| 2 | 11 | 9 |
| done | 11 | 9 |
| 0 | 7 | 9 |
| 1 | 10 | 9 |
| 2 | 11 | 9 |
| done | 11 | 9 |
| 0 | 6 | 6 |
| 1 | 9 | 4 |
| 2 | 11 | 4 |
| done | 11 | 4 |
| 0 | 6 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 8 | 10 |
| 1 | 10 | 10 |
| done | 10 | 10 |
| 0 | 8 | 10 |
| 1 | 11 | 10 |
| 2 | 12 | 10 |
| done | 12 | 10 |
| 0 | 6 | 6 |
| 1 | 9 | 4 |
| 2 | 11 | 4 |
| done | 11 | 4 |
| 0 | 6 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 7 | 11 |
| 1 | 13 | 11 |
| 2 | 14 | 11 |
| done | 14 | 11 |
| 0 | 6 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 6 | 6 |
| 1 | 10 | 6 |
| 2 | 11 | 6 |
| done | 11 | 6 |
| 0 | 6 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 2 | 3 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 5 | 7 |
| 1 | 8 | 7 |
| 2 | 9 | 7 |
| done | 9 | 7 |
| 0 | 7 | 7 |
| 1 | 10 | 7 |
| done | 10 | 7 |
| 0 | 7 | 9 |
| 1 | 10 | 9 |
| 2 | 11 | 9 |
| done | 11 | 9 |
| 0 | 2 | 3 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 5 | 7 |
| 1 | 8 | 7 |
| 2 | 9 | 7 |
| done | 9 | 7 |
| 0 | 7 | 11 |
| 1 | 13 | 11 |
| 2 | 14 | 11 |
| done | 14 | 11 |
| 0 | 6 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 6 | 6 |
| 1 | 10 | 6 |
| 2 | 11 | 6 |
| done | 11 | 6 |
| 0 | 6 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 2 | 3 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 5 | 7 |
| 1 | 8 | 7 |
| 2 | 9 | 7 |
| done | 9 | 7 |
| 0 | 7 | 7 |
| 1 | 10 | 7 |
| done | 10 | 7 |
| 0 | 7 | 9 |
| 1 | 10 | 9 |
| 2 | 11 | 9 |
| done | 11 | 9 |
| 0 | 2 | 3 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 5 | 7 |
| 1 | 8 | 7 |
| 2 | 9 | 7 |
| done | 9 | 7 |
| 0 | 5 | 5 |
| 1 | 9 | 5 |
| 2 | 10 | 5 |
| done | 10 | 5 |
| 0 | 5 | 7 |
| 1 | 11 | 7 |
| 2 | 14 | 7 |
| 3 | 16 | 7 |
| done | 16 | 7 |
| 0 | 7 | 13 |
| 1 | 12 | 13 |
| 2 | 13 | 13 |
| done | 13 | 13 |
| 0 | 6 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 5 | 5 |
| 1 | 8 | 3 |
| 2 | 10 | 3 |
| done | 10 | 3 |
| 0 | 7 | 9 |
| 1 | 9 | 9 |
| done | 9 | 9 |
| 0 | 5 | 5 |
| 1 | 8 | 3 |
| 2 | 10 | 3 |
| done | 10 | 3 |
| 0 | 6 | 8 |
| 1 | 12 | 8 |
| 2 | 15 | 8 |
| 3 | 17 | 8 |
| done | 17 | 8 |
| 0 | 6 | 8 |
| 1 | 12 | 8 |
| 2 | 15 | 8 |
| 3 | 17 | 8 |
| done | 17 | 8 |
| 0 | 5 | 7 |
| 1 | 11 | 7 |
| 2 | 14 | 7 |
| 3 | 16 | 7 |
| done | 16 | 7 |
| 0 | 5 | 7 |
| 1 | 11 | 7 |
| 2 | 14 | 7 |
| 3 | 16 | 7 |
| done | 16 | 7 |
| 0 | 8 | 11 |
| 1 | 24 | 11 |
| 2 | 46 | 11 |
| 3 | 82 | 11 |
| 4 | 176 | 11 |
| 5 | 527 | 11 |
| 6 | 2325 | 11 |
| done | 5000 | 11 |
| 0 | 7 | 11 |
| 1 | 12 | 11 |
| 2 | 20 | 11 |
| 3 | 38 | 5 |
| 4 | 65 | 5 |
| 5 | 106 | 5 |
| 6 | 166 | 5 |
| 7 | 334 | 5 |
| 8 | 1602 | 5 |
| done | 5000 | 5 |
| 0 | 9 | 15 |
| 1 | 26 | 13 |
| 2 | 74 | 13 |
| 3 | 202 | 13 |
| 4 | 494 | 13 |
| 5 | 1263 | 13 |
| 6 | 3143 | 13 |
| 7 | 4779 | 13 |
| done | 5000 | 13 |
| 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 | 1 | 1 |
| done | 1 | 1 |
| 0 | 1 | 1 |
| 1 | 3 | 1 |
| done | 3 | 1 |
| 0 | 1 | 1 |
| 1 | 3 | 1 |
| done | 3 | 1 |
5 alts after pruning (5 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 43 | 5 | 48 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 44 | 5 | 49 |
Merged error: 0b
Found 3 expressions with local error:
| 0.0b | (log (exp (/ (+ x y) (- x y)))) |
| 0.0b | (exp (/ (+ x y) (- x y))) |
| 0.0b | (/ (+ x y) (- x y)) |
| 93× | *-un-lft-identity |
| 61× | add-sqr-sqrt |
| 60× | times-frac |
| 52× | exp-prod |
| 35× | add-cube-cbrt |
| 27× | log-pow |
| 16× | distribute-lft-out |
| 13× | distribute-lft-out-- difference-of-squares |
| 6× | associate-/r/ |
| 5× | add-exp-log associate-/r* add-cbrt-cube |
| 4× | pow1 associate-/l* add-log-exp |
| 3× | log-prod flip3-- flip-- div-inv |
| 2× | associate-/l/ |
| 1× | cbrt-undiv frac-2neg flip3-+ div-exp rem-log-exp clear-num flip-+ rem-exp-log |
| 11.0ms | (log (exp (/ (+ x y) (- x y)))) |
| 10.0ms | (exp (/ (+ x y) (- x y))) |
| 9.0ms | (/ (+ x y) (- x y)) |
| 10.0ms | (log (exp (/ (+ x y) (- x y)))) |
| 14.0ms | (exp (/ (+ x y) (- x y))) |
| 10.0ms | (/ (+ x y) (- x y)) |
Useful iterations: 1 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 7 | 9 |
| 1 | 12 | 9 |
| 2 | 14 | 9 |
| done | 14 | 9 |
| 0 | 6 | 8 |
| 1 | 12 | 8 |
| 2 | 15 | 8 |
| 3 | 16 | 8 |
| done | 16 | 8 |
| 0 | 6 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 9 | 23 |
| 1 | 33 | 23 |
| 2 | 108 | 11 |
| 3 | 291 | 9 |
| 4 | 813 | 9 |
| 5 | 2446 | 9 |
| done | 5001 | 9 |
| 0 | 7 | 17 |
| 1 | 10 | 17 |
| 2 | 11 | 17 |
| done | 11 | 17 |
| 0 | 6 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 7 | 23 |
| 1 | 17 | 23 |
| 2 | 50 | 9 |
| 3 | 128 | 9 |
| 4 | 336 | 9 |
| 5 | 825 | 9 |
| 6 | 2030 | 9 |
| done | 5000 | 9 |
| 0 | 6 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 6 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 4 | 4 |
| 1 | 8 | 4 |
| 2 | 10 | 4 |
| 3 | 11 | 4 |
| done | 11 | 4 |
| 0 | 4 | 4 |
| 1 | 6 | 4 |
| 2 | 10 | 4 |
| 3 | 12 | 4 |
| 4 | 13 | 3 |
| done | 13 | 3 |
| 0 | 9 | 19 |
| 1 | 18 | 19 |
| 2 | 28 | 19 |
| 3 | 34 | 19 |
| done | 34 | 19 |
| 0 | 7 | 9 |
| 1 | 10 | 9 |
| 2 | 11 | 9 |
| done | 11 | 9 |
| 0 | 8 | 14 |
| 1 | 13 | 14 |
| 2 | 16 | 14 |
| 3 | 17 | 14 |
| done | 17 | 14 |
| 0 | 7 | 9 |
| 1 | 10 | 9 |
| 2 | 11 | 9 |
| done | 11 | 9 |
| 0 | 7 | 11 |
| 1 | 12 | 9 |
| 2 | 18 | 9 |
| 3 | 23 | 9 |
| done | 23 | 9 |
| 0 | 6 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 9 | 15 |
| 1 | 13 | 15 |
| 2 | 15 | 15 |
| 3 | 16 | 15 |
| done | 16 | 15 |
| 0 | 8 | 10 |
| 1 | 11 | 10 |
| 2 | 12 | 10 |
| done | 12 | 10 |
| 0 | 7 | 11 |
| 1 | 12 | 9 |
| 2 | 18 | 9 |
| 3 | 23 | 9 |
| done | 23 | 9 |
| 0 | 6 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 8 | 14 |
| 1 | 13 | 14 |
| 2 | 14 | 14 |
| done | 14 | 14 |
| 0 | 7 | 9 |
| 1 | 10 | 9 |
| 2 | 11 | 9 |
| done | 11 | 9 |
| 0 | 7 | 9 |
| 1 | 10 | 9 |
| 2 | 11 | 9 |
| done | 11 | 9 |
| 0 | 7 | 9 |
| 1 | 10 | 9 |
| 2 | 11 | 9 |
| done | 11 | 9 |
| 0 | 6 | 6 |
| 1 | 9 | 4 |
| 2 | 11 | 4 |
| done | 11 | 4 |
| 0 | 6 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 8 | 10 |
| 1 | 10 | 10 |
| done | 10 | 10 |
| 0 | 8 | 10 |
| 1 | 11 | 10 |
| 2 | 12 | 10 |
| done | 12 | 10 |
| 0 | 6 | 6 |
| 1 | 9 | 4 |
| 2 | 11 | 4 |
| done | 11 | 4 |
| 0 | 6 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 7 | 11 |
| 1 | 13 | 11 |
| 2 | 14 | 11 |
| done | 14 | 11 |
| 0 | 6 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 6 | 6 |
| 1 | 10 | 6 |
| 2 | 11 | 6 |
| done | 11 | 6 |
| 0 | 6 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 2 | 3 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 5 | 7 |
| 1 | 8 | 7 |
| 2 | 9 | 7 |
| done | 9 | 7 |
| 0 | 7 | 7 |
| 1 | 10 | 7 |
| done | 10 | 7 |
| 0 | 7 | 9 |
| 1 | 10 | 9 |
| 2 | 11 | 9 |
| done | 11 | 9 |
| 0 | 2 | 3 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 5 | 7 |
| 1 | 8 | 7 |
| 2 | 9 | 7 |
| done | 9 | 7 |
| 0 | 7 | 11 |
| 1 | 13 | 11 |
| 2 | 14 | 11 |
| done | 14 | 11 |
| 0 | 6 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 6 | 6 |
| 1 | 10 | 6 |
| 2 | 11 | 6 |
| done | 11 | 6 |
| 0 | 6 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 2 | 3 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 5 | 7 |
| 1 | 8 | 7 |
| 2 | 9 | 7 |
| done | 9 | 7 |
| 0 | 7 | 7 |
| 1 | 10 | 7 |
| done | 10 | 7 |
| 0 | 7 | 9 |
| 1 | 10 | 9 |
| 2 | 11 | 9 |
| done | 11 | 9 |
| 0 | 2 | 3 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 5 | 7 |
| 1 | 8 | 7 |
| 2 | 9 | 7 |
| done | 9 | 7 |
| 0 | 5 | 5 |
| 1 | 9 | 5 |
| 2 | 10 | 5 |
| done | 10 | 5 |
| 0 | 5 | 7 |
| 1 | 11 | 7 |
| 2 | 14 | 7 |
| 3 | 16 | 7 |
| done | 16 | 7 |
| 0 | 7 | 13 |
| 1 | 12 | 13 |
| 2 | 13 | 13 |
| done | 13 | 13 |
| 0 | 6 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 5 | 5 |
| 1 | 8 | 3 |
| 2 | 10 | 3 |
| done | 10 | 3 |
| 0 | 7 | 9 |
| 1 | 9 | 9 |
| done | 9 | 9 |
| 0 | 5 | 5 |
| 1 | 8 | 3 |
| 2 | 10 | 3 |
| done | 10 | 3 |
| 0 | 6 | 8 |
| 1 | 12 | 8 |
| 2 | 15 | 8 |
| 3 | 17 | 8 |
| done | 17 | 8 |
| 0 | 6 | 8 |
| 1 | 12 | 8 |
| 2 | 15 | 8 |
| 3 | 17 | 8 |
| done | 17 | 8 |
| 0 | 5 | 7 |
| 1 | 11 | 7 |
| 2 | 14 | 7 |
| 3 | 16 | 7 |
| done | 16 | 7 |
| 0 | 5 | 7 |
| 1 | 11 | 7 |
| 2 | 14 | 7 |
| 3 | 16 | 7 |
| done | 16 | 7 |
| 0 | 8 | 11 |
| 1 | 24 | 11 |
| 2 | 46 | 11 |
| 3 | 82 | 11 |
| 4 | 176 | 11 |
| 5 | 527 | 11 |
| 6 | 2325 | 11 |
| done | 5000 | 11 |
| 0 | 7 | 11 |
| 1 | 12 | 11 |
| 2 | 20 | 11 |
| 3 | 38 | 5 |
| 4 | 65 | 5 |
| 5 | 106 | 5 |
| 6 | 166 | 5 |
| 7 | 334 | 5 |
| 8 | 1602 | 5 |
| done | 5000 | 5 |
| 0 | 9 | 15 |
| 1 | 26 | 13 |
| 2 | 74 | 13 |
| 3 | 202 | 13 |
| 4 | 494 | 13 |
| 5 | 1263 | 13 |
| 6 | 3143 | 13 |
| 7 | 4779 | 13 |
| done | 5000 | 13 |
| 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 | 8 | 18 |
| 1 | 13 | 18 |
| 2 | 18 | 18 |
| 3 | 23 | 18 |
| 4 | 41 | 18 |
| 5 | 81 | 18 |
| 6 | 190 | 18 |
| 7 | 558 | 18 |
| 8 | 2253 | 18 |
| done | 5000 | 18 |
| 0 | 7 | 9 |
| 1 | 10 | 9 |
| 2 | 11 | 9 |
| done | 11 | 9 |
| 0 | 10 | 20 |
| 1 | 19 | 20 |
| 2 | 31 | 20 |
| 3 | 43 | 20 |
| 4 | 55 | 20 |
| 5 | 87 | 20 |
| 6 | 169 | 20 |
| 7 | 394 | 20 |
| 8 | 1707 | 20 |
| done | 5001 | 20 |
| 0 | 9 | 15 |
| 1 | 14 | 15 |
| 2 | 17 | 15 |
| 3 | 20 | 15 |
| 4 | 26 | 15 |
| 5 | 34 | 15 |
| 6 | 59 | 15 |
| 7 | 120 | 15 |
| 8 | 285 | 15 |
| 9 | 867 | 15 |
| 10 | 4287 | 15 |
| done | 5001 | 15 |
| 0 | 8 | 12 |
| 1 | 13 | 10 |
| 2 | 21 | 10 |
| 3 | 30 | 10 |
| 4 | 37 | 10 |
| 5 | 55 | 10 |
| 6 | 97 | 10 |
| 7 | 199 | 10 |
| 8 | 709 | 10 |
| 9 | 2995 | 10 |
| done | 5000 | 10 |
| 0 | 10 | 16 |
| 1 | 14 | 16 |
| 2 | 16 | 16 |
| 3 | 19 | 16 |
| 4 | 25 | 16 |
| 5 | 33 | 16 |
| 6 | 58 | 16 |
| 7 | 129 | 16 |
| 8 | 302 | 16 |
| 9 | 892 | 16 |
| 10 | 4376 | 16 |
| done | 5000 | 16 |
| 0 | 8 | 12 |
| 1 | 13 | 10 |
| 2 | 21 | 10 |
| 3 | 30 | 10 |
| 4 | 37 | 10 |
| 5 | 55 | 10 |
| 6 | 97 | 10 |
| 7 | 199 | 10 |
| 8 | 709 | 10 |
| 9 | 2995 | 10 |
| done | 5000 | 10 |
| 0 | 9 | 15 |
| 1 | 14 | 15 |
| 2 | 15 | 15 |
| done | 15 | 15 |
| 0 | 8 | 10 |
| 1 | 11 | 10 |
| 2 | 12 | 10 |
| done | 12 | 10 |
| 0 | 7 | 7 |
| 1 | 10 | 5 |
| 2 | 12 | 5 |
| done | 12 | 5 |
| 0 | 9 | 11 |
| 1 | 11 | 11 |
| done | 11 | 11 |
| 0 | 7 | 7 |
| 1 | 10 | 5 |
| 2 | 12 | 5 |
| done | 12 | 5 |
| 0 | 8 | 12 |
| 1 | 14 | 12 |
| 2 | 15 | 12 |
| done | 15 | 12 |
| 0 | 7 | 7 |
| 1 | 11 | 7 |
| 2 | 12 | 7 |
| done | 12 | 7 |
| 0 | 3 | 4 |
| 1 | 5 | 2 |
| 2 | 6 | 1 |
| done | 6 | 1 |
| 0 | 8 | 8 |
| 1 | 11 | 8 |
| done | 11 | 8 |
| 0 | 3 | 4 |
| 1 | 5 | 2 |
| 2 | 6 | 1 |
| done | 6 | 1 |
| 0 | 8 | 12 |
| 1 | 14 | 12 |
| 2 | 15 | 12 |
| done | 15 | 12 |
| 0 | 7 | 7 |
| 1 | 11 | 7 |
| 2 | 12 | 7 |
| done | 12 | 7 |
| 0 | 3 | 4 |
| 1 | 5 | 2 |
| 2 | 6 | 1 |
| done | 6 | 1 |
| 0 | 8 | 8 |
| 1 | 11 | 8 |
| done | 11 | 8 |
| 0 | 3 | 4 |
| 1 | 5 | 2 |
| 2 | 6 | 1 |
| done | 6 | 1 |
| 0 | 2 | 2 |
| 1 | 5 | 1 |
| done | 5 | 1 |
| 0 | 4 | 4 |
| 1 | 8 | 4 |
| 2 | 9 | 4 |
| done | 9 | 4 |
| 0 | 9 | 12 |
| 1 | 25 | 12 |
| 2 | 47 | 12 |
| 3 | 83 | 12 |
| 4 | 171 | 12 |
| 5 | 507 | 12 |
| 6 | 2296 | 12 |
| done | 5000 | 12 |
| 0 | 8 | 12 |
| 1 | 13 | 12 |
| 2 | 21 | 12 |
| 3 | 39 | 6 |
| 4 | 66 | 6 |
| 5 | 107 | 6 |
| 6 | 167 | 6 |
| 7 | 335 | 6 |
| 8 | 1638 | 6 |
| done | 5000 | 6 |
| 0 | 7 | 9 |
| 1 | 10 | 7 |
| 2 | 11 | 7 |
| done | 11 | 7 |
| 0 | 7 | 9 |
| 1 | 10 | 9 |
| 2 | 11 | 9 |
| done | 11 | 9 |
| 0 | 8 | 19 |
| 1 | 11 | 19 |
| 2 | 12 | 19 |
| done | 12 | 19 |
| 0 | 7 | 9 |
| 1 | 10 | 9 |
| 2 | 11 | 9 |
| done | 11 | 9 |
| 0 | 8 | 26 |
| 1 | 14 | 25 |
| 2 | 23 | 10 |
| 3 | 35 | 10 |
| 4 | 63 | 10 |
| 5 | 106 | 10 |
| 6 | 197 | 10 |
| 7 | 420 | 10 |
| 8 | 1114 | 10 |
| 9 | 4484 | 10 |
| done | 5000 | 10 |
| 0 | 7 | 9 |
| 1 | 10 | 9 |
| 2 | 11 | 9 |
| done | 11 | 9 |
| 0 | 7 | 9 |
| 1 | 10 | 9 |
| 2 | 11 | 9 |
| done | 11 | 9 |
| 0 | 9 | 20 |
| 1 | 14 | 20 |
| 2 | 17 | 12 |
| 3 | 18 | 12 |
| done | 18 | 12 |
| 0 | 8 | 10 |
| 1 | 11 | 10 |
| 2 | 12 | 10 |
| done | 12 | 10 |
| 0 | 8 | 10 |
| 1 | 11 | 10 |
| 2 | 12 | 10 |
| done | 12 | 10 |
| 0 | 8 | 10 |
| 1 | 11 | 10 |
| 2 | 12 | 10 |
| done | 12 | 10 |
| 0 | 2 | 2 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 7 | 9 |
| 1 | 10 | 7 |
| 2 | 11 | 7 |
| done | 11 | 7 |
| 0 | 7 | 9 |
| 1 | 10 | 7 |
| 2 | 11 | 7 |
| done | 11 | 7 |
| 0 | 9 | 19 |
| 1 | 14 | 17 |
| 2 | 21 | 17 |
| 3 | 29 | 17 |
| 4 | 54 | 17 |
| 5 | 127 | 17 |
| 6 | 376 | 17 |
| 7 | 1342 | 17 |
| done | 5000 | 17 |
| 0 | 8 | 10 |
| 1 | 11 | 8 |
| 2 | 12 | 8 |
| done | 12 | 8 |
| 0 | 11 | 21 |
| 1 | 20 | 19 |
| 2 | 32 | 19 |
| 3 | 46 | 19 |
| 4 | 65 | 19 |
| 5 | 109 | 19 |
| 6 | 245 | 19 |
| 7 | 735 | 19 |
| 8 | 3689 | 19 |
| done | 5000 | 19 |
| 0 | 10 | 16 |
| 1 | 15 | 14 |
| 2 | 18 | 14 |
| 3 | 21 | 14 |
| 4 | 29 | 14 |
| 5 | 42 | 14 |
| 6 | 79 | 14 |
| 7 | 186 | 14 |
| 8 | 552 | 14 |
| 9 | 2190 | 14 |
| done | 5000 | 14 |
| 0 | 9 | 13 |
| 1 | 14 | 9 |
| 2 | 22 | 9 |
| 3 | 33 | 9 |
| 4 | 45 | 9 |
| 5 | 70 | 9 |
| 6 | 149 | 9 |
| 7 | 418 | 9 |
| 8 | 1661 | 9 |
| done | 5000 | 9 |
| 0 | 11 | 17 |
| 1 | 15 | 15 |
| 2 | 17 | 15 |
| 3 | 20 | 15 |
| 4 | 28 | 15 |
| 5 | 41 | 15 |
| 6 | 78 | 15 |
| 7 | 193 | 15 |
| 8 | 565 | 15 |
| 9 | 2215 | 15 |
| done | 5000 | 15 |
| 0 | 9 | 13 |
| 1 | 14 | 9 |
| 2 | 22 | 9 |
| 3 | 33 | 9 |
| 4 | 45 | 9 |
| 5 | 70 | 9 |
| 6 | 149 | 9 |
| 7 | 418 | 9 |
| 8 | 1661 | 9 |
| done | 5000 | 9 |
| 0 | 10 | 16 |
| 1 | 15 | 14 |
| 2 | 16 | 14 |
| done | 16 | 14 |
| 0 | 9 | 11 |
| 1 | 12 | 9 |
| 2 | 13 | 9 |
| done | 13 | 9 |
| 0 | 8 | 8 |
| 1 | 11 | 4 |
| 2 | 13 | 4 |
| done | 13 | 4 |
| 0 | 10 | 12 |
| 1 | 12 | 10 |
| done | 12 | 10 |
| 0 | 8 | 8 |
| 1 | 11 | 4 |
| 2 | 13 | 4 |
| done | 13 | 4 |
| 0 | 9 | 13 |
| 1 | 15 | 11 |
| 2 | 16 | 11 |
| done | 16 | 11 |
| 0 | 8 | 8 |
| 1 | 12 | 6 |
| 2 | 13 | 6 |
| done | 13 | 6 |
| 0 | 4 | 5 |
| 1 | 6 | 1 |
| 2 | 7 | 1 |
| done | 7 | 1 |
| 0 | 9 | 9 |
| 1 | 12 | 7 |
| done | 12 | 7 |
| 0 | 4 | 5 |
| 1 | 6 | 1 |
| 2 | 7 | 1 |
| done | 7 | 1 |
| 0 | 9 | 13 |
| 1 | 15 | 11 |
| 2 | 16 | 11 |
| done | 16 | 11 |
| 0 | 8 | 8 |
| 1 | 12 | 6 |
| 2 | 13 | 6 |
| done | 13 | 6 |
| 0 | 4 | 5 |
| 1 | 6 | 1 |
| 2 | 7 | 1 |
| done | 7 | 1 |
| 0 | 9 | 9 |
| 1 | 12 | 7 |
| done | 12 | 7 |
| 0 | 4 | 5 |
| 1 | 6 | 1 |
| 2 | 7 | 1 |
| done | 7 | 1 |
| 0 | 3 | 3 |
| 1 | 6 | 1 |
| done | 6 | 1 |
| 0 | 5 | 5 |
| 1 | 9 | 3 |
| 2 | 13 | 3 |
| 3 | 14 | 3 |
| done | 14 | 3 |
| 0 | 10 | 13 |
| 1 | 26 | 11 |
| 2 | 48 | 11 |
| 3 | 84 | 11 |
| 4 | 172 | 11 |
| 5 | 510 | 11 |
| 6 | 2307 | 11 |
| done | 5001 | 11 |
| 0 | 9 | 13 |
| 1 | 14 | 11 |
| 2 | 22 | 11 |
| 3 | 40 | 5 |
| 4 | 67 | 5 |
| 5 | 108 | 5 |
| 6 | 168 | 5 |
| 7 | 336 | 5 |
| 8 | 1627 | 5 |
| done | 5000 | 5 |
| 0 | 8 | 10 |
| 1 | 11 | 8 |
| 2 | 15 | 8 |
| 3 | 17 | 8 |
| 4 | 18 | 8 |
| done | 18 | 8 |
| 0 | 8 | 10 |
| 1 | 11 | 8 |
| 2 | 12 | 8 |
| done | 12 | 8 |
| 0 | 9 | 21 |
| 1 | 12 | 17 |
| 2 | 13 | 17 |
| done | 13 | 17 |
| 0 | 8 | 10 |
| 1 | 11 | 8 |
| 2 | 12 | 8 |
| done | 12 | 8 |
| 0 | 9 | 29 |
| 1 | 13 | 23 |
| 2 | 24 | 9 |
| 3 | 65 | 9 |
| 4 | 161 | 9 |
| 5 | 438 | 9 |
| 6 | 1105 | 9 |
| 7 | 2991 | 9 |
| done | 5001 | 9 |
| 0 | 8 | 10 |
| 1 | 11 | 8 |
| 2 | 12 | 8 |
| done | 12 | 8 |
| 0 | 8 | 10 |
| 1 | 11 | 8 |
| 2 | 12 | 8 |
| done | 12 | 8 |
| 0 | 1 | 1 |
| done | 1 | 1 |
| 0 | 1 | 1 |
| 1 | 3 | 1 |
| done | 3 | 1 |
| 0 | 1 | 1 |
| 1 | 3 | 1 |
| done | 3 | 1 |
| 0 | 2 | 2 |
| done | 2 | 2 |
| 0 | 1 | 1 |
| 1 | 3 | 1 |
| 2 | 5 | 1 |
| done | 5 | 1 |
| 0 | 1 | 1 |
| 1 | 3 | 1 |
| 2 | 5 | 1 |
| done | 5 | 1 |
| 0 | 1 | 1 |
| done | 1 | 1 |
| 0 | 1 | 1 |
| 1 | 3 | 1 |
| done | 3 | 1 |
| 0 | 1 | 1 |
| 1 | 3 | 1 |
| done | 3 | 1 |
4 alts after pruning (3 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 124 | 2 | 126 |
| Fresh | 3 | 1 | 4 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 127 | 4 | 131 |
Merged error: 0b
Found 3 expressions with local error:
| 0.0b | (log (pow E (/ (+ x y) (- x y)))) |
| 0.0b | (pow E (/ (+ x y) (- x y))) |
| 0.0b | (/ (+ x y) (- x y)) |
| 67× | *-un-lft-identity |
| 45× | add-sqr-sqrt |
| 40× | times-frac |
| 27× | add-cube-cbrt |
| 26× | pow-unpow |
| 11× | distribute-lft-out |
| 9× | distribute-lft-out-- difference-of-squares |
| 8× | add-exp-log |
| 7× | log-prod |
| 6× | unpow-prod-down |
| 5× | associate-/r* add-cbrt-cube |
| 4× | pow1 rem-log-exp pow-exp associate-/r/ associate-/l* |
| 3× | add-log-exp |
| 2× | pow-to-exp e-exp-1 flip3-- flip-- div-inv associate-/l/ sqr-pow |
| 1× | cbrt-undiv pow-pow frac-2neg flip3-+ div-exp clear-num log-pow flip-+ |
| 4.0ms | (log (pow E (/ (+ x y) (- x y)))) |
| 9.0ms | (pow E (/ (+ x y) (- x y))) |
| 9.0ms | (/ (+ x y) (- x y)) |
| 21.0ms | (log (pow E (/ (+ x y) (- x y)))) |
| 22.0ms | (pow E (/ (+ x y) (- x y))) |
| 10.0ms | (/ (+ x y) (- x y)) |
Useful iterations: 1 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 7 | 9 |
| 1 | 12 | 9 |
| 2 | 14 | 9 |
| done | 14 | 9 |
| 0 | 6 | 8 |
| 1 | 12 | 8 |
| 2 | 15 | 8 |
| 3 | 16 | 8 |
| done | 16 | 8 |
| 0 | 6 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 9 | 23 |
| 1 | 33 | 23 |
| 2 | 108 | 11 |
| 3 | 291 | 9 |
| 4 | 813 | 9 |
| 5 | 2446 | 9 |
| done | 5001 | 9 |
| 0 | 7 | 17 |
| 1 | 10 | 17 |
| 2 | 11 | 17 |
| done | 11 | 17 |
| 0 | 6 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 7 | 23 |
| 1 | 17 | 23 |
| 2 | 50 | 9 |
| 3 | 128 | 9 |
| 4 | 336 | 9 |
| 5 | 825 | 9 |
| 6 | 2030 | 9 |
| done | 5000 | 9 |
| 0 | 6 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 6 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 4 | 4 |
| 1 | 8 | 4 |
| 2 | 10 | 4 |
| 3 | 11 | 4 |
| done | 11 | 4 |
| 0 | 4 | 4 |
| 1 | 6 | 4 |
| 2 | 10 | 4 |
| 3 | 12 | 4 |
| 4 | 13 | 3 |
| done | 13 | 3 |
| 0 | 9 | 19 |
| 1 | 18 | 19 |
| 2 | 28 | 19 |
| 3 | 34 | 19 |
| done | 34 | 19 |
| 0 | 7 | 9 |
| 1 | 10 | 9 |
| 2 | 11 | 9 |
| done | 11 | 9 |
| 0 | 8 | 14 |
| 1 | 13 | 14 |
| 2 | 16 | 14 |
| 3 | 17 | 14 |
| done | 17 | 14 |
| 0 | 7 | 9 |
| 1 | 10 | 9 |
| 2 | 11 | 9 |
| done | 11 | 9 |
| 0 | 7 | 11 |
| 1 | 12 | 9 |
| 2 | 18 | 9 |
| 3 | 23 | 9 |
| done | 23 | 9 |
| 0 | 6 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 9 | 15 |
| 1 | 13 | 15 |
| 2 | 15 | 15 |
| 3 | 16 | 15 |
| done | 16 | 15 |
| 0 | 8 | 10 |
| 1 | 11 | 10 |
| 2 | 12 | 10 |
| done | 12 | 10 |
| 0 | 7 | 11 |
| 1 | 12 | 9 |
| 2 | 18 | 9 |
| 3 | 23 | 9 |
| done | 23 | 9 |
| 0 | 6 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 8 | 14 |
| 1 | 13 | 14 |
| 2 | 14 | 14 |
| done | 14 | 14 |
| 0 | 7 | 9 |
| 1 | 10 | 9 |
| 2 | 11 | 9 |
| done | 11 | 9 |
| 0 | 7 | 9 |
| 1 | 10 | 9 |
| 2 | 11 | 9 |
| done | 11 | 9 |
| 0 | 7 | 9 |
| 1 | 10 | 9 |
| 2 | 11 | 9 |
| done | 11 | 9 |
| 0 | 6 | 6 |
| 1 | 9 | 4 |
| 2 | 11 | 4 |
| done | 11 | 4 |
| 0 | 6 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 8 | 10 |
| 1 | 10 | 10 |
| done | 10 | 10 |
| 0 | 8 | 10 |
| 1 | 11 | 10 |
| 2 | 12 | 10 |
| done | 12 | 10 |
| 0 | 6 | 6 |
| 1 | 9 | 4 |
| 2 | 11 | 4 |
| done | 11 | 4 |
| 0 | 6 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 7 | 11 |
| 1 | 13 | 11 |
| 2 | 14 | 11 |
| done | 14 | 11 |
| 0 | 6 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 6 | 6 |
| 1 | 10 | 6 |
| 2 | 11 | 6 |
| done | 11 | 6 |
| 0 | 6 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 2 | 3 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 5 | 7 |
| 1 | 8 | 7 |
| 2 | 9 | 7 |
| done | 9 | 7 |
| 0 | 7 | 7 |
| 1 | 10 | 7 |
| done | 10 | 7 |
| 0 | 7 | 9 |
| 1 | 10 | 9 |
| 2 | 11 | 9 |
| done | 11 | 9 |
| 0 | 2 | 3 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 5 | 7 |
| 1 | 8 | 7 |
| 2 | 9 | 7 |
| done | 9 | 7 |
| 0 | 7 | 11 |
| 1 | 13 | 11 |
| 2 | 14 | 11 |
| done | 14 | 11 |
| 0 | 6 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 6 | 6 |
| 1 | 10 | 6 |
| 2 | 11 | 6 |
| done | 11 | 6 |
| 0 | 6 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 2 | 3 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 5 | 7 |
| 1 | 8 | 7 |
| 2 | 9 | 7 |
| done | 9 | 7 |
| 0 | 7 | 7 |
| 1 | 10 | 7 |
| done | 10 | 7 |
| 0 | 7 | 9 |
| 1 | 10 | 9 |
| 2 | 11 | 9 |
| done | 11 | 9 |
| 0 | 2 | 3 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 5 | 7 |
| 1 | 8 | 7 |
| 2 | 9 | 7 |
| done | 9 | 7 |
| 0 | 5 | 5 |
| 1 | 9 | 5 |
| 2 | 10 | 5 |
| done | 10 | 5 |
| 0 | 5 | 7 |
| 1 | 11 | 7 |
| 2 | 14 | 7 |
| 3 | 16 | 7 |
| done | 16 | 7 |
| 0 | 7 | 13 |
| 1 | 12 | 13 |
| 2 | 13 | 13 |
| done | 13 | 13 |
| 0 | 6 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 5 | 5 |
| 1 | 8 | 3 |
| 2 | 10 | 3 |
| done | 10 | 3 |
| 0 | 7 | 9 |
| 1 | 9 | 9 |
| done | 9 | 9 |
| 0 | 5 | 5 |
| 1 | 8 | 3 |
| 2 | 10 | 3 |
| done | 10 | 3 |
| 0 | 6 | 8 |
| 1 | 12 | 8 |
| 2 | 15 | 8 |
| 3 | 17 | 8 |
| done | 17 | 8 |
| 0 | 6 | 8 |
| 1 | 12 | 8 |
| 2 | 15 | 8 |
| 3 | 17 | 8 |
| done | 17 | 8 |
| 0 | 5 | 7 |
| 1 | 11 | 7 |
| 2 | 14 | 7 |
| 3 | 16 | 7 |
| done | 16 | 7 |
| 0 | 5 | 7 |
| 1 | 11 | 7 |
| 2 | 14 | 7 |
| 3 | 16 | 7 |
| done | 16 | 7 |
| 0 | 8 | 11 |
| 1 | 24 | 11 |
| 2 | 46 | 11 |
| 3 | 82 | 11 |
| 4 | 176 | 11 |
| 5 | 527 | 11 |
| 6 | 2325 | 11 |
| done | 5000 | 11 |
| 0 | 7 | 11 |
| 1 | 12 | 11 |
| 2 | 20 | 11 |
| 3 | 38 | 5 |
| 4 | 65 | 5 |
| 5 | 106 | 5 |
| 6 | 166 | 5 |
| 7 | 334 | 5 |
| 8 | 1602 | 5 |
| done | 5000 | 5 |
| 0 | 9 | 15 |
| 1 | 26 | 13 |
| 2 | 74 | 13 |
| 3 | 202 | 13 |
| 4 | 494 | 13 |
| 5 | 1263 | 13 |
| 6 | 3143 | 13 |
| 7 | 4779 | 13 |
| done | 5000 | 13 |
| 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 | 7 | 9 |
| 1 | 15 | 7 |
| 2 | 34 | 7 |
| 3 | 51 | 7 |
| 4 | 78 | 7 |
| 5 | 99 | 7 |
| 6 | 101 | 7 |
| 7 | 103 | 7 |
| done | 103 | 7 |
| 0 | 8 | 10 |
| 1 | 16 | 9 |
| 2 | 30 | 7 |
| 3 | 53 | 7 |
| 4 | 80 | 7 |
| 5 | 101 | 7 |
| 6 | 103 | 7 |
| 7 | 105 | 7 |
| done | 105 | 7 |
| 0 | 8 | 10 |
| 1 | 16 | 9 |
| 2 | 30 | 7 |
| 3 | 53 | 7 |
| 4 | 80 | 7 |
| 5 | 101 | 7 |
| 6 | 103 | 7 |
| 7 | 105 | 7 |
| done | 105 | 7 |
| 0 | 7 | 9 |
| 1 | 15 | 7 |
| 2 | 34 | 7 |
| 3 | 51 | 7 |
| 4 | 78 | 7 |
| 5 | 99 | 7 |
| 6 | 101 | 7 |
| 7 | 103 | 7 |
| done | 103 | 7 |
| 0 | 9 | 19 |
| 1 | 18 | 19 |
| 2 | 28 | 19 |
| 3 | 52 | 19 |
| 4 | 108 | 19 |
| 5 | 262 | 19 |
| 6 | 890 | 19 |
| 7 | 3327 | 19 |
| done | 5000 | 19 |
| 0 | 8 | 10 |
| 1 | 17 | 10 |
| 2 | 25 | 10 |
| 3 | 43 | 10 |
| 4 | 82 | 10 |
| 5 | 191 | 10 |
| 6 | 565 | 10 |
| 7 | 2183 | 10 |
| done | 5001 | 10 |
| 0 | 11 | 21 |
| 1 | 26 | 21 |
| 2 | 51 | 21 |
| 3 | 116 | 21 |
| 4 | 333 | 21 |
| 5 | 966 | 21 |
| 6 | 3454 | 21 |
| done | 5001 | 21 |
| 0 | 10 | 16 |
| 1 | 21 | 16 |
| 2 | 35 | 16 |
| 3 | 73 | 16 |
| 4 | 189 | 16 |
| 5 | 523 | 16 |
| 6 | 1879 | 16 |
| done | 5000 | 16 |
| 0 | 9 | 13 |
| 1 | 19 | 11 |
| 2 | 36 | 11 |
| 3 | 72 | 11 |
| 4 | 155 | 11 |
| 5 | 369 | 11 |
| 6 | 1360 | 11 |
| 7 | 4832 | 11 |
| done | 5000 | 11 |
| 0 | 11 | 17 |
| 1 | 21 | 17 |
| 2 | 34 | 17 |
| 3 | 80 | 17 |
| 4 | 204 | 17 |
| 5 | 558 | 17 |
| 6 | 2034 | 17 |
| done | 5000 | 17 |
| 0 | 9 | 13 |
| 1 | 19 | 11 |
| 2 | 36 | 11 |
| 3 | 72 | 11 |
| 4 | 155 | 11 |
| 5 | 369 | 11 |
| 6 | 1360 | 11 |
| 7 | 4832 | 11 |
| done | 5000 | 11 |
| 0 | 10 | 16 |
| 1 | 21 | 16 |
| 2 | 33 | 16 |
| 3 | 67 | 16 |
| 4 | 160 | 16 |
| 5 | 419 | 16 |
| 6 | 1596 | 16 |
| done | 5000 | 16 |
| 0 | 9 | 11 |
| 1 | 18 | 11 |
| 2 | 28 | 11 |
| 3 | 53 | 11 |
| 4 | 113 | 11 |
| 5 | 284 | 11 |
| 6 | 1006 | 11 |
| 7 | 4739 | 11 |
| done | 5000 | 11 |
| 0 | 8 | 8 |
| 1 | 16 | 6 |
| 2 | 25 | 6 |
| 3 | 43 | 6 |
| 4 | 85 | 6 |
| 5 | 184 | 6 |
| 6 | 628 | 6 |
| 7 | 2370 | 6 |
| done | 5001 | 6 |
| 0 | 10 | 12 |
| 1 | 18 | 12 |
| 2 | 27 | 12 |
| 3 | 60 | 12 |
| 4 | 130 | 12 |
| 5 | 308 | 12 |
| 6 | 1084 | 12 |
| done | 5000 | 12 |
| 0 | 8 | 8 |
| 1 | 16 | 6 |
| 2 | 25 | 6 |
| 3 | 43 | 6 |
| 4 | 85 | 6 |
| 5 | 184 | 6 |
| 6 | 628 | 6 |
| 7 | 2370 | 6 |
| done | 5001 | 6 |
| 0 | 9 | 13 |
| 1 | 20 | 13 |
| 2 | 30 | 13 |
| 3 | 65 | 13 |
| 4 | 151 | 13 |
| 5 | 449 | 13 |
| 6 | 1687 | 13 |
| done | 5000 | 13 |
| 0 | 8 | 8 |
| 1 | 17 | 8 |
| 2 | 25 | 8 |
| 3 | 51 | 8 |
| 4 | 106 | 8 |
| 5 | 278 | 8 |
| 6 | 822 | 8 |
| 7 | 2528 | 8 |
| done | 5000 | 8 |
| 0 | 4 | 5 |
| 1 | 12 | 3 |
| 2 | 19 | 1 |
| 3 | 30 | 1 |
| 4 | 52 | 1 |
| 5 | 114 | 1 |
| 6 | 332 | 1 |
| 7 | 1257 | 1 |
| done | 5000 | 1 |
| 0 | 9 | 9 |
| 1 | 17 | 9 |
| 2 | 24 | 9 |
| 3 | 58 | 9 |
| 4 | 123 | 9 |
| 5 | 310 | 9 |
| 6 | 922 | 9 |
| 7 | 2770 | 9 |
| done | 5000 | 9 |
| 0 | 4 | 5 |
| 1 | 12 | 3 |
| 2 | 19 | 1 |
| 3 | 30 | 1 |
| 4 | 52 | 1 |
| 5 | 114 | 1 |
| 6 | 332 | 1 |
| 7 | 1257 | 1 |
| done | 5000 | 1 |
| 0 | 9 | 13 |
| 1 | 20 | 13 |
| 2 | 30 | 13 |
| 3 | 65 | 13 |
| 4 | 151 | 13 |
| 5 | 449 | 13 |
| 6 | 1687 | 13 |
| done | 5000 | 13 |
| 0 | 8 | 8 |
| 1 | 17 | 8 |
| 2 | 25 | 8 |
| 3 | 51 | 8 |
| 4 | 106 | 8 |
| 5 | 278 | 8 |
| 6 | 822 | 8 |
| 7 | 2528 | 8 |
| done | 5000 | 8 |
| 0 | 4 | 5 |
| 1 | 12 | 3 |
| 2 | 19 | 1 |
| 3 | 30 | 1 |
| 4 | 52 | 1 |
| 5 | 114 | 1 |
| 6 | 332 | 1 |
| 7 | 1257 | 1 |
| done | 5000 | 1 |
| 0 | 9 | 9 |
| 1 | 17 | 9 |
| 2 | 24 | 9 |
| 3 | 58 | 9 |
| 4 | 123 | 9 |
| 5 | 310 | 9 |
| 6 | 922 | 9 |
| 7 | 2770 | 9 |
| done | 5000 | 9 |
| 0 | 4 | 5 |
| 1 | 12 | 3 |
| 2 | 19 | 1 |
| 3 | 30 | 1 |
| 4 | 52 | 1 |
| 5 | 114 | 1 |
| 6 | 332 | 1 |
| 7 | 1257 | 1 |
| done | 5000 | 1 |
| 0 | 3 | 3 |
| 1 | 11 | 1 |
| 2 | 18 | 1 |
| 3 | 29 | 1 |
| 4 | 53 | 1 |
| 5 | 119 | 1 |
| 6 | 333 | 1 |
| 7 | 1270 | 1 |
| done | 5001 | 1 |
| 0 | 5 | 5 |
| 1 | 12 | 5 |
| 2 | 19 | 5 |
| 3 | 37 | 5 |
| 4 | 84 | 5 |
| 5 | 190 | 5 |
| 6 | 581 | 5 |
| 7 | 2268 | 5 |
| done | 5000 | 5 |
| 0 | 10 | 13 |
| 1 | 31 | 13 |
| 2 | 62 | 13 |
| 3 | 133 | 13 |
| 4 | 385 | 13 |
| 5 | 1526 | 13 |
| done | 5000 | 13 |
| 0 | 9 | 13 |
| 1 | 20 | 13 |
| 2 | 37 | 13 |
| 3 | 91 | 7 |
| 4 | 277 | 7 |
| 5 | 800 | 7 |
| 6 | 3296 | 7 |
| done | 5000 | 7 |
| 0 | 9 | 13 |
| 1 | 18 | 13 |
| 2 | 28 | 13 |
| 3 | 61 | 13 |
| 4 | 137 | 13 |
| 5 | 329 | 13 |
| 6 | 1159 | 13 |
| done | 5000 | 13 |
| 0 | 8 | 10 |
| 1 | 17 | 10 |
| 2 | 27 | 10 |
| 3 | 60 | 10 |
| 4 | 138 | 10 |
| 5 | 325 | 10 |
| 6 | 1162 | 10 |
| done | 5002 | 10 |
| 0 | 8 | 10 |
| 1 | 17 | 10 |
| 2 | 27 | 10 |
| 3 | 60 | 10 |
| 4 | 138 | 10 |
| 5 | 325 | 10 |
| 6 | 1162 | 10 |
| done | 5002 | 10 |
| 0 | 8 | 10 |
| 1 | 17 | 10 |
| 2 | 27 | 10 |
| 3 | 60 | 10 |
| 4 | 138 | 10 |
| 5 | 325 | 10 |
| 6 | 1162 | 10 |
| done | 5002 | 10 |
| 0 | 7 | 9 |
| 1 | 16 | 1 |
| 2 | 22 | 1 |
| 3 | 41 | 1 |
| 4 | 66 | 1 |
| 5 | 110 | 1 |
| 6 | 171 | 1 |
| 7 | 259 | 1 |
| 8 | 368 | 1 |
| 9 | 501 | 1 |
| 10 | 659 | 1 |
| 11 | 833 | 1 |
| 12 | 1026 | 1 |
| 13 | 1244 | 1 |
| 14 | 1481 | 1 |
| 15 | 1741 | 1 |
| 16 | 2020 | 1 |
| 17 | 2330 | 1 |
| 18 | 2651 | 1 |
| 19 | 2991 | 1 |
| 20 | 3354 | 1 |
| 21 | 3736 | 1 |
| 22 | 4141 | 1 |
| 23 | 4570 | 1 |
| done | 5002 | 1 |
| 0 | 7 | 9 |
| 1 | 16 | 9 |
| 2 | 26 | 9 |
| 3 | 59 | 9 |
| 4 | 137 | 9 |
| 5 | 324 | 9 |
| 6 | 1152 | 9 |
| done | 5000 | 9 |
| 0 | 8 | 10 |
| 1 | 19 | 10 |
| 2 | 34 | 9 |
| 3 | 75 | 7 |
| 4 | 238 | 7 |
| 5 | 863 | 7 |
| 6 | 3560 | 7 |
| done | 5000 | 7 |
| 0 | 8 | 10 |
| 1 | 17 | 10 |
| 2 | 29 | 10 |
| 3 | 67 | 10 |
| 4 | 158 | 10 |
| 5 | 408 | 10 |
| 6 | 1474 | 10 |
| done | 5000 | 10 |
| 0 | 9 | 21 |
| 1 | 18 | 21 |
| 2 | 28 | 21 |
| 3 | 61 | 21 |
| 4 | 137 | 21 |
| 5 | 325 | 21 |
| 6 | 1152 | 21 |
| done | 5001 | 21 |
| 0 | 8 | 10 |
| 1 | 17 | 10 |
| 2 | 27 | 10 |
| 3 | 60 | 10 |
| 4 | 138 | 10 |
| 5 | 325 | 10 |
| 6 | 1154 | 10 |
| done | 5000 | 10 |
| 0 | 9 | 29 |
| 1 | 21 | 21 |
| 2 | 49 | 11 |
| 3 | 126 | 11 |
| 4 | 320 | 11 |
| 5 | 1048 | 11 |
| 6 | 4942 | 11 |
| done | 5000 | 11 |
| 0 | 8 | 10 |
| 1 | 17 | 10 |
| 2 | 28 | 10 |
| 3 | 61 | 10 |
| 4 | 137 | 10 |
| 5 | 328 | 10 |
| 6 | 1161 | 10 |
| done | 5000 | 10 |
| 0 | 8 | 10 |
| 1 | 17 | 10 |
| 2 | 28 | 10 |
| 3 | 61 | 10 |
| 4 | 137 | 10 |
| 5 | 328 | 10 |
| 6 | 1161 | 10 |
| done | 5000 | 10 |
| 0 | 9 | 11 |
| 1 | 19 | 11 |
| 2 | 41 | 11 |
| 3 | 81 | 11 |
| 4 | 185 | 11 |
| 5 | 453 | 11 |
| 6 | 1823 | 11 |
| done | 5000 | 11 |
| 0 | 9 | 11 |
| 1 | 19 | 11 |
| 2 | 41 | 11 |
| 3 | 81 | 11 |
| 4 | 185 | 11 |
| 5 | 453 | 11 |
| 6 | 1823 | 11 |
| done | 5000 | 11 |
| 0 | 10 | 14 |
| 1 | 21 | 14 |
| 2 | 38 | 14 |
| 3 | 88 | 13 |
| 4 | 239 | 13 |
| 5 | 726 | 13 |
| 6 | 3002 | 13 |
| done | 5001 | 13 |
| 0 | 9 | 11 |
| 1 | 20 | 11 |
| 2 | 35 | 11 |
| 3 | 76 | 11 |
| 4 | 196 | 11 |
| 5 | 534 | 11 |
| 6 | 2216 | 11 |
| done | 5000 | 11 |
| 0 | 9 | 11 |
| 1 | 20 | 11 |
| 2 | 35 | 11 |
| 3 | 76 | 11 |
| 4 | 196 | 11 |
| 5 | 534 | 11 |
| 6 | 2216 | 11 |
| done | 5000 | 11 |
| 0 | 9 | 11 |
| 1 | 20 | 11 |
| 2 | 35 | 11 |
| 3 | 76 | 11 |
| 4 | 196 | 11 |
| 5 | 534 | 11 |
| 6 | 2216 | 11 |
| done | 5000 | 11 |
| 0 | 8 | 10 |
| 1 | 18 | 1 |
| 2 | 24 | 1 |
| 3 | 43 | 1 |
| 4 | 68 | 1 |
| 5 | 112 | 1 |
| 6 | 173 | 1 |
| 7 | 263 | 1 |
| 8 | 375 | 1 |
| 9 | 507 | 1 |
| 10 | 664 | 1 |
| 11 | 836 | 1 |
| 12 | 1029 | 1 |
| 13 | 1243 | 1 |
| 14 | 1479 | 1 |
| 15 | 1735 | 1 |
| 16 | 2013 | 1 |
| 17 | 2317 | 1 |
| 18 | 2638 | 1 |
| 19 | 2978 | 1 |
| 20 | 3339 | 1 |
| 21 | 3725 | 1 |
| 22 | 4128 | 1 |
| 23 | 4555 | 1 |
| done | 5002 | 1 |
| 0 | 8 | 10 |
| 1 | 19 | 10 |
| 2 | 34 | 9 |
| 3 | 75 | 7 |
| 4 | 238 | 7 |
| 5 | 863 | 7 |
| 6 | 3560 | 7 |
| done | 5000 | 7 |
| 0 | 10 | 22 |
| 1 | 21 | 22 |
| 2 | 32 | 13 |
| 3 | 66 | 13 |
| 4 | 142 | 13 |
| 5 | 332 | 13 |
| 6 | 1150 | 13 |
| done | 5000 | 13 |
| 0 | 9 | 11 |
| 1 | 18 | 11 |
| 2 | 28 | 11 |
| 3 | 61 | 11 |
| 4 | 137 | 11 |
| 5 | 325 | 11 |
| 6 | 1152 | 11 |
| done | 5001 | 11 |
| 0 | 9 | 11 |
| 1 | 18 | 11 |
| 2 | 29 | 11 |
| 3 | 62 | 11 |
| 4 | 138 | 11 |
| 5 | 329 | 11 |
| 6 | 1159 | 11 |
| done | 5000 | 11 |
| 0 | 9 | 11 |
| 1 | 18 | 11 |
| 2 | 29 | 11 |
| 3 | 62 | 11 |
| 4 | 138 | 11 |
| 5 | 329 | 11 |
| 6 | 1159 | 11 |
| done | 5000 | 11 |
| 0 | 2 | 2 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 8 | 10 |
| 1 | 19 | 10 |
| 2 | 34 | 9 |
| 3 | 75 | 7 |
| 4 | 238 | 7 |
| 5 | 863 | 7 |
| 6 | 3560 | 7 |
| done | 5000 | 7 |
| 0 | 10 | 12 |
| 1 | 22 | 12 |
| 2 | 51 | 11 |
| 3 | 115 | 9 |
| 4 | 345 | 9 |
| 5 | 1242 | 9 |
| done | 5000 | 9 |
| 0 | 10 | 12 |
| 1 | 22 | 12 |
| 2 | 51 | 11 |
| 3 | 115 | 9 |
| 4 | 345 | 9 |
| 5 | 1242 | 9 |
| done | 5000 | 9 |
| 0 | 2 | 2 |
| 1 | 4 | 1 |
| 2 | 6 | 1 |
| done | 6 | 1 |
| 0 | 9 | 11 |
| 1 | 20 | 11 |
| 2 | 38 | 10 |
| 3 | 83 | 8 |
| 4 | 261 | 8 |
| 5 | 952 | 8 |
| 6 | 4044 | 8 |
| done | 5000 | 8 |
| 0 | 9 | 11 |
| 1 | 20 | 9 |
| 2 | 37 | 9 |
| 3 | 84 | 8 |
| 4 | 259 | 8 |
| 5 | 961 | 8 |
| 6 | 4093 | 8 |
| done | 5000 | 8 |
| 0 | 10 | 23 |
| 1 | 21 | 23 |
| 2 | 36 | 21 |
| 3 | 77 | 17 |
| 4 | 240 | 17 |
| 5 | 860 | 17 |
| 6 | 3602 | 17 |
| done | 5000 | 17 |
| 0 | 9 | 11 |
| 1 | 20 | 11 |
| 2 | 35 | 10 |
| 3 | 76 | 8 |
| 4 | 239 | 8 |
| 5 | 855 | 8 |
| 6 | 3563 | 8 |
| done | 5000 | 8 |
| 0 | 10 | 32 |
| 1 | 22 | 32 |
| 2 | 50 | 11 |
| 3 | 156 | 9 |
| 4 | 434 | 9 |
| 5 | 2122 | 9 |
| done | 5000 | 9 |
| 0 | 9 | 11 |
| 1 | 20 | 11 |
| 2 | 35 | 10 |
| 3 | 76 | 8 |
| 4 | 239 | 8 |
| 5 | 855 | 8 |
| 6 | 3563 | 8 |
| done | 5000 | 8 |
| 0 | 9 | 11 |
| 1 | 20 | 11 |
| 2 | 35 | 10 |
| 3 | 76 | 8 |
| 4 | 239 | 8 |
| 5 | 855 | 8 |
| 6 | 3563 | 8 |
| done | 5000 | 8 |
| 0 | 1 | 1 |
| done | 1 | 1 |
| 0 | 1 | 1 |
| 1 | 3 | 1 |
| done | 3 | 1 |
| 0 | 1 | 1 |
| 1 | 3 | 1 |
| done | 3 | 1 |
| 0 | 2 | 2 |
| done | 2 | 2 |
| 0 | 1 | 1 |
| 1 | 3 | 1 |
| 2 | 5 | 1 |
| done | 5 | 1 |
| 0 | 1 | 1 |
| 1 | 3 | 1 |
| 2 | 5 | 1 |
| done | 5 | 1 |
| 0 | 1 | 1 |
| done | 1 | 1 |
| 0 | 1 | 1 |
| 1 | 3 | 1 |
| done | 3 | 1 |
| 0 | 1 | 1 |
| 1 | 3 | 1 |
| done | 3 | 1 |
4 alts after pruning (2 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 114 | 0 | 114 |
| Fresh | 0 | 2 | 2 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 114 | 4 | 118 |
Merged error: 0b
Found 2 expressions with local error:
| 0.0b | (/ (- x y) (+ x y)) |
| 0.0b | (/ 1 (/ (- x y) (+ x y))) |
| 178× | times-frac |
| 174× | *-un-lft-identity |
| 122× | add-sqr-sqrt |
| 80× | add-cube-cbrt |
| 30× | associate-/r* |
| 26× | distribute-lft-out |
| 21× | distribute-lft-out-- difference-of-squares |
| 15× | add-exp-log |
| 11× | associate-/r/ |
| 9× | add-cbrt-cube |
| 8× | div-exp associate-/l* |
| 6× | div-inv |
| 5× | flip3-+ flip-+ |
| 4× | cbrt-undiv |
| 3× | pow1 |
| 2× | rec-exp frac-2neg 1-exp clear-num associate-/l/ add-log-exp |
| 1× | flip3-- pow-flip div-sub flip-- inv-pow |
| 9.0ms | (/ (- x y) (+ x y)) |
| 12.0ms | (/ 1 (/ (- x y) (+ x y))) |
| 9.0ms | (/ (- x y) (+ x y)) |
| 11.0ms | (/ 1 (/ (- x y) (+ x y))) |
Useful iterations: 1 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 2 | 2 |
| 1 | 5 | 1 |
| done | 5 | 1 |
| 0 | 8 | 10 |
| 1 | 13 | 10 |
| 2 | 18 | 10 |
| 3 | 20 | 10 |
| 4 | 21 | 9 |
| done | 21 | 9 |
| 0 | 7 | 9 |
| 1 | 16 | 9 |
| 2 | 21 | 9 |
| 3 | 27 | 9 |
| 4 | 29 | 9 |
| 5 | 30 | 9 |
| done | 30 | 9 |
| 0 | 9 | 11 |
| 1 | 18 | 10 |
| 2 | 32 | 10 |
| 3 | 51 | 9 |
| 4 | 80 | 9 |
| 5 | 107 | 9 |
| 6 | 115 | 9 |
| 7 | 131 | 9 |
| done | 131 | 9 |
| 0 | 8 | 10 |
| 1 | 19 | 9 |
| 2 | 30 | 9 |
| 3 | 45 | 9 |
| 4 | 71 | 9 |
| 5 | 101 | 9 |
| 6 | 107 | 9 |
| 7 | 113 | 9 |
| 8 | 128 | 9 |
| done | 128 | 9 |
| 0 | 10 | 12 |
| 1 | 21 | 11 |
| 2 | 30 | 10 |
| 3 | 55 | 9 |
| 4 | 85 | 9 |
| 5 | 112 | 9 |
| 6 | 122 | 9 |
| 7 | 138 | 9 |
| done | 138 | 9 |
| 0 | 9 | 11 |
| 1 | 22 | 10 |
| 2 | 30 | 9 |
| 3 | 49 | 9 |
| 4 | 75 | 9 |
| 5 | 105 | 9 |
| 6 | 111 | 9 |
| 7 | 117 | 9 |
| 8 | 131 | 9 |
| done | 131 | 9 |
| 0 | 8 | 10 |
| 1 | 22 | 9 |
| 2 | 42 | 9 |
| 3 | 70 | 8 |
| 4 | 130 | 8 |
| 5 | 183 | 8 |
| 6 | 205 | 8 |
| 7 | 212 | 8 |
| 8 | 222 | 8 |
| done | 222 | 8 |
| 0 | 8 | 10 |
| 1 | 18 | 10 |
| 2 | 34 | 10 |
| 3 | 59 | 8 |
| 4 | 126 | 8 |
| 5 | 201 | 8 |
| 6 | 378 | 8 |
| 7 | 911 | 8 |
| 8 | 3174 | 8 |
| done | 5000 | 8 |
| 0 | 13 | 29 |
| 1 | 44 | 25 |
| 2 | 152 | 13 |
| 3 | 559 | 11 |
| 4 | 2179 | 11 |
| done | 5001 | 11 |
| 0 | 11 | 29 |
| 1 | 33 | 25 |
| 2 | 84 | 11 |
| 3 | 335 | 11 |
| 4 | 1193 | 9 |
| 5 | 3722 | 9 |
| done | 5000 | 9 |
| 0 | 9 | 21 |
| 1 | 19 | 21 |
| 2 | 33 | 21 |
| 3 | 48 | 17 |
| 4 | 92 | 17 |
| 5 | 117 | 17 |
| 6 | 121 | 17 |
| 7 | 124 | 17 |
| done | 124 | 17 |
| 0 | 8 | 10 |
| 1 | 18 | 10 |
| 2 | 32 | 10 |
| 3 | 47 | 8 |
| 4 | 91 | 8 |
| 5 | 116 | 8 |
| 6 | 120 | 8 |
| 7 | 123 | 8 |
| done | 123 | 8 |
| 0 | 9 | 29 |
| 1 | 26 | 29 |
| 2 | 75 | 11 |
| 3 | 334 | 9 |
| 4 | 1111 | 9 |
| 5 | 2586 | 9 |
| done | 5001 | 9 |
| 0 | 8 | 10 |
| 1 | 18 | 10 |
| 2 | 32 | 10 |
| 3 | 47 | 8 |
| 4 | 91 | 8 |
| 5 | 116 | 8 |
| 6 | 120 | 8 |
| 7 | 123 | 8 |
| done | 123 | 8 |
| 0 | 8 | 10 |
| 1 | 18 | 10 |
| 2 | 32 | 10 |
| 3 | 47 | 8 |
| 4 | 91 | 8 |
| 5 | 116 | 8 |
| 6 | 120 | 8 |
| 7 | 123 | 8 |
| done | 123 | 8 |
| 0 | 2 | 2 |
| 1 | 5 | 1 |
| done | 5 | 1 |
| 0 | 6 | 8 |
| 1 | 14 | 8 |
| 2 | 20 | 8 |
| 3 | 27 | 8 |
| 4 | 31 | 7 |
| 5 | 32 | 7 |
| done | 32 | 7 |
| 0 | 11 | 23 |
| 1 | 25 | 21 |
| 2 | 37 | 19 |
| 3 | 45 | 19 |
| done | 45 | 19 |
| 0 | 9 | 11 |
| 1 | 17 | 10 |
| 2 | 20 | 10 |
| 3 | 22 | 10 |
| done | 22 | 10 |
| 0 | 10 | 14 |
| 1 | 20 | 12 |
| 2 | 25 | 10 |
| 3 | 28 | 10 |
| done | 28 | 10 |
| 0 | 9 | 11 |
| 1 | 17 | 10 |
| 2 | 20 | 10 |
| 3 | 22 | 10 |
| done | 22 | 10 |
| 0 | 13 | 25 |
| 1 | 28 | 23 |
| 2 | 65 | 21 |
| 3 | 135 | 19 |
| 4 | 192 | 19 |
| done | 192 | 19 |
| 0 | 10 | 12 |
| 1 | 17 | 11 |
| 2 | 21 | 11 |
| 3 | 22 | 9 |
| 4 | 35 | 9 |
| 5 | 40 | 9 |
| done | 40 | 9 |
| 0 | 12 | 20 |
| 1 | 23 | 18 |
| 2 | 42 | 16 |
| 3 | 75 | 14 |
| 4 | 96 | 14 |
| done | 96 | 14 |
| 0 | 10 | 12 |
| 1 | 17 | 11 |
| 2 | 21 | 11 |
| 3 | 22 | 9 |
| 4 | 35 | 9 |
| 5 | 40 | 9 |
| done | 40 | 9 |
| 0 | 10 | 17 |
| 1 | 20 | 11 |
| 2 | 35 | 11 |
| 3 | 44 | 11 |
| done | 44 | 11 |
| 0 | 9 | 11 |
| 1 | 16 | 10 |
| 2 | 28 | 10 |
| 3 | 41 | 8 |
| 4 | 76 | 8 |
| 5 | 89 | 8 |
| done | 89 | 8 |
| 0 | 10 | 17 |
| 1 | 20 | 11 |
| 2 | 35 | 11 |
| 3 | 44 | 11 |
| done | 44 | 11 |
| 0 | 9 | 11 |
| 1 | 16 | 10 |
| 2 | 28 | 10 |
| 3 | 41 | 8 |
| 4 | 76 | 8 |
| 5 | 89 | 8 |
| done | 89 | 8 |
| 0 | 12 | 20 |
| 1 | 23 | 18 |
| 2 | 39 | 16 |
| 3 | 59 | 14 |
| 4 | 63 | 14 |
| done | 63 | 14 |
| 0 | 10 | 12 |
| 1 | 17 | 11 |
| 2 | 21 | 11 |
| 3 | 22 | 9 |
| 4 | 35 | 9 |
| 5 | 40 | 9 |
| done | 40 | 9 |
| 0 | 11 | 15 |
| 1 | 20 | 13 |
| 2 | 30 | 11 |
| 3 | 38 | 9 |
| 4 | 39 | 9 |
| done | 39 | 9 |
| 0 | 10 | 12 |
| 1 | 17 | 11 |
| 2 | 21 | 11 |
| 3 | 22 | 9 |
| 4 | 35 | 9 |
| 5 | 40 | 9 |
| done | 40 | 9 |
| 0 | 9 | 12 |
| 1 | 17 | 6 |
| 2 | 23 | 6 |
| done | 23 | 6 |
| 0 | 9 | 11 |
| 1 | 16 | 10 |
| 2 | 28 | 10 |
| 3 | 41 | 8 |
| 4 | 76 | 8 |
| 5 | 89 | 8 |
| done | 89 | 8 |
| 0 | 9 | 12 |
| 1 | 17 | 6 |
| 2 | 23 | 6 |
| done | 23 | 6 |
| 0 | 9 | 11 |
| 1 | 16 | 10 |
| 2 | 28 | 10 |
| 3 | 41 | 8 |
| 4 | 76 | 8 |
| 5 | 89 | 8 |
| done | 89 | 8 |
| 0 | 10 | 17 |
| 1 | 19 | 15 |
| 2 | 34 | 11 |
| 3 | 50 | 9 |
| 4 | 58 | 9 |
| 5 | 59 | 9 |
| done | 59 | 9 |
| 0 | 9 | 11 |
| 1 | 19 | 10 |
| 2 | 25 | 10 |
| 3 | 28 | 8 |
| 4 | 50 | 8 |
| 5 | 63 | 8 |
| done | 63 | 8 |
| 0 | 9 | 12 |
| 1 | 16 | 10 |
| 2 | 25 | 6 |
| 3 | 33 | 4 |
| done | 33 | 4 |
| 0 | 9 | 11 |
| 1 | 19 | 10 |
| 2 | 25 | 10 |
| 3 | 28 | 8 |
| 4 | 50 | 8 |
| 5 | 63 | 8 |
| done | 63 | 8 |
| 0 | 5 | 9 |
| 1 | 11 | 1 |
| done | 11 | 1 |
| 0 | 8 | 10 |
| 1 | 18 | 9 |
| 2 | 32 | 9 |
| 3 | 47 | 7 |
| 4 | 91 | 7 |
| 5 | 118 | 7 |
| 6 | 122 | 7 |
| 7 | 125 | 7 |
| done | 125 | 7 |
| 0 | 5 | 9 |
| 1 | 11 | 1 |
| done | 11 | 1 |
| 0 | 8 | 10 |
| 1 | 18 | 9 |
| 2 | 32 | 9 |
| 3 | 47 | 7 |
| 4 | 91 | 7 |
| 5 | 118 | 7 |
| 6 | 122 | 7 |
| 7 | 125 | 7 |
| done | 125 | 7 |
| 0 | 13 | 21 |
| 1 | 23 | 19 |
| 2 | 38 | 17 |
| 3 | 58 | 15 |
| 4 | 62 | 15 |
| done | 62 | 15 |
| 0 | 11 | 13 |
| 1 | 21 | 12 |
| 2 | 27 | 12 |
| 3 | 30 | 10 |
| 4 | 52 | 10 |
| 5 | 65 | 10 |
| done | 65 | 10 |
| 0 | 12 | 16 |
| 1 | 20 | 14 |
| 2 | 29 | 12 |
| 3 | 37 | 10 |
| 4 | 38 | 10 |
| done | 38 | 10 |
| 0 | 11 | 13 |
| 1 | 21 | 12 |
| 2 | 27 | 12 |
| 3 | 30 | 10 |
| 4 | 52 | 10 |
| 5 | 65 | 10 |
| done | 65 | 10 |
| 0 | 10 | 13 |
| 1 | 17 | 7 |
| 2 | 22 | 7 |
| done | 22 | 7 |
| 0 | 10 | 12 |
| 1 | 20 | 11 |
| 2 | 34 | 11 |
| 3 | 49 | 9 |
| 4 | 93 | 9 |
| 5 | 120 | 9 |
| 6 | 124 | 9 |
| 7 | 128 | 9 |
| done | 128 | 9 |
| 0 | 10 | 13 |
| 1 | 17 | 7 |
| 2 | 22 | 7 |
| done | 22 | 7 |
| 0 | 10 | 12 |
| 1 | 20 | 11 |
| 2 | 34 | 11 |
| 3 | 49 | 9 |
| 4 | 93 | 9 |
| 5 | 120 | 9 |
| 6 | 124 | 9 |
| 7 | 128 | 9 |
| done | 128 | 9 |
| 0 | 10 | 17 |
| 1 | 19 | 15 |
| 2 | 34 | 11 |
| 3 | 50 | 9 |
| 4 | 58 | 9 |
| 5 | 59 | 9 |
| done | 59 | 9 |
| 0 | 9 | 11 |
| 1 | 19 | 10 |
| 2 | 25 | 10 |
| 3 | 28 | 8 |
| 4 | 50 | 8 |
| 5 | 63 | 8 |
| done | 63 | 8 |
| 0 | 9 | 12 |
| 1 | 16 | 10 |
| 2 | 25 | 6 |
| 3 | 33 | 4 |
| done | 33 | 4 |
| 0 | 9 | 11 |
| 1 | 19 | 10 |
| 2 | 25 | 10 |
| 3 | 28 | 8 |
| 4 | 50 | 8 |
| 5 | 63 | 8 |
| done | 63 | 8 |
| 0 | 5 | 9 |
| 1 | 11 | 1 |
| done | 11 | 1 |
| 0 | 8 | 10 |
| 1 | 18 | 9 |
| 2 | 32 | 9 |
| 3 | 47 | 7 |
| 4 | 91 | 7 |
| 5 | 118 | 7 |
| 6 | 122 | 7 |
| 7 | 125 | 7 |
| done | 125 | 7 |
| 0 | 5 | 9 |
| 1 | 11 | 1 |
| done | 11 | 1 |
| 0 | 8 | 10 |
| 1 | 18 | 9 |
| 2 | 32 | 9 |
| 3 | 47 | 7 |
| 4 | 91 | 7 |
| 5 | 118 | 7 |
| 6 | 122 | 7 |
| 7 | 125 | 7 |
| done | 125 | 7 |
| 0 | 4 | 7 |
| 1 | 8 | 3 |
| 2 | 12 | 1 |
| done | 12 | 1 |
| 0 | 8 | 10 |
| 1 | 18 | 9 |
| 2 | 32 | 9 |
| 3 | 47 | 7 |
| 4 | 91 | 7 |
| 5 | 118 | 7 |
| 6 | 122 | 7 |
| 7 | 125 | 7 |
| done | 125 | 7 |
| 0 | 7 | 9 |
| 1 | 13 | 7 |
| 2 | 19 | 5 |
| 3 | 22 | 5 |
| done | 22 | 5 |
| 0 | 7 | 8 |
| 1 | 12 | 7 |
| 2 | 23 | 5 |
| 3 | 28 | 3 |
| 4 | 40 | 3 |
| done | 40 | 3 |
| 0 | 12 | 17 |
| 1 | 37 | 15 |
| 2 | 69 | 13 |
| 3 | 143 | 11 |
| 4 | 322 | 11 |
| 5 | 953 | 11 |
| 6 | 2894 | 11 |
| done | 5000 | 11 |
| 0 | 10 | 14 |
| 1 | 20 | 11 |
| 2 | 35 | 11 |
| 3 | 48 | 11 |
| 4 | 68 | 11 |
| 5 | 89 | 11 |
| 6 | 106 | 11 |
| 7 | 129 | 11 |
| 8 | 172 | 11 |
| 9 | 234 | 11 |
| 10 | 235 | 11 |
| done | 235 | 11 |
| 0 | 11 | 17 |
| 1 | 26 | 15 |
| 2 | 66 | 13 |
| 3 | 193 | 11 |
| 4 | 518 | 3 |
| 5 | 1449 | 3 |
| done | 5002 | 3 |
| 0 | 6 | 6 |
| 1 | 10 | 5 |
| 2 | 11 | 5 |
| done | 11 | 5 |
| 0 | 10 | 20 |
| 1 | 20 | 19 |
| 2 | 23 | 19 |
| 3 | 25 | 19 |
| done | 25 | 19 |
| 0 | 9 | 11 |
| 1 | 17 | 10 |
| 2 | 20 | 10 |
| 3 | 22 | 10 |
| done | 22 | 10 |
| 0 | 9 | 11 |
| 1 | 17 | 10 |
| 2 | 20 | 10 |
| 3 | 22 | 10 |
| done | 22 | 10 |
| 0 | 9 | 11 |
| 1 | 17 | 10 |
| 2 | 20 | 10 |
| 3 | 22 | 10 |
| done | 22 | 10 |
| 0 | 12 | 22 |
| 1 | 25 | 21 |
| 2 | 47 | 21 |
| 3 | 78 | 19 |
| 4 | 138 | 19 |
| 5 | 205 | 19 |
| done | 205 | 19 |
| 0 | 10 | 12 |
| 1 | 17 | 11 |
| 2 | 21 | 11 |
| 3 | 22 | 9 |
| 4 | 35 | 9 |
| 5 | 40 | 9 |
| done | 40 | 9 |
| 0 | 11 | 17 |
| 1 | 20 | 16 |
| 2 | 29 | 16 |
| 3 | 42 | 14 |
| 4 | 69 | 14 |
| 5 | 101 | 14 |
| done | 101 | 14 |
| 0 | 10 | 12 |
| 1 | 17 | 11 |
| 2 | 21 | 11 |
| 3 | 22 | 9 |
| 4 | 35 | 9 |
| 5 | 40 | 9 |
| done | 40 | 9 |
| 0 | 9 | 14 |
| 1 | 17 | 11 |
| 2 | 29 | 11 |
| 3 | 38 | 11 |
| done | 38 | 11 |
| 0 | 9 | 11 |
| 1 | 16 | 10 |
| 2 | 28 | 10 |
| 3 | 41 | 8 |
| 4 | 76 | 8 |
| 5 | 89 | 8 |
| done | 89 | 8 |
| 0 | 9 | 14 |
| 1 | 17 | 11 |
| 2 | 29 | 11 |
| 3 | 38 | 11 |
| done | 38 | 11 |
| 0 | 9 | 11 |
| 1 | 16 | 10 |
| 2 | 28 | 10 |
| 3 | 41 | 8 |
| 4 | 76 | 8 |
| 5 | 89 | 8 |
| done | 89 | 8 |
| 0 | 11 | 17 |
| 1 | 20 | 16 |
| 2 | 28 | 16 |
| 3 | 36 | 14 |
| 4 | 60 | 14 |
| 5 | 73 | 14 |
| done | 73 | 14 |
| 0 | 10 | 12 |
| 1 | 17 | 11 |
| 2 | 21 | 11 |
| 3 | 22 | 9 |
| 4 | 35 | 9 |
| 5 | 40 | 9 |
| done | 40 | 9 |
| 0 | 10 | 12 |
| 1 | 17 | 11 |
| 2 | 21 | 11 |
| 3 | 22 | 9 |
| 4 | 35 | 9 |
| 5 | 40 | 9 |
| done | 40 | 9 |
| 0 | 10 | 12 |
| 1 | 17 | 11 |
| 2 | 21 | 11 |
| 3 | 22 | 9 |
| 4 | 35 | 9 |
| 5 | 40 | 9 |
| done | 40 | 9 |
| 0 | 8 | 9 |
| 1 | 14 | 6 |
| 2 | 20 | 6 |
| done | 20 | 6 |
| 0 | 9 | 11 |
| 1 | 16 | 10 |
| 2 | 28 | 10 |
| 3 | 41 | 8 |
| 4 | 76 | 8 |
| 5 | 89 | 8 |
| done | 89 | 8 |
| 0 | 8 | 9 |
| 1 | 14 | 6 |
| 2 | 20 | 6 |
| done | 20 | 6 |
| 0 | 9 | 11 |
| 1 | 16 | 10 |
| 2 | 28 | 10 |
| 3 | 41 | 8 |
| 4 | 76 | 8 |
| 5 | 89 | 8 |
| done | 89 | 8 |
| 0 | 9 | 14 |
| 1 | 16 | 13 |
| 2 | 23 | 11 |
| 3 | 32 | 9 |
| 4 | 45 | 9 |
| 5 | 47 | 9 |
| done | 47 | 9 |
| 0 | 9 | 11 |
| 1 | 19 | 10 |
| 2 | 25 | 10 |
| 3 | 28 | 8 |
| 4 | 50 | 8 |
| 5 | 63 | 8 |
| done | 63 | 8 |
| 0 | 8 | 9 |
| 1 | 13 | 8 |
| 2 | 16 | 6 |
| 3 | 21 | 4 |
| 4 | 25 | 4 |
| done | 25 | 4 |
| 0 | 9 | 11 |
| 1 | 19 | 10 |
| 2 | 25 | 10 |
| 3 | 28 | 8 |
| 4 | 50 | 8 |
| 5 | 63 | 8 |
| done | 63 | 8 |
| 0 | 4 | 6 |
| 1 | 8 | 1 |
| done | 8 | 1 |
| 0 | 8 | 10 |
| 1 | 18 | 9 |
| 2 | 32 | 9 |
| 3 | 47 | 7 |
| 4 | 91 | 7 |
| 5 | 118 | 7 |
| 6 | 122 | 7 |
| 7 | 125 | 7 |
| done | 125 | 7 |
| 0 | 4 | 6 |
| 1 | 8 | 1 |
| done | 8 | 1 |
| 0 | 8 | 10 |
| 1 | 18 | 9 |
| 2 | 32 | 9 |
| 3 | 47 | 7 |
| 4 | 91 | 7 |
| 5 | 118 | 7 |
| 6 | 122 | 7 |
| 7 | 125 | 7 |
| done | 125 | 7 |
| 0 | 12 | 18 |
| 1 | 20 | 17 |
| 2 | 27 | 17 |
| 3 | 35 | 15 |
| 4 | 59 | 15 |
| 5 | 74 | 15 |
| done | 74 | 15 |
| 0 | 11 | 13 |
| 1 | 21 | 12 |
| 2 | 27 | 12 |
| 3 | 30 | 10 |
| 4 | 52 | 10 |
| 5 | 65 | 10 |
| done | 65 | 10 |
| 0 | 11 | 13 |
| 1 | 17 | 12 |
| 2 | 20 | 12 |
| 3 | 21 | 10 |
| 4 | 34 | 10 |
| 5 | 39 | 10 |
| done | 39 | 10 |
| 0 | 11 | 13 |
| 1 | 21 | 12 |
| 2 | 27 | 12 |
| 3 | 30 | 10 |
| 4 | 52 | 10 |
| 5 | 65 | 10 |
| done | 65 | 10 |
| 0 | 9 | 10 |
| 1 | 14 | 7 |
| 2 | 19 | 7 |
| done | 19 | 7 |
| 0 | 10 | 12 |
| 1 | 20 | 11 |
| 2 | 34 | 11 |
| 3 | 49 | 9 |
| 4 | 93 | 9 |
| 5 | 120 | 9 |
| 6 | 124 | 9 |
| 7 | 128 | 9 |
| done | 128 | 9 |
| 0 | 9 | 10 |
| 1 | 14 | 7 |
| 2 | 19 | 7 |
| done | 19 | 7 |
| 0 | 10 | 12 |
| 1 | 20 | 11 |
| 2 | 34 | 11 |
| 3 | 49 | 9 |
| 4 | 93 | 9 |
| 5 | 120 | 9 |
| 6 | 124 | 9 |
| 7 | 128 | 9 |
| done | 128 | 9 |
| 0 | 9 | 14 |
| 1 | 16 | 13 |
| 2 | 23 | 11 |
| 3 | 32 | 9 |
| 4 | 45 | 9 |
| 5 | 47 | 9 |
| done | 47 | 9 |
| 0 | 9 | 11 |
| 1 | 19 | 10 |
| 2 | 25 | 10 |
| 3 | 28 | 8 |
| 4 | 50 | 8 |
| 5 | 63 | 8 |
| done | 63 | 8 |
| 0 | 8 | 9 |
| 1 | 13 | 8 |
| 2 | 16 | 6 |
| 3 | 21 | 4 |
| 4 | 25 | 4 |
| done | 25 | 4 |
| 0 | 9 | 11 |
| 1 | 19 | 10 |
| 2 | 25 | 10 |
| 3 | 28 | 8 |
| 4 | 50 | 8 |
| 5 | 63 | 8 |
| done | 63 | 8 |
| 0 | 4 | 6 |
| 1 | 8 | 1 |
| done | 8 | 1 |
| 0 | 8 | 10 |
| 1 | 18 | 9 |
| 2 | 32 | 9 |
| 3 | 47 | 7 |
| 4 | 91 | 7 |
| 5 | 118 | 7 |
| 6 | 122 | 7 |
| 7 | 125 | 7 |
| done | 125 | 7 |
| 0 | 4 | 6 |
| 1 | 8 | 1 |
| done | 8 | 1 |
| 0 | 8 | 10 |
| 1 | 18 | 9 |
| 2 | 32 | 9 |
| 3 | 47 | 7 |
| 4 | 91 | 7 |
| 5 | 118 | 7 |
| 6 | 122 | 7 |
| 7 | 125 | 7 |
| done | 125 | 7 |
| 0 | 3 | 4 |
| 1 | 5 | 1 |
| done | 5 | 1 |
| 0 | 8 | 10 |
| 1 | 18 | 9 |
| 2 | 32 | 9 |
| 3 | 47 | 7 |
| 4 | 91 | 7 |
| 5 | 118 | 7 |
| 6 | 122 | 7 |
| 7 | 125 | 7 |
| done | 125 | 7 |
| 0 | 6 | 6 |
| 1 | 10 | 5 |
| 2 | 11 | 5 |
| done | 11 | 5 |
| 0 | 7 | 8 |
| 1 | 12 | 7 |
| 2 | 23 | 5 |
| 3 | 28 | 3 |
| 4 | 40 | 3 |
| done | 40 | 3 |
| 0 | 11 | 14 |
| 1 | 34 | 13 |
| 2 | 57 | 13 |
| 3 | 113 | 11 |
| 4 | 292 | 11 |
| 5 | 972 | 11 |
| 6 | 2826 | 11 |
| done | 5001 | 11 |
| 0 | 10 | 14 |
| 1 | 20 | 11 |
| 2 | 35 | 11 |
| 3 | 48 | 11 |
| 4 | 68 | 11 |
| 5 | 89 | 11 |
| 6 | 106 | 11 |
| 7 | 129 | 11 |
| 8 | 172 | 11 |
| 9 | 234 | 11 |
| 10 | 235 | 11 |
| done | 235 | 11 |
| 0 | 10 | 14 |
| 1 | 23 | 13 |
| 2 | 54 | 13 |
| 3 | 157 | 11 |
| 4 | 442 | 5 |
| 5 | 1147 | 3 |
| 6 | 3187 | 3 |
| done | 5000 | 3 |
| 0 | 6 | 6 |
| 1 | 10 | 5 |
| 2 | 11 | 5 |
| done | 11 | 5 |
| 0 | 9 | 19 |
| 1 | 19 | 19 |
| 2 | 22 | 19 |
| 3 | 24 | 19 |
| done | 24 | 19 |
| 0 | 8 | 10 |
| 1 | 16 | 10 |
| 2 | 19 | 10 |
| 3 | 21 | 10 |
| done | 21 | 10 |
| 0 | 8 | 10 |
| 1 | 16 | 10 |
| 2 | 19 | 10 |
| 3 | 21 | 10 |
| done | 21 | 10 |
| 0 | 8 | 10 |
| 1 | 16 | 10 |
| 2 | 19 | 10 |
| 3 | 21 | 10 |
| done | 21 | 10 |
| 0 | 11 | 21 |
| 1 | 24 | 21 |
| 2 | 46 | 21 |
| 3 | 75 | 19 |
| 4 | 135 | 19 |
| 5 | 200 | 19 |
| done | 200 | 19 |
| 0 | 9 | 11 |
| 1 | 16 | 11 |
| 2 | 20 | 11 |
| 3 | 21 | 9 |
| 4 | 34 | 9 |
| 5 | 39 | 9 |
| done | 39 | 9 |
| 0 | 10 | 16 |
| 1 | 19 | 16 |
| 2 | 28 | 16 |
| 3 | 41 | 14 |
| 4 | 68 | 14 |
| 5 | 105 | 14 |
| done | 105 | 14 |
| 0 | 9 | 11 |
| 1 | 16 | 11 |
| 2 | 20 | 11 |
| 3 | 21 | 9 |
| 4 | 34 | 9 |
| 5 | 39 | 9 |
| done | 39 | 9 |
| 0 | 8 | 13 |
| 1 | 16 | 11 |
| 2 | 28 | 11 |
| 3 | 37 | 11 |
| done | 37 | 11 |
| 0 | 8 | 10 |
| 1 | 15 | 10 |
| 2 | 27 | 10 |
| 3 | 40 | 8 |
| 4 | 75 | 8 |
| 5 | 88 | 8 |
| done | 88 | 8 |
| 0 | 8 | 13 |
| 1 | 16 | 11 |
| 2 | 28 | 11 |
| 3 | 37 | 11 |
| done | 37 | 11 |
| 0 | 8 | 10 |
| 1 | 15 | 10 |
| 2 | 27 | 10 |
| 3 | 40 | 8 |
| 4 | 75 | 8 |
| 5 | 88 | 8 |
| done | 88 | 8 |
| 0 | 10 | 16 |
| 1 | 19 | 16 |
| 2 | 27 | 16 |
| 3 | 35 | 14 |
| 4 | 59 | 14 |
| 5 | 76 | 14 |
| done | 76 | 14 |
| 0 | 9 | 11 |
| 1 | 16 | 11 |
| 2 | 20 | 11 |
| 3 | 21 | 9 |
| 4 | 34 | 9 |
| 5 | 39 | 9 |
| done | 39 | 9 |
| 0 | 9 | 11 |
| 1 | 16 | 11 |
| 2 | 20 | 11 |
| 3 | 21 | 9 |
| 4 | 34 | 9 |
| 5 | 39 | 9 |
| done | 39 | 9 |
| 0 | 9 | 11 |
| 1 | 16 | 11 |
| 2 | 20 | 11 |
| 3 | 21 | 9 |
| 4 | 34 | 9 |
| 5 | 39 | 9 |
| done | 39 | 9 |
| 0 | 7 | 8 |
| 1 | 13 | 6 |
| 2 | 19 | 6 |
| done | 19 | 6 |
| 0 | 8 | 10 |
| 1 | 15 | 10 |
| 2 | 27 | 10 |
| 3 | 40 | 8 |
| 4 | 75 | 8 |
| 5 | 88 | 8 |
| done | 88 | 8 |
| 0 | 7 | 8 |
| 1 | 13 | 6 |
| 2 | 19 | 6 |
| done | 19 | 6 |
| 0 | 8 | 10 |
| 1 | 15 | 10 |
| 2 | 27 | 10 |
| 3 | 40 | 8 |
| 4 | 75 | 8 |
| 5 | 88 | 8 |
| done | 88 | 8 |
| 0 | 8 | 13 |
| 1 | 15 | 9 |
| 2 | 24 | 9 |
| 3 | 37 | 9 |
| 4 | 46 | 9 |
| 5 | 47 | 9 |
| done | 47 | 9 |
| 0 | 8 | 10 |
| 1 | 18 | 10 |
| 2 | 24 | 10 |
| 3 | 27 | 8 |
| 4 | 49 | 8 |
| 5 | 62 | 8 |
| done | 62 | 8 |
| 0 | 7 | 8 |
| 1 | 12 | 4 |
| 2 | 17 | 4 |
| 3 | 19 | 4 |
| 4 | 20 | 4 |
| done | 20 | 4 |
| 0 | 8 | 10 |
| 1 | 18 | 10 |
| 2 | 24 | 10 |
| 3 | 27 | 8 |
| 4 | 49 | 8 |
| 5 | 62 | 8 |
| done | 62 | 8 |
| 0 | 3 | 5 |
| 1 | 6 | 1 |
| done | 6 | 1 |
| 0 | 7 | 9 |
| 1 | 17 | 9 |
| 2 | 31 | 9 |
| 3 | 46 | 7 |
| 4 | 90 | 7 |
| 5 | 115 | 7 |
| 6 | 119 | 7 |
| 7 | 122 | 7 |
| done | 122 | 7 |
| 0 | 3 | 5 |
| 1 | 6 | 1 |
| done | 6 | 1 |
| 0 | 7 | 9 |
| 1 | 17 | 9 |
| 2 | 31 | 9 |
| 3 | 46 | 7 |
| 4 | 90 | 7 |
| 5 | 115 | 7 |
| 6 | 119 | 7 |
| 7 | 122 | 7 |
| done | 122 | 7 |
| 0 | 11 | 17 |
| 1 | 19 | 17 |
| 2 | 26 | 17 |
| 3 | 34 | 15 |
| 4 | 58 | 15 |
| 5 | 73 | 15 |
| done | 73 | 15 |
| 0 | 10 | 12 |
| 1 | 20 | 12 |
| 2 | 26 | 12 |
| 3 | 29 | 10 |
| 4 | 51 | 10 |
| 5 | 66 | 10 |
| done | 66 | 10 |
| 0 | 10 | 12 |
| 1 | 16 | 12 |
| 2 | 19 | 12 |
| 3 | 20 | 10 |
| 4 | 33 | 10 |
| 5 | 40 | 10 |
| done | 40 | 10 |
| 0 | 10 | 12 |
| 1 | 20 | 12 |
| 2 | 26 | 12 |
| 3 | 29 | 10 |
| 4 | 51 | 10 |
| 5 | 66 | 10 |
| done | 66 | 10 |
| 0 | 8 | 9 |
| 1 | 13 | 7 |
| 2 | 18 | 7 |
| done | 18 | 7 |
| 0 | 9 | 11 |
| 1 | 19 | 11 |
| 2 | 33 | 11 |
| 3 | 48 | 9 |
| 4 | 92 | 9 |
| 5 | 119 | 9 |
| 6 | 123 | 9 |
| 7 | 127 | 9 |
| done | 127 | 9 |
| 0 | 8 | 9 |
| 1 | 13 | 7 |
| 2 | 18 | 7 |
| done | 18 | 7 |
| 0 | 9 | 11 |
| 1 | 19 | 11 |
| 2 | 33 | 11 |
| 3 | 48 | 9 |
| 4 | 92 | 9 |
| 5 | 119 | 9 |
| 6 | 123 | 9 |
| 7 | 127 | 9 |
| done | 127 | 9 |
| 0 | 8 | 13 |
| 1 | 15 | 9 |
| 2 | 24 | 9 |
| 3 | 37 | 9 |
| 4 | 46 | 9 |
| 5 | 47 | 9 |
| done | 47 | 9 |
| 0 | 8 | 10 |
| 1 | 18 | 10 |
| 2 | 24 | 10 |
| 3 | 27 | 8 |
| 4 | 49 | 8 |
| 5 | 62 | 8 |
| done | 62 | 8 |
| 0 | 7 | 8 |
| 1 | 12 | 4 |
| 2 | 17 | 4 |
| 3 | 19 | 4 |
| 4 | 20 | 4 |
| done | 20 | 4 |
| 0 | 8 | 10 |
| 1 | 18 | 10 |
| 2 | 24 | 10 |
| 3 | 27 | 8 |
| 4 | 49 | 8 |
| 5 | 62 | 8 |
| done | 62 | 8 |
| 0 | 3 | 5 |
| 1 | 6 | 1 |
| done | 6 | 1 |
| 0 | 7 | 9 |
| 1 | 17 | 9 |
| 2 | 31 | 9 |
| 3 | 46 | 7 |
| 4 | 90 | 7 |
| 5 | 115 | 7 |
| 6 | 119 | 7 |
| 7 | 122 | 7 |
| done | 122 | 7 |
| 0 | 3 | 5 |
| 1 | 6 | 1 |
| done | 6 | 1 |
| 0 | 7 | 9 |
| 1 | 17 | 9 |
| 2 | 31 | 9 |
| 3 | 46 | 7 |
| 4 | 90 | 7 |
| 5 | 115 | 7 |
| 6 | 119 | 7 |
| 7 | 122 | 7 |
| done | 122 | 7 |
| 0 | 2 | 3 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 7 | 9 |
| 1 | 17 | 9 |
| 2 | 31 | 9 |
| 3 | 46 | 7 |
| 4 | 90 | 7 |
| 5 | 115 | 7 |
| 6 | 119 | 7 |
| 7 | 122 | 7 |
| done | 122 | 7 |
| 0 | 5 | 5 |
| 1 | 9 | 5 |
| 2 | 10 | 5 |
| done | 10 | 5 |
| 0 | 6 | 7 |
| 1 | 11 | 3 |
| 2 | 24 | 3 |
| 3 | 34 | 3 |
| 4 | 35 | 3 |
| done | 35 | 3 |
| 0 | 10 | 13 |
| 1 | 33 | 13 |
| 2 | 56 | 13 |
| 3 | 112 | 11 |
| 4 | 293 | 11 |
| 5 | 977 | 11 |
| 6 | 2810 | 11 |
| done | 5001 | 11 |
| 0 | 9 | 13 |
| 1 | 19 | 11 |
| 2 | 34 | 11 |
| 3 | 47 | 11 |
| 4 | 67 | 11 |
| 5 | 88 | 11 |
| 6 | 105 | 11 |
| 7 | 128 | 11 |
| 8 | 171 | 11 |
| 9 | 233 | 11 |
| 10 | 234 | 11 |
| done | 234 | 11 |
| 0 | 9 | 13 |
| 1 | 22 | 13 |
| 2 | 53 | 13 |
| 3 | 156 | 11 |
| 4 | 439 | 3 |
| 5 | 1629 | 3 |
| done | 5000 | 3 |
| 0 | 5 | 5 |
| 1 | 9 | 5 |
| 2 | 10 | 5 |
| done | 10 | 5 |
| 0 | 7 | 9 |
| 1 | 17 | 9 |
| 2 | 31 | 9 |
| 3 | 46 | 7 |
| 4 | 90 | 7 |
| 5 | 115 | 7 |
| 6 | 119 | 7 |
| 7 | 122 | 7 |
| done | 122 | 7 |
| 0 | 7 | 9 |
| 1 | 17 | 7 |
| 2 | 38 | 7 |
| 3 | 57 | 7 |
| 4 | 67 | 7 |
| 5 | 69 | 7 |
| done | 69 | 7 |
| 0 | 9 | 19 |
| 1 | 19 | 19 |
| 2 | 22 | 19 |
| 3 | 24 | 19 |
| done | 24 | 19 |
| 0 | 8 | 10 |
| 1 | 16 | 10 |
| 2 | 19 | 10 |
| 3 | 21 | 10 |
| done | 21 | 10 |
| 0 | 11 | 21 |
| 1 | 24 | 21 |
| 2 | 46 | 21 |
| 3 | 75 | 19 |
| 4 | 135 | 19 |
| 5 | 200 | 19 |
| done | 200 | 19 |
| 0 | 10 | 16 |
| 1 | 19 | 16 |
| 2 | 28 | 16 |
| 3 | 41 | 14 |
| 4 | 68 | 14 |
| 5 | 105 | 14 |
| done | 105 | 14 |
| 0 | 8 | 13 |
| 1 | 16 | 11 |
| 2 | 28 | 11 |
| 3 | 37 | 11 |
| done | 37 | 11 |
| 0 | 8 | 13 |
| 1 | 16 | 11 |
| 2 | 28 | 11 |
| 3 | 37 | 11 |
| done | 37 | 11 |
| 0 | 10 | 16 |
| 1 | 19 | 16 |
| 2 | 27 | 16 |
| 3 | 35 | 14 |
| 4 | 59 | 14 |
| 5 | 76 | 14 |
| done | 76 | 14 |
| 0 | 9 | 11 |
| 1 | 16 | 11 |
| 2 | 20 | 11 |
| 3 | 21 | 9 |
| 4 | 34 | 9 |
| 5 | 39 | 9 |
| done | 39 | 9 |
| 0 | 7 | 8 |
| 1 | 13 | 6 |
| 2 | 19 | 6 |
| done | 19 | 6 |
| 0 | 7 | 8 |
| 1 | 13 | 6 |
| 2 | 19 | 6 |
| done | 19 | 6 |
| 0 | 8 | 13 |
| 1 | 15 | 9 |
| 2 | 24 | 9 |
| 3 | 37 | 9 |
| 4 | 46 | 9 |
| 5 | 47 | 9 |
| done | 47 | 9 |
| 0 | 7 | 8 |
| 1 | 12 | 4 |
| 2 | 17 | 4 |
| 3 | 19 | 4 |
| 4 | 20 | 4 |
| done | 20 | 4 |
| 0 | 3 | 5 |
| 1 | 6 | 1 |
| done | 6 | 1 |
| 0 | 3 | 5 |
| 1 | 6 | 1 |
| done | 6 | 1 |
| 0 | 11 | 17 |
| 1 | 19 | 17 |
| 2 | 26 | 17 |
| 3 | 34 | 15 |
| 4 | 58 | 15 |
| 5 | 73 | 15 |
| done | 73 | 15 |
| 0 | 10 | 12 |
| 1 | 16 | 12 |
| 2 | 19 | 12 |
| 3 | 20 | 10 |
| 4 | 33 | 10 |
| 5 | 40 | 10 |
| done | 40 | 10 |
| 0 | 8 | 9 |
| 1 | 13 | 7 |
| 2 | 18 | 7 |
| done | 18 | 7 |
| 0 | 8 | 9 |
| 1 | 13 | 7 |
| 2 | 18 | 7 |
| done | 18 | 7 |
| 0 | 8 | 13 |
| 1 | 15 | 9 |
| 2 | 24 | 9 |
| 3 | 37 | 9 |
| 4 | 46 | 9 |
| 5 | 47 | 9 |
| done | 47 | 9 |
| 0 | 7 | 8 |
| 1 | 12 | 4 |
| 2 | 17 | 4 |
| 3 | 19 | 4 |
| 4 | 20 | 4 |
| done | 20 | 4 |
| 0 | 3 | 5 |
| 1 | 6 | 1 |
| done | 6 | 1 |
| 0 | 3 | 5 |
| 1 | 6 | 1 |
| done | 6 | 1 |
| 0 | 2 | 3 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 5 | 5 |
| 1 | 9 | 5 |
| 2 | 10 | 5 |
| done | 10 | 5 |
| 0 | 10 | 13 |
| 1 | 33 | 13 |
| 2 | 56 | 13 |
| 3 | 112 | 11 |
| 4 | 293 | 11 |
| 5 | 977 | 11 |
| 6 | 2810 | 11 |
| done | 5001 | 11 |
| 0 | 9 | 13 |
| 1 | 22 | 13 |
| 2 | 53 | 13 |
| 3 | 156 | 11 |
| 4 | 439 | 3 |
| 5 | 1629 | 3 |
| done | 5000 | 3 |
| 0 | 8 | 10 |
| 1 | 18 | 9 |
| 2 | 38 | 9 |
| 3 | 49 | 7 |
| 4 | 66 | 7 |
| 5 | 68 | 7 |
| done | 68 | 7 |
| 0 | 8 | 10 |
| 1 | 18 | 9 |
| 2 | 38 | 9 |
| 3 | 49 | 7 |
| 4 | 66 | 7 |
| 5 | 68 | 7 |
| done | 68 | 7 |
| 0 | 7 | 9 |
| 1 | 17 | 7 |
| 2 | 38 | 7 |
| 3 | 57 | 7 |
| 4 | 67 | 7 |
| 5 | 69 | 7 |
| done | 69 | 7 |
| 0 | 5 | 5 |
| 1 | 9 | 5 |
| 2 | 10 | 5 |
| done | 10 | 5 |
| 0 | 7 | 9 |
| 1 | 12 | 9 |
| 2 | 14 | 9 |
| done | 14 | 9 |
| 0 | 6 | 8 |
| 1 | 15 | 8 |
| 2 | 20 | 8 |
| 3 | 23 | 8 |
| done | 23 | 8 |
| 0 | 6 | 8 |
| 1 | 12 | 8 |
| 2 | 18 | 8 |
| 3 | 22 | 8 |
| 4 | 25 | 8 |
| 5 | 31 | 8 |
| 6 | 35 | 8 |
| 7 | 51 | 8 |
| 8 | 57 | 8 |
| 9 | 64 | 8 |
| 10 | 73 | 8 |
| 11 | 94 | 8 |
| 12 | 115 | 8 |
| 13 | 132 | 8 |
| 14 | 139 | 8 |
| 15 | 145 | 8 |
| 16 | 148 | 8 |
| done | 148 | 8 |
| 0 | 9 | 23 |
| 1 | 33 | 23 |
| 2 | 111 | 11 |
| 3 | 305 | 9 |
| 4 | 851 | 9 |
| 5 | 3001 | 9 |
| done | 5000 | 9 |
| 0 | 7 | 17 |
| 1 | 13 | 17 |
| 2 | 16 | 17 |
| 3 | 18 | 17 |
| done | 18 | 17 |
| 0 | 6 | 8 |
| 1 | 12 | 8 |
| 2 | 15 | 8 |
| 3 | 17 | 8 |
| done | 17 | 8 |
| 0 | 7 | 23 |
| 1 | 20 | 23 |
| 2 | 51 | 9 |
| 3 | 177 | 9 |
| 4 | 589 | 9 |
| 5 | 1821 | 9 |
| done | 5000 | 9 |
| 0 | 6 | 8 |
| 1 | 12 | 8 |
| 2 | 15 | 8 |
| 3 | 17 | 8 |
| done | 17 | 8 |
| 0 | 6 | 8 |
| 1 | 12 | 8 |
| 2 | 15 | 8 |
| 3 | 17 | 8 |
| done | 17 | 8 |
| 0 | 4 | 4 |
| 1 | 6 | 4 |
| 2 | 10 | 4 |
| 3 | 12 | 4 |
| 4 | 13 | 3 |
| done | 13 | 3 |
| 0 | 4 | 4 |
| 1 | 8 | 4 |
| 2 | 10 | 4 |
| 3 | 11 | 4 |
| done | 11 | 4 |
| 0 | 4 | 5 |
| 1 | 5 | 5 |
| done | 5 | 5 |
| 0 | 4 | 5 |
| 1 | 5 | 5 |
| done | 5 | 5 |
| 0 | 9 | 19 |
| 1 | 18 | 19 |
| 2 | 28 | 19 |
| 3 | 34 | 19 |
| done | 34 | 19 |
| 0 | 7 | 9 |
| 1 | 10 | 9 |
| 2 | 11 | 9 |
| done | 11 | 9 |
| 0 | 8 | 14 |
| 1 | 13 | 14 |
| 2 | 16 | 14 |
| 3 | 17 | 14 |
| done | 17 | 14 |
| 0 | 7 | 9 |
| 1 | 10 | 9 |
| 2 | 11 | 9 |
| done | 11 | 9 |
| 0 | 7 | 11 |
| 1 | 13 | 9 |
| 2 | 20 | 9 |
| 3 | 25 | 9 |
| done | 25 | 9 |
| 0 | 6 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 7 | 11 |
| 1 | 13 | 9 |
| 2 | 20 | 9 |
| 3 | 25 | 9 |
| done | 25 | 9 |
| 0 | 6 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 8 | 14 |
| 1 | 13 | 14 |
| 2 | 14 | 14 |
| done | 14 | 14 |
| 0 | 7 | 9 |
| 1 | 10 | 9 |
| 2 | 11 | 9 |
| done | 11 | 9 |
| 0 | 7 | 9 |
| 1 | 10 | 9 |
| 2 | 11 | 9 |
| done | 11 | 9 |
| 0 | 7 | 9 |
| 1 | 10 | 9 |
| 2 | 11 | 9 |
| done | 11 | 9 |
| 0 | 6 | 6 |
| 1 | 10 | 4 |
| 2 | 13 | 4 |
| done | 13 | 4 |
| 0 | 6 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 6 | 6 |
| 1 | 10 | 4 |
| 2 | 13 | 4 |
| done | 13 | 4 |
| 0 | 6 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 7 | 11 |
| 1 | 12 | 11 |
| done | 12 | 11 |
| 0 | 6 | 8 |
| 1 | 12 | 8 |
| 2 | 15 | 8 |
| 3 | 17 | 8 |
| done | 17 | 8 |
| 0 | 6 | 6 |
| 1 | 9 | 6 |
| done | 9 | 6 |
| 0 | 6 | 8 |
| 1 | 12 | 8 |
| 2 | 15 | 8 |
| 3 | 17 | 8 |
| done | 17 | 8 |
| 0 | 2 | 3 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 5 | 7 |
| 1 | 11 | 7 |
| 2 | 14 | 7 |
| 3 | 16 | 7 |
| done | 16 | 7 |
| 0 | 2 | 3 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 5 | 7 |
| 1 | 11 | 7 |
| 2 | 14 | 7 |
| 3 | 16 | 7 |
| done | 16 | 7 |
| 0 | 9 | 15 |
| 1 | 13 | 15 |
| done | 13 | 15 |
| 0 | 8 | 10 |
| 1 | 14 | 10 |
| 2 | 17 | 10 |
| 3 | 19 | 10 |
| done | 19 | 10 |
| 0 | 8 | 10 |
| 1 | 10 | 10 |
| done | 10 | 10 |
| 0 | 8 | 10 |
| 1 | 14 | 10 |
| 2 | 17 | 10 |
| 3 | 19 | 10 |
| done | 19 | 10 |
| 0 | 7 | 7 |
| 1 | 10 | 5 |
| 2 | 12 | 5 |
| done | 12 | 5 |
| 0 | 7 | 9 |
| 1 | 13 | 9 |
| 2 | 16 | 9 |
| 3 | 18 | 9 |
| done | 18 | 9 |
| 0 | 7 | 7 |
| 1 | 10 | 5 |
| 2 | 12 | 5 |
| done | 12 | 5 |
| 0 | 7 | 9 |
| 1 | 13 | 9 |
| 2 | 16 | 9 |
| 3 | 18 | 9 |
| done | 18 | 9 |
| 0 | 7 | 11 |
| 1 | 12 | 11 |
| done | 12 | 11 |
| 0 | 6 | 8 |
| 1 | 12 | 8 |
| 2 | 15 | 8 |
| 3 | 17 | 8 |
| done | 17 | 8 |
| 0 | 6 | 6 |
| 1 | 9 | 6 |
| done | 9 | 6 |
| 0 | 6 | 8 |
| 1 | 12 | 8 |
| 2 | 15 | 8 |
| 3 | 17 | 8 |
| done | 17 | 8 |
| 0 | 2 | 3 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 5 | 7 |
| 1 | 11 | 7 |
| 2 | 14 | 7 |
| 3 | 16 | 7 |
| done | 16 | 7 |
| 0 | 2 | 3 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 5 | 7 |
| 1 | 11 | 7 |
| 2 | 14 | 7 |
| 3 | 16 | 7 |
| done | 16 | 7 |
| 0 | 5 | 5 |
| 1 | 8 | 5 |
| done | 8 | 5 |
| 0 | 5 | 7 |
| 1 | 8 | 7 |
| 2 | 9 | 7 |
| done | 9 | 7 |
| 0 | 7 | 13 |
| 1 | 15 | 13 |
| 2 | 23 | 13 |
| 3 | 28 | 13 |
| 4 | 31 | 13 |
| done | 31 | 13 |
| 0 | 6 | 8 |
| 1 | 12 | 8 |
| 2 | 15 | 8 |
| 3 | 17 | 8 |
| done | 17 | 8 |
| 0 | 5 | 5 |
| 1 | 12 | 3 |
| 2 | 17 | 3 |
| done | 17 | 3 |
| 0 | 5 | 5 |
| 1 | 12 | 3 |
| 2 | 17 | 3 |
| done | 17 | 3 |
| 0 | 6 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 6 | 8 |
| 1 | 9 | 8 |
| 2 | 10 | 8 |
| done | 10 | 8 |
| 0 | 5 | 7 |
| 1 | 8 | 7 |
| 2 | 9 | 7 |
| done | 9 | 7 |
| 0 | 7 | 9 |
| 1 | 10 | 9 |
| 2 | 11 | 9 |
| done | 11 | 9 |
| 0 | 5 | 7 |
| 1 | 8 | 7 |
| 2 | 9 | 7 |
| done | 9 | 7 |
| 0 | 8 | 11 |
| 1 | 27 | 11 |
| 2 | 39 | 11 |
| 3 | 58 | 11 |
| 4 | 97 | 11 |
| 5 | 211 | 11 |
| 6 | 617 | 11 |
| 7 | 2464 | 11 |
| done | 5000 | 11 |
| 0 | 7 | 11 |
| 1 | 16 | 11 |
| 2 | 36 | 11 |
| 3 | 72 | 11 |
| 4 | 109 | 5 |
| 5 | 164 | 5 |
| 6 | 315 | 5 |
| 7 | 1486 | 5 |
| done | 5001 | 5 |
| 0 | 9 | 15 |
| 1 | 23 | 13 |
| 2 | 73 | 13 |
| 3 | 157 | 13 |
| 4 | 305 | 13 |
| 5 | 587 | 13 |
| 6 | 828 | 13 |
| 7 | 949 | 13 |
| 8 | 1032 | 13 |
| 9 | 1304 | 13 |
| 10 | 2424 | 13 |
| done | 5000 | 13 |
| 0 | 4 | 7 |
| 1 | 11 | 7 |
| 2 | 24 | 7 |
| 3 | 40 | 7 |
| 4 | 59 | 7 |
| 5 | 75 | 7 |
| 6 | 82 | 7 |
| 7 | 84 | 7 |
| done | 84 | 7 |
| 0 | 1 | 1 |
| done | 1 | 1 |
| 0 | 1 | 1 |
| 1 | 3 | 1 |
| done | 3 | 1 |
| 0 | 1 | 1 |
| 1 | 3 | 1 |
| done | 3 | 1 |
| 0 | 1 | 1 |
| done | 1 | 1 |
| 0 | 1 | 1 |
| 1 | 3 | 1 |
| done | 3 | 1 |
| 0 | 1 | 1 |
| 1 | 3 | 1 |
| done | 3 | 1 |
4 alts after pruning (1 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 180 | 0 | 180 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 180 | 4 | 184 |
Merged error: 0b
0% (0.0b remaining)
Error of 0.0b against oracle of 0.0b and baseline of 0.0b
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 8 | 10 |
| 1 | 11 | 10 |
| 2 | 13 | 10 |
| done | 13 | 10 |
| 193.0ms | 8000× | body | 80 | valid |
Loading profile data...