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

Jump to solvers results

General information on the benchmark

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