Task 15662
| Name | batch_89__job_job-000918_1 |
| Workunit | 12846 |
| Created | 30 Apr 2025, 18:44:17 UTC |
| Sent | 1 May 2025, 2:46:31 UTC |
| Report deadline | 8 May 2025, 2:46:31 UTC |
| Received | 4 May 2025, 2:42:28 UTC |
| Server state | Over |
| Outcome | Success |
| Client state | Done |
| Exit status | 0 (0x00000000) |
| Computer ID | 32944 |
| Run time | 2 days 23 hours 55 min 57 sec |
| CPU time | 131 days 21 hours 1 min 48 sec |
| Validate state | Valid |
| Credit | 424.59 |
| Device peak FLOPS | 1.00 GFLOPS |
| Application version | Universal Docker app v1.08 (docker) x86_64-pc-linux-gnu |
| Peak working set size | 42.28 MB |
| Peak swap size | 2.41 GB |
| Peak disk usage | 16.22 MB |
Stderr output
<core_client_version>8.2.2</core_client_version>
<![CDATA[
<stderr_txt>
890582302720
3, 31, 44, 45, 64, 85, 111, 123, 124, 130, 138, 142, 226 [best: 1000] 8894877270016
3, 31, 44, 45, 64, 87, 91, 101, 109, 142, 201, 212, 239 [best: 1000] 8899172237312
3, 31, 44, 45, 64, 88, 89, 111, 126, 136, 152, 158 [best: 1000] 8903467204608
3, 31, 44, 45, 64, 90, 91, 116, 143, 149, 168, 206 [best: 1000] 8907762171904
3, 31, 44, 45, 64, 92, 108, 113, 139, 156, 193, 227 [best: 1000] 8912057139200
3, 31, 44, 45, 65, 66, 72, 90, 107, 117, 183, 196 [best: 1000] 8916352106496
3, 31, 44, 45, 65, 66, 82, 97, 123, 135, 168, 181 [best: 1000] 8920647073792
3, 31, 44, 45, 65, 67, 68, 70, 103, 112, 178, 190 [best: 1000] 8924942041088
3, 31, 44, 45, 65, 67, 75, 87, 118, 185, 198, 270 [best: 1000] 8929237008384
3, 31, 44, 45, 65, 67, 85, 121, 150, 180, 197, 202 [best: 1000] 8933531975680
3, 31, 44, 45, 65, 67, 103, 109, 111, 117, 124, 231 [best: 1000] 8937826942976
3, 31, 44, 45, 65, 68, 75, 82, 85, 95, 107, 112 [best: 1000] 8942121910272
3, 31, 44, 45, 65, 68, 88, 89, 93, 125, 174, 201, 211 [best: 1000] 8946416877568
3, 31, 44, 45, 65, 69, 71, 101, 142, 180, 183, 194 [best: 1000] 8950711844864
3, 31, 44, 45, 65, 69, 84, 122, 136, 146, 187, 233 [best: 1000] 8955006812160
3, 31, 44, 45, 65, 70, 74, 82, 86, 91, 164, 201 [best: 1000] 8959301779456
3, 31, 44, 45, 65, 70, 87, 107, 111, 133, 139, 214 [best: 1000] 8963596746752
3, 31, 44, 45, 65, 71, 73, 132, 135, 184, 212, 220 [best: 1000] 8967891714048
3, 31, 44, 45, 65, 71, 81, 103, 130, 173, 189, 205 [best: 1000] 8972186681344
3, 31, 44, 45, 65, 71, 92, 118, 125, 168, 172, 250 [best: 1000] 8976481648640
3, 31, 44, 45, 65, 72, 74, 75, 81, 121, 144, 159 [best: 1000] 8980776615936
3, 31, 44, 45, 65, 72, 81, 124, 129, 136, 141, 219 [best: 1000] 8985071583232
3, 31, 44, 45, 65, 72, 95, 101, 141, 181, 182, 208 [best: 1000] 8989366550528
3, 31, 44, 45, 65, 73, 75, 98, 125, 142, 170, 199 [best: 1000] 8993661517824
3, 31, 44, 45, 65, 73, 88, 101, 123, 151, 168, 190, 208 [best: 1000] 8997956485120
3, 31, 44, 45, 65, 74, 75, 112, 118, 135, 216, 241 [best: 1000] 9002251452416
3, 31, 44, 45, 65, 74, 82, 105, 133, 149, 211, 249 [best: 1000] 9006546419712
3, 31, 44, 45, 65, 74, 90, 125, 139, 141, 158, 192, 210 [best: 1000] 9010841387008
3, 31, 44, 45, 65, 74, 107, 118, 171, 186, 220, 223 [best: 1000] 9015136354304
3, 31, 44, 45, 65, 75, 79, 133, 140, 141, 161, 168, 217 [best: 1000] 9019431321600
3, 31, 44, 45, 65, 75, 87, 102, 115, 163, 185, 267 [best: 1000] 9023726288896
3, 31, 44, 45, 65, 75, 95, 98, 117, 145, 156, 201 [best: 1000] 9028021256192
3, 31, 44, 45, 65, 75, 105, 154, 187, 192, 203, 215 [best: 1000] 9032316223488
3, 31, 44, 45, 65, 76, 82, 104, 122, 160, 162, 201 [best: 1000] 9036611190784
3, 31, 44, 45, 65, 76, 99, 102, 118, 120, 203, 204, 220 [best: 1000] 9040906158080
3, 31, 44, 45, 65, 77, 88, 108, 109, 120, 161, 168, 198 [best: 1000] 9045201125376
3, 31, 44, 45, 65, 78, 84, 118, 141, 151, 169, 185 [best: 1000] 9049496092672
3, 31, 44, 45, 65, 78, 99, 105, 128, 135, 179, 183 [best: 1000] 9053791059968
3, 31, 44, 45, 65, 79, 88, 102, 104, 124, 163, 179, 211 [best: 1000] 9058086027264
3, 31, 44, 45, 65, 80, 87, 110, 135, 166, 170, 230 [best: 1000] 9062380994560
3, 31, 44, 45, 65, 81, 87, 116, 121, 132, 137, 147 [best: 1000] 9066675961856
3, 31, 44, 45, 65, 81, 106, 115, 143, 176, 189, 225 [best: 1000] 9070970929152
3, 31, 44, 45, 65, 82, 95, 123, 144, 162, 191, 224, 233 [best: 1000] 9075265896448
3, 31, 44, 45, 65, 83, 99, 108, 128, 145, 151, 157, 180 [best: 1000] 9079560863744
3, 31, 44, 45, 65, 84, 108, 117, 128, 135, 138, 178 [best: 1000] 9083855831040
3, 31, 44, 45, 65, 86, 96, 115, 127, 152, 167, 193 [best: 1000] 9088150798336
3, 31, 44, 45, 65, 87, 93, 127, 145, 156, 183, 222 [best: 1000] 9092445765632
3, 31, 44, 45, 65, 87, 116, 127, 128, 131, 151, 204 [best: 1000] 9096740732928
3, 31, 44, 45, 65, 88, 97, 107, 110, 151, 161, 195, 243 [best: 1000] 9101035700224
3, 31, 44, 45, 65, 88, 107, 110, 132, 138, 161, 181, 246 [best: 1000] 9105330667520
3, 31, 44, 45, 65, 89, 97, 99, 128, 137, 153, 156 [best: 1000] 9109625634816
3, 31, 44, 45, 65, 91, 101, 102, 119, 136, 156 [best: 1000] 9113920602112
3, 31, 44, 45, 65, 94, 101, 112, 116, 136, 177, 185 [best: 1000] 9118215569408
3, 31, 44, 45, 66, 67, 72, 75, 81, 133, 197, 239 [best: 1000] 9122510536704
3, 31, 44, 45, 66, 67, 77, 80, 106, 144, 192, 227 [best: 1000] 9126805504000
3, 31, 44, 45, 66, 67, 85, 107, 135, 155, 161, 214 [best: 1000] 9131100471296
3, 31, 44, 45, 66, 67, 96, 110, 146, 147, 169, 222 [best: 1000] 9135395438592
3, 31, 44, 45, 66, 68, 70, 72, 110, 117, 142, 174, 206 [best: 1000] 9139690405888
3, 31, 44, 45, 66, 68, 75, 125, 126, 203, 205, 237 [best: 1000] 9143985373184
3, 31, 44, 45, 66, 68, 85, 99, 129, 137, 161, 194 [best: 1000] 9148280340480
3, 31, 44, 45, 66, 68, 102, 108, 123, 154, 171, 225 [best: 1000] 9152575307776
3, 31, 44, 45, 66, 69, 74, 79, 92, 181, 214, 240 [best: 1000] 9156870275072
3, 31, 44, 45, 66, 69, 84, 85, 110, 120, 149, 209 [best: 1000] 9161165242368
3, 31, 44, 45, 66, 70, 71, 75, 104, 148, 176, 233 [best: 1000] 9165460209664
3, 31, 44, 45, 66, 70, 77, 83, 85, 108, 137, 188 [best: 1000] 9169755176960
3, 31, 44, 45, 66, 70, 89, 92, 124, 179, 190, 230 [best: 1000] 9174050144256
3, 31, 44, 45, 66, 71, 72, 75, 144, 169, 185, 187, 212 [best: 1000] 9178345111552
3, 31, 44, 45, 66, 71, 76, 97, 106, 141, 157, 232 [best: 1000] 9182640078848
3, 31, 44, 45, 66, 71, 83, 133, 182, 192, 223 [best: 1000] 9186935046144
3, 31, 44, 45, 66, 71, 92, 108, 135, 196, 214, 244 [best: 1000] 9191230013440
3, 31, 44, 45, 66, 71, 110, 111, 132, 177, 227, 260 [best: 1000] 9195524980736
3, 31, 44, 45, 66, 72, 75, 129, 168, 182, 187, 243 [best: 1000] 9199819948032
3, 31, 44, 45, 66, 72, 83, 89, 113, 133, 167, 196 [best: 1000] 9204114915328
3, 31, 44, 45, 66, 72, 91, 110, 136, 143, 192, 206, 221 [best: 1000] 9208409882624
3, 31, 44, 45, 66, 72, 108, 115, 145, 170, 171 [best: 1000] 9212704849920
3, 31, 44, 45, 66, 73, 76, 112, 120, 129, 137, 206 [best: 1000] 9216999817216
3, 31, 44, 45, 66, 73, 86, 105, 112, 129, 163, 239 [best: 1000] 9221294784512
3, 31, 44, 45, 66, 73, 102, 127, 135, 160, 209, 213 [best: 1000] 9225589751808
3, 31, 44, 45, 66, 74, 76, 112, 137, 185, 229, 238 [best: 1000] 9229884719104
3, 31, 44, 45, 66, 74, 82, 99, 170, 185, 200, 250 [best: 1000] 9234179686400
3, 31, 44, 45, 66, 74, 89, 96, 97, 161, 188, 220 [best: 1000] 9238474653696
3, 31, 44, 45, 66, 74, 97, 115, 119, 170, 175, 216 [best: 1000] 9242769620992
3, 31, 44, 45, 66, 74, 111, 129, 131, 145, 176, 235 [best: 1000] 9247064588288
3, 31, 44, 45, 66, 75, 78, 103, 113, 183, 211, 233 [best: 1000] 9251359555584
3, 31, 44, 45, 66, 75, 83, 137, 138, 169, 200, 204 [best: 1000] 9255654522880
3, 31, 44, 45, 66, 75, 89, 113, 160, 208, 216, 266 [best: 1000] 9259949490176
3, 31, 44, 45, 66, 75, 95, 118, 159, 170, 189, 225 [best: 1000] 9264244457472
3, 31, 44, 45, 66, 75, 103, 118, 130, 150, 184, 235 [best: 1000] 9268539424768
3, 31, 44, 45, 66, 75, 119, 130, 137, 192, 233, 241 [best: 1000] 9272834392064
3, 31, 44, 45, 66, 76, 83, 90, 116, 141, 176, 258 [best: 1000] 9277129359360
3, 31, 44, 45, 66, 76, 92, 107, 130, 150, 155, 214 [best: 1000] 9281424326656
3, 31, 44, 45, 66, 76, 109, 123, 148, 153, 177, 215 [best: 1000] 9285719293952
3, 31, 44, 45, 66, 77, 87, 119, 122, 150, 176, 186 [best: 1000] 9290014261248
3, 31, 44, 45, 66, 78, 80, 83, 94, 109, 113, 136 [best: 1000] 9294309228544
3, 31, 44, 45, 66, 78, 89, 92, 93, 112, 169, 220 [best: 1000] 9298604195840
3, 31, 44, 45, 66, 78, 100, 145, 147, 165, 218, 244 [best: 1000] 9302899163136
3, 31, 44, 45, 66, 79, 83, 134, 170, 188, 195, 200, 229 [best: 1000] 9307194130432
3, 31, 44, 45, 66, 79, 100, 105, 114, 124, 148, 200, 204 [best: 1000] 9311489097728
3, 31, 44, 45, 66, 80, 90, 94, 139, 147, 159, 232 [best: 1000] 9315784065024
3, 31, 44, 45, 66, 81, 84, 109, 141, 160, 176, 231 [best: 1000] 9320079032320
3, 31, 44, 45, 66, 81, 95, 98, 110, 149, 150, 226 [best: 1000] 9324373999616
3, 31, 44, 45, 66, 82, 83, 90, 93, 158, 202, 218 [best: 1000] 9328668966912
3, 31, 44, 45, 66, 82, 94, 109, 143, 155, 166, 201 [best: 1000] 9332963934208
3, 31, 44, 45, 66, 83, 86, 91, 101, 122, 144, 150 [best: 1000] 9337258901504
3, 31, 44, 45, 66, 83, 98, 99, 100, 108, 126 [best: 1000] 9341553868800
3, 31, 44, 45, 66, 84, 85, 100, 120, 145, 158, 179 [best: 1000] 9345848836096
3, 31, 44, 45, 66, 85, 87, 105, 137, 172, 221, 222 [best: 1000] 9350143803392
3, 31, 44, 45, 66, 85, 104, 108, 166, 171, 183, 201 [best: 1000] 9354438770688
3, 31, 44, 45, 66, 86, 92, 98, 137, 150, 230 [best: 1000] 9358733737984
3, 31, 44, 45, 66, 86, 108, 150, 163, 170, 206, 220, 269 [best: 1000] 9363028705280
3, 31, 44, 45, 66, 87, 96, 103, 117, 150, 188, 203 [best: 1000] 9367323672576
3, 31, 44, 45, 66, 88, 90, 119, 128, 159, 198, 208 [best: 1000] 9371618639872
3, 31, 44, 45, 66, 89, 99, 114, 140, 153, 174, 214 [best: 1000] 9375913607168
3, 31, 44, 45, 66, 90, 92, 104, 112, 176, 211, 259 [best: 1000] 9380208574464
3, 31, 44, 45, 66, 90, 104, 122, 143, 175, 193, 204 [best: 1000] 9384503541760
3, 31, 44, 45, 66, 91, 93, 102, 125, 134, 148 [best: 1000] 9388798509056
3, 31, 44, 45, 66, 91, 114, 119, 120, 121, 181, 218 [best: 1000] 9393093476352
3, 31, 44, 45, 66, 92, 109, 141, 153, 183, 223, 246 [best: 1000] 9397388443648
3, 31, 44, 45, 66, 94, 100, 117, 129, 140, 179 [best: 1000] 9401683410944
3, 31, 44, 45, 66, 96, 105, 119, 132, 152, 211, 223 [best: 1000] 9405978378240
3, 31, 44, 45, 66, 97, 114, 124, 143, 170, 189, 203 [best: 1000] 9410273345536
3, 31, 44, 45, 66, 98, 117, 129, 149, 154, 176, 189 [best: 1000] 9414568312832
3, 31, 44, 45, 67, 68, 75, 122, 123, 153, 182, 191 [best: 1000] 9418863280128
3, 31, 44, 45, 67, 68, 87, 116, 118, 160, 195, 225 [best: 1000] 9423158247424
3, 31, 44, 45, 67, 68, 107, 138, 153, 168, 182, 239 [best: 1000] 9427453214720
3, 31, 44, 45, 67, 69, 79, 114, 115, 131, 164, 232 [best: 1000] 9431748182016
3, 31, 44, 45, 67, 70, 72, 73, 147, 152, 155, 224 [best: 1000] 9436043149312
3, 31, 44, 45, 67, 70, 79, 133, 136, 145, 148, 157 [best: 1000] 9440338116608
3, 31, 44, 45, 67, 70, 93, 121, 125, 136, 146, 193 [best: 1000] 9444633083904
3, 31, 44, 45, 67, 71, 73, 120, 140, 187, 197, 206 [best: 1000] 9448928051200
3, 31, 44, 45, 67, 71, 81, 87, 106, 122, 219, 242 [best: 1000] 9453223018496
3, 31, 44, 45, 67, 71, 91, 100, 108, 128, 177, 208 [best: 1000] 9457517985792
3, 31, 44, 45, 67, 71, 112, 143, 145, 161, 177, 204, 215 [best: 1000] 9461812953088
3, 31, 44, 45, 67, 72, 78, 98, 107, 128, 196, 221 [best: 1000] 9466107920384
3, 31, 44, 45, 67, 72, 89, 114, 147, 164, 193, 227 [best: 1000] 9470402887680
3, 31, 44, 45, 67, 72, 109, 140, 143, 169, 175, 189 [best: 1000] 9474697854976
3, 31, 44, 45, 67, 73, 79, 114, 120, 154, 156, 233 [best: 1000] 9478992822272
3, 31, 44, 45, 67, 73, 96, 100, 112, 149, 165, 172 [best: 1000] 9483287789568
3, 31, 44, 45, 67, 74, 76, 120, 129, 133, 164, 226 [best: 1000] 9487582756864
3, 31, 44, 45, 67, 74, 85, 95, 101, 114, 130, 174 [best: 1000] 9491877724160
3, 31, 44, 45, 67, 74, 96, 105, 116, 139, 178, 219 [best: 1000] 9496172691456
3, 31, 44, 45, 67, 74, 118, 129, 131, 150, 175, 212 [best: 1000] 9500467658752
3, 31, 44, 45, 67, 75, 80, 103, 111, 146, 184, 242 [best: 1000] 9504762626048
3, 31, 44, 45, 67, 75, 87, 98, 100, 193, 227, 228 [best: 1000] 9509057593344
3, 31, 44, 45, 67, 75, 94, 107, 110, 122, 151, 176 [best: 1000] 9513352560640
3, 31, 44, 45, 67, 75, 103, 110, 185, 191, 254, 256 [best: 1000] 9517647527936
3, 31, 44, 45, 67, 75, 115, 116, 142, 147, 163, 178 [best: 1000] 9521942495232
3, 31, 44, 45, 67, 76, 82, 89, 111, 161, 200, 243 [best: 1000] 9526237462528
3, 31, 44, 45, 67, 76, 95, 106, 157, 184, 216, 220, 248 [best: 1000] 9530532429824
3, 31, 44, 45, 67, 77, 79, 113, 115, 168, 171, 209 [best: 1000] 9534827397120
3, 31, 44, 45, 67, 77, 95, 112, 131, 151, 164, 199 [best: 1000] 9539122364416
3, 31, 44, 45, 67, 78, 83, 131, 133, 172, 183, 187 [best: 1000] 9543417331712
3, 31, 44, 45, 67, 78, 97, 99, 102, 133, 138, 155 [best: 1000] 9547712299008
3, 31, 44, 45, 67, 79, 81, 106, 123, 166, 220, 239, 276 [best: 1000] 9552007266304
3, 31, 44, 45, 67, 79, 97, 109, 132, 179, 186, 206 [best: 1000] 9556302233600
3, 31, 44, 45, 67, 80, 88, 89, 91, 93, 111, 206 [best: 1000] 9560597200896
3, 31, 44, 45, 67, 81, 82, 102, 103, 116, 149, 220 [best: 1000] 9564892168192
3, 31, 44, 45, 67, 81, 91, 107, 108, 132, 176, 216 [best: 1000] 9569187135488
3, 31, 44, 45, 67, 81, 109, 123, 132, 139, 162, 173 [best: 1000] 9573482102784
3, 31, 44, 45, 67, 82, 90, 91, 94, 98, 108, 211 [best: 1000] 9577777070080
3, 31, 44, 45, 67, 83, 84, 85, 88, 135, 140, 152 [best: 1000] 9582072037376
3, 31, 44, 45, 67, 84, 90, 97, 121, 173, 184, 198 [best: 1000] 9586367004672
3, 31, 44, 45, 67, 85, 90, 95, 109, 119, 153, 198 [best: 1000] 9590661971968
3, 31, 44, 45, 67, 86, 92, 101, 136, 149, 178, 218 [best: 1000] 9594956939264
3, 31, 44, 45, 67, 87, 90, 138, 140, 202, 226, 238 [best: 1000] 9599251906560
3, 31, 44, 45, 67, 87, 109, 125, 141, 157, 222, 228, 265 [best: 1000] 9603546873856
3, 31, 44, 45, 67, 88, 105, 115, 161, 168, 197, 206 [best: 1000] 9607841841152
3, 31, 44, 45, 67, 89, 98, 105, 146, 193, 217, 221 [best: 1000] 9612136808448
3, 31, 44, 45, 67, 89, 108, 121, 135, 171, 192, 221 [best: 1000] 9616431775744
3, 31, 44, 45, 67, 89, 127, 130, 156, 168, 186, 262 [best: 1000] 9620726743040
3, 31, 44, 45, 67, 90, 107, 111, 119, 143, 155, 220 [best: 1000] 9625021710336
3, 31, 44, 45, 67, 91, 104, 110, 136, 171, 187, 253 [best: 1000] 9629316677632
3, 31, 44, 45, 67, 92, 102, 112, 161, 164, 213, 233 [best: 1000] 9633611644928
3, 31, 44, 45, 67, 95, 97, 100, 143, 148, 159, 200 [best: 1000] 9637906612224
3, 31, 44, 45, 67, 96, 107, 126, 142, 153, 216, 253 [best: 1000] 9642201579520
3, 31, 44, 45, 67, 98, 106, 113, 131, 146, 201, 221 [best: 1000] 9646496546816
3, 31, 44, 45, 67, 100, 101, 112, 119, 162, 178, 226 [best: 1000] 9650791514112
3, 31, 44, 45, 68, 69, 73, 87, 104, 105, 117, 212 [best: 1000] 9655086481408
3, 31, 44, 45, 68, 69, 88, 94, 113, 121, 131, 147, 171 [best: 1000] 9659381448704
3, 31, 44, 45, 68, 70, 74, 90, 91, 171, 177, 231 [best: 1000] 9663676416000
3, 31, 44, 45, 68, 70, 90, 101, 104, 107, 127, 165 [best: 1000] 9667971383296
3, 31, 44, 45, 68, 71, 75, 80, 87, 129, 169, 238 [best: 1000] 9672266350592
3, 31, 44, 45, 68, 71, 83, 89, 101, 167, 192, 219 [best: 1000] 9676561317888
3, 31, 44, 45, 68, 71, 96, 100, 135, 157, 159, 179 [best: 1000] 9680856285184
3, 31, 44, 45, 68, 72, 74, 89, 150, 168, 210, 217 [best: 1000] 9685151252480
3, 31, 44, 45, 68, 72, 83, 100, 106, 171, 177, 195 [best: 1000] 9689446219776
3, 31, 44, 45, 68, 72, 99, 125, 131, 144, 171, 177 [best: 1000] 9693741187072
3, 31, 44, 45, 68, 73, 77, 127, 148, 164, 202, 230 [best: 1000] 9698036154368
3, 31, 44, 45, 68, 73, 92, 119, 141, 178, 208, 249 [best: 1000] 9702331121664
3, 31, 44, 45, 68, 74, 76, 83, 93, 125, 141, 214 [best: 1000] 9706626088960
3, 31, 44, 45, 68, 74, 82, 105, 128, 144, 185, 204 [best: 1000] 9710921056256
3, 31, 44, 45, 68, 74, 91, 109, 146, 165, 188, 198, 221 [best: 1000] 9715216023552
3, 31, 44, 45, 68, 74, 104, 134, 137, 151, 159, 168 [best: 1000] 9719510990848
3, 31, 44, 45, 68, 75, 77, 81, 121, 142, 157, 187 [best: 1000] 9723805958144
3, 31, 44, 45, 68, 75, 85, 117, 123, 134, 183, 193 [best: 1000] 9728100925440
3, 31, 44, 45, 68, 75, 94, 97, 121, 126, 143, 164, 215 [best: 1000] 9732395892736
3, 31, 44, 45, 68, 75, 108, 116, 129, 170, 175, 250 [best: 1000] 9736690860032
3, 31, 44, 45, 68, 76, 82, 87, 90, 120, 124, 220 [best: 1000] 9740985827328
3, 31, 44, 45, 68, 76, 96, 117, 125, 147, 172, 199 [best: 1000] 9745280794624
3, 31, 44, 45, 68, 77, 83, 104, 124, 149, 160, 204 [best: 1000] 9749575761920
3, 31, 44, 45, 68, 77, 109, 120, 124, 161, 184, 193 [best: 1000] 9753870729216
3, 31, 44, 45, 68, 78, 89, 113, 115, 125, 134, 222 [best: 1000] 9758165696512
3, 31, 44, 45, 68, 78, 104, 120, 135, 142, 191, 220 [best: 1000] 9762460663808
3, 31, 44, 45, 68, 79, 89, 112, 174, 181, 188, 231, 268 [best: 1000] 9766755631104
3, 31, 44, 45, 68, 80, 83, 106, 119, 163, 173, 222, 263 [best: 1000] 9771050598400
3, 31, 44, 45, 68, 81, 82, 127, 143, 146, 173, 231 [best: 1000] 9775345565696
3, 31, 44, 45, 68, 81, 93, 124, 127, 155, 186, 220 [best: 1000] 9779640532992
3, 31, 44, 45, 68, 81, 115, 127, 138, 151, 192, 227 [best: 1000] 9783935500288
3, 31, 44, 45, 68, 82, 94, 112, 119, 139, 185, 209, 241 [best: 1000] 9788230467584
3, 31, 44, 45, 68, 83, 90, 105, 115, 126, 156, 193, 209 [best: 1000] 9792525434880
3, 31, 44, 45, 68, 85, 90, 94, 149, 163, 183, 211, 231 [best: 1000] 9796820402176
3, 31, 44, 45, 68, 86, 94, 140, 150, 163, 211, 241, 265 [best: 1000] 9801115369472
3, 31, 44, 45, 68, 86, 115, 125, 144, 153, 164, 182 [best: 1000] 9805410336768
3, 31, 44, 45, 68, 87, 105, 108, 141, 149, 160, 212 [best: 1000] 9809705304064
3, 31, 44, 45, 68, 89, 90, 93, 118, 122, 168, 201 [best: 1000] 9814000271360
3, 31, 44, 45, 68, 89, 101, 105, 110, 142, 178, 189, 220 [best: 1000] 9818295238656
3, 31, 44, 45, 68, 89, 120, 124, 149, 187, 209, 218 [best: 1000] 9822590205952
3, 31, 44, 45, 68, 90, 105, 128, 143, 157, 169, 172 [best: 1000] 9826885173248
3, 31, 44, 45, 68, 92, 93, 117, 151, 153, 175, 231 [best: 1000] 9831180140544
3, 31, 44, 45, 68, 93, 102, 118, 144, 181, 195, 225 [best: 1000] 9835475107840
3, 31, 44, 45, 68, 94, 103, 118, 119, 148, 179, 187, 193 [best: 1000] 9839770075136
3, 31, 44, 45, 68, 94, 119, 121, 133, 144, 145, 177, 248 [best: 1000] 9844065042432
3, 31, 44, 45, 68, 96, 107, 117, 120, 135, 146, 160 [best: 1000] 9848360009728
3, 31, 44, 45, 69, 70, 73, 87, 115, 158, 168, 192 [best: 1000] 9852654977024
3, 31, 44, 45, 69, 70, 88, 106, 131, 135, 183, 249 [best: 1000] 9856949944320
3, 31, 44, 45, 69, 71, 75, 103, 129, 168, 233, 260 [best: 1000] 9861244911616
3, 31, 44, 45, 69, 71, 87, 126, 127, 184, 191, 204 [best: 1000] 9865539878912
3, 31, 44, 45, 69, 72, 73, 86, 97, 106, 138, 170 [best: 1000] 9869834846208
3, 31, 44, 45, 69, 72, 85, 96, 113, 134, 153, 181 [best: 1000] 9874129813504
3, 31, 44, 45, 69, 73, 74, 82, 106, 151, 162, 234 [best: 1000] 9878424780800
3, 31, 44, 45, 69, 73, 89, 99, 106, 176, 189, 207 [best: 1000] 9882719748096
3, 31, 44, 45, 69, 74, 78, 86, 95, 104, 112, 212, 257 [best: 1000] 9887014715392
3, 31, 44, 45, 69, 74, 90, 96, 129, 133, 146, 202 [best: 1000] 9891309682688
3, 31, 44, 45, 69, 75, 76, 89, 128, 140, 159, 221 [best: 1000] 9895604649984
3, 31, 44, 45, 69, 75, 84, 95, 139, 164, 205, 210 [best: 1000] 9899899617280
3, 31, 44, 45, 69, 75, 94, 117, 126, 139, 144, 184 [best: 1000] 9904194584576
3, 31, 44, 45, 69, 75, 107, 121, 122, 124, 167, 224 [best: 1000] 9908489551872
3, 31, 44, 45, 69, 76, 86, 125, 138, 179, 190, 203 [best: 1000] 9912784519168
3, 31, 44, 45, 69, 77, 81, 110, 115, 152, 198, 245 [best: 1000] 9917079486464
3, 31, 44, 45, 69, 78, 85, 87, 138, 150, 200, 226 [best: 1000] 9921374453760
3, 31, 44, 45, 69, 78, 114, 132, 139, 147, 184, 218 [best: 1000] 9925669421056
3, 31, 44, 45, 69, 79, 101, 109, 127, 161, 180, 218 [best: 1000] 9929964388352
3, 31, 44, 45, 69, 80, 107, 117, 128, 159, 166, 189 [best: 1000] 9934259355648
3, 31, 44, 45, 69, 81, 99, 100, 122, 162, 182, 230 [best: 1000] 9938554322944
3, 31, 44, 45, 69, 82, 91, 101, 106, 145, 163, 174 [best: 1000] 9942849290240
3, 31, 44, 45, 69, 85, 87, 115, 134, 155, 165, 202, 238 [best: 1000] 9947144257536
3, 31, 44, 45, 69, 86, 96, 108, 131, 141, 174, 200 [best: 1000] 9951439224832
3, 31, 44, 45, 69, 87, 98, 108, 122, 140, 179, 295 [best: 1000] 9955734192128
3, 31, 44, 45, 69, 88, 102, 110, 113, 160, 221, 250 [best: 1000] 9960029159424
3, 31, 44, 45, 69, 90, 100, 110, 140, 148, 185 [best: 1000] 9964324126720
3, 31, 44, 45, 69, 93, 103, 111, 125, 168, 174, 224 [best: 1000] 9968619094016
3, 31, 44, 45, 70, 71, 78, 81, 93, 126, 154, 200 [best: 1000] 9972914061312
3, 31, 44, 45, 70, 71, 90, 104, 130, 134, 196, 207 [best: 1000] 9977209028608
3, 31, 44, 45, 70, 71, 109, 136, 166, 174, 184, 187 [best: 1000] 9981503995904
3, 31, 44, 45, 70, 72, 77, 96, 124, 152, 201, 205 [best: 1000] 9985798963200
3, 31, 44, 45, 70, 72, 90, 91, 92, 160, 164, 194 [best: 1000] 9990093930496
3, 31, 44, 45, 70, 72, 110, 111, 123, 130, 153, 214 [best: 1000] 9994388897792
3, 31, 44, 45, 70, 73, 80, 100, 109, 118, 163, 192 [best: 1000] 9998683865088
3, 31, 44, 45, 70, 73, 102, 117, 138, 148, 158, 161 [best: 1000] 10002978832384
3, 31, 44, 45, 70, 74, 78, 96, 125, 142, 188, 193 [best: 1000] 10007273799680
3, 31, 44, 45, 70, 74, 87, 102, 131, 201, 204, 245 [best: 1000] 10011568766976
3, 31, 44, 45, 70, 74, 96, 111, 115, 147, 226, 250 [best: 1000] 10015863734272
3, 31, 44, 45, 70, 74, 111, 128, 130, 131, 135, 173 [best: 1000] 10020158701568
3, 31, 44, 45, 70, 75, 79, 99, 102, 166, 171, 235, 259 [best: 1000] 10024453668864
3, 31, 44, 45, 70, 75, 89, 106, 168, 175, 197, 206 [best: 1000] 10028748636160
3, 31, 44, 45, 70, 75, 101, 124, 129, 153, 185, 192 [best: 1000] 10033043603456
3, 31, 44, 45, 70, 75, 124, 134, 159, 183, 208, 267 [best: 1000] 10037338570752
3, 31, 44, 45, 70, 76, 90, 106, 119, 140, 208, 241 [best: 1000] 10041633538048
3, 31, 44, 45, 70, 76, 114, 125, 148, 180, 202, 241 [best: 1000] 10045928505344
3, 31, 44, 45, 70, 77, 97, 99, 110, 145, 148, 213 [best: 1000] 10050223472640
3, 31, 44, 45, 70, 78, 88, 99, 124, 143, 182, 183 [best: 1000] 10054518439936
3, 31, 44, 45, 70, 78, 106, 128, 168, 189, 204, 225, 288 [best: 1000] 10058813407232
3, 31, 44, 45, 70, 79, 91, 96, 137, 142, 159, 193 [best: 1000] 10063108374528
3, 31, 44, 45, 70, 80, 81, 83, 85, 100, 146, 182 [best: 1000] 10067403341824
3, 31, 44, 45, 70, 81, 87, 91, 136, 168, 182, 211 [best: 1000] 10071698309120
3, 31, 44, 45, 70, 81, 104, 132, 154, 162, 176, 218 [best: 1000] 10075993276416
3, 31, 44, 45, 70, 82, 92, 96, 143, 180, 190, 222 [best: 1000] 10080288243712
3, 31, 44, 45, 70, 83, 90, 119, 136, 168, 180, 189 [best: 1000] 10084583211008
3, 31, 44, 45, 70, 85, 91, 119, 148, 165, 211, 231 [best: 1000] 10088878178304
3, 31, 44, 45, 70, 87, 98, 99, 104, 119, 121, 245 [best: 1000] 10093173145600
3, 31, 44, 45, 70, 88, 97, 122, 123, 143, 183, 196 [best: 1000] 10097468112896
3, 31, 44, 45, 70, 88, 123, 143, 144, 161, 171, 231, 233 [best: 1000] 10101763080192
3, 31, 44, 45, 70, 90, 94, 104, 115, 122, 155, 230 [best: 1000] 10106058047488
3, 31, 44, 45, 70, 91, 96, 127, 133, 153, 169, 186 [best: 1000] 10110353014784
3, 31, 44, 45, 70, 91, 112, 144, 149, 155, 188, 200 [best: 1000] 10114647982080
3, 31, 44, 45, 70, 92, 107, 119, 169, 188, 208, 239 [best: 1000] 10118942949376
3, 31, 44, 45, 70, 94, 100, 109, 115, 119, 145, 162 [best: 1000] 10123237916672
3, 31, 44, 45, 70, 96, 99, 102, 107, 158, 165, 219 [best: 1000] 10127532883968
3, 31, 44, 45, 70, 98, 112, 116, 137, 153, 206, 229 [best: 1000] 10131827851264
3, 31, 44, 45, 71, 72, 74, 100, 149, 170, 217, 248, 263 [best: 1000] 10136122818560
3, 31, 44, 45, 71, 72, 80, 111, 141, 166, 189, 258 [best: 1000] 10140417785856
3, 31, 44, 45, 71, 72, 89, 95, 117, 127, 144, 157 [best: 1000] 10144712753152
3, 31, 44, 45, 71, 72, 99, 103, 153, 183, 195, 224, 244 [best: 1000] 10149007720448
3, 31, 44, 45, 71, 72, 117, 127, 130, 181, 207, 218 [best: 1000] 10153302687744
3, 31, 44, 45, 71, 73, 79, 86, 107, 135, 176, 212 [best: 1000] 10157597655040
3, 31, 44, 45, 71, 73, 90, 99, 111, 147, 223, 251 [best: 1000] 10161892622336
3, 31, 44, 45, 71, 73, 106, 110, 146, 195, 202, 238 [best: 1000] 10166187589632
3, 31, 44, 45, 71, 74, 78, 83, 93, 94, 103, 139 [best: 1000] 10170482556928
3, 31, 44, 45, 71, 74, 87, 106, 128, 161, 188, 231 [best: 1000] 10174777524224
3, 31, 44, 45, 71, 74, 99, 112, 136, 149, 184, 219 [best: 1000] 10179072491520
3, 31, 44, 45, 71, 75, 76, 85, 148, 149, 180, 207 [best: 1000] 10183367458816
3, 31, 44, 45, 71, 75, 80, 103, 125, 175, 176, 267 [best: 1000] 10187662426112
3, 31, 44, 45, 71, 75, 85, 113, 148, 171, 195, 222 [best: 1000] 10191957393408
3, 31, 44, 45, 71, 75, 90, 113, 119, 192, 225, 248 [best: 1000] 10196252360704
3, 31, 44, 45, 71, 75, 94, 121, 162, 166, 237, 245 [best: 1000] 10200547328000
3, 31, 44, 45, 71, 75, 102, 127, 142, 156, 185, 227 [best: 1000] 10204842295296
3, 31, 44, 45, 71, 75, 110, 151, 166, 186, 202, 236 [best: 1000] 10209137262592
3, 31, 44, 45, 71, 75, 123, 127, 138, 163, 201, 292 [best: 1000] 10213432229888
3, 31, 44, 45, 71, 76, 81, 107, 111, 130, 144, 232 [best: 1000] 10217727197184
3, 31, 44, 45, 71, 76, 91, 105, 174, 190, 197, 249 [best: 1000] 10222022164480
3, 31, 44, 45, 71, 76, 105, 113, 122, 126, 153, 208 [best: 1000] 10226317131776
3, 31, 44, 45, 71, 77, 83, 94, 137, 140, 160, 179 [best: 1000] 10230612099072
3, 31, 44, 45, 71, 77, 105, 119, 140, 147, 157, 183 [best: 1000] 10234907066368
3, 31, 44, 45, 71, 78, 86, 89, 116, 121, 128, 152 [best: 1000] 10239202033664
3, 31, 44, 45, 71, 78, 93, 101, 122, 127, 155, 233 [best: 1000] 10243497000960
3, 31, 44, 45, 71, 78, 106, 129, 151, 165, 182, 217 [best: 1000] 10247791968256
3, 31, 44, 45, 71, 79, 84, 90, 110, 162, 182, 222 [best: 1000] 10252086935552
3, 31, 44, 45, 71, 79, 104, 124, 126, 160, 172, 194, 200 [best: 1000] 10256381902848
3, 31, 44, 45, 71, 80, 91, 92, 104, 157, 171, 226 [best: 1000] 10260676870144
3, 31, 44, 45, 71, 81, 82, 87, 122, 123, 125, 162 [best: 1000] 10264971837440
3, 31, 44, 45, 71, 81, 90, 118, 138, 189, 190, 225 [best: 1000] 10269266804736
3, 31, 44, 45, 71, 81, 101, 107, 120, 145, 160, 164 [best: 1000] 10273561772032
3, 31, 44, 45, 71, 81, 121, 125, 150, 156, 172, 180 [best: 1000] 10277856739328
3, 31, 44, 45, 71, 82, 91, 108, 137, 140, 150, 217 [best: 1000] 10282151706624
3, 31, 44, 45, 71, 82, 105, 140, 153, 168, 185, 218 [best: 1000] 10286446673920
3, 31, 44, 45, 71, 83, 94, 110, 150, 152, 157, 229 [best: 1000] 10290741641216
3, 31, 44, 45, 71, 84, 94, 98, 130, 142, 208, 255, 259 [best: 1000] 10295036608512
3, 31, 44, 45, 71, 85, 91, 116, 124, 136, 144, 151 [best: 1000] 10299331575808
3, 31, 44, 45, 71, 86, 92, 125, 139, 149, 157, 240 [best: 1000] 10303626543104
3, 31, 44, 45, 71, 87, 91, 109, 117, 139, 215, 241 [best: 1000] 10307921510400
3, 31, 44, 45, 71, 87, 115, 136, 146, 179, 182, 216 [best: 1000] 10312216477696
3, 31, 44, 45, 71, 88, 95, 120, 132, 170, 203, 224 [best: 1000] 10316511444992
3, 31, 44, 45, 71, 88, 108, 120, 141, 143, 148, 158, 163 [best: 1000] 10320806412288
3, 31, 44, 45, 71, 88, 123, 140, 143, 184, 187, 214, 258 [best: 1000] 10325101379584
3, 31, 44, 45, 71, 89, 102, 116, 136, 154, 172, 256 [best: 1000] 10329396346880
3, 31, 44, 45, 71, 90, 93, 123, 156, 187, 217, 236 [best: 1000] 10333691314176
3, 31, 44, 45, 71, 91, 92, 111, 120, 129, 201, 214 [best: 1000] 10337986281472
3, 31, 44, 45, 71, 91, 100, 105, 136, 201, 213, 239 [best: 1000] 10342281248768
3, 31, 44, 45, 71, 91, 108, 117, 125, 159, 248, 255 [best: 1000] 10346576216064
3, 31, 44, 45, 71, 91, 117, 121, 170, 176, 178, 213, 235 [best: 1000] 10350871183360
3, 31, 44, 45, 71, 92, 94, 107, 123, 182, 183, 196 [best: 1000] 10355166150656
3, 31, 44, 45, 71, 92, 110, 135, 139, 143, 164, 202 [best: 1000] 10359461117952
3, 31, 44, 45, 71, 93, 106, 110, 146, 168, 188, 208 [best: 1000] 10363756085248
3, 31, 44, 45, 71, 94, 103, 127, 140, 155, 178, 242, 245 [best: 1000] 10368051052544
3, 31, 44, 45, 71, 94, 118, 127, 160, 161, 176, 190, 240 [best: 1000] 10372346019840
3, 31, 44, 45, 71, 95, 109, 119, 139, 158, 200, 210 [best: 1000] 10376640987136
3, 31, 44, 45, 71, 98, 99, 117, 122, 152, 169, 207 [best: 1000] 10380935954432
3, 31, 44, 45, 71, 100, 103, 110, 112, 120, 126, 147 [best: 1000] 10385230921728
3, 31, 44, 45, 71, 102, 103, 126, 145, 155, 187 [best: 1000] 10389525889024
3, 31, 44, 45, 71, 102, 119, 152, 168, 183, 189, 195 [best: 1000] 10393820856320
3, 31, 44, 45, 71, 104, 112, 116, 138, 145, 155, 170, 280 [best: 1000] 10398115823616
3, 31, 44, 45, 71, 104, 126, 154, 157, 177, 210, 224, 270 [best: 1000] 10402410790912
3, 31, 44, 45, 72, 73, 81, 94, 116, 150, 180, 249 [best: 1000] 10406705758208
3, 31, 44, 45, 72, 73, 93, 99, 154, 170, 192, 200, 258 [best: 1000] 10411000725504
3, 31, 44, 45, 72, 74, 75, 80, 132, 174, 203, 231 [best: 1000] 10415295692800
3, 31, 44, 45, 72, 74, 79, 116, 155, 171, 192, 201 [best: 1000] 10419590660096
3, 31, 44, 45, 72, 74, 86, 88, 134, 172, 204, 223 [best: 1000] 10423885627392
3, 31, 44, 45, 72, 74, 92, 118, 141, 153, 157, 203 [best: 1000] 10428180594688
3, 31, 44, 45, 72, 74, 100, 122, 133, 137, 192, 256 [best: 1000] 10432475561984
3, 31, 44, 45, 72, 74, 114, 119, 142, 153, 176, 241 [best: 1000] 10436770529280
3, 31, 44, 45, 72, 75, 78, 110, 114, 158, 174, 213 [best: 1000] 10441065496576
3, 31, 44, 45, 72, 75, 86, 91, 121, 146, 162, 188 [best: 1000] 10445360463872
3, 31, 44, 45, 72, 75, 93, 104, 142, 175, 201, 218 [best: 1000] 10449655431168
3, 31, 44, 45, 72, 75, 105, 109, 110, 114, 142, 186 [best: 1000] 10453950398464
3, 31, 44, 45, 72, 76, 77, 105, 107, 146, 162, 182 [best: 1000] 10458245365760
3, 31, 44, 45, 72, 76, 88, 103, 145, 153, 156, 160 [best: 1000] 10462540333056
3, 31, 44, 45, 72, 76, 100, 126, 130, 141, 243, 257, 315 [best: 1000] 10466835300352
3, 31, 44, 45, 72, 77, 81, 122, 145, 150, 171, 221 [best: 1000] 10471130267648
3, 31, 44, 45, 72, 77, 94, 107, 125, 187, 204, 232, 259 [best: 1000] 10475425234944
3, 31, 44, 45, 72, 78, 81, 93, 123, 149, 158, 217, 238 [best: 1000] 10479720202240
3, 31, 44, 45, 72, 78, 93, 113, 117, 133, 167, 208 [best: 1000] 10484015169536
3, 31, 44, 45, 72, 79, 80, 112, 119, 123, 154, 162 [best: 1000] 10488310136832
3, 31, 44, 45, 72, 79, 92, 108, 115, 125, 210, 269 [best: 1000] 10492605104128
3, 31, 44, 45, 72, 79, 116, 120, 132, 140, 173, 217 [best: 1000] 10496900071424
3, 31, 44, 45, 72, 80, 93, 104, 111, 114, 206, 222 [best: 1000] 10501195038720
3, 31, 44, 45, 72, 81, 84, 100, 108, 118, 160, 206 [best: 1000] 10505490006016
3, 31, 44, 45, 72, 81, 92, 129, 155, 175, 186, 281 [best: 1000] 10509784973312
3, 31, 44, 45, 72, 81, 107, 119, 137, 170, 189, 204 [best: 1000] 10514079940608
3, 31, 44, 45, 72, 82, 88, 98, 128, 154, 180, 252 [best: 1000] 10518374907904
3, 31, 44, 45, 72, 82, 101, 106, 117, 148, 171, 211 [best: 1000] 10522669875200
3, 31, 44, 45, 72, 83, 93, 131, 133, 145, 159, 236 [best: 1000] 10526964842496
3, 31, 44, 45, 72, 84, 94, 107, 168, 172, 205, 252 [best: 1000] 10531259809792
3, 31, 44, 45, 72, 85, 92, 93, 109, 113, 204, 256 [best: 1000] 10535554777088
3, 31, 44, 45, 72, 86, 89, 96, 117, 136, 164, 194 [best: 1000] 10539849744384
3, 31, 44, 45, 72, 86, 111, 123, 143, 166, 184, 229 [best: 1000] 10544144711680
3, 31, 44, 45, 72, 88, 89, 96, 101, 139, 163, 210 [best: 1000] 10548439678976
3, 31, 44, 45, 72, 88, 110, 124, 125, 150, 153, 247, 265 [best: 1000] 10552734646272
3, 31, 44, 45, 72, 89, 98, 115, 153, 165, 174, 183 [best: 1000] 10557029613568
3, 31, 44, 45, 72, 89, 115, 125, 159, 165, 174, 233 [best: 1000] 10561324580864
3, 31, 44, 45, 72, 90, 101, 110, 126, 128, 159, 206 [best: 1000] 10565619548160
3, 31, 44, 45, 72, 91, 95, 98, 146, 151, 166, 236 [best: 1000] 10569914515456
3, 31, 44, 45, 72, 92, 93, 103, 151, 171, 224, 230 [best: 1000] 10574209482752
3, 31, 44, 45, 72, 92, 100, 131, 137, 158, 173, 204 [best: 1000] 10578504450048
3, 31, 44, 45, 72, 92, 110, 140, 148, 172, 240, 259 [best: 1000] 10582799417344
3, 31, 44, 45, 72, 92, 128, 139, 143, 152, 159, 204 [best: 1000] 10587094384640
3, 31, 44, 45, 72, 93, 105, 124, 143, 156, 224, 225 [best: 1000] 10591389351936
3, 31, 44, 45, 72, 93, 126, 133, 156, 164, 167, 214 [best: 1000] 10595684319232
3, 31, 44, 45, 72, 94, 111, 128, 178, 207, 209, 224 [best: 1000] 10599979286528
3, 31, 44, 45, 72, 95, 109, 135, 138, 140, 144, 238 [best: 1000] 10604274253824
3, 31, 44, 45, 72, 97, 109, 110, 129, 161, 195, 225, 267 [best: 1000] 10608569221120
3, 31, 44, 45, 72, 99, 107, 110, 115, 184, 221, 257 [best: 1000] 10612864188416
3, 31, 44, 45, 72, 100, 111, 130, 134, 164, 170, 221 [best: 1000] 10617159155712
3, 31, 44, 45, 73, 74, 75, 80, 161, 181, 207, 228 [best: 1000] 10621454123008
3, 31, 44, 45, 73, 74, 81, 87, 92, 128, 149, 193 [best: 1000] 10625749090304
3, 31, 44, 45, 73, 74, 89, 117, 141, 196, 210, 215 [best: 1000] 10630044057600
3, 31, 44, 45, 73, 74, 100, 143, 162, 167, 185, 218 [best: 1000] 10634339024896
3, 31, 44, 45, 73, 75, 76, 132, 147, 154, 187, 201 [best: 1000] 10638633992192
3, 31, 44, 45, 73, 75, 82, 111, 167, 179, 211, 269 [best: 1000] 10642928959488
3, 31, 44, 45, 73, 75, 89, 111, 117, 139, 235, 283 [best: 1000] 10647223926784
3, 31, 44, 45, 73, 75, 97, 117, 132, 140, 169, 201 [best: 1000] 10651518894080
3, 31, 44, 45, 73, 75, 107, 127, 163, 168, 226, 253 [best: 1000] 10655813861376
3, 31, 44, 45, 73, 76, 81, 88, 130, 139, 145, 211 [best: 1000] 10660108828672
3, 31, 44, 45, 73, 76, 100, 105, 123, 149, 160, 176, 189 [best: 1000] 10664403795968
3, 31, 44, 45, 73, 77, 88, 104, 115, 118, 126, 225 [best: 1000] 10668698763264
3, 31, 44, 45, 73, 78, 80, 89, 149, 162, 204, 209 [best: 1000] 10672993730560
3, 31, 44, 45, 73, 78, 90, 121, 124, 175, 187, 241 [best: 1000] 10677288697856
3, 31, 44, 45, 73, 78, 111, 134, 145, 150, 163, 178 [best: 1000] 10681583665152
3, 31, 44, 45, 73, 79, 90, 124, 169, 196, 239, 250 [best: 1000] 10685878632448
3, 31, 44, 45, 73, 80, 84, 123, 126, 151, 171, 213 [best: 1000] 10690173599744
3, 31, 44, 45, 73, 81, 83, 122, 127, 156, 173, 181 [best: 1000] 10694468567040
3, 31, 44, 45, 73, 81, 94, 133, 145, 157, 193, 241 [best: 1000] 10698763534336
3, 31, 44, 45, 73, 82, 85, 113, 124, 129, 180, 195 [best: 1000] 10703058501632
3, 31, 44, 45, 73, 82, 103, 115, 133, 139, 172, 194 [best: 1000] 10707353468928
3, 31, 44, 45, 73, 84, 85, 116, 125, 142, 147, 201 [best: 1000] 10711648436224
3, 31, 44, 45, 73, 84, 110, 116, 132, 143, 157, 195 [best: 1000] 10715943403520
3, 31, 44, 45, 73, 85, 110, 127, 141, 164, 198, 216, 262 [best: 1000] 10720238370816
3, 31, 44, 45, 73, 86, 109, 110, 136, 156, 163, 175 [best: 1000] 10724533338112
3, 31, 44, 45, 73, 87, 101, 146, 153, 171, 213, 229 [best: 1000] 10728828305408
3, 31, 44, 45, 73, 88, 94, 106, 146, 166, 200, 205 [best: 1000] 10733123272704
3, 31, 44, 45, 73, 89, 94, 101, 139, 140, 147, 176 [best: 1000] 10737418240000
3, 31, 44, 45, 73, 89, 105, 148, 181, 184, 190, 236 [best: 1000] 10741713207296
3, 31, 44, 45, 73, 90, 96, 107, 153, 176, 181, 222 [best: 1000] 10746008174592
3, 31, 44, 45, 73, 90, 106, 138, 145, 165, 205, 220 [best: 1000] 10750303141888
3, 31, 44, 45, 73, 91, 98, 113, 158, 164, 181, 232 [best: 1000] 10754598109184
3, 31, 44, 45, 73, 93, 95, 109, 117, 145, 161, 165 [best: 1000] 10758893076480
3, 31, 44, 45, 73, 94, 113, 136, 152, 173, 175, 250 [best: 1000] 10763188043776
3, 31, 44, 45, 73, 96, 98, 130, 134, 149, 159, 211 [best: 1000] 10767483011072
3, 31, 44, 45, 74, 75, 77, 106, 123, 141, 146, 167 [best: 1000] 10771777978368
3, 31, 44, 45, 74, 75, 81, 88, 145, 184, 207, 217, 301 [best: 1000] 10776072945664
3, 31, 44, 45, 74, 75, 84, 111, 152, 173, 175, 176 [best: 1000] 10780367912960
3, 31, 44, 45, 74, 75, 89, 96, 104, 169, 212, 238 [best: 1000] 10784662880256
3, 31, 44, 45, 74, 75, 92, 131, 155, 172, 182, 183, 244 [best: 1000] 10788957847552
3, 31, 44, 45, 74, 75, 96, 111, 117, 124, 142, 260 [best: 1000] 10793252814848
3, 31, 44, 45, 74, 75, 102, 124, 127, 194, 209, 214 [best: 1000] 10797547782144
3, 31, 44, 45, 74, 75, 109, 117, 131, 203, 246, 259, 285 [best: 1000] 10801842749440
3, 31, 44, 45, 74, 75, 118, 120, 137, 161, 169, 232 [best: 1000] 10806137716736
3, 31, 44, 45, 74, 76, 78, 93, 119, 139, 168, 214, 243 [best: 1000] 10810432684032
3, 31, 44, 45, 74, 76, 85, 90, 142, 196, 215, 253 [best: 1000] 10814727651328
3, 31, 44, 45, 74, 76, 93, 103, 106, 116, 186, 202 [best: 1000] 10819022618624
3, 31, 44, 45, 74, 76, 106, 115, 144, 191, 209, 226, 254 [best: 1000] 10823317585920
3, 31, 44, 45, 74, 77, 81, 118, 159, 179, 194, 206 [best: 1000] 10827612553216
3, 31, 44, 45, 74, 77, 92, 143, 163, 164, 215, 226 [best: 1000] 10831907520512
3, 31, 44, 45, 74, 78, 79, 84, 122, 125, 182, 214 [best: 1000] 10836202487808
3, 31, 44, 45, 74, 78, 84, 95, 160, 191, 208, 229 [best: 1000] 10840497455104
3, 31, 44, 45, 74, 78, 90, 118, 140, 173, 176, 185, 223 [best: 1000] 10844792422400
3, 31, 44, 45, 74, 78, 93, 152, 165, 185, 197, 210, 232 [best: 1000] 10849087389696
3, 31, 44, 45, 74, 78, 102, 151, 155, 175, 178, 224 [best: 1000] 10853382356992
3, 31, 44, 45, 74, 78, 118, 132, 152, 189, 214, 242, 254 [best: 1000] 10857677324288
3, 31, 44, 45, 74, 79, 86, 92, 98, 114, 116, 219 [best: 1000] 10861972291584
3, 31, 44, 45, 74, 79, 95, 130, 143, 190, 194, 244, 272 [best: 1000] 10866267258880
3, 31, 44, 45, 74, 80, 81, 97, 113, 142, 158, 198 [best: 1000] 10870562226176
3, 31, 44, 45, 74, 80, 90, 125, 157, 158, 165, 242 [best: 1000] 10874857193472
3, 31, 44, 45, 74, 80, 102, 113, 143, 178, 193, 235 [best: 1000] 10879152160768
3, 31, 44, 45, 74, 81, 84, 93, 145, 152, 237, 262 [best: 1000] 10883447128064
3, 31, 44, 45, 74, 81, 90, 127, 171, 215, 235, 288 [best: 1000] 10887742095360
3, 31, 44, 45, 74, 81, 96, 110, 118, 151, 154, 176 [best: 1000] 10892037062656
3, 31, 44, 45, 74, 81, 109, 120, 125, 152, 178, 235 [best: 1000] 10896332029952
3, 31, 44, 45, 74, 82, 84, 99, 125, 151, 161, 168 [best: 1000] 10900626997248
3, 31, 44, 45, 74, 82, 92, 95, 129, 151, 168, 229 [best: 1000] 10904921964544
3, 31, 44, 45, 74, 82, 101, 107, 133, 172, 190, 224 [best: 1000] 10909216931840
3, 31, 44, 45, 74, 83, 84, 93, 103, 121, 166, 191 [best: 1000] 10913511899136
3, 31, 44, 45, 74, 83, 93, 119, 138, 170, 212, 218 [best: 1000] 10917806866432
3, 31, 44, 45, 74, 83, 110, 129, 139, 142, 179, 214 [best: 1000] 10922101833728
3, 31, 44, 45, 74, 84, 90, 151, 170, 176, 237, 263 [best: 1000] 10926396801024
3, 31, 44, 45, 74, 84, 102, 108, 121, 171, 186, 203 [best: 1000] 10930691768320
3, 31, 44, 45, 74, 85, 87, 95, 125, 171, 205, 243 [best: 1000] 10934986735616
3, 31, 44, 45, 74, 85, 114, 122, 128, 167, 194, 210 [best: 1000] 10939281702912
3, 31, 44, 45, 74, 86, 103, 117, 145, 154, 162 [best: 1000] 10943576670208
3, 31, 44, 45, 74, 87, 93, 112, 172, 203, 214, 220, 280 [best: 1000] 10947871637504
3, 31, 44, 45, 74, 87, 111, 136, 154, 200, 207, 221 [best: 1000] 10952166604800
3, 31, 44, 45, 74, 88, 94, 111, 152, 191, 193, 198, 225 [best: 1000] 10956461572096
3, 31, 44, 45, 74, 89, 90, 151, 158, 178, 191, 220 [best: 1000] 10960756539392
3, 31, 44, 45, 74, 89, 101, 113, 139, 188, 192, 222 [best: 1000] 10965051506688
3, 31, 44, 45, 74, 89, 125, 129, 134, 168, 179, 205 [best: 1000] 10969346473984
3, 31, 44, 45, 74, 90, 96, 116, 118, 148, 167, 229 [best: 1000] 10973641441280
3, 31, 44, 45, 74, 90, 105, 130, 138, 162, 214, 237, 250 [best: 1000] 10977936408576
3, 31, 44, 45, 74, 90, 115, 141, 176, 188, 212, 239, 299 [best: 1000] 10982231375872
3, 31, 44, 45, 74, 91, 93, 109, 120, 148, 154, 157 [best: 1000] 10986526343168
3, 31, 44, 45, 74, 91, 110, 117, 136, 143, 152, 204 [best: 1000] 10990821310464
3, 31, 44, 45, 74, 92, 95, 126, 134, 201, 238, 245 [best: 1000] 10995116277760
3, 31, 44, 45, 74, 92, 102, 117, 129, 143, 214, 250 [best: 1000] 10999411245056
3, 31, 44, 45, 74, 92, 108, 154, 161, 165, 182, 230 [best: 1000] 11003706212352
3, 31, 44, 45, 74, 92, 115, 158, 159, 162, 184, 228 [best: 1000] 11008001179648
3, 31, 44, 45, 74, 92, 131, 136, 145, 146, 246, 274 [best: 1000] 11012296146944
3, 31, 44, 45, 74, 93, 103, 111, 128, 139, 166, 202 [best: 1000] 11016591114240
3, 31, 44, 45, 74, 93, 113, 116, 122, 201, 216, 237 [best: 1000] 11020886081536
3, 31, 44, 45, 74, 94, 106, 108, 155, 158, 195, 214, 222 [best: 1000] 11025181048832
3, 31, 44, 45, 74, 95, 101, 129, 152, 162, 177, 183, 253 [best: 1000] 11029476016128
3, 31, 44, 45, 74, 95, 113, 114, 126, 197, 225, 235 [best: 1000] 11033770983424
3, 31, 44, 45, 74, 96, 97, 98, 105, 125, 145, 184 [best: 1000] 11038065950720
3, 31, 44, 45, 74, 96, 114, 130, 137, 148, 157, 158 [best: 1000] 11042360918016
3, 31, 44, 45, 74, 98, 101, 114, 134, 157, 199, 247 [best: 1000] 11046655885312
3, 31, 44, 45, 74, 99, 102, 106, 112, 138, 159, 247 [best: 1000] 11050950852608
3, 31, 44, 45, 74, 100, 109, 125, 162, 187, 195, 212 [best: 1000] 11055245819904
3, 31, 44, 45, 74, 102, 105, 133, 138, 143, 149, 174 [best: 1000] 11059540787200
3, 31, 44, 45, 74, 102, 118, 126, 142, 156, 195, 255 [best: 1000] 11063835754496
3, 31, 44, 45, 74, 103, 115, 126, 144, 147, 167, 269 [best: 1000] 11068130721792
3, 31, 44, 45, 74, 104, 128, 147, 150, 161, 208, 245 [best: 1000] 11072425689088
3, 31, 44, 45, 75, 76, 82, 85, 116, 136, 184, 213 [best: 1000] 11076720656384
3, 31, 44, 45, 75, 76, 87, 122, 143, 166 [best: 1000] 11081015623680
3, 31, 44, 45, 75, 76, 93, 124, 168, 198, 222, 267 [best: 1000] 11085310590976
3, 31, 44, 45, 75, 76, 105, 106, 146, 147, 157, 220 [best: 1000] 11089605558272
3, 31, 44, 45, 75, 77, 79, 80, 106, 125, 139, 179, 248 [best: 1000] 11093900525568
3, 31, 44, 45, 75, 77, 85, 89, 100, 140, 158, 170 [best: 1000] 11098195492864
3, 31, 44, 45, 75, 77, 92, 93, 134, 154, 181, 288 [best: 1000] 11102490460160
3, 31, 44, 45, 75, 77, 100, 143, 152, 165, 203, 225 [best: 1000] 11106785427456
3, 31, 44, 45, 75, 78, 79, 80, 85, 124, 153, 182 [best: 1000] 11111080394752
3, 31, 44, 45, 75, 78, 85, 94, 127, 146, 175, 183 [best: 1000] 11115375362048
3, 31, 44, 45, 75, 78, 92, 98, 138, 142, 209, 233 [best: 1000] 11119670329344
3, 31, 44, 45, 75, 78, 101, 112, 133, 168, 213, 218 [best: 1000] 11123965296640
3, 31, 44, 45, 75, 78, 124, 141, 153, 167, 193, 219 [best: 1000] 11128260263936
3, 31, 44, 45, 75, 79, 85, 92, 176, 217, 220, 270 [best: 1000] 11132555231232
3, 31, 44, 45, 75, 79, 90, 145, 165, 178, 224, 227, 254 [best: 1000] 11136850198528
3, 31, 44, 45, 75, 79, 96, 101, 105, 131, 184, 245 [best: 1000] 11141145165824
3, 31, 44, 45, 75, 79, 110, 139, 143, 170, 179, 218 [best: 1000] 11145440133120
3, 31, 44, 45, 75, 80, 84, 88, 112, 183, 213, 260 [best: 1000] 11149735100416
3, 31, 44, 45, 75, 80, 91, 117, 134, 146, 221, 224 [best: 1000] 11154030067712
3, 31, 44, 45, 75, 80, 103, 111, 133, 148, 168, 228, 244 [best: 1000] 11158325035008
3, 31, 44, 45, 75, 81, 84, 93, 95, 110, 136, 263 [best: 1000] 11162620002304
3, 31, 44, 45, 75, 81, 90, 103, 111, 135, 212, 215 [best: 1000] 11166914969600
3, 31, 44, 45, 75, 81, 96, 105, 120, 137, 144, 168 [best: 1000] 11171209936896
3, 31, 44, 45, 75, 81, 112, 120, 140, 161, 171, 175, 227 [best: 1000] 11175504904192
3, 31, 44, 45, 75, 82, 84, 142, 152, 204, 217, 225 [best: 1000] 11179799871488
3, 31, 44, 45, 75, 82, 91, 99, 103, 115, 123, 208 [best: 1000] 11184094838784
3, 31, 44, 45, 75, 82, 98, 102, 107, 115, 125, 222 [best: 1000] 11188389806080
3, 31, 44, 45, 75, 82, 117, 121, 154, 181, 195, 197 [best: 1000] 11192684773376
3, 31, 44, 45, 75, 83, 88, 111, 135, 171, 199, 292 [best: 1000] 11196979740672
3, 31, 44, 45, 75, 83, 95, 117, 120, 156, 169, 185 [best: 1000] 11201274707968
3, 31, 44, 45, 75, 83, 114, 140, 169, 173, 188, 215 [best: 1000] 11205569675264
3, 31, 44, 45, 75, 84, 88, 105, 166, 185, 200, 228 [best: 1000] 11209864642560
3, 31, 44, 45, 75, 84, 93, 107, 132, 154, 175, 208 [best: 1000] 11214159609856
3, 31, 44, 45, 75, 84, 101, 104, 118, 156, 177, 264 [best: 1000] 11218454577152
3, 31, 44, 45, 75, 84, 114, 146, 185, 188, 190, 212 [best: 1000] 11222749544448
3, 31, 44, 45, 75, 85, 86, 133, 141, 163, 180, 206 [best: 1000] 11227044511744
3, 31, 44, 45, 75, 85, 92, 120, 164, 183, 190, 195 [best: 1000] 11231339479040
3, 31, 44, 45, 75, 85, 101, 107, 141, 178, 189, 217 [best: 1000] 11235634446336
3, 31, 44, 45, 75, 85, 117, 148, 173, 187, 190, 192 [best: 1000] 11239929413632
3, 31, 44, 45, 75, 86, 90, 123, 125, 158, 161, 198 [best: 1000] 11244224380928
3, 31, 44, 45, 75, 86, 98, 126, 133, 187, 234, 237 [best: 1000] 11248519348224
3, 31, 44, 45, 75, 86, 117, 128, 141, 144, 210, 247 [best: 1000] 11252814315520
3, 31, 44, 45, 75, 87, 92, 102, 138, 163, 248, 267 [best: 1000] 11257109282816
3, 31, 44, 45, 75, 87, 98, 128, 129, 144, 170, 188 [best: 1000] 11261404250112
3, 31, 44, 45, 75, 87, 112, 153, 176, 193, 196, 249 [best: 1000] 11265699217408
3, 31, 44, 45, 75, 88, 90, 101, 105, 167, 201, 249 [best: 1000] 11269994184704
3, 31, 44, 45, 75, 88, 96, 100, 139, 205, 245, 247 [best: 1000] 11274289152000
3, 31, 44, 45, 75, 88, 111, 124, 134, 150, 153, 226 [best: 1000] 11278584119296
3, 31, 44, 45, 75, 89, 92, 93, 107, 140, 192, 230 [best: 1000] 11282879086592
3, 31, 44, 45, 75, 89, 101, 102, 118, 134, 184, 221 [best: 1000] 11287174053888
3, 31, 44, 45, 75, 89, 122, 123, 139, 177, 183, 199 [best: 1000] 11291469021184
3, 31, 44, 45, 75, 90, 95, 105, 109, 135, 167, 250 [best: 1000] 11295763988480
3, 31, 44, 45, 75, 90, 104, 132, 135, 183, 192, 249 [best: 1000] 11300058955776
3, 31, 44, 45, 75, 90, 118, 136, 156, 169, 221, 229 [best: 1000] 11304353923072
3, 31, 44, 45, 75, 91, 93, 114, 138, 181, 237, 245 [best: 1000] 11308648890368
3, 31, 44, 45, 75, 91, 105, 113, 133, 143, 148, 162 [best: 1000] 11312943857664
3, 31, 44, 45, 75, 92, 93, 95, 147, 164, 239, 288 [best: 1000] 11317238824960
3, 31, 44, 45, 75, 92, 96, 116, 155, 199, 235, 279 [best: 1000] 11321533792256
3, 31, 44, 45, 75, 92, 101, 141, 174, 190, 206, 213, 224 [best: 1000] 11325828759552
3, 31, 44, 45, 75, 92, 107, 135, 160, 188, 241, 295 [best: 1000] 11330123726848
3, 31, 44, 45, 75, 92, 113, 145, 158, 208, 226, 248 [best: 1000] 11334418694144
3, 31, 44, 45, 75, 92, 121, 125, 134, 186, 207, 225 [best: 1000] 11338713661440
3, 31, 44, 45, 75, 92, 137, 150, 157, 169, 212, 251 [best: 1000] 11343008628736
3, 31, 44, 45, 75, 93, 100, 106, 111, 134, 214 [best: 1000] 11347303596032
3, 31, 44, 45, 75, 93, 108, 109, 115, 127, 161, 181 [best: 1000] 11351598563328
3, 31, 44, 45, 75, 93, 116, 123, 147, 168, 172, 226 [best: 1000] 11355893530624
3, 31, 44, 45, 75, 94, 95, 117, 118, 123, 168, 205 [best: 1000] 11360188497920
3, 31, 44, 45, 75, 94, 108, 121, 128, 139, 184, 200, 208 [best: 1000] 11364483465216
3, 31, 44, 45, 75, 95, 98, 121, 151, 165, 212, 253 [best: 1000] 11368778432512
3, 31, 44, 45, 75, 95, 109, 135, 175, 206, 215, 251 [best: 1000] 11373073399808
3, 31, 44, 45, 75, 96, 97, 112, 132, 146, 170, 212 [best: 1000] 11377368367104
3, 31, 44, 45, 75, 96, 113, 134, 147, 176, 214, 257 [best: 1000] 11381663334400
3, 31, 44, 45, 75, 97, 111, 122, 128, 130, 177, 183, 226 [best: 1000] 11385958301696
3, 31, 44, 45, 75, 98, 113, 114, 135, 149, 178, 192, 209 [best: 1000] 11390253268992
3, 31, 44, 45, 75, 99, 114, 150, 178, 187, 217, 234, 272 [best: 1000] 11394548236288
3, 31, 44, 45, 75, 100, 119, 127, 141, 177, 181, 201 [best: 1000] 11398843203584
3, 31, 44, 45, 75, 101, 118, 147, 150, 159, 175, 213, 250 [best: 1000] 11403138170880
3, 31, 44, 45, 75, 103, 105, 121, 130, 137, 213, 245 [best: 1000] 11407433138176
3, 31, 44, 45, 75, 103, 117, 132, 182, 221, 230, 232, 294 [best: 1000] 11411728105472
3, 31, 44, 45, 75, 104, 115, 126, 129, 137, 187, 202 [best: 1000] 11416023072768
3, 31, 44, 45, 75, 106, 110, 113, 123, 144, 190, 202 [best: 1000] 11420318040064
3, 31, 44, 45, 76, 77, 81, 119, 144, 178, 208, 234 [best: 1000] 11424613007360
3, 31, 44, 45, 76, 77, 95, 105, 112, 115, 149, 168 [best: 1000] 11428907974656
3, 31, 44, 45, 76, 78, 83, 91, 96, 98, 101, 107 [best: 1000] 11433202941952
3, 31, 44, 45, 76, 78, 88, 91, 106, 111, 128, 202 [best: 1000] 11437497909248
3, 31, 44, 45, 76, 78, 100, 126, 129, 170, 205, 207 [best: 1000] 11441792876544
3, 31, 44, 45, 76, 79, 83, 96, 111, 128, 190, 216 [best: 1000] 11446087843840
3, 31, 44, 45, 76, 79, 97, 108, 131, 162, 169, 193 [best: 1000] 11450382811136
3, 31, 44, 45, 76, 80, 87, 116, 150, 182, 208, 236 [best: 1000] 11454677778432
3, 31, 44, 45, 76, 81, 83, 111, 135, 164, 190, 197 [best: 1000] 11458972745728
3, 31, 44, 45, 76, 81, 92, 108, 109, 133, 168, 201 [best: 1000] 11463267713024
3, 31, 44, 45, 76, 81, 114, 122, 141, 149, 168, 236 [best: 1000] 11467562680320
3, 31, 44, 45, 76, 82, 91, 93, 107, 134, 174, 215 [best: 1000] 11471857647616
3, 31, 44, 45, 76, 83, 84, 94, 132, 152, 174, 248 [best: 1000] 11476152614912
3, 31, 44, 45, 76, 83, 96, 102, 148, 173, 200, 229 [best: 1000] 11480447582208
3, 31, 44, 45, 76, 84, 87, 89, 110, 129, 189, 191 [best: 1000] 11484742549504
3, 31, 44, 45, 76, 84, 101, 133, 148, 187, 228, 245 [best: 1000] 11489037516800
3, 31, 44, 45, 76, 85, 92, 132, 136, 137, 178, 191 [best: 1000] 11493332484096
3, 31, 44, 45, 76, 85, 121, 126, 129, 171, 176, 223 [best: 1000] 11497627451392
3, 31, 44, 45, 76, 86, 104, 130, 131, 136, 169, 210 [best: 1000] 11501922418688
3, 31, 44, 45, 76, 87, 93, 95, 142, 174, 207, 211, 269 [best: 1000] 11506217385984
3, 31, 44, 45, 76, 87, 104, 122, 167, 196, 219, 250 [best: 1000] 11510512353280
3, 31, 44, 45, 76, 88, 91, 107, 112, 113, 151, 236 [best: 1000] 11514807320576
3, 31, 44, 45, 76, 88, 100, 118, 181, 185, 208, 269 [best: 1000] 11519102287872
3, 31, 44, 45, 76, 88, 111, 133, 135, 139, 226, 260 [best: 1000] 11523397255168
3, 31, 44, 45, 76, 89, 100, 105, 114, 118, 193, 217 [best: 1000] 11527692222464
3, 31, 44, 45, 76, 91, 95, 100, 120, 128, 142, 229 [best: 1000] 11531987189760
3, 31, 44, 45, 76, 92, 107, 121, 154, 168, 187, 233 [best: 1000] 11536282157056
3, 31, 44, 45, 76, 94, 102, 139, 146, 173, 242, 255 [best: 1000] 11540577124352
3, 31, 44, 45, 76, 95, 107, 127, 131, 184, 189 [best: 1000] 11544872091648
3, 31, 44, 45, 77, 78, 80, 92, 94, 116, 136, 154 [best: 1000] 11549167058944
3, 31, 44, 45, 77, 78, 91, 94, 95, 146, 165, 220 [best: 1000] 11553462026240
3, 31, 44, 45, 77, 79, 80, 94, 146, 173, 187, 215 [best: 1000] 11557756993536
3, 31, 44, 45, 77, 79, 95, 108, 122, 164, 189, 232 [best: 1000] 11562051960832
3, 31, 44, 45, 77, 80, 90, 94, 118, 143, 165 [best: 1000] 11566346928128
3, 31, 44, 45, 77, 81, 87, 114, 125, 171, 205, 221 [best: 1000] 11570641895424
3, 31, 44, 45, 77, 81, 104, 108, 142, 183, 203, 263 [best: 1000] 11574936862720
3, 31, 44, 45, 77, 82, 89, 108, 113, 175, 178, 191 [best: 1000] 11579231830016
3, 31, 44, 45, 77, 83, 87, 110, 123, 162, 169, 181 [best: 1000] 11583526797312
3, 31, 44, 45, 77, 84, 88, 105, 126, 136, 142, 178, 201 [best: 1000] 11587821764608
3, 31, 44, 45, 77, 85, 86, 104, 105, 116, 120, 129 [best: 1000] 11592116731904
3, 31, 44, 45, 77, 85, 107, 109, 125, 142, 160, 195 [best: 1000] 11596411699200
3, 31, 44, 45, 77, 87, 89, 91, 146, 150, 188, 220 [best: 1000] 11600706666496
3, 31, 44, 45, 77, 88, 89, 102, 151, 190, 218, 263 [best: 1000] 11605001633792
3, 31, 44, 45, 77, 88, 100, 104, 116, 176, 212, 275 [best: 1000] 11609296601088
3, 31, 44, 45, 77, 88, 117, 119, 161, 163, 167, 243 [best: 1000] 11613591568384
3, 31, 44, 45, 77, 89, 106, 117, 130, 181, 184, 187 [best: 1000] 11617886535680
3, 31, 44, 45, 77, 91, 104, 108, 125, 152, 160, 201, 247 [best: 1000] 11622181502976
3, 31, 44, 45, 77, 93, 98, 116, 119, 153, 184, 226, 266 [best: 1000] 11626476470272
3, 31, 44, 45, 78, 79, 81, 92, 98, 176, 178, 188 [best: 1000] 11630771437568
3, 31, 44, 45, 78, 79, 92, 107, 127, 144, 162, 217 [best: 1000] 11635066404864
3, 31, 44, 45, 78, 79, 113, 117, 130, 146, 151, 213 [best: 1000] 11639361372160
3, 31, 44, 45, 78, 80, 93, 94, 96, 116, 126, 246 [best: 1000] 11643656339456
3, 31, 44, 45, 78, 81, 84, 96, 118, 138, 196, 230 [best: 1000] 11647951306752
3, 31, 44, 45, 78, 81, 94, 113, 170, 188, 213, 225 [best: 1000] 11652246274048
3, 31, 44, 45, 78, 81, 119, 127, 170, 200, 210, 248 [best: 1000] 11656541241344
3, 31, 44, 45, 78, 82, 96, 115, 135, 157, 164, 188, 276 [best: 1000] 11660836208640
3, 31, 44, 45, 78, 83, 88, 103, 154, 184, 190, 200, 208 [best: 1000] 11665131175936
3, 31, 44, 45, 78, 83, 111, 117, 133, 186, 192, 214 [best: 1000] 11669426143232
3, 31, 44, 45, 78, 84, 92, 114, 119, 142, 233, 270 [best: 1000] 11673721110528
3, 31, 44, 45, 78, 84, 108, 114, 127, 181, 189, 222 [best: 1000] 11678016077824
3, 31, 44, 45, 78, 85, 89, 90, 108, 123, 153, 187 [best: 1000] 11682311045120
3, 31, 44, 45, 78, 85, 107, 113, 123, 174, 204, 220 [best: 1000] 11686606012416
3, 31, 44, 45, 78, 86, 93, 108, 112, 158, 209, 221 [best: 1000] 11690900979712
3, 31, 44, 45, 78, 87, 88, 94, 127, 150, 177, 234 [best: 1000] 11695195947008
3, 31, 44, 45, 78, 87, 99, 109, 154, 166, 183, 210 [best: 1000] 11699490914304
3, 31, 44, 45, 78, 87, 119, 121, 138, 143, 157, 193 [best: 1000] 11703785881600
3, 31, 44, 45, 78, 88, 103, 106, 110, 151, 203, 212 [best: 1000] 11708080848896
3, 31, 44, 45, 78, 89, 108, 122, 154, 181, 206, 210, 219 [best: 1000] 11712375816192
3, 31, 44, 45, 78, 91, 92, 115, 117, 133, 142, 149 [best: 1000] 11716670783488
3, 31, 44, 45, 78, 92, 93, 138, 172, 214, 233, 235 [best: 1000] 11720965750784
3, 31, 44, 45, 78, 92, 111, 154, 179, 186, 246, 256 [best: 1000] 11725260718080
3, 31, 44, 45, 78, 93, 100, 104, 124, 175, 192, 201 [best: 1000] 11729555685376
3, 31, 44, 45, 78, 93, 111, 114, 133, 142, 168, 228 [best: 1000] 11733850652672
3, 31, 44, 45, 78, 93, 126, 132, 185, 206, 209, 259 [best: 1000] 11738145619968
3, 31, 44, 45, 78, 94, 106, 148, 154, 181, 212, 218 [best: 1000] 11742440587264
3, 31, 44, 45, 78, 95, 97, 100, 130, 144, 167, 203 [best: 1000] 11746735554560
3, 31, 44, 45, 78, 97, 102, 119, 128, 135, 162, 168 [best: 1000] 11751030521856
3, 31, 44, 45, 78, 99, 114, 122, 125, 162, 196, 207 [best: 1000] 11755325489152
3, 31, 44, 45, 78, 102, 108, 126, 141, 156, 159, 171 [best: 1000] 11759620456448
3, 31, 44, 45, 78, 104, 107, 108, 124, 134, 197, 238 [best: 1000] 11763915423744
3, 31, 44, 45, 79, 80, 89, 120, 153, 156, 166, 181 [best: 1000] 11768210391040
3, 31, 44, 45, 79, 81, 85, 104, 109, 123, 160, 179 [best: 1000] 11772505358336
3, 31, 44, 45, 79, 81, 98, 129, 137, 149, 167, 169 [best: 1000] 11776800325632
3, 31, 44, 45, 79, 82, 86, 127, 143, 151, 162, 229, 262 [best: 1000] 11781095292928
3, 31, 44, 45, 79, 82, 106, 128, 131, 132, 149, 158 [best: 1000] 11785390260224
3, 31, 44, 45, 79, 83, 97, 112, 115, 155, 178, 195 [best: 1000] 11789685227520
3, 31, 44, 45, 79, 84, 103, 122, 134, 141, 143, 165, 254 [best: 1000] 11793980194816
3, 31, 44, 45, 79, 85, 109, 114, 142, 161, 192, 195, 226 [best: 1000] 11798275162112
3, 31, 44, 45, 79, 86, 100, 101, 119, 141, 174, 181, 217 [best: 1000] 11802570129408
3, 31, 44, 45, 79, 87, 89, 92, 109, 151, 171, 216 [best: 1000] 11806865096704
3, 31, 44, 45, 79, 87, 106, 126, 137, 138, 155, 181 [best: 1000] 11811160064000
3, 31, 44, 45, 79, 88, 94, 110, 120, 186, 198, 216 [best: 1000] 11815455031296
3, 31, 44, 45, 79, 88, 105, 106, 127, 139, 142, 143 [best: 1000] 11819749998592
3, 31, 44, 45, 79, 88, 122, 138, 139, 148, 162, 195 [best: 1000] 11824044965888
3, 31, 44, 45, 79, 90, 91, 126, 131, 135, 173, 204, 216 [best: 1000] 11828339933184
3, 31, 44, 45, 79, 91, 100, 121, 157, 158, 211, 215, 265 [best: 1000] 11832634900480
3, 31, 44, 45, 79, 92, 98, 118, 152, 163, 181, 212 [best: 1000] 11836929867776
3, 31, 44, 45, 79, 95, 98, 102, 105, 119, 146, 236 [best: 1000] 11841224835072
3, 31, 44, 45, 79, 96, 111, 152, 160, 208, 216, 230 [best: 1000] 11845519802368
3, 31, 44, 45, 79, 98, 111, 137, 156, 193, 199, 224 [best: 1000] 11849814769664
3, 31, 44, 45, 80, 81, 95, 105, 158, 186, 201, 213 [best: 1000] 11854109736960
3, 31, 44, 45, 80, 82, 91, 97, 122, 129, 175, 232 [best: 1000] 11858404704256
3, 31, 44, 45, 80, 83, 92, 110, 131, 136, 190, 198 [best: 1000] 11862699671552
3, 31, 44, 45, 80, 85, 94, 95, 100, 140, 145, 170 [best: 1000] 11866994638848
3, 31, 44, 45, 80, 87, 102, 109, 121, 193, 212, 238 [best: 1000] 11871289606144
3, 31, 44, 45, 80, 88, 102, 107, 129, 159, 185, 195 [best: 1000] 11875584573440
3, 31, 44, 45, 80, 89, 94, 117, 159, 163, 208, 224 [best: 1000] 11879879540736
3, 31, 44, 45, 80, 91, 92, 100, 115, 148, 201, 217 [best: 1000] 11884174508032
3, 31, 44, 45, 80, 91, 107, 111, 131, 155, 224, 226 [best: 1000] 11888469475328
3, 31, 44, 45, 80, 92, 96, 136, 144, 146, 180, 192, 290 [best: 1000] 11892764442624
3, 31, 44, 45, 80, 92, 116, 128, 145, 168, 229, 258 [best: 1000] 11897059409920
3, 31, 44, 45, 80, 94, 98, 101, 151, 162, 168, 202 [best: 1000] 11901354377216
3, 31, 44, 45, 80, 96, 101, 112, 124, 153, 169, 220 [best: 1000] 11905649344512
3, 31, 44, 45, 81, 82, 88, 135, 142, 176, 185, 245 [best: 1000] 11909944311808
3, 31, 44, 45, 81, 82, 109, 110, 139, 181, 193, 196 [best: 1000] 11914239279104
3, 31, 44, 45, 81, 83, 101, 127, 139, 154, 169, 199 [best: 1000] 11918534246400
3, 31, 44, 45, 81, 84, 93, 109, 128, 138, 139, 229 [best: 1000] 11922829213696
3, 31, 44, 45, 81, 84, 114, 135, 159, 166, 177, 236 [best: 1000] 11927124180992
3, 31, 44, 45, 81, 85, 96, 106, 125, 166, 177, 260 [best: 1000] 11931419148288
3, 31, 44, 45, 81, 86, 90, 109, 124, 150, 184, 203 [best: 1000] 11935714115584
3, 31, 44, 45, 81, 86, 111, 112, 113, 150, 165, 178 [best: 1000] 11940009082880
3, 31, 44, 45, 81, 87, 101, 109, 115, 136, 143, 209 [best: 1000] 11944304050176
3, 31, 44, 45, 81, 88, 93, 135, 147, 192, 220, 230 [best: 1000] 11948599017472
3, 31, 44, 45, 81, 88, 110, 147, 148, 170, 174, 208 [best: 1000] 11952893984768
3, 31, 44, 45, 81, 89, 101, 119, 130, 142, 199, 207 [best: 1000] 11957188952064
3, 31, 44, 45, 81, 90, 94, 154, 166, 172, 201, 233, 265 [best: 1000] 11961483919360
3, 31, 44, 45, 81, 90, 111, 112, 157, 173, 202, 224 [best: 1000] 11965778886656
3, 31, 44, 45, 81, 91, 94, 102, 107, 108, 164, 178 [best: 1000] 11970073853952
3, 31, 44, 45, 81, 92, 93, 130, 177, 186, 193, 246 [best: 1000] 11974368821248
3, 31, 44, 45, 81, 92, 100, 120, 159, 170, 181, 237 [best: 1000] 11978663788544
3, 31, 44, 45, 81, 92, 109, 135, 155, 196, 229, 254 [best: 1000] 11982958755840
3, 31, 44, 45, 81, 92, 121, 150, 164, 197, 216, 245 [best: 1000] 11987253723136
3, 31, 44, 45, 81, 93, 101, 114, 124, 162, 203, 258 [best: 1000] 11991548690432
3, 31, 44, 45, 81, 94, 97, 104, 105, 106, 200, 207 [best: 1000] 11995843657728
3, 31, 44, 45, 81, 94, 108, 139, 152, 168, 224, 257, 269 [best: 1000] 12000138625024
3, 31, 44, 45, 81, 95, 100, 129, 141, 149, 170, 189 [best: 1000] 12004433592320
3, 31, 44, 45, 81, 96, 105, 127, 177, 191, 206, 221 [best: 1000] 12008728559616
3, 31, 44, 45, 81, 97, 101, 105, 133, 159, 167, 186 [best: 1000] 12013023526912
3, 31, 44, 45, 81, 98, 109, 114, 129, 134, 178, 260 [best: 1000] 12017318494208
3, 31, 44, 45, 81, 100, 109, 124, 130, 144, 149, 208 [best: 1000] 12021613461504
3, 31, 44, 45, 81, 101, 117, 141, 159, 183, 206, 219 [best: 1000] 12025908428800
3, 31, 44, 45, 82, 83, 88, 92, 108, 129, 162, 198 [best: 1000] 12030203396096
3, 31, 44, 45, 82, 83, 102, 138, 162, 168, 179, 191, 244 [best: 1000] 12034498363392
3, 31, 44, 45, 82, 84, 86, 108, 117, 154, 209, 231 [best: 1000] 12038793330688
3, 31, 44, 45, 82, 84, 108, 125, 126, 138, 155, 198 [best: 1000] 12043088297984
3, 31, 44, 45, 82, 85, 101, 105, 144, 180, 214, 241 [best: 1000] 12047383265280
3, 31, 44, 45, 82, 86, 97, 107, 109, 122, 175, 220 [best: 1000] 12051678232576
3, 31, 44, 45, 82, 87, 96, 110, 129, 153, 180, 198 [best: 1000] 12055973199872
3, 31, 44, 45, 82, 88, 95, 98, 150, 162, 187, 194 [best: 1000] 12060268167168
3, 31, 44, 45, 82, 89, 94, 134, 147, 154, 161, 168 [best: 1000] 12064563134464
3, 31, 44, 45, 82, 90, 95, 111, 144, 157, 165, 173 [best: 1000] 12068858101760
3, 31, 44, 45, 82, 91, 113, 115, 144, 148, 185, 187 [best: 1000] 12073153069056
3, 31, 44, 45, 82, 93, 94, 140, 177, 198, 230, 240 [best: 1000] 12077448036352
3, 31, 44, 45, 82, 93, 106, 114, 144, 149, 213, 227 [best: 1000] 12081743003648
3, 31, 44, 45, 82, 93, 118, 127, 151, 158, 182, 221 [best: 1000] 12086037970944
3, 31, 44, 45, 82, 94, 108, 118, 128, 160, 166, 184 [best: 1000] 12090332938240
3, 31, 44, 45, 82, 95, 105, 106, 127, 135, 148, 206 [best: 1000] 12094627905536
3, 31, 44, 45, 82, 97, 102, 116, 151, 161, 162, 187 [best: 1000] 12098922872832
3, 31, 44, 45, 82, 100, 102, 109, 136, 148, 195, 222 [best: 1000] 12103217840128
3, 31, 44, 45, 82, 102, 118, 120, 160, 168, 203, 208 [best: 1000] 12107512807424
total chains: 12107856376266
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 16 16 16 16
9: 37 601 16 6 24
10: 1267 23067 18 4 31
11: 45953 899409 19 2 36
12: 1815267 38417505 21 1 41
13: 78518790 1803378017 22 0 46
14: 3714581149 92355285512 24 0 51
15: 191577897406 5135551720959 26 0 56
16: 20690307914 557723113393 26 0 61
17: 149961383 4499532073 30 0 66
18: 109517 4279656 39 6 69
19: 68 2840 41 25 54
20: 0 0 0 0 0
21: 0 0 0 0 0
real 1450m30.472s
user 1407m51.359s
sys 1m6.573s
stderr end
time="2025-05-03T22:42:18-04:00" level=warning msg="The cgroupv2 manager is set to systemd but there is no systemd user session available"
time="2025-05-03T22:42:18-04:00" level=warning msg="For using systemd, you may need to log in using a user session"
time="2025-05-03T22:42:18-04:00" level=warning msg="Alternatively, you can enable lingering with: `loginctl enable-linger 127` (possibly as root)"
time="2025-05-03T22:42:18-04:00" level=warning msg="Falling back to --cgroup-manager=cgroupfs"
time="2025-05-03T22:42:18-04:00" level=warning msg="The cgroupv2 manager is set to systemd but there is no systemd user session available"
time="2025-05-03T22:42:18-04:00" level=warning msg="For using systemd, you may need to log in using a user session"
time="2025-05-03T22:42:18-04:00" level=warning msg="Alternatively, you can enable lingering with: `loginctl enable-linger 127` (possibly as root)"
time="2025-05-03T22:42:18-04:00" level=warning msg="Falling back to --cgroup-manager=cgroupfs"
time="2025-05-03T22:42:18-04:00" level=warning msg="The cgroupv2 manager is set to systemd but there is no systemd user session available"
time="2025-05-03T22:42:18-04:00" level=warning msg="For using systemd, you may need to log in using a user session"
time="2025-05-03T22:42:18-04:00" level=warning msg="Alternatively, you can enable lingering with: `loginctl enable-linger 127` (possibly as root)"
time="2025-05-03T22:42:18-04:00" level=warning msg="Falling back to --cgroup-manager=cgroupfs"
time="2025-05-03T22:42:18-04:00" level=warning msg="The cgroupv2 manager is set to systemd but there is no systemd user session available"
time="2025-05-03T22:42:18-04:00" level=warning msg="For using systemd, you may need to log in using a user session"
time="2025-05-03T22:42:18-04:00" level=warning msg="Alternatively, you can enable lingering with: `loginctl enable-linger 127` (possibly as root)"
time="2025-05-03T22:42:18-04:00" level=warning msg="Falling back to --cgroup-manager=cgroupfs"
time="2025-05-03T22:42:18-04:00" level=warning msg="The cgroupv2 manager is set to systemd but there is no systemd user session available"
time="2025-05-03T22:42:18-04:00" level=warning msg="For using systemd, you may need to log in using a user session"
time="2025-05-03T22:42:18-04:00" level=warning msg="Alternatively, you can enable lingering with: `loginctl enable-linger 127` (possibly as root)"
time="2025-05-03T22:42:18-04:00" level=warning msg="Falling back to --cgroup-manager=cgroupfs"
time="2025-05-03T22:42:18-04:00" level=warning msg="The cgroupv2 manager is set to systemd but there is no systemd user session available"
time="2025-05-03T22:42:18-04:00" level=warning msg="For using systemd, you may need to log in using a user session"
time="2025-05-03T22:42:18-04:00" level=warning msg="Alternatively, you can enable lingering with: `loginctl enable-linger 127` (possibly as root)"
time="2025-05-03T22:42:18-04:00" level=warning msg="Falling back to --cgroup-manager=cgroupfs"
2025-05-03 22:42:18 (649928): called boinc_finish(0)
</stderr_txt>
]]>
