Task 15347
| Name | batch_89__job_job-000552_1 |
| Workunit | 12480 |
| Created | 30 Apr 2025, 11:02:17 UTC |
| Sent | 30 Apr 2025, 22:04:33 UTC |
| Report deadline | 7 May 2025, 22:04:33 UTC |
| Received | 1 May 2025, 4:35:40 UTC |
| Server state | Over |
| Outcome | Success |
| Client state | Done |
| Exit status | 0 (0x00000000) |
| Computer ID | 33095 |
| Run time | 6 hours 30 min 49 sec |
| CPU time | 27 sec |
| Validate state | Valid |
| Credit | 61.96 |
| 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.72 MB |
Stderr output
<core_client_version>8.2.2</core_client_version>
<![CDATA[
<stderr_txt>
1893259264
11, 21, 23, 55, 58, 92, 104, 139, 181, 187, 197, 198 [best: 1000] 1546188226560
11, 21, 23, 55, 58, 92, 111, 116, 122, 144, 209, 229 [best: 1000] 1550483193856
11, 21, 23, 55, 58, 92, 118, 131, 132, 192, 220, 248 [best: 1000] 1554778161152
11, 21, 23, 55, 58, 92, 134, 141, 143, 163, 197, 226 [best: 1000] 1559073128448
11, 21, 23, 55, 58, 93, 102, 113, 124, 196, 208, 214 [best: 1000] 1563368095744
11, 21, 23, 55, 58, 93, 116, 121, 170, 182, 186, 211 [best: 1000] 1567663063040
11, 21, 23, 55, 58, 94, 103, 109, 154, 158, 190, 201 [best: 1000] 1571958030336
11, 21, 23, 55, 58, 95, 100, 107, 135, 147, 187, 254 [best: 1000] 1576252997632
11, 21, 23, 55, 58, 96, 97, 103, 104, 166, 168, 181 [best: 1000] 1580547964928
11, 21, 23, 55, 58, 96, 116, 119, 127, 129, 179, 218 [best: 1000] 1584842932224
11, 21, 23, 55, 58, 97, 114, 124, 162, 204, 236, 264, 292 [best: 1000] 1589137899520
11, 21, 23, 55, 58, 98, 112, 136, 176, 185, 250, 271 [best: 1000] 1593432866816
11, 21, 23, 55, 58, 99, 107, 112, 166, 186, 192, 247 [best: 1000] 1597727834112
11, 21, 23, 55, 58, 100, 107, 121, 126, 149, 171, 172 [best: 1000] 1602022801408
11, 21, 23, 55, 58, 101, 106, 110, 115, 139, 146, 225 [best: 1000] 1606317768704
11, 21, 23, 55, 58, 101, 119, 138, 148, 149, 184, 225 [best: 1000] 1610612736000
11, 21, 23, 55, 58, 102, 115, 147, 150, 161, 188, 212 [best: 1000] 1614907703296
11, 21, 23, 55, 58, 104, 106, 128, 153, 199, 202, 239 [best: 1000] 1619202670592
11, 21, 23, 55, 59, 60, 62, 72, 83, 126, 138, 143 [best: 1000] 1623497637888
11, 21, 23, 55, 59, 60, 72, 83, 92, 118, 154, 162 [best: 1000] 1627792605184
11, 21, 23, 55, 59, 60, 85, 102, 109, 126, 177, 223 [best: 1000] 1632087572480
11, 21, 23, 55, 59, 61, 63, 77, 78, 85, 149, 166 [best: 1000] 1636382539776
11, 21, 23, 55, 59, 61, 78, 83, 95, 96, 110, 179 [best: 1000] 1640677507072
11, 21, 23, 55, 59, 62, 64, 95, 106, 154, 170, 222 [best: 1000] 1644972474368
11, 21, 23, 55, 59, 62, 73, 112, 130, 171, 186, 210 [best: 1000] 1649267441664
11, 21, 23, 55, 59, 62, 90, 103, 145, 170, 185, 201 [best: 1000] 1653562408960
11, 21, 23, 55, 59, 63, 68, 74, 121, 147, 162, 173 [best: 1000] 1657857376256
11, 21, 23, 55, 59, 63, 80, 93, 98, 100, 136, 163 [best: 1000] 1662152343552
11, 21, 23, 55, 59, 63, 112, 117, 123, 129, 167, 173 [best: 1000] 1666447310848
11, 21, 23, 55, 59, 64, 85, 88, 95, 139, 151, 178 [best: 1000] 1670742278144
11, 21, 23, 55, 59, 65, 73, 97, 101, 113, 124, 153 [best: 1000] 1675037245440
11, 21, 23, 55, 59, 65, 106, 128, 145, 146, 169, 214 [best: 1000] 1679332212736
11, 21, 23, 55, 59, 66, 87, 118, 121, 155, 159, 187 [best: 1000] 1683627180032
11, 21, 23, 55, 59, 67, 77, 96, 98, 127, 181 [best: 1000] 1687922147328
11, 21, 23, 55, 59, 68, 70, 74, 87, 115, 127, 144 [best: 1000] 1692217114624
11, 21, 23, 55, 59, 68, 87, 119, 124, 154, 207, 208 [best: 1000] 1696512081920
11, 21, 23, 55, 59, 69, 72, 135, 137, 157, 202, 220 [best: 1000] 1700807049216
11, 21, 23, 55, 59, 69, 84, 104, 112, 114, 143, 181 [best: 1000] 1705102016512
11, 21, 23, 55, 59, 69, 103, 114, 130, 157, 171, 187 [best: 1000] 1709396983808
11, 21, 23, 55, 59, 70, 76, 106, 110, 134, 145, 168 [best: 1000] 1713691951104
11, 21, 23, 55, 59, 70, 105, 119, 158, 162, 195, 226 [best: 1000] 1717986918400
11, 21, 23, 55, 59, 71, 87, 93, 118, 119, 136, 222 [best: 1000] 1722281885696
11, 21, 23, 55, 59, 72, 75, 78, 79, 146, 174, 202 [best: 1000] 1726576852992
11, 21, 23, 55, 59, 72, 83, 104, 138, 139, 162, 223 [best: 1000] 1730871820288
11, 21, 23, 55, 59, 72, 94, 118, 128, 173, 196, 202 [best: 1000] 1735166787584
11, 21, 23, 55, 59, 72, 108, 121, 124, 169, 221, 241 [best: 1000] 1739461754880
11, 21, 23, 55, 59, 73, 80, 103, 108, 137, 204, 209 [best: 1000] 1743756722176
11, 21, 23, 55, 59, 74, 75, 79, 114, 125, 156, 176 [best: 1000] 1748051689472
11, 21, 23, 55, 59, 74, 107, 130, 141, 154, 190, 219 [best: 1000] 1752346656768
11, 21, 23, 55, 59, 75, 88, 97, 125, 134, 173, 180 [best: 1000] 1756641624064
11, 21, 23, 55, 59, 75, 108, 120, 157, 158, 181, 244 [best: 1000] 1760936591360
11, 21, 23, 55, 59, 76, 91, 111, 113, 170, 207, 219 [best: 1000] 1765231558656
11, 21, 23, 55, 59, 77, 100, 120, 138, 139, 153, 219 [best: 1000] 1769526525952
11, 21, 23, 55, 59, 79, 84, 102, 133, 147, 161, 212 [best: 1000] 1773821493248
11, 21, 23, 55, 59, 80, 87, 91, 100, 154, 179, 226 [best: 1000] 1778116460544
11, 21, 23, 55, 59, 80, 111, 118, 137, 153, 154, 165 [best: 1000] 1782411427840
11, 21, 23, 55, 59, 81, 102, 115, 140, 161, 199, 223 [best: 1000] 1786706395136
11, 21, 23, 55, 59, 82, 103, 112, 129, 158, 161, 187 [best: 1000] 1791001362432
11, 21, 23, 55, 59, 84, 87, 96, 102, 112, 155, 170 [best: 1000] 1795296329728
11, 21, 23, 55, 59, 84, 109, 125, 130, 155, 187, 250 [best: 1000] 1799591297024
11, 21, 23, 55, 59, 86, 90, 121, 132, 158, 172, 173 [best: 1000] 1803886264320
11, 21, 23, 55, 59, 87, 102, 106, 141, 167, 207, 255 [best: 1000] 1808181231616
11, 21, 23, 55, 59, 88, 103, 116, 121, 160, 169, 194, 203 [best: 1000] 1812476198912
11, 21, 23, 55, 59, 91, 94, 103, 126, 137, 160, 181 [best: 1000] 1816771166208
11, 21, 23, 55, 59, 91, 108, 120, 128, 152, 163, 208 [best: 1000] 1821066133504
11, 21, 23, 55, 59, 93, 106, 122, 133, 138, 189, 202 [best: 1000] 1825361100800
11, 21, 23, 55, 59, 96, 106, 116, 139, 189, 213, 234 [best: 1000] 1829656068096
11, 21, 23, 55, 60, 61, 62, 119, 129, 131, 162, 171 [best: 1000] 1833951035392
11, 21, 23, 55, 60, 61, 73, 98, 136, 137, 185, 206 [best: 1000] 1838246002688
11, 21, 23, 55, 60, 61, 89, 99, 102, 159, 188, 224 [best: 1000] 1842540969984
11, 21, 23, 55, 60, 62, 68, 77, 134, 146, 173, 212 [best: 1000] 1846835937280
11, 21, 23, 55, 60, 62, 74, 102, 133, 134, 159, 188 [best: 1000] 1851130904576
11, 21, 23, 55, 60, 62, 85, 111, 118, 121, 142, 209 [best: 1000] 1855425871872
11, 21, 23, 55, 60, 62, 106, 122, 141, 187, 231, 268 [best: 1000] 1859720839168
11, 21, 23, 55, 60, 63, 72, 103, 116, 176, 212, 228 [best: 1000] 1864015806464
11, 21, 23, 55, 60, 63, 86, 109, 120, 150, 187, 213 [best: 1000] 1868310773760
11, 21, 23, 55, 60, 64, 70, 87, 109, 113, 164, 235 [best: 1000] 1872605741056
11, 21, 23, 55, 60, 64, 85, 116, 156, 182, 198, 210 [best: 1000] 1876900708352
11, 21, 23, 55, 60, 65, 72, 82, 105, 148, 162, 176 [best: 1000] 1881195675648
11, 21, 23, 55, 60, 65, 90, 122, 138, 154, 159, 164 [best: 1000] 1885490642944
11, 21, 23, 55, 60, 66, 76, 93, 125, 136, 139, 200 [best: 1000] 1889785610240
11, 21, 23, 55, 60, 67, 68, 94, 105, 119, 149, 168 [best: 1000] 1894080577536
11, 21, 23, 55, 60, 67, 84, 107, 126, 142, 161, 172 [best: 1000] 1898375544832
11, 21, 23, 55, 60, 68, 73, 83, 85, 105, 158, 215 [best: 1000] 1902670512128
11, 21, 23, 55, 60, 68, 85, 116, 135, 145, 154, 186 [best: 1000] 1906965479424
11, 21, 23, 55, 60, 69, 70, 103, 133, 157, 164, 245 [best: 1000] 1911260446720
11, 21, 23, 55, 60, 69, 79, 92, 96, 147, 160, 193 [best: 1000] 1915555414016
11, 21, 23, 55, 60, 69, 89, 120, 132, 143, 176, 200 [best: 1000] 1919850381312
11, 21, 23, 55, 60, 70, 71, 110, 124, 134, 177, 208 [best: 1000] 1924145348608
11, 21, 23, 55, 60, 70, 82, 102, 136, 154, 181, 241 [best: 1000] 1928440315904
11, 21, 23, 55, 60, 70, 103, 107, 134, 136, 161, 177 [best: 1000] 1932735283200
11, 21, 23, 55, 60, 71, 79, 90, 106, 110, 137, 220 [best: 1000] 1937030250496
11, 21, 23, 55, 60, 71, 89, 91, 104, 140, 145, 190 [best: 1000] 1941325217792
11, 21, 23, 55, 60, 71, 114, 123, 132, 161, 220, 238 [best: 1000] 1945620185088
11, 21, 23, 55, 60, 72, 79, 112, 139, 151, 191, 222 [best: 1000] 1949915152384
11, 21, 23, 55, 60, 72, 86, 105, 126, 168, 212, 222 [best: 1000] 1954210119680
11, 21, 23, 55, 60, 72, 96, 123, 140, 149, 168, 198 [best: 1000] 1958505086976
11, 21, 23, 55, 60, 72, 112, 119, 177, 178, 217, 254 [best: 1000] 1962800054272
11, 21, 23, 55, 60, 73, 81, 101, 124, 168, 198, 214 [best: 1000] 1967095021568
11, 21, 23, 55, 60, 73, 90, 134, 154, 178, 201, 214 [best: 1000] 1971389988864
11, 21, 23, 55, 60, 74, 75, 108, 121, 129, 180, 222 [best: 1000] 1975684956160
11, 21, 23, 55, 60, 74, 90, 113, 118, 124, 134, 214 [best: 1000] 1979979923456
11, 21, 23, 55, 60, 75, 81, 115, 139, 149, 168, 199 [best: 1000] 1984274890752
11, 21, 23, 55, 60, 75, 93, 122, 139, 190, 219, 264 [best: 1000] 1988569858048
11, 21, 23, 55, 60, 76, 80, 99, 103, 107, 151, 214 [best: 1000] 1992864825344
11, 21, 23, 55, 60, 76, 94, 105, 120, 133, 155, 208 [best: 1000] 1997159792640
11, 21, 23, 55, 60, 77, 92, 109, 125, 137, 155, 203 [best: 1000] 2001454759936
11, 21, 23, 55, 60, 78, 102, 119, 121, 134, 180, 242 [best: 1000] 2005749727232
11, 21, 23, 55, 60, 80, 81, 82, 89, 114, 152, 233 [best: 1000] 2010044694528
11, 21, 23, 55, 60, 80, 89, 94, 119, 139, 143, 189 [best: 1000] 2014339661824
11, 21, 23, 55, 60, 80, 106, 130, 146, 147, 165, 192 [best: 1000] 2018634629120
11, 21, 23, 55, 60, 81, 88, 115, 153, 159, 173, 230 [best: 1000] 2022929596416
11, 21, 23, 55, 60, 81, 117, 122, 126, 132, 221, 255 [best: 1000] 2027224563712
11, 21, 23, 55, 60, 82, 97, 129, 158, 170, 172, 238 [best: 1000] 2031519531008
11, 21, 23, 55, 60, 83, 89, 104, 124, 191, 213, 248 [best: 1000] 2035814498304
11, 21, 23, 55, 60, 83, 105, 144, 148, 164, 167, 260 [best: 1000] 2040109465600
11, 21, 23, 55, 60, 84, 99, 114, 117, 140, 173, 220 [best: 1000] 2044404432896
11, 21, 23, 55, 60, 85, 96, 97, 128, 149, 183, 216 [best: 1000] 2048699400192
11, 21, 23, 55, 60, 86, 88, 94, 108, 128, 143, 146 [best: 1000] 2052994367488
11, 21, 23, 55, 60, 87, 93, 102, 150, 154, 165, 222 [best: 1000] 2057289334784
11, 21, 23, 55, 60, 88, 94, 97, 118, 119, 129, 166 [best: 1000] 2061584302080
11, 21, 23, 55, 60, 88, 104, 140, 142, 162, 177, 214 [best: 1000] 2065879269376
11, 21, 23, 55, 60, 89, 95, 116, 136, 143, 149, 163 [best: 1000] 2070174236672
11, 21, 23, 55, 60, 90, 100, 121, 122, 178, 191, 200 [best: 1000] 2074469203968
11, 21, 23, 55, 60, 93, 100, 130, 146, 154, 171, 177 [best: 1000] 2078764171264
11, 21, 23, 55, 60, 95, 105, 134, 147, 168, 183, 244 [best: 1000] 2083059138560
11, 21, 23, 55, 61, 62, 72, 105, 109, 167, 197, 259 [best: 1000] 2087354105856
11, 21, 23, 55, 61, 62, 93, 124, 132, 133, 149, 185 [best: 1000] 2091649073152
11, 21, 23, 55, 61, 63, 72, 117, 131, 132, 133, 240 [best: 1000] 2095944040448
11, 21, 23, 55, 61, 63, 100, 107, 130, 165, 168, 227 [best: 1000] 2100239007744
11, 21, 23, 55, 61, 64, 86, 111, 118, 127, 138, 195 [best: 1000] 2104533975040
11, 21, 23, 55, 61, 65, 76, 88, 107, 137, 163, 167 [best: 1000] 2108828942336
11, 21, 23, 55, 61, 66, 71, 111, 115, 144, 149, 191 [best: 1000] 2113123909632
11, 21, 23, 55, 61, 67, 70, 85, 126, 148, 150, 164 [best: 1000] 2117418876928
11, 21, 23, 55, 61, 67, 93, 108, 134, 172, 185, 214 [best: 1000] 2121713844224
11, 21, 23, 55, 61, 68, 81, 99, 104, 108, 130, 171 [best: 1000] 2126008811520
11, 21, 23, 55, 61, 69, 71, 105, 126, 130, 163, 233 [best: 1000] 2130303778816
11, 21, 23, 55, 61, 69, 84, 91, 101, 134, 194, 232 [best: 1000] 2134598746112
11, 21, 23, 55, 61, 69, 104, 125, 134, 160, 171, 174 [best: 1000] 2138893713408
11, 21, 23, 55, 61, 70, 84, 85, 123, 148, 161, 179 [best: 1000] 2143188680704
11, 21, 23, 55, 61, 71, 74, 100, 101, 107, 111, 190 [best: 1000] 2147483648000
11, 21, 23, 55, 61, 71, 93, 102, 108, 150, 179, 212 [best: 1000] 2151778615296
11, 21, 23, 55, 61, 72, 76, 112, 157, 159, 161, 241 [best: 1000] 2156073582592
11, 21, 23, 55, 61, 72, 88, 90, 102, 106, 119 [best: 1000] 2160368549888
11, 21, 23, 55, 61, 72, 99, 126, 146, 153, 156, 229 [best: 1000] 2164663517184
11, 21, 23, 55, 61, 73, 77, 91, 122, 163, 180, 194 [best: 1000] 2168958484480
11, 21, 23, 55, 61, 73, 97, 101, 123, 194, 224, 227 [best: 1000] 2173253451776
11, 21, 23, 55, 61, 74, 91, 94, 116, 137, 159, 170 [best: 1000] 2177548419072
11, 21, 23, 55, 61, 75, 86, 99, 114, 115, 189, 215 [best: 1000] 2181843386368
11, 21, 23, 55, 61, 75, 106, 115, 154, 171, 192, 241 [best: 1000] 2186138353664
11, 21, 23, 55, 61, 76, 97, 106, 121, 123, 150, 176 [best: 1000] 2190433320960
11, 21, 23, 55, 61, 78, 89, 100, 134, 135, 142, 148 [best: 1000] 2194728288256
11, 21, 23, 55, 61, 80, 84, 116, 139, 145, 150, 171 [best: 1000] 2199023255552
11, 21, 23, 55, 61, 81, 82, 104, 128, 155, 156, 187 [best: 1000] 2203318222848
11, 21, 23, 55, 61, 82, 88, 105, 112, 168, 208, 209 [best: 1000] 2207613190144
11, 21, 23, 55, 61, 83, 92, 103, 129, 133, 174, 207 [best: 1000] 2211908157440
11, 21, 23, 55, 61, 85, 95, 102, 116, 132, 148 [best: 1000] 2216203124736
11, 21, 23, 55, 61, 87, 90, 99, 140, 147, 197, 203 [best: 1000] 2220498092032
11, 21, 23, 55, 61, 88, 95, 117, 122, 126, 151, 191 [best: 1000] 2224793059328
11, 21, 23, 55, 61, 88, 115, 119, 133, 161, 186, 197 [best: 1000] 2229088026624
11, 21, 23, 55, 61, 89, 108, 110, 117, 155, 173, 205 [best: 1000] 2233382993920
11, 21, 23, 55, 61, 91, 108, 126, 134, 144, 151, 196 [best: 1000] 2237677961216
11, 21, 23, 55, 62, 63, 65, 106, 112, 114, 142, 184 [best: 1000] 2241972928512
11, 21, 23, 55, 62, 63, 75, 100, 143, 144, 181, 258 [best: 1000] 2246267895808
11, 21, 23, 55, 62, 63, 98, 119, 131, 136, 185, 223 [best: 1000] 2250562863104
11, 21, 23, 55, 62, 64, 74, 78, 106, 128, 139, 146 [best: 1000] 2254857830400
11, 21, 23, 55, 62, 64, 96, 97, 110, 120, 143, 184 [best: 1000] 2259152797696
11, 21, 23, 55, 62, 65, 73, 101, 114, 136, 175, 184 [best: 1000] 2263447764992
11, 21, 23, 55, 62, 65, 92, 118, 142, 169, 176, 219 [best: 1000] 2267742732288
11, 21, 23, 55, 62, 66, 74, 93, 94, 113, 144, 215 [best: 1000] 2272037699584
11, 21, 23, 55, 62, 66, 107, 123, 139, 155, 188, 204 [best: 1000] 2276332666880
11, 21, 23, 55, 62, 67, 78, 91, 121, 174, 175, 210 [best: 1000] 2280627634176
11, 21, 23, 55, 62, 67, 99, 107, 113, 130, 179, 217 [best: 1000] 2284922601472
11, 21, 23, 55, 62, 68, 75, 81, 92, 115, 180, 226 [best: 1000] 2289217568768
11, 21, 23, 55, 62, 68, 88, 123, 134, 136, 143, 156 [best: 1000] 2293512536064
11, 21, 23, 55, 62, 69, 70, 73, 77, 100, 127, 184 [best: 1000] 2297807503360
11, 21, 23, 55, 62, 69, 76, 80, 98, 101, 139, 175 [best: 1000] 2302102470656
11, 21, 23, 55, 62, 69, 86, 105, 129, 145, 161, 225 [best: 1000] 2306397437952
11, 21, 23, 55, 62, 69, 100, 116, 145, 176, 183, 228 [best: 1000] 2310692405248
11, 21, 23, 55, 62, 70, 73, 89, 91, 169, 230, 260 [best: 1000] 2314987372544
11, 21, 23, 55, 62, 70, 85, 124, 129, 142, 180, 228 [best: 1000] 2319282339840
11, 21, 23, 55, 62, 70, 105, 128, 138, 185, 187, 224 [best: 1000] 2323577307136
11, 21, 23, 55, 62, 71, 78, 120, 155, 163, 216, 258 [best: 1000] 2327872274432
11, 21, 23, 55, 62, 71, 91, 98, 128, 172, 183, 277 [best: 1000] 2332167241728
11, 21, 23, 55, 62, 71, 109, 122, 144, 149, 182, 202 [best: 1000] 2336462209024
11, 21, 23, 55, 62, 72, 77, 78, 103, 157, 159, 176 [best: 1000] 2340757176320
11, 21, 23, 55, 62, 72, 83, 114, 170, 173, 212, 217 [best: 1000] 2345052143616
11, 21, 23, 55, 62, 72, 91, 93, 120, 151, 206, 210 [best: 1000] 2349347110912
11, 21, 23, 55, 62, 72, 98, 110, 175, 180, 205, 241 [best: 1000] 2353642078208
11, 21, 23, 55, 62, 72, 108, 131, 144, 164, 194, 246 [best: 1000] 2357937045504
11, 21, 23, 55, 62, 73, 77, 78, 106, 146, 153, 180 [best: 1000] 2362232012800
11, 21, 23, 55, 62, 73, 88, 107, 140, 146, 183, 258 [best: 1000] 2366526980096
11, 21, 23, 55, 62, 73, 104, 117, 153, 194, 204, 234 [best: 1000] 2370821947392
11, 21, 23, 55, 62, 74, 85, 97, 125, 147, 156, 160 [best: 1000] 2375116914688
11, 21, 23, 55, 62, 75, 77, 101, 136, 157, 186, 209 [best: 1000] 2379411881984
11, 21, 23, 55, 62, 75, 86, 125, 142, 156, 164, 219 [best: 1000] 2383706849280
11, 21, 23, 55, 62, 75, 98, 108, 138, 157, 200, 206 [best: 1000] 2388001816576
11, 21, 23, 55, 62, 76, 80, 93, 118, 143, 152, 204 [best: 1000] 2392296783872
11, 21, 23, 55, 62, 76, 95, 117, 125, 158, 183, 217 [best: 1000] 2396591751168
11, 21, 23, 55, 62, 77, 95, 99, 109, 118, 150, 152 [best: 1000] 2400886718464
11, 21, 23, 55, 62, 79, 80, 88, 137, 147, 148, 157 [best: 1000] 2405181685760
11, 21, 23, 55, 62, 80, 82, 98, 102, 123, 143, 174 [best: 1000] 2409476653056
11, 21, 23, 55, 62, 80, 97, 103, 157, 178, 198, 207 [best: 1000] 2413771620352
11, 21, 23, 55, 62, 81, 88, 90, 102, 105, 125, 141 [best: 1000] 2418066587648
11, 21, 23, 55, 62, 82, 83, 89, 92, 136, 150, 202 [best: 1000] 2422361554944
11, 21, 23, 55, 62, 82, 96, 122, 130, 131, 158, 163 [best: 1000] 2426656522240
11, 21, 23, 55, 62, 83, 89, 93, 104, 113, 199, 223 [best: 1000] 2430951489536
11, 21, 23, 55, 62, 83, 106, 122, 137, 163, 216, 223 [best: 1000] 2435246456832
11, 21, 23, 55, 62, 84, 97, 111, 142, 147, 156, 228 [best: 1000] 2439541424128
11, 21, 23, 55, 62, 85, 101, 114, 125, 138, 160, 252 [best: 1000] 2443836391424
11, 21, 23, 55, 62, 86, 98, 101, 135, 146, 176, 179 [best: 1000] 2448131358720
11, 21, 23, 55, 62, 87, 92, 113, 138, 140, 187, 195 [best: 1000] 2452426326016
11, 21, 23, 55, 62, 88, 105, 138, 166, 190, 191, 206 [best: 1000] 2456721293312
11, 21, 23, 55, 62, 89, 106, 108, 121, 128, 137, 142 [best: 1000] 2461016260608
11, 21, 23, 55, 62, 91, 95, 96, 98, 123, 195, 205 [best: 1000] 2465311227904
11, 21, 23, 55, 62, 91, 103, 148, 162, 190, 210, 268 [best: 1000] 2469606195200
11, 21, 23, 55, 62, 91, 116, 136, 138, 164, 208, 238 [best: 1000] 2473901162496
11, 21, 23, 55, 62, 92, 103, 141, 149, 190, 206, 213 [best: 1000] 2478196129792
11, 21, 23, 55, 62, 93, 107, 114, 116, 149, 156, 193 [best: 1000] 2482491097088
11, 21, 23, 55, 62, 95, 105, 122, 131, 167, 179, 264 [best: 1000] 2486786064384
11, 21, 23, 55, 62, 97, 102, 119, 139, 143, 172, 185 [best: 1000] 2491081031680
11, 21, 23, 55, 63, 64, 73, 87, 97, 153, 178, 240 [best: 1000] 2495375998976
11, 21, 23, 55, 63, 65, 66, 69, 107, 116, 117, 192 [best: 1000] 2499670966272
11, 21, 23, 55, 63, 65, 81, 84, 86, 102, 107, 193 [best: 1000] 2503965933568
11, 21, 23, 55, 63, 66, 71, 116, 127, 146, 164, 196 [best: 1000] 2508260900864
11, 21, 23, 55, 63, 66, 105, 112, 125, 151, 186, 213 [best: 1000] 2512555868160
11, 21, 23, 55, 63, 67, 81, 112, 127, 133, 185, 194 [best: 1000] 2516850835456
11, 21, 23, 55, 63, 68, 71, 95, 96, 117, 195, 196 [best: 1000] 2521145802752
11, 21, 23, 55, 63, 68, 85, 90, 110, 136, 164, 175 [best: 1000] 2525440770048
11, 21, 23, 55, 63, 69, 70, 130, 149, 152, 169, 196 [best: 1000] 2529735737344
11, 21, 23, 55, 63, 69, 79, 91, 133, 147, 177, 227 [best: 1000] 2534030704640
11, 21, 23, 55, 63, 69, 90, 129, 146, 162, 196, 242 [best: 1000] 2538325671936
11, 21, 23, 55, 63, 70, 71, 99, 134, 137, 158, 199 [best: 1000] 2542620639232
11, 21, 23, 55, 63, 70, 83, 96, 110, 134, 156, 167 [best: 1000] 2546915606528
11, 21, 23, 55, 63, 70, 113, 121, 136, 168, 195, 206 [best: 1000] 2551210573824
11, 21, 23, 55, 63, 71, 82, 96, 97, 142, 170 [best: 1000] 2555505541120
11, 21, 23, 55, 63, 71, 99, 105, 121, 124, 133, 198 [best: 1000] 2559800508416
11, 21, 23, 55, 63, 72, 75, 115, 129, 131, 136, 212 [best: 1000] 2564095475712
11, 21, 23, 55, 63, 72, 83, 92, 101, 127, 167, 202 [best: 1000] 2568390443008
11, 21, 23, 55, 63, 72, 90, 99, 112, 132, 194, 214 [best: 1000] 2572685410304
11, 21, 23, 55, 63, 72, 101, 104, 167, 177, 193, 194 [best: 1000] 2576980377600
11, 21, 23, 55, 63, 72, 117, 124, 128, 186, 198, 234 [best: 1000] 2581275344896
11, 21, 23, 55, 63, 73, 83, 113, 128, 134, 193, 200 [best: 1000] 2585570312192
11, 21, 23, 55, 63, 73, 101, 103, 142, 148, 218, 265 [best: 1000] 2589865279488
11, 21, 23, 55, 63, 74, 86, 120, 121, 172, 186, 203 [best: 1000] 2594160246784
11, 21, 23, 55, 63, 75, 81, 89, 93, 135, 138, 168 [best: 1000] 2598455214080
11, 21, 23, 55, 63, 75, 90, 146, 163, 170, 197, 214 [best: 1000] 2602750181376
11, 21, 23, 55, 63, 75, 113, 117, 154, 179, 183, 203 [best: 1000] 2607045148672
11, 21, 23, 55, 63, 76, 92, 128, 137, 138, 185, 188 [best: 1000] 2611340115968
11, 21, 23, 55, 63, 78, 82, 87, 106, 118, 168, 171 [best: 1000] 2615635083264
11, 21, 23, 55, 63, 79, 95, 98, 112, 128, 147 [best: 1000] 2619930050560
11, 21, 23, 55, 63, 80, 92, 93, 104, 128, 167, 220 [best: 1000] 2624225017856
11, 21, 23, 55, 63, 81, 86, 101, 151, 168, 175, 194 [best: 1000] 2628519985152
11, 21, 23, 55, 63, 82, 85, 91, 106, 111, 138, 225 [best: 1000] 2632814952448
11, 21, 23, 55, 63, 82, 107, 117, 125, 142, 188, 211 [best: 1000] 2637109919744
11, 21, 23, 55, 63, 83, 99, 125, 159, 195, 200, 235 [best: 1000] 2641404887040
11, 21, 23, 55, 63, 84, 100, 102, 126, 154, 209, 210 [best: 1000] 2645699854336
11, 21, 23, 55, 63, 86, 90, 121, 155, 168, 181, 218 [best: 1000] 2649994821632
11, 21, 23, 55, 63, 87, 88, 90, 96, 120, 132, 157 [best: 1000] 2654289788928
11, 21, 23, 55, 63, 89, 90, 92, 129, 149, 197, 245 [best: 1000] 2658584756224
11, 21, 23, 55, 63, 89, 102, 103, 141, 151, 184, 213 [best: 1000] 2662879723520
11, 21, 23, 55, 63, 90, 92, 110, 117, 133, 191, 193 [best: 1000] 2667174690816
11, 21, 23, 55, 63, 90, 114, 145, 147, 178, 190, 229 [best: 1000] 2671469658112
11, 21, 23, 55, 63, 94, 95, 109, 127, 156, 175, 198 [best: 1000] 2675764625408
11, 21, 23, 55, 64, 65, 72, 110, 127, 133, 163, 234 [best: 1000] 2680059592704
11, 21, 23, 55, 64, 66, 73, 105, 128, 158, 162, 187 [best: 1000] 2684354560000
11, 21, 23, 55, 64, 67, 80, 92, 111, 120, 177, 190 [best: 1000] 2688649527296
11, 21, 23, 55, 64, 68, 81, 82, 83, 88, 94, 119 [best: 1000] 2692944494592
11, 21, 23, 55, 64, 69, 77, 83, 102, 139, 141, 177 [best: 1000] 2697239461888
11, 21, 23, 55, 64, 69, 102, 113, 123, 142, 146, 175 [best: 1000] 2701534429184
11, 21, 23, 55, 64, 70, 96, 105, 111, 115, 137, 147 [best: 1000] 2705829396480
11, 21, 23, 55, 64, 71, 92, 98, 119, 120, 128, 212 [best: 1000] 2710124363776
11, 21, 23, 55, 64, 72, 80, 129, 149, 150, 163, 205 [best: 1000] 2714419331072
11, 21, 23, 55, 64, 72, 94, 120, 144, 164, 199, 228 [best: 1000] 2718714298368
11, 21, 23, 55, 64, 73, 76, 79, 95, 117, 120, 190 [best: 1000] 2723009265664
11, 21, 23, 55, 64, 73, 107, 119, 130, 160, 184, 206 [best: 1000] 2727304232960
11, 21, 23, 55, 64, 75, 81, 111, 130, 133, 148, 221 [best: 1000] 2731599200256
11, 21, 23, 55, 64, 75, 112, 123, 125, 149, 204, 216 [best: 1000] 2735894167552
11, 21, 23, 55, 64, 77, 87, 111, 127, 135, 162, 179 [best: 1000] 2740189134848
11, 21, 23, 55, 64, 80, 83, 100, 103, 152, 176, 197 [best: 1000] 2744484102144
11, 21, 23, 55, 64, 81, 84, 105, 107, 110, 159, 183 [best: 1000] 2748779069440
11, 21, 23, 55, 64, 82, 93, 126, 150, 162, 190, 196 [best: 1000] 2753074036736
11, 21, 23, 55, 64, 84, 99, 111, 149, 155, 181, 231 [best: 1000] 2757369004032
11, 21, 23, 55, 64, 86, 88, 90, 107, 156, 188, 218 [best: 1000] 2761663971328
11, 21, 23, 55, 64, 87, 91, 96, 105, 109, 126, 161 [best: 1000] 2765958938624
11, 21, 23, 55, 64, 89, 98, 108, 122, 142, 171, 213 [best: 1000] 2770253905920
11, 21, 23, 55, 65, 66, 76, 99, 115, 116, 139, 153 [best: 1000] 2774548873216
11, 21, 23, 55, 65, 67, 79, 87, 99, 143, 151, 193 [best: 1000] 2778843840512
11, 21, 23, 55, 65, 68, 76, 116, 128, 134, 148, 159 [best: 1000] 2783138807808
11, 21, 23, 55, 65, 69, 72, 94, 106, 109, 165, 194 [best: 1000] 2787433775104
11, 21, 23, 55, 65, 69, 89, 122, 139, 169, 194, 221 [best: 1000] 2791728742400
11, 21, 23, 55, 65, 70, 75, 100, 118, 188, 203, 266 [best: 1000] 2796023709696
11, 21, 23, 55, 65, 71, 72, 89, 102, 167, 186, 218 [best: 1000] 2800318676992
11, 21, 23, 55, 65, 71, 91, 105, 137, 142, 167, 184 [best: 1000] 2804613644288
11, 21, 23, 55, 65, 72, 76, 106, 116, 153, 187, 231 [best: 1000] 2808908611584
11, 21, 23, 55, 65, 72, 90, 92, 133, 148, 170, 191 [best: 1000] 2813203578880
11, 21, 23, 55, 65, 72, 107, 124, 145, 157, 173, 193 [best: 1000] 2817498546176
11, 21, 23, 55, 65, 73, 87, 107, 125, 134, 170 [best: 1000] 2821793513472
11, 21, 23, 55, 65, 74, 80, 106, 123, 158, 195, 218 [best: 1000] 2826088480768
11, 21, 23, 55, 65, 75, 83, 92, 98, 162, 178, 203 [best: 1000] 2830383448064
11, 21, 23, 55, 65, 75, 103, 129, 130, 139, 149, 161 [best: 1000] 2834678415360
11, 21, 23, 55, 65, 76, 103, 105, 124, 125, 165, 167 [best: 1000] 2838973382656
11, 21, 23, 55, 65, 79, 85, 101, 103, 161, 164, 180 [best: 1000] 2843268349952
11, 21, 23, 55, 65, 80, 94, 112, 124, 142, 160, 217 [best: 1000] 2847563317248
11, 21, 23, 55, 65, 81, 97, 107, 121, 135, 178, 185 [best: 1000] 2851858284544
11, 21, 23, 55, 65, 82, 108, 122, 135, 144, 156, 254 [best: 1000] 2856153251840
11, 21, 23, 55, 65, 85, 98, 106, 124, 148, 152, 195 [best: 1000] 2860448219136
11, 21, 23, 55, 65, 87, 90, 100, 112, 152, 160, 171 [best: 1000] 2864743186432
11, 21, 23, 55, 65, 89, 97, 102, 105, 109, 138, 176 [best: 1000] 2869038153728
11, 21, 23, 55, 65, 92, 93, 124, 140, 170, 174 [best: 1000] 2873333121024
11, 21, 23, 55, 66, 67, 69, 94, 117, 120, 129, 167 [best: 1000] 2877628088320
11, 21, 23, 55, 66, 68, 70, 108, 114, 119, 144, 150 [best: 1000] 2881923055616
11, 21, 23, 55, 66, 69, 70, 80, 97, 100, 118, 137 [best: 1000] 2886218022912
11, 21, 23, 55, 66, 69, 87, 99, 100, 121, 207, 240 [best: 1000] 2890512990208
11, 21, 23, 55, 66, 70, 76, 84, 93, 129, 141, 173 [best: 1000] 2894807957504
11, 21, 23, 55, 66, 71, 75, 82, 121, 145, 151, 194 [best: 1000] 2899102924800
11, 21, 23, 55, 66, 72, 73, 113, 136, 141, 164, 235 [best: 1000] 2903397892096
11, 21, 23, 55, 66, 72, 85, 122, 123, 178, 200, 243 [best: 1000] 2907692859392
11, 21, 23, 55, 66, 72, 100, 103, 121, 132, 159, 181 [best: 1000] 2911987826688
11, 21, 23, 55, 66, 73, 81, 86, 97, 134, 174, 224 [best: 1000] 2916282793984
11, 21, 23, 55, 66, 74, 86, 109, 137, 145, 173, 217 [best: 1000] 2920577761280
11, 21, 23, 55, 66, 75, 93, 131, 132, 157, 167, 184 [best: 1000] 2924872728576
11, 21, 23, 55, 66, 76, 101, 111, 136, 141, 154, 193 [best: 1000] 2929167695872
11, 21, 23, 55, 66, 79, 100, 105, 133, 156, 160, 180 [best: 1000] 2933462663168
11, 21, 23, 55, 66, 81, 85, 104, 119, 170, 198, 224 [best: 1000] 2937757630464
11, 21, 23, 55, 66, 82, 100, 111, 130, 164, 166, 201 [best: 1000] 2942052597760
11, 21, 23, 55, 66, 85, 100, 111, 113, 141, 151, 166 [best: 1000] 2946347565056
11, 21, 23, 55, 66, 87, 95, 97, 131, 151, 198, 229 [best: 1000] 2950642532352
11, 21, 23, 55, 66, 89, 95, 96, 107, 126, 171, 227 [best: 1000] 2954937499648
11, 21, 23, 55, 67, 68, 73, 102, 120, 139, 214, 234 [best: 1000] 2959232466944
11, 21, 23, 55, 67, 69, 70, 74, 102, 130, 170, 186 [best: 1000] 2963527434240
11, 21, 23, 55, 67, 69, 82, 91, 148, 152, 158, 174 [best: 1000] 2967822401536
11, 21, 23, 55, 67, 69, 103, 117, 121, 185, 218, 220, 265 [best: 1000] 2972117368832
11, 21, 23, 55, 67, 70, 83, 112, 124, 154, 161, 202 [best: 1000] 2976412336128
11, 21, 23, 55, 67, 71, 76, 83, 116, 120, 152, 191 [best: 1000] 2980707303424
11, 21, 23, 55, 67, 71, 101, 124, 130, 137, 147, 209 [best: 1000] 2985002270720
11, 21, 23, 55, 67, 72, 82, 83, 91, 113, 190, 209 [best: 1000] 2989297238016
11, 21, 23, 55, 67, 72, 95, 109, 127, 146, 197, 257 [best: 1000] 2993592205312
11, 21, 23, 55, 67, 73, 75, 97, 114, 145, 150, 211 [best: 1000] 2997887172608
11, 21, 23, 55, 67, 73, 94, 104, 119, 162, 176, 184 [best: 1000] 3002182139904
11, 21, 23, 55, 67, 74, 90, 103, 121, 143, 146, 209 [best: 1000] 3006477107200
11, 21, 23, 55, 67, 75, 89, 99, 116, 149, 152, 204 [best: 1000] 3010772074496
11, 21, 23, 55, 67, 76, 84, 92, 117, 157, 172, 207 [best: 1000] 3015067041792
11, 21, 23, 55, 67, 78, 80, 98, 99, 139, 170, 182 [best: 1000] 3019362009088
11, 21, 23, 55, 67, 80, 81, 88, 128, 158, 168, 212 [best: 1000] 3023656976384
11, 21, 23, 55, 67, 80, 102, 119, 140, 167, 178, 200 [best: 1000] 3027951943680
11, 21, 23, 55, 67, 81, 102, 122, 153, 158, 166, 204 [best: 1000] 3032246910976
11, 21, 23, 55, 67, 82, 113, 114, 124, 153, 154, 198 [best: 1000] 3036541878272
11, 21, 23, 55, 67, 84, 101, 106, 123, 150, 161, 245 [best: 1000] 3040836845568
11, 21, 23, 55, 67, 86, 89, 100, 116, 149, 150, 160 [best: 1000] 3045131812864
11, 21, 23, 55, 67, 88, 91, 96, 138, 151, 189, 211 [best: 1000] 3049426780160
11, 21, 23, 55, 67, 90, 96, 105, 108, 116, 137, 210 [best: 1000] 3053721747456
11, 21, 23, 55, 67, 92, 110, 122, 132, 164, 167, 191 [best: 1000] 3058016714752
11, 21, 23, 55, 68, 69, 73, 96, 120, 166, 190, 193 [best: 1000] 3062311682048
11, 21, 23, 55, 68, 69, 87, 93, 122, 148, 224, 239 [best: 1000] 3066606649344
11, 21, 23, 55, 68, 69, 105, 119, 131, 132, 169, 184 [best: 1000] 3070901616640
11, 21, 23, 55, 68, 70, 84, 97, 107, 135, 152, 175 [best: 1000] 3075196583936
11, 21, 23, 55, 68, 71, 75, 118, 123, 180, 194, 236 [best: 1000] 3079491551232
11, 21, 23, 55, 68, 71, 101, 109, 155, 188, 191, 205 [best: 1000] 3083786518528
11, 21, 23, 55, 68, 72, 80, 97, 117, 119, 123 [best: 1000] 3088081485824
11, 21, 23, 55, 68, 72, 89, 140, 162, 171, 176, 225 [best: 1000] 3092376453120
11, 21, 23, 55, 68, 72, 102, 115, 138, 165, 209, 222 [best: 1000] 3096671420416
11, 21, 23, 55, 68, 73, 76, 92, 105, 157, 166, 213 [best: 1000] 3100966387712
11, 21, 23, 55, 68, 73, 92, 113, 139, 159, 217, 223 [best: 1000] 3105261355008
11, 21, 23, 55, 68, 74, 86, 117, 130, 156, 170, 204 [best: 1000] 3109556322304
11, 21, 23, 55, 68, 75, 82, 113, 122, 125, 145, 196 [best: 1000] 3113851289600
11, 21, 23, 55, 68, 75, 97, 108, 147, 176, 183, 205 [best: 1000] 3118146256896
11, 21, 23, 55, 68, 76, 85, 89, 102, 177, 178, 253 [best: 1000] 3122441224192
11, 21, 23, 55, 68, 77, 87, 89, 100, 104, 106, 157 [best: 1000] 3126736191488
11, 21, 23, 55, 68, 79, 81, 99, 132, 140, 172, 195 [best: 1000] 3131031158784
11, 21, 23, 55, 68, 80, 89, 91, 92, 104, 162, 254 [best: 1000] 3135326126080
11, 21, 23, 55, 68, 80, 112, 129, 143, 161, 162, 201 [best: 1000] 3139621093376
11, 21, 23, 55, 68, 81, 105, 124, 134, 147, 162, 223 [best: 1000] 3143916060672
11, 21, 23, 55, 68, 83, 86, 99, 106, 125, 136, 194 [best: 1000] 3148211027968
11, 21, 23, 55, 68, 84, 103, 124, 133, 150, 175, 198 [best: 1000] 3152505995264
11, 21, 23, 55, 68, 86, 96, 104, 125, 142, 177, 211 [best: 1000] 3156800962560
11, 21, 23, 55, 68, 87, 101, 105, 137, 151, 211, 265 [best: 1000] 3161095929856
11, 21, 23, 55, 68, 88, 101, 106, 116, 128, 138, 144 [best: 1000] 3165390897152
11, 21, 23, 55, 68, 89, 103, 115, 138, 202, 221, 244 [best: 1000] 3169685864448
11, 21, 23, 55, 68, 90, 98, 100, 131, 142, 205, 217 [best: 1000] 3173980831744
11, 21, 23, 55, 68, 90, 112, 121, 135, 167, 172, 209 [best: 1000] 3178275799040
11, 21, 23, 55, 68, 92, 99, 101, 135, 159, 197, 198 [best: 1000] 3182570766336
11, 21, 23, 55, 68, 93, 108, 110, 128, 141, 153, 214 [best: 1000] 3186865733632
11, 21, 23, 55, 69, 70, 75, 81, 85, 120, 194, 205 [best: 1000] 3191160700928
11, 21, 23, 55, 69, 70, 87, 126, 151, 153, 224, 225 [best: 1000] 3195455668224
11, 21, 23, 55, 69, 70, 106, 117, 163, 184, 211, 253 [best: 1000] 3199750635520
11, 21, 23, 55, 69, 71, 77, 101, 119, 134, 183, 226 [best: 1000] 3204045602816
11, 21, 23, 55, 69, 71, 89, 92, 93, 146, 157, 198 [best: 1000] 3208340570112
11, 21, 23, 55, 69, 71, 101, 113, 114, 141, 143, 186 [best: 1000] 3212635537408
11, 21, 23, 55, 69, 72, 75, 77, 80, 144, 161, 197 [best: 1000] 3216930504704
11, 21, 23, 55, 69, 72, 82, 116, 131, 170, 193, 205 [best: 1000] 3221225472000
11, 21, 23, 55, 69, 72, 91, 114, 138, 171, 172, 237 [best: 1000] 3225520439296
11, 21, 23, 55, 69, 72, 102, 118, 126, 133, 199, 209 [best: 1000] 3229815406592
11, 21, 23, 55, 69, 73, 74, 86, 91, 156, 168, 226 [best: 1000] 3234110373888
11, 21, 23, 55, 69, 73, 83, 100, 153, 169, 204, 239 [best: 1000] 3238405341184
11, 21, 23, 55, 69, 73, 93, 97, 132, 169, 182, 226 [best: 1000] 3242700308480
11, 21, 23, 55, 69, 73, 110, 122, 146, 162, 180, 221 [best: 1000] 3246995275776
11, 21, 23, 55, 69, 74, 85, 113, 135, 142, 178, 184 [best: 1000] 3251290243072
11, 21, 23, 55, 69, 74, 107, 131, 149, 153, 192, 202 [best: 1000] 3255585210368
11, 21, 23, 55, 69, 75, 86, 101, 152, 170, 181, 213 [best: 1000] 3259880177664
11, 21, 23, 55, 69, 75, 99, 110, 131, 153, 180, 211 [best: 1000] 3264175144960
11, 21, 23, 55, 69, 76, 80, 132, 137, 144, 149, 157 [best: 1000] 3268470112256
11, 21, 23, 55, 69, 76, 93, 104, 119, 168, 178, 213 [best: 1000] 3272765079552
11, 21, 23, 55, 69, 77, 81, 83, 131, 132, 153, 200 [best: 1000] 3277060046848
11, 21, 23, 55, 69, 78, 81, 105, 119, 128, 170, 214 [best: 1000] 3281355014144
11, 21, 23, 55, 69, 78, 109, 116, 136, 182, 191, 227 [best: 1000] 3285649981440
11, 21, 23, 55, 69, 79, 96, 112, 114, 144, 148, 184 [best: 1000] 3289944948736
11, 21, 23, 55, 69, 80, 88, 106, 113, 165, 169, 170 [best: 1000] 3294239916032
11, 21, 23, 55, 69, 80, 101, 111, 127, 136, 201, 219 [best: 1000] 3298534883328
11, 21, 23, 55, 69, 81, 88, 98, 109, 117, 216, 245 [best: 1000] 3302829850624
11, 21, 23, 55, 69, 81, 111, 112, 120, 135, 207, 236 [best: 1000] 3307124817920
11, 21, 23, 55, 69, 82, 92, 108, 145, 162, 198, 225 [best: 1000] 3311419785216
11, 21, 23, 55, 69, 82, 116, 122, 131, 151, 162, 203 [best: 1000] 3315714752512
11, 21, 23, 55, 69, 83, 99, 120, 126, 170, 190, 207 [best: 1000] 3320009719808
11, 21, 23, 55, 69, 84, 94, 118, 129, 145, 179, 192 [best: 1000] 3324304687104
11, 21, 23, 55, 69, 85, 92, 94, 159, 186, 202, 205 [best: 1000] 3328599654400
11, 21, 23, 55, 69, 86, 89, 99, 131, 137, 190, 195 [best: 1000] 3332894621696
11, 21, 23, 55, 69, 86, 112, 128, 129, 143, 178, 207 [best: 1000] 3337189588992
11, 21, 23, 55, 69, 87, 109, 112, 168, 169, 182, 201 [best: 1000] 3341484556288
11, 21, 23, 55, 69, 88, 97, 118, 145, 150, 182, 206 [best: 1000] 3345779523584
11, 21, 23, 55, 69, 89, 90, 112, 129, 150, 155, 171 [best: 1000] 3350074490880
11, 21, 23, 55, 69, 90, 92, 106, 115, 129, 145, 170 [best: 1000] 3354369458176
11, 21, 23, 55, 69, 90, 110, 141, 188, 189, 218, 247 [best: 1000] 3358664425472
11, 21, 23, 55, 69, 91, 95, 132, 165, 168, 174, 225 [best: 1000] 3362959392768
11, 21, 23, 55, 69, 91, 105, 129, 175, 177, 188, 192 [best: 1000] 3367254360064
11, 21, 23, 55, 69, 91, 116, 148, 165, 172, 196, 251 [best: 1000] 3371549327360
11, 21, 23, 55, 69, 92, 101, 115, 122, 134, 160, 200 [best: 1000] 3375844294656
11, 21, 23, 55, 69, 93, 94, 96, 112, 174, 184, 249 [best: 1000] 3380139261952
11, 21, 23, 55, 69, 93, 106, 120, 121, 170, 216, 245 [best: 1000] 3384434229248
11, 21, 23, 55, 69, 93, 127, 132, 134, 163, 226, 243, 273 [best: 1000] 3388729196544
11, 21, 23, 55, 69, 95, 99, 115, 118, 132, 185, 226 [best: 1000] 3393024163840
11, 21, 23, 55, 69, 96, 110, 133, 159, 194, 200, 248 [best: 1000] 3397319131136
11, 21, 23, 55, 69, 98, 111, 127, 128, 141, 190, 261 [best: 1000] 3401614098432
11, 21, 23, 55, 69, 99, 119, 128, 137, 177, 178, 181 [best: 1000] 3405909065728
11, 21, 23, 55, 69, 101, 105, 120, 121, 137, 153, 204 [best: 1000] 3410204033024
11, 21, 23, 55, 70, 71, 76, 98, 109, 140, 145, 187 [best: 1000] 3414499000320
11, 21, 23, 55, 70, 71, 92, 94, 112, 117, 144, 146 [best: 1000] 3418793967616
11, 21, 23, 55, 70, 72, 75, 101, 104, 120, 169, 218 [best: 1000] 3423088934912
11, 21, 23, 55, 70, 72, 83, 109, 115, 153, 182, 191 [best: 1000] 3427383902208
11, 21, 23, 55, 70, 72, 91, 114, 125, 167, 173, 238 [best: 1000] 3431678869504
11, 21, 23, 55, 70, 72, 105, 107, 136, 140, 151, 174 [best: 1000] 3435973836800
11, 21, 23, 55, 70, 73, 75, 103, 137, 159, 207, 264 [best: 1000] 3440268804096
11, 21, 23, 55, 70, 73, 96, 112, 117, 124, 139, 179 [best: 1000] 3444563771392
11, 21, 23, 55, 70, 74, 88, 111, 142, 144, 174, 267 [best: 1000] 3448858738688
11, 21, 23, 55, 70, 75, 81, 99, 105, 162, 163, 193 [best: 1000] 3453153705984
11, 21, 23, 55, 70, 75, 95, 102, 152, 171, 201, 229 [best: 1000] 3457448673280
11, 21, 23, 55, 70, 76, 80, 99, 108, 148, 188, 240 [best: 1000] 3461743640576
11, 21, 23, 55, 70, 76, 110, 122, 148, 171, 183, 212 [best: 1000] 3466038607872
11, 21, 23, 55, 70, 78, 90, 91, 94, 104, 121, 175 [best: 1000] 3470333575168
11, 21, 23, 55, 70, 79, 97, 102, 134, 140, 157, 219 [best: 1000] 3474628542464
11, 21, 23, 55, 70, 80, 90, 112, 146, 153, 155, 235 [best: 1000] 3478923509760
11, 21, 23, 55, 70, 80, 116, 119, 141, 152, 184, 224 [best: 1000] 3483218477056
11, 21, 23, 55, 70, 81, 100, 105, 132, 168, 190, 195 [best: 1000] 3487513444352
11, 21, 23, 55, 70, 82, 93, 105, 129, 139, 169, 197 [best: 1000] 3491808411648
11, 21, 23, 55, 70, 83, 103, 113, 117, 153, 161, 192 [best: 1000] 3496103378944
11, 21, 23, 55, 70, 85, 88, 105, 139, 143, 153, 178 [best: 1000] 3500398346240
11, 21, 23, 55, 70, 86, 93, 120, 125, 130, 132, 156 [best: 1000] 3504693313536
11, 21, 23, 55, 70, 87, 102, 107, 126, 163, 183, 195 [best: 1000] 3508988280832
11, 21, 23, 55, 70, 88, 95, 113, 146, 159, 184, 231 [best: 1000] 3513283248128
11, 21, 23, 55, 70, 88, 115, 142, 158, 166, 168, 198 [best: 1000] 3517578215424
11, 21, 23, 55, 70, 90, 96, 97, 148, 152, 205, 210 [best: 1000] 3521873182720
11, 21, 23, 55, 70, 90, 106, 158, 160, 163, 166, 265 [best: 1000] 3526168150016
11, 21, 23, 55, 70, 91, 99, 111, 124, 165, 197, 263 [best: 1000] 3530463117312
11, 21, 23, 55, 70, 94, 108, 115, 125, 133, 180, 199 [best: 1000] 3534758084608
11, 21, 23, 55, 70, 96, 106, 130, 169, 176, 215, 229, 249 [best: 1000] 3539053051904
11, 21, 23, 55, 71, 72, 76, 91, 135, 187, 208, 219 [best: 1000] 3543348019200
11, 21, 23, 55, 71, 72, 83, 123, 137, 147, 206, 243 [best: 1000] 3547642986496
11, 21, 23, 55, 71, 72, 90, 123, 145, 148, 164, 242 [best: 1000] 3551937953792
11, 21, 23, 55, 71, 72, 100, 130, 158, 183, 239, 264 [best: 1000] 3556232921088
11, 21, 23, 55, 71, 72, 114, 124, 138, 174, 202, 239 [best: 1000] 3560527888384
11, 21, 23, 55, 71, 73, 84, 92, 122, 141, 151, 185 [best: 1000] 3564822855680
11, 21, 23, 55, 71, 73, 105, 116, 123, 135, 157, 245 [best: 1000] 3569117822976
11, 21, 23, 55, 71, 74, 99, 113, 114, 133, 187, 192 [best: 1000] 3573412790272
11, 21, 23, 55, 71, 75, 85, 121, 123, 157, 171, 192 [best: 1000] 3577707757568
11, 21, 23, 55, 71, 75, 99, 102, 133, 155, 193, 224 [best: 1000] 3582002724864
11, 21, 23, 55, 71, 76, 82, 89, 106, 179, 190, 198 [best: 1000] 3586297692160
11, 21, 23, 55, 71, 76, 100, 116, 127, 157, 208, 234 [best: 1000] 3590592659456
11, 21, 23, 55, 71, 78, 81, 85, 95, 97, 144, 159 [best: 1000] 3594887626752
11, 21, 23, 55, 71, 79, 83, 102, 105, 118, 139, 190 [best: 1000] 3599182594048
11, 21, 23, 55, 71, 80, 85, 107, 132, 158, 197, 214 [best: 1000] 3603477561344
11, 21, 23, 55, 71, 80, 103, 128, 130, 148, 171, 214 [best: 1000] 3607772528640
11, 21, 23, 55, 71, 81, 90, 130, 147, 175, 179, 189 [best: 1000] 3612067495936
11, 21, 23, 55, 71, 82, 87, 111, 129, 145, 172, 226 [best: 1000] 3616362463232
11, 21, 23, 55, 71, 83, 86, 114, 118, 131, 145, 211 [best: 1000] 3620657430528
11, 21, 23, 55, 71, 83, 107, 114, 128, 134, 138, 189 [best: 1000] 3624952397824
11, 21, 23, 55, 71, 84, 104, 126, 144, 157, 172, 228 [best: 1000] 3629247365120
11, 21, 23, 55, 71, 85, 107, 110, 139, 169, 206, 240 [best: 1000] 3633542332416
11, 21, 23, 55, 71, 86, 104, 134, 148, 155, 159, 170 [best: 1000] 3637837299712
11, 21, 23, 55, 71, 87, 102, 119, 147, 156, 159, 203 [best: 1000] 3642132267008
11, 21, 23, 55, 71, 88, 95, 105, 110, 121, 125, 181 [best: 1000] 3646427234304
11, 21, 23, 55, 71, 89, 97, 107, 111, 186, 218, 239 [best: 1000] 3650722201600
11, 21, 23, 55, 71, 90, 91, 144, 156, 187, 209, 234 [best: 1000] 3655017168896
11, 21, 23, 55, 71, 90, 101, 105, 144, 149, 161, 194 [best: 1000] 3659312136192
11, 21, 23, 55, 71, 90, 111, 114, 131, 140, 155, 217 [best: 1000] 3663607103488
11, 21, 23, 55, 71, 91, 98, 105, 130, 175, 181, 210 [best: 1000] 3667902070784
11, 21, 23, 55, 71, 93, 94, 108, 112, 119, 144, 181 [best: 1000] 3672197038080
11, 21, 23, 55, 71, 94, 103, 122, 161, 166, 214, 265 [best: 1000] 3676492005376
11, 21, 23, 55, 71, 96, 97, 98, 117, 127, 166, 168 [best: 1000] 3680786972672
11, 21, 23, 55, 72, 73, 75, 109, 110, 172, 184, 216 [best: 1000] 3685081939968
11, 21, 23, 55, 72, 73, 82, 94, 119, 153, 204, 205 [best: 1000] 3689376907264
11, 21, 23, 55, 72, 73, 88, 91, 93, 156, 196, 263 [best: 1000] 3693671874560
11, 21, 23, 55, 72, 73, 93, 117, 141, 151, 180, 226 [best: 1000] 3697966841856
11, 21, 23, 55, 72, 73, 102, 134, 159, 181, 218, 223 [best: 1000] 3702261809152
11, 21, 23, 55, 72, 74, 75, 101, 151, 153, 194, 220 [best: 1000] 3706556776448
11, 21, 23, 55, 72, 74, 84, 109, 111, 116, 124, 239 [best: 1000] 3710851743744
11, 21, 23, 55, 72, 74, 92, 119, 125, 129, 131, 159 [best: 1000] 3715146711040
11, 21, 23, 55, 72, 74, 107, 110, 117, 162, 184, 198 [best: 1000] 3719441678336
11, 21, 23, 55, 72, 75, 81, 103, 145, 162, 180, 220 [best: 1000] 3723736645632
11, 21, 23, 55, 72, 75, 88, 116, 146, 178, 227, 262 [best: 1000] 3728031612928
11, 21, 23, 55, 72, 75, 96, 129, 135, 151, 184, 186 [best: 1000] 3732326580224
11, 21, 23, 55, 72, 75, 114, 115, 118, 179, 223, 248 [best: 1000] 3736621547520
11, 21, 23, 55, 72, 76, 83, 88, 172, 178, 206, 216 [best: 1000] 3740916514816
11, 21, 23, 55, 72, 76, 89, 111, 113, 175, 178, 184 [best: 1000] 3745211482112
11, 21, 23, 55, 72, 76, 96, 119, 142, 143, 195, 208 [best: 1000] 3749506449408
11, 21, 23, 55, 72, 76, 111, 139, 145, 165, 202, 227 [best: 1000] 3753801416704
11, 21, 23, 55, 72, 77, 88, 90, 103, 105, 153, 189 [best: 1000] 3758096384000
11, 21, 23, 55, 72, 78, 80, 110, 114, 140, 145, 168 [best: 1000] 3762391351296
11, 21, 23, 55, 72, 78, 91, 100, 141, 145, 159, 246 [best: 1000] 3766686318592
11, 21, 23, 55, 72, 78, 112, 114, 115, 140, 197, 212 [best: 1000] 3770981285888
11, 21, 23, 55, 72, 79, 90, 107, 112, 116, 126, 165 [best: 1000] 3775276253184
11, 21, 23, 55, 72, 79, 112, 131, 135, 137, 143, 157 [best: 1000] 3779571220480
11, 21, 23, 55, 72, 80, 87, 111, 119, 165, 178, 231 [best: 1000] 3783866187776
11, 21, 23, 55, 72, 80, 93, 155, 166, 187, 191, 236 [best: 1000] 3788161155072
11, 21, 23, 55, 72, 80, 107, 122, 138, 183, 215, 241 [best: 1000] 3792456122368
11, 21, 23, 55, 72, 81, 84, 138, 145, 169, 199, 204 [best: 1000] 3796751089664
11, 21, 23, 55, 72, 81, 91, 134, 154, 184, 243, 256 [best: 1000] 3801046056960
11, 21, 23, 55, 72, 81, 101, 123, 150, 166, 175, 177 [best: 1000] 3805341024256
11, 21, 23, 55, 72, 82, 84, 99, 118, 134, 147, 218 [best: 1000] 3809635991552
11, 21, 23, 55, 72, 82, 91, 100, 135, 214, 225 [best: 1000] 3813930958848
11, 21, 23, 55, 72, 82, 99, 124, 160, 168, 194, 258 [best: 1000] 3818225926144
11, 21, 23, 55, 72, 83, 84, 117, 171, 194, 198, 199 [best: 1000] 3822520893440
11, 21, 23, 55, 72, 83, 90, 106, 112, 124, 163, 211 [best: 1000] 3826815860736
11, 21, 23, 55, 72, 83, 96, 97, 116, 153, 170, 234 [best: 1000] 3831110828032
11, 21, 23, 55, 72, 83, 106, 107, 113, 153, 180, 198 [best: 1000] 3835405795328
11, 21, 23, 55, 72, 83, 126, 141, 165, 179, 258, 270 [best: 1000] 3839700762624
11, 21, 23, 55, 72, 84, 91, 134, 144, 185, 186, 208 [best: 1000] 3843995729920
11, 21, 23, 55, 72, 84, 101, 124, 139, 144, 204, 252 [best: 1000] 3848290697216
11, 21, 23, 55, 72, 85, 86, 110, 137, 164, 196, 229 [best: 1000] 3852585664512
11, 21, 23, 55, 72, 85, 93, 96, 117, 152, 168, 170 [best: 1000] 3856880631808
11, 21, 23, 55, 72, 85, 103, 106, 121, 151, 153, 220 [best: 1000] 3861175599104
11, 21, 23, 55, 72, 86, 87, 91, 116, 202, 242, 249 [best: 1000] 3865470566400
11, 21, 23, 55, 72, 86, 93, 112, 166, 179, 190, 243 [best: 1000] 3869765533696
11, 21, 23, 55, 72, 86, 105, 110, 116, 156, 210, 215 [best: 1000] 3874060500992
11, 21, 23, 55, 72, 87, 88, 126, 166, 189, 200, 206 [best: 1000] 3878355468288
11, 21, 23, 55, 72, 87, 95, 141, 158, 170, 179, 187 [best: 1000] 3882650435584
11, 21, 23, 55, 72, 87, 113, 143, 150, 170, 181, 212 [best: 1000] 3886945402880
11, 21, 23, 55, 72, 88, 92, 99, 147, 154, 173, 246 [best: 1000] 3891240370176
11, 21, 23, 55, 72, 88, 98, 124, 173, 176, 207, 215 [best: 1000] 3895535337472
11, 21, 23, 55, 72, 88, 110, 118, 133, 135, 194, 205 [best: 1000] 3899830304768
11, 21, 23, 55, 72, 89, 90, 111, 113, 118, 141, 229 [best: 1000] 3904125272064
11, 21, 23, 55, 72, 89, 101, 136, 146, 150, 204, 227 [best: 1000] 3908420239360
11, 21, 23, 55, 72, 90, 92, 129, 145, 162, 195, 201 [best: 1000] 3912715206656
11, 21, 23, 55, 72, 90, 101, 124, 130, 150, 164, 183 [best: 1000] 3917010173952
11, 21, 23, 55, 72, 90, 119, 122, 124, 147, 148, 170 [best: 1000] 3921305141248
11, 21, 23, 55, 72, 91, 94, 115, 130, 179, 194, 233 [best: 1000] 3925600108544
11, 21, 23, 55, 72, 91, 100, 113, 116, 119, 154, 265 [best: 1000] 3929895075840
11, 21, 23, 55, 72, 91, 107, 118, 171, 180, 211, 259 [best: 1000] 3934190043136
11, 21, 23, 55, 72, 91, 117, 147, 154, 196, 197, 206 [best: 1000] 3938485010432
11, 21, 23, 55, 72, 92, 94, 130, 164, 173, 199, 210 [best: 1000] 3942779977728
11, 21, 23, 55, 72, 92, 102, 113, 165, 168, 212, 247 [best: 1000] 3947074945024
11, 21, 23, 55, 72, 92, 111, 141, 162, 168, 175, 244 [best: 1000] 3951369912320
11, 21, 23, 55, 72, 92, 130, 151, 164, 169, 176 [best: 1000] 3955664879616
11, 21, 23, 55, 72, 93, 100, 124, 154, 155, 156, 250 [best: 1000] 3959959846912
11, 21, 23, 55, 72, 93, 108, 154, 179, 213, 240, 272 [best: 1000] 3964254814208
11, 21, 23, 55, 72, 93, 122, 126, 141, 191, 216, 228 [best: 1000] 3968549781504
11, 21, 23, 55, 72, 94, 101, 130, 178, 190, 200, 212, 247 [best: 1000] 3972844748800
11, 21, 23, 55, 72, 95, 96, 108, 160, 171, 212, 240 [best: 1000] 3977139716096
11, 21, 23, 55, 72, 95, 110, 121, 127, 144, 220, 256 [best: 1000] 3981434683392
11, 21, 23, 55, 72, 96, 104, 127, 159, 171, 205, 271 [best: 1000] 3985729650688
11, 21, 23, 55, 72, 97, 101, 144, 151, 161, 168, 188 [best: 1000] 3990024617984
11, 21, 23, 55, 72, 98, 99, 109, 142, 152, 168, 233 [best: 1000] 3994319585280
11, 21, 23, 55, 72, 98, 119, 121, 143, 153, 176, 177 [best: 1000] 3998614552576
11, 21, 23, 55, 72, 99, 112, 128, 150, 187, 195, 243 [best: 1000] 4002909519872
11, 21, 23, 55, 72, 100, 107, 118, 138, 159, 176, 236 [best: 1000] 4007204487168
11, 21, 23, 55, 72, 100, 124, 130, 132, 156, 164, 228 [best: 1000] 4011499454464
11, 21, 23, 55, 72, 101, 114, 121, 133, 136, 143, 236 [best: 1000] 4015794421760
11, 21, 23, 55, 72, 102, 108, 124, 152, 156, 222, 239 [best: 1000] 4020089389056
11, 21, 23, 55, 72, 103, 110, 124, 139, 146, 157 [best: 1000] 4024384356352
11, 21, 23, 55, 72, 104, 117, 125, 127, 140, 166, 171 [best: 1000] 4028679323648
11, 21, 23, 55, 73, 74, 89, 128, 154, 177, 224, 237 [best: 1000] 4032974290944
11, 21, 23, 55, 73, 75, 80, 88, 142, 164, 166, 229 [best: 1000] 4037269258240
11, 21, 23, 55, 73, 75, 89, 99, 113, 170, 192, 225 [best: 1000] 4041564225536
11, 21, 23, 55, 73, 75, 102, 117, 156, 172, 182, 185 [best: 1000] 4045859192832
11, 21, 23, 55, 73, 76, 81, 127, 133, 141, 162, 166 [best: 1000] 4050154160128
11, 21, 23, 55, 73, 76, 107, 109, 146, 157, 196, 203 [best: 1000] 4054449127424
11, 21, 23, 55, 73, 78, 81, 106, 109, 151, 153, 172 [best: 1000] 4058744094720
11, 21, 23, 55, 73, 79, 80, 122, 162, 164, 183, 214 [best: 1000] 4063039062016
11, 21, 23, 55, 73, 79, 108, 119, 131, 155, 174, 199 [best: 1000] 4067334029312
11, 21, 23, 55, 73, 80, 90, 105, 109, 128, 200, 256 [best: 1000] 4071628996608
11, 21, 23, 55, 73, 80, 110, 112, 155, 177, 229, 259 [best: 1000] 4075923963904
11, 21, 23, 55, 73, 81, 90, 102, 131, 132, 172, 217 [best: 1000] 4080218931200
11, 21, 23, 55, 73, 82, 83, 91, 92, 131, 153, 166 [best: 1000] 4084513898496
11, 21, 23, 55, 73, 82, 104, 117, 124, 150, 180, 199 [best: 1000] 4088808865792
11, 21, 23, 55, 73, 84, 85, 126, 141, 151, 192, 240 [best: 1000] 4093103833088
11, 21, 23, 55, 73, 84, 98, 124, 133, 160, 173, 216 [best: 1000] 4097398800384
11, 21, 23, 55, 73, 85, 88, 90, 104, 120, 223, 256 [best: 1000] 4101693767680
11, 21, 23, 55, 73, 86, 90, 100, 118, 185, 196, 202 [best: 1000] 4105988734976
11, 21, 23, 55, 73, 86, 108, 130, 165, 196, 202, 259 [best: 1000] 4110283702272
11, 21, 23, 55, 73, 87, 102, 103, 121, 155, 209, 233 [best: 1000] 4114578669568
11, 21, 23, 55, 73, 88, 104, 107, 109, 110, 137, 195 [best: 1000] 4118873636864
11, 21, 23, 55, 73, 89, 96, 97, 145, 165, 213, 239 [best: 1000] 4123168604160
11, 21, 23, 55, 73, 89, 116, 118, 125, 149, 156, 203 [best: 1000] 4127463571456
11, 21, 23, 55, 73, 90, 99, 116, 131, 135, 186, 219 [best: 1000] 4131758538752
11, 21, 23, 55, 73, 90, 109, 110, 151, 158, 181, 195 [best: 1000] 4136053506048
11, 21, 23, 55, 73, 90, 125, 139, 180, 202, 215, 256 [best: 1000] 4140348473344
11, 21, 23, 55, 73, 92, 107, 125, 140, 181, 206, 239 [best: 1000] 4144643440640
11, 21, 23, 55, 73, 95, 102, 127, 134, 141, 148, 199 [best: 1000] 4148938407936
11, 21, 23, 55, 73, 97, 105, 119, 135, 138, 163, 204 [best: 1000] 4153233375232
11, 21, 23, 55, 73, 98, 115, 133, 144, 179, 188, 224 [best: 1000] 4157528342528
11, 21, 23, 55, 74, 75, 83, 87, 91, 105, 135, 199 [best: 1000] 4161823309824
11, 21, 23, 55, 74, 75, 101, 117, 132, 152, 158, 178 [best: 1000] 4166118277120
11, 21, 23, 55, 74, 76, 96, 98, 103, 119, 136, 155 [best: 1000] 4170413244416
11, 21, 23, 55, 74, 78, 92, 113, 117, 121, 143, 147 [best: 1000] 4174708211712
11, 21, 23, 55, 74, 80, 85, 105, 126, 139, 154, 166 [best: 1000] 4179003179008
11, 21, 23, 55, 74, 81, 84, 88, 118, 143, 173, 180 [best: 1000] 4183298146304
11, 21, 23, 55, 74, 82, 88, 112, 151, 153, 184, 265 [best: 1000] 4187593113600
11, 21, 23, 55, 74, 83, 92, 104, 107, 109, 154, 176 [best: 1000] 4191888080896
11, 21, 23, 55, 74, 84, 100, 127, 128, 156, 186, 229 [best: 1000] 4196183048192
11, 21, 23, 55, 74, 86, 95, 104, 119, 122, 128, 155 [best: 1000] 4200478015488
11, 21, 23, 55, 74, 87, 99, 101, 137, 165, 179, 233 [best: 1000] 4204772982784
11, 21, 23, 55, 74, 88, 95, 106, 110, 126, 134, 204 [best: 1000] 4209067950080
11, 21, 23, 55, 74, 88, 115, 118, 121, 122, 182, 186, 258 [best: 1000] 4213362917376
11, 21, 23, 55, 74, 92, 96, 113, 118, 126, 136, 146 [best: 1000] 4217657884672
11, 21, 23, 55, 75, 76, 81, 109, 146, 148, 188, 222 [best: 1000] 4221952851968
11, 21, 23, 55, 75, 76, 92, 110, 136, 138, 162, 199 [best: 1000] 4226247819264
11, 21, 23, 55, 75, 77, 80, 93, 94, 129, 156, 189 [best: 1000] 4230542786560
11, 21, 23, 55, 75, 78, 82, 86, 103, 157, 173, 185 [best: 1000] 4234837753856
11, 21, 23, 55, 75, 78, 103, 105, 107, 132, 172 [best: 1000] 4239132721152
11, 21, 23, 55, 75, 79, 97, 99, 102, 127, 128, 155 [best: 1000] 4243427688448
11, 21, 23, 55, 75, 80, 87, 91, 136, 140, 151, 233 [best: 1000] 4247722655744
11, 21, 23, 55, 75, 80, 98, 108, 134, 146, 188, 192 [best: 1000] 4252017623040
11, 21, 23, 55, 75, 81, 82, 124, 138, 157, 161, 229 [best: 1000] 4256312590336
11, 21, 23, 55, 75, 81, 92, 123, 132, 142, 146, 150 [best: 1000] 4260607557632
11, 21, 23, 55, 75, 82, 83, 105, 116, 146, 185 [best: 1000] 4264902524928
11, 21, 23, 55, 75, 82, 92, 124, 140, 170, 184, 207 [best: 1000] 4269197492224
11, 21, 23, 55, 75, 83, 84, 90, 125, 146, 190, 219 [best: 1000] 4273492459520
11, 21, 23, 55, 75, 83, 93, 95, 98, 99, 101, 178 [best: 1000] 4277787426816
11, 21, 23, 55, 75, 83, 113, 131, 139, 176, 202, 234 [best: 1000] 4282082394112
11, 21, 23, 55, 75, 84, 94, 103, 111, 154, 168, 202 [best: 1000] 4286377361408
11, 21, 23, 55, 75, 85, 87, 102, 111, 122, 167, 178 [best: 1000] 4290672328704
11, 21, 23, 55, 75, 85, 100, 110, 156, 194, 211, 247 [best: 1000] 4294967296000
11, 21, 23, 55, 75, 86, 90, 92, 148, 152, 215, 273 [best: 1000] 4299262263296
11, 21, 23, 55, 75, 86, 108, 113, 130, 178, 182, 183 [best: 1000] 4303557230592
11, 21, 23, 55, 75, 87, 95, 97, 131, 153, 187, 205 [best: 1000] 4307852197888
11, 21, 23, 55, 75, 88, 91, 95, 97, 114, 142, 179 [best: 1000] 4312147165184
11, 21, 23, 55, 75, 89, 90, 126, 148, 186, 224, 233 [best: 1000] 4316442132480
11, 21, 23, 55, 75, 90, 91, 98, 124, 142, 169, 266 [best: 1000] 4320737099776
11, 21, 23, 55, 75, 90, 98, 130, 158, 180, 210, 235 [best: 1000] 4325032067072
11, 21, 23, 55, 75, 90, 109, 128, 164, 181, 248, 281 [best: 1000] 4329327034368
11, 21, 23, 55, 75, 91, 92, 94, 103, 159, 209, 223 [best: 1000] 4333622001664
11, 21, 23, 55, 75, 91, 105, 136, 163, 197, 220, 253 [best: 1000] 4337916968960
11, 21, 23, 55, 75, 92, 95, 98, 102, 105, 139, 190 [best: 1000] 4342211936256
11, 21, 23, 55, 75, 92, 107, 136, 144, 163, 186, 258 [best: 1000] 4346506903552
11, 21, 23, 55, 75, 93, 96, 103, 139, 153, 208, 210 [best: 1000] 4350801870848
11, 21, 23, 55, 75, 94, 114, 115, 126, 153, 164, 231 [best: 1000] 4355096838144
11, 21, 23, 55, 75, 96, 109, 123, 167, 185, 190, 232 [best: 1000] 4359391805440
11, 21, 23, 55, 75, 98, 104, 120, 122, 153, 189, 198 [best: 1000] 4363686772736
11, 21, 23, 55, 75, 99, 109, 113, 153, 194, 207, 213, 264 [best: 1000] 4367981740032
11, 21, 23, 55, 75, 100, 113, 119, 138, 215, 230, 276 [best: 1000] 4372276707328
11, 21, 23, 55, 76, 77, 82, 93, 102, 141, 154, 165 [best: 1000] 4376571674624
11, 21, 23, 55, 76, 78, 93, 101, 104, 147, 169, 190 [best: 1000] 4380866641920
11, 21, 23, 55, 76, 79, 103, 110, 150, 165, 174, 179 [best: 1000] 4385161609216
11, 21, 23, 55, 76, 80, 91, 145, 155, 157, 162, 241 [best: 1000] 4389456576512
11, 21, 23, 55, 76, 81, 85, 99, 106, 108, 120, 185 [best: 1000] 4393751543808
11, 21, 23, 55, 76, 82, 83, 89, 105, 158, 166, 216 [best: 1000] 4398046511104
11, 21, 23, 55, 76, 83, 84, 113, 119, 133, 174, 186 [best: 1000] 4402341478400
11, 21, 23, 55, 76, 84, 86, 89, 100, 114, 117, 164 [best: 1000] 4406636445696
11, 21, 23, 55, 76, 84, 104, 107, 121, 135, 164, 227 [best: 1000] 4410931412992
11, 21, 23, 55, 76, 85, 103, 111, 119, 124, 134, 204 [best: 1000] 4415226380288
11, 21, 23, 55, 76, 86, 104, 105, 115, 144, 227, 276 [best: 1000] 4419521347584
11, 21, 23, 55, 76, 87, 107, 125, 134, 142, 186, 193 [best: 1000] 4423816314880
11, 21, 23, 55, 76, 89, 94, 103, 117, 156, 163, 203 [best: 1000] 4428111282176
11, 21, 23, 55, 76, 89, 111, 138, 147, 151, 168, 195 [best: 1000] 4432406249472
11, 21, 23, 55, 76, 91, 95, 108, 129, 184, 195, 231 [best: 1000] 4436701216768
11, 21, 23, 55, 76, 91, 105, 134, 174, 193, 216, 245 [best: 1000] 4440996184064
11, 21, 23, 55, 76, 92, 100, 104, 128, 139, 149 [best: 1000] 4445291151360
11, 21, 23, 55, 76, 95, 102, 107, 108, 118, 182, 220 [best: 1000] 4449586118656
11, 21, 23, 55, 76, 97, 106, 114, 126, 151, 169, 172 [best: 1000] 4453881085952
11, 21, 23, 55, 77, 80, 93, 107, 116, 137, 160, 224 [best: 1000] 4458176053248
11, 21, 23, 55, 77, 82, 89, 90, 140, 153, 172, 193 [best: 1000] 4462471020544
11, 21, 23, 55, 77, 84, 93, 103, 142, 146, 169, 173 [best: 1000] 4466765987840
11, 21, 23, 55, 77, 88, 93, 98, 101, 105, 155, 214 [best: 1000] 4471060955136
11, 21, 23, 55, 78, 80, 90, 99, 137, 158, 183, 189 [best: 1000] 4475355922432
11, 21, 23, 55, 78, 81, 96, 97, 100, 117, 143, 144 [best: 1000] 4479650889728
11, 21, 23, 55, 78, 83, 84, 90, 96, 97, 105, 155 [best: 1000] 4483945857024
11, 21, 23, 55, 78, 85, 100, 102, 118, 165, 171, 216 [best: 1000] 4488240824320
11, 21, 23, 55, 78, 87, 97, 115, 140, 160, 190, 195 [best: 1000] 4492535791616
11, 21, 23, 55, 78, 89, 96, 111, 139, 167, 192, 239 [best: 1000] 4496830758912
11, 21, 23, 55, 78, 90, 101, 110, 118, 134, 191, 205 [best: 1000] 4501125726208
11, 21, 23, 55, 78, 93, 96, 103, 121, 123, 195, 206 [best: 1000] 4505420693504
11, 21, 23, 55, 79, 80, 100, 123, 138, 170, 200, 205 [best: 1000] 4509715660800
11, 21, 23, 55, 79, 82, 85, 95, 129, 132, 142, 213 [best: 1000] 4514010628096
11, 21, 23, 55, 79, 84, 92, 108, 125, 145, 177, 232 [best: 1000] 4518305595392
11, 21, 23, 55, 79, 86, 96, 98, 123, 124, 173, 197 [best: 1000] 4522600562688
11, 21, 23, 55, 79, 88, 94, 96, 120, 121, 129, 220 [best: 1000] 4526895529984
11, 21, 23, 55, 79, 89, 94, 105, 112, 133, 137, 161 [best: 1000] 4531190497280
11, 21, 23, 55, 79, 90, 103, 108, 121, 123, 156, 176 [best: 1000] 4535485464576
11, 21, 23, 55, 80, 81, 83, 95, 134, 174, 191, 227 [best: 1000] 4539780431872
11, 21, 23, 55, 80, 81, 104, 110, 117, 130, 146, 152 [best: 1000] 4544075399168
11, 21, 23, 55, 80, 82, 92, 93, 96, 119, 138, 244 [best: 1000] 4548370366464
11, 21, 23, 55, 80, 83, 85, 94, 113, 135, 185, 235 [best: 1000] 4552665333760
11, 21, 23, 55, 80, 83, 99, 141, 158, 160, 169, 189 [best: 1000] 4556960301056
11, 21, 23, 55, 80, 84, 93, 114, 150, 178, 200, 228 [best: 1000] 4561255268352
11, 21, 23, 55, 80, 85, 91, 103, 127, 164, 185, 239 [best: 1000] 4565550235648
11, 21, 23, 55, 80, 86, 89, 108, 137, 160, 191, 219 [best: 1000] 4569845202944
11, 21, 23, 55, 80, 86, 110, 135, 172, 179, 184, 210 [best: 1000] 4574140170240
11, 21, 23, 55, 80, 87, 101, 104, 117, 139, 158, 175 [best: 1000] 4578435137536
11, 21, 23, 55, 80, 88, 94, 103, 111, 120, 199, 204 [best: 1000] 4582730104832
11, 21, 23, 55, 80, 88, 110, 148, 188, 194, 208, 258 [best: 1000] 4587025072128
11, 21, 23, 55, 80, 89, 99, 110, 118, 126, 127, 139 [best: 1000] 4591320039424
11, 21, 23, 55, 80, 90, 94, 101, 113, 128, 132, 149 [best: 1000] 4595615006720
11, 21, 23, 55, 80, 91, 92, 109, 117, 151, 201, 242 [best: 1000] 4599909974016
11, 21, 23, 55, 80, 91, 102, 110, 125, 140, 142, 221 [best: 1000] 4604204941312
11, 21, 23, 55, 80, 91, 125, 131, 134, 196, 221, 224 [best: 1000] 4608499908608
11, 21, 23, 55, 80, 92, 110, 126, 139, 153, 173, 201 [best: 1000] 4612794875904
11, 21, 23, 55, 80, 93, 102, 106, 113, 167, 168, 190 [best: 1000] 4617089843200
11, 21, 23, 55, 80, 94, 95, 106, 136, 171, 183, 199 [best: 1000] 4621384810496
11, 21, 23, 55, 80, 94, 112, 116, 148, 173, 203, 206 [best: 1000] 4625679777792
11, 21, 23, 55, 80, 95, 109, 126, 132, 143, 173, 212 [best: 1000] 4629974745088
11, 21, 23, 55, 80, 97, 98, 111, 115, 139, 141, 142 [best: 1000] 4634269712384
11, 21, 23, 55, 80, 98, 112, 123, 127, 171, 225, 279 [best: 1000] 4638564679680
11, 21, 23, 55, 80, 100, 103, 141, 158, 163, 166, 204 [best: 1000] 4642859646976
11, 21, 23, 55, 81, 82, 92, 93, 108, 172, 202, 233 [best: 1000] 4647154614272
11, 21, 23, 55, 81, 83, 88, 99, 108, 129, 143, 150 [best: 1000] 4651449581568
11, 21, 23, 55, 81, 84, 91, 97, 109, 134, 149, 225 [best: 1000] 4655744548864
11, 21, 23, 55, 81, 85, 98, 103, 129, 142, 222, 246 [best: 1000] 4660039516160
11, 21, 23, 55, 81, 86, 105, 121, 127, 155, 200, 235 [best: 1000] 4664334483456
11, 21, 23, 55, 81, 87, 108, 121, 156, 163, 169, 174 [best: 1000] 4668629450752
11, 21, 23, 55, 81, 88, 108, 140, 150, 190, 218, 244 [best: 1000] 4672924418048
11, 21, 23, 55, 81, 90, 94, 102, 106, 155, 179, 232 [best: 1000] 4677219385344
11, 21, 23, 55, 81, 91, 98, 107, 117, 175, 227, 273 [best: 1000] 4681514352640
11, 21, 23, 55, 81, 91, 117, 118, 128, 159, 204, 211 [best: 1000] 4685809319936
11, 21, 23, 55, 81, 92, 116, 119, 140, 141, 154, 179 [best: 1000] 4690104287232
11, 21, 23, 55, 81, 93, 107, 109, 132, 176, 182, 210 [best: 1000] 4694399254528
11, 21, 23, 55, 81, 94, 103, 110, 111, 112, 117, 236 [best: 1000] 4698694221824
11, 21, 23, 55, 81, 95, 104, 109, 117, 165, 190, 201 [best: 1000] 4702989189120
11, 21, 23, 55, 81, 98, 99, 123, 134, 157, 187, 209 [best: 1000] 4707284156416
11, 21, 23, 55, 81, 100, 102, 129, 167, 179, 197, 230 [best: 1000] 4711579123712
11, 21, 23, 55, 82, 83, 101, 103, 111, 142, 144, 182 [best: 1000] 4715874091008
11, 21, 23, 55, 82, 84, 94, 99, 100, 125, 139, 197 [best: 1000] 4720169058304
11, 21, 23, 55, 82, 85, 86, 93, 116, 152, 162, 222 [best: 1000] 4724464025600
11, 21, 23, 55, 82, 86, 92, 98, 113, 116, 139, 190 [best: 1000] 4728758992896
11, 21, 23, 55, 82, 87, 95, 107, 126, 154, 196, 220 [best: 1000] 4733053960192
11, 21, 23, 55, 82, 88, 89, 99, 100, 139, 141, 162 [best: 1000] 4737348927488
11, 21, 23, 55, 82, 89, 97, 121, 139, 143, 198, 225 [best: 1000] 4741643894784
11, 21, 23, 55, 82, 90, 107, 118, 160, 168, 227, 248 [best: 1000] 4745938862080
11, 21, 23, 55, 82, 91, 111, 117, 121, 172, 221, 247 [best: 1000] 4750233829376
11, 21, 23, 55, 82, 93, 96, 100, 111, 129, 215, 218 [best: 1000] 4754528796672
11, 21, 23, 55, 82, 93, 106, 113, 123, 220, 227, 244 [best: 1000] 4758823763968
11, 21, 23, 55, 82, 93, 122, 123, 146, 183, 197, 209 [best: 1000] 4763118731264
11, 21, 23, 55, 82, 95, 104, 115, 120, 132, 171, 173 [best: 1000] 4767413698560
11, 21, 23, 55, 82, 98, 100, 114, 117, 134, 169, 182 [best: 1000] 4771708665856
11, 21, 23, 55, 82, 99, 109, 120, 134, 154, 181, 187 [best: 1000] 4776003633152
total chains: 4778229008482
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: 27 400 14 6 22
10: 751 12619 16 4 31
11: 23793 453190 19 3 36
12: 861985 18105455 21 2 41
13: 35369215 810732451 22 1 46
14: 1625341704 40464663187 24 0 51
15: 82812792326 2230311080537 26 0 56
16: 945368733 28947470240 30 0 61
17: 2041520 72085083 35 4 64
18: 995 38398 38 14 61
19: 0 0 0 0 0
20: 0 0 0 0 0
21: 0 0 0 0 0
real 390m34.542s
user 362m37.713s
sys 7m6.835s
stderr end
time="2025-04-30T21:35:22-07:00" level=warning msg="The cgroupv2 manager is set to systemd but there is no systemd user session available"
time="2025-04-30T21:35:22-07:00" level=warning msg="For using systemd, you may need to login using an user session"
time="2025-04-30T21:35:22-07:00" level=warning msg="Alternatively, you can enable lingering with: `loginctl enable-linger 128` (possibly as root)"
time="2025-04-30T21:35:22-07:00" level=warning msg="Falling back to --cgroup-manager=cgroupfs"
time="2025-04-30T21:35:22-07:00" level=warning msg="The cgroupv2 manager is set to systemd but there is no systemd user session available"
time="2025-04-30T21:35:22-07:00" level=warning msg="For using systemd, you may need to login using an user session"
time="2025-04-30T21:35:22-07:00" level=warning msg="Alternatively, you can enable lingering with: `loginctl enable-linger 128` (possibly as root)"
time="2025-04-30T21:35:22-07:00" level=warning msg="Falling back to --cgroup-manager=cgroupfs"
time="2025-04-30T21:35:22-07:00" level=warning msg="The cgroupv2 manager is set to systemd but there is no systemd user session available"
time="2025-04-30T21:35:22-07:00" level=warning msg="For using systemd, you may need to login using an user session"
time="2025-04-30T21:35:22-07:00" level=warning msg="Alternatively, you can enable lingering with: `loginctl enable-linger 128` (possibly as root)"
time="2025-04-30T21:35:22-07:00" level=warning msg="Falling back to --cgroup-manager=cgroupfs"
time="2025-04-30T21:35:22-07:00" level=warning msg="The cgroupv2 manager is set to systemd but there is no systemd user session available"
time="2025-04-30T21:35:22-07:00" level=warning msg="For using systemd, you may need to login using an user session"
time="2025-04-30T21:35:22-07:00" level=warning msg="Alternatively, you can enable lingering with: `loginctl enable-linger 128` (possibly as root)"
time="2025-04-30T21:35:22-07:00" level=warning msg="Falling back to --cgroup-manager=cgroupfs"
time="2025-04-30T21:35:23-07:00" level=warning msg="The cgroupv2 manager is set to systemd but there is no systemd user session available"
time="2025-04-30T21:35:23-07:00" level=warning msg="For using systemd, you may need to login using an user session"
time="2025-04-30T21:35:23-07:00" level=warning msg="Alternatively, you can enable lingering with: `loginctl enable-linger 128` (possibly as root)"
time="2025-04-30T21:35:23-07:00" level=warning msg="Falling back to --cgroup-manager=cgroupfs"
time="2025-04-30T21:35:23-07:00" level=warning msg="The cgroupv2 manager is set to systemd but there is no systemd user session available"
time="2025-04-30T21:35:23-07:00" level=warning msg="For using systemd, you may need to login using an user session"
time="2025-04-30T21:35:23-07:00" level=warning msg="Alternatively, you can enable lingering with: `loginctl enable-linger 128` (possibly as root)"
time="2025-04-30T21:35:23-07:00" level=warning msg="Falling back to --cgroup-manager=cgroupfs"
2025-04-30 21:35:23 (194415): called boinc_finish(0)
</stderr_txt>
]]>
