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

Result page for benchmark
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_006_area_delay.opb

Jump to solvers results

General information on the benchmark

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