PB'16 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 benchmarkSAT
Best value of the objective obtained on this benchmark209
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
(Un)Satisfiability was provedYES
Best value of the objective function 272
Optimality of the best value was proved NO
Number of variables5380
Total number of constraints584
Number of constraints which are clauses32
Number of constraints which are cardinality constraints (but not clauses)48
Number of constraints which are nor clauses,nor cardinality constraints504
Minimum length of a constraint2
Maximum length of a constraint54
Number of terms in the objective function 3720
Biggest coefficient in the objective function 2115
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 527620
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262086
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 527620
Number of bits of the biggest sum of numbers20
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
NaPS 1.02 (complete)4101947SAT (TO)209 1800.07 1800.41
Sat4j PB 2.3.6 Resolution PB16 (complete)4101949SAT (TO)355 1800.65 1794.47
Sat4j PB 2.3.6 Res+CP PB16 (complete)4101946SAT (TO)359 1800.1 898.685
minisatp 2012-10-02 git-d91742b (complete)4115313SAT (TO)1815 1800.1 1800.41
Open-WBO-LSU PB16 (complete)4101948? 151.649 152.738
Open-WBO PB16 (complete)4101950? 156.075 157.101
cdcl-cuttingplanes OPT binary search 2016-05-01 (complete)4101951? (TO) 1800.01 1800.3
cdcl-cuttingplanes OPT linear search 2016-05-01 (complete)4101952? (TO) 1800.02 1800.3
toysat 2016-05-02 (complete)4101945? (TO) 1800.07 1800.45

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: 209
Solution found:
-x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 x315 -x316
-x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339
-x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362
-x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385
-x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408
-x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431
-x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874
-x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x1074 -x1075 -x1076
-x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096
-x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296
-x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1494 -x1495 -x1496
-x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516
-x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458
-x459 x460 x461 x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710
-x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730
-x1731 -x1732 -x1733 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493
-x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906
-x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x1104 -x1105 -x1106 -x1107 -x1108
-x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128
-x1129 -x1130 -x1131 -x1132 -x1133 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328
-x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1524 -x1525 -x1526 -x1527 -x1528
-x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548
-x1549 -x1550 -x1551 -x1552 -x1553 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 x1747 x1748
-x1749 -x1750 -x1751 x1752 x1753 x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -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 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520
-x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933
-x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x1134 -x1135 -x1136
-x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 x1144 -x1145 -x1146 x1147 -x1148 x1149 -x1150 -x1151 x1152 -x1153 -x1154 -x1155 -x1156
-x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356
-x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1554 -x1555 -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 -x1582 -x1583 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776
-x1777 -x1778 -x1779 -x1780 -x1781 -x1782 x1783 -x1784 x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -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 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316
-x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x534 -x535 -x536
-x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559
-x560 -x561 -x562 -x563 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809
-x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339
-x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359
-x2360 -x2361 -x2362 -x2363 -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 -x564 -x565 -x566 -x567 -x568 -x569 -x570
-x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593
-x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 x1836 x1837 -x1838 -x1839 x1840 -x1841 x1842 -x1843
-x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373
-x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393
-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 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604
-x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x1854 -x1855 -x1856
-x1857 -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 -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 -x2419 -x2420 -x2421 -x2422 -x2423 -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 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638
-x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961
-x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x1164
-x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184
-x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384
-x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1584
-x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604
-x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894
-x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -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 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434
-x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -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 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004
-x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3114
-x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134
-x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244
-x3245 x3246 -x3247 -x3248 -x3249 -x3250 x3251 x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x654
-x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677
-x678 -x679 -x680 -x681 -x682 -x683 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928
-x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -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 -x2481 -x2482 -x2483 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798
-x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x3354 -x3355 -x3356 -x3357 -x3358
-x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378
-x3379 -x3380 -x3381 -x3382 -x3383 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700
-x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952
-x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972
-x1973 -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 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822
-x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842
-x2843 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402
-x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723
-x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x984 -x985 -x986
-x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008
-x1009 -x1010 -x1011 -x1012 -x1013 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208
-x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1404 -x1405 -x1406 -x1407 -x1408
-x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 x1419 x1420 -x1421 x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428
-x1429 -x1430 -x1431 -x1432 -x1433 x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628
x1629 x1630 -x1631 x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1974 -x1975 -x1976 -x1977 -x1978
-x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998
-x1999 -x2000 -x2001 -x2002 -x2003 -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 -x2514 -x2515 -x2516 -x2517 -x2518
-x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538
-x2539 -x2540 -x2541 -x2542 -x2543 -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 -x3024 -x3025 -x3026 -x3027 -x3028
-x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048
-x3049 -x3050 -x3051 -x3052 -x3053 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158
-x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -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 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428
x3429 -x3430 -x3431 -x3432 x3433 x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 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 -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 -x744 -x745 -x746 -x747 -x748 -x749
-x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 x765 -x766 x767 -x768 -x769 -x770 -x771 -x772
-x773 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032
-x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1224 -x1225 -x1226 -x1227 -x1228 -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 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452
-x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652
-x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672
-x1673 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022
-x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -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 -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 -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 -x2902
-x2903 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072
-x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182
-x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202
-x3203 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312
-x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452
-x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472
-x3473 -x3594 -x3595 -x3596 -x3597 -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 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692
-x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712
-x3713 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762
-x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783
-x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x2034 -x2035 -x2036
-x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056
-x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -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 -x2904 -x2905 -x2906
-x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926
-x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486
-x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3774 -x3775 -x3776
-x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796
-x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876
-x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x804 -x805 -x806
-x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829
-x830 -x831 -x832 -x833 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059
-x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -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 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 x1479
x1480 -x1481 x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679
-x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699
-x1700 -x1701 -x1702 -x1703 -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 -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 -x2301 -x2302 -x2303 -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 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939
-x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959
-x2960 -x2961 -x2962 -x2963 -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 -x3111 -x3112 -x3113 -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 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339
-x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -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 -x3533 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639
-x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3714 -x3715 -x3716 -x3717 -x3718 x3719
-x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 x3730 -x3731 x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739
-x3740 -x3741 -x3742 -x3743 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819
-x3820 -x3821 -x3822 -x3823 -x3824 -x3825 x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3894 x3895 -x3896 -x3897 -x3898 -x3899
-x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 x3909 x3910 -x3911 -x3912 -x3913 -x3914 -x3915 x3916 -x3917 -x3918 -x3919
-x3920 -x3921 -x3922 -x3923 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 x3961 -x3962 -x3963 -x3964 -x3965 x3966 -x3967 -x3968 x3969
-x3970 x3971 x3972 -x3973 x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x834 -x835 -x836 -x837 -x838 -x839 -x840
-x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863
-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 -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
-x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983
-x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543
-x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563
-x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853
-x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933
-x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953
-x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003
-x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x1 x2 -x3 -x6 -x7 -x8 -x9 -x10 -x11 -x51 -x52 -x53 -x54 -x93 -x94
-x12 x13 -x107 -x108 -x14 -x15 -x16 -x17 -x55 -x56 -x57 -x58 -x95 -x96 -x109 x110 -x111 -x145 -x146 -x18 -x19 -x20 -x21 -x59 -x60 -x61 -x62
-x97 -x98 x112 -x113 -x114 x115 -x147 -x148 -x157 -x158 -x159 -x160 -x23 -x24 -x117 x118 -x162 -x163 -x191 -x192 -x26 -x27 -x28 -x29 -x63
-x64 -x65 -x66 -x99 -x100 x120 -x121 -x122 -x123 -x149 -x150 -x165 -x166 -x167 -x168 -x194 -x195 -x196 -x197 -x222 -x223 -x30 -x31 -x124
-x125 -x169 -x170 -x198 -x199 -x234 -x235 -x32 -x33 -x126 -x127 -x171 -x172 -x200 -x201 -x236 -x237 -x34 -x35 -x36 -x37 -x67 -x68 -x69 -x70
-x101 x102 -x128 -x129 -x130 -x131 -x151 -x152 -x173 -x174 -x175 -x176 -x202 -x203 -x204 -x205 -x224 -x225 x238 x239 x240 -x241 -x255 x256
-x261 -x262 x38 x39 -x40 -x41 -x71 -x72 -x73 -x74 -x103 -x104 -x132 -x133 -x134 -x135 -x153 -x154 -x177 -x178 -x179 -x180 -x206 -x207 -x208
-x209 -x226 -x227 -x242 -x243 -x244 -x245 -x257 -x258 -x263 -x264 -x267 -x268 -x269 -x270 -x42 -x43 -x44 -x136 -x137 -x138 -x181 -x182 -x183
-x246 -x247 -x248 -x271 -x272 -x273 -x280 -x281 -x282 -x45 -x46 -x47 -x48 -x75 -x76 -x77 -x78 -x105 -x106 -x139 -x140 -x141 -x142 -x155
-x156 -x184 -x185 -x186 -x187 -x212 -x213 -x214 -x215 -x228 -x229 -x249 -x250 -x251 -x252 -x259 -x260 -x265 x266 -x274 -x275 -x276 x277
-x283 -x284 -x285 -x286 x289 -x290 x291 -x49 -x50 -x143 x144 -x188 -x189 -x216 -x217 -x253 -x254 -x278 -x279 -x287 -x288 -x292 -x293 x4014
x4015 -x4016 -x4017 -x4018 -x4019 -x4038 -x4039 -x4040 -x4020 -x4021 -x4022 -x4041 -x4042 -x4043 -x4059 x4060 -x4061 -x4023 -x4024 -x4025
-x4044 -x4045 -x4046 -x4062 -x4063 -x4064 -x4077 -x4078 -x4079 -x4026 -x4027 -x4028 -x4047 -x4048 -x4049 -x4065 -x4066 -x4067 -x4080 -x4081
-x4082 -x4092 -x4093 -x4094 -x4029 -x4030 -x4031 -x4050 -x4051 -x4052 -x4068 -x4069 -x4070 -x4083 -x4084 -x4085 -x4095 -x4096 -x4097 -x4107
-x4108 -x4109 -x4032 -x4033 x4034 -x4053 -x4054 -x4055 -x4071 -x4072 -x4073 -x4086 -x4087 -x4088 -x4098 -x4099 -x4100 -x4110 -x4111 -x4112
-x4116 -x4117 -x4118 -x4101 -x4102 -x4103 -x4035 -x4036 -x4037 -x4056 -x4057 -x4058 -x4074 x4075 -x4076 -x4089 -x4090 -x4091 -x4104 -x4105
-x4106 -x4113 -x4114 -x4115 -x4119 x4120 -x4121 x4122 x4123 -x4124 x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4182 -x4183
-x4184 -x4185 -x4186 -x4187 x4188 -x4189 -x4239 -x4240 -x4241 -x4242 -x4243 x4244 -x4245 -x4282 x4283 -x4284 -x4285 -x4286 -x4287 -x4288
-x4289 -x4339 -x4340 -x4341 -x4342 -x4343 x4344 -x4345 -x4382 -x4383 -x4384 -x4385 -x4386 x4387 -x4388 -x4425 -x4426 -x4427 -x4428 -x4429
-x4430 x4431 -x4432 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 x4488 -x4489 -x4539 -x4540 -x4541 -x4542 -x4543 x4544 -x4545 -x4582 -x4583
-x4584 -x4585 -x4586 -x4587 x4588 -x4589 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 x4645 -x4646 -x4696 -x4697 -x4698 -x4699 -x4700 x4701
-x4702 -x4739 -x4740 -x4741 -x4742 -x4743 x4744 -x4745 -x4746 -x4796 -x4797 -x4798 -x4799 -x4800 x4801 -x4802 -x4839 -x4840 -x4841 -x4842
-x4843 x4844 -x4845 -x4846 -x4903 -x4904 -x4905 x4906 -x4907 -x4908 -x4909 -x4910 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 x4967
-x5016 x5017 -x5018 -x5019 -x5020 -x5021 -x5022 x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5124 x5125 -x5126 -x5127 -x5128
-x5129 -x5130 -x5131 -x5181 x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5242 x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5288 x5289
-x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5352 x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x4133 -x4140 -x4147 -x4154 -x4161 -x4168
-x4175 -x4190 -x4197 -x4204 -x4211 x4218 -x4225 -x4232 -x4246 -x4252 -x4258 -x4264 -x4270 x4276 -x4290 -x4298 -x4305 -x4312 -x4319 -x4326
-x4333 x4346 -x4353 -x4359 -x4365 -x4371 -x4377 x4390 -x4396 -x4403 -x4409 -x4415 -x4421 -x4435 -x4442 -x4449 -x4457 -x4464 -x4471 x4478
x4492 -x4499 -x4506 -x4514 -x4521 -x4528 -x4535 -x4548 -x4554 -x4560 x4567 -x4573 -x4579 -x4593 -x4600 -x4607 -x4614 x4622 -x4629 -x4636
-x4650 -x4657 -x4664 -x4671 -x4679 -x4686 x4693 -x4706 -x4712 -x4718 -x4724 -x4731 x4737 -x4752 -x4759 -x4766 -x4773 -x4780 -x4787 x4795
-x4808 -x4814 -x4820 -x4826 -x4832 x4838 x4853 -x4860 -x4867 -x4874 -x4881 -x4888 -x4895 -x4898 -x4913 -x4920 -x4928 -x4935 -x4942 -x4949
-x4954 x4969 -x4977 -x4984 -x4991 -x4998 -x5005 -x5010 -x5024 -x5030 -x5036 -x5042 -x5048 -x5054 x5061 -x5077 -x5084 -x5091 -x5098 -x5105
-x5112 -x5119 -x5134 x5142 -x5149 -x5156 -x5163 -x5170 -x5177 -x5192 -x5199 x5207 -x5214 -x5221 -x5226 -x5232 -x5238 x5252 -x5258 -x5264
-x5272 -x5279 -x5286 -x5301 -x5308 -x5315 x5323 -x5329 -x5336 -x5343 -x5350 -x5365 -x5372 x5380 -x4141 -x4148 -x4155 -x4162 -x4169 -x4176
-x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4149 -x4156 -x4163 -x4170 -x4177 -x4142 -x4143 -x4144 -x4145 -x4146 -x4157 -x4164 -x4171 -x4178
-x4150 -x4151 -x4152 -x4153 -x4165 -x4172 -x4179 -x4158 -x4159 -x4160 -x4173 -x4180 -x4166 -x4167 -x4181 -x4174 x4198 -x4205 -x4212 -x4219
-x4226 x4233 x4191 -x4192 -x4193 -x4194 -x4195 x4196 -x4206 -x4213 -x4220 -x4227 -x4234 -x4199 -x4200 -x4201 -x4202 -x4203 -x4214 -x4221
-x4228 -x4235 -x4207 -x4208 -x4209 -x4210 -x4222 -x4229 -x4236 -x4215 -x4216 -x4217 -x4230 x4237 -x4223 -x4224 -x4238 x4231 -x4253 -x4259
-x4265 -x4271 -x4277 -x4247 -x4248 -x4249 -x4250 -x4251 -x4260 -x4266 -x4272 -x4278 -x4254 -x4255 -x4256 -x4257 -x4267 -x4273 -x4279 -x4261
-x4262 -x4263 -x4274 -x4280 -x4268 -x4269 -x4281 x4275 -x4297 -x4304 -x4311 -x4318 -x4325 -x4332 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296
-x4306 -x4313 -x4320 -x4327 -x4334 -x4299 -x4300 -x4301 -x4302 -x4303 -x4314 -x4321 -x4328 -x4335 -x4307 -x4308 -x4309 -x4310 -x4322 -x4329
-x4336 -x4315 -x4316 -x4317 -x4330 -x4337 -x4323 -x4324 -x4338 -x4331 -x4352 -x4358 -x4364 -x4370 x4376 -x4347 -x4348 -x4349 -x4350 -x4351
-x4360 -x4366 -x4372 -x4378 -x4354 -x4355 -x4356 -x4357 -x4367 -x4373 -x4379 -x4361 -x4362 -x4363 -x4374 -x4380 -x4368 -x4369 -x4381 x4375
x4395 -x4401 -x4407 -x4413 x4419 x4389 -x4391 -x4392 -x4393 -x4394 -x4402 -x4408 -x4414 -x4420 -x4397 -x4398 -x4399 -x4400 -x4410 -x4416
-x4422 -x4404 -x4405 -x4406 -x4417 -x4423 -x4411 -x4412 -x4424 x4418 -x4440 -x4447 -x4454 -x4461 -x4468 -x4475 -x4433 -x4434 -x4436 -x4437
-x4438 -x4439 -x4448 -x4455 -x4462 -x4469 -x4476 -x4441 -x4443 -x4444 -x4445 -x4446 -x4456 -x4463 -x4470 -x4477 -x4450 -x4451 -x4452 -x4453
-x4465 -x4472 -x4479 -x4458 -x4459 -x4460 -x4473 -x4480 -x4466 -x4467 -x4481 x4474 -x4497 -x4504 -x4511 -x4518 -x4525 x4532 -x4490 -x4491
-x4493 -x4494 -x4495 -x4496 -x4505 -x4512 -x4519 -x4526 -x4533 -x4498 -x4500 -x4501 -x4502 -x4503 -x4513 -x4520 -x4527 -x4534 -x4507 -x4508
-x4509 -x4510 -x4522 -x4529 -x4536 -x4515 -x4516 -x4517 -x4530 -x4537 -x4523 -x4524 -x4538 x4531 -x4552 -x4558 -x4564 -x4570 -x4576 -x4546
-x4547 -x4549 -x4550 -x4551 -x4559 -x4565 -x4571 -x4577 -x4553 -x4555 -x4556 -x4557 -x4566 -x4572 -x4578 -x4561 -x4562 -x4563 -x4574 x4580
-x4568 -x4569 -x4581 x4575 -x4597 -x4604 -x4611 -x4618 -x4625 x4632 -x4590 -x4591 -x4592 -x4594 -x4595 x4596 -x4605 -x4612 -x4619 -x4626
-x4633 -x4598 -x4599 -x4601 -x4602 -x4603 -x4613 -x4620 -x4627 -x4634 -x4606 -x4608 -x4609 -x4610 -x4621 -x4628 -x4635 -x4615 -x4616 -x4617
-x4630 x4637 -x4623 -x4624 -x4638 x4631 -x4654 -x4661 -x4668 -x4675 -x4682 -x4689 -x4647 -x4648 -x4649 -x4651 -x4652 -x4653 -x4662 -x4669
-x4676 -x4683 -x4690 -x4655 -x4656 -x4658 -x4659 -x4660 -x4670 -x4677 -x4684 -x4691 -x4663 -x4665 -x4666 -x4667 -x4678 -x4685 -x4692 -x4672
-x4673 -x4674 -x4687 -x4694 -x4680 -x4681 -x4695 x4688 -x4709 -x4715 -x4721 -x4727 -x4733 -x4703 -x4704 -x4705 -x4707 -x4708 -x4716 -x4722
-x4728 -x4734 -x4710 -x4711 -x4713 -x4714 -x4723 -x4729 -x4735 -x4717 -x4719 -x4720 -x4730 -x4736 -x4725 -x4726 -x4738 x4732 -x4754 -x4761
-x4768 -x4775 -x4782 -x4789 -x4747 -x4748 -x4749 -x4750 -x4751 -x4753 -x4762 -x4769 -x4776 -x4783 -x4790 -x4755 -x4756 -x4757 -x4758 -x4760
-x4770 -x4777 -x4784 -x4791 -x4763 -x4764 -x4765 -x4767 -x4778 -x4785 -x4792 -x4771 -x4772 -x4774 -x4786 -x4793 -x4779 -x4781 -x4794 x4788
-x4809 -x4815 -x4821 -x4827 -x4833 -x4803 -x4804 -x4805 -x4806 -x4807 -x4816 -x4822 -x4828 -x4834 -x4810 -x4811 -x4812 -x4813 -x4823 -x4829
-x4835 -x4817 -x4818 -x4819 -x4830 -x4836 -x4824 -x4825 -x4837 -x4831 -x4854 -x4861 -x4868 -x4875 -x4882 x4889 -x4847 -x4848 -x4849 -x4850
-x4851 -x4852 -x4862 -x4869 -x4876 -x4883 -x4890 -x4855 -x4856 -x4857 -x4858 -x4859 -x4870 -x4877 -x4884 -x4891 -x4863 -x4864 -x4865 -x4866
-x4878 -x4885 -x4892 -x4871 -x4872 -x4873 -x4886 -x4893 -x4879 -x4880 -x4894 x4887 -x4911 -x4918 -x4925 -x4932 -x4939 -x4946 -x4896 -x4897
-x4899 -x4900 -x4901 -x4902 -x4919 -x4926 -x4933 -x4940 -x4947 -x4912 -x4914 -x4915 -x4916 -x4917 -x4927 -x4934 -x4941 -x4948 -x4921 -x4922
-x4923 -x4924 -x4936 -x4943 -x4950 -x4929 -x4930 -x4931 -x4944 -x4951 -x4937 -x4938 -x4952 -x4945 -x4968 -x4975 -x4982 -x4989 -x4996 -x5003
-x4953 -x4955 -x4956 -x4957 -x4958 -x4959 -x4976 -x4983 -x4990 -x4997 x5004 -x4970 -x4971 -x4972 -x4973 -x4974 -x4985 -x4992 -x4999 -x5006
-x4978 -x4979 -x4980 -x4981 -x4993 -x5000 -x5007 -x4986 -x4987 -x4988 -x5001 -x5008 -x4994 -x4995 -x5009 -x5002 -x5023 -x5029 -x5035 -x5041
-x5047 -x5011 -x5012 -x5013 -x5014 -x5015 -x5031 -x5037 -x5043 -x5049 -x5025 -x5026 -x5027 -x5028 -x5038 -x5044 -x5050 -x5032 -x5033 -x5034
-x5045 -x5051 -x5039 -x5040 -x5052 -x5046 -x5060 -x5075 -x5082 -x5089 -x5096 -x5103 -x5053 -x5055 -x5056 -x5057 x5058 -x5059 -x5076 -x5083
-x5090 -x5097 x5104 -x5062 -x5063 -x5064 -x5065 -x5066 -x5085 -x5092 -x5099 -x5106 -x5078 -x5079 -x5080 -x5081 -x5093 -x5100 -x5107 -x5086
-x5087 -x5088 -x5101 -x5108 -x5094 -x5095 -x5109 x5102 -x5117 -x5132 -x5139 -x5146 -x5153 -x5160 -x5110 -x5111 -x5113 -x5114 -x5115 -x5116
-x5133 -x5140 -x5147 -x5154 -x5161 -x5118 -x5120 -x5121 -x5122 x5123 -x5141 -x5148 -x5155 -x5162 -x5135 -x5136 -x5137 -x5138 x5150 -x5157
-x5164 -x5143 -x5144 -x5145 -x5158 x5165 -x5151 -x5152 -x5166 -x5159 -x5174 -x5189 -x5196 -x5203 -x5210 -x5217 -x5167 -x5168 -x5169 -x5171
-x5172 -x5173 x5190 -x5197 -x5204 -x5211 -x5218 x5175 -x5176 -x5178 -x5179 x5180 -x5198 -x5205 -x5212 -x5219 -x5191 -x5193 -x5194 -x5195
-x5206 -x5213 -x5220 -x5200 -x5201 -x5202 -x5215 x5222 -x5208 -x5209 -x5223 -x5216 -x5230 -x5236 -x5249 -x5255 -x5261 -x5224 -x5225 -x5227
-x5228 -x5229 x5237 -x5250 -x5256 -x5262 x5231 -x5233 -x5234 x5235 -x5251 -x5257 -x5263 -x5239 -x5240 -x5241 -x5259 x5265 -x5253 -x5254
-x5266 -x5260 -x5274 -x5281 -x5296 -x5303 -x5310 -x5317 -x5267 -x5268 -x5269 -x5270 -x5271 -x5273 -x5282 -x5297 -x5304 -x5311 -x5318 -x5275
-x5276 -x5277 -x5278 x5280 -x5298 -x5305 -x5312 -x5319 -x5283 -x5284 -x5285 -x5287 -x5306 -x5313 -x5320 -x5299 -x5300 -x5302 -x5314 -x5321
-x5307 -x5309 -x5322 -x5316 -x5331 -x5338 -x5345 -x5360 -x5367 -x5374 -x5324 -x5325 -x5326 -x5327 -x5328 -x5330 -x5339 -x5346 -x5361 -x5368
-x5375 -x5332 -x5333 -x5334 -x5335 x5337 -x5347 -x5362 -x5369 -x5376 -x5340 -x5341 -x5342 -x5344 -x5363 -x5370 -x5377 -x5348 -x5349 -x5351
-x5371 -x5378 -x5364 -x5366 -x5379 -x5373 -x4 -x5 -x22 -x25 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 x92 -x116 -x119
-x161 -x164 -x190 -x193 -x210 -x211 -x218 -x219 -x220 x221 x230 -x231 -x232 -x233