PB'16 competition: satisfaction and optimization track: 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 benchmarkSAT
Best value of the objective obtained on this benchmark939
Best CPU time to get the best result obtained on this benchmark1800.07
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 NameTraceIDAnswerobjective functionCPU timeWall clock time
NaPS 1.02 (complete)4082831SAT (TO)939 1800.07 1800.42
Sat4j PB 2.3.6 Res+CP PB16 (complete)4081265SAT (TO)1415 1800.12 898.066
Sat4j PB 2.3.6 Resolution PB16 (complete)4085345SAT (TO)2622 1800.99 1776.86
minisatp 2012-10-02 git-d91742b (complete)4112561SAT (TO)12910 1800.07 1800.42
Open-WBO PB16 (complete)4086481? (TO) 1800.02 1800.3
Open-WBO-LSU PB16 (complete)4083843? (TO) 1800.02 1800.3
cdcl-cuttingplanes OPT linear search 2016-05-01 (complete)4088150? (TO) 1800.03 1800.31
toysat 2016-05-02 (complete)4079639? (TO) 1800.06 1800.51
cdcl-cuttingplanes OPT binary search 2016-05-01 (complete)4087493? (TO) 1800.1 1800.41

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