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

Jump to solvers results

General information on the benchmark

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