Task 12039
| Name | batch_88__job_job-005487_1 |
| Workunit | 7615 |
| Created | 27 Apr 2025, 15:41:53 UTC |
| Sent | 28 Apr 2025, 10:49:31 UTC |
| Report deadline | 5 May 2025, 10:49:31 UTC |
| Received | 28 Apr 2025, 15:17:47 UTC |
| Server state | Over |
| Outcome | Success |
| Client state | Done |
| Exit status | 0 (0x00000000) |
| Computer ID | 21598 |
| Run time | 3 hours 13 min 42 sec |
| CPU time | 2 hours 48 min 47 sec |
| Validate state | Valid |
| Credit | 85.09 |
| Device peak FLOPS | 3.15 GFLOPS |
| Application version | Universal Docker app v1.08 (docker) x86_64-pc-linux-gnu |
| Peak working set size | 28.56 MB |
| Peak swap size | 1.90 GB |
| Peak disk usage | 779.15 KB |
Stderr output
<core_client_version>8.3.0</core_client_version>
<![CDATA[
<stderr_txt>
149 [best: 1000] 1292785156096
22, 34, 35, 40, 50, 57, 75, 96, 111, 173, 203 [best: 1000] 1297080123392
22, 34, 35, 40, 50, 90, 95, 111, 138, 158, 183 [best: 1000] 1301375090688
22, 34, 35, 40, 51, 64, 71, 87, 138, 164, 188 [best: 1000] 1305670057984
22, 34, 35, 40, 52, 55, 84, 90, 112, 156, 186 [best: 1000] 1309965025280
22, 34, 35, 40, 53, 54, 86, 100, 110, 133, 151 [best: 1000] 1314259992576
22, 34, 35, 40, 54, 60, 95, 115, 133, 165, 196 [best: 1000] 1318554959872
22, 34, 35, 40, 55, 58, 81, 125, 151, 175, 218 [best: 1000] 1322849927168
22, 34, 35, 40, 55, 74, 75, 83, 120, 136, 173 [best: 1000] 1327144894464
22, 34, 35, 40, 56, 61, 86, 88, 141, 156, 171 [best: 1000] 1331439861760
22, 34, 35, 40, 57, 58, 64, 68, 76, 104, 123 [best: 1000] 1335734829056
22, 34, 35, 40, 58, 71, 81, 88, 113, 124, 145, 196 [best: 1000] 1340029796352
22, 34, 35, 40, 59, 70, 95, 103, 122, 130, 146 [best: 1000] 1344324763648
22, 34, 35, 40, 60, 70, 86, 96, 123, 126, 206 [best: 1000] 1348619730944
22, 34, 35, 40, 62, 71, 77, 95, 126, 130, 186 [best: 1000] 1352914698240
22, 34, 35, 40, 63, 80, 83, 92, 101, 102, 133 [best: 1000] 1357209665536
22, 34, 35, 40, 65, 68, 88, 106, 107, 124, 132 [best: 1000] 1361504632832
22, 34, 35, 40, 67, 76, 85, 109, 114, 156, 164 [best: 1000] 1365799600128
22, 34, 35, 40, 70, 75, 88, 96, 98, 99, 176 [best: 1000] 1370094567424
22, 34, 35, 40, 74, 77, 96, 120, 131, 141, 199 [best: 1000] 1374389534720
22, 34, 35, 41, 42, 47, 60, 107, 113, 125, 149 [best: 1000] 1378684502016
22, 34, 35, 41, 42, 55, 70, 95, 152, 163, 192 [best: 1000] 1382979469312
22, 34, 35, 41, 42, 65, 99, 123, 125, 142, 163 [best: 1000] 1387274436608
22, 34, 35, 41, 42, 93, 103, 104, 152, 156, 175, 180 [best: 1000] 1391569403904
22, 34, 35, 41, 43, 51, 107, 126, 148, 172, 186 [best: 1000] 1395864371200
22, 34, 35, 41, 43, 63, 64, 85, 91, 122 [best: 1000] 1400159338496
22, 34, 35, 41, 43, 89, 92, 107, 133, 155, 185 [best: 1000] 1404454305792
22, 34, 35, 41, 44, 55, 60, 113, 147, 163, 169 [best: 1000] 1408749273088
22, 34, 35, 41, 44, 75, 97, 115, 120, 155, 174 [best: 1000] 1413044240384
22, 34, 35, 41, 45, 55, 73, 89, 123, 171, 187 [best: 1000] 1417339207680
22, 34, 35, 41, 46, 47, 48, 55, 87, 107, 137 [best: 1000] 1421634174976
22, 34, 35, 41, 46, 54, 78, 106, 112, 124, 161 [best: 1000] 1425929142272
22, 34, 35, 41, 46, 63, 76, 81, 135, 184, 191 [best: 1000] 1430224109568
22, 34, 35, 41, 46, 81, 82, 87, 152, 163, 172 [best: 1000] 1434519076864
22, 34, 35, 41, 47, 50, 97, 104, 148, 174, 203 [best: 1000] 1438814044160
22, 34, 35, 41, 47, 56, 68, 78, 131, 180, 204 [best: 1000] 1443109011456
22, 34, 35, 41, 47, 63, 71, 74, 82, 102, 109 [best: 1000] 1447403978752
22, 34, 35, 41, 47, 72, 94, 108, 122, 197, 229, 249 [best: 1000] 1451698946048
22, 34, 35, 41, 47, 89, 94, 153, 159, 189, 265 [best: 1000] 1455993913344
22, 34, 35, 41, 48, 52, 91, 127, 133, 182, 195 [best: 1000] 1460288880640
22, 34, 35, 41, 48, 61, 71, 111, 139, 163, 185 [best: 1000] 1464583847936
22, 34, 35, 41, 48, 75, 83, 84, 138, 168 [best: 1000] 1468878815232
22, 34, 35, 41, 49, 53, 82, 85, 93, 115, 157 [best: 1000] 1473173782528
22, 34, 35, 41, 49, 73, 90, 129, 142, 173, 181 [best: 1000] 1477468749824
22, 34, 35, 41, 50, 57, 76, 77, 97, 107, 177 [best: 1000] 1481763717120
22, 34, 35, 41, 50, 72, 84, 113, 132, 172, 216 [best: 1000] 1486058684416
22, 34, 35, 41, 51, 54, 103, 109, 128, 188, 228 [best: 1000] 1490353651712
22, 34, 35, 41, 51, 63, 66, 99, 151, 174, 192 [best: 1000] 1494648619008
22, 34, 35, 41, 51, 76, 96, 99, 105, 137, 196 [best: 1000] 1498943586304
22, 34, 35, 41, 52, 56, 58, 108, 142, 158, 203 [best: 1000] 1503238553600
22, 34, 35, 41, 52, 73, 79, 97, 106, 138, 161 [best: 1000] 1507533520896
22, 34, 35, 41, 53, 63, 66, 73, 88, 139, 168 [best: 1000] 1511828488192
22, 34, 35, 41, 54, 57, 71, 94, 141, 187, 191 [best: 1000] 1516123455488
22, 34, 35, 41, 54, 69, 75, 82, 94, 133, 145 [best: 1000] 1520418422784
22, 34, 35, 41, 54, 96, 112, 114, 128, 147, 155 [best: 1000] 1524713390080
22, 34, 35, 41, 55, 62, 93, 150, 165, 195, 199 [best: 1000] 1529008357376
22, 34, 35, 41, 55, 72, 81, 93, 95, 176, 197 [best: 1000] 1533303324672
22, 34, 35, 41, 55, 86, 120, 134, 152, 217, 225 [best: 1000] 1537598291968
22, 34, 35, 41, 56, 60, 71, 92, 101, 133, 162 [best: 1000] 1541893259264
22, 34, 35, 41, 56, 72, 91, 118, 132, 157, 191 [best: 1000] 1546188226560
22, 34, 35, 41, 56, 102, 113, 139, 145, 178, 203 [best: 1000] 1550483193856
22, 34, 35, 41, 58, 59, 72, 132, 142, 149, 199 [best: 1000] 1554778161152
22, 34, 35, 41, 58, 76, 80, 98, 144, 164, 179 [best: 1000] 1559073128448
22, 34, 35, 41, 59, 65, 79, 95, 103, 137, 179 [best: 1000] 1563368095744
22, 34, 35, 41, 59, 83, 87, 126, 150, 178, 193 [best: 1000] 1567663063040
22, 34, 35, 41, 60, 68, 94, 101, 102, 118, 211 [best: 1000] 1571958030336
22, 34, 35, 41, 61, 67, 73, 135, 158, 174, 185 [best: 1000] 1576252997632
22, 34, 35, 41, 62, 71, 81, 114, 125, 132, 156 [best: 1000] 1580547964928
22, 34, 35, 41, 63, 67, 69, 72, 177, 193, 221 [best: 1000] 1584842932224
22, 34, 35, 41, 63, 84, 86, 128, 136, 139, 215 [best: 1000] 1589137899520
22, 34, 35, 41, 64, 72, 78, 104, 123, 165, 199 [best: 1000] 1593432866816
22, 34, 35, 41, 65, 67, 105, 135, 151, 184, 221 [best: 1000] 1597727834112
22, 34, 35, 41, 65, 94, 116, 145, 164, 178, 187 [best: 1000] 1602022801408
22, 34, 35, 41, 67, 72, 73, 85, 144, 177, 223, 262 [best: 1000] 1606317768704
22, 34, 35, 41, 67, 90, 98, 114, 120, 169, 193, 227 [best: 1000] 1610612736000
22, 34, 35, 41, 68, 94, 109, 131, 146, 175, 234 [best: 1000] 1614907703296
22, 34, 35, 41, 71, 73, 83, 96, 129, 142, 148 [best: 1000] 1619202670592
22, 34, 35, 41, 72, 76, 90, 101, 173, 180, 196 [best: 1000] 1623497637888
22, 34, 35, 41, 72, 94, 110, 122, 124, 140, 166 [best: 1000] 1627792605184
22, 34, 35, 41, 73, 96, 107, 132, 143, 170, 202 [best: 1000] 1632087572480
22, 34, 35, 41, 76, 86, 93, 108, 115, 163, 184 [best: 1000] 1636382539776
22, 34, 35, 41, 81, 85, 119, 122, 141, 187, 206 [best: 1000] 1640677507072
22, 34, 35, 42, 43, 44, 54, 55, 96, 130, 153 [best: 1000] 1644972474368
22, 34, 35, 42, 43, 51, 82, 113, 169, 170, 192 [best: 1000] 1649267441664
22, 34, 35, 42, 43, 60, 89, 127, 169, 174, 197 [best: 1000] 1653562408960
22, 34, 35, 42, 43, 75, 100, 103, 121, 151, 162 [best: 1000] 1657857376256
22, 34, 35, 42, 44, 49, 53, 57, 96, 101, 109 [best: 1000] 1662152343552
22, 34, 35, 42, 44, 61, 70, 136, 151, 154, 168 [best: 1000] 1666447310848
22, 34, 35, 42, 45, 46, 55, 60, 69, 139, 195 [best: 1000] 1670742278144
22, 34, 35, 42, 45, 55, 85, 111, 123, 164, 167, 233 [best: 1000] 1675037245440
22, 34, 35, 42, 45, 70, 101, 115, 157, 167, 220 [best: 1000] 1679332212736
22, 34, 35, 42, 46, 49, 94, 122, 128, 167, 225 [best: 1000] 1683627180032
22, 34, 35, 42, 46, 55, 107, 129, 138, 143, 212 [best: 1000] 1687922147328
22, 34, 35, 42, 46, 63, 65, 88, 106, 148, 225 [best: 1000] 1692217114624
22, 34, 35, 42, 46, 71, 108, 112, 123, 153, 195 [best: 1000] 1696512081920
22, 34, 35, 42, 46, 91, 117, 123, 129, 143, 190, 229 [best: 1000] 1700807049216
22, 34, 35, 42, 47, 51, 85, 132, 152, 181, 206 [best: 1000] 1705102016512
22, 34, 35, 42, 47, 56, 78, 108, 113, 142, 224 [best: 1000] 1709396983808
22, 34, 35, 42, 47, 62, 81, 85, 97, 110, 131 [best: 1000] 1713691951104
22, 34, 35, 42, 47, 69, 84, 88, 94, 204, 218 [best: 1000] 1717986918400
22, 34, 35, 42, 47, 80, 113, 144, 158, 162, 214 [best: 1000] 1722281885696
22, 34, 35, 42, 47, 98, 111, 133, 138, 164, 170 [best: 1000] 1726576852992
22, 34, 35, 42, 48, 54, 91, 107, 149, 161, 182 [best: 1000] 1730871820288
22, 34, 35, 42, 48, 60, 112, 114, 129, 143, 162 [best: 1000] 1735166787584
22, 34, 35, 42, 48, 70, 71, 78, 117, 118, 203 [best: 1000] 1739461754880
22, 34, 35, 42, 48, 84, 124, 133, 137, 161, 162 [best: 1000] 1743756722176
22, 34, 35, 42, 49, 55, 65, 77, 125, 142, 165 [best: 1000] 1748051689472
22, 34, 35, 42, 49, 68, 97, 100, 118, 138, 149 [best: 1000] 1752346656768
22, 34, 35, 42, 50, 53, 83, 131, 154, 183 [best: 1000] 1756641624064
22, 34, 35, 42, 50, 61, 69, 116, 126, 153, 180 [best: 1000] 1760936591360
22, 34, 35, 42, 50, 72, 82, 91, 121, 183, 188 [best: 1000] 1765231558656
22, 34, 35, 42, 51, 54, 58, 82, 89, 116, 234 [best: 1000] 1769526525952
22, 34, 35, 42, 51, 62, 86, 101, 133, 155, 177 [best: 1000] 1773821493248
22, 34, 35, 42, 51, 79, 100, 121, 133, 143, 168 [best: 1000] 1778116460544
22, 34, 35, 42, 52, 56, 81, 120, 134, 195, 208 [best: 1000] 1782411427840
22, 34, 35, 42, 52, 66, 91, 99, 101, 159 [best: 1000] 1786706395136
22, 34, 35, 42, 52, 84, 101, 104, 108, 170, 184 [best: 1000] 1791001362432
22, 34, 35, 42, 53, 62, 67, 95, 113, 129, 140 [best: 1000] 1795296329728
22, 34, 35, 42, 53, 89, 93, 108, 137, 165, 174 [best: 1000] 1799591297024
22, 34, 35, 42, 54, 62, 71, 99, 136, 190, 244 [best: 1000] 1803886264320
22, 34, 35, 42, 54, 71, 93, 109, 121, 122, 193 [best: 1000] 1808181231616
22, 34, 35, 42, 54, 96, 106, 126, 131, 141, 205 [best: 1000] 1812476198912
22, 34, 35, 42, 55, 60, 109, 122, 147, 189, 219 [best: 1000] 1816771166208
22, 34, 35, 42, 55, 67, 104, 154, 165, 172, 188 [best: 1000] 1821066133504
22, 34, 35, 42, 55, 74, 113, 120, 147, 164, 198 [best: 1000] 1825361100800
22, 34, 35, 42, 55, 87, 99, 142, 148, 170, 211 [best: 1000] 1829656068096
22, 34, 35, 42, 56, 58, 105, 129, 156, 178, 191, 216 [best: 1000] 1833951035392
22, 34, 35, 42, 56, 67, 70, 84, 112, 127, 189 [best: 1000] 1838246002688
22, 34, 35, 42, 56, 78, 92, 111, 133, 173, 196 [best: 1000] 1842540969984
22, 34, 35, 42, 57, 60, 61, 98, 134, 159, 180 [best: 1000] 1846835937280
22, 34, 35, 42, 57, 81, 95, 112, 134, 146, 197 [best: 1000] 1851130904576
22, 34, 35, 42, 58, 67, 75, 124, 168, 174, 204 [best: 1000] 1855425871872
22, 34, 35, 42, 58, 83, 93, 138, 151, 158, 171 [best: 1000] 1859720839168
22, 34, 35, 42, 59, 65, 68, 86, 143, 160, 176 [best: 1000] 1864015806464
22, 34, 35, 42, 59, 74, 101, 115, 116, 129, 151 [best: 1000] 1868310773760
22, 34, 35, 42, 59, 98, 100, 104, 121, 142, 175 [best: 1000] 1872605741056
22, 34, 35, 42, 60, 70, 107, 124, 152, 202, 207, 241 [best: 1000] 1876900708352
22, 34, 35, 42, 61, 62, 66, 85, 106, 177, 183 [best: 1000] 1881195675648
22, 34, 35, 42, 61, 87, 90, 115, 128, 148, 156 [best: 1000] 1885490642944
22, 34, 35, 42, 62, 72, 73, 94, 168, 178, 223 [best: 1000] 1889785610240
22, 34, 35, 42, 63, 64, 86, 92, 135, 176, 213 [best: 1000] 1894080577536
22, 34, 35, 42, 63, 72, 91, 104, 165, 195, 218 [best: 1000] 1898375544832
22, 34, 35, 42, 63, 88, 93, 123, 152, 175, 177 [best: 1000] 1902670512128
22, 34, 35, 42, 64, 70, 100, 113, 127, 166, 170 [best: 1000] 1906965479424
22, 34, 35, 42, 64, 94, 111, 135, 143, 184, 200 [best: 1000] 1911260446720
22, 34, 35, 42, 65, 77, 91, 95, 104, 143, 198 [best: 1000] 1915555414016
22, 34, 35, 42, 66, 70, 103, 142, 165, 183, 184 [best: 1000] 1919850381312
22, 34, 35, 42, 67, 70, 92, 151, 195, 225, 260 [best: 1000] 1924145348608
22, 34, 35, 42, 67, 88, 95, 116, 141, 161, 185 [best: 1000] 1928440315904
22, 34, 35, 42, 68, 77, 105, 113, 123, 128, 160 [best: 1000] 1932735283200
22, 34, 35, 42, 69, 73, 91, 145, 176, 184, 229 [best: 1000] 1937030250496
22, 34, 35, 42, 69, 102, 116, 119, 124, 172, 174 [best: 1000] 1941325217792
22, 34, 35, 42, 70, 81, 87, 95, 103, 146, 166 [best: 1000] 1945620185088
22, 34, 35, 42, 70, 92, 109, 118, 121, 192, 233 [best: 1000] 1949915152384
22, 34, 35, 42, 71, 78, 87, 99, 103, 135, 172 [best: 1000] 1954210119680
22, 34, 35, 42, 72, 76, 100, 117, 131, 176, 187 [best: 1000] 1958505086976
22, 34, 35, 42, 73, 81, 82, 95, 105, 116, 131 [best: 1000] 1962800054272
22, 34, 35, 42, 75, 82, 90, 98, 162, 167, 194 [best: 1000] 1967095021568
22, 34, 35, 42, 77, 89, 96, 131, 154, 161, 183 [best: 1000] 1971389988864
22, 34, 35, 42, 80, 83, 95, 139, 171, 176, 178 [best: 1000] 1975684956160
22, 34, 35, 42, 81, 97, 99, 113, 144, 177, 213 [best: 1000] 1979979923456
22, 34, 35, 42, 83, 96, 133, 139, 156, 179, 181, 248 [best: 1000] 1984274890752
22, 34, 35, 43, 44, 56, 62, 64, 79, 157, 178 [best: 1000] 1988569858048
22, 34, 35, 43, 45, 46, 97, 116, 118, 146, 185 [best: 1000] 1992864825344
22, 34, 35, 43, 45, 60, 111, 124, 140, 141 [best: 1000] 1997159792640
22, 34, 35, 43, 46, 48, 96, 111, 126, 133 [best: 1000] 2001454759936
22, 34, 35, 43, 46, 56, 83, 105, 119, 165, 166 [best: 1000] 2005749727232
22, 34, 35, 43, 46, 67, 72, 109, 117, 142, 196 [best: 1000] 2010044694528
22, 34, 35, 43, 46, 90, 112, 118, 124, 153, 166 [best: 1000] 2014339661824
22, 34, 35, 43, 47, 52, 81, 86, 92, 99, 220 [best: 1000] 2018634629120
22, 34, 35, 43, 47, 58, 84, 87, 101, 145, 176 [best: 1000] 2022929596416
22, 34, 35, 43, 47, 65, 81, 95, 106, 142, 210 [best: 1000] 2027224563712
22, 34, 35, 43, 47, 77, 81, 93, 137, 150, 209 [best: 1000] 2031519531008
22, 34, 35, 43, 47, 95, 116, 155, 161, 174, 229 [best: 1000] 2035814498304
22, 34, 35, 43, 48, 55, 73, 80, 138, 167 [best: 1000] 2040109465600
22, 34, 35, 43, 48, 64, 85, 91, 161, 188, 189 [best: 1000] 2044404432896
22, 34, 35, 43, 48, 84, 86, 112, 146, 196, 237 [best: 1000] 2048699400192
22, 34, 35, 43, 49, 58, 61, 72, 133, 173, 179 [best: 1000] 2052994367488
22, 34, 35, 43, 50, 51, 63, 100, 151, 155, 158 [best: 1000] 2057289334784
22, 34, 35, 43, 50, 63, 81, 87, 110, 127, 201 [best: 1000] 2061584302080
22, 34, 35, 43, 51, 53, 54, 69, 72, 137, 170 [best: 1000] 2065879269376
22, 34, 35, 43, 51, 60, 72, 75, 143, 155, 164 [best: 1000] 2070174236672
22, 34, 35, 43, 51, 72, 97, 107, 129, 134, 148 [best: 1000] 2074469203968
22, 34, 35, 43, 52, 54, 60, 81, 149, 156, 168 [best: 1000] 2078764171264
22, 34, 35, 43, 52, 64, 77, 84, 131, 140, 180 [best: 1000] 2083059138560
22, 34, 35, 43, 52, 91, 94, 126, 127, 149, 169 [best: 1000] 2087354105856
22, 34, 35, 43, 53, 70, 100, 119, 126, 155, 177 [best: 1000] 2091649073152
22, 34, 35, 43, 54, 60, 90, 94, 99, 102, 135 [best: 1000] 2095944040448
22, 34, 35, 43, 54, 74, 78, 81, 94, 148, 171 [best: 1000] 2100239007744
22, 34, 35, 43, 55, 57, 97, 98, 104, 108, 117 [best: 1000] 2104533975040
22, 34, 35, 43, 55, 64, 98, 105, 177, 184, 234 [best: 1000] 2108828942336
22, 34, 35, 43, 55, 74, 105, 123, 146, 161, 187 [best: 1000] 2113123909632
22, 34, 35, 43, 55, 92, 107, 115, 120, 139, 158 [best: 1000] 2117418876928
22, 34, 35, 43, 56, 63, 70, 77, 110, 156, 209 [best: 1000] 2121713844224
22, 34, 35, 43, 56, 76, 100, 134, 138, 157, 208 [best: 1000] 2126008811520
22, 34, 35, 43, 57, 63, 72, 123, 126, 129, 182 [best: 1000] 2130303778816
22, 34, 35, 43, 58, 63, 104, 152, 162, 188, 249 [best: 1000] 2134598746112
22, 34, 35, 43, 58, 91, 95, 105, 159, 169, 184, 218 [best: 1000] 2138893713408
22, 34, 35, 43, 59, 70, 104, 109, 119, 134, 195 [best: 1000] 2143188680704
22, 34, 35, 43, 59, 96, 104, 127, 131, 165, 177 [best: 1000] 2147483648000
22, 34, 35, 43, 60, 78, 83, 100, 124, 154, 181 [best: 1000] 2151778615296
22, 34, 35, 43, 61, 79, 85, 120, 127, 156, 170 [best: 1000] 2156073582592
22, 34, 35, 43, 62, 75, 77, 79, 99, 136, 146 [best: 1000] 2160368549888
22, 34, 35, 43, 63, 68, 72, 73, 80, 81, 87 [best: 1000] 2164663517184
22, 34, 35, 43, 63, 86, 108, 141, 181, 191, 224 [best: 1000] 2168958484480
22, 34, 35, 43, 64, 75, 76, 115, 116, 135, 174 [best: 1000] 2173253451776
22, 34, 35, 43, 65, 72, 101, 102, 141, 166, 194 [best: 1000] 2177548419072
22, 34, 35, 43, 66, 72, 78, 128, 134, 165, 187 [best: 1000] 2181843386368
22, 34, 35, 43, 67, 74, 122, 125, 136, 149, 181 [best: 1000] 2186138353664
22, 34, 35, 43, 67, 106, 132, 151, 167, 169, 183 [best: 1000] 2190433320960
22, 34, 35, 43, 69, 89, 90, 105, 140, 192, 193 [best: 1000] 2194728288256
22, 34, 35, 43, 71, 75, 87, 110, 114, 115, 153 [best: 1000] 2199023255552
22, 34, 35, 43, 72, 83, 93, 140, 158, 180, 198 [best: 1000] 2203318222848
22, 34, 35, 43, 73, 74, 89, 134, 148, 149, 172 [best: 1000] 2207613190144
22, 34, 35, 43, 74, 94, 130, 134, 176, 208, 228 [best: 1000] 2211908157440
22, 34, 35, 43, 77, 94, 99, 112, 149, 150, 206 [best: 1000] 2216203124736
22, 34, 35, 43, 81, 97, 120, 141, 149, 178, 183 [best: 1000] 2220498092032
22, 34, 35, 44, 45, 52, 81, 83, 103, 129, 142 [best: 1000] 2224793059328
22, 34, 35, 44, 46, 50, 100, 122, 126, 127, 179 [best: 1000] 2229088026624
22, 34, 35, 44, 46, 64, 81, 101, 108, 146, 160 [best: 1000] 2233382993920
22, 34, 35, 44, 47, 51, 58, 69, 78, 87, 133 [best: 1000] 2237677961216
22, 34, 35, 44, 47, 59, 102, 123, 128, 133, 166 [best: 1000] 2241972928512
22, 34, 35, 44, 47, 77, 90, 110, 150, 176, 225 [best: 1000] 2246267895808
22, 34, 35, 44, 48, 54, 73, 84, 93, 119, 149 [best: 1000] 2250562863104
22, 34, 35, 44, 48, 74, 91, 95, 101, 105, 174 [best: 1000] 2254857830400
22, 34, 35, 44, 49, 67, 69, 83, 147, 163, 177 [best: 1000] 2259152797696
22, 34, 35, 44, 50, 63, 109, 115, 119, 129, 170 [best: 1000] 2263447764992
22, 34, 35, 44, 51, 57, 62, 100, 118, 136, 185 [best: 1000] 2267742732288
22, 34, 35, 44, 51, 79, 92, 105, 126, 137, 155 [best: 1000] 2272037699584
22, 34, 35, 44, 52, 64, 65, 66, 118, 126, 162 [best: 1000] 2276332666880
22, 34, 35, 44, 53, 63, 69, 72, 78, 88, 149 [best: 1000] 2280627634176
22, 34, 35, 44, 54, 69, 70, 85, 104, 163, 175 [best: 1000] 2284922601472
22, 34, 35, 44, 55, 62, 70, 84, 104, 110, 156 [best: 1000] 2289217568768
22, 34, 35, 44, 55, 81, 94, 104, 113, 171, 200 [best: 1000] 2293512536064
22, 34, 35, 44, 56, 67, 98, 125, 148, 150, 166 [best: 1000] 2297807503360
22, 34, 35, 44, 57, 73, 79, 85, 92, 113, 115 [best: 1000] 2302102470656
22, 34, 35, 44, 58, 91, 95, 131, 137, 145, 158 [best: 1000] 2306397437952
22, 34, 35, 44, 59, 81, 93, 128, 139, 155, 163 [best: 1000] 2310692405248
22, 34, 35, 44, 60, 90, 106, 116, 121, 136, 159 [best: 1000] 2314987372544
22, 34, 35, 44, 62, 91, 103, 127, 156, 158, 169 [best: 1000] 2319282339840
22, 34, 35, 44, 64, 65, 84, 99, 133, 198, 199 [best: 1000] 2323577307136
22, 34, 35, 44, 65, 82, 107, 114, 138, 158, 166 [best: 1000] 2327872274432
22, 34, 35, 44, 68, 80, 84, 87, 92, 97, 147 [best: 1000] 2332167241728
22, 34, 35, 44, 71, 77, 87, 90, 94, 162, 221 [best: 1000] 2336462209024
22, 34, 35, 45, 46, 47, 90, 95, 112, 119, 185 [best: 1000] 2340757176320
22, 34, 35, 45, 46, 62, 70, 79, 84, 103, 142 [best: 1000] 2345052143616
22, 34, 35, 45, 47, 50, 90, 93, 139, 150, 205 [best: 1000] 2349347110912
22, 34, 35, 45, 47, 61, 77, 95, 100, 120, 140 [best: 1000] 2353642078208
22, 34, 35, 45, 47, 83, 104, 112, 145, 182, 183 [best: 1000] 2357937045504
22, 34, 35, 45, 48, 59, 81, 93, 113, 124, 150 [best: 1000] 2362232012800
22, 34, 35, 45, 48, 91, 95, 100, 118, 140, 166 [best: 1000] 2366526980096
22, 34, 35, 45, 50, 54, 68, 105, 119, 129, 139 [best: 1000] 2370821947392
22, 34, 35, 45, 50, 84, 89, 90, 102, 111, 154 [best: 1000] 2375116914688
22, 34, 35, 45, 51, 63, 74, 92, 100, 151, 185 [best: 1000] 2379411881984
22, 34, 35, 45, 52, 54, 59, 94, 142, 163, 218 [best: 1000] 2383706849280
22, 34, 35, 45, 52, 82, 97, 100, 125, 128, 131 [best: 1000] 2388001816576
22, 34, 35, 45, 54, 60, 81, 94, 99, 136, 157 [best: 1000] 2392296783872
22, 34, 35, 45, 55, 58, 95, 101, 127, 139, 172 [best: 1000] 2396591751168
22, 34, 35, 45, 55, 78, 113, 136, 145, 149, 166 [best: 1000] 2400886718464
22, 34, 35, 45, 56, 74, 87, 111, 128, 140, 187 [best: 1000] 2405181685760
22, 34, 35, 45, 58, 65, 76, 98, 114, 124, 184 [best: 1000] 2409476653056
22, 34, 35, 45, 59, 69, 100, 120, 137, 141, 143 [best: 1000] 2413771620352
22, 34, 35, 45, 60, 73, 77, 96, 102, 136, 154 [best: 1000] 2418066587648
22, 34, 35, 45, 62, 78, 86, 92, 136, 143, 205 [best: 1000] 2422361554944
22, 34, 35, 45, 63, 92, 97, 124, 150, 153, 176 [best: 1000] 2426656522240
22, 34, 35, 45, 65, 87, 97, 118, 134, 163, 204 [best: 1000] 2430951489536
22, 34, 35, 45, 69, 77, 78, 114, 158, 181, 207 [best: 1000] 2435246456832
22, 34, 35, 45, 73, 78, 83, 123, 146, 163, 178 [best: 1000] 2439541424128
22, 34, 35, 46, 47, 50, 115, 119, 148, 184, 198 [best: 1000] 2443836391424
22, 34, 35, 46, 47, 57, 90, 107, 114, 142, 146 [best: 1000] 2448131358720
22, 34, 35, 46, 47, 65, 92, 96, 125, 149, 189 [best: 1000] 2452426326016
22, 34, 35, 46, 47, 80, 93, 96, 120, 129, 164 [best: 1000] 2456721293312
22, 34, 35, 46, 48, 52, 59, 63, 84, 96, 106 [best: 1000] 2461016260608
22, 34, 35, 46, 48, 61, 65, 90, 102, 133, 181 [best: 1000] 2465311227904
22, 34, 35, 46, 48, 77, 82, 85, 105, 140, 218 [best: 1000] 2469606195200
22, 34, 35, 46, 49, 55, 61, 76, 89, 143, 155 [best: 1000] 2473901162496
22, 34, 35, 46, 49, 72, 78, 102, 168, 183, 220 [best: 1000] 2478196129792
22, 34, 35, 46, 50, 55, 64, 100, 129, 161, 211 [best: 1000] 2482491097088
22, 34, 35, 46, 50, 64, 67, 99, 108, 175, 180 [best: 1000] 2486786064384
22, 34, 35, 46, 50, 80, 105, 121, 136, 184, 197 [best: 1000] 2491081031680
22, 34, 35, 46, 51, 55, 88, 92, 99, 162, 176 [best: 1000] 2495375998976
22, 34, 35, 46, 51, 62, 72, 98, 114, 133, 201 [best: 1000] 2499670966272
22, 34, 35, 46, 51, 72, 76, 90, 108, 129, 189 [best: 1000] 2503965933568
22, 34, 35, 46, 51, 89, 116, 118, 124, 127, 140 [best: 1000] 2508260900864
22, 34, 35, 46, 52, 58, 63, 89, 91, 129, 168 [best: 1000] 2512555868160
22, 34, 35, 46, 52, 69, 70, 78, 81, 84, 187 [best: 1000] 2516850835456
22, 34, 35, 46, 52, 97, 103, 114, 122, 170, 189 [best: 1000] 2521145802752
22, 34, 35, 46, 53, 73, 86, 93, 122, 140, 202 [best: 1000] 2525440770048
22, 34, 35, 46, 54, 61, 100, 122, 129, 146, 191 [best: 1000] 2529735737344
22, 34, 35, 46, 54, 74, 97, 104, 119, 152, 202 [best: 1000] 2534030704640
22, 34, 35, 46, 55, 57, 83, 94, 95, 97, 123 [best: 1000] 2538325671936
22, 34, 35, 46, 55, 64, 79, 88, 109, 110, 142 [best: 1000] 2542620639232
22, 34, 35, 46, 55, 74, 122, 139, 148, 154, 203 [best: 1000] 2546915606528
22, 34, 35, 46, 55, 92, 118, 153, 168, 221, 226 [best: 1000] 2551210573824
22, 34, 35, 46, 56, 63, 88, 105, 108, 149, 189 [best: 1000] 2555505541120
22, 34, 35, 46, 56, 73, 81, 102, 116, 159, 178 [best: 1000] 2559800508416
22, 34, 35, 46, 57, 58, 64, 77, 93, 114, 127 [best: 1000] 2564095475712
22, 34, 35, 46, 57, 78, 89, 102, 110, 121, 133 [best: 1000] 2568390443008
22, 34, 35, 46, 58, 67, 79, 94, 154, 173, 178 [best: 1000] 2572685410304
22, 34, 35, 46, 58, 84, 86, 115, 146, 151, 197 [best: 1000] 2576980377600
22, 34, 35, 46, 59, 65, 74, 89, 104, 123, 137 [best: 1000] 2581275344896
22, 34, 35, 46, 59, 76, 106, 130, 149, 168, 191 [best: 1000] 2585570312192
22, 34, 35, 46, 59, 100, 107, 134, 150, 170, 202 [best: 1000] 2589865279488
22, 34, 35, 46, 60, 72, 75, 85, 146, 154, 189 [best: 1000] 2594160246784
22, 34, 35, 46, 60, 93, 105, 130, 139, 156, 204 [best: 1000] 2598455214080
22, 34, 35, 46, 61, 80, 101, 113, 123, 166, 196 [best: 1000] 2602750181376
22, 34, 35, 46, 62, 73, 79, 139, 160, 171, 194 [best: 1000] 2607045148672
22, 34, 35, 46, 63, 65, 87, 124, 164, 176, 178 [best: 1000] 2611340115968
22, 34, 35, 46, 63, 77, 84, 91, 142, 159, 234 [best: 1000] 2615635083264
22, 34, 35, 46, 64, 65, 73, 74, 118, 157, 216 [best: 1000] 2619930050560
22, 34, 35, 46, 64, 79, 112, 121, 153, 163, 168 [best: 1000] 2624225017856
22, 34, 35, 46, 65, 72, 124, 146, 159, 160, 179 [best: 1000] 2628519985152
22, 34, 35, 46, 66, 71, 108, 125, 137, 147, 180 [best: 1000] 2632814952448
22, 34, 35, 46, 67, 73, 75, 99, 100, 148, 164 [best: 1000] 2637109919744
22, 34, 35, 46, 67, 96, 99, 104, 137, 164, 179, 235 [best: 1000] 2641404887040
22, 34, 35, 46, 68, 91, 96, 97, 148, 153, 217 [best: 1000] 2645699854336
22, 34, 35, 46, 70, 77, 99, 107, 128, 144, 153 [best: 1000] 2649994821632
22, 34, 35, 46, 71, 85, 93, 140, 163, 177, 201 [best: 1000] 2654289788928
22, 34, 35, 46, 72, 80, 104, 114, 126, 139, 191, 228 [best: 1000] 2658584756224
22, 34, 35, 46, 72, 96, 108, 142, 177, 194, 205 [best: 1000] 2662879723520
22, 34, 35, 46, 73, 90, 116, 141, 157, 164, 185 [best: 1000] 2667174690816
22, 34, 35, 46, 75, 89, 97, 119, 121, 138, 142 [best: 1000] 2671469658112
22, 34, 35, 46, 77, 81, 98, 100, 120, 150, 180 [best: 1000] 2675764625408
22, 34, 35, 46, 77, 105, 116, 135, 185, 191, 204 [best: 1000] 2680059592704
22, 34, 35, 46, 80, 83, 90, 107, 134, 136, 187 [best: 1000] 2684354560000
22, 34, 35, 47, 48, 49, 72, 79, 93, 152, 213 [best: 1000] 2688649527296
22, 34, 35, 47, 48, 56, 75, 81, 109, 170, 203 [best: 1000] 2692944494592
22, 34, 35, 47, 48, 65, 68, 100, 114, 156, 182 [best: 1000] 2697239461888
22, 34, 35, 47, 48, 78, 107, 126, 137, 162, 193 [best: 1000] 2701534429184
22, 34, 35, 47, 49, 54, 62, 63, 88, 137, 153 [best: 1000] 2705829396480
22, 34, 35, 47, 49, 65, 71, 73, 105, 121, 191 [best: 1000] 2710124363776
22, 34, 35, 47, 50, 51, 55, 68, 138, 165, 168 [best: 1000] 2714419331072
22, 34, 35, 47, 50, 56, 82, 138, 143, 163, 180, 181 [best: 1000] 2718714298368
22, 34, 35, 47, 50, 63, 78, 90, 150, 170, 209 [best: 1000] 2723009265664
22, 34, 35, 47, 50, 72, 75, 128, 168, 210, 228 [best: 1000] 2727304232960
22, 34, 35, 47, 50, 84, 129, 158, 166, 190, 214 [best: 1000] 2731599200256
22, 34, 35, 47, 51, 55, 60, 65, 137, 168, 238 [best: 1000] 2735894167552
22, 34, 35, 47, 51, 59, 118, 124, 130, 191, 220 [best: 1000] 2740189134848
22, 34, 35, 47, 51, 67, 68, 76, 98, 203 [best: 1000] 2744484102144
22, 34, 35, 47, 51, 74, 84, 110, 139, 201, 258 [best: 1000] 2748779069440
22, 34, 35, 47, 51, 88, 110, 118, 124, 174, 197 [best: 1000] 2753074036736
22, 34, 35, 47, 52, 55, 109, 132, 134, 150, 210 [best: 1000] 2757369004032
22, 34, 35, 47, 52, 62, 70, 137, 173, 185, 203 [best: 1000] 2761663971328
22, 34, 35, 47, 52, 70, 85, 89, 98, 99, 126 [best: 1000] 2765958938624
22, 34, 35, 47, 52, 81, 98, 157, 180, 194, 231 [best: 1000] 2770253905920
22, 34, 35, 47, 53, 57, 78, 89, 91, 151, 162 [best: 1000] 2774548873216
22, 34, 35, 47, 53, 72, 75, 134, 150, 178, 209 [best: 1000] 2778843840512
22, 34, 35, 47, 54, 58, 60, 75, 79, 156, 186 [best: 1000] 2783138807808
22, 34, 35, 47, 54, 64, 102, 123, 130, 141, 197 [best: 1000] 2787433775104
22, 34, 35, 47, 54, 75, 81, 99, 123, 160, 227 [best: 1000] 2791728742400
22, 34, 35, 47, 54, 96, 105, 113, 124, 140, 207 [best: 1000] 2796023709696
22, 34, 35, 47, 55, 60, 95, 97, 107, 165, 171 [best: 1000] 2800318676992
22, 34, 35, 47, 55, 67, 96, 135, 163, 175, 177 [best: 1000] 2804613644288
22, 34, 35, 47, 55, 75, 103, 133, 137, 176, 190 [best: 1000] 2808908611584
22, 34, 35, 47, 55, 87, 115, 157, 183, 193, 220 [best: 1000] 2813203578880
22, 34, 35, 47, 56, 59, 107, 145, 172, 206, 235 [best: 1000] 2817498546176
22, 34, 35, 47, 56, 66, 109, 119, 139, 163, 177 [best: 1000] 2821793513472
22, 34, 35, 47, 56, 74, 112, 129, 162, 179, 200 [best: 1000] 2826088480768
22, 34, 35, 47, 56, 85, 91, 111, 129, 169, 205, 254 [best: 1000] 2830383448064
22, 34, 35, 47, 57, 62, 79, 83, 107, 146, 176 [best: 1000] 2834678415360
22, 34, 35, 47, 57, 77, 95, 97, 117, 125, 223 [best: 1000] 2838973382656
22, 34, 35, 47, 58, 63, 72, 142, 154, 179, 186 [best: 1000] 2843268349952
22, 34, 35, 47, 58, 71, 125, 143, 173, 190, 192 [best: 1000] 2847563317248
22, 34, 35, 47, 58, 81, 125, 131, 133, 161, 162, 166 [best: 1000] 2851858284544
22, 34, 35, 47, 59, 61, 81, 133, 147, 154, 160 [best: 1000] 2856153251840
22, 34, 35, 47, 59, 68, 84, 108, 121, 134, 159 [best: 1000] 2860448219136
22, 34, 35, 47, 59, 75, 113, 133, 181, 196, 213 [best: 1000] 2864743186432
22, 34, 35, 47, 59, 86, 100, 110, 118, 182, 198 [best: 1000] 2869038153728
22, 34, 35, 47, 60, 63, 69, 81, 138, 188, 217 [best: 1000] 2873333121024
22, 34, 35, 47, 60, 71, 81, 136, 152, 168, 177 [best: 1000] 2877628088320
22, 34, 35, 47, 60, 81, 95, 115, 144, 190, 203 [best: 1000] 2881923055616
22, 34, 35, 47, 61, 64, 81, 126, 129, 156, 180 [best: 1000] 2886218022912
22, 34, 35, 47, 61, 83, 85, 86, 92, 148, 176 [best: 1000] 2890512990208
22, 34, 35, 47, 62, 70, 76, 90, 99, 105, 208 [best: 1000] 2894807957504
22, 34, 35, 47, 62, 80, 90, 110, 152, 172, 200 [best: 1000] 2899102924800
22, 34, 35, 47, 63, 65, 95, 99, 106, 142, 192 [best: 1000] 2903397892096
22, 34, 35, 47, 63, 72, 105, 121, 124, 205, 252 [best: 1000] 2907692859392
22, 34, 35, 47, 63, 81, 105, 120, 130, 131, 211 [best: 1000] 2911987826688
22, 34, 35, 47, 63, 102, 117, 124, 127, 181, 205 [best: 1000] 2916282793984
22, 34, 35, 47, 64, 72, 77, 116, 124, 133, 161 [best: 1000] 2920577761280
22, 34, 35, 47, 64, 82, 88, 101, 117, 134, 201 [best: 1000] 2924872728576
22, 34, 35, 47, 65, 67, 98, 105, 125, 134, 149 [best: 1000] 2929167695872
22, 34, 35, 47, 65, 89, 97, 116, 146, 178, 216, 228 [best: 1000] 2933462663168
22, 34, 35, 47, 66, 80, 87, 99, 109, 168, 176 [best: 1000] 2937757630464
22, 34, 35, 47, 67, 74, 78, 109, 176, 192, 193 [best: 1000] 2942052597760
22, 34, 35, 47, 67, 86, 114, 144, 171, 219, 230 [best: 1000] 2946347565056
22, 34, 35, 47, 68, 73, 102, 132, 139, 155, 178 [best: 1000] 2950642532352
22, 34, 35, 47, 68, 88, 100, 116, 167, 185, 200 [best: 1000] 2954937499648
22, 34, 35, 47, 69, 76, 108, 148, 175, 195, 203, 257 [best: 1000] 2959232466944
22, 34, 35, 47, 70, 72, 73, 82, 101, 135, 145 [best: 1000] 2963527434240
22, 34, 35, 47, 70, 86, 127, 161, 167, 205, 215 [best: 1000] 2967822401536
22, 34, 35, 47, 71, 77, 107, 131, 152, 196 [best: 1000] 2972117368832
22, 34, 35, 47, 71, 105, 109, 124, 129, 182, 209 [best: 1000] 2976412336128
22, 34, 35, 47, 72, 80, 99, 117, 162, 176, 187 [best: 1000] 2980707303424
22, 34, 35, 47, 72, 92, 97, 116, 138, 143 [best: 1000] 2985002270720
22, 34, 35, 47, 73, 77, 95, 114, 134, 139, 152 [best: 1000] 2989297238016
22, 34, 35, 47, 73, 99, 116, 117, 127, 164, 170 [best: 1000] 2993592205312
22, 34, 35, 47, 74, 88, 92, 98, 99, 140, 182 [best: 1000] 2997887172608
22, 34, 35, 47, 75, 86, 106, 125, 152, 164, 174 [best: 1000] 3002182139904
22, 34, 35, 47, 76, 86, 90, 141, 150, 205, 247 [best: 1000] 3006477107200
22, 34, 35, 47, 77, 82, 101, 117, 118, 127, 230 [best: 1000] 3010772074496
22, 34, 35, 47, 77, 92, 97, 113, 159, 172, 210 [best: 1000] 3015067041792
22, 34, 35, 47, 78, 82, 127, 141, 157, 175, 189 [best: 1000] 3019362009088
22, 34, 35, 47, 79, 85, 107, 128, 150, 171, 219 [best: 1000] 3023656976384
22, 34, 35, 47, 80, 96, 99, 121, 123, 175, 199, 203 [best: 1000] 3027951943680
22, 34, 35, 47, 82, 97, 99, 122, 150, 157, 172 [best: 1000] 3032246910976
22, 34, 35, 48, 49, 55, 111, 118, 142, 181, 212 [best: 1000] 3036541878272
22, 34, 35, 48, 49, 78, 83, 89, 94, 103, 157 [best: 1000] 3040836845568
22, 34, 35, 48, 50, 57, 62, 94, 131, 133, 145, 185 [best: 1000] 3045131812864
22, 34, 35, 48, 50, 67, 121, 144, 164, 182, 228 [best: 1000] 3049426780160
22, 34, 35, 48, 50, 91, 124, 125, 147, 174, 182 [best: 1000] 3053721747456
22, 34, 35, 48, 51, 57, 65, 68, 114, 126, 162 [best: 1000] 3058016714752
22, 34, 35, 48, 51, 64, 99, 102, 128, 159, 214 [best: 1000] 3062311682048
22, 34, 35, 48, 51, 76, 84, 94, 154, 163, 183 [best: 1000] 3066606649344
22, 34, 35, 48, 52, 53, 59, 71, 151, 164, 181 [best: 1000] 3070901616640
22, 34, 35, 48, 52, 61, 68, 82, 95, 118, 126 [best: 1000] 3075196583936
22, 34, 35, 48, 52, 74, 98, 106, 132, 157, 180 [best: 1000] 3079491551232
22, 34, 35, 48, 53, 57, 76, 84, 103, 107, 147 [best: 1000] 3083786518528
22, 34, 35, 48, 53, 78, 91, 101, 123, 170, 174 [best: 1000] 3088081485824
22, 34, 35, 48, 54, 62, 86, 100, 113, 138, 199 [best: 1000] 3092376453120
22, 34, 35, 48, 54, 77, 82, 96, 102, 116, 228 [best: 1000] 3096671420416
22, 34, 35, 48, 55, 58, 85, 133, 163, 199, 217 [best: 1000] 3100966387712
22, 34, 35, 48, 55, 65, 87, 95, 111, 168, 190 [best: 1000] 3105261355008
22, 34, 35, 48, 55, 75, 100, 114, 123, 126, 188 [best: 1000] 3109556322304
22, 34, 35, 48, 55, 92, 95, 122, 138, 177, 194 [best: 1000] 3113851289600
22, 34, 35, 48, 56, 63, 70, 79, 123, 146, 163 [best: 1000] 3118146256896
22, 34, 35, 48, 56, 73, 96, 113, 129, 137, 190 [best: 1000] 3122441224192
22, 34, 35, 48, 56, 91, 102, 126, 128, 148, 183 [best: 1000] 3126736191488
22, 34, 35, 48, 57, 75, 88, 119, 121, 162, 165, 219 [best: 1000] 3131031158784
22, 34, 35, 48, 58, 67, 76, 110, 126, 213, 236 [best: 1000] 3135326126080
22, 34, 35, 48, 58, 84, 92, 103, 105, 121, 197 [best: 1000] 3139621093376
22, 34, 35, 48, 59, 65, 84, 132, 157, 188, 217 [best: 1000] 3143916060672
22, 34, 35, 48, 59, 77, 87, 104, 113, 133, 222 [best: 1000] 3148211027968
22, 34, 35, 48, 60, 61, 67, 75, 76, 131, 169 [best: 1000] 3152505995264
22, 34, 35, 48, 60, 73, 84, 96, 100, 105, 146 [best: 1000] 3156800962560
22, 34, 35, 48, 61, 63, 69, 85, 93, 94, 161 [best: 1000] 3161095929856
22, 34, 35, 48, 62, 65, 85, 107, 114, 192, 221 [best: 1000] 3165390897152
22, 34, 35, 48, 62, 81, 82, 117, 130, 142, 227, 249 [best: 1000] 3169685864448
22, 34, 35, 48, 63, 68, 87, 116, 148, 159, 205 [best: 1000] 3173980831744
22, 34, 35, 48, 63, 82, 97, 115, 135, 137, 222 [best: 1000] 3178275799040
22, 34, 35, 48, 64, 69, 72, 111, 151, 179, 192 [best: 1000] 3182570766336
22, 34, 35, 48, 64, 87, 101, 103, 108, 198, 211 [best: 1000] 3186865733632
22, 34, 35, 48, 65, 80, 98, 104, 108, 136, 182 [best: 1000] 3191160700928
22, 34, 35, 48, 67, 69, 80, 81, 145, 158, 179 [best: 1000] 3195455668224
22, 34, 35, 48, 67, 77, 82, 113, 142, 176, 201 [best: 1000] 3199750635520
22, 34, 35, 48, 67, 99, 114, 131, 144, 163, 197 [best: 1000] 3204045602816
22, 34, 35, 48, 69, 73, 101, 106, 133, 164, 181 [best: 1000] 3208340570112
22, 34, 35, 48, 69, 94, 109, 113, 130, 151, 208, 216, 257 [best: 1000] 3212635537408
22, 34, 35, 48, 71, 72, 74, 140, 141, 165, 172 [best: 1000] 3216930504704
22, 34, 35, 48, 72, 78, 80, 81, 91, 98, 102 [best: 1000] 3221225472000
22, 34, 35, 48, 72, 97, 105, 125, 132, 162, 186 [best: 1000] 3225520439296
22, 34, 35, 48, 74, 81, 85, 107, 152, 219, 259 [best: 1000] 3229815406592
22, 34, 35, 48, 75, 91, 97, 134, 143, 156, 171 [best: 1000] 3234110373888
22, 34, 35, 48, 77, 85, 91, 111, 112, 136, 187 [best: 1000] 3238405341184
22, 34, 35, 48, 78, 85, 90, 104, 136, 185, 194 [best: 1000] 3242700308480
22, 34, 35, 48, 81, 84, 110, 131, 153, 156, 238 [best: 1000] 3246995275776
22, 34, 35, 49, 50, 55, 63, 103, 127, 157, 180 [best: 1000] 3251290243072
22, 34, 35, 49, 50, 81, 107, 114, 124, 142, 182 [best: 1000] 3255585210368
22, 34, 35, 49, 51, 61, 67, 84, 87, 182, 220 [best: 1000] 3259880177664
22, 34, 35, 49, 51, 85, 106, 122, 142, 155, 190 [best: 1000] 3264175144960
22, 34, 35, 49, 52, 67, 91, 93, 104, 125, 181 [best: 1000] 3268470112256
22, 34, 35, 49, 53, 70, 90, 110, 130, 149, 225 [best: 1000] 3272765079552
22, 34, 35, 49, 54, 71, 84, 106, 120, 141, 224 [best: 1000] 3277060046848
22, 34, 35, 49, 55, 63, 74, 90, 114, 148, 149 [best: 1000] 3281355014144
22, 34, 35, 49, 55, 87, 98, 109, 117, 126, 134 [best: 1000] 3285649981440
22, 34, 35, 49, 56, 84, 96, 108, 127, 135, 187 [best: 1000] 3289944948736
22, 34, 35, 49, 58, 69, 81, 92, 114, 118, 136 [best: 1000] 3294239916032
22, 34, 35, 49, 59, 67, 116, 140, 143, 162 [best: 1000] 3298534883328
22, 34, 35, 49, 60, 64, 70, 106, 142, 183, 206 [best: 1000] 3302829850624
22, 34, 35, 49, 62, 63, 65, 68, 127, 142, 169 [best: 1000] 3307124817920
22, 34, 35, 49, 63, 71, 79, 88, 93, 101, 161 [best: 1000] 3311419785216
22, 34, 35, 49, 64, 78, 86, 113, 131, 156, 173 [best: 1000] 3315714752512
22, 34, 35, 49, 67, 69, 77, 107, 130, 172, 182 [best: 1000] 3320009719808
22, 34, 35, 49, 69, 89, 90, 103, 104, 157, 190 [best: 1000] 3324304687104
22, 34, 35, 49, 73, 77, 104, 114, 128, 155, 171 [best: 1000] 3328599654400
22, 34, 35, 50, 51, 52, 76, 78, 97, 156, 172 [best: 1000] 3332894621696
22, 34, 35, 50, 51, 61, 73, 103, 155, 158, 168 [best: 1000] 3337189588992
22, 34, 35, 50, 51, 81, 83, 89, 111, 163, 183 [best: 1000] 3341484556288
22, 34, 35, 50, 52, 58, 75, 97, 110, 127, 160 [best: 1000] 3345779523584
22, 34, 35, 50, 52, 76, 78, 94, 101, 146, 165 [best: 1000] 3350074490880
22, 34, 35, 50, 53, 62, 68, 86, 96, 112, 115 [best: 1000] 3354369458176
22, 34, 35, 50, 54, 57, 63, 123, 135, 153, 184 [best: 1000] 3358664425472
22, 34, 35, 50, 54, 68, 106, 118, 168, 180, 197 [best: 1000] 3362959392768
22, 34, 35, 50, 54, 95, 108, 133, 158, 179, 207 [best: 1000] 3367254360064
22, 34, 35, 50, 55, 62, 71, 130, 171, 189, 239 [best: 1000] 3371549327360
22, 34, 35, 50, 55, 72, 75, 122, 165, 192, 197 [best: 1000] 3375844294656
22, 34, 35, 50, 55, 86, 103, 143, 151, 182, 196 [best: 1000] 3380139261952
22, 34, 35, 50, 56, 60, 66, 70, 88, 108, 132 [best: 1000] 3384434229248
22, 34, 35, 50, 56, 73, 86, 93, 111, 184, 209 [best: 1000] 3388729196544
22, 34, 35, 50, 56, 102, 124, 134, 145, 159, 187, 228 [best: 1000] 3393024163840
22, 34, 35, 50, 58, 59, 99, 121, 141, 147, 153 [best: 1000] 3397319131136
22, 34, 35, 50, 58, 75, 105, 115, 119, 154, 184 [best: 1000] 3401614098432
22, 34, 35, 50, 59, 63, 101, 113, 120, 140, 158 [best: 1000] 3405909065728
22, 34, 35, 50, 59, 76, 112, 134, 139, 177, 188 [best: 1000] 3410204033024
22, 34, 35, 50, 60, 63, 90, 91, 129, 158, 194, 239 [best: 1000] 3414499000320
22, 34, 35, 50, 60, 81, 118, 126, 172, 186, 209 [best: 1000] 3418793967616
22, 34, 35, 50, 61, 80, 97, 118, 144, 152, 187 [best: 1000] 3423088934912
22, 34, 35, 50, 62, 82, 94, 101, 103, 128, 165 [best: 1000] 3427383902208
22, 34, 35, 50, 63, 74, 114, 121, 126, 144, 148 [best: 1000] 3431678869504
22, 34, 35, 50, 64, 67, 76, 111, 112, 189, 199 [best: 1000] 3435973836800
22, 34, 35, 50, 65, 67, 108, 129, 149, 160, 188 [best: 1000] 3440268804096
22, 34, 35, 50, 65, 95, 99, 102, 127, 174, 184 [best: 1000] 3444563771392
22, 34, 35, 50, 67, 72, 106, 124, 149, 163, 169 [best: 1000] 3448858738688
22, 34, 35, 50, 67, 92, 99, 108, 127, 189, 220 [best: 1000] 3453153705984
22, 34, 35, 50, 69, 70, 86, 104, 107, 163, 166 [best: 1000] 3457448673280
22, 34, 35, 50, 71, 74, 76, 110, 158, 176, 199 [best: 1000] 3461743640576
22, 34, 35, 50, 73, 76, 81, 90, 110, 121, 122 [best: 1000] 3466038607872
22, 34, 35, 50, 74, 99, 103, 112, 116, 124, 201 [best: 1000] 3470333575168
22, 34, 35, 50, 75, 92, 93, 102, 161, 213, 219 [best: 1000] 3474628542464
22, 34, 35, 50, 76, 99, 117, 122, 139, 147, 162 [best: 1000] 3478923509760
22, 34, 35, 50, 81, 86, 101, 116, 122, 131, 219 [best: 1000] 3483218477056
22, 34, 35, 51, 52, 54, 56, 59, 84, 179, 213 [best: 1000] 3487513444352
22, 34, 35, 51, 52, 63, 67, 88, 169, 171, 186 [best: 1000] 3491808411648
22, 34, 35, 51, 52, 82, 87, 120, 133, 144, 188 [best: 1000] 3496103378944
22, 34, 35, 51, 53, 61, 75, 85, 90, 143, 167 [best: 1000] 3500398346240
22, 34, 35, 51, 53, 86, 107, 132, 145, 155, 195 [best: 1000] 3504693313536
22, 34, 35, 51, 54, 61, 82, 90, 112, 167, 186 [best: 1000] 3508988280832
22, 34, 35, 51, 54, 73, 82, 106, 167, 191, 247 [best: 1000] 3513283248128
22, 34, 35, 51, 54, 94, 99, 106, 149, 156, 158 [best: 1000] 3517578215424
22, 34, 35, 51, 55, 60, 75, 89, 169, 193, 223 [best: 1000] 3521873182720
22, 34, 35, 51, 55, 67, 75, 97, 110, 207, 226 [best: 1000] 3526168150016
22, 34, 35, 51, 55, 74, 111, 125, 131, 207, 239 [best: 1000] 3530463117312
22, 34, 35, 51, 55, 86, 88, 157, 170, 205, 215 [best: 1000] 3534758084608
22, 34, 35, 51, 56, 57, 94, 136, 143, 163, 204 [best: 1000] 3539053051904
22, 34, 35, 51, 56, 65, 67, 99, 125, 168, 195, 242 [best: 1000] 3543348019200
22, 34, 35, 51, 56, 74, 92, 94, 98, 132, 234, 279 [best: 1000] 3547642986496
22, 34, 35, 51, 56, 88, 122, 151, 173, 187, 218 [best: 1000] 3551937953792
22, 34, 35, 51, 57, 67, 97, 120, 145, 146, 161 [best: 1000] 3556232921088
22, 34, 35, 51, 58, 60, 88, 95, 121, 136, 156 [best: 1000] 3560527888384
22, 34, 35, 51, 58, 72, 84, 110, 141, 162, 169 [best: 1000] 3564822855680
22, 34, 35, 51, 58, 91, 92, 93, 109, 131, 215, 226 [best: 1000] 3569117822976
22, 34, 35, 51, 59, 66, 73, 92, 100, 159, 206 [best: 1000] 3573412790272
22, 34, 35, 51, 59, 75, 92, 96, 142, 150, 187 [best: 1000] 3577707757568
22, 34, 35, 51, 59, 91, 101, 103, 128, 172, 175 [best: 1000] 3582002724864
22, 34, 35, 51, 60, 68, 93, 101, 103, 144, 172 [best: 1000] 3586297692160
22, 34, 35, 51, 60, 85, 102, 118, 126, 136, 148 [best: 1000] 3590592659456
22, 34, 35, 51, 61, 74, 89, 93, 103, 111, 202 [best: 1000] 3594887626752
22, 34, 35, 51, 62, 70, 74, 88, 131, 160, 184 [best: 1000] 3599182594048
22, 34, 35, 51, 62, 94, 101, 102, 104, 153, 193 [best: 1000] 3603477561344
22, 34, 35, 51, 63, 73, 123, 125, 134, 152, 171 [best: 1000] 3607772528640
22, 34, 35, 51, 63, 89, 100, 111, 128, 131, 145 [best: 1000] 3612067495936
22, 34, 35, 51, 64, 74, 92, 114, 139, 158, 206 [best: 1000] 3616362463232
22, 34, 35, 51, 65, 67, 95, 115, 154, 163, 201 [best: 1000] 3620657430528
22, 34, 35, 51, 65, 83, 120, 130, 146, 194, 213 [best: 1000] 3624952397824
22, 34, 35, 51, 66, 76, 98, 111, 117, 128, 186 [best: 1000] 3629247365120
22, 34, 35, 51, 67, 74, 99, 121, 135, 170, 188 [best: 1000] 3633542332416
22, 34, 35, 51, 67, 92, 114, 126, 140, 156, 203 [best: 1000] 3637837299712
22, 34, 35, 51, 68, 86, 98, 99, 128, 138, 189 [best: 1000] 3642132267008
22, 34, 35, 51, 70, 73, 75, 118, 143, 146, 175 [best: 1000] 3646427234304
22, 34, 35, 51, 71, 74, 78, 122, 143, 174, 188 [best: 1000] 3650722201600
22, 34, 35, 51, 72, 82, 100, 118, 123, 168, 170 [best: 1000] 3655017168896
22, 34, 35, 51, 73, 82, 91, 118, 141, 183, 187 [best: 1000] 3659312136192
22, 34, 35, 51, 74, 78, 96, 146, 155, 158, 219 [best: 1000] 3663607103488
22, 34, 35, 51, 74, 88, 91, 104, 110, 180, 185 [best: 1000] 3667902070784
22, 34, 35, 51, 74, 108, 113, 114, 164, 174, 205, 207 [best: 1000] 3672197038080
22, 34, 35, 51, 75, 105, 114, 136, 157, 181, 185 [best: 1000] 3676492005376
22, 34, 35, 51, 77, 83, 90, 116, 121, 156, 166 [best: 1000] 3680786972672
22, 34, 35, 51, 79, 91, 101, 123, 140, 159, 164 [best: 1000] 3685081939968
22, 34, 35, 51, 81, 92, 97, 133, 142, 153, 164 [best: 1000] 3689376907264
22, 34, 35, 51, 83, 86, 126, 155, 170, 197, 221 [best: 1000] 3693671874560
22, 34, 35, 52, 53, 63, 66, 85, 86, 100, 106 [best: 1000] 3697966841856
22, 34, 35, 52, 54, 57, 88, 110, 137, 164, 189 [best: 1000] 3702261809152
22, 34, 35, 52, 54, 69, 109, 118, 131, 141, 143 [best: 1000] 3706556776448
22, 34, 35, 52, 54, 98, 115, 124, 143, 167, 194 [best: 1000] 3710851743744
22, 34, 35, 52, 55, 62, 76, 91, 125, 159, 210 [best: 1000] 3715146711040
22, 34, 35, 52, 55, 72, 81, 118, 131, 157, 212 [best: 1000] 3719441678336
22, 34, 35, 52, 55, 86, 90, 126, 166, 179, 232 [best: 1000] 3723736645632
22, 34, 35, 52, 56, 59, 81, 138, 166, 177, 181 [best: 1000] 3728031612928
22, 34, 35, 52, 56, 72, 75, 92, 93, 111, 220 [best: 1000] 3732326580224
22, 34, 35, 52, 56, 97, 104, 110, 128, 141, 147 [best: 1000] 3736621547520
22, 34, 35, 52, 57, 88, 95, 102, 124, 138, 148, 220 [best: 1000] 3740916514816
22, 34, 35, 52, 58, 72, 73, 108, 115, 139, 185 [best: 1000] 3745211482112
22, 34, 35, 52, 58, 103, 112, 116, 140, 165, 189 [best: 1000] 3749506449408
22, 34, 35, 52, 59, 72, 86, 95, 104, 127, 210 [best: 1000] 3753801416704
22, 34, 35, 52, 59, 94, 104, 115, 117, 121, 159 [best: 1000] 3758096384000
22, 34, 35, 52, 60, 75, 105, 106, 131, 217, 231 [best: 1000] 3762391351296
22, 34, 35, 52, 61, 74, 94, 96, 117, 141, 206 [best: 1000] 3766686318592
22, 34, 35, 52, 62, 79, 85, 128, 133, 174, 193 [best: 1000] 3770981285888
22, 34, 35, 52, 63, 74, 76, 113, 140, 162, 189 [best: 1000] 3775276253184
22, 34, 35, 52, 64, 66, 87, 92, 116, 164, 175 [best: 1000] 3779571220480
22, 34, 35, 52, 65, 66, 89, 109, 119, 177, 194 [best: 1000] 3783866187776
22, 34, 35, 52, 65, 90, 107, 111, 129, 144, 188 [best: 1000] 3788161155072
22, 34, 35, 52, 67, 71, 75, 114, 126, 190, 210 [best: 1000] 3792456122368
22, 34, 35, 52, 67, 91, 96, 98, 135, 146, 204 [best: 1000] 3796751089664
22, 34, 35, 52, 69, 75, 103, 122, 167, 178, 202 [best: 1000] 3801046056960
22, 34, 35, 52, 70, 90, 96, 121, 147, 151, 182 [best: 1000] 3805341024256
22, 34, 35, 52, 73, 75, 88, 99, 150, 167, 207 [best: 1000] 3809635991552
22, 34, 35, 52, 74, 94, 109, 113, 153, 165 [best: 1000] 3813930958848
22, 34, 35, 52, 75, 91, 103, 122, 155, 192, 214 [best: 1000] 3818225926144
22, 34, 35, 52, 77, 85, 89, 136, 155, 170, 186 [best: 1000] 3822520893440
22, 34, 35, 52, 81, 86, 90, 95, 111, 143, 216 [best: 1000] 3826815860736
22, 34, 35, 53, 54, 55, 96, 132, 146, 151, 180 [best: 1000] 3831110828032
22, 34, 35, 53, 54, 92, 107, 124, 128, 143, 205 [best: 1000] 3835405795328
22, 34, 35, 53, 55, 72, 87, 90, 104, 178, 238 [best: 1000] 3839700762624
22, 34, 35, 53, 56, 63, 64, 75, 84, 139, 162 [best: 1000] 3843995729920
22, 34, 35, 53, 57, 60, 73, 87, 95, 132, 184 [best: 1000] 3848290697216
22, 34, 35, 53, 58, 76, 84, 89, 112, 114, 156, 196 [best: 1000] 3852585664512
22, 34, 35, 53, 59, 75, 91, 127, 146, 174, 197 [best: 1000] 3856880631808
22, 34, 35, 53, 60, 78, 84, 93, 97, 121, 180 [best: 1000] 3861175599104
22, 34, 35, 53, 62, 79, 94, 104, 161, 178, 233 [best: 1000] 3865470566400
22, 34, 35, 53, 63, 87, 92, 99, 103, 122, 161 [best: 1000] 3869765533696
22, 34, 35, 53, 65, 80, 81, 89, 141, 164, 200 [best: 1000] 3874060500992
22, 34, 35, 53, 69, 74, 100, 122, 140, 167, 183 [best: 1000] 3878355468288
22, 34, 35, 53, 72, 81, 104, 118, 148, 172, 226 [best: 1000] 3882650435584
22, 34, 35, 53, 75, 85, 102, 107, 124, 161, 180, 183 [best: 1000] 3886945402880
22, 34, 35, 54, 55, 64, 81, 85, 101, 132, 206 [best: 1000] 3891240370176
22, 34, 35, 54, 55, 83, 112, 134, 138, 165, 204 [best: 1000] 3895535337472
22, 34, 35, 54, 56, 64, 89, 99, 139, 163, 165 [best: 1000] 3899830304768
22, 34, 35, 54, 56, 90, 113, 130, 136, 141, 210 [best: 1000] 3904125272064
22, 34, 35, 54, 58, 59, 63, 82, 89, 107, 120 [best: 1000] 3908420239360
22, 34, 35, 54, 58, 74, 90, 94, 106, 153, 175 [best: 1000] 3912715206656
22, 34, 35, 54, 59, 62, 82, 97, 134, 144, 205 [best: 1000] 3917010173952
22, 34, 35, 54, 59, 75, 101, 109, 151, 190, 222 [best: 1000] 3921305141248
22, 34, 35, 54, 59, 100, 107, 110, 142, 164, 201 [best: 1000] 3925600108544
22, 34, 35, 54, 60, 77, 119, 126, 146, 159, 173 [best: 1000] 3929895075840
22, 34, 35, 54, 61, 77, 90, 101, 123, 161, 182 [best: 1000] 3934190043136
22, 34, 35, 54, 62, 77, 102, 105, 115, 131, 145 [best: 1000] 3938485010432
22, 34, 35, 54, 63, 69, 104, 115, 121, 140, 190 [best: 1000] 3942779977728
22, 34, 35, 54, 63, 87, 91, 122, 136, 151, 168, 204 [best: 1000] 3947074945024
22, 34, 35, 54, 64, 76, 87, 138, 145, 148, 160 [best: 1000] 3951369912320
22, 34, 35, 54, 65, 74, 92, 136, 149, 151, 172 [best: 1000] 3955664879616
22, 34, 35, 54, 66, 87, 96, 127, 140, 151, 196 [best: 1000] 3959959846912
22, 34, 35, 54, 68, 77, 103, 104, 132, 156, 188 [best: 1000] 3964254814208
22, 34, 35, 54, 69, 77, 87, 99, 149, 154, 166 [best: 1000] 3968549781504
22, 34, 35, 54, 69, 99, 117, 122, 148, 166, 215 [best: 1000] 3972844748800
22, 34, 35, 54, 70, 95, 117, 126, 129, 141, 175 [best: 1000] 3977139716096
22, 34, 35, 54, 73, 78, 91, 96, 103, 138, 192 [best: 1000] 3981434683392
22, 34, 35, 54, 74, 87, 123, 143, 170, 183, 199 [best: 1000] 3985729650688
22, 34, 35, 54, 76, 91, 113, 139, 159, 189, 201 [best: 1000] 3990024617984
22, 34, 35, 54, 77, 97, 113, 136, 138, 169, 180 [best: 1000] 3994319585280
22, 34, 35, 54, 80, 82, 85, 113, 114, 115, 118 [best: 1000] 3998614552576
22, 34, 35, 55, 56, 58, 60, 101, 130, 143, 144 [best: 1000] 4002909519872
22, 34, 35, 55, 56, 68, 69, 72, 106, 180, 181, 213 [best: 1000] 4007204487168
22, 34, 35, 55, 56, 81, 104, 120, 146, 155, 220, 231 [best: 1000] 4011499454464
22, 34, 35, 55, 57, 64, 92, 98, 112, 118, 127 [best: 1000] 4015794421760
22, 34, 35, 55, 57, 87, 96, 113, 118, 128, 172 [best: 1000] 4020089389056
22, 34, 35, 55, 58, 66, 103, 106, 125, 136, 152 [best: 1000] 4024384356352
22, 34, 35, 55, 58, 75, 121, 149, 163, 187, 197 [best: 1000] 4028679323648
22, 34, 35, 55, 58, 91, 98, 107, 150, 165, 219, 221 [best: 1000] 4032974290944
22, 34, 35, 55, 59, 65, 79, 89, 93, 174, 200 [best: 1000] 4037269258240
22, 34, 35, 55, 59, 73, 117, 129, 146, 166, 184 [best: 1000] 4041564225536
22, 34, 35, 55, 59, 85, 100, 112, 125, 173, 211 [best: 1000] 4045859192832
22, 34, 35, 55, 60, 64, 71, 111, 126, 173, 212 [best: 1000] 4050154160128
22, 34, 35, 55, 60, 73, 114, 117, 166, 189, 201 [best: 1000] 4054449127424
22, 34, 35, 55, 60, 89, 94, 101, 102, 147, 187 [best: 1000] 4058744094720
22, 34, 35, 55, 61, 71, 99, 121, 130, 140, 173 [best: 1000] 4063039062016
22, 34, 35, 55, 62, 67, 70, 76, 86, 168, 180 [best: 1000] 4067334029312
22, 34, 35, 55, 62, 77, 78, 90, 104, 151, 169 [best: 1000] 4071628996608
22, 34, 35, 55, 63, 64, 89, 118, 131, 144, 202 [best: 1000] 4075923963904
22, 34, 35, 55, 63, 72, 87, 96, 131, 174, 212 [best: 1000] 4080218931200
22, 34, 35, 55, 63, 84, 108, 116, 123, 133, 157 [best: 1000] 4084513898496
22, 34, 35, 55, 64, 68, 83, 85, 96, 127, 198 [best: 1000] 4088808865792
22, 34, 35, 55, 64, 77, 123, 141, 166, 208, 241 [best: 1000] 4093103833088
22, 34, 35, 55, 65, 68, 102, 103, 118, 123, 179, 204 [best: 1000] 4097398800384
22, 34, 35, 55, 65, 93, 118, 126, 146, 187, 224 [best: 1000] 4101693767680
22, 34, 35, 55, 66, 85, 102, 136, 137, 156, 217 [best: 1000] 4105988734976
22, 34, 35, 55, 67, 77, 96, 102, 129, 182, 185 [best: 1000] 4110283702272
22, 34, 35, 55, 68, 69, 127, 145, 164, 191, 236 [best: 1000] 4114578669568
22, 34, 35, 55, 68, 80, 100, 145, 163, 175, 193 [best: 1000] 4118873636864
22, 34, 35, 55, 69, 70, 77, 88, 127, 128, 192 [best: 1000] 4123168604160
22, 34, 35, 55, 69, 77, 93, 100, 170, 171, 199 [best: 1000] 4127463571456
22, 34, 35, 55, 69, 88, 93, 104, 175, 178, 210 [best: 1000] 4131758538752
22, 34, 35, 55, 69, 108, 124, 133, 153, 179, 212 [best: 1000] 4136053506048
22, 34, 35, 55, 70, 82, 91, 144, 159, 199, 218 [best: 1000] 4140348473344
22, 34, 35, 55, 71, 74, 93, 96, 114, 193, 250 [best: 1000] 4144643440640
22, 34, 35, 55, 71, 92, 108, 124, 159, 188, 195 [best: 1000] 4148938407936
22, 34, 35, 55, 72, 88, 103, 105, 122, 150, 197 [best: 1000] 4153233375232
22, 34, 35, 55, 73, 86, 108, 114, 134, 144, 150 [best: 1000] 4157528342528
22, 34, 35, 55, 74, 81, 113, 140, 158, 165, 197 [best: 1000] 4161823309824
22, 34, 35, 55, 75, 81, 89, 121, 137, 153, 160 [best: 1000] 4166118277120
22, 34, 35, 55, 76, 82, 93, 119, 141, 162, 180 [best: 1000] 4170413244416
22, 34, 35, 55, 77, 81, 83, 125, 146, 170, 230 [best: 1000] 4174708211712
22, 34, 35, 55, 77, 93, 117, 147, 150, 152, 153 [best: 1000] 4179003179008
22, 34, 35, 55, 78, 87, 88, 115, 149, 166, 217 [best: 1000] 4183298146304
22, 34, 35, 55, 79, 90, 104, 106, 114, 149, 159 [best: 1000] 4187593113600
22, 34, 35, 55, 81, 85, 94, 102, 138, 173, 193 [best: 1000] 4191888080896
22, 34, 35, 55, 83, 86, 96, 113, 160, 169, 183 [best: 1000] 4196183048192
22, 34, 35, 56, 57, 73, 76, 79, 118, 144, 147 [best: 1000] 4200478015488
22, 34, 35, 56, 58, 67, 94, 96, 113, 126, 192 [best: 1000] 4204772982784
22, 34, 35, 56, 58, 89, 95, 104, 160, 165, 185, 250 [best: 1000] 4209067950080
22, 34, 35, 56, 59, 67, 107, 119, 149, 171, 236 [best: 1000] 4213362917376
22, 34, 35, 56, 59, 79, 108, 136, 144, 168, 209 [best: 1000] 4217657884672
22, 34, 35, 56, 60, 61, 77, 96, 114, 129, 209 [best: 1000] 4221952851968
22, 34, 35, 56, 60, 75, 95, 119, 142, 147, 185 [best: 1000] 4226247819264
22, 34, 35, 56, 61, 66, 72, 117, 129, 144, 204 [best: 1000] 4230542786560
22, 34, 35, 56, 62, 69, 72, 96, 104, 114, 164 [best: 1000] 4234837753856
22, 34, 35, 56, 62, 100, 120, 123, 129, 188, 189 [best: 1000] 4239132721152
22, 34, 35, 56, 63, 74, 106, 135, 148, 157, 247, 261 [best: 1000] 4243427688448
22, 34, 35, 56, 63, 97, 109, 129, 136, 215, 221, 277 [best: 1000] 4247722655744
22, 34, 35, 56, 64, 79, 89, 106, 116, 128, 149 [best: 1000] 4252017623040
22, 34, 35, 56, 65, 73, 103, 116, 126, 136, 169 [best: 1000] 4256312590336
22, 34, 35, 56, 66, 70, 114, 116, 128, 131, 181 [best: 1000] 4260607557632
22, 34, 35, 56, 67, 74, 86, 107, 120, 149, 185 [best: 1000] 4264902524928
22, 34, 35, 56, 68, 71, 74, 113, 135, 162, 218 [best: 1000] 4269197492224
22, 34, 35, 56, 69, 72, 83, 112, 122, 141, 193 [best: 1000] 4273492459520
22, 34, 35, 56, 69, 85, 89, 117, 144, 160, 182 [best: 1000] 4277787426816
22, 34, 35, 56, 70, 71, 106, 110, 119, 147, 199 [best: 1000] 4282082394112
22, 34, 35, 56, 71, 75, 79, 110, 136, 180, 203 [best: 1000] 4286377361408
22, 34, 35, 56, 72, 77, 90, 93, 116, 128, 185 [best: 1000] 4290672328704
22, 34, 35, 56, 74, 76, 91, 139, 156, 189, 208 [best: 1000] 4294967296000
22, 34, 35, 56, 74, 98, 106, 145, 155, 158, 192 [best: 1000] 4299262263296
22, 34, 35, 56, 76, 91, 93, 104, 116, 136, 144 [best: 1000] 4303557230592
22, 34, 35, 56, 77, 94, 95, 101, 179, 215, 223 [best: 1000] 4307852197888
22, 34, 35, 56, 79, 89, 101, 121, 139, 164, 181 [best: 1000] 4312147165184
22, 34, 35, 56, 82, 85, 112, 129, 150, 174, 204 [best: 1000] 4316442132480
22, 34, 35, 57, 58, 84, 96, 100, 136, 137, 183, 223 [best: 1000] 4320737099776
22, 34, 35, 57, 59, 89, 100, 123, 132, 140, 154 [best: 1000] 4325032067072
22, 34, 35, 57, 61, 72, 88, 103, 123, 141, 179, 184 [best: 1000] 4329327034368
22, 34, 35, 57, 63, 70, 78, 88, 134, 135, 154 [best: 1000] 4333622001664
22, 34, 35, 57, 64, 91, 95, 105, 128, 138, 165 [best: 1000] 4337916968960
22, 34, 35, 57, 68, 70, 91, 94, 117, 136, 146 [best: 1000] 4342211936256
22, 34, 35, 57, 70, 76, 82, 90, 92, 114, 164 [best: 1000] 4346506903552
22, 34, 35, 57, 74, 79, 92, 127, 129, 154, 198 [best: 1000] 4350801870848
22, 34, 35, 58, 59, 69, 76, 109, 149, 161, 170 [best: 1000] 4355096838144
22, 34, 35, 58, 60, 61, 73, 81, 86, 108, 121 [best: 1000] 4359391805440
22, 34, 35, 58, 60, 84, 97, 101, 106, 135, 155 [best: 1000] 4363686772736
22, 34, 35, 58, 61, 89, 98, 114, 118, 158, 189 [best: 1000] 4367981740032
22, 34, 35, 58, 62, 82, 90, 122, 130, 181, 189 [best: 1000] 4372276707328
22, 34, 35, 58, 63, 73, 83, 99, 109, 121, 195 [best: 1000] 4376571674624
22, 34, 35, 58, 64, 65, 104, 121, 139, 170, 211 [best: 1000] 4380866641920
22, 34, 35, 58, 65, 68, 94, 123, 149, 154, 182 [best: 1000] 4385161609216
22, 34, 35, 58, 65, 90, 105, 128, 144, 146, 147 [best: 1000] 4389456576512
22, 34, 35, 58, 67, 69, 85, 92, 93, 161, 177 [best: 1000] 4393751543808
22, 34, 35, 58, 68, 76, 87, 142, 145, 152, 213 [best: 1000] 4398046511104
22, 34, 35, 58, 69, 74, 88, 107, 110, 192, 225, 264 [best: 1000] 4402341478400
22, 34, 35, 58, 69, 89, 91, 110, 150, 158, 187, 225 [best: 1000] 4406636445696
22, 34, 35, 58, 70, 74, 96, 107, 122, 141, 146, 171 [best: 1000] 4410931412992
22, 34, 35, 58, 71, 74, 82, 101, 130, 140, 190, 222 [best: 1000] 4415226380288
22, 34, 35, 58, 73, 82, 87, 107, 168, 188, 192 [best: 1000] 4419521347584
22, 34, 35, 58, 74, 81, 87, 113, 123, 180, 212, 215 [best: 1000] 4423816314880
22, 34, 35, 58, 74, 87, 91, 111, 116, 122, 125, 163 [best: 1000] 4428111282176
22, 34, 35, 58, 74, 87, 110, 125, 136, 168, 189, 206 [best: 1000] 4432406249472
22, 34, 35, 58, 76, 88, 89, 104, 125, 165, 211 [best: 1000] 4436701216768
22, 34, 35, 58, 81, 89, 94, 128, 131, 157, 192 [best: 1000] 4440996184064
22, 34, 35, 59, 60, 63, 102, 106, 134, 188, 189 [best: 1000] 4445291151360
22, 34, 35, 59, 60, 84, 93, 119, 122, 139, 162 [best: 1000] 4449586118656
22, 34, 35, 59, 61, 82, 86, 102, 131, 160, 174 [best: 1000] 4453881085952
22, 34, 35, 59, 62, 73, 84, 94, 118, 127, 132 [best: 1000] 4458176053248
22, 34, 35, 59, 63, 68, 79, 88, 159, 160, 190 [best: 1000] 4462471020544
22, 34, 35, 59, 64, 65, 68, 106, 109, 132, 134 [best: 1000] 4466765987840
22, 34, 35, 59, 64, 81, 86, 110, 173, 216, 221 [best: 1000] 4471060955136
22, 34, 35, 59, 65, 71, 73, 78, 91, 111, 148 [best: 1000] 4475355922432
22, 34, 35, 59, 65, 95, 103, 104, 116, 166, 180 [best: 1000] 4479650889728
22, 34, 35, 59, 66, 88, 97, 107, 120, 134, 187 [best: 1000] 4483945857024
22, 34, 35, 59, 67, 79, 88, 98, 131, 146, 175 [best: 1000] 4488240824320
22, 34, 35, 59, 68, 72, 93, 96, 109, 161, 185 [best: 1000] 4492535791616
22, 34, 35, 59, 68, 97, 100, 107, 130, 159, 200 [best: 1000] 4496830758912
22, 34, 35, 59, 69, 77, 78, 111, 116, 188, 210 [best: 1000] 4501125726208
22, 34, 35, 59, 69, 88, 108, 134, 143, 200, 228 [best: 1000] 4505420693504
22, 34, 35, 59, 69, 109, 127, 132, 158, 175, 185 [best: 1000] 4509715660800
22, 34, 35, 59, 70, 89, 110, 119, 129, 146, 208 [best: 1000] 4514010628096
22, 34, 35, 59, 71, 81, 97, 103, 144, 152, 174 [best: 1000] 4518305595392
22, 34, 35, 59, 72, 79, 80, 88, 117, 162, 165 [best: 1000] 4522600562688
22, 34, 35, 59, 72, 103, 108, 110, 124, 160, 166, 194 [best: 1000] 4526895529984
22, 34, 35, 59, 74, 86, 100, 118, 155, 162, 210 [best: 1000] 4531190497280
22, 34, 35, 59, 76, 90, 95, 108, 118, 167, 183, 186 [best: 1000] 4535485464576
22, 34, 35, 59, 79, 81, 93, 109, 129, 181, 192 [best: 1000] 4539780431872
22, 34, 35, 59, 81, 88, 90, 96, 103, 167, 186 [best: 1000] 4544075399168
22, 34, 35, 59, 82, 100, 118, 119, 152, 163, 175 [best: 1000] 4548370366464
22, 34, 35, 60, 61, 81, 96, 116, 125, 134, 182 [best: 1000] 4552665333760
22, 34, 35, 60, 63, 64, 82, 87, 138, 165, 186 [best: 1000] 4556960301056
22, 34, 35, 60, 63, 81, 108, 139, 164, 175, 203 [best: 1000] 4561255268352
22, 34, 35, 60, 64, 73, 75, 78, 88, 95, 155 [best: 1000] 4565550235648
22, 34, 35, 60, 65, 71, 92, 95, 144, 211, 248 [best: 1000] 4569845202944
22, 34, 35, 60, 66, 70, 81, 111, 137, 142, 182 [best: 1000] 4574140170240
22, 34, 35, 60, 67, 79, 106, 120, 123, 126, 162 [best: 1000] 4578435137536
22, 34, 35, 60, 68, 88, 96, 114, 116, 121, 176 [best: 1000] 4582730104832
22, 34, 35, 60, 69, 81, 111, 122, 146, 153, 217 [best: 1000] 4587025072128
22, 34, 35, 60, 69, 95, 113, 125, 139, 162, 207 [best: 1000] 4591320039424
22, 34, 35, 60, 71, 74, 88, 92, 96, 133, 185 [best: 1000] 4595615006720
22, 34, 35, 60, 72, 87, 95, 96, 117, 166, 170 [best: 1000] 4599909974016
22, 34, 35, 60, 74, 86, 117, 147, 157, 190, 200 [best: 1000] 4604204941312
22, 34, 35, 60, 75, 98, 102, 118, 143, 155, 203 [best: 1000] 4608499908608
22, 34, 35, 60, 81, 83, 87, 118, 145, 171, 191 [best: 1000] 4612794875904
22, 34, 35, 60, 83, 96, 117, 124, 141, 146, 159, 187 [best: 1000] 4617089843200
22, 34, 35, 61, 63, 75, 78, 102, 119, 160, 192 [best: 1000] 4621384810496
22, 34, 35, 61, 65, 66, 67, 99, 118, 149, 173 [best: 1000] 4625679777792
22, 34, 35, 61, 68, 72, 79, 98, 126, 153, 192 [best: 1000] 4629974745088
22, 34, 35, 61, 70, 78, 87, 116, 134, 139, 174 [best: 1000] 4634269712384
22, 34, 35, 61, 75, 79, 97, 103, 152, 181, 192 [best: 1000] 4638564679680
22, 34, 35, 62, 63, 81, 84, 88, 109, 155, 173 [best: 1000] 4642859646976
22, 34, 35, 62, 64, 81, 86, 105, 109, 126, 181 [best: 1000] 4647154614272
22, 34, 35, 62, 65, 79, 85, 110, 130, 149, 191 [best: 1000] 4651449581568
22, 34, 35, 62, 66, 84, 98, 107, 150, 171, 195 [best: 1000] 4655744548864
22, 34, 35, 62, 68, 77, 112, 150, 178, 199, 217 [best: 1000] 4660039516160
22, 34, 35, 62, 69, 77, 91, 130, 136, 161, 250 [best: 1000] 4664334483456
22, 34, 35, 62, 69, 96, 109, 116, 148, 200, 218 [best: 1000] 4668629450752
22, 34, 35, 62, 70, 92, 109, 124, 145, 161, 178 [best: 1000] 4672924418048
22, 34, 35, 62, 73, 74, 90, 110, 134, 139, 182 [best: 1000] 4677219385344
22, 34, 35, 62, 76, 83, 101, 111, 130, 159, 180 [best: 1000] 4681514352640
22, 34, 35, 62, 78, 80, 94, 97, 117, 154, 206 [best: 1000] 4685809319936
22, 34, 35, 62, 81, 104, 108, 120, 143, 196, 204 [best: 1000] 4690104287232
22, 34, 35, 63, 64, 71, 96, 111, 162, 174, 212 [best: 1000] 4694399254528
22, 34, 35, 63, 65, 69, 88, 124, 168, 196, 245 [best: 1000] 4698694221824
22, 34, 35, 63, 65, 89, 96, 110, 122, 129, 190 [best: 1000] 4702989189120
22, 34, 35, 63, 66, 82, 107, 108, 116, 157, 170 [best: 1000] 4707284156416
22, 34, 35, 63, 67, 80, 93, 125, 136, 166, 178 [best: 1000] 4711579123712
22, 34, 35, 63, 68, 74, 87, 99, 106, 169, 190 [best: 1000] 4715874091008
22, 34, 35, 63, 68, 105, 112, 117, 145, 150, 172 [best: 1000] 4720169058304
22, 34, 35, 63, 69, 79, 80, 110, 123, 154, 211 [best: 1000] 4724464025600
22, 34, 35, 63, 69, 90, 114, 133, 162, 163, 191 [best: 1000] 4728758992896
22, 34, 35, 63, 70, 74, 75, 78, 101, 106, 118 [best: 1000] 4733053960192
22, 34, 35, 63, 70, 98, 109, 135, 157, 165, 224 [best: 1000] 4737348927488
22, 34, 35, 63, 71, 91, 94, 106, 117, 173, 211 [best: 1000] 4741643894784
22, 34, 35, 63, 72, 98, 99, 113, 115, 134, 186 [best: 1000] 4745938862080
22, 34, 35, 63, 74, 91, 113, 117, 136, 163, 206 [best: 1000] 4750233829376
22, 34, 35, 63, 76, 86, 102, 110, 124, 150, 216 [best: 1000] 4754528796672
22, 34, 35, 63, 78, 81, 107, 119, 185, 212, 218 [best: 1000] 4758823763968
22, 34, 35, 63, 80, 97, 103, 119, 120, 159, 163, 213 [best: 1000] 4763118731264
22, 34, 35, 63, 82, 83, 84, 100, 110, 177, 193 [best: 1000] 4767413698560
22, 34, 35, 64, 65, 67, 90, 97, 143, 159, 182 [best: 1000] 4771708665856
22, 34, 35, 64, 65, 92, 112, 132, 143, 176, 188 [best: 1000] 4776003633152
22, 34, 35, 64, 67, 71, 81, 89, 123, 158, 208 [best: 1000] 4780298600448
22, 34, 35, 64, 68, 74, 98, 128, 130, 132, 179 [best: 1000] 4784593567744
22, 34, 35, 64, 69, 77, 80, 109, 142, 173, 222 [best: 1000] 4788888535040
22, 34, 35, 64, 69, 89, 127, 132, 145, 173, 240, 277 [best: 1000] 4793183502336
22, 34, 35, 64, 70, 83, 97, 109, 120, 172, 173 [best: 1000] 4797478469632
22, 34, 35, 64, 71, 95, 119, 131, 152, 166, 225 [best: 1000] 4801773436928
22, 34, 35, 64, 74, 77, 98, 129, 143, 162, 219 [best: 1000] 4806068404224
22, 34, 35, 64, 77, 81, 84, 88, 114, 133, 151 [best: 1000] 4810363371520
22, 34, 35, 64, 77, 103, 108, 120, 121, 179, 232, 248 [best: 1000] 4814658338816
22, 34, 35, 64, 81, 93, 111, 114, 143, 181, 197 [best: 1000] 4818953306112
22, 34, 35, 65, 66, 70, 80, 98, 130, 151, 192 [best: 1000] 4823248273408
22, 34, 35, 65, 67, 77, 85, 112, 127, 158, 177 [best: 1000] 4827543240704
22, 34, 35, 65, 68, 77, 91, 106, 114, 159, 178 [best: 1000] 4831838208000
22, 34, 35, 65, 69, 94, 96, 118, 122, 156, 187 [best: 1000] 4836133175296
22, 34, 35, 65, 71, 72, 100, 106, 159, 182, 194 [best: 1000] 4840428142592
22, 34, 35, 65, 71, 87, 122, 131, 139, 158, 216 [best: 1000] 4844723109888
22, 34, 35, 65, 72, 87, 105, 126, 140, 175, 181 [best: 1000] 4849018077184
22, 34, 35, 65, 74, 89, 91, 102, 140, 183, 200 [best: 1000] 4853313044480
22, 34, 35, 65, 76, 83, 100, 107, 147, 151, 185 [best: 1000] 4857608011776
22, 34, 35, 65, 77, 91, 93, 110, 137, 190, 225 [best: 1000] 4861902979072
22, 34, 35, 65, 79, 89, 95, 103, 133, 144, 224 [best: 1000] 4866197946368
22, 34, 35, 66, 68, 70, 76, 80, 82, 108, 147 [best: 1000] 4870492913664
22, 34, 35, 66, 70, 80, 114, 121, 139, 166, 175 [best: 1000] 4874787880960
22, 34, 35, 66, 73, 79, 92, 129, 145, 160, 183 [best: 1000] 4879082848256
22, 34, 35, 66, 75, 88, 98, 125, 141, 152, 193 [best: 1000] 4883377815552
total chains: 4884985425295
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: 1 14 14 14 14
8: 31 451 14 9 17
9: 916 15001 16 5 26
10: 29359 529747 18 3 31
11: 1045050 20555228 19 1 36
12: 41273730 879039763 21 1 41
13: 1796367998 41261139102 22 0 46
14: 85560372249 2113468429281 24 0 51
15: 6346943950 172895227973 27 0 56
16: 121768178 3619639107 29 1 59
17: 1350834 44493582 32 3 60
18: 760 29389 38 22 54
19: 0 0 0 0 0
20: 0 0 0 0 0
real 193m29.989s
user 193m5.495s
sys 0m1.886s
stderr end
running docker command: stop boinc__boinc.berkeley.edu_central__batch_88__job_job-005487_1
command output:
boinc__boinc.berkeley.edu_central__batch_88__job_job-005487_1
running docker command: container rm boinc__boinc.berkeley.edu_central__batch_88__job_job-005487_1
command output:
boinc__boinc.berkeley.edu_central__batch_88__job_job-005487_1
running docker command: image rm boinc__boinc.berkeley.edu_central__batch_88__job_job-005487
command output:
Untagged: boinc__boinc.berkeley.edu_central__batch_88__job_job-005487:latest
2025-04-28 23:54:41 (167829): called boinc_finish(0)
</stderr_txt>
]]>
©2025 UC Berkeley