Task 15320
| Name | batch_89__job_job-000215_1 |
| Workunit | 12143 |
| Created | 30 Apr 2025, 9:48:44 UTC |
| Sent | 30 Apr 2025, 22:32:08 UTC |
| Report deadline | 7 May 2025, 22:32:08 UTC |
| Received | 1 May 2025, 17:16:45 UTC |
| Server state | Over |
| Outcome | Success |
| Client state | Done |
| Exit status | 0 (0x00000000) |
| Computer ID | 25740 |
| Run time | 18 hours 44 min 26 sec |
| CPU time | 0 sec |
| Validate state | Valid |
| Credit | 50.65 |
| Device peak FLOPS | 3.89 GFLOPS |
| Application version | Universal Docker app v1.09 (docker) windows_x86_64 |
| Peak working set size | 13.07 MB |
| Peak swap size | 2.41 MB |
| Peak disk usage | 203.74 KB |
Stderr output
<core_client_version>8.2.1</core_client_version> <![CDATA[ <stderr_txt> 180771841, 9, 27, 31, 46, 49, 68, 73, 87, 105, 116, 145 [best: 1000] 48533130444801, 9, 27, 31, 46, 49, 78, 117, 131, 137, 157, 202 [best: 1000] 48576080117761, 9, 27, 31, 46, 49, 91, 121, 132, 140, 149, 197 [best: 1000] 48619029790721, 9, 27, 31, 46, 50, 54, 57, 104, 137, 208, 221 [best: 1000] 48661979463681, 9, 27, 31, 46, 50, 58, 72, 128, 140, 152, 178, 185 [best: 1000] 48704929136641, 9, 27, 31, 46, 50, 64, 125, 126, 151, 153, 157, 224 [best: 1000] 48747878809601, 9, 27, 31, 46, 50, 76, 104, 109, 132, 139, 167 [best: 1000] 48790828482561, 9, 27, 31, 46, 50, 90, 130, 138, 147, 157, 234, 259 [best: 1000] 48833778155521, 9, 27, 31, 46, 51, 56, 68, 88, 141, 162, 195 [best: 1000] 48876727828481, 9, 27, 31, 46, 51, 64, 76, 120, 147, 172, 175, 179 [best: 1000] 48919677501441, 9, 27, 31, 46, 51, 80, 81, 145, 149, 154, 169 [best: 1000] 48962627174401, 9, 27, 31, 46, 52, 54, 104, 128, 149, 150, 154 [best: 1000] 49005576847361, 9, 27, 31, 46, 52, 60, 85, 110, 125, 131, 132, 139 [best: 1000] 49048526520321, 9, 27, 31, 46, 52, 71, 78, 79, 114, 171, 203 [best: 1000] 49091476193281, 9, 27, 31, 46, 52, 84, 113, 136, 158, 168, 170 [best: 1000] 49134425866241, 9, 27, 31, 46, 53, 55, 96, 130, 145, 146, 191 [best: 1000] 49177375539201, 9, 27, 31, 46, 53, 63, 69, 123, 163, 177, 183, 249 [best: 1000] 49220325212161, 9, 27, 31, 46, 53, 74, 92, 118, 130, 136, 201, 213 [best: 1000] 49263274885121, 9, 27, 31, 46, 53, 92, 120, 132, 136, 165, 204 [best: 1000] 49306224558081, 9, 27, 31, 46, 54, 58, 83, 126, 151, 173, 225, 243 [best: 1000] 49349174231041, 9, 27, 31, 46, 54, 65, 83, 99, 133, 136, 212 [best: 1000] 49392123904001, 9, 27, 31, 46, 54, 76, 122, 125, 127, 133, 146 [best: 1000] 49435073576961, 9, 27, 31, 46, 54, 89, 124, 138, 140, 144, 148, 200 [best: 1000] 49478023249921, 9, 27, 31, 46, 55, 57, 78, 130, 132, 153, 219 [best: 1000] 49520972922881, 9, 27, 31, 46, 55, 63, 86, 104, 122, 166, 208 [best: 1000] 49563922595841, 9, 27, 31, 46, 55, 71, 93, 98, 169, 181, 210 [best: 1000] 49606872268801, 9, 27, 31, 46, 55, 81, 110, 128, 173, 185, 194 [best: 1000] 49649821941761, 9, 27, 31, 46, 55, 98, 131, 138, 144, 184, 206 [best: 1000] 49692771614721, 9, 27, 31, 46, 56, 58, 109, 113, 115, 131, 175, 191 [best: 1000] 49735721287681, 9, 27, 31, 46, 56, 64, 83, 112, 121, 129, 192, 260 [best: 1000] 49778670960641, 9, 27, 31, 46, 56, 71, 81, 148, 175, 187, 206 [best: 1000] 49821620633601, 9, 27, 31, 46, 56, 78, 96, 100, 165, 188 [best: 1000] 49864570306561, 9, 27, 31, 46, 56, 85, 108, 130, 154, 164, 183, 233 [best: 1000] 49907519979521, 9, 27, 31, 46, 56, 98, 103, 153, 181, 190, 206 [best: 1000] 49950469652481, 9, 27, 31, 46, 57, 58, 106, 111, 131, 133, 172, 225 [best: 1000] 49993419325441, 9, 27, 31, 46, 57, 64, 77, 125, 131, 178, 186, 208 [best: 1000] 50036368998401, 9, 27, 31, 46, 57, 70, 100, 105, 135, 173, 203 [best: 1000] 50079318671361, 9, 27, 31, 46, 57, 78, 88, 127, 133, 182, 199, 241 [best: 1000] 50122268344321, 9, 27, 31, 46, 57, 85, 117, 119, 132, 176, 185, 195 [best: 1000] 50165218017281, 9, 27, 31, 46, 57, 99, 121, 132, 160, 164, 244 [best: 1000] 50208167690241, 9, 27, 31, 46, 58, 60, 110, 122, 129, 154, 160, 205 [best: 1000] 50251117363201, 9, 27, 31, 46, 58, 65, 86, 110, 126, 198, 224, 249 [best: 1000] 50294067036161, 9, 27, 31, 46, 58, 70, 102, 110, 126, 134, 181, 227 [best: 1000] 50337016709121, 9, 27, 31, 46, 58, 75, 98, 103, 110, 113, 137, 170 [best: 1000] 50379966382081, 9, 27, 31, 46, 58, 81, 85, 95, 110, 119, 155, 171 [best: 1000] 50422916055041, 9, 27, 31, 46, 58, 87, 95, 101, 110, 126, 176, 177 [best: 1000] 50465865728001, 9, 27, 31, 46, 58, 98, 110, 122, 132, 137, 158, 211 [best: 1000] 50508815400961, 9, 27, 31, 46, 58, 110, 122, 140, 153, 199, 218, 245 [best: 1000] 50551765073921, 9, 27, 31, 46, 59, 66, 76, 82, 102, 160, 184 [best: 1000] 50594714746881, 9, 27, 31, 46, 59, 77, 90, 91, 102, 145, 173 [best: 1000] 50637664419841, 9, 27, 31, 46, 59, 90, 108, 145, 163, 169, 203 [best: 1000] 50680614092801, 9, 27, 31, 46, 60, 66, 86, 88, 141, 149, 160 [best: 1000] 50723563765761, 9, 27, 31, 46, 61, 62, 69, 106, 107, 130, 139 [best: 1000] 50766513438721, 9, 27, 31, 46, 61, 74, 79, 144, 151, 169, 215 [best: 1000] 50809463111681, 9, 27, 31, 46, 61, 92, 119, 122, 140, 178, 181, 205 [best: 1000] 50852412784641, 9, 27, 31, 46, 62, 74, 92, 115, 126, 144, 152, 162 [best: 1000] 50895362457601, 9, 27, 31, 46, 63, 64, 96, 126, 140, 167, 175 [best: 1000] 50938312130561, 9, 27, 31, 46, 63, 73, 74, 105, 109, 169, 180, 196 [best: 1000] 50981261803521, 9, 27, 31, 46, 63, 82, 129, 135, 141, 160, 230 [best: 1000] 51024211476481, 9, 27, 31, 46, 63, 96, 107, 117, 122, 131, 158 [best: 1000] 51067161149441, 9, 27, 31, 46, 64, 67, 79, 109, 119, 127, 181, 226 [best: 1000] 51110110822401, 9, 27, 31, 46, 64, 72, 103, 109, 125, 150, 167, 174 [best: 1000] 51153060495361, 9, 27, 31, 46, 64, 78, 107, 109, 156, 193, 205, 231 [best: 1000] 51196010168321, 9, 27, 31, 46, 64, 84, 100, 109, 154, 167, 240, 257 [best: 1000] 51238959841281, 9, 27, 31, 46, 64, 95, 97, 109, 134, 140, 144, 170 [best: 1000] 51281909514241, 9, 27, 31, 46, 64, 109, 114, 121, 128, 145, 194, 204 [best: 1000] 51324859187201, 9, 27, 31, 46, 65, 73, 104, 124, 127, 152, 163 [best: 1000] 51367808860161, 9, 27, 31, 46, 65, 84, 108, 115, 131, 150, 223 [best: 1000] 51410758533121, 9, 27, 31, 46, 66, 67, 84, 113, 142, 177, 192 [best: 1000] 51453708206081, 9, 27, 31, 46, 66, 82, 95, 117, 121, 138, 200 [best: 1000] 51496657879041, 9, 27, 31, 46, 67, 72, 97, 106, 151, 154, 169 [best: 1000] 51539607552001, 9, 27, 31, 46, 68, 74, 76, 79, 89, 97, 113 [best: 1000] 51582557224961, 9, 27, 31, 46, 69, 73, 78, 92, 105, 123, 131 [best: 1000] 51625506897921, 9, 27, 31, 46, 69, 85, 100, 105, 125, 149, 171, 249 [best: 1000] 51668456570881, 9, 27, 31, 46, 70, 74, 81, 98, 120, 125, 191 [best: 1000] 51711406243841, 9, 27, 31, 46, 70, 92, 111, 116, 119, 152, 185, 207 [best: 1000] 51754355916801, 9, 27, 31, 46, 71, 81, 94, 101, 106, 172, 184 [best: 1000] 51797305589761, 9, 27, 31, 46, 71, 99, 124, 137, 156, 191, 224 [best: 1000] 51840255262721, 9, 27, 31, 46, 72, 83, 111, 125, 180, 202, 214 [best: 1000] 51883204935681, 9, 27, 31, 46, 73, 75, 95, 96, 108, 149, 177 [best: 1000] 51926154608641, 9, 27, 31, 46, 73, 92, 110, 119, 134, 160, 196, 204 [best: 1000] 51969104281601, 9, 27, 31, 46, 74, 85, 98, 122, 123, 133, 145, 193 [best: 1000] 52012053954561, 9, 27, 31, 46, 75, 80, 114, 135, 159, 205, 226, 247 [best: 1000] 52055003627521, 9, 27, 31, 46, 75, 98, 108, 109, 143, 166, 190 [best: 1000] 52097953300481, 9, 27, 31, 46, 76, 88, 109, 136, 142, 173, 224 [best: 1000] 52140902973441, 9, 27, 31, 46, 77, 84, 92, 138, 145, 149, 151, 186 [best: 1000] 52183852646401, 9, 27, 31, 46, 78, 79, 110, 142, 143, 148, 163, 174 [best: 1000] 52226802319361, 9, 27, 31, 46, 78, 97, 103, 115, 116, 195, 213 [best: 1000] 52269751992321, 9, 27, 31, 46, 79, 88, 98, 128, 132, 154 [best: 1000] 52312701665281, 9, 27, 31, 46, 80, 84, 86, 96, 108, 110, 203 [best: 1000] 52355651338241, 9, 27, 31, 46, 80, 108, 131, 135, 150, 154, 164 [best: 1000] 52398601011201, 9, 27, 31, 46, 81, 109, 123, 161, 163, 178, 196 [best: 1000] 52441550684161, 9, 27, 31, 46, 82, 98, 117, 135, 173, 200, 230 [best: 1000] 52484500357121, 9, 27, 31, 46, 83, 91, 92, 96, 143, 161, 169, 222 [best: 1000] 52527450030081, 9, 27, 31, 46, 83, 111, 119, 124, 156, 192, 210 [best: 1000] 52570399703041, 9, 27, 31, 46, 84, 95, 109, 117, 118, 123, 161 [best: 1000] 52613349376001, 9, 27, 31, 46, 85, 86, 108, 109, 114, 115, 225, 240 [best: 1000] 52656299048961, 9, 27, 31, 46, 85, 108, 109, 117, 141, 174, 235, 255 [best: 1000] 52699248721921, 9, 27, 31, 46, 86, 112, 118, 143, 173, 181, 230 [best: 1000] 52742198394881, 9, 27, 31, 46, 88, 108, 128, 142, 154, 171, 172 [best: 1000] 52785148067841, 9, 27, 31, 46, 90, 98, 114, 117, 160, 162, 201, 240 [best: 1000] 52828097740801, 9, 27, 31, 46, 91, 100, 115, 117, 142, 169, 188 [best: 1000] 52871047413761, 9, 27, 31, 46, 92, 105, 106, 137, 142, 154, 159, 186 [best: 1000] 52913997086721, 9, 27, 31, 47, 48, 52, 65, 66, 132, 140, 161 [best: 1000] 52956946759681, 9, 27, 31, 47, 48, 58, 62, 112, 144, 188, 196 [best: 1000] 52999896432641, 9, 27, 31, 47, 48, 69, 80, 96, 134, 200, 231 [best: 1000] 53042846105601, 9, 27, 31, 47, 48, 82, 114, 121, 172, 174, 218 [best: 1000] 53085795778561, 9, 27, 31, 47, 49, 52, 63, 65, 116, 132, 177 [best: 1000] 53128745451521, 9, 27, 31, 47, 49, 58, 98, 101, 110, 167, 188 [best: 1000] 53171695124481, 9, 27, 31, 47, 49, 72, 76, 94, 110, 175, 178 [best: 1000] 53214644797441, 9, 27, 31, 47, 49, 97, 98, 110, 156, 208, 217 [best: 1000] 53257594470401, 9, 27, 31, 47, 50, 56, 72, 82, 133, 135, 212 [best: 1000] 53300544143361, 9, 27, 31, 47, 50, 63, 72, 100, 102, 119, 148 [best: 1000] 53343493816321, 9, 27, 31, 47, 50, 75, 94, 124, 147, 180, 182 [best: 1000] 53386443489281, 9, 27, 31, 47, 50, 90, 117, 145, 146, 162, 187 [best: 1000] 53429393162241, 9, 27, 31, 47, 51, 57, 123, 138, 147, 192, 235 [best: 1000] 53472342835201, 9, 27, 31, 47, 51, 78, 79, 113, 129, 130, 145 [best: 1000] 53515292508161, 9, 27, 31, 47, 52, 56, 93, 106, 162, 195, 214 [best: 1000] 53558242181121, 9, 27, 31, 47, 52, 68, 74, 98, 115, 119, 175 [best: 1000] 53601191854081, 9, 27, 31, 47, 52, 85, 97, 98, 125, 156, 203 [best: 1000] 53644141527041, 9, 27, 31, 47, 53, 58, 59, 80, 87, 136, 226, 229 [best: 1000] 53687091200001, 9, 27, 31, 47, 53, 71, 87, 108, 128, 192, 198 [best: 1000] 53730040872961, 9, 27, 31, 47, 53, 93, 94, 113, 151, 182, 218 [best: 1000] 53772990545921, 9, 27, 31, 47, 54, 59, 127, 130, 166, 186, 249 [best: 1000] 53815940218881, 9, 27, 31, 47, 54, 72, 111, 117, 118, 179, 194 [best: 1000] 53858889891841, 9, 27, 31, 47, 54, 88, 89, 144, 151, 157 [best: 1000] 53901839564801, 9, 27, 31, 47, 55, 58, 67, 95, 138, 166, 197 [best: 1000] 53944789237761, 9, 27, 31, 47, 55, 65, 69, 89, 97, 112, 138 [best: 1000] 53987738910721, 9, 27, 31, 47, 55, 73, 89, 110, 121, 131, 160 [best: 1000] 54030688583681, 9, 27, 31, 47, 55, 82, 101, 102, 123, 153, 156 [best: 1000] 54073638256641, 9, 27, 31, 47, 55, 97, 121, 135, 141, 176, 239 [best: 1000] 54116587929601, 9, 27, 31, 47, 56, 58, 103, 119, 126, 139, 212 [best: 1000] 54159537602561, 9, 27, 31, 47, 56, 67, 83, 131, 142, 171, 190 [best: 1000] 54202487275521, 9, 27, 31, 47, 56, 78, 80, 95, 109, 125, 205 [best: 1000] 54245436948481, 9, 27, 31, 47, 56, 90, 99, 111, 125, 151, 154 [best: 1000] 54288386621441, 9, 27, 31, 47, 57, 59, 84, 87, 94, 171, 183 [best: 1000] 54331336294401, 9, 27, 31, 47, 57, 65, 78, 119, 121, 130, 201 [best: 1000] 54374285967361, 9, 27, 31, 47, 57, 72, 80, 101, 181, 184, 208 [best: 1000] 54417235640321, 9, 27, 31, 47, 57, 79, 83, 127, 137, 189, 195 [best: 1000] 54460185313281, 9, 27, 31, 47, 57, 86, 106, 117, 153, 207, 211, 243 [best: 1000] 54503134986241, 9, 27, 31, 47, 57, 98, 104, 143, 178, 198, 206 [best: 1000] 54546084659201, 9, 27, 31, 47, 58, 61, 74, 83, 106, 173, 209 [best: 1000] 54589034332161, 9, 27, 31, 47, 58, 73, 85, 109, 111, 173, 217 [best: 1000] 54631984005121, 9, 27, 31, 47, 58, 89, 113, 134, 146, 178, 195, 256 [best: 1000] 54674933678081, 9, 27, 31, 47, 59, 65, 66, 81, 90, 128, 149 [best: 1000] 54717883351041, 9, 27, 31, 47, 59, 74, 115, 121, 136, 177, 182 [best: 1000] 54760833024001, 9, 27, 31, 47, 59, 85, 87, 100, 110, 153, 207 [best: 1000] 54803782696961, 9, 27, 31, 47, 60, 61, 64, 98, 111, 142, 146 [best: 1000] 54846732369921, 9, 27, 31, 47, 60, 90, 112, 120, 127, 144, 187 [best: 1000] 54889682042881, 9, 27, 31, 47, 61, 78, 107, 117, 134, 143, 200 [best: 1000] 54932631715841, 9, 27, 31, 47, 62, 70, 102, 103, 127, 138, 160 [best: 1000] 54975581388801, 9, 27, 31, 47, 63, 65, 69, 116, 123, 142, 192 [best: 1000] 55018531061761, 9, 27, 31, 47, 63, 76, 83, 93, 116, 207, 214 [best: 1000] 55061480734721, 9, 27, 31, 47, 63, 88, 95, 118, 148, 185, 211 [best: 1000] 55104430407681, 9, 27, 31, 47, 64, 69, 107, 141, 144, 167, 169 [best: 1000] 55147380080641, 9, 27, 31, 47, 64, 82, 92, 120, 193, 204, 230 [best: 1000] 55190329753601, 9, 27, 31, 47, 65, 69, 83, 87, 144, 167, 226 [best: 1000] 55233279426561, 9, 27, 31, 47, 65, 88, 97, 133, 155, 168, 213 [best: 1000] 55276229099521, 9, 27, 31, 47, 66, 80, 82, 88, 97, 168, 184 [best: 1000] 55319178772481, 9, 27, 31, 47, 67, 77, 82, 114, 155, 161, 206 [best: 1000] 55362128445441, 9, 27, 31, 47, 68, 84, 97, 98, 102, 115, 145 [best: 1000] 55405078118401, 9, 27, 31, 47, 69, 81, 122, 126, 153, 157, 227 [best: 1000] 55448027791361, 9, 27, 31, 47, 70, 73, 115, 124, 138, 141, 174 [best: 1000] 55490977464321, 9, 27, 31, 47, 70, 101, 109, 119, 136, 164, 207 [best: 1000] 55533927137281, 9, 27, 31, 47, 71, 82, 114, 129, 155, 159, 161 [best: 1000] 55576876810241, 9, 27, 31, 47, 71, 100, 128, 133, 136, 158, 213 [best: 1000] 55619826483201, 9, 27, 31, 47, 72, 83, 122, 127, 148, 167, 184 [best: 1000] 55662776156161, 9, 27, 31, 47, 73, 80, 86, 100, 104, 119, 132 [best: 1000] 55705725829121, 9, 27, 31, 47, 74, 79, 108, 112, 132, 134, 177 [best: 1000] 55748675502081, 9, 27, 31, 47, 75, 80, 85, 108, 113, 129, 131 [best: 1000] 55791625175041, 9, 27, 31, 47, 76, 78, 83, 100, 109, 129, 206 [best: 1000] 55834574848001, 9, 27, 31, 47, 76, 98, 126, 131, 152, 191, 222 [best: 1000] 55877524520961, 9, 27, 31, 47, 77, 88, 118, 120, 140, 162, 168 [best: 1000] 55920474193921, 9, 27, 31, 47, 78, 88, 103, 113, 132, 140, 141 [best: 1000] 55963423866881, 9, 27, 31, 47, 79, 89, 112, 148, 153, 170, 203 [best: 1000] 56006373539841, 9, 27, 31, 47, 80, 88, 103, 111, 120, 166, 187 [best: 1000] 56049323212801, 9, 27, 31, 47, 81, 86, 99, 110, 137, 192, 210 [best: 1000] 56092272885761, 9, 27, 31, 47, 82, 87, 90, 119, 129, 150, 182 [best: 1000] 56135222558721, 9, 27, 31, 47, 82, 100, 125, 137, 161, 168, 175 [best: 1000] 56178172231681, 9, 27, 31, 47, 83, 89, 119, 129, 171, 176, 179 [best: 1000] 56221121904641, 9, 27, 31, 47, 84, 90, 97, 104, 127, 173, 179 [best: 1000] 56264071577601, 9, 27, 31, 47, 85, 109, 118, 145, 151, 154, 161 [best: 1000] 56307021250561, 9, 27, 31, 47, 87, 102, 103, 128, 149, 191, 196 [best: 1000] 56349970923521, 9, 27, 31, 47, 89, 106, 118, 136, 145, 147, 226 [best: 1000] 56392920596481, 9, 27, 31, 48, 49, 55, 73, 110, 129, 176, 223 [best: 1000] 56435870269441, 9, 27, 31, 48, 49, 66, 73, 96, 157, 160, 167 [best: 1000] 56478819942401, 9, 27, 31, 48, 49, 89, 114, 118, 122, 181, 187 [best: 1000] 56521769615361, 9, 27, 31, 48, 50, 57, 65, 92, 96, 154, 191, 199 [best: 1000] 56564719288321, 9, 27, 31, 48, 50, 71, 72, 139, 153, 166, 207 [best: 1000] 56607668961281, 9, 27, 31, 48, 50, 98, 113, 118, 136, 144 [best: 1000] 56650618634241, 9, 27, 31, 48, 51, 69, 77, 103, 130, 139, 143 [best: 1000] 56693568307201, 9, 27, 31, 48, 52, 57, 82, 117, 127, 144, 235 [best: 1000] 56736517980161, 9, 27, 31, 48, 52, 82, 101, 102, 151, 181, 185 [best: 1000] 56779467653121, 9, 27, 31, 48, 53, 65, 76, 90, 103, 141, 182 [best: 1000] 56822417326081, 9, 27, 31, 48, 54, 55, 99, 119, 140, 157, 168, 206 [best: 1000] 56865366999041, 9, 27, 31, 48, 54, 70, 78, 93, 107, 188, 195 [best: 1000] 56908316672001, 9, 27, 31, 48, 54, 96, 100, 112, 143, 151, 226 [best: 1000] 56951266344961, 9, 27, 31, 48, 55, 65, 96, 98, 125, 137, 168, 192 [best: 1000] 56994216017921, 9, 27, 31, 48, 55, 82, 108, 117, 141, 193, 226 [best: 1000] 57037165690881, 9, 27, 31, 48, 56, 59, 122, 132, 141, 147, 151, 189 [best: 1000] 57080115363841, 9, 27, 31, 48, 56, 73, 82, 131, 146, 165, 184 [best: 1000] 57123065036801, 9, 27, 31, 48, 56, 91, 93, 133, 147, 188, 215 [best: 1000] 57166014709761, 9, 27, 31, 48, 57, 63, 93, 111, 115, 178 [best: 1000] 57208964382721, 9, 27, 31, 48, 57, 75, 89, 95, 107, 147, 216 [best: 1000] 57251914055681, 9, 27, 31, 48, 57, 93, 106, 122, 146, 175, 186 [best: 1000] 57294863728641, 9, 27, 31, 48, 58, 68, 94, 96, 98, 99 [best: 1000] 57337813401601, 9, 27, 31, 48, 58, 95, 119, 133, 135, 162, 165 [best: 1000] 57380763074561, 9, 27, 31, 48, 59, 76, 81, 98, 109, 115, 182 [best: 1000] 57423712747521, 9, 27, 31, 48, 60, 71, 74, 86, 126, 164, 182 [best: 1000] 57466662420481, 9, 27, 31, 48, 61, 85, 87, 100, 122, 149, 162 [best: 1000] 57509612093441, 9, 27, 31, 48, 63, 66, 73, 81, 100, 125, 216 [best: 1000] 57552561766401, 9, 27, 31, 48, 63, 87, 101, 106, 152, 174, 198 [best: 1000] 57595511439361, 9, 27, 31, 48, 64, 79, 94, 95, 108, 151, 190 [best: 1000] 57638461112321, 9, 27, 31, 48, 65, 75, 107, 141, 143, 157, 162 [best: 1000] 57681410785281, 9, 27, 31, 48, 66, 71, 100, 113, 122, 138, 189 [best: 1000] 57724360458241, 9, 27, 31, 48, 67, 85, 96, 105, 135, 147, 192 [best: 1000] 57767310131201, 9, 27, 31, 48, 69, 80, 103, 116, 123, 135, 150 [best: 1000] 57810259804161, 9, 27, 31, 48, 70, 85, 91, 132, 142, 158, 174 [best: 1000] 57853209477121, 9, 27, 31, 48, 71, 91, 122, 137, 148, 178, 189 [best: 1000] 57896159150081, 9, 27, 31, 48, 72, 96, 105, 113, 165, 183, 188 [best: 1000] 57939108823041, 9, 27, 31, 48, 74, 84, 86, 105, 159, 162, 195 [best: 1000] 57982058496001, 9, 27, 31, 48, 76, 77, 103, 132, 134, 139, 145 [best: 1000] 58025008168961, 9, 27, 31, 48, 77, 95, 96, 110, 115, 168, 186 [best: 1000] 58067957841921, 9, 27, 31, 48, 79, 98, 108, 113, 163, 183, 190 [best: 1000] 58110907514881, 9, 27, 31, 48, 81, 89, 97, 132, 156, 162, 206 [best: 1000] 58153857187841, 9, 27, 31, 48, 82, 95, 112, 122, 136, 159, 190 [best: 1000] 58196806860801, 9, 27, 31, 48, 85, 104, 116, 119, 127, 158, 211 [best: 1000] 58239756533761, 9, 27, 31, 49, 50, 53, 57, 71, 113, 155, 199 [best: 1000] 58282706206721, 9, 27, 31, 49, 50, 59, 76, 96, 139, 213, 226 [best: 1000] 58325655879681, 9, 27, 31, 49, 50, 72, 119, 129, 151, 161, 192 [best: 1000] 58368605552641, 9, 27, 31, 49, 50, 97, 123, 142, 165, 176, 188, 207 [best: 1000] 58411555225601, 9, 27, 31, 49, 51, 67, 68, 98, 121, 141, 161 [best: 1000] 58454504898561, 9, 27, 31, 49, 52, 56, 87, 110, 115, 162, 165 [best: 1000] 58497454571521, 9, 27, 31, 49, 52, 71, 102, 114, 125, 169 [best: 1000] 58540404244481, 9, 27, 31, 49, 53, 55, 86, 105, 139, 153, 154 [best: 1000] 58583353917441, 9, 27, 31, 49, 53, 69, 77, 112, 154, 206, 218 [best: 1000] 58626303590401, 9, 27, 31, 49, 54, 55, 59, 122, 126, 142, 156 [best: 1000] 58669253263361, 9, 27, 31, 49, 54, 65, 81, 90, 130, 149, 186 [best: 1000] 58712202936321, 9, 27, 31, 49, 54, 83, 101, 122, 124, 127, 179 [best: 1000] 58755152609281, 9, 27, 31, 49, 55, 59, 61, 84, 131, 146, 158 [best: 1000] 58798102282241, 9, 27, 31, 49, 55, 69, 81, 115, 165, 197, 199 [best: 1000] 58841051955201, 9, 27, 31, 49, 55, 81, 97, 103, 113, 135, 139, 238 [best: 1000] 58884001628161, 9, 27, 31, 49, 55, 105, 108, 123, 130, 155, 167, 188 [best: 1000] 58926951301121, 9, 27, 31, 49, 56, 64, 73, 96, 113, 185, 211 [best: 1000] 58969900974081, 9, 27, 31, 49, 56, 76, 92, 129, 134, 135, 219 [best: 1000] 59012850647041, 9, 27, 31, 49, 56, 94, 98, 127, 133, 142, 188 [best: 1000] 59055800320001, 9, 27, 31, 49, 57, 62, 79, 81, 89, 126, 184 [best: 1000] 59098749992961, 9, 27, 31, 49, 57, 70, 71, 84, 97, 124, 156 [best: 1000] 59141699665921, 9, 27, 31, 49, 57, 78, 106, 112, 146, 147, 245 [best: 1000] 59184649338881, 9, 27, 31, 49, 57, 90, 96, 99, 110, 143, 194 [best: 1000] 59227599011841, 9, 27, 31, 49, 57, 114, 120, 144, 153, 156, 226 [best: 1000] 59270548684801, 9, 27, 31, 49, 58, 74, 85, 108, 139, 141, 162, 168 [best: 1000] 59313498357761, 9, 27, 31, 49, 59, 61, 119, 137, 144, 146, 201 [best: 1000] 59356448030721, 9, 27, 31, 49, 59, 73, 94, 105, 149, 159, 218 [best: 1000] 59399397703681, 9, 27, 31, 49, 59, 91, 111, 113, 131, 142, 200 [best: 1000] 59442347376641, 9, 27, 31, 49, 60, 82, 99, 147, 159, 175, 192 [best: 1000] 59485297049601, 9, 27, 31, 49, 61, 82, 102, 148, 166, 174, 181 [best: 1000] 59528246722561, 9, 27, 31, 49, 62, 83, 88, 115, 120, 124, 140 [best: 1000] 59571196395521, 9, 27, 31, 49, 63, 74, 113, 123, 160, 170 [best: 1000] 59614146068481, 9, 27, 31, 49, 63, 97, 100, 119, 154, 164 [best: 1000] 59657095741441, 9, 27, 31, 49, 64, 78, 83, 86, 126, 161, 180 [best: 1000] 59700045414401, 9, 27, 31, 49, 65, 70, 89, 119, 140, 166, 186 [best: 1000] 59742995087361, 9, 27, 31, 49, 65, 92, 101, 112, 135, 175, 204 [best: 1000] 59785944760321, 9, 27, 31, 49, 66, 84, 86, 96, 123, 157, 171 [best: 1000] 59828894433281, 9, 27, 31, 49, 68, 73, 75, 82, 90, 163, 200 [best: 1000] 59871844106241, 9, 27, 31, 49, 69, 82, 83, 103, 121, 158, 252 [best: 1000] 59914793779201, 9, 27, 31, 49, 70, 80, 116, 120, 146, 147, 163 [best: 1000] 59957743452161, 9, 27, 31, 49, 71, 80, 83, 117, 123, 136, 181 [best: 1000] 60000693125121, 9, 27, 31, 49, 71, 104, 112, 130, 156, 175, 216 [best: 1000] 60043642798081, 9, 27, 31, 49, 72, 96, 112, 143, 186, 208, 213 [best: 1000] 60086592471041, 9, 27, 31, 49, 74, 77, 82, 134, 139, 165, 205 [best: 1000] 60129542144001, 9, 27, 31, 49, 75, 83, 118, 137, 142, 151, 154 [best: 1000] 60172491816961, 9, 27, 31, 49, 76, 89, 104, 105, 140, 160, 184 [best: 1000] 60215441489921, 9, 27, 31, 49, 77, 96, 116, 126, 174, 201, 226 [best: 1000] 60258391162881, 9, 27, 31, 49, 79, 89, 98, 102, 104, 124, 201 [best: 1000] 60301340835841, 9, 27, 31, 49, 81, 84, 100, 102, 116, 166, 181 [best: 1000] 60344290508801, 9, 27, 31, 49, 82, 91, 119, 130, 142, 158, 183 [best: 1000] 60387240181761, 9, 27, 31, 49, 83, 88, 97, 121, 140, 193, 220 [best: 1000] 60430189854721, 9, 27, 31, 49, 85, 96, 105, 135, 146, 183, 205 [best: 1000] 60473139527681, 9, 27, 31, 49, 88, 101, 107, 109, 113, 135, 184 [best: 1000] 60516089200641, 9, 27, 31, 50, 51, 59, 73, 99, 115, 141, 185 [best: 1000] 60559038873601, 9, 27, 31, 50, 51, 83, 108, 112, 119, 122, 164, 209 [best: 1000] 60601988546561, 9, 27, 31, 50, 52, 59, 62, 65, 116, 173, 185 [best: 1000] 60644938219521, 9, 27, 31, 50, 52, 77, 97, 111, 126, 152, 218 [best: 1000] 60687887892481, 9, 27, 31, 50, 53, 57, 65, 89, 139, 159, 166 [best: 1000] 60730837565441, 9, 27, 31, 50, 53, 74, 83, 102, 118, 125, 135, 155 [best: 1000] 60773787238401, 9, 27, 31, 50, 54, 57, 66, 74, 95, 163, 208 [best: 1000] 60816736911361, 9, 27, 31, 50, 54, 69, 81, 87, 143, 161, 169 [best: 1000] 60859686584321, 9, 27, 31, 50, 54, 85, 136, 137, 144, 201, 222 [best: 1000] 60902636257281, 9, 27, 31, 50, 55, 58, 98, 103, 155, 167, 178, 182 [best: 1000] 60945585930241, 9, 27, 31, 50, 55, 68, 87, 103, 110, 112, 147 [best: 1000] 60988535603201, 9, 27, 31, 50, 55, 80, 93, 110, 134, 139, 196, 229 [best: 1000] 61031485276161, 9, 27, 31, 50, 55, 101, 103, 125, 128, 184, 217, 248 [best: 1000] 61074434949121, 9, 27, 31, 50, 56, 61, 65, 79, 104, 150, 165 [best: 1000] 61117384622081, 9, 27, 31, 50, 56, 71, 113, 130, 156, 185, 208 [best: 1000] 61160334295041, 9, 27, 31, 50, 56, 84, 89, 121, 133, 143, 159 [best: 1000] 61203283968001, 9, 27, 31, 50, 56, 111, 122, 130, 131, 154, 180 [best: 1000] 61246233640961, 9, 27, 31, 50, 57, 64, 69, 89, 95, 111, 211 [best: 1000] 61289183313921, 9, 27, 31, 50, 57, 71, 106, 110, 131, 149, 205 [best: 1000] 61332132986881, 9, 27, 31, 50, 57, 81, 85, 100, 147, 186, 188 [best: 1000] 61375082659841, 9, 27, 31, 50, 57, 92, 109, 135, 160, 170, 178 [best: 1000] 61418032332801, 9, 27, 31, 50, 57, 117, 123, 128, 143, 158, 214, 216 [best: 1000] 61460982005761, 9, 27, 31, 50, 58, 71, 128, 136, 150, 155, 160, 229 [best: 1000] 61503931678721, 9, 27, 31, 50, 58, 98, 113, 119, 140, 155, 175 [best: 1000] 61546881351681, 9, 27, 31, 50, 59, 69, 79, 112, 123, 146, 209 [best: 1000] 61589831024641, 9, 27, 31, 50, 59, 82, 102, 113, 123, 201, 225 [best: 1000] 61632780697601, 9, 27, 31, 50, 59, 110, 113, 123, 165, 176, 187, 188 [best: 1000] 61675730370561, 9, 27, 31, 50, 61, 63, 78, 124, 141, 146, 149 [best: 1000] 61718680043521, 9, 27, 31, 50, 61, 88, 93, 128, 144, 159, 165 [best: 1000] 61761629716481, 9, 27, 31, 50, 62, 89, 94, 101, 104, 107, 135 [best: 1000] 61804579389441, 9, 27, 31, 50, 63, 77, 99, 120, 124, 169, 175 [best: 1000] 61847529062401, 9, 27, 31, 50, 64, 65, 98, 113, 116, 118, 152 [best: 1000] 61890478735361, 9, 27, 31, 50, 64, 85, 93, 109, 132, 168, 179 [best: 1000] 61933428408321, 9, 27, 31, 50, 65, 76, 78, 85, 136, 161, 185 [best: 1000] 61976378081281, 9, 27, 31, 50, 66, 67, 84, 89, 107, 111, 177 [best: 1000] 62019327754241, 9, 27, 31, 50, 66, 99, 114, 134, 165, 198, 228 [best: 1000] 62062277427201, 9, 27, 31, 50, 68, 78, 90, 122, 146, 160, 173 [best: 1000] 62105227100161, 9, 27, 31, 50, 69, 83, 92, 96, 100, 125, 142, 224 [best: 1000] 62148176773121, 9, 27, 31, 50, 70, 79, 94, 108, 109, 116, 174 [best: 1000] 62191126446081, 9, 27, 31, 50, 71, 77, 118, 140, 153, 154, 191 [best: 1000] 62234076119041, 9, 27, 31, 50, 71, 97, 105, 106, 144, 165, 221 [best: 1000] 62277025792001, 9, 27, 31, 50, 72, 85, 108, 119, 138, 146, 174 [best: 1000] 62319975464961, 9, 27, 31, 50, 73, 87, 95, 126, 141, 180, 189 [best: 1000] 62362925137921, 9, 27, 31, 50, 75, 77, 88, 109, 138, 139, 163 [best: 1000] 62405874810881, 9, 27, 31, 50, 76, 78, 79, 98, 119, 135, 189 [best: 1000] 62448824483841, 9, 27, 31, 50, 77, 85, 111, 115, 133, 149, 198 [best: 1000] 62491774156801, 9, 27, 31, 50, 78, 105, 124, 143, 177, 192, 224 [best: 1000] 62534723829761, 9, 27, 31, 50, 80, 97, 111, 120, 126, 163, 180 [best: 1000] 62577673502721, 9, 27, 31, 50, 82, 88, 94, 105, 135, 156, 195 [best: 1000] 62620623175681, 9, 27, 31, 50, 83, 92, 109, 117, 123, 141, 215 [best: 1000] 62663572848641, 9, 27, 31, 50, 83, 109, 124, 129, 131, 152, 168, 223 [best: 1000] 62706522521601, 9, 27, 31, 50, 85, 95, 98, 119, 121, 147, 177 [best: 1000] 62749472194561, 9, 27, 31, 50, 87, 95, 107, 143, 145, 163, 188 [best: 1000] 62792421867521, 9, 27, 31, 50, 90, 100, 126, 128, 147, 151, 204, 215 [best: 1000] 62835371540481, 9, 27, 31, 51, 52, 56, 86, 103, 124, 149, 203 [best: 1000] 62878321213441, 9, 27, 31, 51, 53, 56, 57, 93, 113, 182, 198 [best: 1000] 62921270886401, 9, 27, 31, 51, 54, 55, 77, 86, 100, 148, 164 [best: 1000] 62964220559361, 9, 27, 31, 51, 54, 89, 109, 124, 155, 167, 190, 240 [best: 1000] 63007170232321, 9, 27, 31, 51, 55, 71, 88, 92, 96, 143, 154 [best: 1000] 63050119905281, 9, 27, 31, 51, 56, 58, 73, 88, 121, 123, 133 [best: 1000] 63093069578241, 9, 27, 31, 51, 56, 80, 102, 150, 169, 190, 210 [best: 1000] 63136019251201, 9, 27, 31, 51, 57, 65, 85, 92, 95, 177, 200 [best: 1000] 63178968924161, 9, 27, 31, 51, 57, 84, 116, 138, 162, 174, 189, 242 [best: 1000] 63221918597121, 9, 27, 31, 51, 58, 70, 71, 119, 150, 153, 184 [best: 1000] 63264868270081, 9, 27, 31, 51, 59, 66, 109, 115, 151, 162, 168 [best: 1000] 63307817943041, 9, 27, 31, 51, 60, 70, 93, 103, 109, 127, 159 [best: 1000] 63350767616001, 9, 27, 31, 51, 62, 78, 95, 98, 120, 144, 161 [best: 1000] 63393717288961, 9, 27, 31, 51, 63, 92, 95, 105, 145, 178 [best: 1000] 63436666961921, 9, 27, 31, 51, 65, 71, 89, 101, 102, 144, 214 [best: 1000] 63479616634881, 9, 27, 31, 51, 67, 70, 80, 110, 148, 150, 157 [best: 1000] 63522566307841, 9, 27, 31, 51, 69, 94, 115, 121, 124, 152, 186 [best: 1000] 63565515980801, 9, 27, 31, 51, 71, 88, 113, 135, 146, 150, 220 [best: 1000] 63608465653761, 9, 27, 31, 51, 73, 84, 106, 108, 142, 153, 161 [best: 1000] 63651415326721, 9, 27, 31, 51, 77, 79, 107, 128, 162, 177, 189 [best: 1000] 63694364999681, 9, 27, 31, 51, 79, 89, 119, 134, 143, 150, 157 [best: 1000] 63737314672641, 9, 27, 31, 51, 82, 90, 95, 128, 159, 162, 185, 221 [best: 1000] 63780264345601, 9, 27, 31, 52, 53, 72, 97, 99, 106, 144, 187 [best: 1000] 63823214018561, 9, 27, 31, 52, 54, 67, 79, 91, 125, 129, 163 [best: 1000] 63866163691521, 9, 27, 31, 52, 55, 58, 81, 98, 103, 147, 169, 170 [best: 1000] 63909113364481, 9, 27, 31, 52, 55, 78, 79, 96, 103, 153, 171, 223 [best: 1000] 63952063037441, 9, 27, 31, 52, 56, 60, 68, 82, 93, 139, 151 [best: 1000] 63995012710401, 9, 27, 31, 52, 56, 78, 88, 109, 138, 148, 181 [best: 1000] 64037962383361, 9, 27, 31, 52, 57, 59, 82, 124, 141, 149, 180 [best: 1000] 64080912056321, 9, 27, 31, 52, 57, 74, 83, 123, 126, 181, 213 [best: 1000] 64123861729281, 9, 27, 31, 52, 57, 103, 115, 116, 124, 145, 216 [best: 1000] 64166811402241, 9, 27, 31, 52, 58, 83, 100, 116, 146, 162, 164 [best: 1000] 64209761075201, 9, 27, 31, 52, 59, 73, 118, 120, 129, 143, 199 [best: 1000] 64252710748161, 9, 27, 31, 52, 60, 71, 88, 107, 137, 140, 168 [best: 1000] 64295660421121, 9, 27, 31, 52, 62, 71, 91, 93, 104, 138, 186 [best: 1000] 64338610094081, 9, 27, 31, 52, 63, 81, 92, 142, 154, 189, 206 [best: 1000] 64381559767041, 9, 27, 31, 52, 64, 85, 105, 121, 132, 160, 199, 224 [best: 1000] 64424509440001, 9, 27, 31, 52, 65, 89, 116, 125, 129, 155, 184 [best: 1000] 64467459112961, 9, 27, 31, 52, 67, 76, 81, 100, 111, 130, 172 [best: 1000] 64510408785921, 9, 27, 31, 52, 69, 85, 87, 111, 122, 143, 183, 224 [best: 1000] 64553358458881, 9, 27, 31, 52, 71, 76, 97, 116, 127, 164, 166 [best: 1000] 64596308131841, 9, 27, 31, 52, 72, 85, 107, 111, 117, 122, 147 [best: 1000] 64639257804801, 9, 27, 31, 52, 74, 87, 91, 106, 107, 116, 181 [best: 1000] 64682207477761, 9, 27, 31, 52, 78, 81, 106, 127, 142, 196, 214 [best: 1000] 64725157150721, 9, 27, 31, 52, 80, 89, 90, 126, 170, 174, 188 [best: 1000] 64768106823681, 9, 27, 31, 52, 83, 92, 97, 108, 124, 131, 167, 170 [best: 1000] 64811056496641, 9, 27, 31, 53, 54, 56, 87, 104, 132, 140, 154 [best: 1000] 64854006169601, 9, 27, 31, 53, 54, 80, 97, 142, 162, 172, 206 [best: 1000] 64896955842561, 9, 27, 31, 53, 55, 64, 78, 128, 138, 144, 156 [best: 1000] 64939905515521, 9, 27, 31, 53, 55, 82, 91, 97, 129, 148, 183, 187 [best: 1000] 64982855188481, 9, 27, 31, 53, 56, 61, 90, 93, 101, 112, 148 [best: 1000] 65025804861441, 9, 27, 31, 53, 56, 80, 93, 108, 119, 181, 245 [best: 1000] 65068754534401, 9, 27, 31, 53, 57, 63, 66, 69, 128, 137, 145 [best: 1000] 65111704207361, 9, 27, 31, 53, 57, 78, 81, 113, 117, 184, 211 [best: 1000] 65154653880321, 9, 27, 31, 53, 58, 59, 84, 131, 141, 177, 187 [best: 1000] 65197603553281, 9, 27, 31, 53, 58, 91, 92, 121, 148, 158, 168 [best: 1000] 65240553226241, 9, 27, 31, 53, 59, 79, 107, 124, 153, 179, 216 [best: 1000] 65283502899201, 9, 27, 31, 53, 61, 67, 85, 92, 115, 147, 173 [best: 1000] 65326452572161, 9, 27, 31, 53, 63, 64, 70, 97, 123, 133, 146 [best: 1000] 65369402245121, 9, 27, 31, 53, 63, 91, 117, 122, 149, 172, 209 [best: 1000] 65412351918081, 9, 27, 31, 53, 64, 94, 103, 126, 162, 165, 179 [best: 1000] 65455301591041, 9, 27, 31, 53, 65, 93, 106, 114, 118, 142, 189 [best: 1000] 65498251264001, 9, 27, 31, 53, 67, 80, 113, 119, 121, 143, 150 [best: 1000] 65541200936961, 9, 27, 31, 53, 69, 87, 113, 128, 141, 174, 199 [best: 1000] 65584150609921, 9, 27, 31, 53, 71, 79, 82, 115, 122, 155, 177 [best: 1000] 65627100282881, 9, 27, 31, 53, 72, 92, 94, 115, 131, 190, 202, 214 [best: 1000] 65670049955841, 9, 27, 31, 53, 74, 94, 104, 115, 157, 167, 171, 206 [best: 1000] 65712999628801, 9, 27, 31, 53, 77, 93, 119, 124, 152, 177, 199, 239 [best: 1000] 65755949301761, 9, 27, 31, 53, 79, 99, 114, 125, 138, 151, 176 [best: 1000] 65798898974721, 9, 27, 31, 53, 83, 84, 85, 116, 140, 144, 173 [best: 1000] 65841848647681, 9, 27, 31, 54, 55, 57, 61, 93, 138, 173, 203 [best: 1000] 65884798320641, 9, 27, 31, 54, 55, 69, 80, 95, 129, 150, 161, 218 [best: 1000] 65927747993601, 9, 27, 31, 54, 55, 84, 93, 112, 149, 200, 203 [best: 1000] 65970697666561, 9, 27, 31, 54, 56, 59, 105, 125, 128, 169, 183 [best: 1000] 66013647339521, 9, 27, 31, 54, 56, 79, 94, 102, 161, 165, 169 [best: 1000] 66056597012481, 9, 27, 31, 54, 57, 61, 64, 101, 112, 176, 211 [best: 1000] 66099546685441, 9, 27, 31, 54, 57, 72, 76, 103, 148, 182, 196 [best: 1000] 66142496358401, 9, 27, 31, 54, 57, 85, 93, 105, 157, 159, 187 [best: 1000] 66185446031361, 9, 27, 31, 54, 58, 60, 108, 119, 129, 145, 189 [best: 1000] 66228395704321, 9, 27, 31, 54, 58, 84, 85, 107, 108, 170, 217 [best: 1000] 66271345377281, 9, 27, 31, 54, 59, 70, 102, 116, 143, 144, 191 [best: 1000] 66314295050241, 9, 27, 31, 54, 59, 89, 116, 130, 137, 150, 184 [best: 1000] 66357244723201, 9, 27, 31, 54, 61, 63, 69, 94, 111, 123, 179 [best: 1000] 66400194396161, 9, 27, 31, 54, 62, 66, 71, 73, 88, 97, 106 [best: 1000] 66443144069121, 9, 27, 31, 54, 63, 72, 80, 85, 94, 119, 208 [best: 1000] 66486093742081, 9, 27, 31, 54, 63, 99, 112, 132, 136, 151, 225 [best: 1000] 66529043415041, 9, 27, 31, 54, 64, 87, 106, 113, 140, 141, 176 [best: 1000] 66571993088001, 9, 27, 31, 54, 65, 83, 94, 99, 102, 138, 152 [best: 1000] 66614942760961, 9, 27, 31, 54, 66, 91, 93, 122, 155, 185, 207 [best: 1000] 66657892433921, 9, 27, 31, 54, 68, 91, 96, 102, 143, 151, 211 [best: 1000] 66700842106881, 9, 27, 31, 54, 70, 71, 94, 113, 143, 149, 167 [best: 1000] 66743791779841, 9, 27, 31, 54, 71, 77, 81, 128, 155, 191, 195 [best: 1000] 66786741452801, 9, 27, 31, 54, 71, 101, 104, 108, 131, 141, 167 [best: 1000] 66829691125761, 9, 27, 31, 54, 72, 98, 108, 115, 159, 184, 207 [best: 1000] 66872640798721, 9, 27, 31, 54, 74, 81, 85, 95, 108, 123, 126 [best: 1000] 66915590471681, 9, 27, 31, 54, 75, 94, 95, 104, 118, 138, 165 [best: 1000] 66958540144641, 9, 27, 31, 54, 78, 79, 85, 117, 144, 147, 197, 222 [best: 1000] 67001489817601, 9, 27, 31, 54, 79, 96, 118, 135, 154, 169, 252 [best: 1000] 67044439490561, 9, 27, 31, 54, 80, 94, 103, 111, 140, 146, 165 [best: 1000] 67087389163521, 9, 27, 31, 54, 81, 96, 105, 110, 140, 149, 172 [best: 1000] 67130338836481, 9, 27, 31, 54, 83, 85, 105, 115, 129, 143, 144, 179 [best: 1000] 67173288509441, 9, 27, 31, 54, 85, 87, 103, 111, 124, 128, 204 [best: 1000] 67216238182401, 9, 27, 31, 55, 56, 57, 63, 68, 98, 143, 198 [best: 1000] 67259187855361, 9, 27, 31, 55, 56, 65, 80, 83, 150, 158, 168, 221 [best: 1000] 67302137528321, 9, 27, 31, 55, 56, 74, 122, 127, 137, 169, 171, 187 [best: 1000] 67345087201281, 9, 27, 31, 55, 56, 85, 122, 128, 171, 192, 233, 254 [best: 1000] 67388036874241, 9, 27, 31, 55, 56, 111, 124, 144, 156, 163, 235 [best: 1000] 67430986547201, 9, 27, 31, 55, 57, 66, 69, 76, 105, 151, 171 [best: 1000] 67473936220161, 9, 27, 31, 55, 57, 76, 82, 97, 158, 166, 174 [best: 1000] 67516885893121, 9, 27, 31, 55, 57, 88, 95, 99, 101, 140, 181 [best: 1000] 67559835566081, 9, 27, 31, 55, 58, 60, 98, 100, 127, 179, 210 [best: 1000] 67602785239041, 9, 27, 31, 55, 58, 74, 82, 114, 172, 190, 206 [best: 1000] 67645734912001, 9, 27, 31, 55, 58, 94, 95, 121, 165, 191, 204 [best: 1000] 67688684584961, 9, 27, 31, 55, 59, 70, 71, 73, 91, 169, 175, 184 [best: 1000] 67731634257921, 9, 27, 31, 55, 59, 85, 89, 115, 127, 147, 168, 190 [best: 1000] 67774583930881, 9, 27, 31, 55, 60, 69, 91, 106, 127, 132, 137, 170 [best: 1000] 67817533603841, 9, 27, 31, 55, 61, 64, 109, 121, 130, 149, 184 [best: 1000] 67860483276801, 9, 27, 31, 55, 61, 85, 94, 114, 119, 120, 122, 159 [best: 1000] 67903432949761, 9, 27, 31, 55, 62, 78, 83, 126, 127, 160, 189, 222 [best: 1000] 67946382622721, 9, 27, 31, 55, 63, 69, 81, 140, 146, 162, 183 [best: 1000] 67989332295681, 9, 27, 31, 55, 63, 83, 114, 118, 136, 155, 171, 278 [best: 1000] 68032281968641, 9, 27, 31, 55, 64, 69, 71, 81, 166, 175, 214 [best: 1000] 68075231641601, 9, 27, 31, 55, 64, 86, 112, 133, 146, 169, 182 [best: 1000] 68118181314561, 9, 27, 31, 55, 65, 73, 87, 91, 117, 125, 144, 166 [best: 1000] 68161130987521, 9, 27, 31, 55, 65, 86, 94, 113, 145, 155, 209 [best: 1000] 68204080660481, 9, 27, 31, 55, 66, 72, 77, 83, 143, 173, 182, 188 [best: 1000] 68247030333441, 9, 27, 31, 55, 66, 92, 93, 128, 152, 178, 221 [best: 1000] 68289980006401, 9, 27, 31, 55, 67, 89, 106, 108, 118, 123, 158 [best: 1000] 68332929679361, 9, 27, 31, 55, 68, 96, 106, 109, 134, 193, 203 [best: 1000] 68375879352321, 9, 27, 31, 55, 69, 83, 100, 122, 165, 174, 226, 235 [best: 1000] 68418829025281, 9, 27, 31, 55, 70, 71, 77, 104, 122, 139, 150 [best: 1000] 68461778698241, 9, 27, 31, 55, 70, 90, 95, 121, 134, 136, 176 [best: 1000] 68504728371201, 9, 27, 31, 55, 71, 81, 103, 121, 156, 180, 222 [best: 1000] 68547678044161, 9, 27, 31, 55, 71, 102, 108, 126, 132, 193, 215 [best: 1000] 68590627717121, 9, 27, 31, 55, 72, 85, 93, 123, 125, 141, 142 [best: 1000] 68633577390081, 9, 27, 31, 55, 73, 78, 83, 98, 127, 135, 138, 220 [best: 1000] 68676527063041, 9, 27, 31, 55, 73, 101, 106, 108, 113, 159, 201 [best: 1000] 68719476736001, 9, 27, 31, 55, 74, 89, 94, 98, 113, 129, 146 [best: 1000] 68762426408961, 9, 27, 31, 55, 75, 83, 119, 125, 126, 184, 192, 242 [best: 1000] 68805376081921, 9, 27, 31, 55, 76, 84, 92, 99, 125, 145, 209, 225 [best: 1000] 68848325754881, 9, 27, 31, 55, 77, 91, 109, 116, 132, 156, 169, 202 [best: 1000] 68891275427841, 9, 27, 31, 55, 78, 100, 102, 117, 119, 164, 193, 194 [best: 1000] 68934225100801, 9, 27, 31, 55, 80, 84, 90, 134, 144, 153, 168 [best: 1000] 68977174773761, 9, 27, 31, 55, 81, 92, 103, 109, 120, 123, 145 [best: 1000] 69020124446721, 9, 27, 31, 55, 82, 91, 102, 117, 123, 127, 215, 225 [best: 1000] 69063074119681, 9, 27, 31, 55, 83, 84, 104, 108, 112, 128, 133, 158 [best: 1000] 69106023792641, 9, 27, 31, 55, 83, 93, 104, 124, 145, 167, 180, 278 [best: 1000] 69148973465601, 9, 27, 31, 55, 83, 103, 104, 112, 122, 166, 208, 246 [best: 1000] 69191923138561, 9, 27, 31, 55, 83, 104, 125, 153, 188, 226, 229, 254 [best: 1000] 69234872811521, 9, 27, 31, 55, 84, 103, 112, 124, 195, 230, 247 [best: 1000] 69277822484481, 9, 27, 31, 55, 85, 100, 109, 115, 129, 149, 156, 186 [best: 1000] 69320772157441, 9, 27, 31, 55, 86, 98, 101, 104, 112, 185, 186 [best: 1000] 69363721830401, 9, 27, 31, 55, 90, 95, 127, 140, 164, 171, 180 [best: 1000] 69406671503361, 9, 27, 31, 55, 91, 100, 106, 111, 126, 161, 214, 227 [best: 1000] 69449621176321, 9, 27, 31, 55, 91, 106, 129, 134, 137, 147, 207, 226 [best: 1000] 69492570849281, 9, 27, 31, 56, 57, 59, 91, 93, 144, 153, 207 [best: 1000] 69535520522241, 9, 27, 31, 56, 57, 67, 70, 136, 154, 173, 201 [best: 1000] 69578470195201, 9, 27, 31, 56, 57, 74, 133, 150, 153, 173, 186 [best: 1000] 69621419868161, 9, 27, 31, 56, 57, 82, 118, 125, 139, 203, 218 [best: 1000] 69664369541121, 9, 27, 31, 56, 57, 95, 107, 121, 175, 201, 212, 259 [best: 1000] 69707319214081, 9, 27, 31, 56, 58, 61, 101, 103, 109, 152, 172 [best: 1000] 69750268887041, 9, 27, 31, 56, 58, 78, 102, 130, 148, 150, 163 [best: 1000] 69793218560001, 9, 27, 31, 56, 59, 63, 68, 83, 109, 144, 238 [best: 1000] 69836168232961, 9, 27, 31, 56, 59, 73, 106, 121, 135, 151, 187, 195 [best: 1000] 69879117905921, 9, 27, 31, 56, 59, 85, 103, 138, 139, 167, 225, 267 [best: 1000] 69922067578881, 9, 27, 31, 56, 60, 65, 101, 106, 137, 162, 183, 184 [best: 1000] 69965017251841, 9, 27, 31, 56, 61, 65, 88, 122, 145, 174, 185 [best: 1000] 70007966924801, 9, 27, 31, 56, 61, 86, 97, 120, 144, 156, 206 [best: 1000] 70050916597761, 9, 27, 31, 56, 62, 81, 102, 123, 155, 167, 174 [best: 1000] 70093866270721, 9, 27, 31, 56, 63, 73, 92, 108, 141, 144, 193 [best: 1000] 70136815943681, 9, 27, 31, 56, 63, 91, 102, 114, 133, 148, 225 [best: 1000] 70179765616641, 9, 27, 31, 56, 64, 75, 85, 101, 138, 160, 211 [best: 1000] 70222715289601, 9, 27, 31, 56, 64, 102, 115, 147, 171, 185, 235 [best: 1000] 70265664962561, 9, 27, 31, 56, 65, 82, 98, 132, 143, 197, 220 [best: 1000] 70308614635521, 9, 27, 31, 56, 66, 75, 95, 112, 120, 145, 198 [best: 1000] 70351564308481, 9, 27, 31, 56, 67, 70, 84, 95, 142, 153, 176 [best: 1000] 70394513981441, 9, 27, 31, 56, 68, 76, 78, 81, 119, 145, 195 [best: 1000] 70437463654401, 9, 27, 31, 56, 69, 77, 98, 110, 142, 151, 175 [best: 1000] 70480413327361, 9, 27, 31, 56, 70, 71, 85, 111, 124, 153, 168 [best: 1000] 70523363000321, 9, 27, 31, 56, 70, 92, 97, 120, 131, 134, 186 [best: 1000] 70566312673281, 9, 27, 31, 56, 71, 80, 106, 110, 120, 124, 219, 246 [best: 1000] 70609262346241, 9, 27, 31, 56, 71, 95, 103, 119, 132, 202, 218 [best: 1000] 70652212019201, 9, 27, 31, 56, 72, 80, 82, 104, 125, 133, 164 [best: 1000] 70695161692161, 9, 27, 31, 56, 72, 105, 110, 139, 160, 174, 224 [best: 1000] 70738111365121, 9, 27, 31, 56, 73, 95, 111, 117, 126, 174, 183 [best: 1000] 70781061038081, 9, 27, 31, 56, 74, 87, 101, 107, 114, 150, 176 [best: 1000] 70824010711041, 9, 27, 31, 56, 75, 84, 88, 97, 145, 210, 214 [best: 1000] 70866960384001, 9, 27, 31, 56, 76, 83, 98, 118, 175, 182, 183 [best: 1000] 70909910056961, 9, 27, 31, 56, 77, 80, 105, 121, 159, 190, 203 [best: 1000] 70952859729921, 9, 27, 31, 56, 77, 106, 109, 126, 153, 162, 163 [best: 1000] 70995809402881, 9, 27, 31, 56, 79, 80, 122, 134, 149, 173, 231, 236 [best: 1000] 71038759075841, 9, 27, 31, 56, 79, 109, 119, 133, 140, 141, 189 [best: 1000] 71081708748801, 9, 27, 31, 56, 80, 97, 103, 124, 161, 164, 178 [best: 1000] 71124658421761, 9, 27, 31, 56, 81, 84, 95, 146, 149, 168, 228 [best: 1000] 71167608094721, 9, 27, 31, 56, 81, 96, 126, 130, 165, 166, 244 [best: 1000] 71210557767681, 9, 27, 31, 56, 82, 83, 102, 123, 153, 155, 201 [best: 1000] 71253507440641, 9, 27, 31, 56, 82, 104, 120, 135, 158, 162, 225 [best: 1000] 71296457113601, 9, 27, 31, 56, 84, 85, 94, 101, 182, 190, 201, 219 [best: 1000] 71339406786561, 9, 27, 31, 56, 85, 87, 88, 117, 144, 175, 222 [best: 1000] 71382356459521, 9, 27, 31, 56, 87, 88, 93, 140, 153, 184, 202 [best: 1000] 71425306132481, 9, 27, 31, 56, 88, 111, 114, 121, 124, 129, 175 [best: 1000] 71468255805441, 9, 27, 31, 56, 91, 106, 114, 133, 160, 169, 172 [best: 1000] 71511205478401, 9, 27, 31, 57, 58, 67, 77, 86, 135, 150, 218 [best: 1000] 71554155151361, 9, 27, 31, 57, 58, 76, 85, 107, 123, 183, 191 [best: 1000] 71597104824321, 9, 27, 31, 57, 58, 84, 94, 145, 157, 158, 189 [best: 1000] 71640054497281, 9, 27, 31, 57, 58, 102, 120, 131, 149, 176, 193 [best: 1000] 71683004170241, 9, 27, 31, 57, 59, 68, 84, 91, 97, 101, 146 [best: 1000] 71725953843201, 9, 27, 31, 57, 59, 80, 86, 94, 96, 111, 195 [best: 1000] 71768903516161, 9, 27, 31, 57, 59, 100, 103, 119, 141, 154, 197 [best: 1000] 71811853189121, 9, 27, 31, 57, 60, 76, 93, 118, 135, 145, 196 [best: 1000] 71854802862081, 9, 27, 31, 57, 61, 66, 86, 111, 140, 143, 145 [best: 1000] 71897752535041, 9, 27, 31, 57, 61, 82, 109, 121, 190, 196, 238 [best: 1000] 71940702208001, 9, 27, 31, 57, 62, 68, 92, 107, 123, 169 [best: 1000] 71983651880961, 9, 27, 31, 57, 62, 91, 112, 132, 156, 160, 215 [best: 1000] 72026601553921, 9, 27, 31, 57, 63, 72, 75, 100, 112, 158, 205 [best: 1000] 72069551226881, 9, 27, 31, 57, 63, 83, 90, 95, 125, 156, 157 [best: 1000] 72112500899841, 9, 27, 31, 57, 63, 101, 125, 133, 144, 157, 202 [best: 1000] 72155450572801, 9, 27, 31, 57, 64, 73, 111, 126, 132, 133, 157 [best: 1000] 72198400245761, 9, 27, 31, 57, 64, 85, 92, 111, 122, 156, 165, 171 [best: 1000] 72241349918721, 9, 27, 31, 57, 65, 68, 70, 116, 126, 179, 192 [best: 1000] 72284299591681, 9, 27, 31, 57, 65, 77, 117, 134, 149, 151, 215 [best: 1000] 72327249264641, 9, 27, 31, 57, 65, 88, 103, 113, 157, 180, 208 [best: 1000] 72370198937601, 9, 27, 31, 57, 66, 69, 100, 139, 157, 189, 214 [best: 1000] 72413148610561, 9, 27, 31, 57, 66, 82, 117, 144, 146, 153, 186 [best: 1000] 72456098283521, 9, 27, 31, 57, 67, 70, 89, 117, 134, 139, 167 [best: 1000] 72499047956481, 9, 27, 31, 57, 67, 100, 104, 121, 145, 169, 198 [best: 1000] 72541997629441, 9, 27, 31, 57, 68, 92, 94, 106, 124, 129, 192, 246 [best: 1000] 72584947302401, 9, 27, 31, 57, 69, 79, 81, 94, 135, 161, 237 [best: 1000] 72627896975361, 9, 27, 31, 57, 69, 91, 103, 104, 106, 133, 187 [best: 1000] 72670846648321, 9, 27, 31, 57, 70, 75, 77, 92, 134, 200, 227 [best: 1000] 72713796321281, 9, 27, 31, 57, 70, 92, 93, 121, 125, 132, 133 [best: 1000] 72756745994241, 9, 27, 31, 57, 71, 79, 80, 104, 118, 128, 129 [best: 1000] 72799695667201, 9, 27, 31, 57, 71, 92, 101, 108, 111, 157, 186 [best: 1000] 72842645340161, 9, 27, 31, 57, 72, 78, 80, 113, 116, 119, 136 [best: 1000] 72885595013121, 9, 27, 31, 57, 72, 91, 111, 122, 137, 160, 165 [best: 1000] 72928544686081, 9, 27, 31, 57, 73, 79, 94, 100, 146, 160, 161 [best: 1000] 72971494359041, 9, 27, 31, 57, 73, 99, 123, 132, 143, 161, 194 [best: 1000] 73014444032001, 9, 27, 31, 57, 74, 83, 109, 124, 143, 169, 223 [best: 1000] 73057393704961, 9, 27, 31, 57, 74, 106, 123, 133, 138, 188, 204 [best: 1000] 73100343377921, 9, 27, 31, 57, 75, 87, 92, 133, 146, 160, 232 [best: 1000] 73143293050881, 9, 27, 31, 57, 76, 82, 83, 97, 182, 199, 221 [best: 1000] 73186242723841, 9, 27, 31, 57, 76, 101, 123, 164, 180, 195, 239 [best: 1000] 73229192396801, 9, 27, 31, 57, 77, 86, 107, 131, 149, 152, 169 [best: 1000] 73272142069761, 9, 27, 31, 57, 78, 80, 118, 138, 143, 149, 151 [best: 1000] 73315091742721, 9, 27, 31, 57, 78, 95, 101, 112, 145, 152, 209 [best: 1000] 73358041415681, 9, 27, 31, 57, 79, 83, 133, 142, 194, 199, 253 [best: 1000] 73400991088641, 9, 27, 31, 57, 79, 102, 134, 145, 152, 170, 184 [best: 1000] 73443940761601, 9, 27, 31, 57, 80, 95, 107, 111, 115, 135, 144 [best: 1000] 73486890434561, 9, 27, 31, 57, 81, 92, 101, 133, 162, 183, 219, 236 [best: 1000] 73529840107521, 9, 27, 31, 57, 82, 84, 108, 155, 188, 191, 194 [best: 1000] 73572789780481, 9, 27, 31, 57, 82, 95, 123, 144, 169, 170, 215 [best: 1000] 73615739453441, 9, 27, 31, 57, 82, 113, 132, 145, 166, 205, 219 [best: 1000] 73658689126401, 9, 27, 31, 57, 83, 92, 117, 123, 151, 181, 210, 211 [best: 1000] 73701638799361, 9, 27, 31, 57, 83, 108, 109, 146, 151, 159, 191 [best: 1000] 73744588472321, 9, 27, 31, 57, 84, 92, 111, 131, 176, 206, 270 [best: 1000] 73787538145281, 9, 27, 31, 57, 84, 116, 126, 153, 158, 200, 236 [best: 1000] 73830487818241, 9, 27, 31, 57, 86, 87, 91, 119, 151, 154, 187, 228 [best: 1000] 73873437491201, 9, 27, 31, 57, 86, 111, 123, 136, 168, 213, 243 [best: 1000] 73916387164161, 9, 27, 31, 57, 88, 103, 106, 144, 165, 166, 223 [best: 1000] 73959336837121, 9, 27, 31, 57, 90, 94, 98, 121, 134, 135, 161 [best: 1000] 74002286510081, 9, 27, 31, 57, 91, 112, 115, 131, 173, 186, 190, 206 [best: 1000] 74045236183041, 9, 27, 31, 57, 92, 107, 109, 132, 189, 197, 200 [best: 1000] 74088185856001, 9, 27, 31, 57, 93, 113, 120, 123, 183, 226, 255 [best: 1000] 74131135528961, 9, 27, 31, 57, 95, 108, 114, 154, 156, 188, 234 [best: 1000] 74174085201921, 9, 27, 31, 58, 59, 71, 88, 109, 152, 186, 221 [best: 1000] 74217034874881, 9, 27, 31, 58, 59, 88, 94, 116, 155, 181, 235 [best: 1000] 74259984547841, 9, 27, 31, 58, 60, 75, 108, 117, 150, 164, 182 [best: 1000] 74302934220801, 9, 27, 31, 58, 61, 81, 98, 106, 160, 184, 216 [best: 1000] 74345883893761, 9, 27, 31, 58, 62, 91, 98, 142, 146, 149, 160 [best: 1000] 74388833566721, 9, 27, 31, 58, 63, 81, 106, 125, 175, 187, 209 [best: 1000] 74431783239681, 9, 27, 31, 58, 64, 76, 81, 88, 130, 133, 174 [best: 1000] 74474732912641, 9, 27, 31, 58, 65, 73, 94, 98, 130, 147, 204, 224 [best: 1000] 74517682585601, 9, 27, 31, 58, 65, 96, 104, 121, 129, 145, 146 [best: 1000] 74560632258561, 9, 27, 31, 58, 66, 89, 95, 123, 127, 146, 193 [best: 1000] 74603581931521, 9, 27, 31, 58, 68, 76, 100, 105, 147, 149, 166 [best: 1000] 74646531604481, 9, 27, 31, 58, 69, 87, 96, 108, 126, 150, 168 [best: 1000] 74689481277441, 9, 27, 31, 58, 70, 89, 95, 105, 139, 140, 170, 232 [best: 1000] 74732430950401, 9, 27, 31, 58, 71, 82, 90, 136, 155, 171, 173 [best: 1000] 74775380623361, 9, 27, 31, 58, 71, 102, 122, 131, 167, 194, 226, 247 [best: 1000] 74818330296321, 9, 27, 31, 58, 72, 93, 109, 116, 122, 183, 200 [best: 1000] 74861279969281, 9, 27, 31, 58, 73, 95, 100, 129, 136, 137, 168, 236 [best: 1000] 74904229642241, 9, 27, 31, 58, 74, 99, 113, 116, 151, 172, 184 [best: 1000] 74947179315201, 9, 27, 31, 58, 76, 83, 94, 111, 117, 165, 208 [best: 1000] 74990128988161, 9, 27, 31, 58, 77, 95, 100, 115, 144, 194, 237 [best: 1000] 75033078661121, 9, 27, 31, 58, 79, 94, 125, 142, 150, 162, 225 [best: 1000] 75076028334081, 9, 27, 31, 58, 81, 85, 98, 132, 140, 144, 183 [best: 1000] 75118978007041, 9, 27, 31, 58, 81, 106, 110, 118, 153, 174, 194 [best: 1000] 75161927680001, 9, 27, 31, 58, 82, 102, 115, 123, 124, 155, 186 [best: 1000] 75204877352961, 9, 27, 31, 58, 85, 92, 113, 121, 153, 165, 200 [best: 1000] 75247827025921, 9, 27, 31, 59, 60, 61, 108, 114, 134, 161, 190 [best: 1000] 75290776698881, 9, 27, 31, 59, 61, 65, 71, 88, 112, 125, 145 [best: 1000] 75333726371841, 9, 27, 31, 59, 61, 91, 126, 135, 140, 144, 206, 218 [best: 1000] 75376676044801, 9, 27, 31, 59, 62, 96, 116, 118, 123, 155, 187 [best: 1000] 75419625717761, 9, 27, 31, 59, 63, 76, 82, 98, 103, 109, 197 [best: 1000] 75462575390721, 9, 27, 31, 59, 63, 96, 100, 111, 116, 145, 185 [best: 1000] 75505525063681, 9, 27, 31, 59, 64, 75, 88, 124, 132, 136, 179 [best: 1000] 75548474736641, 9, 27, 31, 59, 64, 105, 114, 136, 137, 142, 199 [best: 1000] 75591424409601, 9, 27, 31, 59, 65, 79, 86, 88, 121, 132, 134 [best: 1000] 75634374082561, 9, 27, 31, 59, 65, 105, 109, 122, 145, 147, 191 [best: 1000] 75677323755521, 9, 27, 31, 59, 66, 84, 100, 134, 158, 186, 198 [best: 1000] 75720273428481, 9, 27, 31, 59, 67, 94, 102, 111, 121, 149, 154 [best: 1000] 75763223101441, 9, 27, 31, 59, 69, 74, 90, 111, 132, 163, 170 [best: 1000] 75806172774401, 9, 27, 31, 59, 69, 99, 116, 121, 192, 208, 230 [best: 1000] 75849122447361, 9, 27, 31, 59, 70, 97, 106, 118, 140, 143, 181 [best: 1000] 75892072120321, 9, 27, 31, 59, 71, 87, 105, 114, 117, 169, 172 [best: 1000] 75935021793281, 9, 27, 31, 59, 72, 81, 92, 97, 161, 171, 189 [best: 1000] 75977971466241, 9, 27, 31, 59, 73, 78, 115, 116, 127, 179, 222 [best: 1000] 76020921139201, 9, 27, 31, 59, 74, 80, 108, 144, 155, 169, 199, 219 [best: 1000] 76063870812161, 9, 27, 31, 59, 75, 80, 117, 124, 137, 172, 191 [best: 1000] 76106820485121, 9, 27, 31, 59, 76, 82, 105, 116, 121, 156, 189 [best: 1000] 76149770158081, 9, 27, 31, 59, 77, 87, 94, 122, 147, 177, 201 [best: 1000] 76192719831041, 9, 27, 31, 59, 78, 97, 126, 134, 147, 151, 167 [best: 1000] 76235669504001, 9, 27, 31, 59, 79, 103, 104, 123, 125, 170, 216 [best: 1000] 76278619176961, 9, 27, 31, 59, 81, 88, 128, 135, 139, 144, 215 [best: 1000] 76321568849921, 9, 27, 31, 59, 82, 85, 101, 111, 115, 135, 155, 198 [best: 1000] 76364518522881, 9, 27, 31, 59, 82, 110, 111, 129, 148, 155, 185, 212 [best: 1000] 76407468195841, 9, 27, 31, 59, 83, 103, 114, 124, 144, 181, 234 [best: 1000] 76450417868801, 9, 27, 31, 59, 86, 98, 102, 114, 115, 160, 201 [best: 1000] 76493367541761, 9, 27, 31, 59, 90, 95, 114, 119, 155, 203, 205 [best: 1000] 76536317214721, 9, 27, 31, 59, 91, 110, 135, 136, 172, 173, 199, 226 [best: 1000] 76579266887681, 9, 27, 31, 60, 62, 78, 88, 108, 110, 133, 161, 189 [best: 1000] 76622216560641, 9, 27, 31, 60, 64, 74, 84, 91, 93, 97, 174 [best: 1000] 76665166233601, 9, 27, 31, 60, 66, 75, 79, 112, 127, 143, 153 [best: 1000] 76708115906561, 9, 27, 31, 60, 70, 73, 82, 99, 101, 104, 158 [best: 1000] 76751065579521, 9, 27, 31, 60, 72, 88, 96, 106, 136, 138, 142 [best: 1000] 76794015252481, 9, 27, 31, 60, 76, 94, 98, 103, 139, 148, 186 [best: 1000] 76836964925441, 9, 27, 31, 61, 62, 70, 85, 89, 108, 117, 128 [best: 1000] 76879914598401, 9, 27, 31, 61, 63, 84, 93, 108, 125, 129, 226 [best: 1000] 76922864271361, 9, 27, 31, 61, 65, 67, 68, 90, 97, 112, 167 [best: 1000] 76965813944321, 9, 27, 31, 61, 66, 71, 98, 106, 154, 157, 221 [best: 1000] 77008763617281, 9, 27, 31, 61, 68, 83, 105, 129, 136, 145, 192 [best: 1000] 77051713290241, 9, 27, 31, 61, 70, 78, 79, 92, 138, 171, 224 [best: 1000] 77094662963201, 9, 27, 31, 61, 71, 91, 101, 111, 115, 185, 207 [best: 1000] 77137612636161, 9, 27, 31, 61, 73, 81, 94, 115, 160, 178, 207 [best: 1000] 77180562309121, 9, 27, 31, 61, 75, 90, 91, 112, 133, 138, 183 [best: 1000] 77223511982081, 9, 27, 31, 61, 79, 91, 121, 123, 139, 183, 191 [best: 1000] 77266461655041, 9, 27, 31, 61, 81, 93, 102, 117, 155, 208, 237 [best: 1000] 77309411328001, 9, 27, 31, 61, 85, 90, 95, 124, 126, 128, 189 [best: 1000] 77352361000961, 9, 27, 31, 62, 64, 65, 67, 102, 117, 132, 133 [best: 1000] 77395310673921, 9, 27, 31, 62, 65, 81, 82, 89, 105, 117, 167 [best: 1000] 77438260346881, 9, 27, 31, 62, 68, 78, 79, 99, 155, 162, 169 [best: 1000] 77481210019841, 9, 27, 31, 62, 71, 73, 79, 104, 120, 164, 168 [best: 1000] 77524159692801, 9, 27, 31, 62, 72, 88, 102, 114, 117, 174, 185 [best: 1000] 77567109365761, 9, 27, 31, 62, 75, 89, 119, 127, 137, 155, 203 [best: 1000] 77610059038721, 9, 27, 31, 62, 79, 80, 85, 112, 155, 185, 191 [best: 1000] 77653008711681, 9, 27, 31, 62, 82, 91, 92, 100, 125, 187, 196 [best: 1000] 77695958384641, 9, 27, 31, 63, 64, 86, 97, 105, 131, 147, 191 [best: 1000] 77738908057601, 9, 27, 31, 63, 65, 77, 89, 110, 141, 179, 194 [best: 1000] 77781857730561, 9, 27, 31, 63, 65, 101, 116, 128, 148, 180, 195 [best: 1000] 77824807403521, 9, 27, 31, 63, 66, 87, 111, 118, 150, 166, 216 [best: 1000] 77867757076481, 9, 27, 31, 63, 68, 71, 80, 108, 125, 136, 141 [best: 1000] 77910706749441, 9, 27, 31, 63, 69, 77, 98, 107, 155, 156, 161 [best: 1000] 77953656422401, 9, 27, 31, 63, 69, 105, 122, 133, 156, 157, 166 [best: 1000] 77996606095361, 9, 27, 31, 63, 71, 73, 75, 98, 104, 154, 165 [best: 1000] 78039555768321, 9, 27, 31, 63, 71, 87, 90, 115, 175, 177, 204 [best: 1000] 78082505441281, 9, 27, 31, 63, 72, 77, 96, 125, 138, 153, 202 [best: 1000] 78125455114241, 9, 27, 31, 63, 73, 76, 79, 95, 130, 139, 163 [best: 1000] 78168404787201, 9, 27, 31, 63, 74, 80, 81, 130, 154, 160, 234 [best: 1000] 78211354460161, 9, 27, 31, 63, 75, 81, 92, 131, 148, 184, 188 [best: 1000] 78254304133121, 9, 27, 31, 63, 76, 89, 98, 107, 118, 120, 142 [best: 1000] 78297253806081, 9, 27, 31, 63, 78, 79, 89, 104, 107, 155, 162 [best: 1000] 78340203479041, 9, 27, 31, 63, 79, 88, 106, 113, 160, 178, 223 [best: 1000] 78383153152001, 9, 27, 31, 63, 80, 103, 111, 112, 123, 196, 203 [best: 1000] 78426102824961, 9, 27, 31, 63, 82, 85, 89, 135, 136, 175, 201 [best: 1000] 78469052497921, 9, 27, 31, 63, 83, 87, 89, 125, 155, 198, 204 [best: 1000] 78512002170881, 9, 27, 31, 63, 83, 114, 127, 137, 144, 176, 187, 240 [best: 1000] 78554951843841, 9, 27, 31, 63, 85, 89, 90, 101, 112, 146, 204 [best: 1000] 78597901516801, 9, 27, 31, 63, 86, 100, 125, 147, 187, 198, 219 [best: 1000] 78640851189761, 9, 27, 31, 63, 88, 100, 101, 118, 191, 212, 242 [best: 1000] 78683800862721, 9, 27, 31, 64, 65, 74, 80, 126, 141, 163, 199 [best: 1000] 78726750535681, 9, 27, 31, 64, 66, 67, 94, 108, 129, 136, 196, 231 [best: 1000] 78769700208641, 9, 27, 31, 64, 67, 69, 77, 100, 106, 120, 196 [best: 1000] 78812649881601, 9, 27, 31, 64, 69, 71, 79, 100, 116, 141, 212 [best: 1000] 78855599554561, 9, 27, 31, 64, 69, 97, 108, 112, 141, 142, 205 [best: 1000] 78898549227521, 9, 27, 31, 64, 71, 74, 98, 116, 159, 180, 199 [best: 1000] 78941498900481, 9, 27, 31, 64, 71, 93, 110, 142, 161, 167, 227 [best: 1000] 78984448573441, 9, 27, 31, 64, 72, 87, 91, 105, 144, 192, 193 [best: 1000] 79027398246401, 9, 27, 31, 64, 73, 101, 104, 122, 149, 156, 161 [best: 1000] 79070347919361, 9, 27, 31, 64, 75, 79, 94, 101, 126, 173, 199 [best: 1000] 79113297592321, 9, 27, 31, 64, 77, 84, 122, 124, 133, 171, 190 [best: 1000] 79156247265281, 9, 27, 31, 64, 79, 96, 100, 111, 115, 124, 157 [best: 1000] 79199196938241, 9, 27, 31, 64, 82, 85, 106, 114, 145, 176, 181 [best: 1000] 79242146611201, 9, 27, 31, 64, 83, 92, 101, 148, 159, 169, 170 [best: 1000] 79285096284161, 9, 27, 31, 64, 84, 97, 100, 103, 141, 171, 197 [best: 1000] 79328045957121, 9, 27, 31, 64, 86, 102, 112, 114, 139, 143, 148 [best: 1000] 79370995630081, 9, 27, 31, 65, 66, 70, 98, 119, 126, 134, 158 [best: 1000] 79413945303041, 9, 27, 31, 65, 67, 75, 92, 97, 101, 102, 196 [best: 1000] 79456894976001, 9, 27, 31, 65, 69, 71, 76, 133, 155, 160, 171 [best: 1000] 79499844648961, 9, 27, 31, 65, 69, 95, 97, 100, 138, 174, 229 [best: 1000] 79542794321921, 9, 27, 31, 65, 71, 72, 80, 105, 111, 176, 190 [best: 1000] 79585743994881, 9, 27, 31, 65, 71, 86, 97, 115, 144, 160, 176 [best: 1000] 79628693667841, 9, 27, 31, 65, 72, 78, 90, 143, 146, 170, 182 [best: 1000] 79671643340801, 9, 27, 31, 65, 73, 81, 85, 88, 131, 157, 177 [best: 1000] 79714593013761, 9, 27, 31, 65, 74, 89, 103, 109, 118, 160, 167 [best: 1000] 79757542686721, 9, 27, 31, 65, 76, 78, 92, 94, 139, 144, 211 [best: 1000] 79800492359681, 9, 27, 31, 65, 77, 90, 95, 101, 107, 164, 175 [best: 1000] 79843442032641, 9, 27, 31, 65, 78, 98, 123, 141, 154, 177, 217 [best: 1000] 79886391705601, 9, 27, 31, 65, 79, 99, 124, 131, 155, 175, 190 [best: 1000] 79929341378561, 9, 27, 31, 65, 81, 84, 101, 157, 168, 185, 199, 223 [best: 1000] 79972291051521, 9, 27, 31, 65, 81, 99, 102, 112, 192, 193, 230, 261 [best: 1000] 80015240724481, 9, 27, 31, 65, 82, 95, 98, 136, 150, 157, 186 [best: 1000] 80058190397441, 9, 27, 31, 65, 84, 96, 98, 102, 112, 121, 171 [best: 1000] 80101140070401, 9, 27, 31, 65, 87, 91, 103, 109, 131, 152, 157 [best: 1000] 80144089743361, 9, 27, 31, 65, 89, 101, 119, 131, 134, 199, 202 [best: 1000] 80187039416321, 9, 27, 31, 66, 69, 74, 92, 95, 133, 160, 195 [best: 1000] 80229989089281, 9, 27, 31, 66, 70, 83, 87, 110, 119, 135, 156 [best: 1000] 80272938762241, 9, 27, 31, 66, 71, 94, 98, 131, 154, 157, 193 [best: 1000] 80315888435201, 9, 27, 31, 66, 73, 79, 86, 92, 101, 124, 141 [best: 1000] 80358838108161, 9, 27, 31, 66, 75, 80, 101, 119, 147, 174, 181 [best: 1000] 80401787781121, 9, 27, 31, 66, 77, 82, 110, 141, 164, 171, 191 [best: 1000] 80444737454081, 9, 27, 31, 66, 80, 81, 87, 91, 108, 180, 181 [best: 1000] 80487687127041, 9, 27, 31, 66, 81, 89, 119, 137, 175, 216, 241 [best: 1000] 80530636800001, 9, 27, 31, 66, 82, 89, 99, 117, 160, 172, 196 [best: 1000] 80573586472961, 9, 27, 31, 66, 85, 99, 115, 148, 183, 185, 212 [best: 1000] 80616536145921, 9, 27, 31, 67, 70, 73, 83, 93, 118, 133, 135 [best: 1000] 80659485818881, 9, 27, 31, 67, 72, 87, 104, 124, 143, 185, 214 [best: 1000] 80702435491841, 9, 27, 31, 67, 76, 87, 101, 104, 118, 133, 159 [best: 1000] 80745385164801, 9, 27, 31, 67, 81, 92, 101, 120, 134, 154, 165 [best: 1000] 80788334837761, 9, 27, 31, 68, 71, 81, 100, 124, 141, 159, 211 [best: 1000] 80831284510721, 9, 27, 31, 68, 74, 88, 91, 123, 140, 177, 205 [best: 1000] 80874234183681, 9, 27, 31, 68, 78, 87, 102, 119, 130, 147, 208 [best: 1000] 80917183856641, 9, 27, 31, 69, 70, 83, 93, 102, 111, 165, 177 [best: 1000] 80960133529601, 9, 27, 31, 69, 71, 85, 94, 115, 135, 177, 190 [best: 1000] 81003083202561, 9, 27, 31, 69, 72, 84, 87, 95, 129, 162, 219 [best: 1000] 81046032875521, 9, 27, 31, 69, 73, 95, 98, 103, 139, 143, 155 [best: 1000] 81088982548481, 9, 27, 31, 69, 75, 84, 118, 135, 146, 180, 220, 237 [best: 1000] 81131932221441, 9, 27, 31, 69, 77, 82, 95, 100, 135, 159, 179 [best: 1000] 81174881894401, 9, 27, 31, 69, 79, 84, 108, 131, 151, 166, 190, 226 [best: 1000] 81217831567361, 9, 27, 31, 69, 81, 83, 87, 89, 133, 138, 168 [best: 1000] 81260781240321, 9, 27, 31, 69, 82, 83, 100, 106, 109, 127, 164 [best: 1000] 81303730913281, 9, 27, 31, 69, 82, 109, 110, 122, 138, 159, 189 [best: 1000] 81346680586241, 9, 27, 31, 69, 84, 95, 104, 113, 121, 129, 150 [best: 1000] 81389630259201, 9, 27, 31, 69, 87, 94, 104, 113, 139, 149, 210 [best: 1000] 81432579932161, 9, 27, 31, 69, 90, 102, 106, 131, 135, 153, 176 [best: 1000] 81475529605121, 9, 27, 31, 70, 71, 102, 118, 127, 148, 153, 168 [best: 1000] 81518479278081, 9, 27, 31, 70, 74, 80, 81, 108, 119, 126, 132 [best: 1000] 81561428951041, 9, 27, 31, 70, 76, 83, 88, 139, 164, 165, 213 [best: 1000] 81604378624001, 9, 27, 31, 70, 79, 83, 84, 113, 146, 154, 200 [best: 1000] 81647328296961, 9, 27, 31, 70, 81, 92, 99, 135, 155, 169, 199 [best: 1000] 81690277969921, 9, 27, 31, 70, 82, 101, 118, 125, 131, 132, 181 [best: 1000] 81733227642881, 9, 27, 31, 70, 85, 94, 104, 111, 127, 201, 212 [best: 1000] 81776177315841, 9, 27, 31, 71, 72, 92, 99, 106, 146, 196, 206 [best: 1000] 81819126988801, 9, 27, 31, 71, 73, 90, 114, 116, 145, 150, 163 [best: 1000] 81862076661761, 9, 27, 31, 71, 74, 92, 106, 109, 127, 146, 193 [best: 1000] 81905026334721, 9, 27, 31, 71, 75, 96, 119, 127, 139, 154, 174 [best: 1000] 81947976007681, 9, 27, 31, 71, 76, 106, 113, 118, 155, 195, 218 [best: 1000] 81990925680641, 9, 27, 31, 71, 77, 97, 125, 144, 170, 205, 251 [best: 1000] 82033875353601, 9, 27, 31, 71, 78, 98, 99, 124, 138, 141, 170 [best: 1000] 82076825026561, 9, 27, 31, 71, 79, 101, 109, 120, 148, 166, 168 [best: 1000] 82119774699521, 9, 27, 31, 71, 81, 86, 122, 133, 143, 152, 177 [best: 1000] 82162724372481, 9, 27, 31, 71, 82, 95, 121, 126, 129, 146, 163 [best: 1000] 82205674045441, 9, 27, 31, 71, 83, 89, 116, 147, 170, 189, 195, 218 [best: 1000] 82248623718401, 9, 27, 31, 71, 83, 103, 108, 140, 158, 173, 191 [best: 1000] 82291573391361, 9, 27, 31, 71, 84, 95, 115, 116, 127, 149, 229 [best: 1000] 82334523064321, 9, 27, 31, 71, 86, 92, 95, 109, 151, 182, 204 [best: 1000] 82377472737281, 9, 27, 31, 71, 87, 111, 116, 117, 162, 170, 179 [best: 1000] 82420422410241, 9, 27, 31, 71, 89, 103, 105, 118, 124, 126, 139, 149 [best: 1000] 82463372083201, 9, 27, 31, 71, 91, 100, 104, 111, 159, 182, 189 [best: 1000] 82506321756161, 9, 27, 31, 72, 74, 79, 84, 105, 127, 149, 183 [best: 1000] 82549271429121, 9, 27, 31, 72, 75, 89, 93, 112, 123, 154, 178 [best: 1000] 82592221102081, 9, 27, 31, 72, 77, 81, 125, 137, 156, 191, 215 [best: 1000] 82635170775041, 9, 27, 31, 72, 78, 93, 94, 123, 135, 150, 173 [best: 1000] 82678120448001, 9, 27, 31, 72, 80, 82, 123, 125, 160, 168, 223 [best: 1000] 82721070120961, 9, 27, 31, 72, 81, 91, 103, 152, 162, 192, 197 [best: 1000] 82764019793921, 9, 27, 31, 72, 82, 90, 111, 121, 151, 153, 172, 248 [best: 1000] 82806969466881, 9, 27, 31, 72, 82, 111, 121, 125, 168, 172, 199, 251 [best: 1000] 82849919139841, 9, 27, 31, 72, 84, 89, 105, 143, 144, 148, 190 [best: 1000] 82892868812801, 9, 27, 31, 73, 74, 82, 87, 122, 153, 158, 205, 241 [best: 1000] 82935818485761, 9, 27, 31, 73, 76, 90, 114, 116, 123, 164, 221 [best: 1000] 82978768158721, 9, 27, 31, 73, 78, 99, 108, 109, 141, 148, 198 [best: 1000] 83021717831681, 9, 27, 31, 73, 81, 90, 94, 122, 131, 209, 243 [best: 1000] 83064667504641, 9, 27, 31, 73, 82, 97, 109, 113, 148, 177, 194, 258 [best: 1000] 83107617177601, 9, 27, 31, 73, 84, 92, 99, 102, 141, 145, 177 [best: 1000] 83150566850561, 9, 27, 31, 74, 75, 97, 108, 128, 146, 161, 207 [best: 1000] 83193516523521, 9, 27, 31, 74, 78, 80, 114, 124, 157, 196, 209 [best: 1000] 83236466196481, 9, 27, 31, 74, 80, 82, 111, 124, 141, 147, 182 [best: 1000] 83279415869441, 9, 27, 31, 74, 82, 84, 108, 109, 111, 174, 199, 258 [best: 1000] 83322365542401, 9, 27, 31, 74, 83, 85, 120, 121, 133, 148, 209 [best: 1000] 83365315215361, 9, 27, 31, 74, 85, 87, 109, 111, 140, 183, 210 [best: 1000] 83408264888321, 9, 27, 31, 74, 88, 93, 109, 117, 148, 152, 176 [best: 1000] 83451214561281, 9, 27, 31, 75, 77, 97, 110, 112, 121, 156, 163 [best: 1000] 83494164234241, 9, 27, 31, 75, 79, 96, 118, 149, 161, 175, 230 [best: 1000] 83537113907201, 9, 27, 31, 75, 81, 91, 97, 110, 115, 135, 203 [best: 1000] 83580063580161, 9, 27, 31, 75, 82, 92, 127, 152, 172, 173, 216 [best: 1000] 83623013253121, 9, 27, 31, 75, 83, 97, 115, 141, 150, 203, 265 [best: 1000] 83665962926081, 9, 27, 31, 75, 85, 109, 118, 138, 180, 193, 211 [best: 1000] 8370891259904total chains: 8375055449201new expressions at chain length: n sum avg min max 4: 0 15 0 14 15 5: 0 0 0 0 0 6: 0 0 0 0 0 7: 0 0 0 0 0 8: 1 9 9 9 9 9: 44 569 12 6 2010: 1515 22420 14 4 2711: 51647 872766 16 3 3412: 1861644 35202206 18 2 3913: 72535250 1506691831 20 1 4414: 3079958035 69626874247 22 0 4915: 142848755906 3497656699669 24 0 5416: 18815309125 466036638894 24 0 5917: 7878909 245860206 31 4 6018: 7735 284552 36 11 5719: 0 0 0 0 020: 0 0 0 0 021: 0 0 0 0 0real 1124m18.748suser 1106m44.392ssys 2m19.761sEOMstderr end 2025-05-02 03:16:36 (15916): called boinc_finish(0) </stderr_txt> ]]>
