Time bar (total: 31.6min)
| 49.0ms | 482× | body | 80 | nan |
| 29.0ms | 287× | body | 80 | valid |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 21 | 28 |
| 1 | 49 | 28 |
| 2 | 149 | 28 |
| 3 | 569 | 28 |
| 4 | 2819 | 28 |
| done | 5000 | 28 |
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: 31.2b
Found 4 expressions with local error:
| 6.2b | (* (* n (pow (/ l Om) 2.0)) (- U U*)) |
| 7.1b | (/ (* l l) Om) |
| 8.5b | (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))) |
| 16.2b | (sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))) |
| 32× | add-exp-log |
| 25× | pow1 |
| 23× | add-cbrt-cube |
| 22× | associate-*r/ |
| 16× | prod-exp |
| 13× | pow-prod-down |
| 11× | flip3-- flip-- |
| 10× | add-sqr-sqrt *-un-lft-identity cbrt-unprod |
| 8× | add-cube-cbrt associate-*r* frac-sub |
| 6× | distribute-rgt-in sub-neg distribute-lft-in sqrt-div |
| 4× | sqrt-pow1 associate--l+ add-log-exp |
| 3× | times-frac div-exp associate-/r* |
| 2× | cbrt-undiv associate-*l* pow-exp *-commutative |
| 1× | pow-to-exp frac-2neg pow1/2 clear-num sqrt-prod div-inv associate-/l* distribute-lft-out-- difference-of-squares |
| 14.0ms | (* (* n (pow (/ l Om) 2.0)) (- U U*)) |
| 6.0ms | (/ (* l l) Om) |
| 15.0ms | (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))) |
| 12.0ms | (sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))) |
| 154.0ms | (* (* n (pow (/ l Om) 2.0)) (- U U*)) |
| 4.0ms | (/ (* l l) Om) |
| 454.0ms | (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))) |
| 2.4s | (sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))) |
Useful iterations: 1 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 22 | 29 |
| 1 | 50 | 29 |
| 2 | 150 | 29 |
| 3 | 568 | 29 |
| 4 | 2827 | 29 |
| done | 5001 | 29 |
| 0 | 22 | 29 |
| 1 | 50 | 29 |
| 2 | 150 | 29 |
| 3 | 568 | 29 |
| 4 | 2827 | 29 |
| done | 5001 | 29 |
| 0 | 23 | 59 |
| 1 | 51 | 59 |
| 2 | 151 | 59 |
| 3 | 568 | 59 |
| 4 | 2837 | 59 |
| done | 5000 | 59 |
| 0 | 22 | 29 |
| 1 | 50 | 29 |
| 2 | 150 | 29 |
| 3 | 568 | 29 |
| 4 | 2827 | 29 |
| done | 5001 | 29 |
| 0 | 23 | 86 |
| 1 | 52 | 56 |
| 2 | 167 | 30 |
| 3 | 720 | 30 |
| 4 | 3756 | 30 |
| done | 5000 | 30 |
| 0 | 6 | 6 |
| 1 | 10 | 6 |
| 2 | 16 | 6 |
| done | 16 | 6 |
| 0 | 18 | 22 |
| 1 | 39 | 22 |
| 2 | 107 | 22 |
| 3 | 335 | 22 |
| 4 | 1137 | 22 |
| 5 | 4197 | 22 |
| done | 5001 | 22 |
| 0 | 38 | 78 |
| 1 | 118 | 68 |
| 2 | 433 | 68 |
| 3 | 2393 | 68 |
| done | 5000 | 68 |
| 0 | 21 | 42 |
| 1 | 56 | 32 |
| 2 | 204 | 32 |
| 3 | 927 | 32 |
| 4 | 4487 | 32 |
| done | 5000 | 32 |
| 0 | 34 | 70 |
| 1 | 102 | 62 |
| 2 | 384 | 62 |
| 3 | 2222 | 62 |
| done | 5000 | 62 |
| 0 | 17 | 34 |
| 1 | 46 | 26 |
| 2 | 166 | 26 |
| 3 | 649 | 26 |
| 4 | 2498 | 26 |
| done | 5000 | 26 |
| 0 | 34 | 64 |
| 1 | 97 | 62 |
| 2 | 343 | 62 |
| 3 | 1808 | 52 |
| done | 5000 | 52 |
| 0 | 17 | 22 |
| 1 | 37 | 20 |
| 2 | 100 | 20 |
| 3 | 299 | 20 |
| 4 | 1087 | 20 |
| 5 | 2876 | 20 |
| 6 | 4042 | 20 |
| 7 | 4294 | 20 |
| 8 | 4447 | 20 |
| 9 | 4511 | 20 |
| done | 4511 | 20 |
| 0 | 29 | 56 |
| 1 | 78 | 56 |
| 2 | 288 | 56 |
| 3 | 1554 | 46 |
| done | 5001 | 46 |
| 0 | 13 | 14 |
| 1 | 27 | 14 |
| 2 | 62 | 14 |
| 3 | 151 | 14 |
| 4 | 396 | 14 |
| 5 | 651 | 14 |
| 6 | 710 | 14 |
| 7 | 732 | 14 |
| 8 | 736 | 14 |
| done | 736 | 14 |
| 0 | 24 | 32 |
| 1 | 65 | 32 |
| 2 | 229 | 32 |
| 3 | 1290 | 32 |
| done | 5000 | 32 |
| 0 | 22 | 66 |
| 1 | 55 | 54 |
| 2 | 206 | 54 |
| 3 | 1010 | 52 |
| done | 5000 | 52 |
| 0 | 23 | 50 |
| 1 | 59 | 50 |
| 2 | 229 | 50 |
| 3 | 1219 | 46 |
| done | 5001 | 46 |
| 0 | 18 | 22 |
| 1 | 38 | 22 |
| 2 | 95 | 22 |
| 3 | 271 | 22 |
| 4 | 869 | 22 |
| 5 | 3442 | 22 |
| done | 5000 | 22 |
| 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 | 3 | 3 |
| 1 | 6 | 1 |
| done | 6 | 1 |
| 0 | 22 | 29 |
| 1 | 50 | 29 |
| 2 | 150 | 29 |
| 3 | 568 | 29 |
| 4 | 2827 | 29 |
| done | 5001 | 29 |
| 0 | 22 | 29 |
| 1 | 50 | 29 |
| 2 | 150 | 29 |
| 3 | 568 | 29 |
| 4 | 2827 | 29 |
| done | 5001 | 29 |
| 0 | 20 | 27 |
| 1 | 48 | 27 |
| 2 | 148 | 27 |
| 3 | 571 | 27 |
| 4 | 2816 | 27 |
| done | 5000 | 27 |
| 0 | 20 | 27 |
| 1 | 48 | 27 |
| 2 | 148 | 27 |
| 3 | 571 | 27 |
| 4 | 2816 | 27 |
| done | 5000 | 27 |
| 0 | 20 | 27 |
| 1 | 48 | 27 |
| 2 | 148 | 27 |
| 3 | 571 | 27 |
| 4 | 2816 | 27 |
| done | 5000 | 27 |
| 0 | 24 | 31 |
| 1 | 52 | 31 |
| 2 | 140 | 31 |
| 3 | 397 | 31 |
| 4 | 1204 | 31 |
| 5 | 4347 | 31 |
| done | 5001 | 31 |
| 0 | 23 | 30 |
| 1 | 52 | 30 |
| 2 | 133 | 30 |
| 3 | 386 | 30 |
| 4 | 1178 | 30 |
| 5 | 4373 | 30 |
| done | 5000 | 30 |
| 0 | 22 | 29 |
| 1 | 51 | 29 |
| 2 | 136 | 29 |
| 3 | 389 | 29 |
| 4 | 1197 | 29 |
| 5 | 4415 | 29 |
| done | 5000 | 29 |
| 0 | 21 | 28 |
| 1 | 52 | 28 |
| 2 | 162 | 28 |
| 3 | 613 | 28 |
| 4 | 2892 | 28 |
| done | 5000 | 28 |
| 0 | 21 | 28 |
| 1 | 51 | 28 |
| 2 | 163 | 28 |
| 3 | 644 | 28 |
| 4 | 3203 | 28 |
| done | 5001 | 28 |
| 0 | 28 | 83 |
| 1 | 68 | 83 |
| 2 | 263 | 35 |
| 3 | 1498 | 35 |
| done | 5000 | 35 |
| 0 | 26 | 83 |
| 1 | 70 | 83 |
| 2 | 265 | 33 |
| 3 | 1582 | 33 |
| done | 5001 | 33 |
| 0 | 24 | 83 |
| 1 | 65 | 83 |
| 2 | 261 | 31 |
| 3 | 1609 | 31 |
| done | 5001 | 31 |
| 0 | 22 | 57 |
| 1 | 50 | 57 |
| 2 | 150 | 57 |
| 3 | 568 | 57 |
| 4 | 2827 | 57 |
| done | 5001 | 57 |
| 0 | 21 | 28 |
| 1 | 49 | 28 |
| 2 | 149 | 28 |
| 3 | 569 | 28 |
| 4 | 2819 | 28 |
| done | 5000 | 28 |
| 0 | 22 | 83 |
| 1 | 60 | 83 |
| 2 | 255 | 29 |
| 3 | 1774 | 29 |
| done | 5000 | 29 |
| 0 | 21 | 28 |
| 1 | 49 | 28 |
| 2 | 149 | 28 |
| 3 | 569 | 28 |
| 4 | 2819 | 28 |
| done | 5000 | 28 |
| 0 | 21 | 28 |
| 1 | 49 | 28 |
| 2 | 149 | 28 |
| 3 | 569 | 28 |
| 4 | 2819 | 28 |
| done | 5000 | 28 |
| 0 | 13 | 15 |
| 1 | 27 | 15 |
| 2 | 78 | 15 |
| 3 | 254 | 15 |
| 4 | 916 | 15 |
| 5 | 3044 | 15 |
| done | 5000 | 15 |
| 0 | 15 | 18 |
| 1 | 38 | 18 |
| 2 | 137 | 18 |
| 3 | 758 | 18 |
| 4 | 4403 | 17 |
| done | 5000 | 17 |
| 0 | 7 | 7 |
| 1 | 14 | 7 |
| 2 | 34 | 7 |
| 3 | 57 | 7 |
| 4 | 58 | 7 |
| done | 58 | 7 |
| 0 | 19 | 26 |
| 1 | 47 | 26 |
| 2 | 143 | 26 |
| 3 | 573 | 26 |
| 4 | 3056 | 25 |
| done | 5000 | 25 |
| 0 | 7 | 7 |
| 1 | 14 | 7 |
| 2 | 34 | 7 |
| 3 | 57 | 7 |
| 4 | 58 | 7 |
| done | 58 | 7 |
| 0 | 19 | 26 |
| 1 | 47 | 26 |
| 2 | 143 | 26 |
| 3 | 573 | 26 |
| 4 | 3056 | 25 |
| done | 5000 | 25 |
| 0 | 13 | 15 |
| 1 | 27 | 15 |
| 2 | 78 | 15 |
| 3 | 254 | 15 |
| 4 | 916 | 15 |
| 5 | 3044 | 15 |
| done | 5000 | 15 |
| 0 | 15 | 18 |
| 1 | 38 | 18 |
| 2 | 137 | 18 |
| 3 | 758 | 18 |
| 4 | 4403 | 17 |
| done | 5000 | 17 |
| 0 | 13 | 15 |
| 1 | 27 | 15 |
| 2 | 71 | 15 |
| 3 | 221 | 15 |
| 4 | 750 | 15 |
| 5 | 2537 | 15 |
| done | 5001 | 15 |
| 0 | 15 | 18 |
| 1 | 38 | 18 |
| 2 | 138 | 18 |
| 3 | 722 | 18 |
| 4 | 4016 | 17 |
| done | 5000 | 17 |
| 0 | 7 | 7 |
| 1 | 14 | 7 |
| 2 | 33 | 7 |
| 3 | 58 | 7 |
| 4 | 60 | 7 |
| done | 60 | 7 |
| 0 | 19 | 26 |
| 1 | 47 | 26 |
| 2 | 136 | 26 |
| 3 | 512 | 26 |
| 4 | 2622 | 25 |
| done | 5000 | 25 |
| 0 | 7 | 7 |
| 1 | 14 | 7 |
| 2 | 33 | 7 |
| 3 | 58 | 7 |
| 4 | 60 | 7 |
| done | 60 | 7 |
| 0 | 19 | 26 |
| 1 | 47 | 26 |
| 2 | 136 | 26 |
| 3 | 512 | 26 |
| 4 | 2622 | 25 |
| done | 5000 | 25 |
| 0 | 13 | 15 |
| 1 | 27 | 15 |
| 2 | 71 | 15 |
| 3 | 221 | 15 |
| 4 | 750 | 15 |
| 5 | 2537 | 15 |
| done | 5001 | 15 |
| 0 | 15 | 18 |
| 1 | 38 | 18 |
| 2 | 138 | 18 |
| 3 | 722 | 18 |
| 4 | 4016 | 17 |
| done | 5000 | 17 |
| 0 | 22 | 51 |
| 1 | 52 | 51 |
| 2 | 149 | 51 |
| 3 | 437 | 51 |
| 4 | 1269 | 51 |
| 5 | 4448 | 51 |
| done | 5001 | 51 |
| 0 | 21 | 28 |
| 1 | 49 | 28 |
| 2 | 137 | 28 |
| 3 | 390 | 28 |
| 4 | 1184 | 28 |
| 5 | 4267 | 28 |
| done | 5000 | 28 |
| 0 | 7 | 7 |
| 1 | 16 | 5 |
| 2 | 42 | 5 |
| 3 | 67 | 5 |
| 4 | 79 | 5 |
| done | 79 | 5 |
| 0 | 18 | 23 |
| 1 | 40 | 23 |
| 2 | 114 | 23 |
| 3 | 380 | 23 |
| 4 | 1471 | 23 |
| done | 5001 | 23 |
| 0 | 37 | 77 |
| 1 | 117 | 67 |
| 2 | 432 | 67 |
| 3 | 2399 | 67 |
| done | 5001 | 67 |
| 0 | 33 | 69 |
| 1 | 101 | 61 |
| 2 | 383 | 61 |
| 3 | 2218 | 61 |
| done | 5000 | 61 |
| 0 | 33 | 63 |
| 1 | 96 | 61 |
| 2 | 342 | 61 |
| 3 | 1803 | 51 |
| done | 5000 | 51 |
| 0 | 28 | 55 |
| 1 | 77 | 55 |
| 2 | 287 | 55 |
| 3 | 1557 | 45 |
| done | 5000 | 45 |
| 0 | 23 | 31 |
| 1 | 64 | 31 |
| 2 | 228 | 31 |
| 3 | 1292 | 31 |
| done | 5000 | 31 |
| 0 | 22 | 49 |
| 1 | 58 | 49 |
| 2 | 228 | 49 |
| 3 | 1222 | 45 |
| done | 5001 | 45 |
| 0 | 6 | 8 |
| 1 | 12 | 7 |
| 2 | 16 | 7 |
| 3 | 19 | 7 |
| 4 | 23 | 7 |
| 5 | 28 | 7 |
| 6 | 36 | 7 |
| 7 | 50 | 7 |
| 8 | 62 | 7 |
| 9 | 74 | 7 |
| 10 | 86 | 7 |
| 11 | 87 | 7 |
| done | 87 | 7 |
| 0 | 6 | 7 |
| 1 | 10 | 7 |
| 2 | 17 | 7 |
| 3 | 21 | 7 |
| 4 | 23 | 7 |
| 5 | 27 | 7 |
| 6 | 32 | 7 |
| 7 | 40 | 7 |
| 8 | 54 | 7 |
| 9 | 66 | 7 |
| 10 | 78 | 7 |
| 11 | 90 | 7 |
| 12 | 91 | 7 |
| done | 91 | 7 |
| 0 | 5 | 6 |
| 1 | 10 | 6 |
| 2 | 18 | 6 |
| 3 | 31 | 6 |
| 4 | 39 | 6 |
| 5 | 43 | 6 |
| 6 | 51 | 6 |
| 7 | 65 | 6 |
| 8 | 77 | 6 |
| 9 | 89 | 6 |
| 10 | 99 | 6 |
| 11 | 100 | 6 |
| done | 100 | 6 |
| 0 | 5 | 6 |
| 1 | 7 | 6 |
| 2 | 9 | 6 |
| 3 | 12 | 6 |
| 4 | 18 | 6 |
| 5 | 26 | 6 |
| 6 | 51 | 6 |
| 7 | 112 | 6 |
| 8 | 274 | 6 |
| 9 | 843 | 6 |
| 10 | 3566 | 6 |
| done | 5000 | 6 |
| 0 | 8 | 17 |
| 1 | 23 | 17 |
| 2 | 98 | 11 |
| 3 | 363 | 7 |
| 4 | 910 | 7 |
| 5 | 2319 | 7 |
| done | 5000 | 7 |
| 0 | 8 | 17 |
| 1 | 24 | 17 |
| 2 | 97 | 9 |
| 3 | 369 | 7 |
| 4 | 933 | 7 |
| 5 | 2388 | 7 |
| done | 5001 | 7 |
| 0 | 6 | 13 |
| 1 | 8 | 13 |
| 2 | 10 | 13 |
| 3 | 11 | 13 |
| done | 11 | 13 |
| 0 | 5 | 6 |
| 1 | 7 | 6 |
| 2 | 9 | 6 |
| 3 | 10 | 6 |
| done | 10 | 6 |
| 0 | 6 | 17 |
| 1 | 15 | 17 |
| 2 | 49 | 7 |
| 3 | 172 | 7 |
| 4 | 490 | 7 |
| 5 | 904 | 7 |
| 6 | 2460 | 7 |
| done | 5000 | 7 |
| 0 | 5 | 6 |
| 1 | 7 | 6 |
| 2 | 9 | 6 |
| 3 | 10 | 6 |
| done | 10 | 6 |
| 0 | 5 | 6 |
| 1 | 7 | 6 |
| 2 | 9 | 6 |
| 3 | 10 | 6 |
| done | 10 | 6 |
| 0 | 3 | 4 |
| 1 | 6 | 4 |
| done | 6 | 4 |
| 0 | 2 | 2 |
| done | 2 | 2 |
| 0 | 5 | 7 |
| 1 | 7 | 7 |
| done | 7 | 7 |
| 0 | 4 | 4 |
| done | 4 | 4 |
| 0 | 4 | 4 |
| done | 4 | 4 |
| 0 | 4 | 4 |
| done | 4 | 4 |
| 0 | 3 | 3 |
| 1 | 5 | 1 |
| done | 5 | 1 |
| 0 | 3 | 3 |
| done | 3 | 3 |
| 0 | 3 | 3 |
| 1 | 5 | 3 |
| done | 5 | 3 |
| 0 | 4 | 5 |
| 1 | 6 | 5 |
| done | 6 | 5 |
| 0 | 6 | 9 |
| 1 | 12 | 9 |
| 2 | 21 | 9 |
| 3 | 27 | 9 |
| done | 27 | 9 |
| 0 | 5 | 6 |
| 1 | 7 | 6 |
| 2 | 9 | 6 |
| 3 | 10 | 6 |
| done | 10 | 6 |
| 0 | 4 | 5 |
| 1 | 8 | 3 |
| 2 | 14 | 3 |
| 3 | 19 | 3 |
| done | 19 | 3 |
| 0 | 3 | 3 |
| done | 3 | 3 |
| 0 | 11 | 11 |
| 1 | 21 | 11 |
| 2 | 51 | 11 |
| 3 | 145 | 11 |
| 4 | 438 | 11 |
| 5 | 1489 | 11 |
| done | 5001 | 11 |
| 0 | 15 | 15 |
| 1 | 24 | 15 |
| 2 | 38 | 15 |
| 3 | 55 | 15 |
| 4 | 82 | 15 |
| 5 | 99 | 15 |
| 6 | 127 | 15 |
| 7 | 182 | 15 |
| 8 | 303 | 15 |
| 9 | 411 | 15 |
| 10 | 488 | 15 |
| 11 | 563 | 15 |
| 12 | 641 | 15 |
| 13 | 659 | 15 |
| done | 659 | 15 |
| 0 | 14 | 14 |
| 1 | 24 | 14 |
| 2 | 33 | 14 |
| 3 | 42 | 14 |
| 4 | 59 | 14 |
| 5 | 86 | 14 |
| 6 | 103 | 14 |
| 7 | 131 | 14 |
| 8 | 186 | 14 |
| 9 | 307 | 14 |
| 10 | 415 | 14 |
| 11 | 491 | 14 |
| 12 | 570 | 14 |
| 13 | 647 | 14 |
| 14 | 665 | 14 |
| done | 665 | 14 |
| 0 | 14 | 14 |
| 1 | 24 | 14 |
| 2 | 33 | 14 |
| 3 | 42 | 14 |
| 4 | 59 | 14 |
| 5 | 86 | 14 |
| 6 | 103 | 14 |
| 7 | 131 | 14 |
| 8 | 186 | 14 |
| 9 | 307 | 14 |
| 10 | 415 | 14 |
| 11 | 491 | 14 |
| 12 | 570 | 14 |
| 13 | 647 | 14 |
| 14 | 665 | 14 |
| done | 665 | 14 |
| 0 | 14 | 14 |
| 1 | 26 | 14 |
| 2 | 44 | 14 |
| 3 | 81 | 14 |
| 4 | 200 | 14 |
| 5 | 649 | 14 |
| 6 | 2632 | 14 |
| done | 5000 | 14 |
| 0 | 13 | 13 |
| 1 | 24 | 13 |
| 2 | 43 | 13 |
| 3 | 93 | 13 |
| 4 | 233 | 13 |
| 5 | 719 | 13 |
| 6 | 2713 | 13 |
| done | 5000 | 13 |
| 0 | 12 | 12 |
| 1 | 25 | 12 |
| 2 | 62 | 12 |
| 3 | 178 | 12 |
| 4 | 534 | 12 |
| 5 | 1792 | 12 |
| done | 5000 | 12 |
| 0 | 12 | 12 |
| 1 | 24 | 12 |
| 2 | 64 | 12 |
| 3 | 197 | 12 |
| 4 | 623 | 12 |
| 5 | 2328 | 12 |
| done | 5000 | 12 |
| 0 | 17 | 35 |
| 1 | 38 | 31 |
| 2 | 143 | 17 |
| 3 | 756 | 17 |
| done | 5000 | 17 |
| 0 | 15 | 35 |
| 1 | 38 | 35 |
| 2 | 145 | 15 |
| 3 | 801 | 15 |
| done | 5000 | 15 |
| 0 | 13 | 25 |
| 1 | 23 | 25 |
| 2 | 53 | 25 |
| 3 | 147 | 25 |
| 4 | 438 | 25 |
| 5 | 1516 | 25 |
| done | 5001 | 25 |
| 0 | 12 | 12 |
| 1 | 22 | 12 |
| 2 | 52 | 12 |
| 3 | 146 | 12 |
| 4 | 441 | 12 |
| 5 | 1466 | 12 |
| done | 5000 | 12 |
| 0 | 13 | 35 |
| 1 | 33 | 35 |
| 2 | 145 | 13 |
| 3 | 879 | 13 |
| done | 5001 | 13 |
| 0 | 12 | 12 |
| 1 | 22 | 12 |
| 2 | 52 | 12 |
| 3 | 146 | 12 |
| 4 | 441 | 12 |
| 5 | 1466 | 12 |
| done | 5000 | 12 |
| 0 | 12 | 12 |
| 1 | 22 | 12 |
| 2 | 52 | 12 |
| 3 | 146 | 12 |
| 4 | 441 | 12 |
| 5 | 1466 | 12 |
| done | 5000 | 12 |
| 0 | 9 | 9 |
| 1 | 17 | 9 |
| 2 | 34 | 9 |
| 3 | 78 | 9 |
| 4 | 208 | 9 |
| 5 | 639 | 9 |
| 6 | 2201 | 9 |
| done | 5000 | 9 |
| 0 | 10 | 10 |
| 1 | 20 | 10 |
| 2 | 45 | 10 |
| 3 | 124 | 10 |
| 4 | 388 | 10 |
| 5 | 1326 | 10 |
| done | 5000 | 10 |
| 0 | 9 | 9 |
| 1 | 17 | 9 |
| 2 | 34 | 9 |
| 3 | 78 | 9 |
| 4 | 208 | 9 |
| 5 | 639 | 9 |
| 6 | 2201 | 9 |
| done | 5000 | 9 |
| 0 | 10 | 10 |
| 1 | 20 | 10 |
| 2 | 45 | 10 |
| 3 | 124 | 10 |
| 4 | 388 | 10 |
| 5 | 1326 | 10 |
| done | 5000 | 10 |
| 0 | 9 | 9 |
| 1 | 17 | 9 |
| 2 | 34 | 9 |
| 3 | 80 | 9 |
| 4 | 198 | 9 |
| 5 | 595 | 9 |
| 6 | 2060 | 9 |
| done | 5000 | 9 |
| 0 | 10 | 10 |
| 1 | 20 | 10 |
| 2 | 45 | 10 |
| 3 | 122 | 10 |
| 4 | 376 | 10 |
| 5 | 1287 | 10 |
| 6 | 4897 | 10 |
| done | 5000 | 10 |
| 0 | 9 | 9 |
| 1 | 17 | 9 |
| 2 | 34 | 9 |
| 3 | 80 | 9 |
| 4 | 198 | 9 |
| 5 | 595 | 9 |
| 6 | 2060 | 9 |
| done | 5000 | 9 |
| 0 | 10 | 10 |
| 1 | 20 | 10 |
| 2 | 45 | 10 |
| 3 | 122 | 10 |
| 4 | 376 | 10 |
| 5 | 1287 | 10 |
| 6 | 4897 | 10 |
| done | 5000 | 10 |
| 0 | 13 | 17 |
| 1 | 25 | 17 |
| 2 | 52 | 17 |
| 3 | 128 | 17 |
| 4 | 338 | 17 |
| 5 | 1054 | 17 |
| 6 | 3894 | 17 |
| done | 5000 | 17 |
| 0 | 12 | 12 |
| 1 | 22 | 12 |
| 2 | 40 | 12 |
| 3 | 84 | 12 |
| 4 | 211 | 12 |
| 5 | 627 | 12 |
| 6 | 2242 | 12 |
| done | 5001 | 12 |
| 0 | 9 | 9 |
| 1 | 19 | 7 |
| 2 | 42 | 7 |
| 3 | 98 | 7 |
| 4 | 195 | 7 |
| 5 | 466 | 7 |
| 6 | 1322 | 7 |
| 7 | 4501 | 7 |
| done | 5000 | 7 |
| 0 | 13 | 13 |
| 1 | 28 | 13 |
| 2 | 66 | 13 |
| 3 | 150 | 13 |
| 4 | 401 | 13 |
| 5 | 1276 | 13 |
| 6 | 4464 | 13 |
| done | 5000 | 13 |
| 0 | 9 | 9 |
| 1 | 19 | 7 |
| 2 | 42 | 7 |
| 3 | 98 | 7 |
| 4 | 195 | 7 |
| 5 | 466 | 7 |
| 6 | 1322 | 7 |
| 7 | 4501 | 7 |
| done | 5000 | 7 |
| 0 | 9 | 9 |
| 1 | 16 | 9 |
| 2 | 32 | 9 |
| 3 | 77 | 9 |
| 4 | 196 | 9 |
| 5 | 615 | 9 |
| 6 | 2398 | 9 |
| done | 5000 | 9 |
| 0 | 14 | 15 |
| 1 | 36 | 15 |
| 2 | 87 | 15 |
| 3 | 305 | 15 |
| 4 | 1395 | 15 |
| done | 5001 | 15 |
| 0 | 13 | 15 |
| 1 | 26 | 15 |
| 2 | 68 | 15 |
| 3 | 262 | 15 |
| 4 | 1077 | 15 |
| 5 | 4587 | 15 |
| done | 5000 | 15 |
| 0 | 1 | 1 |
| done | 1 | 1 |
| 0 | 40 | 99 |
| 1 | 107 | 88 |
| 2 | 324 | 80 |
| 3 | 1234 | 76 |
| done | 5000 | 71 |
| 0 | 42 | 100 |
| 1 | 112 | 93 |
| 2 | 338 | 85 |
| 3 | 1385 | 76 |
| done | 5000 | 76 |
| 0 | 1 | 1 |
| done | 1 | 1 |
| 0 | 37 | 50 |
| 1 | 101 | 46 |
| 2 | 308 | 44 |
| 3 | 1442 | 43 |
| done | 5000 | 43 |
| 0 | 38 | 50 |
| 1 | 102 | 47 |
| 2 | 308 | 45 |
| 3 | 1423 | 43 |
| done | 5000 | 43 |
| 0 | 5 | 5 |
| 1 | 10 | 5 |
| 2 | 22 | 5 |
| 3 | 29 | 5 |
| 4 | 36 | 5 |
| 5 | 46 | 5 |
| 6 | 68 | 5 |
| 7 | 132 | 5 |
| 8 | 345 | 5 |
| 9 | 1261 | 5 |
| done | 5000 | 5 |
| 0 | 5 | 5 |
| 1 | 10 | 5 |
| 2 | 22 | 5 |
| 3 | 29 | 5 |
| 4 | 36 | 5 |
| 5 | 46 | 5 |
| 6 | 68 | 5 |
| 7 | 132 | 5 |
| 8 | 345 | 5 |
| 9 | 1261 | 5 |
| done | 5000 | 5 |
| 0 | 5 | 5 |
| 1 | 10 | 5 |
| 2 | 22 | 5 |
| 3 | 29 | 5 |
| 4 | 36 | 5 |
| 5 | 46 | 5 |
| 6 | 68 | 5 |
| 7 | 132 | 5 |
| 8 | 345 | 5 |
| 9 | 1261 | 5 |
| done | 5000 | 5 |
| 0 | 1 | 1 |
| done | 1 | 1 |
| 0 | 28 | 63 |
| 1 | 75 | 40 |
| 2 | 177 | 25 |
| 3 | 563 | 23 |
| 4 | 2613 | 20 |
| done | 5001 | 20 |
| 0 | 30 | 63 |
| 1 | 78 | 43 |
| 2 | 177 | 29 |
| 3 | 617 | 23 |
| 4 | 2738 | 23 |
| done | 5000 | 23 |
16 alts after pruning (16 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 99 | 16 | 115 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 100 | 16 | 116 |
Merged error: 21.3b
Found 4 expressions with local error:
| 5.3b | (* n (pow (/ l Om) 2.0)) |
| 6.2b | (* (* n (pow (/ l Om) 2.0)) (- U U*)) |
| 8.5b | (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))) |
| 16.2b | (sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))) |
| 35× | add-exp-log |
| 25× | pow1 add-sqr-sqrt associate-*r* |
| 22× | associate-*r/ |
| 20× | add-cbrt-cube |
| 19× | prod-exp |
| 17× | *-un-lft-identity |
| 15× | add-cube-cbrt unpow-prod-down |
| 13× | pow-prod-down |
| 11× | flip3-- flip-- |
| 10× | times-frac cbrt-unprod |
| 8× | frac-sub |
| 6× | distribute-rgt-in sub-neg distribute-lft-in sqrt-div |
| 5× | associate-*l* |
| 4× | sqrt-pow1 pow-exp associate--l+ add-log-exp unswap-sqr |
| 3× | *-commutative |
| 2× | pow-to-exp div-exp sqr-pow |
| 1× | pow1/2 sqrt-prod div-inv distribute-lft-out-- difference-of-squares |
| 11.0ms | (* n (pow (/ l Om) 2.0)) |
| 13.0ms | (* (* n (pow (/ l Om) 2.0)) (- U U*)) |
| 18.0ms | (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))) |
| 12.0ms | (sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))) |
| 53.0ms | (* n (pow (/ l Om) 2.0)) |
| 150.0ms | (* (* n (pow (/ l Om) 2.0)) (- U U*)) |
| 422.0ms | (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))) |
| 2.3s | (sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))) |
Useful iterations: 1 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 22 | 29 |
| 1 | 49 | 29 |
| 2 | 151 | 29 |
| 3 | 586 | 29 |
| 4 | 2868 | 29 |
| done | 5000 | 29 |
| 0 | 22 | 29 |
| 1 | 49 | 29 |
| 2 | 151 | 29 |
| 3 | 586 | 29 |
| 4 | 2868 | 29 |
| done | 5000 | 29 |
| 0 | 23 | 59 |
| 1 | 50 | 59 |
| 2 | 152 | 59 |
| 3 | 582 | 59 |
| 4 | 2846 | 59 |
| done | 5000 | 59 |
| 0 | 22 | 29 |
| 1 | 49 | 29 |
| 2 | 151 | 29 |
| 3 | 586 | 29 |
| 4 | 2868 | 29 |
| done | 5000 | 29 |
| 0 | 23 | 86 |
| 1 | 51 | 56 |
| 2 | 168 | 30 |
| 3 | 731 | 30 |
| 4 | 3749 | 30 |
| done | 5001 | 30 |
| 0 | 6 | 6 |
| 1 | 10 | 6 |
| 2 | 16 | 6 |
| done | 16 | 6 |
| 0 | 18 | 22 |
| 1 | 38 | 22 |
| 2 | 108 | 22 |
| 3 | 347 | 22 |
| 4 | 1154 | 22 |
| 5 | 4180 | 22 |
| done | 5000 | 22 |
| 0 | 38 | 78 |
| 1 | 117 | 68 |
| 2 | 433 | 68 |
| 3 | 2447 | 68 |
| done | 5000 | 68 |
| 0 | 21 | 42 |
| 1 | 56 | 32 |
| 2 | 205 | 32 |
| 3 | 964 | 32 |
| 4 | 4965 | 32 |
| done | 5000 | 32 |
| 0 | 34 | 70 |
| 1 | 101 | 62 |
| 2 | 384 | 62 |
| 3 | 2272 | 62 |
| done | 5001 | 62 |
| 0 | 17 | 34 |
| 1 | 46 | 26 |
| 2 | 167 | 26 |
| 3 | 685 | 26 |
| 4 | 2683 | 26 |
| done | 5000 | 26 |
| 0 | 34 | 64 |
| 1 | 96 | 62 |
| 2 | 344 | 62 |
| 3 | 1848 | 52 |
| done | 5000 | 52 |
| 0 | 17 | 22 |
| 1 | 37 | 20 |
| 2 | 101 | 20 |
| 3 | 317 | 20 |
| 4 | 1146 | 20 |
| 5 | 2904 | 20 |
| 6 | 4143 | 20 |
| 7 | 4479 | 20 |
| 8 | 4646 | 20 |
| 9 | 4710 | 20 |
| done | 4710 | 20 |
| 0 | 29 | 56 |
| 1 | 77 | 56 |
| 2 | 289 | 56 |
| 3 | 1597 | 46 |
| done | 5000 | 46 |
| 0 | 13 | 14 |
| 1 | 27 | 14 |
| 2 | 63 | 14 |
| 3 | 165 | 14 |
| 4 | 423 | 14 |
| 5 | 628 | 14 |
| 6 | 706 | 14 |
| 7 | 734 | 14 |
| 8 | 744 | 14 |
| done | 744 | 14 |
| 0 | 24 | 32 |
| 1 | 64 | 32 |
| 2 | 230 | 32 |
| 3 | 1304 | 32 |
| done | 5000 | 32 |
| 0 | 22 | 66 |
| 1 | 54 | 54 |
| 2 | 207 | 54 |
| 3 | 1015 | 52 |
| done | 5000 | 52 |
| 0 | 23 | 50 |
| 1 | 58 | 50 |
| 2 | 230 | 50 |
| 3 | 1235 | 46 |
| done | 5001 | 46 |
| 0 | 18 | 22 |
| 1 | 37 | 22 |
| 2 | 96 | 22 |
| 3 | 284 | 22 |
| 4 | 869 | 22 |
| 5 | 3439 | 22 |
| done | 5001 | 22 |
| 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 | 3 | 3 |
| 1 | 6 | 1 |
| done | 6 | 1 |
| 0 | 22 | 29 |
| 1 | 49 | 29 |
| 2 | 151 | 29 |
| 3 | 586 | 29 |
| 4 | 2868 | 29 |
| done | 5000 | 29 |
| 0 | 22 | 29 |
| 1 | 49 | 29 |
| 2 | 151 | 29 |
| 3 | 586 | 29 |
| 4 | 2868 | 29 |
| done | 5000 | 29 |
| 0 | 20 | 27 |
| 1 | 47 | 27 |
| 2 | 149 | 27 |
| 3 | 580 | 27 |
| 4 | 2805 | 27 |
| done | 5000 | 27 |
| 0 | 20 | 27 |
| 1 | 47 | 27 |
| 2 | 149 | 27 |
| 3 | 580 | 27 |
| 4 | 2805 | 27 |
| done | 5000 | 27 |
| 0 | 20 | 27 |
| 1 | 47 | 27 |
| 2 | 149 | 27 |
| 3 | 580 | 27 |
| 4 | 2805 | 27 |
| done | 5000 | 27 |
| 0 | 24 | 31 |
| 1 | 51 | 31 |
| 2 | 141 | 31 |
| 3 | 408 | 31 |
| 4 | 1192 | 31 |
| 5 | 4277 | 31 |
| done | 5001 | 31 |
| 0 | 23 | 30 |
| 1 | 51 | 30 |
| 2 | 134 | 30 |
| 3 | 398 | 30 |
| 4 | 1188 | 30 |
| 5 | 4377 | 30 |
| done | 5001 | 30 |
| 0 | 22 | 29 |
| 1 | 50 | 29 |
| 2 | 137 | 29 |
| 3 | 400 | 29 |
| 4 | 1203 | 29 |
| 5 | 4362 | 29 |
| done | 5000 | 29 |
| 0 | 21 | 28 |
| 1 | 51 | 28 |
| 2 | 163 | 28 |
| 3 | 626 | 28 |
| 4 | 2915 | 28 |
| done | 5000 | 28 |
| 0 | 21 | 28 |
| 1 | 50 | 28 |
| 2 | 164 | 28 |
| 3 | 655 | 28 |
| 4 | 3238 | 28 |
| done | 5000 | 28 |
| 0 | 28 | 83 |
| 1 | 67 | 83 |
| 2 | 264 | 35 |
| 3 | 1510 | 35 |
| done | 5000 | 35 |
| 0 | 26 | 83 |
| 1 | 69 | 83 |
| 2 | 266 | 33 |
| 3 | 1595 | 33 |
| done | 5001 | 33 |
| 0 | 24 | 83 |
| 1 | 64 | 83 |
| 2 | 262 | 31 |
| 3 | 1613 | 31 |
| done | 5000 | 31 |
| 0 | 22 | 57 |
| 1 | 49 | 57 |
| 2 | 151 | 57 |
| 3 | 586 | 57 |
| 4 | 2868 | 57 |
| done | 5000 | 57 |
| 0 | 21 | 28 |
| 1 | 48 | 28 |
| 2 | 150 | 28 |
| 3 | 581 | 28 |
| 4 | 2840 | 28 |
| done | 5000 | 28 |
| 0 | 22 | 83 |
| 1 | 59 | 83 |
| 2 | 256 | 29 |
| 3 | 1777 | 29 |
| done | 5001 | 29 |
| 0 | 21 | 28 |
| 1 | 48 | 28 |
| 2 | 150 | 28 |
| 3 | 581 | 28 |
| 4 | 2840 | 28 |
| done | 5000 | 28 |
| 0 | 21 | 28 |
| 1 | 48 | 28 |
| 2 | 150 | 28 |
| 3 | 581 | 28 |
| 4 | 2840 | 28 |
| done | 5000 | 28 |
| 0 | 13 | 15 |
| 1 | 27 | 15 |
| 2 | 79 | 15 |
| 3 | 267 | 15 |
| 4 | 986 | 15 |
| 5 | 3139 | 15 |
| done | 5001 | 15 |
| 0 | 15 | 18 |
| 1 | 38 | 18 |
| 2 | 137 | 18 |
| 3 | 758 | 18 |
| 4 | 4403 | 17 |
| done | 5000 | 17 |
| 0 | 7 | 7 |
| 1 | 14 | 7 |
| 2 | 34 | 7 |
| 3 | 57 | 7 |
| 4 | 58 | 7 |
| done | 58 | 7 |
| 0 | 19 | 26 |
| 1 | 46 | 26 |
| 2 | 145 | 26 |
| 3 | 584 | 26 |
| 4 | 3145 | 25 |
| done | 5000 | 25 |
| 0 | 7 | 7 |
| 1 | 14 | 7 |
| 2 | 34 | 7 |
| 3 | 57 | 7 |
| 4 | 58 | 7 |
| done | 58 | 7 |
| 0 | 19 | 26 |
| 1 | 46 | 26 |
| 2 | 145 | 26 |
| 3 | 584 | 26 |
| 4 | 3145 | 25 |
| done | 5000 | 25 |
| 0 | 13 | 15 |
| 1 | 27 | 15 |
| 2 | 79 | 15 |
| 3 | 267 | 15 |
| 4 | 986 | 15 |
| 5 | 3139 | 15 |
| done | 5001 | 15 |
| 0 | 15 | 18 |
| 1 | 38 | 18 |
| 2 | 137 | 18 |
| 3 | 758 | 18 |
| 4 | 4403 | 17 |
| done | 5000 | 17 |
| 0 | 13 | 15 |
| 1 | 27 | 15 |
| 2 | 72 | 15 |
| 3 | 234 | 15 |
| 4 | 861 | 15 |
| 5 | 2778 | 15 |
| done | 5000 | 15 |
| 0 | 15 | 18 |
| 1 | 38 | 18 |
| 2 | 138 | 18 |
| 3 | 722 | 18 |
| 4 | 4016 | 17 |
| done | 5000 | 17 |
| 0 | 7 | 7 |
| 1 | 14 | 7 |
| 2 | 33 | 7 |
| 3 | 58 | 7 |
| 4 | 60 | 7 |
| done | 60 | 7 |
| 0 | 19 | 26 |
| 1 | 46 | 26 |
| 2 | 138 | 26 |
| 3 | 520 | 26 |
| 4 | 2694 | 25 |
| done | 5000 | 25 |
| 0 | 7 | 7 |
| 1 | 14 | 7 |
| 2 | 33 | 7 |
| 3 | 58 | 7 |
| 4 | 60 | 7 |
| done | 60 | 7 |
| 0 | 19 | 26 |
| 1 | 46 | 26 |
| 2 | 138 | 26 |
| 3 | 520 | 26 |
| 4 | 2694 | 25 |
| done | 5000 | 25 |
| 0 | 13 | 15 |
| 1 | 27 | 15 |
| 2 | 72 | 15 |
| 3 | 234 | 15 |
| 4 | 861 | 15 |
| 5 | 2778 | 15 |
| done | 5000 | 15 |
| 0 | 15 | 18 |
| 1 | 38 | 18 |
| 2 | 138 | 18 |
| 3 | 722 | 18 |
| 4 | 4016 | 17 |
| done | 5000 | 17 |
| 0 | 22 | 51 |
| 1 | 51 | 51 |
| 2 | 150 | 51 |
| 3 | 448 | 51 |
| 4 | 1275 | 51 |
| 5 | 4385 | 51 |
| done | 5000 | 51 |
| 0 | 21 | 28 |
| 1 | 48 | 28 |
| 2 | 138 | 28 |
| 3 | 402 | 28 |
| 4 | 1185 | 28 |
| 5 | 4285 | 28 |
| done | 5000 | 28 |
| 0 | 7 | 7 |
| 1 | 16 | 5 |
| 2 | 42 | 5 |
| 3 | 67 | 5 |
| 4 | 79 | 5 |
| done | 79 | 5 |
| 0 | 18 | 23 |
| 1 | 39 | 23 |
| 2 | 115 | 23 |
| 3 | 392 | 23 |
| 4 | 1498 | 23 |
| done | 5001 | 23 |
| 0 | 37 | 77 |
| 1 | 116 | 67 |
| 2 | 432 | 67 |
| 3 | 2445 | 67 |
| done | 5000 | 67 |
| 0 | 33 | 69 |
| 1 | 100 | 61 |
| 2 | 383 | 61 |
| 3 | 2271 | 61 |
| done | 5000 | 61 |
| 0 | 33 | 63 |
| 1 | 95 | 61 |
| 2 | 343 | 61 |
| 3 | 1847 | 51 |
| done | 5001 | 51 |
| 0 | 28 | 55 |
| 1 | 76 | 55 |
| 2 | 288 | 55 |
| 3 | 1591 | 45 |
| done | 5001 | 45 |
| 0 | 23 | 31 |
| 1 | 63 | 31 |
| 2 | 229 | 31 |
| 3 | 1305 | 31 |
| done | 5000 | 31 |
| 0 | 22 | 49 |
| 1 | 57 | 49 |
| 2 | 229 | 49 |
| 3 | 1233 | 45 |
| done | 5000 | 45 |
| 0 | 11 | 11 |
| 1 | 21 | 11 |
| 2 | 51 | 11 |
| 3 | 145 | 11 |
| 4 | 438 | 11 |
| 5 | 1489 | 11 |
| done | 5001 | 11 |
| 0 | 15 | 15 |
| 1 | 24 | 15 |
| 2 | 38 | 15 |
| 3 | 55 | 15 |
| 4 | 82 | 15 |
| 5 | 99 | 15 |
| 6 | 127 | 15 |
| 7 | 182 | 15 |
| 8 | 303 | 15 |
| 9 | 411 | 15 |
| 10 | 488 | 15 |
| 11 | 563 | 15 |
| 12 | 641 | 15 |
| 13 | 659 | 15 |
| done | 659 | 15 |
| 0 | 14 | 14 |
| 1 | 24 | 14 |
| 2 | 33 | 14 |
| 3 | 42 | 14 |
| 4 | 59 | 14 |
| 5 | 86 | 14 |
| 6 | 103 | 14 |
| 7 | 131 | 14 |
| 8 | 186 | 14 |
| 9 | 307 | 14 |
| 10 | 415 | 14 |
| 11 | 491 | 14 |
| 12 | 570 | 14 |
| 13 | 647 | 14 |
| 14 | 665 | 14 |
| done | 665 | 14 |
| 0 | 14 | 14 |
| 1 | 24 | 14 |
| 2 | 33 | 14 |
| 3 | 42 | 14 |
| 4 | 59 | 14 |
| 5 | 86 | 14 |
| 6 | 103 | 14 |
| 7 | 131 | 14 |
| 8 | 186 | 14 |
| 9 | 307 | 14 |
| 10 | 415 | 14 |
| 11 | 491 | 14 |
| 12 | 570 | 14 |
| 13 | 647 | 14 |
| 14 | 665 | 14 |
| done | 665 | 14 |
| 0 | 14 | 14 |
| 1 | 26 | 14 |
| 2 | 44 | 14 |
| 3 | 81 | 14 |
| 4 | 200 | 14 |
| 5 | 649 | 14 |
| 6 | 2632 | 14 |
| done | 5000 | 14 |
| 0 | 13 | 13 |
| 1 | 24 | 13 |
| 2 | 43 | 13 |
| 3 | 93 | 13 |
| 4 | 233 | 13 |
| 5 | 719 | 13 |
| 6 | 2713 | 13 |
| done | 5000 | 13 |
| 0 | 12 | 12 |
| 1 | 25 | 12 |
| 2 | 62 | 12 |
| 3 | 178 | 12 |
| 4 | 534 | 12 |
| 5 | 1792 | 12 |
| done | 5000 | 12 |
| 0 | 12 | 12 |
| 1 | 24 | 12 |
| 2 | 64 | 12 |
| 3 | 197 | 12 |
| 4 | 623 | 12 |
| 5 | 2328 | 12 |
| done | 5000 | 12 |
| 0 | 17 | 35 |
| 1 | 38 | 31 |
| 2 | 143 | 17 |
| 3 | 756 | 17 |
| done | 5000 | 17 |
| 0 | 15 | 35 |
| 1 | 38 | 35 |
| 2 | 145 | 15 |
| 3 | 801 | 15 |
| done | 5000 | 15 |
| 0 | 13 | 25 |
| 1 | 23 | 25 |
| 2 | 53 | 25 |
| 3 | 147 | 25 |
| 4 | 438 | 25 |
| 5 | 1516 | 25 |
| done | 5001 | 25 |
| 0 | 12 | 12 |
| 1 | 22 | 12 |
| 2 | 52 | 12 |
| 3 | 146 | 12 |
| 4 | 441 | 12 |
| 5 | 1466 | 12 |
| done | 5000 | 12 |
| 0 | 13 | 35 |
| 1 | 33 | 35 |
| 2 | 145 | 13 |
| 3 | 879 | 13 |
| done | 5001 | 13 |
| 0 | 12 | 12 |
| 1 | 22 | 12 |
| 2 | 52 | 12 |
| 3 | 146 | 12 |
| 4 | 441 | 12 |
| 5 | 1466 | 12 |
| done | 5000 | 12 |
| 0 | 12 | 12 |
| 1 | 22 | 12 |
| 2 | 52 | 12 |
| 3 | 146 | 12 |
| 4 | 441 | 12 |
| 5 | 1466 | 12 |
| done | 5000 | 12 |
| 0 | 9 | 9 |
| 1 | 17 | 9 |
| 2 | 34 | 9 |
| 3 | 78 | 9 |
| 4 | 208 | 9 |
| 5 | 639 | 9 |
| 6 | 2201 | 9 |
| done | 5000 | 9 |
| 0 | 10 | 10 |
| 1 | 20 | 10 |
| 2 | 45 | 10 |
| 3 | 124 | 10 |
| 4 | 388 | 10 |
| 5 | 1326 | 10 |
| done | 5000 | 10 |
| 0 | 9 | 9 |
| 1 | 17 | 9 |
| 2 | 34 | 9 |
| 3 | 78 | 9 |
| 4 | 208 | 9 |
| 5 | 639 | 9 |
| 6 | 2201 | 9 |
| done | 5000 | 9 |
| 0 | 10 | 10 |
| 1 | 20 | 10 |
| 2 | 45 | 10 |
| 3 | 124 | 10 |
| 4 | 388 | 10 |
| 5 | 1326 | 10 |
| done | 5000 | 10 |
| 0 | 9 | 9 |
| 1 | 17 | 9 |
| 2 | 34 | 9 |
| 3 | 80 | 9 |
| 4 | 198 | 9 |
| 5 | 595 | 9 |
| 6 | 2060 | 9 |
| done | 5000 | 9 |
| 0 | 10 | 10 |
| 1 | 20 | 10 |
| 2 | 45 | 10 |
| 3 | 122 | 10 |
| 4 | 376 | 10 |
| 5 | 1287 | 10 |
| 6 | 4897 | 10 |
| done | 5000 | 10 |
| 0 | 9 | 9 |
| 1 | 17 | 9 |
| 2 | 34 | 9 |
| 3 | 80 | 9 |
| 4 | 198 | 9 |
| 5 | 595 | 9 |
| 6 | 2060 | 9 |
| done | 5000 | 9 |
| 0 | 10 | 10 |
| 1 | 20 | 10 |
| 2 | 45 | 10 |
| 3 | 122 | 10 |
| 4 | 376 | 10 |
| 5 | 1287 | 10 |
| 6 | 4897 | 10 |
| done | 5000 | 10 |
| 0 | 13 | 17 |
| 1 | 25 | 17 |
| 2 | 52 | 17 |
| 3 | 128 | 17 |
| 4 | 338 | 17 |
| 5 | 1054 | 17 |
| 6 | 3894 | 17 |
| done | 5000 | 17 |
| 0 | 12 | 12 |
| 1 | 22 | 12 |
| 2 | 40 | 12 |
| 3 | 84 | 12 |
| 4 | 211 | 12 |
| 5 | 627 | 12 |
| 6 | 2242 | 12 |
| done | 5001 | 12 |
| 0 | 9 | 9 |
| 1 | 19 | 7 |
| 2 | 42 | 7 |
| 3 | 98 | 7 |
| 4 | 195 | 7 |
| 5 | 466 | 7 |
| 6 | 1322 | 7 |
| 7 | 4501 | 7 |
| done | 5000 | 7 |
| 0 | 13 | 13 |
| 1 | 28 | 13 |
| 2 | 66 | 13 |
| 3 | 150 | 13 |
| 4 | 401 | 13 |
| 5 | 1276 | 13 |
| 6 | 4464 | 13 |
| done | 5000 | 13 |
| 0 | 9 | 9 |
| 1 | 19 | 7 |
| 2 | 42 | 7 |
| 3 | 98 | 7 |
| 4 | 195 | 7 |
| 5 | 466 | 7 |
| 6 | 1322 | 7 |
| 7 | 4501 | 7 |
| done | 5000 | 7 |
| 0 | 9 | 9 |
| 1 | 16 | 9 |
| 2 | 32 | 9 |
| 3 | 77 | 9 |
| 4 | 196 | 9 |
| 5 | 615 | 9 |
| 6 | 2398 | 9 |
| done | 5000 | 9 |
| 0 | 14 | 15 |
| 1 | 36 | 15 |
| 2 | 87 | 15 |
| 3 | 305 | 15 |
| 4 | 1395 | 15 |
| done | 5001 | 15 |
| 0 | 13 | 15 |
| 1 | 26 | 15 |
| 2 | 68 | 15 |
| 3 | 262 | 15 |
| 4 | 1077 | 15 |
| 5 | 4587 | 15 |
| done | 5000 | 15 |
| 0 | 10 | 10 |
| 1 | 14 | 10 |
| 2 | 21 | 10 |
| 3 | 30 | 10 |
| 4 | 39 | 10 |
| 5 | 42 | 10 |
| 6 | 48 | 10 |
| 7 | 59 | 10 |
| 8 | 82 | 10 |
| 9 | 114 | 10 |
| 10 | 146 | 10 |
| 11 | 153 | 10 |
| 12 | 178 | 10 |
| 13 | 201 | 10 |
| 14 | 202 | 10 |
| done | 202 | 10 |
| 0 | 9 | 9 |
| 1 | 14 | 9 |
| 2 | 16 | 9 |
| 3 | 23 | 9 |
| 4 | 32 | 9 |
| 5 | 41 | 9 |
| 6 | 44 | 9 |
| 7 | 50 | 9 |
| 8 | 61 | 9 |
| 9 | 84 | 9 |
| 10 | 116 | 9 |
| 11 | 148 | 9 |
| 12 | 155 | 9 |
| 13 | 180 | 9 |
| 14 | 203 | 9 |
| 15 | 204 | 9 |
| done | 204 | 9 |
| 0 | 9 | 9 |
| 1 | 14 | 9 |
| 2 | 16 | 9 |
| 3 | 23 | 9 |
| 4 | 32 | 9 |
| 5 | 41 | 9 |
| 6 | 44 | 9 |
| 7 | 50 | 9 |
| 8 | 61 | 9 |
| 9 | 84 | 9 |
| 10 | 116 | 9 |
| 11 | 148 | 9 |
| 12 | 155 | 9 |
| 13 | 180 | 9 |
| 14 | 203 | 9 |
| 15 | 204 | 9 |
| done | 204 | 9 |
| 0 | 9 | 9 |
| 1 | 16 | 9 |
| 2 | 27 | 9 |
| 3 | 56 | 9 |
| 4 | 151 | 9 |
| 5 | 485 | 9 |
| 6 | 1890 | 9 |
| done | 5001 | 9 |
| 0 | 8 | 8 |
| 1 | 16 | 8 |
| 2 | 30 | 8 |
| 3 | 72 | 8 |
| 4 | 183 | 8 |
| 5 | 580 | 8 |
| 6 | 2137 | 8 |
| done | 5000 | 8 |
| 0 | 8 | 8 |
| 1 | 15 | 8 |
| 2 | 29 | 8 |
| 3 | 70 | 8 |
| 4 | 194 | 8 |
| 5 | 631 | 8 |
| 6 | 2632 | 8 |
| done | 5000 | 8 |
| 0 | 11 | 23 |
| 1 | 24 | 19 |
| 2 | 70 | 11 |
| 3 | 228 | 11 |
| 4 | 892 | 9 |
| 5 | 4245 | 9 |
| done | 5000 | 9 |
| 0 | 9 | 17 |
| 1 | 14 | 17 |
| 2 | 23 | 17 |
| 3 | 49 | 17 |
| 4 | 114 | 17 |
| 5 | 302 | 17 |
| 6 | 996 | 17 |
| 7 | 3767 | 17 |
| done | 5000 | 17 |
| 0 | 8 | 8 |
| 1 | 13 | 8 |
| 2 | 22 | 8 |
| 3 | 48 | 8 |
| 4 | 115 | 8 |
| 5 | 302 | 8 |
| 6 | 1001 | 8 |
| 7 | 3774 | 8 |
| done | 5000 | 8 |
| 0 | 9 | 23 |
| 1 | 24 | 23 |
| 2 | 74 | 9 |
| 3 | 258 | 9 |
| 4 | 1002 | 9 |
| 5 | 4294 | 9 |
| done | 5000 | 9 |
| 0 | 8 | 8 |
| 1 | 13 | 8 |
| 2 | 22 | 8 |
| 3 | 48 | 8 |
| 4 | 115 | 8 |
| 5 | 302 | 8 |
| 6 | 1001 | 8 |
| 7 | 3774 | 8 |
| done | 5000 | 8 |
| 0 | 8 | 8 |
| 1 | 13 | 8 |
| 2 | 22 | 8 |
| 3 | 48 | 8 |
| 4 | 115 | 8 |
| 5 | 302 | 8 |
| 6 | 1001 | 8 |
| 7 | 3774 | 8 |
| done | 5000 | 8 |
| 0 | 9 | 9 |
| 1 | 14 | 9 |
| 2 | 23 | 9 |
| 3 | 49 | 9 |
| 4 | 115 | 9 |
| 5 | 311 | 9 |
| 6 | 1001 | 9 |
| 7 | 3774 | 9 |
| done | 5000 | 9 |
| 0 | 9 | 9 |
| 1 | 14 | 9 |
| 2 | 23 | 9 |
| 3 | 49 | 9 |
| 4 | 115 | 9 |
| 5 | 311 | 9 |
| 6 | 1001 | 9 |
| 7 | 3774 | 9 |
| done | 5000 | 9 |
| 0 | 10 | 10 |
| 1 | 15 | 10 |
| 2 | 24 | 10 |
| 3 | 50 | 10 |
| 4 | 116 | 10 |
| 5 | 309 | 10 |
| 6 | 1010 | 10 |
| 7 | 3791 | 10 |
| done | 5000 | 10 |
| 0 | 10 | 10 |
| 1 | 15 | 10 |
| 2 | 24 | 10 |
| 3 | 50 | 10 |
| 4 | 116 | 10 |
| 5 | 309 | 10 |
| 6 | 1010 | 10 |
| 7 | 3791 | 10 |
| done | 5000 | 10 |
| 0 | 9 | 9 |
| 1 | 14 | 9 |
| 2 | 20 | 9 |
| 3 | 38 | 9 |
| 4 | 78 | 9 |
| 5 | 180 | 9 |
| 6 | 559 | 9 |
| 7 | 1973 | 9 |
| done | 5001 | 9 |
| 0 | 9 | 9 |
| 1 | 14 | 9 |
| 2 | 20 | 9 |
| 3 | 38 | 9 |
| 4 | 78 | 9 |
| 5 | 180 | 9 |
| 6 | 559 | 9 |
| 7 | 1973 | 9 |
| done | 5001 | 9 |
| 0 | 10 | 10 |
| 1 | 14 | 10 |
| 2 | 26 | 10 |
| 3 | 57 | 10 |
| 4 | 135 | 10 |
| 5 | 353 | 10 |
| 6 | 1158 | 10 |
| 7 | 4389 | 10 |
| done | 5000 | 10 |
| 0 | 10 | 10 |
| 1 | 14 | 10 |
| 2 | 26 | 10 |
| 3 | 57 | 10 |
| 4 | 135 | 10 |
| 5 | 353 | 10 |
| 6 | 1158 | 10 |
| 7 | 4389 | 10 |
| done | 5000 | 10 |
| 0 | 9 | 13 |
| 1 | 14 | 13 |
| 2 | 23 | 13 |
| 3 | 49 | 13 |
| 4 | 115 | 13 |
| 5 | 311 | 13 |
| 6 | 1005 | 13 |
| 7 | 3785 | 13 |
| done | 5000 | 13 |
| 0 | 8 | 8 |
| 1 | 13 | 8 |
| 2 | 22 | 8 |
| 3 | 48 | 8 |
| 4 | 113 | 8 |
| 5 | 306 | 8 |
| 6 | 1004 | 8 |
| 7 | 3770 | 8 |
| done | 5000 | 8 |
| 0 | 11 | 15 |
| 1 | 22 | 15 |
| 2 | 40 | 15 |
| 3 | 72 | 15 |
| 4 | 137 | 15 |
| 5 | 323 | 15 |
| 6 | 1018 | 15 |
| 7 | 3792 | 15 |
| done | 5000 | 15 |
| 0 | 10 | 12 |
| 1 | 17 | 12 |
| 2 | 28 | 12 |
| 3 | 57 | 12 |
| 4 | 125 | 12 |
| 5 | 320 | 12 |
| 6 | 1016 | 12 |
| 7 | 3800 | 12 |
| done | 5001 | 12 |
| 0 | 9 | 11 |
| 1 | 18 | 9 |
| 2 | 33 | 9 |
| 3 | 64 | 9 |
| 4 | 128 | 9 |
| 5 | 319 | 9 |
| 6 | 1017 | 9 |
| 7 | 3797 | 9 |
| done | 5000 | 9 |
| 0 | 10 | 12 |
| 1 | 17 | 12 |
| 2 | 26 | 12 |
| 3 | 54 | 12 |
| 4 | 120 | 12 |
| 5 | 313 | 12 |
| 6 | 1012 | 12 |
| 7 | 3797 | 12 |
| done | 5000 | 12 |
| 0 | 9 | 9 |
| 1 | 14 | 9 |
| 2 | 23 | 9 |
| 3 | 49 | 9 |
| 4 | 115 | 9 |
| 5 | 311 | 9 |
| 6 | 1005 | 9 |
| 7 | 3785 | 9 |
| done | 5000 | 9 |
| 0 | 8 | 8 |
| 1 | 15 | 6 |
| 2 | 26 | 6 |
| 3 | 52 | 6 |
| 4 | 119 | 6 |
| 5 | 302 | 6 |
| 6 | 992 | 6 |
| 7 | 3777 | 6 |
| done | 5000 | 6 |
| 0 | 9 | 11 |
| 1 | 18 | 11 |
| 2 | 27 | 11 |
| 3 | 53 | 11 |
| 4 | 118 | 11 |
| 5 | 311 | 11 |
| 6 | 1014 | 11 |
| 7 | 3788 | 11 |
| done | 5000 | 11 |
| 0 | 8 | 8 |
| 1 | 15 | 8 |
| 2 | 24 | 8 |
| 3 | 50 | 8 |
| 4 | 115 | 8 |
| 5 | 312 | 8 |
| 6 | 1008 | 8 |
| 7 | 3799 | 8 |
| done | 5000 | 8 |
| 0 | 6 | 7 |
| 1 | 13 | 5 |
| 2 | 22 | 3 |
| 3 | 31 | 1 |
| 4 | 41 | 1 |
| 5 | 54 | 1 |
| 6 | 68 | 1 |
| 7 | 84 | 1 |
| 8 | 103 | 1 |
| 9 | 125 | 1 |
| 10 | 150 | 1 |
| 11 | 178 | 1 |
| 12 | 209 | 1 |
| 13 | 243 | 1 |
| 14 | 280 | 1 |
| 15 | 320 | 1 |
| 16 | 363 | 1 |
| 17 | 409 | 1 |
| 18 | 458 | 1 |
| 19 | 510 | 1 |
| 20 | 565 | 1 |
| 21 | 623 | 1 |
| 22 | 684 | 1 |
| 23 | 748 | 1 |
| 24 | 815 | 1 |
| 25 | 885 | 1 |
| 26 | 958 | 1 |
| 27 | 1034 | 1 |
| 28 | 1113 | 1 |
| 29 | 1195 | 1 |
| 30 | 1280 | 1 |
| 31 | 1368 | 1 |
| 32 | 1459 | 1 |
| 33 | 1553 | 1 |
| 34 | 1650 | 1 |
| 35 | 1750 | 1 |
| 36 | 1853 | 1 |
| 37 | 1959 | 1 |
| 38 | 2068 | 1 |
| 39 | 2180 | 1 |
| 40 | 2295 | 1 |
| 41 | 2413 | 1 |
| 42 | 2534 | 1 |
| 43 | 2658 | 1 |
| 44 | 2785 | 1 |
| 45 | 2915 | 1 |
| 46 | 3048 | 1 |
| 47 | 3184 | 1 |
| 48 | 3323 | 1 |
| 49 | 3465 | 1 |
| 50 | 3610 | 1 |
| 51 | 3758 | 1 |
| 52 | 3909 | 1 |
| 53 | 4063 | 1 |
| 54 | 4220 | 1 |
| 55 | 4380 | 1 |
| 56 | 4543 | 1 |
| 57 | 4709 | 1 |
| 58 | 4878 | 1 |
| done | 5000 | 1 |
| 0 | 5 | 5 |
| 1 | 12 | 3 |
| 2 | 15 | 1 |
| 3 | 21 | 1 |
| 4 | 28 | 1 |
| 5 | 38 | 1 |
| 6 | 51 | 1 |
| 7 | 67 | 1 |
| 8 | 86 | 1 |
| 9 | 108 | 1 |
| 10 | 133 | 1 |
| 11 | 161 | 1 |
| 12 | 192 | 1 |
| 13 | 226 | 1 |
| 14 | 263 | 1 |
| 15 | 303 | 1 |
| 16 | 346 | 1 |
| 17 | 392 | 1 |
| 18 | 441 | 1 |
| 19 | 493 | 1 |
| 20 | 548 | 1 |
| 21 | 606 | 1 |
| 22 | 667 | 1 |
| 23 | 731 | 1 |
| 24 | 798 | 1 |
| 25 | 868 | 1 |
| 26 | 941 | 1 |
| 27 | 1017 | 1 |
| 28 | 1096 | 1 |
| 29 | 1178 | 1 |
| 30 | 1263 | 1 |
| 31 | 1351 | 1 |
| 32 | 1442 | 1 |
| 33 | 1536 | 1 |
| 34 | 1633 | 1 |
| 35 | 1733 | 1 |
| 36 | 1836 | 1 |
| 37 | 1942 | 1 |
| 38 | 2051 | 1 |
| 39 | 2163 | 1 |
| 40 | 2278 | 1 |
| 41 | 2396 | 1 |
| 42 | 2517 | 1 |
| 43 | 2641 | 1 |
| 44 | 2768 | 1 |
| 45 | 2898 | 1 |
| 46 | 3031 | 1 |
| 47 | 3167 | 1 |
| 48 | 3306 | 1 |
| 49 | 3448 | 1 |
| 50 | 3593 | 1 |
| 51 | 3741 | 1 |
| 52 | 3892 | 1 |
| 53 | 4046 | 1 |
| 54 | 4203 | 1 |
| 55 | 4363 | 1 |
| 56 | 4526 | 1 |
| 57 | 4692 | 1 |
| 58 | 4861 | 1 |
| done | 5001 | 1 |
| 0 | 5 | 5 |
| 1 | 10 | 5 |
| 2 | 19 | 5 |
| 3 | 45 | 5 |
| 4 | 109 | 5 |
| 5 | 302 | 5 |
| 6 | 999 | 5 |
| 7 | 3780 | 5 |
| done | 5001 | 5 |
| 0 | 9 | 15 |
| 1 | 16 | 15 |
| 2 | 23 | 15 |
| 3 | 41 | 15 |
| 4 | 81 | 15 |
| 5 | 185 | 15 |
| 6 | 563 | 15 |
| 7 | 1973 | 15 |
| done | 5001 | 15 |
| 0 | 8 | 8 |
| 1 | 13 | 8 |
| 2 | 19 | 8 |
| 3 | 37 | 8 |
| 4 | 77 | 8 |
| 5 | 183 | 8 |
| 6 | 557 | 8 |
| 7 | 1972 | 8 |
| done | 5000 | 8 |
| 0 | 3 | 3 |
| 1 | 6 | 1 |
| done | 6 | 1 |
| 0 | 9 | 9 |
| 1 | 13 | 9 |
| 2 | 25 | 9 |
| 3 | 56 | 9 |
| 4 | 128 | 9 |
| 5 | 344 | 9 |
| 6 | 1172 | 9 |
| 7 | 4366 | 9 |
| done | 5001 | 9 |
| 0 | 8 | 8 |
| 1 | 13 | 8 |
| 2 | 22 | 8 |
| 3 | 48 | 8 |
| 4 | 113 | 8 |
| 5 | 306 | 8 |
| 6 | 1004 | 8 |
| 7 | 3774 | 8 |
| done | 5000 | 8 |
| 0 | 8 | 8 |
| 1 | 13 | 8 |
| 2 | 22 | 8 |
| 3 | 48 | 8 |
| 4 | 113 | 8 |
| 5 | 306 | 8 |
| 6 | 1004 | 8 |
| 7 | 3774 | 8 |
| done | 5000 | 8 |
| 0 | 7 | 7 |
| 1 | 12 | 7 |
| 2 | 21 | 7 |
| 3 | 47 | 7 |
| 4 | 111 | 7 |
| 5 | 298 | 7 |
| 6 | 983 | 7 |
| 7 | 3753 | 7 |
| done | 5000 | 7 |
| 0 | 1 | 1 |
| done | 1 | 1 |
| 0 | 40 | 99 |
| 1 | 107 | 88 |
| 2 | 324 | 80 |
| 3 | 1234 | 76 |
| done | 5000 | 71 |
| 0 | 42 | 100 |
| 1 | 112 | 93 |
| 2 | 338 | 85 |
| 3 | 1385 | 76 |
| done | 5000 | 76 |
| 0 | 1 | 1 |
| done | 1 | 1 |
| 0 | 37 | 50 |
| 1 | 101 | 46 |
| 2 | 308 | 44 |
| 3 | 1442 | 43 |
| done | 5000 | 43 |
| 0 | 38 | 50 |
| 1 | 102 | 47 |
| 2 | 308 | 45 |
| 3 | 1423 | 43 |
| done | 5000 | 43 |
| 0 | 1 | 1 |
| done | 1 | 1 |
| 0 | 28 | 63 |
| 1 | 75 | 40 |
| 2 | 177 | 25 |
| 3 | 563 | 23 |
| 4 | 2613 | 20 |
| done | 5001 | 20 |
| 0 | 30 | 63 |
| 1 | 78 | 43 |
| 2 | 177 | 29 |
| 3 | 617 | 23 |
| 4 | 2738 | 23 |
| done | 5000 | 23 |
| 0 | 1 | 1 |
| done | 1 | 1 |
| 0 | 22 | 29 |
| 1 | 56 | 25 |
| 2 | 106 | 21 |
| 3 | 238 | 19 |
| 4 | 626 | 17 |
| 5 | 2677 | 17 |
| done | 5000 | 17 |
| 0 | 23 | 29 |
| 1 | 56 | 27 |
| 2 | 102 | 23 |
| 3 | 257 | 19 |
| 4 | 700 | 19 |
| 5 | 2778 | 19 |
| done | 5000 | 19 |
14 alts after pruning (14 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 125 | 6 | 131 |
| Fresh | 7 | 8 | 15 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 133 | 14 | 147 |
Merged error: 19.2b
Found 4 expressions with local error:
| 4.9b | (* n (pow (/ l Om) (/ 2.0 2))) |
| 6.2b | (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*)) |
| 8.5b | (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*)))) |
| 16.2b | (sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))))) |
| 99× | add-exp-log |
| 67× | prod-exp |
| 25× | pow1 add-sqr-sqrt associate-*r* |
| 24× | add-cbrt-cube |
| 22× | associate-*r/ |
| 20× | pow-exp |
| 17× | *-un-lft-identity |
| 15× | add-cube-cbrt unpow-prod-down |
| 13× | pow-prod-down cbrt-unprod |
| 11× | flip3-- flip-- |
| 10× | pow-to-exp times-frac div-exp |
| 8× | frac-sub |
| 6× | distribute-rgt-in sub-neg distribute-lft-in sqrt-div |
| 5× | associate-*l* |
| 4× | sqrt-pow1 associate--l+ add-log-exp unswap-sqr |
| 3× | *-commutative |
| 2× | sqr-pow |
| 1× | pow1/2 sqrt-prod div-inv distribute-lft-out-- difference-of-squares |
| 11.0ms | (* n (pow (/ l Om) (/ 2.0 2))) |
| 19.0ms | (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*)) |
| 15.0ms | (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*)))) |
| 13.0ms | (sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))))) |
| 56.0ms | (* n (pow (/ l Om) (/ 2.0 2))) |
| 158.0ms | (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*)) |
| 421.0ms | (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*)))) |
| 2.4s | (sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))))) |
Useful iterations: 1 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 25 | 39 |
| 1 | 54 | 39 |
| 2 | 178 | 33 |
| 3 | 744 | 33 |
| 4 | 4337 | 33 |
| done | 5000 | 33 |
| 0 | 25 | 39 |
| 1 | 54 | 39 |
| 2 | 178 | 33 |
| 3 | 744 | 33 |
| 4 | 4337 | 33 |
| done | 5000 | 33 |
| 0 | 26 | 79 |
| 1 | 55 | 79 |
| 2 | 179 | 67 |
| 3 | 750 | 67 |
| 4 | 4320 | 67 |
| done | 5000 | 67 |
| 0 | 25 | 39 |
| 1 | 54 | 39 |
| 2 | 178 | 33 |
| 3 | 744 | 33 |
| 4 | 4337 | 33 |
| done | 5000 | 33 |
| 0 | 26 | 116 |
| 1 | 56 | 76 |
| 2 | 195 | 34 |
| 3 | 898 | 34 |
| done | 5000 | 34 |
| 0 | 6 | 6 |
| 1 | 10 | 6 |
| 2 | 16 | 6 |
| done | 16 | 6 |
| 0 | 21 | 32 |
| 1 | 43 | 32 |
| 2 | 135 | 26 |
| 3 | 508 | 26 |
| 4 | 2153 | 26 |
| done | 5001 | 24 |
| 0 | 41 | 88 |
| 1 | 122 | 78 |
| 2 | 462 | 72 |
| 3 | 2706 | 72 |
| done | 5000 | 72 |
| 0 | 21 | 42 |
| 1 | 56 | 32 |
| 2 | 205 | 32 |
| 3 | 964 | 32 |
| 4 | 4965 | 32 |
| done | 5000 | 32 |
| 0 | 37 | 80 |
| 1 | 106 | 72 |
| 2 | 413 | 66 |
| 3 | 2521 | 66 |
| done | 5000 | 66 |
| 0 | 17 | 34 |
| 1 | 46 | 26 |
| 2 | 167 | 26 |
| 3 | 685 | 26 |
| 4 | 2683 | 26 |
| done | 5000 | 26 |
| 0 | 37 | 74 |
| 1 | 101 | 72 |
| 2 | 373 | 66 |
| 3 | 2067 | 56 |
| done | 5000 | 56 |
| 0 | 17 | 22 |
| 1 | 37 | 20 |
| 2 | 101 | 20 |
| 3 | 317 | 20 |
| 4 | 1146 | 20 |
| 5 | 2904 | 20 |
| 6 | 4143 | 20 |
| 7 | 4479 | 20 |
| 8 | 4646 | 20 |
| 9 | 4710 | 20 |
| done | 4710 | 20 |
| 0 | 32 | 66 |
| 1 | 82 | 66 |
| 2 | 318 | 60 |
| 3 | 1837 | 50 |
| done | 5000 | 50 |
| 0 | 13 | 14 |
| 1 | 27 | 14 |
| 2 | 63 | 14 |
| 3 | 165 | 14 |
| 4 | 423 | 14 |
| 5 | 628 | 14 |
| 6 | 706 | 14 |
| 7 | 734 | 14 |
| 8 | 744 | 14 |
| done | 744 | 14 |
| 0 | 27 | 42 |
| 1 | 69 | 42 |
| 2 | 260 | 36 |
| 3 | 1613 | 36 |
| done | 5000 | 36 |
| 0 | 25 | 96 |
| 1 | 59 | 74 |
| 2 | 246 | 62 |
| 3 | 1482 | 60 |
| done | 5000 | 60 |
| 0 | 26 | 70 |
| 1 | 63 | 70 |
| 2 | 267 | 58 |
| 3 | 1629 | 50 |
| done | 5001 | 50 |
| 0 | 21 | 32 |
| 1 | 42 | 32 |
| 2 | 123 | 26 |
| 3 | 414 | 26 |
| 4 | 1646 | 26 |
| done | 5001 | 24 |
| 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 | 3 | 3 |
| 1 | 6 | 1 |
| done | 6 | 1 |
| 0 | 25 | 39 |
| 1 | 54 | 39 |
| 2 | 178 | 33 |
| 3 | 744 | 33 |
| 4 | 4337 | 33 |
| done | 5000 | 33 |
| 0 | 25 | 39 |
| 1 | 54 | 39 |
| 2 | 178 | 33 |
| 3 | 744 | 33 |
| 4 | 4337 | 33 |
| done | 5000 | 33 |
| 0 | 23 | 37 |
| 1 | 52 | 37 |
| 2 | 176 | 31 |
| 3 | 747 | 31 |
| 4 | 4313 | 31 |
| done | 5000 | 31 |
| 0 | 23 | 37 |
| 1 | 52 | 37 |
| 2 | 176 | 31 |
| 3 | 747 | 31 |
| 4 | 4313 | 31 |
| done | 5000 | 31 |
| 0 | 23 | 37 |
| 1 | 52 | 37 |
| 2 | 176 | 31 |
| 3 | 747 | 31 |
| 4 | 4313 | 31 |
| done | 5000 | 31 |
| 0 | 27 | 41 |
| 1 | 56 | 41 |
| 2 | 168 | 35 |
| 3 | 574 | 35 |
| 4 | 2215 | 35 |
| done | 5001 | 33 |
| 0 | 26 | 40 |
| 1 | 56 | 40 |
| 2 | 161 | 34 |
| 3 | 568 | 34 |
| 4 | 2277 | 34 |
| done | 5000 | 32 |
| 0 | 25 | 39 |
| 1 | 55 | 39 |
| 2 | 164 | 33 |
| 3 | 571 | 33 |
| 4 | 2322 | 33 |
| done | 5000 | 31 |
| 0 | 24 | 38 |
| 1 | 56 | 38 |
| 2 | 190 | 32 |
| 3 | 792 | 32 |
| 4 | 4390 | 32 |
| done | 5000 | 32 |
| 0 | 24 | 38 |
| 1 | 55 | 38 |
| 2 | 191 | 32 |
| 3 | 823 | 32 |
| 4 | 4728 | 32 |
| done | 5000 | 32 |
| 0 | 31 | 113 |
| 1 | 72 | 113 |
| 2 | 291 | 39 |
| 3 | 1666 | 39 |
| done | 5000 | 39 |
| 0 | 29 | 113 |
| 1 | 74 | 113 |
| 2 | 293 | 37 |
| 3 | 1723 | 37 |
| done | 5000 | 37 |
| 0 | 27 | 113 |
| 1 | 69 | 113 |
| 2 | 289 | 35 |
| 3 | 1750 | 35 |
| done | 5000 | 35 |
| 0 | 25 | 77 |
| 1 | 54 | 77 |
| 2 | 178 | 65 |
| 3 | 744 | 65 |
| 4 | 4337 | 65 |
| done | 5000 | 65 |
| 0 | 24 | 38 |
| 1 | 53 | 38 |
| 2 | 177 | 32 |
| 3 | 750 | 32 |
| 4 | 4298 | 32 |
| done | 5000 | 32 |
| 0 | 25 | 113 |
| 1 | 64 | 113 |
| 2 | 283 | 33 |
| 3 | 1970 | 33 |
| done | 5000 | 33 |
| 0 | 24 | 38 |
| 1 | 53 | 38 |
| 2 | 177 | 32 |
| 3 | 750 | 32 |
| 4 | 4298 | 32 |
| done | 5000 | 32 |
| 0 | 24 | 38 |
| 1 | 53 | 38 |
| 2 | 177 | 32 |
| 3 | 750 | 32 |
| 4 | 4298 | 32 |
| done | 5000 | 32 |
| 0 | 13 | 15 |
| 1 | 27 | 15 |
| 2 | 79 | 15 |
| 3 | 267 | 15 |
| 4 | 986 | 15 |
| 5 | 3139 | 15 |
| done | 5001 | 15 |
| 0 | 18 | 28 |
| 1 | 43 | 28 |
| 2 | 170 | 22 |
| 3 | 1042 | 22 |
| done | 5000 | 21 |
| 0 | 7 | 7 |
| 1 | 14 | 7 |
| 2 | 34 | 7 |
| 3 | 57 | 7 |
| 4 | 58 | 7 |
| done | 58 | 7 |
| 0 | 22 | 36 |
| 1 | 51 | 36 |
| 2 | 172 | 30 |
| 3 | 749 | 30 |
| 4 | 4560 | 29 |
| done | 5000 | 29 |
| 0 | 7 | 7 |
| 1 | 14 | 7 |
| 2 | 34 | 7 |
| 3 | 57 | 7 |
| 4 | 58 | 7 |
| done | 58 | 7 |
| 0 | 22 | 36 |
| 1 | 51 | 36 |
| 2 | 172 | 30 |
| 3 | 749 | 30 |
| 4 | 4560 | 29 |
| done | 5000 | 29 |
| 0 | 13 | 15 |
| 1 | 27 | 15 |
| 2 | 79 | 15 |
| 3 | 267 | 15 |
| 4 | 986 | 15 |
| 5 | 3139 | 15 |
| done | 5001 | 15 |
| 0 | 18 | 28 |
| 1 | 43 | 28 |
| 2 | 170 | 22 |
| 3 | 1042 | 22 |
| done | 5000 | 21 |
| 0 | 13 | 15 |
| 1 | 27 | 15 |
| 2 | 72 | 15 |
| 3 | 234 | 15 |
| 4 | 861 | 15 |
| 5 | 2778 | 15 |
| done | 5000 | 15 |
| 0 | 18 | 28 |
| 1 | 43 | 28 |
| 2 | 171 | 22 |
| 3 | 1055 | 22 |
| done | 5000 | 21 |
| 0 | 7 | 7 |
| 1 | 14 | 7 |
| 2 | 33 | 7 |
| 3 | 58 | 7 |
| 4 | 60 | 7 |
| done | 60 | 7 |
| 0 | 22 | 36 |
| 1 | 51 | 36 |
| 2 | 165 | 30 |
| 3 | 685 | 30 |
| 4 | 4117 | 29 |
| done | 5000 | 27 |
| 0 | 7 | 7 |
| 1 | 14 | 7 |
| 2 | 33 | 7 |
| 3 | 58 | 7 |
| 4 | 60 | 7 |
| done | 60 | 7 |
| 0 | 22 | 36 |
| 1 | 51 | 36 |
| 2 | 165 | 30 |
| 3 | 685 | 30 |
| 4 | 4117 | 29 |
| done | 5000 | 27 |
| 0 | 13 | 15 |
| 1 | 27 | 15 |
| 2 | 72 | 15 |
| 3 | 234 | 15 |
| 4 | 861 | 15 |
| 5 | 2778 | 15 |
| done | 5000 | 15 |
| 0 | 18 | 28 |
| 1 | 43 | 28 |
| 2 | 171 | 22 |
| 3 | 1055 | 22 |
| done | 5000 | 21 |
| 0 | 25 | 71 |
| 1 | 56 | 71 |
| 2 | 177 | 59 |
| 3 | 615 | 59 |
| 4 | 2321 | 59 |
| done | 5001 | 55 |
| 0 | 24 | 38 |
| 1 | 53 | 38 |
| 2 | 165 | 32 |
| 3 | 568 | 32 |
| 4 | 2224 | 32 |
| done | 5000 | 30 |
| 0 | 7 | 7 |
| 1 | 16 | 5 |
| 2 | 42 | 5 |
| 3 | 67 | 5 |
| 4 | 79 | 5 |
| done | 79 | 5 |
| 0 | 21 | 33 |
| 1 | 44 | 33 |
| 2 | 142 | 27 |
| 3 | 554 | 27 |
| 4 | 2658 | 27 |
| done | 5000 | 25 |
| 0 | 40 | 87 |
| 1 | 121 | 77 |
| 2 | 461 | 71 |
| 3 | 2707 | 71 |
| done | 5000 | 71 |
| 0 | 36 | 79 |
| 1 | 105 | 71 |
| 2 | 412 | 65 |
| 3 | 2519 | 65 |
| done | 5001 | 65 |
| 0 | 36 | 73 |
| 1 | 100 | 71 |
| 2 | 372 | 65 |
| 3 | 2070 | 55 |
| done | 5001 | 55 |
| 0 | 31 | 65 |
| 1 | 81 | 65 |
| 2 | 317 | 59 |
| 3 | 1842 | 49 |
| done | 5001 | 49 |
| 0 | 26 | 41 |
| 1 | 68 | 41 |
| 2 | 259 | 35 |
| 3 | 1607 | 35 |
| done | 5001 | 35 |
| 0 | 25 | 69 |
| 1 | 62 | 69 |
| 2 | 266 | 57 |
| 3 | 1636 | 49 |
| done | 5000 | 49 |
| 0 | 14 | 21 |
| 1 | 26 | 21 |
| 2 | 78 | 15 |
| 3 | 272 | 15 |
| 4 | 1065 | 15 |
| 5 | 4415 | 13 |
| done | 5000 | 13 |
| 0 | 18 | 27 |
| 1 | 32 | 27 |
| 2 | 63 | 19 |
| 3 | 150 | 19 |
| 4 | 409 | 19 |
| 5 | 902 | 17 |
| 6 | 1954 | 15 |
| done | 5000 | 15 |
| 0 | 21 | 26 |
| 1 | 38 | 25 |
| 2 | 68 | 20 |
| 3 | 146 | 18 |
| 4 | 374 | 18 |
| 5 | 856 | 16 |
| 6 | 1848 | 16 |
| 7 | 3549 | 14 |
| done | 5001 | 14 |
| 0 | 21 | 26 |
| 1 | 38 | 25 |
| 2 | 68 | 20 |
| 3 | 146 | 18 |
| 4 | 374 | 18 |
| 5 | 856 | 16 |
| 6 | 1848 | 16 |
| 7 | 3549 | 14 |
| done | 5001 | 14 |
| 0 | 21 | 26 |
| 1 | 40 | 26 |
| 2 | 86 | 21 |
| 3 | 206 | 20 |
| 4 | 648 | 18 |
| 5 | 2798 | 16 |
| done | 5001 | 16 |
| 0 | 21 | 26 |
| 1 | 38 | 25 |
| 2 | 68 | 20 |
| 3 | 143 | 18 |
| 4 | 375 | 18 |
| 5 | 856 | 16 |
| 6 | 1858 | 16 |
| 7 | 3556 | 14 |
| done | 5000 | 14 |
| 0 | 17 | 25 |
| 1 | 32 | 25 |
| 2 | 58 | 18 |
| 3 | 110 | 18 |
| 4 | 280 | 18 |
| 5 | 704 | 16 |
| 6 | 1574 | 14 |
| 7 | 3988 | 14 |
| done | 5000 | 14 |
| 0 | 17 | 25 |
| 1 | 32 | 25 |
| 2 | 58 | 18 |
| 3 | 110 | 18 |
| 4 | 280 | 18 |
| 5 | 704 | 16 |
| 6 | 1574 | 14 |
| 7 | 3988 | 14 |
| done | 5000 | 14 |
| 0 | 19 | 25 |
| 1 | 37 | 25 |
| 2 | 72 | 20 |
| 3 | 163 | 18 |
| 4 | 531 | 18 |
| 5 | 2355 | 16 |
| done | 5000 | 16 |
| 0 | 21 | 26 |
| 1 | 38 | 25 |
| 2 | 68 | 20 |
| 3 | 143 | 18 |
| 4 | 375 | 18 |
| 5 | 856 | 16 |
| 6 | 1858 | 16 |
| 7 | 3556 | 14 |
| done | 5000 | 14 |
| 0 | 17 | 25 |
| 1 | 32 | 25 |
| 2 | 58 | 18 |
| 3 | 110 | 18 |
| 4 | 280 | 18 |
| 5 | 704 | 16 |
| 6 | 1574 | 14 |
| 7 | 3988 | 14 |
| done | 5000 | 14 |
| 0 | 17 | 25 |
| 1 | 32 | 25 |
| 2 | 58 | 18 |
| 3 | 110 | 18 |
| 4 | 280 | 18 |
| 5 | 704 | 16 |
| 6 | 1574 | 14 |
| 7 | 3988 | 14 |
| done | 5000 | 14 |
| 0 | 19 | 25 |
| 1 | 37 | 25 |
| 2 | 72 | 20 |
| 3 | 163 | 18 |
| 4 | 531 | 18 |
| 5 | 2355 | 16 |
| done | 5000 | 16 |
| 0 | 21 | 26 |
| 1 | 40 | 26 |
| 2 | 86 | 21 |
| 3 | 206 | 20 |
| 4 | 649 | 18 |
| 5 | 2807 | 16 |
| done | 5000 | 16 |
| 0 | 19 | 25 |
| 1 | 37 | 25 |
| 2 | 72 | 20 |
| 3 | 163 | 18 |
| 4 | 533 | 18 |
| 5 | 2376 | 16 |
| done | 5000 | 16 |
| 0 | 19 | 25 |
| 1 | 37 | 25 |
| 2 | 72 | 20 |
| 3 | 163 | 18 |
| 4 | 533 | 18 |
| 5 | 2376 | 16 |
| done | 5000 | 16 |
| 0 | 17 | 25 |
| 1 | 31 | 25 |
| 2 | 68 | 18 |
| 3 | 149 | 18 |
| 4 | 408 | 18 |
| 5 | 1612 | 16 |
| done | 5000 | 16 |
| 0 | 20 | 25 |
| 1 | 38 | 25 |
| 2 | 78 | 25 |
| 3 | 195 | 21 |
| 4 | 600 | 18 |
| 5 | 2570 | 16 |
| done | 5000 | 16 |
| 0 | 18 | 24 |
| 1 | 37 | 24 |
| 2 | 70 | 24 |
| 3 | 169 | 20 |
| 4 | 538 | 18 |
| 5 | 2384 | 16 |
| done | 5000 | 16 |
| 0 | 18 | 24 |
| 1 | 37 | 24 |
| 2 | 70 | 24 |
| 3 | 169 | 20 |
| 4 | 538 | 18 |
| 5 | 2384 | 16 |
| done | 5000 | 16 |
| 0 | 17 | 24 |
| 1 | 31 | 24 |
| 2 | 63 | 24 |
| 3 | 145 | 18 |
| 4 | 444 | 18 |
| 5 | 1754 | 16 |
| done | 5001 | 16 |
| 0 | 16 | 23 |
| 1 | 29 | 23 |
| 2 | 67 | 17 |
| 3 | 180 | 17 |
| 4 | 554 | 17 |
| 5 | 2020 | 15 |
| done | 5000 | 15 |
| 0 | 15 | 22 |
| 1 | 30 | 22 |
| 2 | 92 | 16 |
| 3 | 327 | 16 |
| 4 | 1243 | 16 |
| done | 5000 | 14 |
| 0 | 15 | 22 |
| 1 | 29 | 22 |
| 2 | 93 | 16 |
| 3 | 339 | 16 |
| 4 | 1320 | 16 |
| done | 5000 | 14 |
| 0 | 20 | 65 |
| 1 | 45 | 53 |
| 2 | 193 | 29 |
| 3 | 1174 | 19 |
| done | 5000 | 19 |
| 0 | 20 | 65 |
| 1 | 49 | 53 |
| 2 | 211 | 27 |
| 3 | 1339 | 27 |
| done | 5000 | 27 |
| 0 | 18 | 65 |
| 1 | 42 | 65 |
| 2 | 185 | 19 |
| 3 | 1143 | 19 |
| done | 5001 | 19 |
| 0 | 16 | 45 |
| 1 | 28 | 45 |
| 2 | 80 | 33 |
| 3 | 276 | 33 |
| 4 | 1035 | 33 |
| 5 | 4287 | 29 |
| done | 5001 | 29 |
| 0 | 15 | 22 |
| 1 | 27 | 22 |
| 2 | 79 | 16 |
| 3 | 279 | 16 |
| 4 | 1044 | 16 |
| 5 | 4284 | 14 |
| done | 5001 | 14 |
| 0 | 16 | 65 |
| 1 | 38 | 65 |
| 2 | 184 | 17 |
| 3 | 1321 | 17 |
| done | 5000 | 17 |
| 0 | 15 | 22 |
| 1 | 27 | 22 |
| 2 | 79 | 16 |
| 3 | 279 | 16 |
| 4 | 1044 | 16 |
| 5 | 4284 | 14 |
| done | 5001 | 14 |
| 0 | 15 | 22 |
| 1 | 27 | 22 |
| 2 | 79 | 16 |
| 3 | 279 | 16 |
| 4 | 1044 | 16 |
| 5 | 4284 | 14 |
| done | 5001 | 14 |
| 0 | 12 | 19 |
| 1 | 22 | 19 |
| 2 | 61 | 13 |
| 3 | 174 | 13 |
| 4 | 540 | 13 |
| 5 | 1960 | 11 |
| done | 5000 | 11 |
| 0 | 13 | 20 |
| 1 | 25 | 20 |
| 2 | 74 | 14 |
| 3 | 250 | 14 |
| 4 | 988 | 14 |
| 5 | 4053 | 12 |
| done | 5000 | 12 |
| 0 | 12 | 19 |
| 1 | 22 | 19 |
| 2 | 61 | 13 |
| 3 | 174 | 13 |
| 4 | 540 | 13 |
| 5 | 1960 | 11 |
| done | 5000 | 11 |
| 0 | 13 | 20 |
| 1 | 25 | 20 |
| 2 | 74 | 14 |
| 3 | 250 | 14 |
| 4 | 988 | 14 |
| 5 | 4053 | 12 |
| done | 5000 | 12 |
| 0 | 12 | 19 |
| 1 | 22 | 19 |
| 2 | 59 | 13 |
| 3 | 167 | 13 |
| 4 | 517 | 13 |
| 5 | 1837 | 11 |
| done | 5000 | 11 |
| 0 | 13 | 20 |
| 1 | 25 | 20 |
| 2 | 72 | 14 |
| 3 | 241 | 14 |
| 4 | 936 | 14 |
| 5 | 4074 | 12 |
| done | 5001 | 12 |
| 0 | 12 | 19 |
| 1 | 22 | 19 |
| 2 | 59 | 13 |
| 3 | 167 | 13 |
| 4 | 517 | 13 |
| 5 | 1837 | 11 |
| done | 5000 | 11 |
| 0 | 13 | 20 |
| 1 | 25 | 20 |
| 2 | 72 | 14 |
| 3 | 241 | 14 |
| 4 | 936 | 14 |
| 5 | 4074 | 12 |
| done | 5001 | 12 |
| 0 | 16 | 27 |
| 1 | 30 | 27 |
| 2 | 81 | 21 |
| 3 | 261 | 21 |
| 4 | 883 | 21 |
| 5 | 3367 | 19 |
| done | 5001 | 19 |
| 0 | 15 | 22 |
| 1 | 27 | 22 |
| 2 | 67 | 16 |
| 3 | 179 | 16 |
| 4 | 555 | 16 |
| 5 | 1949 | 14 |
| done | 5000 | 14 |
| 0 | 12 | 19 |
| 1 | 24 | 17 |
| 2 | 69 | 11 |
| 3 | 172 | 11 |
| 4 | 426 | 11 |
| 5 | 1178 | 9 |
| 6 | 4262 | 7 |
| done | 5000 | 7 |
| 0 | 16 | 23 |
| 1 | 33 | 23 |
| 2 | 101 | 17 |
| 3 | 333 | 17 |
| 4 | 1105 | 17 |
| 5 | 3942 | 15 |
| done | 5001 | 15 |
| 0 | 12 | 19 |
| 1 | 24 | 17 |
| 2 | 69 | 11 |
| 3 | 172 | 11 |
| 4 | 426 | 11 |
| 5 | 1178 | 9 |
| 6 | 4262 | 7 |
| done | 5000 | 7 |
| 0 | 11 | 11 |
| 1 | 17 | 11 |
| 2 | 36 | 11 |
| 3 | 82 | 11 |
| 4 | 209 | 11 |
| 5 | 642 | 11 |
| 6 | 2487 | 11 |
| done | 5000 | 11 |
| 0 | 17 | 25 |
| 1 | 41 | 25 |
| 2 | 114 | 19 |
| 3 | 437 | 19 |
| 4 | 2386 | 19 |
| done | 5000 | 17 |
| 0 | 16 | 25 |
| 1 | 31 | 25 |
| 2 | 95 | 19 |
| 3 | 408 | 19 |
| 4 | 2085 | 19 |
| done | 5001 | 17 |
| 0 | 12 | 12 |
| 1 | 18 | 12 |
| 2 | 28 | 12 |
| 3 | 56 | 12 |
| 4 | 87 | 12 |
| 5 | 109 | 12 |
| 6 | 127 | 12 |
| 7 | 143 | 12 |
| 8 | 179 | 12 |
| 9 | 250 | 12 |
| 10 | 335 | 12 |
| 11 | 374 | 12 |
| 12 | 446 | 12 |
| 13 | 466 | 12 |
| done | 466 | 12 |
| 0 | 11 | 11 |
| 1 | 18 | 11 |
| 2 | 23 | 11 |
| 3 | 43 | 11 |
| 4 | 71 | 11 |
| 5 | 103 | 11 |
| 6 | 120 | 11 |
| 7 | 130 | 11 |
| 8 | 141 | 11 |
| 9 | 179 | 11 |
| 10 | 255 | 11 |
| 11 | 359 | 11 |
| 12 | 420 | 11 |
| 13 | 439 | 11 |
| done | 439 | 11 |
| 0 | 11 | 11 |
| 1 | 18 | 11 |
| 2 | 23 | 11 |
| 3 | 43 | 11 |
| 4 | 71 | 11 |
| 5 | 103 | 11 |
| 6 | 120 | 11 |
| 7 | 130 | 11 |
| 8 | 141 | 11 |
| 9 | 179 | 11 |
| 10 | 255 | 11 |
| 11 | 359 | 11 |
| 12 | 420 | 11 |
| 13 | 439 | 11 |
| done | 439 | 11 |
| 0 | 11 | 11 |
| 1 | 17 | 11 |
| 2 | 33 | 11 |
| 3 | 68 | 11 |
| 4 | 182 | 11 |
| 5 | 581 | 11 |
| 6 | 2292 | 11 |
| done | 5000 | 11 |
| 0 | 10 | 10 |
| 1 | 17 | 10 |
| 2 | 34 | 10 |
| 3 | 81 | 10 |
| 4 | 209 | 10 |
| 5 | 658 | 10 |
| 6 | 2477 | 10 |
| done | 5000 | 10 |
| 0 | 10 | 10 |
| 1 | 16 | 10 |
| 2 | 33 | 10 |
| 3 | 77 | 10 |
| 4 | 205 | 10 |
| 5 | 668 | 10 |
| 6 | 2788 | 10 |
| done | 5000 | 10 |
| 0 | 13 | 29 |
| 1 | 25 | 23 |
| 2 | 76 | 13 |
| 3 | 241 | 13 |
| 4 | 914 | 11 |
| 5 | 4179 | 11 |
| done | 5000 | 11 |
| 0 | 11 | 21 |
| 1 | 15 | 21 |
| 2 | 27 | 21 |
| 3 | 58 | 21 |
| 4 | 131 | 21 |
| 5 | 351 | 21 |
| 6 | 1170 | 21 |
| 7 | 4379 | 21 |
| done | 5000 | 21 |
| 0 | 10 | 10 |
| 1 | 14 | 10 |
| 2 | 26 | 10 |
| 3 | 55 | 10 |
| 4 | 131 | 10 |
| 5 | 350 | 10 |
| 6 | 1179 | 10 |
| 7 | 4348 | 10 |
| done | 5000 | 10 |
| 0 | 11 | 29 |
| 1 | 25 | 29 |
| 2 | 78 | 11 |
| 3 | 266 | 11 |
| 4 | 991 | 11 |
| 5 | 4252 | 11 |
| done | 5000 | 11 |
| 0 | 10 | 10 |
| 1 | 14 | 10 |
| 2 | 26 | 10 |
| 3 | 55 | 10 |
| 4 | 131 | 10 |
| 5 | 350 | 10 |
| 6 | 1179 | 10 |
| 7 | 4348 | 10 |
| done | 5000 | 10 |
| 0 | 10 | 10 |
| 1 | 14 | 10 |
| 2 | 26 | 10 |
| 3 | 55 | 10 |
| 4 | 131 | 10 |
| 5 | 350 | 10 |
| 6 | 1179 | 10 |
| 7 | 4348 | 10 |
| done | 5000 | 10 |
| 0 | 11 | 11 |
| 1 | 15 | 11 |
| 2 | 27 | 11 |
| 3 | 56 | 11 |
| 4 | 131 | 11 |
| 5 | 345 | 11 |
| 6 | 1168 | 11 |
| 7 | 4372 | 11 |
| done | 5000 | 11 |
| 0 | 11 | 11 |
| 1 | 15 | 11 |
| 2 | 27 | 11 |
| 3 | 56 | 11 |
| 4 | 131 | 11 |
| 5 | 345 | 11 |
| 6 | 1168 | 11 |
| 7 | 4372 | 11 |
| done | 5000 | 11 |
| 0 | 12 | 12 |
| 1 | 16 | 12 |
| 2 | 28 | 12 |
| 3 | 57 | 12 |
| 4 | 128 | 12 |
| 5 | 340 | 12 |
| 6 | 1160 | 12 |
| 7 | 4363 | 12 |
| done | 5000 | 12 |
| 0 | 12 | 12 |
| 1 | 16 | 12 |
| 2 | 28 | 12 |
| 3 | 57 | 12 |
| 4 | 128 | 12 |
| 5 | 340 | 12 |
| 6 | 1160 | 12 |
| 7 | 4363 | 12 |
| done | 5000 | 12 |
| 0 | 11 | 11 |
| 1 | 15 | 11 |
| 2 | 24 | 11 |
| 3 | 45 | 11 |
| 4 | 93 | 11 |
| 5 | 225 | 11 |
| 6 | 727 | 11 |
| 7 | 2539 | 11 |
| done | 5000 | 11 |
| 0 | 11 | 11 |
| 1 | 15 | 11 |
| 2 | 24 | 11 |
| 3 | 45 | 11 |
| 4 | 93 | 11 |
| 5 | 225 | 11 |
| 6 | 727 | 11 |
| 7 | 2539 | 11 |
| done | 5000 | 11 |
| 0 | 11 | 12 |
| 1 | 18 | 10 |
| 2 | 31 | 10 |
| 3 | 65 | 10 |
| 4 | 147 | 10 |
| 5 | 390 | 10 |
| 6 | 1318 | 10 |
| 7 | 4936 | 10 |
| done | 5000 | 10 |
| 0 | 11 | 12 |
| 1 | 18 | 10 |
| 2 | 31 | 10 |
| 3 | 65 | 10 |
| 4 | 147 | 10 |
| 5 | 390 | 10 |
| 6 | 1318 | 10 |
| 7 | 4936 | 10 |
| done | 5000 | 10 |
| 0 | 11 | 15 |
| 1 | 15 | 15 |
| 2 | 27 | 15 |
| 3 | 56 | 15 |
| 4 | 131 | 15 |
| 5 | 345 | 15 |
| 6 | 1168 | 15 |
| 7 | 4369 | 15 |
| done | 5000 | 15 |
| 0 | 10 | 10 |
| 1 | 14 | 10 |
| 2 | 26 | 10 |
| 3 | 57 | 10 |
| 4 | 135 | 10 |
| 5 | 353 | 10 |
| 6 | 1158 | 10 |
| 7 | 4382 | 10 |
| done | 5000 | 10 |
| 0 | 13 | 17 |
| 1 | 23 | 17 |
| 2 | 44 | 17 |
| 3 | 81 | 17 |
| 4 | 154 | 17 |
| 5 | 360 | 17 |
| 6 | 1166 | 17 |
| 7 | 4329 | 17 |
| done | 5000 | 17 |
| 0 | 12 | 14 |
| 1 | 18 | 14 |
| 2 | 32 | 14 |
| 3 | 62 | 14 |
| 4 | 133 | 14 |
| 5 | 347 | 14 |
| 6 | 1156 | 14 |
| 7 | 4395 | 14 |
| done | 5000 | 14 |
| 0 | 11 | 13 |
| 1 | 19 | 11 |
| 2 | 37 | 11 |
| 3 | 71 | 11 |
| 4 | 143 | 11 |
| 5 | 359 | 11 |
| 6 | 1167 | 11 |
| 7 | 4327 | 11 |
| done | 5001 | 11 |
| 0 | 12 | 14 |
| 1 | 18 | 14 |
| 2 | 30 | 14 |
| 3 | 59 | 14 |
| 4 | 132 | 14 |
| 5 | 344 | 14 |
| 6 | 1159 | 14 |
| 7 | 4363 | 14 |
| done | 5000 | 14 |
| 0 | 11 | 11 |
| 1 | 15 | 11 |
| 2 | 27 | 11 |
| 3 | 56 | 11 |
| 4 | 131 | 11 |
| 5 | 345 | 11 |
| 6 | 1168 | 11 |
| 7 | 4369 | 11 |
| done | 5000 | 11 |
| 0 | 10 | 10 |
| 1 | 16 | 8 |
| 2 | 30 | 8 |
| 3 | 61 | 8 |
| 4 | 136 | 8 |
| 5 | 342 | 8 |
| 6 | 1154 | 8 |
| 7 | 4341 | 8 |
| done | 5000 | 8 |
| 0 | 11 | 13 |
| 1 | 19 | 13 |
| 2 | 31 | 13 |
| 3 | 60 | 13 |
| 4 | 132 | 13 |
| 5 | 345 | 13 |
| 6 | 1159 | 13 |
| 7 | 4360 | 13 |
| done | 5000 | 13 |
| 0 | 10 | 10 |
| 1 | 16 | 10 |
| 2 | 28 | 10 |
| 3 | 59 | 10 |
| 4 | 134 | 10 |
| 5 | 349 | 10 |
| 6 | 1182 | 10 |
| 7 | 4377 | 10 |
| done | 5000 | 10 |
| 0 | 8 | 9 |
| 1 | 14 | 7 |
| 2 | 26 | 3 |
| 3 | 38 | 1 |
| 4 | 55 | 1 |
| 5 | 80 | 1 |
| 6 | 214 | 1 |
| 7 | 698 | 1 |
| 8 | 1439 | 1 |
| 9 | 3947 | 1 |
| done | 5001 | 1 |
| 0 | 7 | 7 |
| 1 | 13 | 3 |
| 2 | 19 | 1 |
| 3 | 26 | 1 |
| 4 | 36 | 1 |
| 5 | 49 | 1 |
| 6 | 65 | 1 |
| 7 | 84 | 1 |
| 8 | 106 | 1 |
| 9 | 131 | 1 |
| 10 | 159 | 1 |
| 11 | 190 | 1 |
| 12 | 224 | 1 |
| 13 | 261 | 1 |
| 14 | 301 | 1 |
| 15 | 344 | 1 |
| 16 | 390 | 1 |
| 17 | 439 | 1 |
| 18 | 491 | 1 |
| 19 | 546 | 1 |
| 20 | 604 | 1 |
| 21 | 665 | 1 |
| 22 | 729 | 1 |
| 23 | 796 | 1 |
| 24 | 866 | 1 |
| 25 | 939 | 1 |
| 26 | 1015 | 1 |
| 27 | 1094 | 1 |
| 28 | 1176 | 1 |
| 29 | 1261 | 1 |
| 30 | 1349 | 1 |
| 31 | 1440 | 1 |
| 32 | 1534 | 1 |
| 33 | 1631 | 1 |
| 34 | 1731 | 1 |
| 35 | 1834 | 1 |
| 36 | 1940 | 1 |
| 37 | 2049 | 1 |
| 38 | 2161 | 1 |
| 39 | 2276 | 1 |
| 40 | 2394 | 1 |
| 41 | 2515 | 1 |
| 42 | 2639 | 1 |
| 43 | 2766 | 1 |
| 44 | 2896 | 1 |
| 45 | 3029 | 1 |
| 46 | 3165 | 1 |
| 47 | 3304 | 1 |
| 48 | 3446 | 1 |
| 49 | 3591 | 1 |
| 50 | 3739 | 1 |
| 51 | 3890 | 1 |
| 52 | 4044 | 1 |
| 53 | 4201 | 1 |
| 54 | 4361 | 1 |
| 55 | 4524 | 1 |
| 56 | 4690 | 1 |
| 57 | 4859 | 1 |
| done | 5000 | 1 |
| 0 | 7 | 7 |
| 1 | 11 | 7 |
| 2 | 23 | 7 |
| 3 | 52 | 7 |
| 4 | 125 | 7 |
| 5 | 336 | 7 |
| 6 | 1159 | 7 |
| 7 | 4361 | 7 |
| done | 5000 | 7 |
| 0 | 11 | 19 |
| 1 | 17 | 19 |
| 2 | 27 | 19 |
| 3 | 48 | 19 |
| 4 | 96 | 19 |
| 5 | 228 | 19 |
| 6 | 733 | 19 |
| 7 | 2549 | 19 |
| done | 5001 | 19 |
| 0 | 10 | 10 |
| 1 | 14 | 10 |
| 2 | 23 | 10 |
| 3 | 44 | 10 |
| 4 | 94 | 10 |
| 5 | 221 | 10 |
| 6 | 727 | 10 |
| 7 | 2520 | 10 |
| done | 5000 | 10 |
| 0 | 3 | 3 |
| 1 | 6 | 1 |
| done | 6 | 1 |
| 0 | 10 | 11 |
| 1 | 17 | 9 |
| 2 | 30 | 9 |
| 3 | 66 | 9 |
| 4 | 149 | 9 |
| 5 | 396 | 9 |
| 6 | 1339 | 9 |
| 7 | 4968 | 9 |
| done | 5000 | 9 |
| 0 | 10 | 10 |
| 1 | 14 | 10 |
| 2 | 26 | 10 |
| 3 | 57 | 10 |
| 4 | 135 | 10 |
| 5 | 353 | 10 |
| 6 | 1158 | 10 |
| 7 | 4389 | 10 |
| done | 5000 | 10 |
| 0 | 10 | 10 |
| 1 | 14 | 10 |
| 2 | 26 | 10 |
| 3 | 57 | 10 |
| 4 | 135 | 10 |
| 5 | 353 | 10 |
| 6 | 1158 | 10 |
| 7 | 4389 | 10 |
| done | 5000 | 10 |
| 0 | 9 | 9 |
| 1 | 13 | 9 |
| 2 | 25 | 9 |
| 3 | 56 | 9 |
| 4 | 128 | 9 |
| 5 | 344 | 9 |
| 6 | 1172 | 9 |
| 7 | 4366 | 9 |
| done | 5001 | 9 |
| 0 | 1 | 1 |
| done | 1 | 1 |
| 0 | 40 | 99 |
| 1 | 107 | 88 |
| 2 | 324 | 80 |
| 3 | 1234 | 76 |
| done | 5000 | 71 |
| 0 | 42 | 100 |
| 1 | 112 | 93 |
| 2 | 338 | 85 |
| 3 | 1385 | 76 |
| done | 5000 | 76 |
| 0 | 1 | 1 |
| done | 1 | 1 |
| 0 | 37 | 50 |
| 1 | 101 | 46 |
| 2 | 308 | 44 |
| 3 | 1442 | 43 |
| done | 5000 | 43 |
| 0 | 38 | 50 |
| 1 | 102 | 47 |
| 2 | 308 | 45 |
| 3 | 1423 | 43 |
| done | 5000 | 43 |
| 0 | 1 | 1 |
| done | 1 | 1 |
| 0 | 28 | 63 |
| 1 | 75 | 40 |
| 2 | 177 | 25 |
| 3 | 563 | 23 |
| 4 | 2613 | 20 |
| done | 5001 | 20 |
| 0 | 30 | 63 |
| 1 | 78 | 43 |
| 2 | 177 | 29 |
| 3 | 617 | 23 |
| 4 | 2738 | 23 |
| done | 5000 | 23 |
| 0 | 15 | 18 |
| 1 | 37 | 17 |
| 2 | 66 | 15 |
| 3 | 141 | 13 |
| 4 | 322 | 13 |
| 5 | 857 | 13 |
| 6 | 2734 | 13 |
| done | 5000 | 13 |
| 0 | 21 | 29 |
| 1 | 55 | 25 |
| 2 | 105 | 21 |
| 3 | 234 | 19 |
| 4 | 622 | 17 |
| 5 | 2641 | 17 |
| done | 5001 | 17 |
| 0 | 22 | 29 |
| 1 | 55 | 27 |
| 2 | 101 | 23 |
| 3 | 255 | 19 |
| 4 | 692 | 19 |
| 5 | 2758 | 19 |
| done | 5000 | 19 |
14 alts after pruning (13 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 144 | 4 | 148 |
| Fresh | 4 | 9 | 13 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 148 | 14 | 162 |
Merged error: 18.3b
Found 4 expressions with local error:
| 4.9b | (* n (pow (/ l Om) (/ 2.0 2))) |
| 5.6b | (* (pow (/ l Om) (/ 2.0 2)) (- U U*)) |
| 8.5b | (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) (/ 2.0 2))) (* (pow (/ l Om) (/ 2.0 2)) (- U U*))))) |
| 16.2b | (sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) (/ 2.0 2))) (* (pow (/ l Om) (/ 2.0 2)) (- U U*)))))) |
| 41× | add-sqr-sqrt |
| 30× | unpow-prod-down associate-*r/ |
| 29× | add-exp-log |
| 25× | *-un-lft-identity associate-*r* |
| 23× | pow1 add-cube-cbrt |
| 21× | associate-*l* |
| 20× | times-frac |
| 17× | add-cbrt-cube |
| 14× | prod-exp |
| 12× | pow-prod-down |
| 11× | flip3-- flip-- |
| 8× | frac-sub cbrt-unprod unswap-sqr |
| 6× | distribute-rgt-in sub-neg distribute-lft-in sqrt-div |
| 4× | sqrt-pow1 pow-exp associate--l+ add-log-exp sqr-pow |
| 3× | *-commutative |
| 2× | pow-to-exp div-exp div-inv |
| 1× | pow1/2 sqrt-prod distribute-lft-out-- difference-of-squares |
| 11.0ms | (* n (pow (/ l Om) (/ 2.0 2))) |
| 22.0ms | (* (pow (/ l Om) (/ 2.0 2)) (- U U*)) |
| 15.0ms | (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) (/ 2.0 2))) (* (pow (/ l Om) (/ 2.0 2)) (- U U*))))) |
| 13.0ms | (sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) (/ 2.0 2))) (* (pow (/ l Om) (/ 2.0 2)) (- U U*)))))) |
| 64.0ms | (* n (pow (/ l Om) (/ 2.0 2))) |
| 152.0ms | (* (pow (/ l Om) (/ 2.0 2)) (- U U*)) |
| 449.0ms | (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) (/ 2.0 2))) (* (pow (/ l Om) (/ 2.0 2)) (- U U*))))) |
| 2.4s | (sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) (/ 2.0 2))) (* (pow (/ l Om) (/ 2.0 2)) (- U U*)))))) |
Useful iterations: 1 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 25 | 39 |
| 1 | 54 | 39 |
| 2 | 178 | 39 |
| 3 | 761 | 33 |
| 4 | 4349 | 33 |
| done | 5000 | 33 |
| 0 | 25 | 39 |
| 1 | 54 | 39 |
| 2 | 178 | 39 |
| 3 | 761 | 33 |
| 4 | 4349 | 33 |
| done | 5000 | 33 |
| 0 | 26 | 79 |
| 1 | 55 | 79 |
| 2 | 179 | 79 |
| 3 | 764 | 67 |
| 4 | 4372 | 67 |
| done | 5000 | 67 |
| 0 | 25 | 39 |
| 1 | 54 | 39 |
| 2 | 178 | 39 |
| 3 | 761 | 33 |
| 4 | 4349 | 33 |
| done | 5000 | 33 |
| 0 | 26 | 116 |
| 1 | 56 | 76 |
| 2 | 195 | 40 |
| 3 | 914 | 34 |
| done | 5000 | 34 |
| 0 | 6 | 6 |
| 1 | 10 | 6 |
| 2 | 16 | 6 |
| done | 16 | 6 |
| 0 | 21 | 32 |
| 1 | 43 | 32 |
| 2 | 135 | 32 |
| 3 | 507 | 26 |
| 4 | 2075 | 26 |
| done | 5000 | 24 |
| 0 | 41 | 88 |
| 1 | 122 | 78 |
| 2 | 458 | 78 |
| 3 | 2667 | 72 |
| done | 5000 | 72 |
| 0 | 21 | 42 |
| 1 | 56 | 32 |
| 2 | 205 | 32 |
| 3 | 964 | 32 |
| 4 | 4965 | 32 |
| done | 5000 | 32 |
| 0 | 37 | 80 |
| 1 | 106 | 72 |
| 2 | 407 | 72 |
| 3 | 2479 | 66 |
| done | 5000 | 66 |
| 0 | 17 | 34 |
| 1 | 46 | 26 |
| 2 | 167 | 26 |
| 3 | 685 | 26 |
| 4 | 2683 | 26 |
| done | 5000 | 26 |
| 0 | 37 | 74 |
| 1 | 101 | 72 |
| 2 | 369 | 72 |
| 3 | 2010 | 56 |
| done | 5001 | 56 |
| 0 | 17 | 22 |
| 1 | 37 | 20 |
| 2 | 101 | 20 |
| 3 | 317 | 20 |
| 4 | 1146 | 20 |
| 5 | 2904 | 20 |
| 6 | 4143 | 20 |
| 7 | 4479 | 20 |
| 8 | 4646 | 20 |
| 9 | 4710 | 20 |
| done | 4710 | 20 |
| 0 | 32 | 66 |
| 1 | 82 | 66 |
| 2 | 312 | 66 |
| 3 | 1785 | 50 |
| done | 5001 | 50 |
| 0 | 13 | 14 |
| 1 | 27 | 14 |
| 2 | 63 | 14 |
| 3 | 165 | 14 |
| 4 | 423 | 14 |
| 5 | 628 | 14 |
| 6 | 706 | 14 |
| 7 | 734 | 14 |
| 8 | 744 | 14 |
| done | 744 | 14 |
| 0 | 27 | 42 |
| 1 | 69 | 42 |
| 2 | 269 | 42 |
| 3 | 1761 | 36 |
| done | 5001 | 36 |
| 0 | 25 | 96 |
| 1 | 59 | 74 |
| 2 | 244 | 74 |
| 3 | 1418 | 62 |
| done | 5000 | 62 |
| 0 | 26 | 70 |
| 1 | 63 | 70 |
| 2 | 263 | 70 |
| 3 | 1608 | 58 |
| done | 5000 | 58 |
| 0 | 21 | 32 |
| 1 | 42 | 32 |
| 2 | 119 | 32 |
| 3 | 400 | 26 |
| 4 | 1566 | 26 |
| done | 5000 | 24 |
| 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 | 3 | 3 |
| 1 | 6 | 1 |
| done | 6 | 1 |
| 0 | 25 | 39 |
| 1 | 54 | 39 |
| 2 | 178 | 39 |
| 3 | 761 | 33 |
| 4 | 4349 | 33 |
| done | 5000 | 33 |
| 0 | 25 | 39 |
| 1 | 54 | 39 |
| 2 | 178 | 39 |
| 3 | 761 | 33 |
| 4 | 4349 | 33 |
| done | 5000 | 33 |
| 0 | 23 | 37 |
| 1 | 52 | 37 |
| 2 | 176 | 37 |
| 3 | 764 | 31 |
| 4 | 4344 | 31 |
| done | 5000 | 31 |
| 0 | 23 | 37 |
| 1 | 52 | 37 |
| 2 | 176 | 37 |
| 3 | 764 | 31 |
| 4 | 4344 | 31 |
| done | 5000 | 31 |
| 0 | 23 | 37 |
| 1 | 52 | 37 |
| 2 | 176 | 37 |
| 3 | 764 | 31 |
| 4 | 4344 | 31 |
| done | 5000 | 31 |
| 0 | 27 | 41 |
| 1 | 56 | 41 |
| 2 | 168 | 41 |
| 3 | 575 | 35 |
| 4 | 2143 | 35 |
| done | 5000 | 33 |
| 0 | 26 | 40 |
| 1 | 56 | 40 |
| 2 | 161 | 40 |
| 3 | 564 | 34 |
| 4 | 2172 | 34 |
| done | 5000 | 32 |
| 0 | 25 | 39 |
| 1 | 55 | 39 |
| 2 | 164 | 39 |
| 3 | 565 | 33 |
| 4 | 2185 | 33 |
| done | 5000 | 31 |
| 0 | 24 | 38 |
| 1 | 56 | 38 |
| 2 | 190 | 38 |
| 3 | 805 | 32 |
| 4 | 4411 | 32 |
| done | 5000 | 32 |
| 0 | 24 | 38 |
| 1 | 55 | 38 |
| 2 | 191 | 38 |
| 3 | 838 | 32 |
| 4 | 4777 | 32 |
| done | 5000 | 32 |
| 0 | 31 | 113 |
| 1 | 72 | 113 |
| 2 | 291 | 45 |
| 3 | 1703 | 39 |
| done | 5000 | 39 |
| 0 | 29 | 113 |
| 1 | 74 | 113 |
| 2 | 293 | 43 |
| 3 | 1740 | 37 |
| done | 5000 | 37 |
| 0 | 27 | 113 |
| 1 | 69 | 113 |
| 2 | 289 | 41 |
| 3 | 1784 | 35 |
| done | 5001 | 35 |
| 0 | 25 | 77 |
| 1 | 54 | 77 |
| 2 | 178 | 77 |
| 3 | 761 | 65 |
| 4 | 4349 | 65 |
| done | 5000 | 65 |
| 0 | 24 | 38 |
| 1 | 53 | 38 |
| 2 | 177 | 38 |
| 3 | 765 | 32 |
| 4 | 4348 | 32 |
| done | 5000 | 32 |
| 0 | 25 | 113 |
| 1 | 64 | 113 |
| 2 | 283 | 39 |
| 3 | 2005 | 33 |
| done | 5001 | 33 |
| 0 | 24 | 38 |
| 1 | 53 | 38 |
| 2 | 177 | 38 |
| 3 | 765 | 32 |
| 4 | 4348 | 32 |
| done | 5000 | 32 |
| 0 | 24 | 38 |
| 1 | 53 | 38 |
| 2 | 177 | 38 |
| 3 | 765 | 32 |
| 4 | 4348 | 32 |
| done | 5000 | 32 |
| 0 | 13 | 15 |
| 1 | 27 | 15 |
| 2 | 79 | 15 |
| 3 | 267 | 15 |
| 4 | 986 | 15 |
| 5 | 3139 | 15 |
| done | 5001 | 15 |
| 0 | 18 | 28 |
| 1 | 43 | 28 |
| 2 | 167 | 28 |
| 3 | 1031 | 22 |
| done | 5001 | 22 |
| 0 | 7 | 7 |
| 1 | 14 | 7 |
| 2 | 34 | 7 |
| 3 | 57 | 7 |
| 4 | 58 | 7 |
| done | 58 | 7 |
| 0 | 22 | 36 |
| 1 | 51 | 36 |
| 2 | 172 | 36 |
| 3 | 763 | 30 |
| 4 | 4584 | 29 |
| done | 5000 | 29 |
| 0 | 7 | 7 |
| 1 | 14 | 7 |
| 2 | 34 | 7 |
| 3 | 57 | 7 |
| 4 | 58 | 7 |
| done | 58 | 7 |
| 0 | 22 | 36 |
| 1 | 51 | 36 |
| 2 | 172 | 36 |
| 3 | 763 | 30 |
| 4 | 4584 | 29 |
| done | 5000 | 29 |
| 0 | 13 | 15 |
| 1 | 27 | 15 |
| 2 | 79 | 15 |
| 3 | 267 | 15 |
| 4 | 986 | 15 |
| 5 | 3139 | 15 |
| done | 5001 | 15 |
| 0 | 18 | 28 |
| 1 | 43 | 28 |
| 2 | 167 | 28 |
| 3 | 1031 | 22 |
| done | 5001 | 22 |
| 0 | 13 | 15 |
| 1 | 27 | 15 |
| 2 | 72 | 15 |
| 3 | 234 | 15 |
| 4 | 861 | 15 |
| 5 | 2778 | 15 |
| done | 5000 | 15 |
| 0 | 18 | 28 |
| 1 | 43 | 28 |
| 2 | 166 | 28 |
| 3 | 1000 | 22 |
| done | 5000 | 22 |
| 0 | 7 | 7 |
| 1 | 14 | 7 |
| 2 | 33 | 7 |
| 3 | 58 | 7 |
| 4 | 60 | 7 |
| done | 60 | 7 |
| 0 | 22 | 36 |
| 1 | 51 | 36 |
| 2 | 165 | 36 |
| 3 | 694 | 30 |
| 4 | 3975 | 29 |
| done | 5001 | 27 |
| 0 | 7 | 7 |
| 1 | 14 | 7 |
| 2 | 33 | 7 |
| 3 | 58 | 7 |
| 4 | 60 | 7 |
| done | 60 | 7 |
| 0 | 22 | 36 |
| 1 | 51 | 36 |
| 2 | 165 | 36 |
| 3 | 694 | 30 |
| 4 | 3975 | 29 |
| done | 5001 | 27 |
| 0 | 13 | 15 |
| 1 | 27 | 15 |
| 2 | 72 | 15 |
| 3 | 234 | 15 |
| 4 | 861 | 15 |
| 5 | 2778 | 15 |
| done | 5000 | 15 |
| 0 | 18 | 28 |
| 1 | 43 | 28 |
| 2 | 166 | 28 |
| 3 | 1000 | 22 |
| done | 5000 | 22 |
| 0 | 25 | 71 |
| 1 | 56 | 71 |
| 2 | 177 | 71 |
| 3 | 616 | 59 |
| 4 | 2229 | 59 |
| done | 5001 | 55 |
| 0 | 24 | 38 |
| 1 | 53 | 38 |
| 2 | 165 | 38 |
| 3 | 568 | 32 |
| 4 | 2149 | 32 |
| done | 5001 | 30 |
| 0 | 7 | 7 |
| 1 | 16 | 5 |
| 2 | 42 | 5 |
| 3 | 67 | 5 |
| 4 | 79 | 5 |
| done | 79 | 5 |
| 0 | 21 | 33 |
| 1 | 44 | 33 |
| 2 | 142 | 33 |
| 3 | 563 | 27 |
| 4 | 2612 | 27 |
| done | 5000 | 25 |
| 0 | 40 | 87 |
| 1 | 121 | 77 |
| 2 | 457 | 77 |
| 3 | 2645 | 71 |
| done | 5001 | 71 |
| 0 | 36 | 79 |
| 1 | 105 | 71 |
| 2 | 406 | 71 |
| 3 | 2479 | 65 |
| done | 5000 | 65 |
| 0 | 36 | 73 |
| 1 | 100 | 71 |
| 2 | 368 | 71 |
| 3 | 2012 | 55 |
| done | 5000 | 55 |
| 0 | 31 | 65 |
| 1 | 81 | 65 |
| 2 | 311 | 65 |
| 3 | 1780 | 49 |
| done | 5000 | 49 |
| 0 | 26 | 41 |
| 1 | 68 | 41 |
| 2 | 268 | 41 |
| 3 | 1744 | 35 |
| done | 5000 | 35 |
| 0 | 25 | 69 |
| 1 | 62 | 69 |
| 2 | 262 | 69 |
| 3 | 1614 | 57 |
| done | 5000 | 57 |
| 0 | 14 | 14 |
| 1 | 22 | 14 |
| 2 | 33 | 14 |
| 3 | 61 | 14 |
| 4 | 92 | 14 |
| 5 | 114 | 14 |
| 6 | 132 | 14 |
| 7 | 148 | 14 |
| 8 | 184 | 14 |
| 9 | 255 | 14 |
| 10 | 340 | 14 |
| 11 | 379 | 14 |
| 12 | 451 | 14 |
| 13 | 471 | 14 |
| done | 471 | 14 |
| 0 | 13 | 13 |
| 1 | 22 | 13 |
| 2 | 28 | 13 |
| 3 | 48 | 13 |
| 4 | 76 | 13 |
| 5 | 108 | 13 |
| 6 | 125 | 13 |
| 7 | 135 | 13 |
| 8 | 146 | 13 |
| 9 | 184 | 13 |
| 10 | 260 | 13 |
| 11 | 364 | 13 |
| 12 | 427 | 13 |
| 13 | 446 | 13 |
| done | 446 | 13 |
| 0 | 13 | 13 |
| 1 | 22 | 13 |
| 2 | 28 | 13 |
| 3 | 48 | 13 |
| 4 | 76 | 13 |
| 5 | 108 | 13 |
| 6 | 125 | 13 |
| 7 | 135 | 13 |
| 8 | 146 | 13 |
| 9 | 184 | 13 |
| 10 | 260 | 13 |
| 11 | 364 | 13 |
| 12 | 427 | 13 |
| 13 | 446 | 13 |
| done | 446 | 13 |
| 0 | 13 | 13 |
| 1 | 21 | 13 |
| 2 | 38 | 13 |
| 3 | 73 | 13 |
| 4 | 187 | 13 |
| 5 | 590 | 13 |
| 6 | 2301 | 13 |
| done | 5000 | 13 |
| 0 | 12 | 12 |
| 1 | 21 | 12 |
| 2 | 45 | 12 |
| 3 | 109 | 12 |
| 4 | 288 | 12 |
| 5 | 947 | 12 |
| 6 | 3756 | 12 |
| done | 5000 | 12 |
| 0 | 12 | 12 |
| 1 | 20 | 12 |
| 2 | 46 | 12 |
| 3 | 120 | 12 |
| 4 | 326 | 12 |
| 5 | 1053 | 12 |
| 6 | 4222 | 12 |
| done | 5000 | 12 |
| 0 | 15 | 35 |
| 1 | 29 | 29 |
| 2 | 99 | 15 |
| 3 | 410 | 15 |
| 4 | 2250 | 13 |
| done | 5001 | 13 |
| 0 | 13 | 25 |
| 1 | 19 | 25 |
| 2 | 38 | 25 |
| 3 | 84 | 25 |
| 4 | 213 | 25 |
| 5 | 633 | 25 |
| 6 | 2486 | 25 |
| done | 5000 | 25 |
| 0 | 12 | 12 |
| 1 | 18 | 12 |
| 2 | 37 | 12 |
| 3 | 83 | 12 |
| 4 | 212 | 12 |
| 5 | 635 | 12 |
| 6 | 2505 | 12 |
| done | 5001 | 12 |
| 0 | 13 | 35 |
| 1 | 29 | 35 |
| 2 | 108 | 13 |
| 3 | 481 | 13 |
| 4 | 2623 | 13 |
| done | 5000 | 13 |
| 0 | 12 | 12 |
| 1 | 18 | 12 |
| 2 | 37 | 12 |
| 3 | 83 | 12 |
| 4 | 212 | 12 |
| 5 | 635 | 12 |
| 6 | 2505 | 12 |
| done | 5001 | 12 |
| 0 | 12 | 12 |
| 1 | 18 | 12 |
| 2 | 37 | 12 |
| 3 | 83 | 12 |
| 4 | 212 | 12 |
| 5 | 635 | 12 |
| 6 | 2505 | 12 |
| done | 5001 | 12 |
| 0 | 13 | 13 |
| 1 | 19 | 13 |
| 2 | 32 | 13 |
| 3 | 61 | 13 |
| 4 | 137 | 13 |
| 5 | 354 | 13 |
| 6 | 1164 | 13 |
| 7 | 4338 | 13 |
| done | 5000 | 13 |
| 0 | 13 | 13 |
| 1 | 19 | 13 |
| 2 | 32 | 13 |
| 3 | 61 | 13 |
| 4 | 137 | 13 |
| 5 | 354 | 13 |
| 6 | 1164 | 13 |
| 7 | 4338 | 13 |
| done | 5000 | 13 |
| 0 | 14 | 14 |
| 1 | 20 | 14 |
| 2 | 33 | 14 |
| 3 | 64 | 14 |
| 4 | 139 | 14 |
| 5 | 353 | 14 |
| 6 | 1175 | 14 |
| 7 | 4366 | 14 |
| done | 5000 | 14 |
| 0 | 14 | 14 |
| 1 | 20 | 14 |
| 2 | 33 | 14 |
| 3 | 64 | 14 |
| 4 | 139 | 14 |
| 5 | 353 | 14 |
| 6 | 1175 | 14 |
| 7 | 4366 | 14 |
| done | 5000 | 14 |
| 0 | 13 | 13 |
| 1 | 19 | 13 |
| 2 | 29 | 13 |
| 3 | 50 | 13 |
| 4 | 98 | 13 |
| 5 | 227 | 13 |
| 6 | 729 | 13 |
| 7 | 2557 | 13 |
| done | 5001 | 13 |
| 0 | 13 | 13 |
| 1 | 19 | 13 |
| 2 | 29 | 13 |
| 3 | 50 | 13 |
| 4 | 98 | 13 |
| 5 | 227 | 13 |
| 6 | 729 | 13 |
| 7 | 2557 | 13 |
| done | 5001 | 13 |
| 0 | 13 | 14 |
| 1 | 22 | 12 |
| 2 | 36 | 12 |
| 3 | 70 | 12 |
| 4 | 151 | 12 |
| 5 | 397 | 12 |
| 6 | 1342 | 12 |
| 7 | 4974 | 12 |
| done | 5000 | 12 |
| 0 | 13 | 14 |
| 1 | 22 | 12 |
| 2 | 36 | 12 |
| 3 | 70 | 12 |
| 4 | 151 | 12 |
| 5 | 397 | 12 |
| 6 | 1342 | 12 |
| 7 | 4974 | 12 |
| done | 5000 | 12 |
| 0 | 9 | 9 |
| 1 | 13 | 9 |
| 2 | 25 | 9 |
| 3 | 56 | 9 |
| 4 | 128 | 9 |
| 5 | 344 | 9 |
| 6 | 1170 | 9 |
| 7 | 4350 | 9 |
| done | 5000 | 9 |
| 0 | 10 | 10 |
| 1 | 16 | 10 |
| 2 | 33 | 10 |
| 3 | 76 | 10 |
| 4 | 194 | 10 |
| 5 | 591 | 10 |
| 6 | 2208 | 10 |
| done | 5001 | 10 |
| 0 | 9 | 9 |
| 1 | 13 | 9 |
| 2 | 25 | 9 |
| 3 | 56 | 9 |
| 4 | 128 | 9 |
| 5 | 344 | 9 |
| 6 | 1170 | 9 |
| 7 | 4350 | 9 |
| done | 5000 | 9 |
| 0 | 10 | 10 |
| 1 | 16 | 10 |
| 2 | 33 | 10 |
| 3 | 76 | 10 |
| 4 | 194 | 10 |
| 5 | 591 | 10 |
| 6 | 2208 | 10 |
| done | 5001 | 10 |
| 0 | 9 | 9 |
| 1 | 13 | 9 |
| 2 | 25 | 9 |
| 3 | 56 | 9 |
| 4 | 128 | 9 |
| 5 | 344 | 9 |
| 6 | 1172 | 9 |
| 7 | 4366 | 9 |
| done | 5001 | 9 |
| 0 | 10 | 10 |
| 1 | 16 | 10 |
| 2 | 33 | 10 |
| 3 | 76 | 10 |
| 4 | 194 | 10 |
| 5 | 589 | 10 |
| 6 | 2182 | 10 |
| done | 5000 | 10 |
| 0 | 9 | 9 |
| 1 | 13 | 9 |
| 2 | 25 | 9 |
| 3 | 56 | 9 |
| 4 | 128 | 9 |
| 5 | 344 | 9 |
| 6 | 1172 | 9 |
| 7 | 4366 | 9 |
| done | 5001 | 9 |
| 0 | 10 | 10 |
| 1 | 16 | 10 |
| 2 | 33 | 10 |
| 3 | 76 | 10 |
| 4 | 194 | 10 |
| 5 | 589 | 10 |
| 6 | 2182 | 10 |
| done | 5000 | 10 |
| 0 | 13 | 17 |
| 1 | 21 | 17 |
| 2 | 41 | 17 |
| 3 | 83 | 17 |
| 4 | 197 | 17 |
| 5 | 543 | 17 |
| 6 | 1893 | 17 |
| done | 5001 | 17 |
| 0 | 12 | 12 |
| 1 | 18 | 12 |
| 2 | 31 | 12 |
| 3 | 60 | 12 |
| 4 | 131 | 12 |
| 5 | 343 | 12 |
| 6 | 1172 | 12 |
| 7 | 4348 | 12 |
| done | 5000 | 12 |
| 0 | 9 | 9 |
| 1 | 15 | 7 |
| 2 | 30 | 7 |
| 3 | 66 | 7 |
| 4 | 138 | 7 |
| 5 | 305 | 7 |
| 6 | 881 | 7 |
| 7 | 2892 | 7 |
| done | 5000 | 7 |
| 0 | 13 | 13 |
| 1 | 24 | 13 |
| 2 | 45 | 13 |
| 3 | 96 | 13 |
| 4 | 227 | 13 |
| 5 | 629 | 13 |
| 6 | 2106 | 13 |
| done | 5000 | 13 |
| 0 | 9 | 9 |
| 1 | 15 | 7 |
| 2 | 30 | 7 |
| 3 | 66 | 7 |
| 4 | 138 | 7 |
| 5 | 305 | 7 |
| 6 | 881 | 7 |
| 7 | 2892 | 7 |
| done | 5000 | 7 |
| 0 | 12 | 12 |
| 1 | 18 | 12 |
| 2 | 37 | 12 |
| 3 | 83 | 12 |
| 4 | 212 | 12 |
| 5 | 635 | 12 |
| 6 | 2482 | 12 |
| done | 5000 | 12 |
| 0 | 12 | 12 |
| 1 | 18 | 12 |
| 2 | 37 | 12 |
| 3 | 83 | 12 |
| 4 | 212 | 12 |
| 5 | 635 | 12 |
| 6 | 2482 | 12 |
| done | 5000 | 12 |
| 0 | 13 | 13 |
| 1 | 19 | 13 |
| 2 | 38 | 13 |
| 3 | 84 | 13 |
| 4 | 215 | 13 |
| 5 | 642 | 13 |
| 6 | 2462 | 13 |
| done | 5000 | 13 |
| 0 | 13 | 13 |
| 1 | 19 | 13 |
| 2 | 38 | 13 |
| 3 | 84 | 13 |
| 4 | 215 | 13 |
| 5 | 642 | 13 |
| 6 | 2462 | 13 |
| done | 5000 | 13 |
| 0 | 12 | 12 |
| 1 | 18 | 12 |
| 2 | 37 | 12 |
| 3 | 83 | 12 |
| 4 | 212 | 12 |
| 5 | 635 | 12 |
| 6 | 2482 | 12 |
| done | 5000 | 12 |
| 0 | 13 | 13 |
| 1 | 19 | 13 |
| 2 | 38 | 13 |
| 3 | 84 | 13 |
| 4 | 215 | 13 |
| 5 | 642 | 13 |
| 6 | 2462 | 13 |
| done | 5000 | 13 |
| 0 | 13 | 13 |
| 1 | 19 | 13 |
| 2 | 38 | 13 |
| 3 | 84 | 13 |
| 4 | 215 | 13 |
| 5 | 642 | 13 |
| 6 | 2462 | 13 |
| done | 5000 | 13 |
| 0 | 12 | 12 |
| 1 | 18 | 12 |
| 2 | 37 | 12 |
| 3 | 83 | 12 |
| 4 | 212 | 12 |
| 5 | 635 | 12 |
| 6 | 2482 | 12 |
| done | 5000 | 12 |
| 0 | 12 | 12 |
| 1 | 18 | 12 |
| 2 | 37 | 12 |
| 3 | 83 | 12 |
| 4 | 212 | 12 |
| 5 | 635 | 12 |
| 6 | 2482 | 12 |
| done | 5000 | 12 |
| 0 | 12 | 12 |
| 1 | 18 | 12 |
| 2 | 37 | 12 |
| 3 | 83 | 12 |
| 4 | 212 | 12 |
| 5 | 635 | 12 |
| 6 | 2482 | 12 |
| done | 5000 | 12 |
| 0 | 11 | 11 |
| 1 | 17 | 11 |
| 2 | 36 | 11 |
| 3 | 82 | 11 |
| 4 | 209 | 11 |
| 5 | 642 | 11 |
| 6 | 2487 | 11 |
| done | 5000 | 11 |
| 0 | 11 | 11 |
| 1 | 17 | 11 |
| 2 | 36 | 11 |
| 3 | 82 | 11 |
| 4 | 209 | 11 |
| 5 | 642 | 11 |
| 6 | 2487 | 11 |
| done | 5000 | 11 |
| 0 | 11 | 11 |
| 1 | 19 | 11 |
| 2 | 38 | 11 |
| 3 | 84 | 11 |
| 4 | 212 | 11 |
| 5 | 630 | 11 |
| 6 | 2450 | 11 |
| done | 5000 | 11 |
| 0 | 12 | 12 |
| 1 | 18 | 12 |
| 2 | 33 | 12 |
| 3 | 59 | 12 |
| 4 | 111 | 12 |
| 5 | 243 | 12 |
| 6 | 750 | 12 |
| 7 | 2563 | 12 |
| done | 5000 | 12 |
| 0 | 12 | 12 |
| 1 | 18 | 12 |
| 2 | 34 | 12 |
| 3 | 60 | 12 |
| 4 | 112 | 12 |
| 5 | 244 | 12 |
| 6 | 750 | 12 |
| 7 | 2560 | 12 |
| done | 5000 | 12 |
| 0 | 11 | 11 |
| 1 | 17 | 11 |
| 2 | 36 | 11 |
| 3 | 82 | 11 |
| 4 | 209 | 11 |
| 5 | 642 | 11 |
| 6 | 2487 | 11 |
| done | 5000 | 11 |
| 0 | 12 | 13 |
| 1 | 21 | 11 |
| 2 | 41 | 11 |
| 3 | 92 | 11 |
| 4 | 234 | 11 |
| 5 | 692 | 11 |
| 6 | 2652 | 11 |
| done | 5001 | 11 |
| 0 | 14 | 15 |
| 1 | 32 | 15 |
| 2 | 72 | 15 |
| 3 | 200 | 15 |
| 4 | 728 | 15 |
| 5 | 3687 | 15 |
| done | 5000 | 15 |
| 0 | 13 | 15 |
| 1 | 22 | 15 |
| 2 | 51 | 15 |
| 3 | 154 | 15 |
| 4 | 513 | 15 |
| 5 | 1900 | 15 |
| done | 5001 | 15 |
| 0 | 12 | 12 |
| 1 | 18 | 12 |
| 2 | 28 | 12 |
| 3 | 56 | 12 |
| 4 | 87 | 12 |
| 5 | 109 | 12 |
| 6 | 127 | 12 |
| 7 | 143 | 12 |
| 8 | 179 | 12 |
| 9 | 250 | 12 |
| 10 | 335 | 12 |
| 11 | 374 | 12 |
| 12 | 446 | 12 |
| 13 | 466 | 12 |
| done | 466 | 12 |
| 0 | 11 | 11 |
| 1 | 18 | 11 |
| 2 | 23 | 11 |
| 3 | 43 | 11 |
| 4 | 71 | 11 |
| 5 | 103 | 11 |
| 6 | 120 | 11 |
| 7 | 130 | 11 |
| 8 | 141 | 11 |
| 9 | 179 | 11 |
| 10 | 255 | 11 |
| 11 | 359 | 11 |
| 12 | 420 | 11 |
| 13 | 439 | 11 |
| done | 439 | 11 |
| 0 | 11 | 11 |
| 1 | 18 | 11 |
| 2 | 23 | 11 |
| 3 | 43 | 11 |
| 4 | 71 | 11 |
| 5 | 103 | 11 |
| 6 | 120 | 11 |
| 7 | 130 | 11 |
| 8 | 141 | 11 |
| 9 | 179 | 11 |
| 10 | 255 | 11 |
| 11 | 359 | 11 |
| 12 | 420 | 11 |
| 13 | 439 | 11 |
| done | 439 | 11 |
| 0 | 11 | 11 |
| 1 | 17 | 11 |
| 2 | 33 | 11 |
| 3 | 68 | 11 |
| 4 | 182 | 11 |
| 5 | 581 | 11 |
| 6 | 2292 | 11 |
| done | 5000 | 11 |
| 0 | 10 | 10 |
| 1 | 17 | 10 |
| 2 | 34 | 10 |
| 3 | 81 | 10 |
| 4 | 209 | 10 |
| 5 | 658 | 10 |
| 6 | 2477 | 10 |
| done | 5000 | 10 |
| 0 | 10 | 10 |
| 1 | 16 | 10 |
| 2 | 33 | 10 |
| 3 | 77 | 10 |
| 4 | 205 | 10 |
| 5 | 668 | 10 |
| 6 | 2788 | 10 |
| done | 5000 | 10 |
| 0 | 13 | 29 |
| 1 | 25 | 23 |
| 2 | 76 | 13 |
| 3 | 241 | 13 |
| 4 | 914 | 11 |
| 5 | 4179 | 11 |
| done | 5000 | 11 |
| 0 | 11 | 21 |
| 1 | 15 | 21 |
| 2 | 27 | 21 |
| 3 | 58 | 21 |
| 4 | 131 | 21 |
| 5 | 351 | 21 |
| 6 | 1170 | 21 |
| 7 | 4379 | 21 |
| done | 5000 | 21 |
| 0 | 10 | 10 |
| 1 | 14 | 10 |
| 2 | 26 | 10 |
| 3 | 55 | 10 |
| 4 | 131 | 10 |
| 5 | 350 | 10 |
| 6 | 1179 | 10 |
| 7 | 4348 | 10 |
| done | 5000 | 10 |
| 0 | 11 | 29 |
| 1 | 25 | 29 |
| 2 | 78 | 11 |
| 3 | 266 | 11 |
| 4 | 991 | 11 |
| 5 | 4252 | 11 |
| done | 5000 | 11 |
| 0 | 10 | 10 |
| 1 | 14 | 10 |
| 2 | 26 | 10 |
| 3 | 55 | 10 |
| 4 | 131 | 10 |
| 5 | 350 | 10 |
| 6 | 1179 | 10 |
| 7 | 4348 | 10 |
| done | 5000 | 10 |
| 0 | 10 | 10 |
| 1 | 14 | 10 |
| 2 | 26 | 10 |
| 3 | 55 | 10 |
| 4 | 131 | 10 |
| 5 | 350 | 10 |
| 6 | 1179 | 10 |
| 7 | 4348 | 10 |
| done | 5000 | 10 |
| 0 | 11 | 11 |
| 1 | 15 | 11 |
| 2 | 27 | 11 |
| 3 | 56 | 11 |
| 4 | 131 | 11 |
| 5 | 345 | 11 |
| 6 | 1168 | 11 |
| 7 | 4372 | 11 |
| done | 5000 | 11 |
| 0 | 11 | 11 |
| 1 | 15 | 11 |
| 2 | 27 | 11 |
| 3 | 56 | 11 |
| 4 | 131 | 11 |
| 5 | 345 | 11 |
| 6 | 1168 | 11 |
| 7 | 4372 | 11 |
| done | 5000 | 11 |
| 0 | 12 | 12 |
| 1 | 16 | 12 |
| 2 | 28 | 12 |
| 3 | 57 | 12 |
| 4 | 128 | 12 |
| 5 | 340 | 12 |
| 6 | 1160 | 12 |
| 7 | 4363 | 12 |
| done | 5000 | 12 |
| 0 | 12 | 12 |
| 1 | 16 | 12 |
| 2 | 28 | 12 |
| 3 | 57 | 12 |
| 4 | 128 | 12 |
| 5 | 340 | 12 |
| 6 | 1160 | 12 |
| 7 | 4363 | 12 |
| done | 5000 | 12 |
| 0 | 11 | 11 |
| 1 | 15 | 11 |
| 2 | 24 | 11 |
| 3 | 45 | 11 |
| 4 | 93 | 11 |
| 5 | 225 | 11 |
| 6 | 727 | 11 |
| 7 | 2539 | 11 |
| done | 5000 | 11 |
| 0 | 11 | 11 |
| 1 | 15 | 11 |
| 2 | 24 | 11 |
| 3 | 45 | 11 |
| 4 | 93 | 11 |
| 5 | 225 | 11 |
| 6 | 727 | 11 |
| 7 | 2539 | 11 |
| done | 5000 | 11 |
| 0 | 11 | 12 |
| 1 | 18 | 10 |
| 2 | 31 | 10 |
| 3 | 65 | 10 |
| 4 | 147 | 10 |
| 5 | 390 | 10 |
| 6 | 1318 | 10 |
| 7 | 4936 | 10 |
| done | 5000 | 10 |
| 0 | 11 | 12 |
| 1 | 18 | 10 |
| 2 | 31 | 10 |
| 3 | 65 | 10 |
| 4 | 147 | 10 |
| 5 | 390 | 10 |
| 6 | 1318 | 10 |
| 7 | 4936 | 10 |
| done | 5000 | 10 |
| 0 | 11 | 15 |
| 1 | 15 | 15 |
| 2 | 27 | 15 |
| 3 | 56 | 15 |
| 4 | 131 | 15 |
| 5 | 345 | 15 |
| 6 | 1168 | 15 |
| 7 | 4369 | 15 |
| done | 5000 | 15 |
| 0 | 10 | 10 |
| 1 | 14 | 10 |
| 2 | 26 | 10 |
| 3 | 57 | 10 |
| 4 | 135 | 10 |
| 5 | 353 | 10 |
| 6 | 1158 | 10 |
| 7 | 4382 | 10 |
| done | 5000 | 10 |
| 0 | 13 | 17 |
| 1 | 23 | 17 |
| 2 | 44 | 17 |
| 3 | 81 | 17 |
| 4 | 154 | 17 |
| 5 | 360 | 17 |
| 6 | 1166 | 17 |
| 7 | 4329 | 17 |
| done | 5000 | 17 |
| 0 | 12 | 14 |
| 1 | 18 | 14 |
| 2 | 32 | 14 |
| 3 | 62 | 14 |
| 4 | 133 | 14 |
| 5 | 347 | 14 |
| 6 | 1156 | 14 |
| 7 | 4395 | 14 |
| done | 5000 | 14 |
| 0 | 11 | 13 |
| 1 | 19 | 11 |
| 2 | 37 | 11 |
| 3 | 71 | 11 |
| 4 | 143 | 11 |
| 5 | 359 | 11 |
| 6 | 1167 | 11 |
| 7 | 4327 | 11 |
| done | 5001 | 11 |
| 0 | 12 | 14 |
| 1 | 18 | 14 |
| 2 | 30 | 14 |
| 3 | 59 | 14 |
| 4 | 132 | 14 |
| 5 | 344 | 14 |
| 6 | 1159 | 14 |
| 7 | 4363 | 14 |
| done | 5000 | 14 |
| 0 | 11 | 11 |
| 1 | 15 | 11 |
| 2 | 27 | 11 |
| 3 | 56 | 11 |
| 4 | 131 | 11 |
| 5 | 345 | 11 |
| 6 | 1168 | 11 |
| 7 | 4369 | 11 |
| done | 5000 | 11 |
| 0 | 10 | 10 |
| 1 | 16 | 8 |
| 2 | 30 | 8 |
| 3 | 61 | 8 |
| 4 | 136 | 8 |
| 5 | 342 | 8 |
| 6 | 1154 | 8 |
| 7 | 4341 | 8 |
| done | 5000 | 8 |
| 0 | 11 | 13 |
| 1 | 19 | 13 |
| 2 | 31 | 13 |
| 3 | 60 | 13 |
| 4 | 132 | 13 |
| 5 | 345 | 13 |
| 6 | 1159 | 13 |
| 7 | 4360 | 13 |
| done | 5000 | 13 |
| 0 | 10 | 10 |
| 1 | 16 | 10 |
| 2 | 28 | 10 |
| 3 | 59 | 10 |
| 4 | 134 | 10 |
| 5 | 349 | 10 |
| 6 | 1182 | 10 |
| 7 | 4377 | 10 |
| done | 5000 | 10 |
| 0 | 8 | 9 |
| 1 | 14 | 7 |
| 2 | 26 | 3 |
| 3 | 38 | 1 |
| 4 | 55 | 1 |
| 5 | 80 | 1 |
| 6 | 214 | 1 |
| 7 | 698 | 1 |
| 8 | 1439 | 1 |
| 9 | 3947 | 1 |
| done | 5001 | 1 |
| 0 | 7 | 7 |
| 1 | 13 | 3 |
| 2 | 19 | 1 |
| 3 | 26 | 1 |
| 4 | 36 | 1 |
| 5 | 49 | 1 |
| 6 | 65 | 1 |
| 7 | 84 | 1 |
| 8 | 106 | 1 |
| 9 | 131 | 1 |
| 10 | 159 | 1 |
| 11 | 190 | 1 |
| 12 | 224 | 1 |
| 13 | 261 | 1 |
| 14 | 301 | 1 |
| 15 | 344 | 1 |
| 16 | 390 | 1 |
| 17 | 439 | 1 |
| 18 | 491 | 1 |
| 19 | 546 | 1 |
| 20 | 604 | 1 |
| 21 | 665 | 1 |
| 22 | 729 | 1 |
| 23 | 796 | 1 |
| 24 | 866 | 1 |
| 25 | 939 | 1 |
| 26 | 1015 | 1 |
| 27 | 1094 | 1 |
| 28 | 1176 | 1 |
| 29 | 1261 | 1 |
| 30 | 1349 | 1 |
| 31 | 1440 | 1 |
| 32 | 1534 | 1 |
| 33 | 1631 | 1 |
| 34 | 1731 | 1 |
| 35 | 1834 | 1 |
| 36 | 1940 | 1 |
| 37 | 2049 | 1 |
| 38 | 2161 | 1 |
| 39 | 2276 | 1 |
| 40 | 2394 | 1 |
| 41 | 2515 | 1 |
| 42 | 2639 | 1 |
| 43 | 2766 | 1 |
| 44 | 2896 | 1 |
| 45 | 3029 | 1 |
| 46 | 3165 | 1 |
| 47 | 3304 | 1 |
| 48 | 3446 | 1 |
| 49 | 3591 | 1 |
| 50 | 3739 | 1 |
| 51 | 3890 | 1 |
| 52 | 4044 | 1 |
| 53 | 4201 | 1 |
| 54 | 4361 | 1 |
| 55 | 4524 | 1 |
| 56 | 4690 | 1 |
| 57 | 4859 | 1 |
| done | 5000 | 1 |
| 0 | 7 | 7 |
| 1 | 11 | 7 |
| 2 | 23 | 7 |
| 3 | 52 | 7 |
| 4 | 125 | 7 |
| 5 | 336 | 7 |
| 6 | 1159 | 7 |
| 7 | 4361 | 7 |
| done | 5000 | 7 |
| 0 | 11 | 19 |
| 1 | 17 | 19 |
| 2 | 27 | 19 |
| 3 | 48 | 19 |
| 4 | 96 | 19 |
| 5 | 228 | 19 |
| 6 | 733 | 19 |
| 7 | 2549 | 19 |
| done | 5001 | 19 |
| 0 | 10 | 10 |
| 1 | 14 | 10 |
| 2 | 23 | 10 |
| 3 | 44 | 10 |
| 4 | 94 | 10 |
| 5 | 221 | 10 |
| 6 | 727 | 10 |
| 7 | 2520 | 10 |
| done | 5000 | 10 |
| 0 | 3 | 3 |
| 1 | 6 | 1 |
| done | 6 | 1 |
| 0 | 10 | 11 |
| 1 | 17 | 9 |
| 2 | 30 | 9 |
| 3 | 66 | 9 |
| 4 | 149 | 9 |
| 5 | 396 | 9 |
| 6 | 1339 | 9 |
| 7 | 4968 | 9 |
| done | 5000 | 9 |
| 0 | 10 | 10 |
| 1 | 14 | 10 |
| 2 | 26 | 10 |
| 3 | 57 | 10 |
| 4 | 135 | 10 |
| 5 | 353 | 10 |
| 6 | 1158 | 10 |
| 7 | 4389 | 10 |
| done | 5000 | 10 |
| 0 | 10 | 10 |
| 1 | 14 | 10 |
| 2 | 26 | 10 |
| 3 | 57 | 10 |
| 4 | 135 | 10 |
| 5 | 353 | 10 |
| 6 | 1158 | 10 |
| 7 | 4389 | 10 |
| done | 5000 | 10 |
| 0 | 9 | 9 |
| 1 | 13 | 9 |
| 2 | 25 | 9 |
| 3 | 56 | 9 |
| 4 | 128 | 9 |
| 5 | 344 | 9 |
| 6 | 1172 | 9 |
| 7 | 4366 | 9 |
| done | 5001 | 9 |
| 0 | 1 | 1 |
| done | 1 | 1 |
| 0 | 40 | 99 |
| 1 | 107 | 88 |
| 2 | 324 | 80 |
| 3 | 1234 | 76 |
| done | 5000 | 71 |
| 0 | 42 | 100 |
| 1 | 112 | 93 |
| 2 | 338 | 85 |
| 3 | 1385 | 76 |
| done | 5000 | 76 |
| 0 | 1 | 1 |
| done | 1 | 1 |
| 0 | 37 | 50 |
| 1 | 101 | 46 |
| 2 | 308 | 44 |
| 3 | 1442 | 43 |
| done | 5000 | 43 |
| 0 | 38 | 50 |
| 1 | 102 | 47 |
| 2 | 308 | 45 |
| 3 | 1423 | 43 |
| done | 5000 | 43 |
| 0 | 23 | 51 |
| 1 | 60 | 33 |
| 2 | 125 | 21 |
| 3 | 362 | 17 |
| 4 | 1475 | 17 |
| done | 5000 | 17 |
| 0 | 25 | 59 |
| 1 | 66 | 51 |
| 2 | 140 | 30 |
| 3 | 394 | 21 |
| 4 | 1643 | 18 |
| done | 5000 | 18 |
| 0 | 26 | 59 |
| 1 | 68 | 39 |
| 2 | 144 | 25 |
| 3 | 430 | 21 |
| 4 | 1623 | 21 |
| done | 5000 | 21 |
| 0 | 15 | 18 |
| 1 | 37 | 17 |
| 2 | 66 | 15 |
| 3 | 141 | 13 |
| 4 | 322 | 13 |
| 5 | 857 | 13 |
| 6 | 2734 | 13 |
| done | 5000 | 13 |
| 0 | 21 | 29 |
| 1 | 55 | 25 |
| 2 | 105 | 21 |
| 3 | 234 | 19 |
| 4 | 622 | 17 |
| 5 | 2641 | 17 |
| done | 5001 | 17 |
| 0 | 22 | 29 |
| 1 | 55 | 27 |
| 2 | 101 | 23 |
| 3 | 255 | 19 |
| 4 | 692 | 19 |
| 5 | 2758 | 19 |
| done | 5000 | 19 |
16 alts after pruning (15 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 144 | 4 | 148 |
| Fresh | 1 | 11 | 12 |
| Picked | 0 | 1 | 1 |
| Done | 1 | 0 | 1 |
| Total | 146 | 16 | 162 |
Merged error: 18.2b
8% (8.3b remaining)
Error of 30.1b against oracle of 21.7b and baseline of 30.8b
| Iters | Range | Point | |
|---|---|---|---|
| 2 | 3.711116489754724e-275 | 4.1024546495804915e-275 | 3.9557028396458285e-275 |
| 10 | -8.940213085741528e+76 | -6.628807365996322e+61 | -2.1838820564420106e+70 |
Useful iterations: 1 (3.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 41 | 150 |
| 1 | 57 | 113 |
| done | 57 | 113 |
| 1.6s | 15062× | body | 80 | nan |
| 997.0ms | 9219× | body | 80 | valid |
Loading profile data...