Task 15680
| Name | batch_89__job_job-000871_1 |
| Workunit | 12799 |
| Created | 30 Apr 2025, 22:05:38 UTC |
| Sent | 1 May 2025, 1:00:50 UTC |
| Report deadline | 8 May 2025, 1:00:50 UTC |
| Received | 2 May 2025, 20:44:52 UTC |
| Server state | Over |
| Outcome | Success |
| Client state | Done |
| Exit status | 0 (0x00000000) |
| Computer ID | 33095 |
| Run time | 1 days 19 hours 43 min 50 sec |
| CPU time | 4 min 45 sec |
| Validate state | Valid |
| Credit | 46.17 |
| Device peak FLOPS | 2.34 GFLOPS |
| Application version | Universal Docker app v1.08 (docker) x86_64-pc-linux-gnu |
| Peak working set size | 40.38 MB |
| Peak swap size | 1.56 GB |
| Peak disk usage | 25.88 MB |
Stderr output
<core_client_version>8.2.2</core_client_version>
<![CDATA[
<stderr_txt>
195, 250, 272 [best: 1000] 33195802230784
0, 23, 34, 46, 78, 89, 90, 114, 117, 118, 154, 285 [best: 1000] 33200097198080
0, 23, 34, 46, 78, 89, 93, 115, 124, 171, 234, 277 [best: 1000] 33204392165376
0, 23, 34, 46, 78, 89, 96, 161, 174, 203, 214, 263 [best: 1000] 33208687132672
0, 23, 34, 46, 78, 89, 100, 103, 183, 223, 257, 261 [best: 1000] 33212982099968
0, 23, 34, 46, 78, 89, 104, 117, 124, 189, 192, 210 [best: 1000] 33217277067264
0, 23, 34, 46, 78, 89, 111, 114, 145, 202, 270, 272 [best: 1000] 33221572034560
0, 23, 34, 46, 78, 89, 119, 147, 163, 168, 242, 291 [best: 1000] 33225867001856
0, 23, 34, 46, 78, 89, 140, 151, 155, 194, 222, 260 [best: 1000] 33230161969152
0, 23, 34, 46, 78, 90, 93, 129, 184, 208, 264, 298 [best: 1000] 33234456936448
0, 23, 34, 46, 78, 90, 96, 162, 183, 212, 238, 279 [best: 1000] 33238751903744
0, 23, 34, 46, 78, 90, 99, 167, 199, 217, 222, 318 [best: 1000] 33243046871040
0, 23, 34, 46, 78, 90, 103, 144, 201, 220, 223, 256 [best: 1000] 33247341838336
0, 23, 34, 46, 78, 90, 110, 111, 124, 170, 233, 236 [best: 1000] 33251636805632
0, 23, 34, 46, 78, 90, 116, 117, 128, 166, 210, 229 [best: 1000] 33255931772928
0, 23, 34, 46, 78, 90, 126, 132, 165, 182, 190, 256 [best: 1000] 33260226740224
0, 23, 34, 46, 78, 91, 92, 95, 106, 115, 142, 290 [best: 1000] 33264521707520
0, 23, 34, 46, 78, 91, 95, 102, 104, 181, 189, 246 [best: 1000] 33268816674816
0, 23, 34, 46, 78, 91, 98, 118, 121, 194, 201, 241 [best: 1000] 33273111642112
0, 23, 34, 46, 78, 91, 101, 128, 173, 219, 238, 277 [best: 1000] 33277406609408
0, 23, 34, 46, 78, 91, 106, 119, 159, 203, 249, 271 [best: 1000] 33281701576704
0, 23, 34, 46, 78, 91, 111, 145, 151, 216, 229, 306 [best: 1000] 33285996544000
0, 23, 34, 46, 78, 91, 120, 125, 140, 193, 211, 234 [best: 1000] 33290291511296
0, 23, 34, 46, 78, 91, 129, 132, 135, 137, 201, 268 [best: 1000] 33294586478592
0, 23, 34, 46, 78, 92, 93, 118, 120, 170, 213, 262 [best: 1000] 33298881445888
0, 23, 34, 46, 78, 92, 96, 122, 162, 170, 194, 218 [best: 1000] 33303176413184
0, 23, 34, 46, 78, 92, 99, 126, 170, 188, 233, 246 [best: 1000] 33307471380480
0, 23, 34, 46, 78, 92, 102, 168, 195, 208, 214, 241 [best: 1000] 33311766347776
0, 23, 34, 46, 78, 92, 107, 128, 143, 150, 228, 280 [best: 1000] 33316061315072
0, 23, 34, 46, 78, 92, 112, 130, 144, 146, 227, 257 [best: 1000] 33320356282368
0, 23, 34, 46, 78, 92, 120, 153, 156, 173, 192, 196 [best: 1000] 33324651249664
0, 23, 34, 46, 78, 92, 129, 142, 166, 193, 234, 271 [best: 1000] 33328946216960
0, 23, 34, 46, 78, 93, 94, 100, 126, 148, 188, 265 [best: 1000] 33333241184256
0, 23, 34, 46, 78, 93, 97, 123, 132, 157, 186, 253 [best: 1000] 33337536151552
0, 23, 34, 46, 78, 93, 100, 123, 187, 192, 251, 269 [best: 1000] 33341831118848
0, 23, 34, 46, 78, 93, 105, 121, 151, 163, 224, 257 [best: 1000] 33346126086144
0, 23, 34, 46, 78, 93, 111, 140, 154, 202, 234, 242 [best: 1000] 33350421053440
0, 23, 34, 46, 78, 93, 121, 150, 151, 182, 192, 195 [best: 1000] 33354716020736
0, 23, 34, 46, 78, 93, 133, 149, 152, 175, 178, 248 [best: 1000] 33359010988032
0, 23, 34, 46, 78, 94, 97, 110, 120, 208, 220, 239 [best: 1000] 33363305955328
0, 23, 34, 46, 78, 94, 100, 126, 153, 160, 173, 243 [best: 1000] 33367600922624
0, 23, 34, 46, 78, 94, 105, 117, 137, 148, 177, 205 [best: 1000] 33371895889920
0, 23, 34, 46, 78, 94, 111, 116, 141, 163, 214, 257 [best: 1000] 33376190857216
0, 23, 34, 46, 78, 94, 119, 126, 162, 176, 178, 190 [best: 1000] 33380485824512
0, 23, 34, 46, 78, 94, 129, 156, 158, 200, 226, 278 [best: 1000] 33384780791808
0, 23, 34, 46, 78, 95, 96, 171, 176, 202, 210, 273 [best: 1000] 33389075759104
0, 23, 34, 46, 78, 95, 99, 139, 156, 162, 246, 276 [best: 1000] 33393370726400
0, 23, 34, 46, 78, 95, 103, 108, 146, 170, 220, 263 [best: 1000] 33397665693696
0, 23, 34, 46, 78, 95, 107, 143, 155, 168, 243, 257 [best: 1000] 33401960660992
0, 23, 34, 46, 78, 95, 112, 140, 177, 236, 254, 280 [best: 1000] 33406255628288
0, 23, 34, 46, 78, 95, 121, 124, 151, 171, 227, 242 [best: 1000] 33410550595584
0, 23, 34, 46, 78, 95, 128, 165, 183, 198, 268, 273 [best: 1000] 33414845562880
0, 23, 34, 46, 78, 95, 145, 170, 199, 207, 265, 283 [best: 1000] 33419140530176
0, 23, 34, 46, 78, 96, 99, 144, 170, 197, 232, 266 [best: 1000] 33423435497472
0, 23, 34, 46, 78, 96, 103, 126, 154, 183, 254, 283 [best: 1000] 33427730464768
0, 23, 34, 46, 78, 96, 108, 151, 162, 217, 225, 273 [best: 1000] 33432025432064
0, 23, 34, 46, 78, 96, 115, 129, 196, 210, 230, 291 [best: 1000] 33436320399360
0, 23, 34, 46, 78, 96, 125, 147, 148, 156, 184, 202 [best: 1000] 33440615366656
0, 23, 34, 46, 78, 96, 141, 161, 165, 199, 209, 281 [best: 1000] 33444910333952
0, 23, 34, 46, 78, 97, 100, 146, 158, 170, 204, 255 [best: 1000] 33449205301248
0, 23, 34, 46, 78, 97, 105, 122, 149, 158, 169, 203 [best: 1000] 33453500268544
0, 23, 34, 46, 78, 97, 110, 154, 155, 157, 166, 232 [best: 1000] 33457795235840
0, 23, 34, 46, 78, 97, 117, 130, 133, 166, 183, 207 [best: 1000] 33462090203136
0, 23, 34, 46, 78, 97, 126, 161, 162, 212, 216, 232 [best: 1000] 33466385170432
0, 23, 34, 46, 78, 97, 142, 145, 173, 224, 243, 268 [best: 1000] 33470680137728
0, 23, 34, 46, 78, 98, 101, 142, 148, 165, 220, 268 [best: 1000] 33474975105024
0, 23, 34, 46, 78, 98, 106, 110, 111, 113, 132, 210 [best: 1000] 33479270072320
0, 23, 34, 46, 78, 98, 111, 114, 126, 187, 229, 269 [best: 1000] 33483565039616
0, 23, 34, 46, 78, 98, 116, 138, 139, 147, 165, 217 [best: 1000] 33487860006912
0, 23, 34, 46, 78, 98, 126, 128, 164, 170, 225, 294 [best: 1000] 33492154974208
0, 23, 34, 46, 78, 98, 140, 141, 145, 203, 204, 280 [best: 1000] 33496449941504
0, 23, 34, 46, 78, 99, 101, 134, 166, 180, 251, 262 [best: 1000] 33500744908800
0, 23, 34, 46, 78, 99, 105, 111, 138, 177, 196, 227 [best: 1000] 33505039876096
0, 23, 34, 46, 78, 99, 108, 125, 131, 183, 197, 299 [best: 1000] 33509334843392
0, 23, 34, 46, 78, 99, 112, 127, 192, 194, 222, 302 [best: 1000] 33513629810688
0, 23, 34, 46, 78, 99, 116, 158, 187, 202, 233, 257 [best: 1000] 33517924777984
0, 23, 34, 46, 78, 99, 122, 124, 127, 156, 199, 258 [best: 1000] 33522219745280
0, 23, 34, 46, 78, 99, 128, 144, 155, 184, 187, 209 [best: 1000] 33526514712576
0, 23, 34, 46, 78, 99, 137, 152, 166, 173, 244, 261 [best: 1000] 33530809679872
0, 23, 34, 46, 78, 100, 102, 119, 146, 156, 190, 203 [best: 1000] 33535104647168
0, 23, 34, 46, 78, 100, 106, 118, 148, 189, 261, 270 [best: 1000] 33539399614464
0, 23, 34, 46, 78, 100, 110, 136, 138, 159, 166, 259 [best: 1000] 33543694581760
0, 23, 34, 46, 78, 100, 115, 117, 146, 165, 203, 248 [best: 1000] 33547989549056
0, 23, 34, 46, 78, 100, 122, 134, 193, 199, 240, 287 [best: 1000] 33552284516352
0, 23, 34, 46, 78, 100, 132, 145, 146, 159, 196, 218 [best: 1000] 33556579483648
0, 23, 34, 46, 78, 101, 103, 106, 114, 191, 214, 269 [best: 1000] 33560874450944
0, 23, 34, 46, 78, 101, 108, 126, 137, 189, 203, 234 [best: 1000] 33565169418240
0, 23, 34, 46, 78, 101, 115, 136, 139, 173, 221, 241 [best: 1000] 33569464385536
0, 23, 34, 46, 78, 101, 125, 165, 188, 199, 220, 282 [best: 1000] 33573759352832
0, 23, 34, 46, 78, 102, 104, 113, 115, 126, 195, 220 [best: 1000] 33578054320128
0, 23, 34, 46, 78, 102, 110, 113, 155, 176, 177, 228 [best: 1000] 33582349287424
0, 23, 34, 46, 78, 102, 116, 134, 160, 182, 210, 250 [best: 1000] 33586644254720
0, 23, 34, 46, 78, 102, 126, 142, 167, 189, 194, 199 [best: 1000] 33590939222016
0, 23, 34, 46, 78, 103, 105, 107, 132, 203, 212, 264 [best: 1000] 33595234189312
0, 23, 34, 46, 78, 103, 109, 157, 170, 180, 232, 265 [best: 1000] 33599529156608
0, 23, 34, 46, 78, 103, 115, 119, 133, 143, 183, 252 [best: 1000] 33603824123904
0, 23, 34, 46, 78, 103, 121, 157, 181, 214, 246, 253 [best: 1000] 33608119091200
0, 23, 34, 46, 78, 103, 135, 141, 143, 176, 191, 249 [best: 1000] 33612414058496
0, 23, 34, 46, 78, 104, 109, 119, 134, 148, 152, 226 [best: 1000] 33616709025792
0, 23, 34, 46, 78, 104, 127, 140, 173, 192, 212, 214 [best: 1000] 33621003993088
0, 23, 34, 46, 78, 105, 111, 121, 186, 197, 259, 309 [best: 1000] 33625298960384
0, 23, 34, 46, 78, 105, 119, 121, 126, 184, 215, 256 [best: 1000] 33629593927680
0, 23, 34, 46, 78, 105, 127, 158, 170, 184, 223, 257 [best: 1000] 33633888894976
0, 23, 34, 46, 78, 106, 107, 135, 175, 181, 244, 251 [best: 1000] 33638183862272
0, 23, 34, 46, 78, 106, 114, 136, 142, 144, 211, 270 [best: 1000] 33642478829568
0, 23, 34, 46, 78, 106, 125, 132, 159, 173, 260, 276 [best: 1000] 33646773796864
0, 23, 34, 46, 78, 107, 108, 141, 144, 151, 152, 153 [best: 1000] 33651068764160
0, 23, 34, 46, 78, 107, 115, 124, 147, 206, 220, 229 [best: 1000] 33655363731456
0, 23, 34, 46, 78, 107, 125, 149, 184, 203, 214, 237 [best: 1000] 33659658698752
0, 23, 34, 46, 78, 107, 141, 153, 155, 187, 216, 258 [best: 1000] 33663953666048
0, 23, 34, 46, 78, 108, 115, 130, 144, 218, 235, 256 [best: 1000] 33668248633344
0, 23, 34, 46, 78, 108, 127, 143, 155, 187, 269 [best: 1000] 33672543600640
0, 23, 34, 46, 78, 109, 110, 139, 141, 180, 186, 235 [best: 1000] 33676838567936
0, 23, 34, 46, 78, 109, 132, 150, 160, 168, 172, 268 [best: 1000] 33681133535232
0, 23, 34, 46, 78, 110, 118, 141, 146, 192, 226, 241 [best: 1000] 33685428502528
0, 23, 34, 46, 78, 110, 128, 130, 178, 214, 233, 249 [best: 1000] 33689723469824
0, 23, 34, 46, 78, 111, 113, 120, 126, 214, 268, 278 [best: 1000] 33694018437120
0, 23, 34, 46, 78, 111, 118, 131, 139, 142, 209, 248 [best: 1000] 33698313404416
0, 23, 34, 46, 78, 111, 125, 126, 128, 140, 228, 240 [best: 1000] 33702608371712
0, 23, 34, 46, 78, 111, 132, 164, 183, 199, 259, 271 [best: 1000] 33706903339008
0, 23, 34, 46, 78, 112, 115, 129, 189, 199, 202, 242 [best: 1000] 33711198306304
0, 23, 34, 46, 78, 112, 126, 147, 149, 224, 231, 232 [best: 1000] 33715493273600
0, 23, 34, 46, 78, 113, 118, 148, 187, 200, 230, 262 [best: 1000] 33719788240896
0, 23, 34, 46, 78, 113, 130, 131, 193, 216, 230, 281 [best: 1000] 33724083208192
0, 23, 34, 46, 78, 114, 119, 142, 153, 166, 239, 274 [best: 1000] 33728378175488
0, 23, 34, 46, 78, 114, 129, 163, 179, 182, 242, 303 [best: 1000] 33732673142784
0, 23, 34, 46, 78, 115, 119, 126, 188, 193, 197, 254 [best: 1000] 33736968110080
0, 23, 34, 46, 78, 115, 129, 167, 179, 199, 219, 252 [best: 1000] 33741263077376
0, 23, 34, 46, 79, 80, 83, 108, 124, 138, 158, 247 [best: 1000] 33745558044672
0, 23, 34, 46, 79, 80, 88, 108, 142, 155, 217, 276 [best: 1000] 33749853011968
0, 23, 34, 46, 79, 80, 93, 130, 149, 204, 217, 270 [best: 1000] 33754147979264
0, 23, 34, 46, 79, 80, 100, 115, 179, 227, 248, 259 [best: 1000] 33758442946560
0, 23, 34, 46, 79, 80, 109, 123, 142, 158, 160, 222 [best: 1000] 33762737913856
0, 23, 34, 46, 79, 80, 122, 133, 134, 159, 195, 209 [best: 1000] 33767032881152
0, 23, 34, 46, 79, 81, 86, 96, 119, 172, 183, 225 [best: 1000] 33771327848448
0, 23, 34, 46, 79, 81, 92, 94, 106, 118, 143, 244 [best: 1000] 33775622815744
0, 23, 34, 46, 79, 81, 101, 107, 115, 159, 164, 177 [best: 1000] 33779917783040
0, 23, 34, 46, 79, 81, 117, 127, 149, 185, 228, 254 [best: 1000] 33784212750336
0, 23, 34, 46, 79, 82, 88, 98, 119, 155, 183, 216 [best: 1000] 33788507717632
0, 23, 34, 46, 79, 82, 96, 122, 139, 144, 150, 182 [best: 1000] 33792802684928
0, 23, 34, 46, 79, 82, 113, 127, 148, 170, 208, 217 [best: 1000] 33797097652224
0, 23, 34, 46, 79, 83, 88, 103, 118, 153, 177, 206 [best: 1000] 33801392619520
0, 23, 34, 46, 79, 83, 97, 116, 129, 148, 186, 275 [best: 1000] 33805687586816
0, 23, 34, 46, 79, 83, 113, 116, 126, 144, 154, 200 [best: 1000] 33809982554112
0, 23, 34, 46, 79, 84, 89, 111, 132, 137, 174, 217 [best: 1000] 33814277521408
0, 23, 34, 46, 79, 84, 102, 116, 120, 186, 196, 261 [best: 1000] 33818572488704
0, 23, 34, 46, 79, 85, 87, 108, 118, 124, 213, 245 [best: 1000] 33822867456000
0, 23, 34, 46, 79, 85, 94, 108, 135, 173, 178, 233 [best: 1000] 33827162423296
0, 23, 34, 46, 79, 85, 106, 124, 137, 171, 193, 209 [best: 1000] 33831457390592
0, 23, 34, 46, 79, 86, 87, 98, 106, 114, 200, 201 [best: 1000] 33835752357888
0, 23, 34, 46, 79, 86, 92, 108, 164, 176, 223, 281 [best: 1000] 33840047325184
0, 23, 34, 46, 79, 86, 99, 136, 159, 182, 211, 214 [best: 1000] 33844342292480
0, 23, 34, 46, 79, 86, 110, 119, 151, 170, 171, 212 [best: 1000] 33848637259776
0, 23, 34, 46, 79, 86, 133, 138, 171, 173, 201, 204 [best: 1000] 33852932227072
0, 23, 34, 46, 79, 87, 94, 108, 129, 148, 224, 258 [best: 1000] 33857227194368
0, 23, 34, 46, 79, 87, 105, 136, 142, 159, 172, 235 [best: 1000] 33861522161664
0, 23, 34, 46, 79, 87, 127, 143, 150, 157, 201, 209 [best: 1000] 33865817128960
0, 23, 34, 46, 79, 88, 92, 114, 132, 142, 210, 258 [best: 1000] 33870112096256
0, 23, 34, 46, 79, 88, 96, 127, 149, 159, 166, 250 [best: 1000] 33874407063552
0, 23, 34, 46, 79, 88, 102, 109, 112, 148, 149, 241 [best: 1000] 33878702030848
0, 23, 34, 46, 79, 88, 108, 132, 138, 175, 242, 256 [best: 1000] 33882996998144
0, 23, 34, 46, 79, 88, 115, 134, 170, 177, 200, 236 [best: 1000] 33887291965440
0, 23, 34, 46, 79, 88, 125, 141, 168, 211, 228, 234 [best: 1000] 33891586932736
0, 23, 34, 46, 79, 89, 91, 141, 159, 169, 185, 242 [best: 1000] 33895881900032
0, 23, 34, 46, 79, 89, 98, 125, 151, 173, 203, 234 [best: 1000] 33900176867328
0, 23, 34, 46, 79, 89, 107, 109, 115, 147, 149, 219 [best: 1000] 33904471834624
0, 23, 34, 46, 79, 89, 121, 129, 157, 181, 225, 252 [best: 1000] 33908766801920
0, 23, 34, 46, 79, 90, 95, 137, 149, 178, 187, 237 [best: 1000] 33913061769216
0, 23, 34, 46, 79, 90, 115, 130, 135, 153, 169, 249 [best: 1000] 33917356736512
0, 23, 34, 46, 79, 91, 97, 100, 151, 177, 209, 230 [best: 1000] 33921651703808
0, 23, 34, 46, 79, 91, 105, 115, 131, 132, 197, 239 [best: 1000] 33925946671104
0, 23, 34, 46, 79, 91, 115, 119, 135, 192, 236, 255 [best: 1000] 33930241638400
0, 23, 34, 46, 79, 91, 127, 135, 173, 206, 226, 266 [best: 1000] 33934536605696
0, 23, 34, 46, 79, 92, 99, 107, 110, 172, 204, 220 [best: 1000] 33938831572992
0, 23, 34, 46, 79, 92, 110, 114, 149, 151, 196, 270 [best: 1000] 33943126540288
0, 23, 34, 46, 79, 93, 94, 104, 139, 182, 202, 204 [best: 1000] 33947421507584
0, 23, 34, 46, 79, 93, 107, 120, 139, 166, 189, 205 [best: 1000] 33951716474880
0, 23, 34, 46, 79, 94, 95, 141, 153, 177, 187, 217 [best: 1000] 33956011442176
0, 23, 34, 46, 79, 94, 104, 118, 142, 151, 161, 284 [best: 1000] 33960306409472
0, 23, 34, 46, 79, 94, 115, 118, 138, 142, 149, 242 [best: 1000] 33964601376768
0, 23, 34, 46, 79, 94, 129, 132, 136, 219, 226, 290 [best: 1000] 33968896344064
0, 23, 34, 46, 79, 95, 104, 126, 151, 154, 214, 231 [best: 1000] 33973191311360
0, 23, 34, 46, 79, 95, 119, 124, 130, 131, 138, 170 [best: 1000] 33977486278656
0, 23, 34, 46, 79, 96, 112, 123, 127, 146, 147, 235 [best: 1000] 33981781245952
0, 23, 34, 46, 79, 97, 115, 118, 140, 173, 178, 224 [best: 1000] 33986076213248
0, 23, 34, 46, 79, 98, 109, 143, 145, 160, 184, 233 [best: 1000] 33990371180544
0, 23, 34, 46, 79, 99, 103, 118, 129, 145, 168, 248 [best: 1000] 33994666147840
0, 23, 34, 46, 79, 99, 110, 114, 189, 201, 232, 237 [best: 1000] 33998961115136
0, 23, 34, 46, 79, 99, 116, 132, 168, 196, 203, 226 [best: 1000] 34003256082432
0, 23, 34, 46, 79, 99, 124, 133, 141, 149, 168, 234 [best: 1000] 34007551049728
0, 23, 34, 46, 79, 100, 103, 130, 153, 165, 166, 234 [best: 1000] 34011846017024
0, 23, 34, 46, 79, 100, 114, 148, 155, 186, 227, 229, 284 [best: 1000] 34016140984320
0, 23, 34, 46, 79, 101, 109, 113, 138, 161, 198, 211 [best: 1000] 34020435951616
0, 23, 34, 46, 79, 102, 123, 127, 128, 149, 220, 231 [best: 1000] 34024730918912
0, 23, 34, 46, 79, 103, 120, 134, 160, 163, 170, 207 [best: 1000] 34029025886208
0, 23, 34, 46, 79, 104, 117, 152, 164, 173, 175, 207 [best: 1000] 34033320853504
0, 23, 34, 46, 79, 105, 114, 119, 143, 160, 171, 190 [best: 1000] 34037615820800
0, 23, 34, 46, 79, 106, 116, 120, 151, 220, 247, 266 [best: 1000] 34041910788096
0, 23, 34, 46, 79, 107, 112, 138, 177, 190, 217, 223 [best: 1000] 34046205755392
0, 23, 34, 46, 79, 108, 109, 114, 143, 198, 204, 212 [best: 1000] 34050500722688
0, 23, 34, 46, 79, 108, 127, 129, 173, 210, 223, 270 [best: 1000] 34054795689984
0, 23, 34, 46, 79, 109, 117, 140, 153, 175, 218, 258 [best: 1000] 34059090657280
0, 23, 34, 46, 79, 109, 130, 152, 175, 192, 222, 260 [best: 1000] 34063385624576
0, 23, 34, 46, 80, 81, 86, 93, 149, 157, 180, 207 [best: 1000] 34067680591872
0, 23, 34, 46, 80, 81, 91, 92, 106, 111, 167, 185 [best: 1000] 34071975559168
0, 23, 34, 46, 80, 81, 96, 109, 175, 195, 214, 225 [best: 1000] 34076270526464
0, 23, 34, 46, 80, 81, 103, 137, 139, 142, 156, 219 [best: 1000] 34080565493760
0, 23, 34, 46, 80, 81, 115, 123, 138, 206, 233, 237 [best: 1000] 34084860461056
0, 23, 34, 46, 80, 82, 83, 103, 112, 150, 190, 207 [best: 1000] 34089155428352
0, 23, 34, 46, 80, 82, 90, 103, 115, 138, 174, 194 [best: 1000] 34093450395648
0, 23, 34, 46, 80, 82, 99, 101, 142, 175, 240, 262 [best: 1000] 34097745362944
0, 23, 34, 46, 80, 82, 112, 133, 161, 198, 228, 258 [best: 1000] 34102040330240
0, 23, 34, 46, 80, 83, 86, 96, 121, 141, 179, 269 [best: 1000] 34106335297536
0, 23, 34, 46, 80, 83, 91, 121, 150, 220, 242, 281 [best: 1000] 34110630264832
0, 23, 34, 46, 80, 83, 98, 100, 119, 189, 213, 266 [best: 1000] 34114925232128
0, 23, 34, 46, 80, 83, 106, 126, 192, 202, 219, 267 [best: 1000] 34119220199424
0, 23, 34, 46, 80, 83, 121, 122, 144, 160, 213, 271 [best: 1000] 34123515166720
0, 23, 34, 46, 80, 84, 88, 91, 100, 153, 161, 165 [best: 1000] 34127810134016
0, 23, 34, 46, 80, 84, 94, 99, 149, 162, 167, 244 [best: 1000] 34132105101312
0, 23, 34, 46, 80, 84, 101, 130, 161, 190, 213, 255 [best: 1000] 34136400068608
0, 23, 34, 46, 80, 84, 117, 130, 151, 161, 208, 221 [best: 1000] 34140695035904
0, 23, 34, 46, 80, 85, 88, 136, 172, 206, 244, 266 [best: 1000] 34144990003200
0, 23, 34, 46, 80, 85, 94, 118, 135, 136, 165, 205 [best: 1000] 34149284970496
0, 23, 34, 46, 80, 85, 101, 125, 136, 140, 222, 278 [best: 1000] 34153579937792
0, 23, 34, 46, 80, 85, 114, 124, 127, 147, 193, 227 [best: 1000] 34157874905088
0, 23, 34, 46, 80, 86, 88, 90, 101, 126, 241, 269 [best: 1000] 34162169872384
0, 23, 34, 46, 80, 86, 92, 147, 195, 210, 245, 250 [best: 1000] 34166464839680
0, 23, 34, 46, 80, 86, 99, 132, 141, 148, 164, 188 [best: 1000] 34170759806976
0, 23, 34, 46, 80, 86, 108, 120, 145, 162, 225, 252 [best: 1000] 34175054774272
0, 23, 34, 46, 80, 86, 126, 140, 162, 167, 170, 234 [best: 1000] 34179349741568
0, 23, 34, 46, 80, 87, 91, 129, 145, 146, 161, 179 [best: 1000] 34183644708864
0, 23, 34, 46, 80, 87, 99, 138, 149, 192, 213, 238 [best: 1000] 34187939676160
0, 23, 34, 46, 80, 87, 112, 113, 127, 152, 227, 256 [best: 1000] 34192234643456
0, 23, 34, 46, 80, 88, 90, 101, 127, 194, 215, 222 [best: 1000] 34196529610752
0, 23, 34, 46, 80, 88, 94, 110, 130, 171, 224, 238 [best: 1000] 34200824578048
0, 23, 34, 46, 80, 88, 99, 152, 176, 198, 240, 299 [best: 1000] 34205119545344
0, 23, 34, 46, 80, 88, 106, 125, 134, 150, 176, 200 [best: 1000] 34209414512640
0, 23, 34, 46, 80, 88, 115, 126, 142, 163, 219, 240 [best: 1000] 34213709479936
0, 23, 34, 46, 80, 88, 126, 139, 148, 187, 211, 217 [best: 1000] 34218004447232
0, 23, 34, 46, 80, 89, 93, 123, 162, 207, 232, 255 [best: 1000] 34222299414528
0, 23, 34, 46, 80, 89, 106, 122, 125, 182, 207, 237 [best: 1000] 34226594381824
0, 23, 34, 46, 80, 90, 91, 138, 143, 192, 222, 251 [best: 1000] 34230889349120
0, 23, 34, 46, 80, 90, 99, 122, 126, 134, 138, 144 [best: 1000] 34235184316416
0, 23, 34, 46, 80, 90, 109, 142, 148, 201, 216, 283 [best: 1000] 34239479283712
0, 23, 34, 46, 80, 90, 125, 156, 159, 172, 233, 239 [best: 1000] 34243774251008
0, 23, 34, 46, 80, 91, 97, 112, 138, 141, 153 [best: 1000] 34248069218304
0, 23, 34, 46, 80, 91, 106, 137, 145, 161, 172, 215 [best: 1000] 34252364185600
0, 23, 34, 46, 80, 91, 120, 131, 134, 211, 219, 239 [best: 1000] 34256659152896
0, 23, 34, 46, 80, 92, 94, 126, 129, 147, 218, 236 [best: 1000] 34260954120192
0, 23, 34, 46, 80, 92, 101, 108, 125, 138, 159, 223 [best: 1000] 34265249087488
0, 23, 34, 46, 80, 92, 111, 112, 130, 218, 221, 261 [best: 1000] 34269544054784
0, 23, 34, 46, 80, 92, 123, 136, 143, 171, 250, 261 [best: 1000] 34273839022080
0, 23, 34, 46, 80, 93, 96, 109, 135, 152, 165, 192 [best: 1000] 34278133989376
0, 23, 34, 46, 80, 93, 106, 128, 148, 168, 201, 222 [best: 1000] 34282428956672
0, 23, 34, 46, 80, 93, 123, 127, 145, 173, 175, 233 [best: 1000] 34286723923968
0, 23, 34, 46, 80, 94, 100, 107, 128, 134, 154, 205 [best: 1000] 34291018891264
0, 23, 34, 46, 80, 94, 110, 137, 157, 158, 172, 198 [best: 1000] 34295313858560
0, 23, 34, 46, 80, 94, 128, 131, 143, 158, 170, 276 [best: 1000] 34299608825856
0, 23, 34, 46, 80, 95, 100, 138, 177, 237, 260, 290 [best: 1000] 34303903793152
0, 23, 34, 46, 80, 95, 109, 133, 162, 164, 169, 174 [best: 1000] 34308198760448
0, 23, 34, 46, 80, 95, 121, 143, 148, 169, 193, 217 [best: 1000] 34312493727744
0, 23, 34, 46, 80, 96, 98, 125, 138, 148, 151, 210 [best: 1000] 34316788695040
0, 23, 34, 46, 80, 96, 121, 141, 156, 165, 178, 182 [best: 1000] 34321083662336
0, 23, 34, 46, 80, 97, 112, 118, 126, 145, 151, 153 [best: 1000] 34325378629632
0, 23, 34, 46, 80, 98, 105, 109, 149, 164, 168, 215 [best: 1000] 34329673596928
0, 23, 34, 46, 80, 99, 100, 153, 155, 162, 207, 258 [best: 1000] 34333968564224
0, 23, 34, 46, 80, 99, 109, 150, 178, 190, 213, 243 [best: 1000] 34338263531520
0, 23, 34, 46, 80, 99, 121, 161, 169, 204, 256, 303 [best: 1000] 34342558498816
0, 23, 34, 46, 80, 100, 104, 106, 119, 133, 149, 217 [best: 1000] 34346853466112
0, 23, 34, 46, 80, 100, 112, 129, 160, 164, 205, 234 [best: 1000] 34351148433408
0, 23, 34, 46, 80, 100, 122, 133, 190, 198, 252, 294 [best: 1000] 34355443400704
0, 23, 34, 46, 80, 100, 137, 142, 155, 166, 176, 236 [best: 1000] 34359738368000
0, 23, 34, 46, 80, 101, 109, 116, 150, 167, 177, 199 [best: 1000] 34364033335296
0, 23, 34, 46, 80, 101, 117, 122, 132, 171, 239, 253 [best: 1000] 34368328302592
0, 23, 34, 46, 80, 101, 127, 148, 151, 158, 167, 248 [best: 1000] 34372623269888
0, 23, 34, 46, 80, 102, 109, 113, 116, 129, 163, 206 [best: 1000] 34376918237184
0, 23, 34, 46, 80, 103, 115, 141, 149, 161, 179, 226 [best: 1000] 34381213204480
0, 23, 34, 46, 80, 104, 119, 127, 146, 185, 191, 224 [best: 1000] 34385508171776
0, 23, 34, 46, 80, 106, 108, 142, 147, 185, 218, 242 [best: 1000] 34389803139072
0, 23, 34, 46, 80, 106, 124, 153, 154, 181, 236, 241 [best: 1000] 34394098106368
0, 23, 34, 46, 80, 107, 118, 128, 165, 174, 201, 241 [best: 1000] 34398393073664
0, 23, 34, 46, 80, 108, 115, 135, 138, 167, 194, 200 [best: 1000] 34402688040960
0, 23, 34, 46, 80, 109, 112, 124, 132, 175, 203, 238 [best: 1000] 34406983008256
0, 23, 34, 46, 80, 109, 126, 143, 152, 155, 258, 298 [best: 1000] 34411277975552
0, 23, 34, 46, 80, 111, 115, 143, 177, 194, 205, 237 [best: 1000] 34415572942848
0, 23, 34, 46, 80, 111, 134, 135, 139, 167, 205, 230 [best: 1000] 34419867910144
0, 23, 34, 46, 80, 112, 126, 140, 164, 188, 238, 257 [best: 1000] 34424162877440
0, 23, 34, 46, 81, 82, 85, 88, 100, 122, 133, 236 [best: 1000] 34428457844736
0, 23, 34, 46, 81, 82, 92, 113, 148, 163, 170, 223 [best: 1000] 34432752812032
0, 23, 34, 46, 81, 82, 103, 120, 142, 192, 226, 237 [best: 1000] 34437047779328
0, 23, 34, 46, 81, 83, 84, 95, 102, 172, 225, 230 [best: 1000] 34441342746624
0, 23, 34, 46, 81, 83, 90, 110, 115, 187, 217, 229 [best: 1000] 34445637713920
0, 23, 34, 46, 81, 83, 98, 124, 152, 204, 209, 258 [best: 1000] 34449932681216
0, 23, 34, 46, 81, 83, 110, 124, 164, 171, 210, 220 [best: 1000] 34454227648512
0, 23, 34, 46, 81, 84, 86, 103, 118, 145, 146, 158 [best: 1000] 34458522615808
0, 23, 34, 46, 81, 84, 94, 113, 144, 153, 214, 232 [best: 1000] 34462817583104
0, 23, 34, 46, 81, 84, 106, 109, 111, 131, 164, 172 [best: 1000] 34467112550400
0, 23, 34, 46, 81, 85, 87, 95, 97, 124, 151, 195 [best: 1000] 34471407517696
0, 23, 34, 46, 81, 85, 93, 137, 138, 189, 204, 206 [best: 1000] 34475702484992
0, 23, 34, 46, 81, 85, 104, 109, 147, 160, 186, 218 [best: 1000] 34479997452288
0, 23, 34, 46, 81, 85, 127, 134, 142, 159, 167, 194 [best: 1000] 34484292419584
0, 23, 34, 46, 81, 86, 91, 118, 119, 201, 234, 241 [best: 1000] 34488587386880
0, 23, 34, 46, 81, 86, 98, 110, 148, 167, 202, 209 [best: 1000] 34492882354176
0, 23, 34, 46, 81, 86, 108, 141, 165, 187, 199, 251 [best: 1000] 34497177321472
0, 23, 34, 46, 81, 86, 127, 158, 159, 192, 214, 251 [best: 1000] 34501472288768
0, 23, 34, 46, 81, 87, 92, 153, 175, 191, 228, 252 [best: 1000] 34505767256064
0, 23, 34, 46, 81, 87, 101, 116, 139, 149, 172, 217 [best: 1000] 34510062223360
0, 23, 34, 46, 81, 87, 119, 148, 164, 193, 221, 236 [best: 1000] 34514357190656
0, 23, 34, 46, 81, 88, 91, 105, 111, 120, 197, 284 [best: 1000] 34518652157952
0, 23, 34, 46, 81, 88, 95, 110, 126, 157, 234, 245 [best: 1000] 34522947125248
0, 23, 34, 46, 81, 88, 99, 126, 166, 190, 230, 300 [best: 1000] 34527242092544
0, 23, 34, 46, 81, 88, 106, 111, 116, 196, 199, 209 [best: 1000] 34531537059840
0, 23, 34, 46, 81, 88, 114, 118, 141, 160, 175, 209 [best: 1000] 34535832027136
0, 23, 34, 46, 81, 88, 123, 127, 128, 192, 244, 292 [best: 1000] 34540126994432
0, 23, 34, 46, 81, 89, 90, 138, 143, 151, 204, 220 [best: 1000] 34544421961728
0, 23, 34, 46, 81, 89, 97, 99, 166, 205, 236, 263 [best: 1000] 34548716929024
0, 23, 34, 46, 81, 89, 105, 110, 130, 190, 219, 223 [best: 1000] 34553011896320
0, 23, 34, 46, 81, 89, 118, 132, 171, 185, 242, 246, 261 [best: 1000] 34557306863616
0, 23, 34, 46, 81, 90, 94, 132, 149, 158, 207, 223 [best: 1000] 34561601830912
0, 23, 34, 46, 81, 90, 106, 112, 133, 171, 178, 207 [best: 1000] 34565896798208
0, 23, 34, 46, 81, 91, 92, 107, 131, 154, 179, 204 [best: 1000] 34570191765504
0, 23, 34, 46, 81, 91, 102, 124, 134, 206, 236, 272 [best: 1000] 34574486732800
0, 23, 34, 46, 81, 91, 120, 135, 168, 175, 199, 213 [best: 1000] 34578781700096
0, 23, 34, 46, 81, 92, 98, 129, 168, 197, 222, 258 [best: 1000] 34583076667392
0, 23, 34, 46, 81, 92, 109, 111, 172, 191, 231, 244 [best: 1000] 34587371634688
0, 23, 34, 46, 81, 92, 121, 133, 146, 148, 211, 230, 276 [best: 1000] 34591666601984
0, 23, 34, 46, 81, 93, 98, 145, 148, 168, 193, 220 [best: 1000] 34595961569280
0, 23, 34, 46, 81, 93, 115, 132, 144, 166, 200, 203 [best: 1000] 34600256536576
0, 23, 34, 46, 81, 94, 99, 134, 146, 205, 227, 246 [best: 1000] 34604551503872
0, 23, 34, 46, 81, 94, 117, 145, 149, 165, 177, 188 [best: 1000] 34608846471168
0, 23, 34, 46, 81, 95, 99, 155, 156, 177, 232, 258 [best: 1000] 34613141438464
0, 23, 34, 46, 81, 95, 111, 112, 120, 126, 155, 172 [best: 1000] 34617436405760
0, 23, 34, 46, 81, 95, 123, 137, 146, 152, 186, 228 [best: 1000] 34621731373056
0, 23, 34, 46, 81, 96, 103, 137, 149, 153, 167, 171 [best: 1000] 34626026340352
0, 23, 34, 46, 81, 97, 99, 108, 135, 189, 201 [best: 1000] 34630321307648
0, 23, 34, 46, 81, 97, 112, 114, 126, 194, 217, 263 [best: 1000] 34634616274944
0, 23, 34, 46, 81, 98, 99, 133, 153, 167, 183, 251 [best: 1000] 34638911242240
0, 23, 34, 46, 81, 98, 113, 133, 144, 146, 167, 170 [best: 1000] 34643206209536
0, 23, 34, 46, 81, 99, 102, 112, 135, 145, 156, 277 [best: 1000] 34647501176832
0, 23, 34, 46, 81, 99, 109, 113, 127, 150, 165, 248 [best: 1000] 34651796144128
0, 23, 34, 46, 81, 99, 116, 120, 139, 142, 219, 263 [best: 1000] 34656091111424
0, 23, 34, 46, 81, 99, 123, 125, 164, 177, 243, 266 [best: 1000] 34660386078720
0, 23, 34, 46, 81, 99, 137, 160, 171, 194, 229, 278 [best: 1000] 34664681046016
0, 23, 34, 46, 81, 101, 109, 142, 183, 201, 203, 225 [best: 1000] 34668976013312
0, 23, 34, 46, 81, 102, 112, 146, 147, 148, 171, 223 [best: 1000] 34673270980608
0, 23, 34, 46, 81, 103, 112, 137, 158, 176, 183, 239 [best: 1000] 34677565947904
0, 23, 34, 46, 81, 104, 115, 142, 143, 148, 203, 237 [best: 1000] 34681860915200
0, 23, 34, 46, 81, 105, 109, 154, 171, 181, 213, 231 [best: 1000] 34686155882496
0, 23, 34, 46, 81, 105, 124, 126, 153, 157, 235, 265 [best: 1000] 34690450849792
0, 23, 34, 46, 81, 107, 113, 140, 159, 167, 178, 235 [best: 1000] 34694745817088
0, 23, 34, 46, 81, 108, 119, 120, 179, 181, 192, 245 [best: 1000] 34699040784384
0, 23, 34, 46, 81, 109, 116, 138, 155, 171, 177, 218 [best: 1000] 34703335751680
0, 23, 34, 46, 81, 109, 128, 149, 158, 159, 178, 231 [best: 1000] 34707630718976
0, 23, 34, 46, 82, 83, 87, 98, 107, 166, 171, 183 [best: 1000] 34711925686272
0, 23, 34, 46, 82, 83, 99, 134, 170, 174, 219, 276 [best: 1000] 34716220653568
0, 23, 34, 46, 82, 84, 86, 94, 115, 158, 185, 223 [best: 1000] 34720515620864
0, 23, 34, 46, 82, 84, 99, 101, 120, 121, 144, 175 [best: 1000] 34724810588160
0, 23, 34, 46, 82, 85, 86, 98, 99, 129, 131, 217 [best: 1000] 34729105555456
0, 23, 34, 46, 82, 85, 98, 99, 131, 182, 203, 209 [best: 1000] 34733400522752
0, 23, 34, 46, 82, 85, 119, 126, 153, 185, 213, 238 [best: 1000] 34737695490048
0, 23, 34, 46, 82, 86, 94, 105, 118, 195, 198, 199 [best: 1000] 34741990457344
0, 23, 34, 46, 82, 86, 102, 114, 122, 123, 126, 191 [best: 1000] 34746285424640
0, 23, 34, 46, 82, 86, 120, 122, 145, 179, 242, 255 [best: 1000] 34750580391936
0, 23, 34, 46, 82, 87, 96, 111, 130, 143, 183, 194 [best: 1000] 34754875359232
0, 23, 34, 46, 82, 87, 114, 139, 177, 188, 204, 224, 252 [best: 1000] 34759170326528
0, 23, 34, 46, 82, 88, 93, 111, 112, 127, 167, 218 [best: 1000] 34763465293824
0, 23, 34, 46, 82, 88, 99, 117, 122, 139, 153, 241 [best: 1000] 34767760261120
0, 23, 34, 46, 82, 88, 107, 116, 127, 133, 172, 173 [best: 1000] 34772055228416
0, 23, 34, 46, 82, 88, 117, 120, 135, 137, 141, 150 [best: 1000] 34776350195712
0, 23, 34, 46, 82, 89, 92, 116, 134, 142, 173, 187 [best: 1000] 34780645163008
0, 23, 34, 46, 82, 89, 101, 104, 116, 134, 173, 220 [best: 1000] 34784940130304
0, 23, 34, 46, 82, 89, 118, 135, 146, 166, 187, 249 [best: 1000] 34789235097600
0, 23, 34, 46, 82, 90, 102, 124, 144, 148, 184, 212 [best: 1000] 34793530064896
0, 23, 34, 46, 82, 91, 101, 108, 112, 122, 205, 227 [best: 1000] 34797825032192
0, 23, 34, 46, 82, 92, 99, 128, 137, 148, 185, 267 [best: 1000] 34802119999488
0, 23, 34, 46, 82, 93, 98, 103, 123, 138, 144, 235 [best: 1000] 34806414966784
0, 23, 34, 46, 82, 93, 118, 130, 131, 139, 193, 204 [best: 1000] 34810709934080
0, 23, 34, 46, 82, 94, 108, 115, 124, 159, 182, 238 [best: 1000] 34815004901376
0, 23, 34, 46, 82, 95, 105, 106, 148, 162, 169, 246 [best: 1000] 34819299868672
0, 23, 34, 46, 82, 96, 100, 116, 118, 189, 223, 267 [best: 1000] 34823594835968
0, 23, 34, 46, 82, 96, 111, 121, 151, 159, 198, 235 [best: 1000] 34827889803264
0, 23, 34, 46, 82, 96, 126, 137, 154, 165, 233, 276 [best: 1000] 34832184770560
0, 23, 34, 46, 82, 97, 105, 121, 132, 161, 184, 219 [best: 1000] 34836479737856
0, 23, 34, 46, 82, 98, 99, 118, 148, 160, 225, 249 [best: 1000] 34840774705152
0, 23, 34, 46, 82, 98, 112, 116, 166, 176, 207, 263 [best: 1000] 34845069672448
0, 23, 34, 46, 82, 99, 103, 110, 116, 178, 220, 269 [best: 1000] 34849364639744
0, 23, 34, 46, 82, 99, 109, 124, 131, 188, 219, 239, 256 [best: 1000] 34853659607040
0, 23, 34, 46, 82, 99, 116, 123, 161, 206, 238, 286 [best: 1000] 34857954574336
0, 23, 34, 46, 82, 99, 126, 133, 166, 194, 218, 226 [best: 1000] 34862249541632
0, 23, 34, 46, 82, 100, 109, 111, 148, 153, 172, 213 [best: 1000] 34866544508928
0, 23, 34, 46, 82, 101, 103, 147, 160, 184, 197, 269 [best: 1000] 34870839476224
0, 23, 34, 46, 82, 101, 115, 134, 188, 189, 198, 257 [best: 1000] 34875134443520
0, 23, 34, 46, 82, 102, 108, 129, 141, 171, 196, 227 [best: 1000] 34879429410816
0, 23, 34, 46, 82, 103, 109, 141, 152, 209, 233, 268 [best: 1000] 34883724378112
0, 23, 34, 46, 82, 103, 121, 123, 128, 204, 218, 221 [best: 1000] 34888019345408
0, 23, 34, 46, 82, 104, 115, 128, 149, 160, 183, 277 [best: 1000] 34892314312704
0, 23, 34, 46, 82, 105, 124, 137, 153, 167, 180, 263 [best: 1000] 34896609280000
0, 23, 34, 46, 83, 84, 94, 110, 113, 184, 203, 252 [best: 1000] 34900904247296
0, 23, 34, 46, 83, 84, 112, 125, 148, 169, 174, 175 [best: 1000] 34905199214592
0, 23, 34, 46, 83, 85, 92, 112, 123, 138, 179, 264 [best: 1000] 34909494181888
0, 23, 34, 46, 83, 85, 102, 146, 148, 179, 198, 234 [best: 1000] 34913789149184
0, 23, 34, 46, 83, 86, 87, 120, 127, 189, 229, 244 [best: 1000] 34918084116480
0, 23, 34, 46, 83, 86, 94, 98, 113, 153, 159, 179 [best: 1000] 34922379083776
0, 23, 34, 46, 83, 86, 100, 129, 138, 155, 208, 249 [best: 1000] 34926674051072
0, 23, 34, 46, 83, 86, 116, 139, 141, 146, 158, 216 [best: 1000] 34930969018368
0, 23, 34, 46, 83, 87, 90, 106, 165, 179, 236, 268 [best: 1000] 34935263985664
0, 23, 34, 46, 83, 87, 100, 102, 131, 193, 203, 210 [best: 1000] 34939558952960
0, 23, 34, 46, 83, 87, 125, 132, 157, 168, 232, 255 [best: 1000] 34943853920256
0, 23, 34, 46, 83, 88, 93, 129, 144, 145, 206, 217 [best: 1000] 34948148887552
0, 23, 34, 46, 83, 88, 98, 122, 170, 188, 238 [best: 1000] 34952443854848
0, 23, 34, 46, 83, 88, 107, 108, 125, 152, 243, 247 [best: 1000] 34956738822144
0, 23, 34, 46, 83, 88, 115, 125, 165, 188, 195, 203 [best: 1000] 34961033789440
0, 23, 34, 46, 83, 88, 130, 140, 181, 205, 208, 258 [best: 1000] 34965328756736
0, 23, 34, 46, 83, 89, 96, 108, 112, 138, 139, 144 [best: 1000] 34969623724032
0, 23, 34, 46, 83, 89, 104, 152, 156, 172, 186, 247 [best: 1000] 34973918691328
0, 23, 34, 46, 83, 89, 121, 125, 165, 208, 225, 258 [best: 1000] 34978213658624
0, 23, 34, 46, 83, 90, 96, 106, 148, 163, 203, 248 [best: 1000] 34982508625920
0, 23, 34, 46, 83, 90, 104, 127, 144, 160, 168, 209 [best: 1000] 34986803593216
0, 23, 34, 46, 83, 90, 118, 135, 151, 159, 216, 258 [best: 1000] 34991098560512
0, 23, 34, 46, 83, 91, 97, 122, 159, 192, 216, 264 [best: 1000] 34995393527808
0, 23, 34, 46, 83, 92, 93, 155, 160, 184, 230, 246 [best: 1000] 34999688495104
0, 23, 34, 46, 83, 92, 100, 119, 123, 130, 133, 222 [best: 1000] 35003983462400
0, 23, 34, 46, 83, 92, 114, 136, 150, 178, 189, 265 [best: 1000] 35008278429696
0, 23, 34, 46, 83, 93, 94, 100, 113, 203, 234, 275 [best: 1000] 35012573396992
0, 23, 34, 46, 83, 93, 104, 116, 118, 174, 226, 250 [best: 1000] 35016868364288
0, 23, 34, 46, 83, 93, 122, 153, 156, 165, 215, 271 [best: 1000] 35021163331584
0, 23, 34, 46, 83, 94, 102, 119, 146, 152, 154, 265 [best: 1000] 35025458298880
0, 23, 34, 46, 83, 94, 116, 126, 159, 177, 190, 241 [best: 1000] 35029753266176
0, 23, 34, 46, 83, 95, 97, 142, 147, 154, 164, 214 [best: 1000] 35034048233472
0, 23, 34, 46, 83, 95, 112, 114, 153, 177, 185, 208 [best: 1000] 35038343200768
0, 23, 34, 46, 83, 96, 99, 107, 140, 167, 206, 224 [best: 1000] 35042638168064
0, 23, 34, 46, 83, 96, 110, 115, 148, 157, 164, 219 [best: 1000] 35046933135360
0, 23, 34, 46, 83, 97, 98, 116, 175, 185, 277, 304 [best: 1000] 35051228102656
0, 23, 34, 46, 83, 97, 104, 112, 123, 127, 202, 206 [best: 1000] 35055523069952
0, 23, 34, 46, 83, 97, 109, 120, 122, 150, 151, 239 [best: 1000] 35059818037248
0, 23, 34, 46, 83, 97, 114, 146, 151, 167, 231, 236 [best: 1000] 35064113004544
0, 23, 34, 46, 83, 97, 120, 140, 188, 203, 265, 298 [best: 1000] 35068407971840
0, 23, 34, 46, 83, 97, 133, 157, 175, 178, 218, 223 [best: 1000] 35072702939136
0, 23, 34, 46, 83, 98, 107, 133, 142, 143, 216, 251 [best: 1000] 35076997906432
0, 23, 34, 46, 83, 98, 124, 131, 134, 145, 203, 246 [best: 1000] 35081292873728
0, 23, 34, 46, 83, 99, 119, 133, 135, 141, 165, 208 [best: 1000] 35085587841024
0, 23, 34, 46, 83, 100, 121, 125, 129, 143, 155, 190 [best: 1000] 35089882808320
0, 23, 34, 46, 83, 102, 106, 146, 152, 184, 221, 237 [best: 1000] 35094177775616
0, 23, 34, 46, 83, 102, 128, 133, 156, 187, 198, 210 [best: 1000] 35098472742912
0, 23, 34, 46, 83, 104, 108, 110, 143, 176, 191, 299 [best: 1000] 35102767710208
0, 23, 34, 46, 83, 104, 115, 155, 168, 176, 194, 226 [best: 1000] 35107062677504
0, 23, 34, 46, 83, 104, 129, 146, 192, 207, 220, 233 [best: 1000] 35111357644800
0, 23, 34, 46, 83, 106, 107, 149, 163, 193, 235, 238 [best: 1000] 35115652612096
0, 23, 34, 46, 83, 106, 130, 150, 163, 178, 201, 213 [best: 1000] 35119947579392
0, 23, 34, 46, 84, 85, 94, 138, 147, 159, 182, 203 [best: 1000] 35124242546688
0, 23, 34, 46, 84, 85, 114, 140, 145, 179, 182, 205 [best: 1000] 35128537513984
0, 23, 34, 46, 84, 86, 91, 135, 136, 149, 233 [best: 1000] 35132832481280
0, 23, 34, 46, 84, 86, 100, 104, 147, 156, 225, 239 [best: 1000] 35137127448576
0, 23, 34, 46, 84, 86, 119, 120, 147, 149, 195, 232 [best: 1000] 35141422415872
0, 23, 34, 46, 84, 87, 94, 98, 108, 145, 150, 154 [best: 1000] 35145717383168
0, 23, 34, 46, 84, 87, 115, 117, 144, 177, 203, 220 [best: 1000] 35150012350464
0, 23, 34, 46, 84, 88, 92, 140, 142, 182, 189, 251 [best: 1000] 35154307317760
0, 23, 34, 46, 84, 88, 98, 136, 147, 171, 205, 209 [best: 1000] 35158602285056
0, 23, 34, 46, 84, 88, 107, 122, 178, 184, 232, 254 [best: 1000] 35162897252352
0, 23, 34, 46, 84, 88, 117, 126, 168, 193, 202, 210 [best: 1000] 35167192219648
0, 23, 34, 46, 84, 89, 92, 103, 160, 165, 175, 206 [best: 1000] 35171487186944
0, 23, 34, 46, 84, 89, 99, 150, 159, 204, 209, 231 [best: 1000] 35175782154240
0, 23, 34, 46, 84, 89, 116, 136, 137, 157, 207, 222 [best: 1000] 35180077121536
0, 23, 34, 46, 84, 90, 98, 125, 142, 199, 227, 242 [best: 1000] 35184372088832
0, 23, 34, 46, 84, 91, 94, 105, 133, 145, 168, 225 [best: 1000] 35188667056128
0, 23, 34, 46, 84, 91, 114, 131, 164, 180, 181, 203 [best: 1000] 35192962023424
0, 23, 34, 46, 84, 92, 99, 114, 122, 164, 224, 250 [best: 1000] 35197256990720
0, 23, 34, 46, 84, 92, 110, 127, 137, 168, 185, 249 [best: 1000] 35201551958016
0, 23, 34, 46, 84, 92, 124, 126, 178, 208, 241, 262 [best: 1000] 35205846925312
0, 23, 34, 46, 84, 93, 99, 113, 120, 169, 185, 188 [best: 1000] 35210141892608
0, 23, 34, 46, 84, 93, 111, 136, 145, 151, 156, 241 [best: 1000] 35214436859904
0, 23, 34, 46, 84, 93, 127, 134, 158, 183, 185, 235 [best: 1000] 35218731827200
0, 23, 34, 46, 84, 94, 105, 107, 141, 184, 209, 212 [best: 1000] 35223026794496
0, 23, 34, 46, 84, 94, 126, 146, 176, 201, 234, 246 [best: 1000] 35227321761792
0, 23, 34, 46, 84, 96, 100, 103, 118, 150, 161, 181 [best: 1000] 35231616729088
0, 23, 34, 46, 84, 97, 102, 129, 146, 149, 157, 203 [best: 1000] 35235911696384
0, 23, 34, 46, 84, 97, 119, 137, 159, 181, 187, 235 [best: 1000] 35240206663680
0, 23, 34, 46, 84, 98, 104, 139, 141, 155, 177, 223 [best: 1000] 35244501630976
0, 23, 34, 46, 84, 98, 111, 113, 190, 218, 243, 244 [best: 1000] 35248796598272
0, 23, 34, 46, 84, 98, 117, 136, 180, 210, 247, 283 [best: 1000] 35253091565568
0, 23, 34, 46, 84, 98, 130, 136, 167, 194, 220, 287 [best: 1000] 35257386532864
0, 23, 34, 46, 84, 99, 112, 114, 150, 196, 225, 273 [best: 1000] 35261681500160
0, 23, 34, 46, 84, 100, 109, 121, 126, 138, 169, 188 [best: 1000] 35265976467456
0, 23, 34, 46, 84, 102, 104, 105, 123, 176, 217, 222 [best: 1000] 35270271434752
0, 23, 34, 46, 84, 103, 106, 114, 162, 176, 188, 217 [best: 1000] 35274566402048
0, 23, 34, 46, 84, 104, 106, 125, 160, 172, 214, 260 [best: 1000] 35278861369344
0, 23, 34, 46, 84, 105, 110, 123, 139, 165, 205, 254 [best: 1000] 35283156336640
0, 23, 34, 46, 84, 105, 122, 148, 171, 173, 212, 216 [best: 1000] 35287451303936
0, 23, 34, 46, 85, 86, 94, 103, 132, 191, 212, 250 [best: 1000] 35291746271232
0, 23, 34, 46, 85, 86, 105, 126, 162, 209, 210, 225 [best: 1000] 35296041238528
0, 23, 34, 46, 85, 87, 88, 99, 102, 194, 208, 240 [best: 1000] 35300336205824
0, 23, 34, 46, 85, 87, 101, 114, 117, 122, 170, 239 [best: 1000] 35304631173120
0, 23, 34, 46, 85, 87, 122, 148, 160, 180, 182, 208 [best: 1000] 35308926140416
0, 23, 34, 46, 85, 88, 96, 117, 134, 153, 168, 169 [best: 1000] 35313221107712
0, 23, 34, 46, 85, 88, 102, 125, 189, 212, 230, 269 [best: 1000] 35317516075008
0, 23, 34, 46, 85, 88, 110, 129, 163, 169, 184, 219 [best: 1000] 35321811042304
0, 23, 34, 46, 85, 88, 122, 137, 169, 183, 228, 234 [best: 1000] 35326106009600
0, 23, 34, 46, 85, 89, 96, 106, 108, 111, 165, 252 [best: 1000] 35330400976896
0, 23, 34, 46, 85, 89, 103, 115, 116, 140, 164, 193 [best: 1000] 35334695944192
0, 23, 34, 46, 85, 89, 114, 124, 154, 186, 199, 200 [best: 1000] 35338990911488
0, 23, 34, 46, 85, 90, 100, 125, 139, 153, 212, 243 [best: 1000] 35343285878784
0, 23, 34, 46, 85, 91, 109, 130, 135, 144, 156, 186 [best: 1000] 35347580846080
0, 23, 34, 46, 85, 93, 98, 115, 117, 122, 125, 129 [best: 1000] 35351875813376
0, 23, 34, 46, 85, 94, 101, 134, 153, 162, 179, 261 [best: 1000] 35356170780672
0, 23, 34, 46, 85, 95, 103, 105, 110, 115, 178, 227 [best: 1000] 35360465747968
0, 23, 34, 46, 85, 96, 102, 145, 165, 184, 228, 231 [best: 1000] 35364760715264
0, 23, 34, 46, 85, 97, 100, 105, 127, 137, 147, 192 [best: 1000] 35369055682560
0, 23, 34, 46, 85, 97, 115, 132, 136, 137, 144, 158, 188 [best: 1000] 35373350649856
0, 23, 34, 46, 85, 98, 102, 131, 144, 196, 220, 237 [best: 1000] 35377645617152
0, 23, 34, 46, 85, 98, 112, 118, 124, 160, 210, 259 [best: 1000] 35381940584448
0, 23, 34, 46, 85, 98, 128, 130, 177, 181, 210, 235 [best: 1000] 35386235551744
0, 23, 34, 46, 85, 99, 109, 112, 126, 155, 200, 216 [best: 1000] 35390530519040
0, 23, 34, 46, 85, 100, 102, 132, 152, 176, 183, 268 [best: 1000] 35394825486336
0, 23, 34, 46, 85, 100, 117, 121, 142, 169, 241, 242 [best: 1000] 35399120453632
0, 23, 34, 46, 85, 101, 107, 113, 116, 196, 212, 219 [best: 1000] 35403415420928
0, 23, 34, 46, 85, 101, 121, 138, 150, 182, 198, 207 [best: 1000] 35407710388224
0, 23, 34, 46, 85, 102, 109, 112, 143, 197, 252, 261 [best: 1000] 35412005355520
0, 23, 34, 46, 85, 102, 121, 142, 147, 185, 201, 255 [best: 1000] 35416300322816
0, 23, 34, 46, 85, 103, 111, 119, 133, 155, 171, 223 [best: 1000] 35420595290112
0, 23, 34, 46, 85, 104, 107, 142, 164, 173, 202, 216 [best: 1000] 35424890257408
0, 23, 34, 46, 85, 104, 129, 143, 171, 190, 202, 210 [best: 1000] 35429185224704
0, 23, 34, 46, 85, 105, 119, 120, 158, 207, 214, 230, 279 [best: 1000] 35433480192000
0, 23, 34, 46, 85, 106, 116, 132, 133, 174, 198, 230 [best: 1000] 35437775159296
0, 23, 34, 46, 85, 107, 118, 128, 142, 193, 219, 249 [best: 1000] 35442070126592
0, 23, 34, 46, 85, 108, 119, 139, 156, 186, 213, 257 [best: 1000] 35446365093888
0, 23, 34, 46, 85, 109, 127, 136, 160, 181, 189, 244 [best: 1000] 35450660061184
0, 23, 34, 46, 86, 87, 96, 126, 127, 167, 198, 216 [best: 1000] 35454955028480
0, 23, 34, 46, 86, 87, 104, 105, 170, 194, 196, 230 [best: 1000] 35459249995776
0, 23, 34, 46, 86, 87, 121, 132, 149, 177, 180, 251 [best: 1000] 35463544963072
0, 23, 34, 46, 86, 88, 91, 134, 140, 201, 203, 224 [best: 1000] 35467839930368
0, 23, 34, 46, 86, 88, 98, 116, 186, 202, 209, 232 [best: 1000] 35472134897664
0, 23, 34, 46, 86, 88, 103, 125, 148, 193, 221, 229 [best: 1000] 35476429864960
0, 23, 34, 46, 86, 88, 110, 125, 142, 186, 251, 262 [best: 1000] 35480724832256
0, 23, 34, 46, 86, 88, 120, 141, 151, 160, 213, 221 [best: 1000] 35485019799552
0, 23, 34, 46, 86, 89, 90, 103, 140, 145, 168, 174 [best: 1000] 35489314766848
0, 23, 34, 46, 86, 89, 98, 134, 180, 200, 249, 276 [best: 1000] 35493609734144
0, 23, 34, 46, 86, 89, 106, 110, 139, 189, 201, 269 [best: 1000] 35497904701440
0, 23, 34, 46, 86, 89, 119, 120, 141, 157, 176, 232 [best: 1000] 35502199668736
0, 23, 34, 46, 86, 90, 97, 128, 137, 141, 181, 208 [best: 1000] 35506494636032
0, 23, 34, 46, 86, 90, 113, 126, 142, 156, 190, 202 [best: 1000] 35510789603328
0, 23, 34, 46, 86, 91, 101, 107, 117, 142, 205, 234 [best: 1000] 35515084570624
0, 23, 34, 46, 86, 91, 117, 151, 171, 177, 183, 197 [best: 1000] 35519379537920
0, 23, 34, 46, 86, 92, 105, 109, 119, 172, 179, 192 [best: 1000] 35523674505216
0, 23, 34, 46, 86, 93, 101, 130, 135, 150, 189, 208 [best: 1000] 35527969472512
0, 23, 34, 46, 86, 93, 118, 132, 138, 169, 184, 246 [best: 1000] 35532264439808
0, 23, 34, 46, 86, 94, 103, 142, 164, 202, 215, 241 [best: 1000] 35536559407104
0, 23, 34, 46, 86, 95, 99, 132, 142, 145, 196, 218 [best: 1000] 35540854374400
0, 23, 34, 46, 86, 95, 117, 128, 132, 141, 143, 196 [best: 1000] 35545149341696
0, 23, 34, 46, 86, 96, 103, 139, 158, 175, 238, 279 [best: 1000] 35549444308992
0, 23, 34, 46, 86, 97, 98, 127, 181, 213, 242, 289 [best: 1000] 35553739276288
0, 23, 34, 46, 86, 97, 106, 112, 131, 152, 182, 220 [best: 1000] 35558034243584
0, 23, 34, 46, 86, 97, 121, 157, 178, 191, 248, 286 [best: 1000] 35562329210880
0, 23, 34, 46, 86, 98, 102, 112, 134, 170, 189, 237 [best: 1000] 35566624178176
0, 23, 34, 46, 86, 98, 110, 129, 148, 193, 199, 242 [best: 1000] 35570919145472
0, 23, 34, 46, 86, 98, 125, 135, 169, 170, 225, 251 [best: 1000] 35575214112768
0, 23, 34, 46, 86, 99, 105, 133, 138, 155, 175, 261 [best: 1000] 35579509080064
0, 23, 34, 46, 86, 100, 101, 120, 173, 181, 223, 228 [best: 1000] 35583804047360
0, 23, 34, 46, 86, 100, 110, 111, 172, 215, 249, 285 [best: 1000] 35588099014656
0, 23, 34, 46, 86, 100, 127, 138, 145, 162, 214, 271 [best: 1000] 35592393981952
0, 23, 34, 46, 86, 101, 106, 133, 142, 153, 191, 238 [best: 1000] 35596688949248
0, 23, 34, 46, 86, 101, 120, 123, 179, 212, 233, 263 [best: 1000] 35600983916544
0, 23, 34, 46, 86, 102, 103, 157, 169, 183, 191, 237 [best: 1000] 35605278883840
0, 23, 34, 46, 86, 102, 111, 118, 125, 155, 182, 199 [best: 1000] 35609573851136
0, 23, 34, 46, 86, 102, 121, 129, 149, 157, 166, 236 [best: 1000] 35613868818432
0, 23, 34, 46, 86, 102, 133, 164, 168, 177, 222, 250 [best: 1000] 35618163785728
0, 23, 34, 46, 86, 103, 107, 151, 152, 182, 253, 278 [best: 1000] 35622458753024
0, 23, 34, 46, 86, 103, 116, 117, 184, 212, 240, 264 [best: 1000] 35626753720320
0, 23, 34, 46, 86, 103, 125, 160, 182, 231, 244, 251 [best: 1000] 35631048687616
0, 23, 34, 46, 86, 104, 108, 141, 143, 149, 218, 220 [best: 1000] 35635343654912
0, 23, 34, 46, 86, 104, 120, 137, 142, 185, 199, 248 [best: 1000] 35639638622208
0, 23, 34, 46, 86, 105, 106, 123, 150, 207, 235, 250 [best: 1000] 35643933589504
0, 23, 34, 46, 86, 105, 122, 149, 152, 157, 164, 225 [best: 1000] 35648228556800
0, 23, 34, 46, 86, 106, 117, 118, 152, 169, 179, 218 [best: 1000] 35652523524096
0, 23, 34, 46, 86, 107, 110, 119, 144, 188, 202, 224 [best: 1000] 35656818491392
0, 23, 34, 46, 86, 107, 122, 145, 169, 200, 251, 259 [best: 1000] 35661113458688
0, 23, 34, 46, 86, 108, 122, 123, 147, 164, 176, 205 [best: 1000] 35665408425984
0, 23, 34, 46, 86, 109, 125, 137, 138, 151, 223, 227 [best: 1000] 35669703393280
0, 23, 34, 46, 86, 110, 125, 151, 156, 185, 227, 271 [best: 1000] 35673998360576
0, 23, 34, 46, 86, 111, 124, 134, 161, 214, 220, 246 [best: 1000] 35678293327872
0, 23, 34, 46, 86, 113, 115, 132, 149, 180, 213, 215 [best: 1000] 35682588295168
0, 23, 34, 46, 87, 88, 92, 104, 108, 161, 197, 201 [best: 1000] 35686883262464
0, 23, 34, 46, 87, 88, 99, 143, 144, 217, 256, 267 [best: 1000] 35691178229760
0, 23, 34, 46, 87, 88, 106, 139, 170, 198, 208, 233 [best: 1000] 35695473197056
0, 23, 34, 46, 87, 88, 117, 127, 147, 150, 183, 191 [best: 1000] 35699768164352
0, 23, 34, 46, 87, 89, 92, 103, 104, 121, 153, 182 [best: 1000] 35704063131648
0, 23, 34, 46, 87, 89, 104, 114, 150, 192, 202 [best: 1000] 35708358098944
0, 23, 34, 46, 87, 89, 128, 135, 152, 160, 178, 221 [best: 1000] 35712653066240
0, 23, 34, 46, 87, 91, 99, 137, 150, 161, 167, 215 [best: 1000] 35716948033536
0, 23, 34, 46, 87, 92, 104, 121, 124, 158, 168, 170 [best: 1000] 35721243000832
0, 23, 34, 46, 87, 93, 108, 113, 118, 136, 141, 181 [best: 1000] 35725537968128
0, 23, 34, 46, 87, 94, 112, 139, 143, 171, 181, 199 [best: 1000] 35729832935424
0, 23, 34, 46, 87, 96, 99, 118, 139, 188, 192, 235 [best: 1000] 35734127902720
0, 23, 34, 46, 87, 96, 123, 141, 152, 161, 173, 214 [best: 1000] 35738422870016
0, 23, 34, 46, 87, 97, 115, 138, 159, 179, 209 [best: 1000] 35742717837312
0, 23, 34, 46, 87, 98, 103, 128, 144, 165, 177, 224 [best: 1000] 35747012804608
0, 23, 34, 46, 87, 98, 115, 130, 160, 199, 239, 294 [best: 1000] 35751307771904
0, 23, 34, 46, 87, 98, 132, 137, 146, 182, 225, 253 [best: 1000] 35755602739200
0, 23, 34, 46, 87, 99, 109, 144, 166, 171, 180, 223 [best: 1000] 35759897706496
0, 23, 34, 46, 87, 99, 130, 135, 190, 200, 225, 248 [best: 1000] 35764192673792
0, 23, 34, 46, 87, 100, 112, 119, 127, 146, 205, 238 [best: 1000] 35768487641088
0, 23, 34, 46, 87, 101, 104, 119, 146, 208, 215, 239 [best: 1000] 35772782608384
0, 23, 34, 46, 87, 101, 118, 131, 172, 179, 198, 241 [best: 1000] 35777077575680
0, 23, 34, 46, 87, 102, 106, 140, 154, 164, 213, 219 [best: 1000] 35781372542976
0, 23, 34, 46, 87, 102, 119, 126, 178, 212, 243, 250 [best: 1000] 35785667510272
0, 23, 34, 46, 87, 103, 108, 116, 142, 163, 181, 191 [best: 1000] 35789962477568
0, 23, 34, 46, 87, 104, 106, 133, 151, 153, 170, 198 [best: 1000] 35794257444864
0, 23, 34, 46, 87, 104, 126, 148, 163, 178, 179, 209 [best: 1000] 35798552412160
0, 23, 34, 46, 87, 105, 123, 141, 162, 176, 178, 189 [best: 1000] 35802847379456
0, 23, 34, 46, 87, 107, 110, 141, 151, 159, 161, 174 [best: 1000] 35807142346752
0, 23, 34, 46, 87, 108, 111, 127, 144, 148, 182, 261 [best: 1000] 35811437314048
0, 23, 34, 46, 87, 109, 112, 140, 156, 158, 195, 224 [best: 1000] 35815732281344
0, 23, 34, 46, 88, 89, 91, 135, 175, 192, 208 [best: 1000] 35820027248640
0, 23, 34, 46, 88, 89, 96, 105, 118, 125, 158, 214 [best: 1000] 35824322215936
0, 23, 34, 46, 88, 89, 101, 123, 126, 160, 178, 266 [best: 1000] 35828617183232
0, 23, 34, 46, 88, 89, 107, 126, 134, 141, 161 [best: 1000] 35832912150528
0, 23, 34, 46, 88, 89, 118, 133, 136, 153, 181, 205 [best: 1000] 35837207117824
0, 23, 34, 46, 88, 90, 91, 126, 159, 163, 208, 267 [best: 1000] 35841502085120
0, 23, 34, 46, 88, 90, 95, 122, 190, 196, 219, 262 [best: 1000] 35845797052416
0, 23, 34, 46, 88, 90, 100, 110, 124, 145, 149, 208 [best: 1000] 35850092019712
0, 23, 34, 46, 88, 90, 105, 111, 127, 166, 195, 199 [best: 1000] 35854386987008
0, 23, 34, 46, 88, 90, 112, 131, 144, 146, 158, 228 [best: 1000] 35858681954304
0, 23, 34, 46, 88, 90, 125, 135, 139, 168, 207, 220 [best: 1000] 35862976921600
0, 23, 34, 46, 88, 91, 93, 127, 130, 132, 189, 205 [best: 1000] 35867271888896
0, 23, 34, 46, 88, 91, 98, 101, 133, 137, 166, 207 [best: 1000] 35871566856192
0, 23, 34, 46, 88, 91, 102, 141, 163, 176, 186, 196 [best: 1000] 35875861823488
0, 23, 34, 46, 88, 91, 108, 139, 146, 169, 200, 280 [best: 1000] 35880156790784
0, 23, 34, 46, 88, 91, 120, 124, 144, 165, 183, 203 [best: 1000] 35884451758080
0, 23, 34, 46, 88, 91, 136, 144, 150, 160, 239, 240 [best: 1000] 35888746725376
0, 23, 34, 46, 88, 92, 96, 103, 159, 175, 193, 251 [best: 1000] 35893041692672
0, 23, 34, 46, 88, 92, 100, 154, 168, 209, 248, 291 [best: 1000] 35897336659968
0, 23, 34, 46, 88, 92, 105, 145, 175, 179, 213, 258 [best: 1000] 35901631627264
0, 23, 34, 46, 88, 92, 113, 117, 146, 173, 186, 214 [best: 1000] 35905926594560
0, 23, 34, 46, 88, 92, 125, 160, 194, 204, 252, 259 [best: 1000] 35910221561856
0, 23, 34, 46, 88, 93, 95, 124, 125, 217, 264, 297 [best: 1000] 35914516529152
0, 23, 34, 46, 88, 93, 99, 129, 148, 159, 190, 241 [best: 1000] 35918811496448
0, 23, 34, 46, 88, 93, 103, 132, 147, 184, 230 [best: 1000] 35923106463744
0, 23, 34, 46, 88, 93, 109, 115, 146, 182, 195, 196 [best: 1000] 35927401431040
0, 23, 34, 46, 88, 93, 117, 120, 125, 223, 246, 266 [best: 1000] 35931696398336
0, 23, 34, 46, 88, 93, 125, 171, 184, 213, 217, 250 [best: 1000] 35935991365632
0, 23, 34, 46, 88, 94, 95, 121, 173, 200, 235, 302 [best: 1000] 35940286332928
0, 23, 34, 46, 88, 94, 100, 109, 111, 118, 193, 233 [best: 1000] 35944581300224
0, 23, 34, 46, 88, 94, 104, 135, 161, 204, 216, 237 [best: 1000] 35948876267520
0, 23, 34, 46, 88, 94, 111, 158, 174, 216, 219, 286 [best: 1000] 35953171234816
0, 23, 34, 46, 88, 94, 124, 125, 158, 179, 233, 241 [best: 1000] 35957466202112
0, 23, 34, 46, 88, 95, 96, 149, 171, 194, 208, 289 [best: 1000] 35961761169408
0, 23, 34, 46, 88, 95, 101, 121, 140, 184, 268, 273 [best: 1000] 35966056136704
0, 23, 34, 46, 88, 95, 106, 123, 148, 172, 202, 273 [best: 1000] 35970351104000
0, 23, 34, 46, 88, 95, 114, 115, 152, 195, 201 [best: 1000] 35974646071296
0, 23, 34, 46, 88, 95, 125, 137, 144, 148, 189, 213 [best: 1000] 35978941038592
0, 23, 34, 46, 88, 96, 97, 146, 148, 175, 183, 290 [best: 1000] 35983236005888
0, 23, 34, 46, 88, 96, 102, 126, 132, 147, 226, 299 [best: 1000] 35987530973184
0, 23, 34, 46, 88, 96, 109, 125, 171, 184, 203, 245 [best: 1000] 35991825940480
0, 23, 34, 46, 88, 96, 123, 134, 142, 149, 163, 193 [best: 1000] 35996120907776
0, 23, 34, 46, 88, 97, 98, 112, 120, 138, 162, 173 [best: 1000] 36000415875072
0, 23, 34, 46, 88, 97, 102, 154, 158, 167, 194, 265 [best: 1000] 36004710842368
0, 23, 34, 46, 88, 97, 109, 121, 129, 153, 201, 207 [best: 1000] 36009005809664
0, 23, 34, 46, 88, 97, 121, 155, 171, 192, 199, 219 [best: 1000] 36013300776960
0, 23, 34, 46, 88, 98, 99, 114, 120, 125, 151, 236 [best: 1000] 36017595744256
0, 23, 34, 46, 88, 98, 103, 163, 167, 206, 219, 263, 328 [best: 1000] 36021890711552
0, 23, 34, 46, 88, 98, 110, 138, 150, 201, 218, 225 [best: 1000] 36026185678848
0, 23, 34, 46, 88, 98, 122, 163, 171, 181, 215, 266 [best: 1000] 36030480646144
0, 23, 34, 46, 88, 99, 100, 121, 135, 182, 193, 258 [best: 1000] 36034775613440
0, 23, 34, 46, 88, 99, 105, 110, 152, 169, 213, 224 [best: 1000] 36039070580736
0, 23, 34, 46, 88, 99, 111, 160, 183, 200, 218, 229 [best: 1000] 36043365548032
0, 23, 34, 46, 88, 99, 124, 157, 168, 171, 177, 227 [best: 1000] 36047660515328
0, 23, 34, 46, 88, 100, 102, 109, 123, 139, 154, 190 [best: 1000] 36051955482624
0, 23, 34, 46, 88, 100, 108, 151, 160, 177, 218, 270 [best: 1000] 36056250449920
0, 23, 34, 46, 88, 100, 122, 147, 162, 166, 240, 254 [best: 1000] 36060545417216
0, 23, 34, 46, 88, 101, 102, 107, 117, 151, 167, 180 [best: 1000] 36064840384512
0, 23, 34, 46, 88, 101, 106, 109, 113, 168, 208, 220 [best: 1000] 36069135351808
0, 23, 34, 46, 88, 101, 110, 125, 172, 196, 199, 229 [best: 1000] 36073430319104
0, 23, 34, 46, 88, 101, 115, 170, 198, 206, 237, 270 [best: 1000] 36077725286400
0, 23, 34, 46, 88, 101, 122, 137, 155, 227, 259, 296 [best: 1000] 36082020253696
0, 23, 34, 46, 88, 101, 131, 159, 178, 204, 238, 280 [best: 1000] 36086315220992
0, 23, 34, 46, 88, 102, 104, 126, 150, 191, 197, 200 [best: 1000] 36090610188288
0, 23, 34, 46, 88, 102, 110, 115, 171, 180, 213, 255 [best: 1000] 36094905155584
0, 23, 34, 46, 88, 102, 118, 119, 135, 210, 212, 243 [best: 1000] 36099200122880
0, 23, 34, 46, 88, 102, 135, 152, 174, 179, 219, 244 [best: 1000] 36103495090176
0, 23, 34, 46, 88, 103, 109, 110, 173, 185, 236, 269 [best: 1000] 36107790057472
0, 23, 34, 46, 88, 103, 117, 121, 124, 166, 195, 259 [best: 1000] 36112085024768
0, 23, 34, 46, 88, 103, 128, 159, 181, 192, 198, 210 [best: 1000] 36116379992064
0, 23, 34, 46, 88, 104, 107, 130, 132, 151, 189, 261 [best: 1000] 36120674959360
0, 23, 34, 46, 88, 104, 116, 128, 159, 206, 227, 249 [best: 1000] 36124969926656
0, 23, 34, 46, 88, 104, 129, 150, 164, 165, 221, 233 [best: 1000] 36129264893952
0, 23, 34, 46, 88, 105, 110, 129, 171, 177, 235, 280 [best: 1000] 36133559861248
0, 23, 34, 46, 88, 105, 118, 156, 181, 200, 212, 237 [best: 1000] 36137854828544
0, 23, 34, 46, 88, 105, 134, 141, 148, 181, 204, 292 [best: 1000] 36142149795840
0, 23, 34, 46, 88, 106, 111, 156, 171, 194, 254, 290 [best: 1000] 36146444763136
0, 23, 34, 46, 88, 106, 119, 131, 143, 190, 259, 298 [best: 1000] 36150739730432
0, 23, 34, 46, 88, 106, 132, 136, 169, 185, 188, 194 [best: 1000] 36155034697728
0, 23, 34, 46, 88, 107, 114, 125, 151, 178, 204, 242 [best: 1000] 36159329665024
0, 23, 34, 46, 88, 107, 131, 133, 150, 165, 211, 221 [best: 1000] 36163624632320
0, 23, 34, 46, 88, 108, 119, 124, 129, 131, 165, 259 [best: 1000] 36167919599616
0, 23, 34, 46, 88, 109, 111, 128, 161, 171, 174, 246 [best: 1000] 36172214566912
0, 23, 34, 46, 88, 109, 124, 125, 132, 141, 201, 204 [best: 1000] 36176509534208
0, 23, 34, 46, 88, 109, 140, 157, 176, 190, 211, 228 [best: 1000] 36180804501504
0, 23, 34, 46, 88, 110, 122, 148, 152, 197, 216, 258 [best: 1000] 36185099468800
0, 23, 34, 46, 88, 110, 137, 151, 156, 164, 184, 232 [best: 1000] 36189394436096
0, 23, 34, 46, 88, 111, 120, 124, 187, 208, 220, 284 [best: 1000] 36193689403392
0, 23, 34, 46, 88, 111, 133, 138, 149, 150, 253, 254 [best: 1000] 36197984370688
0, 23, 34, 46, 88, 112, 123, 130, 141, 189, 190, 205 [best: 1000] 36202279337984
0, 23, 34, 46, 88, 113, 121, 151, 153, 174, 193, 253 [best: 1000] 36206574305280
0, 23, 34, 46, 89, 90, 93, 106, 133, 150, 152, 259 [best: 1000] 36210869272576
0, 23, 34, 46, 89, 90, 102, 112, 122, 137, 161, 230 [best: 1000] 36215164239872
0, 23, 34, 46, 89, 90, 113, 124, 149, 176, 224, 243 [best: 1000] 36219459207168
0, 23, 34, 46, 89, 91, 92, 95, 107, 141, 152, 211 [best: 1000] 36223754174464
0, 23, 34, 46, 89, 91, 100, 104, 129, 135, 153, 205 [best: 1000] 36228049141760
0, 23, 34, 46, 89, 91, 108, 134, 136, 182, 187, 235 [best: 1000] 36232344109056
0, 23, 34, 46, 89, 91, 123, 135, 164, 174, 202, 207 [best: 1000] 36236639076352
0, 23, 34, 46, 89, 92, 96, 133, 155, 173, 206, 261 [best: 1000] 36240934043648
0, 23, 34, 46, 89, 92, 113, 126, 147, 157, 185, 226 [best: 1000] 36245229010944
0, 23, 34, 46, 89, 93, 97, 118, 138, 160, 170, 217 [best: 1000] 36249523978240
0, 23, 34, 46, 89, 93, 104, 151, 163, 207, 220, 258 [best: 1000] 36253818945536
0, 23, 34, 46, 89, 93, 118, 150, 170, 199, 223, 245 [best: 1000] 36258113912832
0, 23, 34, 46, 89, 93, 138, 155, 167, 192, 197, 273 [best: 1000] 36262408880128
0, 23, 34, 46, 89, 94, 104, 109, 141, 194, 214, 284 [best: 1000] 36266703847424
0, 23, 34, 46, 89, 94, 121, 150, 156, 184, 193, 240 [best: 1000] 36270998814720
0, 23, 34, 46, 89, 95, 101, 135, 147, 154, 172, 230 [best: 1000] 36275293782016
0, 23, 34, 46, 89, 95, 112, 142, 178, 184, 191, 253 [best: 1000] 36279588749312
0, 23, 34, 46, 89, 95, 133, 136, 138, 141, 153, 182 [best: 1000] 36283883716608
0, 23, 34, 46, 89, 96, 104, 143, 144, 185, 196, 224 [best: 1000] 36288178683904
0, 23, 34, 46, 89, 96, 122, 129, 169, 170, 229, 269 [best: 1000] 36292473651200
0, 23, 34, 46, 89, 97, 103, 138, 182, 188, 194, 246 [best: 1000] 36296768618496
0, 23, 34, 46, 89, 98, 103, 105, 149, 191, 213, 252 [best: 1000] 36301063585792
0, 23, 34, 46, 89, 99, 100, 102, 151, 162, 163, 230 [best: 1000] 36305358553088
0, 23, 34, 46, 89, 100, 104, 141, 147, 171, 200, 241 [best: 1000] 36309653520384
0, 23, 34, 46, 89, 101, 103, 123, 130, 160, 181, 184 [best: 1000] 36313948487680
0, 23, 34, 46, 89, 101, 115, 123, 164, 215, 228, 261 [best: 1000] 36318243454976
0, 23, 34, 46, 89, 101, 135, 138, 147, 171, 217, 245 [best: 1000] 36322538422272
0, 23, 34, 46, 89, 102, 110, 121, 132, 179, 226, 233 [best: 1000] 36326833389568
0, 23, 34, 46, 89, 102, 118, 165, 166, 175, 211, 236 [best: 1000] 36331128356864
0, 23, 34, 46, 89, 102, 131, 158, 160, 174, 194, 268 [best: 1000] 36335423324160
0, 23, 34, 46, 89, 103, 108, 139, 144, 152, 198, 223 [best: 1000] 36339718291456
0, 23, 34, 46, 89, 103, 119, 143, 148, 177, 185, 208 [best: 1000] 36344013258752
0, 23, 34, 46, 89, 103, 129, 148, 167, 179, 190, 223 [best: 1000] 36348308226048
0, 23, 34, 46, 89, 104, 111, 122, 163, 182, 194, 262 [best: 1000] 36352603193344
0, 23, 34, 46, 89, 104, 123, 150, 169, 182, 187, 236 [best: 1000] 36356898160640
0, 23, 34, 46, 89, 105, 116, 130, 143, 151, 165, 180 [best: 1000] 36361193127936
0, 23, 34, 46, 89, 107, 110, 134, 173, 177, 191, 243 [best: 1000] 36365488095232
0, 23, 34, 46, 89, 108, 119, 124, 154, 161, 170, 269 [best: 1000] 36369783062528
0, 23, 34, 46, 89, 109, 122, 124, 130, 174, 201, 202 [best: 1000] 36374078029824
0, 23, 34, 46, 89, 110, 124, 138, 164, 209, 238, 276 [best: 1000] 36378372997120
0, 23, 34, 46, 89, 111, 125, 140, 184, 212, 222, 269 [best: 1000] 36382667964416
0, 23, 34, 46, 89, 112, 126, 145, 149, 150, 185, 236 [best: 1000] 36386962931712
total chains: 36389237559541
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 21 21 21 21
9: 43 868 20 14 26
10: 1771 37476 21 5 31
11: 75999 1684754 22 3 36
12: 3501023 83357336 23 1 41
13: 174776659 4498978824 25 0 46
14: 9464568217 262453536938 27 0 51
15: 554621147359 16483299628344 29 0 56
16: 12534789609 402987302212 32 0 61
17: 33928026 1231305902 36 2 64
18: 81173 2936495 36 7 61
19: 21 862 41 32 53
20: 0 0 0 0 0
21: 0 0 0 0 0
real 2623m40.959s
user 2480m41.224s
sys 43m18.573s
stderr end
time="2025-05-02T13:44:42-07:00" level=warning msg="The cgroupv2 manager is set to systemd but there is no systemd user session available"
time="2025-05-02T13:44:42-07:00" level=warning msg="For using systemd, you may need to login using an user session"
time="2025-05-02T13:44:42-07:00" level=warning msg="Alternatively, you can enable lingering with: `loginctl enable-linger 128` (possibly as root)"
time="2025-05-02T13:44:42-07:00" level=warning msg="Falling back to --cgroup-manager=cgroupfs"
time="2025-05-02T13:44:42-07:00" level=warning msg="The cgroupv2 manager is set to systemd but there is no systemd user session available"
time="2025-05-02T13:44:42-07:00" level=warning msg="For using systemd, you may need to login using an user session"
time="2025-05-02T13:44:42-07:00" level=warning msg="Alternatively, you can enable lingering with: `loginctl enable-linger 128` (possibly as root)"
time="2025-05-02T13:44:42-07:00" level=warning msg="Falling back to --cgroup-manager=cgroupfs"
time="2025-05-02T13:44:42-07:00" level=warning msg="The cgroupv2 manager is set to systemd but there is no systemd user session available"
time="2025-05-02T13:44:42-07:00" level=warning msg="For using systemd, you may need to login using an user session"
time="2025-05-02T13:44:42-07:00" level=warning msg="Alternatively, you can enable lingering with: `loginctl enable-linger 128` (possibly as root)"
time="2025-05-02T13:44:42-07:00" level=warning msg="Falling back to --cgroup-manager=cgroupfs"
time="2025-05-02T13:44:42-07:00" level=warning msg="The cgroupv2 manager is set to systemd but there is no systemd user session available"
time="2025-05-02T13:44:42-07:00" level=warning msg="For using systemd, you may need to login using an user session"
time="2025-05-02T13:44:42-07:00" level=warning msg="Alternatively, you can enable lingering with: `loginctl enable-linger 128` (possibly as root)"
time="2025-05-02T13:44:42-07:00" level=warning msg="Falling back to --cgroup-manager=cgroupfs"
time="2025-05-02T13:44:42-07:00" level=warning msg="The cgroupv2 manager is set to systemd but there is no systemd user session available"
time="2025-05-02T13:44:42-07:00" level=warning msg="For using systemd, you may need to login using an user session"
time="2025-05-02T13:44:42-07:00" level=warning msg="Alternatively, you can enable lingering with: `loginctl enable-linger 128` (possibly as root)"
time="2025-05-02T13:44:42-07:00" level=warning msg="Falling back to --cgroup-manager=cgroupfs"
time="2025-05-02T13:44:42-07:00" level=warning msg="The cgroupv2 manager is set to systemd but there is no systemd user session available"
time="2025-05-02T13:44:42-07:00" level=warning msg="For using systemd, you may need to login using an user session"
time="2025-05-02T13:44:42-07:00" level=warning msg="Alternatively, you can enable lingering with: `loginctl enable-linger 128` (possibly as root)"
time="2025-05-02T13:44:42-07:00" level=warning msg="Falling back to --cgroup-manager=cgroupfs"
2025-05-02 13:44:42 (2038452): called boinc_finish(0)
</stderr_txt>
]]>
