Time bar (total: 32.0min)
| 10.0ms | 24× | body | 1280 | nan |
| 9.0ms | 180× | body | 80 | valid |
| 6.0ms | 26× | body | 1280 | valid |
| 5.0ms | 27× | body | 640 | valid |
| 4.0ms | 104× | body | 80 | nan |
| 3.0ms | 16× | body | 320 | nan |
| 2.0ms | 16× | body | 640 | nan |
| 2.0ms | 13× | body | 320 | valid |
| 1.0ms | 10× | body | 160 | valid |
| 1.0ms | 8× | body | 160 | nan |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 12 |
| 1 | 19 | 12 |
| 2 | 29 | 12 |
| 3 | 41 | 12 |
| 4 | 58 | 12 |
| 5 | 63 | 12 |
| 6 | 71 | 12 |
| 7 | 86 | 12 |
| 8 | 114 | 12 |
| 9 | 127 | 12 |
| 10 | 129 | 12 |
| done | 129 | 12 |
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: 18.7b
Found 3 expressions with local error:
| 0.0b | (/ (- x y) (- 1.0 y)) |
| 2.4b | (- 1.0 (/ (- x y) (- 1.0 y))) |
| 4.1b | (log (- 1.0 (/ (- x y) (- 1.0 y)))) |
| 50× | add-sqr-sqrt |
| 44× | *-un-lft-identity |
| 27× | times-frac |
| 16× | add-cube-cbrt difference-of-squares |
| 14× | distribute-lft-out-- |
| 6× | add-exp-log log-prod |
| 5× | associate-/r* add-cbrt-cube associate-/l* add-log-exp |
| 4× | pow1 flip3-- flip-- |
| 2× | log-div div-sub associate-/r/ associate-/l/ |
| 1× | cbrt-undiv sub-neg frac-2neg diff-log div-exp rem-log-exp clear-num log-pow div-inv associate--r- |
| 9.0ms | (/ (- x y) (- 1.0 y)) |
| 15.0ms | (- 1.0 (/ (- x y) (- 1.0 y))) |
| 15.0ms | (log (- 1.0 (/ (- x y) (- 1.0 y)))) |
| 11.0ms | (/ (- x y) (- 1.0 y)) |
| 10.0ms | (- 1.0 (/ (- x y) (- 1.0 y))) |
| 16.0ms | (log (- 1.0 (/ (- x y) (- 1.0 y)))) |
Useful iterations: 1 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 10 | 22 |
| 1 | 20 | 22 |
| 2 | 31 | 13 |
| 3 | 44 | 13 |
| 4 | 61 | 13 |
| 5 | 65 | 13 |
| 6 | 73 | 13 |
| 7 | 88 | 13 |
| 8 | 116 | 13 |
| 9 | 129 | 13 |
| 10 | 131 | 13 |
| done | 131 | 13 |
| 0 | 9 | 11 |
| 1 | 17 | 11 |
| 2 | 26 | 11 |
| 3 | 38 | 11 |
| 4 | 55 | 11 |
| 5 | 59 | 11 |
| 6 | 67 | 11 |
| 7 | 82 | 11 |
| 8 | 110 | 11 |
| 9 | 123 | 11 |
| 10 | 125 | 11 |
| done | 125 | 11 |
| 0 | 9 | 11 |
| 1 | 17 | 11 |
| 2 | 26 | 11 |
| 3 | 38 | 11 |
| 4 | 55 | 11 |
| 5 | 59 | 11 |
| 6 | 67 | 11 |
| 7 | 82 | 11 |
| 8 | 110 | 11 |
| 9 | 123 | 11 |
| 10 | 125 | 11 |
| done | 125 | 11 |
| 0 | 9 | 11 |
| 1 | 17 | 11 |
| 2 | 26 | 11 |
| 3 | 38 | 11 |
| 4 | 55 | 11 |
| 5 | 59 | 11 |
| 6 | 67 | 11 |
| 7 | 82 | 11 |
| 8 | 110 | 11 |
| 9 | 123 | 11 |
| 10 | 125 | 11 |
| done | 125 | 11 |
| 0 | 2 | 2 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 8 | 10 |
| 1 | 16 | 10 |
| 2 | 25 | 10 |
| 3 | 37 | 10 |
| 4 | 54 | 10 |
| 5 | 58 | 10 |
| 6 | 66 | 10 |
| 7 | 81 | 10 |
| 8 | 109 | 10 |
| 9 | 122 | 10 |
| 10 | 124 | 10 |
| done | 124 | 10 |
| 0 | 10 | 12 |
| 1 | 17 | 12 |
| 2 | 21 | 12 |
| 3 | 23 | 12 |
| done | 23 | 12 |
| 0 | 10 | 12 |
| 1 | 18 | 12 |
| 2 | 23 | 12 |
| 3 | 25 | 12 |
| done | 25 | 12 |
| 0 | 11 | 13 |
| 1 | 15 | 13 |
| 2 | 17 | 13 |
| done | 17 | 13 |
| 0 | 11 | 13 |
| 1 | 16 | 13 |
| 2 | 21 | 13 |
| done | 21 | 13 |
| 0 | 2 | 2 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 8 | 10 |
| 1 | 16 | 10 |
| 2 | 25 | 10 |
| 3 | 37 | 10 |
| 4 | 54 | 10 |
| 5 | 58 | 10 |
| 6 | 66 | 10 |
| 7 | 81 | 10 |
| 8 | 109 | 10 |
| 9 | 122 | 10 |
| 10 | 124 | 10 |
| done | 124 | 10 |
| 0 | 11 | 14 |
| 1 | 35 | 14 |
| 2 | 81 | 14 |
| 3 | 271 | 14 |
| 4 | 1034 | 14 |
| 5 | 3968 | 14 |
| done | 5000 | 14 |
| 0 | 12 | 30 |
| 1 | 31 | 22 |
| 2 | 67 | 22 |
| 3 | 165 | 22 |
| 4 | 479 | 22 |
| 5 | 1379 | 22 |
| 6 | 3702 | 22 |
| done | 5000 | 22 |
| 0 | 10 | 20 |
| 1 | 25 | 20 |
| 2 | 57 | 20 |
| 3 | 174 | 20 |
| 4 | 557 | 20 |
| 5 | 1614 | 20 |
| done | 5000 | 20 |
| 0 | 8 | 10 |
| 1 | 15 | 10 |
| 2 | 23 | 10 |
| 3 | 33 | 10 |
| 4 | 43 | 10 |
| 5 | 52 | 10 |
| 6 | 57 | 10 |
| 7 | 66 | 10 |
| 8 | 83 | 10 |
| 9 | 106 | 10 |
| 10 | 119 | 10 |
| 11 | 121 | 10 |
| 12 | 125 | 10 |
| 13 | 128 | 10 |
| done | 128 | 10 |
| 0 | 8 | 10 |
| 1 | 16 | 10 |
| 2 | 25 | 10 |
| 3 | 37 | 10 |
| 4 | 54 | 10 |
| 5 | 58 | 10 |
| 6 | 66 | 10 |
| 7 | 81 | 10 |
| 8 | 109 | 10 |
| 9 | 122 | 10 |
| 10 | 124 | 10 |
| done | 124 | 10 |
| 0 | 9 | 11 |
| 1 | 17 | 11 |
| 2 | 26 | 11 |
| 3 | 38 | 11 |
| 4 | 55 | 11 |
| 5 | 59 | 11 |
| 6 | 67 | 11 |
| 7 | 82 | 11 |
| 8 | 110 | 11 |
| 9 | 123 | 11 |
| 10 | 125 | 11 |
| done | 125 | 11 |
| 0 | 9 | 11 |
| 1 | 17 | 9 |
| 2 | 26 | 9 |
| 3 | 38 | 9 |
| 4 | 55 | 9 |
| 5 | 59 | 9 |
| 6 | 67 | 9 |
| 7 | 82 | 9 |
| 8 | 110 | 9 |
| 9 | 123 | 9 |
| 10 | 125 | 9 |
| done | 125 | 9 |
| 0 | 10 | 23 |
| 1 | 18 | 23 |
| 2 | 27 | 23 |
| 3 | 39 | 23 |
| 4 | 56 | 23 |
| 5 | 60 | 23 |
| 6 | 68 | 23 |
| 7 | 83 | 23 |
| 8 | 111 | 23 |
| 9 | 124 | 23 |
| 10 | 126 | 23 |
| done | 126 | 23 |
| 0 | 9 | 11 |
| 1 | 17 | 11 |
| 2 | 26 | 11 |
| 3 | 38 | 11 |
| 4 | 55 | 11 |
| 5 | 59 | 11 |
| 6 | 67 | 11 |
| 7 | 82 | 11 |
| 8 | 110 | 11 |
| 9 | 123 | 11 |
| 10 | 125 | 11 |
| done | 125 | 11 |
| 0 | 10 | 32 |
| 1 | 19 | 32 |
| 2 | 30 | 12 |
| 3 | 47 | 12 |
| 4 | 70 | 12 |
| 5 | 85 | 12 |
| 6 | 116 | 12 |
| 7 | 196 | 12 |
| 8 | 438 | 12 |
| 9 | 1384 | 12 |
| done | 5000 | 12 |
| 0 | 9 | 11 |
| 1 | 17 | 11 |
| 2 | 26 | 11 |
| 3 | 38 | 11 |
| 4 | 55 | 11 |
| 5 | 59 | 11 |
| 6 | 67 | 11 |
| 7 | 82 | 11 |
| 8 | 110 | 11 |
| 9 | 123 | 11 |
| 10 | 125 | 11 |
| done | 125 | 11 |
| 0 | 9 | 11 |
| 1 | 17 | 11 |
| 2 | 26 | 11 |
| 3 | 38 | 11 |
| 4 | 55 | 11 |
| 5 | 59 | 11 |
| 6 | 67 | 11 |
| 7 | 82 | 11 |
| 8 | 110 | 11 |
| 9 | 123 | 11 |
| 10 | 125 | 11 |
| done | 125 | 11 |
| 0 | 9 | 11 |
| 1 | 17 | 10 |
| 2 | 28 | 10 |
| 3 | 47 | 10 |
| 4 | 80 | 10 |
| 5 | 119 | 10 |
| 6 | 189 | 10 |
| 7 | 329 | 10 |
| 8 | 407 | 10 |
| 9 | 419 | 10 |
| done | 419 | 10 |
| 0 | 8 | 10 |
| 1 | 16 | 10 |
| 2 | 25 | 10 |
| 3 | 37 | 10 |
| 4 | 54 | 10 |
| 5 | 58 | 10 |
| 6 | 66 | 10 |
| 7 | 81 | 10 |
| 8 | 109 | 10 |
| 9 | 122 | 10 |
| 10 | 124 | 10 |
| done | 124 | 10 |
| 0 | 8 | 10 |
| 1 | 19 | 10 |
| 2 | 33 | 10 |
| 3 | 54 | 10 |
| 4 | 91 | 10 |
| 5 | 142 | 10 |
| 6 | 238 | 10 |
| 7 | 365 | 10 |
| 8 | 428 | 10 |
| 9 | 438 | 10 |
| done | 438 | 10 |
| 0 | 9 | 21 |
| 1 | 17 | 21 |
| 2 | 26 | 21 |
| 3 | 38 | 21 |
| 4 | 55 | 21 |
| 5 | 59 | 21 |
| 6 | 67 | 21 |
| 7 | 82 | 21 |
| 8 | 110 | 21 |
| 9 | 123 | 21 |
| 10 | 125 | 21 |
| done | 125 | 21 |
| 0 | 8 | 10 |
| 1 | 16 | 10 |
| 2 | 25 | 10 |
| 3 | 37 | 10 |
| 4 | 54 | 10 |
| 5 | 58 | 10 |
| 6 | 66 | 10 |
| 7 | 81 | 10 |
| 8 | 109 | 10 |
| 9 | 122 | 10 |
| 10 | 124 | 10 |
| done | 124 | 10 |
| 0 | 9 | 29 |
| 1 | 18 | 29 |
| 2 | 41 | 11 |
| 3 | 128 | 11 |
| 4 | 565 | 11 |
| 5 | 3103 | 11 |
| done | 5001 | 11 |
| 0 | 8 | 10 |
| 1 | 16 | 10 |
| 2 | 25 | 10 |
| 3 | 37 | 10 |
| 4 | 54 | 10 |
| 5 | 58 | 10 |
| 6 | 66 | 10 |
| 7 | 81 | 10 |
| 8 | 109 | 10 |
| 9 | 122 | 10 |
| 10 | 124 | 10 |
| done | 124 | 10 |
| 0 | 8 | 10 |
| 1 | 16 | 10 |
| 2 | 25 | 10 |
| 3 | 37 | 10 |
| 4 | 54 | 10 |
| 5 | 58 | 10 |
| 6 | 66 | 10 |
| 7 | 81 | 10 |
| 8 | 109 | 10 |
| 9 | 122 | 10 |
| 10 | 124 | 10 |
| done | 124 | 10 |
| 0 | 10 | 13 |
| 1 | 34 | 13 |
| 2 | 80 | 13 |
| 3 | 267 | 13 |
| 4 | 1025 | 13 |
| 5 | 3945 | 13 |
| done | 5001 | 13 |
| 0 | 11 | 29 |
| 1 | 30 | 21 |
| 2 | 66 | 21 |
| 3 | 164 | 21 |
| 4 | 477 | 21 |
| 5 | 1378 | 21 |
| 6 | 3729 | 21 |
| done | 5001 | 21 |
| 0 | 7 | 8 |
| 1 | 15 | 8 |
| 2 | 22 | 8 |
| 3 | 29 | 8 |
| 4 | 33 | 7 |
| 5 | 34 | 7 |
| done | 34 | 7 |
| 0 | 9 | 19 |
| 1 | 24 | 19 |
| 2 | 53 | 19 |
| 3 | 169 | 19 |
| 4 | 552 | 19 |
| 5 | 1608 | 19 |
| done | 5001 | 19 |
| 0 | 7 | 9 |
| 1 | 14 | 9 |
| 2 | 22 | 9 |
| 3 | 32 | 9 |
| 4 | 42 | 9 |
| 5 | 51 | 9 |
| 6 | 56 | 9 |
| 7 | 65 | 9 |
| 8 | 82 | 9 |
| 9 | 105 | 9 |
| 10 | 118 | 9 |
| 11 | 120 | 9 |
| 12 | 124 | 9 |
| 13 | 127 | 9 |
| done | 127 | 9 |
| 0 | 9 | 11 |
| 1 | 16 | 11 |
| 2 | 20 | 11 |
| 3 | 22 | 11 |
| done | 22 | 11 |
| 0 | 9 | 11 |
| 1 | 17 | 11 |
| 2 | 22 | 11 |
| 3 | 24 | 11 |
| done | 24 | 11 |
| 0 | 10 | 12 |
| 1 | 14 | 12 |
| 2 | 16 | 12 |
| done | 16 | 12 |
| 0 | 10 | 12 |
| 1 | 15 | 12 |
| 2 | 20 | 12 |
| done | 20 | 12 |
| 0 | 7 | 9 |
| 1 | 15 | 9 |
| 2 | 24 | 9 |
| 3 | 36 | 9 |
| 4 | 53 | 9 |
| 5 | 57 | 9 |
| 6 | 65 | 9 |
| 7 | 80 | 9 |
| 8 | 108 | 9 |
| 9 | 121 | 9 |
| 10 | 123 | 9 |
| done | 123 | 9 |
| 0 | 6 | 7 |
| 1 | 10 | 7 |
| 2 | 14 | 7 |
| done | 14 | 7 |
| 0 | 7 | 8 |
| 1 | 15 | 8 |
| 2 | 22 | 8 |
| 3 | 29 | 8 |
| 4 | 33 | 7 |
| 5 | 34 | 7 |
| done | 34 | 7 |
| 0 | 8 | 9 |
| 1 | 13 | 9 |
| 2 | 16 | 9 |
| done | 16 | 9 |
| 0 | 7 | 8 |
| 1 | 16 | 8 |
| 2 | 22 | 8 |
| 3 | 25 | 8 |
| done | 25 | 8 |
| 0 | 7 | 8 |
| 1 | 13 | 8 |
| 2 | 20 | 8 |
| 3 | 24 | 8 |
| 4 | 27 | 8 |
| 5 | 33 | 8 |
| 6 | 37 | 8 |
| 7 | 53 | 8 |
| 8 | 57 | 8 |
| 9 | 64 | 8 |
| 10 | 73 | 8 |
| 11 | 93 | 8 |
| 12 | 114 | 8 |
| 13 | 127 | 8 |
| 14 | 134 | 8 |
| 15 | 140 | 8 |
| 16 | 143 | 8 |
| done | 143 | 8 |
| 0 | 10 | 23 |
| 1 | 22 | 23 |
| 2 | 83 | 11 |
| 3 | 258 | 9 |
| 4 | 752 | 9 |
| 5 | 2785 | 9 |
| done | 5000 | 9 |
| 0 | 8 | 17 |
| 1 | 14 | 17 |
| 2 | 18 | 17 |
| 3 | 20 | 17 |
| done | 20 | 17 |
| 0 | 7 | 8 |
| 1 | 13 | 8 |
| 2 | 17 | 8 |
| 3 | 19 | 8 |
| done | 19 | 8 |
| 0 | 8 | 23 |
| 1 | 21 | 23 |
| 2 | 53 | 9 |
| 3 | 185 | 9 |
| 4 | 609 | 9 |
| 5 | 1954 | 9 |
| done | 5000 | 9 |
| 0 | 7 | 8 |
| 1 | 13 | 8 |
| 2 | 17 | 8 |
| 3 | 19 | 8 |
| done | 19 | 8 |
| 0 | 7 | 8 |
| 1 | 13 | 8 |
| 2 | 17 | 8 |
| 3 | 19 | 8 |
| done | 19 | 8 |
| 0 | 4 | 4 |
| 1 | 6 | 4 |
| 2 | 10 | 4 |
| 3 | 12 | 4 |
| 4 | 13 | 3 |
| done | 13 | 3 |
| 0 | 4 | 4 |
| 1 | 6 | 4 |
| 2 | 10 | 4 |
| 3 | 12 | 4 |
| 4 | 13 | 3 |
| done | 13 | 3 |
| 0 | 5 | 5 |
| 1 | 7 | 5 |
| 2 | 8 | 5 |
| done | 8 | 5 |
| 0 | 4 | 5 |
| 1 | 6 | 5 |
| 2 | 7 | 5 |
| done | 7 | 5 |
| 0 | 10 | 19 |
| 1 | 19 | 19 |
| 2 | 30 | 19 |
| 3 | 36 | 19 |
| done | 36 | 19 |
| 0 | 8 | 9 |
| 1 | 11 | 9 |
| 2 | 13 | 9 |
| done | 13 | 9 |
| 0 | 9 | 14 |
| 1 | 14 | 14 |
| 2 | 18 | 14 |
| 3 | 19 | 14 |
| done | 19 | 14 |
| 0 | 8 | 9 |
| 1 | 11 | 9 |
| 2 | 13 | 9 |
| done | 13 | 9 |
| 0 | 7 | 11 |
| 1 | 13 | 9 |
| 2 | 20 | 9 |
| 3 | 25 | 9 |
| done | 25 | 9 |
| 0 | 7 | 8 |
| 1 | 10 | 8 |
| 2 | 12 | 8 |
| done | 12 | 8 |
| 0 | 10 | 15 |
| 1 | 15 | 15 |
| 2 | 18 | 15 |
| 3 | 19 | 15 |
| done | 19 | 15 |
| 0 | 9 | 10 |
| 1 | 13 | 10 |
| 2 | 15 | 10 |
| done | 15 | 10 |
| 0 | 7 | 11 |
| 1 | 13 | 9 |
| 2 | 20 | 9 |
| 3 | 25 | 9 |
| done | 25 | 9 |
| 0 | 7 | 8 |
| 1 | 10 | 8 |
| 2 | 12 | 8 |
| done | 12 | 8 |
| 0 | 9 | 14 |
| 1 | 14 | 14 |
| 2 | 16 | 14 |
| done | 16 | 14 |
| 0 | 8 | 9 |
| 1 | 11 | 9 |
| 2 | 13 | 9 |
| done | 13 | 9 |
| 0 | 8 | 9 |
| 1 | 11 | 9 |
| 2 | 13 | 9 |
| done | 13 | 9 |
| 0 | 8 | 9 |
| 1 | 11 | 9 |
| 2 | 13 | 9 |
| done | 13 | 9 |
| 0 | 6 | 6 |
| 1 | 10 | 4 |
| 2 | 13 | 4 |
| done | 13 | 4 |
| 0 | 7 | 8 |
| 1 | 10 | 8 |
| 2 | 12 | 8 |
| done | 12 | 8 |
| 0 | 9 | 10 |
| 1 | 12 | 10 |
| 2 | 13 | 10 |
| done | 13 | 10 |
| 0 | 9 | 10 |
| 1 | 13 | 10 |
| 2 | 15 | 10 |
| done | 15 | 10 |
| 0 | 6 | 6 |
| 1 | 10 | 4 |
| 2 | 13 | 4 |
| done | 13 | 4 |
| 0 | 7 | 8 |
| 1 | 10 | 8 |
| 2 | 12 | 8 |
| done | 12 | 8 |
| 0 | 7 | 11 |
| 1 | 13 | 11 |
| 2 | 14 | 11 |
| done | 14 | 11 |
| 0 | 7 | 8 |
| 1 | 13 | 8 |
| 2 | 17 | 8 |
| 3 | 19 | 8 |
| done | 19 | 8 |
| 0 | 6 | 6 |
| 1 | 10 | 6 |
| 2 | 11 | 6 |
| done | 11 | 6 |
| 0 | 7 | 8 |
| 1 | 13 | 8 |
| 2 | 17 | 8 |
| 3 | 19 | 8 |
| done | 19 | 8 |
| 0 | 2 | 3 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 6 | 7 |
| 1 | 12 | 7 |
| 2 | 16 | 7 |
| 3 | 18 | 7 |
| done | 18 | 7 |
| 0 | 7 | 7 |
| 1 | 10 | 7 |
| done | 10 | 7 |
| 0 | 8 | 9 |
| 1 | 15 | 9 |
| 2 | 19 | 9 |
| 3 | 21 | 9 |
| done | 21 | 9 |
| 0 | 2 | 3 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 6 | 7 |
| 1 | 12 | 7 |
| 2 | 16 | 7 |
| 3 | 18 | 7 |
| done | 18 | 7 |
| 0 | 10 | 15 |
| 1 | 15 | 15 |
| 2 | 16 | 15 |
| done | 16 | 15 |
| 0 | 9 | 10 |
| 1 | 16 | 10 |
| 2 | 20 | 10 |
| 3 | 22 | 10 |
| done | 22 | 10 |
| 0 | 9 | 10 |
| 1 | 12 | 10 |
| 2 | 13 | 10 |
| done | 13 | 10 |
| 0 | 9 | 10 |
| 1 | 16 | 10 |
| 2 | 20 | 10 |
| 3 | 22 | 10 |
| done | 22 | 10 |
| 0 | 7 | 7 |
| 1 | 10 | 5 |
| 2 | 12 | 5 |
| done | 12 | 5 |
| 0 | 8 | 9 |
| 1 | 15 | 9 |
| 2 | 19 | 9 |
| 3 | 21 | 9 |
| done | 21 | 9 |
| 0 | 9 | 11 |
| 1 | 11 | 11 |
| done | 11 | 11 |
| 0 | 9 | 11 |
| 1 | 15 | 11 |
| 2 | 19 | 11 |
| 3 | 21 | 11 |
| done | 21 | 11 |
| 0 | 7 | 7 |
| 1 | 10 | 5 |
| 2 | 12 | 5 |
| done | 12 | 5 |
| 0 | 8 | 9 |
| 1 | 15 | 9 |
| 2 | 19 | 9 |
| 3 | 21 | 9 |
| done | 21 | 9 |
| 0 | 7 | 11 |
| 1 | 13 | 11 |
| 2 | 14 | 11 |
| done | 14 | 11 |
| 0 | 7 | 8 |
| 1 | 13 | 8 |
| 2 | 17 | 8 |
| 3 | 19 | 8 |
| done | 19 | 8 |
| 0 | 6 | 6 |
| 1 | 10 | 6 |
| 2 | 11 | 6 |
| done | 11 | 6 |
| 0 | 7 | 8 |
| 1 | 13 | 8 |
| 2 | 17 | 8 |
| 3 | 19 | 8 |
| done | 19 | 8 |
| 0 | 2 | 3 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 6 | 7 |
| 1 | 12 | 7 |
| 2 | 16 | 7 |
| 3 | 18 | 7 |
| done | 18 | 7 |
| 0 | 7 | 7 |
| 1 | 10 | 7 |
| done | 10 | 7 |
| 0 | 8 | 9 |
| 1 | 15 | 9 |
| 2 | 19 | 9 |
| 3 | 21 | 9 |
| done | 21 | 9 |
| 0 | 2 | 3 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 6 | 7 |
| 1 | 12 | 7 |
| 2 | 16 | 7 |
| 3 | 18 | 7 |
| done | 18 | 7 |
| 0 | 5 | 5 |
| 1 | 9 | 5 |
| 2 | 10 | 5 |
| done | 10 | 5 |
| 0 | 6 | 7 |
| 1 | 12 | 7 |
| 2 | 16 | 7 |
| 3 | 18 | 7 |
| done | 18 | 7 |
| 0 | 8 | 13 |
| 1 | 16 | 13 |
| 2 | 25 | 13 |
| 3 | 30 | 13 |
| 4 | 33 | 13 |
| done | 33 | 13 |
| 0 | 7 | 8 |
| 1 | 13 | 8 |
| 2 | 17 | 8 |
| 3 | 19 | 8 |
| done | 19 | 8 |
| 0 | 5 | 5 |
| 1 | 12 | 3 |
| 2 | 17 | 3 |
| done | 17 | 3 |
| 0 | 8 | 9 |
| 1 | 14 | 9 |
| 2 | 17 | 9 |
| 3 | 19 | 9 |
| done | 19 | 9 |
| 0 | 5 | 5 |
| 1 | 12 | 3 |
| 2 | 17 | 3 |
| done | 17 | 3 |
| 0 | 7 | 8 |
| 1 | 13 | 8 |
| 2 | 17 | 8 |
| 3 | 19 | 8 |
| done | 19 | 8 |
| 0 | 7 | 8 |
| 1 | 13 | 8 |
| 2 | 17 | 8 |
| 3 | 19 | 8 |
| done | 19 | 8 |
| 0 | 6 | 7 |
| 1 | 12 | 7 |
| 2 | 16 | 7 |
| 3 | 18 | 7 |
| done | 18 | 7 |
| 0 | 8 | 9 |
| 1 | 15 | 9 |
| 2 | 19 | 9 |
| 3 | 21 | 9 |
| done | 21 | 9 |
| 0 | 6 | 7 |
| 1 | 12 | 7 |
| 2 | 16 | 7 |
| 3 | 18 | 7 |
| done | 18 | 7 |
| 0 | 9 | 11 |
| 1 | 29 | 11 |
| 2 | 53 | 11 |
| 3 | 95 | 11 |
| 4 | 200 | 11 |
| 5 | 580 | 11 |
| 6 | 2464 | 11 |
| done | 5000 | 11 |
| 0 | 8 | 11 |
| 1 | 18 | 11 |
| 2 | 33 | 11 |
| 3 | 59 | 11 |
| 4 | 92 | 11 |
| 5 | 135 | 11 |
| 6 | 200 | 11 |
| 7 | 368 | 11 |
| 8 | 1645 | 11 |
| done | 5000 | 11 |
| 0 | 10 | 15 |
| 1 | 26 | 13 |
| 2 | 74 | 13 |
| 3 | 211 | 13 |
| 4 | 488 | 13 |
| 5 | 1206 | 13 |
| 6 | 2670 | 13 |
| done | 5000 | 13 |
| 0 | 6 | 7 |
| 1 | 16 | 7 |
| 2 | 36 | 7 |
| 3 | 61 | 7 |
| 4 | 104 | 7 |
| 5 | 160 | 7 |
| 6 | 246 | 7 |
| 7 | 442 | 7 |
| 8 | 752 | 7 |
| 9 | 865 | 7 |
| 10 | 882 | 7 |
| done | 882 | 7 |
| 0 | 8 | 10 |
| 1 | 15 | 10 |
| 2 | 30 | 8 |
| 3 | 38 | 8 |
| 4 | 45 | 8 |
| 5 | 56 | 8 |
| 6 | 79 | 8 |
| 7 | 111 | 8 |
| 8 | 143 | 8 |
| 9 | 150 | 8 |
| 10 | 175 | 8 |
| 11 | 198 | 8 |
| 12 | 199 | 8 |
| done | 199 | 8 |
| 0 | 15 | 24 |
| 1 | 39 | 21 |
| 2 | 89 | 13 |
| 3 | 313 | 13 |
| 4 | 583 | 13 |
| 5 | 986 | 13 |
| 6 | 1359 | 13 |
| 7 | 1401 | 13 |
| 8 | 1431 | 13 |
| 9 | 1706 | 13 |
| 10 | 3797 | 13 |
| done | 5000 | 13 |
| 0 | 18 | 24 |
| 1 | 41 | 23 |
| 2 | 99 | 17 |
| 3 | 356 | 17 |
| 4 | 1373 | 17 |
| 5 | 4053 | 13 |
| done | 5001 | 13 |
| 0 | 7 | 9 |
| 1 | 14 | 9 |
| 2 | 30 | 9 |
| 3 | 52 | 7 |
| 4 | 80 | 7 |
| 5 | 109 | 7 |
| 6 | 141 | 7 |
| 7 | 196 | 7 |
| 8 | 225 | 7 |
| 9 | 262 | 7 |
| 10 | 349 | 7 |
| 11 | 501 | 7 |
| 12 | 859 | 7 |
| 13 | 989 | 7 |
| done | 989 | 7 |
| 0 | 13 | 17 |
| 1 | 30 | 17 |
| 2 | 67 | 15 |
| 3 | 143 | 13 |
| 4 | 332 | 13 |
| 5 | 1084 | 13 |
| done | 5000 | 13 |
| 0 | 13 | 17 |
| 1 | 30 | 17 |
| 2 | 67 | 15 |
| 3 | 143 | 13 |
| 4 | 332 | 13 |
| 5 | 1084 | 13 |
| done | 5000 | 13 |
| 0 | 9 | 13 |
| 1 | 21 | 11 |
| 2 | 46 | 9 |
| 3 | 81 | 9 |
| 4 | 119 | 9 |
| 5 | 182 | 9 |
| 6 | 260 | 9 |
| 7 | 449 | 9 |
| 8 | 761 | 9 |
| 9 | 1454 | 9 |
| 10 | 1950 | 9 |
| 11 | 2010 | 9 |
| done | 2010 | 9 |
| 0 | 9 | 11 |
| 1 | 19 | 11 |
| 2 | 31 | 9 |
| 3 | 38 | 9 |
| 4 | 51 | 9 |
| 5 | 63 | 9 |
| 6 | 84 | 9 |
| 7 | 135 | 9 |
| 8 | 245 | 9 |
| 9 | 277 | 9 |
| 10 | 307 | 9 |
| 11 | 327 | 9 |
| 12 | 330 | 9 |
| done | 330 | 9 |
| 0 | 9 | 11 |
| 1 | 19 | 11 |
| 2 | 31 | 9 |
| 3 | 38 | 9 |
| 4 | 51 | 9 |
| 5 | 63 | 9 |
| 6 | 84 | 9 |
| 7 | 135 | 9 |
| 8 | 245 | 9 |
| 9 | 277 | 9 |
| 10 | 307 | 9 |
| 11 | 327 | 9 |
| 12 | 330 | 9 |
| done | 330 | 9 |
3 alts after pruning (3 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 91 | 3 | 94 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 92 | 3 | 95 |
Merged error: 0b
Found 4 expressions with local error:
| 0.0b | (/ 1 (- 1.0 y)) |
| 0.1b | (* (- x y) (/ 1 (- 1.0 y))) |
| 4.1b | (log (- 1.0 (* (- x y) (/ 1 (- 1.0 y))))) |
| 5.1b | (- 1.0 (* (- x y) (/ 1 (- 1.0 y)))) |
| 48× | add-sqr-sqrt |
| 42× | *-un-lft-identity |
| 32× | times-frac |
| 25× | add-cube-cbrt |
| 21× | associate-*r* |
| 18× | add-exp-log |
| 11× | add-cbrt-cube |
| 8× | pow1 distribute-lft-out-- difference-of-squares |
| 6× | flip3-- flip-- add-log-exp |
| 5× | associate-*l* associate-/r* |
| 4× | div-exp prod-exp associate-/r/ |
| 3× | log-prod associate-/l* unswap-sqr |
| 2× | cbrt-undiv frac-times log-div rec-exp 1-exp associate-*l/ cbrt-unprod div-inv |
| 1× | sub-neg pow-flip frac-2neg diff-log associate-*r/ rem-log-exp pow-prod-down clear-num log-pow un-div-inv *-commutative inv-pow |
| 6.0ms | (/ 1 (- 1.0 y)) |
| 16.0ms | (* (- x y) (/ 1 (- 1.0 y))) |
| 3.0ms | (log (- 1.0 (* (- x y) (/ 1 (- 1.0 y))))) |
| 4.0ms | (- 1.0 (* (- x y) (/ 1 (- 1.0 y)))) |
| 3.0ms | (/ 1 (- 1.0 y)) |
| 7.0ms | (* (- x y) (/ 1 (- 1.0 y))) |
| 15.0ms | (log (- 1.0 (* (- x y) (/ 1 (- 1.0 y))))) |
| 15.0ms | (- 1.0 (* (- x y) (/ 1 (- 1.0 y)))) |
Useful iterations: 1 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 11 | 13 |
| 1 | 23 | 12 |
| 2 | 47 | 10 |
| 3 | 121 | 10 |
| 4 | 313 | 10 |
| 5 | 668 | 10 |
| 6 | 1636 | 10 |
| done | 5000 | 10 |
| 0 | 10 | 12 |
| 1 | 20 | 12 |
| 2 | 40 | 10 |
| 3 | 111 | 10 |
| 4 | 263 | 10 |
| 5 | 370 | 10 |
| 6 | 460 | 10 |
| 7 | 554 | 10 |
| 8 | 754 | 10 |
| 9 | 1103 | 10 |
| 10 | 1652 | 10 |
| 11 | 2284 | 10 |
| 12 | 2786 | 10 |
| 13 | 3212 | 10 |
| 14 | 3276 | 10 |
| 15 | 3286 | 10 |
| 16 | 3303 | 10 |
| 17 | 3324 | 10 |
| 18 | 3406 | 10 |
| 19 | 3697 | 10 |
| 20 | 4831 | 10 |
| done | 5000 | 10 |
| 0 | 10 | 12 |
| 1 | 23 | 12 |
| 2 | 49 | 10 |
| 3 | 147 | 10 |
| 4 | 379 | 10 |
| 5 | 742 | 10 |
| 6 | 1681 | 10 |
| done | 5000 | 10 |
| 0 | 11 | 25 |
| 1 | 21 | 25 |
| 2 | 41 | 21 |
| 3 | 112 | 21 |
| 4 | 264 | 21 |
| 5 | 371 | 21 |
| 6 | 461 | 21 |
| 7 | 555 | 21 |
| 8 | 759 | 21 |
| 9 | 1111 | 21 |
| 10 | 1663 | 21 |
| 11 | 2267 | 21 |
| 12 | 2793 | 21 |
| 13 | 3127 | 21 |
| 14 | 3182 | 21 |
| done | 3182 | 21 |
| 0 | 10 | 12 |
| 1 | 20 | 12 |
| 2 | 40 | 10 |
| 3 | 111 | 10 |
| 4 | 263 | 10 |
| 5 | 370 | 10 |
| 6 | 460 | 10 |
| 7 | 554 | 10 |
| 8 | 754 | 10 |
| 9 | 1103 | 10 |
| 10 | 1652 | 10 |
| 11 | 2284 | 10 |
| 12 | 2786 | 10 |
| 13 | 3212 | 10 |
| 14 | 3271 | 10 |
| done | 3271 | 10 |
| 0 | 11 | 35 |
| 1 | 22 | 35 |
| 2 | 56 | 11 |
| 3 | 206 | 11 |
| 4 | 980 | 11 |
| done | 5000 | 11 |
| 0 | 10 | 12 |
| 1 | 20 | 12 |
| 2 | 40 | 10 |
| 3 | 111 | 10 |
| 4 | 263 | 10 |
| 5 | 370 | 10 |
| 6 | 460 | 10 |
| 7 | 554 | 10 |
| 8 | 754 | 10 |
| 9 | 1103 | 10 |
| 10 | 1652 | 10 |
| 11 | 2284 | 10 |
| 12 | 2786 | 10 |
| 13 | 3212 | 10 |
| 14 | 3271 | 10 |
| done | 3271 | 10 |
| 0 | 10 | 12 |
| 1 | 20 | 12 |
| 2 | 40 | 10 |
| 3 | 111 | 10 |
| 4 | 263 | 10 |
| 5 | 370 | 10 |
| 6 | 460 | 10 |
| 7 | 554 | 10 |
| 8 | 754 | 10 |
| 9 | 1103 | 10 |
| 10 | 1652 | 10 |
| 11 | 2284 | 10 |
| 12 | 2786 | 10 |
| 13 | 3212 | 10 |
| 14 | 3271 | 10 |
| done | 3271 | 10 |
| 0 | 12 | 15 |
| 1 | 38 | 15 |
| 2 | 116 | 13 |
| 3 | 504 | 13 |
| 4 | 2410 | 13 |
| done | 5001 | 13 |
| 0 | 13 | 35 |
| 1 | 37 | 25 |
| 2 | 123 | 21 |
| 3 | 388 | 21 |
| 4 | 1231 | 21 |
| 5 | 2914 | 21 |
| done | 5001 | 21 |
| 0 | 9 | 10 |
| 1 | 21 | 10 |
| 2 | 44 | 8 |
| 3 | 113 | 8 |
| 4 | 250 | 7 |
| 5 | 355 | 7 |
| 6 | 441 | 7 |
| 7 | 525 | 7 |
| 8 | 703 | 7 |
| 9 | 1076 | 7 |
| 10 | 1682 | 7 |
| 11 | 2281 | 7 |
| 12 | 2793 | 7 |
| 13 | 3127 | 7 |
| 14 | 3172 | 7 |
| done | 3172 | 7 |
| 0 | 11 | 23 |
| 1 | 31 | 23 |
| 2 | 100 | 19 |
| 3 | 391 | 19 |
| 4 | 1373 | 19 |
| 5 | 3631 | 19 |
| done | 5001 | 19 |
| 0 | 9 | 11 |
| 1 | 18 | 11 |
| 2 | 29 | 9 |
| 3 | 71 | 9 |
| 4 | 126 | 9 |
| 5 | 170 | 9 |
| 6 | 214 | 9 |
| 7 | 264 | 9 |
| 8 | 400 | 9 |
| 9 | 622 | 9 |
| 10 | 1090 | 9 |
| 11 | 1761 | 9 |
| 12 | 2276 | 9 |
| 13 | 2656 | 9 |
| 14 | 2738 | 9 |
| done | 2738 | 9 |
| 0 | 9 | 10 |
| 1 | 21 | 10 |
| 2 | 44 | 8 |
| 3 | 113 | 8 |
| 4 | 250 | 7 |
| 5 | 355 | 7 |
| 6 | 441 | 7 |
| 7 | 525 | 7 |
| 8 | 703 | 7 |
| 9 | 1076 | 7 |
| 10 | 1682 | 7 |
| 11 | 2281 | 7 |
| 12 | 2793 | 7 |
| 13 | 3127 | 7 |
| 14 | 3172 | 7 |
| done | 3172 | 7 |
| 0 | 12 | 26 |
| 1 | 24 | 26 |
| 2 | 46 | 13 |
| 3 | 118 | 13 |
| 4 | 270 | 13 |
| 5 | 377 | 13 |
| 6 | 467 | 13 |
| 7 | 560 | 13 |
| 8 | 761 | 13 |
| 9 | 1114 | 13 |
| 10 | 1663 | 13 |
| 11 | 2280 | 13 |
| 12 | 2793 | 13 |
| 13 | 3122 | 13 |
| 14 | 3173 | 13 |
| done | 3173 | 13 |
| 0 | 11 | 13 |
| 1 | 21 | 13 |
| 2 | 41 | 11 |
| 3 | 112 | 11 |
| 4 | 264 | 11 |
| 5 | 371 | 11 |
| 6 | 461 | 11 |
| 7 | 555 | 11 |
| 8 | 759 | 11 |
| 9 | 1111 | 11 |
| 10 | 1663 | 11 |
| 11 | 2267 | 11 |
| 12 | 2793 | 11 |
| 13 | 3127 | 11 |
| 14 | 3182 | 11 |
| done | 3182 | 11 |
| 0 | 11 | 13 |
| 1 | 21 | 13 |
| 2 | 41 | 11 |
| 3 | 112 | 11 |
| 4 | 264 | 11 |
| 5 | 371 | 11 |
| 6 | 461 | 11 |
| 7 | 555 | 11 |
| 8 | 759 | 11 |
| 9 | 1111 | 11 |
| 10 | 1663 | 11 |
| 11 | 2267 | 11 |
| 12 | 2793 | 11 |
| 13 | 3127 | 11 |
| 14 | 3182 | 11 |
| done | 3182 | 11 |
| 0 | 11 | 13 |
| 1 | 21 | 13 |
| 2 | 41 | 11 |
| 3 | 112 | 11 |
| 4 | 264 | 11 |
| 5 | 371 | 11 |
| 6 | 461 | 11 |
| 7 | 555 | 11 |
| 8 | 759 | 11 |
| 9 | 1111 | 11 |
| 10 | 1663 | 11 |
| 11 | 2267 | 11 |
| 12 | 2793 | 11 |
| 13 | 3127 | 11 |
| 14 | 3182 | 11 |
| done | 3182 | 11 |
| 0 | 2 | 2 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 10 | 12 |
| 1 | 20 | 12 |
| 2 | 40 | 10 |
| 3 | 111 | 10 |
| 4 | 263 | 10 |
| 5 | 370 | 10 |
| 6 | 460 | 10 |
| 7 | 554 | 10 |
| 8 | 754 | 10 |
| 9 | 1103 | 10 |
| 10 | 1652 | 10 |
| 11 | 2284 | 10 |
| 12 | 2786 | 10 |
| 13 | 3212 | 10 |
| 14 | 3276 | 10 |
| 15 | 3286 | 10 |
| 16 | 3303 | 10 |
| 17 | 3324 | 10 |
| 18 | 3406 | 10 |
| 19 | 3697 | 10 |
| 20 | 4831 | 10 |
| done | 5000 | 10 |
| 0 | 13 | 16 |
| 1 | 39 | 16 |
| 2 | 117 | 14 |
| 3 | 509 | 14 |
| 4 | 2437 | 14 |
| done | 5000 | 14 |
| 0 | 14 | 36 |
| 1 | 38 | 26 |
| 2 | 124 | 22 |
| 3 | 391 | 22 |
| 4 | 1232 | 22 |
| 5 | 2903 | 22 |
| done | 5000 | 22 |
| 0 | 12 | 24 |
| 1 | 32 | 24 |
| 2 | 104 | 20 |
| 3 | 396 | 20 |
| 4 | 1377 | 20 |
| 5 | 3665 | 20 |
| done | 5000 | 20 |
| 0 | 10 | 12 |
| 1 | 19 | 12 |
| 2 | 30 | 10 |
| 3 | 72 | 10 |
| 4 | 129 | 10 |
| 5 | 173 | 10 |
| 6 | 217 | 10 |
| 7 | 267 | 10 |
| 8 | 403 | 10 |
| 9 | 627 | 10 |
| 10 | 1098 | 10 |
| 11 | 1753 | 10 |
| 12 | 2292 | 10 |
| 13 | 2674 | 10 |
| 14 | 2761 | 10 |
| 15 | 2771 | 10 |
| 16 | 2788 | 10 |
| 17 | 2809 | 10 |
| 18 | 2893 | 10 |
| 19 | 3203 | 10 |
| done | 5000 | 10 |
| 0 | 10 | 12 |
| 1 | 20 | 12 |
| 2 | 40 | 10 |
| 3 | 111 | 10 |
| 4 | 263 | 10 |
| 5 | 370 | 10 |
| 6 | 460 | 10 |
| 7 | 554 | 10 |
| 8 | 754 | 10 |
| 9 | 1103 | 10 |
| 10 | 1652 | 10 |
| 11 | 2284 | 10 |
| 12 | 2786 | 10 |
| 13 | 3212 | 10 |
| 14 | 3276 | 10 |
| 15 | 3286 | 10 |
| 16 | 3303 | 10 |
| 17 | 3324 | 10 |
| 18 | 3406 | 10 |
| 19 | 3697 | 10 |
| 20 | 4831 | 10 |
| done | 5000 | 10 |
| 0 | 11 | 13 |
| 1 | 21 | 13 |
| 2 | 41 | 11 |
| 3 | 112 | 11 |
| 4 | 264 | 11 |
| 5 | 371 | 11 |
| 6 | 461 | 11 |
| 7 | 555 | 11 |
| 8 | 759 | 11 |
| 9 | 1111 | 11 |
| 10 | 1663 | 11 |
| 11 | 2267 | 11 |
| 12 | 2793 | 11 |
| 13 | 3127 | 11 |
| 14 | 3187 | 11 |
| 15 | 3197 | 11 |
| 16 | 3214 | 11 |
| 17 | 3236 | 11 |
| 18 | 3312 | 11 |
| 19 | 3566 | 11 |
| 20 | 4705 | 11 |
| done | 5001 | 11 |
| 0 | 11 | 13 |
| 1 | 21 | 11 |
| 2 | 41 | 9 |
| 3 | 112 | 9 |
| 4 | 264 | 9 |
| 5 | 371 | 9 |
| 6 | 461 | 9 |
| 7 | 555 | 9 |
| 8 | 759 | 9 |
| 9 | 1103 | 9 |
| 10 | 1652 | 9 |
| 11 | 2240 | 9 |
| 12 | 2754 | 9 |
| 13 | 3086 | 9 |
| 14 | 3145 | 9 |
| 15 | 3158 | 9 |
| 16 | 3188 | 9 |
| 17 | 3216 | 9 |
| 18 | 3390 | 9 |
| 19 | 3892 | 9 |
| done | 5000 | 9 |
| 0 | 12 | 27 |
| 1 | 22 | 27 |
| 2 | 42 | 23 |
| 3 | 113 | 23 |
| 4 | 265 | 23 |
| 5 | 367 | 23 |
| 6 | 457 | 23 |
| 7 | 548 | 23 |
| 8 | 747 | 23 |
| 9 | 1098 | 23 |
| 10 | 1643 | 23 |
| 11 | 2275 | 23 |
| 12 | 2779 | 23 |
| 13 | 3090 | 23 |
| 14 | 3146 | 23 |
| 15 | 3156 | 23 |
| 16 | 3173 | 23 |
| 17 | 3200 | 23 |
| 18 | 3276 | 23 |
| 19 | 3584 | 23 |
| 20 | 4930 | 23 |
| done | 5000 | 23 |
| 0 | 11 | 13 |
| 1 | 21 | 13 |
| 2 | 41 | 11 |
| 3 | 112 | 11 |
| 4 | 264 | 11 |
| 5 | 371 | 11 |
| 6 | 461 | 11 |
| 7 | 555 | 11 |
| 8 | 759 | 11 |
| 9 | 1111 | 11 |
| 10 | 1663 | 11 |
| 11 | 2267 | 11 |
| 12 | 2793 | 11 |
| 13 | 3127 | 11 |
| 14 | 3187 | 11 |
| 15 | 3197 | 11 |
| 16 | 3214 | 11 |
| 17 | 3236 | 11 |
| 18 | 3312 | 11 |
| 19 | 3566 | 11 |
| 20 | 4705 | 11 |
| done | 5001 | 11 |
| 0 | 12 | 38 |
| 1 | 23 | 38 |
| 2 | 45 | 12 |
| 3 | 121 | 12 |
| 4 | 279 | 12 |
| 5 | 394 | 12 |
| 6 | 505 | 12 |
| 7 | 659 | 12 |
| 8 | 1074 | 12 |
| 9 | 2322 | 12 |
| done | 5001 | 12 |
| 0 | 11 | 13 |
| 1 | 21 | 13 |
| 2 | 41 | 11 |
| 3 | 112 | 11 |
| 4 | 264 | 11 |
| 5 | 371 | 11 |
| 6 | 461 | 11 |
| 7 | 555 | 11 |
| 8 | 759 | 11 |
| 9 | 1111 | 11 |
| 10 | 1663 | 11 |
| 11 | 2267 | 11 |
| 12 | 2793 | 11 |
| 13 | 3127 | 11 |
| 14 | 3187 | 11 |
| 15 | 3197 | 11 |
| 16 | 3214 | 11 |
| 17 | 3236 | 11 |
| 18 | 3312 | 11 |
| 19 | 3566 | 11 |
| 20 | 4705 | 11 |
| done | 5001 | 11 |
| 0 | 11 | 13 |
| 1 | 21 | 13 |
| 2 | 41 | 11 |
| 3 | 112 | 11 |
| 4 | 264 | 11 |
| 5 | 371 | 11 |
| 6 | 461 | 11 |
| 7 | 555 | 11 |
| 8 | 759 | 11 |
| 9 | 1111 | 11 |
| 10 | 1663 | 11 |
| 11 | 2267 | 11 |
| 12 | 2793 | 11 |
| 13 | 3127 | 11 |
| 14 | 3187 | 11 |
| 15 | 3197 | 11 |
| 16 | 3214 | 11 |
| 17 | 3236 | 11 |
| 18 | 3312 | 11 |
| 19 | 3566 | 11 |
| 20 | 4705 | 11 |
| done | 5001 | 11 |
| 0 | 8 | 9 |
| 1 | 16 | 9 |
| 2 | 27 | 7 |
| 3 | 65 | 7 |
| 4 | 112 | 7 |
| 5 | 150 | 7 |
| 6 | 187 | 7 |
| 7 | 222 | 7 |
| 8 | 308 | 7 |
| 9 | 460 | 7 |
| 10 | 720 | 7 |
| 11 | 1125 | 7 |
| 12 | 1621 | 7 |
| 13 | 2185 | 7 |
| 14 | 2412 | 7 |
| 15 | 2460 | 7 |
| done | 2460 | 7 |
| 0 | 9 | 10 |
| 1 | 14 | 9 |
| 2 | 16 | 9 |
| done | 16 | 9 |
| 0 | 10 | 11 |
| 1 | 18 | 10 |
| 2 | 30 | 9 |
| 3 | 39 | 9 |
| 4 | 57 | 9 |
| 5 | 83 | 9 |
| 6 | 88 | 9 |
| 7 | 97 | 9 |
| 8 | 113 | 9 |
| done | 113 | 9 |
| 0 | 11 | 12 |
| 1 | 21 | 11 |
| 2 | 30 | 9 |
| 3 | 47 | 9 |
| 4 | 65 | 9 |
| 5 | 90 | 9 |
| 6 | 95 | 9 |
| 7 | 104 | 9 |
| 8 | 116 | 9 |
| done | 116 | 9 |
| 0 | 10 | 11 |
| 1 | 20 | 10 |
| 2 | 28 | 9 |
| 3 | 39 | 9 |
| 4 | 51 | 9 |
| 5 | 83 | 9 |
| 6 | 105 | 9 |
| 7 | 112 | 9 |
| 8 | 120 | 9 |
| done | 120 | 9 |
| 0 | 9 | 10 |
| 1 | 20 | 10 |
| 2 | 37 | 8 |
| 3 | 81 | 8 |
| 4 | 146 | 8 |
| 5 | 199 | 8 |
| 6 | 269 | 8 |
| 7 | 309 | 8 |
| 8 | 421 | 8 |
| 9 | 567 | 8 |
| 10 | 878 | 8 |
| 11 | 1417 | 8 |
| 12 | 2013 | 8 |
| 13 | 2555 | 8 |
| 14 | 3117 | 8 |
| 15 | 4746 | 8 |
| done | 5001 | 8 |
| 0 | 9 | 10 |
| 1 | 19 | 10 |
| 2 | 41 | 8 |
| 3 | 97 | 8 |
| 4 | 213 | 8 |
| 5 | 404 | 8 |
| 6 | 946 | 8 |
| 7 | 3313 | 8 |
| done | 5000 | 8 |
| 0 | 14 | 29 |
| 1 | 33 | 25 |
| 2 | 105 | 11 |
| 3 | 409 | 11 |
| 4 | 1421 | 11 |
| done | 5000 | 11 |
| 0 | 12 | 29 |
| 1 | 30 | 29 |
| 2 | 93 | 13 |
| 3 | 315 | 13 |
| 4 | 1134 | 9 |
| 5 | 4578 | 9 |
| done | 5000 | 9 |
| 0 | 10 | 21 |
| 1 | 18 | 21 |
| 2 | 29 | 17 |
| 3 | 67 | 17 |
| 4 | 114 | 17 |
| 5 | 152 | 17 |
| 6 | 189 | 17 |
| 7 | 224 | 17 |
| 8 | 312 | 17 |
| 9 | 460 | 17 |
| 10 | 721 | 17 |
| 11 | 1114 | 17 |
| 12 | 1593 | 17 |
| 13 | 2165 | 17 |
| 14 | 2374 | 17 |
| 15 | 2427 | 17 |
| done | 2427 | 17 |
| 0 | 9 | 10 |
| 1 | 17 | 10 |
| 2 | 28 | 8 |
| 3 | 66 | 8 |
| 4 | 113 | 8 |
| 5 | 151 | 8 |
| 6 | 188 | 8 |
| 7 | 223 | 8 |
| 8 | 308 | 8 |
| 9 | 460 | 8 |
| 10 | 730 | 8 |
| 11 | 1119 | 8 |
| 12 | 1591 | 8 |
| 13 | 2212 | 8 |
| 14 | 2433 | 8 |
| 15 | 2486 | 8 |
| done | 2486 | 8 |
| 0 | 10 | 29 |
| 1 | 28 | 29 |
| 2 | 108 | 9 |
| 3 | 470 | 9 |
| 4 | 1676 | 9 |
| 5 | 4835 | 9 |
| done | 5000 | 9 |
| 0 | 9 | 10 |
| 1 | 17 | 10 |
| 2 | 28 | 8 |
| 3 | 66 | 8 |
| 4 | 113 | 8 |
| 5 | 151 | 8 |
| 6 | 188 | 8 |
| 7 | 223 | 8 |
| 8 | 308 | 8 |
| 9 | 460 | 8 |
| 10 | 730 | 8 |
| 11 | 1119 | 8 |
| 12 | 1591 | 8 |
| 13 | 2212 | 8 |
| 14 | 2433 | 8 |
| 15 | 2486 | 8 |
| done | 2486 | 8 |
| 0 | 9 | 10 |
| 1 | 17 | 10 |
| 2 | 28 | 8 |
| 3 | 66 | 8 |
| 4 | 113 | 8 |
| 5 | 151 | 8 |
| 6 | 188 | 8 |
| 7 | 223 | 8 |
| 8 | 308 | 8 |
| 9 | 460 | 8 |
| 10 | 730 | 8 |
| 11 | 1119 | 8 |
| 12 | 1591 | 8 |
| 13 | 2212 | 8 |
| 14 | 2433 | 8 |
| 15 | 2486 | 8 |
| done | 2486 | 8 |
| 0 | 8 | 9 |
| 1 | 26 | 7 |
| 2 | 57 | 7 |
| 3 | 142 | 7 |
| 4 | 376 | 7 |
| 5 | 975 | 7 |
| 6 | 3730 | 7 |
| done | 5001 | 7 |
| 0 | 10 | 15 |
| 1 | 20 | 13 |
| 2 | 49 | 13 |
| 3 | 152 | 13 |
| 4 | 373 | 13 |
| 5 | 965 | 13 |
| 6 | 2117 | 13 |
| 7 | 4421 | 13 |
| done | 5000 | 13 |
| 0 | 7 | 9 |
| 1 | 15 | 7 |
| 2 | 35 | 7 |
| 3 | 92 | 7 |
| 4 | 180 | 7 |
| 5 | 245 | 7 |
| 6 | 340 | 7 |
| 7 | 544 | 7 |
| 8 | 2073 | 7 |
| done | 5001 | 7 |
| 0 | 6 | 7 |
| 1 | 10 | 7 |
| 2 | 25 | 7 |
| 3 | 54 | 7 |
| 4 | 100 | 7 |
| 5 | 149 | 7 |
| 6 | 200 | 7 |
| 7 | 302 | 7 |
| 8 | 512 | 7 |
| 9 | 838 | 7 |
| 10 | 952 | 7 |
| 11 | 960 | 7 |
| done | 960 | 7 |
| 0 | 10 | 11 |
| 1 | 16 | 11 |
| 2 | 18 | 11 |
| done | 18 | 11 |
| 0 | 10 | 11 |
| 1 | 16 | 11 |
| 2 | 18 | 11 |
| done | 18 | 11 |
| 0 | 11 | 12 |
| 1 | 19 | 11 |
| 2 | 24 | 11 |
| 3 | 28 | 9 |
| 4 | 39 | 9 |
| done | 39 | 9 |
| 0 | 11 | 12 |
| 1 | 19 | 11 |
| 2 | 24 | 11 |
| 3 | 28 | 9 |
| 4 | 39 | 9 |
| done | 39 | 9 |
| 0 | 10 | 11 |
| 1 | 18 | 11 |
| 2 | 23 | 9 |
| 3 | 38 | 9 |
| 4 | 41 | 9 |
| done | 41 | 9 |
| 0 | 10 | 11 |
| 1 | 18 | 11 |
| 2 | 23 | 9 |
| 3 | 38 | 9 |
| 4 | 41 | 9 |
| done | 41 | 9 |
| 0 | 10 | 17 |
| 1 | 18 | 17 |
| 2 | 28 | 17 |
| 3 | 45 | 17 |
| 4 | 55 | 17 |
| 5 | 65 | 17 |
| done | 65 | 17 |
| 0 | 9 | 10 |
| 1 | 15 | 10 |
| 2 | 23 | 10 |
| 3 | 28 | 10 |
| 4 | 32 | 10 |
| done | 32 | 10 |
| 0 | 12 | 19 |
| 1 | 26 | 17 |
| 2 | 63 | 15 |
| 3 | 144 | 13 |
| 4 | 258 | 13 |
| 5 | 330 | 13 |
| 6 | 412 | 13 |
| 7 | 443 | 13 |
| 8 | 454 | 13 |
| done | 454 | 13 |
| 0 | 11 | 14 |
| 1 | 21 | 12 |
| 2 | 39 | 10 |
| 3 | 80 | 8 |
| 4 | 146 | 8 |
| 5 | 187 | 8 |
| 6 | 208 | 8 |
| 7 | 210 | 8 |
| 8 | 211 | 8 |
| done | 211 | 8 |
| 0 | 8 | 11 |
| 1 | 17 | 7 |
| 2 | 39 | 5 |
| 3 | 57 | 3 |
| 4 | 72 | 3 |
| 5 | 76 | 3 |
| done | 76 | 3 |
| 0 | 12 | 15 |
| 1 | 22 | 13 |
| 2 | 39 | 11 |
| 3 | 80 | 9 |
| 4 | 146 | 9 |
| 5 | 186 | 9 |
| 6 | 207 | 9 |
| 7 | 209 | 9 |
| 8 | 210 | 9 |
| done | 210 | 9 |
| 0 | 8 | 11 |
| 1 | 17 | 7 |
| 2 | 39 | 5 |
| 3 | 57 | 3 |
| 4 | 72 | 3 |
| 5 | 76 | 3 |
| done | 76 | 3 |
| 0 | 11 | 16 |
| 1 | 21 | 15 |
| 2 | 40 | 15 |
| 3 | 88 | 13 |
| 4 | 196 | 13 |
| 5 | 285 | 13 |
| 6 | 360 | 13 |
| 7 | 388 | 13 |
| 8 | 406 | 13 |
| 9 | 408 | 13 |
| done | 408 | 13 |
| 0 | 10 | 11 |
| 1 | 18 | 10 |
| 2 | 29 | 10 |
| 3 | 53 | 8 |
| 4 | 101 | 8 |
| 5 | 129 | 8 |
| 6 | 148 | 8 |
| 7 | 150 | 8 |
| 8 | 151 | 8 |
| done | 151 | 8 |
| 0 | 7 | 8 |
| 1 | 14 | 5 |
| 2 | 26 | 3 |
| 3 | 44 | 3 |
| 4 | 55 | 3 |
| 5 | 59 | 3 |
| done | 59 | 3 |
| 0 | 11 | 12 |
| 1 | 19 | 11 |
| 2 | 29 | 11 |
| 3 | 53 | 9 |
| 4 | 101 | 9 |
| 5 | 127 | 9 |
| 6 | 146 | 9 |
| 7 | 148 | 9 |
| 8 | 149 | 9 |
| done | 149 | 9 |
| 0 | 7 | 8 |
| 1 | 14 | 5 |
| 2 | 26 | 3 |
| 3 | 44 | 3 |
| 4 | 55 | 3 |
| 5 | 59 | 3 |
| done | 59 | 3 |
| 0 | 10 | 15 |
| 1 | 20 | 15 |
| 2 | 38 | 13 |
| 3 | 103 | 13 |
| 4 | 206 | 13 |
| 5 | 281 | 13 |
| 6 | 354 | 13 |
| 7 | 384 | 13 |
| 8 | 402 | 13 |
| 9 | 404 | 13 |
| done | 404 | 13 |
| 0 | 9 | 10 |
| 1 | 17 | 10 |
| 2 | 28 | 8 |
| 3 | 63 | 8 |
| 4 | 105 | 8 |
| 5 | 133 | 8 |
| 6 | 152 | 8 |
| 7 | 154 | 8 |
| 8 | 155 | 8 |
| done | 155 | 8 |
| 0 | 6 | 7 |
| 1 | 13 | 5 |
| 2 | 25 | 3 |
| 3 | 43 | 3 |
| 4 | 54 | 3 |
| 5 | 58 | 3 |
| done | 58 | 3 |
| 0 | 10 | 11 |
| 1 | 18 | 11 |
| 2 | 28 | 9 |
| 3 | 63 | 9 |
| 4 | 105 | 9 |
| 5 | 132 | 9 |
| 6 | 151 | 9 |
| 7 | 153 | 9 |
| 8 | 154 | 9 |
| done | 154 | 9 |
| 0 | 6 | 7 |
| 1 | 13 | 5 |
| 2 | 25 | 3 |
| 3 | 43 | 3 |
| 4 | 54 | 3 |
| 5 | 58 | 3 |
| done | 58 | 3 |
| 0 | 5 | 5 |
| 1 | 10 | 3 |
| 2 | 20 | 3 |
| 3 | 31 | 3 |
| 4 | 40 | 3 |
| 5 | 44 | 3 |
| done | 44 | 3 |
| 0 | 5 | 5 |
| 1 | 10 | 3 |
| 2 | 20 | 3 |
| 3 | 31 | 3 |
| 4 | 40 | 3 |
| 5 | 44 | 3 |
| done | 44 | 3 |
| 0 | 11 | 13 |
| 1 | 33 | 13 |
| 2 | 64 | 11 |
| 3 | 145 | 11 |
| 4 | 400 | 11 |
| 5 | 1459 | 11 |
| done | 5001 | 11 |
| 0 | 10 | 13 |
| 1 | 22 | 13 |
| 2 | 44 | 11 |
| 3 | 128 | 11 |
| 4 | 325 | 11 |
| 5 | 667 | 11 |
| 6 | 1212 | 11 |
| 7 | 2291 | 11 |
| done | 5000 | 11 |
| 0 | 9 | 10 |
| 1 | 17 | 10 |
| 2 | 22 | 8 |
| 3 | 40 | 8 |
| 4 | 46 | 8 |
| 5 | 50 | 8 |
| 6 | 53 | 8 |
| 7 | 55 | 8 |
| 8 | 57 | 8 |
| done | 57 | 8 |
| 0 | 9 | 10 |
| 1 | 17 | 10 |
| 2 | 22 | 8 |
| 3 | 40 | 8 |
| 4 | 46 | 8 |
| 5 | 50 | 8 |
| 6 | 53 | 8 |
| 7 | 55 | 8 |
| 8 | 57 | 8 |
| done | 57 | 8 |
| 0 | 8 | 9 |
| 1 | 16 | 9 |
| 2 | 27 | 7 |
| 3 | 65 | 7 |
| 4 | 112 | 7 |
| 5 | 150 | 7 |
| 6 | 187 | 7 |
| 7 | 222 | 7 |
| 8 | 308 | 7 |
| 9 | 460 | 7 |
| 10 | 720 | 7 |
| 11 | 1125 | 7 |
| 12 | 1621 | 7 |
| 13 | 2185 | 7 |
| 14 | 2412 | 7 |
| 15 | 2460 | 7 |
| done | 2460 | 7 |
| 0 | 10 | 11 |
| 1 | 19 | 11 |
| 2 | 30 | 9 |
| 3 | 68 | 9 |
| 4 | 117 | 9 |
| 5 | 155 | 9 |
| 6 | 197 | 9 |
| 7 | 222 | 9 |
| 8 | 236 | 9 |
| 9 | 237 | 9 |
| done | 237 | 9 |
| 0 | 8 | 9 |
| 1 | 16 | 9 |
| 2 | 27 | 7 |
| 3 | 65 | 7 |
| 4 | 112 | 7 |
| 5 | 150 | 7 |
| 6 | 187 | 7 |
| 7 | 222 | 7 |
| 8 | 308 | 7 |
| 9 | 460 | 7 |
| 10 | 720 | 7 |
| 11 | 1125 | 7 |
| 12 | 1621 | 7 |
| 13 | 2185 | 7 |
| 14 | 2412 | 7 |
| 15 | 2460 | 7 |
| done | 2460 | 7 |
| 0 | 5 | 5 |
| 1 | 10 | 3 |
| 2 | 20 | 3 |
| 3 | 31 | 3 |
| 4 | 40 | 3 |
| 5 | 44 | 3 |
| done | 44 | 3 |
| 0 | 11 | 13 |
| 1 | 33 | 13 |
| 2 | 64 | 11 |
| 3 | 184 | 11 |
| 4 | 551 | 11 |
| 5 | 2053 | 11 |
| done | 5000 | 11 |
| 0 | 10 | 13 |
| 1 | 22 | 13 |
| 2 | 44 | 11 |
| 3 | 149 | 11 |
| 4 | 386 | 11 |
| 5 | 794 | 11 |
| 6 | 1127 | 11 |
| 7 | 1818 | 11 |
| done | 5000 | 11 |
| 0 | 2 | 2 |
| 1 | 5 | 1 |
| done | 5 | 1 |
| 0 | 5 | 5 |
| 1 | 7 | 5 |
| 2 | 8 | 5 |
| done | 8 | 5 |
| 0 | 6 | 6 |
| 1 | 10 | 5 |
| 2 | 15 | 5 |
| 3 | 17 | 5 |
| 4 | 23 | 5 |
| 5 | 28 | 5 |
| done | 28 | 5 |
| 0 | 7 | 7 |
| 1 | 13 | 6 |
| 2 | 15 | 5 |
| 3 | 21 | 5 |
| 4 | 27 | 5 |
| 5 | 32 | 5 |
| done | 32 | 5 |
| 0 | 6 | 6 |
| 1 | 14 | 5 |
| 2 | 16 | 5 |
| 3 | 20 | 5 |
| 4 | 22 | 5 |
| 5 | 28 | 5 |
| 6 | 33 | 5 |
| done | 33 | 5 |
| 0 | 6 | 6 |
| 1 | 10 | 6 |
| 2 | 11 | 6 |
| done | 11 | 6 |
| 0 | 9 | 17 |
| 1 | 21 | 13 |
| 2 | 46 | 7 |
| 3 | 112 | 7 |
| 4 | 275 | 7 |
| 5 | 740 | 7 |
| 6 | 2085 | 7 |
| done | 5000 | 7 |
| 0 | 7 | 13 |
| 1 | 11 | 13 |
| 2 | 12 | 13 |
| done | 12 | 13 |
| 0 | 6 | 6 |
| 1 | 10 | 6 |
| 2 | 11 | 6 |
| done | 11 | 6 |
| 0 | 7 | 17 |
| 1 | 18 | 17 |
| 2 | 35 | 7 |
| 3 | 78 | 7 |
| 4 | 115 | 7 |
| 5 | 198 | 7 |
| 6 | 378 | 7 |
| 7 | 954 | 7 |
| 8 | 2476 | 7 |
| done | 5000 | 7 |
| 0 | 6 | 6 |
| 1 | 10 | 6 |
| 2 | 11 | 6 |
| done | 11 | 6 |
| 0 | 6 | 6 |
| 1 | 10 | 6 |
| 2 | 11 | 6 |
| done | 11 | 6 |
| 0 | 2 | 2 |
| 1 | 5 | 1 |
| done | 5 | 1 |
| 0 | 4 | 4 |
| 1 | 6 | 4 |
| 2 | 10 | 4 |
| 3 | 12 | 4 |
| 4 | 13 | 3 |
| done | 13 | 3 |
| 0 | 9 | 15 |
| 1 | 19 | 13 |
| 2 | 29 | 11 |
| 3 | 35 | 11 |
| done | 35 | 11 |
| 0 | 7 | 7 |
| 1 | 11 | 6 |
| 2 | 12 | 6 |
| done | 12 | 6 |
| 0 | 8 | 10 |
| 1 | 14 | 8 |
| 2 | 17 | 6 |
| 3 | 18 | 6 |
| done | 18 | 6 |
| 0 | 7 | 7 |
| 1 | 11 | 6 |
| 2 | 12 | 6 |
| done | 12 | 6 |
| 0 | 4 | 7 |
| 1 | 8 | 3 |
| 2 | 12 | 1 |
| done | 12 | 1 |
| 0 | 6 | 6 |
| 1 | 10 | 5 |
| 2 | 11 | 5 |
| done | 11 | 5 |
| 0 | 9 | 11 |
| 1 | 14 | 9 |
| 2 | 16 | 7 |
| 3 | 17 | 7 |
| done | 17 | 7 |
| 0 | 8 | 8 |
| 1 | 12 | 7 |
| 2 | 13 | 7 |
| done | 13 | 7 |
| 0 | 4 | 7 |
| 1 | 8 | 3 |
| 2 | 12 | 1 |
| done | 12 | 1 |
| 0 | 6 | 6 |
| 1 | 10 | 5 |
| 2 | 11 | 5 |
| done | 11 | 5 |
| 0 | 8 | 12 |
| 1 | 14 | 11 |
| 2 | 15 | 11 |
| done | 15 | 11 |
| 0 | 7 | 7 |
| 1 | 11 | 6 |
| 2 | 12 | 6 |
| done | 12 | 6 |
| 0 | 7 | 7 |
| 1 | 11 | 6 |
| 2 | 12 | 6 |
| done | 12 | 6 |
| 0 | 7 | 7 |
| 1 | 11 | 6 |
| 2 | 12 | 6 |
| done | 12 | 6 |
| 0 | 3 | 4 |
| 1 | 5 | 1 |
| done | 5 | 1 |
| 0 | 6 | 6 |
| 1 | 10 | 5 |
| 2 | 11 | 5 |
| done | 11 | 5 |
| 0 | 8 | 8 |
| 1 | 11 | 7 |
| done | 11 | 7 |
| 0 | 8 | 8 |
| 1 | 12 | 7 |
| 2 | 13 | 7 |
| done | 13 | 7 |
| 0 | 3 | 4 |
| 1 | 5 | 1 |
| done | 5 | 1 |
| 0 | 6 | 6 |
| 1 | 10 | 5 |
| 2 | 11 | 5 |
| done | 11 | 5 |
| 0 | 7 | 11 |
| 1 | 13 | 11 |
| 2 | 14 | 11 |
| done | 14 | 11 |
| 0 | 6 | 6 |
| 1 | 10 | 6 |
| 2 | 11 | 6 |
| done | 11 | 6 |
| 0 | 6 | 6 |
| 1 | 10 | 6 |
| 2 | 11 | 6 |
| done | 11 | 6 |
| 0 | 6 | 6 |
| 1 | 10 | 6 |
| 2 | 11 | 6 |
| done | 11 | 6 |
| 0 | 2 | 3 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 5 | 5 |
| 1 | 9 | 5 |
| 2 | 10 | 5 |
| done | 10 | 5 |
| 0 | 7 | 7 |
| 1 | 10 | 7 |
| done | 10 | 7 |
| 0 | 7 | 7 |
| 1 | 11 | 7 |
| 2 | 12 | 7 |
| done | 12 | 7 |
| 0 | 2 | 3 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 5 | 5 |
| 1 | 9 | 5 |
| 2 | 10 | 5 |
| done | 10 | 5 |
| 0 | 5 | 5 |
| 1 | 9 | 5 |
| 2 | 10 | 5 |
| done | 10 | 5 |
| 0 | 5 | 5 |
| 1 | 12 | 3 |
| 2 | 17 | 3 |
| done | 17 | 3 |
| 0 | 7 | 11 |
| 1 | 13 | 11 |
| 2 | 14 | 11 |
| done | 14 | 11 |
| 0 | 6 | 6 |
| 1 | 10 | 6 |
| 2 | 11 | 6 |
| done | 11 | 6 |
| 0 | 2 | 3 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 7 | 7 |
| 1 | 10 | 7 |
| done | 10 | 7 |
| 0 | 2 | 3 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 6 | 6 |
| 1 | 13 | 5 |
| 2 | 16 | 5 |
| 3 | 18 | 3 |
| 4 | 23 | 3 |
| 5 | 27 | 3 |
| done | 27 | 3 |
| 0 | 6 | 6 |
| 1 | 13 | 5 |
| 2 | 16 | 5 |
| 3 | 18 | 3 |
| 4 | 23 | 3 |
| 5 | 27 | 3 |
| done | 27 | 3 |
| 0 | 5 | 5 |
| 1 | 12 | 3 |
| 2 | 17 | 3 |
| done | 17 | 3 |
| 0 | 8 | 9 |
| 1 | 25 | 9 |
| 2 | 47 | 9 |
| 3 | 83 | 9 |
| 4 | 175 | 9 |
| 5 | 519 | 9 |
| 6 | 2307 | 9 |
| done | 5000 | 9 |
| 0 | 7 | 9 |
| 1 | 14 | 9 |
| 2 | 23 | 9 |
| 3 | 40 | 9 |
| 4 | 65 | 9 |
| 5 | 106 | 9 |
| 6 | 164 | 9 |
| 7 | 332 | 9 |
| 8 | 1645 | 9 |
| done | 5000 | 9 |
| 0 | 7 | 9 |
| 1 | 14 | 9 |
| 2 | 30 | 9 |
| 3 | 52 | 7 |
| 4 | 80 | 7 |
| 5 | 109 | 7 |
| 6 | 141 | 7 |
| 7 | 196 | 7 |
| 8 | 225 | 7 |
| 9 | 262 | 7 |
| 10 | 349 | 7 |
| 11 | 501 | 7 |
| 12 | 859 | 7 |
| 13 | 989 | 7 |
| done | 989 | 7 |
| 0 | 13 | 17 |
| 1 | 30 | 17 |
| 2 | 67 | 15 |
| 3 | 143 | 13 |
| 4 | 332 | 13 |
| 5 | 1084 | 13 |
| done | 5000 | 13 |
| 0 | 13 | 17 |
| 1 | 30 | 17 |
| 2 | 67 | 15 |
| 3 | 143 | 13 |
| 4 | 332 | 13 |
| 5 | 1084 | 13 |
| done | 5000 | 13 |
| 0 | 8 | 10 |
| 1 | 15 | 10 |
| 2 | 30 | 8 |
| 3 | 38 | 8 |
| 4 | 45 | 8 |
| 5 | 56 | 8 |
| 6 | 79 | 8 |
| 7 | 111 | 8 |
| 8 | 143 | 8 |
| 9 | 150 | 8 |
| 10 | 175 | 8 |
| 11 | 198 | 8 |
| 12 | 199 | 8 |
| done | 199 | 8 |
| 0 | 15 | 24 |
| 1 | 39 | 21 |
| 2 | 89 | 13 |
| 3 | 313 | 13 |
| 4 | 583 | 13 |
| 5 | 986 | 13 |
| 6 | 1359 | 13 |
| 7 | 1401 | 13 |
| 8 | 1431 | 13 |
| 9 | 1706 | 13 |
| 10 | 3797 | 13 |
| done | 5000 | 13 |
| 0 | 18 | 24 |
| 1 | 41 | 23 |
| 2 | 99 | 17 |
| 3 | 356 | 17 |
| 4 | 1373 | 17 |
| 5 | 4053 | 13 |
| done | 5001 | 13 |
| 0 | 9 | 13 |
| 1 | 21 | 11 |
| 2 | 46 | 9 |
| 3 | 81 | 9 |
| 4 | 119 | 9 |
| 5 | 182 | 9 |
| 6 | 260 | 9 |
| 7 | 449 | 9 |
| 8 | 761 | 9 |
| 9 | 1454 | 9 |
| 10 | 1950 | 9 |
| 11 | 2010 | 9 |
| done | 2010 | 9 |
| 0 | 9 | 11 |
| 1 | 19 | 11 |
| 2 | 31 | 9 |
| 3 | 38 | 9 |
| 4 | 51 | 9 |
| 5 | 63 | 9 |
| 6 | 84 | 9 |
| 7 | 135 | 9 |
| 8 | 245 | 9 |
| 9 | 277 | 9 |
| 10 | 307 | 9 |
| 11 | 327 | 9 |
| 12 | 330 | 9 |
| done | 330 | 9 |
| 0 | 9 | 11 |
| 1 | 19 | 11 |
| 2 | 31 | 9 |
| 3 | 38 | 9 |
| 4 | 51 | 9 |
| 5 | 63 | 9 |
| 6 | 84 | 9 |
| 7 | 135 | 9 |
| 8 | 245 | 9 |
| 9 | 277 | 9 |
| 10 | 307 | 9 |
| 11 | 327 | 9 |
| 12 | 330 | 9 |
| done | 330 | 9 |
| 0 | 8 | 11 |
| 1 | 21 | 9 |
| 2 | 46 | 9 |
| 3 | 67 | 9 |
| 4 | 94 | 9 |
| 5 | 134 | 9 |
| 6 | 156 | 9 |
| 7 | 226 | 9 |
| 8 | 453 | 9 |
| 9 | 1393 | 9 |
| done | 5000 | 9 |
| 0 | 15 | 20 |
| 1 | 39 | 20 |
| 2 | 106 | 16 |
| 3 | 317 | 15 |
| 4 | 1205 | 15 |
| 5 | 4433 | 12 |
| done | 5000 | 12 |
| 0 | 15 | 20 |
| 1 | 39 | 20 |
| 2 | 106 | 16 |
| 3 | 317 | 15 |
| 4 | 1205 | 15 |
| 5 | 4433 | 12 |
| done | 5000 | 12 |
3 alts after pruning (2 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 129 | 0 | 129 |
| Fresh | 0 | 2 | 2 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 129 | 3 | 132 |
Merged error: 0b
Found 4 expressions with local error:
| 0.3b | (- (log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))) (log (+ (* (/ (- x y) (- 1.0 y)) (+ (/ (- x y) (- 1.0 y)) 1.0)) (* 1.0 1.0)))) |
| 2.4b | (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)) |
| 12.3b | (log (+ (* (/ (- x y) (- 1.0 y)) (+ (/ (- x y) (- 1.0 y)) 1.0)) (* 1.0 1.0))) |
| 13.9b | (log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))) |
| 148× | add-sqr-sqrt |
| 73× | difference-of-squares |
| 72× | log-prod |
| 54× | unpow-prod-down cube-prod |
| 42× | *-un-lft-identity |
| 33× | associate--l+ |
| 30× | sqr-pow |
| 24× | times-frac |
| 19× | distribute-lft-out-- |
| 10× | pow1 |
| 8× | add-cube-cbrt log-div |
| 6× | add-exp-log log-pow add-log-exp |
| 4× | flip3-- add-cbrt-cube flip-- |
| 3× | difference-cubes associate--r+ |
| 2× | associate--l- sub-neg flip3-+ diff-log rem-log-exp flip-+ associate--r- |
| 89.0ms | (- (log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))) (log (+ (* (/ (- x y) (- 1.0 y)) (+ (/ (- x y) (- 1.0 y)) 1.0)) (* 1.0 1.0)))) |
| 47.0ms | (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)) |
| 31.0ms | (log (+ (* (/ (- x y) (- 1.0 y)) (+ (/ (- x y) (- 1.0 y)) 1.0)) (* 1.0 1.0))) |
| 47.0ms | (log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))) |
| 112.0ms | (- (log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))) (log (+ (* (/ (- x y) (- 1.0 y)) (+ (/ (- x y) (- 1.0 y)) 1.0)) (* 1.0 1.0)))) |
| 69.0ms | (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)) |
| 40.0ms | (log (+ (* (/ (- x y) (- 1.0 y)) (+ (/ (- x y) (- 1.0 y)) 1.0)) (* 1.0 1.0))) |
| 85.0ms | (log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3))) |
Useful iterations: 1 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 13 | 30 |
| 1 | 39 | 30 |
| 2 | 86 | 17 |
| 3 | 274 | 17 |
| 4 | 1029 | 17 |
| 5 | 3944 | 17 |
| done | 5000 | 17 |
| 0 | 12 | 15 |
| 1 | 36 | 15 |
| 2 | 82 | 15 |
| 3 | 269 | 15 |
| 4 | 1029 | 15 |
| 5 | 3939 | 15 |
| done | 5000 | 15 |
| 0 | 12 | 15 |
| 1 | 36 | 15 |
| 2 | 82 | 15 |
| 3 | 269 | 15 |
| 4 | 1029 | 15 |
| 5 | 3939 | 15 |
| done | 5000 | 15 |
| 0 | 12 | 15 |
| 1 | 36 | 15 |
| 2 | 82 | 15 |
| 3 | 269 | 15 |
| 4 | 1029 | 15 |
| 5 | 3939 | 15 |
| done | 5000 | 15 |
| 0 | 12 | 30 |
| 1 | 31 | 22 |
| 2 | 67 | 22 |
| 3 | 165 | 22 |
| 4 | 479 | 22 |
| 5 | 1379 | 22 |
| 6 | 3702 | 22 |
| done | 5000 | 22 |
| 0 | 8 | 10 |
| 1 | 16 | 10 |
| 2 | 25 | 10 |
| 3 | 37 | 10 |
| 4 | 54 | 10 |
| 5 | 58 | 10 |
| 6 | 66 | 10 |
| 7 | 81 | 10 |
| 8 | 109 | 10 |
| 9 | 122 | 10 |
| 10 | 124 | 10 |
| done | 124 | 10 |
| 0 | 2 | 2 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 11 | 14 |
| 1 | 35 | 14 |
| 2 | 81 | 14 |
| 3 | 271 | 14 |
| 4 | 1034 | 14 |
| 5 | 3968 | 14 |
| done | 5000 | 14 |
| 0 | 13 | 16 |
| 1 | 33 | 16 |
| 2 | 46 | 16 |
| 3 | 76 | 16 |
| 4 | 140 | 16 |
| 5 | 285 | 16 |
| 6 | 720 | 16 |
| 7 | 2587 | 16 |
| done | 5000 | 16 |
| 0 | 13 | 16 |
| 1 | 34 | 16 |
| 2 | 60 | 16 |
| 3 | 125 | 16 |
| 4 | 284 | 16 |
| 5 | 721 | 16 |
| 6 | 2582 | 16 |
| done | 5001 | 16 |
| 0 | 14 | 17 |
| 1 | 34 | 17 |
| 2 | 63 | 17 |
| 3 | 128 | 17 |
| 4 | 340 | 17 |
| 5 | 1019 | 17 |
| 6 | 4251 | 17 |
| done | 5000 | 17 |
| 0 | 14 | 17 |
| 1 | 35 | 17 |
| 2 | 79 | 17 |
| 3 | 192 | 17 |
| 4 | 624 | 17 |
| 5 | 2182 | 17 |
| done | 5000 | 17 |
| 0 | 13 | 16 |
| 1 | 33 | 16 |
| 2 | 46 | 16 |
| 3 | 76 | 16 |
| 4 | 140 | 16 |
| 5 | 285 | 16 |
| 6 | 720 | 16 |
| 7 | 2587 | 16 |
| done | 5000 | 16 |
| 0 | 13 | 16 |
| 1 | 34 | 16 |
| 2 | 60 | 16 |
| 3 | 125 | 16 |
| 4 | 284 | 16 |
| 5 | 721 | 16 |
| 6 | 2582 | 16 |
| done | 5001 | 16 |
| 0 | 14 | 17 |
| 1 | 34 | 17 |
| 2 | 63 | 17 |
| 3 | 128 | 17 |
| 4 | 340 | 17 |
| 5 | 1019 | 17 |
| 6 | 4251 | 17 |
| done | 5000 | 17 |
| 0 | 14 | 17 |
| 1 | 35 | 17 |
| 2 | 79 | 17 |
| 3 | 192 | 17 |
| 4 | 624 | 17 |
| 5 | 2182 | 17 |
| done | 5000 | 17 |
| 0 | 13 | 16 |
| 1 | 36 | 16 |
| 2 | 68 | 16 |
| 3 | 201 | 16 |
| 4 | 643 | 16 |
| 5 | 2062 | 16 |
| done | 5000 | 16 |
| 0 | 13 | 16 |
| 1 | 37 | 16 |
| 2 | 70 | 16 |
| 3 | 203 | 16 |
| 4 | 645 | 16 |
| 5 | 2066 | 16 |
| done | 5000 | 16 |
| 0 | 14 | 17 |
| 1 | 31 | 15 |
| 2 | 45 | 15 |
| 3 | 63 | 15 |
| 4 | 101 | 15 |
| 5 | 210 | 15 |
| 6 | 624 | 15 |
| 7 | 2455 | 15 |
| done | 5000 | 15 |
| 0 | 14 | 17 |
| 1 | 31 | 15 |
| 2 | 53 | 15 |
| 3 | 87 | 15 |
| 4 | 178 | 15 |
| 5 | 519 | 15 |
| 6 | 2321 | 15 |
| done | 5000 | 15 |
| 0 | 13 | 16 |
| 1 | 33 | 16 |
| 2 | 46 | 16 |
| 3 | 76 | 16 |
| 4 | 140 | 16 |
| 5 | 285 | 16 |
| 6 | 720 | 16 |
| 7 | 2587 | 16 |
| done | 5000 | 16 |
| 0 | 13 | 16 |
| 1 | 34 | 16 |
| 2 | 60 | 16 |
| 3 | 125 | 16 |
| 4 | 284 | 16 |
| 5 | 721 | 16 |
| 6 | 2582 | 16 |
| done | 5001 | 16 |
| 0 | 14 | 17 |
| 1 | 34 | 17 |
| 2 | 63 | 17 |
| 3 | 128 | 17 |
| 4 | 340 | 17 |
| 5 | 1019 | 17 |
| 6 | 4251 | 17 |
| done | 5000 | 17 |
| 0 | 14 | 17 |
| 1 | 35 | 17 |
| 2 | 79 | 17 |
| 3 | 192 | 17 |
| 4 | 624 | 17 |
| 5 | 2182 | 17 |
| done | 5000 | 17 |
| 0 | 13 | 16 |
| 1 | 33 | 16 |
| 2 | 46 | 16 |
| 3 | 76 | 16 |
| 4 | 140 | 16 |
| 5 | 285 | 16 |
| 6 | 720 | 16 |
| 7 | 2587 | 16 |
| done | 5000 | 16 |
| 0 | 13 | 16 |
| 1 | 34 | 16 |
| 2 | 60 | 16 |
| 3 | 125 | 16 |
| 4 | 284 | 16 |
| 5 | 721 | 16 |
| 6 | 2582 | 16 |
| done | 5001 | 16 |
| 0 | 14 | 17 |
| 1 | 34 | 17 |
| 2 | 63 | 17 |
| 3 | 128 | 17 |
| 4 | 340 | 17 |
| 5 | 1019 | 17 |
| 6 | 4251 | 17 |
| done | 5000 | 17 |
| 0 | 14 | 17 |
| 1 | 35 | 17 |
| 2 | 79 | 17 |
| 3 | 192 | 17 |
| 4 | 624 | 17 |
| 5 | 2182 | 17 |
| done | 5000 | 17 |
| 0 | 13 | 16 |
| 1 | 36 | 16 |
| 2 | 68 | 16 |
| 3 | 201 | 16 |
| 4 | 643 | 16 |
| 5 | 2062 | 16 |
| done | 5000 | 16 |
| 0 | 13 | 16 |
| 1 | 37 | 16 |
| 2 | 70 | 16 |
| 3 | 203 | 16 |
| 4 | 645 | 16 |
| 5 | 2066 | 16 |
| done | 5000 | 16 |
| 0 | 14 | 17 |
| 1 | 31 | 15 |
| 2 | 45 | 15 |
| 3 | 63 | 15 |
| 4 | 101 | 15 |
| 5 | 210 | 15 |
| 6 | 624 | 15 |
| 7 | 2455 | 15 |
| done | 5000 | 15 |
| 0 | 14 | 17 |
| 1 | 31 | 15 |
| 2 | 53 | 15 |
| 3 | 87 | 15 |
| 4 | 178 | 15 |
| 5 | 519 | 15 |
| 6 | 2321 | 15 |
| done | 5000 | 15 |
| 0 | 13 | 16 |
| 1 | 33 | 16 |
| 2 | 47 | 16 |
| 3 | 77 | 16 |
| 4 | 143 | 16 |
| 5 | 288 | 16 |
| 6 | 745 | 16 |
| 7 | 2620 | 16 |
| done | 5001 | 16 |
| 0 | 13 | 16 |
| 1 | 34 | 16 |
| 2 | 58 | 16 |
| 3 | 114 | 16 |
| 4 | 246 | 16 |
| 5 | 523 | 16 |
| 6 | 1306 | 16 |
| 7 | 4624 | 16 |
| done | 5000 | 16 |
| 0 | 14 | 17 |
| 1 | 34 | 17 |
| 2 | 64 | 17 |
| 3 | 129 | 17 |
| 4 | 341 | 17 |
| 5 | 1021 | 17 |
| 6 | 4227 | 17 |
| done | 5001 | 17 |
| 0 | 14 | 17 |
| 1 | 35 | 17 |
| 2 | 77 | 17 |
| 3 | 181 | 17 |
| 4 | 582 | 17 |
| 5 | 1977 | 17 |
| done | 5000 | 17 |
| 0 | 13 | 16 |
| 1 | 33 | 16 |
| 2 | 47 | 16 |
| 3 | 77 | 16 |
| 4 | 143 | 16 |
| 5 | 288 | 16 |
| 6 | 745 | 16 |
| 7 | 2620 | 16 |
| done | 5001 | 16 |
| 0 | 13 | 16 |
| 1 | 34 | 16 |
| 2 | 58 | 16 |
| 3 | 114 | 16 |
| 4 | 246 | 16 |
| 5 | 523 | 16 |
| 6 | 1306 | 16 |
| 7 | 4624 | 16 |
| done | 5000 | 16 |
| 0 | 14 | 17 |
| 1 | 34 | 17 |
| 2 | 64 | 17 |
| 3 | 129 | 17 |
| 4 | 341 | 17 |
| 5 | 1021 | 17 |
| 6 | 4227 | 17 |
| done | 5001 | 17 |
| 0 | 14 | 17 |
| 1 | 35 | 17 |
| 2 | 77 | 17 |
| 3 | 181 | 17 |
| 4 | 582 | 17 |
| 5 | 1977 | 17 |
| done | 5000 | 17 |
| 0 | 13 | 16 |
| 1 | 36 | 16 |
| 2 | 69 | 16 |
| 3 | 202 | 16 |
| 4 | 642 | 16 |
| 5 | 2061 | 16 |
| done | 5000 | 16 |
| 0 | 13 | 16 |
| 1 | 37 | 16 |
| 2 | 71 | 16 |
| 3 | 204 | 16 |
| 4 | 644 | 16 |
| 5 | 2054 | 16 |
| done | 5000 | 16 |
| 0 | 14 | 17 |
| 1 | 31 | 15 |
| 2 | 46 | 15 |
| 3 | 64 | 15 |
| 4 | 104 | 15 |
| 5 | 224 | 15 |
| 6 | 633 | 15 |
| 7 | 2482 | 15 |
| done | 5000 | 15 |
| 0 | 14 | 17 |
| 1 | 32 | 15 |
| 2 | 51 | 15 |
| 3 | 76 | 15 |
| 4 | 140 | 15 |
| 5 | 330 | 15 |
| 6 | 1049 | 15 |
| 7 | 4271 | 15 |
| done | 5000 | 15 |
| 0 | 14 | 17 |
| 1 | 31 | 15 |
| 2 | 45 | 15 |
| 3 | 74 | 15 |
| 4 | 137 | 15 |
| 5 | 281 | 15 |
| 6 | 721 | 15 |
| 7 | 2589 | 15 |
| done | 5001 | 15 |
| 0 | 14 | 17 |
| 1 | 32 | 15 |
| 2 | 59 | 15 |
| 3 | 123 | 15 |
| 4 | 281 | 15 |
| 5 | 718 | 15 |
| 6 | 2596 | 15 |
| done | 5000 | 15 |
| 0 | 15 | 18 |
| 1 | 32 | 16 |
| 2 | 62 | 16 |
| 3 | 126 | 16 |
| 4 | 337 | 16 |
| 5 | 1024 | 16 |
| 6 | 4242 | 16 |
| done | 5000 | 16 |
| 0 | 15 | 18 |
| 1 | 33 | 16 |
| 2 | 78 | 16 |
| 3 | 190 | 16 |
| 4 | 621 | 16 |
| 5 | 2185 | 16 |
| done | 5000 | 16 |
| 0 | 14 | 17 |
| 1 | 31 | 15 |
| 2 | 45 | 15 |
| 3 | 74 | 15 |
| 4 | 137 | 15 |
| 5 | 281 | 15 |
| 6 | 721 | 15 |
| 7 | 2589 | 15 |
| done | 5001 | 15 |
| 0 | 14 | 17 |
| 1 | 32 | 15 |
| 2 | 59 | 15 |
| 3 | 123 | 15 |
| 4 | 281 | 15 |
| 5 | 718 | 15 |
| 6 | 2596 | 15 |
| done | 5000 | 15 |
| 0 | 15 | 18 |
| 1 | 32 | 16 |
| 2 | 62 | 16 |
| 3 | 126 | 16 |
| 4 | 337 | 16 |
| 5 | 1024 | 16 |
| 6 | 4242 | 16 |
| done | 5000 | 16 |
| 0 | 15 | 18 |
| 1 | 33 | 16 |
| 2 | 78 | 16 |
| 3 | 190 | 16 |
| 4 | 621 | 16 |
| 5 | 2185 | 16 |
| done | 5000 | 16 |
| 0 | 14 | 17 |
| 1 | 34 | 15 |
| 2 | 67 | 15 |
| 3 | 199 | 15 |
| 4 | 635 | 15 |
| 5 | 2053 | 15 |
| done | 5000 | 15 |
| 0 | 14 | 17 |
| 1 | 35 | 15 |
| 2 | 69 | 15 |
| 3 | 201 | 15 |
| 4 | 640 | 15 |
| 5 | 2057 | 15 |
| done | 5000 | 15 |
| 0 | 13 | 18 |
| 1 | 27 | 14 |
| 2 | 40 | 14 |
| 3 | 59 | 14 |
| 4 | 98 | 14 |
| 5 | 213 | 14 |
| 6 | 624 | 14 |
| 7 | 2462 | 14 |
| done | 5000 | 14 |
| 0 | 13 | 18 |
| 1 | 27 | 14 |
| 2 | 48 | 14 |
| 3 | 83 | 14 |
| 4 | 171 | 14 |
| 5 | 512 | 14 |
| 6 | 2314 | 14 |
| done | 5000 | 14 |
| 0 | 4 | 4 |
| 1 | 15 | 1 |
| 2 | 19 | 1 |
| 3 | 23 | 1 |
| done | 23 | 1 |
| 0 | 11 | 14 |
| 1 | 35 | 14 |
| 2 | 81 | 14 |
| 3 | 271 | 14 |
| 4 | 1034 | 14 |
| 5 | 3968 | 14 |
| done | 5000 | 14 |
| 0 | 4 | 4 |
| 1 | 15 | 1 |
| 2 | 19 | 1 |
| 3 | 23 | 1 |
| done | 23 | 1 |
| 0 | 11 | 14 |
| 1 | 35 | 14 |
| 2 | 81 | 14 |
| 3 | 271 | 14 |
| 4 | 1034 | 14 |
| 5 | 3968 | 14 |
| done | 5000 | 14 |
| 0 | 4 | 4 |
| 1 | 15 | 1 |
| 2 | 19 | 1 |
| 3 | 23 | 1 |
| done | 23 | 1 |
| 0 | 11 | 14 |
| 1 | 35 | 14 |
| 2 | 81 | 14 |
| 3 | 271 | 14 |
| 4 | 1034 | 14 |
| 5 | 3968 | 14 |
| done | 5000 | 14 |
| 0 | 4 | 4 |
| 1 | 15 | 1 |
| 2 | 19 | 1 |
| 3 | 23 | 1 |
| done | 23 | 1 |
| 0 | 11 | 14 |
| 1 | 35 | 14 |
| 2 | 81 | 14 |
| 3 | 271 | 14 |
| 4 | 1034 | 14 |
| 5 | 3968 | 14 |
| done | 5000 | 14 |
| 0 | 2 | 2 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 11 | 14 |
| 1 | 35 | 14 |
| 2 | 81 | 14 |
| 3 | 271 | 14 |
| 4 | 1034 | 14 |
| 5 | 3968 | 14 |
| done | 5000 | 14 |
| 0 | 13 | 18 |
| 1 | 47 | 18 |
| 2 | 180 | 18 |
| 3 | 937 | 18 |
| done | 5000 | 18 |
| 0 | 15 | 42 |
| 1 | 48 | 28 |
| 2 | 166 | 28 |
| 3 | 728 | 28 |
| done | 5000 | 28 |
| 0 | 13 | 28 |
| 1 | 44 | 14 |
| 2 | 127 | 14 |
| 3 | 509 | 14 |
| 4 | 3872 | 14 |
| done | 5001 | 14 |
| 0 | 11 | 14 |
| 1 | 34 | 14 |
| 2 | 65 | 14 |
| 3 | 198 | 14 |
| 4 | 642 | 14 |
| 5 | 2074 | 14 |
| done | 5000 | 14 |
| 0 | 11 | 14 |
| 1 | 35 | 14 |
| 2 | 81 | 14 |
| 3 | 271 | 14 |
| 4 | 1034 | 14 |
| 5 | 3968 | 14 |
| done | 5000 | 14 |
| 0 | 12 | 15 |
| 1 | 36 | 15 |
| 2 | 82 | 15 |
| 3 | 272 | 15 |
| 4 | 1036 | 15 |
| 5 | 3967 | 15 |
| done | 5001 | 15 |
| 0 | 12 | 15 |
| 1 | 36 | 13 |
| 2 | 82 | 13 |
| 3 | 272 | 13 |
| 4 | 1039 | 13 |
| 5 | 3974 | 13 |
| done | 5001 | 13 |
| 0 | 13 | 31 |
| 1 | 37 | 31 |
| 2 | 83 | 31 |
| 3 | 273 | 31 |
| 4 | 1037 | 31 |
| 5 | 3976 | 31 |
| done | 5001 | 31 |
| 0 | 12 | 15 |
| 1 | 36 | 15 |
| 2 | 82 | 15 |
| 3 | 272 | 15 |
| 4 | 1036 | 15 |
| 5 | 3967 | 15 |
| done | 5001 | 15 |
| 0 | 13 | 44 |
| 1 | 38 | 44 |
| 2 | 85 | 16 |
| 3 | 277 | 16 |
| 4 | 1055 | 16 |
| 5 | 4021 | 16 |
| done | 5000 | 16 |
| 0 | 12 | 15 |
| 1 | 36 | 15 |
| 2 | 82 | 15 |
| 3 | 272 | 15 |
| 4 | 1036 | 15 |
| 5 | 3967 | 15 |
| done | 5001 | 15 |
| 0 | 12 | 15 |
| 1 | 36 | 15 |
| 2 | 82 | 15 |
| 3 | 272 | 15 |
| 4 | 1036 | 15 |
| 5 | 3967 | 15 |
| done | 5001 | 15 |
| 0 | 13 | 46 |
| 1 | 31 | 46 |
| 2 | 61 | 25 |
| 3 | 141 | 25 |
| 4 | 415 | 25 |
| 5 | 1220 | 25 |
| 6 | 3168 | 25 |
| done | 5001 | 25 |
| 0 | 12 | 23 |
| 1 | 28 | 23 |
| 2 | 56 | 23 |
| 3 | 135 | 23 |
| 4 | 409 | 23 |
| 5 | 1212 | 23 |
| 6 | 3169 | 23 |
| done | 5000 | 23 |
| 0 | 12 | 23 |
| 1 | 28 | 23 |
| 2 | 56 | 23 |
| 3 | 135 | 23 |
| 4 | 409 | 23 |
| 5 | 1212 | 23 |
| 6 | 3169 | 23 |
| done | 5000 | 23 |
| 0 | 12 | 23 |
| 1 | 28 | 23 |
| 2 | 56 | 23 |
| 3 | 135 | 23 |
| 4 | 409 | 23 |
| 5 | 1212 | 23 |
| 6 | 3169 | 23 |
| done | 5000 | 23 |
| 0 | 2 | 2 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 11 | 22 |
| 1 | 27 | 22 |
| 2 | 55 | 22 |
| 3 | 134 | 22 |
| 4 | 408 | 22 |
| 5 | 1205 | 22 |
| 6 | 3169 | 22 |
| done | 5000 | 22 |
| 0 | 14 | 26 |
| 1 | 48 | 26 |
| 2 | 149 | 24 |
| 3 | 657 | 24 |
| 4 | 3963 | 24 |
| done | 5001 | 24 |
| 0 | 15 | 66 |
| 1 | 52 | 62 |
| 2 | 178 | 62 |
| 3 | 689 | 44 |
| 4 | 3422 | 44 |
| done | 5000 | 44 |
| 0 | 13 | 44 |
| 1 | 43 | 44 |
| 2 | 136 | 42 |
| 3 | 499 | 40 |
| 4 | 2406 | 40 |
| done | 5000 | 40 |
| 0 | 11 | 22 |
| 1 | 28 | 22 |
| 2 | 60 | 22 |
| 3 | 146 | 22 |
| 4 | 436 | 22 |
| 5 | 1315 | 22 |
| 6 | 3854 | 22 |
| done | 5000 | 22 |
| 0 | 11 | 22 |
| 1 | 27 | 22 |
| 2 | 55 | 22 |
| 3 | 134 | 22 |
| 4 | 408 | 22 |
| 5 | 1205 | 22 |
| 6 | 3169 | 22 |
| done | 5000 | 22 |
| 0 | 12 | 23 |
| 1 | 28 | 23 |
| 2 | 56 | 23 |
| 3 | 135 | 23 |
| 4 | 409 | 23 |
| 5 | 1212 | 23 |
| 6 | 3169 | 23 |
| done | 5000 | 23 |
| 0 | 12 | 23 |
| 1 | 28 | 21 |
| 2 | 56 | 21 |
| 3 | 135 | 21 |
| 4 | 409 | 21 |
| 5 | 1212 | 21 |
| 6 | 3169 | 21 |
| done | 5000 | 21 |
| 0 | 13 | 47 |
| 1 | 29 | 47 |
| 2 | 57 | 47 |
| 3 | 136 | 47 |
| 4 | 410 | 47 |
| 5 | 1210 | 47 |
| 6 | 3164 | 47 |
| done | 5000 | 47 |
| 0 | 12 | 23 |
| 1 | 28 | 23 |
| 2 | 56 | 23 |
| 3 | 135 | 23 |
| 4 | 409 | 23 |
| 5 | 1212 | 23 |
| 6 | 3169 | 23 |
| done | 5000 | 23 |
| 0 | 13 | 68 |
| 1 | 30 | 68 |
| 2 | 60 | 24 |
| 3 | 144 | 24 |
| 4 | 424 | 24 |
| 5 | 1243 | 24 |
| 6 | 3219 | 24 |
| done | 5001 | 24 |
| 0 | 12 | 23 |
| 1 | 28 | 23 |
| 2 | 56 | 23 |
| 3 | 135 | 23 |
| 4 | 409 | 23 |
| 5 | 1212 | 23 |
| 6 | 3169 | 23 |
| done | 5000 | 23 |
| 0 | 12 | 23 |
| 1 | 28 | 23 |
| 2 | 56 | 23 |
| 3 | 135 | 23 |
| 4 | 409 | 23 |
| 5 | 1212 | 23 |
| 6 | 3169 | 23 |
| done | 5000 | 23 |
| 0 | 12 | 15 |
| 1 | 36 | 14 |
| 2 | 84 | 14 |
| 3 | 270 | 14 |
| 4 | 999 | 14 |
| 5 | 3870 | 14 |
| done | 5000 | 14 |
| 0 | 11 | 14 |
| 1 | 35 | 14 |
| 2 | 81 | 14 |
| 3 | 271 | 14 |
| 4 | 1034 | 14 |
| 5 | 3968 | 14 |
| done | 5000 | 14 |
| 0 | 11 | 14 |
| 1 | 38 | 14 |
| 2 | 98 | 14 |
| 3 | 328 | 14 |
| 4 | 1268 | 14 |
| done | 5000 | 14 |
| 0 | 12 | 29 |
| 1 | 36 | 29 |
| 2 | 82 | 29 |
| 3 | 269 | 29 |
| 4 | 1029 | 29 |
| 5 | 3939 | 29 |
| done | 5000 | 29 |
| 0 | 11 | 14 |
| 1 | 35 | 14 |
| 2 | 81 | 14 |
| 3 | 268 | 14 |
| 4 | 1027 | 14 |
| 5 | 3942 | 14 |
| done | 5001 | 14 |
| 0 | 12 | 41 |
| 1 | 37 | 41 |
| 2 | 96 | 15 |
| 3 | 427 | 15 |
| 4 | 2903 | 15 |
| done | 5001 | 15 |
| 0 | 11 | 14 |
| 1 | 35 | 14 |
| 2 | 81 | 14 |
| 3 | 268 | 14 |
| 4 | 1027 | 14 |
| 5 | 3942 | 14 |
| done | 5001 | 14 |
| 0 | 11 | 14 |
| 1 | 35 | 14 |
| 2 | 81 | 14 |
| 3 | 268 | 14 |
| 4 | 1027 | 14 |
| 5 | 3942 | 14 |
| done | 5001 | 14 |
| 0 | 11 | 29 |
| 1 | 30 | 21 |
| 2 | 66 | 21 |
| 3 | 164 | 21 |
| 4 | 477 | 21 |
| 5 | 1378 | 21 |
| 6 | 3729 | 21 |
| done | 5001 | 21 |
| 0 | 7 | 9 |
| 1 | 15 | 9 |
| 2 | 24 | 9 |
| 3 | 36 | 9 |
| 4 | 53 | 9 |
| 5 | 57 | 9 |
| 6 | 65 | 9 |
| 7 | 80 | 9 |
| 8 | 108 | 9 |
| 9 | 121 | 9 |
| 10 | 123 | 9 |
| done | 123 | 9 |
| 0 | 12 | 17 |
| 1 | 46 | 17 |
| 2 | 179 | 17 |
| 3 | 926 | 17 |
| done | 5001 | 17 |
| 0 | 14 | 41 |
| 1 | 47 | 27 |
| 2 | 165 | 27 |
| 3 | 728 | 27 |
| done | 5000 | 27 |
| 0 | 9 | 10 |
| 1 | 26 | 10 |
| 2 | 65 | 10 |
| 3 | 239 | 10 |
| 4 | 952 | 10 |
| 5 | 3644 | 10 |
| done | 5000 | 10 |
| 0 | 12 | 27 |
| 1 | 43 | 13 |
| 2 | 123 | 13 |
| 3 | 503 | 13 |
| 4 | 3871 | 13 |
| done | 5000 | 13 |
| 0 | 10 | 13 |
| 1 | 33 | 13 |
| 2 | 64 | 13 |
| 3 | 197 | 13 |
| 4 | 640 | 13 |
| 5 | 2075 | 13 |
| done | 5000 | 13 |
| 0 | 12 | 15 |
| 1 | 32 | 15 |
| 2 | 45 | 15 |
| 3 | 75 | 15 |
| 4 | 139 | 15 |
| 5 | 285 | 15 |
| 6 | 720 | 15 |
| 7 | 2584 | 15 |
| done | 5001 | 15 |
| 0 | 12 | 15 |
| 1 | 33 | 15 |
| 2 | 59 | 15 |
| 3 | 121 | 15 |
| 4 | 275 | 15 |
| 5 | 702 | 15 |
| 6 | 2600 | 15 |
| done | 5000 | 15 |
| 0 | 13 | 16 |
| 1 | 33 | 16 |
| 2 | 62 | 16 |
| 3 | 127 | 16 |
| 4 | 339 | 16 |
| 5 | 1017 | 16 |
| 6 | 4241 | 16 |
| done | 5000 | 16 |
| 0 | 13 | 16 |
| 1 | 34 | 16 |
| 2 | 78 | 16 |
| 3 | 188 | 16 |
| 4 | 616 | 16 |
| 5 | 2162 | 16 |
| done | 5001 | 16 |
| 0 | 12 | 15 |
| 1 | 32 | 15 |
| 2 | 45 | 15 |
| 3 | 75 | 15 |
| 4 | 139 | 15 |
| 5 | 285 | 15 |
| 6 | 720 | 15 |
| 7 | 2584 | 15 |
| done | 5001 | 15 |
| 0 | 12 | 15 |
| 1 | 33 | 15 |
| 2 | 59 | 15 |
| 3 | 121 | 15 |
| 4 | 275 | 15 |
| 5 | 702 | 15 |
| 6 | 2600 | 15 |
| done | 5000 | 15 |
| 0 | 13 | 16 |
| 1 | 33 | 16 |
| 2 | 62 | 16 |
| 3 | 127 | 16 |
| 4 | 339 | 16 |
| 5 | 1017 | 16 |
| 6 | 4241 | 16 |
| done | 5000 | 16 |
| 0 | 13 | 16 |
| 1 | 34 | 16 |
| 2 | 78 | 16 |
| 3 | 188 | 16 |
| 4 | 616 | 16 |
| 5 | 2162 | 16 |
| done | 5001 | 16 |
| 0 | 12 | 15 |
| 1 | 35 | 15 |
| 2 | 67 | 15 |
| 3 | 200 | 15 |
| 4 | 642 | 15 |
| 5 | 2062 | 15 |
| done | 5000 | 15 |
| 0 | 12 | 15 |
| 1 | 36 | 15 |
| 2 | 69 | 15 |
| 3 | 202 | 15 |
| 4 | 646 | 15 |
| 5 | 2063 | 15 |
| done | 5000 | 15 |
| 0 | 13 | 16 |
| 1 | 30 | 14 |
| 2 | 44 | 14 |
| 3 | 62 | 14 |
| 4 | 100 | 14 |
| 5 | 209 | 14 |
| 6 | 613 | 14 |
| 7 | 2465 | 14 |
| done | 5000 | 14 |
| 0 | 13 | 16 |
| 1 | 31 | 14 |
| 2 | 52 | 14 |
| 3 | 83 | 14 |
| 4 | 170 | 14 |
| 5 | 503 | 14 |
| 6 | 2238 | 14 |
| done | 5000 | 14 |
| 0 | 12 | 15 |
| 1 | 32 | 15 |
| 2 | 45 | 15 |
| 3 | 75 | 15 |
| 4 | 139 | 15 |
| 5 | 285 | 15 |
| 6 | 720 | 15 |
| 7 | 2584 | 15 |
| done | 5001 | 15 |
| 0 | 12 | 15 |
| 1 | 33 | 15 |
| 2 | 59 | 15 |
| 3 | 121 | 15 |
| 4 | 275 | 15 |
| 5 | 702 | 15 |
| 6 | 2600 | 15 |
| done | 5000 | 15 |
| 0 | 13 | 16 |
| 1 | 33 | 16 |
| 2 | 62 | 16 |
| 3 | 127 | 16 |
| 4 | 339 | 16 |
| 5 | 1017 | 16 |
| 6 | 4241 | 16 |
| done | 5000 | 16 |
| 0 | 13 | 16 |
| 1 | 34 | 16 |
| 2 | 78 | 16 |
| 3 | 188 | 16 |
| 4 | 616 | 16 |
| 5 | 2162 | 16 |
| done | 5001 | 16 |
| 0 | 12 | 15 |
| 1 | 32 | 15 |
| 2 | 45 | 15 |
| 3 | 75 | 15 |
| 4 | 139 | 15 |
| 5 | 285 | 15 |
| 6 | 720 | 15 |
| 7 | 2584 | 15 |
| done | 5001 | 15 |
| 0 | 12 | 15 |
| 1 | 33 | 15 |
| 2 | 59 | 15 |
| 3 | 121 | 15 |
| 4 | 275 | 15 |
| 5 | 702 | 15 |
| 6 | 2600 | 15 |
| done | 5000 | 15 |
| 0 | 13 | 16 |
| 1 | 33 | 16 |
| 2 | 62 | 16 |
| 3 | 127 | 16 |
| 4 | 339 | 16 |
| 5 | 1017 | 16 |
| 6 | 4241 | 16 |
| done | 5000 | 16 |
| 0 | 13 | 16 |
| 1 | 34 | 16 |
| 2 | 78 | 16 |
| 3 | 188 | 16 |
| 4 | 616 | 16 |
| 5 | 2162 | 16 |
| done | 5001 | 16 |
| 0 | 12 | 15 |
| 1 | 35 | 15 |
| 2 | 67 | 15 |
| 3 | 200 | 15 |
| 4 | 642 | 15 |
| 5 | 2062 | 15 |
| done | 5000 | 15 |
| 0 | 12 | 15 |
| 1 | 36 | 15 |
| 2 | 69 | 15 |
| 3 | 202 | 15 |
| 4 | 646 | 15 |
| 5 | 2063 | 15 |
| done | 5000 | 15 |
| 0 | 13 | 16 |
| 1 | 30 | 14 |
| 2 | 44 | 14 |
| 3 | 62 | 14 |
| 4 | 100 | 14 |
| 5 | 209 | 14 |
| 6 | 613 | 14 |
| 7 | 2465 | 14 |
| done | 5000 | 14 |
| 0 | 13 | 16 |
| 1 | 31 | 14 |
| 2 | 52 | 14 |
| 3 | 83 | 14 |
| 4 | 170 | 14 |
| 5 | 503 | 14 |
| 6 | 2238 | 14 |
| done | 5000 | 14 |
| 0 | 12 | 15 |
| 1 | 32 | 15 |
| 2 | 46 | 15 |
| 3 | 76 | 15 |
| 4 | 142 | 15 |
| 5 | 290 | 15 |
| 6 | 736 | 15 |
| 7 | 2592 | 15 |
| done | 5001 | 15 |
| 0 | 12 | 15 |
| 1 | 33 | 15 |
| 2 | 57 | 15 |
| 3 | 113 | 15 |
| 4 | 245 | 15 |
| 5 | 521 | 15 |
| 6 | 1302 | 15 |
| 7 | 4598 | 15 |
| done | 5000 | 15 |
| 0 | 13 | 16 |
| 1 | 33 | 16 |
| 2 | 63 | 16 |
| 3 | 128 | 16 |
| 4 | 342 | 16 |
| 5 | 1019 | 16 |
| 6 | 4238 | 16 |
| done | 5000 | 16 |
| 0 | 13 | 16 |
| 1 | 34 | 16 |
| 2 | 76 | 16 |
| 3 | 180 | 16 |
| 4 | 579 | 16 |
| 5 | 1977 | 16 |
| done | 5000 | 16 |
| 0 | 12 | 15 |
| 1 | 32 | 15 |
| 2 | 46 | 15 |
| 3 | 76 | 15 |
| 4 | 142 | 15 |
| 5 | 290 | 15 |
| 6 | 736 | 15 |
| 7 | 2592 | 15 |
| done | 5001 | 15 |
| 0 | 12 | 15 |
| 1 | 33 | 15 |
| 2 | 57 | 15 |
| 3 | 113 | 15 |
| 4 | 245 | 15 |
| 5 | 521 | 15 |
| 6 | 1302 | 15 |
| 7 | 4598 | 15 |
| done | 5000 | 15 |
| 0 | 13 | 16 |
| 1 | 33 | 16 |
| 2 | 63 | 16 |
| 3 | 128 | 16 |
| 4 | 342 | 16 |
| 5 | 1019 | 16 |
| 6 | 4238 | 16 |
| done | 5000 | 16 |
| 0 | 13 | 16 |
| 1 | 34 | 16 |
| 2 | 76 | 16 |
| 3 | 180 | 16 |
| 4 | 579 | 16 |
| 5 | 1977 | 16 |
| done | 5000 | 16 |
| 0 | 12 | 15 |
| 1 | 35 | 15 |
| 2 | 68 | 15 |
| 3 | 201 | 15 |
| 4 | 642 | 15 |
| 5 | 2061 | 15 |
| done | 5001 | 15 |
| 0 | 12 | 15 |
| 1 | 36 | 15 |
| 2 | 70 | 15 |
| 3 | 203 | 15 |
| 4 | 644 | 15 |
| 5 | 2058 | 15 |
| done | 5000 | 15 |
| 0 | 13 | 16 |
| 1 | 29 | 14 |
| 2 | 45 | 14 |
| 3 | 63 | 14 |
| 4 | 103 | 14 |
| 5 | 223 | 14 |
| 6 | 628 | 14 |
| 7 | 2477 | 14 |
| done | 5000 | 14 |
| 0 | 13 | 16 |
| 1 | 31 | 14 |
| 2 | 50 | 14 |
| 3 | 75 | 14 |
| 4 | 136 | 14 |
| 5 | 326 | 14 |
| 6 | 1058 | 14 |
| 7 | 4274 | 14 |
| done | 5000 | 14 |
| 0 | 13 | 16 |
| 1 | 29 | 14 |
| 2 | 44 | 14 |
| 3 | 73 | 14 |
| 4 | 136 | 14 |
| 5 | 283 | 14 |
| 6 | 713 | 14 |
| 7 | 2583 | 14 |
| done | 5000 | 14 |
| 0 | 13 | 16 |
| 1 | 31 | 14 |
| 2 | 58 | 14 |
| 3 | 119 | 14 |
| 4 | 273 | 14 |
| 5 | 698 | 14 |
| 6 | 2612 | 14 |
| done | 5001 | 14 |
| 0 | 14 | 17 |
| 1 | 31 | 15 |
| 2 | 61 | 15 |
| 3 | 125 | 15 |
| 4 | 338 | 15 |
| 5 | 1013 | 15 |
| 6 | 4242 | 15 |
| done | 5001 | 15 |
| 0 | 14 | 17 |
| 1 | 32 | 15 |
| 2 | 77 | 15 |
| 3 | 186 | 15 |
| 4 | 610 | 15 |
| 5 | 2164 | 15 |
| done | 5001 | 15 |
| 0 | 13 | 16 |
| 1 | 29 | 14 |
| 2 | 44 | 14 |
| 3 | 73 | 14 |
| 4 | 136 | 14 |
| 5 | 283 | 14 |
| 6 | 713 | 14 |
| 7 | 2583 | 14 |
| done | 5000 | 14 |
| 0 | 13 | 16 |
| 1 | 31 | 14 |
| 2 | 58 | 14 |
| 3 | 119 | 14 |
| 4 | 273 | 14 |
| 5 | 698 | 14 |
| 6 | 2612 | 14 |
| done | 5001 | 14 |
| 0 | 14 | 17 |
| 1 | 31 | 15 |
| 2 | 61 | 15 |
| 3 | 125 | 15 |
| 4 | 338 | 15 |
| 5 | 1013 | 15 |
| 6 | 4242 | 15 |
| done | 5001 | 15 |
| 0 | 14 | 17 |
| 1 | 32 | 15 |
| 2 | 77 | 15 |
| 3 | 186 | 15 |
| 4 | 610 | 15 |
| 5 | 2164 | 15 |
| done | 5001 | 15 |
| 0 | 13 | 16 |
| 1 | 32 | 14 |
| 2 | 66 | 14 |
| 3 | 198 | 14 |
| 4 | 636 | 14 |
| 5 | 2044 | 14 |
| done | 5000 | 14 |
| 0 | 13 | 16 |
| 1 | 34 | 14 |
| 2 | 68 | 14 |
| 3 | 200 | 14 |
| 4 | 636 | 14 |
| 5 | 2051 | 14 |
| done | 5001 | 14 |
| 0 | 12 | 17 |
| 1 | 26 | 13 |
| 2 | 39 | 13 |
| 3 | 58 | 13 |
| 4 | 97 | 13 |
| 5 | 211 | 13 |
| 6 | 621 | 13 |
| 7 | 2467 | 13 |
| done | 5000 | 13 |
| 0 | 12 | 17 |
| 1 | 27 | 13 |
| 2 | 47 | 13 |
| 3 | 79 | 13 |
| 4 | 164 | 13 |
| 5 | 495 | 13 |
| 6 | 2247 | 13 |
| done | 5000 | 13 |
| 0 | 10 | 13 |
| 1 | 34 | 13 |
| 2 | 80 | 13 |
| 3 | 267 | 13 |
| 4 | 1025 | 13 |
| 5 | 3945 | 13 |
| done | 5001 | 13 |
| 0 | 10 | 13 |
| 1 | 34 | 13 |
| 2 | 80 | 13 |
| 3 | 267 | 13 |
| 4 | 1025 | 13 |
| 5 | 3945 | 13 |
| done | 5001 | 13 |
| 0 | 10 | 13 |
| 1 | 34 | 13 |
| 2 | 80 | 13 |
| 3 | 267 | 13 |
| 4 | 1025 | 13 |
| 5 | 3945 | 13 |
| done | 5001 | 13 |
| 0 | 10 | 13 |
| 1 | 34 | 13 |
| 2 | 80 | 13 |
| 3 | 267 | 13 |
| 4 | 1025 | 13 |
| 5 | 3945 | 13 |
| done | 5001 | 13 |
| 0 | 10 | 13 |
| 1 | 34 | 13 |
| 2 | 80 | 13 |
| 3 | 267 | 13 |
| 4 | 1025 | 13 |
| 5 | 3945 | 13 |
| done | 5001 | 13 |
| 0 | 9 | 10 |
| 1 | 26 | 10 |
| 2 | 65 | 10 |
| 3 | 239 | 10 |
| 4 | 952 | 10 |
| 5 | 3644 | 10 |
| done | 5000 | 10 |
| 0 | 15 | 35 |
| 1 | 50 | 35 |
| 2 | 132 | 35 |
| 3 | 438 | 35 |
| 4 | 1898 | 35 |
| done | 5001 | 35 |
| 0 | 18 | 38 |
| 1 | 52 | 38 |
| 2 | 119 | 38 |
| 3 | 360 | 38 |
| 4 | 1311 | 38 |
| 5 | 4887 | 38 |
| done | 5000 | 38 |
| 0 | 18 | 38 |
| 1 | 55 | 38 |
| 2 | 124 | 35 |
| 3 | 375 | 35 |
| 4 | 1414 | 35 |
| done | 5002 | 35 |
| 0 | 19 | 77 |
| 1 | 53 | 77 |
| 2 | 120 | 77 |
| 3 | 361 | 77 |
| 4 | 1314 | 77 |
| 5 | 4892 | 77 |
| done | 5000 | 77 |
| 0 | 18 | 38 |
| 1 | 52 | 38 |
| 2 | 119 | 38 |
| 3 | 360 | 38 |
| 4 | 1311 | 38 |
| 5 | 4887 | 38 |
| done | 5000 | 38 |
| 0 | 19 | 113 |
| 1 | 54 | 113 |
| 2 | 134 | 39 |
| 3 | 415 | 39 |
| 4 | 1513 | 39 |
| done | 5001 | 39 |
| 0 | 18 | 38 |
| 1 | 52 | 38 |
| 2 | 119 | 38 |
| 3 | 360 | 38 |
| 4 | 1311 | 38 |
| 5 | 4887 | 38 |
| done | 5000 | 38 |
| 0 | 18 | 38 |
| 1 | 52 | 38 |
| 2 | 119 | 38 |
| 3 | 360 | 38 |
| 4 | 1311 | 38 |
| 5 | 4887 | 38 |
| done | 5000 | 38 |
| 0 | 19 | 41 |
| 1 | 63 | 41 |
| 2 | 148 | 41 |
| 3 | 420 | 41 |
| 4 | 1459 | 41 |
| done | 5000 | 41 |
| 0 | 21 | 113 |
| 1 | 60 | 90 |
| 2 | 134 | 90 |
| 3 | 378 | 90 |
| 4 | 1338 | 90 |
| 5 | 4990 | 90 |
| done | 5000 | 90 |
| 0 | 12 | 23 |
| 1 | 28 | 23 |
| 2 | 56 | 23 |
| 3 | 135 | 23 |
| 4 | 409 | 23 |
| 5 | 1212 | 23 |
| 6 | 3169 | 23 |
| done | 5000 | 23 |
| 0 | 19 | 75 |
| 1 | 56 | 75 |
| 2 | 129 | 75 |
| 3 | 385 | 75 |
| 4 | 1386 | 75 |
| done | 5000 | 75 |
| 0 | 17 | 37 |
| 1 | 50 | 37 |
| 2 | 116 | 37 |
| 3 | 357 | 37 |
| 4 | 1305 | 37 |
| 5 | 4871 | 37 |
| done | 5000 | 37 |
| 0 | 19 | 39 |
| 1 | 52 | 39 |
| 2 | 118 | 39 |
| 3 | 359 | 39 |
| 4 | 1308 | 39 |
| 5 | 4870 | 39 |
| done | 5000 | 39 |
| 0 | 19 | 39 |
| 1 | 53 | 39 |
| 2 | 120 | 39 |
| 3 | 361 | 39 |
| 4 | 1308 | 39 |
| 5 | 4877 | 39 |
| done | 5000 | 39 |
| 0 | 17 | 37 |
| 1 | 51 | 37 |
| 2 | 118 | 37 |
| 3 | 359 | 37 |
| 4 | 1310 | 37 |
| 5 | 4887 | 37 |
| done | 5000 | 37 |
| 0 | 17 | 37 |
| 1 | 51 | 37 |
| 2 | 118 | 37 |
| 3 | 359 | 37 |
| 4 | 1310 | 37 |
| 5 | 4887 | 37 |
| done | 5000 | 37 |
| 0 | 17 | 37 |
| 1 | 51 | 37 |
| 2 | 118 | 37 |
| 3 | 359 | 37 |
| 4 | 1310 | 37 |
| 5 | 4887 | 37 |
| done | 5000 | 37 |
| 0 | 17 | 37 |
| 1 | 51 | 37 |
| 2 | 118 | 37 |
| 3 | 359 | 37 |
| 4 | 1310 | 37 |
| 5 | 4887 | 37 |
| done | 5000 | 37 |
| 0 | 19 | 61 |
| 1 | 55 | 61 |
| 2 | 127 | 40 |
| 3 | 378 | 40 |
| 4 | 1345 | 40 |
| 5 | 4950 | 40 |
| done | 5000 | 40 |
| 0 | 18 | 38 |
| 1 | 52 | 38 |
| 2 | 119 | 38 |
| 3 | 360 | 38 |
| 4 | 1314 | 38 |
| 5 | 4892 | 38 |
| done | 5000 | 38 |
| 0 | 14 | 17 |
| 1 | 42 | 16 |
| 2 | 89 | 14 |
| 3 | 286 | 14 |
| 4 | 1056 | 14 |
| 5 | 3994 | 14 |
| done | 5000 | 14 |
| 0 | 18 | 38 |
| 1 | 52 | 38 |
| 2 | 119 | 38 |
| 3 | 357 | 38 |
| 4 | 1301 | 38 |
| 5 | 4849 | 38 |
| done | 5000 | 38 |
| 0 | 18 | 38 |
| 1 | 52 | 38 |
| 2 | 119 | 38 |
| 3 | 357 | 38 |
| 4 | 1301 | 38 |
| 5 | 4849 | 38 |
| done | 5000 | 38 |
| 0 | 14 | 33 |
| 1 | 34 | 33 |
| 2 | 68 | 33 |
| 3 | 157 | 33 |
| 4 | 448 | 33 |
| 5 | 1250 | 33 |
| 6 | 3241 | 33 |
| done | 5001 | 33 |
| 0 | 17 | 37 |
| 1 | 51 | 37 |
| 2 | 118 | 37 |
| 3 | 359 | 37 |
| 4 | 1310 | 37 |
| 5 | 4887 | 37 |
| done | 5000 | 37 |
| 0 | 19 | 39 |
| 1 | 52 | 39 |
| 2 | 103 | 39 |
| 3 | 257 | 39 |
| 4 | 744 | 39 |
| 5 | 2120 | 39 |
| done | 5000 | 39 |
| 0 | 21 | 40 |
| 1 | 57 | 40 |
| 2 | 128 | 40 |
| 3 | 320 | 40 |
| 4 | 1084 | 40 |
| 5 | 4076 | 40 |
| done | 5001 | 40 |
| 0 | 19 | 39 |
| 1 | 52 | 39 |
| 2 | 103 | 39 |
| 3 | 257 | 39 |
| 4 | 744 | 39 |
| 5 | 2120 | 39 |
| done | 5000 | 39 |
| 0 | 21 | 40 |
| 1 | 57 | 40 |
| 2 | 128 | 40 |
| 3 | 320 | 40 |
| 4 | 1084 | 40 |
| 5 | 4076 | 40 |
| done | 5001 | 40 |
| 0 | 19 | 39 |
| 1 | 54 | 39 |
| 2 | 108 | 39 |
| 3 | 292 | 39 |
| 4 | 914 | 39 |
| 5 | 2954 | 39 |
| done | 5000 | 39 |
| 0 | 20 | 40 |
| 1 | 50 | 38 |
| 2 | 96 | 38 |
| 3 | 207 | 38 |
| 4 | 575 | 38 |
| 5 | 1729 | 38 |
| done | 5000 | 38 |
| 0 | 19 | 39 |
| 1 | 52 | 39 |
| 2 | 103 | 39 |
| 3 | 257 | 39 |
| 4 | 744 | 39 |
| 5 | 2120 | 39 |
| done | 5000 | 39 |
| 0 | 21 | 40 |
| 1 | 57 | 40 |
| 2 | 128 | 40 |
| 3 | 320 | 40 |
| 4 | 1084 | 40 |
| 5 | 4076 | 40 |
| done | 5001 | 40 |
| 0 | 19 | 39 |
| 1 | 52 | 39 |
| 2 | 103 | 39 |
| 3 | 257 | 39 |
| 4 | 744 | 39 |
| 5 | 2120 | 39 |
| done | 5000 | 39 |
| 0 | 21 | 40 |
| 1 | 57 | 40 |
| 2 | 128 | 40 |
| 3 | 320 | 40 |
| 4 | 1084 | 40 |
| 5 | 4076 | 40 |
| done | 5001 | 40 |
| 0 | 19 | 39 |
| 1 | 54 | 39 |
| 2 | 108 | 39 |
| 3 | 292 | 39 |
| 4 | 914 | 39 |
| 5 | 2954 | 39 |
| done | 5000 | 39 |
| 0 | 20 | 40 |
| 1 | 50 | 38 |
| 2 | 96 | 38 |
| 3 | 207 | 38 |
| 4 | 575 | 38 |
| 5 | 1729 | 38 |
| done | 5000 | 38 |
| 0 | 19 | 39 |
| 1 | 51 | 39 |
| 2 | 100 | 39 |
| 3 | 245 | 39 |
| 4 | 697 | 39 |
| 5 | 1902 | 39 |
| done | 5002 | 39 |
| 0 | 21 | 40 |
| 1 | 56 | 40 |
| 2 | 125 | 40 |
| 3 | 308 | 40 |
| 4 | 1033 | 40 |
| 5 | 3859 | 40 |
| done | 5001 | 40 |
| 0 | 19 | 39 |
| 1 | 51 | 39 |
| 2 | 100 | 39 |
| 3 | 245 | 39 |
| 4 | 697 | 39 |
| 5 | 1902 | 39 |
| done | 5002 | 39 |
| 0 | 21 | 40 |
| 1 | 56 | 40 |
| 2 | 125 | 40 |
| 3 | 308 | 40 |
| 4 | 1033 | 40 |
| 5 | 3859 | 40 |
| done | 5001 | 40 |
| 0 | 19 | 39 |
| 1 | 53 | 39 |
| 2 | 108 | 39 |
| 3 | 292 | 39 |
| 4 | 912 | 39 |
| 5 | 2953 | 39 |
| done | 5000 | 39 |
| 0 | 20 | 40 |
| 1 | 49 | 38 |
| 2 | 93 | 38 |
| 3 | 195 | 38 |
| 4 | 531 | 38 |
| 5 | 1522 | 38 |
| 6 | 4218 | 38 |
| done | 5000 | 38 |
| 0 | 20 | 40 |
| 1 | 50 | 38 |
| 2 | 102 | 38 |
| 3 | 255 | 38 |
| 4 | 743 | 38 |
| 5 | 2120 | 38 |
| done | 5001 | 38 |
| 0 | 22 | 41 |
| 1 | 55 | 39 |
| 2 | 127 | 39 |
| 3 | 318 | 39 |
| 4 | 1087 | 39 |
| 5 | 4078 | 39 |
| done | 5001 | 39 |
| 0 | 20 | 40 |
| 1 | 50 | 38 |
| 2 | 102 | 38 |
| 3 | 255 | 38 |
| 4 | 743 | 38 |
| 5 | 2120 | 38 |
| done | 5001 | 38 |
| 0 | 22 | 41 |
| 1 | 55 | 39 |
| 2 | 127 | 39 |
| 3 | 318 | 39 |
| 4 | 1087 | 39 |
| 5 | 4078 | 39 |
| done | 5001 | 39 |
| 0 | 20 | 40 |
| 1 | 52 | 38 |
| 2 | 107 | 38 |
| 3 | 290 | 38 |
| 4 | 909 | 38 |
| 5 | 2956 | 38 |
| done | 5001 | 38 |
| 0 | 19 | 41 |
| 1 | 45 | 37 |
| 2 | 90 | 37 |
| 3 | 208 | 37 |
| 4 | 591 | 37 |
| 5 | 1757 | 37 |
| done | 5001 | 37 |
| 0 | 17 | 37 |
| 1 | 51 | 37 |
| 2 | 118 | 37 |
| 3 | 359 | 37 |
| 4 | 1310 | 37 |
| 5 | 4887 | 37 |
| done | 5000 | 37 |
| 0 | 17 | 37 |
| 1 | 51 | 37 |
| 2 | 118 | 37 |
| 3 | 359 | 37 |
| 4 | 1310 | 37 |
| 5 | 4887 | 37 |
| done | 5000 | 37 |
| 0 | 17 | 37 |
| 1 | 51 | 37 |
| 2 | 118 | 37 |
| 3 | 359 | 37 |
| 4 | 1310 | 37 |
| 5 | 4887 | 37 |
| done | 5000 | 37 |
| 0 | 17 | 37 |
| 1 | 51 | 37 |
| 2 | 118 | 37 |
| 3 | 359 | 37 |
| 4 | 1310 | 37 |
| 5 | 4887 | 37 |
| done | 5000 | 37 |
| 0 | 17 | 37 |
| 1 | 51 | 37 |
| 2 | 118 | 37 |
| 3 | 359 | 37 |
| 4 | 1310 | 37 |
| 5 | 4887 | 37 |
| done | 5000 | 37 |
| 0 | 21 | 65 |
| 1 | 63 | 51 |
| 2 | 201 | 51 |
| 3 | 809 | 51 |
| done | 5000 | 51 |
| 0 | 17 | 37 |
| 1 | 49 | 37 |
| 2 | 100 | 37 |
| 3 | 284 | 37 |
| 4 | 907 | 37 |
| 5 | 2955 | 37 |
| done | 5001 | 37 |
| 0 | 19 | 41 |
| 1 | 66 | 41 |
| 2 | 206 | 39 |
| 3 | 906 | 39 |
| done | 5002 | 39 |
| 0 | 19 | 59 |
| 1 | 65 | 57 |
| 2 | 203 | 55 |
| 3 | 737 | 55 |
| 4 | 3409 | 55 |
| done | 5000 | 55 |
| 0 | 12 | 23 |
| 1 | 28 | 23 |
| 2 | 56 | 23 |
| 3 | 135 | 23 |
| 4 | 409 | 23 |
| 5 | 1212 | 23 |
| 6 | 3169 | 23 |
| done | 5000 | 23 |
| 0 | 14 | 16 |
| 1 | 35 | 16 |
| 2 | 98 | 16 |
| 3 | 185 | 14 |
| 4 | 344 | 14 |
| 5 | 723 | 14 |
| 6 | 2168 | 14 |
| done | 5000 | 14 |
| 0 | 22 | 30 |
| 1 | 53 | 27 |
| 2 | 127 | 21 |
| 3 | 315 | 19 |
| 4 | 546 | 17 |
| 5 | 1131 | 15 |
| 6 | 3762 | 15 |
| done | 5001 | 15 |
| 0 | 24 | 30 |
| 1 | 54 | 29 |
| 2 | 122 | 23 |
| 3 | 305 | 23 |
| 4 | 639 | 21 |
| 5 | 1775 | 19 |
| done | 5000 | 19 |
| 0 | 8 | 10 |
| 1 | 15 | 10 |
| 2 | 30 | 8 |
| 3 | 38 | 8 |
| 4 | 45 | 8 |
| 5 | 56 | 8 |
| 6 | 79 | 8 |
| 7 | 111 | 8 |
| 8 | 143 | 8 |
| 9 | 150 | 8 |
| 10 | 175 | 8 |
| 11 | 198 | 8 |
| 12 | 199 | 8 |
| done | 199 | 8 |
| 0 | 19 | 28 |
| 1 | 46 | 25 |
| 2 | 105 | 19 |
| 3 | 233 | 17 |
| 4 | 395 | 15 |
| 5 | 677 | 15 |
| 6 | 1068 | 15 |
| 7 | 1341 | 15 |
| 8 | 1455 | 15 |
| 9 | 1537 | 15 |
| 10 | 2099 | 15 |
| done | 5000 | 15 |
| 0 | 22 | 28 |
| 1 | 48 | 27 |
| 2 | 101 | 21 |
| 3 | 215 | 21 |
| 4 | 399 | 19 |
| 5 | 1209 | 19 |
| 6 | 3020 | 15 |
| done | 5001 | 15 |
| 0 | 13 | 15 |
| 1 | 34 | 15 |
| 2 | 97 | 15 |
| 3 | 184 | 13 |
| 4 | 354 | 13 |
| 5 | 766 | 13 |
| 6 | 2353 | 13 |
| done | 5000 | 13 |
| 0 | 15 | 23 |
| 1 | 44 | 23 |
| 2 | 152 | 21 |
| 3 | 376 | 19 |
| 4 | 1038 | 17 |
| 5 | 3983 | 15 |
| done | 5001 | 15 |
| 0 | 15 | 23 |
| 1 | 44 | 23 |
| 2 | 152 | 21 |
| 3 | 376 | 19 |
| 4 | 1038 | 17 |
| 5 | 3983 | 15 |
| done | 5001 | 15 |
| 0 | 11 | 13 |
| 1 | 24 | 13 |
| 2 | 49 | 13 |
| 3 | 83 | 11 |
| 4 | 131 | 11 |
| 5 | 184 | 11 |
| 6 | 280 | 11 |
| 7 | 417 | 11 |
| 8 | 649 | 11 |
| 9 | 1569 | 11 |
| done | 5000 | 11 |
| 0 | 13 | 21 |
| 1 | 35 | 19 |
| 2 | 78 | 13 |
| 3 | 227 | 13 |
| 4 | 545 | 13 |
| 5 | 1083 | 13 |
| 6 | 1395 | 13 |
| 7 | 1437 | 13 |
| 8 | 1466 | 13 |
| 9 | 1740 | 13 |
| 10 | 3839 | 13 |
| done | 5001 | 13 |
| 0 | 16 | 21 |
| 1 | 36 | 21 |
| 2 | 79 | 17 |
| 3 | 222 | 17 |
| 4 | 808 | 17 |
| 5 | 2783 | 15 |
| done | 5000 | 15 |
3 alts after pruning (1 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 169 | 0 | 169 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 169 | 3 | 172 |
Merged error: 0b
Found 4 expressions with local error:
| 0.0b | (- 1.0 (log (- (* (+ (/ 1.0 y) 1) (/ x y)) (/ 1.0 y)))) |
| 0.0b | (- (* (+ (/ 1.0 y) 1) (/ x y)) (/ 1.0 y)) |
| 0.1b | (* (+ (/ 1.0 y) 1) (/ x y)) |
| 3.2b | (log (- (* (+ (/ 1.0 y) 1) (/ x y)) (/ 1.0 y))) |
| 21× | add-sqr-sqrt |
| 19× | *-un-lft-identity |
| 16× | log-div |
| 15× | frac-sub |
| 14× | add-cube-cbrt |
| 13× | associate-*r* |
| 10× | add-exp-log times-frac |
| 9× | add-cbrt-cube |
| 8× | pow1 frac-times flip3-+ associate-*l/ flip-+ associate--r- |
| 7× | associate-*r/ add-log-exp |
| 6× | log-prod |
| 4× | flip3-- associate-*l* flip-- |
| 3× | associate--r+ sub-div |
| 2× | sub-neg diff-log prod-exp log-pow cbrt-unprod distribute-lft-out-- unswap-sqr |
| 1× | cbrt-undiv div-exp rem-log-exp pow-prod-down *-commutative div-inv distribute-lft-out difference-of-squares |
| 19.0ms | (- 1.0 (log (- (* (+ (/ 1.0 y) 1) (/ x y)) (/ 1.0 y)))) |
| 20.0ms | (- (* (+ (/ 1.0 y) 1) (/ x y)) (/ 1.0 y)) |
| 14.0ms | (* (+ (/ 1.0 y) 1) (/ x y)) |
| 16.0ms | (log (- (* (+ (/ 1.0 y) 1) (/ x y)) (/ 1.0 y))) |
| 15.0ms | (- 1.0 (log (- (* (+ (/ 1.0 y) 1) (/ x y)) (/ 1.0 y)))) |
| 7.0ms | (- (* (+ (/ 1.0 y) 1) (/ x y)) (/ 1.0 y)) |
| 7.0ms | (* (+ (/ 1.0 y) 1) (/ x y)) |
| 12.0ms | (log (- (* (+ (/ 1.0 y) 1) (/ x y)) (/ 1.0 y))) |
Useful iterations: 1 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 12 | 30 |
| 1 | 22 | 30 |
| 2 | 38 | 17 |
| 3 | 71 | 17 |
| 4 | 127 | 17 |
| 5 | 234 | 17 |
| 6 | 330 | 17 |
| 7 | 492 | 17 |
| 8 | 945 | 17 |
| 9 | 2042 | 17 |
| 10 | 2699 | 15 |
| 11 | 3084 | 15 |
| 12 | 3121 | 15 |
| done | 3121 | 15 |
| 0 | 11 | 15 |
| 1 | 19 | 15 |
| 2 | 33 | 15 |
| 3 | 65 | 15 |
| 4 | 121 | 15 |
| 5 | 224 | 15 |
| 6 | 322 | 15 |
| 7 | 478 | 15 |
| 8 | 930 | 15 |
| 9 | 2040 | 15 |
| 10 | 2728 | 13 |
| 11 | 3149 | 13 |
| 12 | 3186 | 13 |
| done | 3186 | 13 |
| 0 | 11 | 15 |
| 1 | 19 | 15 |
| 2 | 33 | 15 |
| 3 | 65 | 15 |
| 4 | 121 | 15 |
| 5 | 224 | 15 |
| 6 | 322 | 15 |
| 7 | 478 | 15 |
| 8 | 930 | 15 |
| 9 | 2040 | 15 |
| 10 | 2728 | 13 |
| 11 | 3149 | 13 |
| 12 | 3186 | 13 |
| done | 3186 | 13 |
| 0 | 11 | 15 |
| 1 | 19 | 15 |
| 2 | 33 | 15 |
| 3 | 65 | 15 |
| 4 | 121 | 15 |
| 5 | 224 | 15 |
| 6 | 322 | 15 |
| 7 | 478 | 15 |
| 8 | 930 | 15 |
| 9 | 2040 | 15 |
| 10 | 2728 | 13 |
| 11 | 3149 | 13 |
| 12 | 3186 | 13 |
| done | 3186 | 13 |
| 0 | 2 | 2 |
| 1 | 4 | 1 |
| done | 4 | 1 |
| 0 | 10 | 14 |
| 1 | 18 | 14 |
| 2 | 32 | 14 |
| 3 | 64 | 14 |
| 4 | 120 | 14 |
| 5 | 223 | 14 |
| 6 | 321 | 14 |
| 7 | 479 | 14 |
| 8 | 934 | 14 |
| 9 | 2035 | 14 |
| 10 | 2740 | 12 |
| 11 | 3173 | 12 |
| 12 | 3315 | 12 |
| 13 | 3452 | 12 |
| 14 | 3951 | 12 |
| done | 5001 | 12 |
| 0 | 9 | 10 |
| 1 | 15 | 10 |
| 2 | 24 | 10 |
| 3 | 40 | 10 |
| 4 | 46 | 10 |
| 5 | 52 | 10 |
| 6 | 61 | 10 |
| 7 | 85 | 10 |
| 8 | 134 | 10 |
| 9 | 182 | 10 |
| 10 | 213 | 10 |
| 11 | 253 | 10 |
| 12 | 295 | 10 |
| 13 | 428 | 10 |
| 14 | 712 | 10 |
| 15 | 920 | 10 |
| 16 | 997 | 10 |
| 17 | 1005 | 10 |
| 18 | 1022 | 10 |
| 19 | 1043 | 10 |
| 20 | 1125 | 10 |
| 21 | 1392 | 10 |
| 22 | 2497 | 10 |
| done | 5000 | 10 |
| 0 | 2 | 2 |
| done | 2 | 2 |
| 0 | 20 | 36 |
| 1 | 59 | 30 |
| 2 | 173 | 30 |
| 3 | 474 | 26 |
| 4 | 1825 | 26 |
| done | 5000 | 26 |
| 0 | 12 | 22 |
| 1 | 35 | 18 |
| 2 | 95 | 18 |
| 3 | 220 | 16 |
| 4 | 561 | 16 |
| 5 | 1193 | 10 |
| 6 | 3558 | 10 |
| done | 5000 | 10 |
| 0 | 15 | 26 |
| 1 | 38 | 24 |
| 2 | 95 | 24 |
| 3 | 285 | 22 |
| 4 | 787 | 18 |
| 5 | 1973 | 14 |
| done | 5000 | 14 |
| 0 | 8 | 10 |
| 1 | 20 | 10 |
| 2 | 34 | 10 |
| 3 | 58 | 10 |
| 4 | 75 | 10 |
| 5 | 84 | 8 |
| 6 | 96 | 8 |
| 7 | 102 | 6 |
| 8 | 173 | 6 |
| 9 | 390 | 6 |
| 10 | 1081 | 6 |
| 11 | 2438 | 6 |
| done | 5000 | 6 |
| 0 | 11 | 14 |
| 1 | 21 | 14 |
| 2 | 44 | 12 |
| 3 | 83 | 12 |
| 4 | 130 | 12 |
| 5 | 179 | 12 |
| 6 | 304 | 10 |
| 7 | 543 | 10 |
| 8 | 1359 | 10 |
| done | 5000 | 10 |
| 0 | 3 | 4 |
| 1 | 5 | 4 |
| 2 | 7 | 4 |
| 3 | 8 | 4 |
| done | 8 | 4 |
| 0 | 20 | 36 |
| 1 | 58 | 30 |
| 2 | 169 | 30 |
| 3 | 428 | 28 |
| 4 | 1648 | 26 |
| done | 5000 | 24 |
| 0 | 11 | 20 |
| 1 | 31 | 16 |
| 2 | 85 | 16 |
| 3 | 179 | 14 |
| 4 | 406 | 14 |
| 5 | 796 | 10 |
| 6 | 2150 | 10 |
| done | 5000 | 10 |
| 0 | 15 | 26 |
| 1 | 37 | 24 |
| 2 | 93 | 24 |
| 3 | 300 | 24 |
| 4 | 983 | 18 |
| 5 | 2655 | 16 |
| done | 5000 | 16 |
| 0 | 7 | 8 |
| 1 | 16 | 8 |
| 2 | 24 | 8 |
| 3 | 30 | 8 |
| 4 | 35 | 8 |
| 5 | 36 | 6 |
| 6 | 37 | 6 |
| done | 37 | 4 |
| 0 | 13 | 18 |
| 1 | 40 | 18 |
| 2 | 134 | 18 |
| 3 | 551 | 18 |
| 4 | 2448 | 18 |
| done | 5000 | 18 |
| 0 | 14 | 42 |
| 1 | 42 | 38 |
| 2 | 127 | 38 |
| 3 | 377 | 32 |
| 4 | 1248 | 32 |
| 5 | 3780 | 30 |
| done | 5000 | 30 |
| 0 | 12 | 28 |
| 1 | 34 | 28 |
| 2 | 106 | 28 |
| 3 | 351 | 28 |
| 4 | 1177 | 28 |
| 5 | 3506 | 28 |
| done | 5000 | 28 |
| 0 | 10 | 14 |
| 1 | 17 | 14 |
| 2 | 28 | 14 |
| 3 | 56 | 14 |
| 4 | 112 | 14 |
| 5 | 220 | 14 |
| 6 | 304 | 14 |
| 7 | 382 | 14 |
| 8 | 422 | 14 |
| 9 | 450 | 14 |
| 10 | 484 | 12 |
| 11 | 503 | 12 |
| 12 | 519 | 12 |
| 13 | 539 | 12 |
| 14 | 567 | 12 |
| 15 | 572 | 12 |
| 16 | 581 | 12 |
| done | 581 | 12 |
| 0 | 10 | 14 |
| 1 | 18 | 14 |
| 2 | 32 | 14 |
| 3 | 64 | 14 |
| 4 | 120 | 14 |
| 5 | 223 | 14 |
| 6 | 321 | 14 |
| 7 | 479 | 14 |
| 8 | 934 | 14 |
| 9 | 2035 | 14 |
| 10 | 2740 | 12 |
| 11 | 3173 | 12 |
| 12 | 3315 | 12 |
| 13 | 3452 | 12 |
| 14 | 3951 | 12 |
| done | 5001 | 12 |
| 0 | 11 | 15 |
| 1 | 19 | 15 |
| 2 | 33 | 15 |
| 3 | 65 | 15 |
| 4 | 121 | 15 |
| 5 | 224 | 15 |
| 6 | 322 | 15 |
| 7 | 480 | 15 |
| 8 | 935 | 15 |
| 9 | 2036 | 15 |
| 10 | 2742 | 13 |
| 11 | 3199 | 13 |
| 12 | 3336 | 13 |
| 13 | 3472 | 13 |
| 14 | 3962 | 13 |
| done | 5000 | 13 |
| 0 | 11 | 15 |
| 1 | 19 | 13 |
| 2 | 33 | 13 |
| 3 | 65 | 13 |
| 4 | 121 | 13 |
| 5 | 224 | 13 |
| 6 | 322 | 13 |
| 7 | 480 | 13 |
| 8 | 935 | 13 |
| 9 | 2036 | 13 |
| 10 | 2745 | 11 |
| 11 | 3216 | 11 |
| 12 | 3710 | 11 |
| 13 | 3919 | 11 |
| 14 | 4998 | 11 |
| done | 5000 | 11 |
| 0 | 12 | 31 |
| 1 | 20 | 31 |
| 2 | 34 | 31 |
| 3 | 66 | 31 |
| 4 | 122 | 31 |
| 5 | 225 | 31 |
| 6 | 323 | 31 |
| 7 | 481 | 31 |
| 8 | 935 | 31 |
| 9 | 2028 | 31 |
| 10 | 2754 | 27 |
| 11 | 3162 | 27 |
| 12 | 3299 | 27 |
| 13 | 3436 | 27 |
| 14 | 3922 | 27 |
| done | 5000 | 27 |
| 0 | 11 | 15 |
| 1 | 19 | 15 |
| 2 | 33 | 15 |
| 3 | 65 | 15 |
| 4 | 121 | 15 |
| 5 | 224 | 15 |
| 6 | 322 | 15 |
| 7 | 480 | 15 |
| 8 | 935 | 15 |
| 9 | 2036 | 15 |
| 10 | 2742 | 13 |
| 11 | 3199 | 13 |
| 12 | 3336 | 13 |
| 13 | 3472 | 13 |
| 14 | 3962 | 13 |
| done | 5000 | 13 |
| 0 | 12 | 44 |
| 1 | 21 | 44 |
| 2 | 37 | 16 |
| 3 | 74 | 16 |
| 4 | 136 | 16 |
| 5 | 249 | 16 |
| 6 | 368 | 16 |
| 7 | 587 | 16 |
| 8 | 1255 | 16 |
| 9 | 3296 | 16 |
| done | 5001 | 16 |
| 0 | 11 | 15 |
| 1 | 19 | 15 |
| 2 | 33 | 15 |
| 3 | 65 | 15 |
| 4 | 121 | 15 |
| 5 | 224 | 15 |
| 6 | 322 | 15 |
| 7 | 480 | 15 |
| 8 | 935 | 15 |
| 9 | 2036 | 15 |
| 10 | 2742 | 13 |
| 11 | 3199 | 13 |
| 12 | 3336 | 13 |
| 13 | 3472 | 13 |
| 14 | 3962 | 13 |
| done | 5000 | 13 |
| 0 | 11 | 15 |
| 1 | 19 | 15 |
| 2 | 33 | 15 |
| 3 | 65 | 15 |
| 4 | 121 | 15 |
| 5 | 224 | 15 |
| 6 | 322 | 15 |
| 7 | 480 | 15 |
| 8 | 935 | 15 |
| 9 | 2036 | 15 |
| 10 | 2742 | 13 |
| 11 | 3199 | 13 |
| 12 | 3336 | 13 |
| 13 | 3472 | 13 |
| 14 | 3962 | 13 |
| done | 5000 | 13 |
| 0 | 8 | 9 |
| 1 | 14 | 9 |
| 2 | 25 | 9 |
| 3 | 45 | 9 |
| 4 | 97 | 9 |
| 5 | 198 | 9 |
| 6 | 271 | 9 |
| 7 | 333 | 9 |
| 8 | 344 | 9 |
| done | 344 | 9 |
| 0 | 11 | 12 |
| 1 | 19 | 12 |
| 2 | 26 | 12 |
| 3 | 35 | 12 |
| 4 | 41 | 12 |
| 5 | 51 | 12 |
| 6 | 58 | 12 |
| 7 | 70 | 12 |
| 8 | 93 | 12 |
| 9 | 107 | 12 |
| 10 | 113 | 12 |
| done | 113 | 12 |
| 0 | 10 | 11 |
| 1 | 17 | 11 |
| 2 | 23 | 11 |
| 3 | 32 | 11 |
| 4 | 42 | 11 |
| 5 | 51 | 11 |
| 6 | 56 | 11 |
| 7 | 65 | 11 |
| 8 | 82 | 11 |
| 9 | 101 | 11 |
| 10 | 109 | 11 |
| done | 109 | 11 |
| 0 | 9 | 10 |
| 1 | 18 | 10 |
| 2 | 35 | 10 |
| 3 | 65 | 10 |
| 4 | 139 | 10 |
| 5 | 272 | 10 |
| 6 | 473 | 10 |
| 7 | 634 | 10 |
| 8 | 700 | 10 |
| 9 | 721 | 10 |
| 10 | 758 | 10 |
| done | 758 | 10 |
| 0 | 9 | 10 |
| 1 | 17 | 10 |
| 2 | 38 | 10 |
| 3 | 72 | 10 |
| 4 | 165 | 10 |
| 5 | 391 | 10 |
| 6 | 1066 | 10 |
| 7 | 4493 | 10 |
| done | 5000 | 10 |
| 0 | 14 | 29 |
| 1 | 44 | 29 |
| 2 | 166 | 15 |
| 3 | 774 | 13 |
| 4 | 4356 | 13 |
| done | 5000 | 13 |
| 0 | 12 | 29 |
| 1 | 40 | 29 |
| 2 | 133 | 13 |
| 3 | 514 | 13 |
| 4 | 2491 | 11 |
| done | 5000 | 11 |
| 0 | 10 | 21 |
| 1 | 16 | 21 |
| 2 | 27 | 21 |
| 3 | 47 | 21 |
| 4 | 99 | 21 |
| 5 | 198 | 21 |
| 6 | 271 | 21 |
| 7 | 325 | 21 |
| 8 | 336 | 21 |
| done | 336 | 21 |
| 0 | 9 | 10 |
| 1 | 15 | 10 |
| 2 | 26 | 10 |
| 3 | 46 | 10 |
| 4 | 98 | 10 |
| 5 | 201 | 10 |
| 6 | 280 | 10 |
| 7 | 342 | 10 |
| 8 | 354 | 10 |
| done | 354 | 10 |
| 0 | 10 | 29 |
| 1 | 26 | 29 |
| 2 | 112 | 11 |
| 3 | 558 | 11 |
| 4 | 2462 | 11 |
| done | 5000 | 11 |
| 0 | 9 | 10 |
| 1 | 15 | 10 |
| 2 | 26 | 10 |
| 3 | 46 | 10 |
| 4 | 98 | 10 |
| 5 | 201 | 10 |
| 6 | 280 | 10 |
| 7 | 342 | 10 |
| 8 | 354 | 10 |
| done | 354 | 10 |
| 0 | 9 | 10 |
| 1 | 15 | 10 |
| 2 | 26 | 10 |
| 3 | 46 | 10 |
| 4 | 98 | 10 |
| 5 | 201 | 10 |
| 6 | 280 | 10 |
| 7 | 342 | 10 |
| 8 | 354 | 10 |
| done | 354 | 10 |
| 0 | 10 | 11 |
| 1 | 30 | 9 |
| 2 | 64 | 9 |
| 3 | 142 | 9 |
| 4 | 439 | 9 |
| 5 | 1578 | 9 |
| done | 5000 | 9 |
| 0 | 10 | 19 |
| 1 | 27 | 15 |
| 2 | 80 | 15 |
| 3 | 174 | 13 |
| 4 | 397 | 13 |
| 5 | 783 | 9 |
| 6 | 2145 | 9 |
| done | 5000 | 9 |
| 0 | 9 | 13 |
| 1 | 22 | 11 |
| 2 | 42 | 11 |
| 3 | 96 | 11 |
| 4 | 225 | 11 |
| 5 | 498 | 11 |
| 6 | 929 | 11 |
| 7 | 1694 | 11 |
| done | 5000 | 11 |
| 0 | 6 | 7 |
| 1 | 12 | 7 |
| 2 | 19 | 7 |
| 3 | 25 | 7 |
| 4 | 30 | 7 |
| 5 | 31 | 5 |
| 6 | 32 | 5 |
| done | 32 | 3 |
| 0 | 10 | 11 |
| 1 | 14 | 11 |
| done | 14 | 11 |
| 0 | 10 | 11 |
| 1 | 14 | 11 |
| done | 14 | 11 |
| 0 | 11 | 12 |
| 1 | 17 | 12 |
| 2 | 20 | 12 |
| 3 | 24 | 12 |
| 4 | 25 | 12 |
| done | 25 | 12 |
| 0 | 11 | 12 |
| 1 | 17 | 12 |
| 2 | 20 | 12 |
| 3 | 24 | 12 |
| 4 | 25 | 12 |
| done | 25 | 12 |
| 0 | 10 | 15 |
| 1 | 16 | 15 |
| 2 | 26 | 15 |
| 3 | 42 | 15 |
| 4 | 100 | 15 |
| 5 | 173 | 15 |
| 6 | 215 | 15 |
| 7 | 251 | 15 |
| 8 | 262 | 15 |
| done | 262 | 15 |
| 0 | 9 | 10 |
| 1 | 13 | 10 |
| 2 | 21 | 10 |
| 3 | 25 | 10 |
| 4 | 50 | 10 |
| 5 | 91 | 10 |
| 6 | 111 | 10 |
| 7 | 129 | 10 |
| 8 | 133 | 10 |
| done | 133 | 10 |
| 0 | 12 | 17 |
| 1 | 24 | 17 |
| 2 | 61 | 17 |
| 3 | 158 | 17 |
| 4 | 450 | 17 |
| 5 | 1032 | 17 |
| 6 | 1803 | 17 |
| 7 | 2478 | 17 |
| 8 | 2973 | 17 |
| 9 | 2976 | 17 |
| done | 2976 | 17 |
| 0 | 11 | 14 |
| 1 | 19 | 14 |
| 2 | 37 | 14 |
| 3 | 86 | 14 |
| 4 | 232 | 14 |
| 5 | 481 | 14 |
| 6 | 721 | 14 |
| 7 | 975 | 14 |
| 8 | 1128 | 14 |
| 9 | 1131 | 14 |
| done | 1131 | 14 |
| 0 | 10 | 13 |
| 1 | 18 | 11 |
| 2 | 43 | 11 |
| 3 | 113 | 11 |
| 4 | 282 | 11 |
| 5 | 538 | 11 |
| 6 | 860 | 11 |
| 7 | 1022 | 11 |
| 8 | 1032 | 11 |
| done | 1032 | 11 |
| 0 | 11 | 14 |
| 1 | 19 | 14 |
| 2 | 38 | 14 |
| 3 | 79 | 14 |
| 4 | 180 | 14 |
| 5 | 469 | 14 |
| 6 | 826 | 14 |
| 7 | 1124 | 14 |
| 8 | 1320 | 14 |
| 9 | 1321 | 14 |
| done | 1321 | 14 |
| 0 | 10 | 11 |
| 1 | 16 | 11 |
| 2 | 27 | 11 |
| 3 | 47 | 11 |
| 4 | 101 | 11 |
| 5 | 233 | 11 |
| 6 | 361 | 11 |
| 7 | 490 | 11 |
| 8 | 556 | 11 |
| done | 556 | 11 |
| 0 | 9 | 10 |
| 1 | 15 | 8 |
| 2 | 30 | 8 |
| 3 | 45 | 8 |
| 4 | 99 | 8 |
| 5 | 228 | 8 |
| 6 | 366 | 8 |
| 7 | 446 | 8 |
| done | 446 | 8 |
| 0 | 9 | 13 |
| 1 | 17 | 13 |
| 2 | 35 | 11 |
| 3 | 86 | 11 |
| 4 | 158 | 11 |
| 5 | 250 | 11 |
| 6 | 343 | 11 |
| 7 | 407 | 11 |
| 8 | 448 | 11 |
| done | 448 | 11 |
| 0 | 8 | 10 |
| 1 | 14 | 10 |
| 2 | 25 | 8 |
| 3 | 51 | 8 |
| 4 | 79 | 8 |
| 5 | 123 | 8 |
| 6 | 152 | 8 |
| 7 | 171 | 8 |
| 8 | 182 | 8 |
| done | 182 | 8 |
| 0 | 7 | 9 |
| 1 | 13 | 7 |
| 2 | 24 | 5 |
| 3 | 38 | 5 |
| 4 | 46 | 5 |
| 5 | 48 | 5 |
| 6 | 51 | 5 |
| 7 | 53 | 5 |
| done | 53 | 5 |
| 0 | 6 | 7 |
| 1 | 10 | 5 |
| 2 | 19 | 5 |
| 3 | 29 | 5 |
| 4 | 37 | 5 |
| 5 | 39 | 5 |
| 6 | 42 | 5 |
| 7 | 44 | 5 |
| done | 44 | 5 |
| 0 | 7 | 7 |
| 1 | 11 | 7 |
| 2 | 19 | 7 |
| 3 | 23 | 7 |
| 4 | 27 | 7 |
| 5 | 29 | 7 |
| 6 | 30 | 7 |
| done | 30 | 7 |
| 0 | 9 | 10 |
| 1 | 15 | 10 |
| 2 | 18 | 10 |
| 3 | 22 | 10 |
| 4 | 23 | 10 |
| done | 23 | 10 |
| 0 | 9 | 10 |
| 1 | 15 | 10 |
| 2 | 18 | 10 |
| 3 | 22 | 10 |
| 4 | 23 | 10 |
| done | 23 | 10 |
| 0 | 8 | 9 |
| 1 | 14 | 9 |
| 2 | 25 | 9 |
| 3 | 45 | 9 |
| 4 | 97 | 9 |
| 5 | 198 | 9 |
| 6 | 271 | 9 |
| 7 | 333 | 9 |
| 8 | 344 | 9 |
| done | 344 | 9 |
| 0 | 8 | 9 |
| 1 | 14 | 9 |
| 2 | 25 | 9 |
| 3 | 45 | 9 |
| 4 | 97 | 9 |
| 5 | 198 | 9 |
| 6 | 271 | 9 |
| 7 | 333 | 9 |
| 8 | 344 | 9 |
| done | 344 | 9 |
| 0 | 7 | 7 |
| 1 | 11 | 7 |
| 2 | 19 | 7 |
| 3 | 23 | 7 |
| 4 | 27 | 7 |
| 5 | 29 | 7 |
| 6 | 30 | 7 |
| done | 30 | 7 |
| 0 | 11 | 13 |
| 1 | 33 | 11 |
| 2 | 70 | 11 |
| 3 | 166 | 11 |
| 4 | 627 | 11 |
| 5 | 3025 | 11 |
| done | 5001 | 11 |
| 0 | 10 | 15 |
| 1 | 25 | 13 |
| 2 | 50 | 13 |
| 3 | 137 | 13 |
| 4 | 385 | 13 |
| 5 | 1015 | 13 |
| 6 | 2380 | 13 |
| 7 | 4295 | 13 |
| done | 5000 | 13 |
| 0 | 11 | 15 |
| 1 | 21 | 14 |
| 2 | 43 | 14 |
| 3 | 92 | 14 |
| 4 | 217 | 14 |
| 5 | 515 | 14 |
| 6 | 1493 | 14 |
| done | 5001 | 14 |
| 0 | 10 | 14 |
| 1 | 18 | 14 |
| 2 | 32 | 14 |
| 3 | 64 | 14 |
| 4 | 120 | 14 |
| 5 | 223 | 14 |
| 6 | 321 | 14 |
| 7 | 479 | 14 |
| 8 | 934 | 14 |
| 9 | 2035 | 14 |
| 10 | 2740 | 12 |
| 11 | 3173 | 12 |
| 12 | 3315 | 12 |
| 13 | 3452 | 12 |
| 14 | 3951 | 12 |
| done | 5001 | 12 |
| 0 | 10 | 14 |
| 1 | 21 | 14 |
| 2 | 41 | 14 |
| 3 | 88 | 14 |
| 4 | 204 | 14 |
| 5 | 448 | 14 |
| 6 | 1128 | 14 |
| 7 | 3494 | 14 |
| done | 5000 | 14 |
| 0 | 11 | 29 |
| 1 | 19 | 29 |
| 2 | 33 | 29 |
| 3 | 65 | 29 |
| 4 | 121 | 29 |
| 5 | 224 | 29 |
| 6 | 322 | 29 |
| 7 | 478 | 29 |
| 8 | 930 | 29 |
| 9 | 2040 | 29 |
| 10 | 2728 | 25 |
| 11 | 3149 | 25 |
| 12 | 3186 | 25 |
| done | 3186 | 25 |
| 0 | 10 | 14 |
| 1 | 18 | 14 |
| 2 | 32 | 14 |
| 3 | 64 | 14 |
| 4 | 120 | 14 |
| 5 | 223 | 14 |
| 6 | 321 | 14 |
| 7 | 477 | 14 |
| 8 | 929 | 14 |
| 9 | 2024 | 14 |
| 10 | 2729 | 12 |
| 11 | 3163 | 12 |
| 12 | 3200 | 12 |
| done | 3200 | 12 |
| 0 | 11 | 41 |
| 1 | 20 | 41 |
| 2 | 48 | 15 |
| 3 | 175 | 15 |
| 4 | 909 | 15 |
| done | 5000 | 15 |
| 0 | 10 | 14 |
| 1 | 18 | 14 |
| 2 | 32 | 14 |
| 3 | 64 | 14 |
| 4 | 120 | 14 |
| 5 | 223 | 14 |
| 6 | 321 | 14 |
| 7 | 477 | 14 |
| 8 | 929 | 14 |
| 9 | 2024 | 14 |
| 10 | 2729 | 12 |
| 11 | 3163 | 12 |
| 12 | 3200 | 12 |
| done | 3200 | 12 |
| 0 | 10 | 14 |
| 1 | 18 | 14 |
| 2 | 32 | 14 |
| 3 | 64 | 14 |
| 4 | 120 | 14 |
| 5 | 223 | 14 |
| 6 | 321 | 14 |
| 7 | 477 | 14 |
| 8 | 929 | 14 |
| 9 | 2024 | 14 |
| 10 | 2729 | 12 |
| 11 | 3163 | 12 |
| 12 | 3200 | 12 |
| done | 3200 | 12 |
| 0 | 8 | 9 |
| 1 | 14 | 9 |
| 2 | 23 | 9 |
| 3 | 39 | 9 |
| 4 | 47 | 9 |
| 5 | 53 | 9 |
| 6 | 62 | 9 |
| 7 | 86 | 9 |
| 8 | 135 | 9 |
| 9 | 183 | 9 |
| 10 | 214 | 9 |
| 11 | 252 | 9 |
| 12 | 294 | 9 |
| 13 | 425 | 9 |
| 14 | 709 | 9 |
| 15 | 926 | 9 |
| 16 | 994 | 9 |
| done | 994 | 9 |
| 0 | 19 | 35 |
| 1 | 58 | 29 |
| 2 | 174 | 29 |
| 3 | 474 | 25 |
| 4 | 1826 | 25 |
| done | 5001 | 25 |
| 0 | 11 | 21 |
| 1 | 31 | 17 |
| 2 | 85 | 17 |
| 3 | 206 | 15 |
| 4 | 545 | 15 |
| 5 | 1172 | 9 |
| 6 | 3663 | 9 |
| done | 5001 | 9 |
| 0 | 14 | 25 |
| 1 | 37 | 23 |
| 2 | 94 | 23 |
| 3 | 284 | 21 |
| 4 | 781 | 17 |
| 5 | 1962 | 13 |
| done | 5001 | 13 |
| 0 | 7 | 9 |
| 1 | 16 | 9 |
| 2 | 24 | 9 |
| 3 | 44 | 9 |
| 4 | 59 | 9 |
| 5 | 67 | 7 |
| 6 | 79 | 7 |
| 7 | 85 | 5 |
| 8 | 156 | 5 |
| 9 | 365 | 5 |
| 10 | 1098 | 5 |
| 11 | 2430 | 5 |
| done | 5000 | 5 |
| 0 | 10 | 13 |
| 1 | 20 | 13 |
| 2 | 43 | 11 |
| 3 | 79 | 11 |
| 4 | 125 | 11 |
| 5 | 172 | 11 |
| 6 | 299 | 9 |
| 7 | 542 | 9 |
| 8 | 1395 | 9 |
| done | 5000 | 9 |
| 0 | 2 | 3 |
| done | 2 | 3 |
| 0 | 19 | 35 |
| 1 | 57 | 29 |
| 2 | 166 | 29 |
| 3 | 424 | 27 |
| 4 | 1648 | 25 |
| done | 5001 | 23 |
| 0 | 10 | 19 |
| 1 | 27 | 15 |
| 2 | 80 | 15 |
| 3 | 174 | 13 |
| 4 | 397 | 13 |
| 5 | 783 | 9 |
| 6 | 2145 | 9 |
| done | 5000 | 9 |
| 0 | 14 | 25 |
| 1 | 36 | 23 |
| 2 | 92 | 23 |
| 3 | 299 | 23 |
| 4 | 984 | 17 |
| 5 | 2643 | 15 |
| done | 5001 | 15 |
| 0 | 6 | 7 |
| 1 | 12 | 7 |
| 2 | 19 | 7 |
| 3 | 25 | 7 |
| 4 | 30 | 7 |
| 5 | 31 | 5 |
| 6 | 32 | 5 |
| done | 32 | 3 |
| 0 | 12 | 17 |
| 1 | 39 | 17 |
| 2 | 133 | 17 |
| 3 | 537 | 17 |
| 4 | 2439 | 17 |
| done | 5000 | 17 |
| 0 | 13 | 41 |
| 1 | 41 | 37 |
| 2 | 126 | 37 |
| 3 | 376 | 31 |
| 4 | 1251 | 31 |
| 5 | 3814 | 29 |
| done | 5001 | 29 |
| 0 | 4 | 4 |
| 1 | 6 | 4 |
| done | 6 | 4 |
| 0 | 11 | 27 |
| 1 | 33 | 27 |
| 2 | 102 | 27 |
| 3 | 347 | 27 |
| 4 | 1183 | 27 |
| 5 | 3518 | 27 |
| done | 5001 | 27 |
| 0 | 9 | 13 |
| 1 | 16 | 13 |
| 2 | 27 | 13 |
| 3 | 55 | 13 |
| 4 | 109 | 13 |
| 5 | 213 | 13 |
| 6 | 299 | 13 |
| 7 | 375 | 13 |
| 8 | 412 | 13 |
| 9 | 439 | 13 |
| 10 | 462 | 11 |
| 11 | 464 | 11 |
| done | 464 | 11 |
| 0 | 4 | 4 |
| 1 | 6 | 4 |
| done | 6 | 4 |
| 0 | 11 | 16 |
| 1 | 19 | 16 |
| 2 | 33 | 16 |
| 3 | 65 | 16 |
| 4 | 123 | 16 |
| 5 | 228 | 16 |
| 6 | 324 | 16 |
| 7 | 482 | 16 |
| 8 | 935 | 16 |
| 9 | 2024 | 16 |
| 10 | 2741 | 14 |
| 11 | 3196 | 14 |
| 12 | 3263 | 14 |
| 13 | 3345 | 14 |
| 14 | 3670 | 14 |
| 15 | 4440 | 14 |
| done | 5000 | 14 |
| 0 | 12 | 17 |
| 1 | 22 | 17 |
| 2 | 37 | 17 |
| 3 | 69 | 17 |
| 4 | 125 | 17 |
| 5 | 228 | 17 |
| 6 | 326 | 17 |
| 7 | 486 | 17 |
| 8 | 945 | 17 |
| 9 | 2046 | 17 |
| 10 | 2801 | 15 |
| 11 | 3293 | 15 |
| 12 | 3864 | 15 |
| 13 | 4982 | 15 |
| done | 5000 | 15 |
| 0 | 12 | 17 |
| 1 | 25 | 17 |
| 2 | 42 | 16 |
| 3 | 76 | 16 |
| 4 | 136 | 16 |
| 5 | 245 | 16 |
| 6 | 376 | 16 |
| 7 | 793 | 16 |
| 8 | 3114 | 16 |
| done | 5000 | 14 |
| 0 | 13 | 35 |
| 1 | 23 | 35 |
| 2 | 38 | 35 |
| 3 | 70 | 35 |
| 4 | 126 | 35 |
| 5 | 231 | 35 |
| 6 | 327 | 35 |
| 7 | 487 | 35 |
| 8 | 945 | 35 |
| 9 | 2053 | 35 |
| 10 | 2746 | 31 |
| 11 | 3234 | 31 |
| 12 | 3792 | 31 |
| 13 | 4906 | 31 |
| done | 5000 | 31 |
| 0 | 12 | 17 |
| 1 | 22 | 17 |
| 2 | 37 | 17 |
| 3 | 69 | 17 |
| 4 | 125 | 17 |
| 5 | 228 | 17 |
| 6 | 326 | 17 |
| 7 | 486 | 17 |
| 8 | 945 | 17 |
| 9 | 2046 | 17 |
| 10 | 2801 | 15 |
| 11 | 3293 | 15 |
| 12 | 3864 | 15 |
| 13 | 4982 | 15 |
| done | 5000 | 15 |
| 0 | 13 | 50 |
| 1 | 24 | 50 |
| 2 | 53 | 18 |
| 3 | 128 | 18 |
| 4 | 295 | 18 |
| 5 | 723 | 18 |
| 6 | 2042 | 18 |
| done | 5001 | 18 |
| 0 | 12 | 17 |
| 1 | 22 | 17 |
| 2 | 37 | 17 |
| 3 | 69 | 17 |
| 4 | 125 | 17 |
| 5 | 228 | 17 |
| 6 | 326 | 17 |
| 7 | 486 | 17 |
| 8 | 945 | 17 |
| 9 | 2046 | 17 |
| 10 | 2801 | 15 |
| 11 | 3293 | 15 |
| 12 | 3864 | 15 |
| 13 | 4982 | 15 |
| done | 5000 | 15 |
| 0 | 12 | 17 |
| 1 | 22 | 17 |
| 2 | 37 | 17 |
| 3 | 69 | 17 |
| 4 | 125 | 17 |
| 5 | 228 | 17 |
| 6 | 326 | 17 |
| 7 | 486 | 17 |
| 8 | 945 | 17 |
| 9 | 2046 | 17 |
| 10 | 2801 | 15 |
| 11 | 3293 | 15 |
| 12 | 3864 | 15 |
| 13 | 4982 | 15 |
| done | 5000 | 15 |
| 0 | 14 | 20 |
| 1 | 37 | 20 |
| 2 | 73 | 20 |
| 3 | 139 | 20 |
| 4 | 278 | 20 |
| 5 | 720 | 20 |
| 6 | 2606 | 20 |
| done | 5001 | 20 |
| 0 | 15 | 50 |
| 1 | 30 | 35 |
| 2 | 52 | 35 |
| 3 | 85 | 35 |
| 4 | 144 | 35 |
| 5 | 249 | 35 |
| 6 | 347 | 35 |
| 7 | 511 | 35 |
| 8 | 981 | 35 |
| 9 | 2149 | 35 |
| 10 | 2894 | 31 |
| 11 | 3533 | 31 |
| done | 5000 | 31 |
| 0 | 11 | 15 |
| 1 | 19 | 15 |
| 2 | 33 | 15 |
| 3 | 65 | 15 |
| 4 | 121 | 15 |
| 5 | 224 | 15 |
| 6 | 322 | 15 |
| 7 | 480 | 15 |
| 8 | 937 | 15 |
| 9 | 2040 | 15 |
| 10 | 2792 | 13 |
| 11 | 3305 | 13 |
| 12 | 3618 | 12 |
| 13 | 4034 | 12 |
| 14 | 4850 | 12 |
| done | 5000 | 12 |
| 0 | 13 | 33 |
| 1 | 26 | 33 |
| 2 | 47 | 33 |
| 3 | 94 | 33 |
| 4 | 177 | 33 |
| 5 | 321 | 33 |
| 6 | 476 | 33 |
| 7 | 802 | 33 |
| 8 | 2572 | 33 |
| done | 5001 | 33 |
| 0 | 11 | 16 |
| 1 | 20 | 16 |
| 2 | 34 | 16 |
| 3 | 66 | 16 |
| 4 | 122 | 16 |
| 5 | 225 | 16 |
| 6 | 323 | 16 |
| 7 | 481 | 16 |
| 8 | 938 | 16 |
| 9 | 2038 | 16 |
| 10 | 2756 | 14 |
| 11 | 3226 | 14 |
| 12 | 3480 | 14 |
| 13 | 3831 | 14 |
| done | 5000 | 14 |
| 0 | 13 | 18 |
| 1 | 22 | 18 |
| 2 | 36 | 18 |
| 3 | 68 | 18 |
| 4 | 124 | 18 |
| 5 | 229 | 18 |
| 6 | 327 | 18 |
| 7 | 489 | 18 |
| 8 | 944 | 18 |
| 9 | 2051 | 18 |
| 10 | 2745 | 16 |
| 11 | 3231 | 16 |
| 12 | 3372 | 16 |
| 13 | 3508 | 16 |
| 14 | 3995 | 16 |
| done | 5000 | 16 |
| 0 | 13 | 18 |
| 1 | 23 | 18 |
| 2 | 38 | 18 |
| 3 | 70 | 18 |
| 4 | 126 | 18 |
| 5 | 227 | 18 |
| 6 | 329 | 18 |
| 7 | 487 | 18 |
| 8 | 941 | 18 |
| 9 | 2044 | 18 |
| 10 | 2742 | 16 |
| 11 | 3144 | 16 |
| 12 | 3283 | 16 |
| 13 | 3420 | 16 |
| 14 | 3901 | 16 |
| done | 5000 | 16 |
| 0 | 11 | 16 |
| 1 | 21 | 16 |
| 2 | 36 | 16 |
| 3 | 68 | 16 |
| 4 | 124 | 16 |
| 5 | 227 | 16 |
| 6 | 329 | 16 |
| 7 | 489 | 16 |
| 8 | 946 | 16 |
| 9 | 2054 | 16 |
| 10 | 2758 | 14 |
| 11 | 3283 | 14 |
| 12 | 3838 | 14 |
| 13 | 4957 | 14 |
| done | 5000 | 14 |
| 0 | 11 | 16 |
| 1 | 21 | 16 |
| 2 | 36 | 16 |
| 3 | 68 | 16 |
| 4 | 124 | 16 |
| 5 | 227 | 16 |
| 6 | 329 | 16 |
| 7 | 489 | 16 |
| 8 | 946 | 16 |
| 9 | 2054 | 16 |
| 10 | 2758 | 14 |
| 11 | 3283 | 14 |
| 12 | 3838 | 14 |
| 13 | 4957 | 14 |
| done | 5000 | 14 |
| 0 | 13 | 32 |
| 1 | 25 | 32 |
| 2 | 46 | 19 |
| 3 | 88 | 19 |
| 4 | 150 | 19 |
| 5 | 260 | 19 |
| 6 | 368 | 19 |
| 7 | 544 | 19 |
| 8 | 1000 | 19 |
| 9 | 2036 | 19 |
| 10 | 2776 | 17 |
| 11 | 3202 | 17 |
| 12 | 3239 | 17 |
| done | 3239 | 17 |
| 0 | 12 | 17 |
| 1 | 22 | 17 |
| 2 | 37 | 17 |
| 3 | 69 | 17 |
| 4 | 125 | 17 |
| 5 | 228 | 17 |
| 6 | 326 | 17 |
| 7 | 484 | 17 |
| 8 | 936 | 17 |
| 9 | 2023 | 17 |
| 10 | 2700 | 15 |
| 11 | 3103 | 15 |
| 12 | 3139 | 15 |
| done | 3139 | 15 |
| 0 | 4 | 4 |
| 1 | 8 | 3 |
| 2 | 9 | 1 |
| done | 9 | 1 |
| 0 | 10 | 12 |
| 1 | 18 | 12 |
| 2 | 28 | 12 |
| 3 | 44 | 12 |
| 4 | 50 | 12 |
| 5 | 56 | 12 |
| 6 | 65 | 12 |
| 7 | 89 | 12 |
| 8 | 138 | 12 |
| 9 | 186 | 12 |
| 10 | 217 | 12 |
| 11 | 255 | 12 |
| 12 | 297 | 12 |
| 13 | 432 | 12 |
| 14 | 716 | 12 |
| 15 | 924 | 12 |
| 16 | 999 | 12 |
| 17 | 1022 | 12 |
| 18 | 1085 | 12 |
| 19 | 1243 | 12 |
| 20 | 1831 | 12 |
| 21 | 4364 | 12 |
| done | 5000 | 12 |
| 0 | 21 | 38 |
| 1 | 62 | 32 |
| 2 | 179 | 32 |
| 3 | 485 | 28 |
| 4 | 1835 | 28 |
| done | 5000 | 28 |
| 0 | 16 | 28 |
| 1 | 41 | 26 |
| 2 | 99 | 26 |
| 3 | 289 | 24 |
| 4 | 791 | 20 |
| 5 | 1995 | 16 |
| done | 5000 | 16 |
| 0 | 12 | 16 |
| 1 | 24 | 16 |
| 2 | 48 | 14 |
| 3 | 87 | 14 |
| 4 | 139 | 14 |
| 5 | 196 | 14 |
| 6 | 332 | 12 |
| 7 | 575 | 12 |
| 8 | 1423 | 12 |
| done | 5001 | 12 |
| 0 | 21 | 38 |
| 1 | 61 | 32 |
| 2 | 171 | 32 |
| 3 | 433 | 30 |
| 4 | 1640 | 28 |
| done | 5000 | 26 |
| 0 | 16 | 28 |
| 1 | 40 | 26 |
| 2 | 97 | 26 |
| 3 | 304 | 26 |
| 4 | 989 | 20 |
| 5 | 2648 | 18 |
| done | 5000 | 18 |
| 0 | 14 | 20 |
| 1 | 43 | 20 |
| 2 | 138 | 20 |
| 3 | 542 | 20 |
| 4 | 2451 | 20 |
| done | 5000 | 20 |
| 0 | 13 | 30 |
| 1 | 37 | 30 |
| 2 | 110 | 30 |
| 3 | 359 | 30 |
| 4 | 1202 | 30 |
| 5 | 3529 | 30 |
| done | 5000 | 30 |
| 0 | 11 | 15 |
| 1 | 19 | 15 |
| 2 | 33 | 15 |
| 3 | 65 | 15 |
| 4 | 121 | 15 |
| 5 | 224 | 15 |
| 6 | 322 | 15 |
| 7 | 480 | 15 |
| 8 | 937 | 15 |
| 9 | 2040 | 15 |
| 10 | 2792 | 13 |
| 11 | 3305 | 13 |
| 12 | 3618 | 12 |
| 13 | 4034 | 12 |
| 14 | 4850 | 12 |
| done | 5000 | 12 |
| 0 | 16 | 20 |
| 1 | 35 | 20 |
| 2 | 88 | 20 |
| 3 | 221 | 20 |
| 4 | 434 | 18 |
| 5 | 766 | 18 |
| 6 | 1447 | 18 |
| 7 | 2149 | 18 |
| 8 | 2482 | 18 |
| 9 | 3423 | 18 |
| done | 5000 | 18 |
| 0 | 15 | 24 |
| 1 | 39 | 21 |
| 2 | 89 | 13 |
| 3 | 318 | 13 |
| 4 | 658 | 13 |
| 5 | 1070 | 13 |
| 6 | 1482 | 13 |
| 7 | 1531 | 13 |
| 8 | 1560 | 13 |
| 9 | 1835 | 13 |
| 10 | 3920 | 13 |
| done | 5001 | 13 |
| 0 | 18 | 24 |
| 1 | 41 | 23 |
| 2 | 99 | 17 |
| 3 | 356 | 17 |
| 4 | 1373 | 17 |
| 5 | 4053 | 13 |
| done | 5001 | 13 |
| 0 | 9 | 11 |
| 1 | 18 | 11 |
| 2 | 40 | 11 |
| 3 | 61 | 11 |
| 4 | 80 | 9 |
| 5 | 95 | 9 |
| 6 | 125 | 9 |
| 7 | 199 | 9 |
| 8 | 456 | 9 |
| 9 | 1509 | 9 |
| done | 5000 | 9 |
| 0 | 9 | 11 |
| 1 | 18 | 11 |
| 2 | 40 | 11 |
| 3 | 61 | 11 |
| 4 | 80 | 9 |
| 5 | 95 | 9 |
| 6 | 125 | 9 |
| 7 | 199 | 9 |
| 8 | 456 | 9 |
| 9 | 1509 | 9 |
| done | 5000 | 9 |
| 0 | 9 | 11 |
| 1 | 18 | 11 |
| 2 | 40 | 11 |
| 3 | 61 | 11 |
| 4 | 80 | 9 |
| 5 | 95 | 9 |
| 6 | 125 | 9 |
| 7 | 199 | 9 |
| 8 | 456 | 9 |
| 9 | 1509 | 9 |
| done | 5000 | 9 |
| 0 | 13 | 17 |
| 1 | 30 | 17 |
| 2 | 67 | 15 |
| 3 | 143 | 13 |
| 4 | 332 | 13 |
| 5 | 1084 | 13 |
| done | 5000 | 13 |
| 0 | 13 | 17 |
| 1 | 30 | 17 |
| 2 | 69 | 15 |
| 3 | 143 | 13 |
| 4 | 322 | 13 |
| 5 | 995 | 13 |
| 6 | 4446 | 13 |
| done | 5000 | 13 |
| 0 | 13 | 17 |
| 1 | 30 | 17 |
| 2 | 69 | 15 |
| 3 | 143 | 13 |
| 4 | 322 | 13 |
| 5 | 995 | 13 |
| 6 | 4446 | 13 |
| done | 5000 | 13 |
| 0 | 17 | 22 |
| 1 | 39 | 22 |
| 2 | 109 | 22 |
| 3 | 319 | 22 |
| 4 | 942 | 20 |
| 5 | 2405 | 20 |
| done | 5000 | 20 |
| 0 | 16 | 26 |
| 1 | 43 | 23 |
| 2 | 119 | 15 |
| 3 | 420 | 15 |
| 4 | 1114 | 15 |
| 5 | 2393 | 15 |
| 6 | 3380 | 15 |
| 7 | 4217 | 15 |
| 8 | 4655 | 15 |
| done | 5000 | 15 |
| 0 | 19 | 26 |
| 1 | 45 | 25 |
| 2 | 120 | 19 |
| 3 | 433 | 19 |
| 4 | 1997 | 19 |
| done | 5000 | 19 |
3 alts after pruning (0 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 113 | 0 | 113 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 113 | 3 | 116 |
Merged error: 0b
99.4% (0.1b remaining)
Error of 0.2b against oracle of 0.1b and baseline of 18.2b
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 22 | 40 |
| 1 | 27 | 40 |
| done | 27 | 40 |
| 288.0ms | 5649× | body | 80 | valid |
| 212.0ms | 830× | body | 1280 | valid |
| 150.0ms | 801× | body | 640 | valid |
| 143.0ms | 701× | body | 1280 | nan |
| 115.0ms | 749× | body | 640 | nan |
| 113.0ms | 2676× | body | 80 | nan |
| 63.0ms | 467× | body | 320 | valid |
| 58.0ms | 468× | body | 320 | nan |
| 23.0ms | 253× | body | 160 | valid |
| 17.0ms | 219× | body | 160 | nan |
Loading profile data...