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

Result page for benchmark
normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-vpm2.opb

Jump to solvers results

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-vpm2.opb
MD5SUMf81823d3f3bf1b9e5d936e06c7f51a9c
Bench CategoryOPT-MEDINT (optimisation, medium integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark128
Best CPU time to get the best result obtained on this benchmark1800.26
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 117
Optimality of the best value was proved NO
Number of variables2754
Total number of constraints444
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 constraints444
Minimum length of a constraint11
Maximum length of a constraint84
Number of terms in the objective function 168
Biggest coefficient in the objective function 5
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 504
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 819200
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 4941871
Number of bits of the biggest sum of numbers23
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerobjective functionCPU timeWall clock time
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)2703430SAT55 1789.48 1790.19
SAT4J PB Resolution 2.2.0 2010-05-26 (complete)2658760SAT (TO)128 1800.26 1794.65
PBPASSolver 2010-06-13 (complete)2673707? (TO) 1800.02 1800.51
PB/CT 0.1 (complete)2668291? (TO) 1800.08 1800.82
PB/CT 0.1 fixed (complete)2681885? (TO) 1800.12 1800.63
SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)2660237? (TO) 1800.22 1779.53
SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)2662119? (TO) 1802.69 983.368

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