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

Result page for benchmark

Jump to solvers results

General information on the benchmark

Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark3.3025
Has Objective FunctionYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved YES
Number of variables4447
Total number of constraints4926
Number of constraints which are clauses4205
Number of constraints which are cardinality constraints (but not clauses)721
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint27
Number of terms in the objective function 4447
Biggest coefficient in the objective function 2128
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 12580
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 2128
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 12580
Number of bits of the biggest sum of numbers14
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
PB10: pb_cplex 2010-06-29 (complete)3732951OPT5 3.3025 3.30391
PB07: bsolo 3.0.17 (complete)3732945OPT5 20.4869 20.4932
SCIP spx E SCIP Exp with SoPlex fixed (complete)3692133OPT5 85.8979 85.9239
SCIP spx SCIP with SoPlex fixed (complete)3690967OPT5 89.0665 89.0879
SCIP spx standard SCIP with SoPlex standard fixed (complete)3693299OPT5 204.469 204.512
PB10: SCIPspx SCIP with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)3732952OPT5 217.202 217.245
PB11: SCIP spx E_2 2011-06-10 (fixed) (complete)3732954OPT5 222.845 222.886
PB09: SCIPspx SCIP with SoPLEX 1.4.1(24.4.2009) (complete)3732948OPT5 379.803 379.868
SAT 4j PB RES // CP 2.3.2 Snapshot (complete)3687850SAT (TO)45 1800.09 918.051
PB11: Sat4j Res//CP 2.3.0 (complete)3732953SAT (TO)45 1800.17 920.137
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)3732950SAT (TO)45 1800.59 917.037
Sat 4j PB Resolution 2.3.2 Snapshot (complete)3687851SAT (TO)51 1800.09 1785.18
PB09: SAT4J Pseudo Resolution 2.1.1 (complete)3732949SAT (TO)51 1800.84 1797.29
clasp 2.0.6-R5325 (opt) (complete)3709135SAT (TO)61 1800.08 1800.41
bsolo 3.2 (complete)3707969SAT83 1798.09 1798.5
PB09: bsolo 3.1 (complete)3732947SAT101 1798.12 1798.52
PB07: Pueblo 1.4 (incomplete)3720118SAT109 1783 1783.31
pwbo 2.02 (complete)3725957SAT (TO)189 1800.09 900.351
pwbo 2.0 (complete)3703656SAT (TO)194 1800.53 900.336
SAT4J PB specific settings 2.3.2 snapshot (complete)3710731SAT (TO)246 1800.09 1788.88
PB07: minisat+ 1.14 (complete)3721288SAT (TO)607 1800.06 1800.51
PB12: minisatp 1.0-2-g022594c (complete)3723580SAT (TO)679 1800.06 1800.51
wbo 1.72 (complete)3727478? 1799.46 1800
wbo 1.7 (complete)3705177? 1799.83 1800
npSolver inc (fixed) (complete)3748840? (TO) 1800.04 1800.41
PB07: PB-clasp 2007-04-10 (complete)3732944? (TO) 1800.05 1851.03
pb2satCp2 2012-05-19 (complete)3694895? (TO) 1800.05 1800.41
npSolver inc-topDown (fixed) (complete)3747244? (TO) 1800.06 1800.41
npSolver 1.0 (complete)3701279? (TO) 1800.07 1800.41
pb2sat 2012-05-19 (complete)3696491? (TO) 1800.07 1800.51
toysat 2012-06-01 (complete)3725176? (TO) 1800.07 1800.41
npSolver inc-topDown (complete)3698087? (TO) 1800.07 1800.41
npSolver inc-topdown-quickBound (fixed) (complete)3752032? (TO) 1800.07 1800.41
toysat 2012-05-17 (complete)3706803? (TO) 1800.08 1800.41
npSolver inc-topdown-quickBound (complete)3702875? (TO) 1800.09 1800.41
npSolver inc (complete)3699683? (TO) 1800.09 1800.41
npSolver 1.0 (fixed) (complete)3750436? (TO) 1800.1 1800.41
PB07: SAT4JPseudoResolution 2007-03-23 (complete)3732946No Cert. 465.57 459.884

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