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

Jump to solvers results

General information on the benchmark

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