Task 15161
| Name | batch_89__job_job-000253_1 |
| Workunit | 12181 |
| Created | 30 Apr 2025, 2:55:41 UTC |
| Sent | 1 May 2025, 3:55:47 UTC |
| Report deadline | 8 May 2025, 3:55:47 UTC |
| Received | 1 May 2025, 19:25:46 UTC |
| Server state | Over |
| Outcome | Success |
| Client state | Done |
| Exit status | 0 (0x00000000) |
| Computer ID | 32953 |
| Run time | 15 hours 29 min 59 sec |
| CPU time | 1 days 9 hours 52 min 33 sec |
| Validate state | Valid |
| Credit | 6.14 |
| Device peak FLOPS | 2.52 GFLOPS |
| Application version | Universal Docker app v1.08 (docker) x86_64-pc-linux-gnu |
| Peak working set size | 38.88 MB |
| Peak swap size | 1.85 GB |
| Peak disk usage | 10.43 MB |
Stderr output
<core_client_version>8.2.2</core_client_version>
<![CDATA[
<stderr_txt>
: 1000] 1988569858048
9, 24, 45, 46, 56, 70, 72, 80, 122, 131, 154, 172 [best: 1000] 1992864825344
9, 24, 45, 46, 56, 70, 92, 111, 119, 120, 151, 195 [best: 1000] 1997159792640
9, 24, 45, 46, 56, 71, 81, 111, 118, 154, 159, 222 [best: 1000] 2001454759936
9, 24, 45, 46, 56, 72, 73, 122, 152, 167, 173, 226 [best: 1000] 2005749727232
9, 24, 45, 46, 56, 72, 97, 112, 135, 136, 146, 177 [best: 1000] 2010044694528
9, 24, 45, 46, 56, 73, 91, 102, 113, 137, 162, 182 [best: 1000] 2014339661824
9, 24, 45, 46, 56, 74, 86, 93, 96, 126, 135, 165 [best: 1000] 2018634629120
9, 24, 45, 46, 56, 76, 77, 79, 81, 82, 88, 93 [best: 1000] 2022929596416
9, 24, 45, 46, 56, 77, 95, 113, 141, 191, 218, 249 [best: 1000] 2027224563712
9, 24, 45, 46, 56, 79, 87, 111, 131, 159, 197, 249 [best: 1000] 2031519531008
9, 24, 45, 46, 56, 81, 82, 108, 141, 165, 195, 230 [best: 1000] 2035814498304
9, 24, 45, 46, 56, 81, 100, 122, 142, 168, 197, 206 [best: 1000] 2040109465600
9, 24, 45, 46, 56, 82, 96, 128, 137, 138, 145, 159 [best: 1000] 2044404432896
9, 24, 45, 46, 56, 83, 96, 139, 141, 180, 188, 208 [best: 1000] 2048699400192
9, 24, 45, 46, 56, 84, 103, 104, 115, 124, 154, 161 [best: 1000] 2052994367488
9, 24, 45, 46, 56, 88, 92, 100, 104, 119, 126, 178 [best: 1000] 2057289334784
9, 24, 45, 46, 57, 58, 62, 91, 94, 140, 143, 170 [best: 1000] 2061584302080
9, 24, 45, 46, 57, 58, 69, 75, 80, 136, 141, 196 [best: 1000] 2065879269376
9, 24, 45, 46, 57, 58, 79, 111, 121, 142, 178, 194 [best: 1000] 2070174236672
9, 24, 45, 46, 57, 58, 101, 119, 123, 134, 180, 205 [best: 1000] 2074469203968
9, 24, 45, 46, 57, 59, 66, 86, 90, 93, 138, 170 [best: 1000] 2078764171264
9, 24, 45, 46, 57, 59, 73, 93, 125, 147, 177, 245 [best: 1000] 2083059138560
9, 24, 45, 46, 57, 59, 87, 104, 109, 135, 138, 163 [best: 1000] 2087354105856
9, 24, 45, 46, 57, 60, 66, 67, 96, 103, 104, 179 [best: 1000] 2091649073152
9, 24, 45, 46, 57, 60, 82, 115, 150, 151, 195, 218 [best: 1000] 2095944040448
9, 24, 45, 46, 57, 61, 69, 84, 122, 149, 153, 173 [best: 1000] 2100239007744
9, 24, 45, 46, 57, 61, 99, 104, 107, 154, 175, 201 [best: 1000] 2104533975040
9, 24, 45, 46, 57, 62, 74, 89, 105, 137, 172, 191 [best: 1000] 2108828942336
9, 24, 45, 46, 57, 63, 65, 99, 166, 183, 187, 249 [best: 1000] 2113123909632
9, 24, 45, 46, 57, 63, 72, 102, 116, 122, 134, 168 [best: 1000] 2117418876928
9, 24, 45, 46, 57, 63, 84, 91, 114, 141, 155, 161 [best: 1000] 2121713844224
9, 24, 45, 46, 57, 64, 66, 68, 129, 137, 200, 223 [best: 1000] 2126008811520
9, 24, 45, 46, 57, 64, 78, 90, 103, 151, 188, 208 [best: 1000] 2130303778816
9, 24, 45, 46, 57, 65, 66, 84, 99, 153, 159, 191 [best: 1000] 2134598746112
9, 24, 45, 46, 57, 65, 73, 105, 108, 131, 165, 183 [best: 1000] 2138893713408
9, 24, 45, 46, 57, 65, 86, 99, 149, 170, 192, 216 [best: 1000] 2143188680704
9, 24, 45, 46, 57, 66, 68, 78, 122, 126, 173, 177 [best: 1000] 2147483648000
9, 24, 45, 46, 57, 66, 80, 94, 106, 121, 183, 197 [best: 1000] 2151778615296
9, 24, 45, 46, 57, 67, 68, 94, 155, 169, 196, 255 [best: 1000] 2156073582592
9, 24, 45, 46, 57, 67, 74, 82, 106, 159, 174, 210 [best: 1000] 2160368549888
9, 24, 45, 46, 57, 67, 82, 122, 139, 140, 155, 157 [best: 1000] 2164663517184
9, 24, 45, 46, 57, 67, 99, 128, 139, 187, 201, 226 [best: 1000] 2168958484480
9, 24, 45, 46, 57, 68, 71, 76, 82, 134, 189, 231 [best: 1000] 2173253451776
9, 24, 45, 46, 57, 68, 80, 82, 94, 175, 188, 222 [best: 1000] 2177548419072
9, 24, 45, 46, 57, 68, 90, 118, 153, 185, 199, 213 [best: 1000] 2181843386368
9, 24, 45, 46, 57, 68, 117, 123, 124, 176, 178, 229 [best: 1000] 2186138353664
9, 24, 45, 46, 57, 69, 78, 79, 150, 153, 156, 194 [best: 1000] 2190433320960
9, 24, 45, 46, 57, 69, 87, 101, 128, 168, 220, 245 [best: 1000] 2194728288256
9, 24, 45, 46, 57, 69, 106, 108, 148, 157, 178, 206 [best: 1000] 2199023255552
9, 24, 45, 46, 57, 70, 80, 101, 128, 151, 159, 229 [best: 1000] 2203318222848
9, 24, 45, 46, 57, 70, 105, 131, 151, 152, 158, 186 [best: 1000] 2207613190144
9, 24, 45, 46, 57, 71, 82, 106, 140, 171, 198, 245 [best: 1000] 2211908157440
9, 24, 45, 46, 57, 72, 74, 78, 84, 90, 192, 218 [best: 1000] 2216203124736
9, 24, 45, 46, 57, 72, 90, 97, 123, 156, 164, 203 [best: 1000] 2220498092032
9, 24, 45, 46, 57, 73, 80, 145, 153, 162, 169, 229 [best: 1000] 2224793059328
9, 24, 45, 46, 57, 74, 75, 78, 100, 153, 188, 238 [best: 1000] 2229088026624
9, 24, 45, 46, 57, 74, 96, 101, 124, 157, 162, 192 [best: 1000] 2233382993920
9, 24, 45, 46, 57, 75, 99, 123, 134, 142, 190, 191 [best: 1000] 2237677961216
9, 24, 45, 46, 57, 77, 81, 106, 117, 135, 202, 223 [best: 1000] 2241972928512
9, 24, 45, 46, 57, 78, 87, 114, 120, 149, 170, 194 [best: 1000] 2246267895808
9, 24, 45, 46, 57, 79, 84, 116, 122, 186, 200, 248 [best: 1000] 2250562863104
9, 24, 45, 46, 57, 80, 82, 121, 144, 180, 195, 226 [best: 1000] 2254857830400
9, 24, 45, 46, 57, 80, 97, 109, 116, 151, 154, 191 [best: 1000] 2259152797696
9, 24, 45, 46, 57, 81, 82, 119, 134, 191, 209 [best: 1000] 2263447764992
9, 24, 45, 46, 57, 81, 101, 133, 138, 142, 194, 231 [best: 1000] 2267742732288
9, 24, 45, 46, 57, 82, 93, 109, 118, 127, 149, 175 [best: 1000] 2272037699584
9, 24, 45, 46, 57, 82, 114, 115, 120, 131, 139, 203 [best: 1000] 2276332666880
9, 24, 45, 46, 57, 83, 113, 124, 145, 155, 183, 186 [best: 1000] 2280627634176
9, 24, 45, 46, 57, 86, 90, 112, 132, 175, 182, 207 [best: 1000] 2284922601472
9, 24, 45, 46, 57, 89, 98, 118, 126, 160, 167, 202 [best: 1000] 2289217568768
9, 24, 45, 46, 58, 59, 61, 68, 101, 188, 209, 237 [best: 1000] 2293512536064
9, 24, 45, 46, 58, 59, 66, 82, 123, 143, 171, 173 [best: 1000] 2297807503360
9, 24, 45, 46, 58, 59, 70, 119, 126, 132, 167, 179 [best: 1000] 2302102470656
9, 24, 45, 46, 58, 59, 78, 99, 100, 101, 130, 194 [best: 1000] 2306397437952
9, 24, 45, 46, 58, 59, 89, 93, 117, 120, 147, 214 [best: 1000] 2310692405248
9, 24, 45, 46, 58, 59, 109, 118, 124, 156, 188, 214 [best: 1000] 2314987372544
9, 24, 45, 46, 58, 60, 67, 74, 109, 137, 167, 177 [best: 1000] 2319282339840
9, 24, 45, 46, 58, 60, 75, 79, 110, 147, 155, 179 [best: 1000] 2323577307136
9, 24, 45, 46, 58, 60, 94, 103, 114, 146, 151, 159 [best: 1000] 2327872274432
9, 24, 45, 46, 58, 61, 66, 130, 144, 165, 182, 212 [best: 1000] 2332167241728
9, 24, 45, 46, 58, 61, 76, 86, 90, 146, 165, 214 [best: 1000] 2336462209024
9, 24, 45, 46, 58, 61, 101, 116, 152, 156, 161, 238 [best: 1000] 2340757176320
9, 24, 45, 46, 58, 62, 69, 77, 86, 101, 116, 171 [best: 1000] 2345052143616
9, 24, 45, 46, 58, 62, 82, 83, 107, 138, 168, 194 [best: 1000] 2349347110912
9, 24, 45, 46, 58, 63, 64, 108, 121, 123, 133, 156 [best: 1000] 2353642078208
9, 24, 45, 46, 58, 63, 69, 122, 152, 156, 198, 203 [best: 1000] 2357937045504
9, 24, 45, 46, 58, 63, 79, 98, 110, 123, 162, 189 [best: 1000] 2362232012800
9, 24, 45, 46, 58, 63, 94, 118, 123, 138, 157, 208 [best: 1000] 2366526980096
9, 24, 45, 46, 58, 64, 66, 113, 122, 166, 191, 193 [best: 1000] 2370821947392
9, 24, 45, 46, 58, 64, 72, 102, 103, 124, 131, 171 [best: 1000] 2375116914688
9, 24, 45, 46, 58, 64, 84, 121, 159, 178, 190, 259 [best: 1000] 2379411881984
9, 24, 45, 46, 58, 64, 107, 132, 150, 165, 185, 215 [best: 1000] 2383706849280
9, 24, 45, 46, 58, 65, 69, 72, 134, 148, 199, 240 [best: 1000] 2388001816576
9, 24, 45, 46, 58, 65, 74, 106, 110, 127, 163, 224 [best: 1000] 2392296783872
9, 24, 45, 46, 58, 65, 84, 89, 115, 148, 201, 241 [best: 1000] 2396591751168
9, 24, 45, 46, 58, 65, 95, 103, 131, 190, 201, 205 [best: 1000] 2400886718464
9, 24, 45, 46, 58, 66, 67, 80, 91, 101, 119, 211 [best: 1000] 2405181685760
9, 24, 45, 46, 58, 66, 72, 88, 95, 135, 161, 202 [best: 1000] 2409476653056
9, 24, 45, 46, 58, 66, 81, 94, 132, 138, 158, 193 [best: 1000] 2413771620352
9, 24, 45, 46, 58, 66, 94, 102, 141, 147, 196, 198 [best: 1000] 2418066587648
9, 24, 45, 46, 58, 67, 68, 108, 121, 143, 199, 225 [best: 1000] 2422361554944
9, 24, 45, 46, 58, 67, 74, 95, 159, 165, 179, 244 [best: 1000] 2426656522240
9, 24, 45, 46, 58, 67, 85, 135, 148, 166, 175 [best: 1000] 2430951489536
9, 24, 45, 46, 58, 67, 106, 122, 135, 150, 151, 215 [best: 1000] 2435246456832
9, 24, 45, 46, 58, 68, 71, 81, 116, 117, 161, 214 [best: 1000] 2439541424128
9, 24, 45, 46, 58, 68, 76, 83, 106, 123, 180, 184 [best: 1000] 2443836391424
9, 24, 45, 46, 58, 68, 82, 86, 122, 143, 173, 195 [best: 1000] 2448131358720
9, 24, 45, 46, 58, 68, 87, 117, 168, 180, 191 [best: 1000] 2452426326016
9, 24, 45, 46, 58, 68, 96, 116, 164, 181, 199, 239 [best: 1000] 2456721293312
9, 24, 45, 46, 58, 68, 109, 112, 164, 192, 198, 265 [best: 1000] 2461016260608
9, 24, 45, 46, 58, 69, 71, 108, 117, 169, 187, 260 [best: 1000] 2465311227904
9, 24, 45, 46, 58, 69, 77, 93, 103, 173, 201, 217 [best: 1000] 2469606195200
9, 24, 45, 46, 58, 69, 84, 109, 110, 111, 194, 196 [best: 1000] 2473901162496
9, 24, 45, 46, 58, 69, 93, 99, 132, 167, 179, 249 [best: 1000] 2478196129792
9, 24, 45, 46, 58, 69, 106, 111, 113, 118, 163, 172 [best: 1000] 2482491097088
9, 24, 45, 46, 58, 70, 73, 75, 90, 139, 144, 212 [best: 1000] 2486786064384
9, 24, 45, 46, 58, 70, 85, 88, 127, 149, 186, 188 [best: 1000] 2491081031680
9, 24, 45, 46, 58, 70, 107, 138, 146, 163, 223, 237 [best: 1000] 2495375998976
9, 24, 45, 46, 58, 71, 79, 95, 98, 150, 169, 180 [best: 1000] 2499670966272
9, 24, 45, 46, 58, 71, 89, 95, 106, 107, 184, 185 [best: 1000] 2503965933568
9, 24, 45, 46, 58, 71, 108, 134, 150, 186, 234, 256 [best: 1000] 2508260900864
9, 24, 45, 46, 58, 72, 79, 111, 132, 160, 179, 187 [best: 1000] 2512555868160
9, 24, 45, 46, 58, 72, 90, 120, 137, 161, 168, 196 [best: 1000] 2516850835456
9, 24, 45, 46, 58, 72, 117, 127, 145, 161, 169, 231 [best: 1000] 2521145802752
9, 24, 45, 46, 58, 73, 83, 116, 131, 140, 153, 170 [best: 1000] 2525440770048
9, 24, 45, 46, 58, 73, 95, 132, 162, 166, 173, 228 [best: 1000] 2529735737344
9, 24, 45, 46, 58, 74, 77, 94, 110, 126, 128, 130 [best: 1000] 2534030704640
9, 24, 45, 46, 58, 74, 87, 122, 133, 161, 163, 201 [best: 1000] 2538325671936
9, 24, 45, 46, 58, 75, 76, 77, 118, 133, 141, 180 [best: 1000] 2542620639232
9, 24, 45, 46, 58, 75, 97, 105, 107, 156, 178, 192 [best: 1000] 2546915606528
9, 24, 45, 46, 58, 76, 89, 108, 117, 163, 209, 219 [best: 1000] 2551210573824
9, 24, 45, 46, 58, 77, 85, 108, 123, 139, 182, 219 [best: 1000] 2555505541120
9, 24, 45, 46, 58, 78, 84, 106, 139, 147, 157, 159 [best: 1000] 2559800508416
9, 24, 45, 46, 58, 79, 80, 117, 122, 131, 177, 228 [best: 1000] 2564095475712
9, 24, 45, 46, 58, 79, 96, 121, 127, 129, 186, 208 [best: 1000] 2568390443008
9, 24, 45, 46, 58, 80, 87, 127, 132, 143, 149, 192 [best: 1000] 2572685410304
9, 24, 45, 46, 58, 81, 85, 95, 113, 136, 166, 198 [best: 1000] 2576980377600
9, 24, 45, 46, 58, 81, 105, 122, 134, 147, 191, 216, 271 [best: 1000] 2581275344896
9, 24, 45, 46, 58, 82, 99, 110, 118, 143, 146, 196 [best: 1000] 2585570312192
9, 24, 45, 46, 58, 83, 103, 116, 131, 158, 209, 232 [best: 1000] 2589865279488
9, 24, 45, 46, 58, 84, 95, 103, 108, 109, 143, 154 [best: 1000] 2594160246784
9, 24, 45, 46, 58, 84, 112, 120, 155, 199, 217, 258 [best: 1000] 2598455214080
9, 24, 45, 46, 58, 85, 97, 104, 129, 131, 165, 229 [best: 1000] 2602750181376
9, 24, 45, 46, 58, 86, 90, 101, 112, 121, 151, 163 [best: 1000] 2607045148672
9, 24, 45, 46, 58, 86, 105, 149, 159, 185, 190, 203 [best: 1000] 2611340115968
9, 24, 45, 46, 58, 87, 102, 109, 118, 153, 169, 209 [best: 1000] 2615635083264
9, 24, 45, 46, 58, 89, 96, 109, 111, 165, 191, 195 [best: 1000] 2619930050560
9, 24, 45, 46, 58, 90, 102, 140, 163, 187, 202, 226 [best: 1000] 2624225017856
9, 24, 45, 46, 58, 91, 114, 129, 145, 183, 210, 220 [best: 1000] 2628519985152
9, 24, 45, 46, 58, 94, 99, 109, 115, 123, 138, 177 [best: 1000] 2632814952448
9, 24, 45, 46, 58, 95, 110, 112, 123, 160, 170, 220 [best: 1000] 2637109919744
9, 24, 45, 46, 58, 96, 114, 121, 159, 176, 185, 252 [best: 1000] 2641404887040
9, 24, 45, 46, 59, 60, 63, 69, 73, 159, 176, 203 [best: 1000] 2645699854336
9, 24, 45, 46, 59, 60, 69, 88, 89, 103, 186, 192 [best: 1000] 2649994821632
9, 24, 45, 46, 59, 60, 82, 89, 127, 163, 165, 182 [best: 1000] 2654289788928
9, 24, 45, 46, 59, 61, 62, 66, 72, 133, 169, 206 [best: 1000] 2658584756224
9, 24, 45, 46, 59, 61, 69, 90, 111, 133, 189, 212 [best: 1000] 2662879723520
9, 24, 45, 46, 59, 61, 84, 89, 108, 116, 117, 225 [best: 1000] 2667174690816
9, 24, 45, 46, 59, 62, 64, 111, 125, 151, 172, 199 [best: 1000] 2671469658112
9, 24, 45, 46, 59, 62, 72, 85, 151, 160, 164, 175 [best: 1000] 2675764625408
9, 24, 45, 46, 59, 62, 89, 99, 132, 140, 143, 148 [best: 1000] 2680059592704
9, 24, 45, 46, 59, 63, 66, 83, 128, 146, 150, 162 [best: 1000] 2684354560000
9, 24, 45, 46, 59, 63, 70, 105, 113, 114, 124, 135 [best: 1000] 2688649527296
9, 24, 45, 46, 59, 63, 77, 128, 141, 143, 220, 251 [best: 1000] 2692944494592
9, 24, 45, 46, 59, 63, 86, 105, 113, 128, 228, 242 [best: 1000] 2697239461888
9, 24, 45, 46, 59, 63, 102, 103, 130, 151, 153, 233 [best: 1000] 2701534429184
9, 24, 45, 46, 59, 64, 67, 78, 86, 87, 147, 248 [best: 1000] 2705829396480
9, 24, 45, 46, 59, 64, 73, 92, 131, 149, 175, 225, 250 [best: 1000] 2710124363776
9, 24, 45, 46, 59, 64, 85, 103, 111, 116, 128, 201 [best: 1000] 2714419331072
9, 24, 45, 46, 59, 64, 110, 124, 148, 149, 197, 224 [best: 1000] 2718714298368
9, 24, 45, 46, 59, 65, 70, 88, 116, 129, 134, 180 [best: 1000] 2723009265664
9, 24, 45, 46, 59, 65, 80, 102, 114, 146, 174, 189 [best: 1000] 2727304232960
9, 24, 45, 46, 59, 65, 96, 106, 121, 167, 173, 216 [best: 1000] 2731599200256
9, 24, 45, 46, 59, 66, 68, 96, 122, 164, 183, 186 [best: 1000] 2735894167552
9, 24, 45, 46, 59, 66, 74, 113, 123, 127, 184, 227 [best: 1000] 2740189134848
9, 24, 45, 46, 59, 66, 85, 88, 143, 166, 196, 199 [best: 1000] 2744484102144
9, 24, 45, 46, 59, 66, 104, 106, 129, 165, 172, 245 [best: 1000] 2748779069440
9, 24, 45, 46, 59, 67, 69, 122, 134, 142, 166, 253 [best: 1000] 2753074036736
9, 24, 45, 46, 59, 67, 74, 94, 146, 154, 179, 229 [best: 1000] 2757369004032
9, 24, 45, 46, 59, 67, 81, 96, 128, 146, 161, 258 [best: 1000] 2761663971328
9, 24, 45, 46, 59, 67, 89, 95, 97, 101, 196, 238 [best: 1000] 2765958938624
9, 24, 45, 46, 59, 67, 100, 106, 107, 131, 150, 188 [best: 1000] 2770253905920
9, 24, 45, 46, 59, 67, 123, 143, 152, 183, 187, 257 [best: 1000] 2774548873216
9, 24, 45, 46, 59, 68, 72, 139, 167, 171, 179, 198 [best: 1000] 2778843840512
9, 24, 45, 46, 59, 68, 78, 133, 162, 181, 182, 237 [best: 1000] 2783138807808
9, 24, 45, 46, 59, 68, 84, 111, 141, 155, 227, 267 [best: 1000] 2787433775104
9, 24, 45, 46, 59, 68, 91, 99, 141, 145, 215, 226 [best: 1000] 2791728742400
9, 24, 45, 46, 59, 68, 101, 128, 134, 150, 180, 230 [best: 1000] 2796023709696
9, 24, 45, 46, 59, 68, 121, 125, 151, 160, 219, 237 [best: 1000] 2800318676992
9, 24, 45, 46, 59, 69, 76, 87, 129, 136, 191, 226 [best: 1000] 2804613644288
9, 24, 45, 46, 59, 69, 87, 100, 140, 163, 176, 206 [best: 1000] 2808908611584
9, 24, 45, 46, 59, 69, 108, 124, 139, 168, 184, 241 [best: 1000] 2813203578880
9, 24, 45, 46, 59, 70, 77, 81, 96, 126, 138, 183 [best: 1000] 2817498546176
9, 24, 45, 46, 59, 70, 86, 127, 158, 191, 201, 261 [best: 1000] 2821793513472
9, 24, 45, 46, 59, 70, 106, 116, 132, 146, 184, 192 [best: 1000] 2826088480768
9, 24, 45, 46, 59, 71, 78, 85, 153, 167, 176, 253 [best: 1000] 2830383448064
9, 24, 45, 46, 59, 71, 87, 90, 110, 115, 159, 172 [best: 1000] 2834678415360
9, 24, 45, 46, 59, 71, 104, 109, 135, 171, 196, 236 [best: 1000] 2838973382656
9, 24, 45, 46, 59, 72, 80, 91, 114, 115, 119, 182 [best: 1000] 2843268349952
9, 24, 45, 46, 59, 72, 96, 106, 127, 169, 202, 229 [best: 1000] 2847563317248
9, 24, 45, 46, 59, 73, 79, 86, 134, 158, 211, 233 [best: 1000] 2851858284544
9, 24, 45, 46, 59, 73, 88, 90, 134, 167, 180, 196 [best: 1000] 2856153251840
9, 24, 45, 46, 59, 73, 108, 122, 127, 162, 196, 245 [best: 1000] 2860448219136
9, 24, 45, 46, 59, 74, 82, 135, 147, 167, 170, 224 [best: 1000] 2864743186432
9, 24, 45, 46, 59, 74, 96, 132, 150, 196, 204, 231 [best: 1000] 2869038153728
9, 24, 45, 46, 59, 75, 85, 87, 123, 132, 140, 170 [best: 1000] 2873333121024
9, 24, 45, 46, 59, 76, 81, 98, 143, 157, 168, 210 [best: 1000] 2877628088320
9, 24, 45, 46, 59, 76, 108, 109, 151, 165, 174, 178 [best: 1000] 2881923055616
9, 24, 45, 46, 59, 77, 102, 114, 127, 147, 154, 194 [best: 1000] 2886218022912
9, 24, 45, 46, 59, 78, 95, 101, 141, 147, 182, 202 [best: 1000] 2890512990208
9, 24, 45, 46, 59, 79, 86, 101, 153, 166, 181, 217 [best: 1000] 2894807957504
9, 24, 45, 46, 59, 79, 104, 125, 144, 170, 180, 182, 276 [best: 1000] 2899102924800
9, 24, 45, 46, 59, 80, 96, 98, 120, 132, 143, 205 [best: 1000] 2903397892096
9, 24, 45, 46, 59, 81, 89, 112, 126, 139, 154, 211 [best: 1000] 2907692859392
9, 24, 45, 46, 59, 82, 84, 115, 119, 163, 188, 219 [best: 1000] 2911987826688
9, 24, 45, 46, 59, 83, 84, 92, 137, 140, 142, 149 [best: 1000] 2916282793984
9, 24, 45, 46, 59, 84, 86, 104, 125, 132, 174, 232 [best: 1000] 2920577761280
9, 24, 45, 46, 59, 84, 100, 106, 113, 120, 153, 209 [best: 1000] 2924872728576
9, 24, 45, 46, 59, 85, 86, 117, 118, 134, 207, 253 [best: 1000] 2929167695872
9, 24, 45, 46, 59, 85, 100, 103, 127, 173, 183, 239 [best: 1000] 2933462663168
9, 24, 45, 46, 59, 86, 90, 104, 108, 113, 121, 173 [best: 1000] 2937757630464
9, 24, 45, 46, 59, 86, 112, 141, 154, 159, 167, 202 [best: 1000] 2942052597760
9, 24, 45, 46, 59, 88, 90, 122, 150, 157, 171, 175 [best: 1000] 2946347565056
9, 24, 45, 46, 59, 89, 103, 114, 127, 150, 186, 202 [best: 1000] 2950642532352
9, 24, 45, 46, 59, 90, 107, 113, 130, 184, 246, 290 [best: 1000] 2954937499648
9, 24, 45, 46, 59, 93, 94, 102, 134, 145, 146, 175 [best: 1000] 2959232466944
9, 24, 45, 46, 59, 94, 103, 120, 122, 159, 197, 215 [best: 1000] 2963527434240
9, 24, 45, 46, 59, 96, 99, 109, 113, 138, 184, 251 [best: 1000] 2967822401536
9, 24, 45, 46, 59, 97, 98, 112, 123, 129, 145, 219 [best: 1000] 2972117368832
9, 24, 45, 46, 60, 61, 67, 97, 130, 132, 139, 190 [best: 1000] 2976412336128
9, 24, 45, 46, 60, 61, 94, 96, 108, 132, 133, 182 [best: 1000] 2980707303424
9, 24, 45, 46, 60, 62, 75, 106, 108, 117, 131, 163 [best: 1000] 2985002270720
9, 24, 45, 46, 60, 63, 67, 72, 131, 137, 173, 186 [best: 1000] 2989297238016
9, 24, 45, 46, 60, 63, 78, 88, 137, 142, 186, 212 [best: 1000] 2993592205312
9, 24, 45, 46, 60, 63, 106, 111, 124, 164, 181, 188 [best: 1000] 2997887172608
9, 24, 45, 46, 60, 64, 75, 87, 101, 115, 173, 208 [best: 1000] 3002182139904
9, 24, 45, 46, 60, 64, 109, 116, 125, 127, 142, 167 [best: 1000] 3006477107200
9, 24, 45, 46, 60, 65, 75, 106, 134, 151, 169, 192 [best: 1000] 3010772074496
9, 24, 45, 46, 60, 65, 97, 115, 165, 186, 202, 231 [best: 1000] 3015067041792
9, 24, 45, 46, 60, 66, 77, 84, 140, 145, 174, 192 [best: 1000] 3019362009088
9, 24, 45, 46, 60, 67, 69, 71, 74, 93, 99, 233 [best: 1000] 3023656976384
9, 24, 45, 46, 60, 67, 78, 92, 136, 150, 184, 225 [best: 1000] 3027951943680
9, 24, 45, 46, 60, 67, 94, 96, 101, 177, 181, 202 [best: 1000] 3032246910976
9, 24, 45, 46, 60, 68, 71, 91, 133, 158, 165, 233 [best: 1000] 3036541878272
9, 24, 45, 46, 60, 68, 81, 110, 125, 198, 223, 239 [best: 1000] 3040836845568
9, 24, 45, 46, 60, 68, 97, 99, 100, 108, 126, 230 [best: 1000] 3045131812864
9, 24, 45, 46, 60, 69, 74, 78, 140, 172, 199, 241 [best: 1000] 3049426780160
9, 24, 45, 46, 60, 69, 86, 89, 114, 124, 138, 159 [best: 1000] 3053721747456
9, 24, 45, 46, 60, 70, 71, 89, 101, 133, 151, 176 [best: 1000] 3058016714752
9, 24, 45, 46, 60, 70, 91, 117, 119, 164, 182, 226 [best: 1000] 3062311682048
9, 24, 45, 46, 60, 71, 82, 106, 146, 153, 169, 228 [best: 1000] 3066606649344
9, 24, 45, 46, 60, 72, 78, 100, 129, 157, 159, 166 [best: 1000] 3070901616640
9, 24, 45, 46, 60, 73, 76, 102, 121, 133, 162, 178 [best: 1000] 3075196583936
9, 24, 45, 46, 60, 74, 76, 107, 122, 123, 184, 204 [best: 1000] 3079491551232
9, 24, 45, 46, 60, 75, 82, 83, 86, 115, 161, 169 [best: 1000] 3083786518528
9, 24, 45, 46, 60, 77, 80, 100, 125, 152, 187, 196 [best: 1000] 3088081485824
9, 24, 45, 46, 60, 78, 93, 100, 109, 155, 158, 203 [best: 1000] 3092376453120
9, 24, 45, 46, 60, 80, 81, 99, 149, 150, 172, 176 [best: 1000] 3096671420416
9, 24, 45, 46, 60, 81, 86, 98, 109, 116, 175, 191 [best: 1000] 3100966387712
9, 24, 45, 46, 60, 82, 83, 94, 145, 151, 170, 195 [best: 1000] 3105261355008
9, 24, 45, 46, 60, 82, 110, 114, 134, 140, 165, 167 [best: 1000] 3109556322304
9, 24, 45, 46, 60, 83, 106, 114, 145, 151, 154, 224 [best: 1000] 3113851289600
9, 24, 45, 46, 60, 86, 91, 101, 124, 126, 159, 190 [best: 1000] 3118146256896
9, 24, 45, 46, 61, 62, 67, 109, 113, 119, 177, 192 [best: 1000] 3122441224192
9, 24, 45, 46, 61, 63, 65, 108, 132, 149, 153, 180 [best: 1000] 3126736191488
9, 24, 45, 46, 61, 63, 77, 80, 97, 103, 149, 212 [best: 1000] 3131031158784
9, 24, 45, 46, 61, 63, 103, 114, 119, 124, 180, 187 [best: 1000] 3135326126080
9, 24, 45, 46, 61, 64, 83, 105, 121, 140, 168, 182 [best: 1000] 3139621093376
9, 24, 45, 46, 61, 65, 72, 79, 121, 141, 154, 179 [best: 1000] 3143916060672
9, 24, 45, 46, 61, 65, 91, 96, 107, 160, 170, 208 [best: 1000] 3148211027968
9, 24, 45, 46, 61, 66, 74, 78, 123, 129, 193, 208 [best: 1000] 3152505995264
9, 24, 45, 46, 61, 67, 68, 97, 160, 188, 219, 249 [best: 1000] 3156800962560
9, 24, 45, 46, 61, 67, 77, 97, 142, 150, 152, 225 [best: 1000] 3161095929856
9, 24, 45, 46, 61, 67, 92, 98, 102, 118, 184, 208 [best: 1000] 3165390897152
9, 24, 45, 46, 61, 68, 71, 106, 118, 150, 155, 172 [best: 1000] 3169685864448
9, 24, 45, 46, 61, 68, 84, 132, 142, 146, 183, 231 [best: 1000] 3173980831744
9, 24, 45, 46, 61, 69, 71, 73, 107, 110, 126, 216 [best: 1000] 3178275799040
9, 24, 45, 46, 61, 69, 81, 123, 143, 175, 198, 240 [best: 1000] 3182570766336
9, 24, 45, 46, 61, 69, 98, 107, 114, 150, 162, 186 [best: 1000] 3186865733632
9, 24, 45, 46, 61, 70, 84, 88, 113, 174, 201, 207 [best: 1000] 3191160700928
9, 24, 45, 46, 61, 71, 81, 126, 134, 154, 215, 248 [best: 1000] 3195455668224
9, 24, 45, 46, 61, 72, 79, 95, 105, 122, 160, 163 [best: 1000] 3199750635520
9, 24, 45, 46, 61, 73, 81, 102, 127, 168, 184, 194 [best: 1000] 3204045602816
9, 24, 45, 46, 61, 74, 83, 112, 125, 151, 159, 193 [best: 1000] 3208340570112
9, 24, 45, 46, 61, 75, 94, 115, 124, 137, 150, 203 [best: 1000] 3212635537408
9, 24, 45, 46, 61, 77, 91, 108, 127, 147, 204, 209 [best: 1000] 3216930504704
9, 24, 45, 46, 61, 80, 81, 105, 115, 119, 199, 234 [best: 1000] 3221225472000
9, 24, 45, 46, 61, 81, 89, 96, 142, 170, 177, 248 [best: 1000] 3225520439296
9, 24, 45, 46, 61, 82, 88, 104, 116, 151, 177, 212 [best: 1000] 3229815406592
9, 24, 45, 46, 61, 83, 92, 94, 95, 128, 159, 171 [best: 1000] 3234110373888
9, 24, 45, 46, 61, 85, 94, 96, 97, 157, 195, 225 [best: 1000] 3238405341184
9, 24, 45, 46, 62, 63, 67, 107, 122, 158, 175, 188 [best: 1000] 3242700308480
9, 24, 45, 46, 62, 63, 81, 91, 110, 142, 199, 228 [best: 1000] 3246995275776
9, 24, 45, 46, 62, 64, 66, 83, 84, 102, 109, 179 [best: 1000] 3251290243072
9, 24, 45, 46, 62, 64, 84, 96, 124, 134, 136, 203 [best: 1000] 3255585210368
9, 24, 45, 46, 62, 65, 71, 81, 114, 182, 190, 211 [best: 1000] 3259880177664
9, 24, 45, 46, 62, 65, 87, 104, 144, 162, 170, 205 [best: 1000] 3264175144960
9, 24, 45, 46, 62, 66, 72, 77, 82, 104, 154, 209 [best: 1000] 3268470112256
9, 24, 45, 46, 62, 66, 99, 105, 117, 126, 132, 184 [best: 1000] 3272765079552
9, 24, 45, 46, 62, 67, 74, 99, 106, 123, 139, 197 [best: 1000] 3277060046848
9, 24, 45, 46, 62, 67, 87, 90, 123, 146, 202, 236 [best: 1000] 3281355014144
9, 24, 45, 46, 62, 68, 69, 95, 137, 193, 211, 219 [best: 1000] 3285649981440
9, 24, 45, 46, 62, 68, 82, 85, 122, 147, 195, 206 [best: 1000] 3289944948736
9, 24, 45, 46, 62, 68, 97, 142, 146, 177, 215, 261 [best: 1000] 3294239916032
9, 24, 45, 46, 62, 69, 76, 105, 118, 142, 143, 207 [best: 1000] 3298534883328
9, 24, 45, 46, 62, 69, 85, 111, 127, 153, 173, 209 [best: 1000] 3302829850624
9, 24, 45, 46, 62, 69, 112, 117, 125, 127, 183, 202, 216 [best: 1000] 3307124817920
9, 24, 45, 46, 62, 70, 89, 91, 103, 110, 139, 182 [best: 1000] 3311419785216
9, 24, 45, 46, 62, 71, 83, 103, 110, 155, 200, 205 [best: 1000] 3315714752512
9, 24, 45, 46, 62, 72, 80, 90, 97, 104, 174, 184 [best: 1000] 3320009719808
9, 24, 45, 46, 62, 73, 79, 98, 115, 137, 179, 202 [best: 1000] 3324304687104
9, 24, 45, 46, 62, 74, 82, 124, 133, 158, 176, 196 [best: 1000] 3328599654400
9, 24, 45, 46, 62, 76, 77, 108, 110, 127, 141, 166 [best: 1000] 3332894621696
9, 24, 45, 46, 62, 77, 95, 112, 113, 127, 159, 227 [best: 1000] 3337189588992
9, 24, 45, 46, 62, 80, 84, 102, 119, 124, 140, 204 [best: 1000] 3341484556288
9, 24, 45, 46, 62, 82, 83, 85, 134, 170, 198, 202 [best: 1000] 3345779523584
9, 24, 45, 46, 62, 82, 102, 109, 112, 123, 147, 206 [best: 1000] 3350074490880
9, 24, 45, 46, 62, 83, 100, 112, 144, 145, 161, 215 [best: 1000] 3354369458176
9, 24, 45, 46, 62, 85, 94, 102, 134, 147, 159, 182 [best: 1000] 3358664425472
9, 24, 45, 46, 63, 64, 65, 77, 98, 144, 166, 178 [best: 1000] 3362959392768
9, 24, 45, 46, 63, 64, 72, 89, 104, 123, 160, 202 [best: 1000] 3367254360064
9, 24, 45, 46, 63, 64, 86, 87, 126, 147, 162, 172 [best: 1000] 3371549327360
9, 24, 45, 46, 63, 65, 67, 69, 111, 114, 123, 176 [best: 1000] 3375844294656
9, 24, 45, 46, 63, 65, 73, 85, 128, 155, 180, 246 [best: 1000] 3380139261952
9, 24, 45, 46, 63, 65, 84, 94, 126, 182, 210, 242 [best: 1000] 3384434229248
9, 24, 45, 46, 63, 65, 101, 105, 126, 193, 225, 238 [best: 1000] 3388729196544
9, 24, 45, 46, 63, 66, 69, 136, 152, 177, 217, 226 [best: 1000] 3393024163840
9, 24, 45, 46, 63, 66, 82, 117, 145, 162, 182, 200 [best: 1000] 3397319131136
9, 24, 45, 46, 63, 66, 108, 125, 154, 182, 186, 189 [best: 1000] 3401614098432
9, 24, 45, 46, 63, 67, 73, 101, 106, 108, 213, 231 [best: 1000] 3405909065728
9, 24, 45, 46, 63, 67, 85, 96, 115, 134, 151, 233 [best: 1000] 3410204033024
9, 24, 45, 46, 63, 67, 107, 115, 140, 142, 158, 184 [best: 1000] 3414499000320
9, 24, 45, 46, 63, 68, 73, 80, 82, 86, 150, 173 [best: 1000] 3418793967616
9, 24, 45, 46, 63, 68, 81, 111, 118, 190, 214, 215 [best: 1000] 3423088934912
9, 24, 45, 46, 63, 68, 88, 108, 142, 203, 224, 225 [best: 1000] 3427383902208
9, 24, 45, 46, 63, 68, 102, 133, 152, 180, 197, 223 [best: 1000] 3431678869504
9, 24, 45, 46, 63, 69, 71, 84, 112, 130, 171, 177 [best: 1000] 3435973836800
9, 24, 45, 46, 63, 69, 78, 133, 140, 146, 190, 199 [best: 1000] 3440268804096
9, 24, 45, 46, 63, 69, 87, 89, 121, 168, 184, 197 [best: 1000] 3444563771392
9, 24, 45, 46, 63, 69, 101, 131, 136, 138, 153, 215 [best: 1000] 3448858738688
9, 24, 45, 46, 63, 70, 73, 100, 116, 136, 159, 205 [best: 1000] 3453153705984
9, 24, 45, 46, 63, 70, 87, 138, 146, 174, 195, 221 [best: 1000] 3457448673280
9, 24, 45, 46, 63, 71, 75, 88, 108, 130, 193, 224 [best: 1000] 3461743640576
9, 24, 45, 46, 63, 71, 88, 125, 135, 179, 187, 197 [best: 1000] 3466038607872
9, 24, 45, 46, 63, 72, 75, 92, 110, 115, 157, 163 [best: 1000] 3470333575168
9, 24, 45, 46, 63, 72, 90, 114, 127, 133, 156, 211 [best: 1000] 3474628542464
9, 24, 45, 46, 63, 73, 80, 81, 135, 154, 168, 215 [best: 1000] 3478923509760
9, 24, 45, 46, 63, 73, 96, 124, 127, 136, 137, 215 [best: 1000] 3483218477056
9, 24, 45, 46, 63, 74, 83, 86, 110, 116, 128, 212 [best: 1000] 3487513444352
9, 24, 45, 46, 63, 74, 105, 120, 143, 193, 205, 226 [best: 1000] 3491808411648
9, 24, 45, 46, 63, 75, 99, 120, 141, 154, 210, 217 [best: 1000] 3496103378944
9, 24, 45, 46, 63, 76, 97, 118, 125, 170, 181, 186 [best: 1000] 3500398346240
9, 24, 45, 46, 63, 77, 94, 104, 127, 143, 155, 177 [best: 1000] 3504693313536
9, 24, 45, 46, 63, 78, 100, 102, 112, 115, 163, 202 [best: 1000] 3508988280832
9, 24, 45, 46, 63, 80, 85, 130, 138, 169, 182, 202 [best: 1000] 3513283248128
9, 24, 45, 46, 63, 81, 87, 122, 155, 159, 200, 240 [best: 1000] 3517578215424
9, 24, 45, 46, 63, 82, 83, 84, 112, 154, 216, 229 [best: 1000] 3521873182720
9, 24, 45, 46, 63, 82, 103, 111, 115, 150, 176, 187 [best: 1000] 3526168150016
9, 24, 45, 46, 63, 83, 98, 121, 153, 186, 228, 233 [best: 1000] 3530463117312
9, 24, 45, 46, 63, 84, 92, 105, 147, 150, 164, 220 [best: 1000] 3534758084608
9, 24, 45, 46, 63, 84, 106, 116, 163, 185, 197, 253 [best: 1000] 3539053051904
9, 24, 45, 46, 63, 85, 90, 126, 129, 142, 147, 196 [best: 1000] 3543348019200
9, 24, 45, 46, 63, 85, 108, 143, 146, 150, 204, 222 [best: 1000] 3547642986496
9, 24, 45, 46, 63, 87, 88, 103, 105, 168, 169, 184 [best: 1000] 3551937953792
9, 24, 45, 46, 63, 88, 89, 93, 94, 111, 182, 194 [best: 1000] 3556232921088
9, 24, 45, 46, 63, 89, 94, 111, 119, 153, 157, 202 [best: 1000] 3560527888384
9, 24, 45, 46, 63, 92, 109, 112, 118, 145, 150, 183 [best: 1000] 3564822855680
9, 24, 45, 46, 63, 95, 96, 106, 107, 108, 159, 247 [best: 1000] 3569117822976
9, 24, 45, 46, 64, 65, 66, 69, 81, 157, 186, 214 [best: 1000] 3573412790272
9, 24, 45, 46, 64, 65, 74, 80, 83, 120, 126, 156 [best: 1000] 3577707757568
9, 24, 45, 46, 64, 65, 90, 110, 143, 167, 169, 172 [best: 1000] 3582002724864
9, 24, 45, 46, 64, 66, 68, 97, 122, 148, 156, 166 [best: 1000] 3586297692160
9, 24, 45, 46, 64, 66, 84, 88, 93, 113, 123, 149 [best: 1000] 3590592659456
9, 24, 45, 46, 64, 67, 68, 72, 75, 119, 160, 229 [best: 1000] 3594887626752
9, 24, 45, 46, 64, 67, 74, 80, 85, 95, 131, 145 [best: 1000] 3599182594048
9, 24, 45, 46, 64, 67, 86, 114, 125, 150, 158, 214 [best: 1000] 3603477561344
9, 24, 45, 46, 64, 67, 101, 104, 136, 167, 199, 238 [best: 1000] 3607772528640
9, 24, 45, 46, 64, 68, 71, 72, 105, 157, 204, 214 [best: 1000] 3612067495936
9, 24, 45, 46, 64, 68, 84, 124, 138, 181, 217, 221 [best: 1000] 3616362463232
9, 24, 45, 46, 64, 68, 100, 116, 144, 149, 187, 249 [best: 1000] 3620657430528
9, 24, 45, 46, 64, 69, 73, 103, 136, 160, 197, 221 [best: 1000] 3624952397824
9, 24, 45, 46, 64, 69, 85, 139, 163, 192, 222, 235 [best: 1000] 3629247365120
9, 24, 45, 46, 64, 69, 99, 122, 140, 180, 222, 232 [best: 1000] 3633542332416
9, 24, 45, 46, 64, 70, 74, 94, 105, 166, 189, 214 [best: 1000] 3637837299712
9, 24, 45, 46, 64, 70, 98, 102, 134, 138, 164, 216 [best: 1000] 3642132267008
9, 24, 45, 46, 64, 71, 86, 111, 123, 167, 172, 194 [best: 1000] 3646427234304
9, 24, 45, 46, 64, 72, 76, 109, 127, 147, 148, 150 [best: 1000] 3650722201600
9, 24, 45, 46, 64, 72, 102, 120, 135, 140, 210, 236 [best: 1000] 3655017168896
9, 24, 45, 46, 64, 74, 76, 83, 92, 98, 137, 159 [best: 1000] 3659312136192
9, 24, 45, 46, 64, 75, 86, 110, 111, 112, 129, 159 [best: 1000] 3663607103488
9, 24, 45, 46, 64, 76, 98, 103, 116, 125, 141, 173 [best: 1000] 3667902070784
9, 24, 45, 46, 64, 78, 89, 110, 125, 167, 189, 212 [best: 1000] 3672197038080
9, 24, 45, 46, 64, 80, 98, 106, 114, 124, 125, 159 [best: 1000] 3676492005376
9, 24, 45, 46, 64, 82, 104, 116, 122, 123, 153, 166 [best: 1000] 3680786972672
9, 24, 45, 46, 64, 84, 101, 121, 126, 133, 181, 224 [best: 1000] 3685081939968
9, 24, 45, 46, 64, 86, 89, 109, 130, 177, 197, 200 [best: 1000] 3689376907264
9, 24, 45, 46, 64, 87, 101, 104, 110, 113, 119, 168 [best: 1000] 3693671874560
9, 24, 45, 46, 64, 88, 104, 129, 155, 196, 212, 220 [best: 1000] 3697966841856
9, 24, 45, 46, 64, 89, 99, 143, 156, 178, 206, 226 [best: 1000] 3702261809152
9, 24, 45, 46, 64, 90, 104, 122, 129, 131, 138, 192 [best: 1000] 3706556776448
9, 24, 45, 46, 64, 92, 100, 101, 110, 144, 169, 181 [best: 1000] 3710851743744
9, 24, 45, 46, 65, 66, 67, 88, 115, 144, 212 [best: 1000] 3715146711040
9, 24, 45, 46, 65, 66, 76, 84, 86, 155, 193, 212 [best: 1000] 3719441678336
9, 24, 45, 46, 65, 66, 92, 108, 133, 152, 164, 176 [best: 1000] 3723736645632
9, 24, 45, 46, 65, 67, 69, 103, 114, 129, 172, 212 [best: 1000] 3728031612928
9, 24, 45, 46, 65, 67, 76, 85, 90, 98, 139, 200 [best: 1000] 3732326580224
9, 24, 45, 46, 65, 67, 85, 88, 175, 201, 236, 246 [best: 1000] 3736621547520
9, 24, 45, 46, 65, 67, 96, 106, 119, 174, 217, 244 [best: 1000] 3740916514816
9, 24, 45, 46, 65, 68, 69, 71, 89, 143, 180 [best: 1000] 3745211482112
9, 24, 45, 46, 65, 68, 74, 100, 110, 192, 215, 230 [best: 1000] 3749506449408
9, 24, 45, 46, 65, 68, 82, 132, 161, 195, 235 [best: 1000] 3753801416704
9, 24, 45, 46, 65, 68, 91, 101, 123, 128, 144, 188 [best: 1000] 3758096384000
9, 24, 45, 46, 65, 68, 105, 130, 144, 145, 199, 233 [best: 1000] 3762391351296
9, 24, 45, 46, 65, 69, 73, 82, 103, 127, 131, 196 [best: 1000] 3766686318592
9, 24, 45, 46, 65, 69, 84, 118, 124, 127, 163, 176 [best: 1000] 3770981285888
9, 24, 45, 46, 65, 69, 104, 127, 134, 144, 155, 212 [best: 1000] 3775276253184
9, 24, 45, 46, 65, 70, 79, 118, 136, 165, 183, 202, 203 [best: 1000] 3779571220480
9, 24, 45, 46, 65, 70, 97, 102, 110, 121, 160, 176 [best: 1000] 3783866187776
9, 24, 45, 46, 65, 71, 79, 114, 148, 159, 172 [best: 1000] 3788161155072
9, 24, 45, 46, 65, 71, 94, 139, 155, 170, 172, 193 [best: 1000] 3792456122368
9, 24, 45, 46, 65, 72, 79, 97, 106, 165, 169, 185 [best: 1000] 3796751089664
9, 24, 45, 46, 65, 72, 99, 104, 112, 139, 192, 222 [best: 1000] 3801046056960
9, 24, 45, 46, 65, 73, 84, 86, 95, 96, 130, 141 [best: 1000] 3805341024256
9, 24, 45, 46, 65, 73, 107, 142, 153, 170, 193, 224 [best: 1000] 3809635991552
9, 24, 45, 46, 65, 74, 85, 120, 133, 141, 201, 202 [best: 1000] 3813930958848
9, 24, 45, 46, 65, 75, 77, 99, 127, 134, 138, 194 [best: 1000] 3818225926144
9, 24, 45, 46, 65, 76, 80, 93, 103, 126, 152, 185 [best: 1000] 3822520893440
9, 24, 45, 46, 65, 77, 78, 94, 97, 102, 165, 180 [best: 1000] 3826815860736
9, 24, 45, 46, 65, 77, 103, 125, 135, 168, 207 [best: 1000] 3831110828032
9, 24, 45, 46, 65, 79, 85, 96, 104, 139, 166, 192 [best: 1000] 3835405795328
9, 24, 45, 46, 65, 80, 90, 115, 136, 143, 173, 174 [best: 1000] 3839700762624
9, 24, 45, 46, 65, 81, 90, 115, 151, 156, 183, 213 [best: 1000] 3843995729920
9, 24, 45, 46, 65, 82, 84, 102, 154, 204, 217, 252 [best: 1000] 3848290697216
9, 24, 45, 46, 65, 82, 102, 123, 125, 179, 181, 210 [best: 1000] 3852585664512
9, 24, 45, 46, 65, 83, 91, 103, 104, 111, 170, 197 [best: 1000] 3856880631808
9, 24, 45, 46, 65, 84, 88, 137, 152, 184, 207, 221 [best: 1000] 3861175599104
9, 24, 45, 46, 65, 84, 106, 111, 120, 128, 190, 231 [best: 1000] 3865470566400
9, 24, 45, 46, 65, 85, 92, 132, 140, 143, 150, 174 [best: 1000] 3869765533696
9, 24, 45, 46, 65, 85, 106, 121, 127, 208, 224, 260 [best: 1000] 3874060500992
9, 24, 45, 46, 65, 86, 97, 113, 134, 149, 170, 201 [best: 1000] 3878355468288
9, 24, 45, 46, 65, 87, 101, 124, 144, 173, 182, 185 [best: 1000] 3882650435584
9, 24, 45, 46, 65, 88, 103, 130, 157, 160, 195, 218 [best: 1000] 3886945402880
9, 24, 45, 46, 65, 91, 98, 111, 118, 125, 157, 212 [best: 1000] 3891240370176
9, 24, 45, 46, 65, 94, 98, 129, 133, 150, 166, 171 [best: 1000] 3895535337472
9, 24, 45, 46, 65, 96, 100, 106, 108, 159, 174, 191 [best: 1000] 3899830304768
9, 24, 45, 46, 66, 67, 69, 103, 108, 143, 200, 213 [best: 1000] 3904125272064
9, 24, 45, 46, 66, 67, 76, 94, 113, 137, 165, 224 [best: 1000] 3908420239360
9, 24, 45, 46, 66, 67, 86, 122, 127, 187, 192, 200 [best: 1000] 3912715206656
9, 24, 45, 46, 66, 67, 98, 109, 112, 119, 192, 225, 256 [best: 1000] 3917010173952
9, 24, 45, 46, 66, 68, 69, 117, 133, 134, 151, 155 [best: 1000] 3921305141248
9, 24, 45, 46, 66, 68, 80, 90, 148, 162, 206, 217 [best: 1000] 3925600108544
9, 24, 45, 46, 66, 68, 91, 105, 129, 188, 200, 215 [best: 1000] 3929895075840
9, 24, 45, 46, 66, 69, 70, 108, 144, 164, 189, 226 [best: 1000] 3934190043136
9, 24, 45, 46, 66, 69, 78, 118, 119, 138, 141 [best: 1000] 3938485010432
9, 24, 45, 46, 66, 69, 88, 95, 130, 148, 174, 227 [best: 1000] 3942779977728
9, 24, 45, 46, 66, 69, 103, 108, 122, 155, 199, 213 [best: 1000] 3947074945024
9, 24, 45, 46, 66, 70, 75, 84, 85, 130, 141, 214, 219 [best: 1000] 3951369912320
9, 24, 45, 46, 66, 70, 89, 129, 144, 151, 156, 187 [best: 1000] 3955664879616
9, 24, 45, 46, 66, 71, 77, 86, 92, 101, 110, 115 [best: 1000] 3959959846912
9, 24, 45, 46, 66, 71, 105, 117, 133, 140, 180, 204 [best: 1000] 3964254814208
9, 24, 45, 46, 66, 72, 87, 88, 95, 118, 198, 206 [best: 1000] 3968549781504
9, 24, 45, 46, 66, 73, 74, 116, 124, 128, 136, 186 [best: 1000] 3972844748800
9, 24, 45, 46, 66, 73, 91, 96, 104, 132, 152, 192 [best: 1000] 3977139716096
9, 24, 45, 46, 66, 74, 83, 122, 128, 130, 161, 229 [best: 1000] 3981434683392
9, 24, 45, 46, 66, 74, 104, 116, 123, 131, 191, 239 [best: 1000] 3985729650688
9, 24, 45, 46, 66, 76, 77, 84, 109, 121, 139, 190 [best: 1000] 3990024617984
9, 24, 45, 46, 66, 77, 79, 90, 109, 148, 170, 194 [best: 1000] 3994319585280
9, 24, 45, 46, 66, 77, 106, 121, 126, 164, 175, 189, 201 [best: 1000] 3998614552576
9, 24, 45, 46, 66, 80, 81, 103, 118, 139, 149, 151 [best: 1000] 4002909519872
9, 24, 45, 46, 66, 81, 98, 117, 134, 166, 189, 198 [best: 1000] 4007204487168
9, 24, 45, 46, 66, 83, 88, 112, 116, 165, 169, 183 [best: 1000] 4011499454464
9, 24, 45, 46, 66, 84, 90, 101, 103, 159, 190, 252 [best: 1000] 4015794421760
9, 24, 45, 46, 66, 85, 96, 106, 126, 163, 184, 203, 274 [best: 1000] 4020089389056
9, 24, 45, 46, 66, 86, 101, 116, 143, 147, 184, 185 [best: 1000] 4024384356352
9, 24, 45, 46, 66, 87, 98, 114, 120, 164, 189, 235 [best: 1000] 4028679323648
9, 24, 45, 46, 66, 88, 91, 105, 121, 145, 149, 163 [best: 1000] 4032974290944
9, 24, 45, 46, 66, 88, 111, 119, 124, 134, 152, 163 [best: 1000] 4037269258240
9, 24, 45, 46, 66, 89, 115, 119, 124, 132, 171, 237 [best: 1000] 4041564225536
9, 24, 45, 46, 66, 91, 102, 124, 131, 140, 164, 226 [best: 1000] 4045859192832
9, 24, 45, 46, 67, 68, 69, 100, 121, 133, 189, 269 [best: 1000] 4050154160128
9, 24, 45, 46, 67, 68, 73, 109, 118, 197, 217, 230 [best: 1000] 4054449127424
9, 24, 45, 46, 67, 68, 79, 99, 100, 185, 193, 258 [best: 1000] 4058744094720
9, 24, 45, 46, 67, 68, 85, 95, 106, 118, 176, 238 [best: 1000] 4063039062016
9, 24, 45, 46, 67, 68, 91, 105, 172, 178, 203, 272 [best: 1000] 4067334029312
9, 24, 45, 46, 67, 68, 100, 109, 132, 162, 180, 200 [best: 1000] 4071628996608
9, 24, 45, 46, 67, 68, 113, 138, 164, 171, 188, 216 [best: 1000] 4075923963904
9, 24, 45, 46, 67, 69, 73, 78, 79, 152, 184, 202 [best: 1000] 4080218931200
9, 24, 45, 46, 67, 69, 79, 80, 123, 180, 191, 232 [best: 1000] 4084513898496
9, 24, 45, 46, 67, 69, 85, 87, 157, 163, 196, 225, 254 [best: 1000] 4088808865792
9, 24, 45, 46, 67, 69, 92, 94, 114, 129, 136, 146 [best: 1000] 4093103833088
9, 24, 45, 46, 67, 69, 102, 134, 150, 160, 215, 245 [best: 1000] 4097398800384
9, 24, 45, 46, 67, 70, 71, 91, 117, 157, 198, 215 [best: 1000] 4101693767680
9, 24, 45, 46, 67, 70, 82, 106, 107, 127, 170, 229 [best: 1000] 4105988734976
9, 24, 45, 46, 67, 70, 100, 106, 151, 156, 193, 243 [best: 1000] 4110283702272
9, 24, 45, 46, 67, 71, 76, 102, 125, 164, 172, 188 [best: 1000] 4114578669568
9, 24, 45, 46, 67, 71, 85, 92, 98, 199, 202, 235 [best: 1000] 4118873636864
9, 24, 45, 46, 67, 71, 95, 98, 117, 130, 165, 210 [best: 1000] 4123168604160
9, 24, 45, 46, 67, 71, 119, 125, 139, 148, 201, 258 [best: 1000] 4127463571456
9, 24, 45, 46, 67, 72, 81, 84, 124, 173, 179, 181 [best: 1000] 4131758538752
9, 24, 45, 46, 67, 72, 91, 99, 104, 116, 121, 128 [best: 1000] 4136053506048
9, 24, 45, 46, 67, 72, 117, 121, 133, 150, 186, 209 [best: 1000] 4140348473344
9, 24, 45, 46, 67, 73, 83, 88, 107, 137, 163, 194 [best: 1000] 4144643440640
9, 24, 45, 46, 67, 73, 94, 121, 124, 126, 185, 200 [best: 1000] 4148938407936
9, 24, 45, 46, 67, 74, 77, 81, 148, 163, 182, 204 [best: 1000] 4153233375232
9, 24, 45, 46, 67, 74, 86, 100, 118, 187, 188, 244 [best: 1000] 4157528342528
9, 24, 45, 46, 67, 74, 103, 113, 122, 123, 162, 214 [best: 1000] 4161823309824
9, 24, 45, 46, 67, 75, 85, 99, 114, 139, 182, 222 [best: 1000] 4166118277120
9, 24, 45, 46, 67, 76, 79, 91, 116, 124, 132, 168 [best: 1000] 4170413244416
9, 24, 45, 46, 67, 76, 94, 119, 121, 139, 143, 160 [best: 1000] 4174708211712
9, 24, 45, 46, 67, 77, 84, 104, 108, 127, 141, 169 [best: 1000] 4179003179008
9, 24, 45, 46, 67, 77, 106, 108, 144, 173, 201, 205 [best: 1000] 4183298146304
9, 24, 45, 46, 67, 78, 89, 111, 121, 137, 196, 227 [best: 1000] 4187593113600
9, 24, 45, 46, 67, 79, 82, 86, 129, 148, 179, 226 [best: 1000] 4191888080896
9, 24, 45, 46, 67, 79, 91, 117, 158, 169, 172, 187 [best: 1000] 4196183048192
9, 24, 45, 46, 67, 79, 110, 129, 151, 193, 209, 245 [best: 1000] 4200478015488
9, 24, 45, 46, 67, 80, 87, 132, 137, 158, 181, 219 [best: 1000] 4204772982784
9, 24, 45, 46, 67, 80, 111, 115, 135, 159, 160, 195 [best: 1000] 4209067950080
9, 24, 45, 46, 67, 81, 105, 122, 136, 145, 167, 189 [best: 1000] 4213362917376
9, 24, 45, 46, 67, 82, 92, 115, 123, 135, 145, 149 [best: 1000] 4217657884672
9, 24, 45, 46, 67, 82, 114, 126, 129, 133, 204, 222 [best: 1000] 4221952851968
9, 24, 45, 46, 67, 84, 85, 100, 128, 154, 159, 200 [best: 1000] 4226247819264
9, 24, 45, 46, 67, 84, 101, 109, 111, 112, 129, 177 [best: 1000] 4230542786560
9, 24, 45, 46, 67, 85, 91, 101, 116, 147, 166, 224 [best: 1000] 4234837753856
9, 24, 45, 46, 67, 85, 114, 135, 136, 137, 183, 200 [best: 1000] 4239132721152
9, 24, 45, 46, 67, 86, 92, 139, 160, 174, 210, 254 [best: 1000] 4243427688448
9, 24, 45, 46, 67, 86, 102, 105, 137, 155, 176, 247 [best: 1000] 4247722655744
9, 24, 45, 46, 67, 86, 112, 140, 153, 162, 203, 224 [best: 1000] 4252017623040
9, 24, 45, 46, 67, 87, 91, 120, 128, 146, 185, 199 [best: 1000] 4256312590336
9, 24, 45, 46, 67, 87, 102, 146, 186, 199, 212, 225 [best: 1000] 4260607557632
9, 24, 45, 46, 67, 88, 89, 95, 128, 163, 192, 206 [best: 1000] 4264902524928
9, 24, 45, 46, 67, 89, 92, 120, 148, 150, 183, 206 [best: 1000] 4269197492224
9, 24, 45, 46, 67, 89, 122, 132, 137, 149, 187, 200 [best: 1000] 4273492459520
9, 24, 45, 46, 67, 91, 113, 123, 131, 146, 173, 251 [best: 1000] 4277787426816
9, 24, 45, 46, 67, 93, 98, 108, 113, 144, 166, 200 [best: 1000] 4282082394112
9, 24, 45, 46, 67, 95, 97, 108, 124, 142, 184, 210 [best: 1000] 4286377361408
9, 24, 45, 46, 67, 96, 105, 137, 140, 148, 177, 186 [best: 1000] 4290672328704
9, 24, 45, 46, 67, 97, 109, 112, 164, 167, 202, 234 [best: 1000] 4294967296000
9, 24, 45, 46, 67, 98, 122, 139, 152, 177, 186, 229 [best: 1000] 4299262263296
9, 24, 45, 46, 68, 69, 72, 90, 129, 169, 170, 194 [best: 1000] 4303557230592
9, 24, 45, 46, 68, 69, 78, 85, 96, 194, 195, 212 [best: 1000] 4307852197888
9, 24, 45, 46, 68, 69, 82, 151, 161, 173, 231, 264 [best: 1000] 4312147165184
9, 24, 45, 46, 68, 69, 87, 145, 147, 217, 260, 261 [best: 1000] 4316442132480
9, 24, 45, 46, 68, 69, 96, 98, 106, 114, 178, 203 [best: 1000] 4320737099776
9, 24, 45, 46, 68, 69, 109, 124, 126, 146, 156, 252, 307 [best: 1000] 4325032067072
9, 24, 45, 46, 68, 70, 73, 76, 110, 156, 177, 248 [best: 1000] 4329327034368
9, 24, 45, 46, 68, 70, 81, 82, 92, 136, 154, 243 [best: 1000] 4333622001664
9, 24, 45, 46, 68, 70, 88, 97, 131, 145, 230, 282 [best: 1000] 4337916968960
9, 24, 45, 46, 68, 70, 103, 105, 145, 169, 204, 261 [best: 1000] 4342211936256
9, 24, 45, 46, 68, 71, 77, 82, 120, 170, 198, 214 [best: 1000] 4346506903552
9, 24, 45, 46, 68, 71, 87, 138, 161, 165, 170, 173 [best: 1000] 4350801870848
9, 24, 45, 46, 68, 72, 73, 79, 87, 138, 230, 234 [best: 1000] 4355096838144
9, 24, 45, 46, 68, 72, 81, 84, 100, 148, 179, 193 [best: 1000] 4359391805440
9, 24, 45, 46, 68, 72, 88, 96, 98, 124, 210, 241 [best: 1000] 4363686772736
9, 24, 45, 46, 68, 72, 103, 108, 135, 151, 157, 199 [best: 1000] 4367981740032
9, 24, 45, 46, 68, 73, 79, 122, 136, 139, 140, 169 [best: 1000] 4372276707328
9, 24, 45, 46, 68, 73, 88, 133, 156, 159, 178, 208 [best: 1000] 4376571674624
9, 24, 45, 46, 68, 74, 75, 103, 112, 121, 128, 199 [best: 1000] 4380866641920
9, 24, 45, 46, 68, 74, 86, 111, 122, 124, 143, 165 [best: 1000] 4385161609216
9, 24, 45, 46, 68, 74, 107, 137, 163, 168, 191, 243 [best: 1000] 4389456576512
9, 24, 45, 46, 68, 75, 86, 115, 141, 179, 187, 232 [best: 1000] 4393751543808
9, 24, 45, 46, 68, 76, 78, 109, 139, 141, 178, 216 [best: 1000] 4398046511104
9, 24, 45, 46, 68, 76, 90, 99, 107, 159, 205, 231 [best: 1000] 4402341478400
9, 24, 45, 46, 68, 77, 82, 93, 142, 171, 173, 209 [best: 1000] 4406636445696
9, 24, 45, 46, 68, 77, 98, 109, 138, 154, 190, 218 [best: 1000] 4410931412992
9, 24, 45, 46, 68, 78, 85, 86, 115, 132, 143, 153 [best: 1000] 4415226380288
9, 24, 45, 46, 68, 78, 97, 131, 132, 160, 171, 239 [best: 1000] 4419521347584
9, 24, 45, 46, 68, 79, 83, 90, 106, 157, 158, 190 [best: 1000] 4423816314880
9, 24, 45, 46, 68, 79, 93, 110, 140, 144, 150, 182 [best: 1000] 4428111282176
9, 24, 45, 46, 68, 80, 82, 104, 114, 158, 191, 198 [best: 1000] 4432406249472
9, 24, 45, 46, 68, 80, 92, 102, 122, 148, 177, 206 [best: 1000] 4436701216768
9, 24, 45, 46, 68, 81, 82, 131, 138, 141, 193, 257 [best: 1000] 4440996184064
9, 24, 45, 46, 68, 81, 91, 137, 141, 161, 182, 241 [best: 1000] 4445291151360
9, 24, 45, 46, 68, 82, 83, 113, 122, 152, 195, 229 [best: 1000] 4449586118656
9, 24, 45, 46, 68, 82, 91, 104, 109, 144, 214, 217 [best: 1000] 4453881085952
9, 24, 45, 46, 68, 82, 110, 121, 125, 175, 194, 241 [best: 1000] 4458176053248
9, 24, 45, 46, 68, 83, 88, 91, 115, 127, 173, 242 [best: 1000] 4462471020544
9, 24, 45, 46, 68, 83, 102, 109, 135, 157, 212, 216 [best: 1000] 4466765987840
9, 24, 45, 46, 68, 84, 86, 138, 144, 187, 215, 229 [best: 1000] 4471060955136
9, 24, 45, 46, 68, 84, 104, 106, 128, 154, 162, 170 [best: 1000] 4475355922432
9, 24, 45, 46, 68, 85, 90, 101, 112, 113, 140, 152 [best: 1000] 4479650889728
9, 24, 45, 46, 68, 85, 114, 122, 155, 169, 170, 234 [best: 1000] 4483945857024
9, 24, 45, 46, 68, 86, 98, 122, 125, 129, 149, 200 [best: 1000] 4488240824320
9, 24, 45, 46, 68, 87, 88, 161, 176, 196, 238, 259 [best: 1000] 4492535791616
9, 24, 45, 46, 68, 87, 97, 102, 114, 115, 158, 218 [best: 1000] 4496830758912
9, 24, 45, 46, 68, 87, 107, 122, 126, 139, 174, 190 [best: 1000] 4501125726208
9, 24, 45, 46, 68, 87, 123, 153, 165, 175, 203, 236 [best: 1000] 4505420693504
9, 24, 45, 46, 68, 88, 95, 105, 114, 164, 216, 238 [best: 1000] 4509715660800
9, 24, 45, 46, 68, 88, 105, 114, 156, 168, 186 [best: 1000] 4514010628096
9, 24, 45, 46, 68, 88, 118, 125, 142, 163, 212, 215 [best: 1000] 4518305595392
9, 24, 45, 46, 68, 89, 105, 141, 159, 171, 225, 263 [best: 1000] 4522600562688
9, 24, 45, 46, 68, 90, 103, 121, 127, 133, 184, 207 [best: 1000] 4526895529984
9, 24, 45, 46, 68, 91, 95, 111, 129, 178, 197, 225 [best: 1000] 4531190497280
9, 24, 45, 46, 68, 91, 112, 117, 126, 143, 190, 211 [best: 1000] 4535485464576
9, 24, 45, 46, 68, 93, 97, 107, 119, 134, 180, 230 [best: 1000] 4539780431872
9, 24, 45, 46, 68, 95, 106, 134, 137, 141, 165, 207 [best: 1000] 4544075399168
9, 24, 45, 46, 68, 97, 106, 123, 141, 152, 166, 231 [best: 1000] 4548370366464
9, 24, 45, 46, 68, 100, 103, 140, 155, 182, 190, 229 [best: 1000] 4552665333760
9, 24, 45, 46, 69, 70, 76, 95, 100, 110, 161, 188 [best: 1000] 4556960301056
9, 24, 45, 46, 69, 70, 85, 126, 149, 154, 157, 220 [best: 1000] 4561255268352
9, 24, 45, 46, 69, 70, 98, 113, 131, 175, 178, 248 [best: 1000] 4565550235648
9, 24, 45, 46, 69, 71, 74, 103, 108, 128, 157, 214 [best: 1000] 4569845202944
9, 24, 45, 46, 69, 71, 82, 141, 160, 188, 207, 231 [best: 1000] 4574140170240
9, 24, 45, 46, 69, 71, 91, 116, 149, 150, 200, 236 [best: 1000] 4578435137536
9, 24, 45, 46, 69, 71, 109, 121, 136, 148, 156, 200 [best: 1000] 4582730104832
9, 24, 45, 46, 69, 72, 80, 103, 127, 161, 180, 226 [best: 1000] 4587025072128
9, 24, 45, 46, 69, 72, 95, 122, 130, 133, 141, 189 [best: 1000] 4591320039424
9, 24, 45, 46, 69, 73, 78, 109, 118, 163, 167, 204 [best: 1000] 4595615006720
9, 24, 45, 46, 69, 73, 87, 91, 105, 124, 188, 217 [best: 1000] 4599909974016
9, 24, 45, 46, 69, 73, 105, 109, 118, 124, 177, 192 [best: 1000] 4604204941312
9, 24, 45, 46, 69, 74, 80, 106, 108, 123, 202, 232 [best: 1000] 4608499908608
9, 24, 45, 46, 69, 74, 89, 102, 151, 159, 190, 233 [best: 1000] 4612794875904
9, 24, 45, 46, 69, 74, 117, 129, 141, 165, 195, 214 [best: 1000] 4617089843200
9, 24, 45, 46, 69, 75, 89, 105, 127, 142, 197, 225 [best: 1000] 4621384810496
9, 24, 45, 46, 69, 76, 83, 86, 143, 158, 180, 196 [best: 1000] 4625679777792
9, 24, 45, 46, 69, 76, 102, 118, 120, 150, 162, 194 [best: 1000] 4629974745088
9, 24, 45, 46, 69, 77, 86, 131, 145, 166, 202, 216 [best: 1000] 4634269712384
9, 24, 45, 46, 69, 78, 79, 107, 113, 142, 144, 151 [best: 1000] 4638564679680
9, 24, 45, 46, 69, 78, 94, 98, 105, 121, 194, 214, 227 [best: 1000] 4642859646976
9, 24, 45, 46, 69, 79, 84, 85, 137, 157, 172, 202 [best: 1000] 4647154614272
9, 24, 45, 46, 69, 79, 97, 114, 154, 170, 186, 258 [best: 1000] 4651449581568
9, 24, 45, 46, 69, 80, 84, 98, 110, 172, 213, 223 [best: 1000] 4655744548864
9, 24, 45, 46, 69, 80, 94, 106, 120, 137, 205, 240, 243 [best: 1000] 4660039516160
9, 24, 45, 46, 69, 80, 113, 134, 148, 198, 211, 260 [best: 1000] 4664334483456
9, 24, 45, 46, 69, 81, 101, 114, 115, 138, 175, 183 [best: 1000] 4668629450752
9, 24, 45, 46, 69, 82, 90, 102, 104, 143, 171 [best: 1000] 4672924418048
9, 24, 45, 46, 69, 82, 110, 112, 125, 136, 142, 199 [best: 1000] 4677219385344
9, 24, 45, 46, 69, 83, 97, 112, 130, 168, 185, 231 [best: 1000] 4681514352640
9, 24, 45, 46, 69, 84, 93, 94, 101, 150, 155, 165 [best: 1000] 4685809319936
9, 24, 45, 46, 69, 84, 110, 119, 128, 177, 205, 222 [best: 1000] 4690104287232
9, 24, 45, 46, 69, 85, 94, 120, 123, 131, 145, 149, 179 [best: 1000] 4694399254528
9, 24, 45, 46, 69, 86, 87, 88, 123, 163, 182, 240 [best: 1000] 4698694221824
9, 24, 45, 46, 69, 86, 95, 99, 134, 143, 149, 174 [best: 1000] 4702989189120
9, 24, 45, 46, 69, 86, 107, 108, 147, 189, 200, 224 [best: 1000] 4707284156416
9, 24, 45, 46, 69, 87, 88, 125, 128, 161, 185, 196 [best: 1000] 4711579123712
9, 24, 45, 46, 69, 87, 97, 111, 128, 206, 220, 254 [best: 1000] 4715874091008
9, 24, 45, 46, 69, 87, 107, 110, 123, 184, 189, 232 [best: 1000] 4720169058304
9, 24, 45, 46, 69, 87, 123, 137, 142, 152, 162, 240 [best: 1000] 4724464025600
9, 24, 45, 46, 69, 88, 111, 127, 135, 139, 156, 191 [best: 1000] 4728758992896
9, 24, 45, 46, 69, 89, 110, 123, 135, 173, 188, 202, 207 [best: 1000] 4733053960192
9, 24, 45, 46, 69, 91, 103, 114, 121, 131, 165, 171 [best: 1000] 4737348927488
9, 24, 45, 46, 69, 92, 109, 117, 122, 167, 203, 215 [best: 1000] 4741643894784
9, 24, 45, 46, 69, 94, 96, 119, 132, 161, 172, 191 [best: 1000] 4745938862080
9, 24, 45, 46, 69, 95, 114, 124, 134, 168, 216, 239 [best: 1000] 4750233829376
9, 24, 45, 46, 69, 96, 116, 129, 134, 149, 196, 212 [best: 1000] 4754528796672
9, 24, 45, 46, 69, 98, 99, 108, 111, 144, 184, 207 [best: 1000] 4758823763968
9, 24, 45, 46, 69, 99, 106, 112, 131, 159, 210, 234 [best: 1000] 4763118731264
9, 24, 45, 46, 70, 71, 81, 82, 109, 115, 157, 172 [best: 1000] 4767413698560
9, 24, 45, 46, 70, 71, 97, 132, 140, 155, 191, 205 [best: 1000] 4771708665856
9, 24, 45, 46, 70, 72, 80, 103, 144, 176, 177, 181 [best: 1000] 4776003633152
9, 24, 45, 46, 70, 72, 99, 111, 116, 119, 125, 181 [best: 1000] 4780298600448
9, 24, 45, 46, 70, 73, 86, 94, 99, 162, 184, 194 [best: 1000] 4784593567744
9, 24, 45, 46, 70, 74, 79, 106, 121, 137, 141, 217 [best: 1000] 4788888535040
9, 24, 45, 46, 70, 74, 103, 137, 150, 169, 184, 236 [best: 1000] 4793183502336
9, 24, 45, 46, 70, 76, 77, 78, 122, 139, 146, 197 [best: 1000] 4797478469632
9, 24, 45, 46, 70, 77, 79, 91, 111, 118, 129, 172 [best: 1000] 4801773436928
9, 24, 45, 46, 70, 78, 80, 110, 123, 154, 177, 179 [best: 1000] 4806068404224
9, 24, 45, 46, 70, 79, 81, 106, 109, 143, 156, 241 [best: 1000] 4810363371520
9, 24, 45, 46, 70, 79, 101, 119, 158, 182, 192, 229 [best: 1000] 4814658338816
9, 24, 45, 46, 70, 80, 93, 118, 129, 134, 139, 147 [best: 1000] 4818953306112
9, 24, 45, 46, 70, 81, 89, 91, 102, 158, 171, 175 [best: 1000] 4823248273408
9, 24, 45, 46, 70, 82, 86, 95, 106, 129, 133, 213 [best: 1000] 4827543240704
9, 24, 45, 46, 70, 82, 110, 125, 129, 137, 182 [best: 1000] 4831838208000
9, 24, 45, 46, 70, 85, 87, 90, 114, 135, 177, 199 [best: 1000] 4836133175296
9, 24, 45, 46, 70, 86, 92, 99, 148, 152, 201, 256 [best: 1000] 4840428142592
9, 24, 45, 46, 70, 86, 106, 124, 127, 128, 147, 208 [best: 1000] 4844723109888
9, 24, 45, 46, 70, 87, 100, 104, 113, 129, 131, 183 [best: 1000] 4849018077184
9, 24, 45, 46, 70, 89, 95, 101, 124, 125, 129, 144 [best: 1000] 4853313044480
9, 24, 45, 46, 70, 91, 105, 110, 125, 140, 148, 187 [best: 1000] 4857608011776
9, 24, 45, 46, 70, 94, 101, 111, 122, 157, 179, 186 [best: 1000] 4861902979072
9, 24, 45, 46, 71, 72, 84, 118, 132, 141, 157, 176 [best: 1000] 4866197946368
9, 24, 45, 46, 71, 72, 108, 127, 133, 149, 174, 192 [best: 1000] 4870492913664
9, 24, 45, 46, 71, 73, 88, 113, 130, 158, 178, 246 [best: 1000] 4874787880960
9, 24, 45, 46, 71, 74, 80, 97, 101, 133, 178, 200 [best: 1000] 4879082848256
9, 24, 45, 46, 71, 75, 77, 87, 88, 148, 156, 195, 232 [best: 1000] 4883377815552
9, 24, 45, 46, 71, 76, 80, 114, 143, 154, 183, 184 [best: 1000] 4887672782848
9, 24, 45, 46, 71, 77, 81, 87, 90, 93, 120, 176, 192 [best: 1000] 4891967750144
9, 24, 45, 46, 71, 78, 82, 111, 121, 130, 183, 215 [best: 1000] 4896262717440
9, 24, 45, 46, 71, 78, 103, 104, 105, 137, 153, 240 [best: 1000] 4900557684736
9, 24, 45, 46, 71, 79, 89, 100, 125, 146, 186, 191 [best: 1000] 4904852652032
9, 24, 45, 46, 71, 80, 83, 121, 136, 167, 194, 208 [best: 1000] 4909147619328
9, 24, 45, 46, 71, 80, 111, 123, 133, 158, 171, 225 [best: 1000] 4913442586624
9, 24, 45, 46, 71, 82, 86, 91, 136, 137, 146, 196 [best: 1000] 4917737553920
9, 24, 45, 46, 71, 82, 107, 118, 125, 131, 150, 217 [best: 1000] 4922032521216
9, 24, 45, 46, 71, 83, 100, 114, 144, 169, 182, 215 [best: 1000] 4926327488512
9, 24, 45, 46, 71, 85, 88, 99, 111, 144, 159, 176, 220 [best: 1000] 4930622455808
9, 24, 45, 46, 71, 87, 88, 137, 150, 180, 221, 240 [best: 1000] 4934917423104
9, 24, 45, 46, 71, 88, 93, 108, 134, 142, 149, 222 [best: 1000] 4939212390400
9, 24, 45, 46, 71, 88, 110, 121, 155, 166, 222, 238 [best: 1000] 4943507357696
9, 24, 45, 46, 71, 89, 102, 134, 137, 165, 182, 228 [best: 1000] 4947802324992
9, 24, 45, 46, 71, 91, 100, 101, 127, 130, 133, 137 [best: 1000] 4952097292288
9, 24, 45, 46, 71, 94, 103, 124, 144, 152, 187, 188 [best: 1000] 4956392259584
9, 24, 45, 46, 72, 73, 74, 87, 97, 147, 167, 183 [best: 1000] 4960687226880
9, 24, 45, 46, 72, 73, 92, 132, 139, 158, 184, 204 [best: 1000] 4964982194176
9, 24, 45, 46, 72, 74, 84, 86, 100, 151, 161, 234 [best: 1000] 4969277161472
9, 24, 45, 46, 72, 75, 80, 81, 97, 122, 131, 171 [best: 1000] 4973572128768
9, 24, 45, 46, 72, 76, 82, 107, 116, 162, 173, 194 [best: 1000] 4977867096064
9, 24, 45, 46, 72, 77, 85, 95, 96, 104, 138, 154 [best: 1000] 4982162063360
9, 24, 45, 46, 72, 78, 87, 92, 100, 171, 214, 225 [best: 1000] 4986457030656
9, 24, 45, 46, 72, 79, 87, 98, 104, 142, 192 [best: 1000] 4990751997952
9, 24, 45, 46, 72, 80, 83, 99, 131, 136, 151, 192 [best: 1000] 4995046965248
9, 24, 45, 46, 72, 80, 104, 120, 131, 146, 179, 225 [best: 1000] 4999341932544
9, 24, 45, 46, 72, 81, 96, 118, 141, 164, 188, 207 [best: 1000] 5003636899840
9, 24, 45, 46, 72, 82, 90, 104, 141, 143, 172, 272 [best: 1000] 5007931867136
9, 24, 45, 46, 72, 83, 97, 100, 116, 125, 149, 184 [best: 1000] 5012226834432
9, 24, 45, 46, 72, 85, 99, 105, 148, 156, 188, 205 [best: 1000] 5016521801728
9, 24, 45, 46, 72, 86, 100, 102, 144, 167, 215, 258 [best: 1000] 5020816769024
9, 24, 45, 46, 72, 87, 94, 104, 127, 136, 168, 175 [best: 1000] 5025111736320
9, 24, 45, 46, 72, 87, 111, 114, 141, 144, 175, 211 [best: 1000] 5029406703616
9, 24, 45, 46, 72, 90, 98, 111, 123, 163, 207, 264 [best: 1000] 5033701670912
9, 24, 45, 46, 72, 92, 103, 118, 125, 151, 219, 234 [best: 1000] 5037996638208
9, 24, 45, 46, 73, 74, 86, 91, 142, 156, 161, 176 [best: 1000] 5042291605504
9, 24, 45, 46, 73, 75, 91, 98, 120, 131, 140, 151 [best: 1000] 5046586572800
9, 24, 45, 46, 73, 76, 101, 102, 105, 120, 152, 188 [best: 1000] 5050881540096
9, 24, 45, 46, 73, 77, 102, 113, 118, 148, 159, 241 [best: 1000] 5055176507392
9, 24, 45, 46, 73, 79, 89, 99, 108, 162, 170, 180 [best: 1000] 5059471474688
9, 24, 45, 46, 73, 81, 87, 99, 134, 162, 176, 202 [best: 1000] 5063766441984
9, 24, 45, 46, 73, 82, 96, 109, 113, 122, 133, 137 [best: 1000] 5068061409280
9, 24, 45, 46, 73, 83, 101, 130, 138, 162, 184, 188 [best: 1000] 5072356376576
9, 24, 45, 46, 73, 85, 88, 92, 99, 112, 165, 213 [best: 1000] 5076651343872
9, 24, 45, 46, 73, 86, 89, 105, 114, 122, 145, 168 [best: 1000] 5080946311168
9, 24, 45, 46, 73, 86, 105, 108, 132, 147, 173, 185 [best: 1000] 5085241278464
9, 24, 45, 46, 73, 87, 95, 96, 134, 138, 184, 221 [best: 1000] 5089536245760
9, 24, 45, 46, 73, 88, 93, 106, 157, 188, 245, 271 [best: 1000] 5093831213056
9, 24, 45, 46, 73, 88, 110, 126, 130, 162, 174, 210 [best: 1000] 5098126180352
9, 24, 45, 46, 73, 90, 98, 113, 129, 146, 168, 185 [best: 1000] 5102421147648
9, 24, 45, 46, 73, 91, 103, 116, 149, 155, 164, 211 [best: 1000] 5106716114944
9, 24, 45, 46, 73, 94, 104, 107, 116, 143, 153, 164 [best: 1000] 5111011082240
9, 24, 45, 46, 74, 76, 81, 90, 117, 145, 179, 194 [best: 1000] 5115306049536
9, 24, 45, 46, 74, 77, 84, 99, 104, 134, 154, 164 [best: 1000] 5119601016832
9, 24, 45, 46, 74, 78, 89, 108, 118, 138, 154, 198 [best: 1000] 5123895984128
9, 24, 45, 46, 74, 80, 86, 104, 109, 119, 158, 201 [best: 1000] 5128190951424
9, 24, 45, 46, 74, 81, 91, 99, 103, 131, 175, 212 [best: 1000] 5132485918720
9, 24, 45, 46, 74, 82, 106, 109, 126, 135, 154, 174 [best: 1000] 5136780886016
9, 24, 45, 46, 74, 84, 86, 102, 118, 160, 188, 271 [best: 1000] 5141075853312
9, 24, 45, 46, 74, 85, 89, 91, 95, 164, 168, 174 [best: 1000] 5145370820608
9, 24, 45, 46, 74, 85, 108, 115, 117, 128, 200, 233 [best: 1000] 5149665787904
9, 24, 45, 46, 74, 86, 104, 147, 148, 149, 179, 193 [best: 1000] 5153960755200
9, 24, 45, 46, 74, 87, 104, 113, 114, 120, 172, 205 [best: 1000] 5158255722496
9, 24, 45, 46, 74, 89, 93, 95, 106, 121, 141, 183 [best: 1000] 5162550689792
9, 24, 45, 46, 74, 90, 98, 135, 151, 189, 209, 226 [best: 1000] 5166845657088
9, 24, 45, 46, 75, 76, 79, 97, 144, 162, 176, 216 [best: 1000] 5171140624384
9, 24, 45, 46, 75, 78, 82, 111, 148, 151, 172, 234 [best: 1000] 5175435591680
9, 24, 45, 46, 75, 79, 104, 113, 139, 149, 151, 174 [best: 1000] 5179730558976
9, 24, 45, 46, 75, 81, 94, 99, 108, 143, 164, 204 [best: 1000] 5184025526272
9, 24, 45, 46, 75, 82, 100, 112, 116, 181, 186, 212 [best: 1000] 5188320493568
9, 24, 45, 46, 75, 83, 100, 106, 133, 138, 157, 200 [best: 1000] 5192615460864
9, 24, 45, 46, 75, 84, 104, 117, 127, 158, 168, 191 [best: 1000] 5196910428160
9, 24, 45, 46, 76, 77, 84, 109, 127, 135, 186, 200 [best: 1000] 5201205395456
9, 24, 45, 46, 76, 79, 89, 90, 120, 152, 154 [best: 1000] 5205500362752
9, 24, 45, 46, 76, 80, 98, 116, 123, 173, 199, 256 [best: 1000] 5209795330048
9, 24, 45, 46, 76, 82, 95, 104, 111, 127, 150, 172 [best: 1000] 5214090297344
9, 24, 45, 46, 76, 84, 92, 109, 113, 133, 160, 218 [best: 1000] 5218385264640
9, 24, 45, 46, 76, 85, 88, 101, 129, 137, 182, 228 [best: 1000] 5222680231936
9, 24, 45, 46, 76, 86, 90, 97, 104, 157, 180, 188 [best: 1000] 5226975199232
9, 24, 45, 46, 76, 87, 91, 100, 128, 160, 187, 190 [best: 1000] 5231270166528
9, 24, 45, 46, 76, 89, 100, 116, 164, 195, 197, 224 [best: 1000] 5235565133824
9, 24, 45, 46, 77, 79, 96, 129, 137, 143, 178, 232 [best: 1000] 5239860101120
9, 24, 45, 46, 77, 81, 83, 90, 141, 150, 175, 210 [best: 1000] 5244155068416
9, 24, 45, 46, 77, 82, 89, 95, 126, 130, 140, 149 [best: 1000] 5248450035712
9, 24, 45, 46, 77, 83, 94, 124, 149, 172, 184, 246 [best: 1000] 5252745003008
9, 24, 45, 46, 77, 84, 87, 88, 93, 108, 138, 226 [best: 1000] 5257039970304
9, 24, 45, 46, 77, 85, 89, 101, 109, 118, 119, 168 [best: 1000] 5261334937600
9, 24, 45, 46, 77, 85, 109, 112, 121, 125, 144, 173 [best: 1000] 5265629904896
9, 24, 45, 46, 77, 88, 101, 112, 122, 132, 137, 157 [best: 1000] 5269924872192
total chains: 5271401462883
new 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 15 15 15 15
9: 31 456 14 3 23
10: 921 15627 16 2 29
11: 29874 547836 18 2 34
12: 1078676 21512851 19 1 39
13: 43350847 943548140 21 0 44
14: 1929061995 45657765203 23 0 49
15: 94450541744 2419231862327 25 0 54
16: 2085601880 59918424047 28 0 59
17: 9003341 283580876 31 2 62
18: 9501 326975 34 9 61
19: 11 402 36 29 44
20: 0 0 0 0 0
21: 0 0 0 0 0
real 539m34.667s
user 519m59.754s
sys 0m23.192s
stderr end
time="2025-05-01T21:25:31+02:00" level=warning msg="The cgroupv2 manager is set to systemd but there is no systemd user session available"
time="2025-05-01T21:25:31+02:00" level=warning msg="For using systemd, you may need to log in using a user session"
time="2025-05-01T21:25:31+02:00" level=warning msg="Alternatively, you can enable lingering with: `loginctl enable-linger 128` (possibly as root)"
time="2025-05-01T21:25:31+02:00" level=warning msg="Falling back to --cgroup-manager=cgroupfs"
time="2025-05-01T21:25:31+02:00" level=warning msg="The cgroupv2 manager is set to systemd but there is no systemd user session available"
time="2025-05-01T21:25:31+02:00" level=warning msg="For using systemd, you may need to log in using a user session"
time="2025-05-01T21:25:31+02:00" level=warning msg="Alternatively, you can enable lingering with: `loginctl enable-linger 128` (possibly as root)"
time="2025-05-01T21:25:31+02:00" level=warning msg="Falling back to --cgroup-manager=cgroupfs"
time="2025-05-01T21:25:31+02:00" level=warning msg="The cgroupv2 manager is set to systemd but there is no systemd user session available"
time="2025-05-01T21:25:31+02:00" level=warning msg="For using systemd, you may need to log in using a user session"
time="2025-05-01T21:25:31+02:00" level=warning msg="Alternatively, you can enable lingering with: `loginctl enable-linger 128` (possibly as root)"
time="2025-05-01T21:25:31+02:00" level=warning msg="Falling back to --cgroup-manager=cgroupfs"
time="2025-05-01T21:25:31+02:00" level=warning msg="The cgroupv2 manager is set to systemd but there is no systemd user session available"
time="2025-05-01T21:25:31+02:00" level=warning msg="For using systemd, you may need to log in using a user session"
time="2025-05-01T21:25:31+02:00" level=warning msg="Alternatively, you can enable lingering with: `loginctl enable-linger 128` (possibly as root)"
time="2025-05-01T21:25:31+02:00" level=warning msg="Falling back to --cgroup-manager=cgroupfs"
time="2025-05-01T21:25:31+02:00" level=warning msg="The cgroupv2 manager is set to systemd but there is no systemd user session available"
time="2025-05-01T21:25:31+02:00" level=warning msg="For using systemd, you may need to log in using a user session"
time="2025-05-01T21:25:31+02:00" level=warning msg="Alternatively, you can enable lingering with: `loginctl enable-linger 128` (possibly as root)"
time="2025-05-01T21:25:31+02:00" level=warning msg="Falling back to --cgroup-manager=cgroupfs"
time="2025-05-01T21:25:31+02:00" level=warning msg="The cgroupv2 manager is set to systemd but there is no systemd user session available"
time="2025-05-01T21:25:31+02:00" level=warning msg="For using systemd, you may need to log in using a user session"
time="2025-05-01T21:25:31+02:00" level=warning msg="Alternatively, you can enable lingering with: `loginctl enable-linger 128` (possibly as root)"
time="2025-05-01T21:25:31+02:00" level=warning msg="Falling back to --cgroup-manager=cgroupfs"
2025-05-01 21:25:31 (3460): called boinc_finish(0)
</stderr_txt>
]]>
