Task 15162
| Name | batch_89__job_job-000254_1 |
| Workunit | 12182 |
| Created | 30 Apr 2025, 2:55:41 UTC |
| Sent | 1 May 2025, 3:29:59 UTC |
| Report deadline | 8 May 2025, 3:29:59 UTC |
| Received | 1 May 2025, 9:31:51 UTC |
| Server state | Over |
| Outcome | Success |
| Client state | Done |
| Exit status | 0 (0x00000000) |
| Computer ID | 33095 |
| Run time | 6 hours 1 min 33 sec |
| CPU time | 28 sec |
| Validate state | Valid |
| Credit | 60.99 |
| Device peak FLOPS | 2.34 GFLOPS |
| Application version | Universal Docker app v1.08 (docker) x86_64-pc-linux-gnu |
| Peak working set size | 39.41 MB |
| Peak swap size | 1.49 GB |
| Peak disk usage | 3.46 MB |
Stderr output
<core_client_version>8.2.2</core_client_version>
<![CDATA[
<stderr_txt>
89705940992
14, 18, 41, 50, 55, 79, 95, 112, 130, 147, 157, 213 [best: 1000] 1194000908288
14, 18, 41, 50, 55, 81, 91, 117, 122, 133, 149, 181 [best: 1000] 1198295875584
14, 18, 41, 50, 55, 83, 93, 102, 105, 131, 140, 187 [best: 1000] 1202590842880
14, 18, 41, 50, 55, 87, 91, 95, 143, 145, 173, 176 [best: 1000] 1206885810176
14, 18, 41, 50, 56, 57, 73, 93, 110, 113, 172, 177 [best: 1000] 1211180777472
14, 18, 41, 50, 56, 58, 64, 100, 108, 111, 118, 151 [best: 1000] 1215475744768
14, 18, 41, 50, 56, 58, 87, 98, 126, 182, 187, 224 [best: 1000] 1219770712064
14, 18, 41, 50, 56, 59, 66, 70, 74, 107, 161, 187 [best: 1000] 1224065679360
14, 18, 41, 50, 56, 59, 83, 85, 104, 125, 126, 153 [best: 1000] 1228360646656
14, 18, 41, 50, 56, 60, 63, 66, 86, 102, 106, 123 [best: 1000] 1232655613952
14, 18, 41, 50, 56, 60, 83, 104, 114, 134, 165, 196 [best: 1000] 1236950581248
14, 18, 41, 50, 56, 61, 67, 72, 101, 104, 132, 209 [best: 1000] 1241245548544
14, 18, 41, 50, 56, 61, 86, 100, 127, 150, 183, 204 [best: 1000] 1245540515840
14, 18, 41, 50, 56, 62, 66, 78, 94, 106, 112, 157 [best: 1000] 1249835483136
14, 18, 41, 50, 56, 62, 79, 98, 130, 135, 144, 174, 190 [best: 1000] 1254130450432
14, 18, 41, 50, 56, 62, 97, 115, 123, 128, 155, 203 [best: 1000] 1258425417728
14, 18, 41, 50, 56, 63, 74, 115, 118, 121, 146, 189 [best: 1000] 1262720385024
14, 18, 41, 50, 56, 63, 102, 103, 138, 149, 162, 209 [best: 1000] 1267015352320
14, 18, 41, 50, 56, 64, 84, 114, 124, 139, 150, 167 [best: 1000] 1271310319616
14, 18, 41, 50, 56, 65, 75, 97, 121, 136, 173, 196 [best: 1000] 1275605286912
14, 18, 41, 50, 56, 66, 67, 92, 98, 116, 127, 208 [best: 1000] 1279900254208
14, 18, 41, 50, 56, 66, 96, 116, 138, 140, 159, 225 [best: 1000] 1284195221504
14, 18, 41, 50, 56, 67, 92, 95, 131, 159, 162, 226 [best: 1000] 1288490188800
14, 18, 41, 50, 56, 68, 91, 114, 130, 139, 147, 157 [best: 1000] 1292785156096
14, 18, 41, 50, 56, 71, 77, 80, 98, 121, 125, 179 [best: 1000] 1297080123392
14, 18, 41, 50, 56, 72, 82, 97, 100, 159, 181, 183 [best: 1000] 1301375090688
14, 18, 41, 50, 56, 73, 90, 107, 122, 147, 151, 171 [best: 1000] 1305670057984
14, 18, 41, 50, 56, 74, 96, 126, 140, 170, 181, 197 [best: 1000] 1309965025280
14, 18, 41, 50, 56, 76, 80, 84, 89, 139, 168, 185 [best: 1000] 1314259992576
14, 18, 41, 50, 56, 77, 94, 103, 110, 165, 182, 219 [best: 1000] 1318554959872
14, 18, 41, 50, 56, 81, 83, 95, 99, 123, 132, 204 [best: 1000] 1322849927168
14, 18, 41, 50, 56, 83, 88, 89, 93, 120, 136, 160 [best: 1000] 1327144894464
14, 18, 41, 50, 56, 84, 97, 118, 119, 125, 133, 207 [best: 1000] 1331439861760
14, 18, 41, 50, 56, 87, 95, 103, 105, 132, 140, 147 [best: 1000] 1335734829056
14, 18, 41, 50, 57, 58, 69, 79, 124, 135, 137, 142, 217 [best: 1000] 1340029796352
14, 18, 41, 50, 57, 58, 95, 104, 125, 134, 161, 199 [best: 1000] 1344324763648
14, 18, 41, 50, 57, 59, 67, 80, 116, 149, 199, 209 [best: 1000] 1348619730944
14, 18, 41, 50, 57, 59, 84, 86, 126, 154, 156, 173 [best: 1000] 1352914698240
14, 18, 41, 50, 57, 60, 63, 84, 86, 140, 161, 183, 215 [best: 1000] 1357209665536
14, 18, 41, 50, 57, 60, 84, 88, 108, 111, 169, 182 [best: 1000] 1361504632832
14, 18, 41, 50, 57, 61, 67, 106, 109, 120, 144, 196 [best: 1000] 1365799600128
14, 18, 41, 50, 57, 61, 85, 97, 105, 168, 173, 227 [best: 1000] 1370094567424
14, 18, 41, 50, 57, 62, 66, 72, 98, 152, 172, 213 [best: 1000] 1374389534720
14, 18, 41, 50, 57, 62, 76, 100, 116, 147, 179, 201 [best: 1000] 1378684502016
14, 18, 41, 50, 57, 62, 94, 100, 109, 145, 146, 189 [best: 1000] 1382979469312
14, 18, 41, 50, 57, 63, 69, 74, 80, 157, 165, 194 [best: 1000] 1387274436608
14, 18, 41, 50, 57, 63, 89, 92, 129, 149, 151, 188 [best: 1000] 1391569403904
14, 18, 41, 50, 57, 64, 74, 110, 114, 115, 184, 194 [best: 1000] 1395864371200
14, 18, 41, 50, 57, 65, 69, 74, 109, 111, 114, 188 [best: 1000] 1400159338496
14, 18, 41, 50, 57, 65, 95, 100, 101, 103, 129, 183 [best: 1000] 1404454305792
14, 18, 41, 50, 57, 66, 82, 87, 99, 132, 136, 179 [best: 1000] 1408749273088
14, 18, 41, 50, 57, 67, 75, 98, 99, 136, 156, 188 [best: 1000] 1413044240384
14, 18, 41, 50, 57, 68, 70, 73, 114, 132, 147, 170 [best: 1000] 1417339207680
14, 18, 41, 50, 57, 68, 99, 111, 132, 133, 153, 172, 266 [best: 1000] 1421634174976
14, 18, 41, 50, 57, 71, 81, 117, 122, 147, 185, 230 [best: 1000] 1425929142272
14, 18, 41, 50, 57, 72, 82, 98, 118, 157, 182, 200 [best: 1000] 1430224109568
14, 18, 41, 50, 57, 73, 82, 103, 123, 158, 163, 206 [best: 1000] 1434519076864
14, 18, 41, 50, 57, 74, 89, 90, 93, 127, 143, 216 [best: 1000] 1438814044160
14, 18, 41, 50, 57, 75, 90, 109, 114, 133, 144, 179 [best: 1000] 1443109011456
14, 18, 41, 50, 57, 77, 78, 81, 119, 135, 155, 188 [best: 1000] 1447403978752
14, 18, 41, 50, 57, 79, 88, 96, 129, 152, 168, 174, 180 [best: 1000] 1451698946048
14, 18, 41, 50, 57, 80, 104, 117, 136, 161, 165, 177 [best: 1000] 1455993913344
14, 18, 41, 50, 57, 82, 85, 109, 122, 152, 164, 221 [best: 1000] 1460288880640
14, 18, 41, 50, 57, 84, 103, 104, 111, 147, 174, 195 [best: 1000] 1464583847936
14, 18, 41, 50, 58, 59, 60, 94, 103, 104, 117, 132 [best: 1000] 1468878815232
14, 18, 41, 50, 58, 59, 66, 104, 144, 145, 168, 189 [best: 1000] 1473173782528
14, 18, 41, 50, 58, 59, 75, 104, 107, 163, 174, 202 [best: 1000] 1477468749824
14, 18, 41, 50, 58, 59, 86, 123, 133, 181, 195, 241 [best: 1000] 1481763717120
14, 18, 41, 50, 58, 59, 105, 121, 132, 134, 170, 173, 190 [best: 1000] 1486058684416
14, 18, 41, 50, 58, 60, 66, 95, 97, 139, 171, 175 [best: 1000] 1490353651712
14, 18, 41, 50, 58, 60, 80, 87, 107, 122, 142, 216 [best: 1000] 1494648619008
14, 18, 41, 50, 58, 60, 103, 115, 133, 167, 185, 188 [best: 1000] 1498943586304
14, 18, 41, 50, 58, 61, 68, 85, 87, 108, 113, 163 [best: 1000] 1503238553600
14, 18, 41, 50, 58, 61, 82, 85, 138, 144, 155, 182 [best: 1000] 1507533520896
14, 18, 41, 50, 58, 61, 102, 105, 130, 178, 189, 226 [best: 1000] 1511828488192
14, 18, 41, 50, 58, 62, 67, 75, 97, 124, 167, 244 [best: 1000] 1516123455488
14, 18, 41, 50, 58, 62, 74, 96, 99, 104, 149, 185 [best: 1000] 1520418422784
14, 18, 41, 50, 58, 62, 82, 136, 141, 153, 154, 229 [best: 1000] 1524713390080
14, 18, 41, 50, 58, 62, 93, 107, 115, 145, 230, 269 [best: 1000] 1529008357376
14, 18, 41, 50, 58, 62, 106, 114, 142, 146, 158, 197, 232 [best: 1000] 1533303324672
14, 18, 41, 50, 58, 63, 68, 83, 111, 141, 154, 184 [best: 1000] 1537598291968
14, 18, 41, 50, 58, 63, 78, 121, 132, 142, 167, 206 [best: 1000] 1541893259264
14, 18, 41, 50, 58, 63, 93, 100, 135, 160, 165, 236 [best: 1000] 1546188226560
14, 18, 41, 50, 58, 64, 67, 72, 121, 144, 147, 148 [best: 1000] 1550483193856
14, 18, 41, 50, 58, 64, 82, 86, 88, 91, 130, 151 [best: 1000] 1554778161152
14, 18, 41, 50, 58, 65, 66, 92, 117, 130, 138, 203 [best: 1000] 1559073128448
14, 18, 41, 50, 58, 65, 77, 86, 102, 107, 122, 123 [best: 1000] 1563368095744
14, 18, 41, 50, 58, 65, 93, 113, 147, 183, 190, 219 [best: 1000] 1567663063040
14, 18, 41, 50, 58, 66, 72, 81, 87, 92, 150, 213 [best: 1000] 1571958030336
14, 18, 41, 50, 58, 66, 88, 98, 115, 148, 183, 239 [best: 1000] 1576252997632
14, 18, 41, 50, 58, 67, 73, 97, 100, 142, 149, 151 [best: 1000] 1580547964928
14, 18, 41, 50, 58, 67, 84, 137, 152, 182, 203, 212 [best: 1000] 1584842932224
14, 18, 41, 50, 58, 67, 107, 131, 135, 147, 168, 173 [best: 1000] 1589137899520
14, 18, 41, 50, 58, 68, 81, 98, 114, 116, 140, 152 [best: 1000] 1593432866816
14, 18, 41, 50, 58, 68, 104, 130, 132, 155, 159, 226 [best: 1000] 1597727834112
14, 18, 41, 50, 58, 70, 76, 109, 120, 144, 150 [best: 1000] 1602022801408
14, 18, 41, 50, 58, 71, 82, 114, 117, 180, 201, 221 [best: 1000] 1606317768704
14, 18, 41, 50, 58, 72, 76, 108, 121, 158, 177, 226 [best: 1000] 1610612736000
14, 18, 41, 50, 58, 72, 89, 107, 123, 126, 163, 169 [best: 1000] 1614907703296
14, 18, 41, 50, 58, 73, 75, 111, 129, 147, 167, 178 [best: 1000] 1619202670592
14, 18, 41, 50, 58, 73, 95, 133, 139, 162, 179, 199 [best: 1000] 1623497637888
14, 18, 41, 50, 58, 74, 85, 98, 120, 149, 164, 191 [best: 1000] 1627792605184
14, 18, 41, 50, 58, 75, 78, 97, 106, 132, 205, 217 [best: 1000] 1632087572480
14, 18, 41, 50, 58, 75, 94, 104, 143, 153, 164, 198 [best: 1000] 1636382539776
14, 18, 41, 50, 58, 76, 84, 113, 130, 136, 171, 220 [best: 1000] 1640677507072
14, 18, 41, 50, 58, 77, 83, 97, 128, 135, 151, 169 [best: 1000] 1644972474368
14, 18, 41, 50, 58, 78, 80, 94, 97, 98, 126, 135 [best: 1000] 1649267441664
14, 18, 41, 50, 58, 79, 80, 86, 96, 126, 156, 190 [best: 1000] 1653562408960
14, 18, 41, 50, 58, 80, 87, 89, 128, 142, 150, 170 [best: 1000] 1657857376256
14, 18, 41, 50, 58, 81, 94, 102, 107, 152, 155, 156 [best: 1000] 1662152343552
14, 18, 41, 50, 58, 82, 101, 119, 124, 149, 158, 167 [best: 1000] 1666447310848
14, 18, 41, 50, 58, 83, 101, 107, 133, 162, 173, 192 [best: 1000] 1670742278144
14, 18, 41, 50, 58, 84, 95, 126, 147, 152, 179, 190 [best: 1000] 1675037245440
14, 18, 41, 50, 58, 84, 112, 113, 126, 146, 158, 188 [best: 1000] 1679332212736
14, 18, 41, 50, 58, 85, 99, 123, 127, 152, 154, 199 [best: 1000] 1683627180032
14, 18, 41, 50, 58, 86, 101, 102, 114, 145, 156, 233 [best: 1000] 1687922147328
14, 18, 41, 50, 58, 87, 109, 118, 131, 148, 165, 187, 188 [best: 1000] 1692217114624
14, 18, 41, 50, 58, 90, 95, 100, 120, 167, 178, 202 [best: 1000] 1696512081920
14, 18, 41, 50, 58, 93, 99, 106, 136, 148, 151, 229 [best: 1000] 1700807049216
14, 18, 41, 50, 58, 94, 116, 132, 133, 158, 190, 208 [best: 1000] 1705102016512
14, 18, 41, 50, 59, 60, 63, 87, 123, 133, 163, 199 [best: 1000] 1709396983808
14, 18, 41, 50, 59, 60, 71, 127, 151, 181, 195, 206, 234 [best: 1000] 1713691951104
14, 18, 41, 50, 59, 60, 81, 89, 118, 148, 150, 228 [best: 1000] 1717986918400
14, 18, 41, 50, 59, 60, 90, 103, 149, 158, 170, 204 [best: 1000] 1722281885696
14, 18, 41, 50, 59, 61, 62, 120, 124, 137, 187, 188, 224 [best: 1000] 1726576852992
14, 18, 41, 50, 59, 61, 68, 88, 98, 147, 170, 180, 222 [best: 1000] 1730871820288
14, 18, 41, 50, 59, 61, 75, 98, 122, 173, 189, 235 [best: 1000] 1735166787584
14, 18, 41, 50, 59, 61, 83, 124, 142, 151, 223, 230 [best: 1000] 1739461754880
14, 18, 41, 50, 59, 61, 90, 115, 118, 146, 148, 189 [best: 1000] 1743756722176
14, 18, 41, 50, 59, 61, 105, 110, 115, 175, 185, 190 [best: 1000] 1748051689472
14, 18, 41, 50, 59, 62, 66, 126, 148, 159, 177, 185 [best: 1000] 1752346656768
14, 18, 41, 50, 59, 62, 76, 79, 102, 110, 147, 194 [best: 1000] 1756641624064
14, 18, 41, 50, 59, 62, 87, 90, 136, 152, 176, 212 [best: 1000] 1760936591360
14, 18, 41, 50, 59, 62, 103, 107, 108, 111, 131, 140 [best: 1000] 1765231558656
14, 18, 41, 50, 59, 63, 68, 104, 134, 166, 189, 231 [best: 1000] 1769526525952
14, 18, 41, 50, 59, 63, 75, 101, 139, 149, 189, 215 [best: 1000] 1773821493248
14, 18, 41, 50, 59, 63, 83, 137, 140, 160, 183, 211 [best: 1000] 1778116460544
14, 18, 41, 50, 59, 63, 91, 92, 121, 143, 152, 195, 279 [best: 1000] 1782411427840
14, 18, 41, 50, 59, 63, 105, 124, 125, 188, 200, 203 [best: 1000] 1786706395136
14, 18, 41, 50, 59, 64, 71, 87, 105, 151, 166, 236 [best: 1000] 1791001362432
14, 18, 41, 50, 59, 64, 80, 97, 147, 158, 180, 210 [best: 1000] 1795296329728
14, 18, 41, 50, 59, 64, 89, 140, 143, 160, 177, 179 [best: 1000] 1799591297024
14, 18, 41, 50, 59, 65, 67, 93, 120, 134, 144, 211 [best: 1000] 1803886264320
14, 18, 41, 50, 59, 65, 77, 103, 105, 111, 119, 199 [best: 1000] 1808181231616
14, 18, 41, 50, 59, 65, 89, 97, 128, 148, 171, 219 [best: 1000] 1812476198912
14, 18, 41, 50, 59, 66, 70, 76, 84, 124, 144, 172 [best: 1000] 1816771166208
14, 18, 41, 50, 59, 66, 78, 122, 130, 166, 180, 208 [best: 1000] 1821066133504
14, 18, 41, 50, 59, 66, 88, 111, 118, 120, 134, 135, 180 [best: 1000] 1825361100800
14, 18, 41, 50, 59, 67, 68, 84, 114, 133, 168, 180 [best: 1000] 1829656068096
14, 18, 41, 50, 59, 67, 77, 100, 101, 113, 210, 213 [best: 1000] 1833951035392
14, 18, 41, 50, 59, 67, 88, 103, 131, 146, 224, 262, 273 [best: 1000] 1838246002688
14, 18, 41, 50, 59, 68, 71, 92, 132, 136, 137, 149, 203 [best: 1000] 1842540969984
14, 18, 41, 50, 59, 68, 84, 95, 122, 162, 193, 230 [best: 1000] 1846835937280
14, 18, 41, 50, 59, 69, 72, 81, 106, 108, 135, 177 [best: 1000] 1851130904576
14, 18, 41, 50, 59, 69, 97, 113, 122, 144, 169, 178 [best: 1000] 1855425871872
14, 18, 41, 50, 59, 70, 92, 104, 110, 128, 139, 164, 203 [best: 1000] 1859720839168
14, 18, 41, 50, 59, 71, 80, 93, 113, 118, 160, 170 [best: 1000] 1864015806464
14, 18, 41, 50, 59, 71, 89, 106, 108, 114, 136, 212 [best: 1000] 1868310773760
14, 18, 41, 50, 59, 72, 73, 80, 108, 111, 146, 175 [best: 1000] 1872605741056
14, 18, 41, 50, 59, 72, 82, 85, 163, 167, 210, 241 [best: 1000] 1876900708352
14, 18, 41, 50, 59, 72, 89, 94, 129, 138, 153, 165 [best: 1000] 1881195675648
14, 18, 41, 50, 59, 73, 74, 87, 134, 175, 177, 217 [best: 1000] 1885490642944
14, 18, 41, 50, 59, 73, 85, 87, 111, 119, 200, 226 [best: 1000] 1889785610240
14, 18, 41, 50, 59, 73, 96, 101, 122, 130, 180, 190 [best: 1000] 1894080577536
14, 18, 41, 50, 59, 74, 80, 81, 115, 144, 149, 168 [best: 1000] 1898375544832
14, 18, 41, 50, 59, 74, 88, 89, 134, 153, 215, 226, 234 [best: 1000] 1902670512128
14, 18, 41, 50, 59, 74, 100, 111, 115, 202, 224, 247 [best: 1000] 1906965479424
14, 18, 41, 50, 59, 75, 80, 88, 152, 158, 187, 189, 210 [best: 1000] 1911260446720
14, 18, 41, 50, 59, 75, 88, 99, 106, 114, 135, 148, 266 [best: 1000] 1915555414016
14, 18, 41, 50, 59, 75, 100, 128, 146, 191, 210, 211 [best: 1000] 1919850381312
14, 18, 41, 50, 59, 76, 83, 100, 136, 147, 163, 199 [best: 1000] 1924145348608
14, 18, 41, 50, 59, 76, 93, 99, 113, 116, 140, 223 [best: 1000] 1928440315904
14, 18, 41, 50, 59, 77, 82, 83, 108, 175, 197, 233 [best: 1000] 1932735283200
14, 18, 41, 50, 59, 77, 91, 120, 126, 134, 139, 174 [best: 1000] 1937030250496
14, 18, 41, 50, 59, 78, 83, 84, 126, 135, 139, 175 [best: 1000] 1941325217792
14, 18, 41, 50, 59, 78, 100, 116, 142, 149, 195, 216 [best: 1000] 1945620185088
14, 18, 41, 50, 59, 79, 91, 92, 131, 135, 173, 187, 210 [best: 1000] 1949915152384
14, 18, 41, 50, 59, 80, 88, 96, 113, 133, 158, 201, 238 [best: 1000] 1954210119680
14, 18, 41, 50, 59, 81, 85, 94, 113, 149, 182, 184 [best: 1000] 1958505086976
14, 18, 41, 50, 59, 81, 106, 121, 126, 141, 180, 214, 221 [best: 1000] 1962800054272
14, 18, 41, 50, 59, 82, 97, 106, 126, 132, 144, 197 [best: 1000] 1967095021568
14, 18, 41, 50, 59, 83, 88, 136, 141, 169, 185, 246, 271 [best: 1000] 1971389988864
14, 18, 41, 50, 59, 83, 105, 115, 147, 160, 168, 227, 229 [best: 1000] 1975684956160
14, 18, 41, 50, 59, 84, 88, 135, 137, 162, 202, 220, 225 [best: 1000] 1979979923456
14, 18, 41, 50, 59, 84, 106, 109, 111, 145, 189, 237 [best: 1000] 1984274890752
14, 18, 41, 50, 59, 85, 89, 131, 147, 149, 168, 235 [best: 1000] 1988569858048
14, 18, 41, 50, 59, 85, 99, 112, 155, 161, 168, 199, 214 [best: 1000] 1992864825344
14, 18, 41, 50, 59, 85, 112, 131, 166, 184, 193, 201, 213 [best: 1000] 1997159792640
14, 18, 41, 50, 59, 86, 93, 104, 106, 141, 176, 225 [best: 1000] 2001454759936
14, 18, 41, 50, 59, 87, 88, 125, 141, 167, 178, 210, 261 [best: 1000] 2005749727232
14, 18, 41, 50, 59, 87, 97, 128, 139, 151, 157, 282 [best: 1000] 2010044694528
14, 18, 41, 50, 59, 87, 114, 133, 138, 149, 170, 256 [best: 1000] 2014339661824
14, 18, 41, 50, 59, 88, 95, 98, 116, 147, 173, 196, 229 [best: 1000] 2018634629120
14, 18, 41, 50, 59, 88, 103, 116, 127, 149, 184, 204, 223 [best: 1000] 2022929596416
14, 18, 41, 50, 59, 88, 116, 118, 138, 147, 170, 184, 246 [best: 1000] 2027224563712
14, 18, 41, 50, 59, 89, 93, 131, 152, 175, 189, 207 [best: 1000] 2031519531008
14, 18, 41, 50, 59, 90, 96, 97, 101, 135, 144, 165 [best: 1000] 2035814498304
14, 18, 41, 50, 59, 92, 94, 104, 120, 142, 174, 194, 260 [best: 1000] 2040109465600
14, 18, 41, 50, 59, 92, 102, 104, 136, 140, 161, 174, 206 [best: 1000] 2044404432896
14, 18, 41, 50, 59, 92, 104, 118, 142, 149, 154, 219 [best: 1000] 2048699400192
14, 18, 41, 50, 59, 93, 108, 117, 126, 128, 137, 216 [best: 1000] 2052994367488
14, 18, 41, 50, 60, 61, 67, 131, 134, 172, 203, 206 [best: 1000] 2057289334784
14, 18, 41, 50, 60, 61, 78, 88, 93, 126, 131, 235 [best: 1000] 2061584302080
14, 18, 41, 50, 60, 61, 91, 110, 116, 123, 150, 162 [best: 1000] 2065879269376
14, 18, 41, 50, 60, 62, 63, 91, 121, 135, 172, 216 [best: 1000] 2070174236672
14, 18, 41, 50, 60, 62, 69, 102, 117, 132, 186, 215 [best: 1000] 2074469203968
14, 18, 41, 50, 60, 62, 76, 103, 147, 152, 191, 226 [best: 1000] 2078764171264
14, 18, 41, 50, 60, 62, 85, 116, 159, 161, 195, 239 [best: 1000] 2083059138560
14, 18, 41, 50, 60, 62, 97, 101, 116, 123, 153, 182 [best: 1000] 2087354105856
14, 18, 41, 50, 60, 62, 112, 126, 133, 182, 186, 207, 247 [best: 1000] 2091649073152
14, 18, 41, 50, 60, 63, 72, 129, 140, 175, 180, 240 [best: 1000] 2095944040448
14, 18, 41, 50, 60, 63, 87, 101, 123, 127, 210, 227 [best: 1000] 2100239007744
14, 18, 41, 50, 60, 64, 67, 81, 138, 178, 192, 216 [best: 1000] 2104533975040
14, 18, 41, 50, 60, 64, 82, 102, 145, 148, 157, 206 [best: 1000] 2108828942336
14, 18, 41, 50, 60, 65, 66, 113, 117, 136, 169, 191 [best: 1000] 2113123909632
14, 18, 41, 50, 60, 65, 77, 96, 132, 163, 184, 219 [best: 1000] 2117418876928
14, 18, 41, 50, 60, 65, 94, 96, 118, 158, 190, 212 [best: 1000] 2121713844224
14, 18, 41, 50, 60, 66, 72, 84, 114, 135, 142, 150 [best: 1000] 2126008811520
14, 18, 41, 50, 60, 66, 89, 92, 125, 135, 147, 208 [best: 1000] 2130303778816
14, 18, 41, 50, 60, 67, 73, 96, 124, 162, 186, 189 [best: 1000] 2134598746112
14, 18, 41, 50, 60, 67, 85, 104, 123, 196, 204, 225 [best: 1000] 2138893713408
14, 18, 41, 50, 60, 67, 108, 112, 147, 150, 158, 199 [best: 1000] 2143188680704
14, 18, 41, 50, 60, 68, 81, 114, 131, 152, 179, 198 [best: 1000] 2147483648000
14, 18, 41, 50, 60, 68, 104, 109, 118, 195, 221, 233 [best: 1000] 2151778615296
14, 18, 41, 50, 60, 70, 75, 97, 121, 123, 127 [best: 1000] 2156073582592
14, 18, 41, 50, 60, 71, 79, 93, 126, 140, 176, 201 [best: 1000] 2160368549888
14, 18, 41, 50, 60, 71, 103, 105, 130, 152, 153, 182 [best: 1000] 2164663517184
14, 18, 41, 50, 60, 72, 83, 102, 106, 114, 173, 200 [best: 1000] 2168958484480
14, 18, 41, 50, 60, 72, 102, 106, 154, 158, 189, 199 [best: 1000] 2173253451776
14, 18, 41, 50, 60, 73, 88, 111, 124, 178, 190, 223 [best: 1000] 2177548419072
14, 18, 41, 50, 60, 74, 84, 89, 114, 126, 156, 203 [best: 1000] 2181843386368
14, 18, 41, 50, 60, 74, 103, 125, 146, 152, 160, 186 [best: 1000] 2186138353664
14, 18, 41, 50, 60, 75, 89, 96, 113, 115, 162, 186 [best: 1000] 2190433320960
14, 18, 41, 50, 60, 76, 83, 98, 124, 151, 186, 198 [best: 1000] 2194728288256
14, 18, 41, 50, 60, 77, 79, 82, 122, 153, 183, 214 [best: 1000] 2199023255552
14, 18, 41, 50, 60, 78, 80, 81, 117, 118, 153, 170 [best: 1000] 2203318222848
14, 18, 41, 50, 60, 78, 111, 127, 138, 147, 180, 206 [best: 1000] 2207613190144
14, 18, 41, 50, 60, 80, 92, 109, 110, 122, 129, 179 [best: 1000] 2211908157440
14, 18, 41, 50, 60, 81, 103, 118, 159, 166, 172, 211 [best: 1000] 2216203124736
14, 18, 41, 50, 60, 82, 101, 104, 107, 147, 174, 221 [best: 1000] 2220498092032
14, 18, 41, 50, 60, 83, 101, 109, 130, 139, 142, 155 [best: 1000] 2224793059328
14, 18, 41, 50, 60, 85, 86, 93, 116, 159, 216, 249 [best: 1000] 2229088026624
14, 18, 41, 50, 60, 85, 98, 113, 131, 135, 182, 241 [best: 1000] 2233382993920
14, 18, 41, 50, 60, 85, 119, 124, 136, 138, 179, 200 [best: 1000] 2237677961216
14, 18, 41, 50, 60, 86, 107, 111, 123, 161, 165, 207 [best: 1000] 2241972928512
14, 18, 41, 50, 60, 88, 91, 96, 107, 140, 157, 162 [best: 1000] 2246267895808
14, 18, 41, 50, 60, 90, 96, 99, 103, 118, 158, 200 [best: 1000] 2250562863104
14, 18, 41, 50, 60, 93, 99, 106, 119, 149, 219, 244 [best: 1000] 2254857830400
14, 18, 41, 50, 60, 95, 96, 97, 103, 115, 128, 210 [best: 1000] 2259152797696
14, 18, 41, 50, 61, 62, 65, 74, 76, 157, 201, 223 [best: 1000] 2263447764992
14, 18, 41, 50, 61, 62, 71, 77, 132, 145, 188, 226 [best: 1000] 2267742732288
14, 18, 41, 50, 61, 62, 76, 91, 93, 140, 152, 211 [best: 1000] 2272037699584
14, 18, 41, 50, 61, 62, 82, 111, 120, 127, 131, 154, 171 [best: 1000] 2276332666880
14, 18, 41, 50, 61, 62, 89, 111, 144, 150, 154, 199, 261 [best: 1000] 2280627634176
14, 18, 41, 50, 61, 62, 99, 140, 150, 166, 222, 232 [best: 1000] 2284922601472
14, 18, 41, 50, 61, 62, 115, 118, 169, 205, 226, 244 [best: 1000] 2289217568768
14, 18, 41, 50, 61, 63, 72, 86, 142, 177, 190, 234 [best: 1000] 2293512536064
14, 18, 41, 50, 61, 63, 82, 101, 122, 188, 192, 202, 210 [best: 1000] 2297807503360
14, 18, 41, 50, 61, 63, 97, 99, 110, 124, 171, 207 [best: 1000] 2302102470656
14, 18, 41, 50, 61, 64, 70, 78, 103, 110, 167, 196 [best: 1000] 2306397437952
14, 18, 41, 50, 61, 64, 82, 120, 157, 159, 167, 222 [best: 1000] 2310692405248
14, 18, 41, 50, 61, 64, 106, 116, 133, 147, 199, 215 [best: 1000] 2314987372544
14, 18, 41, 50, 61, 65, 73, 77, 114, 135, 151, 215 [best: 1000] 2319282339840
14, 18, 41, 50, 61, 65, 81, 84, 91, 148, 189, 220 [best: 1000] 2323577307136
14, 18, 41, 50, 61, 65, 91, 93, 103, 111, 126, 197 [best: 1000] 2327872274432
14, 18, 41, 50, 61, 65, 111, 112, 127, 137, 177, 227 [best: 1000] 2332167241728
14, 18, 41, 50, 61, 66, 75, 83, 91, 102, 109, 145 [best: 1000] 2336462209024
14, 18, 41, 50, 61, 66, 85, 92, 136, 142, 198, 205 [best: 1000] 2340757176320
14, 18, 41, 50, 61, 66, 104, 130, 133, 134, 143, 200 [best: 1000] 2345052143616
14, 18, 41, 50, 61, 67, 76, 80, 137, 149, 162, 191 [best: 1000] 2349347110912
14, 18, 41, 50, 61, 67, 85, 99, 121, 176, 182, 233 [best: 1000] 2353642078208
14, 18, 41, 50, 61, 67, 104, 123, 156, 158, 167, 187 [best: 1000] 2357937045504
14, 18, 41, 50, 61, 68, 77, 101, 124, 155, 196, 218 [best: 1000] 2362232012800
14, 18, 41, 50, 61, 68, 89, 100, 117, 167, 188, 191 [best: 1000] 2366526980096
14, 18, 41, 50, 61, 69, 76, 84, 146, 164, 184, 211 [best: 1000] 2370821947392
14, 18, 41, 50, 61, 70, 78, 85, 99, 112, 146, 228 [best: 1000] 2375116914688
14, 18, 41, 50, 61, 71, 76, 98, 122, 123, 147, 175 [best: 1000] 2379411881984
14, 18, 41, 50, 61, 71, 90, 100, 114, 115, 147, 183 [best: 1000] 2383706849280
14, 18, 41, 50, 61, 72, 76, 99, 107, 109, 166, 199 [best: 1000] 2388001816576
14, 18, 41, 50, 61, 72, 84, 125, 164, 169, 227, 244 [best: 1000] 2392296783872
14, 18, 41, 50, 61, 72, 98, 130, 141, 172, 192, 193 [best: 1000] 2396591751168
14, 18, 41, 50, 61, 73, 79, 85, 108, 115, 194, 220 [best: 1000] 2400886718464
14, 18, 41, 50, 61, 73, 92, 98, 116, 122, 219, 240 [best: 1000] 2405181685760
14, 18, 41, 50, 61, 74, 79, 86, 125, 134, 141, 215 [best: 1000] 2409476653056
14, 18, 41, 50, 61, 74, 92, 132, 160, 169, 177, 182 [best: 1000] 2413771620352
14, 18, 41, 50, 61, 75, 80, 94, 95, 153, 180, 220 [best: 1000] 2418066587648
14, 18, 41, 50, 61, 75, 89, 110, 140, 146, 149, 238 [best: 1000] 2422361554944
14, 18, 41, 50, 61, 75, 109, 116, 138, 158, 165, 168 [best: 1000] 2426656522240
14, 18, 41, 50, 61, 76, 87, 122, 124, 160, 164, 213 [best: 1000] 2430951489536
14, 18, 41, 50, 61, 77, 80, 123, 157, 182, 204, 217 [best: 1000] 2435246456832
14, 18, 41, 50, 61, 77, 94, 120, 134, 143, 152, 199 [best: 1000] 2439541424128
14, 18, 41, 50, 61, 78, 84, 104, 122, 134, 154, 200 [best: 1000] 2443836391424
14, 18, 41, 50, 61, 78, 99, 101, 120, 129, 136, 164 [best: 1000] 2448131358720
14, 18, 41, 50, 61, 79, 84, 106, 122, 132, 183, 224 [best: 1000] 2452426326016
14, 18, 41, 50, 61, 79, 102, 111, 115, 184, 188, 222 [best: 1000] 2456721293312
14, 18, 41, 50, 61, 80, 88, 104, 165, 181, 186, 233 [best: 1000] 2461016260608
14, 18, 41, 50, 61, 80, 110, 112, 119, 186, 194, 248 [best: 1000] 2465311227904
14, 18, 41, 50, 61, 82, 84, 87, 103, 110, 145, 161 [best: 1000] 2469606195200
14, 18, 41, 50, 61, 82, 94, 126, 167, 178, 203, 235 [best: 1000] 2473901162496
14, 18, 41, 50, 61, 83, 84, 89, 93, 99, 129, 222 [best: 1000] 2478196129792
14, 18, 41, 50, 61, 84, 86, 121, 155, 158, 191, 248, 257 [best: 1000] 2482491097088
14, 18, 41, 50, 61, 84, 93, 108, 114, 139, 205, 231 [best: 1000] 2486786064384
14, 18, 41, 50, 61, 84, 102, 103, 112, 147, 153, 236 [best: 1000] 2491081031680
14, 18, 41, 50, 61, 84, 113, 114, 139, 141, 159, 205 [best: 1000] 2495375998976
14, 18, 41, 50, 61, 85, 90, 94, 113, 120, 152, 201 [best: 1000] 2499670966272
14, 18, 41, 50, 61, 85, 105, 123, 164, 179, 181, 198 [best: 1000] 2503965933568
14, 18, 41, 50, 61, 86, 93, 137, 153, 156, 182, 210 [best: 1000] 2508260900864
14, 18, 41, 50, 61, 87, 91, 114, 132, 153, 164, 224 [best: 1000] 2512555868160
14, 18, 41, 50, 61, 88, 93, 115, 120, 163, 202, 228 [best: 1000] 2516850835456
14, 18, 41, 50, 61, 89, 98, 106, 137, 184, 216, 217 [best: 1000] 2521145802752
14, 18, 41, 50, 61, 90, 106, 120, 134, 162, 165, 200 [best: 1000] 2525440770048
14, 18, 41, 50, 61, 92, 95, 99, 100, 132, 177, 242 [best: 1000] 2529735737344
14, 18, 41, 50, 61, 92, 109, 128, 132, 137, 152, 203 [best: 1000] 2534030704640
14, 18, 41, 50, 61, 94, 96, 104, 131, 148, 164, 199, 247 [best: 1000] 2538325671936
14, 18, 41, 50, 61, 95, 109, 113, 117, 143, 223, 235 [best: 1000] 2542620639232
14, 18, 41, 50, 62, 63, 68, 86, 93, 142, 169, 227 [best: 1000] 2546915606528
14, 18, 41, 50, 62, 63, 74, 94, 107, 137, 150, 193, 212 [best: 1000] 2551210573824
14, 18, 41, 50, 62, 63, 80, 90, 102, 159, 166, 226 [best: 1000] 2555505541120
14, 18, 41, 50, 62, 63, 85, 131, 146, 148, 172, 203 [best: 1000] 2559800508416
14, 18, 41, 50, 62, 63, 93, 94, 102, 108, 147, 202, 205 [best: 1000] 2564095475712
14, 18, 41, 50, 62, 63, 106, 136, 148, 150, 212, 253 [best: 1000] 2568390443008
14, 18, 41, 50, 62, 64, 69, 71, 118, 149, 152, 155 [best: 1000] 2572685410304
14, 18, 41, 50, 62, 64, 76, 81, 87, 124, 199, 208 [best: 1000] 2576980377600
14, 18, 41, 50, 62, 64, 83, 94, 103, 118, 153, 195, 206 [best: 1000] 2581275344896
14, 18, 41, 50, 62, 64, 90, 101, 104, 121, 131, 209 [best: 1000] 2585570312192
14, 18, 41, 50, 62, 64, 111, 125, 137, 140, 165, 250 [best: 1000] 2589865279488
14, 18, 41, 50, 62, 65, 73, 104, 107, 121, 129, 136 [best: 1000] 2594160246784
14, 18, 41, 50, 62, 65, 82, 101, 108, 152, 161, 169 [best: 1000] 2598455214080
14, 18, 41, 50, 62, 65, 94, 95, 121, 125, 173, 181, 232 [best: 1000] 2602750181376
14, 18, 41, 50, 62, 66, 70, 75, 108, 141, 168, 176 [best: 1000] 2607045148672
14, 18, 41, 50, 62, 66, 76, 105, 134, 165, 180, 196 [best: 1000] 2611340115968
14, 18, 41, 50, 62, 66, 83, 128, 140, 201, 212, 252, 265 [best: 1000] 2615635083264
14, 18, 41, 50, 62, 66, 91, 97, 99, 102, 113, 187 [best: 1000] 2619930050560
14, 18, 41, 50, 62, 66, 114, 116, 146, 160, 179, 182 [best: 1000] 2624225017856
14, 18, 41, 50, 62, 67, 76, 88, 106, 149, 161, 177, 221 [best: 1000] 2628519985152
14, 18, 41, 50, 62, 67, 85, 120, 131, 182, 201, 221, 233 [best: 1000] 2632814952448
14, 18, 41, 50, 62, 67, 102, 108, 114, 127, 134, 243 [best: 1000] 2637109919744
14, 18, 41, 50, 62, 68, 76, 91, 92, 102, 107, 150 [best: 1000] 2641404887040
14, 18, 41, 50, 62, 68, 85, 107, 124, 154, 186, 237 [best: 1000] 2645699854336
14, 18, 41, 50, 62, 68, 102, 130, 151, 161, 169, 241 [best: 1000] 2649994821632
14, 18, 41, 50, 62, 69, 84, 104, 112, 164, 190, 202 [best: 1000] 2654289788928
14, 18, 41, 50, 62, 70, 78, 85, 100, 150, 187, 210 [best: 1000] 2658584756224
14, 18, 41, 50, 62, 71, 72, 108, 140, 150, 155, 169 [best: 1000] 2662879723520
14, 18, 41, 50, 62, 71, 80, 123, 158, 167, 188, 251 [best: 1000] 2667174690816
14, 18, 41, 50, 62, 71, 88, 119, 140, 165, 187, 200, 229 [best: 1000] 2671469658112
14, 18, 41, 50, 62, 71, 109, 118, 138, 146, 221, 235 [best: 1000] 2675764625408
14, 18, 41, 50, 62, 72, 78, 96, 102, 145, 173, 174 [best: 1000] 2680059592704
14, 18, 41, 50, 62, 72, 85, 91, 145, 191, 208, 273 [best: 1000] 2684354560000
14, 18, 41, 50, 62, 72, 94, 95, 123, 126, 163, 184, 227 [best: 1000] 2688649527296
14, 18, 41, 50, 62, 73, 74, 101, 103, 148, 159, 166 [best: 1000] 2692944494592
14, 18, 41, 50, 62, 73, 82, 131, 132, 141, 182, 222 [best: 1000] 2697239461888
14, 18, 41, 50, 62, 73, 92, 93, 109, 146, 207, 223 [best: 1000] 2701534429184
14, 18, 41, 50, 62, 74, 75, 114, 121, 143, 167, 213 [best: 1000] 2705829396480
14, 18, 41, 50, 62, 74, 82, 108, 149, 167, 206, 223 [best: 1000] 2710124363776
14, 18, 41, 50, 62, 74, 89, 94, 123, 137, 154, 155, 167 [best: 1000] 2714419331072
14, 18, 41, 50, 62, 74, 101, 130, 165, 173, 205, 231 [best: 1000] 2718714298368
14, 18, 41, 50, 62, 75, 79, 90, 98, 101, 148, 182 [best: 1000] 2723009265664
14, 18, 41, 50, 62, 75, 85, 135, 155, 174, 191, 197, 222 [best: 1000] 2727304232960
14, 18, 41, 50, 62, 75, 94, 107, 124, 168, 182, 239, 277 [best: 1000] 2731599200256
14, 18, 41, 50, 62, 75, 113, 135, 141, 188, 198, 232, 243 [best: 1000] 2735894167552
14, 18, 41, 50, 62, 76, 84, 121, 123, 163, 185, 212 [best: 1000] 2740189134848
14, 18, 41, 50, 62, 76, 94, 95, 124, 169, 195, 199, 259 [best: 1000] 2744484102144
14, 18, 41, 50, 62, 77, 80, 81, 94, 117, 173, 174, 205 [best: 1000] 2748779069440
14, 18, 41, 50, 62, 77, 87, 127, 154, 172, 193, 207 [best: 1000] 2753074036736
14, 18, 41, 50, 62, 77, 102, 111, 140, 160, 205, 267, 289 [best: 1000] 2757369004032
14, 18, 41, 50, 62, 78, 84, 105, 115, 194, 220, 243 [best: 1000] 2761663971328
14, 18, 41, 50, 62, 78, 92, 94, 150, 159, 171, 192, 250 [best: 1000] 2765958938624
14, 18, 41, 50, 62, 78, 111, 117, 145, 171, 174, 200 [best: 1000] 2770253905920
14, 18, 41, 50, 62, 79, 86, 106, 117, 124, 136, 213, 271 [best: 1000] 2774548873216
14, 18, 41, 50, 62, 79, 102, 108, 138, 163, 170, 175 [best: 1000] 2778843840512
14, 18, 41, 50, 62, 80, 85, 123, 149, 153, 164, 224 [best: 1000] 2783138807808
14, 18, 41, 50, 62, 80, 94, 108, 118, 127, 130, 184, 196 [best: 1000] 2787433775104
14, 18, 41, 50, 62, 81, 82, 87, 101, 162, 164, 192 [best: 1000] 2791728742400
14, 18, 41, 50, 62, 81, 88, 108, 119, 129, 144, 172, 188 [best: 1000] 2796023709696
14, 18, 41, 50, 62, 81, 102, 118, 119, 126, 137, 205 [best: 1000] 2800318676992
14, 18, 41, 50, 62, 82, 85, 93, 110, 118, 121, 161 [best: 1000] 2804613644288
14, 18, 41, 50, 62, 82, 93, 113, 130, 174, 206, 252 [best: 1000] 2808908611584
14, 18, 41, 50, 62, 82, 115, 118, 144, 147, 160, 216 [best: 1000] 2813203578880
14, 18, 41, 50, 62, 83, 90, 98, 104, 130, 178, 195 [best: 1000] 2817498546176
14, 18, 41, 50, 62, 83, 106, 110, 142, 178, 195, 197 [best: 1000] 2821793513472
14, 18, 41, 50, 62, 84, 87, 141, 151, 154, 196, 229 [best: 1000] 2826088480768
14, 18, 41, 50, 62, 84, 101, 132, 155, 171, 205, 233 [best: 1000] 2830383448064
14, 18, 41, 50, 62, 85, 87, 107, 125, 146, 196, 233 [best: 1000] 2834678415360
14, 18, 41, 50, 62, 85, 94, 101, 131, 132, 188, 254, 278 [best: 1000] 2838973382656
14, 18, 41, 50, 62, 85, 103, 109, 142, 155, 162, 189 [best: 1000] 2843268349952
14, 18, 41, 50, 62, 85, 118, 133, 148, 150, 152, 219, 223 [best: 1000] 2847563317248
14, 18, 41, 50, 62, 86, 94, 103, 123, 125, 214, 253, 277 [best: 1000] 2851858284544
14, 18, 41, 50, 62, 86, 109, 118, 161, 176, 188, 192, 266 [best: 1000] 2856153251840
14, 18, 41, 50, 62, 87, 94, 97, 98, 132, 145, 147, 164 [best: 1000] 2860448219136
14, 18, 41, 50, 62, 87, 102, 133, 140, 148, 162, 231 [best: 1000] 2864743186432
14, 18, 41, 50, 62, 87, 121, 138, 150, 155, 178, 246 [best: 1000] 2869038153728
14, 18, 41, 50, 62, 88, 95, 121, 145, 159, 204, 219, 282 [best: 1000] 2873333121024
14, 18, 41, 50, 62, 88, 105, 121, 131, 164, 191, 214, 250 [best: 1000] 2877628088320
14, 18, 41, 50, 62, 88, 121, 124, 151, 154, 170, 173, 193 [best: 1000] 2881923055616
14, 18, 41, 50, 62, 89, 97, 105, 125, 152, 165, 192 [best: 1000] 2886218022912
14, 18, 41, 50, 62, 90, 94, 120, 121, 146, 177, 246, 252 [best: 1000] 2890512990208
14, 18, 41, 50, 62, 91, 102, 107, 116, 131, 191, 196 [best: 1000] 2894807957504
14, 18, 41, 50, 62, 92, 105, 119, 120, 130, 172, 221 [best: 1000] 2899102924800
14, 18, 41, 50, 62, 94, 95, 105, 141, 181, 187, 202, 216 [best: 1000] 2903397892096
14, 18, 41, 50, 62, 94, 104, 105, 106, 119, 156, 186, 198 [best: 1000] 2907692859392
14, 18, 41, 50, 62, 94, 105, 120, 124, 145, 165, 196, 244 [best: 1000] 2911987826688
14, 18, 41, 50, 63, 64, 70, 72, 87, 107, 110, 111 [best: 1000] 2916282793984
14, 18, 41, 50, 63, 64, 80, 86, 101, 117, 126, 167 [best: 1000] 2920577761280
14, 18, 41, 50, 63, 64, 92, 105, 130, 159, 195, 199 [best: 1000] 2924872728576
14, 18, 41, 50, 63, 65, 68, 71, 117, 162, 191, 222 [best: 1000] 2929167695872
14, 18, 41, 50, 63, 65, 76, 84, 149, 189, 209, 243 [best: 1000] 2933462663168
14, 18, 41, 50, 63, 65, 85, 94, 130, 176, 186, 255 [best: 1000] 2937757630464
14, 18, 41, 50, 63, 65, 98, 99, 114, 123, 147, 210 [best: 1000] 2942052597760
14, 18, 41, 50, 63, 66, 71, 103, 126, 130, 182, 188 [best: 1000] 2946347565056
14, 18, 41, 50, 63, 66, 84, 110, 124, 135, 240, 280 [best: 1000] 2950642532352
14, 18, 41, 50, 63, 67, 69, 70, 88, 90, 93, 176 [best: 1000] 2954937499648
14, 18, 41, 50, 63, 67, 78, 101, 111, 159, 202, 208 [best: 1000] 2959232466944
14, 18, 41, 50, 63, 67, 88, 119, 122, 168, 174, 199 [best: 1000] 2963527434240
14, 18, 41, 50, 63, 68, 71, 77, 103, 107, 132, 174 [best: 1000] 2967822401536
14, 18, 41, 50, 63, 68, 81, 94, 101, 135, 145, 201 [best: 1000] 2972117368832
14, 18, 41, 50, 63, 68, 97, 105, 113, 120, 159, 200, 203 [best: 1000] 2976412336128
14, 18, 41, 50, 63, 69, 84, 107, 112, 133, 188, 202 [best: 1000] 2980707303424
14, 18, 41, 50, 63, 70, 87, 95, 103, 126, 147, 167 [best: 1000] 2985002270720
14, 18, 41, 50, 63, 71, 81, 82, 95, 111, 181, 204 [best: 1000] 2989297238016
14, 18, 41, 50, 63, 71, 94, 109, 114, 117, 163, 195 [best: 1000] 2993592205312
14, 18, 41, 50, 63, 72, 77, 88, 91, 117, 158, 172 [best: 1000] 2997887172608
14, 18, 41, 50, 63, 72, 85, 119, 137, 174, 193, 246 [best: 1000] 3002182139904
14, 18, 41, 50, 63, 72, 102, 104, 132, 165, 182, 187 [best: 1000] 3006477107200
14, 18, 41, 50, 63, 73, 81, 128, 139, 149, 154, 212 [best: 1000] 3010772074496
14, 18, 41, 50, 63, 73, 102, 115, 129, 168, 191, 220 [best: 1000] 3015067041792
14, 18, 41, 50, 63, 74, 83, 111, 147, 165, 181, 191 [best: 1000] 3019362009088
14, 18, 41, 50, 63, 74, 94, 103, 147, 185, 239, 277 [best: 1000] 3023656976384
14, 18, 41, 50, 63, 75, 78, 101, 147, 201, 223, 238 [best: 1000] 3027951943680
14, 18, 41, 50, 63, 75, 92, 114, 126, 164, 197, 235 [best: 1000] 3032246910976
14, 18, 41, 50, 63, 76, 82, 107, 117, 141, 171, 211 [best: 1000] 3036541878272
14, 18, 41, 50, 63, 76, 98, 114, 140, 160, 195, 204 [best: 1000] 3040836845568
14, 18, 41, 50, 63, 77, 86, 89, 118, 155, 176, 196 [best: 1000] 3045131812864
14, 18, 41, 50, 63, 78, 81, 103, 123, 146, 181, 196 [best: 1000] 3049426780160
14, 18, 41, 50, 63, 78, 97, 104, 127, 153, 187, 201 [best: 1000] 3053721747456
14, 18, 41, 50, 63, 79, 85, 98, 122, 127, 168, 219 [best: 1000] 3058016714752
14, 18, 41, 50, 63, 79, 103, 133, 136, 142, 150, 184 [best: 1000] 3062311682048
14, 18, 41, 50, 63, 80, 92, 113, 117, 136, 160, 204 [best: 1000] 3066606649344
14, 18, 41, 50, 63, 81, 90, 96, 112, 128, 190, 219 [best: 1000] 3070901616640
14, 18, 41, 50, 63, 81, 114, 136, 142, 155, 203, 253 [best: 1000] 3075196583936
14, 18, 41, 50, 63, 83, 85, 117, 155, 191, 223, 256 [best: 1000] 3079491551232
14, 18, 41, 50, 63, 83, 105, 136, 143, 167, 212, 220 [best: 1000] 3083786518528
14, 18, 41, 50, 63, 84, 88, 109, 119, 124, 204, 261 [best: 1000] 3088081485824
14, 18, 41, 50, 63, 84, 96, 116, 126, 142, 191, 208 [best: 1000] 3092376453120
14, 18, 41, 50, 63, 84, 106, 127, 131, 168, 183, 227 [best: 1000] 3096671420416
14, 18, 41, 50, 63, 85, 86, 120, 121, 149, 172, 214 [best: 1000] 3100966387712
14, 18, 41, 50, 63, 85, 100, 103, 137, 191, 195, 251 [best: 1000] 3105261355008
14, 18, 41, 50, 63, 86, 91, 109, 122, 130, 136, 192 [best: 1000] 3109556322304
14, 18, 41, 50, 63, 87, 91, 127, 142, 170, 189, 211 [best: 1000] 3113851289600
14, 18, 41, 50, 63, 88, 89, 111, 131, 157, 190, 191 [best: 1000] 3118146256896
14, 18, 41, 50, 63, 89, 93, 95, 127, 137, 179, 222 [best: 1000] 3122441224192
14, 18, 41, 50, 63, 90, 101, 119, 152, 153, 164, 234 [best: 1000] 3126736191488
14, 18, 41, 50, 63, 91, 111, 125, 136, 155, 159, 174 [best: 1000] 3131031158784
14, 18, 41, 50, 63, 92, 107, 119, 135, 156, 172, 215 [best: 1000] 3135326126080
14, 18, 41, 50, 63, 93, 112, 124, 125, 154, 181, 209 [best: 1000] 3139621093376
14, 18, 41, 50, 63, 95, 114, 125, 138, 151, 153, 180 [best: 1000] 3143916060672
14, 18, 41, 50, 64, 65, 75, 130, 148, 153, 175, 229 [best: 1000] 3148211027968
14, 18, 41, 50, 64, 65, 90, 105, 106, 122, 129, 204 [best: 1000] 3152505995264
14, 18, 41, 50, 64, 66, 69, 79, 86, 116, 131, 133 [best: 1000] 3156800962560
14, 18, 41, 50, 64, 66, 83, 102, 108, 128, 168, 197 [best: 1000] 3161095929856
14, 18, 41, 50, 64, 67, 69, 74, 101, 114, 122, 143 [best: 1000] 3165390897152
14, 18, 41, 50, 64, 67, 79, 113, 142, 158, 173, 189 [best: 1000] 3169685864448
14, 18, 41, 50, 64, 67, 96, 111, 120, 138, 158, 194 [best: 1000] 3173980831744
14, 18, 41, 50, 64, 68, 75, 78, 116, 118, 171, 253 [best: 1000] 3178275799040
14, 18, 41, 50, 64, 68, 92, 104, 107, 143, 197, 207 [best: 1000] 3182570766336
14, 18, 41, 50, 64, 69, 85, 111, 134, 160, 176, 216 [best: 1000] 3186865733632
14, 18, 41, 50, 64, 71, 72, 107, 135, 160, 200, 223 [best: 1000] 3191160700928
14, 18, 41, 50, 64, 71, 92, 103, 123, 137, 159, 193 [best: 1000] 3195455668224
14, 18, 41, 50, 64, 72, 79, 110, 122, 150, 151, 169 [best: 1000] 3199750635520
14, 18, 41, 50, 64, 72, 94, 126, 140, 160, 185, 203 [best: 1000] 3204045602816
14, 18, 41, 50, 64, 73, 79, 91, 110, 116, 207, 239 [best: 1000] 3208340570112
14, 18, 41, 50, 64, 73, 102, 103, 162, 164, 197, 206 [best: 1000] 3212635537408
14, 18, 41, 50, 64, 74, 87, 111, 128, 148, 175, 223 [best: 1000] 3216930504704
14, 18, 41, 50, 64, 75, 80, 86, 124, 131, 171, 194 [best: 1000] 3221225472000
14, 18, 41, 50, 64, 75, 97, 107, 110, 146, 147, 207 [best: 1000] 3225520439296
14, 18, 41, 50, 64, 76, 88, 101, 133, 167, 199, 213 [best: 1000] 3229815406592
14, 18, 41, 50, 64, 77, 87, 112, 117, 153, 178, 190 [best: 1000] 3234110373888
14, 18, 41, 50, 64, 78, 85, 89, 148, 163, 172, 197 [best: 1000] 3238405341184
14, 18, 41, 50, 64, 78, 109, 110, 113, 125, 156, 176 [best: 1000] 3242700308480
14, 18, 41, 50, 64, 80, 81, 86, 119, 149, 185, 251 [best: 1000] 3246995275776
14, 18, 41, 50, 64, 80, 102, 104, 124, 138, 149, 209 [best: 1000] 3251290243072
14, 18, 41, 50, 64, 81, 98, 109, 115, 167, 171, 208 [best: 1000] 3255585210368
14, 18, 41, 50, 64, 82, 94, 116, 139, 154, 184, 220 [best: 1000] 3259880177664
14, 18, 41, 50, 64, 84, 85, 86, 115, 188, 215, 248, 305 [best: 1000] 3264175144960
14, 18, 41, 50, 64, 85, 92, 96, 115, 132, 222 [best: 1000] 3268470112256
14, 18, 41, 50, 64, 85, 104, 144, 163, 210, 231, 290 [best: 1000] 3272765079552
14, 18, 41, 50, 64, 86, 92, 94, 141, 171, 176, 197 [best: 1000] 3277060046848
14, 18, 41, 50, 64, 87, 90, 92, 105, 139, 157, 202 [best: 1000] 3281355014144
14, 18, 41, 50, 64, 88, 102, 117, 121, 132, 161, 225 [best: 1000] 3285649981440
14, 18, 41, 50, 64, 91, 100, 111, 127, 141, 144, 205 [best: 1000] 3289944948736
14, 18, 41, 50, 64, 94, 95, 124, 148, 166, 186, 208 [best: 1000] 3294239916032
14, 18, 41, 50, 64, 95, 102, 114, 118, 127, 177, 204 [best: 1000] 3298534883328
14, 18, 41, 50, 65, 66, 76, 92, 96, 149, 200, 226 [best: 1000] 3302829850624
14, 18, 41, 50, 65, 66, 88, 119, 138, 185, 205, 246 [best: 1000] 3307124817920
14, 18, 41, 50, 65, 67, 72, 74, 115, 139, 171, 239 [best: 1000] 3311419785216
14, 18, 41, 50, 65, 67, 81, 86, 117, 126, 135, 142 [best: 1000] 3315714752512
14, 18, 41, 50, 65, 67, 96, 98, 149, 176, 183, 193 [best: 1000] 3320009719808
14, 18, 41, 50, 65, 68, 74, 94, 113, 115, 170, 180 [best: 1000] 3324304687104
14, 18, 41, 50, 65, 68, 86, 103, 128, 161, 184, 211 [best: 1000] 3328599654400
14, 18, 41, 50, 65, 69, 76, 78, 81, 82, 149, 177 [best: 1000] 3332894621696
14, 18, 41, 50, 65, 70, 85, 86, 88, 161, 185, 193 [best: 1000] 3337189588992
14, 18, 41, 50, 65, 71, 82, 84, 89, 109, 145, 203 [best: 1000] 3341484556288
14, 18, 41, 50, 65, 71, 108, 119, 133, 170, 183, 193 [best: 1000] 3345779523584
14, 18, 41, 50, 65, 72, 82, 116, 163, 181, 196 [best: 1000] 3350074490880
14, 18, 41, 50, 65, 72, 101, 114, 165, 167, 217 [best: 1000] 3354369458176
14, 18, 41, 50, 65, 73, 85, 109, 119, 134, 137, 166 [best: 1000] 3358664425472
14, 18, 41, 50, 65, 74, 77, 99, 125, 137, 173, 215 [best: 1000] 3362959392768
14, 18, 41, 50, 65, 74, 89, 100, 123, 155, 175, 190 [best: 1000] 3367254360064
14, 18, 41, 50, 65, 75, 78, 102, 111, 142, 181, 217 [best: 1000] 3371549327360
14, 18, 41, 50, 65, 75, 91, 118, 134, 146, 189, 241 [best: 1000] 3375844294656
14, 18, 41, 50, 65, 76, 81, 90, 142, 153, 165, 205 [best: 1000] 3380139261952
14, 18, 41, 50, 65, 76, 103, 115, 129, 143, 156, 188 [best: 1000] 3384434229248
14, 18, 41, 50, 65, 77, 91, 99, 109, 112, 147, 181 [best: 1000] 3388729196544
14, 18, 41, 50, 65, 78, 85, 95, 124, 171, 209, 254 [best: 1000] 3393024163840
14, 18, 41, 50, 65, 78, 105, 109, 164, 196, 221, 263 [best: 1000] 3397319131136
14, 18, 41, 50, 65, 79, 95, 97, 120, 143, 160, 194 [best: 1000] 3401614098432
14, 18, 41, 50, 65, 80, 89, 116, 120, 132, 142, 161 [best: 1000] 3405909065728
14, 18, 41, 50, 65, 81, 83, 112, 125, 151, 193, 194 [best: 1000] 3410204033024
14, 18, 41, 50, 65, 81, 101, 127, 132, 159, 194, 231 [best: 1000] 3414499000320
14, 18, 41, 50, 65, 82, 92, 97, 125, 179, 189, 205 [best: 1000] 3418793967616
14, 18, 41, 50, 65, 83, 87, 108, 109, 116, 128, 190 [best: 1000] 3423088934912
14, 18, 41, 50, 65, 84, 92, 115, 149, 165, 210, 219 [best: 1000] 3427383902208
14, 18, 41, 50, 65, 85, 92, 125, 140, 176, 196, 224 [best: 1000] 3431678869504
14, 18, 41, 50, 65, 85, 109, 120, 123, 141, 157, 204 [best: 1000] 3435973836800
14, 18, 41, 50, 65, 86, 100, 110, 138, 170, 204, 206 [best: 1000] 3440268804096
14, 18, 41, 50, 65, 87, 97, 98, 130, 138, 142, 175 [best: 1000] 3444563771392
14, 18, 41, 50, 65, 88, 91, 119, 125, 161, 166, 194 [best: 1000] 3448858738688
14, 18, 41, 50, 65, 90, 92, 114, 143, 183, 201 [best: 1000] 3453153705984
14, 18, 41, 50, 65, 92, 101, 117, 142, 175, 192, 227 [best: 1000] 3457448673280
14, 18, 41, 50, 66, 67, 71, 102, 117, 140, 181, 227 [best: 1000] 3461743640576
14, 18, 41, 50, 66, 67, 82, 86, 156, 157, 167, 216 [best: 1000] 3466038607872
14, 18, 41, 50, 66, 67, 103, 111, 147, 189, 197, 208 [best: 1000] 3470333575168
14, 18, 41, 50, 66, 68, 78, 84, 122, 155, 187, 218 [best: 1000] 3474628542464
14, 18, 41, 50, 66, 68, 102, 107, 150, 157, 159, 182 [best: 1000] 3478923509760
14, 18, 41, 50, 66, 70, 71, 99, 126, 130, 139, 161 [best: 1000] 3483218477056
14, 18, 41, 50, 66, 71, 76, 82, 115, 122, 147, 211 [best: 1000] 3487513444352
14, 18, 41, 50, 66, 71, 95, 115, 121, 129, 141, 206 [best: 1000] 3491808411648
14, 18, 41, 50, 66, 72, 79, 113, 116, 123, 169, 171 [best: 1000] 3496103378944
14, 18, 41, 50, 66, 72, 96, 102, 105, 168, 187, 224 [best: 1000] 3500398346240
14, 18, 41, 50, 66, 73, 81, 96, 115, 132, 189, 193 [best: 1000] 3504693313536
14, 18, 41, 50, 66, 74, 78, 79, 81, 156, 180, 213 [best: 1000] 3508988280832
14, 18, 41, 50, 66, 74, 93, 102, 116, 160, 184, 216 [best: 1000] 3513283248128
14, 18, 41, 50, 66, 75, 81, 103, 118, 177, 182, 235 [best: 1000] 3517578215424
14, 18, 41, 50, 66, 75, 110, 111, 142, 148, 165, 226 [best: 1000] 3521873182720
14, 18, 41, 50, 66, 76, 97, 105, 143, 153, 178, 184 [best: 1000] 3526168150016
14, 18, 41, 50, 66, 77, 100, 118, 125, 128, 146, 158 [best: 1000] 3530463117312
14, 18, 41, 50, 66, 78, 96, 124, 144, 152, 163, 198 [best: 1000] 3534758084608
14, 18, 41, 50, 66, 79, 89, 91, 104, 145, 160, 191 [best: 1000] 3539053051904
14, 18, 41, 50, 66, 80, 86, 89, 103, 113, 166, 171 [best: 1000] 3543348019200
14, 18, 41, 50, 66, 81, 88, 102, 142, 168, 185, 217 [best: 1000] 3547642986496
14, 18, 41, 50, 66, 82, 87, 111, 129, 154, 157, 180 [best: 1000] 3551937953792
14, 18, 41, 50, 66, 83, 109, 110, 136, 137, 179, 191 [best: 1000] 3556232921088
14, 18, 41, 50, 66, 85, 96, 115, 117, 131, 135, 147 [best: 1000] 3560527888384
14, 18, 41, 50, 66, 86, 95, 104, 118, 189, 191, 260 [best: 1000] 3564822855680
14, 18, 41, 50, 66, 86, 111, 122, 163, 182, 208, 240 [best: 1000] 3569117822976
14, 18, 41, 50, 66, 87, 103, 122, 158, 160, 179, 234 [best: 1000] 3573412790272
14, 18, 41, 50, 66, 89, 95, 97, 111, 125, 139, 180 [best: 1000] 3577707757568
14, 18, 41, 50, 66, 91, 112, 119, 127, 158, 164, 179 [best: 1000] 3582002724864
14, 18, 41, 50, 66, 94, 103, 107, 110, 145, 207, 244 [best: 1000] 3586297692160
14, 18, 41, 50, 67, 68, 74, 92, 114, 122, 138, 202 [best: 1000] 3590592659456
14, 18, 41, 50, 67, 68, 93, 95, 132, 152, 163, 171 [best: 1000] 3594887626752
14, 18, 41, 50, 67, 69, 88, 112, 113, 126, 151, 192 [best: 1000] 3599182594048
14, 18, 41, 50, 67, 71, 73, 83, 88, 124, 134, 161 [best: 1000] 3603477561344
14, 18, 41, 50, 67, 71, 86, 88, 97, 109, 192, 242 [best: 1000] 3607772528640
14, 18, 41, 50, 67, 72, 73, 113, 128, 148, 213, 219 [best: 1000] 3612067495936
14, 18, 41, 50, 67, 72, 87, 88, 95, 125, 147, 182 [best: 1000] 3616362463232
14, 18, 41, 50, 67, 73, 77, 86, 88, 120, 162, 165 [best: 1000] 3620657430528
14, 18, 41, 50, 67, 73, 90, 129, 145, 174, 183, 212 [best: 1000] 3624952397824
14, 18, 41, 50, 67, 74, 80, 82, 89, 96, 172, 190 [best: 1000] 3629247365120
14, 18, 41, 50, 67, 74, 90, 104, 109, 124, 179, 194 [best: 1000] 3633542332416
14, 18, 41, 50, 67, 75, 76, 116, 131, 132, 151, 153 [best: 1000] 3637837299712
14, 18, 41, 50, 67, 75, 87, 112, 137, 147, 217, 229 [best: 1000] 3642132267008
14, 18, 41, 50, 67, 75, 108, 112, 135, 139, 151, 222 [best: 1000] 3646427234304
14, 18, 41, 50, 67, 76, 86, 131, 147, 156, 163, 199, 231 [best: 1000] 3650722201600
14, 18, 41, 50, 67, 77, 80, 83, 104, 155, 167, 180 [best: 1000] 3655017168896
14, 18, 41, 50, 67, 77, 95, 109, 138, 159, 191, 207 [best: 1000] 3659312136192
14, 18, 41, 50, 67, 78, 90, 101, 102, 126, 164, 203 [best: 1000] 3663607103488
14, 18, 41, 50, 67, 79, 91, 101, 108, 118, 166, 208 [best: 1000] 3667902070784
14, 18, 41, 50, 67, 80, 95, 98, 112, 136, 156, 159 [best: 1000] 3672197038080
14, 18, 41, 50, 67, 81, 98, 119, 124, 128, 165, 184 [best: 1000] 3676492005376
14, 18, 41, 50, 67, 82, 92, 120, 128, 165, 216, 233 [best: 1000] 3680786972672
14, 18, 41, 50, 67, 83, 86, 98, 123, 148, 169, 222 [best: 1000] 3685081939968
14, 18, 41, 50, 67, 84, 85, 143, 157, 160, 234, 250 [best: 1000] 3689376907264
14, 18, 41, 50, 67, 84, 103, 118, 137, 186, 224, 263 [best: 1000] 3693671874560
14, 18, 41, 50, 67, 85, 93, 102, 154, 198, 203, 243 [best: 1000] 3697966841856
14, 18, 41, 50, 67, 85, 108, 126, 137, 184, 196, 221 [best: 1000] 3702261809152
14, 18, 41, 50, 67, 86, 98, 121, 130, 151, 171, 221 [best: 1000] 3706556776448
14, 18, 41, 50, 67, 87, 94, 129, 134, 159, 170, 227 [best: 1000] 3710851743744
14, 18, 41, 50, 67, 87, 114, 132, 152, 167, 178, 190 [best: 1000] 3715146711040
14, 18, 41, 50, 67, 88, 110, 131, 143, 172, 180, 208 [best: 1000] 3719441678336
14, 18, 41, 50, 67, 90, 93, 116, 142, 146, 203, 245 [best: 1000] 3723736645632
14, 18, 41, 50, 67, 91, 104, 106, 111, 153, 163, 177 [best: 1000] 3728031612928
14, 18, 41, 50, 68, 69, 86, 107, 133, 151, 163, 177, 187 [best: 1000] 3732326580224
14, 18, 41, 50, 68, 71, 74, 79, 103, 119, 147, 152 [best: 1000] 3736621547520
14, 18, 41, 50, 68, 71, 87, 106, 107, 146, 156, 200 [best: 1000] 3740916514816
14, 18, 41, 50, 68, 72, 77, 78, 102, 138, 160, 220 [best: 1000] 3745211482112
14, 18, 41, 50, 68, 72, 88, 108, 112, 117, 121, 159 [best: 1000] 3749506449408
14, 18, 41, 50, 68, 73, 79, 102, 134, 139, 151, 174 [best: 1000] 3753801416704
14, 18, 41, 50, 68, 73, 96, 131, 149, 155, 161, 165 [best: 1000] 3758096384000
14, 18, 41, 50, 68, 74, 85, 103, 112, 149, 201, 214 [best: 1000] 3762391351296
14, 18, 41, 50, 68, 74, 101, 124, 125, 128, 163, 169 [best: 1000] 3766686318592
14, 18, 41, 50, 68, 75, 86, 99, 109, 120, 148, 197, 205 [best: 1000] 3770981285888
14, 18, 41, 50, 68, 75, 109, 134, 145, 148, 172, 176 [best: 1000] 3775276253184
14, 18, 41, 50, 68, 76, 92, 103, 129, 131, 148, 171 [best: 1000] 3779571220480
14, 18, 41, 50, 68, 77, 86, 104, 109, 120, 176, 219, 257 [best: 1000] 3783866187776
14, 18, 41, 50, 68, 78, 85, 101, 123, 152, 169, 206 [best: 1000] 3788161155072
14, 18, 41, 50, 68, 79, 86, 113, 118, 134, 136, 162, 163 [best: 1000] 3792456122368
14, 18, 41, 50, 68, 80, 89, 97, 104, 136, 165, 177 [best: 1000] 3796751089664
14, 18, 41, 50, 68, 81, 94, 122, 123, 144, 152, 211 [best: 1000] 3801046056960
14, 18, 41, 50, 68, 82, 102, 107, 115, 119, 197, 223 [best: 1000] 3805341024256
14, 18, 41, 50, 68, 84, 87, 99, 155, 160, 214, 224 [best: 1000] 3809635991552
14, 18, 41, 50, 68, 85, 89, 97, 119, 160, 169, 232 [best: 1000] 3813930958848
14, 18, 41, 50, 68, 85, 99, 127, 164, 169, 170, 195, 220 [best: 1000] 3818225926144
14, 18, 41, 50, 68, 86, 89, 92, 101, 142, 183, 204, 242 [best: 1000] 3822520893440
14, 18, 41, 50, 68, 86, 95, 99, 101, 118, 123, 161, 200 [best: 1000] 3826815860736
14, 18, 41, 50, 68, 86, 101, 103, 123, 142, 145, 171, 215 [best: 1000] 3831110828032
14, 18, 41, 50, 68, 86, 101, 120, 160, 172, 177, 187, 261 [best: 1000] 3835405795328
14, 18, 41, 50, 68, 87, 98, 123, 157, 169, 186, 189 [best: 1000] 3839700762624
14, 18, 41, 50, 68, 88, 100, 101, 150, 164, 185, 209 [best: 1000] 3843995729920
14, 18, 41, 50, 69, 70, 75, 88, 89, 90, 125, 126 [best: 1000] 3848290697216
14, 18, 41, 50, 69, 72, 89, 110, 133, 136, 162, 170 [best: 1000] 3852585664512
14, 18, 41, 50, 69, 74, 90, 101, 120, 131, 145, 206 [best: 1000] 3856880631808
14, 18, 41, 50, 69, 77, 78, 98, 102, 115, 174, 190 [best: 1000] 3861175599104
14, 18, 41, 50, 69, 80, 89, 102, 135, 139, 167, 178 [best: 1000] 3865470566400
14, 18, 41, 50, 70, 72, 77, 87, 124, 135, 141, 191 [best: 1000] 3869765533696
14, 18, 41, 50, 70, 74, 80, 82, 83, 131, 167, 186 [best: 1000] 3874060500992
14, 18, 41, 50, 70, 76, 83, 96, 114, 122, 147, 209 [best: 1000] 3878355468288
14, 18, 41, 50, 70, 79, 87, 111, 112, 120, 144, 215 [best: 1000] 3882650435584
14, 18, 41, 50, 71, 72, 78, 103, 124, 136, 182, 189 [best: 1000] 3886945402880
14, 18, 41, 50, 71, 72, 98, 115, 159, 168, 197, 244 [best: 1000] 3891240370176
14, 18, 41, 50, 71, 73, 86, 115, 124, 167, 199, 211 [best: 1000] 3895535337472
14, 18, 41, 50, 71, 74, 85, 94, 107, 135, 140, 221 [best: 1000] 3899830304768
14, 18, 41, 50, 71, 75, 83, 85, 120, 132, 152, 182 [best: 1000] 3904125272064
14, 18, 41, 50, 71, 76, 80, 83, 105, 107, 142, 145 [best: 1000] 3908420239360
14, 18, 41, 50, 71, 77, 83, 110, 135, 138, 149, 158 [best: 1000] 3912715206656
14, 18, 41, 50, 71, 78, 92, 99, 121, 147, 163, 204 [best: 1000] 3917010173952
14, 18, 41, 50, 71, 79, 93, 116, 150, 155, 171, 213 [best: 1000] 3921305141248
14, 18, 41, 50, 71, 81, 82, 93, 113, 146, 196, 198 [best: 1000] 3925600108544
14, 18, 41, 50, 71, 82, 84, 86, 124, 149, 172, 176 [best: 1000] 3929895075840
14, 18, 41, 50, 71, 82, 97, 126, 137, 140, 197, 209 [best: 1000] 3934190043136
14, 18, 41, 50, 71, 83, 85, 98, 143, 150, 195, 223 [best: 1000] 3938485010432
14, 18, 41, 50, 71, 83, 102, 104, 116, 138, 192, 242 [best: 1000] 3942779977728
14, 18, 41, 50, 71, 85, 89, 105, 127, 137, 166, 183 [best: 1000] 3947074945024
14, 18, 41, 50, 71, 86, 96, 116, 124, 163, 191, 231 [best: 1000] 3951369912320
14, 18, 41, 50, 71, 90, 100, 123, 140, 179, 197, 203 [best: 1000] 3955664879616
14, 18, 41, 50, 71, 92, 115, 122, 132, 141, 194, 204 [best: 1000] 3959959846912
14, 18, 41, 50, 72, 73, 78, 99, 153, 154, 155, 205 [best: 1000] 3964254814208
14, 18, 41, 50, 72, 73, 96, 100, 121, 129, 201, 210 [best: 1000] 3968549781504
14, 18, 41, 50, 72, 74, 83, 105, 119, 180, 192, 214 [best: 1000] 3972844748800
14, 18, 41, 50, 72, 74, 100, 136, 150, 151, 180, 242 [best: 1000] 3977139716096
14, 18, 41, 50, 72, 75, 84, 134, 138, 147, 190, 201 [best: 1000] 3981434683392
14, 18, 41, 50, 72, 75, 107, 108, 114, 139, 165, 174 [best: 1000] 3985729650688
14, 18, 41, 50, 72, 76, 89, 134, 144, 159, 175, 210 [best: 1000] 3990024617984
14, 18, 41, 50, 72, 77, 84, 108, 109, 132, 154, 172 [best: 1000] 3994319585280
14, 18, 41, 50, 72, 78, 80, 132, 134, 152, 189, 190 [best: 1000] 3998614552576
14, 18, 41, 50, 72, 78, 102, 114, 147, 155, 161, 225 [best: 1000] 4002909519872
14, 18, 41, 50, 72, 79, 93, 102, 116, 156, 167, 173 [best: 1000] 4007204487168
14, 18, 41, 50, 72, 80, 88, 125, 127, 161, 197, 218 [best: 1000] 4011499454464
14, 18, 41, 50, 72, 81, 86, 119, 130, 136, 186, 245 [best: 1000] 4015794421760
14, 18, 41, 50, 72, 82, 85, 129, 130, 177, 196, 205 [best: 1000] 4020089389056
14, 18, 41, 50, 72, 82, 108, 113, 137, 143, 148, 223 [best: 1000] 4024384356352
14, 18, 41, 50, 72, 83, 98, 108, 121, 155, 191, 225 [best: 1000] 4028679323648
14, 18, 41, 50, 72, 84, 89, 102, 131, 157, 176, 236 [best: 1000] 4032974290944
14, 18, 41, 50, 72, 84, 102, 114, 144, 152, 211, 248 [best: 1000] 4037269258240
14, 18, 41, 50, 72, 85, 90, 98, 100, 132, 213, 228 [best: 1000] 4041564225536
14, 18, 41, 50, 72, 86, 88, 89, 103, 131, 159, 181 [best: 1000] 4045859192832
14, 18, 41, 50, 72, 86, 100, 115, 148, 151, 176, 205 [best: 1000] 4050154160128
14, 18, 41, 50, 72, 87, 92, 112, 114, 154, 179, 183 [best: 1000] 4054449127424
14, 18, 41, 50, 72, 88, 95, 102, 129, 154, 200, 261 [best: 1000] 4058744094720
14, 18, 41, 50, 72, 89, 101, 109, 135, 146, 211, 216 [best: 1000] 4063039062016
14, 18, 41, 50, 72, 91, 102, 109, 135, 143, 229, 247 [best: 1000] 4067334029312
14, 18, 41, 50, 73, 74, 77, 84, 85, 129, 132, 172 [best: 1000] 4071628996608
14, 18, 41, 50, 73, 74, 98, 113, 141, 161, 167, 189 [best: 1000] 4075923963904
14, 18, 41, 50, 73, 75, 94, 98, 113, 139, 150, 181 [best: 1000] 4080218931200
14, 18, 41, 50, 73, 76, 101, 103, 114, 131, 162, 208 [best: 1000] 4084513898496
14, 18, 41, 50, 73, 78, 81, 109, 126, 135, 161, 222 [best: 1000] 4088808865792
14, 18, 41, 50, 73, 79, 83, 91, 122, 139, 141, 144 [best: 1000] 4093103833088
14, 18, 41, 50, 73, 80, 92, 100, 135, 171, 182, 243 [best: 1000] 4097398800384
14, 18, 41, 50, 73, 81, 96, 124, 146, 178, 198, 227 [best: 1000] 4101693767680
14, 18, 41, 50, 73, 83, 85, 97, 111, 112, 146, 236 [best: 1000] 4105988734976
14, 18, 41, 50, 73, 83, 99, 111, 159, 166, 202, 232 [best: 1000] 4110283702272
14, 18, 41, 50, 73, 84, 88, 94, 110, 132, 134 [best: 1000] 4114578669568
14, 18, 41, 50, 73, 84, 105, 136, 151, 176, 208, 221 [best: 1000] 4118873636864
14, 18, 41, 50, 73, 86, 88, 93, 136, 137, 179, 180 [best: 1000] 4123168604160
14, 18, 41, 50, 73, 89, 93, 95, 137, 160, 179, 191 [best: 1000] 4127463571456
14, 18, 41, 50, 73, 92, 99, 125, 129, 141, 153, 223 [best: 1000] 4131758538752
14, 18, 41, 50, 73, 93, 115, 129, 141, 148, 156, 169 [best: 1000] 4136053506048
14, 18, 41, 50, 74, 75, 94, 111, 120, 121, 166, 184 [best: 1000] 4140348473344
14, 18, 41, 50, 74, 76, 92, 125, 136, 138, 180, 204 [best: 1000] 4144643440640
14, 18, 41, 50, 74, 77, 88, 110, 111, 119, 161, 162 [best: 1000] 4148938407936
14, 18, 41, 50, 74, 78, 84, 112, 123, 152, 167, 213 [best: 1000] 4153233375232
14, 18, 41, 50, 74, 78, 108, 129, 138, 143, 169, 190 [best: 1000] 4157528342528
14, 18, 41, 50, 74, 79, 93, 108, 113, 140, 195, 240 [best: 1000] 4161823309824
14, 18, 41, 50, 74, 80, 85, 123, 137, 175, 179, 271 [best: 1000] 4166118277120
14, 18, 41, 50, 74, 80, 108, 124, 136, 157, 200, 223 [best: 1000] 4170413244416
14, 18, 41, 50, 74, 81, 110, 115, 149, 170, 205, 206 [best: 1000] 4174708211712
14, 18, 41, 50, 74, 82, 101, 132, 139, 162, 183, 205 [best: 1000] 4179003179008
14, 18, 41, 50, 74, 83, 108, 116, 136, 168, 189, 229 [best: 1000] 4183298146304
14, 18, 41, 50, 74, 84, 93, 100, 140, 142, 143, 152 [best: 1000] 4187593113600
14, 18, 41, 50, 74, 84, 105, 128, 152, 172, 190, 220 [best: 1000] 4191888080896
14, 18, 41, 50, 74, 85, 88, 127, 128, 149, 192, 253 [best: 1000] 4196183048192
14, 18, 41, 50, 74, 85, 100, 140, 151, 167, 218, 227, 259 [best: 1000] 4200478015488
14, 18, 41, 50, 74, 86, 88, 93, 100, 151, 165, 182 [best: 1000] 4204772982784
14, 18, 41, 50, 74, 86, 115, 121, 129, 190, 195, 197, 238 [best: 1000] 4209067950080
14, 18, 41, 50, 74, 88, 94, 95, 111, 147, 152, 158 [best: 1000] 4213362917376
14, 18, 41, 50, 74, 90, 97, 100, 153, 163, 173, 222 [best: 1000] 4217657884672
14, 18, 41, 50, 74, 92, 99, 121, 148, 166, 184, 207 [best: 1000] 4221952851968
14, 18, 41, 50, 74, 93, 105, 116, 166, 171, 189, 231 [best: 1000] 4226247819264
14, 18, 41, 50, 75, 76, 87, 122, 128, 162, 171, 190 [best: 1000] 4230542786560
14, 18, 41, 50, 75, 77, 86, 93, 110, 124, 196, 203 [best: 1000] 4234837753856
14, 18, 41, 50, 75, 78, 85, 90, 113, 131, 175, 177 [best: 1000] 4239132721152
14, 18, 41, 50, 75, 78, 114, 120, 130, 176, 191, 246 [best: 1000] 4243427688448
14, 18, 41, 50, 75, 79, 95, 97, 100, 116, 143, 208 [best: 1000] 4247722655744
14, 18, 41, 50, 75, 80, 87, 123, 125, 137, 159, 184 [best: 1000] 4252017623040
14, 18, 41, 50, 75, 81, 88, 91, 98, 168, 193, 215 [best: 1000] 4256312590336
14, 18, 41, 50, 75, 82, 83, 85, 139, 146, 170, 177 [best: 1000] 4260607557632
14, 18, 41, 50, 75, 83, 85, 111, 144, 158, 192, 240 [best: 1000] 4264902524928
14, 18, 41, 50, 75, 83, 114, 120, 128, 143, 156, 213 [best: 1000] 4269197492224
14, 18, 41, 50, 75, 84, 93, 106, 118, 121, 214, 240 [best: 1000] 4273492459520
14, 18, 41, 50, 75, 84, 105, 136, 160, 173, 186, 234 [best: 1000] 4277787426816
14, 18, 41, 50, 75, 85, 89, 111, 143, 157, 192, 214 [best: 1000] 4282082394112
14, 18, 41, 50, 75, 85, 101, 112, 131, 171, 222, 240 [best: 1000] 4286377361408
14, 18, 41, 50, 75, 86, 90, 93, 111, 122, 126, 187 [best: 1000] 4290672328704
14, 18, 41, 50, 75, 87, 93, 110, 112, 117, 137, 231 [best: 1000] 4294967296000
14, 18, 41, 50, 75, 88, 98, 104, 121, 163, 192, 262 [best: 1000] 4299262263296
14, 18, 41, 50, 75, 90, 99, 127, 152, 165, 181, 244 [best: 1000] 4303557230592
14, 18, 41, 50, 75, 92, 103, 109, 112, 131, 200, 222 [best: 1000] 4307852197888
14, 18, 41, 50, 75, 93, 112, 131, 142, 172, 193, 198 [best: 1000] 4312147165184
14, 18, 41, 50, 76, 77, 104, 112, 122, 165, 191, 222 [best: 1000] 4316442132480
14, 18, 41, 50, 76, 78, 106, 113, 139, 175, 225, 251 [best: 1000] 4320737099776
14, 18, 41, 50, 76, 79, 102, 128, 132, 175, 200, 206 [best: 1000] 4325032067072
14, 18, 41, 50, 76, 80, 101, 107, 124, 146, 168, 175 [best: 1000] 4329327034368
14, 18, 41, 50, 76, 81, 105, 116, 145, 166, 197, 203 [best: 1000] 4333622001664
14, 18, 41, 50, 76, 83, 88, 104, 105, 112, 114, 186 [best: 1000] 4337916968960
14, 18, 41, 50, 76, 83, 103, 106, 122, 190, 193, 209 [best: 1000] 4342211936256
14, 18, 41, 50, 76, 84, 92, 124, 137, 163, 180, 183 [best: 1000] 4346506903552
14, 18, 41, 50, 76, 84, 113, 143, 144, 145, 183, 184 [best: 1000] 4350801870848
14, 18, 41, 50, 76, 87, 88, 101, 115, 121, 148, 176 [best: 1000] 4355096838144
14, 18, 41, 50, 76, 92, 93, 107, 146, 159, 175, 182 [best: 1000] 4359391805440
14, 18, 41, 50, 76, 93, 100, 104, 108, 140, 142, 171 [best: 1000] 4363686772736
14, 18, 41, 50, 77, 78, 89, 117, 130, 140, 176, 181 [best: 1000] 4367981740032
14, 18, 41, 50, 77, 79, 89, 97, 106, 116, 155, 178 [best: 1000] 4372276707328
14, 18, 41, 50, 77, 80, 91, 102, 113, 157, 170, 210 [best: 1000] 4376571674624
14, 18, 41, 50, 77, 81, 96, 109, 120, 127, 166, 187 [best: 1000] 4380866641920
14, 18, 41, 50, 77, 83, 84, 109, 125, 153, 157, 208 [best: 1000] 4385161609216
14, 18, 41, 50, 77, 84, 92, 135, 138, 157, 194, 222 [best: 1000] 4389456576512
14, 18, 41, 50, 77, 84, 109, 130, 173, 184, 216, 241 [best: 1000] 4393751543808
14, 18, 41, 50, 77, 85, 98, 116, 131, 135, 146, 224 [best: 1000] 4398046511104
14, 18, 41, 50, 77, 86, 97, 125, 137, 168, 180, 198 [best: 1000] 4402341478400
14, 18, 41, 50, 77, 90, 92, 107, 110, 142, 148, 150 [best: 1000] 4406636445696
14, 18, 41, 50, 77, 93, 95, 104, 111, 134, 200, 234 [best: 1000] 4410931412992
total chains: 4413313554200
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 9 9 9 9
9: 27 390 14 5 18
10: 741 12465 16 3 29
11: 23115 436507 18 3 34
12: 820971 17044818 20 2 39
13: 32814894 739770496 22 1 44
14: 1460920257 35590368008 24 0 49
15: 71853548181 1886533750619 26 0 54
16: 7719049802 216519482737 28 0 57
17: 7601663 264241866 34 2 62
18: 16713 638085 38 11 61
19: 17 892 52 47 58
20: 0 0 0 0 0
21: 0 0 0 0 0
real 361m23.739s
user 338m1.347s
sys 6m26.584s
stderr end
time="2025-05-01T02:31:33-07:00" level=warning msg="The cgroupv2 manager is set to systemd but there is no systemd user session available"
time="2025-05-01T02:31:33-07:00" level=warning msg="For using systemd, you may need to login using an user session"
time="2025-05-01T02:31:33-07:00" level=warning msg="Alternatively, you can enable lingering with: `loginctl enable-linger 128` (possibly as root)"
time="2025-05-01T02:31:33-07:00" level=warning msg="Falling back to --cgroup-manager=cgroupfs"
time="2025-05-01T02:31:33-07:00" level=warning msg="The cgroupv2 manager is set to systemd but there is no systemd user session available"
time="2025-05-01T02:31:33-07:00" level=warning msg="For using systemd, you may need to login using an user session"
time="2025-05-01T02:31:33-07:00" level=warning msg="Alternatively, you can enable lingering with: `loginctl enable-linger 128` (possibly as root)"
time="2025-05-01T02:31:33-07:00" level=warning msg="Falling back to --cgroup-manager=cgroupfs"
time="2025-05-01T02:31:33-07:00" level=warning msg="The cgroupv2 manager is set to systemd but there is no systemd user session available"
time="2025-05-01T02:31:33-07:00" level=warning msg="For using systemd, you may need to login using an user session"
time="2025-05-01T02:31:33-07:00" level=warning msg="Alternatively, you can enable lingering with: `loginctl enable-linger 128` (possibly as root)"
time="2025-05-01T02:31:33-07:00" level=warning msg="Falling back to --cgroup-manager=cgroupfs"
time="2025-05-01T02:31:33-07:00" level=warning msg="The cgroupv2 manager is set to systemd but there is no systemd user session available"
time="2025-05-01T02:31:33-07:00" level=warning msg="For using systemd, you may need to login using an user session"
time="2025-05-01T02:31:33-07:00" level=warning msg="Alternatively, you can enable lingering with: `loginctl enable-linger 128` (possibly as root)"
time="2025-05-01T02:31:33-07:00" level=warning msg="Falling back to --cgroup-manager=cgroupfs"
time="2025-05-01T02:31:34-07:00" level=warning msg="The cgroupv2 manager is set to systemd but there is no systemd user session available"
time="2025-05-01T02:31:34-07:00" level=warning msg="For using systemd, you may need to login using an user session"
time="2025-05-01T02:31:34-07:00" level=warning msg="Alternatively, you can enable lingering with: `loginctl enable-linger 128` (possibly as root)"
time="2025-05-01T02:31:34-07:00" level=warning msg="Falling back to --cgroup-manager=cgroupfs"
time="2025-05-01T02:31:34-07:00" level=warning msg="The cgroupv2 manager is set to systemd but there is no systemd user session available"
time="2025-05-01T02:31:34-07:00" level=warning msg="For using systemd, you may need to login using an user session"
time="2025-05-01T02:31:34-07:00" level=warning msg="Alternatively, you can enable lingering with: `loginctl enable-linger 128` (possibly as root)"
time="2025-05-01T02:31:34-07:00" level=warning msg="Falling back to --cgroup-manager=cgroupfs"
2025-05-01 02:31:34 (3596784): called boinc_finish(0)
</stderr_txt>
]]>
