Time bar (total: 8.9min)
| 8.0ms | 349× | body | 80 | valid |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 6 | 7 |
| 1 | 11 | 7 |
| 2 | 14 | 7 |
| done | 14 | 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 2 expressions with local error:
| 0.0b | (- (* (* x x) 2.0) 1.0) |
| 0.0b | (* (* x x) 2.0) |
| 7× | pow1 add-exp-log add-cbrt-cube |
| 4× | add-sqr-sqrt add-log-exp |
| 3× | add-cube-cbrt *-un-lft-identity associate-*r* pow-prod-down prod-exp cbrt-unprod |
| 1× | sub-neg flip3-- diff-log associate-*l* *-commutative flip-- unswap-sqr |
| 6.0ms | (- (* (* x x) 2.0) 1.0) |
| 6.0ms | (* (* x x) 2.0) |
| 6.0ms | (- (* (* x x) 2.0) 1.0) |
| 3.0ms | (* (* x x) 2.0) |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4 | 5 |
| 1 | 7 | 5 |
| 2 | 9 | 5 |
| done | 9 | 5 |
| 0 | 4 | 5 |
| 1 | 7 | 5 |
| 2 | 9 | 5 |
| done | 9 | 5 |
| 0 | 6 | 8 |
| 1 | 11 | 7 |
| 2 | 14 | 7 |
| done | 14 | 7 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 15 | 7 |
| 3 | 16 | 7 |
| done | 16 | 7 |
| 0 | 5 | 6 |
| 1 | 11 | 6 |
| 2 | 18 | 6 |
| 3 | 25 | 6 |
| 4 | 26 | 6 |
| done | 26 | 6 |
| 0 | 5 | 6 |
| 1 | 10 | 6 |
| 2 | 21 | 6 |
| 3 | 37 | 6 |
| 4 | 79 | 6 |
| 5 | 184 | 6 |
| 6 | 449 | 6 |
| 7 | 1203 | 6 |
| 8 | 4669 | 6 |
| done | 5000 | 6 |
| 0 | 8 | 17 |
| 1 | 21 | 17 |
| 2 | 72 | 11 |
| 3 | 213 | 7 |
| 4 | 436 | 7 |
| 5 | 1198 | 7 |
| 6 | 4072 | 7 |
| done | 5000 | 7 |
| 0 | 8 | 17 |
| 1 | 22 | 17 |
| 2 | 74 | 9 |
| 3 | 211 | 7 |
| 4 | 446 | 7 |
| 5 | 1262 | 7 |
| 6 | 4293 | 7 |
| done | 5000 | 7 |
| 0 | 6 | 13 |
| 1 | 9 | 13 |
| 2 | 11 | 13 |
| done | 11 | 13 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 10 | 6 |
| done | 10 | 6 |
| 0 | 6 | 17 |
| 1 | 19 | 17 |
| 2 | 70 | 7 |
| 3 | 230 | 7 |
| 4 | 358 | 7 |
| 5 | 524 | 7 |
| 6 | 1407 | 7 |
| 7 | 4747 | 7 |
| done | 5000 | 7 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 10 | 6 |
| done | 10 | 6 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 10 | 6 |
| done | 10 | 6 |
| 0 | 4 | 4 |
| 1 | 5 | 4 |
| done | 5 | 4 |
| 0 | 4 | 4 |
| 1 | 5 | 4 |
| done | 5 | 4 |
| 0 | 6 | 9 |
| 1 | 13 | 9 |
| 2 | 24 | 9 |
| done | 24 | 9 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 10 | 6 |
| done | 10 | 6 |
| 0 | 4 | 5 |
| 1 | 9 | 3 |
| 2 | 17 | 3 |
| done | 17 | 3 |
| 0 | 3 | 3 |
| 1 | 4 | 3 |
| done | 4 | 3 |
| 0 | 8 | 9 |
| 1 | 15 | 8 |
| 2 | 28 | 8 |
| 3 | 49 | 8 |
| 4 | 110 | 8 |
| 5 | 292 | 8 |
| 6 | 862 | 8 |
| 7 | 3161 | 8 |
| done | 5000 | 8 |
| 0 | 7 | 8 |
| 1 | 12 | 8 |
| 2 | 15 | 8 |
| done | 15 | 8 |
| 0 | 7 | 8 |
| 1 | 15 | 8 |
| 2 | 26 | 8 |
| 3 | 42 | 8 |
| 4 | 93 | 8 |
| 5 | 243 | 8 |
| 6 | 778 | 8 |
| 7 | 2201 | 8 |
| done | 5000 | 8 |
| 0 | 8 | 17 |
| 1 | 13 | 17 |
| 2 | 16 | 17 |
| done | 16 | 17 |
| 0 | 7 | 8 |
| 1 | 12 | 8 |
| 2 | 15 | 8 |
| done | 15 | 8 |
| 0 | 8 | 23 |
| 1 | 14 | 23 |
| 2 | 31 | 9 |
| 3 | 106 | 9 |
| 4 | 410 | 9 |
| 5 | 1326 | 9 |
| 6 | 4024 | 9 |
| done | 5001 | 9 |
| 0 | 7 | 8 |
| 1 | 12 | 8 |
| 2 | 15 | 8 |
| done | 15 | 8 |
| 0 | 7 | 8 |
| 1 | 12 | 8 |
| 2 | 15 | 8 |
| done | 15 | 8 |
| 0 | 9 | 11 |
| 1 | 30 | 11 |
| 2 | 97 | 11 |
| 3 | 306 | 11 |
| 4 | 675 | 11 |
| 5 | 1967 | 11 |
| done | 5000 | 11 |
| 0 | 10 | 23 |
| 1 | 29 | 21 |
| 2 | 76 | 21 |
| 3 | 143 | 17 |
| 4 | 179 | 17 |
| 5 | 219 | 17 |
| 6 | 320 | 17 |
| 7 | 628 | 17 |
| 8 | 1693 | 17 |
| done | 5001 | 17 |
| 0 | 2 | 2 |
| done | 2 | 2 |
| 0 | 8 | 15 |
| 1 | 23 | 15 |
| 2 | 57 | 15 |
| 3 | 110 | 13 |
| 4 | 179 | 11 |
| 5 | 341 | 11 |
| 6 | 581 | 11 |
| 7 | 1232 | 11 |
| 8 | 4177 | 11 |
| done | 5000 | 11 |
| 0 | 6 | 7 |
| 1 | 10 | 7 |
| 2 | 12 | 7 |
| done | 12 | 7 |
| 0 | 2 | 2 |
| done | 2 | 2 |
| 0 | 5 | 5 |
| 1 | 11 | 5 |
| 2 | 27 | 5 |
| 3 | 32 | 5 |
| 4 | 38 | 5 |
| 5 | 48 | 5 |
| 6 | 70 | 5 |
| 7 | 129 | 5 |
| 8 | 346 | 5 |
| 9 | 1272 | 5 |
| done | 5000 | 5 |
| 0 | 5 | 5 |
| 1 | 11 | 5 |
| 2 | 27 | 5 |
| 3 | 32 | 5 |
| 4 | 38 | 5 |
| 5 | 48 | 5 |
| 6 | 70 | 5 |
| 7 | 129 | 5 |
| 8 | 346 | 5 |
| 9 | 1272 | 5 |
| done | 5000 | 5 |
| 0 | 5 | 5 |
| 1 | 11 | 5 |
| 2 | 27 | 5 |
| 3 | 32 | 5 |
| 4 | 38 | 5 |
| 5 | 48 | 5 |
| 6 | 70 | 5 |
| 7 | 129 | 5 |
| 8 | 346 | 5 |
| 9 | 1272 | 5 |
| done | 5000 | 5 |
| 0 | 7 | 7 |
| 1 | 15 | 7 |
| 2 | 32 | 7 |
| 3 | 39 | 7 |
| 4 | 45 | 7 |
| 5 | 55 | 7 |
| 6 | 77 | 7 |
| 7 | 140 | 7 |
| 8 | 352 | 7 |
| 9 | 1280 | 7 |
| done | 5000 | 7 |
| 0 | 7 | 7 |
| 1 | 15 | 7 |
| 2 | 32 | 7 |
| 3 | 39 | 7 |
| 4 | 45 | 7 |
| 5 | 55 | 7 |
| 6 | 77 | 7 |
| 7 | 140 | 7 |
| 8 | 352 | 7 |
| 9 | 1280 | 7 |
| done | 5000 | 7 |
| 0 | 7 | 7 |
| 1 | 15 | 7 |
| 2 | 32 | 7 |
| 3 | 39 | 7 |
| 4 | 45 | 7 |
| 5 | 55 | 7 |
| 6 | 77 | 7 |
| 7 | 140 | 7 |
| 8 | 352 | 7 |
| 9 | 1280 | 7 |
| done | 5000 | 7 |
2 alts after pruning (1 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 36 | 1 | 37 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 36 | 2 | 38 |
Merged error: 0b
Found 4 expressions with local error:
| 0.0b | (* (* x x) 2.0) |
| 0.1b | (* (* (* x x) 2.0) (+ 1.0 (* (* x x) 2.0))) |
| 0.2b | (pow (* (* x x) 2.0) 3) |
| 11.3b | (/ (- (pow (* (* x x) 2.0) 3) (pow 1.0 3)) (+ (* (* (* x x) 2.0) (+ 1.0 (* (* x x) 2.0))) (* 1.0 1.0))) |
| 66× | add-sqr-sqrt |
| 39× | times-frac |
| 33× | *-un-lft-identity |
| 32× | difference-of-squares |
| 26× | add-exp-log add-cbrt-cube |
| 25× | add-cube-cbrt sqr-pow |
| 24× | pow1 |
| 13× | associate-/l* |
| 12× | pow-prod-down prod-exp cbrt-unprod |
| 9× | unpow-prod-down cube-prod |
| 6× | associate-*r* |
| 4× | difference-cubes distribute-lft-out-- add-log-exp |
| 3× | pow-unpow pow-pow pow-exp associate-/r* rem-cube-cbrt |
| 2× | flip3-+ associate-*r/ associate-*l* associate-/r/ *-commutative flip-+ associate-/l/ |
| 1× | cbrt-undiv distribute-rgt-in cube-mult pow-to-exp flip3-- frac-2neg distribute-lft-in unpow3 div-sub div-exp clear-num flip-- div-inv unswap-sqr |
| 7.0ms | (* (* x x) 2.0) |
| 11.0ms | (* (* (* x x) 2.0) (+ 1.0 (* (* x x) 2.0))) |
| 7.0ms | (pow (* (* x x) 2.0) 3) |
| 27.0ms | (/ (- (pow (* (* x x) 2.0) 3) (pow 1.0 3)) (+ (* (* (* x x) 2.0) (+ 1.0 (* (* x x) 2.0))) (* 1.0 1.0))) |
| 3.0ms | (* (* x x) 2.0) |
| 12.0ms | (* (* (* x x) 2.0) (+ 1.0 (* (* x x) 2.0))) |
| 6.0ms | (pow (* (* x x) 2.0) 3) |
| 20.0ms | (/ (- (pow (* (* x x) 2.0) 3) (pow 1.0 3)) (+ (* (* (* x x) 2.0) (+ 1.0 (* (* x x) 2.0))) (* 1.0 1.0))) |
Useful iterations: 1 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 16 | 31 |
| 1 | 47 | 31 |
| 2 | 148 | 31 |
| 3 | 396 | 31 |
| 4 | 782 | 31 |
| 5 | 2107 | 31 |
| done | 5000 | 31 |
| 0 | 15 | 30 |
| 1 | 50 | 30 |
| 2 | 168 | 30 |
| 3 | 521 | 30 |
| 4 | 1361 | 30 |
| 5 | 4363 | 30 |
| done | 5000 | 30 |
| 0 | 15 | 30 |
| 1 | 47 | 30 |
| 2 | 166 | 30 |
| 3 | 520 | 30 |
| 4 | 1360 | 30 |
| 5 | 4366 | 30 |
| done | 5000 | 30 |
| 0 | 18 | 89 |
| 1 | 68 | 89 |
| 2 | 290 | 33 |
| 3 | 1616 | 31 |
| done | 5000 | 31 |
| 0 | 16 | 61 |
| 1 | 48 | 61 |
| 2 | 164 | 61 |
| 3 | 512 | 61 |
| 4 | 1338 | 61 |
| 5 | 4313 | 61 |
| done | 5000 | 61 |
| 0 | 15 | 30 |
| 1 | 47 | 30 |
| 2 | 163 | 30 |
| 3 | 515 | 30 |
| 4 | 1337 | 30 |
| 5 | 4308 | 30 |
| done | 5000 | 30 |
| 0 | 16 | 89 |
| 1 | 55 | 89 |
| 2 | 198 | 31 |
| 3 | 839 | 31 |
| done | 5002 | 31 |
| 0 | 15 | 30 |
| 1 | 47 | 30 |
| 2 | 163 | 30 |
| 3 | 515 | 30 |
| 4 | 1337 | 30 |
| 5 | 4308 | 30 |
| done | 5000 | 30 |
| 0 | 15 | 30 |
| 1 | 47 | 30 |
| 2 | 163 | 30 |
| 3 | 515 | 30 |
| 4 | 1337 | 30 |
| 5 | 4308 | 30 |
| done | 5000 | 30 |
| 0 | 10 | 12 |
| 1 | 31 | 12 |
| 2 | 101 | 12 |
| 3 | 359 | 12 |
| 4 | 1238 | 11 |
| 5 | 4442 | 11 |
| done | 5001 | 11 |
| 0 | 10 | 18 |
| 1 | 26 | 18 |
| 2 | 97 | 18 |
| 3 | 291 | 18 |
| 4 | 652 | 18 |
| 5 | 735 | 18 |
| 6 | 830 | 18 |
| 7 | 1270 | 18 |
| 8 | 3186 | 18 |
| done | 5001 | 18 |
| 0 | 12 | 25 |
| 1 | 35 | 25 |
| 2 | 127 | 25 |
| 3 | 456 | 25 |
| 4 | 1162 | 25 |
| 5 | 3609 | 25 |
| done | 5000 | 25 |
| 0 | 12 | 21 |
| 1 | 32 | 21 |
| 2 | 97 | 21 |
| 3 | 197 | 21 |
| 4 | 267 | 21 |
| 5 | 402 | 21 |
| 6 | 943 | 21 |
| 7 | 3446 | 21 |
| done | 5000 | 21 |
| 0 | 18 | 63 |
| 1 | 53 | 63 |
| 2 | 162 | 63 |
| 3 | 429 | 63 |
| 4 | 798 | 63 |
| 5 | 2098 | 63 |
| done | 5001 | 63 |
| 0 | 16 | 31 |
| 1 | 45 | 31 |
| 2 | 145 | 31 |
| 3 | 381 | 31 |
| 4 | 782 | 31 |
| 5 | 2072 | 31 |
| done | 5000 | 31 |
| 0 | 17 | 44 |
| 1 | 48 | 44 |
| 2 | 150 | 44 |
| 3 | 396 | 44 |
| 4 | 765 | 44 |
| 5 | 2053 | 44 |
| done | 5001 | 44 |
| 0 | 16 | 31 |
| 1 | 45 | 31 |
| 2 | 145 | 31 |
| 3 | 381 | 31 |
| 4 | 782 | 31 |
| 5 | 2072 | 31 |
| done | 5000 | 31 |
| 0 | 13 | 27 |
| 1 | 38 | 25 |
| 2 | 111 | 25 |
| 3 | 308 | 25 |
| 4 | 684 | 25 |
| 5 | 1987 | 25 |
| done | 5000 | 25 |
| 0 | 15 | 30 |
| 1 | 44 | 30 |
| 2 | 144 | 30 |
| 3 | 384 | 30 |
| 4 | 756 | 30 |
| 5 | 2048 | 30 |
| done | 5001 | 30 |
| 0 | 17 | 50 |
| 1 | 48 | 50 |
| 2 | 148 | 50 |
| 3 | 393 | 50 |
| 4 | 787 | 50 |
| 5 | 2091 | 50 |
| done | 5000 | 50 |
| 0 | 16 | 31 |
| 1 | 45 | 31 |
| 2 | 145 | 31 |
| 3 | 381 | 31 |
| 4 | 782 | 31 |
| 5 | 2072 | 31 |
| done | 5000 | 31 |
| 0 | 16 | 31 |
| 1 | 45 | 31 |
| 2 | 145 | 31 |
| 3 | 381 | 31 |
| 4 | 782 | 31 |
| 5 | 2072 | 31 |
| done | 5000 | 31 |
| 0 | 16 | 31 |
| 1 | 45 | 31 |
| 2 | 145 | 31 |
| 3 | 381 | 31 |
| 4 | 782 | 31 |
| 5 | 2072 | 31 |
| done | 5000 | 31 |
| 0 | 12 | 14 |
| 1 | 35 | 12 |
| 2 | 104 | 12 |
| 3 | 309 | 12 |
| 4 | 682 | 12 |
| 5 | 1971 | 12 |
| done | 5000 | 12 |
| 0 | 15 | 30 |
| 1 | 44 | 30 |
| 2 | 144 | 30 |
| 3 | 384 | 30 |
| 4 | 756 | 30 |
| 5 | 2048 | 30 |
| done | 5001 | 30 |
| 0 | 16 | 61 |
| 1 | 42 | 59 |
| 2 | 100 | 55 |
| 3 | 172 | 55 |
| 4 | 193 | 55 |
| 5 | 226 | 55 |
| 6 | 328 | 55 |
| 7 | 630 | 55 |
| 8 | 1689 | 55 |
| done | 5000 | 55 |
| 0 | 12 | 26 |
| 1 | 30 | 26 |
| 2 | 92 | 26 |
| 3 | 189 | 26 |
| 4 | 231 | 26 |
| 5 | 249 | 26 |
| 6 | 282 | 26 |
| 7 | 384 | 26 |
| 8 | 703 | 26 |
| 9 | 1806 | 26 |
| done | 5000 | 26 |
| 0 | 15 | 42 |
| 1 | 39 | 40 |
| 2 | 97 | 36 |
| 3 | 169 | 36 |
| 4 | 186 | 36 |
| 5 | 219 | 36 |
| 6 | 319 | 36 |
| 7 | 620 | 36 |
| 8 | 1680 | 36 |
| done | 5000 | 36 |
| 0 | 12 | 26 |
| 1 | 30 | 26 |
| 2 | 92 | 26 |
| 3 | 189 | 26 |
| 4 | 231 | 26 |
| 5 | 249 | 26 |
| 6 | 282 | 26 |
| 7 | 384 | 26 |
| 8 | 703 | 26 |
| 9 | 1806 | 26 |
| done | 5000 | 26 |
| 0 | 12 | 25 |
| 1 | 33 | 21 |
| 2 | 82 | 21 |
| 3 | 152 | 17 |
| 4 | 185 | 17 |
| 5 | 223 | 17 |
| 6 | 327 | 17 |
| 7 | 634 | 17 |
| 8 | 1701 | 17 |
| done | 5000 | 17 |
| 0 | 11 | 25 |
| 1 | 29 | 25 |
| 2 | 91 | 25 |
| 3 | 194 | 25 |
| 4 | 236 | 25 |
| 5 | 254 | 25 |
| 6 | 287 | 25 |
| 7 | 390 | 25 |
| 8 | 711 | 25 |
| 9 | 1822 | 25 |
| done | 5000 | 25 |
| 0 | 13 | 39 |
| 1 | 30 | 39 |
| 2 | 83 | 39 |
| 3 | 170 | 39 |
| 4 | 193 | 39 |
| 5 | 201 | 39 |
| 6 | 232 | 39 |
| 7 | 337 | 39 |
| 8 | 655 | 39 |
| 9 | 1718 | 39 |
| done | 5000 | 39 |
| 0 | 15 | 30 |
| 1 | 47 | 30 |
| 2 | 163 | 30 |
| 3 | 515 | 30 |
| 4 | 1337 | 30 |
| 5 | 4282 | 30 |
| done | 5000 | 30 |
| 0 | 12 | 20 |
| 1 | 27 | 20 |
| 2 | 80 | 20 |
| 3 | 157 | 20 |
| 4 | 180 | 20 |
| 5 | 188 | 20 |
| 6 | 219 | 20 |
| 7 | 327 | 20 |
| 8 | 637 | 20 |
| 9 | 1711 | 20 |
| done | 5000 | 20 |
| 0 | 15 | 30 |
| 1 | 47 | 30 |
| 2 | 163 | 30 |
| 3 | 515 | 30 |
| 4 | 1337 | 30 |
| 5 | 4282 | 30 |
| done | 5000 | 30 |
| 0 | 2 | 3 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 14 | 29 |
| 1 | 46 | 29 |
| 2 | 162 | 29 |
| 3 | 535 | 29 |
| 4 | 1359 | 29 |
| 5 | 4328 | 29 |
| done | 5000 | 29 |
| 0 | 18 | 51 |
| 1 | 49 | 51 |
| 2 | 137 | 51 |
| 3 | 377 | 51 |
| 4 | 693 | 51 |
| 5 | 1742 | 51 |
| done | 5001 | 51 |
| 0 | 17 | 32 |
| 1 | 50 | 32 |
| 2 | 156 | 32 |
| 3 | 400 | 32 |
| 4 | 813 | 32 |
| 5 | 2095 | 32 |
| done | 5001 | 32 |
| 0 | 17 | 32 |
| 1 | 46 | 32 |
| 2 | 134 | 32 |
| 3 | 353 | 32 |
| 4 | 705 | 32 |
| 5 | 1752 | 32 |
| done | 5000 | 32 |
| 0 | 17 | 32 |
| 1 | 50 | 32 |
| 2 | 156 | 32 |
| 3 | 400 | 32 |
| 4 | 813 | 32 |
| 5 | 2095 | 32 |
| done | 5001 | 32 |
| 0 | 13 | 15 |
| 1 | 35 | 13 |
| 2 | 92 | 13 |
| 3 | 272 | 13 |
| 4 | 601 | 13 |
| 5 | 1684 | 13 |
| done | 5000 | 13 |
| 0 | 16 | 31 |
| 1 | 49 | 31 |
| 2 | 155 | 31 |
| 3 | 404 | 31 |
| 4 | 816 | 31 |
| 5 | 2109 | 31 |
| done | 5000 | 31 |
| 0 | 18 | 51 |
| 1 | 49 | 51 |
| 2 | 137 | 51 |
| 3 | 377 | 51 |
| 4 | 693 | 51 |
| 5 | 1742 | 51 |
| done | 5001 | 51 |
| 0 | 17 | 32 |
| 1 | 50 | 32 |
| 2 | 156 | 32 |
| 3 | 400 | 32 |
| 4 | 813 | 32 |
| 5 | 2095 | 32 |
| done | 5001 | 32 |
| 0 | 17 | 32 |
| 1 | 46 | 32 |
| 2 | 134 | 32 |
| 3 | 353 | 32 |
| 4 | 705 | 32 |
| 5 | 1752 | 32 |
| done | 5000 | 32 |
| 0 | 17 | 32 |
| 1 | 50 | 32 |
| 2 | 156 | 32 |
| 3 | 400 | 32 |
| 4 | 813 | 32 |
| 5 | 2095 | 32 |
| done | 5001 | 32 |
| 0 | 13 | 15 |
| 1 | 35 | 13 |
| 2 | 92 | 13 |
| 3 | 272 | 13 |
| 4 | 601 | 13 |
| 5 | 1684 | 13 |
| done | 5000 | 13 |
| 0 | 16 | 31 |
| 1 | 49 | 31 |
| 2 | 155 | 31 |
| 3 | 404 | 31 |
| 4 | 816 | 31 |
| 5 | 2109 | 31 |
| done | 5000 | 31 |
| 0 | 18 | 51 |
| 1 | 48 | 51 |
| 2 | 137 | 51 |
| 3 | 377 | 51 |
| 4 | 707 | 51 |
| 5 | 1766 | 51 |
| done | 5000 | 51 |
| 0 | 17 | 32 |
| 1 | 49 | 32 |
| 2 | 141 | 32 |
| 3 | 371 | 32 |
| 4 | 694 | 32 |
| 5 | 1769 | 32 |
| done | 5000 | 32 |
| 0 | 17 | 32 |
| 1 | 45 | 32 |
| 2 | 134 | 32 |
| 3 | 357 | 32 |
| 4 | 704 | 32 |
| 5 | 1783 | 32 |
| done | 5000 | 32 |
| 0 | 17 | 32 |
| 1 | 49 | 32 |
| 2 | 141 | 32 |
| 3 | 371 | 32 |
| 4 | 694 | 32 |
| 5 | 1769 | 32 |
| done | 5000 | 32 |
| 0 | 13 | 15 |
| 1 | 35 | 13 |
| 2 | 93 | 13 |
| 3 | 269 | 13 |
| 4 | 602 | 13 |
| 5 | 1685 | 13 |
| done | 5000 | 13 |
| 0 | 16 | 31 |
| 1 | 48 | 31 |
| 2 | 140 | 31 |
| 3 | 360 | 31 |
| 4 | 715 | 31 |
| 5 | 1784 | 31 |
| done | 5000 | 31 |
| 0 | 19 | 52 |
| 1 | 46 | 50 |
| 2 | 135 | 50 |
| 3 | 365 | 50 |
| 4 | 699 | 50 |
| 5 | 1775 | 50 |
| done | 5000 | 50 |
| 0 | 18 | 33 |
| 1 | 47 | 31 |
| 2 | 144 | 31 |
| 3 | 390 | 31 |
| 4 | 779 | 31 |
| 5 | 2081 | 31 |
| done | 5000 | 31 |
| 0 | 18 | 33 |
| 1 | 43 | 31 |
| 2 | 133 | 31 |
| 3 | 363 | 31 |
| 4 | 704 | 31 |
| 5 | 1778 | 31 |
| done | 5000 | 31 |
| 0 | 18 | 33 |
| 1 | 47 | 31 |
| 2 | 144 | 31 |
| 3 | 390 | 31 |
| 4 | 779 | 31 |
| 5 | 2081 | 31 |
| done | 5000 | 31 |
| 0 | 14 | 16 |
| 1 | 32 | 12 |
| 2 | 91 | 12 |
| 3 | 281 | 12 |
| 4 | 615 | 12 |
| 5 | 1661 | 12 |
| done | 5000 | 12 |
| 0 | 17 | 32 |
| 1 | 46 | 30 |
| 2 | 143 | 30 |
| 3 | 385 | 30 |
| 4 | 756 | 30 |
| 5 | 2072 | 30 |
| done | 5000 | 30 |
| 0 | 19 | 52 |
| 1 | 45 | 50 |
| 2 | 108 | 50 |
| 3 | 212 | 50 |
| 4 | 272 | 50 |
| 5 | 388 | 50 |
| 6 | 824 | 50 |
| 7 | 2755 | 50 |
| done | 5000 | 50 |
| 0 | 18 | 33 |
| 1 | 46 | 31 |
| 2 | 132 | 31 |
| 3 | 261 | 31 |
| 4 | 447 | 31 |
| 5 | 1037 | 31 |
| 6 | 4055 | 31 |
| done | 5000 | 31 |
| 0 | 18 | 33 |
| 1 | 42 | 31 |
| 2 | 105 | 31 |
| 3 | 202 | 31 |
| 4 | 260 | 31 |
| 5 | 374 | 31 |
| 6 | 821 | 31 |
| 7 | 2739 | 31 |
| done | 5000 | 31 |
| 0 | 18 | 33 |
| 1 | 46 | 31 |
| 2 | 132 | 31 |
| 3 | 261 | 31 |
| 4 | 447 | 31 |
| 5 | 1037 | 31 |
| 6 | 4055 | 31 |
| done | 5000 | 31 |
| 0 | 14 | 16 |
| 1 | 30 | 12 |
| 2 | 44 | 12 |
| 3 | 60 | 12 |
| 4 | 100 | 12 |
| 5 | 213 | 12 |
| 6 | 621 | 12 |
| 7 | 2471 | 12 |
| done | 5001 | 12 |
| 0 | 17 | 32 |
| 1 | 45 | 30 |
| 2 | 131 | 30 |
| 3 | 263 | 30 |
| 4 | 446 | 30 |
| 5 | 1042 | 30 |
| 6 | 4058 | 30 |
| done | 5000 | 30 |
| 0 | 19 | 52 |
| 1 | 45 | 50 |
| 2 | 108 | 50 |
| 3 | 212 | 50 |
| 4 | 272 | 50 |
| 5 | 388 | 50 |
| 6 | 824 | 50 |
| 7 | 2755 | 50 |
| done | 5000 | 50 |
| 0 | 18 | 33 |
| 1 | 46 | 31 |
| 2 | 132 | 31 |
| 3 | 261 | 31 |
| 4 | 447 | 31 |
| 5 | 1037 | 31 |
| 6 | 4055 | 31 |
| done | 5000 | 31 |
| 0 | 18 | 33 |
| 1 | 42 | 31 |
| 2 | 105 | 31 |
| 3 | 202 | 31 |
| 4 | 260 | 31 |
| 5 | 374 | 31 |
| 6 | 821 | 31 |
| 7 | 2739 | 31 |
| done | 5000 | 31 |
| 0 | 18 | 33 |
| 1 | 46 | 31 |
| 2 | 132 | 31 |
| 3 | 261 | 31 |
| 4 | 447 | 31 |
| 5 | 1037 | 31 |
| 6 | 4055 | 31 |
| done | 5000 | 31 |
| 0 | 14 | 16 |
| 1 | 30 | 12 |
| 2 | 44 | 12 |
| 3 | 60 | 12 |
| 4 | 100 | 12 |
| 5 | 213 | 12 |
| 6 | 621 | 12 |
| 7 | 2471 | 12 |
| done | 5001 | 12 |
| 0 | 17 | 32 |
| 1 | 45 | 30 |
| 2 | 131 | 30 |
| 3 | 263 | 30 |
| 4 | 446 | 30 |
| 5 | 1042 | 30 |
| 6 | 4058 | 30 |
| done | 5000 | 30 |
| 0 | 19 | 52 |
| 1 | 44 | 50 |
| 2 | 108 | 50 |
| 3 | 210 | 50 |
| 4 | 274 | 50 |
| 5 | 392 | 50 |
| 6 | 829 | 50 |
| 7 | 2745 | 50 |
| done | 5000 | 50 |
| 0 | 18 | 33 |
| 1 | 45 | 31 |
| 2 | 114 | 31 |
| 3 | 217 | 31 |
| 4 | 297 | 31 |
| 5 | 491 | 31 |
| 6 | 1223 | 31 |
| 7 | 4616 | 31 |
| done | 5000 | 31 |
| 0 | 18 | 33 |
| 1 | 41 | 31 |
| 2 | 105 | 31 |
| 3 | 205 | 31 |
| 4 | 266 | 31 |
| 5 | 392 | 31 |
| 6 | 833 | 31 |
| 7 | 2759 | 31 |
| done | 5000 | 31 |
| 0 | 18 | 33 |
| 1 | 45 | 31 |
| 2 | 114 | 31 |
| 3 | 217 | 31 |
| 4 | 297 | 31 |
| 5 | 491 | 31 |
| 6 | 1223 | 31 |
| 7 | 4616 | 31 |
| done | 5000 | 31 |
| 0 | 14 | 16 |
| 1 | 30 | 12 |
| 2 | 45 | 12 |
| 3 | 61 | 12 |
| 4 | 99 | 12 |
| 5 | 216 | 12 |
| 6 | 619 | 12 |
| 7 | 2469 | 12 |
| done | 5000 | 12 |
| 0 | 17 | 32 |
| 1 | 44 | 30 |
| 2 | 113 | 30 |
| 3 | 218 | 30 |
| 4 | 297 | 30 |
| 5 | 489 | 30 |
| 6 | 1229 | 30 |
| 7 | 4611 | 30 |
| done | 5000 | 30 |
| 0 | 18 | 53 |
| 1 | 41 | 49 |
| 2 | 103 | 49 |
| 3 | 209 | 49 |
| 4 | 274 | 49 |
| 5 | 395 | 49 |
| 6 | 837 | 49 |
| 7 | 2796 | 49 |
| done | 5000 | 49 |
| 0 | 17 | 34 |
| 1 | 42 | 30 |
| 2 | 117 | 30 |
| 3 | 241 | 30 |
| 4 | 407 | 30 |
| 5 | 996 | 30 |
| 6 | 4048 | 30 |
| done | 5000 | 30 |
| 0 | 17 | 34 |
| 1 | 38 | 30 |
| 2 | 100 | 30 |
| 3 | 190 | 30 |
| 4 | 250 | 30 |
| 5 | 377 | 30 |
| 6 | 828 | 30 |
| 7 | 2747 | 30 |
| done | 5001 | 30 |
| 0 | 17 | 34 |
| 1 | 42 | 30 |
| 2 | 117 | 30 |
| 3 | 241 | 30 |
| 4 | 407 | 30 |
| 5 | 996 | 30 |
| 6 | 4048 | 30 |
| done | 5000 | 30 |
| 0 | 13 | 17 |
| 1 | 26 | 11 |
| 2 | 39 | 11 |
| 3 | 56 | 11 |
| 4 | 95 | 11 |
| 5 | 216 | 11 |
| 6 | 634 | 11 |
| 7 | 2455 | 11 |
| done | 5001 | 11 |
| 0 | 16 | 33 |
| 1 | 41 | 29 |
| 2 | 116 | 29 |
| 3 | 237 | 29 |
| 4 | 410 | 29 |
| 5 | 1005 | 29 |
| 6 | 4050 | 29 |
| done | 5000 | 29 |
| 0 | 13 | 39 |
| 1 | 30 | 39 |
| 2 | 83 | 39 |
| 3 | 170 | 39 |
| 4 | 193 | 39 |
| 5 | 201 | 39 |
| 6 | 232 | 39 |
| 7 | 337 | 39 |
| 8 | 655 | 39 |
| 9 | 1718 | 39 |
| done | 5000 | 39 |
| 0 | 15 | 30 |
| 1 | 47 | 30 |
| 2 | 163 | 30 |
| 3 | 515 | 30 |
| 4 | 1337 | 30 |
| 5 | 4282 | 30 |
| done | 5000 | 30 |
| 0 | 12 | 20 |
| 1 | 27 | 20 |
| 2 | 80 | 20 |
| 3 | 157 | 20 |
| 4 | 180 | 20 |
| 5 | 188 | 20 |
| 6 | 219 | 20 |
| 7 | 327 | 20 |
| 8 | 637 | 20 |
| 9 | 1711 | 20 |
| done | 5000 | 20 |
| 0 | 15 | 30 |
| 1 | 47 | 30 |
| 2 | 163 | 30 |
| 3 | 515 | 30 |
| 4 | 1337 | 30 |
| 5 | 4282 | 30 |
| done | 5000 | 30 |
| 0 | 2 | 3 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 14 | 29 |
| 1 | 46 | 29 |
| 2 | 162 | 29 |
| 3 | 535 | 29 |
| 4 | 1359 | 29 |
| 5 | 4328 | 29 |
| done | 5000 | 29 |
| 0 | 11 | 19 |
| 1 | 26 | 19 |
| 2 | 79 | 19 |
| 3 | 157 | 19 |
| 4 | 183 | 19 |
| 5 | 191 | 19 |
| 6 | 222 | 19 |
| 7 | 326 | 19 |
| 8 | 635 | 19 |
| 9 | 1699 | 19 |
| done | 5000 | 19 |
| 0 | 14 | 29 |
| 1 | 43 | 29 |
| 2 | 143 | 29 |
| 3 | 395 | 29 |
| 4 | 773 | 29 |
| 5 | 2110 | 29 |
| done | 5000 | 29 |
| 0 | 16 | 49 |
| 1 | 50 | 49 |
| 2 | 186 | 49 |
| 3 | 694 | 49 |
| 4 | 2762 | 49 |
| done | 5000 | 49 |
| 0 | 15 | 30 |
| 1 | 47 | 30 |
| 2 | 163 | 30 |
| 3 | 515 | 30 |
| 4 | 1337 | 30 |
| 5 | 4282 | 30 |
| done | 5000 | 30 |
| 0 | 11 | 13 |
| 1 | 37 | 11 |
| 2 | 122 | 11 |
| 3 | 440 | 11 |
| 4 | 1482 | 11 |
| done | 5001 | 11 |
| 0 | 15 | 30 |
| 1 | 44 | 30 |
| 2 | 144 | 30 |
| 3 | 381 | 30 |
| 4 | 762 | 30 |
| 5 | 2039 | 30 |
| done | 5000 | 30 |
| 0 | 15 | 30 |
| 1 | 44 | 30 |
| 2 | 144 | 30 |
| 3 | 381 | 30 |
| 4 | 762 | 30 |
| 5 | 2039 | 30 |
| done | 5000 | 30 |
| 0 | 11 | 25 |
| 1 | 26 | 25 |
| 2 | 80 | 25 |
| 3 | 166 | 25 |
| 4 | 193 | 25 |
| 5 | 202 | 25 |
| 6 | 235 | 25 |
| 7 | 340 | 25 |
| 8 | 652 | 25 |
| 9 | 1733 | 25 |
| done | 5001 | 25 |
| 0 | 14 | 29 |
| 1 | 43 | 29 |
| 2 | 143 | 29 |
| 3 | 395 | 29 |
| 4 | 773 | 29 |
| 5 | 2110 | 29 |
| done | 5000 | 29 |
| 0 | 16 | 31 |
| 1 | 46 | 31 |
| 2 | 144 | 31 |
| 3 | 373 | 31 |
| 4 | 723 | 31 |
| 5 | 1852 | 31 |
| done | 5000 | 31 |
| 0 | 16 | 31 |
| 1 | 46 | 31 |
| 2 | 144 | 31 |
| 3 | 373 | 31 |
| 4 | 723 | 31 |
| 5 | 1852 | 31 |
| done | 5000 | 31 |
| 0 | 16 | 31 |
| 1 | 45 | 31 |
| 2 | 135 | 31 |
| 3 | 357 | 31 |
| 4 | 680 | 31 |
| 5 | 1733 | 31 |
| done | 5001 | 31 |
| 0 | 17 | 32 |
| 1 | 44 | 30 |
| 2 | 137 | 30 |
| 3 | 362 | 30 |
| 4 | 699 | 30 |
| 5 | 1847 | 30 |
| done | 5000 | 30 |
| 0 | 17 | 32 |
| 1 | 42 | 30 |
| 2 | 118 | 30 |
| 3 | 228 | 30 |
| 4 | 335 | 30 |
| 5 | 683 | 30 |
| 6 | 2494 | 30 |
| done | 5000 | 30 |
| 0 | 17 | 32 |
| 1 | 42 | 30 |
| 2 | 118 | 30 |
| 3 | 228 | 30 |
| 4 | 335 | 30 |
| 5 | 683 | 30 |
| 6 | 2494 | 30 |
| done | 5000 | 30 |
| 0 | 17 | 32 |
| 1 | 41 | 30 |
| 2 | 106 | 30 |
| 3 | 201 | 30 |
| 4 | 262 | 30 |
| 5 | 379 | 30 |
| 6 | 806 | 30 |
| 7 | 2752 | 30 |
| done | 5001 | 30 |
| 0 | 16 | 33 |
| 1 | 37 | 29 |
| 2 | 106 | 29 |
| 3 | 222 | 29 |
| 4 | 333 | 29 |
| 5 | 670 | 29 |
| 6 | 2503 | 29 |
| done | 5000 | 29 |
| 0 | 14 | 29 |
| 1 | 43 | 29 |
| 2 | 143 | 29 |
| 3 | 395 | 29 |
| 4 | 773 | 29 |
| 5 | 2110 | 29 |
| done | 5000 | 29 |
| 0 | 16 | 33 |
| 1 | 61 | 33 |
| 2 | 252 | 31 |
| 3 | 1368 | 31 |
| done | 5001 | 31 |
| 0 | 16 | 47 |
| 1 | 60 | 45 |
| 2 | 276 | 43 |
| 3 | 1407 | 41 |
| done | 5000 | 41 |
| 0 | 18 | 53 |
| 1 | 63 | 41 |
| 2 | 283 | 41 |
| 3 | 1987 | 41 |
| done | 5000 | 41 |
| 0 | 14 | 29 |
| 1 | 49 | 29 |
| 2 | 189 | 29 |
| 3 | 986 | 29 |
| done | 5000 | 29 |
| 0 | 8 | 10 |
| 1 | 14 | 9 |
| 2 | 31 | 9 |
| 3 | 42 | 9 |
| 4 | 44 | 9 |
| done | 44 | 9 |
| 0 | 8 | 9 |
| 1 | 12 | 9 |
| 2 | 26 | 9 |
| 3 | 43 | 9 |
| 4 | 53 | 9 |
| done | 53 | 9 |
| 0 | 7 | 8 |
| 1 | 14 | 8 |
| 2 | 27 | 8 |
| 3 | 43 | 8 |
| 4 | 55 | 8 |
| 5 | 59 | 8 |
| done | 59 | 8 |
| 0 | 7 | 8 |
| 1 | 14 | 8 |
| 2 | 27 | 8 |
| 3 | 43 | 8 |
| 4 | 55 | 8 |
| 5 | 59 | 8 |
| done | 59 | 8 |
| 0 | 3 | 3 |
| 1 | 6 | 1 |
| done | 6 | 1 |
| 0 | 3 | 3 |
| 1 | 6 | 1 |
| done | 6 | 1 |
| 0 | 3 | 3 |
| 1 | 6 | 1 |
| done | 6 | 1 |
| 0 | 8 | 11 |
| 1 | 15 | 11 |
| 2 | 24 | 11 |
| 3 | 48 | 11 |
| 4 | 104 | 11 |
| 5 | 261 | 11 |
| 6 | 876 | 11 |
| 7 | 3310 | 11 |
| done | 5000 | 11 |
| 0 | 7 | 8 |
| 1 | 14 | 8 |
| 2 | 21 | 8 |
| 3 | 39 | 8 |
| 4 | 78 | 8 |
| 5 | 183 | 8 |
| 6 | 557 | 8 |
| 7 | 2177 | 8 |
| done | 5001 | 8 |
| 0 | 6 | 7 |
| 1 | 16 | 5 |
| 2 | 25 | 5 |
| 3 | 36 | 5 |
| 4 | 60 | 5 |
| 5 | 122 | 5 |
| 6 | 332 | 5 |
| 7 | 1262 | 5 |
| done | 5000 | 5 |
| 0 | 4 | 5 |
| 1 | 14 | 5 |
| 2 | 35 | 3 |
| 3 | 68 | 3 |
| 4 | 143 | 3 |
| 5 | 359 | 3 |
| 6 | 1179 | 3 |
| done | 5001 | 3 |
| 0 | 3 | 3 |
| 1 | 11 | 3 |
| 2 | 17 | 3 |
| 3 | 27 | 3 |
| 4 | 50 | 3 |
| 5 | 113 | 3 |
| 6 | 327 | 3 |
| 7 | 1246 | 3 |
| done | 5000 | 3 |
| 0 | 5 | 11 |
| 1 | 15 | 11 |
| 2 | 42 | 11 |
| 3 | 83 | 9 |
| 4 | 98 | 7 |
| 5 | 131 | 7 |
| 6 | 233 | 7 |
| 7 | 517 | 7 |
| 8 | 1507 | 7 |
| done | 5000 | 7 |
| 0 | 7 | 8 |
| 1 | 23 | 8 |
| 2 | 90 | 8 |
| 3 | 331 | 8 |
| 4 | 905 | 8 |
| 5 | 2490 | 8 |
| done | 5000 | 8 |
| 0 | 7 | 8 |
| 1 | 21 | 8 |
| 2 | 80 | 8 |
| 3 | 305 | 8 |
| 4 | 844 | 8 |
| 5 | 2835 | 8 |
| done | 5000 | 8 |
| 0 | 8 | 17 |
| 1 | 21 | 11 |
| 2 | 72 | 11 |
| 3 | 252 | 9 |
| 4 | 552 | 7 |
| 5 | 1557 | 7 |
| done | 5000 | 7 |
| 0 | 7 | 8 |
| 1 | 21 | 5 |
| 2 | 72 | 5 |
| 3 | 243 | 5 |
| 4 | 565 | 5 |
| 5 | 1558 | 5 |
| done | 5000 | 5 |
| 0 | 8 | 23 |
| 1 | 26 | 15 |
| 2 | 121 | 9 |
| 3 | 1016 | 9 |
| done | 5001 | 9 |
| 0 | 4 | 5 |
| 1 | 14 | 5 |
| 2 | 35 | 3 |
| 3 | 68 | 3 |
| 4 | 143 | 3 |
| 5 | 359 | 3 |
| 6 | 1179 | 3 |
| done | 5001 | 3 |
| 0 | 3 | 3 |
| 1 | 11 | 3 |
| 2 | 17 | 3 |
| 3 | 27 | 3 |
| 4 | 50 | 3 |
| 5 | 113 | 3 |
| 6 | 327 | 3 |
| 7 | 1246 | 3 |
| done | 5000 | 3 |
| 0 | 5 | 11 |
| 1 | 15 | 11 |
| 2 | 42 | 11 |
| 3 | 83 | 9 |
| 4 | 98 | 7 |
| 5 | 131 | 7 |
| 6 | 233 | 7 |
| 7 | 517 | 7 |
| 8 | 1507 | 7 |
| done | 5000 | 7 |
| 0 | 7 | 8 |
| 1 | 21 | 8 |
| 2 | 73 | 8 |
| 3 | 244 | 8 |
| 4 | 565 | 8 |
| 5 | 1587 | 8 |
| done | 5000 | 8 |
| 0 | 7 | 8 |
| 1 | 21 | 8 |
| 2 | 73 | 8 |
| 3 | 244 | 8 |
| 4 | 565 | 8 |
| 5 | 1587 | 8 |
| done | 5000 | 8 |
| 0 | 8 | 9 |
| 1 | 16 | 7 |
| 2 | 24 | 7 |
| 3 | 34 | 7 |
| 4 | 55 | 7 |
| 5 | 119 | 7 |
| 6 | 331 | 7 |
| 7 | 1270 | 7 |
| done | 5000 | 7 |
| 0 | 8 | 9 |
| 1 | 16 | 7 |
| 2 | 24 | 7 |
| 3 | 34 | 7 |
| 4 | 55 | 7 |
| 5 | 119 | 7 |
| 6 | 331 | 7 |
| 7 | 1270 | 7 |
| done | 5000 | 7 |
| 0 | 7 | 13 |
| 1 | 19 | 13 |
| 2 | 68 | 13 |
| 3 | 148 | 13 |
| 4 | 171 | 13 |
| 5 | 180 | 13 |
| 6 | 213 | 13 |
| 7 | 316 | 13 |
| 8 | 620 | 13 |
| 9 | 1682 | 13 |
| done | 5000 | 13 |
| 0 | 7 | 13 |
| 1 | 19 | 13 |
| 2 | 68 | 13 |
| 3 | 148 | 13 |
| 4 | 171 | 13 |
| 5 | 180 | 13 |
| 6 | 213 | 13 |
| 7 | 316 | 13 |
| 8 | 620 | 13 |
| 9 | 1682 | 13 |
| done | 5000 | 13 |
| 0 | 7 | 13 |
| 1 | 19 | 13 |
| 2 | 68 | 13 |
| 3 | 148 | 13 |
| 4 | 171 | 13 |
| 5 | 180 | 13 |
| 6 | 213 | 13 |
| 7 | 316 | 13 |
| 8 | 620 | 13 |
| 9 | 1682 | 13 |
| done | 5000 | 13 |
| 0 | 12 | 17 |
| 1 | 24 | 16 |
| 2 | 41 | 16 |
| 3 | 51 | 16 |
| done | 51 | 16 |
| 0 | 11 | 16 |
| 1 | 21 | 16 |
| 2 | 37 | 16 |
| 3 | 53 | 16 |
| 4 | 54 | 16 |
| done | 54 | 16 |
| 0 | 9 | 15 |
| 1 | 17 | 15 |
| 2 | 28 | 15 |
| 3 | 46 | 15 |
| 4 | 57 | 15 |
| done | 57 | 15 |
| 0 | 8 | 14 |
| 1 | 23 | 14 |
| 2 | 82 | 14 |
| 3 | 187 | 14 |
| 4 | 235 | 14 |
| 5 | 244 | 14 |
| 6 | 277 | 14 |
| 7 | 379 | 14 |
| 8 | 685 | 14 |
| 9 | 1781 | 14 |
| done | 5001 | 14 |
| 0 | 8 | 14 |
| 1 | 22 | 14 |
| 2 | 87 | 14 |
| 3 | 229 | 14 |
| 4 | 435 | 14 |
| 5 | 1286 | 14 |
| 6 | 4895 | 14 |
| done | 5000 | 14 |
| 0 | 14 | 41 |
| 1 | 49 | 41 |
| 2 | 225 | 21 |
| 3 | 1419 | 17 |
| done | 5000 | 17 |
| 0 | 14 | 41 |
| 1 | 50 | 41 |
| 2 | 225 | 19 |
| 3 | 1419 | 17 |
| done | 5000 | 17 |
| 0 | 11 | 41 |
| 1 | 43 | 41 |
| 2 | 210 | 17 |
| 3 | 1292 | 17 |
| done | 5001 | 17 |
| 0 | 9 | 29 |
| 1 | 21 | 29 |
| 2 | 70 | 29 |
| 3 | 155 | 29 |
| 4 | 178 | 29 |
| 5 | 187 | 29 |
| 6 | 220 | 29 |
| 7 | 324 | 29 |
| 8 | 633 | 29 |
| 9 | 1704 | 29 |
| done | 5000 | 29 |
| 0 | 8 | 14 |
| 1 | 20 | 14 |
| 2 | 69 | 14 |
| 3 | 149 | 14 |
| 4 | 173 | 14 |
| 5 | 182 | 14 |
| 6 | 215 | 14 |
| 7 | 317 | 14 |
| 8 | 619 | 14 |
| 9 | 1681 | 14 |
| done | 5000 | 14 |
| 0 | 9 | 41 |
| 1 | 30 | 41 |
| 2 | 174 | 15 |
| 3 | 1192 | 15 |
| done | 5000 | 15 |
| 0 | 8 | 14 |
| 1 | 20 | 14 |
| 2 | 69 | 14 |
| 3 | 149 | 14 |
| 4 | 173 | 14 |
| 5 | 182 | 14 |
| 6 | 215 | 14 |
| 7 | 317 | 14 |
| 8 | 619 | 14 |
| 9 | 1681 | 14 |
| done | 5000 | 14 |
| 0 | 8 | 14 |
| 1 | 20 | 14 |
| 2 | 69 | 14 |
| 3 | 149 | 14 |
| 4 | 173 | 14 |
| 5 | 182 | 14 |
| 6 | 215 | 14 |
| 7 | 317 | 14 |
| 8 | 619 | 14 |
| 9 | 1681 | 14 |
| done | 5000 | 14 |
| 0 | 6 | 7 |
| 1 | 12 | 7 |
| 2 | 26 | 7 |
| 3 | 37 | 7 |
| done | 37 | 7 |
| 0 | 5 | 11 |
| 1 | 15 | 11 |
| 2 | 42 | 11 |
| 3 | 83 | 9 |
| 4 | 98 | 7 |
| 5 | 131 | 7 |
| 6 | 233 | 7 |
| 7 | 517 | 7 |
| 8 | 1507 | 7 |
| done | 5000 | 7 |
| 0 | 6 | 7 |
| 1 | 12 | 7 |
| 2 | 25 | 7 |
| 3 | 39 | 7 |
| 4 | 41 | 7 |
| done | 41 | 7 |
| 0 | 5 | 11 |
| 1 | 15 | 11 |
| 2 | 42 | 11 |
| 3 | 83 | 9 |
| 4 | 98 | 7 |
| 5 | 131 | 7 |
| 6 | 233 | 7 |
| 7 | 517 | 7 |
| 8 | 1507 | 7 |
| done | 5000 | 7 |
| 0 | 9 | 23 |
| 1 | 18 | 23 |
| 2 | 41 | 23 |
| 3 | 78 | 23 |
| 4 | 89 | 23 |
| done | 89 | 23 |
| 0 | 8 | 14 |
| 1 | 15 | 14 |
| 2 | 29 | 14 |
| 3 | 43 | 14 |
| done | 43 | 14 |
| 0 | 6 | 7 |
| 1 | 14 | 5 |
| 2 | 34 | 5 |
| 3 | 55 | 5 |
| done | 55 | 5 |
| 0 | 7 | 9 |
| 1 | 18 | 9 |
| 2 | 27 | 9 |
| 3 | 33 | 9 |
| 4 | 34 | 9 |
| done | 34 | 9 |
| 0 | 10 | 17 |
| 1 | 39 | 17 |
| 2 | 159 | 17 |
| 3 | 680 | 17 |
| 4 | 1958 | 17 |
| done | 5001 | 17 |
| 0 | 9 | 21 |
| 1 | 27 | 21 |
| 2 | 103 | 21 |
| 3 | 418 | 19 |
| 4 | 1484 | 17 |
| 5 | 2963 | 17 |
| done | 5000 | 17 |
| 0 | 4 | 5 |
| 1 | 7 | 5 |
| 2 | 9 | 5 |
| done | 9 | 5 |
| 0 | 4 | 5 |
| 1 | 7 | 5 |
| 2 | 9 | 5 |
| done | 9 | 5 |
| 0 | 6 | 8 |
| 1 | 11 | 7 |
| 2 | 14 | 7 |
| done | 14 | 7 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 15 | 7 |
| 3 | 16 | 7 |
| done | 16 | 7 |
| 0 | 5 | 6 |
| 1 | 11 | 6 |
| 2 | 18 | 6 |
| 3 | 25 | 6 |
| 4 | 26 | 6 |
| done | 26 | 6 |
| 0 | 5 | 6 |
| 1 | 10 | 6 |
| 2 | 21 | 6 |
| 3 | 37 | 6 |
| 4 | 79 | 6 |
| 5 | 184 | 6 |
| 6 | 449 | 6 |
| 7 | 1203 | 6 |
| 8 | 4669 | 6 |
| done | 5000 | 6 |
| 0 | 8 | 17 |
| 1 | 21 | 17 |
| 2 | 72 | 11 |
| 3 | 213 | 7 |
| 4 | 436 | 7 |
| 5 | 1198 | 7 |
| 6 | 4072 | 7 |
| done | 5000 | 7 |
| 0 | 8 | 17 |
| 1 | 22 | 17 |
| 2 | 74 | 9 |
| 3 | 211 | 7 |
| 4 | 446 | 7 |
| 5 | 1262 | 7 |
| 6 | 4293 | 7 |
| done | 5000 | 7 |
| 0 | 6 | 13 |
| 1 | 9 | 13 |
| 2 | 11 | 13 |
| done | 11 | 13 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 10 | 6 |
| done | 10 | 6 |
| 0 | 6 | 17 |
| 1 | 19 | 17 |
| 2 | 70 | 7 |
| 3 | 230 | 7 |
| 4 | 358 | 7 |
| 5 | 524 | 7 |
| 6 | 1407 | 7 |
| 7 | 4747 | 7 |
| done | 5000 | 7 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 10 | 6 |
| done | 10 | 6 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 10 | 6 |
| done | 10 | 6 |
| 0 | 4 | 4 |
| 1 | 5 | 4 |
| done | 5 | 4 |
| 0 | 4 | 4 |
| 1 | 5 | 4 |
| done | 5 | 4 |
| 0 | 6 | 9 |
| 1 | 13 | 9 |
| 2 | 24 | 9 |
| done | 24 | 9 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 10 | 6 |
| done | 10 | 6 |
| 0 | 4 | 5 |
| 1 | 9 | 3 |
| 2 | 17 | 3 |
| done | 17 | 3 |
| 0 | 3 | 3 |
| 1 | 4 | 3 |
| done | 4 | 3 |
| 0 | 7 | 7 |
| 1 | 15 | 7 |
| 2 | 32 | 7 |
| 3 | 39 | 7 |
| 4 | 45 | 7 |
| 5 | 55 | 7 |
| 6 | 77 | 7 |
| 7 | 140 | 7 |
| 8 | 352 | 7 |
| 9 | 1280 | 7 |
| done | 5000 | 7 |
| 0 | 7 | 7 |
| 1 | 15 | 7 |
| 2 | 32 | 7 |
| 3 | 39 | 7 |
| 4 | 45 | 7 |
| 5 | 55 | 7 |
| 6 | 77 | 7 |
| 7 | 140 | 7 |
| 8 | 352 | 7 |
| 9 | 1280 | 7 |
| done | 5000 | 7 |
| 0 | 7 | 7 |
| 1 | 15 | 7 |
| 2 | 32 | 7 |
| 3 | 39 | 7 |
| 4 | 45 | 7 |
| 5 | 55 | 7 |
| 6 | 77 | 7 |
| 7 | 140 | 7 |
| 8 | 352 | 7 |
| 9 | 1280 | 7 |
| done | 5000 | 7 |
| 0 | 5 | 5 |
| 1 | 11 | 5 |
| 2 | 24 | 5 |
| 3 | 69 | 5 |
| 4 | 184 | 5 |
| 5 | 531 | 5 |
| 6 | 1751 | 5 |
| done | 5001 | 5 |
| 0 | 5 | 5 |
| 1 | 11 | 5 |
| 2 | 24 | 5 |
| 3 | 69 | 5 |
| 4 | 184 | 5 |
| 5 | 531 | 5 |
| 6 | 1751 | 5 |
| done | 5001 | 5 |
| 0 | 5 | 5 |
| 1 | 11 | 5 |
| 2 | 24 | 5 |
| 3 | 69 | 5 |
| 4 | 184 | 5 |
| 5 | 531 | 5 |
| 6 | 1751 | 5 |
| done | 5001 | 5 |
| 0 | 10 | 11 |
| 1 | 21 | 11 |
| 2 | 55 | 11 |
| 3 | 84 | 11 |
| 4 | 111 | 11 |
| 5 | 143 | 11 |
| 6 | 213 | 11 |
| 7 | 400 | 11 |
| 8 | 1032 | 11 |
| 9 | 3776 | 11 |
| done | 5000 | 11 |
| 0 | 10 | 11 |
| 1 | 21 | 11 |
| 2 | 55 | 11 |
| 3 | 84 | 11 |
| 4 | 111 | 11 |
| 5 | 143 | 11 |
| 6 | 213 | 11 |
| 7 | 400 | 11 |
| 8 | 1032 | 11 |
| 9 | 3776 | 11 |
| done | 5000 | 11 |
| 0 | 10 | 11 |
| 1 | 21 | 11 |
| 2 | 55 | 11 |
| 3 | 84 | 11 |
| 4 | 111 | 11 |
| 5 | 143 | 11 |
| 6 | 213 | 11 |
| 7 | 400 | 11 |
| 8 | 1032 | 11 |
| 9 | 3776 | 11 |
| done | 5000 | 11 |
| 0 | 5 | 5 |
| 1 | 11 | 5 |
| 2 | 27 | 5 |
| 3 | 32 | 5 |
| 4 | 38 | 5 |
| 5 | 48 | 5 |
| 6 | 70 | 5 |
| 7 | 129 | 5 |
| 8 | 346 | 5 |
| 9 | 1272 | 5 |
| done | 5000 | 5 |
| 0 | 5 | 5 |
| 1 | 11 | 5 |
| 2 | 27 | 5 |
| 3 | 32 | 5 |
| 4 | 38 | 5 |
| 5 | 48 | 5 |
| 6 | 70 | 5 |
| 7 | 129 | 5 |
| 8 | 346 | 5 |
| 9 | 1272 | 5 |
| done | 5000 | 5 |
| 0 | 5 | 5 |
| 1 | 11 | 5 |
| 2 | 27 | 5 |
| 3 | 32 | 5 |
| 4 | 38 | 5 |
| 5 | 48 | 5 |
| 6 | 70 | 5 |
| 7 | 129 | 5 |
| 8 | 346 | 5 |
| 9 | 1272 | 5 |
| done | 5000 | 5 |
2 alts after pruning (0 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 153 | 0 | 153 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 153 | 2 | 155 |
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 | 6 | 7 |
| 1 | 7 | 7 |
| done | 7 | 7 |
| 255.0ms | 10686× | body | 80 | valid |
Loading profile data...