Task 15163
| Name | batch_89__job_job-000255_1 |
| Workunit | 12183 |
| Created | 30 Apr 2025, 2:55:41 UTC |
| Sent | 1 May 2025, 0:24:00 UTC |
| Report deadline | 8 May 2025, 0:24:00 UTC |
| Received | 3 May 2025, 20:28:17 UTC |
| Server state | Over |
| Outcome | Success |
| Client state | Done |
| Exit status | 0 (0x00000000) |
| Computer ID | 32943 |
| Run time | 2 days 20 hours 4 min 17 sec |
| CPU time | 124 days 19 hours 8 min 28 sec |
| Validate state | Valid |
| Credit | 34.75 |
| Device peak FLOPS | 1.00 GFLOPS |
| Application version | Universal Docker app v1.08 (docker) x86_64-pc-linux-gnu |
| Peak working set size | 39.88 MB |
| Peak swap size | 2.48 GB |
| Peak disk usage | 9.85 MB |
Stderr output
<core_client_version>8.2.2</core_client_version>
<![CDATA[
<stderr_txt>
4, 94, 96, 144, 163, 186, 206 [best: 1000] 4698694221824
4, 28, 46, 65, 75, 84, 108, 110, 141, 149, 199, 200 [best: 1000] 4702989189120
4, 28, 46, 65, 75, 85, 91, 100, 129, 161, 183, 196 [best: 1000] 4707284156416
4, 28, 46, 65, 75, 85, 100, 138, 139, 148, 153, 175 [best: 1000] 4711579123712
4, 28, 46, 65, 75, 85, 122, 139, 144, 195, 196, 202 [best: 1000] 4715874091008
4, 28, 46, 65, 75, 86, 92, 119, 165, 171, 245, 287 [best: 1000] 4720169058304
4, 28, 46, 65, 75, 86, 98, 118, 178, 197, 221, 229 [best: 1000] 4724464025600
4, 28, 46, 65, 75, 86, 106, 114, 135, 141, 165, 170 [best: 1000] 4728758992896
4, 28, 46, 65, 75, 86, 119, 122, 171, 183, 226, 260 [best: 1000] 4733053960192
4, 28, 46, 65, 75, 87, 91, 129, 142, 154, 158, 207 [best: 1000] 4737348927488
4, 28, 46, 65, 75, 87, 99, 102, 107, 157, 191, 214 [best: 1000] 4741643894784
4, 28, 46, 65, 75, 87, 109, 125, 164, 196, 218, 276 [best: 1000] 4745938862080
4, 28, 46, 65, 75, 88, 90, 125, 155, 172, 220, 226 [best: 1000] 4750233829376
4, 28, 46, 65, 75, 88, 98, 144, 171, 180, 206, 211 [best: 1000] 4754528796672
4, 28, 46, 65, 75, 88, 111, 127, 159, 175, 195, 259 [best: 1000] 4758823763968
4, 28, 46, 65, 75, 89, 93, 97, 125, 167, 175, 188 [best: 1000] 4763118731264
4, 28, 46, 65, 75, 89, 98, 124, 162, 167, 216, 251 [best: 1000] 4767413698560
4, 28, 46, 65, 75, 89, 106, 117, 124, 163, 219, 252 [best: 1000] 4771708665856
4, 28, 46, 65, 75, 89, 117, 130, 146, 154, 166, 200 [best: 1000] 4776003633152
4, 28, 46, 65, 75, 90, 94, 102, 144, 167, 213, 214 [best: 1000] 4780298600448
4, 28, 46, 65, 75, 90, 102, 121, 170, 191, 244, 269 [best: 1000] 4784593567744
4, 28, 46, 65, 75, 90, 120, 134, 147, 192, 197, 214 [best: 1000] 4788888535040
4, 28, 46, 65, 75, 91, 97, 157, 168, 196, 224, 258 [best: 1000] 4793183502336
4, 28, 46, 65, 75, 91, 108, 130, 168, 182, 212, 223 [best: 1000] 4797478469632
4, 28, 46, 65, 75, 92, 95, 99, 162, 195, 225, 310 [best: 1000] 4801773436928
4, 28, 46, 65, 75, 92, 103, 108, 111, 192, 198, 211 [best: 1000] 4806068404224
4, 28, 46, 65, 75, 92, 119, 131, 149, 202, 219, 242 [best: 1000] 4810363371520
4, 28, 46, 65, 75, 93, 99, 117, 171, 199, 209, 236 [best: 1000] 4814658338816
4, 28, 46, 65, 75, 93, 116, 118, 152, 163, 191, 198 [best: 1000] 4818953306112
4, 28, 46, 65, 75, 94, 99, 125, 128, 131, 199, 216 [best: 1000] 4823248273408
4, 28, 46, 65, 75, 94, 116, 145, 166, 201, 203, 228 [best: 1000] 4827543240704
4, 28, 46, 65, 75, 95, 99, 104, 109, 118, 134, 139 [best: 1000] 4831838208000
4, 28, 46, 65, 75, 95, 107, 128, 136, 148, 163, 230 [best: 1000] 4836133175296
4, 28, 46, 65, 75, 95, 121, 141, 149, 196, 213, 229 [best: 1000] 4840428142592
4, 28, 46, 65, 75, 96, 98, 151, 154, 212, 233, 274 [best: 1000] 4844723109888
4, 28, 46, 65, 75, 96, 106, 123, 168, 171, 229, 247 [best: 1000] 4849018077184
4, 28, 46, 65, 75, 96, 118, 160, 175, 207, 242, 270 [best: 1000] 4853313044480
4, 28, 46, 65, 75, 97, 98, 110, 130, 141, 249, 256 [best: 1000] 4857608011776
4, 28, 46, 65, 75, 97, 103, 113, 119, 175, 240, 278 [best: 1000] 4861902979072
4, 28, 46, 65, 75, 97, 110, 141, 158, 168, 188, 266 [best: 1000] 4866197946368
4, 28, 46, 65, 75, 97, 119, 142, 162, 184, 205, 274 [best: 1000] 4870492913664
4, 28, 46, 65, 75, 97, 135, 148, 160, 161, 196, 213 [best: 1000] 4874787880960
4, 28, 46, 65, 75, 98, 103, 134, 164, 168, 180, 256 [best: 1000] 4879082848256
4, 28, 46, 65, 75, 98, 109, 144, 163, 189, 230, 264 [best: 1000] 4883377815552
4, 28, 46, 65, 75, 98, 117, 135, 158, 159, 191, 224 [best: 1000] 4887672782848
4, 28, 46, 65, 75, 98, 127, 131, 132, 143, 156, 215 [best: 1000] 4891967750144
4, 28, 46, 65, 75, 99, 102, 141, 185, 195, 218, 251 [best: 1000] 4896262717440
4, 28, 46, 65, 75, 99, 113, 128, 140, 173, 213, 245 [best: 1000] 4900557684736
4, 28, 46, 65, 75, 100, 102, 109, 126, 161, 223, 228 [best: 1000] 4904852652032
4, 28, 46, 65, 75, 100, 111, 116, 178, 179, 215, 237 [best: 1000] 4909147619328
4, 28, 46, 65, 75, 100, 127, 137, 153, 214, 234, 255 [best: 1000] 4913442586624
4, 28, 46, 65, 75, 101, 109, 125, 129, 143, 153, 176 [best: 1000] 4917737553920
4, 28, 46, 65, 75, 101, 129, 137, 168, 189, 196, 247 [best: 1000] 4922032521216
4, 28, 46, 65, 75, 102, 110, 127, 159, 164, 229, 269 [best: 1000] 4926327488512
4, 28, 46, 65, 75, 102, 124, 144, 163, 164, 169, 241, 277 [best: 1000] 4930622455808
4, 28, 46, 65, 75, 103, 109, 123, 125, 136, 141, 176 [best: 1000] 4934917423104
4, 28, 46, 65, 75, 103, 131, 141, 145, 166, 219, 284 [best: 1000] 4939212390400
4, 28, 46, 65, 75, 105, 106, 108, 110, 130, 186, 188 [best: 1000] 4943507357696
4, 28, 46, 65, 75, 105, 120, 122, 130, 137, 148, 248 [best: 1000] 4947802324992
4, 28, 46, 65, 75, 106, 108, 145, 150, 186, 206, 236, 251 [best: 1000] 4952097292288
4, 28, 46, 65, 75, 106, 118, 125, 185, 211, 237, 275 [best: 1000] 4956392259584
4, 28, 46, 65, 75, 106, 132, 149, 160, 198, 248, 262 [best: 1000] 4960687226880
4, 28, 46, 65, 75, 107, 121, 130, 134, 153, 206, 228 [best: 1000] 4964982194176
4, 28, 46, 65, 75, 108, 116, 125, 153, 155, 211, 244 [best: 1000] 4969277161472
4, 28, 46, 65, 75, 108, 133, 155, 194, 235, 255, 259 [best: 1000] 4973572128768
4, 28, 46, 65, 75, 109, 124, 127, 153, 184, 185, 190 [best: 1000] 4977867096064
4, 28, 46, 65, 75, 110, 121, 159, 167, 169, 241, 265 [best: 1000] 4982162063360
4, 28, 46, 65, 75, 111, 122, 140, 174, 205, 217, 276 [best: 1000] 4986457030656
4, 28, 46, 65, 76, 77, 82, 117, 124, 138, 158, 175 [best: 1000] 4990751997952
4, 28, 46, 65, 76, 77, 94, 105, 120, 123, 167, 183 [best: 1000] 4995046965248
4, 28, 46, 65, 76, 77, 107, 114, 119, 160, 165, 181 [best: 1000] 4999341932544
4, 28, 46, 65, 76, 78, 81, 141, 145, 166, 170, 245 [best: 1000] 5003636899840
4, 28, 46, 65, 76, 78, 90, 109, 131, 148, 200, 252 [best: 1000] 5007931867136
4, 28, 46, 65, 76, 78, 100, 109, 158, 196, 220, 260 [best: 1000] 5012226834432
4, 28, 46, 65, 76, 78, 120, 131, 154, 184, 197, 226 [best: 1000] 5016521801728
4, 28, 46, 65, 76, 79, 86, 90, 153, 168, 221, 269 [best: 1000] 5020816769024
4, 28, 46, 65, 76, 79, 95, 108, 133, 148, 186, 201 [best: 1000] 5025111736320
4, 28, 46, 65, 76, 79, 105, 117, 120, 132, 185, 246 [best: 1000] 5029406703616
4, 28, 46, 65, 76, 80, 81, 106, 141, 164, 182, 228 [best: 1000] 5033701670912
4, 28, 46, 65, 76, 80, 86, 112, 175, 178, 210, 244 [best: 1000] 5037996638208
4, 28, 46, 65, 76, 80, 93, 97, 129, 187, 207, 226 [best: 1000] 5042291605504
4, 28, 46, 65, 76, 80, 98, 139, 153, 189, 229, 272 [best: 1000] 5046586572800
4, 28, 46, 65, 76, 80, 106, 127, 152, 156, 181, 208 [best: 1000] 5050881540096
4, 28, 46, 65, 76, 80, 118, 127, 128, 185, 213, 265 [best: 1000] 5055176507392
4, 28, 46, 65, 76, 81, 83, 143, 156, 205, 218, 268 [best: 1000] 5059471474688
4, 28, 46, 65, 76, 81, 88, 96, 105, 137, 160, 233 [best: 1000] 5063766441984
4, 28, 46, 65, 76, 81, 92, 122, 181, 185, 224, 264 [best: 1000] 5068061409280
4, 28, 46, 65, 76, 81, 97, 102, 147, 215, 226, 248 [best: 1000] 5072356376576
4, 28, 46, 65, 76, 81, 100, 143, 148, 190, 226, 261 [best: 1000] 5076651343872
4, 28, 46, 65, 76, 81, 106, 125, 156, 174, 264, 275 [best: 1000] 5080946311168
4, 28, 46, 65, 76, 81, 113, 124, 125, 140, 146, 262 [best: 1000] 5085241278464
4, 28, 46, 65, 76, 81, 121, 156, 165, 178, 186, 219 [best: 1000] 5089536245760
4, 28, 46, 65, 76, 82, 83, 84, 108, 121, 125, 126 [best: 1000] 5093831213056
4, 28, 46, 65, 76, 82, 88, 96, 158, 175, 178, 248 [best: 1000] 5098126180352
4, 28, 46, 65, 76, 82, 94, 96, 140, 161, 163, 199 [best: 1000] 5102421147648
4, 28, 46, 65, 76, 82, 98, 139, 151, 163, 188, 281 [best: 1000] 5106716114944
4, 28, 46, 65, 76, 82, 105, 131, 153, 163, 226, 246 [best: 1000] 5111011082240
4, 28, 46, 65, 76, 82, 114, 121, 150, 165, 196, 254 [best: 1000] 5115306049536
4, 28, 46, 65, 76, 82, 128, 131, 162, 180, 228, 263 [best: 1000] 5119601016832
4, 28, 46, 65, 76, 83, 92, 105, 108, 110, 131, 154 [best: 1000] 5123895984128
4, 28, 46, 65, 76, 83, 105, 110, 111, 119, 152, 211 [best: 1000] 5128190951424
4, 28, 46, 65, 76, 84, 88, 130, 151, 167, 181, 242 [best: 1000] 5132485918720
4, 28, 46, 65, 76, 84, 97, 153, 161, 171, 205, 248 [best: 1000] 5136780886016
4, 28, 46, 65, 76, 84, 111, 119, 128, 135, 199 [best: 1000] 5141075853312
4, 28, 46, 65, 76, 85, 92, 96, 147, 151, 170, 248 [best: 1000] 5145370820608
4, 28, 46, 65, 76, 85, 105, 131, 163, 169, 183, 253 [best: 1000] 5149665787904
4, 28, 46, 65, 76, 86, 90, 94, 105, 127, 170, 233 [best: 1000] 5153960755200
4, 28, 46, 65, 76, 86, 96, 126, 183, 189, 203, 262 [best: 1000] 5158255722496
4, 28, 46, 65, 76, 86, 102, 123, 127, 199, 209, 272 [best: 1000] 5162550689792
4, 28, 46, 65, 76, 86, 112, 140, 141, 199, 207, 216 [best: 1000] 5166845657088
4, 28, 46, 65, 76, 87, 88, 114, 139, 164, 225, 236 [best: 1000] 5171140624384
4, 28, 46, 65, 76, 87, 96, 147, 150, 173, 181, 249 [best: 1000] 5175435591680
4, 28, 46, 65, 76, 87, 105, 112, 132, 140, 197, 217 [best: 1000] 5179730558976
4, 28, 46, 65, 76, 87, 122, 137, 152, 169, 182, 280 [best: 1000] 5184025526272
4, 28, 46, 65, 76, 88, 96, 109, 144, 151, 220, 245 [best: 1000] 5188320493568
4, 28, 46, 65, 76, 88, 106, 109, 148, 156, 227, 228 [best: 1000] 5192615460864
4, 28, 46, 65, 76, 89, 90, 109, 120, 127, 138, 279 [best: 1000] 5196910428160
4, 28, 46, 65, 76, 89, 96, 150, 180, 183, 190, 238 [best: 1000] 5201205395456
4, 28, 46, 65, 76, 89, 102, 132, 153, 184, 210, 244 [best: 1000] 5205500362752
4, 28, 46, 65, 76, 89, 112, 114, 120, 128, 188, 220 [best: 1000] 5209795330048
4, 28, 46, 65, 76, 89, 128, 155, 169, 197, 199, 254 [best: 1000] 5214090297344
4, 28, 46, 65, 76, 90, 98, 138, 141, 154, 187, 243 [best: 1000] 5218385264640
4, 28, 46, 65, 76, 90, 110, 124, 135, 153, 157, 171 [best: 1000] 5222680231936
4, 28, 46, 65, 76, 91, 95, 99, 144, 148, 165, 209 [best: 1000] 5226975199232
4, 28, 46, 65, 76, 91, 103, 113, 127, 138, 172, 200 [best: 1000] 5231270166528
4, 28, 46, 65, 76, 91, 122, 143, 173, 193, 222, 244 [best: 1000] 5235565133824
4, 28, 46, 65, 76, 92, 99, 105, 125, 133, 186, 190 [best: 1000] 5239860101120
4, 28, 46, 65, 76, 92, 110, 134, 139, 171, 227, 254 [best: 1000] 5244155068416
4, 28, 46, 65, 76, 93, 96, 118, 152, 157, 177, 275 [best: 1000] 5248450035712
4, 28, 46, 65, 76, 93, 107, 117, 140, 153, 225, 244 [best: 1000] 5252745003008
4, 28, 46, 65, 76, 94, 97, 98, 126, 167, 176, 294 [best: 1000] 5257039970304
4, 28, 46, 65, 76, 94, 107, 109, 169, 173, 206, 260 [best: 1000] 5261334937600
4, 28, 46, 65, 76, 95, 97, 107, 131, 139, 141, 257 [best: 1000] 5265629904896
4, 28, 46, 65, 76, 95, 103, 133, 147, 159, 176, 192 [best: 1000] 5269924872192
4, 28, 46, 65, 76, 95, 116, 123, 124, 133, 169, 172 [best: 1000] 5274219839488
4, 28, 46, 65, 76, 96, 97, 111, 146, 170, 223, 254 [best: 1000] 5278514806784
4, 28, 46, 65, 76, 96, 102, 143, 165, 186, 193, 230 [best: 1000] 5282809774080
4, 28, 46, 65, 76, 96, 111, 138, 140, 181, 207, 257 [best: 1000] 5287104741376
4, 28, 46, 65, 76, 96, 130, 136, 160, 182, 186, 193 [best: 1000] 5291399708672
4, 28, 46, 65, 76, 97, 100, 139, 140, 150, 212, 215 [best: 1000] 5295694675968
4, 28, 46, 65, 76, 97, 107, 112, 159, 189, 223, 225 [best: 1000] 5299989643264
4, 28, 46, 65, 76, 97, 115, 133, 162, 163, 177, 197 [best: 1000] 5304284610560
4, 28, 46, 65, 76, 97, 127, 144, 148, 193, 245, 263 [best: 1000] 5308579577856
4, 28, 46, 65, 76, 98, 101, 127, 137, 179, 225, 255 [best: 1000] 5312874545152
4, 28, 46, 65, 76, 98, 107, 118, 129, 165, 172, 290 [best: 1000] 5317169512448
4, 28, 46, 65, 76, 98, 114, 123, 144, 164, 225, 240 [best: 1000] 5321464479744
4, 28, 46, 65, 76, 98, 121, 154, 175, 197, 254, 289 [best: 1000] 5325759447040
4, 28, 46, 65, 76, 98, 136, 138, 140, 196, 206, 315 [best: 1000] 5330054414336
4, 28, 46, 65, 76, 99, 108, 109, 121, 123, 209, 274 [best: 1000] 5334349381632
4, 28, 46, 65, 76, 99, 121, 141, 162, 171, 175, 176 [best: 1000] 5338644348928
4, 28, 46, 65, 76, 100, 106, 119, 167, 182, 231, 258, 274 [best: 1000] 5342939316224
4, 28, 46, 65, 76, 100, 116, 119, 139, 166, 214, 223 [best: 1000] 5347234283520
4, 28, 46, 65, 76, 101, 102, 159, 170, 210, 217, 226, 247 [best: 1000] 5351529250816
4, 28, 46, 65, 76, 101, 115, 124, 162, 195, 219, 231 [best: 1000] 5355824218112
4, 28, 46, 65, 76, 102, 105, 138, 146, 199, 201, 251 [best: 1000] 5360119185408
4, 28, 46, 65, 76, 102, 115, 119, 120, 125, 173, 245 [best: 1000] 5364414152704
4, 28, 46, 65, 76, 102, 135, 167, 184, 226, 229, 250 [best: 1000] 5368709120000
4, 28, 46, 65, 76, 103, 117, 157, 161, 173, 226, 236 [best: 1000] 5373004087296
4, 28, 46, 65, 76, 104, 110, 127, 138, 157, 207, 208 [best: 1000] 5377299054592
4, 28, 46, 65, 76, 105, 109, 153, 159, 173, 222, 248 [best: 1000] 5381594021888
4, 28, 46, 65, 76, 105, 130, 136, 182, 185, 206, 221 [best: 1000] 5385888989184
4, 28, 46, 65, 76, 106, 113, 117, 141, 159, 221, 222 [best: 1000] 5390183956480
4, 28, 46, 65, 76, 106, 123, 132, 140, 182, 266, 282 [best: 1000] 5394478923776
4, 28, 46, 65, 76, 107, 112, 127, 139, 198, 214, 216 [best: 1000] 5398773891072
4, 28, 46, 65, 76, 108, 109, 122, 126, 162, 253, 261 [best: 1000] 5403068858368
4, 28, 46, 65, 76, 108, 122, 160, 174, 196, 232, 239 [best: 1000] 5407363825664
4, 28, 46, 65, 76, 109, 117, 124, 129, 200, 207, 261 [best: 1000] 5411658792960
4, 28, 46, 65, 76, 110, 113, 121, 129, 164, 198, 254 [best: 1000] 5415953760256
4, 28, 46, 65, 76, 111, 113, 116, 120, 135, 176, 233 [best: 1000] 5420248727552
4, 28, 46, 65, 77, 78, 81, 117, 128, 188, 203, 214 [best: 1000] 5424543694848
4, 28, 46, 65, 77, 78, 105, 115, 118, 119, 208, 212 [best: 1000] 5428838662144
4, 28, 46, 65, 77, 79, 95, 107, 120, 161, 213, 229 [best: 1000] 5433133629440
4, 28, 46, 65, 77, 80, 85, 104, 111, 114, 160, 207 [best: 1000] 5437428596736
4, 28, 46, 65, 77, 80, 101, 103, 128, 148, 205, 250, 272 [best: 1000] 5441723564032
4, 28, 46, 65, 77, 81, 85, 94, 124, 135, 141, 220 [best: 1000] 5446018531328
4, 28, 46, 65, 77, 81, 93, 146, 155, 166, 172 [best: 1000] 5450313498624
4, 28, 46, 65, 77, 81, 102, 106, 114, 173, 177, 258 [best: 1000] 5454608465920
4, 28, 46, 65, 77, 81, 112, 130, 162, 195, 202, 231 [best: 1000] 5458903433216
4, 28, 46, 65, 77, 82, 85, 128, 131, 154, 169, 181 [best: 1000] 5463198400512
4, 28, 46, 65, 77, 82, 94, 110, 114, 150, 178, 182 [best: 1000] 5467493367808
4, 28, 46, 65, 77, 82, 102, 125, 142, 155, 159, 183 [best: 1000] 5471788335104
4, 28, 46, 65, 77, 82, 113, 126, 136, 142, 184, 233 [best: 1000] 5476083302400
4, 28, 46, 65, 77, 83, 94, 116, 130, 135, 152, 214 [best: 1000] 5480378269696
4, 28, 46, 65, 77, 84, 98, 103, 106, 172, 192, 228 [best: 1000] 5484673236992
4, 28, 46, 65, 77, 85, 100, 114, 119, 132, 144, 212 [best: 1000] 5488968204288
4, 28, 46, 65, 77, 86, 96, 139, 145, 196, 209, 233 [best: 1000] 5493263171584
4, 28, 46, 65, 77, 87, 89, 97, 111, 147, 199, 225 [best: 1000] 5497558138880
4, 28, 46, 65, 77, 88, 92, 98, 132, 181, 182, 212 [best: 1000] 5501853106176
4, 28, 46, 65, 77, 88, 114, 120, 138, 154, 189, 220 [best: 1000] 5506148073472
4, 28, 46, 65, 77, 89, 106, 121, 143, 148, 192, 237 [best: 1000] 5510443040768
4, 28, 46, 65, 77, 92, 93, 127, 129, 169, 194, 240 [best: 1000] 5514738008064
4, 28, 46, 65, 77, 92, 114, 115, 119, 125, 127, 177 [best: 1000] 5519032975360
4, 28, 46, 65, 77, 93, 108, 122, 148, 160, 171, 208 [best: 1000] 5523327942656
4, 28, 46, 65, 77, 94, 104, 126, 150, 182, 232, 247 [best: 1000] 5527622909952
4, 28, 46, 65, 77, 95, 102, 136, 142, 144, 150, 188 [best: 1000] 5531917877248
4, 28, 46, 65, 77, 96, 97, 113, 128, 173, 186, 228 [best: 1000] 5536212844544
4, 28, 46, 65, 77, 96, 112, 122, 127, 139, 149, 186 [best: 1000] 5540507811840
4, 28, 46, 65, 77, 97, 110, 141, 154, 177, 233, 240 [best: 1000] 5544802779136
4, 28, 46, 65, 77, 98, 115, 116, 121, 137, 150, 195 [best: 1000] 5549097746432
4, 28, 46, 65, 77, 99, 118, 129, 131, 160, 181, 194 [best: 1000] 5553392713728
4, 28, 46, 65, 78, 79, 81, 135, 154, 180, 192, 218 [best: 1000] 5557687681024
4, 28, 46, 65, 78, 79, 102, 125, 128, 156, 199, 241 [best: 1000] 5561982648320
4, 28, 46, 65, 78, 80, 86, 123, 154, 181, 214, 247 [best: 1000] 5566277615616
4, 28, 46, 65, 78, 80, 99, 106, 144, 168, 184, 198 [best: 1000] 5570572582912
4, 28, 46, 65, 78, 80, 119, 127, 147, 151, 167, 203 [best: 1000] 5574867550208
4, 28, 46, 65, 78, 81, 88, 127, 156, 171, 181, 222 [best: 1000] 5579162517504
4, 28, 46, 65, 78, 81, 97, 123, 135, 150, 188, 227 [best: 1000] 5583457484800
4, 28, 46, 65, 78, 81, 108, 115, 154, 164, 178, 195 [best: 1000] 5587752452096
4, 28, 46, 65, 78, 81, 125, 133, 136, 181, 190, 197 [best: 1000] 5592047419392
4, 28, 46, 65, 78, 82, 89, 112, 139, 148, 182, 196 [best: 1000] 5596342386688
4, 28, 46, 65, 78, 82, 97, 111, 154, 158, 200, 209 [best: 1000] 5600637353984
4, 28, 46, 65, 78, 82, 105, 151, 161, 193, 214, 215 [best: 1000] 5604932321280
4, 28, 46, 65, 78, 82, 117, 119, 130, 153, 182, 208 [best: 1000] 5609227288576
4, 28, 46, 65, 78, 83, 94, 98, 112, 113, 121, 186 [best: 1000] 5613522255872
4, 28, 46, 65, 78, 84, 94, 98, 117, 147, 167, 170 [best: 1000] 5617817223168
4, 28, 46, 65, 78, 85, 92, 116, 124, 149, 159, 216 [best: 1000] 5622112190464
4, 28, 46, 65, 78, 86, 90, 94, 110, 145, 187, 204 [best: 1000] 5626407157760
4, 28, 46, 65, 78, 86, 103, 127, 131, 142, 172, 174 [best: 1000] 5630702125056
4, 28, 46, 65, 78, 87, 92, 97, 123, 142, 147, 179 [best: 1000] 5634997092352
4, 28, 46, 65, 78, 87, 109, 137, 152, 176, 193, 201 [best: 1000] 5639292059648
4, 28, 46, 65, 78, 88, 98, 116, 149, 158, 160, 162 [best: 1000] 5643587026944
4, 28, 46, 65, 78, 89, 93, 125, 150, 152, 183, 209 [best: 1000] 5647881994240
4, 28, 46, 65, 78, 89, 106, 117, 129, 135, 139, 195 [best: 1000] 5652176961536
4, 28, 46, 65, 78, 90, 104, 106, 138, 159, 175, 214 [best: 1000] 5656471928832
4, 28, 46, 65, 78, 92, 105, 119, 136, 161, 181, 241 [best: 1000] 5660766896128
4, 28, 46, 65, 78, 93, 103, 120, 151, 154, 186, 207 [best: 1000] 5665061863424
4, 28, 46, 65, 78, 94, 98, 123, 127, 180, 231, 242 [best: 1000] 5669356830720
4, 28, 46, 65, 78, 95, 96, 115, 129, 146, 154, 159 [best: 1000] 5673651798016
4, 28, 46, 65, 78, 95, 110, 129, 133, 153, 196, 215 [best: 1000] 5677946765312
4, 28, 46, 65, 78, 96, 102, 112, 115, 167, 206, 213 [best: 1000] 5682241732608
4, 28, 46, 65, 78, 96, 119, 135, 136, 159, 171, 184 [best: 1000] 5686536699904
4, 28, 46, 65, 78, 98, 100, 138, 139, 174, 182, 210 [best: 1000] 5690831667200
4, 28, 46, 65, 78, 99, 101, 117, 124, 142, 193, 233 [best: 1000] 5695126634496
4, 28, 46, 65, 78, 100, 108, 132, 134, 172, 203, 224 [best: 1000] 5699421601792
4, 28, 46, 65, 78, 101, 108, 134, 148, 166, 196, 218 [best: 1000] 5703716569088
4, 28, 46, 65, 78, 102, 112, 134, 144, 180, 205, 241 [best: 1000] 5708011536384
4, 28, 46, 65, 79, 80, 81, 133, 148, 172, 215, 279 [best: 1000] 5712306503680
4, 28, 46, 65, 79, 80, 93, 99, 159, 178, 193, 202 [best: 1000] 5716601470976
4, 28, 46, 65, 79, 80, 106, 115, 142, 149, 154, 191 [best: 1000] 5720896438272
4, 28, 46, 65, 79, 81, 85, 86, 121, 133, 163, 175 [best: 1000] 5725191405568
4, 28, 46, 65, 79, 81, 92, 109, 168, 184, 197, 208 [best: 1000] 5729486372864
4, 28, 46, 65, 79, 81, 99, 125, 129, 140, 181, 213 [best: 1000] 5733781340160
4, 28, 46, 65, 79, 81, 108, 122, 155, 166, 228, 280 [best: 1000] 5738076307456
4, 28, 46, 65, 79, 81, 121, 125, 172, 198, 199, 211 [best: 1000] 5742371274752
4, 28, 46, 65, 79, 82, 88, 92, 134, 162, 191, 248 [best: 1000] 5746666242048
4, 28, 46, 65, 79, 82, 96, 121, 147, 157, 222, 223 [best: 1000] 5750961209344
4, 28, 46, 65, 79, 82, 106, 125, 151, 166, 223, 245 [best: 1000] 5755256176640
4, 28, 46, 65, 79, 82, 121, 142, 151, 190, 249, 258 [best: 1000] 5759551143936
4, 28, 46, 65, 79, 83, 107, 114, 117, 166, 184, 215 [best: 1000] 5763846111232
4, 28, 46, 65, 79, 84, 107, 110, 129, 157, 189, 196 [best: 1000] 5768141078528
4, 28, 46, 65, 79, 85, 104, 129, 136, 175, 197, 215 [best: 1000] 5772436045824
4, 28, 46, 65, 79, 86, 96, 98, 158, 190, 198, 237 [best: 1000] 5776731013120
4, 28, 46, 65, 79, 86, 112, 126, 141, 162, 221, 273 [best: 1000] 5781025980416
4, 28, 46, 65, 79, 87, 97, 112, 116, 131, 142, 217 [best: 1000] 5785320947712
4, 28, 46, 65, 79, 88, 89, 108, 152, 159, 196, 218 [best: 1000] 5789615915008
4, 28, 46, 65, 79, 88, 108, 142, 148, 188, 189, 258 [best: 1000] 5793910882304
4, 28, 46, 65, 79, 89, 98, 99, 126, 155, 207, 227 [best: 1000] 5798205849600
4, 28, 46, 65, 79, 89, 113, 139, 148, 167, 221, 225 [best: 1000] 5802500816896
4, 28, 46, 65, 79, 92, 93, 104, 125, 138, 209, 234 [best: 1000] 5806795784192
4, 28, 46, 65, 79, 93, 94, 112, 157, 164, 205, 247 [best: 1000] 5811090751488
4, 28, 46, 65, 79, 93, 111, 127, 146, 154, 155, 201 [best: 1000] 5815385718784
4, 28, 46, 65, 79, 94, 106, 125, 152, 168, 176, 181 [best: 1000] 5819680686080
4, 28, 46, 65, 79, 95, 101, 127, 134, 143, 230, 239 [best: 1000] 5823975653376
4, 28, 46, 65, 79, 95, 119, 124, 128, 193, 197, 239 [best: 1000] 5828270620672
4, 28, 46, 65, 79, 96, 108, 133, 160, 187, 193, 228 [best: 1000] 5832565587968
4, 28, 46, 65, 79, 97, 102, 110, 142, 145, 148, 167 [best: 1000] 5836860555264
4, 28, 46, 65, 79, 98, 108, 134, 140, 142, 168, 191 [best: 1000] 5841155522560
4, 28, 46, 65, 79, 99, 113, 122, 125, 142, 200, 243 [best: 1000] 5845450489856
4, 28, 46, 65, 79, 100, 115, 151, 177, 210, 223, 253 [best: 1000] 5849745457152
4, 28, 46, 65, 79, 101, 119, 122, 170, 186, 196, 202 [best: 1000] 5854040424448
4, 28, 46, 65, 79, 103, 105, 123, 154, 165, 171, 235 [best: 1000] 5858335391744
4, 28, 46, 65, 80, 81, 84, 122, 133, 178, 195, 228 [best: 1000] 5862630359040
4, 28, 46, 65, 80, 81, 89, 119, 126, 177, 220, 238 [best: 1000] 5866925326336
4, 28, 46, 65, 80, 81, 93, 158, 165, 172, 183, 255 [best: 1000] 5871220293632
4, 28, 46, 65, 80, 81, 99, 104, 122, 160, 202, 223 [best: 1000] 5875515260928
4, 28, 46, 65, 80, 81, 106, 118, 125, 192, 199, 231 [best: 1000] 5879810228224
4, 28, 46, 65, 80, 81, 114, 121, 174, 175, 224, 239 [best: 1000] 5884105195520
4, 28, 46, 65, 80, 81, 127, 142, 143, 145, 210, 267 [best: 1000] 5888400162816
4, 28, 46, 65, 80, 82, 87, 118, 120, 187, 228, 252 [best: 1000] 5892695130112
4, 28, 46, 65, 80, 82, 92, 106, 118, 184, 219, 289 [best: 1000] 5896990097408
4, 28, 46, 65, 80, 82, 96, 134, 140, 161, 188, 266 [best: 1000] 5901285064704
4, 28, 46, 65, 80, 82, 103, 108, 123, 160, 180, 198 [best: 1000] 5905580032000
4, 28, 46, 65, 80, 82, 111, 118, 142, 171, 245, 251 [best: 1000] 5909874999296
4, 28, 46, 65, 80, 82, 121, 123, 162, 201, 244, 264 [best: 1000] 5914169966592
4, 28, 46, 65, 80, 83, 91, 99, 131, 163, 164, 220 [best: 1000] 5918464933888
4, 28, 46, 65, 80, 83, 109, 123, 162, 165, 205, 218 [best: 1000] 5922759901184
4, 28, 46, 65, 80, 84, 93, 105, 124, 147, 204, 234 [best: 1000] 5927054868480
4, 28, 46, 65, 80, 84, 108, 121, 128, 132, 174, 207 [best: 1000] 5931349835776
4, 28, 46, 65, 80, 85, 92, 96, 115, 124, 151, 226 [best: 1000] 5935644803072
4, 28, 46, 65, 80, 85, 104, 133, 135, 140, 209, 217 [best: 1000] 5939939770368
4, 28, 46, 65, 80, 86, 90, 130, 132, 154, 155, 156 [best: 1000] 5944234737664
4, 28, 46, 65, 80, 86, 97, 111, 131, 153, 172, 247 [best: 1000] 5948529704960
4, 28, 46, 65, 80, 86, 109, 133, 150, 190, 224, 235 [best: 1000] 5952824672256
4, 28, 46, 65, 80, 87, 90, 138, 164, 167, 180, 190 [best: 1000] 5957119639552
4, 28, 46, 65, 80, 87, 98, 101, 124, 131, 180, 220 [best: 1000] 5961414606848
4, 28, 46, 65, 80, 87, 114, 119, 150, 193, 237, 243 [best: 1000] 5965709574144
4, 28, 46, 65, 80, 88, 94, 113, 117, 182, 216, 230 [best: 1000] 5970004541440
4, 28, 46, 65, 80, 88, 106, 124, 150, 173, 177, 231 [best: 1000] 5974299508736
4, 28, 46, 65, 80, 89, 92, 117, 129, 138, 150, 266 [best: 1000] 5978594476032
4, 28, 46, 65, 80, 89, 101, 107, 143, 150, 201, 234 [best: 1000] 5982889443328
4, 28, 46, 65, 80, 90, 91, 122, 161, 163, 216, 230 [best: 1000] 5987184410624
4, 28, 46, 65, 80, 90, 98, 127, 156, 209, 217, 257 [best: 1000] 5991479377920
4, 28, 46, 65, 80, 90, 112, 146, 160, 166, 170, 236 [best: 1000] 5995774345216
4, 28, 46, 65, 80, 91, 92, 115, 138, 172, 200, 261 [best: 1000] 6000069312512
4, 28, 46, 65, 80, 91, 99, 118, 131, 162, 169, 196 [best: 1000] 6004364279808
4, 28, 46, 65, 80, 91, 114, 120, 151, 153, 196, 238 [best: 1000] 6008659247104
4, 28, 46, 65, 80, 92, 94, 100, 123, 161, 168, 261 [best: 1000] 6012954214400
4, 28, 46, 65, 80, 92, 101, 115, 116, 121, 195, 205 [best: 1000] 6017249181696
4, 28, 46, 65, 80, 92, 115, 157, 158, 161, 184, 223 [best: 1000] 6021544148992
4, 28, 46, 65, 80, 93, 96, 111, 148, 179, 211 [best: 1000] 6025839116288
4, 28, 46, 65, 80, 93, 106, 129, 149, 181, 190, 232 [best: 1000] 6030134083584
4, 28, 46, 65, 80, 93, 123, 147, 170, 190, 216, 245 [best: 1000] 6034429050880
4, 28, 46, 65, 80, 94, 100, 130, 141, 177, 192, 249 [best: 1000] 6038724018176
4, 28, 46, 65, 80, 94, 116, 131, 146, 147, 197, 206 [best: 1000] 6043018985472
4, 28, 46, 65, 80, 95, 98, 149, 151, 198, 210, 224 [best: 1000] 6047313952768
4, 28, 46, 65, 80, 95, 114, 130, 144, 167, 174, 193 [best: 1000] 6051608920064
4, 28, 46, 65, 80, 96, 98, 119, 124, 137, 190, 215 [best: 1000] 6055903887360
4, 28, 46, 65, 80, 96, 109, 124, 137, 175, 210, 221 [best: 1000] 6060198854656
4, 28, 46, 65, 80, 97, 98, 137, 150, 151, 211, 240 [best: 1000] 6064493821952
4, 28, 46, 65, 80, 97, 108, 115, 134, 177, 204, 222 [best: 1000] 6068788789248
4, 28, 46, 65, 80, 97, 121, 131, 153, 185, 246, 257 [best: 1000] 6073083756544
4, 28, 46, 65, 80, 98, 105, 125, 135, 207, 213, 220 [best: 1000] 6077378723840
4, 28, 46, 65, 80, 98, 116, 150, 161, 204, 214 [best: 1000] 6081673691136
4, 28, 46, 65, 80, 99, 105, 126, 129, 133, 160, 176 [best: 1000] 6085968658432
4, 28, 46, 65, 80, 99, 124, 143, 175, 205, 229, 248 [best: 1000] 6090263625728
4, 28, 46, 65, 80, 100, 112, 118, 135, 146, 200, 228 [best: 1000] 6094558593024
4, 28, 46, 65, 80, 101, 108, 131, 135, 159, 218, 231 [best: 1000] 6098853560320
4, 28, 46, 65, 80, 102, 111, 136, 150, 198, 211, 262 [best: 1000] 6103148527616
4, 28, 46, 65, 80, 104, 106, 119, 155, 179, 201, 206 [best: 1000] 6107443494912
4, 28, 46, 65, 81, 82, 84, 87, 119, 161, 224, 260 [best: 1000] 6111738462208
4, 28, 46, 65, 81, 82, 88, 118, 134, 149, 150, 228 [best: 1000] 6116033429504
4, 28, 46, 65, 81, 82, 93, 99, 122, 142, 143, 229 [best: 1000] 6120328396800
4, 28, 46, 65, 81, 82, 97, 142, 157, 173, 181, 187 [best: 1000] 6124623364096
4, 28, 46, 65, 81, 82, 103, 107, 160, 208, 243 [best: 1000] 6128918331392
4, 28, 46, 65, 81, 82, 110, 113, 149, 150, 165 [best: 1000] 6133213298688
4, 28, 46, 65, 81, 82, 120, 135, 141, 167, 171, 197 [best: 1000] 6137508265984
4, 28, 46, 65, 81, 83, 88, 91, 113, 120, 146, 194 [best: 1000] 6141803233280
4, 28, 46, 65, 81, 83, 95, 98, 105, 116, 176, 272 [best: 1000] 6146098200576
4, 28, 46, 65, 81, 83, 102, 136, 148, 197, 204, 215 [best: 1000] 6150393167872
4, 28, 46, 65, 81, 83, 116, 121, 127, 132, 140, 222 [best: 1000] 6154688135168
4, 28, 46, 65, 81, 84, 90, 103, 155, 168, 202, 216 [best: 1000] 6158983102464
4, 28, 46, 65, 81, 84, 97, 106, 144, 148, 192, 236 [best: 1000] 6163278069760
4, 28, 46, 65, 81, 84, 106, 119, 129, 152, 186, 210, 224 [best: 1000] 6167573037056
4, 28, 46, 65, 81, 85, 86, 119, 158, 172, 219, 243 [best: 1000] 6171868004352
4, 28, 46, 65, 81, 85, 92, 113, 131, 160, 168, 188 [best: 1000] 6176162971648
4, 28, 46, 65, 81, 85, 98, 140, 160, 181, 186, 242 [best: 1000] 6180457938944
4, 28, 46, 65, 81, 85, 107, 113, 141, 142, 230, 231 [best: 1000] 6184752906240
4, 28, 46, 65, 81, 85, 127, 132, 169, 180, 209, 252 [best: 1000] 6189047873536
4, 28, 46, 65, 81, 86, 91, 103, 154, 158, 188, 209 [best: 1000] 6193342840832
4, 28, 46, 65, 81, 86, 95, 107, 127, 135, 165, 231 [best: 1000] 6197637808128
4, 28, 46, 65, 81, 86, 99, 128, 161, 170, 197, 226 [best: 1000] 6201932775424
4, 28, 46, 65, 81, 86, 105, 124, 146, 178, 255, 268 [best: 1000] 6206227742720
4, 28, 46, 65, 81, 86, 113, 145, 162, 193, 198, 223 [best: 1000] 6210522710016
4, 28, 46, 65, 81, 87, 88, 102, 160, 176, 218, 249 [best: 1000] 6214817677312
4, 28, 46, 65, 81, 87, 93, 95, 106, 122, 126, 201 [best: 1000] 6219112644608
4, 28, 46, 65, 81, 87, 97, 126, 153, 157, 182, 265 [best: 1000] 6223407611904
4, 28, 46, 65, 81, 87, 102, 126, 181, 192, 211, 267 [best: 1000] 6227702579200
4, 28, 46, 65, 81, 87, 108, 150, 177, 179, 209, 229 [best: 1000] 6231997546496
4, 28, 46, 65, 81, 87, 122, 139, 176, 192, 205, 224 [best: 1000] 6236292513792
4, 28, 46, 65, 81, 88, 92, 93, 103, 215, 233, 240 [best: 1000] 6240587481088
4, 28, 46, 65, 81, 88, 97, 99, 119, 156, 237, 248 [best: 1000] 6244882448384
4, 28, 46, 65, 81, 88, 102, 112, 153, 171, 196, 234 [best: 1000] 6249177415680
4, 28, 46, 65, 81, 88, 109, 118, 150, 184, 250, 281 [best: 1000] 6253472382976
4, 28, 46, 65, 81, 88, 126, 143, 146, 198, 204, 252 [best: 1000] 6257767350272
4, 28, 46, 65, 81, 89, 94, 120, 150, 161, 239, 279 [best: 1000] 6262062317568
4, 28, 46, 65, 81, 89, 100, 119, 132, 175, 200, 270 [best: 1000] 6266357284864
4, 28, 46, 65, 81, 89, 108, 117, 183, 200, 233, 293, 301 [best: 1000] 6270652252160
4, 28, 46, 65, 81, 90, 91, 98, 107, 122, 244, 270 [best: 1000] 6274947219456
4, 28, 46, 65, 81, 90, 95, 125, 160, 166, 205, 278 [best: 1000] 6279242186752
4, 28, 46, 65, 81, 90, 100, 107, 109, 141, 229, 251 [best: 1000] 6283537154048
4, 28, 46, 65, 81, 90, 106, 120, 124, 130, 157, 204 [best: 1000] 6287832121344
4, 28, 46, 65, 81, 90, 115, 140, 159, 176, 208, 227 [best: 1000] 6292127088640
4, 28, 46, 65, 81, 90, 131, 144, 162, 163, 210, 221 [best: 1000] 6296422055936
4, 28, 46, 65, 81, 91, 94, 155, 181, 211, 228, 273 [best: 1000] 6300717023232
4, 28, 46, 65, 81, 91, 98, 137, 139, 180, 243, 320 [best: 1000] 6305011990528
4, 28, 46, 65, 81, 91, 103, 141, 163, 188, 199, 240 [best: 1000] 6309306957824
4, 28, 46, 65, 81, 91, 108, 158, 161, 175, 221, 267 [best: 1000] 6313601925120
4, 28, 46, 65, 81, 91, 120, 137, 142, 155, 199, 203 [best: 1000] 6317896892416
4, 28, 46, 65, 81, 91, 135, 171, 196, 212, 222, 252 [best: 1000] 6322191859712
4, 28, 46, 65, 81, 92, 96, 99, 162, 176, 193, 244 [best: 1000] 6326486827008
4, 28, 46, 65, 81, 92, 100, 134, 158, 191, 197, 263 [best: 1000] 6330781794304
4, 28, 46, 65, 81, 92, 106, 130, 134, 166, 239, 277 [best: 1000] 6335076761600
4, 28, 46, 65, 81, 92, 114, 145, 170, 197, 207, 238 [best: 1000] 6339371728896
4, 28, 46, 65, 81, 92, 129, 146, 168, 187, 199, 266 [best: 1000] 6343666696192
4, 28, 46, 65, 81, 93, 96, 133, 149, 152, 207, 248 [best: 1000] 6347961663488
4, 28, 46, 65, 81, 93, 102, 108, 110, 180, 229, 234 [best: 1000] 6352256630784
4, 28, 46, 65, 81, 93, 108, 128, 131, 194, 234, 270 [best: 1000] 6356551598080
4, 28, 46, 65, 81, 93, 119, 156, 170, 186, 253 [best: 1000] 6360846565376
4, 28, 46, 65, 81, 94, 96, 108, 158, 179, 255, 258 [best: 1000] 6365141532672
4, 28, 46, 65, 81, 94, 100, 118, 127, 131, 150, 208 [best: 1000] 6369436499968
4, 28, 46, 65, 81, 94, 106, 113, 183, 185, 205, 263 [best: 1000] 6373731467264
4, 28, 46, 65, 81, 94, 112, 133, 168, 174, 201, 260 [best: 1000] 6378026434560
4, 28, 46, 65, 81, 94, 126, 144, 179, 226, 242, 244 [best: 1000] 6382321401856
4, 28, 46, 65, 81, 95, 98, 101, 153, 205, 235, 284 [best: 1000] 6386616369152
4, 28, 46, 65, 81, 95, 103, 104, 149, 199, 211 [best: 1000] 6390911336448
4, 28, 46, 65, 81, 95, 109, 121, 124, 174, 223, 286 [best: 1000] 6395206303744
4, 28, 46, 65, 81, 95, 122, 126, 134, 175, 176, 229 [best: 1000] 6399501271040
4, 28, 46, 65, 81, 96, 97, 140, 144, 171, 180, 191 [best: 1000] 6403796238336
4, 28, 46, 65, 81, 96, 102, 110, 122, 195, 215, 286 [best: 1000] 6408091205632
4, 28, 46, 65, 81, 96, 107, 139, 156, 216, 232, 281 [best: 1000] 6412386172928
4, 28, 46, 65, 81, 96, 118, 148, 186, 201, 208, 250 [best: 1000] 6416681140224
4, 28, 46, 65, 81, 96, 134, 137, 167, 172, 204, 275 [best: 1000] 6420976107520
4, 28, 46, 65, 81, 97, 101, 103, 166, 175, 250, 268 [best: 1000] 6425271074816
4, 28, 46, 65, 81, 97, 105, 156, 179, 201, 203, 273 [best: 1000] 6429566042112
4, 28, 46, 65, 81, 97, 112, 122, 155, 160, 190, 229 [best: 1000] 6433861009408
4, 28, 46, 65, 81, 97, 123, 124, 175, 184, 222, 234 [best: 1000] 6438155976704
4, 28, 46, 65, 81, 98, 100, 110, 154, 183, 200, 276 [best: 1000] 6442450944000
4, 28, 46, 65, 81, 98, 104, 108, 112, 150, 185, 253 [best: 1000] 6446745911296
4, 28, 46, 65, 81, 98, 108, 111, 131, 143, 266, 279 [best: 1000] 6451040878592
4, 28, 46, 65, 81, 98, 112, 168, 175, 180, 238, 257 [best: 1000] 6455335845888
4, 28, 46, 65, 81, 98, 120, 132, 155, 196, 217, 224 [best: 1000] 6459630813184
4, 28, 46, 65, 81, 98, 129, 147, 151, 156, 182, 251 [best: 1000] 6463925780480
4, 28, 46, 65, 81, 99, 101, 129, 167, 173, 201, 253 [best: 1000] 6468220747776
4, 28, 46, 65, 81, 99, 107, 125, 150, 204, 217, 245 [best: 1000] 6472515715072
4, 28, 46, 65, 81, 99, 115, 133, 135, 176, 177, 244 [best: 1000] 6476810682368
4, 28, 46, 65, 81, 99, 134, 138, 173, 177, 206, 222 [best: 1000] 6481105649664
4, 28, 46, 65, 81, 100, 106, 108, 144, 173, 184, 205 [best: 1000] 6485400616960
4, 28, 46, 65, 81, 100, 114, 119, 131, 174, 231, 232 [best: 1000] 6489695584256
4, 28, 46, 65, 81, 100, 130, 157, 165, 196, 245, 256 [best: 1000] 6493990551552
4, 28, 46, 65, 81, 101, 106, 146, 154, 192, 219, 230, 288 [best: 1000] 6498285518848
4, 28, 46, 65, 81, 101, 112, 160, 162, 182, 184, 279 [best: 1000] 6502580486144
4, 28, 46, 65, 81, 101, 123, 168, 184, 199, 200, 235 [best: 1000] 6506875453440
4, 28, 46, 65, 81, 102, 104, 121, 142, 201, 206, 275 [best: 1000] 6511170420736
4, 28, 46, 65, 81, 102, 110, 124, 129, 132, 167, 185 [best: 1000] 6515465388032
4, 28, 46, 65, 81, 102, 122, 150, 159, 161, 171, 281 [best: 1000] 6519760355328
4, 28, 46, 65, 81, 102, 140, 141, 144, 177, 199, 233 [best: 1000] 6524055322624
4, 28, 46, 65, 81, 103, 109, 133, 172, 181, 217, 268 [best: 1000] 6528350289920
4, 28, 46, 65, 81, 103, 119, 146, 158, 197, 202, 262 [best: 1000] 6532645257216
4, 28, 46, 65, 81, 103, 134, 148, 162, 216, 224, 288 [best: 1000] 6536940224512
4, 28, 46, 65, 81, 104, 110, 111, 157, 162, 165, 180 [best: 1000] 6541235191808
4, 28, 46, 65, 81, 104, 123, 128, 136, 157, 241, 295 [best: 1000] 6545530159104
4, 28, 46, 65, 81, 105, 106, 113, 151, 198, 232, 244 [best: 1000] 6549825126400
4, 28, 46, 65, 81, 105, 114, 123, 134, 144, 219, 265 [best: 1000] 6554120093696
4, 28, 46, 65, 81, 105, 125, 131, 169, 188, 261, 273 [best: 1000] 6558415060992
4, 28, 46, 65, 81, 106, 109, 119, 138, 215, 230, 262 [best: 1000] 6562710028288
4, 28, 46, 65, 81, 106, 120, 165, 179, 192, 212, 238 [best: 1000] 6567004995584
4, 28, 46, 65, 81, 106, 136, 142, 143, 171, 183, 233 [best: 1000] 6571299962880
4, 28, 46, 65, 81, 107, 112, 118, 140, 190, 233, 236 [best: 1000] 6575594930176
4, 28, 46, 65, 81, 107, 119, 125, 134, 156, 212, 214 [best: 1000] 6579889897472
4, 28, 46, 65, 81, 107, 128, 135, 180, 187, 192, 229 [best: 1000] 6584184864768
4, 28, 46, 65, 81, 108, 110, 130, 167, 185, 202, 213 [best: 1000] 6588479832064
4, 28, 46, 65, 81, 108, 119, 135, 153, 215, 243, 273 [best: 1000] 6592774799360
4, 28, 46, 65, 81, 108, 132, 149, 153, 190, 198, 211 [best: 1000] 6597069766656
4, 28, 46, 65, 81, 109, 116, 167, 176, 191, 220, 264 [best: 1000] 6601364733952
4, 28, 46, 65, 81, 109, 131, 150, 169, 209, 236, 261 [best: 1000] 6605659701248
4, 28, 46, 65, 81, 110, 117, 168, 182, 212, 216, 288 [best: 1000] 6609954668544
4, 28, 46, 65, 81, 110, 138, 143, 160, 184, 188, 208 [best: 1000] 6614249635840
4, 28, 46, 65, 81, 111, 121, 149, 155, 158, 190, 211 [best: 1000] 6618544603136
4, 28, 46, 65, 82, 83, 85, 134, 156, 166, 183 [best: 1000] 6622839570432
4, 28, 46, 65, 82, 83, 92, 130, 139, 153, 196, 221 [best: 1000] 6627134537728
4, 28, 46, 65, 82, 83, 99, 126, 157, 166, 188, 229 [best: 1000] 6631429505024
4, 28, 46, 65, 82, 83, 109, 124, 148, 155, 177, 179 [best: 1000] 6635724472320
4, 28, 46, 65, 82, 84, 87, 107, 142, 155, 209, 251 [best: 1000] 6640019439616
4, 28, 46, 65, 82, 84, 93, 106, 135, 137, 138, 216 [best: 1000] 6644314406912
4, 28, 46, 65, 82, 84, 99, 125, 175, 188, 229, 272 [best: 1000] 6648609374208
4, 28, 46, 65, 82, 84, 107, 152, 180, 194, 220, 233 [best: 1000] 6652904341504
4, 28, 46, 65, 82, 85, 86, 95, 97, 145, 174, 261 [best: 1000] 6657199308800
4, 28, 46, 65, 82, 85, 92, 135, 158, 206, 232, 262 [best: 1000] 6661494276096
4, 28, 46, 65, 82, 85, 100, 106, 154, 180, 228, 229 [best: 1000] 6665789243392
4, 28, 46, 65, 82, 85, 111, 134, 150, 157, 163, 198 [best: 1000] 6670084210688
4, 28, 46, 65, 82, 86, 89, 115, 148, 153, 191, 192 [best: 1000] 6674379177984
4, 28, 46, 65, 82, 86, 93, 118, 125, 144, 157, 171 [best: 1000] 6678674145280
4, 28, 46, 65, 82, 86, 98, 99, 125, 157, 242, 282 [best: 1000] 6682969112576
4, 28, 46, 65, 82, 86, 102, 138, 157, 173, 213, 266 [best: 1000] 6687264079872
4, 28, 46, 65, 82, 86, 109, 123, 130, 189, 202 [best: 1000] 6691559047168
4, 28, 46, 65, 82, 86, 121, 134, 158, 174, 201, 247 [best: 1000] 6695854014464
4, 28, 46, 65, 82, 87, 91, 95, 127, 140, 179, 266 [best: 1000] 6700148981760
4, 28, 46, 65, 82, 87, 95, 109, 118, 132, 189, 246 [best: 1000] 6704443949056
4, 28, 46, 65, 82, 87, 99, 126, 129, 171, 180, 183 [best: 1000] 6708738916352
4, 28, 46, 65, 82, 87, 105, 140, 152, 182, 193, 263 [best: 1000] 6713033883648
4, 28, 46, 65, 82, 87, 114, 120, 125, 131, 164, 218 [best: 1000] 6717328850944
4, 28, 46, 65, 82, 88, 89, 106, 114, 124, 127, 180 [best: 1000] 6721623818240
4, 28, 46, 65, 82, 88, 94, 101, 131, 148, 176, 187 [best: 1000] 6725918785536
4, 28, 46, 65, 82, 88, 98, 148, 192, 194, 201, 235 [best: 1000] 6730213752832
4, 28, 46, 65, 82, 88, 105, 119, 124, 161, 173, 246 [best: 1000] 6734508720128
4, 28, 46, 65, 82, 88, 115, 121, 126, 151, 210, 270 [best: 1000] 6738803687424
4, 28, 46, 65, 82, 89, 91, 100, 118, 164, 198, 200 [best: 1000] 6743098654720
4, 28, 46, 65, 82, 89, 97, 99, 119, 191, 246, 247 [best: 1000] 6747393622016
4, 28, 46, 65, 82, 89, 103, 109, 128, 173, 200, 222 [best: 1000] 6751688589312
4, 28, 46, 65, 82, 89, 111, 129, 178, 186, 243, 257 [best: 1000] 6755983556608
4, 28, 46, 65, 82, 90, 92, 102, 150, 177, 180, 255 [best: 1000] 6760278523904
4, 28, 46, 65, 82, 90, 97, 100, 107, 120, 129, 244 [best: 1000] 6764573491200
4, 28, 46, 65, 82, 90, 101, 134, 151, 178, 227, 233 [best: 1000] 6768868458496
4, 28, 46, 65, 82, 90, 108, 109, 125, 137, 157, 213 [best: 1000] 6773163425792
4, 28, 46, 65, 82, 90, 119, 159, 182, 186, 206, 234 [best: 1000] 6777458393088
4, 28, 46, 65, 82, 90, 137, 144, 177, 201, 218, 285 [best: 1000] 6781753360384
4, 28, 46, 65, 82, 91, 95, 165, 194, 206, 272, 278 [best: 1000] 6786048327680
4, 28, 46, 65, 82, 91, 99, 132, 176, 208, 227, 261 [best: 1000] 6790343294976
4, 28, 46, 65, 82, 91, 105, 108, 110, 136, 225, 270 [best: 1000] 6794638262272
4, 28, 46, 65, 82, 91, 110, 123, 138, 198, 207, 230 [best: 1000] 6798933229568
4, 28, 46, 65, 82, 91, 122, 137, 144, 227, 233, 293 [best: 1000] 6803228196864
4, 28, 46, 65, 82, 91, 140, 141, 155, 203, 220, 246 [best: 1000] 6807523164160
4, 28, 46, 65, 82, 92, 96, 152, 181, 207, 238, 240 [best: 1000] 6811818131456
4, 28, 46, 65, 82, 92, 101, 134, 140, 164, 196, 215 [best: 1000] 6816113098752
4, 28, 46, 65, 82, 92, 107, 132, 133, 196, 211, 261 [best: 1000] 6820408066048
4, 28, 46, 65, 82, 92, 118, 119, 147, 153, 193, 207 [best: 1000] 6824703033344
4, 28, 46, 65, 82, 92, 133, 136, 155, 178, 186, 198 [best: 1000] 6828998000640
4, 28, 46, 65, 82, 93, 97, 122, 157, 162, 201, 227 [best: 1000] 6833292967936
4, 28, 46, 65, 82, 93, 103, 107, 164, 165, 170, 232 [best: 1000] 6837587935232
4, 28, 46, 65, 82, 93, 109, 144, 169, 170, 196, 221 [best: 1000] 6841882902528
4, 28, 46, 65, 82, 93, 122, 131, 137, 143, 199, 217 [best: 1000] 6846177869824
4, 28, 46, 65, 82, 94, 97, 101, 124, 157, 183, 269 [best: 1000] 6850472837120
4, 28, 46, 65, 82, 94, 101, 109, 122, 137, 184 [best: 1000] 6854767804416
4, 28, 46, 65, 82, 94, 107, 109, 123, 183, 208, 218 [best: 1000] 6859062771712
4, 28, 46, 65, 82, 94, 115, 132, 148, 182, 231, 256 [best: 1000] 6863357739008
4, 28, 46, 65, 82, 94, 130, 137, 143, 148, 239, 264 [best: 1000] 6867652706304
4, 28, 46, 65, 82, 95, 98, 118, 128, 203, 212, 235 [best: 1000] 6871947673600
4, 28, 46, 65, 82, 95, 103, 127, 149, 156, 196, 260 [best: 1000] 6876242640896
4, 28, 46, 65, 82, 95, 110, 114, 172, 175, 216, 221 [best: 1000] 6880537608192
4, 28, 46, 65, 82, 95, 122, 159, 163, 182, 223, 234 [best: 1000] 6884832575488
4, 28, 46, 65, 82, 96, 98, 100, 141, 153, 233, 264 [best: 1000] 6889127542784
4, 28, 46, 65, 82, 96, 102, 112, 119, 158, 181, 193 [best: 1000] 6893422510080
4, 28, 46, 65, 82, 96, 107, 139, 140, 200, 222, 226 [best: 1000] 6897717477376
4, 28, 46, 65, 82, 96, 118, 135, 148, 171, 207, 260 [best: 1000] 6902012444672
4, 28, 46, 65, 82, 96, 133, 141, 152, 163, 221, 277, 326 [best: 1000] 6906307411968
4, 28, 46, 65, 82, 97, 100, 125, 135, 163, 175, 249 [best: 1000] 6910602379264
4, 28, 46, 65, 82, 97, 105, 119, 131, 185, 193, 259 [best: 1000] 6914897346560
4, 28, 46, 65, 82, 97, 111, 125, 130, 203, 212, 233 [best: 1000] 6919192313856
4, 28, 46, 65, 82, 97, 121, 134, 143, 170, 217, 260 [best: 1000] 6923487281152
4, 28, 46, 65, 82, 98, 99, 126, 140, 170, 203, 246, 252 [best: 1000] 6927782248448
4, 28, 46, 65, 82, 98, 103, 115, 126, 173, 200, 291 [best: 1000] 6932077215744
4, 28, 46, 65, 82, 98, 107, 116, 177, 217, 231, 279 [best: 1000] 6936372183040
4, 28, 46, 65, 82, 98, 111, 142, 171, 201, 229, 233 [best: 1000] 6940667150336
4, 28, 46, 65, 82, 98, 118, 120, 128, 144, 154, 205 [best: 1000] 6944962117632
4, 28, 46, 65, 82, 98, 126, 142, 173, 184, 225, 287, 290 [best: 1000] 6949257084928
4, 28, 46, 65, 82, 98, 138, 158, 175, 185, 188, 213 [best: 1000] 6953552052224
4, 28, 46, 65, 82, 99, 105, 109, 146, 177, 226, 287, 296 [best: 1000] 6957847019520
4, 28, 46, 65, 82, 99, 110, 145, 157, 203, 227, 253 [best: 1000] 6962141986816
4, 28, 46, 65, 82, 99, 121, 126, 133, 135, 138, 220 [best: 1000] 6966436954112
4, 28, 46, 65, 82, 100, 101, 149, 174, 183, 254, 294 [best: 1000] 6970731921408
4, 28, 46, 65, 82, 100, 108, 111, 126, 153, 225, 245 [best: 1000] 6975026888704
4, 28, 46, 65, 82, 100, 117, 131, 145, 162, 222, 261 [best: 1000] 6979321856000
4, 28, 46, 65, 82, 101, 102, 141, 163, 180, 229, 248 [best: 1000] 6983616823296
4, 28, 46, 65, 82, 101, 108, 110, 118, 156, 197, 205 [best: 1000] 6987911790592
4, 28, 46, 65, 82, 101, 115, 128, 138, 195, 207, 213 [best: 1000] 6992206757888
4, 28, 46, 65, 82, 101, 130, 137, 170, 191, 206, 299, 329 [best: 1000] 6996501725184
4, 28, 46, 65, 82, 102, 105, 152, 183, 195, 253, 294 [best: 1000] 7000796692480
4, 28, 46, 65, 82, 102, 112, 120, 152, 205, 224, 240 [best: 1000] 7005091659776
4, 28, 46, 65, 82, 102, 124, 137, 147, 150, 206, 256 [best: 1000] 7009386627072
4, 28, 46, 65, 82, 103, 105, 106, 127, 145, 150, 255 [best: 1000] 7013681594368
4, 28, 46, 65, 82, 103, 111, 116, 119, 157, 179, 280 [best: 1000] 7017976561664
4, 28, 46, 65, 82, 103, 121, 123, 145, 151, 185, 202 [best: 1000] 7022271528960
4, 28, 46, 65, 82, 104, 105, 108, 137, 160, 172, 260 [best: 1000] 7026566496256
4, 28, 46, 65, 82, 104, 111, 120, 147, 222, 232, 285 [best: 1000] 7030861463552
4, 28, 46, 65, 82, 104, 124, 125, 135, 150, 192, 250 [best: 1000] 7035156430848
4, 28, 46, 65, 82, 105, 106, 156, 160, 190, 231, 260 [best: 1000] 7039451398144
4, 28, 46, 65, 82, 105, 116, 118, 142, 160, 181, 235 [best: 1000] 7043746365440
4, 28, 46, 65, 82, 105, 126, 142, 143, 182, 236, 248 [best: 1000] 7048041332736
4, 28, 46, 65, 82, 106, 109, 147, 156, 175, 186, 226 [best: 1000] 7052336300032
4, 28, 46, 65, 82, 106, 122, 123, 128, 200, 257, 263 [best: 1000] 7056631267328
4, 28, 46, 65, 82, 106, 137, 151, 178, 197, 203, 216 [best: 1000] 7060926234624
4, 28, 46, 65, 82, 107, 112, 130, 141, 147, 222, 267 [best: 1000] 7065221201920
4, 28, 46, 65, 82, 107, 119, 122, 128, 176, 200, 289 [best: 1000] 7069516169216
4, 28, 46, 65, 82, 107, 127, 153, 165, 200, 252, 254, 255 [best: 1000] 7073811136512
4, 28, 46, 65, 82, 108, 109, 157, 171, 187, 219, 271 [best: 1000] 7078106103808
4, 28, 46, 65, 82, 108, 117, 157, 170, 182, 250, 281 [best: 1000] 7082401071104
4, 28, 46, 65, 82, 108, 130, 149, 163, 203, 237, 246 [best: 1000] 7086696038400
4, 28, 46, 65, 82, 109, 115, 139, 176, 186, 220 [best: 1000] 7090991005696
4, 28, 46, 65, 82, 109, 127, 150, 168, 215, 238, 261 [best: 1000] 7095285972992
4, 28, 46, 65, 82, 110, 115, 142, 144, 145, 148, 233 [best: 1000] 7099580940288
4, 28, 46, 65, 82, 110, 131, 148, 174, 185, 210, 245 [best: 1000] 7103875907584
4, 28, 46, 65, 82, 111, 117, 134, 151, 162, 167, 247 [best: 1000] 7108170874880
4, 28, 46, 65, 82, 111, 134, 147, 149, 166, 186, 247 [best: 1000] 7112465842176
4, 28, 46, 65, 83, 84, 112, 131, 143, 155, 159, 217 [best: 1000] 7116760809472
4, 28, 46, 65, 83, 86, 88, 108, 112, 117, 122, 147 [best: 1000] 7121055776768
4, 28, 46, 65, 83, 86, 102, 141, 160, 168, 175, 212 [best: 1000] 7125350744064
4, 28, 46, 65, 83, 87, 93, 104, 112, 127, 150, 214 [best: 1000] 7129645711360
4, 28, 46, 65, 83, 88, 89, 98, 104, 139, 175, 197 [best: 1000] 7133940678656
4, 28, 46, 65, 83, 89, 93, 107, 110, 120, 176, 258 [best: 1000] 7138235645952
4, 28, 46, 65, 83, 89, 115, 122, 125, 154, 180, 241 [best: 1000] 7142530613248
4, 28, 46, 65, 83, 90, 110, 118, 149, 172, 200, 226 [best: 1000] 7146825580544
4, 28, 46, 65, 83, 91, 106, 116, 132, 153, 157, 206 [best: 1000] 7151120547840
4, 28, 46, 65, 83, 92, 102, 129, 141, 152, 195, 217 [best: 1000] 7155415515136
4, 28, 46, 65, 83, 93, 99, 132, 139, 163, 212, 226 [best: 1000] 7159710482432
4, 28, 46, 65, 83, 94, 100, 114, 153, 164, 171, 220 [best: 1000] 7164005449728
4, 28, 46, 65, 83, 96, 99, 113, 114, 148, 213, 217 [best: 1000] 7168300417024
4, 28, 46, 65, 83, 96, 115, 144, 168, 172, 194, 230 [best: 1000] 7172595384320
4, 28, 46, 65, 83, 97, 111, 137, 139, 155, 178, 268 [best: 1000] 7176890351616
4, 28, 46, 65, 83, 100, 101, 137, 156, 172, 195, 215 [best: 1000] 7181185318912
4, 28, 46, 65, 84, 85, 93, 128, 141, 148, 208, 220 [best: 1000] 7185480286208
4, 28, 46, 65, 84, 86, 91, 102, 108, 158, 184, 219 [best: 1000] 7189775253504
4, 28, 46, 65, 84, 86, 105, 116, 120, 141, 165, 227 [best: 1000] 7194070220800
4, 28, 46, 65, 84, 87, 92, 104, 146, 175, 203 [best: 1000] 7198365188096
4, 28, 46, 65, 84, 87, 111, 123, 133, 190, 215, 241 [best: 1000] 7202660155392
4, 28, 46, 65, 84, 88, 99, 132, 140, 163, 179, 209 [best: 1000] 7206955122688
4, 28, 46, 65, 84, 89, 93, 100, 149, 171, 199, 244 [best: 1000] 7211250089984
4, 28, 46, 65, 84, 89, 106, 143, 155, 159, 181, 201 [best: 1000] 7215545057280
4, 28, 46, 65, 84, 90, 97, 111, 117, 126, 165, 186 [best: 1000] 7219840024576
4, 28, 46, 65, 84, 91, 96, 108, 114, 127, 180, 206 [best: 1000] 7224134991872
4, 28, 46, 65, 84, 91, 116, 126, 158, 166, 212, 231 [best: 1000] 7228429959168
4, 28, 46, 65, 84, 92, 113, 117, 128, 136, 166, 193 [best: 1000] 7232724926464
4, 28, 46, 65, 84, 93, 106, 142, 147, 170, 181, 209 [best: 1000] 7237019893760
4, 28, 46, 65, 84, 94, 97, 115, 149, 159, 180 [best: 1000] 7241314861056
4, 28, 46, 65, 84, 94, 119, 124, 136, 152, 176, 227 [best: 1000] 7245609828352
4, 28, 46, 65, 84, 96, 109, 136, 155, 171, 187, 221 [best: 1000] 7249904795648
4, 28, 46, 65, 84, 97, 106, 145, 165, 188, 199, 239 [best: 1000] 7254199762944
4, 28, 46, 65, 84, 98, 103, 121, 127, 140, 144, 175 [best: 1000] 7258494730240
4, 28, 46, 65, 84, 100, 105, 115, 138, 155, 175, 211 [best: 1000] 7262789697536
4, 28, 46, 65, 84, 101, 108, 113, 154, 162, 166, 179 [best: 1000] 7267084664832
4, 28, 46, 65, 84, 102, 117, 121, 132, 135, 157, 222 [best: 1000] 7271379632128
4, 28, 46, 65, 85, 86, 87, 100, 149, 179, 187, 197 [best: 1000] 7275674599424
4, 28, 46, 65, 85, 86, 99, 115, 138, 179, 208, 217 [best: 1000] 7279969566720
4, 28, 46, 65, 85, 86, 120, 140, 148, 165, 180, 230 [best: 1000] 7284264534016
4, 28, 46, 65, 85, 87, 102, 123, 126, 146, 155, 172 [best: 1000] 7288559501312
4, 28, 46, 65, 85, 88, 93, 108, 143, 166, 206, 273 [best: 1000] 7292854468608
4, 28, 46, 65, 85, 88, 118, 133, 146, 148, 189, 231 [best: 1000] 7297149435904
4, 28, 46, 65, 85, 89, 102, 107, 153, 196, 210, 244 [best: 1000] 7301444403200
4, 28, 46, 65, 85, 90, 91, 106, 113, 126, 177, 186 [best: 1000] 7305739370496
4, 28, 46, 65, 85, 91, 92, 96, 123, 144, 145, 202 [best: 1000] 7310034337792
4, 28, 46, 65, 85, 91, 109, 124, 127, 208, 229, 255 [best: 1000] 7314329305088
4, 28, 46, 65, 85, 92, 105, 132, 144, 165, 171 [best: 1000] 7318624272384
4, 28, 46, 65, 85, 93, 102, 129, 132, 153, 154, 193 [best: 1000] 7322919239680
4, 28, 46, 65, 85, 93, 120, 134, 136, 175, 176, 244 [best: 1000] 7327214206976
4, 28, 46, 65, 85, 94, 110, 124, 157, 182, 221, 242 [best: 1000] 7331509174272
4, 28, 46, 65, 85, 96, 105, 112, 117, 135, 189, 227 [best: 1000] 7335804141568
4, 28, 46, 65, 85, 97, 104, 109, 134, 198, 228, 258 [best: 1000] 7340099108864
4, 28, 46, 65, 85, 97, 122, 124, 128, 158, 219, 257 [best: 1000] 7344394076160
4, 28, 46, 65, 85, 100, 103, 105, 119, 183, 213, 230 [best: 1000] 7348689043456
4, 28, 46, 65, 85, 101, 102, 132, 157, 185, 216, 255 [best: 1000] 7352984010752
4, 28, 46, 65, 85, 102, 112, 133, 142, 169, 205, 259 [best: 1000] 7357278978048
4, 28, 46, 65, 85, 103, 118, 137, 140, 150, 196, 236 [best: 1000] 7361573945344
4, 28, 46, 65, 86, 87, 95, 129, 135, 137, 142, 251 [best: 1000] 7365868912640
4, 28, 46, 65, 86, 87, 106, 127, 141, 183, 200, 215 [best: 1000] 7370163879936
4, 28, 46, 65, 86, 88, 91, 113, 123, 148, 168, 199 [best: 1000] 7374458847232
4, 28, 46, 65, 86, 88, 99, 101, 115, 117, 243, 277 [best: 1000] 7378753814528
4, 28, 46, 65, 86, 88, 113, 119, 136, 174, 232, 269 [best: 1000] 7383048781824
4, 28, 46, 65, 86, 89, 94, 99, 118, 167, 200, 275 [best: 1000] 7387343749120
4, 28, 46, 65, 86, 89, 100, 130, 146, 161, 183, 211 [best: 1000] 7391638716416
4, 28, 46, 65, 86, 89, 114, 134, 166, 181, 208, 286 [best: 1000] 7395933683712
4, 28, 46, 65, 86, 90, 96, 107, 111, 134, 160, 206 [best: 1000] 7400228651008
4, 28, 46, 65, 86, 90, 104, 105, 147, 154, 176, 232 [best: 1000] 7404523618304
4, 28, 46, 65, 86, 90, 122, 128, 138, 173, 183, 274 [best: 1000] 7408818585600
4, 28, 46, 65, 86, 91, 97, 113, 117, 124, 136, 155 [best: 1000] 7413113552896
4, 28, 46, 65, 86, 91, 106, 118, 124, 128, 129, 209 [best: 1000] 7417408520192
4, 28, 46, 65, 86, 91, 127, 129, 147, 179, 228, 258 [best: 1000] 7421703487488
4, 28, 46, 65, 86, 92, 103, 110, 111, 181, 192, 213 [best: 1000] 7425998454784
4, 28, 46, 65, 86, 93, 97, 124, 142, 176, 230, 252 [best: 1000] 7430293422080
4, 28, 46, 65, 86, 93, 106, 147, 159, 170, 187, 266 [best: 1000] 7434588389376
4, 28, 46, 65, 86, 93, 128, 145, 162, 183, 210, 213 [best: 1000] 7438883356672
4, 28, 46, 65, 86, 94, 100, 146, 163, 180, 194, 206 [best: 1000] 7443178323968
4, 28, 46, 65, 86, 94, 117, 119, 122, 188, 215, 263 [best: 1000] 7447473291264
4, 28, 46, 65, 86, 95, 98, 120, 156, 167, 191, 201 [best: 1000] 7451768258560
4, 28, 46, 65, 86, 95, 109, 114, 157, 199, 225, 240 [best: 1000] 7456063225856
4, 28, 46, 65, 86, 95, 126, 132, 143, 151, 156, 169 [best: 1000] 7460358193152
4, 28, 46, 65, 86, 96, 102, 116, 125, 173, 226, 229 [best: 1000] 7464653160448
4, 28, 46, 65, 86, 96, 116, 140, 167, 176, 206, 267 [best: 1000] 7468948127744
4, 28, 46, 65, 86, 97, 99, 114, 123, 143, 180, 270 [best: 1000] 7473243095040
4, 28, 46, 65, 86, 97, 111, 142, 159, 163, 190, 198 [best: 1000] 7477538062336
4, 28, 46, 65, 86, 98, 100, 149, 150, 168, 209, 270 [best: 1000] 7481833029632
4, 28, 46, 65, 86, 98, 108, 110, 131, 190, 245, 255 [best: 1000] 7486127996928
4, 28, 46, 65, 86, 98, 114, 153, 180, 188, 190, 254 [best: 1000] 7490422964224
4, 28, 46, 65, 86, 98, 123, 147, 148, 219, 242, 320 [best: 1000] 7494717931520
4, 28, 46, 65, 86, 99, 101, 141, 146, 182, 206, 221 [best: 1000] 7499012898816
4, 28, 46, 65, 86, 99, 109, 115, 144, 210, 242, 270 [best: 1000] 7503307866112
4, 28, 46, 65, 86, 99, 116, 124, 165, 186, 218, 270 [best: 1000] 7507602833408
4, 28, 46, 65, 86, 99, 125, 157, 173, 191, 198, 272 [best: 1000] 7511897800704
4, 28, 46, 65, 86, 100, 109, 129, 142, 144, 201, 247 [best: 1000] 7516192768000
4, 28, 46, 65, 86, 101, 108, 113, 116, 137, 201, 262 [best: 1000] 7520487735296
4, 28, 46, 65, 86, 101, 124, 126, 141, 149, 192, 234 [best: 1000] 7524782702592
4, 28, 46, 65, 86, 102, 111, 129, 143, 212, 222, 252 [best: 1000] 7529077669888
4, 28, 46, 65, 86, 103, 105, 115, 129, 152, 222, 251 [best: 1000] 7533372637184
4, 28, 46, 65, 86, 104, 110, 133, 136, 178, 186, 242 [best: 1000] 7537667604480
4, 28, 46, 65, 86, 105, 116, 139, 157, 178, 182, 266 [best: 1000] 7541962571776
4, 28, 46, 65, 86, 106, 115, 132, 151, 175, 186, 278 [best: 1000] 7546257539072
4, 28, 46, 65, 87, 88, 90, 128, 152, 155, 213, 239 [best: 1000] 7550552506368
4, 28, 46, 65, 87, 88, 103, 112, 148, 162, 206, 210 [best: 1000] 7554847473664
4, 28, 46, 65, 87, 89, 93, 113, 158, 168, 177, 194 [best: 1000] 7559142440960
4, 28, 46, 65, 87, 89, 105, 123, 155, 158, 199, 269 [best: 1000] 7563437408256
4, 28, 46, 65, 87, 90, 96, 103, 110, 125, 181, 199 [best: 1000] 7567732375552
4, 28, 46, 65, 87, 91, 93, 121, 122, 141, 188, 197 [best: 1000] 7572027342848
4, 28, 46, 65, 87, 91, 105, 128, 158, 191, 213, 226 [best: 1000] 7576322310144
4, 28, 46, 65, 87, 92, 96, 135, 152, 159, 162, 221 [best: 1000] 7580617277440
4, 28, 46, 65, 87, 92, 114, 131, 134, 189, 208, 260 [best: 1000] 7584912244736
4, 28, 46, 65, 87, 93, 103, 129, 158, 165, 185, 277 [best: 1000] 7589207212032
4, 28, 46, 65, 87, 94, 100, 134, 141, 145, 190, 236 [best: 1000] 7593502179328
4, 28, 46, 65, 87, 94, 122, 131, 167, 174, 178, 227 [best: 1000] 7597797146624
4, 28, 46, 65, 87, 95, 104, 116, 140, 189, 198, 201 [best: 1000] 7602092113920
4, 28, 46, 65, 87, 95, 118, 130, 132, 142, 186, 197 [best: 1000] 7606387081216
4, 28, 46, 65, 87, 96, 99, 137, 140, 142, 187, 223 [best: 1000] 7610682048512
4, 28, 46, 65, 87, 96, 112, 132, 153, 159, 193, 255 [best: 1000] 7614977015808
4, 28, 46, 65, 87, 96, 133, 148, 186, 200, 257, 283 [best: 1000] 7619271983104
4, 28, 46, 65, 87, 97, 109, 116, 129, 159, 167, 253 [best: 1000] 7623566950400
4, 28, 46, 65, 87, 98, 100, 129, 148, 182, 193, 206 [best: 1000] 7627861917696
4, 28, 46, 65, 87, 98, 111, 113, 140, 153, 198, 253 [best: 1000] 7632156884992
4, 28, 46, 65, 87, 98, 122, 137, 155, 202, 203, 215 [best: 1000] 7636451852288
4, 28, 46, 65, 87, 99, 108, 144, 155, 175, 202, 210 [best: 1000] 7640746819584
4, 28, 46, 65, 87, 99, 123, 148, 160, 175, 221, 225 [best: 1000] 7645041786880
4, 28, 46, 65, 87, 100, 112, 115, 118, 123, 252, 287 [best: 1000] 7649336754176
4, 28, 46, 65, 87, 101, 102, 117, 120, 154, 183, 213 [best: 1000] 7653631721472
4, 28, 46, 65, 87, 101, 123, 125, 130, 184, 208, 256 [best: 1000] 7657926688768
4, 28, 46, 65, 87, 102, 116, 131, 152, 196, 211, 242 [best: 1000] 7662221656064
4, 28, 46, 65, 87, 103, 107, 112, 127, 148, 188, 191 [best: 1000] 7666516623360
4, 28, 46, 65, 87, 103, 124, 139, 154, 177, 186, 204 [best: 1000] 7670811590656
4, 28, 46, 65, 87, 104, 118, 124, 169, 186, 219, 256 [best: 1000] 7675106557952
4, 28, 46, 65, 87, 105, 118, 120, 178, 196, 203, 242 [best: 1000] 7679401525248
4, 28, 46, 65, 87, 106, 123, 134, 147, 159, 205, 206 [best: 1000] 7683696492544
4, 28, 46, 65, 88, 89, 95, 98, 137, 154, 172, 228 [best: 1000] 7687991459840
4, 28, 46, 65, 88, 89, 110, 127, 139, 158, 180, 232 [best: 1000] 7692286427136
4, 28, 46, 65, 88, 90, 99, 128, 130, 146, 184, 244 [best: 1000] 7696581394432
4, 28, 46, 65, 88, 91, 95, 116, 118, 123, 160, 184 [best: 1000] 7700876361728
4, 28, 46, 65, 88, 92, 94, 96, 101, 123, 157, 249 [best: 1000] 7705171329024
4, 28, 46, 65, 88, 92, 115, 117, 127, 133, 150, 186 [best: 1000] 7709466296320
4, 28, 46, 65, 88, 93, 101, 111, 115, 148, 210, 251 [best: 1000] 7713761263616
4, 28, 46, 65, 88, 93, 115, 116, 153, 178, 219, 226 [best: 1000] 7718056230912
4, 28, 46, 65, 88, 94, 97, 118, 138, 141, 147, 188, 237 [best: 1000] 7722351198208
4, 28, 46, 65, 88, 94, 111, 117, 163, 204, 223, 230 [best: 1000] 7726646165504
4, 28, 46, 65, 88, 95, 96, 109, 112, 182, 215 [best: 1000] 7730941132800
4, 28, 46, 65, 88, 95, 111, 122, 128, 139, 161, 185 [best: 1000] 7735236100096
4, 28, 46, 65, 88, 96, 102, 103, 128, 166, 167, 234 [best: 1000] 7739531067392
4, 28, 46, 65, 88, 96, 111, 142, 144, 155, 159, 268 [best: 1000] 7743826034688
4, 28, 46, 65, 88, 96, 128, 139, 151, 171, 185, 238 [best: 1000] 7748121001984
4, 28, 46, 65, 88, 97, 111, 113, 117, 170, 178, 196 [best: 1000] 7752415969280
4, 28, 46, 65, 88, 98, 102, 104, 138, 162, 174, 230 [best: 1000] 7756710936576
4, 28, 46, 65, 88, 98, 116, 125, 138, 140, 174, 204 [best: 1000] 7761005903872
4, 28, 46, 65, 88, 99, 111, 112, 129, 197, 206, 240 [best: 1000] 7765300871168
4, 28, 46, 65, 88, 100, 115, 120, 146, 178, 182, 254 [best: 1000] 7769595838464
4, 28, 46, 65, 88, 101, 113, 141, 189, 212, 244, 247 [best: 1000] 7773890805760
4, 28, 46, 65, 88, 102, 107, 126, 133, 164, 196, 226 [best: 1000] 7778185773056
4, 28, 46, 65, 88, 102, 128, 141, 152, 170, 190, 194 [best: 1000] 7782480740352
4, 28, 46, 65, 88, 104, 107, 108, 150, 156, 198, 209 [best: 1000] 7786775707648
4, 28, 46, 65, 89, 90, 93, 117, 155, 156, 216, 237 [best: 1000] 7791070674944
4, 28, 46, 65, 89, 90, 104, 118, 126, 173, 203, 204 [best: 1000] 7795365642240
4, 28, 46, 65, 89, 91, 93, 99, 133, 197, 218, 258 [best: 1000] 7799660609536
4, 28, 46, 65, 89, 91, 99, 115, 160, 174, 208, 221 [best: 1000] 7803955576832
4, 28, 46, 65, 89, 91, 110, 117, 129, 153, 199, 229 [best: 1000] 7808250544128
4, 28, 46, 65, 89, 91, 127, 129, 140, 221, 236, 286 [best: 1000] 7812545511424
4, 28, 46, 65, 89, 92, 97, 112, 157, 173, 196, 224 [best: 1000] 7816840478720
4, 28, 46, 65, 89, 92, 104, 121, 135, 171, 210, 229 [best: 1000] 7821135446016
4, 28, 46, 65, 89, 92, 118, 120, 140, 181, 200, 264 [best: 1000] 7825430413312
4, 28, 46, 65, 89, 93, 96, 121, 124, 126, 138, 144 [best: 1000] 7829725380608
4, 28, 46, 65, 89, 93, 103, 112, 130, 136, 222, 255 [best: 1000] 7834020347904
4, 28, 46, 65, 89, 93, 116, 140, 145, 194, 210, 264 [best: 1000] 7838315315200
4, 28, 46, 65, 89, 94, 96, 116, 127, 202, 245 [best: 1000] 7842610282496
4, 28, 46, 65, 89, 94, 103, 108, 129, 132, 170, 189 [best: 1000] 7846905249792
4, 28, 46, 65, 89, 94, 116, 137, 170, 183, 194, 225 [best: 1000] 7851200217088
4, 28, 46, 65, 89, 95, 97, 141, 144, 162, 191, 245 [best: 1000] 7855495184384
4, 28, 46, 65, 89, 96, 98, 104, 133, 134, 147, 171 [best: 1000] 7859790151680
4, 28, 46, 65, 89, 96, 105, 139, 166, 167, 183, 211 [best: 1000] 7864085118976
4, 28, 46, 65, 89, 96, 118, 158, 180, 212, 225, 239 [best: 1000] 7868380086272
4, 28, 46, 65, 89, 97, 99, 116, 155, 192, 241, 268 [best: 1000] 7872675053568
4, 28, 46, 65, 89, 97, 110, 116, 141, 148, 159, 231 [best: 1000] 7876970020864
4, 28, 46, 65, 89, 97, 124, 127, 146, 169, 209, 231 [best: 1000] 7881264988160
4, 28, 46, 65, 89, 98, 102, 107, 111, 124, 184, 196 [best: 1000] 7885559955456
4, 28, 46, 65, 89, 98, 110, 141, 144, 189, 198, 276 [best: 1000] 7889854922752
4, 28, 46, 65, 89, 98, 124, 148, 161, 186, 192, 207 [best: 1000] 7894149890048
4, 28, 46, 65, 89, 99, 111, 120, 147, 173, 191, 236 [best: 1000] 7898444857344
4, 28, 46, 65, 89, 100, 105, 135, 141, 162, 219, 229 [best: 1000] 7902739824640
4, 28, 46, 65, 89, 100, 117, 119, 148, 169, 193, 195 [best: 1000] 7907034791936
4, 28, 46, 65, 89, 101, 104, 107, 143, 148, 217, 225 [best: 1000] 7911329759232
4, 28, 46, 65, 89, 101, 115, 136, 148, 186, 227, 235 [best: 1000] 7915624726528
4, 28, 46, 65, 89, 102, 103, 132, 166, 183, 225, 290 [best: 1000] 7919919693824
4, 28, 46, 65, 89, 102, 119, 127, 134, 193, 210, 236 [best: 1000] 7924214661120
4, 28, 46, 65, 89, 103, 113, 124, 135, 140, 221, 244 [best: 1000] 7928509628416
4, 28, 46, 65, 89, 104, 110, 125, 126, 151, 167, 210 [best: 1000] 7932804595712
4, 28, 46, 65, 89, 105, 109, 134, 139, 166, 191, 251 [best: 1000] 7937099563008
total chains: 7939622011813
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 19 19 19 19
9: 24 413 17 11 22
10: 689 13423 19 5 31
11: 23901 522649 21 4 36
12: 965690 23003958 23 2 41
13: 44219445 1134208685 25 1 46
14: 2252690810 61933403655 27 0 51
15: 126066789212 3704034919809 29 0 56
16: 2238519152 69982252254 31 0 61
17: 4906391 175267797 35 4 63
18: 2937 117063 39 12 63
19: 0 0 0 0 0
20: 0 0 0 0 0
21: 0 0 0 0 0
real 878m51.453s
user 853m21.288s
sys 0m43.558s
stderr end
time="2025-05-03T16:27:58-04:00" level=warning msg="The cgroupv2 manager is set to systemd but there is no systemd user session available"
time="2025-05-03T16:27:58-04:00" level=warning msg="For using systemd, you may need to log in using a user session"
time="2025-05-03T16:27:58-04:00" level=warning msg="Alternatively, you can enable lingering with: `loginctl enable-linger 128` (possibly as root)"
time="2025-05-03T16:27:58-04:00" level=warning msg="Falling back to --cgroup-manager=cgroupfs"
time="2025-05-03T16:27:58-04:00" level=warning msg="The cgroupv2 manager is set to systemd but there is no systemd user session available"
time="2025-05-03T16:27:58-04:00" level=warning msg="For using systemd, you may need to log in using a user session"
time="2025-05-03T16:27:58-04:00" level=warning msg="Alternatively, you can enable lingering with: `loginctl enable-linger 128` (possibly as root)"
time="2025-05-03T16:27:58-04:00" level=warning msg="Falling back to --cgroup-manager=cgroupfs"
time="2025-05-03T16:27:58-04:00" level=warning msg="The cgroupv2 manager is set to systemd but there is no systemd user session available"
time="2025-05-03T16:27:58-04:00" level=warning msg="For using systemd, you may need to log in using a user session"
time="2025-05-03T16:27:58-04:00" level=warning msg="Alternatively, you can enable lingering with: `loginctl enable-linger 128` (possibly as root)"
time="2025-05-03T16:27:58-04:00" level=warning msg="Falling back to --cgroup-manager=cgroupfs"
time="2025-05-03T16:27:58-04:00" level=warning msg="The cgroupv2 manager is set to systemd but there is no systemd user session available"
time="2025-05-03T16:27:58-04:00" level=warning msg="For using systemd, you may need to log in using a user session"
time="2025-05-03T16:27:58-04:00" level=warning msg="Alternatively, you can enable lingering with: `loginctl enable-linger 128` (possibly as root)"
time="2025-05-03T16:27:58-04:00" level=warning msg="Falling back to --cgroup-manager=cgroupfs"
time="2025-05-03T16:27:58-04:00" level=warning msg="The cgroupv2 manager is set to systemd but there is no systemd user session available"
time="2025-05-03T16:27:58-04:00" level=warning msg="For using systemd, you may need to log in using a user session"
time="2025-05-03T16:27:58-04:00" level=warning msg="Alternatively, you can enable lingering with: `loginctl enable-linger 128` (possibly as root)"
time="2025-05-03T16:27:58-04:00" level=warning msg="Falling back to --cgroup-manager=cgroupfs"
time="2025-05-03T16:27:58-04:00" level=warning msg="The cgroupv2 manager is set to systemd but there is no systemd user session available"
time="2025-05-03T16:27:58-04:00" level=warning msg="For using systemd, you may need to log in using a user session"
time="2025-05-03T16:27:58-04:00" level=warning msg="Alternatively, you can enable lingering with: `loginctl enable-linger 128` (possibly as root)"
time="2025-05-03T16:27:58-04:00" level=warning msg="Falling back to --cgroup-manager=cgroupfs"
2025-05-03 16:27:58 (3485151): called boinc_finish(0)
</stderr_txt>
]]>
