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