Task 15321
| Name | batch_89__job_job-000226_1 |
| Workunit | 12154 |
| Created | 30 Apr 2025, 9:48:44 UTC |
| Sent | 1 May 2025, 3:35:44 UTC |
| Report deadline | 8 May 2025, 3:35:44 UTC |
| Received | 3 May 2025, 19:05:28 UTC |
| Server state | Over |
| Outcome | Success |
| Client state | Done |
| Exit status | 0 (0x00000000) |
| Computer ID | 32943 |
| Run time | 2 days 15 hours 29 min 44 sec |
| CPU time | 116 days 9 hours 48 min 16 sec |
| Validate state | Valid |
| Credit | 39.19 |
| Device peak FLOPS | 1.00 GFLOPS |
| Application version | Universal Docker app v1.08 (docker) x86_64-pc-linux-gnu |
| Peak working set size | 40.22 MB |
| Peak swap size | 2.27 GB |
| Peak disk usage | 5.00 MB |
Stderr output
<core_client_version>8.2.2</core_client_version>
<![CDATA[
<stderr_txt>
38, 181, 195 [best: 1000] 661424963584
15, 27, 38, 51, 54, 63, 65, 86, 103, 116, 144, 163 [best: 1000] 665719930880
15, 27, 38, 51, 54, 63, 73, 89, 99, 181, 205, 218 [best: 1000] 670014898176
15, 27, 38, 51, 54, 63, 87, 125, 129, 157, 167, 216 [best: 1000] 674309865472
15, 27, 38, 51, 54, 64, 68, 89, 98, 117, 129, 196 [best: 1000] 678604832768
15, 27, 38, 51, 54, 64, 85, 100, 140, 161, 220, 239 [best: 1000] 682899800064
15, 27, 38, 51, 54, 65, 71, 87, 116, 121, 123, 218 [best: 1000] 687194767360
15, 27, 38, 51, 54, 65, 95, 101, 105, 110, 147, 181 [best: 1000] 691489734656
15, 27, 38, 51, 54, 66, 82, 95, 109, 134, 142, 147 [best: 1000] 695784701952
15, 27, 38, 51, 54, 67, 74, 93, 99, 102, 107, 120 [best: 1000] 700079669248
15, 27, 38, 51, 54, 68, 69, 107, 136, 180, 184, 225 [best: 1000] 704374636544
15, 27, 38, 51, 54, 68, 85, 93, 122, 153, 166, 224 [best: 1000] 708669603840
15, 27, 38, 51, 54, 69, 71, 76, 88, 110, 127, 190 [best: 1000] 712964571136
15, 27, 38, 51, 54, 69, 80, 88, 138, 151, 158, 174 [best: 1000] 717259538432
15, 27, 38, 51, 54, 69, 92, 104, 127, 188, 191, 206 [best: 1000] 721554505728
15, 27, 38, 51, 54, 70, 71, 95, 107, 117, 130, 150 [best: 1000] 725849473024
15, 27, 38, 51, 54, 70, 81, 98, 123, 161, 194, 220 [best: 1000] 730144440320
15, 27, 38, 51, 54, 70, 91, 119, 124, 126, 158, 178 [best: 1000] 734439407616
15, 27, 38, 51, 54, 70, 109, 131, 149, 155, 188, 226 [best: 1000] 738734374912
15, 27, 38, 51, 54, 71, 80, 98, 136, 146, 148, 149 [best: 1000] 743029342208
15, 27, 38, 51, 54, 71, 92, 108, 133, 136, 152, 186 [best: 1000] 747324309504
15, 27, 38, 51, 54, 72, 73, 88, 102, 131, 172, 174 [best: 1000] 751619276800
15, 27, 38, 51, 54, 72, 92, 111, 116, 135, 175 [best: 1000] 755914244096
15, 27, 38, 51, 54, 73, 83, 125, 126, 151, 174, 199 [best: 1000] 760209211392
15, 27, 38, 51, 54, 73, 106, 112, 126, 133, 217, 222 [best: 1000] 764504178688
15, 27, 38, 51, 54, 75, 85, 94, 136, 149, 163, 205 [best: 1000] 768799145984
15, 27, 38, 51, 54, 76, 91, 110, 111, 124, 141, 160 [best: 1000] 773094113280
15, 27, 38, 51, 54, 77, 87, 107, 147, 173, 194, 239, 254 [best: 1000] 777389080576
15, 27, 38, 51, 54, 78, 82, 85, 86, 108, 150, 156 [best: 1000] 781684047872
15, 27, 38, 51, 54, 78, 108, 134, 153, 168, 177, 216 [best: 1000] 785979015168
15, 27, 38, 51, 54, 80, 83, 102, 103, 104, 152, 205 [best: 1000] 790273982464
15, 27, 38, 51, 54, 82, 86, 101, 128, 184, 200, 229 [best: 1000] 794568949760
15, 27, 38, 51, 54, 83, 94, 95, 97, 132, 178, 198 [best: 1000] 798863917056
15, 27, 38, 51, 54, 84, 90, 126, 132, 146, 168, 205 [best: 1000] 803158884352
15, 27, 38, 51, 54, 85, 90, 93, 107, 122, 138, 139 [best: 1000] 807453851648
15, 27, 38, 51, 54, 85, 107, 124, 143, 155, 204, 214 [best: 1000] 811748818944
15, 27, 38, 51, 54, 86, 100, 114, 134, 157, 165, 244 [best: 1000] 816043786240
15, 27, 38, 51, 54, 87, 97, 133, 139, 159, 168, 212 [best: 1000] 820338753536
15, 27, 38, 51, 54, 88, 98, 117, 136, 149, 150, 170 [best: 1000] 824633720832
15, 27, 38, 51, 54, 90, 103, 106, 107, 166, 181, 198 [best: 1000] 828928688128
15, 27, 38, 51, 54, 93, 100, 101, 135, 162, 207, 238 [best: 1000] 833223655424
15, 27, 38, 51, 54, 94, 115, 122, 134, 149, 190, 267 [best: 1000] 837518622720
15, 27, 38, 51, 55, 56, 64, 71, 131, 139, 177, 182 [best: 1000] 841813590016
15, 27, 38, 51, 55, 56, 97, 122, 125, 145, 148, 152 [best: 1000] 846108557312
15, 27, 38, 51, 55, 57, 75, 89, 107, 114, 134, 135 [best: 1000] 850403524608
15, 27, 38, 51, 55, 58, 63, 88, 90, 113, 128, 171 [best: 1000] 854698491904
15, 27, 38, 51, 55, 58, 78, 100, 133, 149, 153, 182 [best: 1000] 858993459200
15, 27, 38, 51, 55, 59, 61, 86, 103, 165, 183, 198 [best: 1000] 863288426496
15, 27, 38, 51, 55, 59, 69, 70, 96, 100, 156, 208 [best: 1000] 867583393792
15, 27, 38, 51, 55, 59, 77, 86, 110, 160, 170, 176, 187 [best: 1000] 871878361088
15, 27, 38, 51, 55, 59, 89, 99, 111, 177, 191, 218, 230 [best: 1000] 876173328384
15, 27, 38, 51, 55, 59, 107, 125, 132, 136, 163, 177 [best: 1000] 880468295680
15, 27, 38, 51, 55, 60, 70, 77, 123, 169, 181, 195 [best: 1000] 884763262976
15, 27, 38, 51, 55, 60, 91, 110, 131, 164, 168, 219 [best: 1000] 889058230272
15, 27, 38, 51, 55, 61, 76, 85, 87, 148, 167, 183 [best: 1000] 893353197568
15, 27, 38, 51, 55, 62, 70, 101, 113, 151, 176, 182 [best: 1000] 897648164864
15, 27, 38, 51, 55, 63, 64, 91, 124, 147, 185, 199 [best: 1000] 901943132160
15, 27, 38, 51, 55, 63, 77, 84, 119, 150, 153, 192 [best: 1000] 906238099456
15, 27, 38, 51, 55, 63, 108, 113, 146, 156, 172, 213 [best: 1000] 910533066752
15, 27, 38, 51, 55, 64, 95, 100, 120, 137, 157, 170 [best: 1000] 914828034048
15, 27, 38, 51, 55, 65, 96, 104, 105, 119, 174, 179 [best: 1000] 919123001344
15, 27, 38, 51, 55, 67, 69, 93, 109, 114, 136, 187 [best: 1000] 923417968640
15, 27, 38, 51, 55, 68, 81, 86, 107, 108, 115, 152 [best: 1000] 927712935936
15, 27, 38, 51, 55, 69, 77, 83, 104, 148, 194, 237, 239 [best: 1000] 932007903232
15, 27, 38, 51, 55, 70, 71, 90, 152, 175, 193, 237 [best: 1000] 936302870528
15, 27, 38, 51, 55, 70, 87, 93, 113, 125, 182, 207 [best: 1000] 940597837824
15, 27, 38, 51, 55, 71, 72, 75, 81, 145, 174, 188 [best: 1000] 944892805120
15, 27, 38, 51, 55, 72, 74, 83, 91, 118, 145, 220 [best: 1000] 949187772416
15, 27, 38, 51, 55, 73, 84, 94, 122, 125, 135, 161 [best: 1000] 953482739712
15, 27, 38, 51, 55, 76, 84, 93, 95, 114, 135, 215 [best: 1000] 957777707008
15, 27, 38, 51, 55, 78, 82, 91, 114, 156, 167, 200 [best: 1000] 962072674304
15, 27, 38, 51, 55, 81, 92, 104, 106, 120, 152, 188 [best: 1000] 966367641600
15, 27, 38, 51, 55, 83, 90, 93, 163, 170, 184, 196 [best: 1000] 970662608896
15, 27, 38, 51, 55, 85, 93, 100, 122, 132, 182, 208 [best: 1000] 974957576192
15, 27, 38, 51, 56, 57, 58, 86, 108, 160, 191, 210 [best: 1000] 979252543488
15, 27, 38, 51, 56, 57, 75, 88, 95, 139, 151, 184 [best: 1000] 983547510784
15, 27, 38, 51, 56, 58, 61, 99, 128, 138, 143, 202 [best: 1000] 987842478080
15, 27, 38, 51, 56, 58, 70, 103, 113, 130, 139, 195 [best: 1000] 992137445376
15, 27, 38, 51, 56, 58, 85, 122, 143, 168, 209, 240 [best: 1000] 996432412672
15, 27, 38, 51, 56, 59, 60, 89, 100, 121, 164, 245 [best: 1000] 1000727379968
15, 27, 38, 51, 56, 59, 68, 95, 110, 148, 190, 215, 224 [best: 1000] 1005022347264
15, 27, 38, 51, 56, 59, 77, 86, 88, 146, 182, 192 [best: 1000] 1009317314560
15, 27, 38, 51, 56, 59, 90, 116, 118, 125, 129, 205 [best: 1000] 1013612281856
15, 27, 38, 51, 56, 60, 61, 77, 128, 131, 186, 187 [best: 1000] 1017907249152
15, 27, 38, 51, 56, 60, 71, 74, 105, 146, 167, 209 [best: 1000] 1022202216448
15, 27, 38, 51, 56, 60, 89, 108, 132, 139, 165, 187 [best: 1000] 1026497183744
15, 27, 38, 51, 56, 61, 70, 116, 127, 160, 174, 194 [best: 1000] 1030792151040
15, 27, 38, 51, 56, 62, 68, 71, 97, 101, 185, 188 [best: 1000] 1035087118336
15, 27, 38, 51, 56, 62, 87, 99, 131, 141, 150, 173, 205 [best: 1000] 1039382085632
15, 27, 38, 51, 56, 63, 70, 81, 106, 124, 192, 221 [best: 1000] 1043677052928
15, 27, 38, 51, 56, 63, 87, 94, 130, 146, 196, 220 [best: 1000] 1047972020224
15, 27, 38, 51, 56, 64, 71, 75, 112, 130, 166 [best: 1000] 1052266987520
15, 27, 38, 51, 56, 65, 69, 88, 97, 166, 168, 211 [best: 1000] 1056561954816
15, 27, 38, 51, 56, 65, 98, 112, 153, 159, 164, 181 [best: 1000] 1060856922112
15, 27, 38, 51, 56, 66, 88, 100, 105, 109, 117, 150 [best: 1000] 1065151889408
15, 27, 38, 51, 56, 68, 69, 72, 101, 108, 129, 165 [best: 1000] 1069446856704
15, 27, 38, 51, 56, 69, 70, 77, 132, 140, 172, 192 [best: 1000] 1073741824000
15, 27, 38, 51, 56, 69, 86, 95, 156, 183, 223, 261 [best: 1000] 1078036791296
15, 27, 38, 51, 56, 70, 73, 94, 155, 157, 166, 212 [best: 1000] 1082331758592
15, 27, 38, 51, 56, 70, 88, 128, 133, 151, 165, 217 [best: 1000] 1086626725888
15, 27, 38, 51, 56, 71, 72, 97, 110, 117, 153, 173 [best: 1000] 1090921693184
15, 27, 38, 51, 56, 71, 93, 96, 127, 131, 176, 221 [best: 1000] 1095216660480
15, 27, 38, 51, 56, 72, 88, 97, 107, 155, 165, 200 [best: 1000] 1099511627776
15, 27, 38, 51, 56, 73, 94, 115, 142, 151, 175, 187 [best: 1000] 1103806595072
15, 27, 38, 51, 56, 76, 78, 87, 98, 126, 131, 160 [best: 1000] 1108101562368
15, 27, 38, 51, 56, 77, 93, 104, 105, 138, 164, 221 [best: 1000] 1112396529664
15, 27, 38, 51, 56, 78, 107, 116, 137, 167, 180, 219 [best: 1000] 1116691496960
15, 27, 38, 51, 56, 82, 99, 102, 123, 145, 148, 186 [best: 1000] 1120986464256
15, 27, 38, 51, 56, 84, 100, 121, 135, 144, 160, 246 [best: 1000] 1125281431552
15, 27, 38, 51, 56, 86, 96, 117, 123, 127, 185, 204 [best: 1000] 1129576398848
15, 27, 38, 51, 56, 88, 101, 110, 111, 125, 128, 146 [best: 1000] 1133871366144
15, 27, 38, 51, 56, 92, 102, 116, 135, 164, 178, 232 [best: 1000] 1138166333440
15, 27, 38, 51, 57, 58, 68, 96, 104, 142, 158, 203 [best: 1000] 1142461300736
15, 27, 38, 51, 57, 58, 85, 111, 113, 181, 190, 238 [best: 1000] 1146756268032
15, 27, 38, 51, 57, 59, 63, 75, 76, 106, 112, 168 [best: 1000] 1151051235328
15, 27, 38, 51, 57, 59, 70, 99, 102, 146, 159, 171, 238 [best: 1000] 1155346202624
15, 27, 38, 51, 57, 59, 80, 93, 142, 150, 165, 208 [best: 1000] 1159641169920
15, 27, 38, 51, 57, 59, 93, 108, 137, 179, 199 [best: 1000] 1163936137216
15, 27, 38, 51, 57, 60, 61, 103, 106, 111, 140, 168 [best: 1000] 1168231104512
15, 27, 38, 51, 57, 60, 76, 84, 126, 154, 155, 177 [best: 1000] 1172526071808
15, 27, 38, 51, 57, 61, 66, 96, 137, 143, 158, 171 [best: 1000] 1176821039104
15, 27, 38, 51, 57, 62, 65, 84, 105, 158, 168, 198 [best: 1000] 1181116006400
15, 27, 38, 51, 57, 62, 88, 99, 118, 131, 141, 174 [best: 1000] 1185410973696
15, 27, 38, 51, 57, 63, 72, 109, 133, 145, 158, 178 [best: 1000] 1189705940992
15, 27, 38, 51, 57, 64, 67, 68, 126, 130, 168, 183, 191 [best: 1000] 1194000908288
15, 27, 38, 51, 57, 65, 70, 93, 96, 115, 192, 200 [best: 1000] 1198295875584
15, 27, 38, 51, 57, 66, 71, 83, 106, 126, 175, 194 [best: 1000] 1202590842880
15, 27, 38, 51, 57, 67, 82, 98, 114, 120, 135, 154 [best: 1000] 1206885810176
15, 27, 38, 51, 57, 68, 85, 120, 143, 144, 155, 213 [best: 1000] 1211180777472
15, 27, 38, 51, 57, 69, 79, 81, 98, 102, 164, 183 [best: 1000] 1215475744768
15, 27, 38, 51, 57, 70, 72, 81, 84, 109, 133, 149 [best: 1000] 1219770712064
15, 27, 38, 51, 57, 70, 85, 101, 112, 141, 157, 183 [best: 1000] 1224065679360
15, 27, 38, 51, 57, 70, 101, 133, 139, 148, 155, 176 [best: 1000] 1228360646656
15, 27, 38, 51, 57, 71, 93, 109, 112, 117, 128, 178 [best: 1000] 1232655613952
15, 27, 38, 51, 57, 72, 102, 107, 122, 144, 147, 155 [best: 1000] 1236950581248
15, 27, 38, 51, 57, 75, 83, 94, 128, 130, 152, 182 [best: 1000] 1241245548544
15, 27, 38, 51, 57, 77, 93, 102, 103, 105, 169, 182 [best: 1000] 1245540515840
15, 27, 38, 51, 57, 81, 82, 95, 133, 136, 192, 195 [best: 1000] 1249835483136
15, 27, 38, 51, 57, 83, 84, 91, 103, 156, 183, 188 [best: 1000] 1254130450432
15, 27, 38, 51, 57, 84, 98, 114, 117, 171, 174, 209 [best: 1000] 1258425417728
15, 27, 38, 51, 57, 87, 102, 116, 133, 150, 151, 202 [best: 1000] 1262720385024
15, 27, 38, 51, 58, 59, 62, 95, 137, 147, 204, 242 [best: 1000] 1267015352320
15, 27, 38, 51, 58, 59, 67, 75, 113, 140, 143, 173 [best: 1000] 1271310319616
15, 27, 38, 51, 58, 59, 71, 90, 141, 150, 159, 207 [best: 1000] 1275605286912
15, 27, 38, 51, 58, 59, 77, 83, 106, 125, 180, 196, 201 [best: 1000] 1279900254208
15, 27, 38, 51, 58, 59, 83, 87, 126, 186, 189, 240 [best: 1000] 1284195221504
15, 27, 38, 51, 58, 59, 89, 107, 139, 142, 191, 226 [best: 1000] 1288490188800
15, 27, 38, 51, 58, 59, 98, 126, 132, 144, 165, 226 [best: 1000] 1292785156096
15, 27, 38, 51, 58, 59, 112, 128, 142, 184, 191, 196, 274 [best: 1000] 1297080123392
15, 27, 38, 51, 58, 60, 64, 83, 152, 159, 162, 177 [best: 1000] 1301375090688
15, 27, 38, 51, 58, 60, 70, 105, 112, 164, 184, 223 [best: 1000] 1305670057984
15, 27, 38, 51, 58, 60, 79, 80, 110, 134, 186 [best: 1000] 1309965025280
15, 27, 38, 51, 58, 60, 89, 96, 153, 194, 212, 251 [best: 1000] 1314259992576
15, 27, 38, 51, 58, 60, 110, 116, 120, 126, 151, 176 [best: 1000] 1318554959872
15, 27, 38, 51, 58, 61, 70, 95, 115, 131, 201, 212 [best: 1000] 1322849927168
15, 27, 38, 51, 58, 61, 85, 89, 120, 125, 142, 217 [best: 1000] 1327144894464
15, 27, 38, 51, 58, 62, 64, 78, 104, 155, 172, 175, 197 [best: 1000] 1331439861760
15, 27, 38, 51, 58, 62, 71, 97, 113, 121, 159, 201 [best: 1000] 1335734829056
15, 27, 38, 51, 58, 62, 84, 87, 128, 172, 205, 218 [best: 1000] 1340029796352
15, 27, 38, 51, 58, 62, 104, 126, 132, 151, 172, 176, 196 [best: 1000] 1344324763648
15, 27, 38, 51, 58, 63, 69, 110, 146, 147, 169, 193 [best: 1000] 1348619730944
15, 27, 38, 51, 58, 63, 77, 86, 97, 162, 169, 240, 258 [best: 1000] 1352914698240
15, 27, 38, 51, 58, 63, 86, 137, 172, 190, 191, 257, 273 [best: 1000] 1357209665536
15, 27, 38, 51, 58, 63, 105, 114, 132, 173, 183, 246 [best: 1000] 1361504632832
15, 27, 38, 51, 58, 64, 71, 93, 106, 108, 134, 197 [best: 1000] 1365799600128
15, 27, 38, 51, 58, 64, 86, 109, 141, 145, 172, 208 [best: 1000] 1370094567424
15, 27, 38, 51, 58, 65, 69, 80, 111, 150, 185, 191 [best: 1000] 1374389534720
15, 27, 38, 51, 58, 65, 82, 95, 115, 118, 197, 229 [best: 1000] 1378684502016
15, 27, 38, 51, 58, 66, 67, 87, 111, 133, 137, 162 [best: 1000] 1382979469312
15, 27, 38, 51, 58, 66, 80, 96, 106, 117, 154, 206 [best: 1000] 1387274436608
15, 27, 38, 51, 58, 67, 68, 94, 115, 134, 150, 191 [best: 1000] 1391569403904
15, 27, 38, 51, 58, 67, 86, 130, 141, 168, 191, 197 [best: 1000] 1395864371200
15, 27, 38, 51, 58, 68, 73, 93, 135, 153, 182, 183 [best: 1000] 1400159338496
15, 27, 38, 51, 58, 68, 86, 120, 164, 174, 190, 236 [best: 1000] 1404454305792
15, 27, 38, 51, 58, 68, 114, 115, 140, 141, 143, 197 [best: 1000] 1408749273088
15, 27, 38, 51, 58, 69, 78, 111, 118, 143, 144, 205 [best: 1000] 1413044240384
15, 27, 38, 51, 58, 69, 92, 97, 112, 121, 136, 208 [best: 1000] 1417339207680
15, 27, 38, 51, 58, 70, 72, 89, 126, 172, 186, 219 [best: 1000] 1421634174976
15, 27, 38, 51, 58, 70, 79, 104, 114, 117, 158, 197 [best: 1000] 1425929142272
15, 27, 38, 51, 58, 70, 86, 137, 146, 162, 186, 239 [best: 1000] 1430224109568
15, 27, 38, 51, 58, 70, 95, 117, 133, 144, 208, 237 [best: 1000] 1434519076864
15, 27, 38, 51, 58, 70, 107, 122, 126, 139, 174, 281 [best: 1000] 1438814044160
15, 27, 38, 51, 58, 71, 76, 90, 112, 143, 144, 224 [best: 1000] 1443109011456
15, 27, 38, 51, 58, 71, 86, 114, 126, 169, 211, 251 [best: 1000] 1447403978752
15, 27, 38, 51, 58, 71, 104, 113, 150, 167, 178, 186 [best: 1000] 1451698946048
15, 27, 38, 51, 58, 72, 81, 113, 120, 144, 149, 214 [best: 1000] 1455993913344
15, 27, 38, 51, 58, 72, 95, 103, 111, 115, 169, 177 [best: 1000] 1460288880640
15, 27, 38, 51, 58, 73, 81, 82, 96, 97, 113, 184 [best: 1000] 1464583847936
15, 27, 38, 51, 58, 73, 98, 135, 141, 155, 200, 208 [best: 1000] 1468878815232
15, 27, 38, 51, 58, 75, 76, 100, 113, 118, 126, 177 [best: 1000] 1473173782528
15, 27, 38, 51, 58, 76, 80, 81, 84, 113, 117, 118 [best: 1000] 1477468749824
15, 27, 38, 51, 58, 77, 79, 82, 86, 151, 186, 201, 257 [best: 1000] 1481763717120
15, 27, 38, 51, 58, 77, 87, 106, 121, 149, 185, 247 [best: 1000] 1486058684416
15, 27, 38, 51, 58, 77, 110, 118, 138, 157, 158, 163 [best: 1000] 1490353651712
15, 27, 38, 51, 58, 78, 88, 99, 124, 137, 198, 209 [best: 1000] 1494648619008
15, 27, 38, 51, 58, 79, 84, 101, 104, 118, 149, 151 [best: 1000] 1498943586304
15, 27, 38, 51, 58, 80, 83, 87, 92, 113, 187, 191 [best: 1000] 1503238553600
15, 27, 38, 51, 58, 81, 87, 122, 128, 132, 151, 178 [best: 1000] 1507533520896
15, 27, 38, 51, 58, 82, 89, 92, 127, 130, 182, 192 [best: 1000] 1511828488192
15, 27, 38, 51, 58, 83, 88, 112, 113, 136, 144, 200 [best: 1000] 1516123455488
15, 27, 38, 51, 58, 83, 108, 123, 129, 150, 200, 207 [best: 1000] 1520418422784
15, 27, 38, 51, 58, 85, 86, 96, 107, 126, 180 [best: 1000] 1524713390080
15, 27, 38, 51, 58, 86, 87, 140, 161, 187, 207, 228 [best: 1000] 1529008357376
15, 27, 38, 51, 58, 86, 97, 104, 146, 152, 155, 222 [best: 1000] 1533303324672
15, 27, 38, 51, 58, 86, 106, 153, 187, 195, 211, 255 [best: 1000] 1537598291968
15, 27, 38, 51, 58, 87, 88, 90, 110, 157, 161, 183 [best: 1000] 1541893259264
15, 27, 38, 51, 58, 87, 106, 130, 136, 147, 157, 205 [best: 1000] 1546188226560
15, 27, 38, 51, 58, 89, 90, 116, 125, 139, 181, 205 [best: 1000] 1550483193856
15, 27, 38, 51, 58, 90, 91, 99, 118, 136, 146, 168 [best: 1000] 1554778161152
15, 27, 38, 51, 58, 92, 93, 94, 103, 105, 112, 158 [best: 1000] 1559073128448
15, 27, 38, 51, 58, 94, 100, 101, 136, 138, 150, 154 [best: 1000] 1563368095744
15, 27, 38, 51, 58, 95, 116, 130, 133, 161, 187, 222 [best: 1000] 1567663063040
15, 27, 38, 51, 59, 60, 63, 93, 100, 178, 210, 236 [best: 1000] 1571958030336
15, 27, 38, 51, 59, 60, 68, 98, 99, 128, 174, 215, 217 [best: 1000] 1576252997632
15, 27, 38, 51, 59, 60, 72, 86, 129, 193, 221, 233 [best: 1000] 1580547964928
15, 27, 38, 51, 59, 60, 78, 86, 166, 172, 183, 242, 253 [best: 1000] 1584842932224
15, 27, 38, 51, 59, 60, 83, 129, 142, 187, 216, 229 [best: 1000] 1589137899520
15, 27, 38, 51, 59, 60, 89, 109, 142, 183, 222, 242, 257 [best: 1000] 1593432866816
15, 27, 38, 51, 59, 60, 99, 106, 131, 173, 201, 223, 239 [best: 1000] 1597727834112
15, 27, 38, 51, 59, 61, 62, 80, 104, 140, 199, 214 [best: 1000] 1602022801408
15, 27, 38, 51, 59, 61, 70, 91, 108, 118, 126, 158 [best: 1000] 1606317768704
15, 27, 38, 51, 59, 61, 80, 91, 95, 136, 163, 167 [best: 1000] 1610612736000
15, 27, 38, 51, 59, 61, 92, 110, 134, 157, 168, 172 [best: 1000] 1614907703296
15, 27, 38, 51, 59, 62, 66, 70, 131, 178, 182, 230 [best: 1000] 1619202670592
15, 27, 38, 51, 59, 62, 71, 101, 147, 172, 180, 206 [best: 1000] 1623497637888
15, 27, 38, 51, 59, 62, 80, 82, 111, 112, 169, 209 [best: 1000] 1627792605184
15, 27, 38, 51, 59, 62, 88, 105, 119, 192, 204, 232 [best: 1000] 1632087572480
15, 27, 38, 51, 59, 62, 106, 123, 140, 144, 171, 178 [best: 1000] 1636382539776
15, 27, 38, 51, 59, 63, 69, 70, 98, 114, 118, 167 [best: 1000] 1640677507072
15, 27, 38, 51, 59, 63, 73, 95, 164, 197, 225, 249 [best: 1000] 1644972474368
15, 27, 38, 51, 59, 63, 81, 96, 110, 176, 180, 207 [best: 1000] 1649267441664
15, 27, 38, 51, 59, 63, 88, 118, 124, 129, 141, 143 [best: 1000] 1653562408960
15, 27, 38, 51, 59, 63, 100, 104, 113, 172, 181, 192 [best: 1000] 1657857376256
15, 27, 38, 51, 59, 64, 68, 92, 94, 95, 123, 147 [best: 1000] 1662152343552
15, 27, 38, 51, 59, 64, 76, 81, 122, 157, 176, 179 [best: 1000] 1666447310848
15, 27, 38, 51, 59, 64, 86, 88, 127, 142, 153, 155 [best: 1000] 1670742278144
15, 27, 38, 51, 59, 64, 99, 111, 126, 142, 173, 202, 232 [best: 1000] 1675037245440
15, 27, 38, 51, 59, 65, 70, 117, 122, 150, 157, 210 [best: 1000] 1679332212736
15, 27, 38, 51, 59, 65, 80, 93, 95, 120, 137, 190 [best: 1000] 1683627180032
15, 27, 38, 51, 59, 65, 91, 92, 105, 141, 204, 220 [best: 1000] 1687922147328
15, 27, 38, 51, 59, 66, 69, 70, 144, 145, 191, 192 [best: 1000] 1692217114624
15, 27, 38, 51, 59, 66, 77, 118, 123, 125, 158, 161 [best: 1000] 1696512081920
15, 27, 38, 51, 59, 66, 88, 123, 130, 144, 227, 241 [best: 1000] 1700807049216
15, 27, 38, 51, 59, 67, 69, 72, 85, 94, 111, 169 [best: 1000] 1705102016512
15, 27, 38, 51, 59, 67, 78, 88, 142, 144, 205, 229 [best: 1000] 1709396983808
15, 27, 38, 51, 59, 67, 88, 115, 138, 149, 168, 234 [best: 1000] 1713691951104
15, 27, 38, 51, 59, 68, 69, 89, 146, 159, 170, 208, 253 [best: 1000] 1717986918400
15, 27, 38, 51, 59, 68, 77, 82, 83, 127, 157, 165 [best: 1000] 1722281885696
15, 27, 38, 51, 59, 68, 85, 94, 106, 126, 128, 229 [best: 1000] 1726576852992
15, 27, 38, 51, 59, 68, 95, 126, 133, 138, 163, 221 [best: 1000] 1730871820288
15, 27, 38, 51, 59, 69, 71, 73, 87, 98, 189, 213 [best: 1000] 1735166787584
15, 27, 38, 51, 59, 69, 76, 86, 147, 154, 216, 234 [best: 1000] 1739461754880
15, 27, 38, 51, 59, 69, 81, 86, 96, 102, 166, 273 [best: 1000] 1743756722176
15, 27, 38, 51, 59, 69, 86, 108, 119, 127, 139, 189 [best: 1000] 1748051689472
15, 27, 38, 51, 59, 69, 92, 108, 168, 173, 198, 213 [best: 1000] 1752346656768
15, 27, 38, 51, 59, 69, 101, 119, 128, 135, 177, 205 [best: 1000] 1756641624064
15, 27, 38, 51, 59, 70, 71, 99, 111, 120, 157, 205, 257 [best: 1000] 1760936591360
15, 27, 38, 51, 59, 70, 78, 81, 116, 137, 139, 160 [best: 1000] 1765231558656
15, 27, 38, 51, 59, 70, 84, 87, 129, 141, 203, 208 [best: 1000] 1769526525952
15, 27, 38, 51, 59, 70, 89, 117, 136, 143, 178, 209, 216 [best: 1000] 1773821493248
15, 27, 38, 51, 59, 70, 99, 122, 133, 134, 173, 194, 242 [best: 1000] 1778116460544
15, 27, 38, 51, 59, 70, 121, 125, 142, 171, 174, 203 [best: 1000] 1782411427840
15, 27, 38, 51, 59, 71, 77, 123, 130, 140, 163, 184 [best: 1000] 1786706395136
15, 27, 38, 51, 59, 71, 82, 118, 168, 188, 204, 223 [best: 1000] 1791001362432
15, 27, 38, 51, 59, 71, 88, 91, 123, 160, 223, 249 [best: 1000] 1795296329728
15, 27, 38, 51, 59, 71, 94, 140, 154, 160, 172, 190, 235 [best: 1000] 1799591297024
15, 27, 38, 51, 59, 71, 105, 113, 117, 156, 189, 198 [best: 1000] 1803886264320
15, 27, 38, 51, 59, 72, 74, 111, 127, 132, 154, 186 [best: 1000] 1808181231616
15, 27, 38, 51, 59, 72, 83, 106, 114, 116, 121, 200 [best: 1000] 1812476198912
15, 27, 38, 51, 59, 72, 92, 104, 109, 113, 120, 164 [best: 1000] 1816771166208
15, 27, 38, 51, 59, 73, 75, 76, 116, 121, 183, 218 [best: 1000] 1821066133504
15, 27, 38, 51, 59, 73, 82, 86, 100, 117, 176, 179 [best: 1000] 1825361100800
15, 27, 38, 51, 59, 73, 88, 138, 140, 163, 164, 169 [best: 1000] 1829656068096
15, 27, 38, 51, 59, 73, 99, 116, 129, 151, 171, 215, 304 [best: 1000] 1833951035392
15, 27, 38, 51, 59, 74, 79, 88, 117, 159, 179, 185 [best: 1000] 1838246002688
15, 27, 38, 51, 59, 74, 97, 109, 147, 170, 176, 196 [best: 1000] 1842540969984
15, 27, 38, 51, 59, 75, 85, 104, 111, 132, 151, 173 [best: 1000] 1846835937280
15, 27, 38, 51, 59, 75, 107, 118, 142, 145, 162, 176, 187 [best: 1000] 1851130904576
15, 27, 38, 51, 59, 76, 86, 88, 118, 144, 168, 198 [best: 1000] 1855425871872
15, 27, 38, 51, 59, 76, 99, 109, 119, 125, 162, 197, 238 [best: 1000] 1859720839168
15, 27, 38, 51, 59, 77, 81, 89, 107, 167, 175, 187, 235 [best: 1000] 1864015806464
15, 27, 38, 51, 59, 77, 86, 113, 154, 156, 171, 268, 277 [best: 1000] 1868310773760
15, 27, 38, 51, 59, 77, 93, 94, 147, 155, 179, 183, 248 [best: 1000] 1872605741056
15, 27, 38, 51, 59, 77, 105, 120, 152, 154, 164, 170, 248 [best: 1000] 1876900708352
15, 27, 38, 51, 59, 78, 81, 107, 138, 176, 188, 198 [best: 1000] 1881195675648
15, 27, 38, 51, 59, 78, 86, 154, 165, 176, 211, 242, 314 [best: 1000] 1885490642944
15, 27, 38, 51, 59, 78, 96, 110, 125, 182, 204, 247 [best: 1000] 1889785610240
15, 27, 38, 51, 59, 79, 80, 87, 100, 149, 169, 236 [best: 1000] 1894080577536
15, 27, 38, 51, 59, 79, 87, 116, 151, 184, 217, 247 [best: 1000] 1898375544832
15, 27, 38, 51, 59, 79, 97, 136, 139, 162, 180, 229 [best: 1000] 1902670512128
15, 27, 38, 51, 59, 80, 81, 141, 155, 167, 197, 248, 273 [best: 1000] 1906965479424
15, 27, 38, 51, 59, 80, 89, 93, 135, 145, 146, 211, 220 [best: 1000] 1911260446720
15, 27, 38, 51, 59, 80, 100, 110, 167, 177, 234, 244 [best: 1000] 1915555414016
15, 27, 38, 51, 59, 81, 83, 126, 147, 149, 183, 243 [best: 1000] 1919850381312
15, 27, 38, 51, 59, 81, 90, 117, 134, 165, 205 [best: 1000] 1924145348608
15, 27, 38, 51, 59, 81, 106, 144, 155, 180, 210, 214 [best: 1000] 1928440315904
15, 27, 38, 51, 59, 82, 86, 109, 161, 177, 218, 242 [best: 1000] 1932735283200
15, 27, 38, 51, 59, 82, 96, 97, 131, 147, 149, 195 [best: 1000] 1937030250496
15, 27, 38, 51, 59, 82, 121, 134, 140, 141, 152, 224 [best: 1000] 1941325217792
15, 27, 38, 51, 59, 83, 92, 96, 122, 152, 188, 203 [best: 1000] 1945620185088
15, 27, 38, 51, 59, 83, 111, 114, 128, 135, 214, 224 [best: 1000] 1949915152384
15, 27, 38, 51, 59, 84, 91, 95, 121, 157, 160, 173 [best: 1000] 1954210119680
15, 27, 38, 51, 59, 84, 106, 115, 124, 167, 181, 213 [best: 1000] 1958505086976
15, 27, 38, 51, 59, 85, 88, 132, 154, 158, 204, 222 [best: 1000] 1962800054272
15, 27, 38, 51, 59, 85, 100, 120, 145, 148, 166, 205 [best: 1000] 1967095021568
15, 27, 38, 51, 59, 86, 88, 103, 120, 132, 180, 196 [best: 1000] 1971389988864
15, 27, 38, 51, 59, 86, 93, 104, 105, 109, 110, 257 [best: 1000] 1975684956160
15, 27, 38, 51, 59, 86, 99, 141, 148, 151, 209, 230, 285 [best: 1000] 1979979923456
15, 27, 38, 51, 59, 86, 109, 111, 178, 197, 215, 251 [best: 1000] 1984274890752
15, 27, 38, 51, 59, 86, 123, 125, 127, 170, 189, 191, 200 [best: 1000] 1988569858048
15, 27, 38, 51, 59, 87, 93, 117, 145, 151, 172, 194 [best: 1000] 1992864825344
15, 27, 38, 51, 59, 87, 110, 134, 136, 139, 166, 224 [best: 1000] 1997159792640
15, 27, 38, 51, 59, 88, 93, 125, 158, 190, 191, 256 [best: 1000] 2001454759936
15, 27, 38, 51, 59, 88, 100, 109, 160, 161, 204, 207 [best: 1000] 2005749727232
15, 27, 38, 51, 59, 88, 110, 135, 154, 168, 189, 248 [best: 1000] 2010044694528
15, 27, 38, 51, 59, 89, 90, 123, 132, 146, 162, 170, 195 [best: 1000] 2014339661824
15, 27, 38, 51, 59, 89, 98, 113, 123, 130, 156, 188, 246 [best: 1000] 2018634629120
15, 27, 38, 51, 59, 89, 110, 123, 133, 168, 184, 196, 207 [best: 1000] 2022929596416
15, 27, 38, 51, 59, 90, 91, 129, 148, 164, 185, 200 [best: 1000] 2027224563712
15, 27, 38, 51, 59, 90, 111, 114, 116, 130, 179, 208 [best: 1000] 2031519531008
15, 27, 38, 51, 59, 91, 107, 108, 112, 129, 161, 207 [best: 1000] 2035814498304
15, 27, 38, 51, 59, 92, 107, 138, 141, 150, 157, 206 [best: 1000] 2040109465600
15, 27, 38, 51, 59, 93, 107, 128, 168, 176, 225, 227 [best: 1000] 2044404432896
15, 27, 38, 51, 59, 94, 108, 111, 136, 144, 163, 173, 243 [best: 1000] 2048699400192
15, 27, 38, 51, 59, 95, 104, 105, 107, 114, 118, 216 [best: 1000] 2052994367488
15, 27, 38, 51, 59, 96, 100, 104, 157, 181, 188, 233 [best: 1000] 2057289334784
15, 27, 38, 51, 59, 97, 99, 134, 135, 181, 213, 219, 227 [best: 1000] 2061584302080
15, 27, 38, 51, 59, 97, 119, 132, 168, 169, 178, 252 [best: 1000] 2065879269376
15, 27, 38, 51, 59, 99, 102, 105, 112, 162, 182, 190, 206 [best: 1000] 2070174236672
15, 27, 38, 51, 59, 99, 111, 112, 136, 146, 147, 213, 216 [best: 1000] 2074469203968
15, 27, 38, 51, 59, 99, 112, 132, 158, 168, 173, 178, 252 [best: 1000] 2078764171264
15, 27, 38, 51, 60, 61, 64, 79, 135, 140, 165, 205 [best: 1000] 2083059138560
15, 27, 38, 51, 60, 61, 74, 89, 90, 116, 173, 196 [best: 1000] 2087354105856
15, 27, 38, 51, 60, 61, 90, 108, 134, 146, 184, 202 [best: 1000] 2091649073152
15, 27, 38, 51, 60, 62, 68, 102, 113, 147, 164, 219, 246 [best: 1000] 2095944040448
15, 27, 38, 51, 60, 62, 78, 85, 138, 146, 167, 170 [best: 1000] 2100239007744
15, 27, 38, 51, 60, 62, 95, 107, 122, 123, 136, 169 [best: 1000] 2104533975040
15, 27, 38, 51, 60, 63, 69, 77, 103, 116, 142, 156 [best: 1000] 2108828942336
15, 27, 38, 51, 60, 63, 78, 79, 80, 145, 166, 183 [best: 1000] 2113123909632
15, 27, 38, 51, 60, 63, 91, 92, 121, 168, 197, 225 [best: 1000] 2117418876928
15, 27, 38, 51, 60, 64, 69, 80, 127, 144, 163, 198 [best: 1000] 2121713844224
15, 27, 38, 51, 60, 64, 83, 91, 110, 116, 134, 141 [best: 1000] 2126008811520
15, 27, 38, 51, 60, 65, 68, 92, 115, 157, 192, 207 [best: 1000] 2130303778816
15, 27, 38, 51, 60, 65, 79, 87, 115, 160, 191, 208 [best: 1000] 2134598746112
15, 27, 38, 51, 60, 65, 98, 105, 128, 155, 183, 201 [best: 1000] 2138893713408
15, 27, 38, 51, 60, 66, 73, 103, 115, 125, 155, 189 [best: 1000] 2143188680704
15, 27, 38, 51, 60, 66, 89, 101, 125, 161, 184, 219 [best: 1000] 2147483648000
15, 27, 38, 51, 60, 67, 76, 90, 103, 107, 117 [best: 1000] 2151778615296
15, 27, 38, 51, 60, 68, 70, 85, 86, 105, 111, 165 [best: 1000] 2156073582592
15, 27, 38, 51, 60, 68, 80, 116, 147, 160, 180, 202 [best: 1000] 2160368549888
15, 27, 38, 51, 60, 68, 93, 104, 131, 169, 174, 216 [best: 1000] 2164663517184
15, 27, 38, 51, 60, 69, 72, 74, 138, 162, 186, 199 [best: 1000] 2168958484480
15, 27, 38, 51, 60, 69, 81, 103, 104, 166, 184, 267 [best: 1000] 2173253451776
15, 27, 38, 51, 60, 69, 91, 97, 156, 166, 183, 203 [best: 1000] 2177548419072
15, 27, 38, 51, 60, 70, 71, 88, 118, 176, 200, 224 [best: 1000] 2181843386368
15, 27, 38, 51, 60, 70, 77, 122, 155, 182, 183, 195 [best: 1000] 2186138353664
15, 27, 38, 51, 60, 70, 84, 89, 97, 116, 143, 202 [best: 1000] 2190433320960
15, 27, 38, 51, 60, 70, 89, 124, 145, 158, 187, 226 [best: 1000] 2194728288256
15, 27, 38, 51, 60, 70, 99, 119, 126, 169, 196, 200, 227 [best: 1000] 2199023255552
15, 27, 38, 51, 60, 70, 113, 146, 161, 184, 185, 275 [best: 1000] 2203318222848
15, 27, 38, 51, 60, 71, 81, 86, 94, 141, 151, 222 [best: 1000] 2207613190144
15, 27, 38, 51, 60, 71, 96, 133, 135, 154, 178, 193 [best: 1000] 2211908157440
15, 27, 38, 51, 60, 72, 80, 93, 95, 150, 174, 178 [best: 1000] 2216203124736
15, 27, 38, 51, 60, 72, 92, 102, 127, 157, 199, 200 [best: 1000] 2220498092032
15, 27, 38, 51, 60, 73, 79, 99, 114, 135, 165, 202 [best: 1000] 2224793059328
15, 27, 38, 51, 60, 73, 100, 113, 132, 136, 144, 226 [best: 1000] 2229088026624
15, 27, 38, 51, 60, 75, 80, 89, 91, 130, 146, 183 [best: 1000] 2233382993920
15, 27, 38, 51, 60, 76, 82, 85, 107, 148, 171, 185 [best: 1000] 2237677961216
15, 27, 38, 51, 60, 77, 80, 101, 121, 130, 175, 193 [best: 1000] 2241972928512
15, 27, 38, 51, 60, 77, 90, 122, 132, 137, 173, 263 [best: 1000] 2246267895808
15, 27, 38, 51, 60, 78, 81, 101, 103, 133, 135, 201 [best: 1000] 2250562863104
15, 27, 38, 51, 60, 78, 96, 110, 140, 144, 163, 170 [best: 1000] 2254857830400
15, 27, 38, 51, 60, 79, 90, 105, 121, 156, 169, 193 [best: 1000] 2259152797696
15, 27, 38, 51, 60, 80, 90, 101, 117, 195, 206, 254 [best: 1000] 2263447764992
15, 27, 38, 51, 60, 81, 89, 108, 113, 122, 133, 151 [best: 1000] 2267742732288
15, 27, 38, 51, 60, 82, 89, 115, 131, 182, 193, 248 [best: 1000] 2272037699584
15, 27, 38, 51, 60, 83, 89, 91, 111, 116, 133 [best: 1000] 2276332666880
15, 27, 38, 51, 60, 83, 113, 118, 125, 163, 165, 167 [best: 1000] 2280627634176
15, 27, 38, 51, 60, 84, 96, 110, 130, 179, 211, 213 [best: 1000] 2284922601472
15, 27, 38, 51, 60, 85, 89, 111, 121, 150, 182, 209 [best: 1000] 2289217568768
15, 27, 38, 51, 60, 86, 91, 100, 106, 159, 184, 198 [best: 1000] 2293512536064
15, 27, 38, 51, 60, 86, 101, 120, 126, 148, 190, 217 [best: 1000] 2297807503360
15, 27, 38, 51, 60, 86, 119, 144, 173, 194, 237, 275, 306 [best: 1000] 2302102470656
15, 27, 38, 51, 60, 87, 110, 123, 133, 151, 152, 171 [best: 1000] 2306397437952
15, 27, 38, 51, 60, 89, 93, 126, 146, 164, 176, 184 [best: 1000] 2310692405248
15, 27, 38, 51, 60, 90, 95, 114, 123, 128, 139, 189 [best: 1000] 2314987372544
15, 27, 38, 51, 60, 92, 101, 121, 146, 162, 187, 223 [best: 1000] 2319282339840
15, 27, 38, 51, 60, 94, 101, 108, 139, 176, 193, 222 [best: 1000] 2323577307136
15, 27, 38, 51, 61, 62, 73, 107, 112, 129, 143, 206 [best: 1000] 2327872274432
15, 27, 38, 51, 61, 63, 66, 96, 103, 129, 190, 192 [best: 1000] 2332167241728
15, 27, 38, 51, 61, 63, 82, 86, 130, 164, 170, 205 [best: 1000] 2336462209024
15, 27, 38, 51, 61, 64, 71, 74, 75, 93, 103, 122 [best: 1000] 2340757176320
15, 27, 38, 51, 61, 65, 72, 91, 92, 121, 153, 186 [best: 1000] 2345052143616
15, 27, 38, 51, 61, 66, 69, 105, 124, 150, 188, 195 [best: 1000] 2349347110912
15, 27, 38, 51, 61, 67, 70, 77, 92, 127, 161, 214 [best: 1000] 2353642078208
15, 27, 38, 51, 61, 68, 77, 115, 123, 162, 163, 193 [best: 1000] 2357937045504
15, 27, 38, 51, 61, 69, 74, 89, 109, 123, 127, 153 [best: 1000] 2362232012800
15, 27, 38, 51, 61, 69, 100, 104, 105, 136, 163, 226 [best: 1000] 2366526980096
15, 27, 38, 51, 61, 70, 81, 99, 144, 172, 176, 190 [best: 1000] 2370821947392
15, 27, 38, 51, 61, 70, 102, 105, 132, 192, 195, 250 [best: 1000] 2375116914688
15, 27, 38, 51, 61, 71, 84, 99, 110, 114, 134, 144 [best: 1000] 2379411881984
15, 27, 38, 51, 61, 72, 79, 90, 99, 132, 140, 197 [best: 1000] 2383706849280
15, 27, 38, 51, 61, 73, 91, 92, 107, 122, 162, 181 [best: 1000] 2388001816576
15, 27, 38, 51, 61, 76, 77, 89, 91, 106, 174, 181 [best: 1000] 2392296783872
15, 27, 38, 51, 61, 77, 98, 99, 108, 121, 132, 173 [best: 1000] 2396591751168
15, 27, 38, 51, 61, 79, 96, 123, 134, 147, 180, 220 [best: 1000] 2400886718464
15, 27, 38, 51, 61, 82, 83, 103, 105, 119, 124, 144 [best: 1000] 2405181685760
15, 27, 38, 51, 61, 84, 92, 94, 95, 96, 133, 146 [best: 1000] 2409476653056
15, 27, 38, 51, 61, 87, 99, 119, 140, 154, 164, 201 [best: 1000] 2413771620352
15, 27, 38, 51, 61, 92, 108, 110, 111, 133, 147, 151 [best: 1000] 2418066587648
15, 27, 38, 51, 62, 63, 73, 74, 79, 89, 90, 171 [best: 1000] 2422361554944
15, 27, 38, 51, 62, 63, 91, 95, 108, 119, 172, 181, 241 [best: 1000] 2426656522240
15, 27, 38, 51, 62, 64, 72, 93, 100, 142, 169, 178 [best: 1000] 2430951489536
15, 27, 38, 51, 62, 65, 68, 71, 133, 157, 177, 201 [best: 1000] 2435246456832
15, 27, 38, 51, 62, 65, 84, 87, 150, 156, 185, 220 [best: 1000] 2439541424128
15, 27, 38, 51, 62, 66, 70, 87, 129, 140, 143, 181 [best: 1000] 2443836391424
15, 27, 38, 51, 62, 66, 92, 114, 127, 132, 151, 220, 226 [best: 1000] 2448131358720
15, 27, 38, 51, 62, 67, 86, 91, 109, 116, 152, 179, 220 [best: 1000] 2452426326016
15, 27, 38, 51, 62, 68, 74, 98, 124, 141, 184, 203 [best: 1000] 2456721293312
15, 27, 38, 51, 62, 68, 88, 115, 120, 159, 165, 203, 242 [best: 1000] 2461016260608
15, 27, 38, 51, 62, 69, 71, 119, 142, 173, 197, 209 [best: 1000] 2465311227904
15, 27, 38, 51, 62, 69, 85, 97, 109, 123, 143, 162 [best: 1000] 2469606195200
15, 27, 38, 51, 62, 69, 102, 126, 164, 183, 202, 215 [best: 1000] 2473901162496
15, 27, 38, 51, 62, 70, 77, 88, 97, 118, 189, 229, 258 [best: 1000] 2478196129792
15, 27, 38, 51, 62, 70, 85, 101, 125, 137, 159, 179 [best: 1000] 2482491097088
15, 27, 38, 51, 62, 70, 94, 95, 113, 118, 182, 204, 209 [best: 1000] 2486786064384
15, 27, 38, 51, 62, 70, 107, 112, 142, 155, 160, 180 [best: 1000] 2491081031680
15, 27, 38, 51, 62, 71, 79, 88, 102, 103, 152, 164 [best: 1000] 2495375998976
15, 27, 38, 51, 62, 71, 91, 99, 108, 174, 201, 222 [best: 1000] 2499670966272
15, 27, 38, 51, 62, 72, 78, 90, 101, 120, 154, 186 [best: 1000] 2503965933568
15, 27, 38, 51, 62, 72, 100, 105, 116, 160, 169, 174 [best: 1000] 2508260900864
15, 27, 38, 51, 62, 73, 86, 110, 111, 122, 165, 186, 263 [best: 1000] 2512555868160
15, 27, 38, 51, 62, 74, 87, 118, 125, 133, 146, 208 [best: 1000] 2516850835456
15, 27, 38, 51, 62, 76, 86, 113, 116, 170, 174, 181, 245 [best: 1000] 2521145802752
15, 27, 38, 51, 62, 77, 89, 110, 114, 130, 180, 198 [best: 1000] 2525440770048
15, 27, 38, 51, 62, 78, 90, 95, 103, 110, 118, 164 [best: 1000] 2529735737344
15, 27, 38, 51, 62, 79, 100, 113, 121, 136, 176, 177 [best: 1000] 2534030704640
15, 27, 38, 51, 62, 81, 86, 117, 126, 135, 175, 177, 262 [best: 1000] 2538325671936
15, 27, 38, 51, 62, 83, 85, 103, 104, 129, 159, 207 [best: 1000] 2542620639232
15, 27, 38, 51, 62, 84, 91, 101, 136, 137, 175, 213, 228 [best: 1000] 2546915606528
15, 27, 38, 51, 62, 85, 86, 124, 130, 166, 176, 204, 208 [best: 1000] 2551210573824
15, 27, 38, 51, 62, 86, 89, 91, 105, 154, 159, 171, 214 [best: 1000] 2555505541120
15, 27, 38, 51, 62, 86, 96, 103, 105, 112, 149, 183, 197 [best: 1000] 2559800508416
15, 27, 38, 51, 62, 86, 104, 105, 115, 146, 199, 243, 246 [best: 1000] 2564095475712
15, 27, 38, 51, 62, 86, 105, 121, 132, 153, 159, 171, 198 [best: 1000] 2568390443008
15, 27, 38, 51, 62, 88, 89, 90, 132, 137, 154, 210 [best: 1000] 2572685410304
15, 27, 38, 51, 62, 90, 103, 114, 137, 142, 152, 214 [best: 1000] 2576980377600
15, 27, 38, 51, 63, 64, 68, 87, 89, 150, 159, 200 [best: 1000] 2581275344896
15, 27, 38, 51, 63, 64, 85, 91, 138, 155, 166, 185 [best: 1000] 2585570312192
15, 27, 38, 51, 63, 65, 70, 91, 143, 157, 191, 251 [best: 1000] 2589865279488
15, 27, 38, 51, 63, 65, 84, 91, 99, 102, 128, 201 [best: 1000] 2594160246784
15, 27, 38, 51, 63, 66, 68, 94, 102, 112, 153, 196 [best: 1000] 2598455214080
15, 27, 38, 51, 63, 66, 82, 95, 110, 113, 180, 216 [best: 1000] 2602750181376
15, 27, 38, 51, 63, 67, 70, 86, 116, 152, 162, 257 [best: 1000] 2607045148672
15, 27, 38, 51, 63, 67, 91, 107, 112, 133, 175, 232 [best: 1000] 2611340115968
15, 27, 38, 51, 63, 68, 75, 82, 87, 135, 154, 194 [best: 1000] 2615635083264
15, 27, 38, 51, 63, 68, 88, 89, 143, 144, 164, 188 [best: 1000] 2619930050560
15, 27, 38, 51, 63, 69, 70, 86, 104, 129, 230, 253 [best: 1000] 2624225017856
15, 27, 38, 51, 63, 69, 79, 80, 129, 133, 173, 178 [best: 1000] 2628519985152
15, 27, 38, 51, 63, 69, 88, 136, 138, 172, 204, 234 [best: 1000] 2632814952448
15, 27, 38, 51, 63, 69, 112, 116, 139, 143, 144, 180 [best: 1000] 2637109919744
15, 27, 38, 51, 63, 70, 77, 81, 121, 150, 168, 224 [best: 1000] 2641404887040
15, 27, 38, 51, 63, 70, 83, 105, 115, 195, 197, 249, 265 [best: 1000] 2645699854336
15, 27, 38, 51, 63, 70, 90, 129, 131, 154, 160, 191 [best: 1000] 2649994821632
15, 27, 38, 51, 63, 70, 102, 141, 147, 148, 166, 221 [best: 1000] 2654289788928
15, 27, 38, 51, 63, 71, 72, 92, 93, 104, 118, 138 [best: 1000] 2658584756224
15, 27, 38, 51, 63, 71, 82, 99, 101, 136, 172, 199 [best: 1000] 2662879723520
15, 27, 38, 51, 63, 71, 94, 99, 104, 139, 214, 262 [best: 1000] 2667174690816
15, 27, 38, 51, 63, 72, 75, 88, 92, 112, 113, 199 [best: 1000] 2671469658112
15, 27, 38, 51, 63, 72, 89, 116, 158, 182, 202, 242 [best: 1000] 2675764625408
15, 27, 38, 51, 63, 73, 79, 106, 129, 144, 177, 186 [best: 1000] 2680059592704
15, 27, 38, 51, 63, 73, 94, 100, 136, 167, 209, 225 [best: 1000] 2684354560000
15, 27, 38, 51, 63, 74, 94, 99, 119, 127, 167, 184 [best: 1000] 2688649527296
15, 27, 38, 51, 63, 76, 81, 90, 106, 110, 142, 187 [best: 1000] 2692944494592
15, 27, 38, 51, 63, 77, 83, 90, 112, 118, 148, 207 [best: 1000] 2697239461888
15, 27, 38, 51, 63, 78, 80, 88, 101, 152, 188, 215 [best: 1000] 2701534429184
15, 27, 38, 51, 63, 79, 80, 84, 112, 133, 177, 195 [best: 1000] 2705829396480
15, 27, 38, 51, 63, 79, 104, 113, 117, 182, 202, 231 [best: 1000] 2710124363776
15, 27, 38, 51, 63, 80, 91, 108, 113, 147, 150, 204 [best: 1000] 2714419331072
15, 27, 38, 51, 63, 81, 82, 98, 107, 114, 141, 217 [best: 1000] 2718714298368
15, 27, 38, 51, 63, 81, 103, 126, 132, 159, 187, 211 [best: 1000] 2723009265664
15, 27, 38, 51, 63, 82, 94, 116, 124, 174, 186, 207 [best: 1000] 2727304232960
15, 27, 38, 51, 63, 83, 94, 100, 105, 112, 119, 202 [best: 1000] 2731599200256
15, 27, 38, 51, 63, 84, 99, 105, 126, 167, 171, 202 [best: 1000] 2735894167552
15, 27, 38, 51, 63, 86, 88, 101, 110, 149, 169, 182 [best: 1000] 2740189134848
15, 27, 38, 51, 63, 86, 104, 112, 132, 138, 181, 194 [best: 1000] 2744484102144
15, 27, 38, 51, 63, 87, 102, 104, 141, 156, 191, 206 [best: 1000] 2748779069440
15, 27, 38, 51, 63, 88, 101, 141, 145, 172, 186, 229, 234 [best: 1000] 2753074036736
15, 27, 38, 51, 63, 89, 98, 103, 104, 106, 122, 208 [best: 1000] 2757369004032
15, 27, 38, 51, 63, 90, 104, 122, 125, 187, 212, 226 [best: 1000] 2761663971328
15, 27, 38, 51, 63, 92, 107, 136, 140, 144, 160, 209 [best: 1000] 2765958938624
15, 27, 38, 51, 63, 94, 110, 118, 157, 168, 196, 210 [best: 1000] 2770253905920
15, 27, 38, 51, 64, 65, 78, 98, 103, 157, 168 [best: 1000] 2774548873216
15, 27, 38, 51, 64, 66, 71, 122, 131, 158, 162 [best: 1000] 2778843840512
15, 27, 38, 51, 64, 67, 71, 115, 128, 154, 180, 188 [best: 1000] 2783138807808
15, 27, 38, 51, 64, 68, 75, 82, 143, 144, 162, 188 [best: 1000] 2787433775104
15, 27, 38, 51, 64, 69, 70, 86, 89, 112, 114, 120 [best: 1000] 2791728742400
15, 27, 38, 51, 64, 69, 86, 113, 125, 168, 192, 214 [best: 1000] 2796023709696
15, 27, 38, 51, 64, 70, 73, 83, 142, 152, 181, 189 [best: 1000] 2800318676992
15, 27, 38, 51, 64, 70, 86, 98, 116, 134, 179, 200 [best: 1000] 2804613644288
15, 27, 38, 51, 64, 70, 102, 108, 150, 178, 184, 214 [best: 1000] 2808908611584
15, 27, 38, 51, 64, 71, 81, 95, 110, 138, 175, 217 [best: 1000] 2813203578880
15, 27, 38, 51, 64, 72, 73, 100, 118, 140, 191, 203 [best: 1000] 2817498546176
15, 27, 38, 51, 64, 73, 76, 108, 113, 114, 115, 136 [best: 1000] 2821793513472
15, 27, 38, 51, 64, 74, 84, 93, 111, 128, 157, 169 [best: 1000] 2826088480768
15, 27, 38, 51, 64, 76, 100, 113, 116, 122, 170, 183 [best: 1000] 2830383448064
15, 27, 38, 51, 64, 78, 87, 97, 100, 128, 129, 156 [best: 1000] 2834678415360
15, 27, 38, 51, 64, 80, 89, 93, 112, 113, 139, 185 [best: 1000] 2838973382656
15, 27, 38, 51, 64, 81, 103, 107, 132, 150, 161, 182 [best: 1000] 2843268349952
15, 27, 38, 51, 64, 83, 99, 106, 129, 169, 174, 178, 218 [best: 1000] 2847563317248
15, 27, 38, 51, 64, 86, 107, 110, 119, 158, 161, 177 [best: 1000] 2851858284544
15, 27, 38, 51, 64, 88, 89, 91, 103, 122, 125, 135 [best: 1000] 2856153251840
15, 27, 38, 51, 64, 92, 97, 110, 119, 166, 168, 201 [best: 1000] 2860448219136
15, 27, 38, 51, 65, 66, 89, 98, 106, 110, 111, 115 [best: 1000] 2864743186432
15, 27, 38, 51, 65, 67, 98, 108, 131, 142, 155, 201 [best: 1000] 2869038153728
15, 27, 38, 51, 65, 68, 90, 111, 115, 141, 152, 171 [best: 1000] 2873333121024
15, 27, 38, 51, 65, 69, 78, 81, 102, 184, 193, 231 [best: 1000] 2877628088320
15, 27, 38, 51, 65, 69, 94, 107, 109, 154, 178, 198 [best: 1000] 2881923055616
15, 27, 38, 51, 65, 70, 76, 125, 137, 164, 168, 195 [best: 1000] 2886218022912
15, 27, 38, 51, 65, 70, 90, 122, 136, 179, 180, 182 [best: 1000] 2890512990208
15, 27, 38, 51, 65, 71, 75, 103, 115, 123, 149, 188 [best: 1000] 2894807957504
15, 27, 38, 51, 65, 71, 98, 107, 130, 139, 161, 194 [best: 1000] 2899102924800
15, 27, 38, 51, 65, 72, 89, 106, 134, 150, 183, 219 [best: 1000] 2903397892096
15, 27, 38, 51, 65, 73, 93, 112, 119, 134, 175, 223 [best: 1000] 2907692859392
15, 27, 38, 51, 65, 76, 78, 83, 88, 93, 149, 195 [best: 1000] 2911987826688
15, 27, 38, 51, 65, 77, 88, 99, 103, 169, 179, 190 [best: 1000] 2916282793984
15, 27, 38, 51, 65, 78, 93, 103, 107, 119, 123, 155 [best: 1000] 2920577761280
15, 27, 38, 51, 65, 81, 83, 128, 137, 164, 180, 206, 252 [best: 1000] 2924872728576
15, 27, 38, 51, 65, 82, 87, 98, 121, 167, 172, 194, 222 [best: 1000] 2929167695872
15, 27, 38, 51, 65, 83, 96, 97, 109, 115, 147, 154 [best: 1000] 2933462663168
15, 27, 38, 51, 65, 84, 101, 117, 118, 177, 183, 224 [best: 1000] 2937757630464
15, 27, 38, 51, 65, 85, 109, 119, 124, 166, 191, 256 [best: 1000] 2942052597760
15, 27, 38, 51, 65, 88, 98, 114, 133, 139, 155, 172 [best: 1000] 2946347565056
15, 27, 38, 51, 65, 91, 92, 112, 124, 133, 177, 211 [best: 1000] 2950642532352
15, 27, 38, 51, 66, 67, 92, 102, 131, 151, 175, 185 [best: 1000] 2954937499648
15, 27, 38, 51, 66, 68, 87, 108, 126, 139, 168, 171 [best: 1000] 2959232466944
15, 27, 38, 51, 66, 69, 77, 79, 111, 122, 159, 175 [best: 1000] 2963527434240
15, 27, 38, 51, 66, 69, 94, 119, 121, 130, 148, 173 [best: 1000] 2967822401536
15, 27, 38, 51, 66, 70, 78, 82, 107, 154, 177, 182 [best: 1000] 2972117368832
15, 27, 38, 51, 66, 70, 95, 100, 119, 182, 196, 206 [best: 1000] 2976412336128
15, 27, 38, 51, 66, 71, 80, 98, 99, 125, 143, 205 [best: 1000] 2980707303424
15, 27, 38, 51, 66, 71, 106, 109, 127, 131, 166, 184 [best: 1000] 2985002270720
15, 27, 38, 51, 66, 73, 78, 83, 104, 148, 172, 190 [best: 1000] 2989297238016
15, 27, 38, 51, 66, 75, 80, 87, 103, 116, 139, 169 [best: 1000] 2993592205312
15, 27, 38, 51, 66, 77, 83, 116, 123, 139, 166, 210 [best: 1000] 2997887172608
15, 27, 38, 51, 66, 78, 91, 116, 133, 137, 181, 219 [best: 1000] 3002182139904
15, 27, 38, 51, 66, 82, 84, 97, 111, 116, 125, 181 [best: 1000] 3006477107200
15, 27, 38, 51, 66, 83, 90, 109, 122, 149, 170, 206 [best: 1000] 3010772074496
15, 27, 38, 51, 66, 85, 86, 101, 114, 117, 175, 178 [best: 1000] 3015067041792
15, 27, 38, 51, 66, 86, 92, 126, 138, 141, 188, 216 [best: 1000] 3019362009088
15, 27, 38, 51, 66, 89, 90, 96, 128, 151, 158, 214 [best: 1000] 3023656976384
15, 27, 38, 51, 67, 68, 69, 70, 78, 94, 97, 130 [best: 1000] 3027951943680
15, 27, 38, 51, 67, 69, 72, 73, 81, 88, 117, 193 [best: 1000] 3032246910976
15, 27, 38, 51, 67, 69, 104, 118, 140, 145, 170, 211 [best: 1000] 3036541878272
15, 27, 38, 51, 67, 70, 89, 102, 118, 158, 207, 209 [best: 1000] 3040836845568
15, 27, 38, 51, 67, 71, 82, 98, 108, 119, 144, 153 [best: 1000] 3045131812864
15, 27, 38, 51, 67, 72, 96, 124, 138, 139, 188, 226, 242 [best: 1000] 3049426780160
15, 27, 38, 51, 67, 76, 80, 94, 95, 111, 126 [best: 1000] 3053721747456
15, 27, 38, 51, 67, 78, 84, 113, 130, 136, 141, 148 [best: 1000] 3058016714752
15, 27, 38, 51, 67, 81, 91, 99, 102, 104, 156, 157 [best: 1000] 3062311682048
15, 27, 38, 51, 67, 83, 90, 109, 130, 152, 163, 227 [best: 1000] 3066606649344
15, 27, 38, 51, 67, 85, 94, 100, 123, 165, 168, 193 [best: 1000] 3070901616640
15, 27, 38, 51, 68, 69, 75, 80, 104, 108, 127, 169 [best: 1000] 3075196583936
15, 27, 38, 51, 68, 69, 89, 93, 96, 102, 163, 177 [best: 1000] 3079491551232
15, 27, 38, 51, 68, 70, 71, 95, 99, 112, 114, 124 [best: 1000] 3083786518528
15, 27, 38, 51, 68, 70, 85, 103, 106, 129, 133, 194 [best: 1000] 3088081485824
15, 27, 38, 51, 68, 70, 102, 122, 137, 139, 147, 235 [best: 1000] 3092376453120
15, 27, 38, 51, 68, 71, 83, 118, 128, 180, 194, 201 [best: 1000] 3096671420416
15, 27, 38, 51, 68, 71, 107, 133, 138, 158, 173, 218 [best: 1000] 3100966387712
15, 27, 38, 51, 68, 73, 75, 105, 117, 144, 176, 187 [best: 1000] 3105261355008
15, 27, 38, 51, 68, 73, 103, 114, 129, 157, 167, 175 [best: 1000] 3109556322304
15, 27, 38, 51, 68, 75, 101, 108, 111, 154, 161, 186 [best: 1000] 3113851289600
15, 27, 38, 51, 68, 77, 86, 138, 145, 153, 156, 190, 224 [best: 1000] 3118146256896
15, 27, 38, 51, 68, 78, 86, 110, 121, 176, 179, 204 [best: 1000] 3122441224192
15, 27, 38, 51, 68, 80, 86, 96, 106, 148, 184, 193 [best: 1000] 3126736191488
15, 27, 38, 51, 68, 82, 89, 107, 126, 127, 135, 165 [best: 1000] 3131031158784
15, 27, 38, 51, 68, 83, 108, 113, 133, 150, 156, 186 [best: 1000] 3135326126080
15, 27, 38, 51, 68, 85, 91, 101, 138, 158, 197, 221 [best: 1000] 3139621093376
15, 27, 38, 51, 68, 86, 92, 109, 124, 137, 151, 192 [best: 1000] 3143916060672
15, 27, 38, 51, 68, 86, 114, 128, 138, 159, 164, 218 [best: 1000] 3148211027968
15, 27, 38, 51, 68, 88, 90, 118, 119, 166, 182, 202 [best: 1000] 3152505995264
15, 27, 38, 51, 68, 90, 92, 98, 113, 133, 167, 195 [best: 1000] 3156800962560
15, 27, 38, 51, 68, 93, 96, 97, 103, 123, 147, 200 [best: 1000] 3161095929856
15, 27, 38, 51, 69, 70, 73, 98, 100, 106, 138, 163 [best: 1000] 3165390897152
15, 27, 38, 51, 69, 70, 80, 127, 145, 156, 169, 220 [best: 1000] 3169685864448
15, 27, 38, 51, 69, 70, 87, 122, 126, 127, 150, 153 [best: 1000] 3173980831744
15, 27, 38, 51, 69, 70, 97, 105, 131, 150, 151, 250 [best: 1000] 3178275799040
15, 27, 38, 51, 69, 70, 110, 136, 137, 140, 176, 239 [best: 1000] 3182570766336
15, 27, 38, 51, 69, 71, 78, 102, 137, 147, 183, 189 [best: 1000] 3186865733632
15, 27, 38, 51, 69, 71, 88, 103, 120, 140, 149, 162 [best: 1000] 3191160700928
15, 27, 38, 51, 69, 71, 110, 126, 128, 141, 184, 211 [best: 1000] 3195455668224
15, 27, 38, 51, 69, 72, 85, 87, 108, 144, 209, 236 [best: 1000] 3199750635520
15, 27, 38, 51, 69, 72, 107, 115, 134, 163, 172, 215, 245 [best: 1000] 3204045602816
15, 27, 38, 51, 69, 73, 87, 91, 97, 123, 198, 238 [best: 1000] 3208340570112
15, 27, 38, 51, 69, 74, 79, 86, 103, 154, 174, 199 [best: 1000] 3212635537408
15, 27, 38, 51, 69, 75, 85, 104, 111, 126, 194, 206 [best: 1000] 3216930504704
15, 27, 38, 51, 69, 76, 87, 89, 104, 125, 151, 211 [best: 1000] 3221225472000
15, 27, 38, 51, 69, 77, 83, 88, 100, 119, 170, 216 [best: 1000] 3225520439296
15, 27, 38, 51, 69, 77, 98, 111, 123, 175, 198, 207 [best: 1000] 3229815406592
15, 27, 38, 51, 69, 78, 86, 97, 106, 136, 157, 179 [best: 1000] 3234110373888
15, 27, 38, 51, 69, 79, 80, 97, 112, 151, 168, 195 [best: 1000] 3238405341184
15, 27, 38, 51, 69, 79, 96, 124, 133, 166, 211, 231 [best: 1000] 3242700308480
15, 27, 38, 51, 69, 80, 89, 102, 113, 119, 171, 196 [best: 1000] 3246995275776
15, 27, 38, 51, 69, 81, 88, 106, 114, 127, 228, 231 [best: 1000] 3251290243072
15, 27, 38, 51, 69, 82, 86, 99, 104, 131, 163, 173 [best: 1000] 3255585210368
15, 27, 38, 51, 69, 83, 91, 94, 95, 119, 124, 129 [best: 1000] 3259880177664
15, 27, 38, 51, 69, 84, 90, 97, 110, 132, 156, 210 [best: 1000] 3264175144960
15, 27, 38, 51, 69, 84, 118, 121, 125, 135, 145, 215 [best: 1000] 3268470112256
15, 27, 38, 51, 69, 85, 109, 117, 133, 134, 188, 208 [best: 1000] 3272765079552
15, 27, 38, 51, 69, 86, 108, 113, 117, 122, 153, 192, 252 [best: 1000] 3277060046848
15, 27, 38, 51, 69, 87, 96, 99, 153, 190, 226, 257 [best: 1000] 3281355014144
15, 27, 38, 51, 69, 87, 106, 116, 129, 140, 207, 237 [best: 1000] 3285649981440
15, 27, 38, 51, 69, 87, 123, 129, 137, 163, 226, 255 [best: 1000] 3289944948736
15, 27, 38, 51, 69, 88, 105, 111, 153, 179, 185, 237 [best: 1000] 3294239916032
15, 27, 38, 51, 69, 89, 102, 107, 128, 152, 180, 297 [best: 1000] 3298534883328
15, 27, 38, 51, 69, 91, 99, 125, 138, 146, 186, 190, 236 [best: 1000] 3302829850624
15, 27, 38, 51, 69, 94, 101, 125, 129, 142, 188, 239 [best: 1000] 3307124817920
15, 27, 38, 51, 69, 95, 114, 126, 142, 181, 191, 257 [best: 1000] 3311419785216
15, 27, 38, 51, 70, 71, 72, 91, 92, 109, 132, 213 [best: 1000] 3315714752512
15, 27, 38, 51, 70, 71, 80, 110, 118, 119, 143, 244 [best: 1000] 3320009719808
15, 27, 38, 51, 70, 71, 88, 92, 94, 134, 142, 195 [best: 1000] 3324304687104
15, 27, 38, 51, 70, 71, 98, 99, 124, 146, 150, 174 [best: 1000] 3328599654400
15, 27, 38, 51, 70, 72, 74, 104, 120, 122, 129, 153 [best: 1000] 3332894621696
15, 27, 38, 51, 70, 72, 87, 98, 123, 146, 209, 227 [best: 1000] 3337189588992
15, 27, 38, 51, 70, 72, 111, 114, 117, 119, 132, 179 [best: 1000] 3341484556288
15, 27, 38, 51, 70, 73, 84, 100, 150, 162, 198, 216 [best: 1000] 3345779523584
15, 27, 38, 51, 70, 73, 97, 100, 122, 171, 199, 201 [best: 1000] 3350074490880
15, 27, 38, 51, 70, 74, 84, 114, 143, 163, 164, 178, 193 [best: 1000] 3354369458176
15, 27, 38, 51, 70, 75, 81, 96, 117, 131, 172, 173 [best: 1000] 3358664425472
15, 27, 38, 51, 70, 75, 107, 113, 146, 149, 152, 154 [best: 1000] 3362959392768
15, 27, 38, 51, 70, 76, 90, 97, 112, 153, 193, 204 [best: 1000] 3367254360064
15, 27, 38, 51, 70, 77, 82, 94, 153, 168, 210, 261 [best: 1000] 3371549327360
15, 27, 38, 51, 70, 77, 93, 94, 113, 124, 152, 198 [best: 1000] 3375844294656
15, 27, 38, 51, 70, 78, 81, 84, 120, 185, 199, 232 [best: 1000] 3380139261952
15, 27, 38, 51, 70, 78, 90, 97, 123, 157, 162, 175 [best: 1000] 3384434229248
15, 27, 38, 51, 70, 79, 80, 109, 110, 175, 187, 249 [best: 1000] 3388729196544
15, 27, 38, 51, 70, 79, 88, 150, 173, 175, 181, 196 [best: 1000] 3393024163840
15, 27, 38, 51, 70, 79, 105, 108, 136, 144, 157, 165 [best: 1000] 3397319131136
15, 27, 38, 51, 70, 80, 85, 89, 128, 147, 156, 186 [best: 1000] 3401614098432
15, 27, 38, 51, 70, 80, 92, 112, 137, 165, 213, 217 [best: 1000] 3405909065728
15, 27, 38, 51, 70, 80, 109, 137, 144, 185, 193, 210 [best: 1000] 3410204033024
15, 27, 38, 51, 70, 81, 88, 94, 132, 159, 172, 233 [best: 1000] 3414499000320
15, 27, 38, 51, 70, 81, 105, 107, 166, 176, 217, 226 [best: 1000] 3418793967616
15, 27, 38, 51, 70, 82, 88, 105, 130, 150, 163, 231 [best: 1000] 3423088934912
15, 27, 38, 51, 70, 82, 100, 107, 115, 147, 159, 247 [best: 1000] 3427383902208
15, 27, 38, 51, 70, 83, 88, 97, 136, 145, 151, 215 [best: 1000] 3431678869504
15, 27, 38, 51, 70, 83, 111, 129, 137, 138, 154, 169 [best: 1000] 3435973836800
15, 27, 38, 51, 70, 84, 93, 98, 109, 172, 184, 263 [best: 1000] 3440268804096
15, 27, 38, 51, 70, 84, 114, 145, 162, 180, 191, 228 [best: 1000] 3444563771392
15, 27, 38, 51, 70, 85, 92, 123, 136, 172, 203, 212 [best: 1000] 3448858738688
15, 27, 38, 51, 70, 85, 111, 126, 143, 152, 174, 218 [best: 1000] 3453153705984
15, 27, 38, 51, 70, 86, 93, 129, 138, 149, 205, 241 [best: 1000] 3457448673280
15, 27, 38, 51, 70, 86, 118, 125, 126, 151, 170, 226 [best: 1000] 3461743640576
15, 27, 38, 51, 70, 87, 95, 133, 136, 139, 182, 233 [best: 1000] 3466038607872
15, 27, 38, 51, 70, 87, 114, 133, 163, 175, 205, 227 [best: 1000] 3470333575168
15, 27, 38, 51, 70, 88, 93, 95, 112, 155, 164, 189 [best: 1000] 3474628542464
15, 27, 38, 51, 70, 88, 100, 120, 125, 130, 163, 210, 244 [best: 1000] 3478923509760
15, 27, 38, 51, 70, 88, 110, 114, 127, 142, 185, 260 [best: 1000] 3483218477056
15, 27, 38, 51, 70, 88, 127, 131, 141, 157, 235, 264 [best: 1000] 3487513444352
15, 27, 38, 51, 70, 89, 95, 116, 127, 181, 188, 207, 253 [best: 1000] 3491808411648
15, 27, 38, 51, 70, 89, 104, 121, 125, 180, 196, 231 [best: 1000] 3496103378944
15, 27, 38, 51, 70, 89, 116, 134, 153, 193, 211, 234 [best: 1000] 3500398346240
15, 27, 38, 51, 70, 90, 98, 109, 150, 176, 208, 213 [best: 1000] 3504693313536
15, 27, 38, 51, 70, 91, 97, 107, 119, 129, 132, 142 [best: 1000] 3508988280832
15, 27, 38, 51, 70, 92, 96, 119, 135, 152, 165, 228 [best: 1000] 3513283248128
15, 27, 38, 51, 70, 93, 95, 96, 152, 161, 189, 191 [best: 1000] 3517578215424
15, 27, 38, 51, 70, 94, 98, 121, 136, 146, 215, 233 [best: 1000] 3521873182720
15, 27, 38, 51, 70, 95, 98, 125, 130, 139, 211, 253 [best: 1000] 3526168150016
15, 27, 38, 51, 70, 96, 102, 123, 157, 200, 201, 247 [best: 1000] 3530463117312
15, 27, 38, 51, 70, 97, 108, 120, 130, 149, 177, 181 [best: 1000] 3534758084608
15, 27, 38, 51, 70, 98, 108, 148, 149, 172, 203, 229, 297 [best: 1000] 3539053051904
15, 27, 38, 51, 70, 99, 110, 140, 144, 189, 193, 195, 242 [best: 1000] 3543348019200
15, 27, 38, 51, 71, 72, 77, 113, 116, 121, 184, 204 [best: 1000] 3547642986496
15, 27, 38, 51, 71, 72, 91, 122, 142, 151, 203, 247 [best: 1000] 3551937953792
15, 27, 38, 51, 71, 73, 85, 89, 104, 107, 116, 205 [best: 1000] 3556232921088
15, 27, 38, 51, 71, 74, 89, 95, 112, 122, 143, 213 [best: 1000] 3560527888384
15, 27, 38, 51, 71, 76, 79, 87, 121, 155, 184, 185 [best: 1000] 3564822855680
15, 27, 38, 51, 71, 77, 82, 118, 131, 145, 162, 177 [best: 1000] 3569117822976
15, 27, 38, 51, 71, 77, 106, 133, 142, 161, 183, 206 [best: 1000] 3573412790272
15, 27, 38, 51, 71, 78, 99, 115, 118, 126, 154, 213 [best: 1000] 3577707757568
15, 27, 38, 51, 71, 79, 101, 108, 127, 153, 192, 230 [best: 1000] 3582002724864
15, 27, 38, 51, 71, 80, 99, 101, 156, 171, 220, 240 [best: 1000] 3586297692160
15, 27, 38, 51, 71, 81, 93, 113, 138, 143, 167, 193 [best: 1000] 3590592659456
15, 27, 38, 51, 71, 82, 93, 101, 126, 132, 150, 200 [best: 1000] 3594887626752
15, 27, 38, 51, 71, 83, 93, 96, 117, 124, 125, 134 [best: 1000] 3599182594048
15, 27, 38, 51, 71, 84, 87, 123, 141, 180, 199, 260 [best: 1000] 3603477561344
15, 27, 38, 51, 71, 85, 87, 89, 137, 173, 203, 216 [best: 1000] 3607772528640
15, 27, 38, 51, 71, 86, 89, 98, 138, 165, 177, 200 [best: 1000] 3612067495936
15, 27, 38, 51, 71, 86, 106, 124, 147, 157, 172, 208 [best: 1000] 3616362463232
15, 27, 38, 51, 71, 87, 95, 103, 106, 154, 188, 221 [best: 1000] 3620657430528
15, 27, 38, 51, 71, 87, 105, 129, 159, 166, 203, 228 [best: 1000] 3624952397824
15, 27, 38, 51, 71, 88, 93, 115, 125, 126, 176, 181 [best: 1000] 3629247365120
15, 27, 38, 51, 71, 89, 101, 118, 134, 144, 158, 184 [best: 1000] 3633542332416
15, 27, 38, 51, 71, 91, 94, 117, 134, 144, 145, 155 [best: 1000] 3637837299712
15, 27, 38, 51, 71, 93, 97, 111, 119, 138, 202, 221 [best: 1000] 3642132267008
15, 27, 38, 51, 72, 73, 80, 85, 92, 117, 177, 192 [best: 1000] 3646427234304
15, 27, 38, 51, 72, 74, 82, 87, 97, 147, 185, 202 [best: 1000] 3650722201600
15, 27, 38, 51, 72, 76, 83, 86, 108, 113, 116, 151 [best: 1000] 3655017168896
15, 27, 38, 51, 72, 77, 89, 112, 128, 168, 176, 191 [best: 1000] 3659312136192
15, 27, 38, 51, 72, 78, 98, 103, 142, 143, 168, 181 [best: 1000] 3663607103488
15, 27, 38, 51, 72, 80, 89, 96, 119, 137, 170, 207 [best: 1000] 3667902070784
15, 27, 38, 51, 72, 81, 98, 99, 108, 113, 137, 171 [best: 1000] 3672197038080
15, 27, 38, 51, 72, 82, 107, 116, 131, 154, 171, 216 [best: 1000] 3676492005376
15, 27, 38, 51, 72, 85, 98, 104, 111, 132, 133, 189 [best: 1000] 3680786972672
15, 27, 38, 51, 72, 87, 101, 102, 141, 173, 190, 199 [best: 1000] 3685081939968
15, 27, 38, 51, 72, 88, 99, 128, 130, 166, 174, 190 [best: 1000] 3689376907264
15, 27, 38, 51, 72, 89, 97, 103, 110, 138, 182, 237 [best: 1000] 3693671874560
15, 27, 38, 51, 72, 92, 93, 113, 133, 150, 179, 218 [best: 1000] 3697966841856
15, 27, 38, 51, 72, 94, 105, 114, 133, 136, 149, 164, 184 [best: 1000] 3702261809152
15, 27, 38, 51, 73, 75, 96, 120, 127, 169, 187, 223 [best: 1000] 3706556776448
15, 27, 38, 51, 73, 77, 86, 94, 124, 134, 135, 155 [best: 1000] 3710851743744
15, 27, 38, 51, 73, 78, 91, 101, 114, 117, 118, 208 [best: 1000] 3715146711040
15, 27, 38, 51, 73, 79, 99, 126, 136, 172, 183, 185 [best: 1000] 3719441678336
15, 27, 38, 51, 73, 80, 97, 124, 136, 144, 169, 198, 236 [best: 1000] 3723736645632
15, 27, 38, 51, 73, 81, 96, 120, 130, 161, 180, 243 [best: 1000] 3728031612928
15, 27, 38, 51, 73, 83, 86, 97, 133, 152, 173, 240 [best: 1000] 3732326580224
15, 27, 38, 51, 73, 84, 91, 127, 157, 174, 200, 242 [best: 1000] 3736621547520
15, 27, 38, 51, 73, 85, 91, 100, 122, 138, 151, 157 [best: 1000] 3740916514816
15, 27, 38, 51, 73, 85, 109, 110, 123, 166, 204, 215 [best: 1000] 3745211482112
15, 27, 38, 51, 73, 89, 92, 111, 121, 129, 181, 215 [best: 1000] 3749506449408
15, 27, 38, 51, 74, 76, 92, 103, 130, 133, 140, 194 [best: 1000] 3753801416704
15, 27, 38, 51, 74, 80, 81, 97, 104, 106, 157, 183 [best: 1000] 3758096384000
15, 27, 38, 51, 74, 83, 91, 102, 111, 120, 171, 199, 203 [best: 1000] 3762391351296
15, 27, 38, 51, 75, 78, 82, 102, 105, 109, 131, 180 [best: 1000] 3766686318592
15, 27, 38, 51, 75, 82, 84, 102, 114, 155, 164, 189, 197 [best: 1000] 3770981285888
15, 27, 38, 51, 75, 84, 87, 112, 139, 151, 176, 181 [best: 1000] 3775276253184
15, 27, 38, 51, 75, 85, 95, 111, 117, 128, 137, 169, 255 [best: 1000] 3779571220480
15, 27, 38, 51, 76, 78, 83, 109, 130, 155, 192, 193 [best: 1000] 3783866187776
15, 27, 38, 51, 76, 82, 84, 97, 103, 129, 146, 175 [best: 1000] 3788161155072
15, 27, 38, 51, 76, 83, 96, 116, 118, 123, 147, 222 [best: 1000] 3792456122368
15, 27, 38, 51, 76, 85, 92, 104, 114, 121, 145, 166 [best: 1000] 3796751089664
15, 27, 38, 51, 76, 87, 100, 110, 121, 129, 150, 192, 210 [best: 1000] 3801046056960
15, 27, 38, 51, 77, 78, 90, 116, 118, 121, 182, 201 [best: 1000] 3805341024256
15, 27, 38, 51, 77, 79, 99, 102, 103, 129, 137, 167 [best: 1000] 3809635991552
15, 27, 38, 51, 77, 80, 96, 102, 117, 124, 182, 183 [best: 1000] 3813930958848
15, 27, 38, 51, 77, 81, 90, 91, 106, 166, 190, 219 [best: 1000] 3818225926144
15, 27, 38, 51, 77, 82, 88, 116, 153, 163, 175, 250 [best: 1000] 3822520893440
15, 27, 38, 51, 77, 83, 94, 97, 102, 127, 169, 178 [best: 1000] 3826815860736
15, 27, 38, 51, 77, 85, 88, 102, 118, 133, 170, 195 [best: 1000] 3831110828032
15, 27, 38, 51, 77, 86, 92, 98, 141, 147, 166, 205 [best: 1000] 3835405795328
15, 27, 38, 51, 77, 87, 102, 112, 144, 151, 173, 183 [best: 1000] 3839700762624
15, 27, 38, 51, 77, 88, 102, 105, 146, 167, 187, 233 [best: 1000] 3843995729920
15, 27, 38, 51, 77, 89, 98, 108, 115, 116, 122, 146 [best: 1000] 3848290697216
15, 27, 38, 51, 77, 90, 100, 127, 146, 178, 198, 226 [best: 1000] 3852585664512
15, 27, 38, 51, 77, 92, 103, 115, 117, 150, 152, 220 [best: 1000] 3856880631808
15, 27, 38, 51, 78, 79, 99, 110, 119, 137, 162, 232 [best: 1000] 3861175599104
15, 27, 38, 51, 78, 81, 85, 103, 122, 127, 154, 194 [best: 1000] 3865470566400
15, 27, 38, 51, 78, 82, 94, 99, 117, 128, 167, 209 [best: 1000] 3869765533696
15, 27, 38, 51, 78, 85, 88, 98, 108, 112, 113, 222 [best: 1000] 3874060500992
15, 27, 38, 51, 78, 87, 97, 98, 113, 122, 152, 247 [best: 1000] 3878355468288
15, 27, 38, 51, 78, 88, 102, 117, 130, 153, 161, 174 [best: 1000] 3882650435584
15, 27, 38, 51, 78, 89, 102, 103, 105, 151, 212, 218 [best: 1000] 3886945402880
15, 27, 38, 51, 78, 91, 97, 113, 138, 145, 205, 235 [best: 1000] 3891240370176
total chains: 3894198857497
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 14 14 14 14
9: 27 389 14 6 22
10: 740 11784 15 4 31
11: 22728 409990 18 3 36
12: 789766 15791466 19 2 41
13: 30831678 674211935 21 0 46
14: 1341091204 31858682631 23 0 51
15: 64496327377 1656566709540 25 0 56
16: 7363223531 198344865424 26 0 61
17: 21019284 669309934 31 1 66
18: 7899 286525 36 8 59
19: 1 35 35 35 35
20: 0 0 0 0 0
21: 0 0 0 0 0
real 442m21.420s
user 429m37.404s
sys 0m22.079s
stderr end
time="2025-05-03T15:05:12-04:00" level=warning msg="The cgroupv2 manager is set to systemd but there is no systemd user session available"
time="2025-05-03T15:05:12-04:00" level=warning msg="For using systemd, you may need to log in using a user session"
time="2025-05-03T15:05:12-04:00" level=warning msg="Alternatively, you can enable lingering with: `loginctl enable-linger 128` (possibly as root)"
time="2025-05-03T15:05:12-04:00" level=warning msg="Falling back to --cgroup-manager=cgroupfs"
time="2025-05-03T15:05:12-04:00" level=warning msg="The cgroupv2 manager is set to systemd but there is no systemd user session available"
time="2025-05-03T15:05:12-04:00" level=warning msg="For using systemd, you may need to log in using a user session"
time="2025-05-03T15:05:12-04:00" level=warning msg="Alternatively, you can enable lingering with: `loginctl enable-linger 128` (possibly as root)"
time="2025-05-03T15:05:12-04:00" level=warning msg="Falling back to --cgroup-manager=cgroupfs"
time="2025-05-03T15:05:12-04:00" level=warning msg="The cgroupv2 manager is set to systemd but there is no systemd user session available"
time="2025-05-03T15:05:12-04:00" level=warning msg="For using systemd, you may need to log in using a user session"
time="2025-05-03T15:05:12-04:00" level=warning msg="Alternatively, you can enable lingering with: `loginctl enable-linger 128` (possibly as root)"
time="2025-05-03T15:05:12-04:00" level=warning msg="Falling back to --cgroup-manager=cgroupfs"
time="2025-05-03T15:05:12-04:00" level=warning msg="The cgroupv2 manager is set to systemd but there is no systemd user session available"
time="2025-05-03T15:05:12-04:00" level=warning msg="For using systemd, you may need to log in using a user session"
time="2025-05-03T15:05:12-04:00" level=warning msg="Alternatively, you can enable lingering with: `loginctl enable-linger 128` (possibly as root)"
time="2025-05-03T15:05:12-04:00" level=warning msg="Falling back to --cgroup-manager=cgroupfs"
time="2025-05-03T15:05:12-04:00" level=warning msg="The cgroupv2 manager is set to systemd but there is no systemd user session available"
time="2025-05-03T15:05:12-04:00" level=warning msg="For using systemd, you may need to log in using a user session"
time="2025-05-03T15:05:12-04:00" level=warning msg="Alternatively, you can enable lingering with: `loginctl enable-linger 128` (possibly as root)"
time="2025-05-03T15:05:12-04:00" level=warning msg="Falling back to --cgroup-manager=cgroupfs"
time="2025-05-03T15:05:12-04:00" level=warning msg="The cgroupv2 manager is set to systemd but there is no systemd user session available"
time="2025-05-03T15:05:12-04:00" level=warning msg="For using systemd, you may need to log in using a user session"
time="2025-05-03T15:05:12-04:00" level=warning msg="Alternatively, you can enable lingering with: `loginctl enable-linger 128` (possibly as root)"
time="2025-05-03T15:05:12-04:00" level=warning msg="Falling back to --cgroup-manager=cgroupfs"
2025-05-03 15:05:12 (4063751): called boinc_finish(0)
</stderr_txt>
]]>
