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