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

Result page for benchmark

Jump to solvers results

General information on the benchmark

Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark939
Best CPU time to get the best result obtained on this benchmark5.37918
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
PB10: pb_cplex 2010-06-29 (complete)3732984OPT939 5.37918 5.45815
PB11: SCIP spx E_2 2011-06-10 (fixed) (complete)3732987OPT939 8.92564 8.92994
PB10: SCIPspx SCIP with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)3732985OPT939 9.53855 9.54096
SCIP spx E SCIP Exp with SoPlex fixed (complete)3692123OPT939 299.855 299.907
SCIP spx standard SCIP with SoPlex standard fixed (complete)3693289OPT939 322.286 322.345
SCIP spx SCIP with SoPlex fixed (complete)3690957OPT939 324.097 324.151
PB09: SCIPspx SCIP with SoPLEX 1.4.1(24.4.2009) (complete)3732981OPT939 332.605 332.673
SAT 4j PB RES // CP 2.3.2 Snapshot (complete)3687856SAT (TO)1217 1800.16 917.877
Sat 4j PB Resolution 2.3.2 Snapshot (complete)3687857SAT (TO)1318 1800.02 1780.48
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)3732983SAT (TO)2913 1800.07 904.844
PB11: Sat4j Res//CP 2.3.0 (complete)3732986SAT (TO)2913 1800.69 908.75
PB09: bsolo 3.1 (complete)3732980SAT7088 1798.11 1798.9
bsolo 3.2 (complete)3707959SAT7400 1798.02 1798.53
pwbo 2.02 (complete)3725947SAT (TO)8616 1800.54 900.351
PB12: minisatp 1.0-2-g022594c (complete)3723570SAT (TO)24824 1800.07 1800.91
PB07: minisat+ 1.14 (complete)3721291SAT (TO)25437 1800.08 1800.72
PB07: Pueblo 1.4 (incomplete)3720121SAT38437 1783.02 1783.35
wbo 1.72 (complete)3727468? 1799.49 1800
wbo 1.7 (complete)3705167? 1799.77 1800.01
clasp 2.0.6-R5325 (opt) (complete)3709125? (TO) 1800.02 1800.41
npSolver inc-topdown-quickBound (fixed) (complete)3752022? (TO) 1800.02 1800.41
SAT4J PB specific settings 2.3.2 snapshot (complete)3710721? (TO) 1800.02 1768.35
npSolver inc-topDown (fixed) (complete)3747234? (TO) 1800.03 1800.41
npSolver inc-topdown-quickBound (complete)3702865? (TO) 1800.03 1800.41
PB09: SAT4J Pseudo Resolution 2.1.1 (complete)3732982? (TO) 1800.06 1797.55
PB07: PB-clasp 2007-04-10 (complete)3732977? (TO) 1800.06 1835.42
npSolver inc-topDown (complete)3698077? (TO) 1800.09 1800.51
npSolver inc (complete)3699673? (TO) 1800.09 1800.51
npSolver inc (fixed) (complete)3748830? (TO) 1800.09 1800.51
pb2sat 2012-05-19 (complete)3696481? (TO) 1800.11 1800.51
toysat 2012-06-01 (complete)3725166? (TO) 1800.11 1800.41
toysat 2012-05-17 (complete)3706793? (TO) 1800.11 1800.41
npSolver 1.0 (fixed) (complete)3750426? (TO) 1800.13 1800.51
pb2satCp2 2012-05-19 (complete)3694885? (TO) 1800.13 1800.51
npSolver 1.0 (complete)3701269? (TO) 1800.14 1800.51
pwbo 2.0 (complete)3703646? (TO) 1800.16 900.419
PB07: bsolo 3.0.17 (complete)3732978Signal 1662.99 1825.45
PB07: SAT4JPseudoResolution 2007-03-23 (complete)3732979No Cert. 837.36 832.985

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