Task 15329
| Name | batch_89__job_job-000617_1 |
| Workunit | 12545 |
| Created | 30 Apr 2025, 10:07:16 UTC |
| Sent | 1 May 2025, 0:23:07 UTC |
| Report deadline | 8 May 2025, 0:23:07 UTC |
| Received | 1 May 2025, 4:54:11 UTC |
| Server state | Over |
| Outcome | Success |
| Client state | Done |
| Exit status | 0 (0x00000000) |
| Computer ID | 32910 |
| Run time | 4 hours 30 min 51 sec |
| CPU time | 3 hours 42 min 7 sec |
| Validate state | Valid |
| Credit | 29.27 |
| Device peak FLOPS | 1.93 GFLOPS |
| Application version | Universal Docker app v1.08 (docker) x86_64-pc-linux-gnu |
| Peak working set size | 26.91 MB |
| Peak swap size | 1.83 GB |
| Peak disk usage | 102.33 KB |
Stderr output
<core_client_version>8.2.2</core_client_version>
<![CDATA[
<stderr_txt>
no job.toml config file
Using Docker
DEPRECATED: The legacy builder is deprecated and will be removed in a future release.
Install the buildx component to build images with BuildKit:
https://docs.docker.com/go/buildx/
stderr from container:
N = 16, MAX_LENGTH: 22, CAPTURE_STATS: 1
7 targets:
0100100000011100
0000011000011011
0010000000001011
0100100100100001
0101110101000000
0111000000001100
0011111011111111
4, 26, 31, 43 [best: 1000] 0
4, 26, 31, 43, 44, 45, 58, 82, 87, 89, 93, 185 [best: 1000] 4294967296
4, 26, 31, 43, 44, 45, 79, 111, 125, 133, 197, 217 [best: 1000] 8589934592
4, 26, 31, 43, 44, 46, 53, 65, 95, 141, 143, 163 [best: 1000] 12884901888
4, 26, 31, 43, 44, 46, 66, 85, 90, 132, 144, 167 [best: 1000] 17179869184
4, 26, 31, 43, 44, 46, 91, 115, 119, 137, 152, 158 [best: 1000] 21474836480
4, 26, 31, 43, 44, 47, 57, 69, 117, 128, 146, 169 [best: 1000] 25769803776
4, 26, 31, 43, 44, 47, 69, 92, 116, 139, 141, 154 [best: 1000] 30064771072
4, 26, 31, 43, 44, 47, 94, 105, 140, 164, 200, 201 [best: 1000] 34359738368
4, 26, 31, 43, 44, 48, 65, 80, 109, 121, 140, 171 [best: 1000] 38654705664
4, 26, 31, 43, 44, 49, 56, 75, 124, 131, 151, 172 [best: 1000] 42949672960
4, 26, 31, 43, 44, 49, 84, 86, 99, 100, 129, 150 [best: 1000] 47244640256
4, 26, 31, 43, 44, 51, 55, 92, 93, 98, 104, 156 [best: 1000] 51539607552
4, 26, 31, 43, 44, 52, 59, 111, 113, 125, 146, 158 [best: 1000] 55834574848
4, 26, 31, 43, 44, 53, 58, 83, 85, 120, 150, 191 [best: 1000] 60129542144
4, 26, 31, 43, 44, 53, 87, 93, 124, 150, 162, 175 [best: 1000] 64424509440
4, 26, 31, 43, 44, 54, 80, 104, 143, 165, 180, 200 [best: 1000] 68719476736
4, 26, 31, 43, 44, 56, 59, 73, 79, 99, 171, 174 [best: 1000] 73014444032
4, 26, 31, 43, 44, 56, 78, 82, 86, 117, 158, 161 [best: 1000] 77309411328
4, 26, 31, 43, 44, 57, 63, 84, 101, 145, 176, 187 [best: 1000] 81604378624
4, 26, 31, 43, 44, 57, 96, 110, 114, 117, 144, 156 [best: 1000] 85899345920
4, 26, 31, 43, 44, 58, 79, 119, 138, 153, 187, 193 [best: 1000] 90194313216
4, 26, 31, 43, 44, 59, 70, 93, 95, 135, 143, 195 [best: 1000] 94489280512
4, 26, 31, 43, 44, 60, 61, 75, 113, 121, 129, 156 [best: 1000] 98784247808
4, 26, 31, 43, 44, 60, 91, 92, 133, 172, 174, 202 [best: 1000] 103079215104
4, 26, 31, 43, 44, 62, 68, 94, 100, 157, 182, 186 [best: 1000] 107374182400
4, 26, 31, 43, 44, 64, 77, 104, 110, 128, 147, 170 [best: 1000] 111669149696
4, 26, 31, 43, 44, 66, 74, 105, 111, 133, 137, 161 [best: 1000] 115964116992
4, 26, 31, 43, 44, 67, 79, 115, 126, 166, 192, 205 [best: 1000] 120259084288
4, 26, 31, 43, 44, 68, 84, 87, 91, 169, 178, 193 [best: 1000] 124554051584
4, 26, 31, 43, 44, 70, 75, 97, 112, 115, 142, 160 [best: 1000] 128849018880
4, 26, 31, 43, 44, 72, 81, 93, 100, 104, 158, 204 [best: 1000] 133143986176
4, 26, 31, 43, 44, 75, 79, 89, 101, 144, 156, 166 [best: 1000] 137438953472
4, 26, 31, 43, 44, 78, 85, 90, 99, 125, 176, 187 [best: 1000] 141733920768
4, 26, 31, 43, 44, 79, 102, 105, 107, 153, 162, 210 [best: 1000] 146028888064
4, 26, 31, 43, 44, 83, 84, 87, 107, 138, 162, 182 [best: 1000] 150323855360
4, 26, 31, 43, 45, 46, 49, 77, 79, 120, 189, 202 [best: 1000] 154618822656
4, 26, 31, 43, 45, 46, 59, 72, 118, 129, 131, 145 [best: 1000] 158913789952
4, 26, 31, 43, 45, 46, 71, 76, 104, 149, 175, 222 [best: 1000] 163208757248
4, 26, 31, 43, 45, 46, 91, 93, 127, 136, 137, 179 [best: 1000] 167503724544
4, 26, 31, 43, 45, 47, 57, 79, 80, 101, 107, 115 [best: 1000] 171798691840
4, 26, 31, 43, 45, 47, 75, 117, 131, 146, 163, 174 [best: 1000] 176093659136
4, 26, 31, 43, 45, 48, 55, 69, 70, 100, 135, 146 [best: 1000] 180388626432
4, 26, 31, 43, 45, 48, 70, 76, 81, 88, 101, 119 [best: 1000] 184683593728
4, 26, 31, 43, 45, 49, 54, 55, 79, 83, 89, 109 [best: 1000] 188978561024
4, 26, 31, 43, 45, 49, 77, 94, 100, 138, 139, 206 [best: 1000] 193273528320
4, 26, 31, 43, 45, 50, 79, 91, 100, 143, 162 [best: 1000] 197568495616
4, 26, 31, 43, 45, 51, 90, 106, 114, 139, 160, 177 [best: 1000] 201863462912
4, 26, 31, 43, 45, 52, 89, 102, 111, 141, 154, 190 [best: 1000] 206158430208
4, 26, 31, 43, 45, 53, 68, 94, 115, 124, 157, 172 [best: 1000] 210453397504
4, 26, 31, 43, 45, 54, 58, 59, 111, 130, 135, 164, 207 [best: 1000] 214748364800
4, 26, 31, 43, 45, 54, 80, 99, 102, 114, 149, 179 [best: 1000] 219043332096
4, 26, 31, 43, 45, 56, 58, 65, 111, 143, 164, 181 [best: 1000] 223338299392
4, 26, 31, 43, 45, 56, 76, 106, 135, 139, 151, 208 [best: 1000] 227633266688
4, 26, 31, 43, 45, 57, 65, 91, 105, 135, 136, 161 [best: 1000] 231928233984
4, 26, 31, 43, 45, 57, 90, 104, 109, 134, 156, 214 [best: 1000] 236223201280
4, 26, 31, 43, 45, 58, 69, 113, 114, 142, 164, 190 [best: 1000] 240518168576
4, 26, 31, 43, 45, 58, 94, 100, 120, 138, 160, 179 [best: 1000] 244813135872
4, 26, 31, 43, 45, 59, 71, 103, 141, 142, 174, 180 [best: 1000] 249108103168
4, 26, 31, 43, 45, 59, 91, 114, 125, 173, 202, 226 [best: 1000] 253403070464
4, 26, 31, 43, 45, 60, 76, 101, 110, 131, 139, 166 [best: 1000] 257698037760
4, 26, 31, 43, 45, 61, 72, 83, 91, 134, 161, 209 [best: 1000] 261993005056
4, 26, 31, 43, 45, 62, 78, 90, 116, 133, 166, 172 [best: 1000] 266287972352
4, 26, 31, 43, 45, 64, 77, 79, 84, 109, 111, 152 [best: 1000] 270582939648
4, 26, 31, 43, 45, 65, 85, 91, 97, 118, 121, 177 [best: 1000] 274877906944
4, 26, 31, 43, 45, 66, 82, 87, 99, 121, 153, 180 [best: 1000] 279172874240
4, 26, 31, 43, 45, 67, 80, 83, 92, 109, 156, 189 [best: 1000] 283467841536
4, 26, 31, 43, 45, 68, 77, 83, 135, 143, 163, 193 [best: 1000] 287762808832
4, 26, 31, 43, 45, 69, 75, 92, 96, 155, 181, 188 [best: 1000] 292057776128
4, 26, 31, 43, 45, 70, 82, 91, 113, 119, 139, 216 [best: 1000] 296352743424
4, 26, 31, 43, 45, 72, 80, 99, 110, 150, 157, 180, 215 [best: 1000] 300647710720
4, 26, 31, 43, 45, 75, 76, 80, 99, 130, 142, 171 [best: 1000] 304942678016
4, 26, 31, 43, 45, 76, 81, 112, 115, 132, 135, 166 [best: 1000] 309237645312
4, 26, 31, 43, 45, 77, 93, 122, 127, 171, 178, 201 [best: 1000] 313532612608
4, 26, 31, 43, 45, 78, 104, 107, 108, 141, 160, 174 [best: 1000] 317827579904
4, 26, 31, 43, 45, 80, 92, 96, 110, 129, 138, 164, 182 [best: 1000] 322122547200
4, 26, 31, 43, 45, 83, 96, 105, 135, 139, 171, 190 [best: 1000] 326417514496
4, 26, 31, 43, 46, 47, 52, 98, 124, 158, 160, 169 [best: 1000] 330712481792
4, 26, 31, 43, 46, 47, 59, 80, 116, 141, 228, 249 [best: 1000] 335007449088
4, 26, 31, 43, 46, 47, 68, 84, 96, 146, 198, 223 [best: 1000] 339302416384
4, 26, 31, 43, 46, 47, 78, 124, 134, 153, 161, 175 [best: 1000] 343597383680
4, 26, 31, 43, 46, 47, 97, 110, 129, 163, 193, 218 [best: 1000] 347892350976
4, 26, 31, 43, 46, 48, 57, 79, 111, 140, 158, 180 [best: 1000] 352187318272
4, 26, 31, 43, 46, 48, 72, 78, 79, 102, 150 [best: 1000] 356482285568
4, 26, 31, 43, 46, 49, 50, 90, 124, 142, 163, 182 [best: 1000] 360777252864
4, 26, 31, 43, 46, 49, 60, 71, 92, 107, 170, 173 [best: 1000] 365072220160
4, 26, 31, 43, 46, 49, 74, 78, 83, 100, 148, 192 [best: 1000] 369367187456
4, 26, 31, 43, 46, 49, 97, 99, 140, 155, 170, 175 [best: 1000] 373662154752
4, 26, 31, 43, 46, 50, 71, 80, 81, 93, 162, 198 [best: 1000] 377957122048
4, 26, 31, 43, 46, 51, 61, 65, 76, 81, 130, 134 [best: 1000] 382252089344
4, 26, 31, 43, 46, 52, 53, 72, 78, 110, 132, 147 [best: 1000] 386547056640
4, 26, 31, 43, 46, 52, 69, 90, 109, 136, 169, 188 [best: 1000] 390842023936
4, 26, 31, 43, 46, 53, 56, 90, 93, 125, 132, 172 [best: 1000] 395136991232
4, 26, 31, 43, 46, 53, 68, 108, 134, 137, 154, 179 [best: 1000] 399431958528
4, 26, 31, 43, 46, 53, 89, 110, 133, 191, 194, 227 [best: 1000] 403726925824
4, 26, 31, 43, 46, 54, 64, 72, 97, 100, 101, 156 [best: 1000] 408021893120
4, 26, 31, 43, 46, 54, 79, 123, 151, 167, 199, 250 [best: 1000] 412316860416
4, 26, 31, 43, 46, 55, 66, 75, 88, 102, 122, 172 [best: 1000] 416611827712
4, 26, 31, 43, 46, 56, 59, 67, 129, 138, 154, 183 [best: 1000] 420906795008
4, 26, 31, 43, 46, 56, 68, 73, 95, 106, 167, 180 [best: 1000] 425201762304
4, 26, 31, 43, 46, 56, 78, 87, 120, 180, 215, 240, 244 [best: 1000] 429496729600
4, 26, 31, 43, 46, 56, 94, 123, 149, 157, 172, 228, 236 [best: 1000] 433791696896
4, 26, 31, 43, 46, 57, 65, 91, 98, 106, 138, 155 [best: 1000] 438086664192
4, 26, 31, 43, 46, 57, 78, 86, 94, 178, 191, 213 [best: 1000] 442381631488
4, 26, 31, 43, 46, 58, 59, 68, 88, 102, 140, 204 [best: 1000] 446676598784
4, 26, 31, 43, 46, 58, 72, 75, 117, 143, 158, 206 [best: 1000] 450971566080
4, 26, 31, 43, 46, 58, 91, 94, 97, 148, 167, 222 [best: 1000] 455266533376
4, 26, 31, 43, 46, 59, 67, 81, 127, 159, 179, 231 [best: 1000] 459561500672
4, 26, 31, 43, 46, 59, 77, 99, 104, 114, 147, 150 [best: 1000] 463856467968
4, 26, 31, 43, 46, 59, 92, 96, 98, 125, 131, 181 [best: 1000] 468151435264
4, 26, 31, 43, 46, 60, 68, 71, 85, 89, 114, 164 [best: 1000] 472446402560
4, 26, 31, 43, 46, 60, 81, 84, 126, 153, 213, 220 [best: 1000] 476741369856
4, 26, 31, 43, 46, 61, 67, 93, 94, 114, 117, 174 [best: 1000] 481036337152
4, 26, 31, 43, 46, 61, 90, 95, 115, 128, 159, 171 [best: 1000] 485331304448
4, 26, 31, 43, 46, 62, 79, 89, 95, 140, 181, 194 [best: 1000] 489626271744
4, 26, 31, 43, 46, 63, 80, 97, 113, 137, 166, 169 [best: 1000] 493921239040
4, 26, 31, 43, 46, 65, 66, 99, 105, 118, 140, 142 [best: 1000] 498216206336
4, 26, 31, 43, 46, 65, 86, 95, 113, 137, 157, 210 [best: 1000] 502511173632
4, 26, 31, 43, 46, 66, 75, 78, 130, 139, 163, 200 [best: 1000] 506806140928
4, 26, 31, 43, 46, 66, 89, 118, 143, 164, 205, 237 [best: 1000] 511101108224
4, 26, 31, 43, 46, 67, 78, 81, 91, 92, 100, 167 [best: 1000] 515396075520
4, 26, 31, 43, 46, 68, 72, 104, 115, 142, 146, 227 [best: 1000] 519691042816
4, 26, 31, 43, 46, 68, 82, 84, 117, 131, 139, 199 [best: 1000] 523986010112
4, 26, 31, 43, 46, 68, 105, 126, 141, 154, 216, 230 [best: 1000] 528280977408
4, 26, 31, 43, 46, 69, 97, 103, 115, 141, 149, 182 [best: 1000] 532575944704
4, 26, 31, 43, 46, 70, 92, 96, 107, 167, 169, 218 [best: 1000] 536870912000
4, 26, 31, 43, 46, 71, 89, 112, 142, 162, 178, 219 [best: 1000] 541165879296
4, 26, 31, 43, 46, 72, 85, 86, 96, 122, 193, 210 [best: 1000] 545460846592
4, 26, 31, 43, 46, 73, 79, 81, 102, 108, 128, 195 [best: 1000] 549755813888
4, 26, 31, 43, 46, 74, 75, 77, 85, 120, 179, 190 [best: 1000] 554050781184
4, 26, 31, 43, 46, 74, 98, 101, 121, 125, 212, 226 [best: 1000] 558345748480
4, 26, 31, 43, 46, 75, 89, 96, 132, 154, 173, 195 [best: 1000] 562640715776
4, 26, 31, 43, 46, 76, 92, 104, 110, 131, 134, 141 [best: 1000] 566935683072
4, 26, 31, 43, 46, 77, 95, 104, 128, 134, 144, 156 [best: 1000] 571230650368
4, 26, 31, 43, 46, 78, 85, 129, 132, 144, 167, 203 [best: 1000] 575525617664
4, 26, 31, 43, 46, 78, 102, 117, 143, 176, 183, 195 [best: 1000] 579820584960
4, 26, 31, 43, 46, 79, 91, 105, 119, 138, 184, 199 [best: 1000] 584115552256
4, 26, 31, 43, 46, 80, 86, 92, 111, 118, 192, 235 [best: 1000] 588410519552
4, 26, 31, 43, 46, 81, 82, 96, 100, 117, 139, 155 [best: 1000] 592705486848
4, 26, 31, 43, 46, 82, 95, 115, 118, 149, 154, 188 [best: 1000] 597000454144
4, 26, 31, 43, 46, 85, 86, 104, 118, 175, 184, 195 [best: 1000] 601295421440
4, 26, 31, 43, 46, 86, 103, 126, 130, 139, 142, 172 [best: 1000] 605590388736
4, 26, 31, 43, 46, 89, 93, 103, 117, 118, 124, 202 [best: 1000] 609885356032
4, 26, 31, 43, 47, 48, 54, 103, 120, 122, 132, 164 [best: 1000] 614180323328
4, 26, 31, 43, 47, 48, 67, 80, 101, 131, 173, 198 [best: 1000] 618475290624
4, 26, 31, 43, 47, 48, 90, 98, 108, 137, 170, 185 [best: 1000] 622770257920
4, 26, 31, 43, 47, 49, 62, 63, 64, 97, 100, 145 [best: 1000] 627065225216
4, 26, 31, 43, 47, 49, 94, 108, 114, 132, 164, 189 [best: 1000] 631360192512
4, 26, 31, 43, 47, 50, 82, 86, 89, 98, 102, 192 [best: 1000] 635655159808
4, 26, 31, 43, 47, 51, 74, 80, 84, 86, 99, 164 [best: 1000] 639950127104
4, 26, 31, 43, 47, 52, 65, 74, 79, 91, 102, 202 [best: 1000] 644245094400
4, 26, 31, 43, 47, 53, 57, 77, 97, 116, 118, 186 [best: 1000] 648540061696
4, 26, 31, 43, 47, 53, 72, 82, 142, 143, 163, 190 [best: 1000] 652835028992
4, 26, 31, 43, 47, 54, 57, 78, 90, 124, 132, 209 [best: 1000] 657129996288
4, 26, 31, 43, 47, 54, 74, 78, 91, 126, 135, 159 [best: 1000] 661424963584
4, 26, 31, 43, 47, 55, 65, 66, 86, 123, 159, 167 [best: 1000] 665719930880
4, 26, 31, 43, 47, 56, 61, 80, 93, 105, 166, 200 [best: 1000] 670014898176
4, 26, 31, 43, 47, 56, 78, 85, 96, 114, 149, 199 [best: 1000] 674309865472
4, 26, 31, 43, 47, 57, 61, 95, 106, 117, 168, 201 [best: 1000] 678604832768
4, 26, 31, 43, 47, 57, 78, 79, 91, 103, 120, 218 [best: 1000] 682899800064
4, 26, 31, 43, 47, 58, 60, 94, 98, 114, 124 [best: 1000] 687194767360
4, 26, 31, 43, 47, 58, 72, 76, 85, 103, 169, 178 [best: 1000] 691489734656
4, 26, 31, 43, 47, 58, 85, 130, 132, 135, 136, 199 [best: 1000] 695784701952
4, 26, 31, 43, 47, 59, 65, 68, 83, 86, 132, 191 [best: 1000] 700079669248
4, 26, 31, 43, 47, 59, 76, 90, 123, 148, 160, 199 [best: 1000] 704374636544
4, 26, 31, 43, 47, 59, 94, 103, 125, 147, 179, 219 [best: 1000] 708669603840
4, 26, 31, 43, 47, 60, 72, 100, 112, 146, 157, 175 [best: 1000] 712964571136
4, 26, 31, 43, 47, 60, 102, 109, 138, 140, 147, 214, 229 [best: 1000] 717259538432
4, 26, 31, 43, 47, 61, 83, 103, 109, 140, 164, 184 [best: 1000] 721554505728
4, 26, 31, 43, 47, 62, 82, 85, 94, 120, 174, 192 [best: 1000] 725849473024
4, 26, 31, 43, 47, 64, 68, 88, 123, 128, 167, 190 [best: 1000] 730144440320
4, 26, 31, 43, 47, 65, 75, 88, 114, 129, 134, 174 [best: 1000] 734439407616
4, 26, 31, 43, 47, 66, 70, 74, 86, 109, 120, 202 [best: 1000] 738734374912
4, 26, 31, 43, 47, 66, 92, 102, 128, 169, 180, 232 [best: 1000] 743029342208
4, 26, 31, 43, 47, 67, 80, 85, 104, 106, 117, 206 [best: 1000] 747324309504
4, 26, 31, 43, 47, 68, 72, 103, 147, 162, 179, 222 [best: 1000] 751619276800
4, 26, 31, 43, 47, 68, 90, 93, 128, 134, 149, 204, 253 [best: 1000] 755914244096
4, 26, 31, 43, 47, 69, 84, 106, 113, 121, 139, 166 [best: 1000] 760209211392
4, 26, 31, 43, 47, 70, 93, 106, 127, 172, 187, 194 [best: 1000] 764504178688
4, 26, 31, 43, 47, 72, 76, 120, 136, 154, 182, 237 [best: 1000] 768799145984
4, 26, 31, 43, 47, 73, 78, 82, 102, 129, 185, 214 [best: 1000] 773094113280
4, 26, 31, 43, 47, 74, 82, 110, 125, 130, 193, 206 [best: 1000] 777389080576
4, 26, 31, 43, 47, 75, 95, 97, 114, 138, 149, 208 [best: 1000] 781684047872
4, 26, 31, 43, 47, 77, 78, 102, 120, 160, 214, 221 [best: 1000] 785979015168
4, 26, 31, 43, 47, 78, 82, 99, 107, 155, 160, 198 [best: 1000] 790273982464
4, 26, 31, 43, 47, 78, 100, 120, 142, 169, 182, 201 [best: 1000] 794568949760
4, 26, 31, 43, 47, 79, 103, 115, 128, 131, 148, 170 [best: 1000] 798863917056
4, 26, 31, 43, 47, 81, 85, 110, 126, 159, 173, 182 [best: 1000] 803158884352
4, 26, 31, 43, 47, 83, 96, 126, 138, 139, 156, 159 [best: 1000] 807453851648
4, 26, 31, 43, 47, 86, 100, 121, 135, 147, 151, 156, 225 [best: 1000] 811748818944
4, 26, 31, 43, 48, 49, 64, 66, 101, 108, 115 [best: 1000] 816043786240
4, 26, 31, 43, 48, 50, 56, 62, 106, 128, 129, 180 [best: 1000] 820338753536
4, 26, 31, 43, 48, 51, 65, 68, 93, 97, 123, 146 [best: 1000] 824633720832
4, 26, 31, 43, 48, 52, 67, 79, 129, 152, 156, 163 [best: 1000] 828928688128
4, 26, 31, 43, 48, 53, 62, 70, 83, 94, 163, 177 [best: 1000] 833223655424
4, 26, 31, 43, 48, 53, 92, 109, 120, 165, 178, 186 [best: 1000] 837518622720
4, 26, 31, 43, 48, 54, 74, 96, 98, 124, 158, 192 [best: 1000] 841813590016
4, 26, 31, 43, 48, 56, 57, 59, 79, 101, 158, 188 [best: 1000] 846108557312
4, 26, 31, 43, 48, 56, 71, 86, 91, 115, 131, 164 [best: 1000] 850403524608
4, 26, 31, 43, 48, 57, 58, 106, 126, 146, 152, 181 [best: 1000] 854698491904
4, 26, 31, 43, 48, 57, 80, 92, 104, 118, 164, 193 [best: 1000] 858993459200
4, 26, 31, 43, 48, 58, 70, 81, 83, 137, 163, 167 [best: 1000] 863288426496
4, 26, 31, 43, 48, 59, 63, 66, 101, 118, 131, 182 [best: 1000] 867583393792
4, 26, 31, 43, 48, 59, 79, 96, 110, 122, 170, 205 [best: 1000] 871878361088
4, 26, 31, 43, 48, 60, 68, 78, 93, 115, 124, 167 [best: 1000] 876173328384
4, 26, 31, 43, 48, 61, 65, 103, 120, 147, 162, 195 [best: 1000] 880468295680
4, 26, 31, 43, 48, 62, 72, 74, 92, 110, 164, 174 [best: 1000] 884763262976
4, 26, 31, 43, 48, 64, 73, 91, 102, 128, 134, 163 [best: 1000] 889058230272
4, 26, 31, 43, 48, 66, 70, 74, 90, 97, 152, 181 [best: 1000] 893353197568
4, 26, 31, 43, 48, 67, 72, 78, 104, 116, 160, 164 [best: 1000] 897648164864
4, 26, 31, 43, 48, 68, 77, 98, 111, 122, 177, 213 [best: 1000] 901943132160
4, 26, 31, 43, 48, 69, 86, 91, 100, 101, 130, 167 [best: 1000] 906238099456
4, 26, 31, 43, 48, 71, 92, 97, 104, 147, 164, 212 [best: 1000] 910533066752
4, 26, 31, 43, 48, 73, 85, 96, 97, 115, 142, 188 [best: 1000] 914828034048
4, 26, 31, 43, 48, 75, 86, 105, 125, 164, 167, 190 [best: 1000] 919123001344
4, 26, 31, 43, 48, 77, 94, 115, 117, 151, 189, 219 [best: 1000] 923417968640
4, 26, 31, 43, 48, 79, 85, 93, 122, 123, 183, 185 [best: 1000] 927712935936
4, 26, 31, 43, 48, 83, 85, 86, 91, 92, 129, 158 [best: 1000] 932007903232
4, 26, 31, 43, 49, 50, 68, 77, 78, 104, 114, 170 [best: 1000] 936302870528
4, 26, 31, 43, 49, 52, 55, 65, 85, 110, 135, 143 [best: 1000] 940597837824
4, 26, 31, 43, 49, 53, 56, 104, 111, 126, 146, 186 [best: 1000] 944892805120
4, 26, 31, 43, 49, 53, 83, 105, 126, 132, 161, 172 [best: 1000] 949187772416
4, 26, 31, 43, 49, 54, 81, 90, 109, 118, 175, 191 [best: 1000] 953482739712
4, 26, 31, 43, 49, 56, 61, 107, 116, 135, 138 [best: 1000] 957777707008
4, 26, 31, 43, 49, 57, 59, 65, 77, 91, 107, 200 [best: 1000] 962072674304
4, 26, 31, 43, 49, 57, 89, 103, 106, 109, 119, 189 [best: 1000] 966367641600
4, 26, 31, 43, 49, 58, 74, 96, 115, 123, 164, 213 [best: 1000] 970662608896
4, 26, 31, 43, 49, 59, 64, 85, 120, 122, 136, 169 [best: 1000] 974957576192
4, 26, 31, 43, 49, 59, 89, 98, 131, 161, 162, 205 [best: 1000] 979252543488
4, 26, 31, 43, 49, 60, 83, 116, 128, 148, 154, 214 [best: 1000] 983547510784
4, 26, 31, 43, 49, 62, 67, 94, 104, 113, 116, 136 [best: 1000] 987842478080
4, 26, 31, 43, 49, 65, 66, 74, 75, 93, 125, 182 [best: 1000] 992137445376
4, 26, 31, 43, 49, 66, 78, 85, 116, 130, 159, 188 [best: 1000] 996432412672
4, 26, 31, 43, 49, 67, 89, 96, 109, 111, 187, 238 [best: 1000] 1000727379968
4, 26, 31, 43, 49, 68, 97, 107, 148, 184, 203, 220 [best: 1000] 1005022347264
4, 26, 31, 43, 49, 71, 83, 88, 91, 97, 103, 200 [best: 1000] 1009317314560
4, 26, 31, 43, 49, 74, 77, 81, 82, 89, 121, 147 [best: 1000] 1013612281856
4, 26, 31, 43, 49, 77, 78, 107, 110, 138, 156, 187 [best: 1000] 1017907249152
4, 26, 31, 43, 49, 79, 86, 90, 130, 145, 177, 202 [best: 1000] 1022202216448
4, 26, 31, 43, 49, 83, 85, 100, 112, 133, 141, 159 [best: 1000] 1026497183744
4, 26, 31, 43, 50, 53, 54, 91, 94, 105, 116, 177 [best: 1000] 1030792151040
4, 26, 31, 43, 50, 54, 73, 99, 109, 117, 126, 188 [best: 1000] 1035087118336
4, 26, 31, 43, 50, 57, 60, 66, 89, 110, 146, 151 [best: 1000] 1039382085632
4, 26, 31, 43, 50, 58, 89, 91, 99, 115, 160, 200 [best: 1000] 1043677052928
4, 26, 31, 43, 50, 61, 69, 70, 84, 110, 127, 164 [best: 1000] 1047972020224
4, 26, 31, 43, 50, 66, 79, 99, 117, 120, 145, 191 [best: 1000] 1052266987520
4, 26, 31, 43, 50, 70, 82, 84, 117, 137, 160, 162 [best: 1000] 1056561954816
4, 26, 31, 43, 51, 52, 74, 75, 81, 85, 108, 159 [best: 1000] 1060856922112
4, 26, 31, 43, 51, 54, 58, 68, 93, 146, 148, 196 [best: 1000] 1065151889408
4, 26, 31, 43, 51, 56, 65, 70, 81, 102, 148 [best: 1000] 1069446856704
4, 26, 31, 43, 51, 57, 76, 104, 120, 129, 139, 202 [best: 1000] 1073741824000
4, 26, 31, 43, 51, 58, 89, 92, 110, 123, 159, 197 [best: 1000] 1078036791296
4, 26, 31, 43, 51, 60, 77, 79, 88, 102, 107, 139 [best: 1000] 1082331758592
4, 26, 31, 43, 51, 65, 67, 82, 105, 124, 128, 163 [best: 1000] 1086626725888
4, 26, 31, 43, 51, 67, 83, 84, 89, 107, 119, 183 [best: 1000] 1090921693184
4, 26, 31, 43, 51, 71, 74, 84, 87, 101, 129, 143 [best: 1000] 1095216660480
4, 26, 31, 43, 51, 76, 85, 98, 132, 144, 151 [best: 1000] 1099511627776
4, 26, 31, 43, 52, 53, 76, 95, 101, 114, 126, 147 [best: 1000] 1103806595072
4, 26, 31, 43, 52, 55, 59, 78, 84, 123, 150, 171 [best: 1000] 1108101562368
4, 26, 31, 43, 52, 56, 76, 81, 87, 97, 118, 190 [best: 1000] 1112396529664
4, 26, 31, 43, 52, 57, 79, 83, 88, 128, 138, 146, 176 [best: 1000] 1116691496960
4, 26, 31, 43, 52, 58, 78, 105, 131, 141, 151, 195 [best: 1000] 1120986464256
4, 26, 31, 43, 52, 59, 77, 88, 93, 112, 167, 196 [best: 1000] 1125281431552
4, 26, 31, 43, 52, 61, 63, 69, 83, 120, 145, 147 [best: 1000] 1129576398848
4, 26, 31, 43, 52, 63, 75, 76, 108, 110, 132, 162 [best: 1000] 1133871366144
4, 26, 31, 43, 52, 66, 74, 86, 98, 104, 121, 157 [best: 1000] 1138166333440
4, 26, 31, 43, 52, 68, 72, 86, 114, 126, 128 [best: 1000] 1142461300736
4, 26, 31, 43, 52, 70, 78, 93, 105, 113, 129, 146, 203 [best: 1000] 1146756268032
4, 26, 31, 43, 52, 74, 92, 95, 108, 144, 169, 175 [best: 1000] 1151051235328
4, 26, 31, 43, 52, 77, 91, 106, 108, 110, 146, 156 [best: 1000] 1155346202624
4, 26, 31, 43, 53, 54, 67, 91, 100, 142, 178, 219 [best: 1000] 1159641169920
4, 26, 31, 43, 53, 55, 76, 80, 106, 113, 134, 186 [best: 1000] 1163936137216
4, 26, 31, 43, 53, 56, 67, 114, 130, 149, 162, 171 [best: 1000] 1168231104512
4, 26, 31, 43, 53, 56, 89, 111, 130, 156, 179, 193 [best: 1000] 1172526071808
4, 26, 31, 43, 53, 57, 71, 90, 115, 135, 164, 181 [best: 1000] 1176821039104
4, 26, 31, 43, 53, 58, 60, 123, 132, 149, 180, 236 [best: 1000] 1181116006400
4, 26, 31, 43, 53, 58, 77, 80, 92, 107, 174, 218 [best: 1000] 1185410973696
4, 26, 31, 43, 53, 59, 62, 100, 121, 127, 158, 188 [best: 1000] 1189705940992
4, 26, 31, 43, 53, 59, 80, 83, 129, 139, 146, 170 [best: 1000] 1194000908288
4, 26, 31, 43, 53, 60, 69, 95, 116, 122, 138, 192 [best: 1000] 1198295875584
4, 26, 31, 43, 53, 61, 68, 69, 71, 88, 107, 154 [best: 1000] 1202590842880
4, 26, 31, 43, 53, 62, 81, 83, 96, 126, 136, 143 [best: 1000] 1206885810176
4, 26, 31, 43, 53, 64, 85, 92, 112, 123, 177, 188 [best: 1000] 1211180777472
4, 26, 31, 43, 53, 66, 67, 97, 106, 138, 152, 182 [best: 1000] 1215475744768
4, 26, 31, 43, 53, 66, 101, 104, 131, 153, 181, 215 [best: 1000] 1219770712064
4, 26, 31, 43, 53, 67, 93, 107, 145, 151, 170, 177 [best: 1000] 1224065679360
4, 26, 31, 43, 53, 68, 88, 92, 115, 125, 156, 213 [best: 1000] 1228360646656
4, 26, 31, 43, 53, 70, 75, 80, 120, 127, 169, 204 [best: 1000] 1232655613952
4, 26, 31, 43, 53, 72, 77, 80, 116, 170, 185, 193 [best: 1000] 1236950581248
4, 26, 31, 43, 53, 74, 78, 86, 124, 130, 147, 159 [best: 1000] 1241245548544
4, 26, 31, 43, 53, 76, 77, 102, 112, 149, 172, 174 [best: 1000] 1245540515840
4, 26, 31, 43, 53, 77, 88, 93, 105, 108, 151, 154 [best: 1000] 1249835483136
4, 26, 31, 43, 53, 79, 80, 88, 106, 108, 111, 150 [best: 1000] 1254130450432
4, 26, 31, 43, 53, 80, 103, 113, 121, 124, 146, 185 [best: 1000] 1258425417728
4, 26, 31, 43, 53, 84, 92, 110, 112, 114, 125, 177 [best: 1000] 1262720385024
4, 26, 31, 43, 54, 56, 62, 100, 115, 119, 139, 171 [best: 1000] 1267015352320
4, 26, 31, 43, 54, 56, 89, 103, 108, 123, 145, 168 [best: 1000] 1271310319616
4, 26, 31, 43, 54, 57, 78, 116, 125, 144, 159, 172 [best: 1000] 1275605286912
4, 26, 31, 43, 54, 58, 69, 103, 116, 142, 162, 177 [best: 1000] 1279900254208
4, 26, 31, 43, 54, 59, 61, 66, 88, 90, 113, 169 [best: 1000] 1284195221504
4, 26, 31, 43, 54, 59, 84, 85, 88, 135, 169, 207 [best: 1000] 1288490188800
4, 26, 31, 43, 54, 60, 79, 82, 109, 136, 152, 199 [best: 1000] 1292785156096
4, 26, 31, 43, 54, 62, 66, 76, 103, 131, 145, 159 [best: 1000] 1297080123392
4, 26, 31, 43, 54, 65, 66, 69, 109, 122, 150, 174 [best: 1000] 1301375090688
4, 26, 31, 43, 54, 66, 75, 96, 120, 145, 164, 169 [best: 1000] 1305670057984
4, 26, 31, 43, 54, 67, 82, 83, 89, 132, 133, 189 [best: 1000] 1309965025280
4, 26, 31, 43, 54, 68, 86, 87, 100, 133, 178, 203 [best: 1000] 1314259992576
4, 26, 31, 43, 54, 70, 85, 104, 106, 117, 159, 195 [best: 1000] 1318554959872
4, 26, 31, 43, 54, 74, 77, 81, 95, 114, 132, 181 [best: 1000] 1322849927168
4, 26, 31, 43, 54, 77, 80, 98, 108, 135, 155, 193 [best: 1000] 1327144894464
4, 26, 31, 43, 54, 79, 81, 94, 100, 134, 171, 173 [best: 1000] 1331439861760
4, 26, 31, 43, 54, 82, 85, 92, 103, 139, 151, 163 [best: 1000] 1335734829056
4, 26, 31, 43, 55, 57, 58, 94, 96, 124, 142, 179 [best: 1000] 1340029796352
4, 26, 31, 43, 55, 58, 84, 92, 103, 135, 137, 205 [best: 1000] 1344324763648
4, 26, 31, 43, 55, 60, 81, 86, 91, 98, 140, 145 [best: 1000] 1348619730944
4, 26, 31, 43, 55, 65, 82, 85, 96, 133, 153, 187 [best: 1000] 1352914698240
4, 26, 31, 43, 55, 68, 83, 89, 110, 118, 137, 184 [best: 1000] 1357209665536
4, 26, 31, 43, 55, 74, 84, 105, 108, 119, 124, 179 [best: 1000] 1361504632832
4, 26, 31, 43, 56, 57, 73, 94, 98, 123, 139, 228 [best: 1000] 1365799600128
4, 26, 31, 43, 56, 58, 62, 79, 113, 145, 151, 193 [best: 1000] 1370094567424
4, 26, 31, 43, 56, 58, 79, 101, 107, 109, 129, 154 [best: 1000] 1374389534720
4, 26, 31, 43, 56, 59, 66, 88, 92, 93, 132, 204 [best: 1000] 1378684502016
4, 26, 31, 43, 56, 59, 81, 97, 107, 125, 127, 159 [best: 1000] 1382979469312
4, 26, 31, 43, 56, 60, 67, 107, 114, 126, 175, 204 [best: 1000] 1387274436608
4, 26, 31, 43, 56, 61, 63, 80, 94, 95, 99, 175 [best: 1000] 1391569403904
4, 26, 31, 43, 56, 62, 65, 81, 100, 117, 155, 158 [best: 1000] 1395864371200
4, 26, 31, 43, 56, 63, 75, 99, 126, 132, 167, 168 [best: 1000] 1400159338496
4, 26, 31, 43, 56, 65, 70, 99, 107, 122, 127, 150 [best: 1000] 1404454305792
4, 26, 31, 43, 56, 66, 71, 78, 95, 119, 154, 213 [best: 1000] 1408749273088
4, 26, 31, 43, 56, 67, 69, 94, 121, 155, 188, 193, 223 [best: 1000] 1413044240384
4, 26, 31, 43, 56, 67, 96, 106, 108, 125, 185, 186 [best: 1000] 1417339207680
4, 26, 31, 43, 56, 68, 86, 94, 107, 170, 172, 203 [best: 1000] 1421634174976
4, 26, 31, 43, 56, 69, 81, 97, 100, 110, 125, 170 [best: 1000] 1425929142272
4, 26, 31, 43, 56, 71, 74, 79, 132, 151, 158, 199 [best: 1000] 1430224109568
4, 26, 31, 43, 56, 72, 101, 114, 131, 184, 195, 254 [best: 1000] 1434519076864
4, 26, 31, 43, 56, 74, 97, 112, 133, 139, 172, 200, 210 [best: 1000] 1438814044160
4, 26, 31, 43, 56, 76, 77, 79, 99, 110, 164, 185 [best: 1000] 1443109011456
4, 26, 31, 43, 56, 77, 91, 99, 101, 122, 134, 151 [best: 1000] 1447403978752
4, 26, 31, 43, 56, 78, 92, 106, 124, 144, 171, 185 [best: 1000] 1451698946048
4, 26, 31, 43, 56, 79, 98, 106, 110, 148, 149, 198 [best: 1000] 1455993913344
4, 26, 31, 43, 56, 81, 103, 108, 121, 169, 184, 219 [best: 1000] 1460288880640
4, 26, 31, 43, 56, 87, 89, 105, 113, 153, 156, 206 [best: 1000] 1464583847936
4, 26, 31, 43, 57, 58, 70, 71, 74, 91, 101, 171 [best: 1000] 1468878815232
4, 26, 31, 43, 57, 59, 61, 74, 87, 98, 117, 157 [best: 1000] 1473173782528
4, 26, 31, 43, 57, 60, 63, 66, 83, 117, 150, 154 [best: 1000] 1477468749824
4, 26, 31, 43, 57, 61, 69, 76, 88, 90, 134, 179 [best: 1000] 1481763717120
4, 26, 31, 43, 57, 62, 91, 99, 103, 119, 140, 166 [best: 1000] 1486058684416
4, 26, 31, 43, 57, 65, 69, 112, 113, 122, 134, 146 [best: 1000] 1490353651712
4, 26, 31, 43, 57, 66, 74, 79, 92, 116, 163, 177 [best: 1000] 1494648619008
4, 26, 31, 43, 57, 67, 76, 87, 102, 124, 160 [best: 1000] 1498943586304
4, 26, 31, 43, 57, 68, 77, 106, 123, 162, 182, 185 [best: 1000] 1503238553600
4, 26, 31, 43, 57, 69, 91, 92, 120, 141, 153, 161 [best: 1000] 1507533520896
4, 26, 31, 43, 57, 71, 90, 93, 96, 105, 123, 152 [best: 1000] 1511828488192
4, 26, 31, 43, 57, 74, 75, 95, 108, 116, 145, 160 [best: 1000] 1516123455488
4, 26, 31, 43, 57, 76, 77, 94, 116, 138, 186, 245 [best: 1000] 1520418422784
4, 26, 31, 43, 57, 76, 103, 121, 140, 143, 144, 168 [best: 1000] 1524713390080
4, 26, 31, 43, 57, 78, 86, 121, 126, 159, 168, 180 [best: 1000] 1529008357376
4, 26, 31, 43, 57, 82, 85, 95, 109, 122, 142, 147 [best: 1000] 1533303324672
4, 26, 31, 43, 58, 59, 63, 85, 108, 109, 128, 139, 184 [best: 1000] 1537598291968
4, 26, 31, 43, 58, 59, 79, 104, 111, 134, 153, 211 [best: 1000] 1541893259264
4, 26, 31, 43, 58, 60, 65, 114, 128, 167, 197, 221 [best: 1000] 1546188226560
4, 26, 31, 43, 58, 60, 89, 109, 135, 153, 158, 202 [best: 1000] 1550483193856
4, 26, 31, 43, 58, 61, 81, 92, 94, 132, 190, 214 [best: 1000] 1554778161152
4, 26, 31, 43, 58, 62, 86, 94, 104, 120, 135, 178 [best: 1000] 1559073128448
4, 26, 31, 43, 58, 64, 81, 92, 117, 142, 161, 176 [best: 1000] 1563368095744
4, 26, 31, 43, 58, 65, 100, 109, 125, 156, 182, 185 [best: 1000] 1567663063040
4, 26, 31, 43, 58, 66, 88, 93, 101, 126, 192, 215 [best: 1000] 1571958030336
4, 26, 31, 43, 58, 67, 86, 93, 117, 131, 133, 224 [best: 1000] 1576252997632
4, 26, 31, 43, 58, 68, 79, 99, 154, 175, 181, 207 [best: 1000] 1580547964928
4, 26, 31, 43, 58, 69, 70, 102, 120, 129, 151, 188 [best: 1000] 1584842932224
4, 26, 31, 43, 58, 70, 79, 80, 127, 129, 132, 165 [best: 1000] 1589137899520
4, 26, 31, 43, 58, 71, 91, 102, 123, 124, 133, 155 [best: 1000] 1593432866816
4, 26, 31, 43, 58, 73, 79, 107, 138, 150, 196, 206, 240 [best: 1000] 1597727834112
4, 26, 31, 43, 58, 74, 90, 91, 109, 118, 157, 175 [best: 1000] 1602022801408
4, 26, 31, 43, 58, 76, 77, 82, 110, 134, 152, 193 [best: 1000] 1606317768704
4, 26, 31, 43, 58, 78, 79, 125, 135, 142, 187, 246 [best: 1000] 1610612736000
4, 26, 31, 43, 58, 79, 83, 95, 98, 129, 146, 201 [best: 1000] 1614907703296
4, 26, 31, 43, 58, 79, 100, 134, 142, 143, 158, 171 [best: 1000] 1619202670592
4, 26, 31, 43, 58, 81, 87, 102, 130, 136, 168, 179 [best: 1000] 1623497637888
4, 26, 31, 43, 58, 84, 98, 103, 125, 145, 179, 187 [best: 1000] 1627792605184
4, 26, 31, 43, 58, 87, 96, 98, 118, 119, 150, 193 [best: 1000] 1632087572480
4, 26, 31, 43, 59, 60, 83, 88, 123, 128, 141, 199 [best: 1000] 1636382539776
4, 26, 31, 43, 59, 61, 88, 93, 107, 110, 124, 168 [best: 1000] 1640677507072
4, 26, 31, 43, 59, 63, 67, 82, 97, 104, 110, 176 [best: 1000] 1644972474368
4, 26, 31, 43, 59, 64, 91, 93, 95, 105, 113, 124 [best: 1000] 1649267441664
4, 26, 31, 43, 59, 65, 89, 108, 132, 154, 157, 193 [best: 1000] 1653562408960
4, 26, 31, 43, 59, 66, 81, 106, 116, 127, 170, 185, 206 [best: 1000] 1657857376256
4, 26, 31, 43, 59, 67, 77, 91, 93, 157, 191, 236 [best: 1000] 1662152343552
4, 26, 31, 43, 59, 68, 74, 91, 113, 140, 143, 152 [best: 1000] 1666447310848
4, 26, 31, 43, 59, 69, 74, 81, 92, 111, 128, 154 [best: 1000] 1670742278144
4, 26, 31, 43, 59, 70, 77, 93, 108, 112, 123, 161 [best: 1000] 1675037245440
4, 26, 31, 43, 59, 72, 73, 77, 89, 124, 154, 169 [best: 1000] 1679332212736
4, 26, 31, 43, 59, 73, 75, 91, 106, 123, 152, 191 [best: 1000] 1683627180032
4, 26, 31, 43, 59, 74, 78, 106, 112, 115, 208, 215 [best: 1000] 1687922147328
4, 26, 31, 43, 59, 75, 86, 93, 114, 125, 126, 170 [best: 1000] 1692217114624
4, 26, 31, 43, 59, 76, 85, 95, 155, 164, 187, 222 [best: 1000] 1696512081920
4, 26, 31, 43, 59, 77, 78, 93, 114, 160, 169, 198 [best: 1000] 1700807049216
4, 26, 31, 43, 59, 77, 97, 115, 122, 152, 154, 161, 215 [best: 1000] 1705102016512
4, 26, 31, 43, 59, 78, 102, 113, 118, 145, 202, 207 [best: 1000] 1709396983808
4, 26, 31, 43, 59, 81, 88, 99, 113, 121, 159, 176 [best: 1000] 1713691951104
4, 26, 31, 43, 59, 84, 94, 119, 132, 136, 177 [best: 1000] 1717986918400
4, 26, 31, 43, 60, 61, 82, 90, 121, 137, 178, 196 [best: 1000] 1722281885696
4, 26, 31, 43, 60, 63, 72, 97, 108, 122, 155, 167 [best: 1000] 1726576852992
4, 26, 31, 43, 60, 65, 76, 91, 113, 154, 174, 215 [best: 1000] 1730871820288
4, 26, 31, 43, 60, 66, 82, 89, 146, 147, 210, 218 [best: 1000] 1735166787584
4, 26, 31, 43, 60, 67, 86, 119, 142, 147, 178, 186 [best: 1000] 1739461754880
4, 26, 31, 43, 60, 68, 97, 113, 133, 135, 143, 169 [best: 1000] 1743756722176
4, 26, 31, 43, 60, 70, 84, 92, 95, 104, 142, 153 [best: 1000] 1748051689472
4, 26, 31, 43, 60, 72, 90, 110, 123, 132, 203, 262 [best: 1000] 1752346656768
4, 26, 31, 43, 60, 74, 92, 106, 129, 138, 153, 175 [best: 1000] 1756641624064
4, 26, 31, 43, 60, 76, 87, 114, 116, 148, 152, 231 [best: 1000] 1760936591360
4, 26, 31, 43, 60, 77, 93, 104, 135, 171, 193, 241 [best: 1000] 1765231558656
4, 26, 31, 43, 60, 79, 97, 109, 124, 150, 202, 215 [best: 1000] 1769526525952
4, 26, 31, 43, 61, 62, 67, 82, 102, 103, 113, 150 [best: 1000] 1773821493248
4, 26, 31, 43, 61, 65, 67, 76, 79, 99, 115, 177 [best: 1000] 1778116460544
4, 26, 31, 43, 61, 66, 77, 108, 131, 138, 153, 185 [best: 1000] 1782411427840
4, 26, 31, 43, 61, 67, 89, 95, 121, 129, 192, 198 [best: 1000] 1786706395136
4, 26, 31, 43, 61, 69, 73, 86, 91, 103, 112, 184 [best: 1000] 1791001362432
4, 26, 31, 43, 61, 71, 87, 98, 99, 103, 145, 165 [best: 1000] 1795296329728
4, 26, 31, 43, 61, 74, 92, 102, 105, 141, 151, 180 [best: 1000] 1799591297024
4, 26, 31, 43, 61, 76, 90, 117, 118, 134, 190, 205 [best: 1000] 1803886264320
4, 26, 31, 43, 61, 78, 88, 91, 134, 146, 176, 198 [best: 1000] 1808181231616
4, 26, 31, 43, 62, 63, 68, 70, 79, 96, 136, 138 [best: 1000] 1812476198912
4, 26, 31, 43, 62, 66, 68, 106, 115, 122, 131, 192 [best: 1000] 1816771166208
4, 26, 31, 43, 62, 67, 86, 106, 120, 153, 158, 201 [best: 1000] 1821066133504
4, 26, 31, 43, 62, 69, 79, 86, 122, 130, 135, 192 [best: 1000] 1825361100800
4, 26, 31, 43, 62, 74, 76, 92, 104, 114, 168, 209 [best: 1000] 1829656068096
4, 26, 31, 43, 62, 76, 93, 100, 110, 140, 162, 232 [best: 1000] 1833951035392
4, 26, 31, 43, 62, 80, 81, 93, 112, 121, 127, 138 [best: 1000] 1838246002688
4, 26, 31, 43, 63, 67, 74, 101, 130, 141, 171, 189 [best: 1000] 1842540969984
4, 26, 31, 43, 63, 71, 73, 76, 79, 84, 90, 105 [best: 1000] 1846835937280
4, 26, 31, 43, 64, 65, 66, 82, 118, 135, 160, 185 [best: 1000] 1851130904576
4, 26, 31, 43, 64, 68, 71, 84, 97, 125, 128, 170 [best: 1000] 1855425871872
4, 26, 31, 43, 64, 72, 87, 88, 102, 117, 148, 167 [best: 1000] 1859720839168
4, 26, 31, 43, 65, 66, 77, 89, 112, 169, 196, 212 [best: 1000] 1864015806464
4, 26, 31, 43, 65, 68, 69, 78, 93, 100, 147, 159 [best: 1000] 1868310773760
4, 26, 31, 43, 65, 69, 76, 79, 111, 114, 132, 157 [best: 1000] 1872605741056
4, 26, 31, 43, 65, 72, 76, 77, 103, 108, 173, 215 [best: 1000] 1876900708352
4, 26, 31, 43, 65, 74, 89, 95, 100, 129, 147 [best: 1000] 1881195675648
4, 26, 31, 43, 65, 77, 78, 80, 119, 135, 181, 203 [best: 1000] 1885490642944
4, 26, 31, 43, 65, 78, 84, 99, 104, 143, 163, 187 [best: 1000] 1889785610240
4, 26, 31, 43, 65, 82, 87, 106, 124, 133, 137, 179 [best: 1000] 1894080577536
4, 26, 31, 43, 66, 67, 80, 87, 104, 156, 157, 192 [best: 1000] 1898375544832
4, 26, 31, 43, 66, 68, 82, 90, 129, 149, 201, 241 [best: 1000] 1902670512128
4, 26, 31, 43, 66, 70, 72, 81, 88, 90, 119, 195 [best: 1000] 1906965479424
4, 26, 31, 43, 66, 72, 78, 84, 87, 114, 121, 187 [best: 1000] 1911260446720
4, 26, 31, 43, 66, 75, 76, 111, 127, 138, 178, 207 [best: 1000] 1915555414016
4, 26, 31, 43, 66, 76, 83, 84, 125, 146, 159, 195 [best: 1000] 1919850381312
4, 26, 31, 43, 66, 77, 85, 88, 92, 117, 119, 123 [best: 1000] 1924145348608
4, 26, 31, 43, 66, 78, 102, 116, 152, 156, 172, 207 [best: 1000] 1928440315904
4, 26, 31, 43, 66, 81, 99, 107, 112, 131, 189, 217 [best: 1000] 1932735283200
4, 26, 31, 43, 67, 68, 72, 76, 80, 147, 185, 217 [best: 1000] 1937030250496
4, 26, 31, 43, 67, 69, 71, 73, 116, 146, 149, 191 [best: 1000] 1941325217792
4, 26, 31, 43, 67, 70, 89, 116, 132, 137, 178, 200 [best: 1000] 1945620185088
4, 26, 31, 43, 67, 72, 86, 93, 94, 96, 135, 204 [best: 1000] 1949915152384
4, 26, 31, 43, 67, 73, 99, 108, 109, 133, 164, 191 [best: 1000] 1954210119680
4, 26, 31, 43, 67, 75, 88, 106, 121, 125, 132, 177 [best: 1000] 1958505086976
4, 26, 31, 43, 67, 76, 96, 101, 115, 128, 157, 187 [best: 1000] 1962800054272
4, 26, 31, 43, 67, 77, 93, 103, 115, 119, 146, 162 [best: 1000] 1967095021568
4, 26, 31, 43, 67, 78, 91, 104, 118, 131, 139, 167 [best: 1000] 1971389988864
4, 26, 31, 43, 67, 80, 90, 96, 104, 127, 128, 231 [best: 1000] 1975684956160
4, 26, 31, 43, 67, 84, 92, 93, 131, 154, 165, 172 [best: 1000] 1979979923456
4, 26, 31, 43, 68, 70, 72, 90, 102, 125, 146, 170 [best: 1000] 1984274890752
4, 26, 31, 43, 68, 71, 84, 91, 125, 145, 156, 158 [best: 1000] 1988569858048
4, 26, 31, 43, 68, 72, 96, 117, 129, 152, 161, 166 [best: 1000] 1992864825344
4, 26, 31, 43, 68, 74, 77, 78, 103, 153, 161, 201, 220 [best: 1000] 1997159792640
4, 26, 31, 43, 68, 75, 76, 86, 90, 147, 171, 196 [best: 1000] 2001454759936
4, 26, 31, 43, 68, 76, 104, 105, 118, 125, 145, 187 [best: 1000] 2005749727232
4, 26, 31, 43, 68, 77, 89, 97, 106, 159, 162, 245 [best: 1000] 2010044694528
4, 26, 31, 43, 68, 78, 80, 93, 112, 114, 167 [best: 1000] 2014339661824
4, 26, 31, 43, 68, 79, 87, 92, 95, 104, 134, 180 [best: 1000] 2018634629120
4, 26, 31, 43, 68, 81, 94, 109, 120, 133, 139, 175, 198 [best: 1000] 2022929596416
4, 26, 31, 43, 68, 84, 98, 110, 135, 148, 194, 200 [best: 1000] 2027224563712
4, 26, 31, 43, 69, 70, 72, 88, 98, 143, 154, 196 [best: 1000] 2031519531008
4, 26, 31, 43, 69, 72, 88, 98, 119, 142, 149, 166 [best: 1000] 2035814498304
4, 26, 31, 43, 69, 75, 83, 94, 97, 109, 138, 180 [best: 1000] 2040109465600
4, 26, 31, 43, 69, 77, 86, 94, 123, 134, 172, 186 [best: 1000] 2044404432896
4, 26, 31, 43, 69, 79, 95, 99, 101, 129, 130, 160 [best: 1000] 2048699400192
4, 26, 31, 43, 70, 72, 78, 104, 111, 158, 164, 182 [best: 1000] 2052994367488
4, 26, 31, 43, 70, 74, 98, 105, 113, 147, 162, 175 [best: 1000] 2057289334784
4, 26, 31, 43, 70, 77, 79, 96, 100, 107, 177, 220 [best: 1000] 2061584302080
4, 26, 31, 43, 70, 78, 95, 97, 105, 157, 186, 224 [best: 1000] 2065879269376
4, 26, 31, 43, 71, 72, 74, 84, 89, 111, 140, 160 [best: 1000] 2070174236672
4, 26, 31, 43, 71, 75, 88, 98, 122, 132, 162, 187 [best: 1000] 2074469203968
4, 26, 31, 43, 71, 77, 93, 99, 105, 143, 145, 176 [best: 1000] 2078764171264
total chains: 2082326957883
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 9 9 9 9
9: 28 337 12 4 19
10: 715 10117 14 3 26
11: 20095 331049 16 3 32
12: 637244 11679845 18 2 37
13: 22762577 456936233 20 0 42
14: 909440031 19906293240 21 0 47
15: 40327407702 959060871397 23 0 52
16: 1451692081 36616292840 25 0 57
17: 2138064 67199880 31 4 58
18: 774 28828 37 24 52
19: 0 0 0 0 0
20: 0 0 0 0 0
21: 0 0 0 0 0
real 270m45.500s
user 268m9.883s
sys 0m3.154s
stderr end
2025-05-01 06:54:01 (3901536): called boinc_finish(0)
</stderr_txt>
]]>
