PB'16 competition: satisfaction and optimization track: solvers results per benchmarks

Result page for benchmark
PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-sporttournament50.opb

Jump to solvers results

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-sporttournament50.opb
MD5SUM5d50fcf32d8a79aa5cc529b9268f6c16
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-406
Best CPU time to get the best result obtained on this benchmark1800.11
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables0
Total number of constraints0
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint-1
Maximum length of a constraint0
Number of terms in the objective function 3130
Biggest coefficient in the objective function 2
Number of bits for the biggest coefficient in the objective function 2
Sum of the numbers in the objective function 3368
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 3368
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)2400
Sum of products size (including duplicates)4800
Number of different products0
Sum of products size0

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerobjective functionCPU timeWall clock time
minisatp 2012-10-02 git-d91742b (complete)4119275SAT (TO)-406 1800.11 1800.4
Sat4j PB 2.3.6 Res+CP PB16 (complete)4119273SAT (TO)-359 1800.09 899.962
Sat4j PB 2.3.6 Resolution PB16 (complete)4119274SAT (TO)-293 1800 1770.75
toysat 2016-05-02 (complete)4119272? (TO) 1800.01 1800.51

Additionnal information

This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).

objective function: -406
Solution found:
-x1226 x1 -x49 -x1227 -x1228 -x1229 x1230 x2 x554 x1231 x665 -x1232 -x1233 x1234 x3 x69 -x1235 -x106 -x1236 -x312 -x1237 -x390 -x1238 -x4
x18 -x1239 x34 -x1240 -x385 -x1241 -x1242 x5 -x126 -x1243 -x428 -x1244 -x1245 -x1246 x6 -x1247 -x155 -x1248 -x477 -x1249 -x1250 x7 -x1251
-x182 x1252 x522 -x1253 -x1254 x8 x1255 x180 x1256 x209 x1257 x573 x1258 x9 x131 -x1259 -x1260 -x1261 -x1262 -x10 x153 -x1263 -x1264 x239
-x1265 -x627 x1266 x11 x162 -x1267 -x1268 -x1269 -x1270 x12 -x19 -x1271 -x59 -x1272 -x1273 -x1274 -x13 x154 -x1275 -x1276 x276 -x1277 -x688
-x1278 -x14 x188 -x1279 x488 -x1280 -x1281 -x1282 -x15 -x181 -x1283 -x1284 x314 -x1285 -x1286 x16 -x216 -x1287 -x1288 -x1289 -x1290 -x17
-x400 -x1291 x402 -x1292 -x645 -x1293 -x1294 -x347 -x1295 -x469 -x1296 -x677 -x1297 -x208 -x1298 -x1299 x353 -x1300 x20 -x248 -x1301 -x438
-x1302 -x1303 -x1304 -x21 x364 -x1305 -x441 -x1306 x707 -x1307 -x710 -x1308 -x22 -x237 -x1309 -x1310 x391 -x1311 -x1312 x23 -x285 -x1313
-x485 -x1314 -x1315 x1316 x24 x322 -x1317 -x533 -x1318 -x1319 -x1320 x25 -x192 x1321 x597 -x1322 -x1323 -x1324 x26 -x46 -x1325 -x557 -x1326
x27 -x219 x1327 x329 x1328 x654 -x1329 -x1330 -x28 -x251 -x1331 x368 -x1332 -x716 -x1333 x1334 x29 x177 -x1335 -x1336 -x1337 -x1338 -x30
-x137 -x1339 -x289 -x1340 x405 -x1341 -x1342 x31 -x79 -x1343 -x166 -x1344 -x1345 -x1346 x32 -x81 -x1347 x1348 x33 x149 -x1349 -x1350 -x1351
-x1352 -x1353 -x1354 -x1355 x35 -x1356 -x330 -x1357 -x450 -x1358 x1359 x36 x55 -x1360 -x95 -x1361 -x1362 -x1363 x37 -x99 -x1364 -x1365 x38
-x1366 -x1367 -x1368 -x1369 x39 -x40 -x1370 -x1371 -x1372 -x1373 x58 -x1374 -x348 -x1375 -x1376 -x41 x104 -x1377 x273 -x1378 -x1379 x1380
x42 x73 -x1381 -x359 -x1382 -x1383 x1384 x43 x642 -x1385 -x1386 -x1387 -x1388 x44 -x1389 -x369 -x1390 -x500 -x1391 -x1392 x45 -x65 -x1393
-x115 -x1394 -x1395 -x1396 x47 -x1397 -x142 -x1398 -x298 -x1399 -x118 -x1400 x48 -x1401 -x1402 -x1403 -x1404 -x68 -x1405 -x386 -x1406 -x50
-x1407 x150 -x1408 -x1409 -x1410 x51 -x396 -x1411 -x1412 -x1413 -x1414 x52 -x1415 -x1416 -x1417 -x1418 x53 -x1419 -x406 -x1420 -x544 -x1421
-x1422 x54 -x1423 -x139 -x1424 -x1425 -x1426 -x659 -x1427 -x1428 x1429 x56 x57 -x1430 -x117 -x1431 -x337 -x1432 -x1433 -x143 -x1434 -x178
-x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x60 -x71 -x1441 -x127 -x1442 -x578 -x1443 -x1444 x61 -x436 -x1445 -x1446 -x1447 -x1448 x62 -x1449
-x1450 -x1451 -x1452 x63 -x1453 -x451 -x1454 -x598 -x1455 -x1456 x64 -x1457 -x168 -x1458 -x1459 -x1460 x254 -x1461 -x1462 x1463 x66 x67
x1464 x98 -x1465 -x376 -x1466 -x1467 -x171 -x1468 -x1469 -x206 -x1470 -x1471 -x156 -x1472 -x1473 -x1474 -x70 -x157 -x1475 -x1476 -x1477
-x1478 -x1479 -x1480 x1481 x72 x245 -x1482 -x483 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 x74 -x1489 -x1490 -x1491 -x1492 -x75 -x76 -x1493
x112 -x1494 x325 -x1495 -x1496 -x133 -x1497 x217 -x1498 -x1499 x77 -x1500 -x501 -x1501 -x655 -x1502 -x1503 x78 -x1504 -x194 -x1505 -x1506
-x1507 -x1508 -x1509 -x80 -x1510 x169 -x1511 -x197 -x1512 -x1513 x82 -x1514 -x728 -x1515 -x1516 x83 -x1517 -x1518 x84 -x85 -x1519 -x562
-x1520 -x1521 -x1522 x419 -x1523 -x463 -x1524 -x1525 -x86 x88 -x1526 -x184 -x1527 -x1528 -x1529 -x87 -x1530 -x1531 -x1532 -x1533 -x1534
-x1535 -x1536 x89 -x282 -x1537 -x529 -x1538 -x1539 -x1540 x90 -x321 -x1541 -x1542 -x1543 -x1544 -x91 x161 -x1545 x360 -x1546 -x1547 -x1548
x92 -x134 x1549 -x1550 -x1551 -x1552 x93 -x1553 -x545 -x1554 -x717 -x1555 -x1556 x94 -x1557 -x221 -x1558 -x1559 -x1560 -x1561 -x1562 x96
-x97 -x1563 -x1564 -x1565 -x1566 -x195 -x1567 -x1568 -x1569 -x1570 -x225 -x1571 -x1572 x100 -x1573 x668 -x1574 -x1575 -x1576 x101 -x1577
-x1578 -x102 -x512 -x1579 -x1580 -x1581 -x1582 x103 -x613 -x1583 -x1584 -x1585 -x1586 -x1587 -x105 -x1588 -x686 -x1589 -x1590 -x1591 x630
-x1592 -x1593 -x107 x109 -x1594 -x696 -x1595 -x1596 -x1597 -x108 x694 -x1598 -x1599 -x1600 -x1601 -x430 -x1602 -x1603 -x1604 -x110 x319
-x1605 x585 -x1606 -x1607 x1608 x111 x397 -x1609 -x1610 -x1611 x1612 x163 x1613 x287 x1614 x595 -x1615 x113 -x1616 -x599 -x1617 -x1618
-x1619 x114 -x1620 -x253 -x1621 -x1622 -x1623 -x1624 -x1625 x116 -x1626 -x1627 -x1628 -x1629 -x223 -x1630 -x262 -x1631 x119 -x1632 -x606
-x1633 -x1634 -x1635 x120 -x302 -x1636 -x510 x1637 -x1638 x1639 x121 x123 -x1640 -x381 -x1641 -x611 -x1642 -x1643 -x122 -x1644 -x1645 -x1646
-x1647 -x673 -x1648 -x1649 -x1650 -x124 -x1651 -x625 -x1652 -x1653 -x1654 -x125 -x1655 x311 -x1656 -x1657 -x1658 -x691 -x1659 -x1660 -x1661
-x1662 -x1663 x128 -x1664 -x1665 -x1666 -x1667 -x129 x214 -x1668 x358 -x1669 -x638 -x1670 -x1671 -x130 -x1672 x437 -x1673 -x1674 -x1675
-x1676 -x1677 x132 x1678 x249 x1679 x652 -x1680 -x1681 x135 -x1682 -x1683 -x1684 -x1685 -x1686 -x543 -x1687 -x1688 x136 -x1689 -x657 -x1690
-x1691 -x1692 x138 -x1693 -x1694 -x1695 -x291 -x1696 -x1697 -x1698 -x1699 -x140 -x1700 x551 -x1701 -x724 -x1702 -x1703 x141 -x1704 -x1705
-x1706 -x1707 -x259 -x1708 -x299 -x1709 x144 -x1710 -x555 -x1711 -x1712 -x1713 x145 -x560 x1714 -x1715 x1716 x1717 x146 x148 -x1718 -x418
-x1719 -x671 -x1720 -x1721 -x147 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x563 -x1730 -x1731 -x152 -x1732 -x1733 -x151
-x1734 -x571 -x1735 -x1736 -x1737 -x1738 x351 -x1739 -x1740 -x1741 -x1742 -x355 -x1743 -x1744 x243 -x1745 -x1746 -x523 -x1747 -x1748 -x1749
-x1750 x158 -x1751 -x1752 -x1753 x1754 x159 x246 -x1755 -x395 -x1756 -x700 -x1757 -x1758 -x160 -x1759 x484 -x1760 -x1761 -x1762 -x1763
-x1764 -x1765 -x1766 x1767 x164 -x1768 -x1769 -x1770 -x499 x1771 -x1772 -x1773 x165 -x1774 -x719 -x1775 -x1776 -x1777 x167 -x1778 -x1779
-x1780 -x332 -x1781 -x1782 -x1783 -x1784 -x170 -x1785 -x1786 -x1787 x296 -x1788 -x338 -x1789 -x1790 x172 -x1791 -x607 -x1792 -x1793 -x1794
x173 x1795 -x1796 -x1797 x1798 x174 x176 -x1799 -x461 -x1800 -x1801 -x1802 -x175 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x616
-x1810 -x1811 -x1812 x179 -x1813 -x1814 -x1815 -x389 x1816 -x1817 -x238 -x1818 -x1819 -x1820 -x1821 x183 -x1822 -x316 -x1823 -x577 -x1824
-x1825 -x1826 -x1827 -x1828 -x1829 x185 -x1830 -x1831 -x1832 x1833 x186 x283 -x1834 -x434 -x1835 -x1836 -x1837 -x187 -x1838 x531 -x1839
-x1840 -x1841 -x361 -x1842 -x1843 x189 -x324 -x1844 -x1845 -x490 -x1846 x1847 x190 x191 -x1848 -x1849 -x1850 x1851 x449 x1852 -x1853 -x1854
x193 -x1855 -x1856 -x1857 -x371 -x1858 -x720 -x1859 -x1860 -x1861 -x196 -x1862 x258 -x1863 x336 -x1864 -x377 -x1865 -x1866 x198 -x1867 -x669
-x1868 -x1869 -x199 -x200 -x1870 -x1871 x201 -x1872 -x1873 -x1874 -x462 -x1875 -x1876 x1877 x202 x204 -x1878 -x511 -x1879 -x1880 -x1881
-x203 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 x1888 x205 x676 -x1889 -x1890 -x1891 -x1892 x207 -x1893 -x1894 -x1895 -x1896 -x426 x1897
-x1898 -x275 -x1899 -x1900 -x212 -x1901 -x278 -x1902 x210 -x1903 -x1904 -x1905 -x1906 -x211 -x1907 -x429 -x1908 -x631 -x1909 -x690 -x1910
-x1911 -x1912 x213 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 x215 -x1920 -x587 -x1921 -x1922 -x1923 -x398 -x1924 -x532 -x1925 -x218
-x1926 -x1927 -x1928 -x1929 -x1930 -x1931 x220 -x1932 -x1933 -x1934 -x409 -x1935 -x658 -x1936 x292 -x1937 -x1938 -x222 x550 -x1939 -x1940
-x1941 -x1942 -x224 -x1943 x295 -x1944 -x1945 -x375 -x1946 x414 -x1947 -x1948 -x226 -x1949 -x729 -x1950 -x1951 -x227 -x228 -x1952 -x1953
x229 -x1954 -x1955 -x1956 -x1957 -x1958 x1959 x230 x232 -x1960 -x304 -x1961 -x561 -x1962 -x1963 -x231 -x1964 -x1965 -x1966 -x1967 -x1968
-x1969 x1970 x233 x234 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 x1977 x235 x236 -x1978 -x1979 -x1980 -x1981 -x1982 -x473 -x1983 -x1984
-x313 -x1985 -x1986 x240 -x1987 -x1988 -x241 -x1989 -x242 -x1990 -x1991 x1992 -x1993 -x629 -x1994 -x692 -x1995 -x1996 -x1997 -x1998 x1999
-x2000 -x2001 -x244 -x2002 -x634 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x247 -x2011 x640 -x2012 -x2013 -x2014 x439 -x2015
-x588 x2016 x401 x2017 x540 -x2018 -x2019 -x250 -x2020 -x2021 -x2022 -x2023 x252 -x2024 -x2025 -x2026 -x453 -x2027 -x600 -x2028 x255 -x2029
-x2030 -x257 -x2031 -x662 -x2032 -x2033 -x2034 x2035 x256 x2036 x505 x2037 -x2038 -x2039 -x2040 -x2041 -x413 -x2042 x261 -x2043 x335 -x2044
-x2045 -x260 -x2046 -x457 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 x263 -x2053 -x2054 -x2055 -x264 -x265 -x2056 -x2057 x266 -x2058 -x2059
-x2060 -x2061 -x2062 -x2063 -x267 -x268 -x2064 x269 -x2065 x612 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x270 -x272 -x2074
x675 -x2075 -x2076 -x2077 x271 -x2078 -x2079 -x2080 -x2081 -x565 -x2082 -x2083 -x350 -x2084 -x2085 -x2086 x274 -x2087 -x2088 -x2089 -x2090
x277 -x2091 -x2092 -x279 -x2093 x2094 x576 -x2095 -x2096 x280 -x2097 -x575 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 x281 x2104 x580 -x2105
-x2106 -x2107 -x584 -x2108 -x2109 -x2110 -x2111 -x2112 x284 -x2113 -x702 -x2114 -x2115 -x2116 -x486 -x2117 -x641 -x2118 x286 -x363 -x2119
x2120 x644 -x2121 x2122 x443 x2123 x496 -x2124 -x2125 -x288 -x2126 -x2127 -x2128 -x2129 x290 -x2130 -x2131 -x503 -x2132 -x546 -x2133 x293
-x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x294 -x2142 x454 -x2143 -x603 -x2144 -x2145 -x456 -x2146 -x2147 -x2148 -x374 -x2149
-x2150 -x297 -x2151 -x508 -x2152 -x2153 -x2154 -x2155 -x2156 x300 -x2157 -x2158 -x2159 -x301 -x2160 -x2161 -x2162 -x2163 -x2164 x303 -x2165
-x2166 -x2167 -x2168 -x305 -x2169 -x2170 -x2171 -x306 -x2172 -x2173 -x2174 x307 -x2175 -x2176 -x2177 -x618 -x2178 -x2179 -x2180 -x308 -x2181
-x2182 -x2183 -x2184 -x309 x388 -x2185 -x2186 -x2187 -x2188 x310 -x2189 -x570 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198
x315 -x2199 -x2200 -x317 -x2201 -x2202 -x2203 -x2204 -x2205 x318 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x527 -x2213 -x2214 -x2215
x320 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x534 -x2222 -x703 -x2223 x323 x2224 x706 -x2225 -x2226 -x2227 -x2228 -x440 -x2229 x492
-x2230 -x327 -x2231 -x2232 -x326 x446 -x2233 -x2234 -x2235 -x2236 -x2237 x647 -x2238 -x2239 -x328 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245
x331 -x2246 -x2247 -x548 -x2248 -x2249 x333 -x2250 -x2251 -x411 -x2252 -x2253 x2254 x334 x2255 x410 x2256 -x2257 -x2258 -x507 -x2259 -x2260
-x2261 -x412 -x2262 -x2263 -x2264 -x556 -x2265 x339 -x2266 -x2267 -x340 -x342 -x2268 -x2269 x341 -x2270 -x2271 x344 -x2272 -x2273 -x343
-x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x345 x346 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 x678 -x2288 -x2289 -x2290
-x2291 -x2292 -x349 x425 -x2293 -x2294 -x2295 -x2296 x518 -x2297 -x624 -x2298 -x2299 -x2300 -x2301 -x2302 -x352 -x2303 -x2304 -x2305 -x2306
-x356 -x2307 -x2308 x354 -x2309 -x2310 -x2311 -x2312 x357 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x481 -x2320 -x2321 -x2322 -x2323
-x2324 -x2325 -x2326 -x2327 x362 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 x2335 x403 -x2336 -x2337 x2338 x365 -x2339 -x709 -x2340
-x2341 -x2342 -x366 -x367 -x2343 -x712 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 x370 -x2352 -x2353 -x601 -x2354 -x2355 x372
-x2356 -x2357 -x373 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 x553 -x2364 -x2365 -x2366 x455 -x2367 -x2368 -x2369 -x608 -x2370 x378 -x2371
-x2372 -x379 x380 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x382 -x383 -x2380 -x2381 -x2382 -x2383 x384 -x2384 -x2385 -x2386 -x2387
-x2388 -x2389 -x2390 -x2391 -x681 -x2392 -x2393 -x2394 -x387 x472 -x2395 -x2396 -x2397 -x2398 -x2399 -x685 -x2400 -x2401 x520 -x2402 -x2403
-x2404 -x2405 -x2406 -x2407 -x393 -x2408 -x2409 -x2410 x392 -x2411 -x2412 -x2413 -x2414 x394 -x2415 -x2416 -x2417 -x2418 -x2419 x435 -x2420
-x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 x399 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439
-x2440 -x2441 x2442 -x2443 -x2444 -x404 -x650 -x2445 -x2446 -x2447 -x2448 -x656 -x2449 -x2450 -x2451 -x408 -x2452 x407 -x2453 -x2454 -x2455
-x2456 -x2457 -x661 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 x605 -x2465 -x2466 -x506 -x2467 x2468 -x2469 -x2470 -x415 x416 -x2471
-x2472 -x2473 -x2474 -x2475 -x417 -x2476 -x610 -x2477 -x2478 -x2479 -x2480 -x2481 -x421 -x2482 -x2483 -x2484 x420 -x2485 -x2486 -x2487
-x2488 -x422 -x2489 -x2490 x423 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x424 x517 -x2497 -x2498 -x2499 -x2500 -x427 -x2501 -x2502 -x2503
x475 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 x687 -x2510 -x2511 -x2512 x431 -x2513 -x2514 -x432 -x2515 -x2516 -x2517 -x2518 x433 -x2519
-x2520 -x2521 -x2522 -x2523 -x2524 x2525 -x2526 -x2527 -x2528 -x2529 -x528 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538
x442 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 x2546 x445 -x2547 -x2548 x2549 x444 x646 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555
x2556 -x2557 -x2558 -x447 x448 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 x2565 x718 -x2566 -x2567 -x2568 -x2569 -x2570 x452 -x2571 -x2572
-x723 -x2573 -x2574 -x2575 -x2576 -x2577 -x667 -x2578 -x2579 -x2580 x552 -x2581 -x2582 -x2583 -x458 x459 -x2584 -x2585 -x2586 -x2587 -x2588
-x460 x559 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x672 -x2596 x464 -x2597 -x2598 -x466 -x2599 -x2600 x2601 x465 x467 -x2602
-x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x468 -x2609 -x2610 x470 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x471 x569 -x2619
-x2620 -x2621 -x2622 -x474 -x2623 -x2624 -x2625 x476 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 x574 -x2635 x626 x2636
x478 x479 -x2637 -x2638 -x2639 x2640 -x2641 -x2642 -x2643 -x480 x579 -x2644 x697 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x482 -x2651
-x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x487 -x2659 -x2660 -x489 -x2661 -x2662 -x2663 -x2664 x2665 x491 -x2666 -x2667 -x2668
-x2669 -x2670 -x493 -x2671 -x2672 -x2673 -x2674 x2675 x495 -x2676 -x2677 -x2678 x2679 x494 x708 -x2680 -x2681 -x2682 -x2683 -x2684 x2685
x541 -x2686 -x2687 x2688 x497 x498 x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 x502 -x2701 -x2702
-x504 -x2703 -x2704 -x2705 -x2706 -x2707 x660 -x2708 -x2709 -x2710 x727 -x2711 -x2712 -x2713 x604 -x2714 -x2715 -x2716 x509 -x2717 -x2718
-x2719 -x2720 -x2721 -x2722 -x2723 -x2724 x2725 x513 x514 -x2726 -x2727 -x2728 -x2729 -x515 -x2730 -x2731 -x2732 x516 -x2733 -x2734 -x2735
-x2736 -x2737 -x2738 -x519 -x2739 -x2740 -x521 -x2741 -x2742 -x2743 -x2744 x622 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 x2751 x572 x2752
x628 -x2753 x524 -x2754 -x2755 -x2756 -x525 -x2757 -x2758 -x2759 x635 -x2760 -x2761 -x2762 -x526 -x2763 x698 -x2764 -x2765 -x2766 -x2767
-x2768 -x2769 -x2770 -x2771 -x2772 -x2773 x530 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x535 -x2784 -x2785
x537 -x2786 -x2787 -x2788 -x536 -x538 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 x539 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 x2802
x542 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 x547 -x2814 -x2815 -x2816 -x2817 -x2818 -x549 -x2819
-x2820 -x2821 -x2822 x722 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x666 -x2832 -x2833 -x2834 -x2835 -x2836 x558
-x2837 -x2838 -x2839 -x2840 x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 x564 -x2849 -x2850 -x2851 -x566 -x2852 -x2853 -x2854 x567
-x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 x2862 x568 x683 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 x2873
x689 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x581 -x2889 -x2890 x583
-x2891 -x637 -x2892 -x2893 -x582 x636 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 x586 -x2906 -x2907
-x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x589 -x591 -x2914 -x2915 -x2916 -x2917 -x590 x592 -x2918 -x705 -x2919 -x2920 -x2921 -x2922 -x2923
-x2924 -x593 -x2925 -x2926 x594 -x2927 -x2928 -x2929 -x2930 -x2931 x2932 x596 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941
x721 -x2942 -x2943 -x2944 -x2945 -x2946 x602 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x726 -x2958
-x2959 -x2960 -x2961 -x2962 -x2963 x609 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 x614 -x2974 -x2975 -x2976
-x2977 x615 -x2978 -x2979 -x2980 -x2981 x617 -x2982 -x2983 -x2984 -x619 -x2985 -x2986 -x2987 x620 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993
-x2994 x2995 x621 x623 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011
-x3012 -x3013 -x3014 -x3015 -x632 -x3016 x633 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x699 -x3026 -x3027 -x3028
-x3029 -x3030 -x3031 -x3032 -x3033 x639 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 x3045 x643 -x3046
-x3047 -x3048 x3049 x3050 -x3051 -x3052 -x3053 -x649 x3054 -x3055 -x3056 -x3057 -x648 x651 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064
-x3065 -x3066 x3067 x653 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083
-x663 -x3084 -x3085 x664 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 x3097 x730 -x3098 -x3099 -x3100 x670
-x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 x674 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 x679
-x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x680 -x3127 -x3128 -x3129 -x3130 x3131 x682 x684 -x3132 -x3133 -x3134 -x3135 -x3136
-x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x693 -x3150 -x3151 x695 -x3152 -x3153 -x3154
-x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 x701 -x3171 -x3172 -x3173
-x3174 -x3175 -x3176 -x3177 x704 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 x3186 x711 -x3187 -x3188 -x3189 -x713 -x3190 -x3191
-x3192 -x3193 -x3194 -x3195 -x3196 x714 -x3197 x3198 x715 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209
-x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 x725 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228
x3229 x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248
-x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268
-x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288
-x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308
-x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328
-x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348
-x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368
-x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388
-x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408
-x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428
-x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448
-x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468
-x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488
-x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508
-x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528
-x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548
-x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568
-x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588
-x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608
-x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x744 -x745 -x753
-x751 -x791 -x783 -x842 -x843 -x858 -x871 -x764 -x846 -x847 -x756 -x861 -x862 -x814 -x945 -x757 -x875 -x933 -x765 -x787 -x890 -x833 -x773
-x774 -x788 -x804 -x940 -x941 -x953 -x966 -x748 -x797 -x870 -x980 -x1008 -x982 -x752 -x784 -x885 -x737 -x886 -x994 -x996 -x759 -x901 -x969
-x856 -x736 -x1055 -x934 -x935 -x961 -x962 -x1007 -x840 -x902 -x1024 -x947 -x948 -x949 -x830 -x975 -x976 -x977 -x1019 -x981 -x1020 -x1021
-x1013 -x769 -x958 -x959 -x960 -x817 -x991 -x992 -x1029 -x967 -x1009 -x1030 -x1001 -x1098 -x760 -x762 -x827 -x771 -x1088 -x1089 -x973 -x974
-x731 -x860 -x937 -x802 -x1005 -x1006 -x848 -x1101 -x954 -x1048 -x850 -x1093 -x782 -x930 -x743 -x754 -x844 -x785 -x799 -x1074 -x1075 -x1108
-x990 -x923 -x1018 -x738 -x894 -x942 -x1010 -x735 -x1111 -x1063 -x1050 -x866 -x1080 -x916 -x1095 -x795 -x943 -x1042 -x1072 -x750 -x859 -x800
-x1059 -x1004 -x831 -x929 -x995 -x1066 -x1078 -x1079 x808 -x1119 -x955 -x899 -x1081 -x1083 -x809 -x749 -x1057 -x815 -x1044 -x1045 -x872
-x1123 -x1124 -x739 -x926 -x1062 -x733 -x912 -x915 -x1065 -x1092 x794 -x852 x1129 -x968 -x881 -x1067 -x1069 -x822 -x1130 -x1012 -x1071
-x1135 -x770 -x828 -x1036 -x1037 -x887 -x1100 -x816 -x1138 -x1137 -x734 -x1077 -x1141 -x927 -x898 -x1064 -x1104 x781 -x868 -x1144 -x983
-x984 -x867 -x1051 -x1052 -x837 -x1145 -x1022 -x1146 -x1085 -x798 -x1136 -x845 -x1026 -x1027 -x903 -x732 -x921 -x1150 -x801 -x832 -x1090
-x1152 -x880 -x768 -x1154 -x807 -x997 -x998 -x851 -x1039 -x1041 -x853 -x931 -x1032 -x1155 -x1097 -x813 -x919 -x1016 -x873 -x818 -x910 -x913
-x1160 -x741 -x1049 -x780 -x1162 -x793 -x1031 -x1033 -x869 -x917 -x1040 -x1163 -x1056 -x1106 -x826 -x1107 -x1166 -x1167 -x888 -x951 -x925
-x895 -x928 -x1170 -x897 -x746 -x758 -x1171 -x1023 -x883 -x1053 -x900 -x1034 -x971 -x1114 -x1172 -x1099 -x1174 -x904 -x909 -x878 -x1177
-x879 -x1161 -x914 -x740 -x767 -x778 -x1011 -x1179 -x884 -x1068 -x1164 -x1165 -x839 -x918 -x1133 -x957 -x1121 -x1180 -x988 -x1035 -x1087
-x989 -x920 -x1046 -x938 -x892 -x865 -x1184 -x834 -x1185 -x1186 -x1153 -x820 -x999 -x1187 -x742 -x1082 -x1156 -x1158 -x824 -x932 -x1188
-x972 -x1086 -x1043 -x1073 -x1003 -x1060 -x1191 -x924 -x1047 -x1192 -x1176 -x979 -x775 -x849 -x1194 -x819 -x1195 -x1196 -x1143 -x747 -x835
-x1178 -x1197 -x854 -x1054 -x1094 -x1132 -x1147 -x1149 -x810 -x944 -x1148 -x1198 -x987 -x1015 -x1017 -x1076 -x1201 -x1139 -x908 -x1061
-x1202 -x1125 -x1169 -x803 -x805 -x964 -x965 -x789 -x1038 -x896 -x1128 -x1204 -x1105 -x1000 -x838 -x986 -x1120 -x796 -x956 -x1157 -x1207
-x761 -x946 -x1109 -x905 -x906 -x1210 -x1159 -x891 -x786 -x952 -x1028 -x893 -x1118 x1212 -x1112 -x823 -x1070 -x970 -x1113 -x1208 -x1200
-x922 -x874 -x1214 -x1215 -x876 -x772 -x1151 -x863 -x939 -x1126 -x1142 -x1102 -x1216 -x1218 -x1206 -x1219 -x857 -x1084 -x1134 -x1199 -x1190
-x1183 -x1221 -x950 -x936 -x993 -x1140 -x1127 -x864 -x1110 -x1103 -x792 x1222 -x882 -x1223 -x1096 -x841 -x1122 -x1189 -x1220 -x1182 -x1175
-x907 -x1211 -x978 -x790 -x911 -x1117 -x877 -x766 -x1091 -x1224 -x777 -x779 -x1217 -x825 -x1131 -x985 -x1115 -x1181 -x1213 -x1168 -x1203
-x963 -x755 -x812 -x1173 -x1209 -x1116 -x1193 -x763 -x1205 x1225 -x806 -x855 -x829 -x776 -x811 -x821 -x1002 -x889 -x836 -x1014 -x1025 -x1058