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

Jump to solvers results

General information on the benchmark

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