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

Result page for benchmark

Jump to solvers results

General information on the benchmark

Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3124
Best CPU time to get the best result obtained on this benchmark1.77673
Has Objective FunctionYES
(Un)Satisfiability was provedYES
Best value of the objective function 3695
Optimality of the best value was proved NO
Number of variables2756
Total number of constraints749
Number of constraints which are clauses132
Number of constraints which are cardinality constraints (but not clauses)220
Number of constraints which are nor clauses,nor cardinality constraints397
Minimum length of a constraint2
Maximum length of a constraint546
Number of terms in the objective function 2166
Biggest coefficient in the objective function 11000
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 321831
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 11000
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 321831
Number of bits of the biggest sum of numbers19
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
SCIP spx E_2 2011-06-10 (fixed) (complete)3488808OPT3124 1.77673 1.77703
SCIP spx E SCIP with SoPlex [DEPRECATED] (complete)3450888OPT3124 1.78073 1.78128
SCIP spx SCIP with SoPlex [DEPRECATED] (complete)3452548OPT3124 1.78673 1.78764
SCIP spx 2 2011-06-10 (fixed) (complete)3485366OPT3124 1.78773 1.78852
borg pb-opt-11.04.03 (complete)3481730OPT3124 3.23051 16.4218
Sat4j Res//CP 2.3.0 (complete)3454331SAT (TO)3638 1800.29 913.604
bsolo 3.2 (complete)3462996SAT3694 1798.04 1798.01
Sat4j CuttingPlanes 2.3.0 (complete)3456523SAT (TO)3695 1800.25 1795.99
pwbo 1.1 (complete)3500068SAT (TO)3952 1800.22 900.134
Sat4j Resolution 2.3.0 (complete)3458715SAT (TO)4020 1800.18 1797.49
clasp 2.0-R4191 (complete)3468103SAT (TO)4170 1800.08 1800.02
MinisatID 2.4.8 [DEPRECATED] (complete)3464656? (TO)3458 1800.05 1800.02
MinisatID 2.5.2 (fixed) (complete)3490529? (TO)3509 1800.04 1800.02
MinisatID 2.4.8-gmp [DEPRECATED] (complete)3466439? (TO)3721 1800.06 1800.02
MinisatID 2.5.2-gmp (fixed) (complete)3496752? (TO)4979 1800.04 1800.01
wbo 1.6 (complete)3460784? (TO) 1800.1 1800.04

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