PB'11 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 benchmark939
Best CPU time to get the best result obtained on this benchmark8.41272
Has Objective FunctionYES
(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 NameTraceIDAnswerobjective functionCPU timeWall clock time
SCIP spx 2 2011-06-10 (fixed) (complete)3485443OPT939 8.41272 8.41275
SCIP spx SCIP with SoPlex [DEPRECATED] (complete)3452625OPT939 8.5367 8.53708
SCIP spx E SCIP with SoPlex [DEPRECATED] (complete)3450965OPT939 8.60069 8.6017
SCIP spx E_2 2011-06-10 (fixed) (complete)3488885OPT939 9.24359 9.24451
borg pb-opt-11.04.03 (complete)3481807OPT939 9.49755 9.69571
Sat4j CuttingPlanes 2.3.0 (complete)3456616SAT (TO)2775 1800.28 1792.19
Sat4j Res//CP 2.3.0 (complete)3454424SAT (TO)2913 1800.4 910.002
bsolo 3.2 (complete)3463073SAT7400 1798.05 1798.05
pwbo 1.1 (complete)3500312SAT (TO)22500 1800.07 900.055
MinisatID 2.4.8 [DEPRECATED] (complete)3464733? (TO)17228 1800.07 1800.03
MinisatID 2.5.2 (fixed) (complete)3490606? (TO)17649 1800.09 1800.02
MinisatID 2.4.8-gmp [DEPRECATED] (complete)3466532? (TO)18623 1800.07 1800.03
MinisatID 2.5.2-gmp (fixed) (complete)3496845? (TO)18829 1800.08 1800.03
clasp 2.0-R4191 (complete)3468180? (TO) 1800.03 1800.03
wbo 1.6 (complete)3460861? (TO) 1800.07 1800.03
Sat4j Resolution 2.3.0 (complete)3458808? (TO) 1800.14 1795.17

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: 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