Time bar (total: 22.4min)
| 29.0ms | 414× | body | 80 | nan |
| 29.0ms | 378× | body | 80 | valid |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 20 | 24 |
| 1 | 37 | 24 |
| 2 | 83 | 24 |
| 3 | 191 | 24 |
| 4 | 421 | 24 |
| 5 | 820 | 24 |
| 6 | 1498 | 24 |
| 7 | 3846 | 24 |
| done | 5000 | 24 |
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: 7.7b
Found 4 expressions with local error:
| 0.1b | (+ (- (* (- x 0.5) (log x)) x) 0.91893853320467) |
| 0.2b | (- (* (- x 0.5) (log x)) x) |
| 0.2b | (* (- x 0.5) (log x)) |
| 7.0b | (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x) |
| 24× | add-sqr-sqrt *-un-lft-identity |
| 20× | add-cube-cbrt |
| 18× | log-prod |
| 12× | associate--l+ |
| 11× | add-log-exp |
| 9× | distribute-rgt-in distribute-lft-in times-frac |
| 8× | add-exp-log associate-+l+ add-cbrt-cube |
| 7× | pow1 |
| 5× | associate-*l* |
| 4× | associate-*r* |
| 3× | associate-/r* associate-/l* |
| 2× | sub-neg flip3-- flip3-+ diff-log associate-*l/ sum-log flip-- flip-+ associate-/l/ |
| 1× | cbrt-undiv +-commutative associate-+l- frac-2neg div-exp pow-prod-down prod-exp clear-num log-pow *-commutative cbrt-unprod div-inv distribute-lft-out distribute-lft-out-- difference-of-squares unswap-sqr |
| 12.0ms | (+ (- (* (- x 0.5) (log x)) x) 0.91893853320467) |
| 8.0ms | (- (* (- x 0.5) (log x)) x) |
| 9.0ms | (* (- x 0.5) (log x)) |
| 19.0ms | (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x) |
| 42.0ms | (+ (- (* (- x 0.5) (log x)) x) 0.91893853320467) |
| 46.0ms | (- (* (- x 0.5) (log x)) x) |
| 25.0ms | (* (- x 0.5) (log x)) |
| 27.0ms | (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x) |
Useful iterations: 1 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 14 | 15 |
| 1 | 22 | 15 |
| 2 | 38 | 15 |
| 3 | 70 | 15 |
| 4 | 115 | 15 |
| 5 | 164 | 15 |
| 6 | 198 | 15 |
| 7 | 269 | 15 |
| 8 | 451 | 15 |
| 9 | 726 | 15 |
| 10 | 821 | 15 |
| 11 | 890 | 15 |
| 12 | 1037 | 15 |
| 13 | 1039 | 15 |
| done | 1039 | 15 |
| 0 | 13 | 14 |
| 1 | 22 | 14 |
| 2 | 39 | 14 |
| 3 | 72 | 14 |
| 4 | 115 | 14 |
| 5 | 167 | 14 |
| 6 | 209 | 14 |
| 7 | 307 | 14 |
| 8 | 562 | 14 |
| 9 | 1018 | 14 |
| 10 | 1525 | 14 |
| 11 | 2061 | 14 |
| 12 | 2464 | 14 |
| 13 | 2603 | 14 |
| 14 | 2605 | 14 |
| done | 2605 | 14 |
| 0 | 13 | 14 |
| 1 | 19 | 14 |
| 2 | 34 | 14 |
| 3 | 66 | 14 |
| 4 | 109 | 14 |
| 5 | 161 | 14 |
| 6 | 207 | 14 |
| 7 | 310 | 14 |
| 8 | 584 | 14 |
| 9 | 1101 | 14 |
| 10 | 1811 | 14 |
| 11 | 3526 | 14 |
| done | 5000 | 14 |
| 0 | 16 | 41 |
| 1 | 43 | 41 |
| 2 | 136 | 17 |
| 3 | 464 | 15 |
| 4 | 2208 | 15 |
| done | 5000 | 15 |
| 0 | 14 | 29 |
| 1 | 20 | 29 |
| 2 | 35 | 29 |
| 3 | 67 | 29 |
| 4 | 110 | 29 |
| 5 | 160 | 29 |
| 6 | 203 | 29 |
| 7 | 301 | 29 |
| 8 | 556 | 29 |
| 9 | 1012 | 29 |
| 10 | 1523 | 29 |
| 11 | 2063 | 29 |
| 12 | 2469 | 29 |
| 13 | 2608 | 29 |
| 14 | 2610 | 29 |
| done | 2610 | 29 |
| 0 | 13 | 14 |
| 1 | 19 | 14 |
| 2 | 34 | 14 |
| 3 | 66 | 14 |
| 4 | 109 | 14 |
| 5 | 161 | 14 |
| 6 | 204 | 14 |
| 7 | 302 | 14 |
| 8 | 557 | 14 |
| 9 | 1011 | 14 |
| 10 | 1525 | 14 |
| 11 | 2053 | 14 |
| 12 | 2459 | 14 |
| 13 | 2598 | 14 |
| 14 | 2600 | 14 |
| done | 2600 | 14 |
| 0 | 14 | 41 |
| 1 | 27 | 41 |
| 2 | 74 | 15 |
| 3 | 206 | 15 |
| 4 | 772 | 15 |
| 5 | 3976 | 15 |
| done | 5001 | 15 |
| 0 | 13 | 14 |
| 1 | 19 | 14 |
| 2 | 34 | 14 |
| 3 | 66 | 14 |
| 4 | 109 | 14 |
| 5 | 161 | 14 |
| 6 | 204 | 14 |
| 7 | 302 | 14 |
| 8 | 557 | 14 |
| 9 | 1011 | 14 |
| 10 | 1525 | 14 |
| 11 | 2053 | 14 |
| 12 | 2459 | 14 |
| 13 | 2598 | 14 |
| 14 | 2600 | 14 |
| done | 2600 | 14 |
| 0 | 13 | 14 |
| 1 | 19 | 14 |
| 2 | 34 | 14 |
| 3 | 66 | 14 |
| 4 | 109 | 14 |
| 5 | 161 | 14 |
| 6 | 204 | 14 |
| 7 | 302 | 14 |
| 8 | 557 | 14 |
| 9 | 1011 | 14 |
| 10 | 1525 | 14 |
| 11 | 2053 | 14 |
| 12 | 2459 | 14 |
| 13 | 2598 | 14 |
| 14 | 2600 | 14 |
| done | 2600 | 14 |
| 0 | 11 | 12 |
| 1 | 20 | 12 |
| 2 | 43 | 12 |
| 3 | 91 | 12 |
| 4 | 225 | 11 |
| 5 | 487 | 11 |
| 6 | 628 | 11 |
| 7 | 837 | 11 |
| 8 | 1172 | 11 |
| 9 | 1313 | 11 |
| done | 1313 | 11 |
| 0 | 2 | 2 |
| done | 2 | 2 |
| 0 | 16 | 31 |
| 1 | 28 | 31 |
| 2 | 52 | 31 |
| 3 | 90 | 31 |
| 4 | 133 | 31 |
| 5 | 182 | 31 |
| 6 | 216 | 31 |
| 7 | 287 | 31 |
| 8 | 469 | 31 |
| 9 | 743 | 31 |
| 10 | 842 | 31 |
| 11 | 911 | 31 |
| 12 | 1054 | 31 |
| 13 | 1056 | 31 |
| done | 1056 | 31 |
| 0 | 14 | 15 |
| 1 | 20 | 15 |
| 2 | 35 | 15 |
| 3 | 67 | 15 |
| 4 | 110 | 15 |
| 5 | 157 | 15 |
| 6 | 191 | 15 |
| 7 | 262 | 15 |
| 8 | 444 | 15 |
| 9 | 719 | 15 |
| 10 | 819 | 15 |
| 11 | 888 | 15 |
| 12 | 1037 | 15 |
| 13 | 1039 | 15 |
| done | 1039 | 15 |
| 0 | 15 | 28 |
| 1 | 23 | 28 |
| 2 | 40 | 28 |
| 3 | 73 | 28 |
| 4 | 118 | 28 |
| 5 | 167 | 28 |
| 6 | 201 | 28 |
| 7 | 272 | 28 |
| 8 | 454 | 28 |
| 9 | 725 | 28 |
| 10 | 819 | 28 |
| 11 | 888 | 28 |
| 12 | 1035 | 28 |
| 13 | 1037 | 28 |
| done | 1037 | 28 |
| 0 | 14 | 15 |
| 1 | 20 | 15 |
| 2 | 35 | 15 |
| 3 | 67 | 15 |
| 4 | 110 | 15 |
| 5 | 157 | 15 |
| 6 | 191 | 15 |
| 7 | 262 | 15 |
| 8 | 444 | 15 |
| 9 | 719 | 15 |
| 10 | 819 | 15 |
| 11 | 888 | 15 |
| 12 | 1037 | 15 |
| 13 | 1039 | 15 |
| done | 1039 | 15 |
| 0 | 14 | 27 |
| 1 | 24 | 25 |
| 2 | 45 | 25 |
| 3 | 82 | 25 |
| 4 | 127 | 25 |
| 5 | 176 | 25 |
| 6 | 210 | 25 |
| 7 | 281 | 25 |
| 8 | 463 | 25 |
| 9 | 736 | 25 |
| 10 | 833 | 25 |
| 11 | 902 | 25 |
| 12 | 1053 | 25 |
| 13 | 1055 | 25 |
| done | 1055 | 25 |
| 0 | 13 | 14 |
| 1 | 19 | 14 |
| 2 | 34 | 14 |
| 3 | 66 | 14 |
| 4 | 109 | 14 |
| 5 | 158 | 14 |
| 6 | 192 | 14 |
| 7 | 263 | 14 |
| 8 | 445 | 14 |
| 9 | 717 | 14 |
| 10 | 819 | 14 |
| 11 | 888 | 14 |
| 12 | 1035 | 14 |
| 13 | 1037 | 14 |
| done | 1037 | 14 |
| 0 | 15 | 18 |
| 1 | 23 | 18 |
| 2 | 38 | 18 |
| 3 | 70 | 18 |
| 4 | 115 | 18 |
| 5 | 164 | 18 |
| 6 | 198 | 18 |
| 7 | 269 | 18 |
| 8 | 451 | 18 |
| 9 | 722 | 18 |
| 10 | 820 | 18 |
| 11 | 889 | 18 |
| 12 | 1036 | 18 |
| 13 | 1038 | 18 |
| done | 1038 | 18 |
| 0 | 14 | 15 |
| 1 | 20 | 15 |
| 2 | 35 | 15 |
| 3 | 67 | 15 |
| 4 | 110 | 15 |
| 5 | 157 | 15 |
| 6 | 191 | 15 |
| 7 | 262 | 15 |
| 8 | 444 | 15 |
| 9 | 719 | 15 |
| 10 | 819 | 15 |
| 11 | 888 | 15 |
| 12 | 1037 | 15 |
| 13 | 1039 | 15 |
| done | 1039 | 15 |
| 0 | 14 | 15 |
| 1 | 20 | 15 |
| 2 | 35 | 15 |
| 3 | 67 | 15 |
| 4 | 110 | 15 |
| 5 | 157 | 15 |
| 6 | 191 | 15 |
| 7 | 262 | 15 |
| 8 | 444 | 15 |
| 9 | 719 | 15 |
| 10 | 819 | 15 |
| 11 | 888 | 15 |
| 12 | 1037 | 15 |
| 13 | 1039 | 15 |
| done | 1039 | 15 |
| 0 | 14 | 15 |
| 1 | 20 | 15 |
| 2 | 35 | 15 |
| 3 | 67 | 15 |
| 4 | 110 | 15 |
| 5 | 157 | 15 |
| 6 | 191 | 15 |
| 7 | 262 | 15 |
| 8 | 444 | 15 |
| 9 | 719 | 15 |
| 10 | 819 | 15 |
| 11 | 888 | 15 |
| 12 | 1037 | 15 |
| 13 | 1039 | 15 |
| done | 1039 | 15 |
| 0 | 13 | 14 |
| 1 | 21 | 12 |
| 2 | 38 | 12 |
| 3 | 70 | 12 |
| 4 | 115 | 12 |
| 5 | 164 | 12 |
| 6 | 198 | 12 |
| 7 | 269 | 12 |
| 8 | 451 | 12 |
| 9 | 722 | 12 |
| 10 | 820 | 12 |
| 11 | 889 | 12 |
| 12 | 1036 | 12 |
| 13 | 1038 | 12 |
| done | 1038 | 12 |
| 0 | 13 | 14 |
| 1 | 19 | 14 |
| 2 | 34 | 14 |
| 3 | 66 | 14 |
| 4 | 109 | 14 |
| 5 | 158 | 14 |
| 6 | 192 | 14 |
| 7 | 263 | 14 |
| 8 | 445 | 14 |
| 9 | 717 | 14 |
| 10 | 819 | 14 |
| 11 | 888 | 14 |
| 12 | 1035 | 14 |
| 13 | 1037 | 14 |
| done | 1037 | 14 |
| 0 | 5 | 7 |
| 1 | 9 | 7 |
| done | 9 | 7 |
| 0 | 13 | 14 |
| 1 | 19 | 14 |
| 2 | 34 | 14 |
| 3 | 66 | 14 |
| 4 | 109 | 14 |
| 5 | 161 | 14 |
| 6 | 204 | 14 |
| 7 | 302 | 14 |
| 8 | 557 | 14 |
| 9 | 1011 | 14 |
| 10 | 1527 | 14 |
| 11 | 2055 | 14 |
| 12 | 2463 | 14 |
| 13 | 2602 | 14 |
| 14 | 2604 | 14 |
| done | 2604 | 14 |
| 0 | 4 | 4 |
| 1 | 6 | 4 |
| done | 6 | 4 |
| 0 | 13 | 14 |
| 1 | 19 | 14 |
| 2 | 34 | 14 |
| 3 | 66 | 14 |
| 4 | 109 | 14 |
| 5 | 161 | 14 |
| 6 | 204 | 14 |
| 7 | 302 | 14 |
| 8 | 557 | 14 |
| 9 | 1011 | 14 |
| 10 | 1527 | 14 |
| 11 | 2055 | 14 |
| 12 | 2463 | 14 |
| 13 | 2602 | 14 |
| 14 | 2604 | 14 |
| done | 2604 | 14 |
| 0 | 2 | 3 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 12 | 13 |
| 1 | 18 | 13 |
| 2 | 33 | 13 |
| 3 | 65 | 13 |
| 4 | 108 | 13 |
| 5 | 160 | 13 |
| 6 | 201 | 13 |
| 7 | 299 | 13 |
| 8 | 554 | 13 |
| 9 | 1008 | 13 |
| 10 | 1525 | 13 |
| 11 | 2057 | 13 |
| 12 | 2460 | 13 |
| 13 | 2599 | 13 |
| 14 | 2601 | 13 |
| done | 2601 | 13 |
| 0 | 3 | 3 |
| 1 | 5 | 3 |
| done | 5 | 3 |
| 0 | 12 | 13 |
| 1 | 18 | 13 |
| 2 | 33 | 13 |
| 3 | 65 | 13 |
| 4 | 108 | 13 |
| 5 | 157 | 13 |
| 6 | 187 | 13 |
| 7 | 258 | 13 |
| 8 | 440 | 13 |
| 9 | 715 | 13 |
| 10 | 816 | 13 |
| 11 | 885 | 13 |
| 12 | 1036 | 13 |
| 13 | 1038 | 13 |
| done | 1038 | 13 |
| 0 | 14 | 17 |
| 1 | 22 | 17 |
| 2 | 37 | 17 |
| 3 | 69 | 17 |
| 4 | 114 | 17 |
| 5 | 171 | 17 |
| 6 | 229 | 17 |
| 7 | 378 | 17 |
| 8 | 760 | 17 |
| 9 | 1525 | 17 |
| 10 | 2719 | 17 |
| 11 | 4030 | 17 |
| 12 | 4680 | 17 |
| 13 | 4892 | 17 |
| 14 | 4899 | 17 |
| done | 4899 | 17 |
| 0 | 13 | 14 |
| 1 | 19 | 14 |
| 2 | 34 | 14 |
| 3 | 66 | 14 |
| 4 | 109 | 14 |
| 5 | 161 | 14 |
| 6 | 204 | 14 |
| 7 | 302 | 14 |
| 8 | 557 | 14 |
| 9 | 1011 | 14 |
| 10 | 1527 | 14 |
| 11 | 2055 | 14 |
| 12 | 2463 | 14 |
| 13 | 2602 | 14 |
| 14 | 2604 | 14 |
| done | 2604 | 14 |
| 0 | 12 | 13 |
| 1 | 20 | 11 |
| 2 | 37 | 11 |
| 3 | 69 | 11 |
| 4 | 114 | 11 |
| 5 | 168 | 11 |
| 6 | 211 | 11 |
| 7 | 312 | 11 |
| 8 | 602 | 11 |
| 9 | 1106 | 11 |
| 10 | 1564 | 11 |
| 11 | 1849 | 11 |
| 12 | 2093 | 11 |
| 13 | 2100 | 11 |
| done | 2100 | 11 |
| 0 | 13 | 14 |
| 1 | 19 | 14 |
| 2 | 34 | 14 |
| 3 | 66 | 14 |
| 4 | 111 | 14 |
| 5 | 162 | 14 |
| 6 | 192 | 14 |
| 7 | 263 | 14 |
| 8 | 445 | 14 |
| 9 | 718 | 14 |
| 10 | 818 | 14 |
| 11 | 887 | 14 |
| 12 | 1036 | 14 |
| 13 | 1038 | 14 |
| done | 1038 | 14 |
| 0 | 13 | 14 |
| 1 | 19 | 14 |
| 2 | 34 | 14 |
| 3 | 66 | 14 |
| 4 | 111 | 14 |
| 5 | 162 | 14 |
| 6 | 192 | 14 |
| 7 | 263 | 14 |
| 8 | 445 | 14 |
| 9 | 718 | 14 |
| 10 | 818 | 14 |
| 11 | 887 | 14 |
| 12 | 1036 | 14 |
| 13 | 1038 | 14 |
| done | 1038 | 14 |
| 0 | 12 | 13 |
| 1 | 18 | 13 |
| 2 | 33 | 13 |
| 3 | 65 | 13 |
| 4 | 108 | 13 |
| 5 | 157 | 13 |
| 6 | 187 | 13 |
| 7 | 258 | 13 |
| 8 | 440 | 13 |
| 9 | 715 | 13 |
| 10 | 816 | 13 |
| 11 | 885 | 13 |
| 12 | 1036 | 13 |
| 13 | 1038 | 13 |
| done | 1038 | 13 |
| 0 | 16 | 37 |
| 1 | 45 | 35 |
| 2 | 135 | 35 |
| 3 | 467 | 27 |
| 4 | 1940 | 27 |
| done | 5000 | 27 |
| 0 | 12 | 13 |
| 1 | 20 | 13 |
| 2 | 42 | 13 |
| 3 | 95 | 13 |
| 4 | 234 | 13 |
| 5 | 450 | 13 |
| 6 | 557 | 13 |
| 7 | 765 | 13 |
| 8 | 1276 | 13 |
| 9 | 2313 | 13 |
| 10 | 2805 | 13 |
| 11 | 2982 | 13 |
| done | 2982 | 13 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 15 | 6 |
| 3 | 20 | 6 |
| 4 | 24 | 6 |
| done | 24 | 6 |
| 0 | 7 | 8 |
| 1 | 10 | 8 |
| 2 | 11 | 8 |
| done | 11 | 8 |
| 0 | 6 | 7 |
| 1 | 12 | 7 |
| 2 | 20 | 7 |
| 3 | 25 | 7 |
| 4 | 29 | 7 |
| done | 29 | 7 |
| 0 | 6 | 7 |
| 1 | 11 | 7 |
| 2 | 30 | 5 |
| 3 | 51 | 5 |
| 4 | 94 | 5 |
| 5 | 177 | 5 |
| 6 | 422 | 5 |
| 7 | 1303 | 5 |
| done | 5000 | 5 |
| 0 | 9 | 20 |
| 1 | 18 | 20 |
| 2 | 56 | 10 |
| 3 | 180 | 10 |
| 4 | 619 | 8 |
| 5 | 2374 | 8 |
| done | 5000 | 8 |
| 0 | 7 | 15 |
| 1 | 10 | 15 |
| 2 | 17 | 15 |
| 3 | 22 | 15 |
| 4 | 26 | 15 |
| done | 26 | 15 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 16 | 7 |
| 3 | 21 | 7 |
| 4 | 25 | 7 |
| done | 25 | 7 |
| 0 | 7 | 20 |
| 1 | 20 | 20 |
| 2 | 74 | 8 |
| 3 | 285 | 8 |
| 4 | 864 | 8 |
| 5 | 2739 | 8 |
| done | 5000 | 8 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 16 | 7 |
| 3 | 21 | 7 |
| 4 | 25 | 7 |
| done | 25 | 7 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 16 | 7 |
| 3 | 21 | 7 |
| 4 | 25 | 7 |
| done | 25 | 7 |
| 0 | 7 | 8 |
| 1 | 10 | 8 |
| 2 | 11 | 8 |
| done | 11 | 8 |
| 0 | 7 | 8 |
| 1 | 10 | 8 |
| 2 | 11 | 8 |
| done | 11 | 8 |
| 0 | 7 | 10 |
| 1 | 12 | 10 |
| 2 | 25 | 9 |
| 3 | 54 | 9 |
| 4 | 116 | 9 |
| 5 | 178 | 9 |
| 6 | 225 | 9 |
| 7 | 322 | 9 |
| 8 | 493 | 9 |
| 9 | 675 | 9 |
| 10 | 740 | 9 |
| done | 740 | 9 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 16 | 7 |
| 3 | 21 | 7 |
| 4 | 25 | 7 |
| done | 25 | 7 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 16 | 7 |
| 3 | 21 | 7 |
| 4 | 25 | 7 |
| done | 25 | 7 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 16 | 7 |
| 3 | 21 | 7 |
| 4 | 25 | 7 |
| done | 25 | 7 |
| 0 | 6 | 6 |
| 1 | 11 | 5 |
| 2 | 18 | 1 |
| 3 | 22 | 1 |
| done | 22 | 1 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 15 | 6 |
| 3 | 20 | 6 |
| 4 | 24 | 6 |
| done | 24 | 6 |
| 0 | 7 | 10 |
| 1 | 12 | 10 |
| 2 | 25 | 9 |
| 3 | 54 | 9 |
| 4 | 116 | 9 |
| 5 | 178 | 9 |
| 6 | 225 | 9 |
| 7 | 322 | 9 |
| 8 | 493 | 9 |
| 9 | 675 | 9 |
| 10 | 742 | 9 |
| done | 742 | 9 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 16 | 7 |
| 3 | 21 | 7 |
| 4 | 25 | 7 |
| done | 25 | 7 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 16 | 7 |
| 3 | 21 | 7 |
| 4 | 25 | 7 |
| done | 25 | 7 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 16 | 7 |
| 3 | 21 | 7 |
| 4 | 25 | 7 |
| done | 25 | 7 |
| 0 | 6 | 6 |
| 1 | 11 | 5 |
| 2 | 18 | 1 |
| 3 | 22 | 1 |
| done | 22 | 1 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 15 | 6 |
| 3 | 20 | 6 |
| 4 | 24 | 6 |
| done | 24 | 6 |
| 0 | 5 | 5 |
| 1 | 10 | 3 |
| 2 | 20 | 3 |
| 3 | 31 | 3 |
| 4 | 40 | 3 |
| 5 | 44 | 3 |
| done | 44 | 3 |
| 0 | 7 | 11 |
| 1 | 12 | 11 |
| 2 | 21 | 11 |
| 3 | 38 | 11 |
| 4 | 50 | 11 |
| 5 | 58 | 11 |
| done | 58 | 11 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 16 | 7 |
| 3 | 21 | 7 |
| 4 | 25 | 7 |
| done | 25 | 7 |
| 0 | 5 | 5 |
| 1 | 10 | 3 |
| 2 | 20 | 3 |
| 3 | 31 | 3 |
| 4 | 40 | 3 |
| 5 | 44 | 3 |
| done | 44 | 3 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 10 | 7 |
| done | 10 | 7 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 10 | 7 |
| done | 10 | 7 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 15 | 6 |
| 3 | 20 | 6 |
| 4 | 24 | 6 |
| done | 24 | 6 |
| 0 | 7 | 8 |
| 1 | 10 | 8 |
| 2 | 17 | 8 |
| 3 | 22 | 8 |
| 4 | 26 | 8 |
| done | 26 | 8 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 15 | 6 |
| 3 | 20 | 6 |
| 4 | 24 | 6 |
| done | 24 | 6 |
| 0 | 8 | 10 |
| 1 | 24 | 10 |
| 2 | 52 | 10 |
| 3 | 131 | 10 |
| 4 | 308 | 10 |
| 5 | 980 | 10 |
| 6 | 4487 | 10 |
| done | 5000 | 10 |
| 0 | 7 | 10 |
| 1 | 13 | 10 |
| 2 | 30 | 10 |
| 3 | 76 | 10 |
| 4 | 159 | 10 |
| 5 | 245 | 10 |
| 6 | 395 | 10 |
| 7 | 764 | 10 |
| 8 | 3363 | 10 |
| done | 5000 | 10 |
| 0 | 8 | 10 |
| 1 | 15 | 9 |
| 2 | 35 | 8 |
| 3 | 65 | 8 |
| 4 | 139 | 8 |
| 5 | 310 | 8 |
| 6 | 1076 | 8 |
| done | 5001 | 8 |
| 0 | 7 | 9 |
| 1 | 12 | 9 |
| 2 | 20 | 9 |
| 3 | 31 | 9 |
| 4 | 45 | 9 |
| 5 | 53 | 9 |
| 6 | 65 | 9 |
| 7 | 90 | 9 |
| 8 | 133 | 9 |
| 9 | 180 | 9 |
| 10 | 207 | 9 |
| 11 | 245 | 9 |
| 12 | 290 | 9 |
| 13 | 371 | 9 |
| 14 | 507 | 9 |
| 15 | 571 | 9 |
| 16 | 807 | 9 |
| 17 | 820 | 9 |
| 18 | 830 | 9 |
| 19 | 847 | 9 |
| 20 | 872 | 9 |
| 21 | 952 | 9 |
| 22 | 1249 | 9 |
| 23 | 2523 | 9 |
| done | 5000 | 9 |
| 0 | 7 | 9 |
| 1 | 15 | 9 |
| 2 | 30 | 8 |
| 3 | 61 | 8 |
| 4 | 124 | 8 |
| 5 | 273 | 8 |
| 6 | 841 | 8 |
| 7 | 3110 | 8 |
| done | 5001 | 8 |
| 0 | 8 | 19 |
| 1 | 13 | 19 |
| 2 | 21 | 19 |
| 3 | 32 | 19 |
| 4 | 46 | 19 |
| 5 | 54 | 19 |
| 6 | 66 | 19 |
| 7 | 91 | 19 |
| 8 | 134 | 19 |
| 9 | 181 | 19 |
| 10 | 208 | 19 |
| 11 | 248 | 19 |
| 12 | 295 | 19 |
| 13 | 376 | 19 |
| 14 | 510 | 19 |
| 15 | 574 | 19 |
| 16 | 806 | 19 |
| 17 | 814 | 19 |
| done | 814 | 19 |
| 0 | 7 | 9 |
| 1 | 12 | 9 |
| 2 | 20 | 9 |
| 3 | 31 | 9 |
| 4 | 45 | 9 |
| 5 | 53 | 9 |
| 6 | 65 | 9 |
| 7 | 90 | 9 |
| 8 | 133 | 9 |
| 9 | 180 | 9 |
| 10 | 207 | 9 |
| 11 | 245 | 9 |
| 12 | 290 | 9 |
| 13 | 371 | 9 |
| 14 | 507 | 9 |
| 15 | 571 | 9 |
| 16 | 807 | 9 |
| 17 | 815 | 9 |
| done | 815 | 9 |
| 0 | 8 | 26 |
| 1 | 14 | 26 |
| 2 | 36 | 10 |
| 3 | 118 | 10 |
| 4 | 543 | 10 |
| 5 | 3047 | 10 |
| done | 5001 | 10 |
| 0 | 7 | 9 |
| 1 | 12 | 9 |
| 2 | 20 | 9 |
| 3 | 31 | 9 |
| 4 | 45 | 9 |
| 5 | 53 | 9 |
| 6 | 65 | 9 |
| 7 | 90 | 9 |
| 8 | 133 | 9 |
| 9 | 180 | 9 |
| 10 | 207 | 9 |
| 11 | 245 | 9 |
| 12 | 290 | 9 |
| 13 | 371 | 9 |
| 14 | 507 | 9 |
| 15 | 571 | 9 |
| 16 | 807 | 9 |
| 17 | 815 | 9 |
| done | 815 | 9 |
| 0 | 7 | 9 |
| 1 | 12 | 9 |
| 2 | 20 | 9 |
| 3 | 31 | 9 |
| 4 | 45 | 9 |
| 5 | 53 | 9 |
| 6 | 65 | 9 |
| 7 | 90 | 9 |
| 8 | 133 | 9 |
| 9 | 180 | 9 |
| 10 | 207 | 9 |
| 11 | 245 | 9 |
| 12 | 290 | 9 |
| 13 | 371 | 9 |
| 14 | 507 | 9 |
| 15 | 571 | 9 |
| 16 | 807 | 9 |
| 17 | 815 | 9 |
| done | 815 | 9 |
| 0 | 9 | 12 |
| 1 | 30 | 12 |
| 2 | 88 | 12 |
| 3 | 263 | 12 |
| 4 | 831 | 12 |
| 5 | 2628 | 12 |
| done | 5000 | 12 |
| 0 | 10 | 26 |
| 1 | 29 | 24 |
| 2 | 67 | 24 |
| 3 | 172 | 19 |
| 4 | 450 | 19 |
| 5 | 1290 | 19 |
| 6 | 4164 | 19 |
| done | 5000 | 19 |
| 0 | 2 | 2 |
| done | 2 | 2 |
| 0 | 8 | 17 |
| 1 | 23 | 17 |
| 2 | 60 | 17 |
| 3 | 169 | 17 |
| 4 | 458 | 17 |
| 5 | 1304 | 17 |
| 6 | 4557 | 17 |
| done | 5000 | 17 |
| 0 | 6 | 8 |
| 1 | 10 | 8 |
| 2 | 17 | 8 |
| 3 | 26 | 8 |
| 4 | 38 | 8 |
| 5 | 45 | 8 |
| 6 | 57 | 8 |
| 7 | 76 | 8 |
| 8 | 98 | 8 |
| 9 | 121 | 8 |
| 10 | 144 | 8 |
| 11 | 174 | 8 |
| 12 | 216 | 8 |
| 13 | 274 | 8 |
| 14 | 339 | 8 |
| 15 | 441 | 8 |
| 16 | 537 | 8 |
| 17 | 671 | 8 |
| 18 | 780 | 8 |
| 19 | 784 | 8 |
| done | 784 | 8 |
| 0 | 7 | 9 |
| 1 | 12 | 9 |
| 2 | 20 | 9 |
| 3 | 31 | 9 |
| 4 | 45 | 9 |
| 5 | 53 | 9 |
| 6 | 65 | 9 |
| 7 | 90 | 9 |
| 8 | 133 | 9 |
| 9 | 180 | 9 |
| 10 | 207 | 9 |
| 11 | 247 | 9 |
| 12 | 292 | 9 |
| 13 | 373 | 9 |
| 14 | 511 | 9 |
| 15 | 575 | 9 |
| 16 | 807 | 9 |
| 17 | 815 | 9 |
| done | 815 | 9 |
| 0 | 7 | 9 |
| 1 | 12 | 9 |
| 2 | 20 | 9 |
| 3 | 31 | 9 |
| 4 | 45 | 9 |
| 5 | 53 | 9 |
| 6 | 65 | 9 |
| 7 | 90 | 9 |
| 8 | 133 | 9 |
| 9 | 180 | 9 |
| 10 | 207 | 9 |
| 11 | 247 | 9 |
| 12 | 292 | 9 |
| 13 | 373 | 9 |
| 14 | 511 | 9 |
| 15 | 575 | 9 |
| 16 | 807 | 9 |
| 17 | 815 | 9 |
| done | 815 | 9 |
| 0 | 6 | 8 |
| 1 | 11 | 8 |
| 2 | 19 | 8 |
| 3 | 30 | 8 |
| 4 | 44 | 8 |
| 5 | 52 | 8 |
| 6 | 64 | 8 |
| 7 | 89 | 8 |
| 8 | 132 | 8 |
| 9 | 179 | 8 |
| 10 | 206 | 8 |
| 11 | 244 | 8 |
| 12 | 289 | 8 |
| 13 | 370 | 8 |
| 14 | 504 | 8 |
| 15 | 568 | 8 |
| 16 | 802 | 8 |
| 17 | 810 | 8 |
| done | 810 | 8 |
| 0 | 7 | 9 |
| 1 | 12 | 9 |
| 2 | 20 | 9 |
| 3 | 31 | 9 |
| 4 | 45 | 9 |
| 5 | 53 | 9 |
| 6 | 65 | 9 |
| 7 | 90 | 9 |
| 8 | 133 | 9 |
| 9 | 180 | 9 |
| 10 | 207 | 9 |
| 11 | 247 | 9 |
| 12 | 292 | 9 |
| 13 | 373 | 9 |
| 14 | 511 | 9 |
| 15 | 575 | 9 |
| 16 | 809 | 9 |
| 17 | 817 | 9 |
| done | 817 | 9 |
| 0 | 7 | 9 |
| 1 | 12 | 9 |
| 2 | 20 | 9 |
| 3 | 31 | 9 |
| 4 | 45 | 9 |
| 5 | 53 | 9 |
| 6 | 65 | 9 |
| 7 | 90 | 9 |
| 8 | 133 | 9 |
| 9 | 180 | 9 |
| 10 | 207 | 9 |
| 11 | 247 | 9 |
| 12 | 292 | 9 |
| 13 | 373 | 9 |
| 14 | 511 | 9 |
| 15 | 575 | 9 |
| 16 | 809 | 9 |
| 17 | 817 | 9 |
| done | 817 | 9 |
| 0 | 6 | 8 |
| 1 | 11 | 8 |
| 2 | 19 | 8 |
| 3 | 30 | 8 |
| 4 | 44 | 8 |
| 5 | 52 | 8 |
| 6 | 64 | 8 |
| 7 | 89 | 8 |
| 8 | 132 | 8 |
| 9 | 179 | 8 |
| 10 | 206 | 8 |
| 11 | 244 | 8 |
| 12 | 289 | 8 |
| 13 | 370 | 8 |
| 14 | 504 | 8 |
| 15 | 568 | 8 |
| 16 | 804 | 8 |
| 17 | 812 | 8 |
| done | 812 | 8 |
| 0 | 2 | 2 |
| done | 2 | 2 |
| 0 | 11 | 13 |
| 1 | 21 | 12 |
| 2 | 50 | 11 |
| 3 | 98 | 10 |
| 4 | 247 | 10 |
| 5 | 662 | 10 |
| 6 | 2525 | 10 |
| done | 5000 | 10 |
| 0 | 10 | 12 |
| 1 | 21 | 11 |
| 2 | 45 | 11 |
| 3 | 104 | 10 |
| 4 | 258 | 10 |
| 5 | 669 | 10 |
| 6 | 2169 | 10 |
| done | 5000 | 10 |
| 0 | 9 | 11 |
| 1 | 17 | 11 |
| 2 | 34 | 11 |
| 3 | 62 | 11 |
| 4 | 123 | 11 |
| 5 | 190 | 11 |
| 6 | 284 | 11 |
| 7 | 476 | 11 |
| 8 | 631 | 11 |
| 9 | 664 | 11 |
| 10 | 681 | 11 |
| 11 | 739 | 11 |
| 12 | 819 | 11 |
| 13 | 922 | 11 |
| 14 | 1056 | 11 |
| 15 | 1120 | 11 |
| 16 | 1366 | 11 |
| 17 | 1374 | 11 |
| done | 1374 | 11 |
| 0 | 9 | 11 |
| 1 | 20 | 11 |
| 2 | 45 | 11 |
| 3 | 101 | 10 |
| 4 | 236 | 10 |
| 5 | 539 | 10 |
| 6 | 1711 | 10 |
| done | 5000 | 10 |
| 0 | 10 | 23 |
| 1 | 18 | 23 |
| 2 | 35 | 23 |
| 3 | 63 | 23 |
| 4 | 124 | 23 |
| 5 | 192 | 23 |
| 6 | 285 | 23 |
| 7 | 475 | 23 |
| 8 | 627 | 23 |
| 9 | 660 | 23 |
| 10 | 677 | 23 |
| 11 | 735 | 23 |
| 12 | 815 | 23 |
| 13 | 918 | 23 |
| 14 | 1054 | 23 |
| 15 | 1118 | 23 |
| 16 | 1360 | 23 |
| 17 | 1368 | 23 |
| done | 1368 | 23 |
| 0 | 9 | 11 |
| 1 | 17 | 11 |
| 2 | 34 | 11 |
| 3 | 62 | 11 |
| 4 | 123 | 11 |
| 5 | 190 | 11 |
| 6 | 284 | 11 |
| 7 | 476 | 11 |
| 8 | 631 | 11 |
| 9 | 664 | 11 |
| 10 | 681 | 11 |
| 11 | 739 | 11 |
| 12 | 819 | 11 |
| 13 | 922 | 11 |
| 14 | 1056 | 11 |
| 15 | 1120 | 11 |
| 16 | 1366 | 11 |
| 17 | 1374 | 11 |
| done | 1374 | 11 |
| 0 | 10 | 32 |
| 1 | 31 | 32 |
| 2 | 92 | 12 |
| 3 | 395 | 12 |
| 4 | 2786 | 12 |
| done | 5000 | 12 |
| 0 | 9 | 11 |
| 1 | 17 | 11 |
| 2 | 34 | 11 |
| 3 | 62 | 11 |
| 4 | 123 | 11 |
| 5 | 190 | 11 |
| 6 | 284 | 11 |
| 7 | 476 | 11 |
| 8 | 631 | 11 |
| 9 | 664 | 11 |
| 10 | 681 | 11 |
| 11 | 739 | 11 |
| 12 | 819 | 11 |
| 13 | 922 | 11 |
| 14 | 1056 | 11 |
| 15 | 1120 | 11 |
| 16 | 1366 | 11 |
| 17 | 1374 | 11 |
| done | 1374 | 11 |
| 0 | 9 | 11 |
| 1 | 17 | 11 |
| 2 | 34 | 11 |
| 3 | 62 | 11 |
| 4 | 123 | 11 |
| 5 | 190 | 11 |
| 6 | 284 | 11 |
| 7 | 476 | 11 |
| 8 | 631 | 11 |
| 9 | 664 | 11 |
| 10 | 681 | 11 |
| 11 | 739 | 11 |
| 12 | 819 | 11 |
| 13 | 922 | 11 |
| 14 | 1056 | 11 |
| 15 | 1120 | 11 |
| 16 | 1366 | 11 |
| 17 | 1374 | 11 |
| done | 1374 | 11 |
| 0 | 11 | 14 |
| 1 | 30 | 14 |
| 2 | 59 | 14 |
| 3 | 157 | 14 |
| 4 | 634 | 14 |
| 5 | 3426 | 14 |
| done | 5000 | 14 |
| 0 | 12 | 32 |
| 1 | 25 | 30 |
| 2 | 63 | 30 |
| 3 | 181 | 23 |
| 4 | 743 | 23 |
| 5 | 3750 | 23 |
| done | 5000 | 23 |
| 0 | 10 | 21 |
| 1 | 20 | 21 |
| 2 | 49 | 21 |
| 3 | 153 | 21 |
| 4 | 775 | 21 |
| 5 | 4008 | 21 |
| done | 5000 | 21 |
| 0 | 8 | 10 |
| 1 | 17 | 10 |
| 2 | 35 | 10 |
| 3 | 70 | 10 |
| 4 | 135 | 10 |
| 5 | 206 | 10 |
| 6 | 308 | 10 |
| 7 | 518 | 10 |
| 8 | 674 | 10 |
| 9 | 687 | 10 |
| 10 | 703 | 10 |
| 11 | 761 | 10 |
| 12 | 841 | 10 |
| 13 | 944 | 10 |
| 14 | 1080 | 10 |
| 15 | 1144 | 10 |
| 16 | 1384 | 10 |
| 17 | 1392 | 10 |
| done | 1392 | 10 |
| 0 | 8 | 10 |
| 1 | 16 | 10 |
| 2 | 33 | 10 |
| 3 | 61 | 10 |
| 4 | 122 | 10 |
| 5 | 188 | 10 |
| 6 | 282 | 10 |
| 7 | 474 | 10 |
| 8 | 629 | 10 |
| 9 | 662 | 10 |
| 10 | 679 | 10 |
| 11 | 737 | 10 |
| 12 | 817 | 10 |
| 13 | 920 | 10 |
| 14 | 1052 | 10 |
| 15 | 1116 | 10 |
| 16 | 1352 | 10 |
| 17 | 1360 | 10 |
| done | 1360 | 10 |
| 0 | 4 | 4 |
| 1 | 5 | 4 |
| 2 | 6 | 3 |
| done | 6 | 3 |
| 0 | 9 | 11 |
| 1 | 17 | 11 |
| 2 | 34 | 11 |
| 3 | 62 | 11 |
| 4 | 123 | 11 |
| 5 | 188 | 11 |
| 6 | 281 | 11 |
| 7 | 471 | 11 |
| 8 | 626 | 11 |
| 9 | 659 | 11 |
| 10 | 676 | 11 |
| 11 | 734 | 11 |
| 12 | 814 | 11 |
| 13 | 917 | 11 |
| 14 | 1057 | 11 |
| 15 | 1121 | 11 |
| 16 | 1361 | 11 |
| 17 | 1369 | 11 |
| done | 1369 | 11 |
| 0 | 9 | 11 |
| 1 | 17 | 11 |
| 2 | 34 | 11 |
| 3 | 62 | 11 |
| 4 | 123 | 11 |
| 5 | 188 | 11 |
| 6 | 281 | 11 |
| 7 | 471 | 11 |
| 8 | 626 | 11 |
| 9 | 659 | 11 |
| 10 | 676 | 11 |
| 11 | 734 | 11 |
| 12 | 814 | 11 |
| 13 | 917 | 11 |
| 14 | 1057 | 11 |
| 15 | 1121 | 11 |
| 16 | 1361 | 11 |
| 17 | 1369 | 11 |
| done | 1369 | 11 |
| 0 | 8 | 10 |
| 1 | 16 | 10 |
| 2 | 33 | 10 |
| 3 | 61 | 10 |
| 4 | 122 | 10 |
| 5 | 188 | 10 |
| 6 | 282 | 10 |
| 7 | 474 | 10 |
| 8 | 629 | 10 |
| 9 | 662 | 10 |
| 10 | 679 | 10 |
| 11 | 737 | 10 |
| 12 | 817 | 10 |
| 13 | 920 | 10 |
| 14 | 1052 | 10 |
| 15 | 1116 | 10 |
| 16 | 1352 | 10 |
| 17 | 1360 | 10 |
| done | 1360 | 10 |
| 0 | 9 | 11 |
| 1 | 17 | 11 |
| 2 | 34 | 11 |
| 3 | 62 | 11 |
| 4 | 123 | 11 |
| 5 | 188 | 11 |
| 6 | 281 | 11 |
| 7 | 471 | 11 |
| 8 | 623 | 11 |
| 9 | 657 | 11 |
| 10 | 674 | 11 |
| 11 | 732 | 11 |
| 12 | 812 | 11 |
| 13 | 915 | 11 |
| 14 | 1057 | 11 |
| 15 | 1121 | 11 |
| 16 | 1363 | 11 |
| 17 | 1371 | 11 |
| done | 1371 | 11 |
| 0 | 9 | 11 |
| 1 | 17 | 11 |
| 2 | 34 | 11 |
| 3 | 62 | 11 |
| 4 | 123 | 11 |
| 5 | 188 | 11 |
| 6 | 281 | 11 |
| 7 | 471 | 11 |
| 8 | 623 | 11 |
| 9 | 657 | 11 |
| 10 | 674 | 11 |
| 11 | 732 | 11 |
| 12 | 812 | 11 |
| 13 | 915 | 11 |
| 14 | 1057 | 11 |
| 15 | 1121 | 11 |
| 16 | 1363 | 11 |
| 17 | 1371 | 11 |
| done | 1371 | 11 |
| 0 | 8 | 10 |
| 1 | 16 | 10 |
| 2 | 33 | 10 |
| 3 | 61 | 10 |
| 4 | 122 | 10 |
| 5 | 188 | 10 |
| 6 | 282 | 10 |
| 7 | 474 | 10 |
| 8 | 629 | 10 |
| 9 | 662 | 10 |
| 10 | 679 | 10 |
| 11 | 737 | 10 |
| 12 | 817 | 10 |
| 13 | 920 | 10 |
| 14 | 1050 | 10 |
| 15 | 1114 | 10 |
| 16 | 1352 | 10 |
| 17 | 1360 | 10 |
| done | 1360 | 10 |
| 0 | 4 | 4 |
| 1 | 5 | 4 |
| 2 | 6 | 3 |
| done | 6 | 3 |
| 0 | 3 | 3 |
| 1 | 5 | 3 |
| 2 | 6 | 3 |
| done | 6 | 3 |
| 0 | 16 | 19 |
| 1 | 36 | 19 |
| 2 | 73 | 17 |
| 3 | 127 | 17 |
| 4 | 255 | 17 |
| 5 | 629 | 17 |
| 6 | 2607 | 13 |
| done | 5000 | 13 |
| 0 | 15 | 21 |
| 1 | 34 | 21 |
| 2 | 84 | 21 |
| 3 | 128 | 15 |
| 4 | 197 | 15 |
| 5 | 335 | 11 |
| 6 | 592 | 11 |
| 7 | 1096 | 11 |
| 8 | 1668 | 11 |
| 9 | 2846 | 11 |
| done | 5000 | 11 |
| 0 | 15 | 21 |
| 1 | 34 | 21 |
| 2 | 84 | 21 |
| 3 | 128 | 15 |
| 4 | 197 | 15 |
| 5 | 335 | 11 |
| 6 | 592 | 11 |
| 7 | 1096 | 11 |
| 8 | 1668 | 11 |
| 9 | 2846 | 11 |
| done | 5000 | 11 |
| 0 | 12 | 19 |
| 1 | 29 | 13 |
| 2 | 60 | 6 |
| 3 | 94 | 6 |
| 4 | 135 | 6 |
| 5 | 197 | 6 |
| 6 | 244 | 6 |
| 7 | 284 | 6 |
| 8 | 394 | 6 |
| done | 394 | 6 |
| 0 | 13 | 23 |
| 1 | 30 | 19 |
| 2 | 61 | 13 |
| 3 | 119 | 7 |
| 4 | 165 | 7 |
| 5 | 275 | 6 |
| 6 | 367 | 6 |
| 7 | 440 | 6 |
| done | 440 | 6 |
| 0 | 13 | 23 |
| 1 | 27 | 23 |
| 2 | 51 | 23 |
| 3 | 115 | 18 |
| 4 | 270 | 15 |
| 5 | 873 | 9 |
| 6 | 2694 | 6 |
| done | 5000 | 6 |
| 0 | 13 | 21 |
| 1 | 32 | 17 |
| 2 | 74 | 11 |
| 3 | 189 | 8 |
| 4 | 238 | 8 |
| 5 | 398 | 8 |
| 6 | 515 | 8 |
| 7 | 586 | 8 |
| 8 | 819 | 8 |
| 9 | 944 | 8 |
| 10 | 1058 | 8 |
| 11 | 1168 | 8 |
| 12 | 1258 | 8 |
| 13 | 1428 | 8 |
| 14 | 1492 | 8 |
| 15 | 1828 | 8 |
| 16 | 1836 | 8 |
| done | 1836 | 8 |
| 0 | 14 | 25 |
| 1 | 34 | 21 |
| 2 | 84 | 15 |
| 3 | 200 | 12 |
| 4 | 344 | 9 |
| 5 | 548 | 9 |
| 6 | 919 | 8 |
| 7 | 1318 | 8 |
| 8 | 1489 | 8 |
| 9 | 1553 | 8 |
| 10 | 1891 | 8 |
| 11 | 1899 | 8 |
| done | 1899 | 8 |
| 0 | 14 | 25 |
| 1 | 31 | 25 |
| 2 | 75 | 25 |
| 3 | 203 | 25 |
| 4 | 566 | 17 |
| 5 | 2145 | 17 |
| done | 5000 | 17 |
| 0 | 15 | 23 |
| 1 | 37 | 19 |
| 2 | 94 | 13 |
| 3 | 281 | 10 |
| 4 | 438 | 10 |
| 5 | 869 | 10 |
| 6 | 1270 | 10 |
| 7 | 1350 | 10 |
| 8 | 1693 | 10 |
| 9 | 1866 | 10 |
| 10 | 2024 | 10 |
| 11 | 2200 | 10 |
| 12 | 2312 | 10 |
| 13 | 2488 | 10 |
| 14 | 2552 | 10 |
| 15 | 2892 | 10 |
| 16 | 2900 | 10 |
| done | 2900 | 10 |
| 0 | 16 | 27 |
| 1 | 39 | 23 |
| 2 | 102 | 19 |
| 3 | 326 | 13 |
| 4 | 510 | 11 |
| 5 | 1187 | 11 |
| 6 | 1739 | 10 |
| 7 | 2094 | 10 |
| 8 | 2207 | 10 |
| 9 | 2379 | 10 |
| 10 | 2443 | 10 |
| 11 | 2775 | 10 |
| 12 | 2783 | 10 |
| done | 2783 | 10 |
| 0 | 16 | 27 |
| 1 | 36 | 27 |
| 2 | 95 | 27 |
| 3 | 327 | 27 |
| 4 | 1091 | 22 |
| 5 | 4441 | 19 |
| done | 5000 | 19 |
12 alts after pruning (12 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 98 | 12 | 110 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 99 | 12 | 111 |
Merged error: 1.0b
Found 4 expressions with local error:
| 0.1b | (+ (- (* (- x 0.5) (log x)) x) 0.91893853320467) |
| 0.2b | (- (* (- x 0.5) (log x)) x) |
| 0.2b | (* (- x 0.5) (log x)) |
| 0.2b | (* (/ z x) (- 0.0027777777777778 (* 0.0007936500793651 z))) |
| 29× | add-sqr-sqrt |
| 24× | *-un-lft-identity |
| 20× | add-cube-cbrt |
| 18× | log-prod associate-*l* |
| 12× | associate--l+ |
| 11× | add-exp-log distribute-rgt-in distribute-lft-in add-cbrt-cube add-log-exp |
| 10× | times-frac |
| 9× | pow1 |
| 8× | associate-+l+ |
| 7× | associate-*r* |
| 4× | sub-neg flip3-- flip-- |
| 3× | associate-*l/ prod-exp cbrt-unprod unswap-sqr |
| 2× | frac-times diff-log associate-*r/ pow-prod-down sum-log *-commutative |
| 1× | cbrt-undiv +-commutative associate-+l- flip3-+ div-exp log-pow flip-+ div-inv distribute-lft-out distribute-lft-out-- difference-of-squares |
| 12.0ms | (+ (- (* (- x 0.5) (log x)) x) 0.91893853320467) |
| 8.0ms | (- (* (- x 0.5) (log x)) x) |
| 9.0ms | (* (- x 0.5) (log x)) |
| 9.0ms | (* (/ z x) (- 0.0027777777777778 (* 0.0007936500793651 z))) |
| 42.0ms | (+ (- (* (- x 0.5) (log x)) x) 0.91893853320467) |
| 42.0ms | (- (* (- x 0.5) (log x)) x) |
| 31.0ms | (* (- x 0.5) (log x)) |
| 8.0ms | (* (/ z x) (- 0.0027777777777778 (* 0.0007936500793651 z))) |
Useful iterations: 2 (2.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 8 | 9 |
| 1 | 14 | 9 |
| 2 | 36 | 9 |
| 3 | 75 | 9 |
| 4 | 122 | 9 |
| 5 | 174 | 9 |
| 6 | 185 | 9 |
| 7 | 190 | 9 |
| done | 190 | 9 |
| 0 | 11 | 12 |
| 1 | 19 | 12 |
| 2 | 36 | 12 |
| 3 | 45 | 12 |
| 4 | 54 | 12 |
| 5 | 59 | 12 |
| 6 | 68 | 12 |
| 7 | 85 | 12 |
| 8 | 104 | 12 |
| 9 | 112 | 12 |
| done | 112 | 12 |
| 0 | 10 | 11 |
| 1 | 17 | 11 |
| 2 | 30 | 11 |
| 3 | 39 | 11 |
| 4 | 49 | 11 |
| 5 | 58 | 11 |
| 6 | 63 | 11 |
| 7 | 72 | 11 |
| 8 | 89 | 11 |
| 9 | 108 | 11 |
| 10 | 116 | 11 |
| done | 116 | 11 |
| 0 | 9 | 10 |
| 1 | 18 | 10 |
| 2 | 46 | 10 |
| 3 | 95 | 10 |
| 4 | 154 | 10 |
| 5 | 218 | 10 |
| 6 | 241 | 10 |
| 7 | 258 | 10 |
| 8 | 281 | 10 |
| 9 | 291 | 10 |
| 10 | 307 | 10 |
| 11 | 309 | 10 |
| done | 309 | 10 |
| 0 | 9 | 10 |
| 1 | 17 | 10 |
| 2 | 45 | 10 |
| 3 | 104 | 10 |
| 4 | 218 | 10 |
| 5 | 442 | 10 |
| 6 | 1019 | 10 |
| 7 | 3273 | 10 |
| done | 5001 | 10 |
| 0 | 14 | 29 |
| 1 | 32 | 29 |
| 2 | 134 | 15 |
| 3 | 716 | 13 |
| 4 | 4490 | 13 |
| done | 5000 | 13 |
| 0 | 12 | 29 |
| 1 | 28 | 29 |
| 2 | 102 | 13 |
| 3 | 469 | 13 |
| 4 | 2774 | 11 |
| done | 5000 | 11 |
| 0 | 10 | 21 |
| 1 | 16 | 21 |
| 2 | 38 | 21 |
| 3 | 77 | 21 |
| 4 | 120 | 21 |
| 5 | 172 | 21 |
| 6 | 183 | 21 |
| 7 | 188 | 21 |
| done | 188 | 21 |
| 0 | 9 | 10 |
| 1 | 15 | 10 |
| 2 | 37 | 10 |
| 3 | 76 | 10 |
| 4 | 117 | 10 |
| 5 | 169 | 10 |
| 6 | 180 | 10 |
| 7 | 185 | 10 |
| done | 185 | 10 |
| 0 | 10 | 29 |
| 1 | 26 | 29 |
| 2 | 117 | 11 |
| 3 | 604 | 11 |
| 4 | 3132 | 11 |
| done | 5001 | 11 |
| 0 | 9 | 10 |
| 1 | 15 | 10 |
| 2 | 37 | 10 |
| 3 | 76 | 10 |
| 4 | 117 | 10 |
| 5 | 169 | 10 |
| 6 | 180 | 10 |
| 7 | 185 | 10 |
| done | 185 | 10 |
| 0 | 9 | 10 |
| 1 | 15 | 10 |
| 2 | 37 | 10 |
| 3 | 76 | 10 |
| 4 | 117 | 10 |
| 5 | 169 | 10 |
| 6 | 180 | 10 |
| 7 | 185 | 10 |
| done | 185 | 10 |
| 0 | 9 | 11 |
| 1 | 29 | 11 |
| 2 | 90 | 11 |
| 3 | 325 | 11 |
| 4 | 1018 | 11 |
| 5 | 3144 | 11 |
| done | 5000 | 11 |
| 0 | 11 | 19 |
| 1 | 35 | 15 |
| 2 | 89 | 15 |
| 3 | 180 | 15 |
| 4 | 281 | 15 |
| 5 | 287 | 15 |
| done | 287 | 15 |
| 0 | 8 | 13 |
| 1 | 22 | 13 |
| 2 | 62 | 13 |
| 3 | 161 | 13 |
| 4 | 315 | 13 |
| 5 | 503 | 13 |
| 6 | 727 | 13 |
| 7 | 1213 | 13 |
| 8 | 4143 | 13 |
| done | 5001 | 13 |
| 0 | 7 | 7 |
| 1 | 16 | 7 |
| 2 | 25 | 7 |
| 3 | 27 | 7 |
| done | 27 | 7 |
| 0 | 10 | 11 |
| 1 | 14 | 11 |
| 2 | 21 | 11 |
| done | 21 | 11 |
| 0 | 10 | 11 |
| 1 | 14 | 11 |
| 2 | 21 | 11 |
| done | 21 | 11 |
| 0 | 11 | 12 |
| 1 | 17 | 12 |
| 2 | 27 | 12 |
| 3 | 29 | 12 |
| 4 | 31 | 12 |
| 5 | 32 | 12 |
| done | 32 | 12 |
| 0 | 11 | 12 |
| 1 | 17 | 12 |
| 2 | 27 | 12 |
| 3 | 29 | 12 |
| 4 | 31 | 12 |
| 5 | 32 | 12 |
| done | 32 | 12 |
| 0 | 5 | 5 |
| 1 | 8 | 5 |
| 2 | 11 | 5 |
| 3 | 13 | 5 |
| 4 | 15 | 5 |
| 5 | 16 | 5 |
| done | 16 | 5 |
| 0 | 7 | 8 |
| 1 | 17 | 8 |
| 2 | 40 | 8 |
| 3 | 84 | 8 |
| 4 | 123 | 8 |
| 5 | 132 | 8 |
| 6 | 139 | 8 |
| 7 | 140 | 8 |
| done | 140 | 8 |
| 0 | 5 | 5 |
| 1 | 8 | 5 |
| 2 | 11 | 5 |
| 3 | 13 | 5 |
| 4 | 15 | 5 |
| 5 | 16 | 5 |
| done | 16 | 5 |
| 0 | 7 | 8 |
| 1 | 17 | 8 |
| 2 | 40 | 8 |
| 3 | 84 | 8 |
| 4 | 123 | 8 |
| 5 | 132 | 8 |
| 6 | 139 | 8 |
| 7 | 140 | 8 |
| done | 140 | 8 |
| 0 | 5 | 5 |
| 1 | 8 | 5 |
| 2 | 11 | 5 |
| 3 | 15 | 5 |
| 4 | 16 | 5 |
| done | 16 | 5 |
| 0 | 7 | 8 |
| 1 | 17 | 8 |
| 2 | 43 | 8 |
| 3 | 88 | 8 |
| 4 | 123 | 8 |
| 5 | 133 | 8 |
| 6 | 137 | 8 |
| done | 137 | 8 |
| 0 | 5 | 5 |
| 1 | 8 | 5 |
| 2 | 11 | 5 |
| 3 | 15 | 5 |
| 4 | 16 | 5 |
| done | 16 | 5 |
| 0 | 7 | 8 |
| 1 | 17 | 8 |
| 2 | 43 | 8 |
| 3 | 88 | 8 |
| 4 | 123 | 8 |
| 5 | 133 | 8 |
| 6 | 137 | 8 |
| done | 137 | 8 |
| 0 | 10 | 17 |
| 1 | 18 | 17 |
| 2 | 33 | 17 |
| 3 | 41 | 17 |
| 4 | 50 | 17 |
| 5 | 56 | 17 |
| 6 | 61 | 17 |
| 7 | 62 | 17 |
| done | 62 | 17 |
| 0 | 9 | 10 |
| 1 | 15 | 10 |
| 2 | 25 | 10 |
| 3 | 27 | 10 |
| 4 | 29 | 10 |
| 5 | 30 | 10 |
| done | 30 | 10 |
| 0 | 5 | 5 |
| 1 | 10 | 3 |
| 2 | 20 | 3 |
| done | 20 | 3 |
| 0 | 9 | 10 |
| 1 | 13 | 10 |
| 2 | 26 | 10 |
| 3 | 47 | 10 |
| 4 | 61 | 10 |
| 5 | 69 | 10 |
| done | 69 | 10 |
| 0 | 9 | 10 |
| 1 | 13 | 10 |
| 2 | 26 | 10 |
| 3 | 47 | 10 |
| 4 | 61 | 10 |
| 5 | 69 | 10 |
| done | 69 | 10 |
| 0 | 10 | 11 |
| 1 | 16 | 11 |
| 2 | 38 | 11 |
| 3 | 84 | 11 |
| 4 | 143 | 11 |
| 5 | 221 | 11 |
| 6 | 289 | 11 |
| 7 | 313 | 11 |
| done | 313 | 11 |
| 0 | 10 | 11 |
| 1 | 16 | 11 |
| 2 | 38 | 11 |
| 3 | 84 | 11 |
| 4 | 143 | 11 |
| 5 | 221 | 11 |
| 6 | 289 | 11 |
| 7 | 313 | 11 |
| done | 313 | 11 |
| 0 | 9 | 10 |
| 1 | 15 | 10 |
| 2 | 37 | 10 |
| 3 | 83 | 10 |
| 4 | 134 | 10 |
| 5 | 212 | 10 |
| 6 | 280 | 10 |
| 7 | 304 | 10 |
| done | 304 | 10 |
| 0 | 10 | 11 |
| 1 | 16 | 11 |
| 2 | 38 | 11 |
| 3 | 84 | 11 |
| 4 | 143 | 11 |
| 5 | 221 | 11 |
| 6 | 289 | 11 |
| 7 | 313 | 11 |
| done | 313 | 11 |
| 0 | 10 | 11 |
| 1 | 16 | 11 |
| 2 | 38 | 11 |
| 3 | 84 | 11 |
| 4 | 143 | 11 |
| 5 | 221 | 11 |
| 6 | 289 | 11 |
| 7 | 313 | 11 |
| done | 313 | 11 |
| 0 | 9 | 10 |
| 1 | 15 | 10 |
| 2 | 37 | 10 |
| 3 | 83 | 10 |
| 4 | 134 | 10 |
| 5 | 212 | 10 |
| 6 | 280 | 10 |
| 7 | 304 | 10 |
| done | 304 | 10 |
| 0 | 9 | 10 |
| 1 | 15 | 10 |
| 2 | 37 | 10 |
| 3 | 76 | 10 |
| 4 | 117 | 10 |
| 5 | 169 | 10 |
| 6 | 180 | 10 |
| 7 | 185 | 10 |
| done | 185 | 10 |
| 0 | 9 | 10 |
| 1 | 15 | 10 |
| 2 | 37 | 10 |
| 3 | 76 | 10 |
| 4 | 117 | 10 |
| 5 | 169 | 10 |
| 6 | 180 | 10 |
| 7 | 185 | 10 |
| done | 185 | 10 |
| 0 | 8 | 9 |
| 1 | 14 | 9 |
| 2 | 36 | 9 |
| 3 | 75 | 9 |
| 4 | 122 | 9 |
| 5 | 174 | 9 |
| 6 | 185 | 9 |
| 7 | 190 | 9 |
| done | 190 | 9 |
| 0 | 8 | 9 |
| 1 | 14 | 9 |
| 2 | 36 | 9 |
| 3 | 75 | 9 |
| 4 | 122 | 9 |
| 5 | 174 | 9 |
| 6 | 185 | 9 |
| 7 | 190 | 9 |
| done | 190 | 9 |
| 0 | 9 | 9 |
| 1 | 17 | 9 |
| 2 | 39 | 7 |
| 3 | 110 | 7 |
| 4 | 234 | 7 |
| 5 | 310 | 7 |
| 6 | 364 | 7 |
| 7 | 382 | 7 |
| done | 382 | 7 |
| 0 | 11 | 13 |
| 1 | 33 | 13 |
| 2 | 103 | 13 |
| 3 | 400 | 13 |
| 4 | 1642 | 13 |
| done | 5000 | 13 |
| 0 | 10 | 15 |
| 1 | 26 | 15 |
| 2 | 77 | 15 |
| 3 | 245 | 15 |
| 4 | 674 | 15 |
| 5 | 1374 | 15 |
| 6 | 2162 | 15 |
| 7 | 3552 | 15 |
| done | 5001 | 15 |
| 0 | 6 | 7 |
| 1 | 10 | 7 |
| 2 | 23 | 7 |
| 3 | 37 | 7 |
| 4 | 41 | 7 |
| done | 41 | 7 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 15 | 6 |
| 3 | 20 | 6 |
| 4 | 24 | 6 |
| done | 24 | 6 |
| 0 | 7 | 8 |
| 1 | 10 | 8 |
| 2 | 11 | 8 |
| done | 11 | 8 |
| 0 | 6 | 7 |
| 1 | 12 | 7 |
| 2 | 20 | 7 |
| 3 | 25 | 7 |
| 4 | 29 | 7 |
| done | 29 | 7 |
| 0 | 6 | 7 |
| 1 | 11 | 7 |
| 2 | 30 | 5 |
| 3 | 51 | 5 |
| 4 | 94 | 5 |
| 5 | 177 | 5 |
| 6 | 422 | 5 |
| 7 | 1303 | 5 |
| done | 5000 | 5 |
| 0 | 9 | 20 |
| 1 | 18 | 20 |
| 2 | 56 | 10 |
| 3 | 180 | 10 |
| 4 | 619 | 8 |
| 5 | 2374 | 8 |
| done | 5000 | 8 |
| 0 | 7 | 15 |
| 1 | 10 | 15 |
| 2 | 17 | 15 |
| 3 | 22 | 15 |
| 4 | 26 | 15 |
| done | 26 | 15 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 16 | 7 |
| 3 | 21 | 7 |
| 4 | 25 | 7 |
| done | 25 | 7 |
| 0 | 7 | 20 |
| 1 | 20 | 20 |
| 2 | 74 | 8 |
| 3 | 285 | 8 |
| 4 | 864 | 8 |
| 5 | 2739 | 8 |
| done | 5000 | 8 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 16 | 7 |
| 3 | 21 | 7 |
| 4 | 25 | 7 |
| done | 25 | 7 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 16 | 7 |
| 3 | 21 | 7 |
| 4 | 25 | 7 |
| done | 25 | 7 |
| 0 | 7 | 8 |
| 1 | 10 | 8 |
| 2 | 11 | 8 |
| done | 11 | 8 |
| 0 | 7 | 8 |
| 1 | 10 | 8 |
| 2 | 11 | 8 |
| done | 11 | 8 |
| 0 | 7 | 10 |
| 1 | 12 | 10 |
| 2 | 25 | 9 |
| 3 | 54 | 9 |
| 4 | 116 | 9 |
| 5 | 178 | 9 |
| 6 | 225 | 9 |
| 7 | 322 | 9 |
| 8 | 493 | 9 |
| 9 | 675 | 9 |
| 10 | 740 | 9 |
| done | 740 | 9 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 16 | 7 |
| 3 | 21 | 7 |
| 4 | 25 | 7 |
| done | 25 | 7 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 16 | 7 |
| 3 | 21 | 7 |
| 4 | 25 | 7 |
| done | 25 | 7 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 16 | 7 |
| 3 | 21 | 7 |
| 4 | 25 | 7 |
| done | 25 | 7 |
| 0 | 6 | 6 |
| 1 | 11 | 5 |
| 2 | 18 | 1 |
| 3 | 22 | 1 |
| done | 22 | 1 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 15 | 6 |
| 3 | 20 | 6 |
| 4 | 24 | 6 |
| done | 24 | 6 |
| 0 | 7 | 10 |
| 1 | 12 | 10 |
| 2 | 25 | 9 |
| 3 | 54 | 9 |
| 4 | 116 | 9 |
| 5 | 178 | 9 |
| 6 | 225 | 9 |
| 7 | 322 | 9 |
| 8 | 493 | 9 |
| 9 | 675 | 9 |
| 10 | 742 | 9 |
| done | 742 | 9 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 16 | 7 |
| 3 | 21 | 7 |
| 4 | 25 | 7 |
| done | 25 | 7 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 16 | 7 |
| 3 | 21 | 7 |
| 4 | 25 | 7 |
| done | 25 | 7 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 16 | 7 |
| 3 | 21 | 7 |
| 4 | 25 | 7 |
| done | 25 | 7 |
| 0 | 6 | 6 |
| 1 | 11 | 5 |
| 2 | 18 | 1 |
| 3 | 22 | 1 |
| done | 22 | 1 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 15 | 6 |
| 3 | 20 | 6 |
| 4 | 24 | 6 |
| done | 24 | 6 |
| 0 | 5 | 5 |
| 1 | 10 | 3 |
| 2 | 20 | 3 |
| 3 | 31 | 3 |
| 4 | 40 | 3 |
| 5 | 44 | 3 |
| done | 44 | 3 |
| 0 | 7 | 11 |
| 1 | 12 | 11 |
| 2 | 21 | 11 |
| 3 | 38 | 11 |
| 4 | 50 | 11 |
| 5 | 58 | 11 |
| done | 58 | 11 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 16 | 7 |
| 3 | 21 | 7 |
| 4 | 25 | 7 |
| done | 25 | 7 |
| 0 | 5 | 5 |
| 1 | 10 | 3 |
| 2 | 20 | 3 |
| 3 | 31 | 3 |
| 4 | 40 | 3 |
| 5 | 44 | 3 |
| done | 44 | 3 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 10 | 7 |
| done | 10 | 7 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 10 | 7 |
| done | 10 | 7 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 15 | 6 |
| 3 | 20 | 6 |
| 4 | 24 | 6 |
| done | 24 | 6 |
| 0 | 7 | 8 |
| 1 | 10 | 8 |
| 2 | 17 | 8 |
| 3 | 22 | 8 |
| 4 | 26 | 8 |
| done | 26 | 8 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 15 | 6 |
| 3 | 20 | 6 |
| 4 | 24 | 6 |
| done | 24 | 6 |
| 0 | 8 | 10 |
| 1 | 24 | 10 |
| 2 | 52 | 10 |
| 3 | 131 | 10 |
| 4 | 308 | 10 |
| 5 | 980 | 10 |
| 6 | 4487 | 10 |
| done | 5000 | 10 |
| 0 | 7 | 10 |
| 1 | 13 | 10 |
| 2 | 30 | 10 |
| 3 | 76 | 10 |
| 4 | 159 | 10 |
| 5 | 245 | 10 |
| 6 | 395 | 10 |
| 7 | 764 | 10 |
| 8 | 3363 | 10 |
| done | 5000 | 10 |
| 0 | 8 | 10 |
| 1 | 15 | 9 |
| 2 | 35 | 8 |
| 3 | 65 | 8 |
| 4 | 139 | 8 |
| 5 | 310 | 8 |
| 6 | 1076 | 8 |
| done | 5001 | 8 |
| 0 | 7 | 9 |
| 1 | 12 | 9 |
| 2 | 20 | 9 |
| 3 | 31 | 9 |
| 4 | 45 | 9 |
| 5 | 53 | 9 |
| 6 | 65 | 9 |
| 7 | 90 | 9 |
| 8 | 133 | 9 |
| 9 | 180 | 9 |
| 10 | 207 | 9 |
| 11 | 245 | 9 |
| 12 | 290 | 9 |
| 13 | 371 | 9 |
| 14 | 507 | 9 |
| 15 | 571 | 9 |
| 16 | 807 | 9 |
| 17 | 820 | 9 |
| 18 | 830 | 9 |
| 19 | 847 | 9 |
| 20 | 872 | 9 |
| 21 | 952 | 9 |
| 22 | 1249 | 9 |
| 23 | 2523 | 9 |
| done | 5000 | 9 |
| 0 | 7 | 9 |
| 1 | 15 | 9 |
| 2 | 30 | 8 |
| 3 | 61 | 8 |
| 4 | 124 | 8 |
| 5 | 273 | 8 |
| 6 | 841 | 8 |
| 7 | 3110 | 8 |
| done | 5001 | 8 |
| 0 | 8 | 19 |
| 1 | 13 | 19 |
| 2 | 21 | 19 |
| 3 | 32 | 19 |
| 4 | 46 | 19 |
| 5 | 54 | 19 |
| 6 | 66 | 19 |
| 7 | 91 | 19 |
| 8 | 134 | 19 |
| 9 | 181 | 19 |
| 10 | 208 | 19 |
| 11 | 248 | 19 |
| 12 | 295 | 19 |
| 13 | 376 | 19 |
| 14 | 510 | 19 |
| 15 | 574 | 19 |
| 16 | 806 | 19 |
| 17 | 814 | 19 |
| done | 814 | 19 |
| 0 | 7 | 9 |
| 1 | 12 | 9 |
| 2 | 20 | 9 |
| 3 | 31 | 9 |
| 4 | 45 | 9 |
| 5 | 53 | 9 |
| 6 | 65 | 9 |
| 7 | 90 | 9 |
| 8 | 133 | 9 |
| 9 | 180 | 9 |
| 10 | 207 | 9 |
| 11 | 245 | 9 |
| 12 | 290 | 9 |
| 13 | 371 | 9 |
| 14 | 507 | 9 |
| 15 | 571 | 9 |
| 16 | 807 | 9 |
| 17 | 815 | 9 |
| done | 815 | 9 |
| 0 | 8 | 26 |
| 1 | 14 | 26 |
| 2 | 36 | 10 |
| 3 | 118 | 10 |
| 4 | 543 | 10 |
| 5 | 3047 | 10 |
| done | 5001 | 10 |
| 0 | 7 | 9 |
| 1 | 12 | 9 |
| 2 | 20 | 9 |
| 3 | 31 | 9 |
| 4 | 45 | 9 |
| 5 | 53 | 9 |
| 6 | 65 | 9 |
| 7 | 90 | 9 |
| 8 | 133 | 9 |
| 9 | 180 | 9 |
| 10 | 207 | 9 |
| 11 | 245 | 9 |
| 12 | 290 | 9 |
| 13 | 371 | 9 |
| 14 | 507 | 9 |
| 15 | 571 | 9 |
| 16 | 807 | 9 |
| 17 | 815 | 9 |
| done | 815 | 9 |
| 0 | 7 | 9 |
| 1 | 12 | 9 |
| 2 | 20 | 9 |
| 3 | 31 | 9 |
| 4 | 45 | 9 |
| 5 | 53 | 9 |
| 6 | 65 | 9 |
| 7 | 90 | 9 |
| 8 | 133 | 9 |
| 9 | 180 | 9 |
| 10 | 207 | 9 |
| 11 | 245 | 9 |
| 12 | 290 | 9 |
| 13 | 371 | 9 |
| 14 | 507 | 9 |
| 15 | 571 | 9 |
| 16 | 807 | 9 |
| 17 | 815 | 9 |
| done | 815 | 9 |
| 0 | 9 | 12 |
| 1 | 30 | 12 |
| 2 | 88 | 12 |
| 3 | 263 | 12 |
| 4 | 831 | 12 |
| 5 | 2628 | 12 |
| done | 5000 | 12 |
| 0 | 10 | 26 |
| 1 | 29 | 24 |
| 2 | 67 | 24 |
| 3 | 172 | 19 |
| 4 | 450 | 19 |
| 5 | 1290 | 19 |
| 6 | 4164 | 19 |
| done | 5000 | 19 |
| 0 | 2 | 2 |
| done | 2 | 2 |
| 0 | 8 | 17 |
| 1 | 23 | 17 |
| 2 | 60 | 17 |
| 3 | 169 | 17 |
| 4 | 458 | 17 |
| 5 | 1304 | 17 |
| 6 | 4557 | 17 |
| done | 5000 | 17 |
| 0 | 6 | 8 |
| 1 | 10 | 8 |
| 2 | 17 | 8 |
| 3 | 26 | 8 |
| 4 | 38 | 8 |
| 5 | 45 | 8 |
| 6 | 57 | 8 |
| 7 | 76 | 8 |
| 8 | 98 | 8 |
| 9 | 121 | 8 |
| 10 | 144 | 8 |
| 11 | 174 | 8 |
| 12 | 216 | 8 |
| 13 | 274 | 8 |
| 14 | 339 | 8 |
| 15 | 441 | 8 |
| 16 | 537 | 8 |
| 17 | 671 | 8 |
| 18 | 780 | 8 |
| 19 | 784 | 8 |
| done | 784 | 8 |
| 0 | 7 | 9 |
| 1 | 12 | 9 |
| 2 | 20 | 9 |
| 3 | 31 | 9 |
| 4 | 45 | 9 |
| 5 | 53 | 9 |
| 6 | 65 | 9 |
| 7 | 90 | 9 |
| 8 | 133 | 9 |
| 9 | 180 | 9 |
| 10 | 207 | 9 |
| 11 | 247 | 9 |
| 12 | 292 | 9 |
| 13 | 373 | 9 |
| 14 | 511 | 9 |
| 15 | 575 | 9 |
| 16 | 807 | 9 |
| 17 | 815 | 9 |
| done | 815 | 9 |
| 0 | 7 | 9 |
| 1 | 12 | 9 |
| 2 | 20 | 9 |
| 3 | 31 | 9 |
| 4 | 45 | 9 |
| 5 | 53 | 9 |
| 6 | 65 | 9 |
| 7 | 90 | 9 |
| 8 | 133 | 9 |
| 9 | 180 | 9 |
| 10 | 207 | 9 |
| 11 | 247 | 9 |
| 12 | 292 | 9 |
| 13 | 373 | 9 |
| 14 | 511 | 9 |
| 15 | 575 | 9 |
| 16 | 807 | 9 |
| 17 | 815 | 9 |
| done | 815 | 9 |
| 0 | 6 | 8 |
| 1 | 11 | 8 |
| 2 | 19 | 8 |
| 3 | 30 | 8 |
| 4 | 44 | 8 |
| 5 | 52 | 8 |
| 6 | 64 | 8 |
| 7 | 89 | 8 |
| 8 | 132 | 8 |
| 9 | 179 | 8 |
| 10 | 206 | 8 |
| 11 | 244 | 8 |
| 12 | 289 | 8 |
| 13 | 370 | 8 |
| 14 | 504 | 8 |
| 15 | 568 | 8 |
| 16 | 802 | 8 |
| 17 | 810 | 8 |
| done | 810 | 8 |
| 0 | 7 | 9 |
| 1 | 12 | 9 |
| 2 | 20 | 9 |
| 3 | 31 | 9 |
| 4 | 45 | 9 |
| 5 | 53 | 9 |
| 6 | 65 | 9 |
| 7 | 90 | 9 |
| 8 | 133 | 9 |
| 9 | 180 | 9 |
| 10 | 207 | 9 |
| 11 | 247 | 9 |
| 12 | 292 | 9 |
| 13 | 373 | 9 |
| 14 | 511 | 9 |
| 15 | 575 | 9 |
| 16 | 809 | 9 |
| 17 | 817 | 9 |
| done | 817 | 9 |
| 0 | 7 | 9 |
| 1 | 12 | 9 |
| 2 | 20 | 9 |
| 3 | 31 | 9 |
| 4 | 45 | 9 |
| 5 | 53 | 9 |
| 6 | 65 | 9 |
| 7 | 90 | 9 |
| 8 | 133 | 9 |
| 9 | 180 | 9 |
| 10 | 207 | 9 |
| 11 | 247 | 9 |
| 12 | 292 | 9 |
| 13 | 373 | 9 |
| 14 | 511 | 9 |
| 15 | 575 | 9 |
| 16 | 809 | 9 |
| 17 | 817 | 9 |
| done | 817 | 9 |
| 0 | 6 | 8 |
| 1 | 11 | 8 |
| 2 | 19 | 8 |
| 3 | 30 | 8 |
| 4 | 44 | 8 |
| 5 | 52 | 8 |
| 6 | 64 | 8 |
| 7 | 89 | 8 |
| 8 | 132 | 8 |
| 9 | 179 | 8 |
| 10 | 206 | 8 |
| 11 | 244 | 8 |
| 12 | 289 | 8 |
| 13 | 370 | 8 |
| 14 | 504 | 8 |
| 15 | 568 | 8 |
| 16 | 804 | 8 |
| 17 | 812 | 8 |
| done | 812 | 8 |
| 0 | 2 | 2 |
| done | 2 | 2 |
| 0 | 11 | 13 |
| 1 | 21 | 12 |
| 2 | 50 | 11 |
| 3 | 98 | 10 |
| 4 | 247 | 10 |
| 5 | 662 | 10 |
| 6 | 2525 | 10 |
| done | 5000 | 10 |
| 0 | 10 | 12 |
| 1 | 21 | 11 |
| 2 | 45 | 11 |
| 3 | 104 | 10 |
| 4 | 258 | 10 |
| 5 | 669 | 10 |
| 6 | 2169 | 10 |
| done | 5000 | 10 |
| 0 | 9 | 11 |
| 1 | 17 | 11 |
| 2 | 34 | 11 |
| 3 | 62 | 11 |
| 4 | 123 | 11 |
| 5 | 190 | 11 |
| 6 | 284 | 11 |
| 7 | 476 | 11 |
| 8 | 631 | 11 |
| 9 | 664 | 11 |
| 10 | 681 | 11 |
| 11 | 739 | 11 |
| 12 | 819 | 11 |
| 13 | 922 | 11 |
| 14 | 1056 | 11 |
| 15 | 1120 | 11 |
| 16 | 1366 | 11 |
| 17 | 1374 | 11 |
| done | 1374 | 11 |
| 0 | 9 | 11 |
| 1 | 20 | 11 |
| 2 | 45 | 11 |
| 3 | 101 | 10 |
| 4 | 236 | 10 |
| 5 | 539 | 10 |
| 6 | 1711 | 10 |
| done | 5000 | 10 |
| 0 | 10 | 23 |
| 1 | 18 | 23 |
| 2 | 35 | 23 |
| 3 | 63 | 23 |
| 4 | 124 | 23 |
| 5 | 192 | 23 |
| 6 | 285 | 23 |
| 7 | 475 | 23 |
| 8 | 627 | 23 |
| 9 | 660 | 23 |
| 10 | 677 | 23 |
| 11 | 735 | 23 |
| 12 | 815 | 23 |
| 13 | 918 | 23 |
| 14 | 1054 | 23 |
| 15 | 1118 | 23 |
| 16 | 1360 | 23 |
| 17 | 1368 | 23 |
| done | 1368 | 23 |
| 0 | 9 | 11 |
| 1 | 17 | 11 |
| 2 | 34 | 11 |
| 3 | 62 | 11 |
| 4 | 123 | 11 |
| 5 | 190 | 11 |
| 6 | 284 | 11 |
| 7 | 476 | 11 |
| 8 | 631 | 11 |
| 9 | 664 | 11 |
| 10 | 681 | 11 |
| 11 | 739 | 11 |
| 12 | 819 | 11 |
| 13 | 922 | 11 |
| 14 | 1056 | 11 |
| 15 | 1120 | 11 |
| 16 | 1366 | 11 |
| 17 | 1374 | 11 |
| done | 1374 | 11 |
| 0 | 10 | 32 |
| 1 | 31 | 32 |
| 2 | 92 | 12 |
| 3 | 395 | 12 |
| 4 | 2786 | 12 |
| done | 5000 | 12 |
| 0 | 9 | 11 |
| 1 | 17 | 11 |
| 2 | 34 | 11 |
| 3 | 62 | 11 |
| 4 | 123 | 11 |
| 5 | 190 | 11 |
| 6 | 284 | 11 |
| 7 | 476 | 11 |
| 8 | 631 | 11 |
| 9 | 664 | 11 |
| 10 | 681 | 11 |
| 11 | 739 | 11 |
| 12 | 819 | 11 |
| 13 | 922 | 11 |
| 14 | 1056 | 11 |
| 15 | 1120 | 11 |
| 16 | 1366 | 11 |
| 17 | 1374 | 11 |
| done | 1374 | 11 |
| 0 | 9 | 11 |
| 1 | 17 | 11 |
| 2 | 34 | 11 |
| 3 | 62 | 11 |
| 4 | 123 | 11 |
| 5 | 190 | 11 |
| 6 | 284 | 11 |
| 7 | 476 | 11 |
| 8 | 631 | 11 |
| 9 | 664 | 11 |
| 10 | 681 | 11 |
| 11 | 739 | 11 |
| 12 | 819 | 11 |
| 13 | 922 | 11 |
| 14 | 1056 | 11 |
| 15 | 1120 | 11 |
| 16 | 1366 | 11 |
| 17 | 1374 | 11 |
| done | 1374 | 11 |
| 0 | 11 | 14 |
| 1 | 30 | 14 |
| 2 | 59 | 14 |
| 3 | 157 | 14 |
| 4 | 634 | 14 |
| 5 | 3426 | 14 |
| done | 5000 | 14 |
| 0 | 12 | 32 |
| 1 | 25 | 30 |
| 2 | 63 | 30 |
| 3 | 181 | 23 |
| 4 | 743 | 23 |
| 5 | 3750 | 23 |
| done | 5000 | 23 |
| 0 | 10 | 21 |
| 1 | 20 | 21 |
| 2 | 49 | 21 |
| 3 | 153 | 21 |
| 4 | 775 | 21 |
| 5 | 4008 | 21 |
| done | 5000 | 21 |
| 0 | 8 | 10 |
| 1 | 17 | 10 |
| 2 | 35 | 10 |
| 3 | 70 | 10 |
| 4 | 135 | 10 |
| 5 | 206 | 10 |
| 6 | 308 | 10 |
| 7 | 518 | 10 |
| 8 | 674 | 10 |
| 9 | 687 | 10 |
| 10 | 703 | 10 |
| 11 | 761 | 10 |
| 12 | 841 | 10 |
| 13 | 944 | 10 |
| 14 | 1080 | 10 |
| 15 | 1144 | 10 |
| 16 | 1384 | 10 |
| 17 | 1392 | 10 |
| done | 1392 | 10 |
| 0 | 8 | 10 |
| 1 | 16 | 10 |
| 2 | 33 | 10 |
| 3 | 61 | 10 |
| 4 | 122 | 10 |
| 5 | 188 | 10 |
| 6 | 282 | 10 |
| 7 | 474 | 10 |
| 8 | 629 | 10 |
| 9 | 662 | 10 |
| 10 | 679 | 10 |
| 11 | 737 | 10 |
| 12 | 817 | 10 |
| 13 | 920 | 10 |
| 14 | 1052 | 10 |
| 15 | 1116 | 10 |
| 16 | 1352 | 10 |
| 17 | 1360 | 10 |
| done | 1360 | 10 |
| 0 | 4 | 4 |
| 1 | 5 | 4 |
| 2 | 6 | 3 |
| done | 6 | 3 |
| 0 | 9 | 11 |
| 1 | 17 | 11 |
| 2 | 34 | 11 |
| 3 | 62 | 11 |
| 4 | 123 | 11 |
| 5 | 188 | 11 |
| 6 | 281 | 11 |
| 7 | 471 | 11 |
| 8 | 626 | 11 |
| 9 | 659 | 11 |
| 10 | 676 | 11 |
| 11 | 734 | 11 |
| 12 | 814 | 11 |
| 13 | 917 | 11 |
| 14 | 1057 | 11 |
| 15 | 1121 | 11 |
| 16 | 1361 | 11 |
| 17 | 1369 | 11 |
| done | 1369 | 11 |
| 0 | 9 | 11 |
| 1 | 17 | 11 |
| 2 | 34 | 11 |
| 3 | 62 | 11 |
| 4 | 123 | 11 |
| 5 | 188 | 11 |
| 6 | 281 | 11 |
| 7 | 471 | 11 |
| 8 | 626 | 11 |
| 9 | 659 | 11 |
| 10 | 676 | 11 |
| 11 | 734 | 11 |
| 12 | 814 | 11 |
| 13 | 917 | 11 |
| 14 | 1057 | 11 |
| 15 | 1121 | 11 |
| 16 | 1361 | 11 |
| 17 | 1369 | 11 |
| done | 1369 | 11 |
| 0 | 8 | 10 |
| 1 | 16 | 10 |
| 2 | 33 | 10 |
| 3 | 61 | 10 |
| 4 | 122 | 10 |
| 5 | 188 | 10 |
| 6 | 282 | 10 |
| 7 | 474 | 10 |
| 8 | 629 | 10 |
| 9 | 662 | 10 |
| 10 | 679 | 10 |
| 11 | 737 | 10 |
| 12 | 817 | 10 |
| 13 | 920 | 10 |
| 14 | 1052 | 10 |
| 15 | 1116 | 10 |
| 16 | 1352 | 10 |
| 17 | 1360 | 10 |
| done | 1360 | 10 |
| 0 | 9 | 11 |
| 1 | 17 | 11 |
| 2 | 34 | 11 |
| 3 | 62 | 11 |
| 4 | 123 | 11 |
| 5 | 188 | 11 |
| 6 | 281 | 11 |
| 7 | 471 | 11 |
| 8 | 623 | 11 |
| 9 | 657 | 11 |
| 10 | 674 | 11 |
| 11 | 732 | 11 |
| 12 | 812 | 11 |
| 13 | 915 | 11 |
| 14 | 1057 | 11 |
| 15 | 1121 | 11 |
| 16 | 1363 | 11 |
| 17 | 1371 | 11 |
| done | 1371 | 11 |
| 0 | 9 | 11 |
| 1 | 17 | 11 |
| 2 | 34 | 11 |
| 3 | 62 | 11 |
| 4 | 123 | 11 |
| 5 | 188 | 11 |
| 6 | 281 | 11 |
| 7 | 471 | 11 |
| 8 | 623 | 11 |
| 9 | 657 | 11 |
| 10 | 674 | 11 |
| 11 | 732 | 11 |
| 12 | 812 | 11 |
| 13 | 915 | 11 |
| 14 | 1057 | 11 |
| 15 | 1121 | 11 |
| 16 | 1363 | 11 |
| 17 | 1371 | 11 |
| done | 1371 | 11 |
| 0 | 8 | 10 |
| 1 | 16 | 10 |
| 2 | 33 | 10 |
| 3 | 61 | 10 |
| 4 | 122 | 10 |
| 5 | 188 | 10 |
| 6 | 282 | 10 |
| 7 | 474 | 10 |
| 8 | 629 | 10 |
| 9 | 662 | 10 |
| 10 | 679 | 10 |
| 11 | 737 | 10 |
| 12 | 817 | 10 |
| 13 | 920 | 10 |
| 14 | 1050 | 10 |
| 15 | 1114 | 10 |
| 16 | 1352 | 10 |
| 17 | 1360 | 10 |
| done | 1360 | 10 |
| 0 | 4 | 4 |
| 1 | 5 | 4 |
| 2 | 6 | 3 |
| done | 6 | 3 |
| 0 | 3 | 3 |
| 1 | 5 | 3 |
| 2 | 6 | 3 |
| done | 6 | 3 |
| 0 | 11 | 13 |
| 1 | 24 | 13 |
| 2 | 54 | 13 |
| 3 | 90 | 13 |
| 4 | 153 | 13 |
| 5 | 224 | 9 |
| 6 | 261 | 9 |
| 7 | 325 | 9 |
| 8 | 535 | 9 |
| 9 | 1474 | 9 |
| done | 5000 | 9 |
| 0 | 11 | 13 |
| 1 | 24 | 13 |
| 2 | 54 | 13 |
| 3 | 90 | 13 |
| 4 | 153 | 13 |
| 5 | 224 | 9 |
| 6 | 261 | 9 |
| 7 | 325 | 9 |
| 8 | 535 | 9 |
| 9 | 1474 | 9 |
| done | 5000 | 9 |
| 0 | 11 | 13 |
| 1 | 24 | 13 |
| 2 | 54 | 13 |
| 3 | 90 | 13 |
| 4 | 153 | 13 |
| 5 | 224 | 9 |
| 6 | 261 | 9 |
| 7 | 325 | 9 |
| 8 | 535 | 9 |
| 9 | 1474 | 9 |
| done | 5000 | 9 |
| 0 | 12 | 19 |
| 1 | 29 | 13 |
| 2 | 60 | 6 |
| 3 | 94 | 6 |
| 4 | 135 | 6 |
| 5 | 197 | 6 |
| 6 | 244 | 6 |
| 7 | 284 | 6 |
| 8 | 394 | 6 |
| done | 394 | 6 |
| 0 | 13 | 23 |
| 1 | 30 | 19 |
| 2 | 61 | 13 |
| 3 | 119 | 7 |
| 4 | 165 | 7 |
| 5 | 275 | 6 |
| 6 | 367 | 6 |
| 7 | 440 | 6 |
| done | 440 | 6 |
| 0 | 13 | 23 |
| 1 | 27 | 23 |
| 2 | 51 | 23 |
| 3 | 115 | 18 |
| 4 | 270 | 15 |
| 5 | 873 | 9 |
| 6 | 2694 | 6 |
| done | 5000 | 6 |
| 0 | 13 | 21 |
| 1 | 32 | 17 |
| 2 | 74 | 11 |
| 3 | 189 | 8 |
| 4 | 238 | 8 |
| 5 | 398 | 8 |
| 6 | 515 | 8 |
| 7 | 586 | 8 |
| 8 | 819 | 8 |
| 9 | 944 | 8 |
| 10 | 1058 | 8 |
| 11 | 1168 | 8 |
| 12 | 1258 | 8 |
| 13 | 1428 | 8 |
| 14 | 1492 | 8 |
| 15 | 1828 | 8 |
| 16 | 1836 | 8 |
| done | 1836 | 8 |
| 0 | 14 | 25 |
| 1 | 34 | 21 |
| 2 | 84 | 15 |
| 3 | 200 | 12 |
| 4 | 344 | 9 |
| 5 | 548 | 9 |
| 6 | 919 | 8 |
| 7 | 1318 | 8 |
| 8 | 1489 | 8 |
| 9 | 1553 | 8 |
| 10 | 1891 | 8 |
| 11 | 1899 | 8 |
| done | 1899 | 8 |
| 0 | 14 | 25 |
| 1 | 31 | 25 |
| 2 | 75 | 25 |
| 3 | 203 | 25 |
| 4 | 566 | 17 |
| 5 | 2145 | 17 |
| done | 5000 | 17 |
| 0 | 15 | 23 |
| 1 | 37 | 19 |
| 2 | 94 | 13 |
| 3 | 281 | 10 |
| 4 | 438 | 10 |
| 5 | 869 | 10 |
| 6 | 1270 | 10 |
| 7 | 1350 | 10 |
| 8 | 1693 | 10 |
| 9 | 1866 | 10 |
| 10 | 2024 | 10 |
| 11 | 2200 | 10 |
| 12 | 2312 | 10 |
| 13 | 2488 | 10 |
| 14 | 2552 | 10 |
| 15 | 2892 | 10 |
| 16 | 2900 | 10 |
| done | 2900 | 10 |
| 0 | 16 | 27 |
| 1 | 39 | 23 |
| 2 | 102 | 19 |
| 3 | 326 | 13 |
| 4 | 510 | 11 |
| 5 | 1187 | 11 |
| 6 | 1739 | 10 |
| 7 | 2094 | 10 |
| 8 | 2207 | 10 |
| 9 | 2379 | 10 |
| 10 | 2443 | 10 |
| 11 | 2775 | 10 |
| 12 | 2783 | 10 |
| done | 2783 | 10 |
| 0 | 16 | 27 |
| 1 | 36 | 27 |
| 2 | 95 | 27 |
| 3 | 327 | 27 |
| 4 | 1091 | 22 |
| 5 | 4441 | 19 |
| done | 5000 | 19 |
15 alts after pruning (15 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 112 | 9 | 121 |
| Fresh | 5 | 6 | 11 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 118 | 15 | 133 |
Merged error: 1.0b
Found 4 expressions with local error:
| 0.1b | (+ (- (* (- x 0.5) (log x)) x) 0.91893853320467) |
| 0.2b | (- (* (- x 0.5) (log x)) x) |
| 0.2b | (* (- x 0.5) (log x)) |
| 0.2b | (* z (/ (- 0.0027777777777778 (* 0.0007936500793651 z)) x)) |
| 29× | add-sqr-sqrt |
| 24× | *-un-lft-identity |
| 20× | add-cube-cbrt |
| 18× | log-prod |
| 17× | associate-*r* |
| 12× | associate--l+ |
| 11× | add-exp-log add-cbrt-cube add-log-exp |
| 10× | times-frac |
| 9× | pow1 distribute-rgt-in distribute-lft-in |
| 8× | associate-+l+ associate-*l* |
| 3× | prod-exp cbrt-unprod unswap-sqr |
| 2× | sub-neg flip3-- diff-log pow-prod-down associate-*l/ sum-log *-commutative flip-- |
| 1× | cbrt-undiv +-commutative associate-+l- flip3-+ associate-*r/ div-exp log-pow flip-+ div-inv distribute-lft-out distribute-lft-out-- difference-of-squares |
| 12.0ms | (+ (- (* (- x 0.5) (log x)) x) 0.91893853320467) |
| 8.0ms | (- (* (- x 0.5) (log x)) x) |
| 8.0ms | (* (- x 0.5) (log x)) |
| 9.0ms | (* z (/ (- 0.0027777777777778 (* 0.0007936500793651 z)) x)) |
| 48.0ms | (+ (- (* (- x 0.5) (log x)) x) 0.91893853320467) |
| 41.0ms | (- (* (- x 0.5) (log x)) x) |
| 25.0ms | (* (- x 0.5) (log x)) |
| 14.0ms | (* z (/ (- 0.0027777777777778 (* 0.0007936500793651 z)) x)) |
Useful iterations: 2 (2.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 8 | 9 |
| 1 | 17 | 9 |
| 2 | 39 | 9 |
| 3 | 69 | 9 |
| 4 | 110 | 9 |
| 5 | 175 | 9 |
| 6 | 200 | 9 |
| 7 | 202 | 9 |
| done | 202 | 9 |
| 0 | 11 | 12 |
| 1 | 19 | 12 |
| 2 | 33 | 12 |
| 3 | 42 | 12 |
| 4 | 48 | 12 |
| 5 | 58 | 12 |
| 6 | 65 | 12 |
| 7 | 77 | 12 |
| 8 | 100 | 12 |
| 9 | 114 | 12 |
| 10 | 120 | 12 |
| done | 120 | 12 |
| 0 | 10 | 11 |
| 1 | 20 | 11 |
| 2 | 39 | 11 |
| 3 | 56 | 11 |
| 4 | 82 | 11 |
| 5 | 97 | 11 |
| 6 | 102 | 11 |
| 7 | 111 | 11 |
| 8 | 128 | 11 |
| 9 | 147 | 11 |
| 10 | 155 | 11 |
| done | 155 | 11 |
| 0 | 9 | 10 |
| 1 | 21 | 10 |
| 2 | 49 | 10 |
| 3 | 89 | 10 |
| 4 | 149 | 10 |
| 5 | 227 | 10 |
| 6 | 264 | 10 |
| 7 | 284 | 10 |
| 8 | 300 | 10 |
| 9 | 307 | 10 |
| 10 | 324 | 10 |
| 11 | 326 | 10 |
| done | 326 | 10 |
| 0 | 9 | 10 |
| 1 | 20 | 10 |
| 2 | 48 | 10 |
| 3 | 96 | 10 |
| 4 | 193 | 10 |
| 5 | 443 | 10 |
| 6 | 1015 | 10 |
| 7 | 2912 | 10 |
| done | 5000 | 10 |
| 0 | 14 | 29 |
| 1 | 32 | 29 |
| 2 | 132 | 15 |
| 3 | 623 | 13 |
| 4 | 3056 | 13 |
| done | 5001 | 13 |
| 0 | 12 | 29 |
| 1 | 31 | 29 |
| 2 | 105 | 13 |
| 3 | 436 | 13 |
| 4 | 2247 | 11 |
| done | 5000 | 11 |
| 0 | 10 | 21 |
| 1 | 19 | 21 |
| 2 | 41 | 21 |
| 3 | 71 | 21 |
| 4 | 112 | 21 |
| 5 | 177 | 21 |
| 6 | 200 | 21 |
| 7 | 202 | 21 |
| done | 202 | 21 |
| 0 | 9 | 10 |
| 1 | 18 | 10 |
| 2 | 40 | 10 |
| 3 | 70 | 10 |
| 4 | 113 | 10 |
| 5 | 178 | 10 |
| 6 | 202 | 10 |
| 7 | 204 | 10 |
| done | 204 | 10 |
| 0 | 10 | 29 |
| 1 | 29 | 29 |
| 2 | 102 | 11 |
| 3 | 412 | 11 |
| 4 | 2091 | 11 |
| done | 5001 | 11 |
| 0 | 9 | 10 |
| 1 | 18 | 10 |
| 2 | 40 | 10 |
| 3 | 70 | 10 |
| 4 | 113 | 10 |
| 5 | 178 | 10 |
| 6 | 202 | 10 |
| 7 | 204 | 10 |
| done | 204 | 10 |
| 0 | 9 | 10 |
| 1 | 18 | 10 |
| 2 | 40 | 10 |
| 3 | 70 | 10 |
| 4 | 113 | 10 |
| 5 | 178 | 10 |
| 6 | 202 | 10 |
| 7 | 204 | 10 |
| done | 204 | 10 |
| 0 | 10 | 11 |
| 1 | 17 | 11 |
| 2 | 30 | 11 |
| 3 | 38 | 11 |
| 4 | 54 | 11 |
| 5 | 60 | 11 |
| done | 60 | 11 |
| 0 | 10 | 11 |
| 1 | 17 | 11 |
| 2 | 30 | 11 |
| 3 | 38 | 11 |
| 4 | 54 | 11 |
| 5 | 60 | 11 |
| done | 60 | 11 |
| 0 | 11 | 12 |
| 1 | 17 | 12 |
| 2 | 27 | 12 |
| 3 | 31 | 12 |
| 4 | 32 | 12 |
| done | 32 | 12 |
| 0 | 11 | 12 |
| 1 | 17 | 12 |
| 2 | 27 | 12 |
| 3 | 31 | 12 |
| 4 | 32 | 12 |
| done | 32 | 12 |
| 0 | 10 | 19 |
| 1 | 19 | 19 |
| 2 | 34 | 19 |
| 3 | 42 | 19 |
| 4 | 58 | 19 |
| 5 | 64 | 19 |
| done | 64 | 19 |
| 0 | 9 | 10 |
| 1 | 16 | 10 |
| 2 | 29 | 10 |
| 3 | 37 | 10 |
| 4 | 53 | 10 |
| 5 | 59 | 10 |
| done | 59 | 10 |
| 0 | 12 | 21 |
| 1 | 24 | 21 |
| 2 | 60 | 21 |
| 3 | 99 | 21 |
| 4 | 155 | 21 |
| 5 | 167 | 21 |
| done | 167 | 21 |
| 0 | 11 | 18 |
| 1 | 19 | 18 |
| 2 | 36 | 18 |
| 3 | 51 | 18 |
| 4 | 64 | 18 |
| 5 | 66 | 18 |
| done | 66 | 18 |
| 0 | 10 | 17 |
| 1 | 20 | 15 |
| 2 | 44 | 15 |
| 3 | 81 | 15 |
| 4 | 119 | 15 |
| done | 119 | 15 |
| 0 | 11 | 14 |
| 1 | 19 | 14 |
| 2 | 37 | 14 |
| 3 | 50 | 14 |
| 4 | 62 | 14 |
| done | 62 | 14 |
| 0 | 10 | 11 |
| 1 | 16 | 11 |
| 2 | 26 | 11 |
| 3 | 30 | 11 |
| 4 | 31 | 11 |
| done | 31 | 11 |
| 0 | 9 | 10 |
| 1 | 17 | 8 |
| 2 | 31 | 8 |
| 3 | 40 | 8 |
| 4 | 46 | 8 |
| done | 46 | 8 |
| 0 | 7 | 9 |
| 1 | 14 | 9 |
| 2 | 24 | 7 |
| 3 | 31 | 7 |
| 4 | 49 | 7 |
| 5 | 79 | 7 |
| 6 | 82 | 7 |
| done | 82 | 7 |
| 0 | 6 | 6 |
| 1 | 11 | 6 |
| 2 | 14 | 4 |
| 3 | 15 | 4 |
| 4 | 20 | 4 |
| 5 | 21 | 4 |
| done | 21 | 4 |
| 0 | 4 | 5 |
| 1 | 9 | 3 |
| 2 | 14 | 1 |
| done | 14 | 1 |
| 0 | 3 | 3 |
| 1 | 6 | 1 |
| done | 6 | 1 |
| 0 | 6 | 7 |
| 1 | 10 | 7 |
| 2 | 23 | 7 |
| 3 | 37 | 7 |
| 4 | 41 | 7 |
| done | 41 | 7 |
| 0 | 9 | 10 |
| 1 | 18 | 10 |
| 2 | 40 | 10 |
| 3 | 79 | 10 |
| 4 | 134 | 10 |
| 5 | 239 | 10 |
| 6 | 320 | 10 |
| 7 | 340 | 10 |
| done | 340 | 10 |
| 0 | 9 | 10 |
| 1 | 18 | 10 |
| 2 | 40 | 10 |
| 3 | 79 | 10 |
| 4 | 134 | 10 |
| 5 | 239 | 10 |
| 6 | 320 | 10 |
| 7 | 340 | 10 |
| done | 340 | 10 |
| 0 | 8 | 9 |
| 1 | 17 | 9 |
| 2 | 39 | 9 |
| 3 | 69 | 9 |
| 4 | 110 | 9 |
| 5 | 175 | 9 |
| 6 | 200 | 9 |
| 7 | 202 | 9 |
| done | 202 | 9 |
| 0 | 6 | 7 |
| 1 | 10 | 7 |
| 2 | 23 | 7 |
| 3 | 37 | 7 |
| 4 | 41 | 7 |
| done | 41 | 7 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 15 | 6 |
| 3 | 20 | 6 |
| 4 | 24 | 6 |
| done | 24 | 6 |
| 0 | 7 | 8 |
| 1 | 10 | 8 |
| 2 | 11 | 8 |
| done | 11 | 8 |
| 0 | 6 | 7 |
| 1 | 12 | 7 |
| 2 | 20 | 7 |
| 3 | 25 | 7 |
| 4 | 29 | 7 |
| done | 29 | 7 |
| 0 | 6 | 7 |
| 1 | 11 | 7 |
| 2 | 30 | 5 |
| 3 | 51 | 5 |
| 4 | 94 | 5 |
| 5 | 177 | 5 |
| 6 | 422 | 5 |
| 7 | 1303 | 5 |
| done | 5000 | 5 |
| 0 | 9 | 20 |
| 1 | 18 | 20 |
| 2 | 56 | 10 |
| 3 | 180 | 10 |
| 4 | 619 | 8 |
| 5 | 2374 | 8 |
| done | 5000 | 8 |
| 0 | 7 | 15 |
| 1 | 10 | 15 |
| 2 | 17 | 15 |
| 3 | 22 | 15 |
| 4 | 26 | 15 |
| done | 26 | 15 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 16 | 7 |
| 3 | 21 | 7 |
| 4 | 25 | 7 |
| done | 25 | 7 |
| 0 | 7 | 20 |
| 1 | 20 | 20 |
| 2 | 74 | 8 |
| 3 | 285 | 8 |
| 4 | 864 | 8 |
| 5 | 2739 | 8 |
| done | 5000 | 8 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 16 | 7 |
| 3 | 21 | 7 |
| 4 | 25 | 7 |
| done | 25 | 7 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 16 | 7 |
| 3 | 21 | 7 |
| 4 | 25 | 7 |
| done | 25 | 7 |
| 0 | 7 | 8 |
| 1 | 10 | 8 |
| 2 | 11 | 8 |
| done | 11 | 8 |
| 0 | 7 | 8 |
| 1 | 10 | 8 |
| 2 | 11 | 8 |
| done | 11 | 8 |
| 0 | 7 | 10 |
| 1 | 12 | 10 |
| 2 | 25 | 9 |
| 3 | 54 | 9 |
| 4 | 116 | 9 |
| 5 | 178 | 9 |
| 6 | 225 | 9 |
| 7 | 322 | 9 |
| 8 | 493 | 9 |
| 9 | 675 | 9 |
| 10 | 740 | 9 |
| done | 740 | 9 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 16 | 7 |
| 3 | 21 | 7 |
| 4 | 25 | 7 |
| done | 25 | 7 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 16 | 7 |
| 3 | 21 | 7 |
| 4 | 25 | 7 |
| done | 25 | 7 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 16 | 7 |
| 3 | 21 | 7 |
| 4 | 25 | 7 |
| done | 25 | 7 |
| 0 | 6 | 6 |
| 1 | 11 | 5 |
| 2 | 18 | 1 |
| 3 | 22 | 1 |
| done | 22 | 1 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 15 | 6 |
| 3 | 20 | 6 |
| 4 | 24 | 6 |
| done | 24 | 6 |
| 0 | 7 | 10 |
| 1 | 12 | 10 |
| 2 | 25 | 9 |
| 3 | 54 | 9 |
| 4 | 116 | 9 |
| 5 | 178 | 9 |
| 6 | 225 | 9 |
| 7 | 322 | 9 |
| 8 | 493 | 9 |
| 9 | 675 | 9 |
| 10 | 742 | 9 |
| done | 742 | 9 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 16 | 7 |
| 3 | 21 | 7 |
| 4 | 25 | 7 |
| done | 25 | 7 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 16 | 7 |
| 3 | 21 | 7 |
| 4 | 25 | 7 |
| done | 25 | 7 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 16 | 7 |
| 3 | 21 | 7 |
| 4 | 25 | 7 |
| done | 25 | 7 |
| 0 | 6 | 6 |
| 1 | 11 | 5 |
| 2 | 18 | 1 |
| 3 | 22 | 1 |
| done | 22 | 1 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 15 | 6 |
| 3 | 20 | 6 |
| 4 | 24 | 6 |
| done | 24 | 6 |
| 0 | 5 | 5 |
| 1 | 10 | 3 |
| 2 | 20 | 3 |
| 3 | 31 | 3 |
| 4 | 40 | 3 |
| 5 | 44 | 3 |
| done | 44 | 3 |
| 0 | 7 | 11 |
| 1 | 12 | 11 |
| 2 | 21 | 11 |
| 3 | 38 | 11 |
| 4 | 50 | 11 |
| 5 | 58 | 11 |
| done | 58 | 11 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 16 | 7 |
| 3 | 21 | 7 |
| 4 | 25 | 7 |
| done | 25 | 7 |
| 0 | 5 | 5 |
| 1 | 10 | 3 |
| 2 | 20 | 3 |
| 3 | 31 | 3 |
| 4 | 40 | 3 |
| 5 | 44 | 3 |
| done | 44 | 3 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 10 | 7 |
| done | 10 | 7 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 10 | 7 |
| done | 10 | 7 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 15 | 6 |
| 3 | 20 | 6 |
| 4 | 24 | 6 |
| done | 24 | 6 |
| 0 | 7 | 8 |
| 1 | 10 | 8 |
| 2 | 17 | 8 |
| 3 | 22 | 8 |
| 4 | 26 | 8 |
| done | 26 | 8 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 15 | 6 |
| 3 | 20 | 6 |
| 4 | 24 | 6 |
| done | 24 | 6 |
| 0 | 8 | 10 |
| 1 | 24 | 10 |
| 2 | 52 | 10 |
| 3 | 131 | 10 |
| 4 | 308 | 10 |
| 5 | 980 | 10 |
| 6 | 4487 | 10 |
| done | 5000 | 10 |
| 0 | 7 | 10 |
| 1 | 13 | 10 |
| 2 | 30 | 10 |
| 3 | 76 | 10 |
| 4 | 159 | 10 |
| 5 | 245 | 10 |
| 6 | 395 | 10 |
| 7 | 764 | 10 |
| 8 | 3363 | 10 |
| done | 5000 | 10 |
| 0 | 8 | 10 |
| 1 | 15 | 9 |
| 2 | 35 | 8 |
| 3 | 65 | 8 |
| 4 | 139 | 8 |
| 5 | 310 | 8 |
| 6 | 1076 | 8 |
| done | 5001 | 8 |
| 0 | 7 | 9 |
| 1 | 12 | 9 |
| 2 | 20 | 9 |
| 3 | 31 | 9 |
| 4 | 45 | 9 |
| 5 | 53 | 9 |
| 6 | 65 | 9 |
| 7 | 90 | 9 |
| 8 | 133 | 9 |
| 9 | 180 | 9 |
| 10 | 207 | 9 |
| 11 | 245 | 9 |
| 12 | 290 | 9 |
| 13 | 371 | 9 |
| 14 | 507 | 9 |
| 15 | 571 | 9 |
| 16 | 807 | 9 |
| 17 | 820 | 9 |
| 18 | 830 | 9 |
| 19 | 847 | 9 |
| 20 | 872 | 9 |
| 21 | 952 | 9 |
| 22 | 1249 | 9 |
| 23 | 2523 | 9 |
| done | 5000 | 9 |
| 0 | 7 | 9 |
| 1 | 15 | 9 |
| 2 | 30 | 8 |
| 3 | 61 | 8 |
| 4 | 124 | 8 |
| 5 | 273 | 8 |
| 6 | 841 | 8 |
| 7 | 3110 | 8 |
| done | 5001 | 8 |
| 0 | 8 | 19 |
| 1 | 13 | 19 |
| 2 | 21 | 19 |
| 3 | 32 | 19 |
| 4 | 46 | 19 |
| 5 | 54 | 19 |
| 6 | 66 | 19 |
| 7 | 91 | 19 |
| 8 | 134 | 19 |
| 9 | 181 | 19 |
| 10 | 208 | 19 |
| 11 | 248 | 19 |
| 12 | 295 | 19 |
| 13 | 376 | 19 |
| 14 | 510 | 19 |
| 15 | 574 | 19 |
| 16 | 806 | 19 |
| 17 | 814 | 19 |
| done | 814 | 19 |
| 0 | 7 | 9 |
| 1 | 12 | 9 |
| 2 | 20 | 9 |
| 3 | 31 | 9 |
| 4 | 45 | 9 |
| 5 | 53 | 9 |
| 6 | 65 | 9 |
| 7 | 90 | 9 |
| 8 | 133 | 9 |
| 9 | 180 | 9 |
| 10 | 207 | 9 |
| 11 | 245 | 9 |
| 12 | 290 | 9 |
| 13 | 371 | 9 |
| 14 | 507 | 9 |
| 15 | 571 | 9 |
| 16 | 807 | 9 |
| 17 | 815 | 9 |
| done | 815 | 9 |
| 0 | 8 | 26 |
| 1 | 14 | 26 |
| 2 | 36 | 10 |
| 3 | 118 | 10 |
| 4 | 543 | 10 |
| 5 | 3047 | 10 |
| done | 5001 | 10 |
| 0 | 7 | 9 |
| 1 | 12 | 9 |
| 2 | 20 | 9 |
| 3 | 31 | 9 |
| 4 | 45 | 9 |
| 5 | 53 | 9 |
| 6 | 65 | 9 |
| 7 | 90 | 9 |
| 8 | 133 | 9 |
| 9 | 180 | 9 |
| 10 | 207 | 9 |
| 11 | 245 | 9 |
| 12 | 290 | 9 |
| 13 | 371 | 9 |
| 14 | 507 | 9 |
| 15 | 571 | 9 |
| 16 | 807 | 9 |
| 17 | 815 | 9 |
| done | 815 | 9 |
| 0 | 7 | 9 |
| 1 | 12 | 9 |
| 2 | 20 | 9 |
| 3 | 31 | 9 |
| 4 | 45 | 9 |
| 5 | 53 | 9 |
| 6 | 65 | 9 |
| 7 | 90 | 9 |
| 8 | 133 | 9 |
| 9 | 180 | 9 |
| 10 | 207 | 9 |
| 11 | 245 | 9 |
| 12 | 290 | 9 |
| 13 | 371 | 9 |
| 14 | 507 | 9 |
| 15 | 571 | 9 |
| 16 | 807 | 9 |
| 17 | 815 | 9 |
| done | 815 | 9 |
| 0 | 9 | 12 |
| 1 | 30 | 12 |
| 2 | 88 | 12 |
| 3 | 263 | 12 |
| 4 | 831 | 12 |
| 5 | 2628 | 12 |
| done | 5000 | 12 |
| 0 | 10 | 26 |
| 1 | 29 | 24 |
| 2 | 67 | 24 |
| 3 | 172 | 19 |
| 4 | 450 | 19 |
| 5 | 1290 | 19 |
| 6 | 4164 | 19 |
| done | 5000 | 19 |
| 0 | 2 | 2 |
| done | 2 | 2 |
| 0 | 8 | 17 |
| 1 | 23 | 17 |
| 2 | 60 | 17 |
| 3 | 169 | 17 |
| 4 | 458 | 17 |
| 5 | 1304 | 17 |
| 6 | 4557 | 17 |
| done | 5000 | 17 |
| 0 | 6 | 8 |
| 1 | 10 | 8 |
| 2 | 17 | 8 |
| 3 | 26 | 8 |
| 4 | 38 | 8 |
| 5 | 45 | 8 |
| 6 | 57 | 8 |
| 7 | 76 | 8 |
| 8 | 98 | 8 |
| 9 | 121 | 8 |
| 10 | 144 | 8 |
| 11 | 174 | 8 |
| 12 | 216 | 8 |
| 13 | 274 | 8 |
| 14 | 339 | 8 |
| 15 | 441 | 8 |
| 16 | 537 | 8 |
| 17 | 671 | 8 |
| 18 | 780 | 8 |
| 19 | 784 | 8 |
| done | 784 | 8 |
| 0 | 7 | 9 |
| 1 | 12 | 9 |
| 2 | 20 | 9 |
| 3 | 31 | 9 |
| 4 | 45 | 9 |
| 5 | 53 | 9 |
| 6 | 65 | 9 |
| 7 | 90 | 9 |
| 8 | 133 | 9 |
| 9 | 180 | 9 |
| 10 | 207 | 9 |
| 11 | 247 | 9 |
| 12 | 292 | 9 |
| 13 | 373 | 9 |
| 14 | 511 | 9 |
| 15 | 575 | 9 |
| 16 | 807 | 9 |
| 17 | 815 | 9 |
| done | 815 | 9 |
| 0 | 7 | 9 |
| 1 | 12 | 9 |
| 2 | 20 | 9 |
| 3 | 31 | 9 |
| 4 | 45 | 9 |
| 5 | 53 | 9 |
| 6 | 65 | 9 |
| 7 | 90 | 9 |
| 8 | 133 | 9 |
| 9 | 180 | 9 |
| 10 | 207 | 9 |
| 11 | 247 | 9 |
| 12 | 292 | 9 |
| 13 | 373 | 9 |
| 14 | 511 | 9 |
| 15 | 575 | 9 |
| 16 | 807 | 9 |
| 17 | 815 | 9 |
| done | 815 | 9 |
| 0 | 6 | 8 |
| 1 | 11 | 8 |
| 2 | 19 | 8 |
| 3 | 30 | 8 |
| 4 | 44 | 8 |
| 5 | 52 | 8 |
| 6 | 64 | 8 |
| 7 | 89 | 8 |
| 8 | 132 | 8 |
| 9 | 179 | 8 |
| 10 | 206 | 8 |
| 11 | 244 | 8 |
| 12 | 289 | 8 |
| 13 | 370 | 8 |
| 14 | 504 | 8 |
| 15 | 568 | 8 |
| 16 | 802 | 8 |
| 17 | 810 | 8 |
| done | 810 | 8 |
| 0 | 7 | 9 |
| 1 | 12 | 9 |
| 2 | 20 | 9 |
| 3 | 31 | 9 |
| 4 | 45 | 9 |
| 5 | 53 | 9 |
| 6 | 65 | 9 |
| 7 | 90 | 9 |
| 8 | 133 | 9 |
| 9 | 180 | 9 |
| 10 | 207 | 9 |
| 11 | 247 | 9 |
| 12 | 292 | 9 |
| 13 | 373 | 9 |
| 14 | 511 | 9 |
| 15 | 575 | 9 |
| 16 | 809 | 9 |
| 17 | 817 | 9 |
| done | 817 | 9 |
| 0 | 7 | 9 |
| 1 | 12 | 9 |
| 2 | 20 | 9 |
| 3 | 31 | 9 |
| 4 | 45 | 9 |
| 5 | 53 | 9 |
| 6 | 65 | 9 |
| 7 | 90 | 9 |
| 8 | 133 | 9 |
| 9 | 180 | 9 |
| 10 | 207 | 9 |
| 11 | 247 | 9 |
| 12 | 292 | 9 |
| 13 | 373 | 9 |
| 14 | 511 | 9 |
| 15 | 575 | 9 |
| 16 | 809 | 9 |
| 17 | 817 | 9 |
| done | 817 | 9 |
| 0 | 6 | 8 |
| 1 | 11 | 8 |
| 2 | 19 | 8 |
| 3 | 30 | 8 |
| 4 | 44 | 8 |
| 5 | 52 | 8 |
| 6 | 64 | 8 |
| 7 | 89 | 8 |
| 8 | 132 | 8 |
| 9 | 179 | 8 |
| 10 | 206 | 8 |
| 11 | 244 | 8 |
| 12 | 289 | 8 |
| 13 | 370 | 8 |
| 14 | 504 | 8 |
| 15 | 568 | 8 |
| 16 | 804 | 8 |
| 17 | 812 | 8 |
| done | 812 | 8 |
| 0 | 2 | 2 |
| done | 2 | 2 |
| 0 | 11 | 13 |
| 1 | 21 | 12 |
| 2 | 50 | 11 |
| 3 | 98 | 10 |
| 4 | 247 | 10 |
| 5 | 662 | 10 |
| 6 | 2525 | 10 |
| done | 5000 | 10 |
| 0 | 10 | 12 |
| 1 | 21 | 11 |
| 2 | 45 | 11 |
| 3 | 104 | 10 |
| 4 | 258 | 10 |
| 5 | 669 | 10 |
| 6 | 2169 | 10 |
| done | 5000 | 10 |
| 0 | 9 | 11 |
| 1 | 17 | 11 |
| 2 | 34 | 11 |
| 3 | 62 | 11 |
| 4 | 123 | 11 |
| 5 | 190 | 11 |
| 6 | 284 | 11 |
| 7 | 476 | 11 |
| 8 | 631 | 11 |
| 9 | 664 | 11 |
| 10 | 681 | 11 |
| 11 | 739 | 11 |
| 12 | 819 | 11 |
| 13 | 922 | 11 |
| 14 | 1056 | 11 |
| 15 | 1120 | 11 |
| 16 | 1366 | 11 |
| 17 | 1374 | 11 |
| done | 1374 | 11 |
| 0 | 9 | 11 |
| 1 | 20 | 11 |
| 2 | 45 | 11 |
| 3 | 101 | 10 |
| 4 | 236 | 10 |
| 5 | 539 | 10 |
| 6 | 1711 | 10 |
| done | 5000 | 10 |
| 0 | 10 | 23 |
| 1 | 18 | 23 |
| 2 | 35 | 23 |
| 3 | 63 | 23 |
| 4 | 124 | 23 |
| 5 | 192 | 23 |
| 6 | 285 | 23 |
| 7 | 475 | 23 |
| 8 | 627 | 23 |
| 9 | 660 | 23 |
| 10 | 677 | 23 |
| 11 | 735 | 23 |
| 12 | 815 | 23 |
| 13 | 918 | 23 |
| 14 | 1054 | 23 |
| 15 | 1118 | 23 |
| 16 | 1360 | 23 |
| 17 | 1368 | 23 |
| done | 1368 | 23 |
| 0 | 9 | 11 |
| 1 | 17 | 11 |
| 2 | 34 | 11 |
| 3 | 62 | 11 |
| 4 | 123 | 11 |
| 5 | 190 | 11 |
| 6 | 284 | 11 |
| 7 | 476 | 11 |
| 8 | 631 | 11 |
| 9 | 664 | 11 |
| 10 | 681 | 11 |
| 11 | 739 | 11 |
| 12 | 819 | 11 |
| 13 | 922 | 11 |
| 14 | 1056 | 11 |
| 15 | 1120 | 11 |
| 16 | 1366 | 11 |
| 17 | 1374 | 11 |
| done | 1374 | 11 |
| 0 | 10 | 32 |
| 1 | 31 | 32 |
| 2 | 92 | 12 |
| 3 | 395 | 12 |
| 4 | 2786 | 12 |
| done | 5000 | 12 |
| 0 | 9 | 11 |
| 1 | 17 | 11 |
| 2 | 34 | 11 |
| 3 | 62 | 11 |
| 4 | 123 | 11 |
| 5 | 190 | 11 |
| 6 | 284 | 11 |
| 7 | 476 | 11 |
| 8 | 631 | 11 |
| 9 | 664 | 11 |
| 10 | 681 | 11 |
| 11 | 739 | 11 |
| 12 | 819 | 11 |
| 13 | 922 | 11 |
| 14 | 1056 | 11 |
| 15 | 1120 | 11 |
| 16 | 1366 | 11 |
| 17 | 1374 | 11 |
| done | 1374 | 11 |
| 0 | 9 | 11 |
| 1 | 17 | 11 |
| 2 | 34 | 11 |
| 3 | 62 | 11 |
| 4 | 123 | 11 |
| 5 | 190 | 11 |
| 6 | 284 | 11 |
| 7 | 476 | 11 |
| 8 | 631 | 11 |
| 9 | 664 | 11 |
| 10 | 681 | 11 |
| 11 | 739 | 11 |
| 12 | 819 | 11 |
| 13 | 922 | 11 |
| 14 | 1056 | 11 |
| 15 | 1120 | 11 |
| 16 | 1366 | 11 |
| 17 | 1374 | 11 |
| done | 1374 | 11 |
| 0 | 11 | 14 |
| 1 | 30 | 14 |
| 2 | 59 | 14 |
| 3 | 157 | 14 |
| 4 | 634 | 14 |
| 5 | 3426 | 14 |
| done | 5000 | 14 |
| 0 | 12 | 32 |
| 1 | 25 | 30 |
| 2 | 63 | 30 |
| 3 | 181 | 23 |
| 4 | 743 | 23 |
| 5 | 3750 | 23 |
| done | 5000 | 23 |
| 0 | 10 | 21 |
| 1 | 20 | 21 |
| 2 | 49 | 21 |
| 3 | 153 | 21 |
| 4 | 775 | 21 |
| 5 | 4008 | 21 |
| done | 5000 | 21 |
| 0 | 8 | 10 |
| 1 | 17 | 10 |
| 2 | 35 | 10 |
| 3 | 70 | 10 |
| 4 | 135 | 10 |
| 5 | 206 | 10 |
| 6 | 308 | 10 |
| 7 | 518 | 10 |
| 8 | 674 | 10 |
| 9 | 687 | 10 |
| 10 | 703 | 10 |
| 11 | 761 | 10 |
| 12 | 841 | 10 |
| 13 | 944 | 10 |
| 14 | 1080 | 10 |
| 15 | 1144 | 10 |
| 16 | 1384 | 10 |
| 17 | 1392 | 10 |
| done | 1392 | 10 |
| 0 | 8 | 10 |
| 1 | 16 | 10 |
| 2 | 33 | 10 |
| 3 | 61 | 10 |
| 4 | 122 | 10 |
| 5 | 188 | 10 |
| 6 | 282 | 10 |
| 7 | 474 | 10 |
| 8 | 629 | 10 |
| 9 | 662 | 10 |
| 10 | 679 | 10 |
| 11 | 737 | 10 |
| 12 | 817 | 10 |
| 13 | 920 | 10 |
| 14 | 1052 | 10 |
| 15 | 1116 | 10 |
| 16 | 1352 | 10 |
| 17 | 1360 | 10 |
| done | 1360 | 10 |
| 0 | 4 | 4 |
| 1 | 5 | 4 |
| 2 | 6 | 3 |
| done | 6 | 3 |
| 0 | 9 | 11 |
| 1 | 17 | 11 |
| 2 | 34 | 11 |
| 3 | 62 | 11 |
| 4 | 123 | 11 |
| 5 | 188 | 11 |
| 6 | 281 | 11 |
| 7 | 471 | 11 |
| 8 | 626 | 11 |
| 9 | 659 | 11 |
| 10 | 676 | 11 |
| 11 | 734 | 11 |
| 12 | 814 | 11 |
| 13 | 917 | 11 |
| 14 | 1057 | 11 |
| 15 | 1121 | 11 |
| 16 | 1361 | 11 |
| 17 | 1369 | 11 |
| done | 1369 | 11 |
| 0 | 9 | 11 |
| 1 | 17 | 11 |
| 2 | 34 | 11 |
| 3 | 62 | 11 |
| 4 | 123 | 11 |
| 5 | 188 | 11 |
| 6 | 281 | 11 |
| 7 | 471 | 11 |
| 8 | 626 | 11 |
| 9 | 659 | 11 |
| 10 | 676 | 11 |
| 11 | 734 | 11 |
| 12 | 814 | 11 |
| 13 | 917 | 11 |
| 14 | 1057 | 11 |
| 15 | 1121 | 11 |
| 16 | 1361 | 11 |
| 17 | 1369 | 11 |
| done | 1369 | 11 |
| 0 | 8 | 10 |
| 1 | 16 | 10 |
| 2 | 33 | 10 |
| 3 | 61 | 10 |
| 4 | 122 | 10 |
| 5 | 188 | 10 |
| 6 | 282 | 10 |
| 7 | 474 | 10 |
| 8 | 629 | 10 |
| 9 | 662 | 10 |
| 10 | 679 | 10 |
| 11 | 737 | 10 |
| 12 | 817 | 10 |
| 13 | 920 | 10 |
| 14 | 1052 | 10 |
| 15 | 1116 | 10 |
| 16 | 1352 | 10 |
| 17 | 1360 | 10 |
| done | 1360 | 10 |
| 0 | 9 | 11 |
| 1 | 17 | 11 |
| 2 | 34 | 11 |
| 3 | 62 | 11 |
| 4 | 123 | 11 |
| 5 | 188 | 11 |
| 6 | 281 | 11 |
| 7 | 471 | 11 |
| 8 | 623 | 11 |
| 9 | 657 | 11 |
| 10 | 674 | 11 |
| 11 | 732 | 11 |
| 12 | 812 | 11 |
| 13 | 915 | 11 |
| 14 | 1057 | 11 |
| 15 | 1121 | 11 |
| 16 | 1363 | 11 |
| 17 | 1371 | 11 |
| done | 1371 | 11 |
| 0 | 9 | 11 |
| 1 | 17 | 11 |
| 2 | 34 | 11 |
| 3 | 62 | 11 |
| 4 | 123 | 11 |
| 5 | 188 | 11 |
| 6 | 281 | 11 |
| 7 | 471 | 11 |
| 8 | 623 | 11 |
| 9 | 657 | 11 |
| 10 | 674 | 11 |
| 11 | 732 | 11 |
| 12 | 812 | 11 |
| 13 | 915 | 11 |
| 14 | 1057 | 11 |
| 15 | 1121 | 11 |
| 16 | 1363 | 11 |
| 17 | 1371 | 11 |
| done | 1371 | 11 |
| 0 | 8 | 10 |
| 1 | 16 | 10 |
| 2 | 33 | 10 |
| 3 | 61 | 10 |
| 4 | 122 | 10 |
| 5 | 188 | 10 |
| 6 | 282 | 10 |
| 7 | 474 | 10 |
| 8 | 629 | 10 |
| 9 | 662 | 10 |
| 10 | 679 | 10 |
| 11 | 737 | 10 |
| 12 | 817 | 10 |
| 13 | 920 | 10 |
| 14 | 1050 | 10 |
| 15 | 1114 | 10 |
| 16 | 1352 | 10 |
| 17 | 1360 | 10 |
| done | 1360 | 10 |
| 0 | 4 | 4 |
| 1 | 5 | 4 |
| 2 | 6 | 3 |
| done | 6 | 3 |
| 0 | 3 | 3 |
| 1 | 5 | 3 |
| 2 | 6 | 3 |
| done | 6 | 3 |
| 0 | 11 | 13 |
| 1 | 24 | 13 |
| 2 | 54 | 13 |
| 3 | 90 | 13 |
| 4 | 153 | 13 |
| 5 | 224 | 9 |
| 6 | 261 | 9 |
| 7 | 325 | 9 |
| 8 | 535 | 9 |
| 9 | 1474 | 9 |
| done | 5000 | 9 |
| 0 | 11 | 13 |
| 1 | 24 | 13 |
| 2 | 54 | 13 |
| 3 | 90 | 13 |
| 4 | 153 | 13 |
| 5 | 224 | 9 |
| 6 | 261 | 9 |
| 7 | 325 | 9 |
| 8 | 535 | 9 |
| 9 | 1474 | 9 |
| done | 5000 | 9 |
| 0 | 11 | 13 |
| 1 | 24 | 13 |
| 2 | 54 | 13 |
| 3 | 90 | 13 |
| 4 | 153 | 13 |
| 5 | 224 | 9 |
| 6 | 261 | 9 |
| 7 | 325 | 9 |
| 8 | 535 | 9 |
| 9 | 1474 | 9 |
| done | 5000 | 9 |
| 0 | 12 | 19 |
| 1 | 29 | 13 |
| 2 | 60 | 6 |
| 3 | 94 | 6 |
| 4 | 135 | 6 |
| 5 | 197 | 6 |
| 6 | 244 | 6 |
| 7 | 284 | 6 |
| 8 | 394 | 6 |
| done | 394 | 6 |
| 0 | 13 | 23 |
| 1 | 30 | 19 |
| 2 | 61 | 13 |
| 3 | 119 | 7 |
| 4 | 165 | 7 |
| 5 | 275 | 6 |
| 6 | 367 | 6 |
| 7 | 440 | 6 |
| done | 440 | 6 |
| 0 | 13 | 23 |
| 1 | 27 | 23 |
| 2 | 51 | 23 |
| 3 | 115 | 18 |
| 4 | 270 | 15 |
| 5 | 873 | 9 |
| 6 | 2694 | 6 |
| done | 5000 | 6 |
| 0 | 13 | 21 |
| 1 | 32 | 17 |
| 2 | 74 | 11 |
| 3 | 189 | 8 |
| 4 | 238 | 8 |
| 5 | 398 | 8 |
| 6 | 515 | 8 |
| 7 | 586 | 8 |
| 8 | 819 | 8 |
| 9 | 944 | 8 |
| 10 | 1058 | 8 |
| 11 | 1168 | 8 |
| 12 | 1258 | 8 |
| 13 | 1428 | 8 |
| 14 | 1492 | 8 |
| 15 | 1828 | 8 |
| 16 | 1836 | 8 |
| done | 1836 | 8 |
| 0 | 14 | 25 |
| 1 | 34 | 21 |
| 2 | 84 | 15 |
| 3 | 200 | 12 |
| 4 | 344 | 9 |
| 5 | 548 | 9 |
| 6 | 919 | 8 |
| 7 | 1318 | 8 |
| 8 | 1489 | 8 |
| 9 | 1553 | 8 |
| 10 | 1891 | 8 |
| 11 | 1899 | 8 |
| done | 1899 | 8 |
| 0 | 14 | 25 |
| 1 | 31 | 25 |
| 2 | 75 | 25 |
| 3 | 203 | 25 |
| 4 | 566 | 17 |
| 5 | 2145 | 17 |
| done | 5000 | 17 |
| 0 | 15 | 23 |
| 1 | 37 | 19 |
| 2 | 94 | 13 |
| 3 | 281 | 10 |
| 4 | 438 | 10 |
| 5 | 869 | 10 |
| 6 | 1270 | 10 |
| 7 | 1350 | 10 |
| 8 | 1693 | 10 |
| 9 | 1866 | 10 |
| 10 | 2024 | 10 |
| 11 | 2200 | 10 |
| 12 | 2312 | 10 |
| 13 | 2488 | 10 |
| 14 | 2552 | 10 |
| 15 | 2892 | 10 |
| 16 | 2900 | 10 |
| done | 2900 | 10 |
| 0 | 16 | 27 |
| 1 | 39 | 23 |
| 2 | 102 | 19 |
| 3 | 326 | 13 |
| 4 | 510 | 11 |
| 5 | 1187 | 11 |
| 6 | 1739 | 10 |
| 7 | 2094 | 10 |
| 8 | 2207 | 10 |
| 9 | 2379 | 10 |
| 10 | 2443 | 10 |
| 11 | 2775 | 10 |
| 12 | 2783 | 10 |
| done | 2783 | 10 |
| 0 | 16 | 27 |
| 1 | 36 | 27 |
| 2 | 95 | 27 |
| 3 | 327 | 27 |
| 4 | 1091 | 22 |
| 5 | 4441 | 19 |
| done | 5000 | 19 |
14 alts after pruning (13 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 112 | 1 | 113 |
| Fresh | 2 | 12 | 14 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 114 | 14 | 128 |
Merged error: 1.0b
Found 4 expressions with local error:
| 0.2b | (* (- x 0.5) (log x)) |
| 0.2b | (/ z (sqrt x)) |
| 0.3b | (/ (- 0.0027777777777778 (* 0.0007936500793651 z)) (sqrt x)) |
| 0.3b | (* (/ z (sqrt x)) (/ (- 0.0027777777777778 (* 0.0007936500793651 z)) (sqrt x))) |
| 98× | add-sqr-sqrt |
| 84× | times-frac |
| 66× | *-un-lft-identity |
| 64× | add-cube-cbrt |
| 48× | sqrt-prod |
| 27× | associate-*l* |
| 26× | associate-*r* |
| 22× | add-exp-log add-cbrt-cube |
| 12× | associate-/r* |
| 10× | unswap-sqr |
| 9× | pow1 |
| 6× | cbrt-undiv log-prod div-exp associate-/l* |
| 5× | prod-exp cbrt-unprod |
| 4× | div-inv add-log-exp |
| 3× | distribute-rgt-in distribute-lft-in associate-*l/ |
| 2× | flip3-- frac-2neg pow-prod-down clear-num *-commutative flip-- associate-/l/ |
| 1× | frac-times div-sub associate-*r/ log-pow distribute-lft-out-- difference-of-squares |
| 8.0ms | (* (- x 0.5) (log x)) |
| 5.0ms | (/ z (sqrt x)) |
| 7.0ms | (/ (- 0.0027777777777778 (* 0.0007936500793651 z)) (sqrt x)) |
| 21.0ms | (* (/ z (sqrt x)) (/ (- 0.0027777777777778 (* 0.0007936500793651 z)) (sqrt x))) |
| 24.0ms | (* (- x 0.5) (log x)) |
| 8.0ms | (/ z (sqrt x)) |
| 7.0ms | (/ (- 0.0027777777777778 (* 0.0007936500793651 z)) (sqrt x)) |
| 18.0ms | (* (/ z (sqrt x)) (/ (- 0.0027777777777778 (* 0.0007936500793651 z)) (sqrt x))) |
Useful iterations: done (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 10 | 13 |
| 1 | 21 | 13 |
| 2 | 48 | 13 |
| 3 | 110 | 13 |
| 4 | 200 | 9 |
| 5 | 379 | 9 |
| 6 | 539 | 9 |
| 7 | 575 | 9 |
| 8 | 583 | 9 |
| done | 583 | 9 |
| 0 | 13 | 17 |
| 1 | 24 | 17 |
| 2 | 53 | 17 |
| 3 | 99 | 17 |
| 4 | 168 | 16 |
| 5 | 224 | 15 |
| 6 | 289 | 15 |
| 7 | 326 | 15 |
| 8 | 327 | 15 |
| done | 327 | 15 |
| 0 | 13 | 16 |
| 1 | 26 | 16 |
| 2 | 56 | 16 |
| 3 | 101 | 16 |
| 4 | 181 | 16 |
| 5 | 251 | 15 |
| 6 | 313 | 15 |
| 7 | 350 | 15 |
| 8 | 351 | 15 |
| done | 351 | 15 |
| 0 | 13 | 16 |
| 1 | 23 | 16 |
| 2 | 44 | 16 |
| 3 | 78 | 16 |
| 4 | 139 | 16 |
| 5 | 233 | 15 |
| 6 | 304 | 15 |
| 7 | 348 | 15 |
| 8 | 349 | 15 |
| done | 349 | 15 |
| 0 | 12 | 15 |
| 1 | 24 | 15 |
| 2 | 48 | 15 |
| 3 | 81 | 15 |
| 4 | 149 | 15 |
| 5 | 240 | 15 |
| 6 | 324 | 15 |
| 7 | 378 | 15 |
| 8 | 398 | 15 |
| done | 398 | 15 |
| 0 | 11 | 14 |
| 1 | 25 | 14 |
| 2 | 60 | 14 |
| 3 | 142 | 14 |
| 4 | 292 | 10 |
| 5 | 556 | 10 |
| 6 | 820 | 10 |
| 7 | 957 | 10 |
| 8 | 1017 | 10 |
| 9 | 1042 | 10 |
| done | 1042 | 10 |
| 0 | 11 | 14 |
| 1 | 24 | 14 |
| 2 | 57 | 14 |
| 3 | 137 | 14 |
| 4 | 286 | 10 |
| 5 | 657 | 10 |
| 6 | 1410 | 10 |
| 7 | 3431 | 10 |
| done | 5001 | 10 |
| 0 | 16 | 41 |
| 1 | 41 | 33 |
| 2 | 180 | 21 |
| 3 | 1136 | 17 |
| done | 5000 | 17 |
| 0 | 16 | 41 |
| 1 | 43 | 37 |
| 2 | 163 | 19 |
| 3 | 832 | 19 |
| done | 5001 | 19 |
| 0 | 16 | 41 |
| 1 | 40 | 37 |
| 2 | 158 | 19 |
| 3 | 807 | 19 |
| done | 5000 | 19 |
| 0 | 14 | 41 |
| 1 | 39 | 41 |
| 2 | 136 | 17 |
| 3 | 600 | 17 |
| 4 | 3717 | 11 |
| done | 5000 | 11 |
| 0 | 12 | 29 |
| 1 | 23 | 29 |
| 2 | 50 | 29 |
| 3 | 112 | 29 |
| 4 | 200 | 21 |
| 5 | 377 | 21 |
| 6 | 555 | 21 |
| 7 | 592 | 21 |
| 8 | 600 | 21 |
| done | 600 | 21 |
| 0 | 11 | 14 |
| 1 | 22 | 14 |
| 2 | 49 | 14 |
| 3 | 111 | 14 |
| 4 | 198 | 10 |
| 5 | 375 | 10 |
| 6 | 539 | 10 |
| 7 | 575 | 10 |
| 8 | 583 | 10 |
| done | 583 | 10 |
| 0 | 12 | 41 |
| 1 | 33 | 41 |
| 2 | 129 | 15 |
| 3 | 580 | 15 |
| 4 | 3111 | 11 |
| done | 5000 | 11 |
| 0 | 11 | 14 |
| 1 | 22 | 14 |
| 2 | 49 | 14 |
| 3 | 111 | 14 |
| 4 | 198 | 10 |
| 5 | 375 | 10 |
| 6 | 539 | 10 |
| 7 | 575 | 10 |
| 8 | 583 | 10 |
| done | 583 | 10 |
| 0 | 11 | 14 |
| 1 | 22 | 14 |
| 2 | 49 | 14 |
| 3 | 111 | 14 |
| 4 | 198 | 10 |
| 5 | 375 | 10 |
| 6 | 539 | 10 |
| 7 | 575 | 10 |
| 8 | 583 | 10 |
| done | 583 | 10 |
| 0 | 6 | 7 |
| 1 | 10 | 7 |
| 2 | 23 | 7 |
| 3 | 37 | 7 |
| 4 | 41 | 7 |
| done | 41 | 7 |
| 0 | 3 | 5 |
| done | 3 | 1 |
| 0 | 12 | 15 |
| 1 | 19 | 15 |
| 2 | 32 | 15 |
| 3 | 39 | 15 |
| 4 | 55 | 15 |
| 5 | 61 | 15 |
| done | 61 | 15 |
| 0 | 12 | 15 |
| 1 | 19 | 15 |
| 2 | 32 | 15 |
| 3 | 39 | 15 |
| 4 | 55 | 15 |
| 5 | 61 | 15 |
| done | 61 | 15 |
| 0 | 13 | 16 |
| 1 | 19 | 16 |
| 2 | 29 | 16 |
| 3 | 33 | 16 |
| 4 | 34 | 16 |
| done | 34 | 16 |
| 0 | 13 | 16 |
| 1 | 19 | 16 |
| 2 | 29 | 16 |
| 3 | 33 | 16 |
| 4 | 34 | 16 |
| done | 34 | 16 |
| 0 | 13 | 16 |
| 1 | 19 | 16 |
| 2 | 29 | 16 |
| 3 | 33 | 16 |
| 4 | 34 | 16 |
| done | 34 | 16 |
| 0 | 13 | 16 |
| 1 | 19 | 16 |
| 2 | 29 | 16 |
| 3 | 33 | 16 |
| 4 | 34 | 16 |
| done | 34 | 16 |
| 0 | 13 | 16 |
| 1 | 22 | 16 |
| 2 | 38 | 16 |
| 3 | 48 | 16 |
| 4 | 66 | 16 |
| 5 | 73 | 16 |
| done | 73 | 16 |
| 0 | 13 | 16 |
| 1 | 22 | 16 |
| 2 | 38 | 16 |
| 3 | 48 | 16 |
| 4 | 66 | 16 |
| 5 | 73 | 16 |
| done | 73 | 16 |
| 0 | 13 | 17 |
| 1 | 21 | 17 |
| 2 | 36 | 17 |
| 3 | 48 | 17 |
| 4 | 60 | 12 |
| 5 | 64 | 12 |
| done | 64 | 12 |
| 0 | 13 | 17 |
| 1 | 21 | 17 |
| 2 | 36 | 17 |
| 3 | 48 | 17 |
| 4 | 60 | 12 |
| 5 | 64 | 12 |
| done | 64 | 12 |
| 0 | 13 | 17 |
| 1 | 21 | 17 |
| 2 | 36 | 17 |
| 3 | 48 | 17 |
| 4 | 60 | 12 |
| 5 | 64 | 12 |
| done | 64 | 12 |
| 0 | 13 | 17 |
| 1 | 21 | 17 |
| 2 | 36 | 17 |
| 3 | 48 | 17 |
| 4 | 60 | 12 |
| 5 | 64 | 12 |
| done | 64 | 12 |
| 0 | 13 | 16 |
| 1 | 22 | 16 |
| 2 | 38 | 16 |
| 3 | 48 | 16 |
| 4 | 66 | 16 |
| 5 | 73 | 16 |
| done | 73 | 16 |
| 0 | 13 | 16 |
| 1 | 22 | 16 |
| 2 | 38 | 16 |
| 3 | 48 | 16 |
| 4 | 66 | 16 |
| 5 | 73 | 16 |
| done | 73 | 16 |
| 0 | 13 | 17 |
| 1 | 21 | 17 |
| 2 | 36 | 17 |
| 3 | 48 | 17 |
| 4 | 60 | 12 |
| 5 | 64 | 12 |
| done | 64 | 12 |
| 0 | 13 | 17 |
| 1 | 21 | 17 |
| 2 | 36 | 17 |
| 3 | 48 | 17 |
| 4 | 60 | 12 |
| 5 | 64 | 12 |
| done | 64 | 12 |
| 0 | 13 | 17 |
| 1 | 21 | 17 |
| 2 | 36 | 17 |
| 3 | 48 | 17 |
| 4 | 60 | 12 |
| 5 | 64 | 12 |
| done | 64 | 12 |
| 0 | 13 | 17 |
| 1 | 21 | 17 |
| 2 | 36 | 17 |
| 3 | 48 | 17 |
| 4 | 60 | 12 |
| 5 | 64 | 12 |
| done | 64 | 12 |
| 0 | 12 | 24 |
| 1 | 23 | 24 |
| 2 | 44 | 24 |
| 3 | 58 | 24 |
| 4 | 83 | 24 |
| 5 | 95 | 24 |
| 6 | 100 | 24 |
| done | 100 | 24 |
| 0 | 11 | 14 |
| 1 | 20 | 14 |
| 2 | 36 | 14 |
| 3 | 44 | 14 |
| 4 | 62 | 14 |
| 5 | 69 | 14 |
| done | 69 | 14 |
| 0 | 14 | 26 |
| 1 | 28 | 26 |
| 2 | 76 | 26 |
| 3 | 171 | 26 |
| 4 | 374 | 26 |
| 5 | 640 | 26 |
| 6 | 714 | 26 |
| 7 | 724 | 26 |
| done | 724 | 26 |
| 0 | 15 | 25 |
| 1 | 26 | 22 |
| 2 | 51 | 22 |
| 3 | 94 | 22 |
| 4 | 169 | 22 |
| 5 | 240 | 22 |
| 6 | 257 | 22 |
| 7 | 263 | 22 |
| done | 263 | 22 |
| 0 | 13 | 22 |
| 1 | 23 | 22 |
| 2 | 48 | 22 |
| 3 | 91 | 22 |
| 4 | 166 | 22 |
| 5 | 236 | 22 |
| 6 | 253 | 22 |
| 7 | 259 | 22 |
| done | 259 | 22 |
| 0 | 14 | 21 |
| 1 | 26 | 20 |
| 2 | 51 | 20 |
| 3 | 94 | 18 |
| 4 | 203 | 18 |
| 5 | 297 | 18 |
| 6 | 320 | 18 |
| done | 320 | 18 |
| 0 | 13 | 22 |
| 1 | 23 | 22 |
| 2 | 48 | 22 |
| 3 | 91 | 22 |
| 4 | 166 | 22 |
| 5 | 236 | 22 |
| 6 | 253 | 22 |
| 7 | 259 | 22 |
| done | 259 | 22 |
| 0 | 13 | 20 |
| 1 | 25 | 18 |
| 2 | 58 | 18 |
| 3 | 143 | 18 |
| 4 | 243 | 18 |
| 5 | 280 | 18 |
| 6 | 281 | 18 |
| done | 281 | 18 |
| 0 | 13 | 19 |
| 1 | 23 | 19 |
| 2 | 49 | 19 |
| 3 | 88 | 19 |
| 4 | 154 | 19 |
| 5 | 214 | 19 |
| 6 | 223 | 19 |
| done | 223 | 19 |
| 0 | 14 | 18 |
| 1 | 23 | 15 |
| 2 | 39 | 15 |
| 3 | 56 | 15 |
| 4 | 77 | 15 |
| 5 | 89 | 15 |
| 6 | 91 | 15 |
| done | 91 | 15 |
| 0 | 12 | 15 |
| 1 | 20 | 15 |
| 2 | 36 | 15 |
| 3 | 53 | 15 |
| 4 | 74 | 15 |
| 5 | 86 | 15 |
| 6 | 88 | 15 |
| done | 88 | 15 |
| 0 | 13 | 14 |
| 1 | 23 | 13 |
| 2 | 39 | 13 |
| 3 | 56 | 11 |
| 4 | 111 | 11 |
| 5 | 162 | 11 |
| 6 | 170 | 11 |
| done | 170 | 11 |
| 0 | 12 | 15 |
| 1 | 20 | 15 |
| 2 | 36 | 15 |
| 3 | 53 | 15 |
| 4 | 74 | 15 |
| 5 | 86 | 15 |
| 6 | 88 | 15 |
| done | 88 | 15 |
| 0 | 12 | 13 |
| 1 | 22 | 11 |
| 2 | 42 | 11 |
| 3 | 74 | 11 |
| 4 | 103 | 11 |
| 5 | 110 | 11 |
| done | 110 | 11 |
| 0 | 9 | 14 |
| 1 | 18 | 14 |
| 2 | 36 | 12 |
| 3 | 106 | 12 |
| 4 | 180 | 12 |
| 5 | 255 | 12 |
| 6 | 320 | 12 |
| 7 | 327 | 12 |
| done | 327 | 12 |
| 0 | 10 | 13 |
| 1 | 18 | 10 |
| 2 | 27 | 8 |
| 3 | 65 | 8 |
| 4 | 81 | 8 |
| 5 | 102 | 8 |
| 6 | 128 | 8 |
| 7 | 131 | 8 |
| done | 131 | 8 |
| 0 | 8 | 10 |
| 1 | 15 | 10 |
| 2 | 24 | 8 |
| 3 | 62 | 8 |
| 4 | 76 | 8 |
| 5 | 97 | 8 |
| 6 | 122 | 8 |
| 7 | 125 | 8 |
| done | 125 | 8 |
| 0 | 8 | 9 |
| 1 | 15 | 8 |
| 2 | 23 | 6 |
| 3 | 61 | 4 |
| 4 | 160 | 4 |
| 5 | 202 | 4 |
| 6 | 211 | 4 |
| 7 | 212 | 4 |
| done | 212 | 4 |
| 0 | 8 | 10 |
| 1 | 15 | 10 |
| 2 | 24 | 8 |
| 3 | 62 | 8 |
| 4 | 76 | 8 |
| 5 | 97 | 8 |
| 6 | 122 | 8 |
| 7 | 125 | 8 |
| done | 125 | 8 |
| 0 | 7 | 8 |
| 1 | 14 | 6 |
| 2 | 24 | 4 |
| 3 | 39 | 4 |
| 4 | 58 | 4 |
| 5 | 74 | 4 |
| 6 | 75 | 4 |
| done | 75 | 4 |
| 0 | 6 | 6 |
| 1 | 11 | 4 |
| 2 | 21 | 4 |
| done | 21 | 4 |
| 0 | 9 | 10 |
| 1 | 15 | 10 |
| 2 | 37 | 10 |
| 3 | 76 | 10 |
| 4 | 117 | 10 |
| 5 | 169 | 10 |
| 6 | 180 | 10 |
| 7 | 185 | 10 |
| done | 185 | 10 |
| 0 | 11 | 14 |
| 1 | 20 | 14 |
| 2 | 42 | 14 |
| 3 | 80 | 14 |
| 4 | 131 | 14 |
| 5 | 236 | 14 |
| 6 | 321 | 14 |
| 7 | 337 | 14 |
| done | 337 | 14 |
| 0 | 11 | 14 |
| 1 | 20 | 14 |
| 2 | 42 | 14 |
| 3 | 80 | 14 |
| 4 | 131 | 14 |
| 5 | 236 | 14 |
| 6 | 321 | 14 |
| 7 | 337 | 14 |
| done | 337 | 14 |
| 0 | 12 | 15 |
| 1 | 23 | 15 |
| 2 | 51 | 15 |
| 3 | 121 | 15 |
| 4 | 246 | 15 |
| 5 | 546 | 15 |
| 6 | 1042 | 15 |
| 7 | 1421 | 15 |
| 8 | 1517 | 15 |
| done | 1517 | 15 |
| 0 | 13 | 15 |
| 1 | 24 | 15 |
| 2 | 52 | 15 |
| 3 | 122 | 15 |
| 4 | 241 | 15 |
| 5 | 543 | 15 |
| 6 | 1021 | 15 |
| 7 | 1391 | 15 |
| 8 | 1490 | 15 |
| done | 1490 | 15 |
| 0 | 12 | 15 |
| 1 | 23 | 15 |
| 2 | 51 | 15 |
| 3 | 121 | 15 |
| 4 | 246 | 15 |
| 5 | 546 | 15 |
| 6 | 1042 | 15 |
| 7 | 1421 | 15 |
| 8 | 1517 | 15 |
| done | 1517 | 15 |
| 0 | 11 | 14 |
| 1 | 22 | 14 |
| 2 | 49 | 14 |
| 3 | 114 | 14 |
| 4 | 223 | 10 |
| 5 | 453 | 10 |
| 6 | 735 | 10 |
| 7 | 899 | 10 |
| 8 | 947 | 10 |
| done | 947 | 10 |
| 0 | 12 | 15 |
| 1 | 23 | 15 |
| 2 | 51 | 15 |
| 3 | 121 | 15 |
| 4 | 246 | 15 |
| 5 | 546 | 15 |
| 6 | 1042 | 15 |
| 7 | 1421 | 15 |
| 8 | 1517 | 15 |
| done | 1517 | 15 |
| 0 | 11 | 14 |
| 1 | 22 | 14 |
| 2 | 49 | 14 |
| 3 | 114 | 14 |
| 4 | 223 | 10 |
| 5 | 453 | 10 |
| 6 | 735 | 10 |
| 7 | 899 | 10 |
| 8 | 947 | 10 |
| done | 947 | 10 |
| 0 | 12 | 15 |
| 1 | 23 | 15 |
| 2 | 51 | 15 |
| 3 | 121 | 15 |
| 4 | 246 | 15 |
| 5 | 546 | 15 |
| 6 | 1042 | 15 |
| 7 | 1421 | 15 |
| 8 | 1517 | 15 |
| done | 1517 | 15 |
| 0 | 13 | 15 |
| 1 | 24 | 15 |
| 2 | 52 | 15 |
| 3 | 122 | 15 |
| 4 | 241 | 15 |
| 5 | 543 | 15 |
| 6 | 1021 | 15 |
| 7 | 1391 | 15 |
| 8 | 1490 | 15 |
| done | 1490 | 15 |
| 0 | 12 | 15 |
| 1 | 23 | 15 |
| 2 | 51 | 15 |
| 3 | 121 | 15 |
| 4 | 246 | 15 |
| 5 | 546 | 15 |
| 6 | 1042 | 15 |
| 7 | 1421 | 15 |
| 8 | 1517 | 15 |
| done | 1517 | 15 |
| 0 | 11 | 14 |
| 1 | 22 | 14 |
| 2 | 49 | 14 |
| 3 | 114 | 14 |
| 4 | 223 | 10 |
| 5 | 453 | 10 |
| 6 | 735 | 10 |
| 7 | 899 | 10 |
| 8 | 947 | 10 |
| done | 947 | 10 |
| 0 | 12 | 15 |
| 1 | 23 | 15 |
| 2 | 51 | 15 |
| 3 | 121 | 15 |
| 4 | 246 | 15 |
| 5 | 546 | 15 |
| 6 | 1042 | 15 |
| 7 | 1421 | 15 |
| 8 | 1517 | 15 |
| done | 1517 | 15 |
| 0 | 11 | 14 |
| 1 | 22 | 14 |
| 2 | 49 | 14 |
| 3 | 114 | 14 |
| 4 | 223 | 10 |
| 5 | 453 | 10 |
| 6 | 735 | 10 |
| 7 | 899 | 10 |
| 8 | 947 | 10 |
| done | 947 | 10 |
| 0 | 11 | 14 |
| 1 | 22 | 14 |
| 2 | 50 | 14 |
| 3 | 120 | 14 |
| 4 | 230 | 14 |
| 5 | 488 | 14 |
| 6 | 785 | 14 |
| 7 | 900 | 14 |
| 8 | 921 | 14 |
| done | 921 | 14 |
| 0 | 12 | 14 |
| 1 | 23 | 14 |
| 2 | 51 | 14 |
| 3 | 121 | 14 |
| 4 | 233 | 14 |
| 5 | 491 | 14 |
| 6 | 779 | 14 |
| 7 | 886 | 14 |
| 8 | 907 | 14 |
| done | 907 | 14 |
| 0 | 11 | 14 |
| 1 | 22 | 14 |
| 2 | 50 | 14 |
| 3 | 120 | 14 |
| 4 | 230 | 14 |
| 5 | 488 | 14 |
| 6 | 785 | 14 |
| 7 | 900 | 14 |
| 8 | 921 | 14 |
| done | 921 | 14 |
| 0 | 10 | 13 |
| 1 | 21 | 13 |
| 2 | 48 | 13 |
| 3 | 110 | 13 |
| 4 | 200 | 9 |
| 5 | 379 | 9 |
| 6 | 539 | 9 |
| 7 | 575 | 9 |
| 8 | 583 | 9 |
| done | 583 | 9 |
| 0 | 11 | 14 |
| 1 | 22 | 14 |
| 2 | 50 | 14 |
| 3 | 120 | 14 |
| 4 | 230 | 14 |
| 5 | 488 | 14 |
| 6 | 785 | 14 |
| 7 | 900 | 14 |
| 8 | 921 | 14 |
| done | 921 | 14 |
| 0 | 10 | 13 |
| 1 | 21 | 13 |
| 2 | 48 | 13 |
| 3 | 110 | 13 |
| 4 | 200 | 9 |
| 5 | 379 | 9 |
| 6 | 539 | 9 |
| 7 | 575 | 9 |
| 8 | 583 | 9 |
| done | 583 | 9 |
| 0 | 10 | 13 |
| 1 | 21 | 13 |
| 2 | 48 | 13 |
| 3 | 110 | 13 |
| 4 | 200 | 9 |
| 5 | 379 | 9 |
| 6 | 539 | 9 |
| 7 | 575 | 9 |
| 8 | 583 | 9 |
| done | 583 | 9 |
| 0 | 11 | 13 |
| 1 | 24 | 13 |
| 2 | 51 | 11 |
| 3 | 160 | 11 |
| 4 | 402 | 7 |
| 5 | 733 | 7 |
| 6 | 938 | 7 |
| 7 | 1085 | 7 |
| 8 | 1113 | 7 |
| done | 1113 | 7 |
| 0 | 9 | 10 |
| 1 | 15 | 10 |
| 2 | 37 | 10 |
| 3 | 76 | 10 |
| 4 | 117 | 10 |
| 5 | 169 | 10 |
| 6 | 180 | 10 |
| 7 | 185 | 10 |
| done | 185 | 10 |
| 0 | 9 | 10 |
| 1 | 18 | 10 |
| 2 | 40 | 10 |
| 3 | 70 | 10 |
| 4 | 113 | 10 |
| 5 | 178 | 10 |
| 6 | 202 | 10 |
| 7 | 204 | 10 |
| done | 204 | 10 |
| 0 | 10 | 10 |
| 1 | 15 | 10 |
| 2 | 23 | 10 |
| done | 23 | 10 |
| 0 | 9 | 9 |
| 1 | 18 | 9 |
| 2 | 33 | 9 |
| 3 | 42 | 9 |
| 4 | 58 | 9 |
| 5 | 64 | 9 |
| done | 64 | 9 |
| 0 | 9 | 9 |
| 1 | 15 | 9 |
| 2 | 31 | 9 |
| 3 | 41 | 9 |
| 4 | 64 | 9 |
| 5 | 93 | 9 |
| 6 | 147 | 9 |
| 7 | 332 | 9 |
| 8 | 1022 | 9 |
| 9 | 3372 | 9 |
| done | 5000 | 9 |
| 0 | 12 | 26 |
| 1 | 24 | 22 |
| 2 | 72 | 12 |
| 3 | 226 | 12 |
| 4 | 759 | 12 |
| 5 | 3188 | 12 |
| done | 5001 | 12 |
| 0 | 10 | 19 |
| 1 | 16 | 19 |
| 2 | 29 | 19 |
| 3 | 37 | 19 |
| 4 | 53 | 19 |
| 5 | 59 | 19 |
| done | 59 | 19 |
| 0 | 9 | 9 |
| 1 | 15 | 9 |
| 2 | 28 | 9 |
| 3 | 36 | 9 |
| 4 | 52 | 9 |
| 5 | 58 | 9 |
| done | 58 | 9 |
| 0 | 10 | 26 |
| 1 | 23 | 26 |
| 2 | 64 | 10 |
| 3 | 228 | 10 |
| 4 | 893 | 10 |
| 5 | 3857 | 10 |
| done | 5000 | 10 |
| 0 | 9 | 9 |
| 1 | 15 | 9 |
| 2 | 28 | 9 |
| 3 | 36 | 9 |
| 4 | 52 | 9 |
| 5 | 58 | 9 |
| done | 58 | 9 |
| 0 | 9 | 9 |
| 1 | 15 | 9 |
| 2 | 28 | 9 |
| 3 | 36 | 9 |
| 4 | 52 | 9 |
| 5 | 58 | 9 |
| done | 58 | 9 |
| 0 | 6 | 6 |
| 1 | 9 | 6 |
| 2 | 19 | 6 |
| 3 | 29 | 6 |
| 4 | 40 | 5 |
| done | 40 | 5 |
| 0 | 3 | 3 |
| done | 3 | 3 |
| 0 | 4 | 4 |
| done | 4 | 4 |
| 0 | 6 | 6 |
| 1 | 9 | 6 |
| 2 | 13 | 6 |
| 3 | 16 | 6 |
| 4 | 17 | 6 |
| done | 17 | 6 |
| 0 | 12 | 21 |
| 1 | 21 | 21 |
| 2 | 37 | 21 |
| 3 | 43 | 21 |
| done | 43 | 21 |
| 0 | 10 | 10 |
| 1 | 13 | 10 |
| 2 | 20 | 10 |
| done | 20 | 10 |
| 0 | 12 | 20 |
| 1 | 18 | 17 |
| 2 | 27 | 17 |
| 3 | 28 | 17 |
| done | 28 | 17 |
| 0 | 10 | 10 |
| 1 | 13 | 10 |
| 2 | 20 | 10 |
| done | 20 | 10 |
| 0 | 11 | 17 |
| 1 | 16 | 17 |
| 2 | 25 | 17 |
| 3 | 26 | 17 |
| done | 26 | 17 |
| 0 | 10 | 10 |
| 1 | 13 | 10 |
| 2 | 20 | 10 |
| done | 20 | 10 |
| 0 | 10 | 16 |
| 1 | 17 | 15 |
| 2 | 26 | 15 |
| 3 | 27 | 13 |
| 4 | 34 | 13 |
| done | 34 | 13 |
| 0 | 9 | 9 |
| 1 | 12 | 9 |
| 2 | 19 | 9 |
| done | 19 | 9 |
| 0 | 11 | 17 |
| 1 | 16 | 17 |
| 2 | 25 | 17 |
| 3 | 26 | 17 |
| done | 26 | 17 |
| 0 | 10 | 10 |
| 1 | 13 | 10 |
| 2 | 20 | 10 |
| done | 20 | 10 |
| 0 | 9 | 15 |
| 1 | 16 | 13 |
| 2 | 29 | 13 |
| 3 | 34 | 13 |
| done | 34 | 13 |
| 0 | 9 | 9 |
| 1 | 12 | 9 |
| 2 | 19 | 9 |
| done | 19 | 9 |
| 0 | 11 | 14 |
| 1 | 16 | 14 |
| 2 | 23 | 14 |
| done | 23 | 14 |
| 0 | 10 | 10 |
| 1 | 13 | 10 |
| 2 | 20 | 10 |
| done | 20 | 10 |
| 0 | 11 | 13 |
| 1 | 15 | 10 |
| 2 | 22 | 10 |
| done | 22 | 10 |
| 0 | 10 | 10 |
| 1 | 13 | 10 |
| 2 | 20 | 10 |
| done | 20 | 10 |
| 0 | 10 | 10 |
| 1 | 13 | 10 |
| 2 | 20 | 10 |
| done | 20 | 10 |
| 0 | 10 | 10 |
| 1 | 13 | 10 |
| 2 | 20 | 10 |
| done | 20 | 10 |
| 0 | 9 | 9 |
| 1 | 14 | 8 |
| 2 | 21 | 8 |
| done | 21 | 8 |
| 0 | 9 | 9 |
| 1 | 12 | 9 |
| 2 | 19 | 9 |
| done | 19 | 9 |
| 0 | 10 | 10 |
| 1 | 13 | 10 |
| 2 | 20 | 10 |
| done | 20 | 10 |
| 0 | 10 | 10 |
| 1 | 13 | 10 |
| 2 | 20 | 10 |
| done | 20 | 10 |
| 0 | 8 | 8 |
| 1 | 13 | 6 |
| 2 | 22 | 6 |
| done | 22 | 6 |
| 0 | 9 | 9 |
| 1 | 12 | 9 |
| 2 | 19 | 9 |
| done | 19 | 9 |
| 0 | 6 | 9 |
| 1 | 10 | 9 |
| done | 10 | 9 |
| 0 | 9 | 9 |
| 1 | 15 | 9 |
| 2 | 28 | 9 |
| 3 | 36 | 9 |
| 4 | 52 | 9 |
| 5 | 58 | 9 |
| done | 58 | 9 |
| 0 | 6 | 8 |
| 1 | 9 | 5 |
| done | 9 | 5 |
| 0 | 9 | 9 |
| 1 | 15 | 9 |
| 2 | 28 | 9 |
| 3 | 36 | 9 |
| 4 | 52 | 9 |
| 5 | 58 | 9 |
| done | 58 | 9 |
| 0 | 5 | 5 |
| 1 | 7 | 5 |
| done | 7 | 5 |
| 0 | 9 | 9 |
| 1 | 15 | 9 |
| 2 | 28 | 9 |
| 3 | 36 | 9 |
| 4 | 52 | 9 |
| 5 | 58 | 9 |
| done | 58 | 9 |
| 0 | 3 | 4 |
| 1 | 5 | 3 |
| done | 5 | 3 |
| 0 | 8 | 8 |
| 1 | 14 | 8 |
| 2 | 27 | 8 |
| 3 | 35 | 8 |
| 4 | 51 | 8 |
| 5 | 57 | 8 |
| done | 57 | 8 |
| 0 | 5 | 5 |
| 1 | 7 | 5 |
| done | 7 | 5 |
| 0 | 9 | 9 |
| 1 | 15 | 9 |
| 2 | 28 | 9 |
| 3 | 36 | 9 |
| 4 | 52 | 9 |
| 5 | 58 | 9 |
| done | 58 | 9 |
| 0 | 2 | 3 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 8 | 8 |
| 1 | 14 | 8 |
| 2 | 27 | 8 |
| 3 | 35 | 8 |
| 4 | 51 | 8 |
| 5 | 57 | 8 |
| done | 57 | 8 |
| 0 | 4 | 4 |
| 1 | 6 | 4 |
| done | 6 | 4 |
| 0 | 8 | 8 |
| 1 | 11 | 8 |
| 2 | 18 | 8 |
| done | 18 | 8 |
| 0 | 10 | 13 |
| 1 | 18 | 13 |
| 2 | 40 | 13 |
| 3 | 71 | 13 |
| 4 | 114 | 13 |
| 5 | 138 | 13 |
| 6 | 146 | 13 |
| done | 146 | 13 |
| 0 | 10 | 12 |
| 1 | 17 | 9 |
| 2 | 30 | 9 |
| 3 | 38 | 9 |
| 4 | 54 | 9 |
| 5 | 60 | 9 |
| done | 60 | 9 |
| 0 | 9 | 9 |
| 1 | 15 | 9 |
| 2 | 28 | 9 |
| 3 | 36 | 9 |
| 4 | 52 | 9 |
| 5 | 58 | 9 |
| done | 58 | 9 |
| 0 | 8 | 8 |
| 1 | 16 | 7 |
| 2 | 29 | 7 |
| 3 | 37 | 5 |
| 4 | 57 | 5 |
| 5 | 72 | 5 |
| 6 | 90 | 5 |
| done | 90 | 5 |
| 0 | 9 | 9 |
| 1 | 15 | 9 |
| 2 | 28 | 9 |
| 3 | 36 | 9 |
| 4 | 52 | 9 |
| 5 | 58 | 9 |
| done | 58 | 9 |
| 0 | 7 | 7 |
| 1 | 15 | 5 |
| 2 | 30 | 5 |
| 3 | 41 | 5 |
| 4 | 67 | 5 |
| 5 | 75 | 5 |
| 6 | 81 | 5 |
| done | 81 | 5 |
| 0 | 9 | 9 |
| 1 | 12 | 9 |
| 2 | 19 | 9 |
| done | 19 | 9 |
| 0 | 9 | 9 |
| 1 | 12 | 9 |
| 2 | 19 | 9 |
| done | 19 | 9 |
| 0 | 8 | 8 |
| 1 | 11 | 8 |
| 2 | 18 | 8 |
| done | 18 | 8 |
| 0 | 12 | 20 |
| 1 | 36 | 16 |
| 2 | 90 | 16 |
| 3 | 180 | 16 |
| 4 | 264 | 16 |
| 5 | 270 | 16 |
| done | 270 | 16 |
| 0 | 8 | 8 |
| 1 | 17 | 8 |
| 2 | 26 | 8 |
| 3 | 30 | 8 |
| done | 30 | 8 |
| 0 | 6 | 6 |
| 1 | 8 | 6 |
| 2 | 9 | 6 |
| done | 9 | 6 |
| 0 | 5 | 5 |
| 1 | 8 | 5 |
| 2 | 10 | 5 |
| 3 | 11 | 5 |
| done | 11 | 5 |
| 0 | 5 | 5 |
| done | 5 | 5 |
| 0 | 8 | 14 |
| 1 | 17 | 10 |
| 2 | 43 | 8 |
| 3 | 93 | 8 |
| 4 | 131 | 8 |
| 5 | 174 | 8 |
| 6 | 304 | 8 |
| 7 | 808 | 8 |
| 8 | 3192 | 8 |
| done | 5000 | 8 |
| 0 | 6 | 11 |
| done | 6 | 11 |
| 0 | 5 | 5 |
| done | 5 | 5 |
| 0 | 6 | 14 |
| 1 | 13 | 14 |
| 2 | 29 | 6 |
| 3 | 67 | 6 |
| 4 | 132 | 6 |
| 5 | 193 | 6 |
| 6 | 312 | 6 |
| 7 | 778 | 6 |
| 8 | 3411 | 6 |
| done | 5000 | 6 |
| 0 | 5 | 5 |
| done | 5 | 5 |
| 0 | 5 | 5 |
| done | 5 | 5 |
| 0 | 2 | 2 |
| done | 2 | 2 |
| 0 | 3 | 3 |
| done | 3 | 3 |
| 0 | 8 | 13 |
| 1 | 14 | 13 |
| 2 | 23 | 13 |
| 3 | 29 | 13 |
| done | 29 | 13 |
| 0 | 6 | 6 |
| done | 6 | 6 |
| 0 | 8 | 12 |
| 1 | 11 | 9 |
| 2 | 13 | 9 |
| 3 | 14 | 9 |
| done | 14 | 9 |
| 0 | 6 | 6 |
| done | 6 | 6 |
| 0 | 7 | 9 |
| 1 | 9 | 9 |
| 2 | 11 | 9 |
| 3 | 12 | 9 |
| done | 12 | 9 |
| 0 | 6 | 6 |
| done | 6 | 6 |
| 0 | 6 | 8 |
| 1 | 10 | 7 |
| 2 | 12 | 7 |
| 3 | 13 | 5 |
| 4 | 20 | 5 |
| done | 20 | 5 |
| 0 | 5 | 5 |
| done | 5 | 5 |
| 0 | 7 | 9 |
| 1 | 9 | 9 |
| 2 | 11 | 9 |
| 3 | 12 | 9 |
| done | 12 | 9 |
| 0 | 6 | 6 |
| done | 6 | 6 |
| 0 | 5 | 7 |
| 1 | 9 | 5 |
| 2 | 15 | 5 |
| 3 | 20 | 5 |
| done | 20 | 5 |
| 0 | 5 | 5 |
| done | 5 | 5 |
| 0 | 7 | 10 |
| 1 | 9 | 10 |
| done | 9 | 10 |
| 0 | 6 | 6 |
| done | 6 | 6 |
| 0 | 7 | 9 |
| 1 | 8 | 6 |
| done | 8 | 6 |
| 0 | 6 | 6 |
| done | 6 | 6 |
| 0 | 6 | 6 |
| done | 6 | 6 |
| 0 | 6 | 6 |
| done | 6 | 6 |
| 0 | 5 | 5 |
| 1 | 7 | 4 |
| done | 7 | 4 |
| 0 | 5 | 5 |
| done | 5 | 5 |
| 0 | 6 | 6 |
| done | 6 | 6 |
| 0 | 6 | 6 |
| done | 6 | 6 |
| 0 | 4 | 4 |
| 1 | 6 | 2 |
| 2 | 8 | 2 |
| done | 8 | 2 |
| 0 | 5 | 5 |
| done | 5 | 5 |
| 0 | 6 | 9 |
| 1 | 10 | 9 |
| done | 10 | 9 |
| 0 | 5 | 5 |
| done | 5 | 5 |
| 0 | 6 | 8 |
| 1 | 9 | 5 |
| done | 9 | 5 |
| 0 | 5 | 5 |
| done | 5 | 5 |
| 0 | 5 | 5 |
| 1 | 7 | 5 |
| done | 7 | 5 |
| 0 | 5 | 5 |
| done | 5 | 5 |
| 0 | 3 | 4 |
| 1 | 5 | 3 |
| done | 5 | 3 |
| 0 | 4 | 4 |
| done | 4 | 4 |
| 0 | 5 | 5 |
| 1 | 7 | 5 |
| done | 7 | 5 |
| 0 | 5 | 5 |
| done | 5 | 5 |
| 0 | 2 | 3 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 4 | 4 |
| done | 4 | 4 |
| 0 | 4 | 4 |
| 1 | 6 | 4 |
| done | 6 | 4 |
| 0 | 4 | 4 |
| done | 4 | 4 |
| 0 | 6 | 9 |
| 1 | 8 | 9 |
| done | 8 | 9 |
| 0 | 6 | 8 |
| 1 | 7 | 5 |
| done | 7 | 5 |
| 0 | 5 | 5 |
| done | 5 | 5 |
| 0 | 4 | 4 |
| 1 | 6 | 3 |
| done | 6 | 3 |
| 0 | 5 | 5 |
| done | 5 | 5 |
| 0 | 3 | 3 |
| 1 | 5 | 1 |
| done | 5 | 1 |
| 0 | 5 | 5 |
| done | 5 | 5 |
| 0 | 5 | 5 |
| done | 5 | 5 |
| 0 | 4 | 4 |
| done | 4 | 4 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 15 | 6 |
| 3 | 20 | 6 |
| 4 | 24 | 6 |
| done | 24 | 6 |
| 0 | 7 | 8 |
| 1 | 10 | 8 |
| 2 | 11 | 8 |
| done | 11 | 8 |
| 0 | 6 | 7 |
| 1 | 12 | 7 |
| 2 | 20 | 7 |
| 3 | 25 | 7 |
| 4 | 29 | 7 |
| done | 29 | 7 |
| 0 | 6 | 7 |
| 1 | 11 | 7 |
| 2 | 30 | 5 |
| 3 | 51 | 5 |
| 4 | 94 | 5 |
| 5 | 177 | 5 |
| 6 | 422 | 5 |
| 7 | 1303 | 5 |
| done | 5000 | 5 |
| 0 | 9 | 20 |
| 1 | 18 | 20 |
| 2 | 56 | 10 |
| 3 | 180 | 10 |
| 4 | 619 | 8 |
| 5 | 2374 | 8 |
| done | 5000 | 8 |
| 0 | 7 | 15 |
| 1 | 10 | 15 |
| 2 | 17 | 15 |
| 3 | 22 | 15 |
| 4 | 26 | 15 |
| done | 26 | 15 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 16 | 7 |
| 3 | 21 | 7 |
| 4 | 25 | 7 |
| done | 25 | 7 |
| 0 | 7 | 20 |
| 1 | 20 | 20 |
| 2 | 74 | 8 |
| 3 | 285 | 8 |
| 4 | 864 | 8 |
| 5 | 2739 | 8 |
| done | 5000 | 8 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 16 | 7 |
| 3 | 21 | 7 |
| 4 | 25 | 7 |
| done | 25 | 7 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 16 | 7 |
| 3 | 21 | 7 |
| 4 | 25 | 7 |
| done | 25 | 7 |
| 0 | 7 | 8 |
| 1 | 10 | 8 |
| 2 | 11 | 8 |
| done | 11 | 8 |
| 0 | 7 | 8 |
| 1 | 10 | 8 |
| 2 | 11 | 8 |
| done | 11 | 8 |
| 0 | 7 | 10 |
| 1 | 12 | 10 |
| 2 | 25 | 9 |
| 3 | 54 | 9 |
| 4 | 116 | 9 |
| 5 | 178 | 9 |
| 6 | 225 | 9 |
| 7 | 322 | 9 |
| 8 | 493 | 9 |
| 9 | 675 | 9 |
| 10 | 740 | 9 |
| done | 740 | 9 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 16 | 7 |
| 3 | 21 | 7 |
| 4 | 25 | 7 |
| done | 25 | 7 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 16 | 7 |
| 3 | 21 | 7 |
| 4 | 25 | 7 |
| done | 25 | 7 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 16 | 7 |
| 3 | 21 | 7 |
| 4 | 25 | 7 |
| done | 25 | 7 |
| 0 | 6 | 6 |
| 1 | 11 | 5 |
| 2 | 18 | 1 |
| 3 | 22 | 1 |
| done | 22 | 1 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 15 | 6 |
| 3 | 20 | 6 |
| 4 | 24 | 6 |
| done | 24 | 6 |
| 0 | 7 | 10 |
| 1 | 12 | 10 |
| 2 | 25 | 9 |
| 3 | 54 | 9 |
| 4 | 116 | 9 |
| 5 | 178 | 9 |
| 6 | 225 | 9 |
| 7 | 322 | 9 |
| 8 | 493 | 9 |
| 9 | 675 | 9 |
| 10 | 742 | 9 |
| done | 742 | 9 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 16 | 7 |
| 3 | 21 | 7 |
| 4 | 25 | 7 |
| done | 25 | 7 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 16 | 7 |
| 3 | 21 | 7 |
| 4 | 25 | 7 |
| done | 25 | 7 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 16 | 7 |
| 3 | 21 | 7 |
| 4 | 25 | 7 |
| done | 25 | 7 |
| 0 | 6 | 6 |
| 1 | 11 | 5 |
| 2 | 18 | 1 |
| 3 | 22 | 1 |
| done | 22 | 1 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 15 | 6 |
| 3 | 20 | 6 |
| 4 | 24 | 6 |
| done | 24 | 6 |
| 0 | 5 | 5 |
| 1 | 10 | 3 |
| 2 | 20 | 3 |
| 3 | 31 | 3 |
| 4 | 40 | 3 |
| 5 | 44 | 3 |
| done | 44 | 3 |
| 0 | 7 | 11 |
| 1 | 12 | 11 |
| 2 | 21 | 11 |
| 3 | 38 | 11 |
| 4 | 50 | 11 |
| 5 | 58 | 11 |
| done | 58 | 11 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 16 | 7 |
| 3 | 21 | 7 |
| 4 | 25 | 7 |
| done | 25 | 7 |
| 0 | 5 | 5 |
| 1 | 10 | 3 |
| 2 | 20 | 3 |
| 3 | 31 | 3 |
| 4 | 40 | 3 |
| 5 | 44 | 3 |
| done | 44 | 3 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 10 | 7 |
| done | 10 | 7 |
| 0 | 6 | 7 |
| 1 | 9 | 7 |
| 2 | 10 | 7 |
| done | 10 | 7 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 15 | 6 |
| 3 | 20 | 6 |
| 4 | 24 | 6 |
| done | 24 | 6 |
| 0 | 7 | 8 |
| 1 | 10 | 8 |
| 2 | 17 | 8 |
| 3 | 22 | 8 |
| 4 | 26 | 8 |
| done | 26 | 8 |
| 0 | 5 | 6 |
| 1 | 8 | 6 |
| 2 | 15 | 6 |
| 3 | 20 | 6 |
| 4 | 24 | 6 |
| done | 24 | 6 |
| 0 | 8 | 10 |
| 1 | 24 | 10 |
| 2 | 52 | 10 |
| 3 | 131 | 10 |
| 4 | 308 | 10 |
| 5 | 980 | 10 |
| 6 | 4487 | 10 |
| done | 5000 | 10 |
| 0 | 7 | 10 |
| 1 | 13 | 10 |
| 2 | 30 | 10 |
| 3 | 76 | 10 |
| 4 | 159 | 10 |
| 5 | 245 | 10 |
| 6 | 395 | 10 |
| 7 | 764 | 10 |
| 8 | 3363 | 10 |
| done | 5000 | 10 |
| 0 | 11 | 13 |
| 1 | 24 | 13 |
| 2 | 54 | 13 |
| 3 | 90 | 13 |
| 4 | 153 | 13 |
| 5 | 224 | 9 |
| 6 | 261 | 9 |
| 7 | 325 | 9 |
| 8 | 535 | 9 |
| 9 | 1474 | 9 |
| done | 5000 | 9 |
| 0 | 11 | 13 |
| 1 | 24 | 13 |
| 2 | 54 | 13 |
| 3 | 90 | 13 |
| 4 | 153 | 13 |
| 5 | 224 | 9 |
| 6 | 261 | 9 |
| 7 | 325 | 9 |
| 8 | 535 | 9 |
| 9 | 1474 | 9 |
| done | 5000 | 9 |
| 0 | 17 | 25 |
| 1 | 39 | 25 |
| 2 | 113 | 25 |
| 3 | 248 | 25 |
| 4 | 738 | 21 |
| 5 | 2983 | 19 |
| done | 5000 | 19 |
| 0 | 14 | 17 |
| 1 | 38 | 15 |
| 2 | 93 | 15 |
| 3 | 199 | 15 |
| 4 | 385 | 15 |
| 5 | 781 | 15 |
| 6 | 2243 | 15 |
| done | 5000 | 15 |
| 0 | 19 | 25 |
| 1 | 53 | 23 |
| 2 | 148 | 23 |
| 3 | 420 | 21 |
| 4 | 1664 | 19 |
| done | 5000 | 19 |
| 0 | 15 | 19 |
| 1 | 36 | 17 |
| 2 | 70 | 15 |
| 3 | 131 | 15 |
| 4 | 280 | 15 |
| 5 | 601 | 15 |
| 6 | 1438 | 15 |
| 7 | 2893 | 15 |
| done | 5000 | 15 |
| 0 | 16 | 21 |
| 1 | 45 | 21 |
| 2 | 127 | 19 |
| 3 | 287 | 17 |
| 4 | 631 | 15 |
| 5 | 1737 | 15 |
| done | 5000 | 15 |
| 0 | 18 | 25 |
| 1 | 51 | 25 |
| 2 | 154 | 25 |
| 3 | 422 | 23 |
| 4 | 1538 | 21 |
| done | 5001 | 21 |
| 0 | 7 | 9 |
| 1 | 11 | 9 |
| 2 | 15 | 9 |
| 3 | 18 | 9 |
| 4 | 19 | 9 |
| done | 19 | 9 |
| 0 | 12 | 19 |
| 1 | 29 | 13 |
| 2 | 60 | 6 |
| 3 | 94 | 6 |
| 4 | 135 | 6 |
| 5 | 197 | 6 |
| 6 | 244 | 6 |
| 7 | 284 | 6 |
| 8 | 394 | 6 |
| done | 394 | 6 |
| 0 | 13 | 23 |
| 1 | 30 | 19 |
| 2 | 61 | 13 |
| 3 | 119 | 7 |
| 4 | 165 | 7 |
| 5 | 275 | 6 |
| 6 | 367 | 6 |
| 7 | 440 | 6 |
| done | 440 | 6 |
| 0 | 13 | 23 |
| 1 | 27 | 23 |
| 2 | 51 | 23 |
| 3 | 115 | 18 |
| 4 | 270 | 15 |
| 5 | 873 | 9 |
| 6 | 2694 | 6 |
| done | 5000 | 6 |
14 alts after pruning (12 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 195 | 0 | 195 |
| Fresh | 0 | 12 | 12 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 195 | 14 | 209 |
Merged error: 1.0b
92.8% (0.4b remaining)
Error of 1.0b against oracle of 0.6b and baseline of 6.1b
| Iters | Range | Point | |
|---|---|---|---|
| 8 | 7.076988919692643e+193 | 1.1211938703257367e+198 | 2.4155518908027e+197 |
| 8 | 8048997583997.388 | 4.8811235553139706e+17 | 64580610598537.16 |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 49 | 89 |
| 1 | 67 | 89 |
| done | 67 | 89 |
| 908.0ms | 11601× | body | 80 | valid |
| 820.0ms | 11481× | body | 80 | nan |
Loading profile data...