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-edgecross22-096.opb

Jump to solvers results

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-edgecross22-096.opb
MD5SUM0c9610520aeef326d8860e70766b01d2
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1568
Best CPU time to get the best result obtained on this benchmark1800.11
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables463
Total number of constraints6161
Number of constraints which are clauses6160
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint3
Number of terms in the objective function 4391
Biggest coefficient in the objective function 2221
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 12775
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 2221
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 12775
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)3988
Sum of products size (including duplicates)7976
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)4119371SAT (TO)1568 1800.11 1800.4
Sat4j PB 2.3.6 Res+CP PB16 (complete)4119369SAT (TO)1721 1800.95 905.906
Sat4j PB 2.3.6 Resolution PB16 (complete)4119370SAT (TO)2105 1800.07 1761.56
toysat 2016-05-02 (complete)4119368? (TO) 1800.1 1800.61

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: 1568
Solution found:
-x464 -x1 -x273 -x465 -x276 -x466 -x277 -x467 x295 -x468 x296 -x469 -x301 -x470 x304 -x471 x305 -x472 x343 -x473 x344 -x474 -x349 -x475 x352
-x476 x353 -x477 -x358 -x478 -x363 -x479 x366 -x480 x367 -x481 -x2 -x285 -x482 -x291 -x483 x303 -x484 -x485 x351 -x486 -x487 x378 -x488
-x384 -x489 x428 -x490 -x491 -x492 x443 -x493 -x452 -x494 x495 x3 -x496 x497 -x498 x499 x365 -x500 -x371 -x501 -x4 -x502 -x503 -x504 -x505
-x506 -x5 -x507 -x508 -x509 -x510 -x511 x512 x6 x513 x514 x298 x515 x308 x516 x517 x518 x346 x519 x356 -x520 x521 x360 -x522 -x370 x523 x7
-x524 x525 -x526 x527 -x528 -x529 -x401 -x530 -x407 -x531 -x532 -x462 -x533 -x8 -x534 -x535 x300 -x536 x302 -x537 -x538 -x539 x348 -x540
x350 -x541 -x542 x362 -x543 x364 -x544 -x9 -x545 -x546 -x547 -x548 -x420 -x549 -x426 -x550 -x435 -x551 -x441 -x552 -x10 -x235 -x553 -x236
-x554 -x241 -x555 -x242 -x556 -x243 -x557 -x558 -x294 -x559 -x560 x297 -x561 -x562 -x563 -x564 x345 -x565 -x566 -x567 x359 -x568 -x569 -x11
-x259 -x570 -x260 -x571 -x572 -x272 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x390 -x580 -x396 -x581 -x582 -x583 -x12 -x584 -x585 -x586
-x587 -x588 -x589 -x590 -x591 -x592 x292 -x593 -x594 -x595 -x311 -x596 -x597 -x598 -x599 -x600 -x601 -x13 -x602 -x603 -x604 -x605 -x606
-x607 x320 -x608 -x609 -x610 -x611 -x612 -x613 -x14 -x614 -x615 -x616 -x617 -x307 -x618 -x619 -x355 -x620 -x369 -x621 -x15 -x622 -x623 -x624
-x625 -x626 -x461 -x627 -x16 x293 -x628 -x629 -x630 -x631 -x632 x306 -x633 -x327 -x634 -x328 -x635 -x636 -x637 x354 -x638 -x639 -x640 x368
-x641 -x17 -x336 -x642 -x342 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x447 -x650 -x651 -x459 -x652 -x18 -x653 -x654 -x655 -x656 -x657
-x658 -x19 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x21 -x675 -x676 -x677 -x678
-x679 -x680 -x681 -x682 -x24 -x683 -x684 -x685 -x686 -x687 -x688 -x25 -x689 -x690 -x691 -x692 -x26 -x693 -x694 -x695 -x696 -x697 -x698 -x699
-x700 -x701 -x702 -x703 -x27 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x28 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720
-x721 -x722 -x723 -x29 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x30 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741
-x742 -x31 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x32 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762
-x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x33 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784
-x785 -x786 -x787 -x788 -x789 -x790 -x34 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 x299 -x799 -x800 -x801 -x802 -x803 -x804 -x805 x347
-x806 -x807 -x808 -x809 x361 -x810 -x811 -x812 -x813 -x35 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x411 -x822 -x417 -x823 -x824
-x825 -x826 -x827 -x828 -x829 -x36 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x37 -x841 -x842 -x843 -x844 -x845
-x846 -x847 -x848 -x38 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x39 -x863 -x864 -x865 -x866
-x867 -x868 -x869 -x870 -x871 -x872 -x40 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x41 -x884 -x885 -x886 -x887
-x888 -x889 -x890 -x42 -x891 -x892 -x278 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x376 -x900 x379 -x901 x380 -x902 x43 -x903 -x904 -x905
-x280 -x906 x907 -x908 x909 x910 x911 x912 -x913 x914 x915 x916 x917 x373 -x918 x919 x920 x921 x383 -x922 -x399 x923 x402 x924 x403 x925
x433 -x926 -x451 -x927 -x455 -x928 -x44 -x929 -x930 -x282 -x931 x284 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943
-x944 x375 -x945 -x946 x377 -x947 -x948 -x949 -x418 -x950 -x951 x422 -x952 x427 -x953 x436 -x954 -x437 -x955 -x45 x232 -x956 x233 -x957
-x958 -x959 -x960 -x961 -x245 -x962 -x246 -x963 -x964 -x256 -x965 x261 -x966 x262 -x967 -x263 -x968 x264 -x969 -x970 -x971 -x972 x279 -x973
-x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 x372 -x990 -x991 -x992 -x993 -x994 -x388
-x995 -x391 -x996 -x392 -x997 -x998 -x999 -x1000 -x46 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012
-x1013 -x1014 -x1015 -x274 -x1016 -x1017 -x1018 -x1019 -x1020 -x283 -x1021 x286 -x1022 -x287 -x1023 -x1024 -x1025 -x1026 -x1027 -x313 -x1028
-x318 -x1029 -x1030 x322 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x47 -x1042 -x1043 -x1044 -x1045
-x1046 -x1047 -x1048 -x1049 -x289 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x382 -x1059 -x432 -x1060 -x450 -x1061
-x454 -x1062 -x48 x275 -x1063 -x1064 -x1065 -x1066 -x1067 -x288 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x329 -x1076 -x334
-x1077 -x337 -x1078 -x338 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 x381 -x1092 -x1093 x430
-x1094 x431 -x1095 -x1096 -x1097 -x448 -x1098 -x449 -x1099 x453 -x1100 x49 -x1101 x1102 -x1103 x1104 -x1105 -x1106 x1107 x1108 -x1109 -x1110
-x1111 -x1112 -x1113 -x50 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129
-x1130 -x1131 -x1132 -x1133 -x1134 -x1135 x429 -x1136 -x1137 -x1138 -x1139 -x1140 -x52 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147
-x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x53 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166
-x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x54 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185
-x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 x55 -x1202 -x1203 -x1204
x1205 -x1206 x1207 -x1208 x1209 x1210 x1211 -x1212 -x1213 -x1214 -x1215 x1216 x1217 x1218 -x1219 x1220 -x1221 x1222 -x1223 -x1224 -x1225
x1226 -x1227 -x1228 -x56 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244
-x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264
-x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284
-x1285 -x1286 -x1287 -x57 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 x281 -x1298 -x1299 -x1300 -x1301 -x1302
-x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 x374 -x1320 -x1321
-x1322 -x1323 -x409 -x1324 -x412 -x1325 -x413 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x58 -x1335 -x1336 -x1337
-x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357
-x1358 -x1359 -x1360 -x1361 -x1362 -x59 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376
-x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396
-x60 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415
-x1416 -x1417 -x1418 -x1419 x1420 x61 x1421 x1422 x1423 x1424 x1425 x1426 x62 x1427 x1428 x1429 x1430 x1431 x1432 x1433 -x1434 x1435 x1436
-x1437 x63 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 x1444 x1445 x1446 x1447 x1448 x1449 x1450 -x1451 x1452 x1453 -x1454 -x64 -x1455 -x1456
-x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x65 -x1473 -x1474 -x1475
-x1476 -x1477 -x1478 -x1479 -x1480 x1481 x66 -x1482 x1483 x1484 x1485 x1486 -x1487 -x1488 x1489 x1490 x1491 x1492 x1493 -x1494 x1495 x1496
x1497 x1498 x67 -x1499 x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x70
-x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x71 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x72 -x1533
-x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 x1544 x73 -x1545 x1546 x1547 -x1548 -x1549 -x1550 x1551 -x1552 x1553
-x1554 -x1555 x74 -x1556 -x1557 x1558 x1559 x1560 x1561 x1562 x1563 x1564 -x1565 -x1566 -x1567 x1568 x1569 x1570 x1571 x1572 x1573 -x1574
-x1575 x1576 x1577 x1578 x1579 -x1580 -x1581 -x75 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594
-x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 x1604 x76 x1605 x1606 x1607 -x1608 -x1609 x1610 x1611 x1612 -x1613 x1614
x1615 x1616 x77 x1617 x1618 x1619 x1620 x1621 x1622 x1623 x1624 x1625 -x1626 x1627 x1628 x1629 -x1630 x78 -x1631 -x1632 -x1633 x1634 x1635
x1636 x1637 x1638 x1639 x1640 -x1641 -x79 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655
-x1656 x398 -x1657 x400 -x1658 -x425 -x1659 -x440 -x1660 -x80 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x249 -x1667 x250 -x1668 -x269
-x1669 -x270 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x385 -x1684 -x395 -x1685
-x406 -x1686 -x81 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703
-x1704 -x1705 -x1706 x315 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x82 -x1717 -x1718 -x1719 -x1720 -x1721
-x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x405 -x1730 -x1731 -x83 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739
-x331 -x1740 -x341 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 x404
-x1757 -x1758 -x1759 -x1760 -x84 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x85 -x1770 -x1771 -x1772 -x1773 -x1774
-x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794
-x1795 -x1796 -x1797 -x1798 -x1799 -x88 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813
-x1814 -x1815 -x1816 -x1817 -x1818 -x89 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832
-x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x90 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851
-x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x91 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870
-x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890
-x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x92 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909
-x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929
-x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x416 -x1937 -x1938 -x1939 -x1940 -x93 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947
-x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x94 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966
-x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x95 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985
-x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x96 -x1994 -x1995 -x1996 -x1997 -x253 -x1998 x254 -x1999 x257 -x2000 x258 -x2001
-x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x387 -x2014 -x389 -x2015 -x2016 -x2017 -x97 -x2018
-x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 x317 -x2032 x319 -x2033 -x2034 -x2035 -x2036
-x2037 -x2038 -x2039 x419 -x2040 -x98 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x424 -x2050 -x439 -x2051 -x99 -x2052
-x2053 -x333 -x2054 -x335 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070
x423 -x2071 -x2072 -x2073 -x438 -x2074 x100 -x2075 x2076 x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088
-x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x103 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x104 -x2106
-x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x105 -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 x107 -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 -x108 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185
-x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x408 -x2200 -x410 -x2201 -x2202 -x2203
-x2204 -x2205 -x2206 x109 -x2207 -x2208 -x2209 -x2210 x2211 x2212 x2213 -x2214 x2215 x2216 x2217 x2218 -x2219 -x2220 x2221 x110 x2222 -x2223
x2224 x2225 x2226 -x2227 -x2228 x2229 -x2230 -x2231 -x2232 x111 -x2233 -x2234 x2235 x2236 x2237 x2238 x2239 x2240 x2241 x2242 x2243 x2244
x2245 -x2246 -x2247 -x2248 -x112 -x2249 -x2250 -x2251 -x2252 -x237 -x2253 -x238 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261
-x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 x314 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280
-x2281 -x113 -x234 -x2282 -x2283 -x2284 -x2285 x248 -x2286 -x267 -x2287 -x268 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296
-x394 -x2297 -x2298 -x114 x239 -x2299 x240 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x265 -x2309 x266 -x2310 -x2311
-x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 x330 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330
-x2331 -x2332 -x2333 -x2334 -x2335 -x393 -x2336 -x2337 -x2338 -x2339 x115 -x2340 -x2341 -x2342 x2343 -x2344 -x2345 -x2346 x2347 -x2348 x2349
-x2350 x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 x247 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368
-x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x118 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387
-x2388 -x2389 -x2390 -x119 -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 -x120 -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 x121 -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 x122 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 -x123
-x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 x251 -x2539 x252 -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 x386 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 x2582 x124 x2583 -x2584
-x2585 -x2586 x2587 -x2588 -x2589 x2590 x2591 x2592 x2593 -x2594 -x2595 x2596 -x2597 -x2598 x2599 x2600 x2601 x2602 -x2603 -x2604 -x2605
-x2606 x125 -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 x126 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 x127 -x2660 -x2661 -x2662 -x2663 x2664 x2665 -x2666 -x2667
-x2668 -x2669 x2670 -x2671 -x324 x2672 x2673 -x2674 -x2675 x2676 x128 x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 x2685 -x2686
x2687 x2688 -x2689 -x2690 -x2691 -x2692 -x2693 x2694 x310 -x2695 x2696 x2697 x2698 x2699 x323 x2700 -x2701 x2702 x2703 x2704 x2705 -x2706
-x2707 -x2708 -x2709 x2710 x2711 -x2712 x129 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 x2720 x2721 -x2722 -x2723 x2724 x130 x2725
-x2726 -x2727 x2728 x2729 -x2730 x2731 x2732 x2733 -x2734 x2735 x2736 -x2737 x2738 x2739 -x2740 -x2741 x2742 x2743 x2744 x132 x2745 -x2746
-x2747 x2748 -x2749 x2750 -x2751 x2752 -x2753 -x2754 -x2755 x2756 x133 x2757 -x2758 -x2759 -x2760 x2761 x2762 x2763 -x2764 -x2765 x2766
x2767 -x2768 x2769 x2770 x2771 x2772 -x2773 -x2774 x2775 x2776 x134 x2777 x2778 x2779 x2780 x2781 -x2782 x2783 x2784 x2785 x2786 -x2787
x2788 x2789 x2790 x2791 x2792 -x2793 -x2794 -x2795 -x2796 x2797 x2798 x2799 -x2800 x135 -x2801 -x2802 -x2803 -x2804 x2805 -x2806 -x2807
-x2808 -x2809 -x2810 -x2811 x2812 x2813 x2814 x2815 x2816 x2817 -x2818 -x2819 -x2820 x2821 -x2822 x2823 x136 x2824 x2825 x2826 -x2827 -x2828
-x2829 -x2830 x2831 x2832 x2833 x2834 -x2835 -x2836 -x2837 x2838 -x2839 -x2840 -x2841 x2842 -x2843 -x2844 -x2845 x2846 -x2847 -x2848 -x2849
x2850 x2851 -x2852 x2853 x2854 x2855 x2856 -x2857 x2858 -x2859 x2860 x2861 x2862 x2863 -x2864 -x2865 -x2866 -x2867 -x2868 x2869 -x2870 x2871
-x2872 x2873 x137 -x2874 -x2875 x2876 x2877 -x2878 -x2879 x2880 x2881 x2882 x2883 x2884 x2885 x2886 x2887 -x2888 -x2889 -x2890 x2891 -x2892
x2893 x2894 -x2895 x2896 x2897 -x2898 x2899 -x2900 x2901 x316 x2902 x2903 -x2904 x2905 -x2906 x2907 x2908 x2909 -x2910 -x2911 -x2912 -x2913
x2914 x2915 -x2916 x2917 x138 x2918 -x2919 -x2920 -x2921 x2922 -x2923 -x2924 x2925 -x2926 -x2927 -x2928 x2929 x2930 x2931 x2932 x2933 -x2934
x2935 x2936 -x2937 -x2938 x2939 -x2940 -x2941 x139 -x2942 -x2943 -x2944 x2945 x2946 -x2947 x2948 -x2949 -x2950 -x2951 -x2952 x2953 -x2954
-x2955 x2956 -x2957 x2958 x2959 x2960 x2961 x2962 x2963 x2964 x2965 -x2966 -x2967 -x2968 -x2969 x2970 x140 x2971 -x2972 -x2973 -x2974 x2975
-x2976 -x2977 -x2978 -x2979 x2980 -x2981 -x2982 -x2983 x2984 x2985 x2986 x2987 x2988 -x2989 -x2990 x2991 -x2992 x2993 x141 -x2994 -x2995
-x2996 x2997 x2998 -x2999 -x3000 -x340 x3001 -x3002 x3003 x3004 x3005 -x3006 -x3007 -x3008 -x3009 -x457 -x3010 x142 -x3011 -x3012 -x3013
-x3014 -x3015 -x143 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032
-x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 x3044 x147 x3045 x3046 x3047 -x3048 -x3049 x3050 x3051 x3052
-x3053 -x3054 -x3055 -x3056 x148 -x3057 x3058 -x3059 x3060 -x3061 x3062 -x3063 x3064 -x3065 -x3066 x3067 x149 x3068 -x3069 -x3070 x3071
x3072 -x3073 x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 x3081 x3082 x3083 x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092
x3093 x3094 -x3095 -x3096 x3097 x3098 x3099 -x3100 -x3101 -x3102 -x3103 x3104 -x3105 x3106 x3107 x3108 -x3109 -x3110 -x415 -x3111 -x3112
x3113 x151 -x3114 x3115 -x3116 -x3117 -x3118 x3119 -x3120 -x3121 -x3122 x3123 -x3124 x152 -x3125 x3126 x3127 -x3128 -x3129 x3130 x3131
-x3132 -x3133 -x3134 -x3135 -x3136 x3137 x3138 -x3139 x3140 -x3141 -x3142 -x3143 x3144 -x3145 x3146 x3147 -x3148 -x3149 -x3150 x154 -x3151
x3152 -x3153 -x3154 -x3155 x3156 x3157 x3158 -x3159 -x3160 -x3161 -x3162 -x155 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170
-x3171 -x3172 -x3173 -x3174 -x3175 -x339 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x157 -x3186 -x3187 -x3188
-x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x158 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207
-x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227
-x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 x3239 x160 -x3240 x3241 x3242 x3243 x3244 x3245 -x3246 x3247
x3248 x3249 x3250 -x3251 -x3252 x3253 -x3254 x3255 -x3256 x3257 -x3258 x3259 -x3260 -x3261 x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268
-x3269 x3270 -x3271 -x3272 -x3273 x3274 x3275 x3276 x3277 x3278 x3279 -x3280 -x3281 x3282 x3283 x3284 -x3285 x3286 x3287 x3288 -x3289 -x3290
-x3291 -x3292 -x3293 -x3294 x3295 -x3296 x3297 -x3298 -x3299 -x3300 -x162 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309
-x3310 -x3311 -x3312 -x3313 x332 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328
-x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x414 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347
-x3348 -x3349 x3350 x3351 x3352 x3353 x3354 x3355 x3356 -x3357 -x3358 x3359 x3360 -x3361 -x3362 -x3363 -x3364 x164 -x3365 x3366 -x3367
-x3368 x3369 x3370 x3371 x3372 x3373 -x3374 x3375 x3376 x3377 x3378 x3379 -x3380 x3381 x3382 x3383 -x3384 -x3385 -x3386 -x3387 x3388 x3389
-x3390 -x3391 -x3392 x3393 x165 -x3394 -x3395 -x3396 -x3397 -x3398 x3399 -x3400 x3401 x3402 x3403 x3404 -x3405 -x3406 x3407 x3408 x3409
x3410 -x3411 x3412 x3413 x3414 x3415 -x3416 -x166 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x168 -x3425 -x3426 -x3427 -x3428
-x169 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x170 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x171 -x3445
-x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x172 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464
-x3465 -x3466 -x3467 -x3468 -x173 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483
-x174 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x175 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x176
-x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 x3508 x3509 -x3510 -x3511 -x3512 -x3513 x3514 x3515 x3516 x3517 -x3518 -x3519 -x3520 x3521
x3522 x3523 x3524 -x3525 x3526 x3527 x3528 x3529 x3530 -x3531 x3532 x180 x3533 x3534 x3535 x3536 x3537 -x3538 x3539 -x3540 -x3541 x3542
-x3543 -x3544 -x3545 x3546 -x3547 x181 -x3548 -x3549 -x3550 -x3551 x3552 -x3553 -x3554 x3555 x3556 x3557 x3558 -x3559 -x3560 -x3561 x3562
x182 x3563 x3564 x3565 -x3566 -x3567 -x3568 -x3569 x3570 x3571 x3572 x3573 -x3574 -x3575 -x3576 x3577 -x3578 -x3579 x3580 -x3581 -x3582
-x3583 x3584 x3585 x3586 x3587 -x3588 -x3589 x3590 -x3591 x3592 x3593 -x3594 -x3595 -x3596 x3597 x183 x3598 -x3599 x3600 x3601 -x3602 -x3603
x3604 x3605 x3606 x3607 x3608 x3609 -x3610 -x3611 x3612 -x3613 -x3614 -x3615 x3616 x3617 -x3618 -x3619 x3620 -x3621 -x3622 -x3623 -x3624
x3625 x184 x3626 -x3627 -x3628 -x3629 x3630 -x3631 -x3632 -x3633 -x3634 x3635 x3636 x3637 x3638 -x3639 -x3640 -x3641 x185 -x3642 -x3643
-x3644 x3645 x3646 -x3647 x3648 -x3649 -x3650 x3651 x3652 x3653 x3654 -x3655 -x3656 x3657 x3658 -x3659 -x3660 x3661 x3662 -x3663 -x3664
-x3665 x3666 -x3667 -x3668 x3669 -x3670 x3671 x3672 x3673 x3674 x3675 x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685
x197 -x3686 -x3687 -x3688 x3689 x3690 x3691 x3692 -x3693 x3694 -x3695 -x3696 -x3697 x3698 -x3699 x3700 x199 -x3701 -x3702 -x3703 x3704
-x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 x3713 x3714 x3715 -x3716 -x3717 -x200 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723
-x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 x201 -x3733 -x3734 -x3735 -x3736 -x3737 x3738 -x3739 x202 -x3740 x3741 -x3742
-x3743 -x3744 -x3745 -x3746 -x3747 x3748 x3749 x203 -x3750 x3751 -x3752 -x3753 -x3754 -x3755 x3756 x3757 x204 x3758 x3759 -x3760 -x3761
-x3762 -x3763 x3764 x3765 x3766 x3767 x3768 x3769 x3770 -x3771 -x3772 x205 -x3773 -x3774 -x3775 -x3776 x3777 x3778 -x3779 x3780 x3781 x3782
-x3783 x3784 -x3785 -x3786 -x3787 x3788 x206 -x3789 -x3790 -x3791 x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 x3800 x3801 x3802
x3803 x3804 x3805 -x3806 x3807 x3808 x3809 x3810 -x3811 -x3812 x3813 -x3814 x3815 -x3816 -x3817 -x3818 -x3819 x3820 x207 -x3821 x3822 x3823
x3824 x3825 -x3826 x3827 -x3828 -x3829 -x3830 -x3831 x3832 x3833 x3834 -x3835 -x3836 -x3837 x3838 x3839 -x3840 x3841 -x3842 x3843 x208
-x3844 -x3845 -x3846 -x3847 -x3848 -x3849 x3850 x3851 x3852 x3853 x3854 x3855 x3856 -x3857 -x3858 -x3859 x209 -x3860 x3861 -x3862 -x3863
x3864 x3865 x3866 x3867 x3868 x3869 x3870 x3871 x3872 -x3873 -x3874 x3875 -x3876 -x3877 -x3878 x210 -x3879 -x3880 -x3881 x3882 -x3883 -x3884
x3885 x3886 x3887 x3888 x3889 x3890 -x3891 -x3892 x3893 x3894 x3895 x3896 x3897 x3898 x3899 x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906
x3907 -x3908 x3909 x212 x3910 x3911 -x3912 -x3913 -x3914 x3915 -x3916 -x3917 -x3918 -x3919 -x3920 x3921 x3922 x3923 x3924 x3925 x3926 -x3927
-x3928 -x3929 -x3930 x3931 -x3932 -x3933 -x3934 x3935 x3936 -x3937 -x3938 x3939 -x3940 -x3941 -x213 -x3942 -x3943 -x3944 -x3945 -x3946
-x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 x214 -x3965
-x3966 -x3967 -x3968 -x3969 x3970 x3971 x3972 x3973 x3974 x3975 -x3976 -x3977 -x3978 -x3979 x215 -x3980 x3981 -x3982 -x3983 x3984 x3985
x3986 x3987 x3988 x3989 -x3990 -x3991 -x3992 x3993 x3994 x3995 -x3996 -x3997 -x3998 x3999 x216 x4000 x4001 -x4002 x4003 x4004 x4005 x4006
-x4007 -x4008 x4009 x4010 x4011 -x4012 x4013 x4014 -x4015 -x217 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026
-x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046
-x4047 -x4048 -x4049 -x4050 -x218 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065
-x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x219 -x4082 -x4083 -x4084
-x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x220 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103
-x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x221 -x4118 -x4119 -x4120 -x4121 -x4122
-x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x222 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141
-x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161
-x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181
-x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 x4195 x223 -x4196 -x4197 -x4198 -x4199 x4200
-x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 x4208 x4209 x4210 x4211 x4212 -x4213 -x4214 x4215 x4216 -x4217 -x4218 x4219 -x4220 x4221
-x4222 -x4223 -x4224 -x4225 -x4226 -x4227 x224 -x4228 x4229 -x4230 -x4231 -x4232 -x4233 x4234 -x4235 -x4236 x4237 x4238 x4239 x4240 x4241
x4242 -x4243 -x4244 x4245 x4246 x4247 x4248 x4249 x4250 x4251 -x4252 x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 x4260 -x4261 x4262
-x4263 -x4264 -x4265 -x4266 -x4267 -x4268 x225 x4269 -x4270 -x4271 x4272 -x4273 x4274 -x4275 -x4276 x4277 x4278 x4279 x4280 x4281 x4282
x4283 -x4284 -x4285 -x4286 x4287 x4288 x4289 x4290 -x4291 -x4292 x4293 -x4294 x4295 -x4296 -x4297 x4298 -x4299 x4300 x226 -x4301 x4302
-x4303 x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 x4311 -x4312 -x4313 -x4314 -x4315 x4316 x4317 x4318 x4319 x4320 x4321 -x4322 x4323
x4324 x4325 -x4326 -x4327 -x4328 -x4329 x4330 -x4331 x227 -x4332 x4333 x4334 -x4335 -x4336 -x4337 x4338 -x4339 -x4340 -x4341 -x4342 x4343
-x4344 -x4345 x4346 x4347 x4348 x4349 x4350 x4351 x4352 x4353 -x4354 x4355 x4356 x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 x4364 x4365
-x4366 -x4367 -x4368 x4369 x4370 x228 -x4371 x4372 -x4373 -x4374 x4375 -x4376 -x4377 x4378 x4379 -x4380 x4381 -x4382 x4383 -x4384 x4385
x4386 x4387 -x4388 -x4389 -x4390 x4391 x4392 x4393 x4394 x4395 -x4396 -x4397 -x4398 x4399 -x4400 -x4401 x229 -x4402 x4403 -x4404 -x4405
-x4406 x4407 x4408 x4409 x4410 x4411 x4412 x4413 -x4414 -x4415 -x4416 -x4417 -x230 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425
-x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x231 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444
-x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 x463 -x20 -x22 -x23 -x51 -x68 -x69 -x86 -x87 -x101 -x102 x106 -x116 -x117 -x131 -x144 x145
-x146 x150 x153 -x156 -x159 x161 x163 -x167 -x177 x178 x179 x186 x187 x188 x189 x190 x191 x192 x193 x194 x195 -x196 x198 x211 -x244 -x255
-x271 -x290 -x309 x312 x321 x325 -x326 -x357 x397 x421 -x434 x442 x444 -x445 -x446 -x456 -x458 x460