PB'09 competition: solvers results per benchmarks

Result page for benchmark
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-2.opb

Jump to solvers results

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-2.opb
MD5SUMf480d2d56550630df651872786c078c9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark939
Best CPU time to get the best result obtained on this benchmark960.23
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 999
Optimality of the best value was proved NO
Number of variables8405
Total number of constraints10667
Number of constraints which are clauses9918
Number of constraints which are cardinality constraints (but not clauses)749
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint351
Number of terms in the objective function 6892
Biggest coefficient in the objective function 667
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 371779
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 667
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 371779
Number of bits of the biggest sum of numbers19
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 NameTraceIDAnswerobjCPU timeWall clock time
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete)1869205OPT939 18.9801 19.0056
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete)1869204OPT939 960.23 960.517
SAT4J Pseudo CP 2.1.1 (complete)1855880SAT (TO)2913 1800.38 1781.73
bsolo 3.1 (complete)1877079SAT (MO)7088 1443.93 1444.3
bsolo 3.1 pb (complete)1879939SAT7607 1798.3 1798.78
bsolo 3.1 cl (complete)1878509? 1798.36 1799.9
pbclasp 2009-04-24 (complete)1858790? (TO) 1800.09 1800.53
wbo 1.0 (complete)1875649? (TO) 1800.2 1800.71
SAT4J Pseudo Resolution 2.1.1 (complete)1855881? (TO) 1800.42 1794.04

Additionnal information

This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).

obj: 939
Solution found:
-x8391 -x8389 -x8378 -x8368 -x8363 -x8343 -x8339 -x8333 -x8329 -x8323 -x8293 -x8274 -x8270 -x8266 -x8254 -x8252 -x8250 -x8242 -x8237 -x8234
-x8231 -x8209 -x8199 -x8198 -x8187 -x8164 -x8161 -x8160 -x8154 -x8153 -x8148 -x8145 -x8100 -x8090 -x8085 -x8084 -x8079 -x8071 -x8062 -x8060
-x8059 -x8057 -x8045 -x8042 -x8037 -x8027 -x8022 -x8012 -x8009 -x7996 -x7995 x7994 -x7986 -x7982 -x7977 -x7969 x7967 -x7965 -x7961 -x7950
-x7945 -x7942 -x7941 -x7939 -x7928 -x7924 -x7918 -x7916 -x7915 -x7913 -x7899 -x7891 -x7890 -x7889 -x7886 -x7882 -x7880 -x7873 -x7867 -x7858
-x7853 -x7848 -x7835 x7834 x7826 -x7821 -x7814 -x7811 -x7810 -x7807 -x7803 -x7801 -x7800 x7795 -x7778 -x7767 -x7749 -x7748 -x7747 x7746
-x7744 -x7743 -x7742 -x7741 -x7739 -x7725 -x7710 -x7709 -x7694 -x7691 -x7686 -x7676 -x7671 -x7661 -x7658 -x7645 -x7644 -x7643 -x7635 -x7631
-x7626 -x7618 -x7616 -x7614 -x7610 -x7599 -x7594 -x7591 -x7590 -x7588 -x7577 -x7573 -x7567 -x7565 -x7564 -x7562 -x7548 -x7545 -x7540 -x7539
-x7538 -x7535 -x7531 -x7529 x7522 -x7516 -x7507 -x7502 -x7497 -x7483 -x7475 -x7470 -x7463 -x7460 -x7459 -x7456 -x7452 -x7450 -x7449 -x7444
-x7427 -x7416 -x7398 -x7397 -x7396 -x7395 -x7393 x7392 -x7391 -x7390 -x7388 -x7387 -x7374 -x7359 x7358 -x7343 -x7340 -x7335 -x7325 -x7320
x7310 -x7307 -x7294 -x7293 -x7292 -x7284 -x7280 -x7275 -x7267 -x7265 -x7263 -x7259 -x7248 -x7243 x7240 -x7239 -x7237 -x7226 -x7222 -x7216
-x7214 -x7213 -x7211 x7197 -x7194 -x7189 -x7188 -x7187 -x7184 -x7180 -x7178 -x7171 x7165 -x7156 -x7151 -x7146 -x7133 -x7132 -x7124 -x7119
-x7112 -x7109 -x7108 -x7105 x7101 -x7099 -x7098 -x7093 -x7076 -x7065 -x7047 -x7046 -x7045 -x7044 -x7042 -x7041 -x7040 -x7039 -x7037 -x7036
x7023 -x7008 -x7007 -x6992 -x6989 -x6984 -x6974 -x6969 -x6959 -x6956 -x6943 -x6942 -x6941 -x6933 -x6929 -x6924 -x6916 -x6914 -x6912 -x6908
-x6897 -x6892 -x6889 x6888 -x6886 -x6875 -x6871 -x6865 -x6863 -x6860 -x6846 -x6843 -x6838 x6837 x6836 -x6833 -x6829 -x6827 -x6820 -x6814
-x6805 -x6800 -x6795 -x6782 -x6781 -x6773 -x6768 -x6761 -x6758 -x6757 -x6754 -x6750 -x6748 -x6747 -x6742 -x6725 x6714 -x6696 -x6695 -x6694
-x6693 -x6691 -x6690 -x6689 -x6688 -x6686 -x6685 -x6672 -x6657 -x6656 -x6648 x6646 -x6641 -x6636 -x6629 -x6627 -x6624 -x6623 -x6608 -x6607
-x6605 -x6595 -x6588 -x6574 x6565 -x6563 -x6561 -x6550 -x6548 -x6546 -x6541 -x6539 -x6538 -x6535 -x6524 -x6521 -x6520 -x6519 x6509 -x6504
-x6487 -x6486 -x6485 -x6476 -x6463 x6460 -x6446 -x6444 -x6443 -x6434 -x6432 -x6430 -x6426 x6424 -x6422 -x6417 -x6416 -x6410 -x6407 -x6399
-x6397 -x6390 -x6389 -x6379 -x6369 -x6363 -x6348 -x6345 -x6342 -x6340 -x6337 -x6335 x6325 -x6323 -x6321 x6307 -x6304 -x6297 -x6295 -x6290
-x6278 -x6276 -x6273 -x6272 -x6257 -x6256 -x6244 -x6237 -x6223 -x6214 -x6212 -x6210 -x6199 -x6197 -x6195 -x6188 -x6187 -x6184 -x6170 -x6168
-x6158 -x6153 x6136 -x6135 -x6134 -x6125 -x6112 -x6109 -x6095 -x6093 -x6092 -x6083 -x6081 -x6079 -x6075 -x6073 -x6071 -x6066 -x6065 -x6059
-x6056 -x6048 -x6046 -x6039 -x6038 -x6028 -x6018 -x6012 -x5997 -x5994 -x5993 -x5991 -x5989 -x5986 -x5984 -x5974 -x5972 -x5970 -x5956 -x5953
-x5944 -x5939 -x5934 -x5927 -x5925 -x5922 -x5921 -x5906 -x5905 -x5903 -x5893 -x5886 -x5872 -x5863 -x5861 -x5859 -x5848 -x5846 -x5839 -x5837
-x5836 -x5833 -x5822 -x5819 -x5818 -x5807 -x5802 -x5785 -x5784 -x5783 -x5774 -x5761 -x5758 -x5744 -x5741 x5732 -x5730 -x5728 -x5724 -x5722
-x5720 x5715 -x5714 -x5708 -x5705 -x5697 -x5695 -x5688 -x5687 -x5677 -x5667 -x5661 x5646 -x5643 -x5642 -x5640 -x5638 -x5635 -x5633 -x5623
-x5621 -x5619 -x5605 -x5595 -x5593 -x5588 -x5583 -x5580 -x5571 -x5570 -x5555 -x5549 -x5542 -x5535 -x5529 -x5525 -x5523 -x5520 -x5515 -x5510
-x5495 -x5488 -x5486 -x5485 -x5482 -x5480 -x5479 -x5476 -x5471 -x5468 -x5467 -x5466 -x5457 -x5456 -x5451 x5441 -x5434 -x5433 -x5432 -x5410
-x5407 -x5391 -x5390 -x5379 -x5373 -x5363 -x5356 -x5354 -x5353 -x5352 -x5350 -x5348 -x5346 -x5345 -x5344 -x5343 -x5340 -x5337 -x5336 -x5333
-x5327 -x5326 -x5292 -x5286 -x5282 -x5272 -x5268 -x5267 -x5260 -x5252 -x5249 -x5244 -x5237 -x5220 -x5218 -x5209 -x5204 -x5188 -x5187 -x5186
-x5174 -x5172 -x5158 -x5153 -x5140 x5138 -x5134 -x5131 -x5114 -x5091 -x5087 -x5083 -x5082 -x5081 -x5078 -x5072 -x5070 -x5065 -x5059 x5058
-x5056 -x5051 -x5048 -x5047 -x5038 -x5028 -x5026 -x5022 -x5018 x5017 -x5015 -x5001 -x4997 -x4995 -x4989 -x4986 -x4976 -x4960 -x4947 -x4941
-x4940 -x4939 -x4938 -x4936 -x4934 -x4933 -x4931 -x4917 -x4903 -x4902 -x4901 -x4893 -x4886 -x4883 -x4869 -x4867 -x4858 -x4853 -x4850 -x4837
-x4836 -x4835 -x4823 -x4821 -x4807 -x4802 -x4789 -x4787 -x4786 -x4783 -x4780 -x4769 -x4763 -x4756 -x4740 -x4736 -x4732 -x4731 -x4730 -x4727
-x4719 -x4714 -x4708 -x4707 -x4705 -x4700 -x4697 -x4696 -x4687 -x4677 -x4675 -x4671 -x4667 -x4666 -x4664 -x4650 -x4646 -x4644 -x4638 -x4635
-x4625 -x4609 -x4596 -x4590 -x4589 -x4588 -x4587 -x4585 -x4583 -x4582 -x4580 -x4566 -x4552 -x4551 -x4550 -x4542 -x4535 -x4532 -x4518 -x4516
-x4507 -x4502 -x4499 -x4486 -x4485 -x4484 -x4472 -x4470 -x4456 -x4451 -x4438 -x4436 -x4435 -x4432 -x4429 -x4418 -x4412 -x4405 -x4389 -x4385
-x4381 -x4380 -x4379 x4376 -x4370 -x4368 -x4363 -x4357 -x4356 -x4354 -x4349 -x4346 -x4345 -x4336 -x4326 -x4324 -x4320 -x4316 -x4315 -x4313
-x4299 -x4295 -x4293 -x4287 -x4284 -x4274 -x4258 -x4245 -x4239 -x4238 -x4237 -x4236 -x4234 x4232 -x4231 -x4229 -x4215 -x4201 -x4200 -x4199
-x4192 -x4186 -x4184 -x4172 -x4170 -x4167 -x4151 -x4148 -x4138 -x4136 -x4131 -x4125 -x4111 -x4108 -x4106 -x4091 -x4080 -x4078 -x4075 -x4072
-x4067 -x4065 -x4063 -x4062 -x4059 -x4058 -x4054 -x4052 -x4048 -x4047 -x4045 -x4038 -x4030 -x4029 -x4028 -x4025 -x4020 -x4019 -x4018 -x4012
-x4011 -x3987 -x3986 -x3974 -x3960 -x3959 -x3952 -x3948 -x3942 -x3936 -x3906 -x3894 -x3887 -x3886 -x3883 -x3880 -x3864 -x3859 -x3857 -x3852
x3851 -x3849 -x3848 -x3847 -x3845 -x3836 -x3835 -x3834 -x3830 -x3829 -x3828 -x3805 -x3800 -x3787 -x3785 -x3782 -x3780 -x3778 -x3767 -x3738
-x3730 -x3714 -x3708 -x3703 -x3697 -x3691 -x3689 -x3680 -x3678 -x3677 -x3674 -x3671 -x3629 -x3618 -x3609 -x3597 -x3591 -x3585 -x3537 -x3533
-x3530 -x3527 -x3517 -x3513 -x3507 -x3499 -x3497 -x3496 -x3492 -x3489 -x3482 -x3481 -x3478 -x3473 -x3463 -x3458 -x3452 -x3447 -x3444 -x3437
-x3431 -x3430 -x3429 -x3421 -x3413 -x3405 -x3403 -x3401 -x3397 -x3386 -x3381 -x3378 -x3377 x3375 -x3363 -x3359 -x3353 -x3351 -x3350 -x3348
-x3334 -x3331 x3326 -x3325 -x3324 x3320 -x3316 -x3308 -x3302 x3293 -x3288 -x3283 -x3270 -x3269 -x3261 -x3256 -x3249 -x3246 -x3245 -x3243
-x3239 -x3237 -x3236 -x3231 -x3215 -x3204 -x3188 x3187 -x3186 -x3185 x3183 -x3182 x3181 x3180 -x3178 -x3177 -x3164 x3149 -x3148 -x3135
-x3134 -x3129 -x3128 -x3127 -x3104 -x3103 -x3098 -x3084 -x3080 -x3078 -x3076 x3066 -x3037 -x3029 -x3019 -x3012 -x3006 -x3001 -x2995 -x2989
-x2987 -x2978 -x2976 -x2975 -x2971 -x2968 -x2927 -x2916 -x2907 -x2895 -x2890 -x2884 -x2839 -x2835 -x2832 -x2829 -x2819 -x2815 x2809 -x2801
-x2799 -x2798 -x2794 x2792 -x2791 -x2788 -x2765 -x2755 -x2754 -x2749 -x2746 -x2737 -x2735 -x2729 -x2725 -x2724 -x2717 -x2716 -x2710 -x2698
-x2690 -x2680 -x2677 -x2674 -x2671 -x2660 -x2656 -x2652 -x2640 -x2638 -x2636 x2635 -x2628 -x2622 -x2619 -x2595 -x2585 -x2584 -x2573 -x2567
-x2559 -x2547 -x2546 -x2541 -x2535 -x2532 -x2518 -x2484 -x2478 -x2475 -x2474 -x2469 -x2460 -x2452 -x2450 -x2447 -x2442 -x2439 -x2434 -x2429
-x2422 -x2420 -x2417 -x2416 -x2405 x2400 -x2399 -x2397 x2386 -x2380 -x2367 -x2358 -x2356 -x2354 -x2343 -x2341 -x2339 -x2334 -x2332 x2331
-x2328 -x2321 -x2316 -x2313 -x2312 -x2311 -x2301 -x2296 -x2279 x2278 -x2277 x2255 -x2252 -x2238 -x2235 -x2226 -x2224 -x2222 -x2218 -x2216
-x2214 -x2209 -x2208 -x2202 -x2199 x2192 -x2190 -x2183 -x2182 -x2172 -x2163 -x2157 -x2144 -x2141 -x2140 x2138 -x2136 -x2133 -x2131 -x2121
-x2119 x2117 -x2103 -x2100 -x2093 -x2090 -x2085 -x2080 -x2077 -x2073 -x2071 -x2068 -x2067 -x2056 -x2051 -x2050 -x2037 -x2031 -x2020 -x2017
-x2012 -x2009 -x2007 -x1994 -x1992 -x1985 -x1982 -x1979 -x1977 -x1972 -x1967 -x1964 -x1963 -x1962 -x1952 -x1947 -x1930 -x1929 -x1928 -x1906
-x1903 -x1889 -x1886 -x1877 -x1875 -x1869 -x1867 -x1860 -x1853 -x1852 -x1850 -x1848 -x1847 -x1845 -x1843 -x1842 -x1841 -x1840 -x1837 -x1834
-x1833 -x1824 -x1823 -x1814 -x1808 -x1795 -x1792 -x1791 -x1789 -x1787 -x1784 -x1782 -x1772 -x1770 -x1768 -x1751 -x1744 -x1743 -x1736 -x1733
-x1719 -x1717 -x1708 -x1702 -x1699 -x1686 -x1685 -x1684 -x1671 -x1657 -x1652 -x1639 -x1637 -x1636 -x1633 -x1630 -x1618 -x1612 -x1605 -x1589
-x1585 -x1581 -x1580 -x1579 -x1575 -x1568 -x1563 -x1557 -x1556 -x1554 -x1549 -x1546 -x1545 -x1536 -x1526 -x1524 -x1520 -x1516 -x1515 -x1513
-x1499 -x1496 -x1494 -x1488 -x1485 -x1475 x1460 -x1449 -x1443 -x1442 -x1441 -x1440 -x1438 -x1436 -x1435 -x1433 -x1419 -x1405 -x1404 -x1403
-x1395 -x1388 -x1387 -x1384 -x1379 -x1369 -x1364 -x1358 -x1353 -x1350 -x1343 -x1337 -x1336 -x1335 -x1327 -x1319 -x1311 -x1309 -x1307 -x1303
-x1292 x1287 -x1284 -x1283 -x1281 x1269 -x1265 -x1259 -x1257 -x1254 -x1240 -x1237 -x1232 -x1231 -x1230 -x1226 -x1222 -x1214 -x1208 -x1199
-x1194 -x1189 -x1176 -x1175 -x1167 -x1162 -x1155 -x1152 -x1151 -x1149 -x1145 -x1143 -x1142 -x1137 -x1121 -x1110 -x1094 -x1093 -x1092 -x1091
-x1089 -x1088 -x1087 -x1086 -x1084 -x1083 -x1070 -x1055 -x1054 -x1046 -x1045 -x1043 -x1038 -x1033 -x1026 -x1024 -x1021 -x1020 -x1009 -x1004
-x1003 -x1001 -x990 -x984 -x971 -x962 -x960 -x958 -x947 -x945 -x943 -x938 -x936 -x935 -x932 -x925 -x920 -x917 -x916 -x915 -x907 -x905 -x900
-x883 -x882 -x881 -x859 -x856 -x842 -x840 -x839 -x830 -x828 -x826 -x822 -x820 -x818 -x813 -x812 -x806 -x803 -x796 -x794 -x787 -x786 -x776
-x767 -x761 -x748 -x745 -x744 -x742 -x740 -x737 -x735 -x725 -x723 -x721 -x707 -x704 -x697 -x696 -x694 -x689 -x684 -x677 -x675 -x672 -x671
-x660 -x655 -x654 -x652 -x641 -x635 -x622 -x613 -x611 -x609 -x598 -x596 -x594 -x589 -x587 -x586 -x583 -x576 -x571 -x568 -x567 -x566 -x558
-x556 -x551 -x534 -x533 x532 -x510 -x507 -x493 -x491 -x490 -x481 -x479 -x477 -x473 -x471 -x469 -x464 -x463 -x457 -x454 -x447 -x445 -x438
-x437 -x427 x418 -x412 -x399 -x396 -x395 -x393 -x391 -x388 -x386 -x376 -x372 -x358 -x355 -x348 -x347 -x340 -x337 -x323 -x321 -x312 -x306
-x303 -x290 -x289 -x288 -x275 -x261 -x256 -x243 -x241 -x240 -x237 -x234 -x222 -x216 -x193 -x189 -x185 -x184 -x183 -x179 -x172 -x167 -x161
-x160 -x158 -x153 -x150 -x149 -x140 -x130 -x128 -x124 -x120 -x119 -x117 -x103 -x100 -x98 -x92 -x89 -x79 -x64 -x53 -x47 -x46 -x45 -x44 -x42
-x40 -x39 -x37 -x23 -x9 -x8 -x7 x1 -x8405 -x8054 -x7703 x7352 -x7001 -x6650 -x6299 -x5948 -x5597 -x5246 -x4895 -x4544 -x4193 -x3842 -x3491
-x3142 -x2444 -x1746 -x1397 -x1048 -x699 -x350 -x3490 -x3141 -x2443 -x2094 -x1745 -x1396 -x1047 -x698 -x349 -x8404 -x6649 -x6298 -x5947
-x5596 -x5245 -x4894 -x4543 -x3841 -x8403 -x2790 -x8402 -x4190 -x3839 -x3138 -x2789 -x5242 -x4891 -x4540 -x4189 -x3838 -x3137 -x1741 -x345
-x8400 -x5592 -x2787 -x2089 -x8399 -x8048 -x7697 -x7346 -x6995 -x5591 -x5240 -x4889 -x4538 -x4187 -x3484 -x2088 -x1739 -x1390 -x343 -x8398
-x8047 -x7696 -x7345 -x6994 -x6643 -x6292 -x5941 -x3483 -x2785 -x2436 -x2087 -x1389 -x1040 -x691 -x8397 -x6642 -x6291 -x5940 -x5589 -x5238
-x4887 -x4536 -x4185 -x3133 -x2784 -x8395 -x4183 -x3832 -x3131 -x2782 -x8043 -x7692 -x7341 -x6990 -x6639 -x6288 -x5937 -x5586 -x5235 -x4884
-x4533 -x4182 -x3831 -x3479 -x3130 -x2781 -x2432 -x1734 -x1385 -x1036 -x687 -x338 -x4181 -x8040 -x7689 -x7338 -x6987 -x5232 -x4881 -x4530
-x3476 -x1731 -x1382 -x335 -x8390 -x4178 -x3827 -x3126 -x2777 -x8038 -x7687 -x7336 -x6985 -x6634 -x6283 -x5932 -x5230 -x4879 -x4528 -x3474
-x2776 -x2427 -x2078 -x1729 -x1380 -x1031 -x682 -x333 -x8388 -x4176 -x3825 -x3124 -x2775 -x8036 -x7685 -x7334 -x6983 -x6632 -x6281 -x5930
-x5579 -x5228 -x4877 -x4526 -x4175 -x3472 -x2425 -x2076 -x1727 -x1378 -x1029 -x680 -x331 -x8386 -x6631 -x6280 -x5929 -x5578 -x4174 -x2773
-x2424 -x2075 -x1028 -x679 -x8034 -x7683 -x7332 -x6981 -x6630 -x6279 -x5928 -x5577 -x5226 -x4875 -x4524 -x4173 -x3470 -x2423 -x2074 -x1725
-x1376 -x1027 -x678 -x329 -x8384 -x3821 -x3120 -x2771 -x8383 -x6628 -x6277 -x5926 -x5224 -x4873 -x4522 -x4171 -x3820 -x3119 -x2770 -x2421
-x2072 -x1723 -x1025 -x676 -x327 -x8382 -x3819 -x3118 -x2769 -x8381 -x5222 -x4871 -x4520 -x4169 -x3818 -x3117 -x2768 -x1721 -x325 -x8380
-x8029 -x7678 -x7327 -x6976 -x6625 -x6274 -x5923 -x5221 -x4870 -x4519 -x4168 -x3817 -x3465 -x3116 -x2767 -x2418 -x2069 -x1720 -x1371 -x1022
-x673 x324 -x8379 -x2766 -x8377 -x6622 -x6271 -x5920 -x5569 -x4165 -x2764 -x2415 -x2066 -x1019 -x670 -x8376 -x8025 -x7674 -x7323 -x6972
-x5217 -x4866 -x4515 -x3813 -x3461 -x3112 -x2763 -x1716 -x1367 -x320 -x8375 -x8024 -x7673 -x7322 -x6971 -x6620 -x6269 -x5918 -x5567 -x3812
-x3460 -x3111 -x2762 -x2413 -x2064 -x1366 -x1017 -x668 -x8374 -x8023 -x7672 -x7321 -x6970 -x4162 -x3811 -x3459 -x3110 -x2761 -x1365 -x8373
-x6618 -x6267 -x5916 -x5214 -x4863 -x4512 -x4161 -x2760 -x2411 -x1713 -x1015 -x666 -x317 -x8372 -x8021 -x7670 -x7319 -x6968 -x5564 -x5213
-x4862 -x4511 -x4160 -x3457 -x2759 -x2061 -x1712 -x1363 -x316 -x8371 -x6616 -x6265 -x5914 -x5212 -x4861 -x4510 -x4159 -x2758 -x2409 -x2060
-x1711 -x1013 -x664 -x315 -x8370 -x4158 -x3807 -x3106 -x2757 -x8369 -x2756 -x8367 -x3804 -x3102 -x2753 -x8366 -x8015 -x7664 -x7313 -x6962
-x5207 -x4856 -x4505 -x3450 -x2752 -x1705 -x1356 -x309 -x8014 -x7663 -x7312 -x6961 -x5206 -x4855 -x4504 -x3449 -x1704 -x1355 -x308 -x8013
-x7662 -x7311 -x6960 -x6609 -x6258 -x5907 -x5556 -x5205 -x4854 -x4503 -x4152 -x3448 -x2401 -x2052 -x1703 -x1354 -x1005 -x656 -x307 -x8362
-x8011 -x7660 -x7309 -x6958 -x4150 -x3799 -x3446 -x3097 -x2748 -x1352 -x8361 -x8010 -x7659 -x7308 -x6957 -x4149 -x3445 -x2747 -x1351 -x4147
-x3796 -x3094 -x2745 -x8358 -x8007 -x7656 x7305 -x6954 -x6603 -x6252 -x5901 -x5550 -x5199 -x4848 -x4497 -x4146 -x3795 -x3442 -x3093 -x2744
-x2395 -x2046 -x1697 -x1348 -x999 -x650 x301 -x8357 -x8006 -x7655 -x7304 -x6953 -x4145 -x3794 -x3441 -x3092 -x2743 -x1347 -x8356 -x4144
-x3793 -x3091 -x2742 -x8355 -x4143 -x3792 -x3090 -x2741 -x8354 -x5195 -x4844 -x4493 -x4142 -x3791 -x3089 -x2740 -x1693 -x297 -x2739 -x2041
-x8353 -x4141 -x3790 -x3087 -x2738 -x8001 -x7650 -x7299 -x6948 -x6597 -x6246 -x5895 -x5544 -x4140 -x3789 -x3435 -x3086 -x2388 -x2039 -x1341
-x992 -x643 -x6596 -x6245 -x5894 -x5543 -x5192 -x4841 -x4490 -x4139 -x3788 -x3085 -x2387 -x2038 -x1689 -x991 -x642 -x293 -x7999 -x7648
-x7297 -x6946 -x5191 -x4840 -x4489 -x3433 -x1688 -x1339 -x292 -x6594 -x6243 -x5892 -x5541 -x4137 -x3786 -x3083 -x2385 -x2036 -x989 -x640
-x7997 -x7646 -x7295 -x6944 -x6593 -x6242 -x5891 -x5540 -x5189 -x4838 -x4487 -x8347 -x2733 -x8346 -x3783 -x3081 -x2732 -x6590 -x6239 -x5888
-x4133 -x2382 -x2033 -x986 -x637 -x8344 -x6589 -x6238 -x5887 -x5536 -x5185 -x4834 -x4483 -x4132 -x2730 -x2381 -x2032 -x1683 -x985 -x636
-x287 -x8342 -x6587 -x6236 -x5885 -x5183 -x4832 -x4481 -x4130 -x3779 -x3077 -x2728 -x2379 -x2030 -x1681 -x983 -x634 -x285 -x6586 -x6235
-x5884 -x5182 -x4831 -x4480 -x4129 -x2378 -x2029 -x1680 -x982 -x633 -x284 -x8340 -x6585 -x6234 -x5883 -x5532 -x3777 -x3075 -x2726 -x2377
-x2028 -x981 -x632 -x6584 -x6233 -x5882 -x5531 -x4127 -x3776 -x3074 -x2376 -x2027 -x980 -x631 -x7987 -x7636 -x7285 -x6934 -x6583 -x6232
-x5881 -x5179 -x4828 -x4477 -x4126 -x3422 -x2375 -x2026 -x1677 -x1328 -x979 -x630 -x281 -x8337 -x2723 -x8336 -x4124 -x3773 -x3071 -x2722
-x8335 -x6580 -x6229 -x5878 -x5527 -x4123 -x3772 -x3070 -x2721 -x2372 -x2023 -x976 -x627 -x8334 -x4122 -x3771 -x3069 -x2720 -x3770 -x7981
-x7630 -x7279 -x6928 -x6577 -x6226 -x5875 -x5524 -x5173 -x4822 -x4471 -x4120 -x3417 -x2370 -x2021 -x1672 -x1323 -x974 -x625 -x276 -x8331
-x4119 -x3768 -x3067 -x2718 -x7979 -x7628 -x7277 -x6926 -x6575 -x6224 -x5873 -x5171 -x4820 -x4469 -x4118 -x3415 -x2368 -x2019 -x1670 -x1321
-x972 -x623 -x274 -x5521 -x3766 -x3065 -x2018 -x8328 -x4116 -x3765 -x3064 -x2715 -x8327 -x6572 -x6221 -x5870 -x5519 -x5168 -x4817 -x4466
-x4115 -x3764 -x3063 -x2714 -x2365 -x1667 -x969 -x620 -x271 -x7975 -x7624 -x7273 -x6922 -x6571 -x6220 -x5869 -x5518 -x5167 -x4816 -x4465
-x4114 -x3411 -x2713 -x2364 -x2015 -x1666 -x1317 -x968 -x619 -x270 -x7974 -x7623 -x7272 -x6921 -x5166 -x4815 -x4464 -x4113 -x3762 -x3410
-x3061 -x1665 -x1316 -x269 -x7973 -x7622 -x7271 -x6920 -x6569 -x6218 -x5867 -x5516 -x4112 -x3761 -x3409 -x3060 -x2711 -x2362 -x2013 -x1315
-x966 -x617 -x3760 -x3059 -x7971 -x7620 -x7269 -x6918 -x6567 -x6216 -x5865 -x5163 -x4812 -x4461 -x4110 -x3759 -x3407 -x3058 -x2360 -x2011
-x1662 -x1313 -x964 -x615 -x266 -x8321 -x7970 -x7619 -x7268 -x6917 -x6566 -x6215 -x5864 -x4109 -x3758 -x3406 -x3057 -x2708 -x2359 -x2010
-x1312 -x963 -x614 -x5161 -x4810 -x4459 -x3757 -x3056 -x1660 -x264 -x7968 -x7617 -x7266 -x6915 -x6564 -x6213 -x5862 -x5511 -x4107 -x3756
-x3404 -x3055 -x2706 -x2357 -x2008 -x1310 -x961 -x612 -x8318 -x3755 -x3054 -x2705 -x8317 -x4105 -x3754 -x3053 -x2704 -x8316 -x5508 -x4104
-x3753 -x3052 -x2703 -x8315 -x7964 -x7613 -x7262 -x6911 -x6560 -x6209 -x5858 -x5156 -x4805 -x4454 -x4103 -x3400 -x2702 -x2353 -x2004 -x1655
-x1306 -x957 -x608 -x259 -x8314 -x7963 -x7612 -x7261 -x6910 -x4102 -x3751 -x3399 -x3050 -x2701 -x1305 -x8313 -x7962 -x7611 -x7260 -x6909
-x6558 -x6207 -x5856 -x4101 -x3750 -x3398 -x3049 -x2700 -x2351 -x1304 -x955 -x606 -x8312 -x4100 -x3749 -x3048 -x2699 -x7960 -x7609 -x7258
-x6907 -x6556 -x6205 -x5854 -x5503 -x5152 -x4801 -x4450 -x4099 -x3396 -x2349 -x2000 -x1651 -x1302 -x953 -x604 -x255 -x8310 -x5502 -x3747
-x3046 -x2697 -x1999 -x8309 -x4097 -x3746 -x3045 -x2696 -x8308 -x7957 -x7606 -x7255 -x6904 -x6553 -x6202 -x5851 -x5149 -x4798 -x4447 -x4096
-x3393 -x2695 -x2346 -x1997 -x1648 -x1299 -x950 -x601 -x252 -x8307 -x6552 -x6201 -x5850 -x5499 -x4095 -x3744 -x3043 -x2694 -x2345 -x1996
-x949 -x600 -x8306 -x5498 -x4094 -x3743 -x3042 -x2693 -x1995 -x7954 -x7603 -x7252 -x6901 -x5146 -x4795 -x4444 -x4093 -x3742 -x3390 -x3041
-x1645 -x1296 -x249 -x8304 -x7953 -x7602 -x7251 -x6900 -x6549 -x6198 -x5847 -x5145 -x4794 -x4443 -x4092 -x3389 -x2691 -x2342 -x1993 -x1644
-x1295 -x946 -x597 -x248 -x3740 -x3039 -x8302 -x6547 -x6196 -x5845 -x5494 -x4090 -x3739 -x3038 -x2689 -x2340 -x1991 -x944 -x595 -x5142
-x4791 -x4440 -x4089 -x1641 -x245 -x6545 -x6194 -x5843 -x5492 -x4088 -x3737 -x3036 -x2338 -x1989 -x942 -x593 -x8299 -x4087 -x3736 -x3035
-x2686 -x6543 -x6192 -x5841 -x5490 -x4086 -x3735 -x3034 -x2336 -x1987 -x940 -x591 -x8297 -x7946 -x7595 -x7244 -x6893 -x6542 -x6191 -x5840
-x4085 -x3734 -x3382 -x3033 -x2684 -x2335 -x1288 -x939 -x590 -x8296 -x4084 -x3733 -x3032 -x2683 -x8295 -x5487 -x5136 -x4785 -x4434 -x3732
-x3031 -x2682 -x1984 -x1635 -x239 -x8294 -x7943 -x7592 -x7241 -x6890 -x4082 -x3731 -x3379 -x3030 -x2681 -x1285 -x4081 -x6537 -x6186 -x5835
-x5133 -x4782 -x4431 -x3729 -x3028 -x2330 -x1632 -x934 -x585 -x236 -x8291 -x7940 -x7589 -x7238 -x6887 -x6536 -x6185 -x5834 -x5483 -x4079
-x3728 -x3376 -x3027 -x2678 -x2329 -x1282 -x933 -x584 -x7938 -x7587 -x7236 -x6885 -x5481 -x5130 -x4779 -x4428 -x3726 -x3374 -x3025 -x1978
-x1629 -x1280 -x233 -x8288 -x3725 -x3024 -x2675 -x7936 -x7585 -x7234 -x6883 -x6532 -x6181 -x5830 -x3724 -x3372 -x3023 -x2325 -x1976 -x1278
-x929 -x580 -x7935 -x7584 -x7233 -x6882 -x6531 -x6180 -x5829 -x4074 -x3371 -x2673 -x2324 -x1975 -x1277 -x928 -x579 -x8285 -x4073 -x3722
-x3021 -x2672 -x7933 -x7582 -x7231 -x6880 -x6529 -x6178 -x5827 -x3721 -x3369 -x3020 -x2322 -x1973 -x1275 -x926 -x577 -x2670 -x8283 -x4071
-x3720 -x3018 -x2669 -x8282 -x7931 -x7580 -x7229 -x6878 -x6527 -x6176 -x5825 -x5474 -x3719 -x3366 -x3017 -x2668 -x2319 -x1970 -x1272 -x923
-x574 -x8281 -x7930 -x7579 x7228 -x6877 -x6526 -x6175 -x5824 -x5122 -x4771 -x4420 -x4069 -x3718 -x3365 -x3016 -x2667 -x2318 -x1620 -x1271
-x922 -x573 -x224 -x6525 -x6174 -x5823 -x5472 -x4068 -x2317 -x1968 -x921 -x572 -x8279 -x3716 -x3014 -x2665 -x8278 -x7927 -x7576 -x7225
-x6874 -x6523 -x6172 -x5821 -x3715 -x3362 -x3013 -x2664 -x2315 -x1966 -x1268 -x919 -x570 -x8277 -x5118 -x4767 -x4416 -x2663 -x1616 -x220
-x8276 -x4064 -x3713 -x3011 -x2662 -x8275 -x5116 -x4765 -x4414 -x2661 -x1614 -x218 -x5115 -x4764 -x4413 -x3711 -x3009 -x1613 -x217 -x8273
-x7922 -x7571 -x7220 -x6869 -x6518 -x6167 -x5816 -x4061 -x3357 -x2659 -x2310 -x1961 -x1263 -x914 -x565 -x7921 -x7570 -x7219 -x6868 -x6517
-x6166 -x5815 -x4060 -x3709 -x3356 -x3007 -x2309 -x1960 -x1262 -x913 -x564 -x8271 -x7920 -x7569 -x7218 -x6867 -x6516 -x6165 -x5814 -x5463
-x3355 -x2308 -x1959 -x1261 -x912 -x563 -x7919 -x7568 -x7217 -x6866 -x5111 -x4760 -x4409 -x3707 -x3354 -x3005 -x1609 -x1260 -x213 -x6514
-x6163 -x5812 -x4057 -x3706 -x3004 -x2655 -x2306 -x910 -x561 -x8268 -x7917 -x7566 -x7215 -x6864 -x6513 -x6162 -x5811 -x5460 -x3705 -x3352
-x3003 -x2305 -x1956 -x1258 -x909 -x560 -x6512 -x6161 -x5810 -x4055 -x3704 -x3002 -x2653 -x2304 -x908 -x559 -x8265 -x4053 -x3702 -x3000
-x2651 -x8264 -x3701 -x2999 -x2650 -x8263 -x7912 -x7561 -x7210 -x6859 -x3700 -x3347 -x2998 -x2649 -x1253 -x8262 -x7911 -x7560 -x7209 -x6858
-x4050 -x3699 -x3346 -x2997 -x2648 -x1252 -x8261 -x4049 -x3698 -x2996 -x2647 -x7909 -x7558 -x7207 -x6856 -x3344 -x1250 -x5100 -x4749 -x4398
-x3696 -x2994 -x1598 -x202 -x7907 -x7556 -x7205 -x6854 -x6503 -x6152 -x5801 -x5450 -x4046 -x3342 -x2295 -x1946 -x1248 -x899 -x550 -x6502
-x6151 -x5800 -x5449 -x5098 -x4747 -x4396 -x3694 -x2992 -x2294 -x1945 -x1596 -x898 -x549 -x200 -x8256 -x6501 -x6150 -x5799 -x5448 -x5097
-x4746 -x4395 -x3693 -x2991 -x2642 -x2293 -x1944 -x1595 -x897 -x548 -x199 -x8255 -x4043 -x3692 -x2990 -x2641 -x6499 -x6148 -x5797 -x5446
-x4042 -x2291 -x1942 -x895 -x546 -x8253 -x4041 -x3690 -x2988 -x2639 -x6497 -x6146 -x5795 -x5444 -x4040 -x2289 -x1940 -x893 -x544 -x8251
-x4039 -x3688 -x2986 -x2637 -x3687 -x2985 -x7898 -x7547 -x7196 -x6845 -x6494 -x6143 -x5792 -x5090 -x4739 -x4388 -x4037 -x3686 -x3333 -x2984
-x2286 -x1937 -x1588 -x1239 -x890 -x541 -x192 -x3685 -x2983 -x2634 -x6492 -x6141 -x5790 -x5439 -x4035 -x3684 -x2982 -x2633 -x2284 -x1935
-x888 -x539 -x8246 -x3683 -x2981 -x2632 -x6490 -x6139 -x5788 -x5437 -x5086 -x4735 -x4384 -x4033 -x3682 -x2980 -x2631 -x2282 -x1933 -x1584
-x886 -x537 -x188 -x8244 -x5436 -x3681 -x2979 -x2630 -x1932 -x8243 -x6488 -x6137 -x5786 -x5435 -x4031 -x2629 -x2280 -x1931 -x884 -x535
-x3679 -x2977 -x8241 -x2627 -x8240 -x2626 -x8239 -x6484 -x6133 -x5782 -x5431 -x4027 -x2625 -x2276 -x1927 -x880 -x531 -x3322 -x2624 -x1228
-x6483 -x6132 -x5781 -x5079 -x4728 -x4377 -x4026 -x3675 -x2972 -x2274 -x1925 -x1576 -x878 -x529 -x180 -x6482 -x6131 -x5780 -x5429 -x2273
-x1924 -x877 -x528 -x8236 -x5428 -x5077 -x4726 -x4375 -x3673 -x2970 -x2621 -x1923 -x1574 -x178 -x8235 -x6480 -x6129 -x5778 -x5076 -x4725
-x4374 -x3672 -x2969 -x2620 -x2271 -x1573 -x875 -x526 -x177 -x7883 -x7532 -x7181 -x6830 -x5075 -x4724 -x4373 -x4022 -x3317 -x1572 -x1223
-x176 -x8233 -x6478 -x6127 -x5776 -x5425 -x4021 -x2618 -x2269 -x1920 -x873 -x524 -x8232 -x7881 -x7530 -x7179 -x6828 -x3669 -x3315 -x2966
-x2617 -x1221 -x3668 -x8230 -x7879 -x7528 -x7177 -x6826 -x3667 -x3314 -x2965 -x2616 -x1220 -x7878 -x7527 -x7176 -x6825 -x6474 -x6123 -x5772
-x5421 -x4017 -x3666 -x3313 -x2964 -x2615 -x2266 -x1219 -x870 -x521 -x8228 -x7877 -x7526 -x7175 -x6824 -x3665 -x3312 -x2963 -x2614 -x1218
-x7876 -x7525 -x7174 -x6823 -x6472 -x6121 -x5770 -x4015 -x3311 -x2613 -x2264 -x1915 -x1217 -x868 -x519 -x8226 -x5067 -x4716 -x4365 -x3663
-x2961 -x2612 -x1565 -x169 -x8225 -x7874 -x7523 -x7172 -x6821 -x5066 -x4715 -x4364 -x4013 -x3309 -x2611 -x1564 -x1215 -x168 -x8224 -x3661
-x2959 -x2610 -x8223 -x7872 -x7521 -x7170 -x6819 -x3660 -x3307 -x2958 -x2609 -x1213 -x8222 -x7871 -x7520 -x7169 -x6818 -x6467 -x6116 -x5765
-x5414 -x3306 -x2608 -x2259 -x1910 -x1212 -x863 -x514 -x8221 -x4009 -x3658 -x2956 -x2607 -x8220 -x6465 -x6114 -x5763 -x5412 -x3657 -x2955
-x2606 -x2257 -x1908 -x861 -x512 -x7868 -x7517 -x7166 -x6815 -x6464 -x6113 -x5762 -x5060 -x4709 -x4358 -x4007 -x3656 -x3303 -x2954 -x2256
-x1558 -x1209 -x860 -x511 -x162 -x8218 -x4006 -x3655 -x2953 -x2604 -x8217 -x7866 -x7515 -x7164 -x6813 -x4005 -x3654 -x3301 -x2952 -x2603
-x1207 -x8216 -x4004 -x3653 -x2951 -x2602 -x8215 -x4003 -x3652 -x2950 -x2601 -x8214 -x7863 -x7512 -x7161 -x6810 -x5055 -x4704 -x4353 -x4002
-x3651 -x3298 -x2949 -x2600 -x1553 -x1204 -x157 -x7862 -x7511 -x7160 -x6809 -x6458 -x6107 -x5756 -x4001 -x3297 -x2599 -x2250 -x1901 -x1203
-x854 -x505 -x7861 -x7510 -x7159 -x6808 -x6457 -x6106 -x5755 -x5404 -x4000 -x3649 -x3296 -x2947 -x2598 -x2249 -x1202 -x853 -x504 -x8211
-x3999 -x3648 -x2946 -x2597 -x7859 -x7508 -x7157 -x6806 -x6455 -x6104 -x5753 -x5402 -x3998 -x3294 -x2247 -x1898 -x1200 -x851 -x502 -x5050
-x4699 -x4348 -x3997 -x3646 -x2944 -x1548 -x152 -x7857 -x7506 -x7155 -x6804 -x6453 -x6102 -x5751 -x5049 -x4698 -x4347 -x3996 -x3292 -x2245
-x1896 -x1547 -x1198 -x849 -x500 -x151 -x8207 -x7856 -x7505 -x7154 -x6803 -x3995 -x3291 -x2593 -x1197 -x8206 -x7855 -x7504 -x7153 -x6802
-x3643 -x3290 -x2941 -x2592 -x1196 -x8205 -x5046 -x4695 -x4344 -x3993 -x3642 -x2940 -x2591 -x1544 -x148 -x8204 -x6449 -x6098 -x5747 -x5396
-x3992 -x3641 -x2939 -x2241 -x1892 -x845 -x496 -x8203 -x6448 -x6097 -x5746 -x5395 -x3991 -x2589 -x2240 -x1891 -x844 -x495 -x8202 -x7851
-x7500 x7149 -x6798 -x6447 -x6096 -x5745 -x5394 -x5043 -x4692 -x4341 -x3990 -x3639 -x3286 -x2937 -x2588 -x2239 -x1890 -x1541 -x1192 -x843
-x494 x145 -x8201 -x3989 -x3638 -x2936 -x2587 -x8200 -x5041 -x4690 -x4339 -x3988 -x3637 -x2935 -x2586 -x1539 -x143 -x5039 -x4688 -x4337
-x1537 -x141 -x8197 -x3985 -x3634 -x2932 -x2583 -x8196 -x5037 -x4686 -x4335 -x3984 -x3633 -x2931 -x2582 -x1535 -x139 -x8195 -x7844 -x7493
-x7142 -x6791 -x3983 -x3632 -x3279 -x2930 -x2581 -x1185 -x8194 -x3982 -x3631 -x2929 -x2580 -x7842 -x7491 -x7140 -x6789 -x6438 -x6087 -x5736
-x5385 -x5034 -x4683 -x4332 -x3981 -x3630 -x3277 -x2928 -x2579 -x2230 -x1532 -x1183 -x834 -x485 -x136 -x8192 -x6437 -x6086 -x5735 -x5033
-x4682 -x4331 -x3980 -x2578 -x2229 -x1531 -x833 -x484 -x135 -x8191 -x3979 -x3628 -x2926 -x2577 -x5031 -x4680 -x4329 -x3978 -x3627 -x2925
-x1529 -x133 -x8189 -x7838 -x7487 -x7136 -x6785 -x3977 -x3626 -x3273 -x2924 -x2575 -x1179 -x8188 -x7837 -x7486 -x7135 -x6784 -x3976 -x3625
-x3272 -x2923 -x2574 -x1178 -x3975 -x8186 -x3623 -x2921 -x2572 -x8185 -x3973 -x3622 -x2920 -x2571 -x8184 -x7833 -x7482 -x7131 -x6780 -x6429
-x6078 -x5727 -x3972 -x3621 -x3268 -x2919 -x2570 -x2221 -x1872 -x1174 -x825 -x476 -x8183 -x5375 -x2569 -x1871 -x8182 -x7831 -x7480 -x7129
-x6778 -x5023 -x4672 -x4321 -x3970 -x3619 -x3266 -x2917 -x2568 -x1521 -x1172 -x125 -x8180 -x7829 -x7478 -x7127 -x6776 -x5372 -x3968 -x3264
-x2566 -x1868 -x1170 -x8179 -x7828 -x7477 -x7126 -x6775 -x3967 -x3616 -x3263 -x2914 -x2565 -x1169 -x8178 -x5019 -x4668 -x4317 -x3966 -x2564
-x1517 -x121 -x8177 -x3965 -x3614 -x2912 -x2563 -x8176 -x7825 -x7474 -x7123 -x6772 -x6421 -x6070 -x5719 -x3964 -x3260 -x2562 -x2213 -x1864
-x1166 -x817 -x468 -x8175 -x7824 -x7473 -x7122 -x6771 -x3259 -x2561 -x1165 -x8174 -x6419 -x6068 -x5717 -x5366 -x3611 -x2909 -x2560 -x2211
-x1862 -x815 -x466 -x7822 -x7471 -x7120 -x6769 -x6418 -x6067 -x5716 -x5365 -x5014 -x4663 -x4312 -x3961 -x3257 -x2210 -x1861 -x1512 -x1163
-x814 -x465 -x116 -x8172 -x2558 -x8171 -x7820 -x7469 -x7118 -x6767 -x3608 -x3255 -x2906 -x2557 -x1161 -x7819 -x7468 -x7117 -x6766 -x6415
-x6064 -x5713 -x5362 -x5011 -x4660 -x4309 -x3958 -x3254 -x2556 -x2207 -x1858 -x1509 -x1160 -x811 -x462 -x113 -x8169 -x7818 -x7467 -x7116
-x6765 -x3957 -x3606 -x3253 -x2904 -x2555 -x1159 -x7817 -x7466 -x7115 -x6764 -x6413 -x6062 -x5711 -x5360 -x5009 -x4658 -x4307 -x3956 -x3252
-x2205 -x1856 -x1507 -x1158 -x809 -x460 -x111 -x8167 -x5008 -x4657 -x4306 -x3604 -x2902 -x2553 -x1506 -x110 -x7815 -x7464 -x7113 -x6762
-x5007 -x4656 -x4305 -x3954 -x3250 -x1505 -x1156 -x109 -x5006 -x4655 -x4304 -x3953 -x3602 -x2900 -x1504 -x108 -x5005 -x4654 -x4303 -x3601
-x2899 -x2550 -x1503 -x107 -x8163 -x7812 -x7461 -x7110 -x6759 -x5004 -x4653 -x4302 -x3951 -x3600 -x3247 -x2898 -x2549 -x1502 -x1153 -x106
-x8162 -x3599 -x2897 -x2548 -x6406 -x6055 -x5704 -x3949 -x3598 -x2896 -x2198 -x802 -x453 -x8159 -x7808 -x7457 -x7106 -x6755 -x6404 -x6053
-x5702 -x5000 -x4649 -x4298 -x3947 -x8158 -x3946 -x3595 -x2894 -x2545 -x8157 -x7806 -x7455 -x7104 -x6753 -x6402 -x6051 -x5700 -x3945 -x3594
-x3242 -x2893 -x2544 -x2195 -x1846 -x1148 -x799 -x450 -x8156 -x3944 -x3593 -x2892 -x2543 -x8155 -x7804 -x7453 -x7102 -x6751 -x6400 -x6049
-x5698 -x3943 -x3592 -x3240 -x2891 -x2542 -x2193 -x1146 -x797 -x448 -x4994 -x4643 -x4292 -x3941 -x3590 -x2889 -x2540 -x1493 -x97 -x8152
-x3589 -x2888 -x2539 -x8151 -x3939 -x3588 -x2887 -x2538 -x6395 -x6044 -x5693 -x5342 -x2188 -x1839 -x792 -x443 -x8149 -x7798 -x7447 -x7096
-x6745 -x6394 -x6043 -x5692 -x4990 -x4639 -x4288 -x3937 -x3234 -x2536 -x2187 -x1489 -x1140 -x791 -x442 -x93 -x8147 -x7796 -x7445 -x7094
-x6743 -x5339 -x3935 -x3584 -x3232 -x2883 -x2534 -x1836 -x1138 -x8146 -x6391 -x6040 -x5689 -x3934 -x3583 -x2882 -x2533 -x2184 -x1835 -x788
-x439 -x3582 -x2881 -x8144 -x3932 -x3581 -x2880 -x2531 -x8143 -x7792 -x7441 -x7090 -x6739 -x6388 -x6037 -x5686 -x3931 -x3580 -x3228 -x2879
-x2530 -x2181 -x1832 -x1134 -x785 -x436 -x8142 -x7791 -x7440 -x7089 -x6738 -x4983 -x4632 -x4281 -x3930 -x3579 -x3227 -x2878 -x2529 -x1482
-x1133 -x86 -x8141 -x3929 -x3578 -x2877 -x2528 -x8140 -x7789 -x7438 -x7087 -x6736 -x6385 -x6034 -x5683 -x3928 -x3577 -x3225 -x2876 -x2527
-x2178 -x1131 -x782 -x433 -x7788 -x7437 -x7086 -x6735 -x6384 -x6033 -x5682 -x3927 -x3576 -x3224 -x2875 -x2526 -x2177 -x1828 -x1130 -x781
-x432 -x8138 -x7787 -x7436 -x7085 -x6734 -x3926 -x3575 -x3223 -x2874 -x2525 -x1129 -x8137 -x7786 -x7435 -x7084 -x6733 -x6382 -x6031 -x5680
-x5329 -x3925 -x3222 -x2524 -x2175 -x1826 -x1128 -x779 -x430 -x8136 -x6381 -x6030 -x5679 -x5328 -x3924 -x3573 -x2872 -x2523 -x2174 -x1825
-x778 -x429 -x8135 -x3923 -x3572 -x2871 -x2522 -x8134 -x3922 -x3571 -x2870 -x2521 -x8133 -x7782 -x7431 -x7080 -x6729 -x7781 -x7430 -x7079
-x6728 -x6377 -x6026 -x5675 -x5324 -x4973 -x4622 -x4271 -x3920 -x3569 -x3218 -x2869 -x2520 -x2171 -x1822 -x1473 -x1124 -x775 -x426 x77
-x8131 -x7780 -x7429 -x7078 -x6727 -x6376 -x6025 -x5674 -x5323 -x3919 -x3217 -x2519 -x2170 -x1821 -x1123 -x774 -x425 -x7779 -x7428 -x7077
-x6726 -x6375 -x6024 -x5673 -x5322 -x4971 -x4620 -x4269 -x3918 -x3216 -x2169 -x1820 -x1471 -x1122 -x773 -x424 -x75 -x8129 -x6374 -x6023
-x5672 -x5321 -x3917 -x2517 -x2168 -x1819 -x772 -x423 -x8128 -x3916 -x3565 -x2865 -x2516 -x8127 -x7776 -x7425 -x7074 -x6723 -x3915 -x3564
-x3213 -x2864 -x2515 -x1119 -x8126 -x7775 -x7424 -x7073 -x6722 -x3914 -x3563 -x3212 -x2863 -x2514 -x1118 -x8125 -x7774 -x7423 -x7072 -x6721
-x6370 -x6019 -x5668 -x4966 -x4615 -x4264 -x3913 -x3211 -x2513 -x2164 -x1815 -x1466 -x1117 -x768 -x419 -x70 -x8124 -x7773 -x7422 -x7071
-x6720 -x3912 -x3561 -x3210 -x2861 -x2512 -x1116 -x8123 -x7772 -x7421 -x7070 -x6719 -x6368 -x6017 -x5666 -x3911 -x3209 -x2511 -x2162 -x1813
-x1115 -x766 -x417 -x7771 -x7420 -x7069 -x6718 -x6367 -x6016 -x5665 -x5314 -x4963 -x4612 -x4261 -x3910 -x3208 -x2510 -x2161 -x1812 -x1463
-x1114 -x765 -x416 -x67 -x8121 -x4962 -x4611 -x4260 -x3909 -x3558 -x2858 -x2509 -x1462 -x66 -x7769 -x7418 -x7067 -x6716 -x6365 -x6014 -x5663
-x5312 -x4961 -x4610 -x4259 -x3908 -x3206 -x2508 -x2159 -x1810 -x1461 -x1112 -x763 -x414 -x65 -x8119 -x7768 -x7417 -x7066 -x6715 -x3907
-x3556 -x3205 -x2856 -x2507 -x1111 -x8118 -x3555 -x2855 -x2506 -x7766 -x7415 -x7064 -x6713 -x6362 -x6011 -x5660 -x4958 -x4607 -x4256 -x3905
-x8116 -x5308 -x3904 -x3553 -x2854 -x2505 -x8115 -x5307 -x3903 -x3552 -x2853 -x2504 -x8114 -x7763 -x7412 -x7061 -x6710 -x3902 -x3551 -x3201
-x2852 -x2503 -x1107 -x7762 -x7411 -x7060 -x6709 -x6358 -x6007 -x5656 -x5305 -x4954 -x4603 -x4252 -x3901 -x3200 -x2502 -x2153 -x1804 -x1455
-x1106 -x757 -x408 -x59 -x8112 -x7761 -x7410 -x7059 -x6708 -x6357 -x6006 -x5655 -x5304 -x4953 -x4602 -x4251 -x3199 -x2501 -x2152 -x1803
-x1454 -x1105 -x756 -x407 -x58 -x8111 -x3899 -x3548 -x2849 -x2500 -x8110 -x7759 -x7408 -x7057 -x6706 -x6355 -x6004 -x5653 -x4951 -x4600
-x4249 -x3898 -x3197 -x2499 -x2150 -x1801 -x1452 -x1103 -x754 -x405 -x56 -x7758 -x7407 -x7056 -x6705 -x6354 -x6003 -x5652 -x4950 -x4599
-x4248 -x3897 -x8108 -x7757 -x7406 -x7055 -x6704 -x3896 -x3545 -x3196 -x2847 -x2498 -x1102 -x7756 -x7405 -x7054 -x6703 -x3895 -x3544 -x3195
-x2846 -x1101 -x8106 -x3543 -x2845 -x2496 -x8105 -x6350 -x5999 -x5648 -x5297 -x3893 -x3542 -x2844 -x2495 -x2146 -x1797 -x750 -x401 -x8104
-x7753 -x7402 -x7051 -x6700 -x3892 -x3541 -x3192 -x2843 -x2494 -x1098 -x8103 -x7752 -x7401 -x7050 -x6699 -x3891 -x3540 -x3191 -x2842 -x2493
-x1097 -x7751 -x7400 -x7049 -x6698 -x3890 -x3539 -x3190 -x2841 -x1096 -x8101 -x7750 -x7399 -x7048 -x6697 -x6346 -x5995 -x5644 -x5293 -x3889
-x3189 -x2491 -x2142 -x1793 -x1095 -x746 -x397 -x8099 -x3536 -x2838 -x2489 -x6343 -x5992 -x5641 -x5290 -x2139 -x1790 -x743 -x394 -x8097
-x3885 -x3534 -x2836 -x2487 -x8096 -x7745 -x7394 -x7043 -x6692 -x4937 -x4586 -x4235 -x3184 -x2486 -x1439 -x1090 -x43 -x8095 -x2485 -x6339
-x5988 -x5637 -x3882 -x3531 -x2833 -x2135 -x1786 -x739 -x390 -x8093 -x6338 -x5987 -x5636 -x5285 -x3881 -x2483 -x2134 -x1785 -x738 -x389
-x8092 -x2482 -x7740 -x7389 -x7038 -x6687 -x4932 -x4581 -x4230 -x3528 -x3179 -x2830 -x1434 -x1085 -x38 -x8089 -x6334 -x5983 -x5632 -x3877
-x2479 -x2130 -x1781 -x734 -x385 -x7737 -x7386 -x7035 -x6684 -x6333 -x5982 -x5631 -x5280 -x4929 -x4578 -x4227 -x3876 -x3525 -x3176 -x2827
-x2129 -x1431 -x1082 -x733 -x384 -x35 -x7736 -x7385 -x7034 -x6683 -x6332 -x5981 -x5630 -x5279 -x4928 -x4577 -x4226 -x3875 -x3175 -x2477
-x2128 -x1430 -x1081 -x732 -x383 -x34 -x8086 -x3874 -x3523 -x2825 -x2476 -x6330 -x5979 -x5628 -x5277 -x4926 -x4575 -x4224 -x3522 -x2824
-x2126 -x1777 -x1428 -x730 -x381 -x32 -x6329 -x5978 -x5627 -x5276 -x4925 -x4574 -x4223 -x3521 -x2823 -x2125 -x1776 -x1427 -x729 -x380 -x31
-x8083 -x7732 -x7381 -x7030 -x6679 -x6328 -x5977 -x5626 -x4924 -x4573 -x4222 -x3871 -x3171 -x2473 -x2124 -x1775 -x1426 -x1077 -x728 -x379
-x30 -x7731 -x7380 -x7029 -x6678 -x4923 -x4572 -x4221 -x3870 -x3519 -x3170 -x2821 -x2472 -x1425 -x1076 -x29 -x7730 -x7379 -x7028 -x6677
-x6326 -x5975 -x5624 -x5273 -x4922 -x4571 -x4220 -x3869 -x3169 -x2471 -x2122 -x1773 -x1424 -x1075 -x726 -x377 -x28 -x7729 -x7378 -x7027
-x6676 -x3868 -x3168 -x2470 -x1074 -x5271 -x3867 -x3516 -x2818 -x8078 -x7727 -x7376 -x7025 -x6674 -x4919 -x4568 -x4217 -x3866 -x3515 -x3166
-x2817 -x1421 -x1072 -x25 -x8077 -x7726 -x7375 -x7024 -x6673 -x6322 -x5971 -x5620 -x5269 -x4918 -x4567 -x4216 -x3165 -x2467 -x2118 -x1769
-x1420 -x1071 -x722 -x373 -x24 -x8076 -x2466 -x8075 -x3863 -x3512 -x2814 -x2465 -x8074 -x3862 -x3511 -x2813 -x2464 -x8073 -x7722 -x7371
-x7020 -x6669 -x6318 -x5967 -x5616 -x5265 -x4914 -x4563 -x4212 -x3861 -x3161 -x2463 -x2114 -x1416 -x1067 -x718 -x369 -x20 -x7721 -x7370
-x7019 -x6668 -x6317 -x5966 -x5615 -x5264 -x4913 -x4562 -x4211 -x3860 -x3509 -x3160 -x2811 -x2462 -x2113 -x1764 -x1415 -x1066 -x717 x368
-x19 -x7720 -x7369 -x7018 -x6667 -x5263 -x4912 -x4561 -x4210 -x3508 -x3159 -x2810 -x1763 -x1414 -x1065 -x18 -x7719 -x7368 -x7017 -x6666
-x6315 -x5964 -x5613 -x5262 -x4911 -x4560 -x4209 -x3858 -x3158 -x2111 -x1762 -x1413 -x1064 -x715 -x366 -x17 -x8069 -x7718 -x7367 -x7016
-x6665 -x5261 -x4910 -x4559 -x4208 -x3506 -x3157 -x2808 -x1761 -x1412 -x1063 -x16 -x7717 -x7366 -x7015 -x6664 -x4909 -x4558 -x4207 -x3856
-x3505 -x3156 -x2807 -x1411 -x1062 -x15 -x8067 -x4908 -x4557 -x4206 -x3855 -x3504 -x2806 -x2457 -x1410 -x14 -x8066 -x3854 -x3503 -x2805
-x2456 -x8065 -x5257 -x3853 -x3502 -x2804 -x2455 -x8064 -x5256 -x3501 -x2803 -x2454 -x8063 -x7712 -x7361 -x7010 -x6659 -x6308 -x5957 -x5606
-x5255 -x4904 -x4553 -x4202 -x3500 -x3151 -x2802 -x2453 -x2104 -x1406 -x1057 -x708 -x359 -x10 -x5254 -x3850 -x1754 -x8061 -x5253 -x3498
-x2800 -x2451 -x1753 -x5251 -x4900 -x4549 -x4198 -x1402 -x6 -x8058 -x7707 -x7356 -x7005 -x6654 -x6303 -x5952 -x5601 -x3846 -x3495 -x3146
-x2797 -x2448 -x2099 -x1750 -x1052 -x703 -x354 -x7706 -x7355 -x7004 -x6653 -x6302 -x5951 -x5600 -x3145 -x2098 -x1749 -x1051 -x702 -x353
-x8056 -x6301 -x5950 -x5599 -x5248 -x3844 -x3493 -x2795 -x2446 -x2097 -x1748 -x701 -x352 -x6300 -x5949 -x5598 -x5247 -x3843 -x2096 -x1747
-x700 -x351 -x2793 x2095 -x8053 -x7702 -x7351 x7000 x3140 -x8052 -x7701 -x7350 -x6999 -x5946 x4191 -x3840 x3488 -x3139 -x2441 -x2092 -x1394
-x8051 -x7700 -x7349 -x6998 -x6647 x6296 -x5945 -x5594 -x5243 -x4892 -x4541 -x3487 -x2440 -x2091 -x1742 x1393 -x1044 -x695 -x346 -x8401
-x8050 -x7699 -x7348 -x6997 -x3486 x1392 -x8049 -x7698 -x7347 x6996 -x6645 -x6294 -x5943 -x5241 -x4890 -x4539 -x4188 -x3837 -x3485 -x3136
-x2438 -x1740 -x1391 x1042 -x693 -x344 -x6644 x6293 -x5942 x2786 -x2437 -x1041 -x692 x5590 -x5239 -x4888 -x4537 x1738 -x342 -x8046 -x7695
-x7344 x6993 x2435 -x2086 -x1737 -x1039 -x690 -x341 -x8396 x3833 -x3132 x2783 x8044 -x7693 -x7342 -x6991 -x6640 -x6289 -x5938 -x5587 -x5236
-x4885 -x4534 -x3480 -x2433 x2084 -x1735 -x1386 -x1037 -x688 -x339 x8394 x2083 -x8393 -x6638 -x6287 -x5936 -x5585 x5234 -x2780 -x2431 -x2082
x1035 -x686 -x8392 -x8041 -x7690 -x7339 x6988 -x6637 -x6286 -x5935 -x5584 -x5233 -x4882 -x4531 -x4180 -x3477 -x2779 -x2430 -x2081 -x1732
-x1383 x1034 -x685 -x336 x6285 -x4179 x2778 -x8039 x7688 -x7337 -x6986 -x6635 -x6284 -x5933 -x5582 -x5231 -x4880 -x4529 -x3475 -x2428 -x2079
-x1730 -x1381 x1032 -x683 -x334 -x5581 x4177 -x3826 x3125 -x6633 -x6282 -x5931 x5229 -x4878 -x4527 x2426 -x1728 -x1030 -x681 -x332 -x8387
x3824 -x3123 x2774 -x8035 x7684 -x7333 -x6982 -x5227 -x4876 -x4525 -x3823 -x3471 -x3122 x1726 -x1377 -x330 -x8385 x3822 -x3121 x2772 -x8033
-x7682 -x7331 -x6980 -x5576 x5225 -x4874 -x4523 x3469 -x1724 -x1375 -x328 -x8032 -x7681 -x7330 -x6979 x5575 x3468 -x1374 -x8031 x7680 -x7329
-x6978 -x5574 -x5223 -x4872 -x4521 -x3467 -x1722 -x1373 x326 -x8030 x7679 -x7328 -x6977 -x6626 -x6275 -x5924 -x5573 -x3466 -x2419 -x2070
-x1372 x1023 -x674 x5572 -x8028 -x7677 -x7326 x6975 -x3816 -x3464 x3115 -x1370 -x5219 -x4868 x4517 -x4166 -x3815 x3114 -x1718 -x322 -x8026
-x7675 -x7324 x6973 -x3814 -x3462 x3113 -x1368 -x6621 -x6270 -x5919 -x5568 x4164 -x2414 x2065 -x1018 -x669 -x5216 -x4865 -x4514 x4163 x1715
-x319 -x6619 -x6268 -x5917 -x5566 -x5215 -x4864 x4513 x2412 -x2063 -x1714 -x1016 -x667 -x318 -x5565 x3810 -x3109 x2062 -x6617 -x6266 -x5915
x3809 -x3108 -x2410 x1014 -x665 -x8020 -x7669 -x7318 x6967 -x5563 -x3808 -x3456 x3107 -x1362 -x8019 -x7668 -x7317 -x6966 -x6615 -x6264 x5913
-x5562 -x5211 -x4860 -x4509 -x3455 -x2408 -x2059 -x1710 x1361 -x1012 -x663 -x314 -x8018 x7667 -x7316 -x6965 -x6614 -x6263 -x5912 -x5561
-x5210 -x4859 -x4508 -x4157 -x3806 -x3454 -x3105 -x2407 -x2058 -x1709 -x1360 x1011 -x662 -x313 -x8017 x7666 -x7315 -x6964 -x6613 -x6262
-x5911 -x5560 -x4156 -x3453 -x2406 -x2057 -x1359 x1010 -x661 x1707 -x311 -x8016 x7665 -x7314 -x6963 -x6612 -x6261 -x5910 -x5559 -x5208
-x4857 -x4506 -x4155 -x3451 -x2404 -x2055 -x1706 -x1357 x1008 -x659 -x310 -x6611 -x6260 -x5909 -x5558 x4154 -x3803 -x3101 -x2403 x2054
-x1007 -x658 -x8365 -x6610 -x6259 -x5908 -x5557 x4153 -x3802 -x3100 -x2751 -x2402 -x2053 x1006 -x657 -x8364 x3801 -x3099 x2750 x5554 -x5203
-x4852 -x4501 x1701 -x305 -x6606 -x6255 -x5904 -x5553 -x5202 -x4851 -x4500 x3798 -x3096 x2398 -x2049 -x1700 -x1002 -x653 -x304 -x8360 -x6254
-x5552 x5201 -x3797 -x3095 x2048 -x8359 -x8008 -x7657 -x7306 -x6955 -x6604 -x6253 x5902 -x5551 -x5200 -x4849 -x4498 -x3443 -x2396 -x2047
-x1698 x1349 -x1000 -x651 -x302 -x6602 -x6251 -x5900 -x5198 -x4847 x4496 -x2394 x2045 -x1696 -x998 -x649 -x300 -x8005 -x7654 -x7303 -x6952
-x6601 x6250 -x5899 -x5548 -x5197 -x4846 -x4495 -x3440 -x2393 -x2044 -x1695 x1346 -x997 -x648 -x299 -x8004 -x7653 -x7302 -x6951 -x6600
-x6249 -x5898 -x5547 -x5196 -x4845 x4494 x3439 -x2392 -x2043 -x1694 -x1345 -x996 -x647 -x298 -x8003 -x7652 x7301 -x6950 -x6599 -x6248 -x5897
-x5546 -x3438 -x2391 -x2042 -x1344 x995 -x646 -x3088 x2390 -x1692 -x994 -x645 -x296 -x8002 -x7651 -x7300 -x6949 -x6598 -x6247 -x5896 -x5545
-x5194 -x4843 x4492 -x3436 -x2389 -x2040 -x1691 x1342 -x993 -x644 -x295 x8352 -x5193 -x4842 -x4491 -x1690 x294 -x8351 -x8000 -x7649 -x7298
x6947 -x3434 x2736 -x1340 x8350 -x8349 -x7998 -x7647 -x7296 -x6945 -x5190 -x4839 x4488 -x3432 -x2734 -x1687 x1338 -x291 x8348 -x6592 x6241
-x5890 -x5539 -x4135 -x3784 x3082 -x2384 -x2035 -x988 -x639 -x6591 -x6240 -x5889 -x5538 x4134 -x2383 -x2034 -x987 x638 -x8345 -x5537 x2731
-x7993 -x7642 -x7291 x6940 -x3781 -x3428 x3079 -x1334 -x7992 -x7641 -x7290 -x6939 x5184 -x4833 -x4482 -x3427 -x1682 x1333 -x286 -x7991
-x7640 -x7289 -x6938 x5534 x3426 -x1332 -x8341 x7990 -x7639 -x7288 -x6937 -x5533 -x3425 x2727 -x1331 -x7989 x7638 -x7287 -x6936 -x5181
-x4830 -x4479 -x4128 -x3424 x1679 -x1330 -x283 -x7988 -x7637 -x7286 -x6935 -x5180 -x4829 x4478 -x3423 -x1678 x1329 -x282 x8338 -x5530 -x3775
x3073 -x6582 x6231 -x5880 -x5178 -x4827 -x4476 -x3774 -x3072 -x2374 -x2025 x1676 -x978 -x629 -x280 -x7985 -x7634 -x7283 x6932 -x6581 -x6230
-x5879 -x5528 -x5177 -x4826 -x4475 -x3420 -x2373 -x2024 -x1675 -x1326 x977 -x628 -x279 -x7984 x7633 -x7282 -x6931 -x5176 -x4825 -x4474
-x3419 -x1674 -x1325 x278 -x7983 -x7632 -x7281 x6930 -x6579 -x6228 -x5877 -x5526 -x5175 -x4824 -x4473 -x3418 -x2371 -x2022 -x1673 -x1324
x975 -x626 -x277 -x6578 x6227 -x5876 -x4121 -x8332 x3769 -x3068 x2719 -x7980 -x7629 -x7278 -x6927 -x6576 -x6225 x5874 -x3416 -x2369 x1322
-x973 -x624 x8330 -x5522 -x7978 -x7627 -x7276 -x6925 -x5170 x4819 -x4468 -x4117 -x3414 -x1669 x1320 -x273 -x6573 -x6222 -x5871 -x5169 x4818
-x4467 x2366 -x1668 -x970 -x621 -x272 -x7976 -x7625 -x7274 x6923 -x3412 x2016 -x1318 x8326 -x3763 x3062 -x8325 -x6570 x6219 -x5868 -x5517
x2712 -x2363 -x2014 -x967 -x618 x8324 -x5165 -x4814 -x4463 x1664 -x268 -x7972 -x7621 -x7270 -x6919 -x6568 -x6217 x5866 -x5164 -x4813 -x4462
-x3408 -x2361 -x1663 x1314 -x965 -x616 -x267 -x8322 x5514 x2709 x5513 -x5162 -x4811 -x4460 -x1661 x265 -x8320 -x5512 x2707 x8319 -x5160
-x4809 -x4458 x1659 -x263 -x5159 -x4808 -x4457 -x1658 x262 -x7966 -x7615 -x7264 -x6913 -x6562 -x6211 x5860 -x5509 -x3402 -x2355 -x2006 x1308
-x959 -x610 -x5157 x4806 -x4455 x2005 -x1656 -x260 x5507 -x3752 x3051 -x6559 -x6208 -x5857 -x5506 -x5155 -x4804 x4453 -x2352 -x2003 -x1654
x956 -x607 -x258 -x5505 -x5154 x4803 -x4452 x2002 -x1653 -x257 -x6557 -x6206 -x5855 x5504 x2350 -x2001 -x954 -x605 x8311 -x3748 x3047 -x7959
-x7608 -x7257 x6906 -x6555 -x6204 -x5853 -x5151 -x4800 -x4449 -x4098 -x3395 -x2348 -x1650 -x1301 x952 -x603 -x254 -x7958 x7607 -x7256 -x6905
-x6554 -x6203 -x5852 -x5501 -x5150 -x4799 -x4448 -x3394 -x2347 -x1998 -x1649 -x1300 x951 -x602 -x253 x5500 -x3745 x3044 -x7956 -x7605 -x7254
-x6903 x5148 -x4797 -x4446 -x3392 -x1647 x1298 -x251 -x7955 x7604 -x7253 -x6902 -x6551 -x6200 -x5849 -x5147 -x4796 -x4445 -x3391 -x2344
-x1646 -x1297 -x948 x599 -x250 -x8305 x5497 x2692 x5496 -x3741 x3040 -x8303 -x7952 x7601 -x7250 -x6899 -x5144 -x4793 -x4442 -x3388 -x1643
-x1294 x247 -x7951 x7600 -x7249 -x6898 -x5143 -x4792 -x4441 -x3387 x1642 -x1293 -x246 -x8301 x5844 -x5493 x2688 -x1990 -x8300 -x7949 x7598
-x7247 -x6896 -x5141 -x4790 -x4439 -x3385 -x2687 x1640 -x1291 -x244 -x7948 -x7597 -x7246 -x6895 -x6544 -x6193 x5842 -x5491 -x3384 -x2337
-x1988 x1290 -x941 -x592 -x8298 -x7947 -x7596 -x7245 -x6894 -x5139 -x4788 x4437 -x3383 -x2685 -x1638 x1289 -x242 -x5489 x1986 -x6190 x5137
-x7944 x7593 -x7242 -x6891 -x6540 -x6189 -x5838 -x4083 -x3380 -x2333 -x1286 -x937 x588 -x5135 x4784 -x4433 x1983 -x1634 -x238 -x8292 -x5484
-x2679 x1981 -x5132 x4781 -x4430 x1980 -x1631 -x235 -x8290 x3727 -x3026 -x8289 x6534 -x6183 -x5832 -x4077 x2676 -x2327 -x931 -x582 -x7937
x7586 -x7235 -x6884 -x6533 -x6182 -x5831 -x5129 -x4778 -x4427 -x4076 -x3373 -x2326 -x1628 -x1279 x930 -x581 -x232 x8287 -x5128 -x4777 -x4426
x1627 -x231 -x8286 -x5478 -x5127 -x4776 -x4425 x3723 -x3022 -x1626 x230 -x7934 -x7583 -x7232 -x6881 -x6530 -x6179 -x5828 -x5477 -x5126 x4775
-x4424 -x3370 -x2323 -x1974 -x1625 x1276 -x927 -x578 -x229 x8284 -x5125 -x4774 -x4423 x1624 -x228 -x3368 -x1623 x1274 -x227 -x7932 -x7581
-x7230 -x6879 -x6528 -x6177 -x5826 -x5475 x5124 -x4773 -x4422 -x3367 -x2320 -x1971 -x1622 x1273 -x924 -x575 -x226 -x5123 -x4772 -x4421 x4070
x1621 -x225 -x5473 x1969 -x8280 -x7929 -x7578 -x7227 -x6876 -x5121 x4770 -x4419 -x3717 x3364 -x3015 -x2666 -x1619 -x1270 -x223 x6173 -x5120
-x5470 -x5119 -x4768 -x4417 x4066 x1617 -x221 -x7926 -x7575 -x7224 -x6873 -x6522 x6171 -x5820 -x5469 -x3361 -x2314 -x1965 x1267 -x918 -x569
-x7925 -x7574 -x7223 -x6872 -x5117 x4766 -x4415 -x3360 -x1615 x1266 -x219 x6169 -x3712 x3010 -x7923 -x7572 -x7221 -x6870 x5817 x3358 -x1264
x5465 -x3710 x3008 -x8272 -x5464 x5113 -x4762 -x4411 x2658 -x1611 -x215 -x5112 -x4761 x4410 x2657 -x1610 -x214 -x6515 -x6164 -x5813 x5462
-x2307 -x1958 -x911 x562 -x8269 -x5461 x5110 -x4759 -x4408 x1957 -x1608 -x212 -x5109 -x4758 -x4407 x4056 -x2654 x1607 -x211 -x8267 -x5459
-x5108 x4757 -x4406 x1955 -x1606 -x210 -x6862 x6511 -x6160 -x5809 -x5458 -x5107 -x2303 -x1954 x1256 -x209 -x7914 -x7563 -x7212 -x6861 -x6510
-x6159 x5808 -x5106 -x4755 -x4404 -x3349 -x2302 -x1953 -x1604 x1255 -x906 -x557 -x208 -x5105 -x4754 -x4403 x1603 -x207 -x6508 -x6157 x5806
-x5455 -x5104 -x4753 -x4402 -x4051 -x2300 -x1951 -x1602 -x904 -x555 x206 -x6507 x6156 -x5805 -x5454 -x5103 -x4752 -x4401 -x2299 -x1950
-x1601 -x903 -x554 x205 -x7910 x7559 -x7208 -x6857 -x6506 -x6155 -x5804 -x5453 -x5102 -x4751 -x4400 -x3345 -x2298 -x1949 -x1600 -x1251 -x902
x553 -x204 -x8260 -x6505 -x6154 -x5803 -x5452 -x5101 x4750 -x4399 -x2646 -x2297 -x1948 -x1599 x901 -x552 -x203 -x8259 -x7908 x7557 -x7206
-x6855 -x3343 x2645 -x1249 -x8258 -x5099 -x4748 x4397 -x3695 -x2993 x2644 -x1597 -x201 -x8257 x7906 -x7555 -x7204 -x6853 -x3341 x2643 -x1247
-x7905 -x7554 -x7203 -x6852 x4044 x3340 -x1246 -x7904 x7553 -x7202 -x6851 -x6500 -x6149 -x5798 -x5447 -x5096 -x4745 -x4394 -x3339 -x2292
-x1943 -x1594 -x1245 -x896 -x547 x198 -x7903 -x7552 -x7201 -x6850 -x5095 x4744 -x4393 x3338 -x1593 -x1244 -x197 -x7902 -x7551 -x7200 -x6849
-x6498 -x6147 -x5796 -x5445 -x5094 -x4743 x4392 -x3337 -x2290 -x1941 -x1592 x1243 -x894 -x545 -x196 -x7901 x7550 -x7199 -x6848 -x5093 -x4742
-x4391 -x3336 x1591 -x1242 -x195 -x7900 x7549 -x7198 -x6847 -x6496 -x6145 -x5794 -x5443 -x5092 -x4741 -x4390 -x3335 -x2288 -x1939 -x1590
-x1241 -x892 x543 -x194 -x6495 -x6144 -x5793 -x5442 x2287 -x1938 -x891 -x542 -x8249 -x8248 -x7897 -x7546 -x7195 -x6844 -x6493 -x6142 -x5791
-x5440 -x5089 -x4738 x4387 -x4036 -x3332 x2285 -x1936 -x1587 -x1238 -x889 -x540 -x191 -x8247 x7896 -x5088 -x4737 -x4386 x1586 -x190 -x7895
-x7544 -x7193 -x6842 -x6491 -x6140 x5789 -x5438 -x4034 x3330 -x2283 -x1934 -x1236 -x887 -x538 x8245 -x7894 -x7543 -x7192 -x6841 x3329 -x1235
-x7893 -x7542 x7191 -x6840 -x6489 -x6138 -x5787 -x5085 -x4734 -x4383 -x4032 -x3328 -x2281 -x1583 -x1234 -x885 x536 -x187 -x7892 -x7541
-x7190 x6839 -x5084 -x4733 -x4382 -x3327 x1582 -x1233 -x186 -x7888 -x7537 -x7186 -x6835 -x5080 -x4729 x4378 -x3676 x3323 -x2974 -x1578
-x1229 -x182 -x2973 -x2275 -x1926 -x1577 x879 -x530 -x181 -x8238 -x7887 -x7536 -x7185 x6834 -x5430 -x3321 x2623 -x1227 -x7885 -x7534 x7183
-x6832 -x6481 -x6130 -x5779 -x4024 -x3319 -x2272 -x1225 -x876 x527 x7884 -x7533 -x7182 -x6831 -x5427 -x4023 -x3318 x1922 -x1224 -x6479
-x6128 -x5777 x5426 -x2270 -x1921 -x874 x525 -x5074 x4723 -x4372 -x3670 x2967 -x1571 -x175 -x6477 -x6126 x5775 -x5424 -x5073 -x4722 -x4371
-x2268 -x1919 -x1570 -x872 -x523 x174 -x5423 x4721 -x6475 x6124 -x5773 -x5422 -x5071 -x4720 -x4369 -x2267 -x1918 -x1569 -x871 -x522 x173
x8229 x1917 x6473 -x6122 -x5771 -x5420 -x5069 -x4718 -x4367 -x4016 -x2265 -x1916 -x1567 -x869 -x520 x171 -x8227 -x5419 -x5068 x4717 -x4366
-x3664 x2962 -x1566 -x170 -x7875 -x7524 -x7173 -x6822 -x6471 -x6120 x5769 -x5418 -x4014 x3310 -x2263 -x1914 -x1216 -x867 -x518 -x6470 -x6119
-x5768 -x5417 x3662 -x2960 x2262 -x1913 -x866 -x517 -x6469 -x6118 -x5767 -x5416 x2261 -x1912 -x865 -x516 -x6468 -x6117 x5766 -x5415 -x5064
-x4713 -x4362 -x2260 -x1911 -x1562 -x864 -x515 x166 -x5063 -x4712 -x4361 x4010 -x3659 -x2957 x1561 -x165 -x7870 -x7519 -x7168 -x6817 -x6466
-x6115 -x5764 -x5413 -x5062 x4711 -x4360 x3305 -x2258 -x1909 -x1560 -x1211 -x862 -x513 -x164 -x7869 -x7518 -x7167 -x6816 -x5061 -x4710
-x4359 x4008 -x3304 x1559 -x1210 -x163 x8219 -x5411 -x2605 x1907 -x6462 -x6111 -x5760 -x5409 -x2254 x1905 -x858 -x509 -x7865 -x7514 -x7163
-x6812 -x6461 -x6110 x5759 -x5408 -x5057 -x4706 -x4355 -x3300 -x2253 -x1904 -x1555 x1206 -x857 -x508 -x159 -x7864 -x7513 -x7162 -x6811 x3299
-x1205 -x6459 -x6108 -x5757 x5406 x2251 -x1902 -x855 -x506 -x8213 -x5405 -x5054 x4703 -x4352 -x3650 x2948 -x1552 -x156 -x8212 -x5053 x4702
-x4351 x1900 -x1551 -x155 x7860 -x7509 -x7158 -x6807 -x6456 -x6105 -x5754 -x5403 -x5052 -x4701 -x4350 -x3295 -x2248 -x1899 -x1550 -x1201
-x852 -x503 x154 -x8210 x3647 -x2945 x2596 -x6454 -x6103 x5752 -x5401 -x2246 -x1897 -x850 -x501 -x8208 -x5400 x3645 -x2943 x2594 -x6452
x6101 -x5750 -x5399 -x3644 x2942 -x2244 -x1895 -x848 -x499 -x6451 -x6100 -x5749 -x5398 x3994 -x2243 -x1894 -x847 x498 -x7854 -x7503 x7152
-x6801 -x6450 -x6099 -x5748 -x5397 -x3289 -x2242 -x1893 -x1195 x846 -x497 x5045 -x4694 -x4343 x2590 -x1543 -x147 -x7852 -x7501 -x7150 -x6799
-x5044 x4693 -x4342 -x3640 x3287 -x2938 -x1542 -x1193 -x146 -x7850 -x7499 -x7148 -x6797 -x5393 -x5042 x4691 -x4340 x3285 -x1540 -x1191 -x144
-x7849 -x7498 x7147 -x6796 -x6445 -x6094 -x5743 -x5392 -x3284 -x2237 -x1888 -x1190 x841 -x492 -x5742 -x5040 -x4689 x4338 -x3636 -x2934 x2236
-x1887 -x1538 -x142 -x7847 -x7496 -x7145 -x6794 x3635 x3282 -x2933 -x1188 x7846 -x7495 -x7144 -x6793 -x6442 -x6091 -x5740 -x5389 -x3281
-x2234 -x1885 -x1187 x838 -x489 -x7845 -x7494 x7143 -x6792 -x6441 -x6090 -x5739 -x5388 -x3280 x2233 -x1884 -x1186 -x837 -x488 -x6440 -x6089
-x5738 -x5387 x5036 -x4685 -x4334 -x2232 -x1883 -x1534 x836 -x487 -x138 -x7843 -x7492 -x7141 -x6790 -x6439 -x6088 -x5737 -x5386 x5035 -x4684
-x4333 x3278 -x2231 -x1882 -x1533 -x1184 -x835 -x486 -x137 x8193 x1881 -x7841 x7490 -x7139 -x6788 -x5384 -x3276 x1880 -x1182 -x7840 -x7489
-x7138 x6787 -x6436 -x6085 -x5734 -x5383 -x5032 -x4681 -x4330 -x3275 -x2228 -x1879 -x1530 -x1181 x832 -x483 -x134 -x8190 -x7839 -x7488 x7137
-x6786 -x6435 -x6084 -x5733 -x5382 -x3274 -x2576 -x2227 -x1878 -x1180 -x831 x482 -x5381 -x5030 -x4679 -x4328 x1528 -x132 -x6433 -x6082
-x5731 -x5380 -x5029 x4678 -x4327 -x2225 -x1876 -x1527 -x829 x480 -x131 -x7836 x7485 -x7134 -x6783 -x3624 -x3271 x2922 -x1177 -x7484 -x6431
-x6080 x5729 -x5378 -x5027 -x4676 -x4325 -x2223 -x1874 -x1525 -x827 -x478 x129 -x5377 x1873 x5376 -x5025 -x4674 -x4323 -x1523 x127 -x7832
-x7481 -x7130 -x6779 -x6428 -x6077 -x5726 -x5024 -x4673 -x4322 x3971 -x3620 x3267 -x2918 -x2220 -x1522 -x1173 -x824 -x475 -x126 -x6427
-x6076 -x5725 x5374 x2219 -x1870 -x823 -x474 -x8181 -x7830 -x7479 -x7128 -x6777 x3969 -x3265 x1171 x6425 -x6074 -x5723 -x5021 -x4670 -x4319
-x3617 -x2915 -x2217 -x1519 -x821 -x472 x123 -x5371 -x5020 -x4669 -x4318 -x1518 x122 -x7827 x7476 -x7125 -x6774 -x6423 -x6072 -x5721 -x5370
-x3615 -x3262 -x2913 -x2215 -x1866 -x1168 -x819 x470 -x5369 x1865 -x5368 -x3613 x2911 -x6420 -x6069 -x5718 -x5367 -x5016 -x4665 x4314 -x3963
-x3612 -x2910 -x2212 -x1863 -x1514 x816 -x467 -x118 -x7823 -x7472 -x7121 -x6770 x3962 x3258 -x1164 x8173 -x3610 x2908 -x5364 -x5013 -x4662
-x4311 x1511 -x115 -x5012 x4661 -x4310 x1859 -x1510 -x114 x8170 -x3607 x2905 -x6414 x6063 -x5712 -x5361 -x5010 -x4659 -x4308 -x2206 -x1857
-x1508 -x810 -x461 x112 -x8168 x3605 -x2903 x2554 x7816 -x7465 -x7114 -x6763 -x6412 -x6061 -x5710 -x5359 -x3955 -x3251 -x2204 -x1855 -x1157
-x808 x459 -x8166 x6411 -x6060 -x5709 -x5358 -x3603 -x2901 x2552 -x2203 -x1854 -x807 -x458 -x8165 x5357 x2551 x7813 -x7462 -x7111 -x6760
-x6409 -x6058 -x5707 -x3248 -x2201 -x1154 -x805 x456 -x6408 -x6057 -x5706 x5355 -x2200 -x1851 -x804 x455 -x5003 -x4652 -x4301 x3950 x1501
-x105 -x5002 x4651 -x4300 x1849 -x1500 -x104 x7809 -x7458 -x7107 -x6756 -x6405 -x6054 -x5703 -x3244 -x2197 -x1150 x801 -x452 -x5351 x3596
-x6403 -x6052 -x5701 -x4999 x4648 -x4297 -x2196 -x1498 x800 -x451 -x102 x5349 -x4998 -x4647 -x4296 x1497 -x101 -x7805 -x7454 -x7103 -x6752
x6401 -x6050 -x5699 -x3241 -x2194 x1147 -x798 -x449 -x5347 x4996 -x4645 -x4294 x1844 -x1495 -x99 -x7802 -x7451 x7100 -x6749 -x6398 -x6047
-x5696 -x3238 -x2191 -x1144 -x795 x446 -x4993 -x4642 -x4291 x3940 x1492 -x96 -x6396 -x6045 -x5694 -x4992 -x4641 x4290 x2189 -x1491 -x793
-x444 -x95 -x8150 -x7799 -x7448 -x7097 x6746 -x4991 -x4640 -x4289 -x3938 -x3587 -x3235 -x2886 x2537 -x1490 -x1141 -x94 -x5341 x3586 -x2885
x1838 -x7797 -x7446 -x7095 -x6744 x6393 -x6042 -x5691 -x3233 -x2186 x1139 -x790 -x441 -x6392 -x6041 -x5690 -x4988 -x4637 x4286 x2185 -x1487
-x789 -x440 -x91 -x5338 -x4987 -x4636 -x4285 -x1486 x90 -x7794 -x7443 -x7092 -x6741 x3933 x3230 -x1136 -x7793 -x7442 x7091 -x6740 -x4985
-x4634 -x4283 -x3229 -x1484 -x1135 x88 x5335 -x4984 -x4633 -x4282 x1483 -x87 -x6387 -x6036 -x5685 x5334 -x2180 -x1831 x784 -x435 -x7790
-x7439 -x7088 -x6737 x6386 -x6035 -x5684 -x4982 -x4631 -x4280 -x3226 -x2179 -x1830 -x1481 x1132 -x783 -x434 -x85 -x5332 x4981 -x4630 -x4279
x1829 -x1480 -x84 x8139 -x5331 -x4980 -x4629 -x4278 x1479 -x83 -x6383 x6032 -x5681 -x5330 -x4979 -x4628 -x4277 -x2176 -x1827 -x1478 -x780
-x431 x82 -x4978 -x4627 -x4276 x3574 -x2873 -x1477 x81 -x7785 -x7434 x7083 -x6732 -x4977 -x4626 -x4275 -x3221 -x1476 -x1127 x80 -x7784
-x7433 x7082 -x6731 -x6380 -x6029 -x5678 -x3220 -x2173 -x1126 -x777 x428 x7783 -x7432 -x7081 -x6730 -x4975 -x4624 -x4273 -x3219 x1474 -x1125
-x78 x6378 -x6027 -x5676 -x5325 -x4974 -x4623 -x4272 -x3921 -x3570 x8132 -x4972 -x4621 -x4270 x3568 -x2868 -x1472 x76 x8130 -x3567 x2867
x4970 -x4619 -x4268 -x3566 x2866 -x1470 -x74 -x7777 -x7426 x7075 -x6724 -x6373 -x6022 -x5671 -x5320 -x4969 -x4618 -x4267 -x3214 -x2167
-x1818 -x1469 -x1120 -x771 x422 -x73 -x6372 -x6021 -x5670 -x5319 x4968 -x4617 -x4266 -x2166 -x1817 -x1468 x770 -x421 -x72 -x6371 -x6020
-x5669 -x5318 x4967 -x4616 -x4265 -x2165 -x1816 -x1467 x769 -x420 -x71 x5317 -x3562 x2862 -x5316 -x4965 x4614 -x4263 -x1465 -x69 -x5315
-x4964 -x4613 -x4262 x3560 -x2860 -x1464 x68 x8122 -x3559 x2859 -x7770 -x7419 -x7068 -x6717 -x6366 x6015 -x5664 -x5313 -x3207 -x2160 -x1811
x1113 -x764 -x415 x8120 -x3557 x2857 -x6364 x6013 -x5662 -x5311 -x2158 -x1809 -x762 -x413 -x5310 -x4959 -x4608 -x4257 x1459 -x63 -x8117
-x5309 x3554 -x7765 -x7414 -x7063 -x6712 -x6361 -x6010 -x5659 -x4957 x4606 -x4255 -x3203 -x2156 -x1807 -x1458 -x1109 -x760 x411 -x62 x7764
-x7413 -x7062 -x6711 -x6360 -x6009 -x5658 -x4956 -x4605 -x4254 -x3202 -x2155 -x1806 -x1457 -x1108 -x759 x410 -x61 x6359 -x6008 -x5657 -x5306
-x4955 -x4604 -x4253 -x2154 -x1805 -x1456 -x758 -x409 x60 x8113 -x3550 x2851 x3900 -x3549 x2850 -x7760 -x7409 -x7058 x6707 -x6356 -x6005
-x5654 -x5303 -x4952 -x4601 -x4250 -x3198 -x2151 -x1802 -x1453 -x1104 -x755 x406 -x57 x5302 -x3547 x2848 -x8109 -x5301 x3546 x6353 -x6002
-x5651 -x5300 -x4949 -x4598 -x4247 -x2149 -x1800 -x1451 -x753 -x404 x55 -x8107 -x6352 -x6001 -x5650 -x5299 -x4948 x4597 -x4246 -x2497 -x2148
-x1799 -x1450 x752 -x403 -x54 -x7755 -x7404 x7053 -x6702 -x6351 -x6000 -x5649 -x5298 -x3194 -x2147 -x1798 -x1100 x751 -x402 -x7754 -x7403
-x7052 -x6701 -x4946 -x4595 x4244 x3193 -x1448 -x1099 -x52 x6349 -x5998 -x5647 -x5296 -x4945 -x4594 -x4243 -x2145 -x1796 -x1447 -x749 -x400
x51 -x5295 -x4944 -x4593 -x4242 x1446 -x50 -x8102 -x6347 -x5996 -x5645 -x5294 x4943 -x4592 -x4241 -x2492 -x2143 -x1794 -x1445 x747 -x398
-x49 -x4942 -x4591 -x4240 x3538 -x2840 -x1444 x48 x3888 x2490 x6344 -x5291 -x8098 x3535 -x2837 x2488 -x5289 -x6341 -x5990 -x5639 -x5288
x3884 x2137 -x1788 -x741 -x392 -x5287 x3532 -x2834 -x8094 -x4935 -x4584 -x4233 x1437 -x41 -x5284 x3529 -x2831 -x8091 -x6336 -x5985 -x5634
-x5283 x3879 -x2481 -x2132 -x1783 -x736 x387 x3878 x2480 x7738 -x5281 -x4930 -x4579 -x4228 -x3526 -x2828 x1432 -x36 x8088 x1780 -x8087 x3524
-x2826 x1779 -x7735 -x7384 -x7033 -x6682 -x6331 -x5980 -x5629 -x5278 -x4927 -x4576 x4225 x3174 -x2127 -x1778 -x1429 -x1080 -x731 -x382 -x33
-x7734 -x7383 -x7032 -x6681 x3873 -x3173 x1079 -x7733 -x7382 -x7031 -x6680 x3872 x3172 -x1078 x5275 -x3520 x2822 x8082 -x6327 -x5976 -x5625
-x5274 -x2123 -x1774 x727 -x378 x8081 -x3518 x2820 -x8080 -x4921 -x4570 -x4219 x1423 -x27 x7728 -x7377 -x7026 -x6675 -x6324 -x5973 -x5622
-x4920 -x4569 -x4218 -x3167 -x2120 -x1771 -x1422 -x1073 -x724 x375 -x26 x5270 -x2468 x374 x3865 -x3514 x2816 -x7724 -x7373 -x7022 -x6671
-x6320 -x5969 -x5618 -x4916 x4565 -x4214 -x3163 -x2116 -x1767 -x1418 x1069 -x720 -x371 -x22 -x7723 -x7372 -x7021 -x6670 -x6319 -x5968 -x5617
-x5266 -x4915 x4564 -x4213 -x3162 -x2115 -x1766 -x1417 -x1068 x719 -x370 -x21 x3510 -x2812 x1765 x8072 -x6316 x5965 -x5614 x2461 -x2112
-x716 -x367 x8070 -x6314 x5963 -x5612 x2459 -x2110 -x714 -x365 -x8068 x6313 -x5962 -x5611 x2458 -x2109 -x1760 -x713 -x364 -x7716 -x7365
-x7014 -x6663 x6312 -x5961 -x5610 -x5259 x3155 -x2108 -x1759 -x1061 -x712 -x363 -x7715 -x7364 -x7013 x6662 -x6311 -x5960 -x5609 -x5258
-x4907 -x4556 -x4205 -x3154 -x2107 -x1758 -x1409 -x1060 x711 -x362 -x13 x7714 -x7363 -x7012 -x6661 -x6310 -x5959 -x5608 -x4906 -x4555 -x4204
-x3153 -x2106 -x1757 -x1408 -x1059 x710 -x361 -x12 -x7713 -x7362 -x7011 -x6660 -x6309 -x5958 x5607 -x4905 -x4554 -x4203 -x3152 -x2105 -x1756
-x1407 x1058 -x709 -x360 -x11 x1755 -x7711 -x7360 -x7009 -x6658 -x3150 x1056 -x6306 x5955 -x5604 -x2102 -x706 -x357 -x6305 -x5954 -x5603
x2101 -x1752 -x705 -x356 -x7708 -x7357 -x7006 -x6655 x5602 -x3147 -x2449 x1053 x5250 -x4899 -x4548 -x4197 -x1401 x5 -x4898 -x4547 -x4196
x3494 -x2796 x1400 -x4 x7705 -x7354 -x7003 -x6652 -x4897 -x4546 -x4195 -x3144 -x1399 -x1050 x3 -x8055 -x7704 -x7353 -x7002 -x6651 -x4896
-x4545 x4194 x3143 -x2445 -x1398 -x1049 -x2