Task 15324
| Name | batch_89__job_job-000245_1 |
| Workunit | 12173 |
| Created | 30 Apr 2025, 9:48:44 UTC |
| Sent | 30 Apr 2025, 21:10:51 UTC |
| Report deadline | 7 May 2025, 21:10:51 UTC |
| Received | 1 May 2025, 10:20:10 UTC |
| Server state | Over |
| Outcome | Success |
| Client state | Done |
| Exit status | 0 (0x00000000) |
| Computer ID | 32910 |
| Run time | 13 hours 9 min 6 sec |
| CPU time | 10 hours 50 min 40 sec |
| Validate state | Valid |
| Credit | 91.35 |
| Device peak FLOPS | 1.93 GFLOPS |
| Application version | Universal Docker app v1.08 (docker) x86_64-pc-linux-gnu |
| Peak working set size | 26.85 MB |
| Peak swap size | 1.90 GB |
| Peak disk usage | 185.29 KB |
Stderr output
<core_client_version>8.2.2</core_client_version>
<![CDATA[
<stderr_txt>
163, 173 [best: 1000] 3358664425472
13, 27, 46, 54, 61, 74, 117, 131, 137, 148, 173, 233 [best: 1000] 3362959392768
13, 27, 46, 54, 61, 75, 88, 105, 156, 172, 181, 182, 273 [best: 1000] 3367254360064
13, 27, 46, 54, 61, 76, 78, 94, 120, 131, 166, 171 [best: 1000] 3371549327360
13, 27, 46, 54, 61, 77, 78, 108, 124, 143, 148, 206 [best: 1000] 3375844294656
13, 27, 46, 54, 61, 78, 83, 109, 123, 151, 162, 244 [best: 1000] 3380139261952
13, 27, 46, 54, 61, 78, 99, 122, 135, 150, 188, 190 [best: 1000] 3384434229248
13, 27, 46, 54, 61, 79, 85, 100, 107, 138, 235, 257 [best: 1000] 3388729196544
13, 27, 46, 54, 61, 79, 100, 124, 131, 148, 176, 210 [best: 1000] 3393024163840
13, 27, 46, 54, 61, 80, 89, 92, 127, 161, 184, 256 [best: 1000] 3397319131136
13, 27, 46, 54, 61, 81, 90, 103, 130, 152, 186, 269 [best: 1000] 3401614098432
13, 27, 46, 54, 61, 82, 89, 106, 145, 204, 215, 236 [best: 1000] 3405909065728
13, 27, 46, 54, 61, 82, 107, 139, 155, 198, 199, 258 [best: 1000] 3410204033024
13, 27, 46, 54, 61, 83, 100, 102, 125, 145, 163, 237 [best: 1000] 3414499000320
13, 27, 46, 54, 61, 84, 96, 129, 142, 154, 197, 231 [best: 1000] 3418793967616
13, 27, 46, 54, 61, 85, 90, 140, 143, 184, 199, 224 [best: 1000] 3423088934912
13, 27, 46, 54, 61, 85, 112, 117, 153, 164, 205, 218 [best: 1000] 3427383902208
13, 27, 46, 54, 61, 86, 107, 111, 118, 134, 221, 262 [best: 1000] 3431678869504
13, 27, 46, 54, 61, 88, 95, 96, 101, 134, 166, 193 [best: 1000] 3435973836800
13, 27, 46, 54, 61, 89, 94, 114, 139, 168, 208, 235, 257 [best: 1000] 3440268804096
13, 27, 46, 54, 61, 89, 106, 122, 124, 125, 132, 204 [best: 1000] 3444563771392
13, 27, 46, 54, 61, 90, 93, 108, 141, 163, 167, 176 [best: 1000] 3448858738688
13, 27, 46, 54, 61, 91, 101, 104, 121, 129, 172, 188 [best: 1000] 3453153705984
13, 27, 46, 54, 61, 93, 112, 117, 128, 129, 134, 172 [best: 1000] 3457448673280
13, 27, 46, 54, 61, 97, 102, 116, 135, 159, 174, 215 [best: 1000] 3461743640576
13, 27, 46, 54, 62, 63, 68, 70, 129, 149, 157, 177 [best: 1000] 3466038607872
13, 27, 46, 54, 62, 63, 74, 113, 123, 163, 219, 239 [best: 1000] 3470333575168
13, 27, 46, 54, 62, 63, 91, 125, 131, 185, 224, 232, 255 [best: 1000] 3474628542464
13, 27, 46, 54, 62, 64, 68, 94, 100, 138, 176, 244 [best: 1000] 3478923509760
13, 27, 46, 54, 62, 64, 73, 123, 160, 166, 174, 182 [best: 1000] 3483218477056
13, 27, 46, 54, 62, 64, 86, 90, 146, 153, 175, 193 [best: 1000] 3487513444352
13, 27, 46, 54, 62, 64, 103, 113, 143, 177, 194, 197 [best: 1000] 3491808411648
13, 27, 46, 54, 62, 65, 72, 122, 127, 149, 185, 215 [best: 1000] 3496103378944
13, 27, 46, 54, 62, 65, 93, 113, 147, 156, 163, 224 [best: 1000] 3500398346240
13, 27, 46, 54, 62, 66, 73, 81, 90, 176, 181, 223 [best: 1000] 3504693313536
13, 27, 46, 54, 62, 66, 89, 122, 127, 192, 202, 219 [best: 1000] 3508988280832
13, 27, 46, 54, 62, 67, 71, 91, 129, 144, 172, 240 [best: 1000] 3513283248128
13, 27, 46, 54, 62, 67, 83, 86, 103, 111, 122, 151 [best: 1000] 3517578215424
13, 27, 46, 54, 62, 67, 113, 122, 157, 162, 171, 191 [best: 1000] 3521873182720
13, 27, 46, 54, 62, 68, 74, 96, 140, 142, 165, 197 [best: 1000] 3526168150016
13, 27, 46, 54, 62, 68, 87, 96, 111, 115, 138, 191 [best: 1000] 3530463117312
13, 27, 46, 54, 62, 68, 102, 140, 151, 185, 192, 237 [best: 1000] 3534758084608
13, 27, 46, 54, 62, 69, 73, 82, 105, 108, 179, 245, 292 [best: 1000] 3539053051904
13, 27, 46, 54, 62, 69, 80, 89, 118, 139, 182 [best: 1000] 3543348019200
13, 27, 46, 54, 62, 69, 89, 140, 157, 179, 212, 219, 252 [best: 1000] 3547642986496
13, 27, 46, 54, 62, 69, 103, 117, 139, 141, 166, 213 [best: 1000] 3551937953792
13, 27, 46, 54, 62, 70, 72, 95, 103, 115, 202, 255 [best: 1000] 3556232921088
13, 27, 46, 54, 62, 70, 83, 95, 121, 143, 188, 222 [best: 1000] 3560527888384
13, 27, 46, 54, 62, 70, 101, 114, 126, 134, 177, 187, 243 [best: 1000] 3564822855680
13, 27, 46, 54, 62, 71, 75, 76, 126, 153, 184, 199 [best: 1000] 3569117822976
13, 27, 46, 54, 62, 71, 87, 108, 131, 140, 141, 163 [best: 1000] 3573412790272
13, 27, 46, 54, 62, 71, 104, 110, 148, 149, 200, 268 [best: 1000] 3577707757568
13, 27, 46, 54, 62, 72, 75, 89, 122, 143, 196, 266 [best: 1000] 3582002724864
13, 27, 46, 54, 62, 72, 81, 88, 123, 136, 164, 173 [best: 1000] 3586297692160
13, 27, 46, 54, 62, 72, 87, 100, 104, 191, 231, 261 [best: 1000] 3590592659456
13, 27, 46, 54, 62, 72, 92, 107, 127, 143, 156, 185 [best: 1000] 3594887626752
13, 27, 46, 54, 62, 72, 100, 114, 133, 149, 178, 236 [best: 1000] 3599182594048
13, 27, 46, 54, 62, 72, 107, 150, 155, 184, 197, 243 [best: 1000] 3603477561344
13, 27, 46, 54, 62, 73, 74, 89, 106, 135, 207, 252 [best: 1000] 3607772528640
13, 27, 46, 54, 62, 73, 83, 88, 97, 107, 109, 158 [best: 1000] 3612067495936
13, 27, 46, 54, 62, 73, 91, 115, 139, 154, 182, 250 [best: 1000] 3616362463232
13, 27, 46, 54, 62, 73, 105, 118, 166, 202, 222, 238 [best: 1000] 3620657430528
13, 27, 46, 54, 62, 74, 78, 105, 121, 152, 177, 230 [best: 1000] 3624952397824
13, 27, 46, 54, 62, 74, 87, 100, 118, 144, 169, 182 [best: 1000] 3629247365120
13, 27, 46, 54, 62, 74, 95, 121, 127, 159, 181, 220 [best: 1000] 3633542332416
13, 27, 46, 54, 62, 74, 111, 126, 137, 152, 192, 199 [best: 1000] 3637837299712
13, 27, 46, 54, 62, 75, 84, 125, 139, 151, 202, 233 [best: 1000] 3642132267008
13, 27, 46, 54, 62, 75, 98, 138, 149, 183, 202, 222 [best: 1000] 3646427234304
13, 27, 46, 54, 62, 76, 88, 102, 154, 183, 185, 208 [best: 1000] 3650722201600
13, 27, 46, 54, 62, 77, 99, 108, 110, 131, 201, 206 [best: 1000] 3655017168896
13, 27, 46, 54, 62, 78, 92, 93, 96, 100, 168, 182 [best: 1000] 3659312136192
13, 27, 46, 54, 62, 79, 84, 85, 107, 125, 127, 174 [best: 1000] 3663607103488
13, 27, 46, 54, 62, 79, 95, 126, 134, 156, 168, 211 [best: 1000] 3667902070784
13, 27, 46, 54, 62, 80, 87, 89, 149, 182, 186, 227 [best: 1000] 3672197038080
13, 27, 46, 54, 62, 81, 89, 113, 137, 145, 205, 208 [best: 1000] 3676492005376
13, 27, 46, 54, 62, 82, 89, 119, 157, 168, 183, 196 [best: 1000] 3680786972672
13, 27, 46, 54, 62, 83, 93, 98, 111, 116, 159, 188 [best: 1000] 3685081939968
13, 27, 46, 54, 62, 84, 100, 131, 143, 152, 179, 182 [best: 1000] 3689376907264
13, 27, 46, 54, 62, 86, 88, 108, 127, 154, 170, 181 [best: 1000] 3693671874560
13, 27, 46, 54, 62, 87, 88, 96, 115, 126, 135, 212 [best: 1000] 3697966841856
13, 27, 46, 54, 62, 87, 109, 127, 143, 152, 188, 191 [best: 1000] 3702261809152
13, 27, 46, 54, 62, 89, 90, 110, 137, 138, 195, 208 [best: 1000] 3706556776448
13, 27, 46, 54, 62, 89, 100, 131, 135, 146, 219, 247 [best: 1000] 3710851743744
13, 27, 46, 54, 62, 89, 116, 123, 139, 159, 166, 248 [best: 1000] 3715146711040
13, 27, 46, 54, 62, 90, 102, 106, 109, 173, 185, 217 [best: 1000] 3719441678336
13, 27, 46, 54, 62, 91, 96, 97, 107, 135, 197, 217 [best: 1000] 3723736645632
13, 27, 46, 54, 62, 91, 115, 122, 142, 154, 158, 199 [best: 1000] 3728031612928
13, 27, 46, 54, 62, 92, 116, 117, 153, 170, 179, 185, 302 [best: 1000] 3732326580224
13, 27, 46, 54, 62, 94, 106, 125, 166, 168, 170, 181 [best: 1000] 3736621547520
13, 27, 46, 54, 62, 96, 106, 110, 128, 145, 161, 185 [best: 1000] 3740916514816
13, 27, 46, 54, 63, 64, 69, 89, 92, 107, 199, 207 [best: 1000] 3745211482112
13, 27, 46, 54, 63, 64, 75, 76, 83, 149, 174, 211 [best: 1000] 3749506449408
13, 27, 46, 54, 63, 64, 89, 109, 138, 168, 222, 232 [best: 1000] 3753801416704
13, 27, 46, 54, 63, 64, 115, 117, 126, 155, 198, 212 [best: 1000] 3758096384000
13, 27, 46, 54, 63, 65, 82, 85, 104, 110, 115, 139 [best: 1000] 3762391351296
13, 27, 46, 54, 63, 66, 71, 74, 101, 135, 166, 218 [best: 1000] 3766686318592
13, 27, 46, 54, 63, 66, 86, 101, 113, 133, 143, 163 [best: 1000] 3770981285888
13, 27, 46, 54, 63, 67, 70, 88, 144, 148, 181, 189 [best: 1000] 3775276253184
13, 27, 46, 54, 63, 67, 84, 95, 136, 142, 157, 192 [best: 1000] 3779571220480
13, 27, 46, 54, 63, 68, 69, 127, 147, 151, 197, 239 [best: 1000] 3783866187776
13, 27, 46, 54, 63, 68, 79, 82, 88, 153, 171, 182 [best: 1000] 3788161155072
13, 27, 46, 54, 63, 68, 95, 99, 144, 168, 178, 217 [best: 1000] 3792456122368
13, 27, 46, 54, 63, 69, 72, 95, 97, 159, 183, 188 [best: 1000] 3796751089664
13, 27, 46, 54, 63, 69, 80, 91, 134, 158, 181, 203 [best: 1000] 3801046056960
13, 27, 46, 54, 63, 69, 91, 100, 135, 146, 155, 197 [best: 1000] 3805341024256
13, 27, 46, 54, 63, 69, 106, 133, 161, 168, 177, 193, 216 [best: 1000] 3809635991552
13, 27, 46, 54, 63, 70, 76, 78, 80, 96, 101, 124 [best: 1000] 3813930958848
13, 27, 46, 54, 63, 70, 93, 102, 147, 170, 196, 215 [best: 1000] 3818225926144
13, 27, 46, 54, 63, 71, 74, 89, 163, 170, 205, 249 [best: 1000] 3822520893440
13, 27, 46, 54, 63, 71, 89, 93, 104, 144, 165, 240 [best: 1000] 3826815860736
13, 27, 46, 54, 63, 72, 73, 76, 93, 108, 113, 217 [best: 1000] 3831110828032
13, 27, 46, 54, 63, 72, 78, 115, 127, 178, 195, 206 [best: 1000] 3835405795328
13, 27, 46, 54, 63, 72, 86, 120, 138, 176, 187, 236 [best: 1000] 3839700762624
13, 27, 46, 54, 63, 72, 93, 118, 122, 180, 192, 200 [best: 1000] 3843995729920
13, 27, 46, 54, 63, 72, 103, 146, 168, 186, 194, 245 [best: 1000] 3848290697216
13, 27, 46, 54, 63, 72, 119, 139, 155, 182, 184 [best: 1000] 3852585664512
13, 27, 46, 54, 63, 73, 83, 91, 117, 137, 188, 199 [best: 1000] 3856880631808
13, 27, 46, 54, 63, 73, 95, 122, 123, 190, 195, 239 [best: 1000] 3861175599104
13, 27, 46, 54, 63, 74, 75, 116, 145, 146, 201, 206 [best: 1000] 3865470566400
13, 27, 46, 54, 63, 74, 87, 95, 155, 161, 162, 218 [best: 1000] 3869765533696
13, 27, 46, 54, 63, 74, 99, 110, 126, 136, 212, 219 [best: 1000] 3874060500992
13, 27, 46, 54, 63, 75, 79, 91, 120, 121, 173, 186 [best: 1000] 3878355468288
13, 27, 46, 54, 63, 75, 96, 99, 127, 150, 171, 195 [best: 1000] 3882650435584
13, 27, 46, 54, 63, 76, 89, 93, 140, 176, 212, 224 [best: 1000] 3886945402880
13, 27, 46, 54, 63, 77, 97, 99, 104, 128, 143, 151 [best: 1000] 3891240370176
13, 27, 46, 54, 63, 78, 100, 104, 110, 118, 126, 184 [best: 1000] 3895535337472
13, 27, 46, 54, 63, 79, 91, 116, 124, 156, 163, 230 [best: 1000] 3899830304768
13, 27, 46, 54, 63, 80, 88, 91, 109, 131, 164, 191 [best: 1000] 3904125272064
13, 27, 46, 54, 63, 81, 93, 134, 160, 173, 187, 220 [best: 1000] 3908420239360
13, 27, 46, 54, 63, 82, 104, 105, 143, 156, 165, 172 [best: 1000] 3912715206656
13, 27, 46, 54, 63, 84, 87, 109, 121, 166, 199, 201 [best: 1000] 3917010173952
13, 27, 46, 54, 63, 85, 94, 115, 124, 127, 135, 212 [best: 1000] 3921305141248
13, 27, 46, 54, 63, 87, 89, 98, 134, 168, 182, 209 [best: 1000] 3925600108544
13, 27, 46, 54, 63, 88, 90, 106, 141, 191, 194, 206 [best: 1000] 3929895075840
13, 27, 46, 54, 63, 89, 94, 99, 104, 107, 165, 190 [best: 1000] 3934190043136
13, 27, 46, 54, 63, 89, 108, 109, 154, 181, 244, 264 [best: 1000] 3938485010432
13, 27, 46, 54, 63, 90, 96, 104, 105, 128, 193, 194 [best: 1000] 3942779977728
13, 27, 46, 54, 63, 91, 94, 96, 138, 174, 185, 218 [best: 1000] 3947074945024
13, 27, 46, 54, 63, 92, 93, 105, 107, 135, 198, 262 [best: 1000] 3951369912320
13, 27, 46, 54, 63, 93, 107, 108, 145, 180, 192, 264 [best: 1000] 3955664879616
13, 27, 46, 54, 63, 95, 109, 125, 139, 143, 147, 174 [best: 1000] 3959959846912
13, 27, 46, 54, 64, 65, 68, 99, 116, 133, 171, 234 [best: 1000] 3964254814208
13, 27, 46, 54, 64, 65, 76, 81, 99, 128, 160, 167 [best: 1000] 3968549781504
13, 27, 46, 54, 64, 65, 91, 112, 124, 137, 212, 240 [best: 1000] 3972844748800
13, 27, 46, 54, 64, 66, 69, 113, 138, 146, 180, 196 [best: 1000] 3977139716096
13, 27, 46, 54, 64, 66, 75, 108, 120, 129, 161, 185 [best: 1000] 3981434683392
13, 27, 46, 54, 64, 66, 89, 90, 134, 188, 208, 227 [best: 1000] 3985729650688
13, 27, 46, 54, 64, 67, 68, 71, 143, 145, 181, 203 [best: 1000] 3990024617984
13, 27, 46, 54, 64, 67, 73, 89, 137, 166, 171, 208 [best: 1000] 3994319585280
13, 27, 46, 54, 64, 67, 83, 91, 105, 120, 180, 184 [best: 1000] 3998614552576
13, 27, 46, 54, 64, 67, 94, 109, 135, 137, 204, 212 [best: 1000] 4002909519872
13, 27, 46, 54, 64, 68, 70, 84, 134, 146, 154, 225 [best: 1000] 4007204487168
13, 27, 46, 54, 64, 68, 74, 100, 135, 159, 181, 207 [best: 1000] 4011499454464
13, 27, 46, 54, 64, 68, 83, 91, 152, 164, 169, 261 [best: 1000] 4015794421760
13, 27, 46, 54, 64, 68, 91, 99, 106, 110, 140, 158 [best: 1000] 4020089389056
13, 27, 46, 54, 64, 68, 105, 124, 160, 167, 217, 222, 260 [best: 1000] 4024384356352
13, 27, 46, 54, 64, 69, 72, 73, 86, 137, 151, 221 [best: 1000] 4028679323648
13, 27, 46, 54, 64, 69, 75, 95, 116, 142, 152, 238 [best: 1000] 4032974290944
13, 27, 46, 54, 64, 69, 82, 108, 143, 165, 188, 199 [best: 1000] 4037269258240
13, 27, 46, 54, 64, 69, 89, 96, 97, 121, 197, 242 [best: 1000] 4041564225536
13, 27, 46, 54, 64, 69, 96, 98, 141, 169, 178, 186 [best: 1000] 4045859192832
13, 27, 46, 54, 64, 69, 110, 114, 120, 137, 164, 168, 274 [best: 1000] 4050154160128
13, 27, 46, 54, 64, 70, 72, 104, 117, 128, 154, 162 [best: 1000] 4054449127424
13, 27, 46, 54, 64, 70, 80, 81, 136, 157, 198, 211 [best: 1000] 4058744094720
13, 27, 46, 54, 64, 70, 90, 95, 96, 130, 165, 201 [best: 1000] 4063039062016
13, 27, 46, 54, 64, 70, 105, 130, 137, 173, 218 [best: 1000] 4067334029312
13, 27, 46, 54, 64, 71, 74, 83, 109, 130, 167, 221 [best: 1000] 4071628996608
13, 27, 46, 54, 64, 71, 81, 96, 98, 111, 112, 183 [best: 1000] 4075923963904
13, 27, 46, 54, 64, 71, 89, 121, 149, 153, 186, 227, 264 [best: 1000] 4080218931200
13, 27, 46, 54, 64, 71, 99, 126, 133, 187, 199, 218 [best: 1000] 4084513898496
13, 27, 46, 54, 64, 72, 73, 93, 116, 172, 204, 205 [best: 1000] 4088808865792
13, 27, 46, 54, 64, 72, 76, 101, 127, 153, 154, 177 [best: 1000] 4093103833088
13, 27, 46, 54, 64, 72, 81, 101, 160, 175, 236, 251 [best: 1000] 4097398800384
13, 27, 46, 54, 64, 72, 85, 104, 115, 118, 139, 155 [best: 1000] 4101693767680
13, 27, 46, 54, 64, 72, 89, 127, 131, 146, 165, 236 [best: 1000] 4105988734976
13, 27, 46, 54, 64, 72, 93, 115, 163, 174, 175, 215 [best: 1000] 4110283702272
13, 27, 46, 54, 64, 72, 100, 103, 185, 193, 205, 261 [best: 1000] 4114578669568
13, 27, 46, 54, 64, 72, 107, 123, 124, 128, 130, 250 [best: 1000] 4118873636864
13, 27, 46, 54, 64, 72, 116, 120, 156, 162, 197, 200 [best: 1000] 4123168604160
13, 27, 46, 54, 64, 73, 74, 123, 141, 148, 201, 246 [best: 1000] 4127463571456
13, 27, 46, 54, 64, 73, 82, 83, 119, 167, 182, 226 [best: 1000] 4131758538752
13, 27, 46, 54, 64, 73, 88, 91, 98, 154, 163, 185 [best: 1000] 4136053506048
13, 27, 46, 54, 64, 73, 94, 100, 134, 193, 198, 235 [best: 1000] 4140348473344
13, 27, 46, 54, 64, 73, 105, 131, 160, 162, 167, 215 [best: 1000] 4144643440640
13, 27, 46, 54, 64, 74, 75, 97, 105, 123, 143 [best: 1000] 4148938407936
13, 27, 46, 54, 64, 74, 81, 124, 128, 177, 213, 219 [best: 1000] 4153233375232
13, 27, 46, 54, 64, 74, 87, 99, 139, 177, 180, 218 [best: 1000] 4157528342528
13, 27, 46, 54, 64, 74, 92, 123, 124, 127, 177, 215 [best: 1000] 4161823309824
13, 27, 46, 54, 64, 74, 102, 105, 139, 156, 217, 235 [best: 1000] 4166118277120
13, 27, 46, 54, 64, 74, 117, 119, 152, 188, 202, 244 [best: 1000] 4170413244416
13, 27, 46, 54, 64, 75, 82, 88, 119, 143, 157, 224 [best: 1000] 4174708211712
13, 27, 46, 54, 64, 75, 90, 91, 104, 171, 215, 234 [best: 1000] 4179003179008
13, 27, 46, 54, 64, 75, 100, 107, 112, 182, 196, 228 [best: 1000] 4183298146304
13, 27, 46, 54, 64, 76, 79, 97, 122, 157, 180, 183 [best: 1000] 4187593113600
13, 27, 46, 54, 64, 76, 95, 97, 105, 148, 160, 195 [best: 1000] 4191888080896
13, 27, 46, 54, 64, 77, 90, 106, 107, 128, 133, 204 [best: 1000] 4196183048192
13, 27, 46, 54, 64, 78, 85, 91, 93, 115, 140, 152 [best: 1000] 4200478015488
13, 27, 46, 54, 64, 78, 95, 102, 131, 150, 201, 205 [best: 1000] 4204772982784
13, 27, 46, 54, 64, 79, 82, 135, 149, 157, 189, 239 [best: 1000] 4209067950080
13, 27, 46, 54, 64, 79, 91, 121, 128, 162, 211, 249 [best: 1000] 4213362917376
13, 27, 46, 54, 64, 79, 108, 114, 149, 177, 217, 251 [best: 1000] 4217657884672
13, 27, 46, 54, 64, 80, 91, 118, 123, 147, 202, 224 [best: 1000] 4221952851968
13, 27, 46, 54, 64, 81, 86, 90, 156, 165, 209, 231 [best: 1000] 4226247819264
13, 27, 46, 54, 64, 81, 101, 106, 146, 162, 170, 203 [best: 1000] 4230542786560
13, 27, 46, 54, 64, 82, 89, 94, 95, 132, 181, 189 [best: 1000] 4234837753856
13, 27, 46, 54, 64, 82, 103, 108, 125, 138, 156, 207 [best: 1000] 4239132721152
13, 27, 46, 54, 64, 83, 88, 91, 145, 148, 160, 162 [best: 1000] 4243427688448
13, 27, 46, 54, 64, 83, 98, 116, 138, 163, 177, 187 [best: 1000] 4247722655744
13, 27, 46, 54, 64, 84, 86, 94, 123, 133, 183, 224 [best: 1000] 4252017623040
13, 27, 46, 54, 64, 84, 100, 110, 128, 153, 205, 215 [best: 1000] 4256312590336
13, 27, 46, 54, 64, 85, 90, 99, 107, 176, 194 [best: 1000] 4260607557632
13, 27, 46, 54, 64, 85, 99, 114, 164, 175, 215, 224 [best: 1000] 4264902524928
13, 27, 46, 54, 64, 85, 122, 138, 169, 200, 221, 227 [best: 1000] 4269197492224
13, 27, 46, 54, 64, 86, 96, 118, 131, 168, 178, 215 [best: 1000] 4273492459520
13, 27, 46, 54, 64, 87, 89, 130, 137, 141, 192, 198 [best: 1000] 4277787426816
13, 27, 46, 54, 64, 87, 101, 110, 119, 170, 209, 228 [best: 1000] 4282082394112
13, 27, 46, 54, 64, 88, 91, 99, 150, 168, 217, 235 [best: 1000] 4286377361408
13, 27, 46, 54, 64, 88, 116, 128, 143, 145, 193, 226 [best: 1000] 4290672328704
13, 27, 46, 54, 64, 89, 101, 113, 138, 190, 228, 247 [best: 1000] 4294967296000
13, 27, 46, 54, 64, 90, 92, 100, 117, 187, 192, 267 [best: 1000] 4299262263296
13, 27, 46, 54, 64, 90, 99, 114, 151, 165, 211, 224 [best: 1000] 4303557230592
13, 27, 46, 54, 64, 90, 110, 123, 167, 180, 187, 216 [best: 1000] 4307852197888
13, 27, 46, 54, 64, 91, 92, 103, 151, 196, 202, 215 [best: 1000] 4312147165184
13, 27, 46, 54, 64, 91, 102, 141, 162, 198, 212, 217 [best: 1000] 4316442132480
13, 27, 46, 54, 64, 91, 124, 125, 136, 173, 198, 204 [best: 1000] 4320737099776
13, 27, 46, 54, 64, 92, 101, 108, 113, 133, 247, 249 [best: 1000] 4325032067072
13, 27, 46, 54, 64, 92, 111, 140, 177, 190, 209, 216 [best: 1000] 4329327034368
13, 27, 46, 54, 64, 93, 101, 124, 145, 183, 209, 229 [best: 1000] 4333622001664
13, 27, 46, 54, 64, 94, 102, 110, 125, 128, 138, 144 [best: 1000] 4337916968960
13, 27, 46, 54, 64, 95, 98, 104, 126, 131, 168, 222 [best: 1000] 4342211936256
13, 27, 46, 54, 64, 96, 101, 109, 144, 157, 166, 197 [best: 1000] 4346506903552
13, 27, 46, 54, 64, 97, 109, 132, 169, 182, 195, 221 [best: 1000] 4350801870848
13, 27, 46, 54, 64, 99, 102, 104, 142, 169, 187, 228 [best: 1000] 4355096838144
13, 27, 46, 54, 64, 100, 111, 124, 147, 173, 211, 253 [best: 1000] 4359391805440
13, 27, 46, 54, 65, 66, 72, 96, 108, 112, 116, 209 [best: 1000] 4363686772736
13, 27, 46, 54, 65, 67, 71, 84, 131, 133, 155, 226 [best: 1000] 4367981740032
13, 27, 46, 54, 65, 68, 69, 111, 132, 163, 164, 189 [best: 1000] 4372276707328
13, 27, 46, 54, 65, 68, 93, 97, 102, 141, 163, 211 [best: 1000] 4376571674624
13, 27, 46, 54, 65, 69, 79, 89, 102, 150, 155, 191 [best: 1000] 4380866641920
13, 27, 46, 54, 65, 69, 101, 109, 129, 161, 181, 188 [best: 1000] 4385161609216
13, 27, 46, 54, 65, 70, 88, 109, 130, 148, 183, 229 [best: 1000] 4389456576512
13, 27, 46, 54, 65, 71, 83, 119, 120, 125, 136, 144 [best: 1000] 4393751543808
13, 27, 46, 54, 65, 72, 76, 109, 134, 151, 161, 180 [best: 1000] 4398046511104
13, 27, 46, 54, 65, 72, 90, 92, 142, 170, 171 [best: 1000] 4402341478400
13, 27, 46, 54, 65, 72, 104, 111, 124, 189, 221, 248 [best: 1000] 4406636445696
13, 27, 46, 54, 65, 73, 86, 110, 111, 123, 152, 211 [best: 1000] 4410931412992
13, 27, 46, 54, 65, 74, 80, 99, 117, 146, 177, 221 [best: 1000] 4415226380288
13, 27, 46, 54, 65, 74, 109, 119, 154, 157, 166, 220 [best: 1000] 4419521347584
13, 27, 46, 54, 65, 76, 85, 107, 124, 148, 188, 212 [best: 1000] 4423816314880
13, 27, 46, 54, 65, 78, 96, 104, 113, 146, 167, 198 [best: 1000] 4428111282176
13, 27, 46, 54, 65, 79, 97, 109, 111, 149, 165, 203 [best: 1000] 4432406249472
13, 27, 46, 54, 65, 82, 93, 96, 101, 107, 158, 174 [best: 1000] 4436701216768
13, 27, 46, 54, 65, 84, 89, 94, 116, 151, 158, 181 [best: 1000] 4440996184064
13, 27, 46, 54, 65, 85, 89, 91, 112, 143, 172, 204 [best: 1000] 4445291151360
13, 27, 46, 54, 65, 87, 89, 90, 108, 122, 153, 198 [best: 1000] 4449586118656
13, 27, 46, 54, 66, 67, 69, 97, 103, 108, 114, 183 [best: 1000] 4453881085952
13, 27, 46, 54, 66, 67, 95, 113, 114, 127, 160, 195 [best: 1000] 4458176053248
13, 27, 46, 54, 66, 68, 78, 85, 89, 98, 104, 198 [best: 1000] 4462471020544
13, 27, 46, 54, 66, 68, 101, 136, 140, 168, 192, 222 [best: 1000] 4466765987840
13, 27, 46, 54, 66, 69, 77, 78, 86, 102, 137, 208 [best: 1000] 4471060955136
13, 27, 46, 54, 66, 69, 93, 105, 147, 149, 153, 172 [best: 1000] 4475355922432
13, 27, 46, 54, 66, 70, 72, 124, 127, 161, 196, 199 [best: 1000] 4479650889728
13, 27, 46, 54, 66, 70, 93, 110, 139, 162, 204, 207 [best: 1000] 4483945857024
13, 27, 46, 54, 66, 71, 77, 112, 124, 139, 179 [best: 1000] 4488240824320
13, 27, 46, 54, 66, 71, 97, 127, 132, 169, 190, 198 [best: 1000] 4492535791616
13, 27, 46, 54, 66, 72, 78, 81, 122, 148, 164, 220 [best: 1000] 4496830758912
13, 27, 46, 54, 66, 72, 88, 93, 139, 174, 183, 208 [best: 1000] 4501125726208
13, 27, 46, 54, 66, 72, 101, 113, 138, 158, 173, 220 [best: 1000] 4505420693504
13, 27, 46, 54, 66, 73, 75, 117, 130, 135, 177, 200 [best: 1000] 4509715660800
13, 27, 46, 54, 66, 73, 90, 119, 121, 128, 143, 216 [best: 1000] 4514010628096
13, 27, 46, 54, 66, 74, 75, 76, 126, 157, 163, 203 [best: 1000] 4518305595392
13, 27, 46, 54, 66, 74, 88, 91, 111, 168, 204, 227 [best: 1000] 4522600562688
13, 27, 46, 54, 66, 74, 106, 125, 142, 148, 169, 202, 258 [best: 1000] 4526895529984
13, 27, 46, 54, 66, 75, 96, 106, 130, 158, 181, 220 [best: 1000] 4531190497280
13, 27, 46, 54, 66, 77, 86, 95, 106, 142, 159, 164 [best: 1000] 4535485464576
13, 27, 46, 54, 66, 78, 97, 101, 103, 156, 189, 236 [best: 1000] 4539780431872
13, 27, 46, 54, 66, 79, 91, 102, 121, 124, 182 [best: 1000] 4544075399168
13, 27, 46, 54, 66, 80, 89, 127, 138, 152, 196, 231 [best: 1000] 4548370366464
13, 27, 46, 54, 66, 82, 91, 96, 131, 139, 178, 185 [best: 1000] 4552665333760
13, 27, 46, 54, 66, 84, 108, 109, 117, 120, 145, 208 [best: 1000] 4556960301056
13, 27, 46, 54, 66, 86, 90, 121, 122, 142, 162, 219 [best: 1000] 4561255268352
13, 27, 46, 54, 66, 87, 92, 113, 119, 123, 194, 215 [best: 1000] 4565550235648
13, 27, 46, 54, 66, 88, 96, 99, 104, 131, 145, 165 [best: 1000] 4569845202944
13, 27, 46, 54, 66, 89, 104, 109, 121, 138, 162, 177 [best: 1000] 4574140170240
13, 27, 46, 54, 66, 91, 111, 119, 130, 142, 195, 201 [best: 1000] 4578435137536
13, 27, 46, 54, 66, 95, 98, 110, 111, 119, 138, 198 [best: 1000] 4582730104832
13, 27, 46, 54, 67, 68, 78, 103, 105, 106, 135, 140 [best: 1000] 4587025072128
13, 27, 46, 54, 67, 68, 101, 103, 122, 144, 212, 223 [best: 1000] 4591320039424
13, 27, 46, 54, 67, 69, 75, 103, 140, 163, 206, 210 [best: 1000] 4595615006720
13, 27, 46, 54, 67, 69, 87, 110, 142, 164, 173, 205 [best: 1000] 4599909974016
13, 27, 46, 54, 67, 69, 104, 129, 143, 157, 184, 196, 209, 244 [best: 1000] 4604204941312
13, 27, 46, 54, 67, 70, 80, 94, 132, 136, 141, 191 [best: 1000] 4608499908608
13, 27, 46, 54, 67, 71, 72, 87, 130, 139, 147, 191 [best: 1000] 4612794875904
13, 27, 46, 54, 67, 71, 85, 102, 115, 150, 151, 240 [best: 1000] 4617089843200
13, 27, 46, 54, 67, 72, 73, 79, 88, 108, 176, 207 [best: 1000] 4621384810496
13, 27, 46, 54, 67, 72, 81, 103, 156, 204, 219, 263 [best: 1000] 4625679777792
13, 27, 46, 54, 67, 72, 91, 104, 118, 163, 176, 205, 280 [best: 1000] 4629974745088
13, 27, 46, 54, 67, 72, 104, 129, 135, 149, 198, 209, 245 [best: 1000] 4634269712384
13, 27, 46, 54, 67, 73, 79, 116, 130, 172, 196, 205 [best: 1000] 4638564679680
13, 27, 46, 54, 67, 73, 97, 102, 140, 164, 223, 232 [best: 1000] 4642859646976
13, 27, 46, 54, 67, 74, 80, 87, 111, 121, 142, 172 [best: 1000] 4647154614272
13, 27, 46, 54, 67, 74, 98, 102, 103, 161, 178, 207 [best: 1000] 4651449581568
13, 27, 46, 54, 67, 75, 86, 92, 111, 136, 191, 211 [best: 1000] 4655744548864
13, 27, 46, 54, 67, 76, 85, 104, 113, 133, 160, 177 [best: 1000] 4660039516160
13, 27, 46, 54, 67, 78, 84, 103, 105, 121, 137, 176 [best: 1000] 4664334483456
13, 27, 46, 54, 67, 78, 113, 132, 143, 155, 173, 189 [best: 1000] 4668629450752
13, 27, 46, 54, 67, 79, 96, 113, 150, 163, 190, 193 [best: 1000] 4672924418048
13, 27, 46, 54, 67, 80, 98, 120, 132, 150, 178, 221 [best: 1000] 4677219385344
13, 27, 46, 54, 67, 83, 85, 108, 112, 113, 120, 171 [best: 1000] 4681514352640
13, 27, 46, 54, 67, 84, 92, 117, 143, 151, 159, 173, 210 [best: 1000] 4685809319936
13, 27, 46, 54, 67, 85, 97, 137, 141, 147, 203, 251 [best: 1000] 4690104287232
13, 27, 46, 54, 67, 86, 98, 108, 157, 179, 225, 234 [best: 1000] 4694399254528
13, 27, 46, 54, 67, 87, 98, 119, 146, 149, 174, 194 [best: 1000] 4698694221824
13, 27, 46, 54, 67, 88, 105, 133, 146, 147, 166, 209 [best: 1000] 4702989189120
13, 27, 46, 54, 67, 91, 93, 115, 116, 167, 197, 221 [best: 1000] 4707284156416
13, 27, 46, 54, 67, 93, 102, 109, 146, 156, 199, 202 [best: 1000] 4711579123712
13, 27, 46, 54, 68, 69, 72, 74, 91, 94, 147, 216 [best: 1000] 4715874091008
13, 27, 46, 54, 68, 69, 79, 82, 124, 137, 202, 212 [best: 1000] 4720169058304
13, 27, 46, 54, 68, 69, 87, 127, 140, 161, 176, 241 [best: 1000] 4724464025600
13, 27, 46, 54, 68, 69, 102, 133, 153, 156 [best: 1000] 4728758992896
13, 27, 46, 54, 68, 70, 73, 74, 144, 154, 172, 176, 195 [best: 1000] 4733053960192
13, 27, 46, 54, 68, 70, 85, 118, 146, 148, 165, 229 [best: 1000] 4737348927488
13, 27, 46, 54, 68, 70, 104, 124, 147, 206, 220, 271 [best: 1000] 4741643894784
13, 27, 46, 54, 68, 71, 82, 96, 122, 134, 164, 208 [best: 1000] 4745938862080
13, 27, 46, 54, 68, 72, 73, 78, 131, 156, 216, 245 [best: 1000] 4750233829376
13, 27, 46, 54, 68, 72, 78, 100, 165, 180, 200, 235 [best: 1000] 4754528796672
13, 27, 46, 54, 68, 72, 85, 93, 106, 145, 197, 223 [best: 1000] 4758823763968
13, 27, 46, 54, 68, 72, 90, 136, 141, 178, 194, 246 [best: 1000] 4763118731264
13, 27, 46, 54, 68, 72, 100, 107, 123, 178, 208, 269 [best: 1000] 4767413698560
13, 27, 46, 54, 68, 72, 110, 113, 151, 185, 223, 286 [best: 1000] 4771708665856
13, 27, 46, 54, 68, 73, 76, 96, 106, 143, 172, 203 [best: 1000] 4776003633152
13, 27, 46, 54, 68, 73, 86, 98, 105, 160, 166, 218 [best: 1000] 4780298600448
13, 27, 46, 54, 68, 73, 99, 111, 127, 149, 193, 233 [best: 1000] 4784593567744
13, 27, 46, 54, 68, 74, 78, 83, 86, 130, 164, 175 [best: 1000] 4788888535040
13, 27, 46, 54, 68, 74, 87, 90, 148, 171, 176, 192 [best: 1000] 4793183502336
13, 27, 46, 54, 68, 74, 100, 102, 104, 125, 160, 185 [best: 1000] 4797478469632
13, 27, 46, 54, 68, 75, 80, 81, 110, 135, 169, 201 [best: 1000] 4801773436928
13, 27, 46, 54, 68, 75, 96, 100, 104, 114, 185, 209 [best: 1000] 4806068404224
13, 27, 46, 54, 68, 76, 87, 96, 102, 107, 156, 170 [best: 1000] 4810363371520
13, 27, 46, 54, 68, 77, 92, 94, 111, 117, 147, 159 [best: 1000] 4814658338816
13, 27, 46, 54, 68, 78, 87, 138, 155, 157, 183, 224 [best: 1000] 4818953306112
13, 27, 46, 54, 68, 78, 116, 129, 143, 183, 189, 227 [best: 1000] 4823248273408
13, 27, 46, 54, 68, 79, 88, 116, 163, 175, 180, 200, 237 [best: 1000] 4827543240704
13, 27, 46, 54, 68, 79, 106, 109, 129, 174, 207, 216 [best: 1000] 4831838208000
13, 27, 46, 54, 68, 80, 94, 120, 122, 123, 144, 186 [best: 1000] 4836133175296
13, 27, 46, 54, 68, 81, 99, 101, 147, 164, 195, 246 [best: 1000] 4840428142592
13, 27, 46, 54, 68, 82, 97, 112, 113, 120, 180, 201 [best: 1000] 4844723109888
13, 27, 46, 54, 68, 83, 92, 102, 105, 116, 132, 164 [best: 1000] 4849018077184
13, 27, 46, 54, 68, 84, 91, 100, 114, 130, 169, 216 [best: 1000] 4853313044480
13, 27, 46, 54, 68, 85, 92, 112, 123, 146, 154, 160 [best: 1000] 4857608011776
13, 27, 46, 54, 68, 85, 114, 120, 129, 142, 168, 247 [best: 1000] 4861902979072
13, 27, 46, 54, 68, 86, 92, 115, 149, 192, 195, 224 [best: 1000] 4866197946368
13, 27, 46, 54, 68, 86, 101, 152, 159, 162, 223, 257 [best: 1000] 4870492913664
13, 27, 46, 54, 68, 86, 112, 118, 140, 170, 176, 213 [best: 1000] 4874787880960
13, 27, 46, 54, 68, 87, 92, 119, 146, 159, 173, 200 [best: 1000] 4879082848256
13, 27, 46, 54, 68, 87, 112, 123, 161, 196, 208, 228 [best: 1000] 4883377815552
13, 27, 46, 54, 68, 88, 110, 123, 153, 154, 162, 170 [best: 1000] 4887672782848
13, 27, 46, 54, 68, 89, 107, 108, 111, 116, 193, 219 [best: 1000] 4891967750144
13, 27, 46, 54, 68, 91, 95, 108, 125, 127, 174, 202 [best: 1000] 4896262717440
13, 27, 46, 54, 68, 94, 96, 101, 124, 160, 174, 189 [best: 1000] 4900557684736
13, 27, 46, 54, 68, 95, 102, 113, 148, 167, 201, 219 [best: 1000] 4904852652032
13, 27, 46, 54, 68, 96, 106, 118, 153, 165, 201, 228, 236 [best: 1000] 4909147619328
13, 27, 46, 54, 69, 70, 75, 96, 130, 139, 149, 199 [best: 1000] 4913442586624
13, 27, 46, 54, 69, 70, 87, 89, 118, 160, 168, 232 [best: 1000] 4917737553920
13, 27, 46, 54, 69, 70, 97, 110, 117, 159, 185, 212 [best: 1000] 4922032521216
13, 27, 46, 54, 69, 71, 72, 116, 128, 169, 186, 209 [best: 1000] 4926327488512
13, 27, 46, 54, 69, 71, 79, 95, 133, 134, 142, 158 [best: 1000] 4930622455808
13, 27, 46, 54, 69, 71, 88, 108, 145, 169, 193, 229 [best: 1000] 4934917423104
13, 27, 46, 54, 69, 71, 97, 136, 143, 148, 182, 231 [best: 1000] 4939212390400
13, 27, 46, 54, 69, 72, 73, 74, 127, 141, 142, 235 [best: 1000] 4943507357696
13, 27, 46, 54, 69, 72, 78, 93, 135, 139, 164, 219 [best: 1000] 4947802324992
13, 27, 46, 54, 69, 72, 85, 92, 95, 115, 129, 176 [best: 1000] 4952097292288
13, 27, 46, 54, 69, 72, 90, 118, 123, 139, 169, 175, 233 [best: 1000] 4956392259584
13, 27, 46, 54, 69, 72, 100, 102, 112, 157, 215, 220 [best: 1000] 4960687226880
13, 27, 46, 54, 69, 72, 112, 125, 149, 187, 241, 248 [best: 1000] 4964982194176
13, 27, 46, 54, 69, 73, 76, 132, 145, 170, 194, 236 [best: 1000] 4969277161472
13, 27, 46, 54, 69, 73, 84, 108, 137, 142, 211, 225, 244 [best: 1000] 4973572128768
13, 27, 46, 54, 69, 73, 90, 114, 135, 188, 189, 200, 231 [best: 1000] 4977867096064
13, 27, 46, 54, 69, 73, 100, 123, 128, 135, 163, 209 [best: 1000] 4982162063360
13, 27, 46, 54, 69, 73, 116, 121, 131, 133, 195, 238 [best: 1000] 4986457030656
13, 27, 46, 54, 69, 74, 81, 90, 94, 140, 150, 167, 265 [best: 1000] 4990751997952
13, 27, 46, 54, 69, 74, 90, 104, 124, 137, 144, 178, 251 [best: 1000] 4995046965248
13, 27, 46, 54, 69, 74, 105, 108, 165, 171, 214, 241 [best: 1000] 4999341932544
13, 27, 46, 54, 69, 75, 80, 90, 140, 167, 185, 220, 244 [best: 1000] 5003636899840
13, 27, 46, 54, 69, 75, 90, 94, 119, 130, 189, 226, 267 [best: 1000] 5007931867136
13, 27, 46, 54, 69, 75, 103, 107, 109, 140, 166, 170 [best: 1000] 5012226834432
13, 27, 46, 54, 69, 76, 82, 116, 121, 128, 136, 137 [best: 1000] 5016521801728
13, 27, 46, 54, 69, 76, 100, 121, 138, 159, 206, 213 [best: 1000] 5020816769024
13, 27, 46, 54, 69, 77, 90, 112, 122, 131, 139, 157, 181 [best: 1000] 5025111736320
13, 27, 46, 54, 69, 78, 85, 87, 101, 124, 163, 189 [best: 1000] 5029406703616
13, 27, 46, 54, 69, 78, 94, 128, 133, 153, 170, 245 [best: 1000] 5033701670912
13, 27, 46, 54, 69, 79, 82, 101, 137, 182, 196, 204 [best: 1000] 5037996638208
13, 27, 46, 54, 69, 79, 90, 107, 131, 134, 137, 141, 198 [best: 1000] 5042291605504
13, 27, 46, 54, 69, 79, 103, 113, 133, 150, 174, 211 [best: 1000] 5046586572800
13, 27, 46, 54, 69, 80, 86, 127, 145, 146, 147, 167 [best: 1000] 5050881540096
13, 27, 46, 54, 69, 80, 105, 135, 142, 170, 181, 198 [best: 1000] 5055176507392
13, 27, 46, 54, 69, 81, 91, 98, 137, 200, 220, 250 [best: 1000] 5059471474688
13, 27, 46, 54, 69, 82, 87, 89, 115, 120, 137, 160 [best: 1000] 5063766441984
13, 27, 46, 54, 69, 82, 102, 119, 159, 171, 203, 223 [best: 1000] 5068061409280
13, 27, 46, 54, 69, 83, 89, 131, 169, 197, 209, 243 [best: 1000] 5072356376576
13, 27, 46, 54, 69, 83, 103, 115, 127, 137, 140, 143 [best: 1000] 5076651343872
13, 27, 46, 54, 69, 84, 89, 121, 150, 157, 178, 246 [best: 1000] 5080946311168
13, 27, 46, 54, 69, 84, 117, 123, 135, 148, 196, 221 [best: 1000] 5085241278464
13, 27, 46, 54, 69, 85, 98, 108, 121, 141, 154, 185 [best: 1000] 5089536245760
13, 27, 46, 54, 69, 86, 90, 117, 127, 160, 166, 216, 237 [best: 1000] 5093831213056
13, 27, 46, 54, 69, 87, 89, 111, 140, 188, 197, 210, 293 [best: 1000] 5098126180352
13, 27, 46, 54, 69, 87, 98, 132, 140, 146, 198, 208 [best: 1000] 5102421147648
13, 27, 46, 54, 69, 87, 123, 150, 175, 181, 185, 226 [best: 1000] 5106716114944
13, 27, 46, 54, 69, 88, 99, 102, 120, 151, 171, 196 [best: 1000] 5111011082240
13, 27, 46, 54, 69, 89, 90, 110, 141, 207, 217, 225, 227 [best: 1000] 5115306049536
13, 27, 46, 54, 69, 89, 98, 107, 109, 124, 167, 262 [best: 1000] 5119601016832
13, 27, 46, 54, 69, 89, 110, 118, 128, 175, 176, 209 [best: 1000] 5123895984128
13, 27, 46, 54, 69, 90, 91, 94, 108, 111, 115, 130, 271 [best: 1000] 5128190951424
13, 27, 46, 54, 69, 90, 94, 115, 118, 128, 137, 154, 188 [best: 1000] 5132485918720
13, 27, 46, 54, 69, 90, 100, 111, 115, 169, 195, 227, 239 [best: 1000] 5136780886016
13, 27, 46, 54, 69, 90, 104, 115, 166, 175, 193, 198, 218 [best: 1000] 5141075853312
13, 27, 46, 54, 69, 90, 111, 115, 127, 154, 177, 235, 254 [best: 1000] 5145370820608
13, 27, 46, 54, 69, 90, 115, 119, 122, 153, 206, 224, 255 [best: 1000] 5149665787904
13, 27, 46, 54, 69, 90, 115, 132, 136, 169, 178, 193, 237 [best: 1000] 5153960755200
13, 27, 46, 54, 69, 91, 97, 125, 150, 181, 240, 256 [best: 1000] 5158255722496
13, 27, 46, 54, 69, 91, 110, 139, 148, 171, 179, 231 [best: 1000] 5162550689792
13, 27, 46, 54, 69, 92, 97, 114, 116, 117, 160, 202 [best: 1000] 5166845657088
13, 27, 46, 54, 69, 92, 123, 125, 137, 148, 161, 206 [best: 1000] 5171140624384
13, 27, 46, 54, 69, 94, 104, 108, 121, 122, 182, 185 [best: 1000] 5175435591680
13, 27, 46, 54, 69, 96, 108, 124, 140, 163, 184, 192 [best: 1000] 5179730558976
13, 27, 46, 54, 69, 98, 104, 148, 154, 164, 166, 194 [best: 1000] 5184025526272
13, 27, 46, 54, 69, 99, 112, 128, 155, 158, 177, 181 [best: 1000] 5188320493568
13, 27, 46, 54, 69, 101, 111, 142, 175, 182, 183, 217 [best: 1000] 5192615460864
13, 27, 46, 54, 69, 102, 114, 122, 158, 188, 220, 244, 272 [best: 1000] 5196910428160
13, 27, 46, 54, 70, 71, 72, 88, 103, 109, 119, 183 [best: 1000] 5201205395456
13, 27, 46, 54, 70, 71, 82, 104, 122, 132, 175, 193 [best: 1000] 5205500362752
13, 27, 46, 54, 70, 71, 97, 123, 142, 148, 166, 219 [best: 1000] 5209795330048
13, 27, 46, 54, 70, 72, 75, 104, 106, 145, 244, 258 [best: 1000] 5214090297344
13, 27, 46, 54, 70, 72, 82, 123, 133, 169, 198, 204 [best: 1000] 5218385264640
13, 27, 46, 54, 70, 72, 88, 122, 155, 175, 226 [best: 1000] 5222680231936
13, 27, 46, 54, 70, 72, 97, 114, 130, 145, 146, 218 [best: 1000] 5226975199232
13, 27, 46, 54, 70, 72, 106, 111, 118, 124, 161, 181 [best: 1000] 5231270166528
13, 27, 46, 54, 70, 73, 74, 85, 89, 120, 200, 233 [best: 1000] 5235565133824
13, 27, 46, 54, 70, 73, 87, 120, 142, 151, 216, 220 [best: 1000] 5239860101120
13, 27, 46, 54, 70, 74, 75, 97, 116, 136, 144, 145 [best: 1000] 5244155068416
13, 27, 46, 54, 70, 74, 85, 128, 141, 164, 182, 192 [best: 1000] 5248450035712
13, 27, 46, 54, 70, 74, 97, 99, 105, 112, 132, 189 [best: 1000] 5252745003008
13, 27, 46, 54, 70, 75, 76, 77, 114, 116, 153, 186 [best: 1000] 5257039970304
13, 27, 46, 54, 70, 75, 97, 103, 107, 128, 141, 235 [best: 1000] 5261334937600
13, 27, 46, 54, 70, 76, 93, 105, 119, 137, 140, 155 [best: 1000] 5265629904896
13, 27, 46, 54, 70, 78, 81, 105, 110, 125, 138, 148 [best: 1000] 5269924872192
13, 27, 46, 54, 70, 78, 103, 120, 124, 161, 232, 261, 263 [best: 1000] 5274219839488
13, 27, 46, 54, 70, 79, 89, 115, 143, 158, 159, 248 [best: 1000] 5278514806784
13, 27, 46, 54, 70, 80, 82, 126, 140, 152, 206 [best: 1000] 5282809774080
13, 27, 46, 54, 70, 81, 86, 120, 132, 143, 144, 203 [best: 1000] 5287104741376
13, 27, 46, 54, 70, 82, 87, 98, 109, 110, 171, 194, 210 [best: 1000] 5291399708672
13, 27, 46, 54, 70, 82, 110, 123, 128, 183, 207, 227, 239 [best: 1000] 5295694675968
13, 27, 46, 54, 70, 84, 87, 101, 124, 131, 135, 151 [best: 1000] 5299989643264
13, 27, 46, 54, 70, 85, 86, 109, 115, 188, 210, 228 [best: 1000] 5304284610560
13, 27, 46, 54, 70, 85, 105, 151, 156, 162, 190, 218 [best: 1000] 5308579577856
13, 27, 46, 54, 70, 86, 99, 110, 138, 155, 198, 215 [best: 1000] 5312874545152
13, 27, 46, 54, 70, 87, 92, 100, 104, 110, 138, 168 [best: 1000] 5317169512448
13, 27, 46, 54, 70, 87, 101, 105, 173, 194, 209, 253, 295 [best: 1000] 5321464479744
13, 27, 46, 54, 70, 87, 111, 122, 140, 162, 203, 217, 230 [best: 1000] 5325759447040
13, 27, 46, 54, 70, 88, 94, 104, 156, 167, 171, 248, 284 [best: 1000] 5330054414336
13, 27, 46, 54, 70, 89, 92, 108, 116, 119, 131, 152 [best: 1000] 5334349381632
13, 27, 46, 54, 70, 90, 104, 118, 133, 159, 182, 238 [best: 1000] 5338644348928
13, 27, 46, 54, 70, 93, 97, 109, 117, 130, 132, 168 [best: 1000] 5342939316224
13, 27, 46, 54, 70, 95, 98, 127, 145, 146, 183, 234 [best: 1000] 5347234283520
13, 27, 46, 54, 71, 72, 74, 75, 111, 176, 192, 212 [best: 1000] 5351529250816
13, 27, 46, 54, 71, 72, 79, 94, 100, 112, 150, 198 [best: 1000] 5355824218112
13, 27, 46, 54, 71, 72, 85, 93, 114, 177, 200, 235 [best: 1000] 5360119185408
13, 27, 46, 54, 71, 72, 92, 93, 95, 124, 133, 184 [best: 1000] 5364414152704
13, 27, 46, 54, 71, 72, 101, 103, 127, 170, 210, 245 [best: 1000] 5368709120000
13, 27, 46, 54, 71, 72, 110, 126, 160, 205, 224, 253 [best: 1000] 5373004087296
13, 27, 46, 54, 71, 73, 76, 100, 122, 181, 201, 206 [best: 1000] 5377299054592
13, 27, 46, 54, 71, 73, 87, 90, 100, 110, 129, 199 [best: 1000] 5381594021888
13, 27, 46, 54, 71, 73, 101, 135, 141, 151, 208, 221 [best: 1000] 5385888989184
13, 27, 46, 54, 71, 74, 78, 137, 157, 176, 185, 202 [best: 1000] 5390183956480
13, 27, 46, 54, 71, 74, 87, 102, 107, 161, 195, 210, 225 [best: 1000] 5394478923776
13, 27, 46, 54, 71, 74, 97, 136, 140, 147, 171, 203 [best: 1000] 5398773891072
13, 27, 46, 54, 71, 74, 118, 124, 159, 185, 210, 256 [best: 1000] 5403068858368
13, 27, 46, 54, 71, 75, 87, 93, 135, 145, 189, 233 [best: 1000] 5407363825664
13, 27, 46, 54, 71, 75, 106, 113, 123, 127, 150, 200 [best: 1000] 5411658792960
13, 27, 46, 54, 71, 76, 95, 105, 107, 129, 162, 179 [best: 1000] 5415953760256
13, 27, 46, 54, 71, 78, 79, 90, 96, 103, 177, 190 [best: 1000] 5420248727552
13, 27, 46, 54, 71, 78, 89, 115, 150, 168, 175, 214 [best: 1000] 5424543694848
13, 27, 46, 54, 71, 78, 119, 127, 138, 181, 208, 230 [best: 1000] 5428838662144
13, 27, 46, 54, 71, 79, 88, 134, 142, 157, 201, 275 [best: 1000] 5433133629440
13, 27, 46, 54, 71, 79, 105, 126, 134, 173, 209, 221 [best: 1000] 5437428596736
13, 27, 46, 54, 71, 80, 91, 126, 143, 167, 191, 196 [best: 1000] 5441723564032
13, 27, 46, 54, 71, 81, 94, 106, 115, 117, 141 [best: 1000] 5446018531328
13, 27, 46, 54, 71, 82, 90, 105, 107, 108, 230, 237 [best: 1000] 5450313498624
13, 27, 46, 54, 71, 82, 110, 125, 127, 175, 179, 209 [best: 1000] 5454608465920
13, 27, 46, 54, 71, 83, 102, 118, 123, 133, 174, 195 [best: 1000] 5458903433216
13, 27, 46, 54, 71, 84, 95, 102, 118, 146, 157 [best: 1000] 5463198400512
13, 27, 46, 54, 71, 84, 119, 149, 169, 191, 204, 205 [best: 1000] 5467493367808
13, 27, 46, 54, 71, 86, 90, 137, 152, 200, 202, 222 [best: 1000] 5471788335104
13, 27, 46, 54, 71, 87, 90, 115, 130, 138, 153, 156 [best: 1000] 5476083302400
13, 27, 46, 54, 71, 88, 94, 103, 124, 139, 189, 190 [best: 1000] 5480378269696
13, 27, 46, 54, 71, 88, 103, 124, 138, 160, 236, 275 [best: 1000] 5484673236992
13, 27, 46, 54, 71, 88, 114, 123, 128, 169, 187, 197 [best: 1000] 5488968204288
13, 27, 46, 54, 71, 89, 102, 103, 152, 167, 195, 251 [best: 1000] 5493263171584
13, 27, 46, 54, 71, 90, 106, 117, 155, 181, 191, 195 [best: 1000] 5497558138880
13, 27, 46, 54, 71, 92, 95, 105, 123, 168, 176, 177 [best: 1000] 5501853106176
13, 27, 46, 54, 71, 94, 102, 105, 140, 141, 164, 197 [best: 1000] 5506148073472
13, 27, 46, 54, 71, 97, 101, 112, 148, 174, 195, 215 [best: 1000] 5510443040768
13, 27, 46, 54, 72, 73, 74, 106, 146, 154, 214, 258 [best: 1000] 5514738008064
13, 27, 46, 54, 72, 73, 79, 137, 145, 157, 186, 218 [best: 1000] 5519032975360
13, 27, 46, 54, 72, 73, 84, 105, 125, 195, 200, 238 [best: 1000] 5523327942656
13, 27, 46, 54, 72, 73, 89, 91, 103, 185, 232, 252 [best: 1000] 5527622909952
13, 27, 46, 54, 72, 73, 92, 137, 184, 214, 228, 245 [best: 1000] 5531917877248
13, 27, 46, 54, 72, 73, 100, 112, 130, 162, 187, 215 [best: 1000] 5536212844544
13, 27, 46, 54, 72, 73, 110, 126, 137, 146, 183, 235 [best: 1000] 5540507811840
13, 27, 46, 54, 72, 74, 76, 88, 89, 138, 146, 214 [best: 1000] 5544802779136
13, 27, 46, 54, 72, 74, 82, 149, 155, 202, 203, 229 [best: 1000] 5549097746432
13, 27, 46, 54, 72, 74, 89, 90, 116, 120, 181, 244 [best: 1000] 5553392713728
13, 27, 46, 54, 72, 74, 95, 103, 119, 122, 189, 217 [best: 1000] 5557687681024
13, 27, 46, 54, 72, 74, 107, 122, 137, 151, 153, 239 [best: 1000] 5561982648320
13, 27, 46, 54, 72, 75, 78, 93, 107, 115, 127, 163 [best: 1000] 5566277615616
13, 27, 46, 54, 72, 75, 84, 129, 163, 164, 184, 204 [best: 1000] 5570572582912
13, 27, 46, 54, 72, 75, 90, 118, 130, 176, 193, 194 [best: 1000] 5574867550208
13, 27, 46, 54, 72, 75, 99, 131, 153, 175, 217, 238 [best: 1000] 5579162517504
13, 27, 46, 54, 72, 75, 119, 124, 135, 148, 160, 233 [best: 1000] 5583457484800
13, 27, 46, 54, 72, 76, 85, 125, 161, 178, 205, 211 [best: 1000] 5587752452096
13, 27, 46, 54, 72, 76, 94, 113, 134, 165, 193, 224 [best: 1000] 5592047419392
13, 27, 46, 54, 72, 77, 79, 110, 118, 133, 147, 209 [best: 1000] 5596342386688
13, 27, 46, 54, 72, 77, 91, 105, 121, 130, 170, 197 [best: 1000] 5600637353984
13, 27, 46, 54, 72, 78, 81, 109, 139, 182, 190, 253 [best: 1000] 5604932321280
13, 27, 46, 54, 72, 78, 87, 91, 150, 152, 163, 235 [best: 1000] 5609227288576
13, 27, 46, 54, 72, 78, 91, 132, 143, 197, 217, 255 [best: 1000] 5613522255872
13, 27, 46, 54, 72, 78, 102, 106, 122, 175, 200, 241 [best: 1000] 5617817223168
13, 27, 46, 54, 72, 79, 80, 90, 127, 137, 204, 225 [best: 1000] 5622112190464
13, 27, 46, 54, 72, 79, 86, 90, 94, 158, 205, 240 [best: 1000] 5626407157760
13, 27, 46, 54, 72, 79, 90, 149, 150, 161, 198, 206, 247 [best: 1000] 5630702125056
13, 27, 46, 54, 72, 79, 99, 111, 138, 144, 165, 216 [best: 1000] 5634997092352
13, 27, 46, 54, 72, 79, 112, 155, 174, 203, 206, 210 [best: 1000] 5639292059648
13, 27, 46, 54, 72, 80, 87, 89, 92, 119, 133, 166 [best: 1000] 5643587026944
13, 27, 46, 54, 72, 80, 98, 105, 131, 152, 191, 207 [best: 1000] 5647881994240
13, 27, 46, 54, 72, 81, 84, 104, 118, 155, 180, 194 [best: 1000] 5652176961536
13, 27, 46, 54, 72, 81, 91, 93, 105, 118, 171, 200 [best: 1000] 5656471928832
13, 27, 46, 54, 72, 81, 105, 110, 162, 176, 179, 202 [best: 1000] 5660766896128
13, 27, 46, 54, 72, 82, 86, 90, 133, 150, 192, 238, 296 [best: 1000] 5665061863424
13, 27, 46, 54, 72, 82, 90, 124, 127, 128, 235, 275, 302 [best: 1000] 5669356830720
13, 27, 46, 54, 72, 82, 97, 112, 137, 202, 245, 252 [best: 1000] 5673651798016
13, 27, 46, 54, 72, 82, 108, 109, 114, 145, 194, 217 [best: 1000] 5677946765312
13, 27, 46, 54, 72, 82, 129, 141, 155, 171, 187, 205 [best: 1000] 5682241732608
13, 27, 46, 54, 72, 83, 88, 142, 150, 191, 208, 248 [best: 1000] 5686536699904
13, 27, 46, 54, 72, 83, 93, 126, 137, 144, 210, 226 [best: 1000] 5690831667200
13, 27, 46, 54, 72, 83, 103, 105, 127, 129, 165, 228 [best: 1000] 5695126634496
13, 27, 46, 54, 72, 83, 117, 118, 119, 138, 156, 265 [best: 1000] 5699421601792
13, 27, 46, 54, 72, 84, 87, 104, 162, 165, 172, 205 [best: 1000] 5703716569088
13, 27, 46, 54, 72, 84, 91, 133, 186, 192, 195, 204 [best: 1000] 5708011536384
13, 27, 46, 54, 72, 84, 101, 111, 141, 156, 206, 269, 272 [best: 1000] 5712306503680
13, 27, 46, 54, 72, 84, 116, 128, 156, 158, 218, 243, 279 [best: 1000] 5716601470976
13, 27, 46, 54, 72, 85, 88, 115, 168, 184, 186, 225 [best: 1000] 5720896438272
13, 27, 46, 54, 72, 85, 94, 108, 129, 192, 214, 251 [best: 1000] 5725191405568
13, 27, 46, 54, 72, 85, 104, 140, 169, 187, 193, 225 [best: 1000] 5729486372864
13, 27, 46, 54, 72, 86, 87, 111, 126, 137, 164, 234 [best: 1000] 5733781340160
13, 27, 46, 54, 72, 86, 92, 105, 134, 137, 193, 250 [best: 1000] 5738076307456
13, 27, 46, 54, 72, 86, 102, 112, 136, 173, 190, 276 [best: 1000] 5742371274752
13, 27, 46, 54, 72, 86, 116, 124, 125, 146, 187, 219 [best: 1000] 5746666242048
13, 27, 46, 54, 72, 87, 90, 117, 119, 189, 231, 260 [best: 1000] 5750961209344
13, 27, 46, 54, 72, 87, 96, 103, 110, 146, 163, 180 [best: 1000] 5755256176640
13, 27, 46, 54, 72, 87, 104, 117, 136, 145, 153, 169 [best: 1000] 5759551143936
13, 27, 46, 54, 72, 87, 119, 127, 141, 172, 213, 229 [best: 1000] 5763846111232
13, 27, 46, 54, 72, 88, 90, 156, 193, 211, 233, 275 [best: 1000] 5768141078528
13, 27, 46, 54, 72, 88, 99, 121, 155, 171, 202, 203 [best: 1000] 5772436045824
13, 27, 46, 54, 72, 88, 115, 119, 133, 139, 147, 242 [best: 1000] 5776731013120
13, 27, 46, 54, 72, 89, 91, 101, 142, 161, 233, 279 [best: 1000] 5781025980416
13, 27, 46, 54, 72, 89, 96, 102, 130, 133, 151, 242 [best: 1000] 5785320947712
13, 27, 46, 54, 72, 89, 102, 114, 147, 167, 225, 263 [best: 1000] 5789615915008
13, 27, 46, 54, 72, 89, 110, 127, 181, 218, 233 [best: 1000] 5793910882304
13, 27, 46, 54, 72, 89, 121, 133, 155, 201, 221, 250 [best: 1000] 5798205849600
13, 27, 46, 54, 72, 90, 92, 103, 124, 154, 191, 256 [best: 1000] 5802500816896
13, 27, 46, 54, 72, 90, 97, 102, 117, 143, 183, 186 [best: 1000] 5806795784192
13, 27, 46, 54, 72, 90, 102, 105, 113, 121, 176, 210 [best: 1000] 5811090751488
13, 27, 46, 54, 72, 90, 107, 119, 165, 200, 202, 257 [best: 1000] 5815385718784
13, 27, 46, 54, 72, 90, 114, 116, 181, 184, 223, 297 [best: 1000] 5819680686080
13, 27, 46, 54, 72, 90, 122, 127, 163, 169, 237, 258, 264 [best: 1000] 5823975653376
13, 27, 46, 54, 72, 90, 134, 148, 157, 178, 192, 235, 293 [best: 1000] 5828270620672
13, 27, 46, 54, 72, 91, 98, 99, 129, 134, 153, 221 [best: 1000] 5832565587968
13, 27, 46, 54, 72, 91, 104, 126, 149, 203, 249, 251 [best: 1000] 5836860555264
13, 27, 46, 54, 72, 91, 114, 125, 128, 165, 172, 192 [best: 1000] 5841155522560
13, 27, 46, 54, 72, 91, 128, 154, 173, 198, 216, 244 [best: 1000] 5845450489856
13, 27, 46, 54, 72, 92, 101, 110, 125, 165, 208 [best: 1000] 5849745457152
13, 27, 46, 54, 72, 92, 115, 135, 136, 160, 215, 244 [best: 1000] 5854040424448
13, 27, 46, 54, 72, 93, 100, 112, 126, 150, 172, 198 [best: 1000] 5858335391744
13, 27, 46, 54, 72, 94, 96, 123, 126, 155, 212, 242 [best: 1000] 5862630359040
13, 27, 46, 54, 72, 94, 106, 112, 184, 192, 229, 250 [best: 1000] 5866925326336
13, 27, 46, 54, 72, 94, 126, 131, 172, 177, 212, 236 [best: 1000] 5871220293632
13, 27, 46, 54, 72, 95, 111, 112, 177, 202, 213, 283 [best: 1000] 5875515260928
13, 27, 46, 54, 72, 96, 104, 140, 141, 155, 160, 230 [best: 1000] 5879810228224
13, 27, 46, 54, 72, 97, 103, 123, 147, 159, 210, 230 [best: 1000] 5884105195520
13, 27, 46, 54, 72, 97, 121, 141, 147, 156, 164, 166 [best: 1000] 5888400162816
13, 27, 46, 54, 72, 98, 110, 132, 146, 163, 164, 231 [best: 1000] 5892695130112
13, 27, 46, 54, 72, 99, 102, 112, 124, 128, 129, 229 [best: 1000] 5896990097408
13, 27, 46, 54, 72, 99, 115, 131, 148, 187, 211, 217, 233 [best: 1000] 5901285064704
13, 27, 46, 54, 72, 100, 109, 112, 140, 148, 187, 192, 237 [best: 1000] 5905580032000
13, 27, 46, 54, 72, 101, 111, 134, 139, 190, 210, 230 [best: 1000] 5909874999296
13, 27, 46, 54, 72, 102, 104, 115, 142, 177, 207, 229 [best: 1000] 5914169966592
13, 27, 46, 54, 72, 102, 117, 135, 141, 161, 215, 219 [best: 1000] 5918464933888
13, 27, 46, 54, 72, 103, 111, 114, 119, 148, 196, 200 [best: 1000] 5922759901184
13, 27, 46, 54, 72, 104, 105, 123, 129, 136, 151, 234 [best: 1000] 5927054868480
13, 27, 46, 54, 72, 104, 119, 127, 151, 161, 178, 240 [best: 1000] 5931349835776
13, 27, 46, 54, 72, 105, 119, 120, 123, 174, 186, 193 [best: 1000] 5935644803072
13, 27, 46, 54, 73, 74, 80, 101, 108, 134, 160, 205 [best: 1000] 5939939770368
13, 27, 46, 54, 73, 74, 88, 92, 163, 189, 206, 213 [best: 1000] 5944234737664
13, 27, 46, 54, 73, 74, 95, 126, 135, 142, 159, 211, 270 [best: 1000] 5948529704960
13, 27, 46, 54, 73, 74, 109, 128, 145, 158, 187, 194, 245 [best: 1000] 5952824672256
13, 27, 46, 54, 73, 75, 83, 94, 116, 138, 184, 210 [best: 1000] 5957119639552
13, 27, 46, 54, 73, 75, 102, 124, 138, 149, 182, 197 [best: 1000] 5961414606848
13, 27, 46, 54, 73, 76, 89, 105, 118, 134, 170, 231 [best: 1000] 5965709574144
13, 27, 46, 54, 73, 77, 84, 88, 112, 114, 148, 189, 204 [best: 1000] 5970004541440
13, 27, 46, 54, 73, 78, 83, 92, 93, 130, 203, 235 [best: 1000] 5974299508736
13, 27, 46, 54, 73, 78, 92, 104, 110, 136, 146, 223 [best: 1000] 5978594476032
13, 27, 46, 54, 73, 79, 80, 93, 94, 101, 120, 137 [best: 1000] 5982889443328
13, 27, 46, 54, 73, 79, 89, 111, 139, 191, 207, 213 [best: 1000] 5987184410624
13, 27, 46, 54, 73, 79, 104, 111, 133, 135, 178, 185 [best: 1000] 5991479377920
13, 27, 46, 54, 73, 80, 89, 107, 123, 185, 191, 228, 245 [best: 1000] 5995774345216
13, 27, 46, 54, 73, 81, 87, 90, 132, 142, 157, 209 [best: 1000] 6000069312512
13, 27, 46, 54, 73, 82, 83, 87, 124, 135, 187, 207, 254 [best: 1000] 6004364279808
13, 27, 46, 54, 73, 82, 95, 98, 103, 110, 168, 174 [best: 1000] 6008659247104
13, 27, 46, 54, 73, 83, 85, 117, 149, 150, 164, 196 [best: 1000] 6012954214400
13, 27, 46, 54, 73, 83, 92, 113, 127, 147, 200, 251 [best: 1000] 6017249181696
13, 27, 46, 54, 73, 83, 106, 125, 143, 176, 177, 212 [best: 1000] 6021544148992
13, 27, 46, 54, 73, 83, 127, 149, 154, 168, 208, 236, 265 [best: 1000] 6025839116288
13, 27, 46, 54, 73, 84, 109, 113, 130, 140, 142, 178 [best: 1000] 6030134083584
13, 27, 46, 54, 73, 85, 93, 103, 128, 130, 153, 219 [best: 1000] 6034429050880
13, 27, 46, 54, 73, 85, 107, 135, 137, 154, 184, 233 [best: 1000] 6038724018176
13, 27, 46, 54, 73, 86, 90, 91, 128, 139, 172, 228 [best: 1000] 6043018985472
13, 27, 46, 54, 73, 87, 90, 104, 114, 148, 171, 184 [best: 1000] 6047313952768
13, 27, 46, 54, 73, 87, 108, 132, 142, 154, 199, 242, 251 [best: 1000] 6051608920064
13, 27, 46, 54, 73, 88, 92, 128, 137, 142, 147, 182 [best: 1000] 6055903887360
13, 27, 46, 54, 73, 89, 90, 119, 136, 158, 181, 200 [best: 1000] 6060198854656
13, 27, 46, 54, 73, 89, 96, 97, 107, 132, 157, 187 [best: 1000] 6064493821952
13, 27, 46, 54, 73, 89, 101, 124, 155, 182, 215, 247 [best: 1000] 6068788789248
13, 27, 46, 54, 73, 89, 107, 160, 173, 194, 226, 249, 258, 273 [best: 1000] 6073083756544
13, 27, 46, 54, 73, 89, 114, 140, 162, 163, 175, 217 [best: 1000] 6077378723840
13, 27, 46, 54, 73, 89, 128, 136, 175, 187, 204, 221 [best: 1000] 6081673691136
13, 27, 46, 54, 73, 90, 98, 121, 132, 179, 197, 209 [best: 1000] 6085968658432
13, 27, 46, 54, 73, 90, 119, 144, 163, 179, 225, 250 [best: 1000] 6090263625728
13, 27, 46, 54, 73, 91, 116, 120, 130, 138, 201, 211 [best: 1000] 6094558593024
13, 27, 46, 54, 73, 92, 119, 131, 134, 155, 166, 184 [best: 1000] 6098853560320
13, 27, 46, 54, 73, 94, 100, 114, 126, 159, 169, 188 [best: 1000] 6103148527616
13, 27, 46, 54, 73, 95, 107, 121, 153, 183, 210, 235 [best: 1000] 6107443494912
13, 27, 46, 54, 73, 96, 124, 125, 143, 176, 197, 214 [best: 1000] 6111738462208
13, 27, 46, 54, 73, 98, 103, 122, 131, 170, 194, 210 [best: 1000] 6116033429504
13, 27, 46, 54, 73, 99, 106, 125, 138, 173, 217, 242 [best: 1000] 6120328396800
13, 27, 46, 54, 74, 75, 78, 89, 95, 158, 187, 225 [best: 1000] 6124623364096
13, 27, 46, 54, 74, 75, 87, 104, 131, 156, 159, 229 [best: 1000] 6128918331392
13, 27, 46, 54, 74, 75, 100, 121, 153, 166, 172, 201 [best: 1000] 6133213298688
13, 27, 46, 54, 74, 76, 80, 85, 133, 150, 174, 206 [best: 1000] 6137508265984
13, 27, 46, 54, 74, 76, 95, 109, 137, 171, 175, 179 [best: 1000] 6141803233280
13, 27, 46, 54, 74, 77, 89, 91, 127, 169, 183, 194 [best: 1000] 6146098200576
13, 27, 46, 54, 74, 78, 83, 111, 133, 135, 139, 194 [best: 1000] 6150393167872
13, 27, 46, 54, 74, 78, 92, 96, 110, 125, 128, 176 [best: 1000] 6154688135168
13, 27, 46, 54, 74, 78, 112, 135, 165, 173, 188, 210 [best: 1000] 6158983102464
13, 27, 46, 54, 74, 79, 86, 95, 97, 135, 173, 215 [best: 1000] 6163278069760
13, 27, 46, 54, 74, 79, 94, 108, 121, 142, 164, 219 [best: 1000] 6167573037056
13, 27, 46, 54, 74, 79, 110, 143, 164, 175, 186, 231 [best: 1000] 6171868004352
13, 27, 46, 54, 74, 80, 90, 133, 136, 149, 162, 182, 228 [best: 1000] 6176162971648
13, 27, 46, 54, 74, 81, 87, 102, 133, 156, 197, 238 [best: 1000] 6180457938944
13, 27, 46, 54, 74, 81, 110, 113, 124, 141, 147, 216 [best: 1000] 6184752906240
13, 27, 46, 54, 74, 82, 90, 118, 127, 190, 212, 218, 239 [best: 1000] 6189047873536
13, 27, 46, 54, 74, 82, 106, 107, 112, 132, 138, 223 [best: 1000] 6193342840832
13, 27, 46, 54, 74, 83, 86, 110, 127, 133, 188, 192 [best: 1000] 6197637808128
13, 27, 46, 54, 74, 83, 97, 118, 142, 150, 228, 254 [best: 1000] 6201932775424
13, 27, 46, 54, 74, 83, 119, 139, 164, 177, 180, 214 [best: 1000] 6206227742720
13, 27, 46, 54, 74, 84, 93, 95, 150, 158, 171, 190 [best: 1000] 6210522710016
13, 27, 46, 54, 74, 84, 115, 132, 141, 155, 180, 199 [best: 1000] 6214817677312
13, 27, 46, 54, 74, 85, 95, 122, 150, 156, 191, 216 [best: 1000] 6219112644608
13, 27, 46, 54, 74, 86, 87, 118, 127, 145, 191, 228 [best: 1000] 6223407611904
13, 27, 46, 54, 74, 86, 102, 131, 141, 143, 160, 167, 180 [best: 1000] 6227702579200
13, 27, 46, 54, 74, 87, 93, 95, 105, 112, 132, 189 [best: 1000] 6231997546496
13, 27, 46, 54, 74, 88, 89, 146, 159, 176, 190, 198 [best: 1000] 6236292513792
13, 27, 46, 54, 74, 88, 116, 118, 137, 160, 161, 168 [best: 1000] 6240587481088
13, 27, 46, 54, 74, 89, 97, 101, 121, 125, 135, 151 [best: 1000] 6244882448384
13, 27, 46, 54, 74, 89, 109, 127, 180, 205, 229, 247 [best: 1000] 6249177415680
13, 27, 46, 54, 74, 90, 91, 95, 99, 145, 152, 231 [best: 1000] 6253472382976
13, 27, 46, 54, 74, 90, 99, 112, 132, 143, 175, 228 [best: 1000] 6257767350272
13, 27, 46, 54, 74, 90, 108, 127, 140, 169, 176, 185, 263 [best: 1000] 6262062317568
13, 27, 46, 54, 74, 90, 121, 138, 164, 181, 214, 221 [best: 1000] 6266357284864
13, 27, 46, 54, 74, 91, 97, 113, 120, 187, 207, 217 [best: 1000] 6270652252160
13, 27, 46, 54, 74, 91, 109, 121, 157, 165, 183, 227 [best: 1000] 6274947219456
13, 27, 46, 54, 74, 92, 97, 106, 128, 187, 191, 206 [best: 1000] 6279242186752
13, 27, 46, 54, 74, 93, 108, 133, 146, 151, 176, 202 [best: 1000] 6283537154048
13, 27, 46, 54, 74, 95, 105, 106, 119, 130, 175, 202 [best: 1000] 6287832121344
13, 27, 46, 54, 74, 97, 101, 110, 124, 131, 134, 187 [best: 1000] 6292127088640
13, 27, 46, 54, 74, 99, 101, 111, 124, 137, 151, 168 [best: 1000] 6296422055936
13, 27, 46, 54, 74, 100, 115, 128, 135, 169, 170, 223 [best: 1000] 6300717023232
13, 27, 46, 54, 74, 101, 114, 118, 153, 187, 212, 225 [best: 1000] 6305011990528
13, 27, 46, 54, 74, 102, 114, 121, 142, 160, 208, 234, 247 [best: 1000] 6309306957824
13, 27, 46, 54, 75, 76, 79, 100, 119, 133, 183, 192 [best: 1000] 6313601925120
13, 27, 46, 54, 75, 77, 82, 87, 124, 168, 180, 191, 263 [best: 1000] 6317896892416
13, 27, 46, 54, 75, 78, 86, 96, 113, 125, 128, 147 [best: 1000] 6322191859712
13, 27, 46, 54, 75, 78, 107, 110, 137, 143, 160, 164 [best: 1000] 6326486827008
13, 27, 46, 54, 75, 79, 89, 93, 101, 154, 212, 232 [best: 1000] 6330781794304
13, 27, 46, 54, 75, 79, 109, 117, 126, 158, 163, 222 [best: 1000] 6335076761600
13, 27, 46, 54, 75, 81, 86, 94, 110, 145, 154, 159 [best: 1000] 6339371728896
13, 27, 46, 54, 75, 82, 88, 131, 158, 159, 170, 213 [best: 1000] 6343666696192
13, 27, 46, 54, 75, 83, 85, 107, 145, 154, 205, 247 [best: 1000] 6347961663488
13, 27, 46, 54, 75, 83, 97, 102, 112, 139, 167, 171 [best: 1000] 6352256630784
13, 27, 46, 54, 75, 83, 115, 143, 177, 192, 203, 206, 238 [best: 1000] 6356551598080
13, 27, 46, 54, 75, 84, 95, 98, 101, 159, 202, 219 [best: 1000] 6360846565376
13, 27, 46, 54, 75, 84, 114, 120, 153, 193, 210 [best: 1000] 6365141532672
13, 27, 46, 54, 75, 86, 92, 119, 131, 151, 152, 185 [best: 1000] 6369436499968
13, 27, 46, 54, 75, 87, 96, 133, 153, 154, 182, 212 [best: 1000] 6373731467264
13, 27, 46, 54, 75, 88, 90, 113, 130, 184, 205 [best: 1000] 6378026434560
13, 27, 46, 54, 75, 88, 99, 102, 129, 175, 211, 241 [best: 1000] 6382321401856
13, 27, 46, 54, 75, 88, 107, 118, 161, 165, 175, 230, 264 [best: 1000] 6386616369152
13, 27, 46, 54, 75, 89, 92, 93, 143, 176, 191, 238 [best: 1000] 6390911336448
13, 27, 46, 54, 75, 90, 94, 99, 119, 144, 167, 210 [best: 1000] 6395206303744
13, 27, 46, 54, 75, 92, 104, 115, 129, 130, 185, 201 [best: 1000] 6399501271040
13, 27, 46, 54, 75, 94, 102, 104, 115, 179, 213, 215 [best: 1000] 6403796238336
13, 27, 46, 54, 75, 95, 108, 118, 131, 165, 177, 195 [best: 1000] 6408091205632
13, 27, 46, 54, 76, 78, 92, 117, 123, 127, 152, 189 [best: 1000] 6412386172928
13, 27, 46, 54, 76, 79, 93, 110, 131, 144, 176, 201 [best: 1000] 6416681140224
13, 27, 46, 54, 76, 81, 84, 112, 116, 134, 143, 161 [best: 1000] 6420976107520
13, 27, 46, 54, 76, 84, 88, 90, 101, 105, 110, 193 [best: 1000] 6425271074816
13, 27, 46, 54, 76, 85, 101, 114, 132, 186, 187, 194 [best: 1000] 6429566042112
13, 27, 46, 54, 76, 86, 100, 111, 137, 138, 188, 209 [best: 1000] 6433861009408
13, 27, 46, 54, 76, 87, 99, 103, 112, 119, 169, 230 [best: 1000] 6438155976704
13, 27, 46, 54, 76, 88, 111, 120, 128, 134, 147, 222 [best: 1000] 6442450944000
13, 27, 46, 54, 76, 91, 100, 108, 120, 124, 163, 192 [best: 1000] 6446745911296
13, 27, 46, 54, 77, 78, 96, 129, 131, 152, 172, 190 [best: 1000] 6451040878592
13, 27, 46, 54, 77, 80, 89, 98, 128, 156, 186, 206 [best: 1000] 6455335845888
13, 27, 46, 54, 77, 83, 92, 96, 134, 161, 177, 245 [best: 1000] 6459630813184
13, 27, 46, 54, 77, 86, 92, 93, 95, 100, 144, 188 [best: 1000] 6463925780480
13, 27, 46, 54, 78, 79, 89, 126, 130, 199, 214, 241 [best: 1000] 6468220747776
13, 27, 46, 54, 78, 80, 82, 112, 123, 139, 144, 170 [best: 1000] 6472515715072
13, 27, 46, 54, 78, 81, 87, 121, 135, 167, 178, 207 [best: 1000] 6476810682368
13, 27, 46, 54, 78, 82, 87, 98, 123, 124, 151, 203 [best: 1000] 6481105649664
13, 27, 46, 54, 78, 82, 109, 113, 142, 150, 197, 232 [best: 1000] 6485400616960
13, 27, 46, 54, 78, 83, 101, 112, 147, 170, 203, 227 [best: 1000] 6489695584256
13, 27, 46, 54, 78, 84, 93, 94, 118, 140, 179, 192 [best: 1000] 6493990551552
13, 27, 46, 54, 78, 85, 89, 96, 111, 179, 185, 210, 261 [best: 1000] 6498285518848
13, 27, 46, 54, 78, 86, 89, 121, 135, 144, 155, 191 [best: 1000] 6502580486144
13, 27, 46, 54, 78, 87, 93, 103, 135, 159, 217, 225 [best: 1000] 6506875453440
13, 27, 46, 54, 78, 88, 95, 113, 116, 132, 174, 197 [best: 1000] 6511170420736
13, 27, 46, 54, 78, 88, 120, 125, 150, 151, 178, 196 [best: 1000] 6515465388032
13, 27, 46, 54, 78, 89, 99, 113, 158, 180, 217, 266 [best: 1000] 6519760355328
13, 27, 46, 54, 78, 89, 112, 123, 161, 180, 225, 235 [best: 1000] 6524055322624
13, 27, 46, 54, 78, 90, 96, 138, 141, 147, 174, 196 [best: 1000] 6528350289920
13, 27, 46, 54, 78, 91, 93, 98, 128, 134, 135, 167 [best: 1000] 6532645257216
13, 27, 46, 54, 78, 91, 111, 124, 129, 137, 156, 157 [best: 1000] 6536940224512
13, 27, 46, 54, 78, 93, 94, 106, 107, 117, 138, 196 [best: 1000] 6541235191808
13, 27, 46, 54, 78, 95, 102, 137, 145, 156, 189, 215 [best: 1000] 6545530159104
13, 27, 46, 54, 78, 98, 104, 122, 146, 152, 189, 192 [best: 1000] 6549825126400
13, 27, 46, 54, 78, 100, 113, 123, 161, 198, 201, 235 [best: 1000] 6554120093696
13, 27, 46, 54, 79, 80, 103, 107, 114, 133, 146, 167 [best: 1000] 6558415060992
13, 27, 46, 54, 79, 81, 95, 120, 126, 140, 142, 205 [best: 1000] 6562710028288
13, 27, 46, 54, 79, 82, 88, 102, 112, 120, 145, 204 [best: 1000] 6567004995584
13, 27, 46, 54, 79, 82, 100, 103, 134, 165, 202, 203 [best: 1000] 6571299962880
13, 27, 46, 54, 79, 83, 86, 88, 148, 150, 171, 187 [best: 1000] 6575594930176
13, 27, 46, 54, 79, 83, 106, 112, 136, 169, 170, 187 [best: 1000] 6579889897472
13, 27, 46, 54, 79, 84, 89, 141, 163, 184, 219, 251 [best: 1000] 6584184864768
13, 27, 46, 54, 79, 84, 100, 113, 155, 180, 202, 239 [best: 1000] 6588479832064
13, 27, 46, 54, 79, 84, 123, 130, 165, 201, 204, 212 [best: 1000] 6592774799360
13, 27, 46, 54, 79, 85, 95, 111, 165, 176, 209, 241 [best: 1000] 6597069766656
13, 27, 46, 54, 79, 85, 120, 128, 131, 134, 157, 206 [best: 1000] 6601364733952
13, 27, 46, 54, 79, 86, 99, 102, 150, 162, 176, 242 [best: 1000] 6605659701248
13, 27, 46, 54, 79, 87, 90, 97, 116, 127, 162, 228 [best: 1000] 6609954668544
13, 27, 46, 54, 79, 88, 90, 109, 150, 163, 190, 199 [best: 1000] 6614249635840
13, 27, 46, 54, 79, 88, 107, 114, 165, 178, 195, 210 [best: 1000] 6618544603136
13, 27, 46, 54, 79, 89, 92, 101, 160, 187, 229, 244 [best: 1000] 6622839570432
13, 27, 46, 54, 79, 89, 101, 136, 146, 153, 159, 235 [best: 1000] 6627134537728
13, 27, 46, 54, 79, 89, 113, 149, 165, 177, 188, 191 [best: 1000] 6631429505024
13, 27, 46, 54, 79, 90, 96, 137, 140, 185, 218, 239 [best: 1000] 6635724472320
13, 27, 46, 54, 79, 90, 114, 133, 170, 175, 186, 200 [best: 1000] 6640019439616
13, 27, 46, 54, 79, 91, 103, 110, 112, 184, 215, 263 [best: 1000] 6644314406912
13, 27, 46, 54, 79, 92, 95, 99, 132, 137, 165, 204 [best: 1000] 6648609374208
13, 27, 46, 54, 79, 93, 100, 122, 146, 172, 197, 228 [best: 1000] 6652904341504
13, 27, 46, 54, 79, 94, 112, 113, 127, 151, 154, 200 [best: 1000] 6657199308800
13, 27, 46, 54, 79, 96, 106, 110, 147, 169, 183, 252 [best: 1000] 6661494276096
13, 27, 46, 54, 79, 98, 100, 108, 112, 158, 173, 181 [best: 1000] 6665789243392
13, 27, 46, 54, 79, 100, 101, 106, 123, 146, 193, 203 [best: 1000] 6670084210688
13, 27, 46, 54, 80, 81, 100, 114, 132, 134, 150, 169 [best: 1000] 6674379177984
13, 27, 46, 54, 80, 83, 88, 113, 128, 129, 145, 192 [best: 1000] 6678674145280
13, 27, 46, 54, 80, 83, 112, 117, 132, 152, 155, 267 [best: 1000] 6682969112576
13, 27, 46, 54, 80, 85, 96, 99, 100, 103, 174, 179 [best: 1000] 6687264079872
13, 27, 46, 54, 80, 87, 106, 109, 124, 163, 200, 204 [best: 1000] 6691559047168
13, 27, 46, 54, 80, 90, 101, 102, 106, 107, 112, 143 [best: 1000] 6695854014464
13, 27, 46, 54, 81, 82, 83, 104, 122, 136, 192, 230 [best: 1000] 6700148981760
13, 27, 46, 54, 81, 83, 86, 126, 157, 186, 188 [best: 1000] 6704443949056
13, 27, 46, 54, 81, 84, 91, 111, 127, 164, 203, 233, 250 [best: 1000] 6708738916352
13, 27, 46, 54, 81, 85, 97, 112, 143, 144, 146, 202 [best: 1000] 6713033883648
13, 27, 46, 54, 81, 86, 95, 110, 146, 149, 205, 216 [best: 1000] 6717328850944
13, 27, 46, 54, 81, 86, 107, 141, 154, 158, 213, 227 [best: 1000] 6721623818240
13, 27, 46, 54, 81, 87, 100, 142, 160, 161, 165, 190, 260 [best: 1000] 6725918785536
13, 27, 46, 54, 81, 90, 92, 106, 139, 145, 150, 182 [best: 1000] 6730213752832
13, 27, 46, 54, 81, 92, 111, 116, 139, 165, 177, 202 [best: 1000] 6734508720128
total chains: 6734539042884
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 17 17 17 17
9: 27 446 16 6 24
10: 797 14153 17 3 31
11: 26866 528292 19 2 36
12: 1024210 22043874 21 2 41
13: 43635831 1019052114 23 1 46
14: 2056942256 51901548449 25 0 51
15: 106409815132 2890474760012 27 0 56
16: 10584705904 290747786861 27 0 61
17: 113712638 3514245916 30 1 64
18: 209754 8598238 40 9 63
19: 50 2084 41 24 52
20: 0 0 0 0 0
21: 0 0 0 0 0
real 788m54.904s
user 782m0.040s
sys 0m8.723s
stderr end
2025-05-01 12:20:00 (3761239): called boinc_finish(0)
</stderr_txt>
]]>
