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-sporttournament48.opb

Jump to solvers results

General information on the benchmark

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