Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | SAT | 26 | 1798.18 | 1798.85 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_7.opb |
MD5SUM | 7da351a6b3346c83b923d96056c07b3e |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 24 |
Best CPU time to get the best result obtained on this benchmark | 1800.54 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 21 |
Optimality of the best value was proved | NO |
Number of variables | 12935 |
Total number of constraints | 47889 |
Number of constraints which are clauses | 47870 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 18 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 953 |
Number of terms in the objective function | 953 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 953 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 31 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 984 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1876922-1245183950.opb 0.00/0.00 c File size is 1413824 bytes. 0.09/0.19 c Highest Coefficient sum: 984 0.09/0.19 c Parsing was ok!! 0.09/0.19 c Total parsing time: 0.189 s 0.19/0.21 c Var: 12935 Constr: 47889 47888/1/0 Lit: 121133 Watch. Lit: 96694 0.19/0.21 c Obj. Vars: 953 (7.36761 % of total variables) 1.00/1.05 c Pre-processing Time: 1.049 s 1.00/1.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.05 c 0 12913 47832 121024 2 96585 16943 0 0 1.05 1.00/1.05 c Switching off lower bounding mode. 1.00/1.08 o 26 1798.02/1798.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1798.02/1798.71 c 9 12913 47851 127536 2 97550 17943 19 8 1.09 1798.02/1798.71 c 109 12913 47961 135970 2 97770 19738 129 76 1.43 1798.02/1798.71 c 359 12913 48263 167323 3 98374 21712 431 176 2.03 1798.02/1798.71 c 835 12913 48785 199129 4 99418 23884 953 262 3.18 1798.02/1798.71 c 1649 12913 49674 388638 7 101196 26273 1842 369 4.46 1798.02/1798.71 c 2971 12913 51085 511444 10 104018 28901 3253 462 6.43 1798.02/1798.71 c 5053 12913 53346 829430 15 108540 31792 5514 502 10.05 1798.02/1798.71 c 8276 12913 56827 1855301 32 124534 34972 8995 373 22.17 1798.02/1798.71 c 13215 12913 62416 3117181 49 135712 38470 14584 301 43.83 1798.02/1798.71 c 20723 12913 71044 10459167 147 160040 42318 23212 235 87.93 1798.02/1798.71 c 32084 12913 84979 19614231 230 191539 46550 37147 212 151.15 1798.02/1798.71 c 49230 12913 63160 17612596 278 133477 51206 15328 158 310.81 1798.02/1798.71 c 75050 12913 93261 36605956 392 201293 56327 45429 147 510.23 1798.02/1798.71 c 113882 12913 81359 39258045 482 204684 61960 33527 104 1085.13 1798.02/1798.71 c Resources Exceeded 1798.02/1798.71 v x1 x37 x208 x943 x1286 -x1441 x1446 -x1451 -x1456 -x1461 -x8 -x1466 -x11 -x1468 x14 -x1470 -x17 -x1472 -x20 -x1474 -x23 -x1476 -x26 x1478 -x29 -x1480 -x32 -x1482 -x35 -x1484 -x1486 -x1513 -x1540 -x1567 -x1594 -x1621 -x1648 -x46 -x1675 -x49 -x1687 -x52 -x1699 x55 -x1711 -x58 -x1723 -x61 -x1735 -x64 -x1747 -x67 -x1759 -x1771 -x72 -x1783 -x1795 x77 -x1807 -x80 -x1819 -x83 -x1831 -x86 -x1843 -x89 -x1855 -x92 -x1867 -x1879 -x97 -x1891 -x1903 x102 x1915 -x1927 -x1929 -x1934 -x1936 -x1941 -x1943 -x1948 -x1950 -x1955 -x1957 -x1962 -x1964 -x1969 -x1971 -x1976 -x1978 -x1983 -x1985 -x1990 -x1992 -x1997 -x1999 -x2004 -x2006 -x2011 -x2013 -x2018 -x2020 -x2025 -x2027 -x2032 -x2034 -x2039 -x2041 -x2046 -x2048 -x2053 -x2055 -x2060 -x2062 -x2067 -x2069 -x2074 -x2076 -x2081 -x2083 -x2088 -x2093 x2095 -x2100 -x2102 -x2107 -x2109 -x2114 -x2116 -x2121 -x2123 -x2128 -x2130 -x2135 -x2137 -x2142 -x2144 -x2149 -x2151 -x2156 -x2158 -x2163 -x2165 -x2170 -x2291 x2412 -x2533 -x2654 -x2775 -x2896 -x3017 -x3138 -x219 -x3259 -x222 -x3317 -x225 -x3375 -x228 -x3433 -x3491 -x3549 -x235 -x3607 -x238 -x3665 -x3723 -x243 -x3781 -x246 -x3839 -x249 -x3897 -x252 -x3955 -x255 -x4013 -x258 -x4071 -x261 x4129 -x4187 -x266 -x4245 -x269 -x4303 -x4361 -x4419 -x276 -x4477 -x4535 -x281 -x4593 -x284 -x4651 -x287 -x4709 -x290 -x4767 -x293 -x4825 -x4883 -x298 -x4941 -x4999 -x303 -x5057 -x306 -x5115 -x5173 -x311 -x5231 -x5289 -x5347 -x5349 -x5376 -x5378 -x5405 -x5407 -x5434 -x5436 -x5463 -x5465 -x5492 -x5494 -x5521 -x5523 -x5550 -x5552 -x5579 -x5581 -x5608 -x5610 -x5637 -x5639 -x5666 -x5668 -x5695 -x5697 -x5724 -x5726 -x5753 -x5755 -x5782 -x5784 -x5811 -x5813 -x5840 -x5842 -x5869 -x5871 -x5898 -x5900 -x5927 -x5929 -x5956 -x5958 -x5985 -x6012 -x6014 -x6041 -x6043 -x6070 -x6072 -x6099 -x6101 -x6128 -x6130 -x6157 x6159 -x6186 -x6188 -x6215 -x6217 -x6244 -x6246 -x6273 -x6275 -x6302 -x6304 -x6331 -x6333 -x6360 -x6362 -x6389 -x6391 -x6418 -x6420 -x6447 -x6449 -x6476 -x6478 -x6505 -x6507 -x6534 -x6536 -x6563 -x6565 -x6592 -x6594 -x6621 -x6623 -x6650 -x6652 -x6679 -x6681 -x6708 -x6710 -x6737 -x6739 -x6766 -x6768 -x6795 -x6797 -x6824 -x6826 -x6853 -x6855 -x6882 -x6884 -x6911 -x6913 -x6940 -x6942 -x6969 -x6971 -x6998 -x7000 -x7027 -x7029 -x7056 -x7058 -x7085 -x7087 -x7114 -x7116 -x7143 -x7145 -x7172 -x7199 -x7201 -x7228 -x7230 -x7257 -x7259 -x7286 -x7288 -x7315 -x7317 -x7344 -x7346 -x7373 -x7375 -x7402 -x7404 -x7431 -x7433 -x7460 -x7462 -x7489 -x7491 -x7518 -x7520 -x7547 -x7549 -x7576 -x7578 -x7605 -x7607 -x7634 -x7636 -x7663 -x7665 -x7692 -x7694 -x7721 -x7723 -x7750 -x7752 -x7779 -x7784 -x7796 -x7801 -x7813 -x7818 -x7830 -x7835 -x7847 -x7852 -x7864 -x7869 -x7881 -x7886 -x7898 -x7903 -x7915 -x7920 -x7932 -x7937 -x7949 -x7954 -x7966 -x7971 -x7983 -x7988 -x8000 -x8005 -x8017 -x8022 -x8034 -x8039 -x8051 -x8056 -x8068 -x8073 -x8085 -x8090 -x8102 -x8107 -x8119 -x8124 -x8136 -x8141 -x8153 -x8158 -x8170 -x8175 -x8187 -x8192 -x8204 -x8209 -x8221 -x8226 -x8238 -x8243 -x8255 -x8260 -x8272 -x8277 -x8289 -x8294 -x8306 -x8311 -x8323 -x8328 -x8340 -x8345 -x8357 -x8362 -x8374 -x8379 -x8391 -x8396 -x8408 -x8413 -x8425 -x8430 -x8442 -x8447 -x8459 -x8464 -x8476 -x8481 -x8493 -x8498 -x8510 -x8515 -x8527 -x8532 -x8544 -x8549 -x8561 -x8566 -x8578 -x8583 -x8595 -x8600 -x8612 -x8617 -x8629 -x8634 -x8646 -x8651 -x8663 -x8668 -x8680 -x8685 -x8697 -x8702 -x8714 -x8719 -x8731 x8736 -x8748 -x8753 -x8765 -x8770 -x8782 -x8787 -x8799 -x8804 -x8816 -x8821 -x8833 -x8838 -x8850 -x8855 -x8867 -x8872 -x8884 -x8889 -x8901 -x8906 -x8918 -x8923 -x8935 -x8940 -x8952 -x8957 -x8969 -x8974 -x8986 -x8991 -x9003 -x9008 -x9020 -x9025 -x9037 -x9042 -x9054 -x9059 -x9071 -x9076 -x9088 -x9093 -x9105 -x9110 -x9122 -x9127 -x9139 -x9144 -x9156 -x9161 -x9173 -x9178 -x9190 -x9195 -x9207 -x9212 -x9224 -x9229 -x9241 -x9246 -x9258 -x9263 -x9275 -x9280 -x9292 -x9297 -x9309 -x9314 -x9326 -x9331 -x9343 -x9348 -x9360 -x9365 -x9377 -x9382 -x9394 -x9399 -x9411 -x9416 -x9428 -x9433 -x9445 -x9450 -x9462 -x9467 -x9479 -x9484 -x9496 -x9501 -x9513 -x9518 -x9530 -x9535 -x9547 -x9552 -x9564 -x9569 -x9581 -x9586 -x9598 -x9603 -x9615 -x9620 -x9632 -x9637 -x9649 -x9654 -x9666 -x9671 -x9683 -x9688 -x9700 -x9705 -x9717 -x9722 -x9734 -x9739 -x9751 -x9756 -x9768 -x9773 -x9785 -x9790 -x9802 -x9807 -x9819 -x9824 -x9836 -x9841 -x9853 -x9858 -x9870 -x9875 -x9887 -x9892 -x9904 -x9909 x9921 -x9979 -x10037 -x10095 -x10153 -x10211 -x10269 -x10327 x10385 -x955 -x10412 -x958 -x10439 -x10466 -x10493 -x965 -x10520 -x10547 -x970 -x10574 -x10601 -x975 -x10628 -x10655 -x10682 -x10709 -x10736 -x10763 -x988 -x10790 -x991 -x10817 -x10844 -x10871 -x998 -x10898 -x10925 -x10952 -x10979 -x1007 -x11006 x1010 -x11033 -x11060 -x11087 -x11114 -x11141 x11143 -x11155 -x11157 -x11169 -x11171 -x11183 -x11185 -x11197 -x11199 -x11211 -x11213 -x11225 -x11227 -x11239 -x11241 -x11253 -x11255 -x11267 -x11269 -x11281 -x11283 -x11295 -x11297 -x11309 -x11311 -x11323 -x11325 -x11337 -x11339 -x11351 -x11363 -x11365 -x11377 -x11379 -x11391 -x11393 -x11405 -x11417 -x11419 -x11431 -x11433 -x11445 -x11447 -x11459 -x11461 -x11473 -x11475 -x11487 -x11489 -x11501 -x11503 -x11515 -x11517 -x11529 -x11541 -x11543 -x11555 -x11557 -x11569 -x11571 -x11583 -x11585 -x11597 -x11599 -x11611 -x11613 -x11625 -x11637 -x11639 -x11651 -x11653 -x11665 -x11667 -x11679 -x11691 -x11693 -x11705 -x11707 -x11719 -x11721 -x11733 -x11735 -x11747 -x11749 -x11761 -x11763 -x11775 -x11777 -x11789 -x11791 -x11803 -x11805 -x11817 -x11819 -x11831 -x11833 -x11845 -x11847 -x11859 -x11861 -x11873 -x11875 -x11887 -x11889 -x11901 -x11903 -x11915 x11920 -x11925 -x11930 -x11935 -x11940 -x11945 -x11950 -x11955 -x11960 -x11965 -x11970 -x11975 -x11980 -x11985 -x11990 -x11995 -x12000 -x12005 -x12010 -x12015 -x12020 -x12025 -x12030 -x12035 -x12040 -x12045 -x12050 -x12055 -x12060 -x12065 -x12070 -x12075 -x12080 -x12085 -x12090 -x12095 -x12100 -x12105 -x12110 -x12115 -x12120 -x12125 -x12130 -x12135 -x12140 -x12145 -x12150 -x12155 -x12160 -x12165 -x12170 -x12175 -x12180 -x12185 -x12190 -x12195 -x12200 -x12205 -x12210 -x12215 -x12220 -x12225 -x12230 -x12235 -x12240 -x12245 -x12250 -x12255 -x12260 -x12265 x12292 -x12319 -x12346 -x12373 -x12400 -x12427 x12454 -x1297 -x12466 -x12478 -x12490 -x12502 -x1306 -x12514 -x12526 -x12538 -x12550 -x12562 -x12574 -x1319 -x12586 -x1322 -x12598 -x12610 -x12622 -x1329 -x12634 -x12646 -x12658 -x12670 -x1338 -x12682 -x12694 -x12706 -x12708 -x12713 x12715 -x12720 -x12722 -x12727 -x12729 -x12734 -x12736 -x12741 -x12743 -x12748 -x12750 -x12755 -x12757 -x12762 -x12764 -x12769 -x12771 -x12773 -x12778 -x12780 -x12785 -x12787 -x12792 -x12794 -x12799 -x12801 -x12806 -x12808 -x12813 -x12815 -x12820 -x12825 -x12830 -x12832 -x12837 -x12839 -x12844 -x12846 -x12851 -x12856 -x12858 -x12863 -x12868 -x12870 -x12875 -x12877 -x12882 -x12884 -x12889 -x12891 -x12896 -x12898 -x12903 -x12908 -x12910 -x12915 -x12917 -x12922 -x12924 x12929 -x12931 -x7 -x9 -x10 -x12 -x13 -x15 -x16 -x18 -x19 -x21 -x22 -x24 -x25 x27 -x28 -x30 -x31 -x33 -x34 -x36 -x2 x3 -x4 -x5 -x6 -x45 -x47 -x48 -x50 -x51 -x53 -x54 -x56 -x57 -x59 -x60 -x62 -x63 -x65 -x66 -x68 -x69 -x70 -x71 -x73 -x74 -x75 -x76 -x78 -x79 -x81 -x82 -x84 -x85 -x87 -x88 -x90 -x91 -x93 -x94 -x95 -x96 -x98 -x99 -x100 x101 x103 -x105 -x104 -x106 -x108 -x107 -x109 -x111 -x110 -x112 -x114 -x113 -x115 -x117 -x116 -x118 -x120 -x119 -x121 -x123 -x122 -x124 -x126 -x125 -x127 -x129 -x128 -x130 -x132 -x131 -x133 -x135 -x134 -x136 -x138 -x137 -x139 -x141 -x140 -x142 -x144 -x143 -x145 -x147 -x146 -x148 -x150 -x149 -x151 -x153 -x152 -x154 -x156 -x155 -x157 -x159 -x158 -x160 -x162 -x161 -x163 -x165 -x164 -x166 -x168 -x167 -x169 -x171 -x170 -x172 -x173 -x174 -x176 -x175 x177 -x179 -x178 -x180 -x182 -x181 -x183 -x185 -x184 -x186 -x188 -x187 -x189 -x191 -x190 -x192 -x194 -x193 -x195 -x197 -x196 -x198 -x200 -x199 -x201 -x203 -x202 -x204 -x206 -x205 -x207 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x218 -x220 -x221 -x223 -x224 -x226 -x227 -x229 -x230 -x231 -x232 -x233 -x234 -x236 -x237 -x239 -x240 -x241 -x242 -x244 -x245 -x247 -x248 -x250 -x251 -x253 -x254 -x256 -x257 -x259 -x260 x262 -x263 -x264 -x265 -x267 -x268 -x270 -x271 -x272 -x273 -x274 -x275 -x277 -x278 -x279 -x280 -x282 -x283 -x285 -x286 -x288 -x289 -x291 -x292 -x294 -x295 -x296 -x297 -x299 -x300 -x301 -x302 -x304 -x305 -x307 -x308 -x309 -x310 -x312 -x313 -x314 -x316 -x315 -x317 -x319 -x318 -x320 -x322 -x321 -x323 -x325 -x324 -x326 -x328 -x327 -x329 -x331 -x330 -x332 -x334 -x333 -x335 -x337 -x336 -x338 -x340 -x339 -x341 -x343 -x342 -x344 -x346 -x345 -x347 -x349 -x348 -x350 -x352 -x351 -x353 -x355 -x354 -x356 -x358 -x357 -x359 -x361 -x360 -x362 -x364 -x363 -x365 -x367 -x366 -x368 -x370 -x369 -x371 -x373 -x372 -x374 -x376 -x375 -x377 -x379 -x378 -x380 -x381 -x382 -x384 -x383 -x385 -x387 -x386 -x388 -x390 -x389 -x391 -x393 -x392 -x394 -x396 -x395 -x397 -x399 -x398 x400 -x402 -x401 -x403 -x405 -x404 -x406 -x408 -x407 -x409 -x411 -x410 -x412 -x414 -x413 -x415 -x417 -x416 -x418 -x420 -x419 -x421 -x423 -x422 -x424 -x426 -x425 -x427 -x429 -x428 -x430 -x432 -x431 -x433 -x435 -x434 -x436 -x438 -x437 -x439 -x441 -x440 -x442 -x444 -x443 -x445 -x447 -x446 -x448 -x450 -x449 -x451 -x453 -x452 -x454 -x456 -x455 -x457 -x459 -x458 -x460 -x462 -x461 -x463 -x465 -x464 -x466 -x468 -x467 -x469 -x471 -x470 -x472 -x474 -x473 -x475 -x477 -x476 -x478 -x480 -x479 -x481 -x483 -x482 -x484 -x486 -x485 -x487 -x489 -x488 -x490 -x492 -x491 -x493 -x495 -x494 -x496 -x498 -x497 -x499 -x501 -x500 -x502 -x503 -x504 -x506 -x505 -x507 -x509 -x508 -x510 -x512 -x511 -x513 -x515 -x514 -x516 -x518 -x517 -x519 -x521 -x520 -x522 -x524 -x523 -x525 -x527 -x526 -x528 -x530 -x529 -x531 -x533 -x532 -x534 -x536 -x535 -x537 -x539 -x538 -x540 -x542 -x541 -x543 -x545 -x544 -x546 -x548 -x547 -x549 -x551 -x550 -x552 -x554 -x553 -x555 -x557 -x556 -x558 -x560 -x559 -x561 -x563 -x562 -x564 -x566 -x565 -x567 -x569 -x568 -x570 -x572 -x571 -x573 -x575 -x574 -x576 -x578 -x577 -x579 -x581 -x580 -x582 -x584 -x583 -x585 -x587 -x586 -x588 -x590 -x589 -x591 -x593 -x592 -x594 -x596 -x595 -x597 -x599 -x598 -x600 -x602 -x601 -x603 -x605 -x604 -x606 -x608 -x607 -x609 -x611 -x610 -x612 -x614 -x613 -x615 -x617 -x616 -x618 -x620 -x619 -x621 -x623 -x622 -x624 -x626 -x625 -x627 -x629 -x628 -x630 -x632 -x631 -x633 -x635 -x634 -x636 -x638 -x637 -x639 -x641 -x640 -x642 -x644 -x643 -x645 -x647 -x646 -x648 -x650 -x649 -x651 -x653 -x652 -x654 -x656 -x655 -x657 -x659 -x658 -x660 -x662 -x661 -x663 -x665 -x664 -x666 -x668 -x667 -x669 -x671 -x670 -x672 -x674 -x673 -x675 -x677 -x676 -x678 -x680 -x679 -x681 -x683 -x682 -x684 -x686 -x685 -x687 -x689 -x688 -x690 -x692 -x691 -x693 -x695 -x694 -x696 -x698 -x697 -x699 -x701 -x700 -x702 -x704 -x703 -x705 -x707 -x706 -x708 -x710 -x709 -x711 -x713 -x712 -x714 -x716 -x715 -x717 -x719 -x718 -x720 -x722 -x721 -x723 -x725 -x724 -x726 -x728 -x727 -x729 -x731 -x730 -x732 -x734 -x733 x735 -x737 -x736 -x738 -x740 -x739 -x741 -x743 -x742 -x744 -x746 -x745 -x747 -x749 -x748 -x750 -x752 -x751 -x753 -x755 -x754 -x756 -x758 -x757 -x759 -x761 -x760 -x762 -x764 -x763 -x765 -x767 -x766 -x768 -x770 -x769 -x771 -x773 -x772 -x774 -x776 -x775 -x777 -x779 -x778 -x780 -x782 -x781 -x783 -x785 -x784 -x786 -x788 -x787 -x789 -x791 -x790 -x792 -x794 -x793 -x795 -x797 -x796 -x798 -x800 -x799 -x801 -x803 -x802 -x804 -x806 -x805 -x807 -x809 -x808 -x810 -x812 -x811 -x813 -x815 -x814 -x816 -x818 -x817 -x819 -x821 -x820 -x822 -x824 -x823 -x825 -x827 -x826 -x828 -x830 -x829 -x831 -x833 -x832 -x834 -x836 -x835 -x837 -x839 -x838 -x840 -x842 -x841 -x843 -x845 -x844 -x846 -x848 -x847 -x849 -x851 -x850 -x852 -x854 -x853 -x855 -x857 -x856 -x858 -x860 -x859 -x861 -x863 -x862 -x864 -x866 -x865 -x867 -x869 -x868 -x870 -x872 -x871 -x873 -x875 -x874 -x876 -x878 -x877 -x879 -x881 -x880 -x882 -x884 -x883 -x885 -x887 -x886 -x888 -x890 -x889 -x891 -x893 -x892 -x894 -x896 -x895 -x897 -x899 -x898 -x900 -x902 -x901 -x903 -x905 -x904 -x906 -x908 -x907 -x909 -x911 -x910 -x912 -x914 -x913 -x915 -x917 -x916 -x918 -x920 -x919 -x921 -x923 -x922 -x924 -x926 -x925 -x927 -x929 -x928 -x930 -x932 -x931 -x933 -x935 -x934 -x936 -x938 -x937 -x939 -x941 -x940 -x942 -x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x952 x953 -x954 -x956 -x957 -x959 -x960 -x961 -x962 -x963 -x964 -x966 -x967 -x968 -x969 -x971 -x972 -x973 -x974 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x989 -x990 -x992 -x993 -x994 -x995 -x996 -x997 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1008 -x1009 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1019 -x1018 x1020 -x1022 -x1021 -x1023 -x1025 -x1024 -x1026 -x1028 -x1027 -x1029 -x1031 -x1030 -x1032 -x1034 -x1033 -x1035 -x1037 -x1036 -x1038 -x1040 -x1039 -x1041 -x1043 -x1042 -x1044 -x1046 -x1045 -x1047 -x1049 -x1048 -x1050 -x1052 -x1051 -x1053 -x1055 -x1054 -x1056 -x1058 -x1057 -x1059 -x1061 -x1060 -x1062 -x1063 -x1064 -x1066 -x1065 -x1067 -x1069 -x1068 -x1070 -x1072 -x1071 -x1073 -x1074 -x1075 -x1077 -x1076 -x1078 -x1080 -x1079 -x1081 -x1083 -x1082 -x1084 -x1086 -x1085 -x1087 -x1089 -x1088 -x1090 -x1092 -x1091 -x1093 -x1095 -x1094 -x1096 -x1098 -x1097 -x1099 -x1100 -x1101 -x1103 -x1102 -x1104 -x1106 -x1105 -x1107 -x1109 -x1108 -x1110 -x1112 -x1111 -x1113 -x1115 -x1114 -x1116 -x1118 -x1117 -x1119 -x1120 -x1121 -x1123 -x1122 -x1124 -x1126 -x1125 -x1127 -x1129 -x1128 -x1130 -x1131 -x1132 -x1134 -x1133 -x1135 -x1137 -x1136 -x1138 -x1140 -x1139 -x1141 -x1143 -x1142 -x1144 -x1146 -x1145 -x1147 -x1149 -x1148 -x1150 -x1152 -x1151 -x1153 -x1155 -x1154 -x1156 -x1158 -x1157 -x1159 -x1161 -x1160 -x1162 -x1164 -x1163 -x1165 -x1167 -x1166 -x1168 -x1170 -x1169 -x1171 -x1173 -x1172 -x1174 -x1176 -x1175 -x1177 -x1179 -x1178 -x1180 -x1182 -x1181 x1183 -x1185 -x1184 -x1186 -x1188 -x1187 -x1189 -x1191 -x1190 -x1192 -x1194 -x1193 -x1195 -x1197 -x1196 -x1198 -x1200 -x1199 -x1201 -x1203 -x1202 -x1204 -x1206 -x1205 -x1207 -x1209 -x1208 -x1210 -x1212 -x1211 -x1213 -x1215 -x1214 -x1216 -x1218 -x1217 -x1219 -x1221 -x1220 -x1222 -x1224 -x1223 -x1225 -x1227 -x1226 -x1228 -x1230 -x1229 -x1231 -x1233 -x1232 -x1234 -x1236 -x1235 -x1237 -x1239 -x1238 -x1240 -x1242 -x1241 -x1243 -x1245 -x1244 -x1246 -x1248 -x1247 -x1249 -x1251 -x1250 -x1252 -x1254 -x1253 -x1255 -x1257 -x1256 -x1258 -x1260 -x1259 -x1261 -x1263 -x1262 -x1264 -x1266 -x1265 -x1267 -x1269 -x1268 -x1270 -x1272 -x1271 -x1273 -x1275 -x1274 -x1276 -x1278 -x1277 -x1279 -x1281 -x1280 -x1282 -x1284 -x1283 -x1285 x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x1294 x1295 -x1296 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1320 -x1321 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1339 -x1340 -x1341 -x1343 -x1342 -x1344 -x1346 -x1345 x1347 -x1349 -x1348 -x1350 -x1352 -x1351 -x1353 -x1355 -x1354 -x1356 -x1358 -x1357 -x1359 -x1361 -x1360 -x1362 -x1364 -x1363 -x1365 -x1367 -x1366 -x1368 -x1370 -x1369 -x1372 -x1371 -x1373 -x1375 -x1374 -x1376 -x1378 -x1377 -x1379 -x1381 -x1380 -x1382 -x1384 -x1383 -x1385 -x1387 -x1386 -x1388 -x1390 -x1389 -x1391 -x1392 -x1393 -x1394 -x1395 -x1397 -x1396 -x1398 -x1400 -x1399 -x1401 -x1403 -x1402 -x1404 -x1405 -x1406 -x1408 -x1407 -x1409 -x1410 -x1411 -x1413 -x1412 -x1414 -x1416 -x1415 -x1417 -x1419 -x1418 -x1420 -x1422 -x1421 -x1423 -x1425 -x1424 -x1426 -x1427 -x1428 -x1430 -x1429 -x1431 -x1433 -x1432 -x1434 -x1436 -x1435 -x1437 x1439 -x1438 -x1440 -x1287 x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1442 -x1443 -x1444 -x1445 x1447 -x1448 -x1449 -x1450 -x1452 -x1453 -x1454 -x1455 -x1457 -x1458 -x1459 -x1460 x1462 -x1463 -x1464 -x1465 -x1467 -x1469 -x1471 -x1473 x1475 -x1477 x1479 -x1481 x1483 -x1485 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1928 -x1930 -x1931 -x1932 -x1933 -x1935 -x1937 -x1938 -x1939 -x1940 x1942 x1944 x1945 -x1946 -x1947 -x1949 -x1951 -x1952 -x1953 -x1954 -x1956 -x1958 -x1959 -x1960 -x1961 x1963 -x1965 -x1966 -x1967 -x1968 x1970 -x1972 -x1973 -x1974 -x1975 -x1977 -x1979 -x1980 -x1981 -x1982 -x1984 -x1986 -x1987 -x1988 -x1989 x1991 -x1993 -x1994 -x1995 -x1996 -x1998 -x2000 -x2001 -x2002 -x2003 -x2005 -x2007 -x2008 -x2009 -x2010 x2012 -x2014 -x2015 -x2016 -x2017 x2019 -x2021 -x2022 -x2023 -x2024 x2026 -x2028 -x2029 -x2030 -x2031 x2033 x2035 x2036 -x2037 -x2038 -x2040 -x2042 -x2043 -x2044 -x2045 -x2047 -x2049 -x2050 -x2051 -x2052 -x2054 -x2056 -x2057 -x2058 -x2059 -x2061 -x2063 -x2064 -x2065 -x2066 -x2068 -x2070 -x2071 -x2072 -x2073 -x2075 -x2077 -x2078 -x2079 -x2080 -x2082 -x2084 -x2085 -x2086 -x2087 -x2089 -x2090 -x2091 -x2092 x2094 x2096 -x2097 -x2098 x2099 x2101 -x2103 -x2104 -x2105 -x2106 x2108 -x2110 -x2111 -x2112 -x2113 x2115 -x2117 -x2118 -x2119 -x2120 -x2122 -x2124 -x2125 -x2126 -x2127 -x2129 -x2131 -x2132 -x2133 -x2134 x2136 -x2138 -x2139 -x2140 -x2141 -x2143 -x2145 -x2146 -x2147 -x2148 -x2150 -x2152 -x2153 -x2154 -x2155 x2157 -x2159 -x2160 -x2161 -x2162 x2164 -x2166 -x2167 -x2168 -x2169 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5348 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5377 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5406 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5435 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 x5464 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5493 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5522 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5551 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5580 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5609 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 x5638 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5667 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5696 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5725 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5754 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 x5783 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5812 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5841 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5870 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 x5899 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5928 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5957 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6013 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6042 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 x6071 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 x6100 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 x6129 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6158 x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6187 x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6216 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6245 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6274 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6303 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6332 x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6361 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6390 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6419 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6448 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6477 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6506 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6535 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6564 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6593 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6622 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6651 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 x6680 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6709 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 x6738 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6767 x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6796 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6825 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6854 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6883 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6912 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6941 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6970 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6999 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7028 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7057 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7086 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 x7115 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7144 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7200 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7229 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7258 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7287 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7316 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7345 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7374 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 x7403 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7432 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 x7461 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7490 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7519 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7548 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 x7577 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7606 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 x7635 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 x7664 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7693 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 x7722 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 x7751 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7780 -x7781 -x7782 -x7783 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7797 -x7798 -x7799 -x7800 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7814 -x7815 -x7816 -x7817 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7831 -x7832 -x7833 -x7834 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7848 -x7849 -x7850 -x7851 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7865 -x7866 -x7867 -x7868 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7882 -x7883 -x7884 -x7885 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7899 -x7900 -x7901 -x7902 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7916 -x7917 -x7918 -x7919 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7933 -x7934 -x7935 -x7936 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7950 -x7951 -x7952 -x7953 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7967 -x7968 -x7969 -x7970 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7984 -x7985 -x7986 -x7987 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8001 -x8002 -x8003 -x8004 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8018 -x8019 -x8020 -x8021 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 x8035 -x8036 -x8037 -x8038 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8052 -x8053 -x8054 -x8055 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8069 -x8070 -x8071 -x8072 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8086 -x8087 -x8088 -x8089 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8103 -x8104 -x8105 -x8106 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8120 -x8121 -x8122 -x8123 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8137 -x8138 -x8139 -x8140 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8154 -x8155 -x8156 -x8157 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8171 -x8172 -x8173 -x8174 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8188 -x8189 -x8190 -x8191 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8205 -x8206 -x8207 -x8208 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8222 -x8223 -x8224 -x8225 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8239 -x8240 -x8241 -x8242 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8256 -x8257 -x8258 -x8259 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8273 -x8274 -x8275 -x8276 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 x8290 -x8291 -x8292 -x8293 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8307 -x8308 -x8309 -x8310 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8324 -x8325 -x8326 -x8327 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8341 -x8342 -x8343 -x8344 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8358 -x8359 -x8360 -x8361 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8375 -x8376 -x8377 -x8378 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8392 -x8393 -x8394 -x8395 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8409 -x8410 -x8411 -x8412 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8426 -x8427 -x8428 -x8429 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8443 -x8444 -x8445 -x8446 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 x8460 -x8461 -x8462 -x8463 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8477 -x8478 -x8479 -x8480 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8494 -x8495 -x8496 -x8497 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8511 -x8512 -x8513 -x8514 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8528 -x8529 -x8530 -x8531 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8545 -x8546 -x8547 -x8548 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 x8562 -x8563 -x8564 -x8565 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8579 -x8580 -x8581 -x8582 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8596 -x8597 -x8598 -x8599 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8613 -x8614 -x8615 -x8616 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8630 -x8631 -x8632 -x8633 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8647 -x8648 -x8649 -x8650 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 x8664 -x8665 -x8666 -x8667 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 x8681 -x8682 -x8683 -x8684 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8698 -x8699 -x8700 -x8701 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 x8715 x8716 -x8717 -x8718 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8732 -x8733 -x8734 -x8735 x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 x8747 -x8749 -x8750 -x8751 -x8752 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8766 -x8767 -x8768 -x8769 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8783 -x8784 -x8785 -x8786 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8800 -x8801 -x8802 -x8803 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8817 -x8818 -x8819 -x8820 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8834 -x8835 -x8836 -x8837 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8851 -x8852 -x8853 -x8854 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8868 -x8869 -x8870 -x8871 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8885 -x8886 -x8887 -x8888 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8902 -x8903 -x8904 -x8905 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8919 -x8920 -x8921 -x8922 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8936 -x8937 -x8938 -x8939 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8953 -x8954 -x8955 -x8956 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8970 -x8971 -x8972 -x8973 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8987 -x8988 -x8989 -x8990 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9004 -x9005 -x9006 -x9007 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9021 -x9022 -x9023 -x9024 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9038 -x9039 -x9040 -x9041 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9055 -x9056 -x9057 -x9058 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9072 -x9073 -x9074 -x9075 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9089 -x9090 -x9091 -x9092 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9106 -x9107 -x9108 -x9109 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9123 -x9124 -x9125 -x9126 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9140 -x9141 -x9142 -x9143 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9157 -x9158 -x9159 -x9160 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9174 -x9175 -x9176 -x9177 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9191 -x9192 -x9193 -x9194 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9208 -x9209 -x9210 -x9211 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9225 -x9226 -x9227 -x9228 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9242 -x9243 -x9244 -x9245 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9259 -x9260 -x9261 -x9262 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9276 -x9277 -x9278 -x9279 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9293 -x9294 -x9295 -x9296 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9310 -x9311 -x9312 -x9313 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9327 -x9328 -x9329 -x9330 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9344 -x9345 -x9346 -x9347 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9361 -x9362 -x9363 -x9364 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9378 -x9379 -x9380 -x9381 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9395 -x9396 -x9397 -x9398 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9412 -x9413 -x9414 -x9415 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9429 -x9430 -x9431 -x9432 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9446 -x9447 -x9448 -x9449 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9463 -x9464 -x9465 -x9466 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9480 -x9481 -x9482 -x9483 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9497 -x9498 -x9499 -x9500 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9514 -x9515 -x9516 -x9517 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9531 -x9532 -x9533 -x9534 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9548 -x9549 -x9550 -x9551 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9565 -x9566 -x9567 -x9568 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9582 -x9583 -x9584 -x9585 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9599 -x9600 -x9601 -x9602 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9616 -x9617 -x9618 -x9619 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9633 -x9634 -x9635 -x9636 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9650 -x9651 -x9652 -x9653 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9667 -x9668 -x9669 -x9670 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9684 -x9685 -x9686 -x9687 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9701 -x9702 -x9703 -x9704 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9718 -x9719 -x9720 -x9721 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9735 -x9736 -x9737 -x9738 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9752 -x9753 -x9754 -x9755 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9769 -x9770 -x9771 -x9772 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9786 -x9787 -x9788 -x9789 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9803 -x9804 -x9805 -x9806 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9820 -x9821 -x9822 -x9823 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9837 -x9838 -x9839 -x9840 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9854 -x9855 -x9856 -x9857 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9871 -x9872 -x9873 -x9874 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9888 -x9889 -x9890 -x9891 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9905 -x9906 -x9907 -x9908 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10096 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x10209 -x10210 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10270 -x10271 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10281 -x10282 -x10283 -x10284 -x10285 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10452 -x10453 -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10465 -x10467 -x10468 -x10469 -x10470 -x10471 -x10472 -x10473 -x10474 -x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10487 -x10488 -x10489 -x10490 -x10491 -x10492 -x10494 -x10495 -x10496 -x10497 -x10498 -x10499 -x10500 -x10501 -x10502 -x10503 -x10504 -x10505 -x10506 -x10507 -x10508 -x10509 -x10510 -x10511 -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 -x10518 -x10519 -x10521 -x10522 -x10523 -x10524 -x10525 -x10526 -x10527 -x10528 -x10529 -x10530 -x10531 -x10532 -x10533 -x10534 -x10535 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10544 -x10545 -x10546 -x10548 -x10549 -x10550 -x10551 -x10552 -x10553 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x10560 -x10561 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 -x10568 -x10569 -x10570 -x10571 -x10572 -x10573 x10575 -x10576 -x10577 -x10578 -x10579 -x10580 -x10581 -x10582 -x10583 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x10590 -x10591 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x10600 -x10602 -x10603 -x10604 -x10605 -x10606 -x10607 -x10608 -x10609 -x10610 -x10611 -x10612 -x10613 -x10614 -x10615 -x10616 -x10617 -x10618 -x10619 -x10620 -x10621 -x10622 -x10623 -x10624 -x10625 -x10626 -x10627 -x10629 -x10630 -x10631 -x10632 -x10633 -x10634 -x10635 -x10636 -x10637 -x10638 -x10639 -x10640 -x10641 -x10642 -x10643 -x10644 -x10645 -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 -x10652 -x10653 -x10654 -x10656 -x10657 -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 -x10664 -x10665 -x10666 -x10667 -x10668 -x10669 -x10670 -x10671 -x10672 -x10673 -x10674 -x10675 -x10676 -x10677 -x10678 -x10679 -x10680 -x10681 -x10683 -x10684 -x10685 -x10686 -x10687 -x10688 -x10689 -x10690 -x10691 -x10692 -x10693 -x10694 -x10695 -x10696 -x10697 -x10698 -x10699 -x10700 -x10701 -x10702 -x10703 -x10704 -x10705 -x10706 -x10707 -x10708 -x10710 -x10711 -x10712 -x10713 -x10714 -x10715 -x10716 -x10717 -x10718 -x10719 -x10720 -x10721 -x10722 -x10723 -x10724 -x10725 -x10726 -x10727 -x10728 -x10729 -x10730 -x10731 -x10732 -x10733 -x10734 -x10735 -x10737 -x10738 -x10739 -x10740 -x10741 -x10742 -x10743 -x10744 -x10745 -x10746 -x10747 -x10748 -x10749 -x10750 -x10751 -x10752 -x10753 -x10754 -x10755 -x10756 -x10757 -x10758 -x10759 -x10760 -x10761 -x10762 -x10764 -x10765 -x10766 -x10767 -x10768 -x10769 -x10770 -x10771 -x10772 -x10773 -x10774 -x10775 -x10776 -x10777 -x10778 -x10779 -x10780 -x10781 -x10782 -x10783 -x10784 -x10785 -x10786 -x10787 -x10788 -x10789 -x10791 -x10792 -x10793 -x10794 -x10795 -x10796 -x10797 -x10798 -x10799 -x10800 -x10801 -x10802 -x10803 -x10804 -x10805 -x10806 -x10807 -x10808 -x10809 -x10810 -x10811 -x10812 -x10813 -x10814 -x10815 -x10816 -x10818 -x10819 -x10820 -x10821 -x10822 -x10823 -x10824 -x10825 -x10826 -x10827 -x10828 -x10829 -x10830 -x10831 -x10832 -x10833 -x10834 -x10835 -x10836 -x10837 -x10838 -x10839 -x10840 -x10841 -x10842 -x10843 -x10845 -x10846 -x10847 -x10848 -x10849 -x10850 -x10851 -x10852 -x10853 -x10854 -x10855 -x10856 -x10857 -x10858 -x10859 -x10860 -x10861 -x10862 -x10863 -x10864 -x10865 -x10866 -x10867 -x10868 -x10869 -x10870 -x10872 -x10873 -x10874 -x10875 -x10876 -x10877 -x10878 -x10879 -x10880 -x10881 -x10882 -x10883 -x10884 -x10885 -x10886 -x10887 -x10888 -x10889 -x10890 -x10891 -x10892 -x10893 -x10894 -x10895 -x10896 -x10897 -x10899 -x10900 -x10901 -x10902 -x10903 -x10904 -x10905 -x10906 -x10907 -x10908 -x10909 -x10910 -x10911 -x10912 -x10913 -x10914 -x10915 -x10916 -x10917 -x10918 -x10919 -x10920 -x10921 -x10922 -x10923 -x10924 -x10926 -x10927 -x10928 -x10929 -x10930 -x10931 -x10932 -x10933 -x10934 -x10935 -x10936 -x10937 -x10938 -x10939 -x10940 -x10941 -x10942 -x10943 -x10944 -x10945 -x10946 -x10947 -x10948 -x10949 -x10950 -x10951 -x10953 -x10954 -x10955 -x10956 -x10957 -x10958 -x10959 -x10960 -x10961 -x10962 -x10963 -x10964 -x10965 -x10966 -x10967 -x10968 -x10969 -x10970 -x10971 -x10972 -x10973 -x10974 -x10975 -x10976 -x10977 -x10978 -x10980 -x10981 -x10982 -x10983 -x10984 -x10985 -x10986 -x10987 -x10988 -x10989 -x10990 -x10991 -x10992 -x10993 -x10994 -x10995 -x10996 -x10997 -x10998 -x10999 -x11000 -x11001 -x11002 -x11003 -x11004 -x11005 -x11007 -x11008 -x11009 -x11010 -x11011 -x11012 -x11013 -x11014 -x11015 -x11016 -x11017 -x11018 -x11019 -x11020 -x11021 -x11022 -x11023 -x11024 -x11025 -x11026 -x11027 -x11028 -x11029 -x11030 -x11031 -x11032 -x11034 -x11035 -x11036 -x11037 -x11038 -x11039 -x11040 -x11041 -x11042 -x11043 -x11044 -x11045 -x11046 -x11047 -x11048 -x11049 -x11050 -x11051 -x11052 -x11053 -x11054 -x11055 -x11056 -x11057 -x11058 -x11059 -x11061 -x11062 -x11063 -x11064 -x11065 -x11066 -x11067 -x11068 -x11069 -x11070 -x11071 -x11072 -x11073 -x11074 -x11075 -x11076 -x11077 -x11078 -x11079 -x11080 -x11081 -x11082 -x11083 -x11084 -x11085 -x11086 -x11088 -x11089 -x11090 -x11091 -x11092 -x11093 -x11094 -x11095 -x11096 -x11097 -x11098 -x11099 -x11100 -x11101 -x11102 -x11103 -x11104 -x11105 -x11106 -x11107 -x11108 -x11109 -x11110 -x11111 -x11112 -x11113 -x11115 -x11116 -x11117 -x11118 -x11119 -x11120 -x11121 -x11122 -x11123 -x11124 -x11125 -x11126 -x11127 -x11128 -x11129 -x11130 -x11131 -x11132 -x11133 -x11134 -x11135 -x11136 -x11137 -x11138 -x11139 -x11140 -x11142 x11144 -x11145 -x11146 -x11147 -x11148 -x11149 -x11150 -x11151 -x11152 -x11153 -x11154 -x11156 x11158 -x11159 -x11160 -x11161 -x11162 -x11163 -x11164 -x11165 -x11166 -x11167 -x11168 -x11170 -x11172 -x11173 -x11174 -x11175 -x11176 -x11177 -x11178 -x11179 -x11180 -x11181 -x11182 -x11184 -x11186 -x11187 -x11188 -x11189 -x11190 -x11191 -x11192 -x11193 -x11194 -x11195 -x11196 -x11198 -x11200 -x11201 -x11202 -x11203 -x11204 -x11205 -x11206 -x11207 -x11208 -x11209 -x11210 -x11212 -x11214 -x11215 -x11216 -x11217 -x11218 -x11219 -x11220 -x11221 -x11222 -x11223 -x11224 -x11226 x11228 -x11229 -x11230 -x11231 -x11232 -x11233 -x11234 -x11235 -x11236 -x11237 -x11238 -x11240 -x11242 -x11243 -x11244 -x11245 -x11246 -x11247 -x11248 -x11249 -x11250 -x11251 -x11252 -x11254 -x11256 -x11257 -x11258 -x11259 -x11260 -x11261 -x11262 -x11263 -x11264 -x11265 -x11266 -x11268 -x11270 -x11271 -x11272 -x11273 -x11274 -x11275 -x11276 -x11277 -x11278 -x11279 -x11280 -x11282 -x11284 -x11285 -x11286 -x11287 -x11288 -x11289 -x11290 -x11291 -x11292 -x11293 -x11294 -x11296 -x11298 -x11299 -x11300 -x11301 -x11302 -x11303 -x11304 -x11305 -x11306 -x11307 -x11308 -x11310 -x11312 -x11313 -x11314 -x11315 -x11316 -x11317 -x11318 -x11319 -x11320 -x11321 -x11322 -x11324 -x11326 -x11327 -x11328 -x11329 -x11330 -x11331 -x11332 -x11333 -x11334 -x11335 -x11336 -x11338 -x11340 -x11341 -x11342 -x11343 -x11344 -x11345 -x11346 -x11347 -x11348 -x11349 -x11350 -x11352 -x11353 -x11354 -x11355 -x11356 -x11357 -x11358 -x11359 -x11360 -x11361 -x11362 -x11364 -x11366 -x11367 -x11368 -x11369 -x11370 -x11371 -x11372 -x11373 -x11374 -x11375 -x11376 x11378 -x11380 -x11381 -x11382 -x11383 -x11384 -x11385 -x11386 -x11387 -x11388 -x11389 -x11390 x11392 -x11394 -x11395 -x11396 -x11397 -x11398 -x11399 -x11400 -x11401 -x11402 -x11403 -x11404 -x11406 -x11407 -x11408 -x11409 -x11410 -x11411 -x11412 -x11413 -x11414 -x11415 -x11416 -x11418 -x11420 -x11421 -x11422 -x11423 -x11424 -x11425 -x11426 -x11427 -x11428 -x11429 -x11430 -x11432 x11434 -x11435 -x11436 -x11437 -x11438 -x11439 -x11440 -x11441 -x11442 -x11443 -x11444 -x11446 -x11448 -x11449 -x11450 -x11451 -x11452 -x11453 -x11454 -x11455 -x11456 -x11457 -x11458 -x11460 -x11462 -x11463 -x11464 -x11465 -x11466 -x11467 -x11468 -x11469 -x11470 -x11471 -x11472 -x11474 -x11476 -x11477 -x11478 -x11479 -x11480 -x11481 -x11482 -x11483 -x11484 -x11485 -x11486 -x11488 -x11490 -x11491 -x11492 -x11493 -x11494 -x11495 -x11496 -x11497 -x11498 -x11499 -x11500 -x11502 -x11504 -x11505 -x11506 -x11507 -x11508 -x11509 -x11510 -x11511 -x11512 -x11513 -x11514 -x11516 -x11518 -x11519 -x11520 -x11521 -x11522 -x11523 -x11524 -x11525 -x11526 -x11527 -x11528 -x11530 -x11531 -x11532 -x11533 -x11534 -x11535 -x11536 -x11537 -x11538 -x11539 -x11540 -x11542 -x11544 -x11545 -x11546 -x11547 -x11548 -x11549 -x11550 -x11551 -x11552 -x11553 -x11554 -x11556 -x11558 -x11559 -x11560 -x11561 -x11562 -x11563 -x11564 -x11565 -x11566 -x11567 -x11568 -x11570 -x11572 -x11573 -x11574 -x11575 -x11576 -x11577 -x11578 -x11579 -x11580 -x11581 -x11582 x11584 -x11586 -x11587 -x11588 -x11589 -x11590 -x11591 -x11592 -x11593 -x11594 -x11595 -x11596 x11598 -x11600 -x11601 -x11602 -x11603 -x11604 -x11605 -x11606 -x11607 -x11608 -x11609 -x11610 -x11612 -x11614 -x11615 -x11616 -x11617 -x11618 -x11619 -x11620 -x11621 -x11622 -x11623 -x11624 -x11626 -x11627 -x11628 -x11629 -x11630 -x11631 -x11632 -x11633 -x11634 -x11635 -x11636 -x11638 -x11640 -x11641 -x11642 -x11643 -x11644 -x11645 -x11646 -x11647 -x11648 -x11649 -x11650 -x11652 -x11654 -x11655 -x11656 -x11657 -x11658 -x11659 -x11660 -x11661 -x11662 -x11663 -x11664 -x11666 -x11668 -x11669 -x11670 -x11671 -x11672 -x11673 -x11674 -x11675 -x11676 -x11677 -x11678 -x11680 -x11681 -x11682 -x11683 -x11684 -x11685 -x11686 -x11687 -x11688 -x11689 -x11690 -x11692 -x11694 -x11695 -x11696 -x11697 -x11698 -x11699 -x11700 -x11701 -x11702 -x11703 -x11704 -x11706 -x11708 -x11709 -x11710 -x11711 -x11712 -x11713 -x11714 -x11715 -x11716 -x11717 -x11718 x11720 -x11722 -x11723 -x11724 -x11725 -x11726 -x11727 -x11728 -x11729 -x11730 -x11731 -x11732 x11734 -x11736 -x11737 -x11738 -x11739 -x11740 -x11741 -x11742 -x11743 -x11744 -x11745 -x11746 -x11748 -x11750 -x11751 -x11752 -x11753 -x11754 -x11755 -x11756 -x11757 -x11758 -x11759 -x11760 -x11762 -x11764 -x11765 -x11766 -x11767 -x11768 -x11769 -x11770 -x11771 -x11772 -x11773 -x11774 -x11776 -x11778 -x11779 -x11780 -x11781 -x11782 -x11783 -x11784 -x11785 -x11786 -x11787 -x11788 -x11790 -x11792 -x11793 -x11794 -x11795 -x11796 -x11797 -x11798 -x11799 -x11800 -x11801 -x11802 x11804 -x11806 -x11807 -x11808 -x11809 -x11810 -x11811 -x11812 -x11813 -x11814 -x11815 -x11816 x11818 -x11820 -x11821 -x11822 -x11823 -x11824 -x11825 -x11826 -x11827 -x11828 -x11829 -x11830 -x11832 -x11834 -x11835 -x11836 -x11837 -x11838 -x11839 -x11840 -x11841 -x11842 -x11843 -x11844 -x11846 -x11848 -x11849 -x11850 -x11851 -x11852 -x11853 -x11854 -x11855 -x11856 -x11857 -x11858 x11860 -x11862 -x11863 -x11864 -x11865 -x11866 -x11867 -x11868 -x11869 -x11870 -x11871 -x11872 x11874 -x11876 -x11877 -x11878 -x11879 -x11880 -x11881 -x11882 -x11883 -x11884 -x11885 -x11886 x11888 -x11890 -x11891 -x11892 -x11893 -x11894 -x11895 -x11896 -x11897 -x11898 -x11899 -x11900 x11902 -x11904 -x11905 -x11906 -x11907 -x11908 -x11909 -x11910 -x11911 -x11912 -x11913 -x11914 -x11916 -x11917 -x11918 -x11919 x11921 -x11922 -x11923 x11924 -x11926 -x11927 -x11928 -x11929 -x11931 -x11932 -x11933 -x11934 -x11936 -x11937 -x11938 -x11939 -x11941 -x11942 -x11943 -x11944 -x11946 -x11947 -x11948 -x11949 -x11951 -x11952 -x11953 -x11954 -x11956 -x11957 -x11958 -x11959 -x11961 -x11962 -x11963 -x11964 -x11966 -x11967 -x11968 -x11969 -x11971 -x11972 -x11973 -x11974 -x11976 -x11977 -x11978 -x11979 -x11981 -x11982 -x11983 -x11984 -x11986 -x11987 -x11988 -x11989 -x11991 -x11992 -x11993 -x11994 -x11996 -x11997 -x11998 -x11999 -x12001 -x12002 -x12003 -x12004 -x12006 -x12007 -x12008 -x12009 -x12011 -x12012 -x12013 -x12014 -x12016 -x12017 -x12018 -x12019 -x12021 -x12022 -x12023 -x12024 -x12026 -x12027 -x12028 -x12029 -x12031 -x12032 -x12033 -x12034 -x12036 -x12037 -x12038 -x12039 -x12041 -x12042 -x12043 -x12044 -x12046 -x12047 -x12048 -x12049 -x12051 -x12052 -x12053 -x12054 -x12056 -x12057 -x12058 -x12059 -x12061 -x12062 -x12063 -x12064 -x12066 -x12067 -x12068 -x12069 -x12071 -x12072 -x12073 -x12074 -x12076 -x12077 -x12078 -x12079 -x12081 -x12082 -x12083 -x12084 -x12086 -x12087 -x12088 -x12089 -x12091 -x12092 -x12093 -x12094 -x12096 -x12097 -x12098 -x12099 -x12101 -x12102 -x12103 -x12104 -x12106 -x12107 -x12108 -x12109 -x12111 -x12112 -x12113 -x12114 -x12116 -x12117 -x12118 -x12119 -x12121 -x12122 -x12123 -x12124 -x12126 -x12127 -x12128 -x12129 -x12131 -x12132 -x12133 -x12134 -x12136 -x12137 -x12138 -x12139 -x12141 -x12142 -x12143 -x12144 -x12146 -x12147 -x12148 -x12149 -x12151 -x12152 -x12153 -x12154 -x12156 -x12157 -x12158 -x12159 -x12161 -x12162 -x12163 -x12164 -x12166 -x12167 -x12168 -x12169 -x12171 -x12172 -x12173 -x12174 -x12176 -x12177 -x12178 -x12179 -x12181 -x12182 -x12183 -x12184 -x12186 -x12187 -x12188 -x12189 -x12191 -x12192 -x12193 -x12194 -x12196 -x12197 -x12198 -x12199 -x12201 -x12202 -x12203 -x12204 -x12206 -x12207 -x12208 -x12209 -x12211 -x12212 -x12213 -x12214 -x12216 -x12217 -x12218 -x12219 -x12221 -x12222 -x12223 -x12224 -x12226 -x12227 -x12228 -x12229 -x12231 -x12232 -x12233 -x12234 -x12236 -x12237 -x12238 -x12239 -x12241 -x12242 -x12243 -x12244 -x12246 -x12247 -x12248 -x12249 -x12251 -x12252 -x12253 -x12254 -x12256 -x12257 -x12258 -x12259 -x12261 -x12262 -x12263 -x12264 x12266 -x12267 -x12268 -x12269 -x12270 -x12271 -x12272 -x12273 -x12274 -x12275 -x12276 -x12277 -x12278 -x12279 -x12280 -x12281 -x12282 -x12283 -x12284 -x12285 -x12286 -x12287 -x12288 -x12289 -x12290 -x12291 x12293 -x12294 -x12295 -x12296 -x12297 -x12298 -x12299 -x12300 -x12301 -x12302 -x12303 -x12304 -x12305 -x12306 -x12307 -x12308 -x12309 -x12310 -x12311 -x12312 -x12313 -x12314 -x12315 -x12316 -x12317 -x12318 -x12320 -x12321 -x12322 -x12323 -x12324 -x12325 -x12326 -x12327 -x12328 -x12329 -x12330 -x12331 -x12332 -x12333 -x12334 -x12335 -x12336 -x12337 -x12338 -x12339 -x12340 -x12341 -x12342 -x12343 -x12344 -x12345 -x12347 -x12348 -x12349 -x12350 -x12351 -x12352 -x12353 -x12354 -x12355 -x12356 -x12357 -x12358 -x12359 -x12360 -x12361 -x12362 -x12363 -x12364 -x12365 -x12366 -x12367 -x12368 -x12369 -x12370 -x12371 -x12372 -x12374 -x12375 -x12376 -x12377 -x12378 -x12379 -x12380 -x12381 -x12382 -x12383 -x12384 -x12385 -x12386 -x12387 -x12388 -x12389 -x12390 -x12391 -x12392 -x12393 -x12394 -x12395 -x12396 -x12397 -x12398 -x12399 -x12401 -x12402 -x12403 -x12404 -x12405 -x12406 -x12407 -x12408 -x12409 -x12410 -x12411 -x12412 -x12413 -x12414 -x12415 -x12416 -x12417 -x12418 -x12419 -x12420 -x12421 -x12422 -x12423 -x12424 -x12425 -x12426 -x12428 -x12429 -x12430 -x12431 -x12432 -x12433 -x12434 -x12435 -x12436 -x12437 -x12438 -x12439 -x12440 -x12441 -x12442 -x12443 -x12444 -x12445 -x12446 -x12447 -x12448 -x12449 -x12450 -x12451 -x12452 -x12453 x12455 -x12456 -x12457 -x12458 -x12459 -x12460 -x12461 -x12462 -x12463 -x12464 -x12465 -x12467 -x12468 -x12469 -x12470 -x12471 -x12472 -x12473 -x12474 -x12475 -x12476 -x12477 x12479 -x12480 -x12481 -x12482 -x12483 -x12484 -x12485 -x12486 -x12487 -x12488 -x12489 -x12491 -x12492 -x12493 -x12494 -x12495 -x12496 -x12497 -x12498 -x12499 -x12500 -x12501 -x12503 -x12504 -x12505 -x12506 -x12507 -x12508 -x12509 -x12510 -x12511 -x12512 -x12513 -x12515 -x12516 -x12517 -x12518 -x12519 -x12520 -x12521 -x12522 -x12523 -x12524 -x12525 -x12527 -x12528 -x12529 -x12530 -x12531 -x12532 -x12533 -x12534 -x12535 -x12536 -x12537 x12539 -x12540 -x12541 -x12542 -x12543 -x12544 -x12545 -x12546 -x12547 -x12548 -x12549 -x12551 -x12552 -x12553 -x12554 -x12555 -x12556 -x12557 -x12558 -x12559 -x12560 -x12561 -x12563 -x12564 -x12565 -x12566 -x12567 -x12568 -x12569 -x12570 -x12571 -x12572 -x12573 -x12575 -x12576 -x12577 -x12578 -x12579 -x12580 -x12581 -x12582 -x12583 -x12584 -x12585 -x12587 -x12588 -x12589 -x12590 -x12591 -x12592 -x12593 -x12594 -x12595 -x12596 -x12597 -x12599 -x12600 -x12601 -x12602 -x12603 -x12604 -x12605 -x12606 -x12607 -x12608 -x12609 -x12611 -x12612 -x12613 -x12614 -x12615 -x12616 -x12617 -x12618 -x12619 -x12620 -x12621 -x12623 -x12624 -x12625 -x12626 -x12627 -x12628 -x12629 -x12630 -x12631 -x12632 -x12633 -x12635 -x12636 -x12637 -x12638 -x12639 -x12640 -x12641 -x12642 -x12643 -x12644 -x12645 -x12647 -x12648 -x12649 -x12650 -x12651 -x12652 -x12653 -x12654 -x12655 -x12656 -x12657 -x12659 -x12660 -x12661 -x12662 -x12663 -x12664 -x12665 -x12666 -x12667 -x12668 -x12669 -x12671 -x12672 -x12673 -x12674 -x12675 -x12676 -x12677 -x12678 -x12679 -x12680 -x12681 -x12683 -x12684 -x12685 -x12686 -x12687 -x12688 -x12689 -x12690 -x12691 -x12692 -x12693 -x12695 -x12696 -x12697 -x12698 -x12699 -x12700 -x12701 -x12702 -x12703 -x12704 -x12705 -x12707 x12709 -x12710 -x12711 -x12712 -x12714 x12716 -x12717 -x12718 -x12719 -x12721 -x12723 -x12724 -x12725 -x12726 -x12728 -x12730 -x12731 -x12732 -x12733 -x12735 -x12737 -x12738 -x12739 -x12740 -x12742 x12744 -x12745 -x12746 -x12747 -x12749 -x12751 -x12752 -x12753 -x12754 -x12756 -x12758 -x12759 -x12760 -x12761 -x12763 -x12765 -x12766 -x12767 -x12768 -x12770 -x12772 -x12774 -x12775 -x12776 -x12777 -x12779 -x12781 -x12782 -x12783 -x12784 -x12786 -x12788 -x12789 -x12790 -x12791 -x12793 -x12795 -x12796 -x12797 -x12798 x12800 -x12802 -x12803 -x12804 -x12805 -x12807 x12809 -x12810 -x12811 -x12812 -x12814 -x12816 -x12817 -x12818 -x12819 -x12821 -x12822 -x12823 -x12824 -x12826 -x12827 -x12828 -x12829 -x12831 -x12833 -x12834 -x12835 -x12836 -x12838 -x12840 -x12841 -x12842 -x12843 -x12845 -x12847 -x12848 -x12849 -x12850 -x12852 -x12853 -x12854 -x12855 -x12857 -x12859 -x12860 -x12861 -x12862 -x12864 -x12865 -x12866 -x12867 -x12869 -x12871 -x12872 -x12873 -x12874 -x12876 -x12878 -x12879 -x12880 -x12881 -x12883 -x12885 -x12886 -x12887 -x12888 -x12890 -x12892 -x12893 -x12894 -x12895 -x12897 -x12899 -x12900 -x12901 -x12902 -x12904 -x12905 -x12906 -x12907 -x12909 -x12911 -x12912 -x12913 -x12914 -x12916 -x12918 -x12919 -x12920 -x12921 x12923 -x12925 -x12926 -x12927 -x12928 x12930 -x12932 -x12933 -x12934 -x12935 1798.02/1798.71 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1798.02/1798.71 c 14 172206 86551 886492 91603 45818493 43771 95 1798.05 1798.02/1798.71 c Objective: 26 1798.02/1798.71 s SATISFIABLE 1798.02/1798.71 c Total time: 1798.05 s
OK 26
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1876922-1245183950/watcher-1876922-1245183950 -o /tmp/evaluation-result-1876922-1245183950/solver-1876922-1245183950 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876922-1245183950.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1183 /proc/meminfo: memFree=1844512/2055920 swapFree=4191896/4192956 [pid=1183] ppid=1181 vsize=12104 CPUtime=0 /proc/1183/stat : 1183 (bsolo) R 1181 1183 644 0 -1 4194304 270 0 0 0 0 0 0 0 18 0 1 0 185996075 12394496 254 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1183/statm: 3026 255 176 640 0 2036 0 [startup+0.032663 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1183 /proc/meminfo: memFree=1844512/2055920 swapFree=4191896/4192956 [pid=1183] ppid=1181 vsize=13064 CPUtime=0.03 /proc/1183/stat : 1183 (bsolo) R 1181 1183 644 0 -1 4194304 545 0 0 0 3 0 0 0 18 0 1 0 185996075 13377536 529 1992294400 134512640 137136520 4294956256 18446744073709551615 134517643 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1183/statm: 3266 530 228 640 0 2276 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 13064 [startup+0.101669 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1183 /proc/meminfo: memFree=1844512/2055920 swapFree=4191896/4192956 [pid=1183] ppid=1181 vsize=15128 CPUtime=0.09 /proc/1183/stat : 1183 (bsolo) R 1181 1183 644 0 -1 4194304 1199 0 0 0 9 0 0 0 18 0 1 0 185996075 15491072 1183 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1183/statm: 3782 1183 353 640 0 2792 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15128 [startup+0.30169 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1183 /proc/meminfo: memFree=1844512/2055920 swapFree=4191896/4192956 [pid=1183] ppid=1181 vsize=20064 CPUtime=0.29 /proc/1183/stat : 1183 (bsolo) R 1181 1183 644 0 -1 4194304 2898 0 0 0 28 1 0 0 19 0 1 0 185996075 20545536 2536 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1183/statm: 5016 2536 189 640 0 4372 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20064 [startup+0.70173 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1183 /proc/meminfo: memFree=1844512/2055920 swapFree=4191896/4192956 [pid=1183] ppid=1181 vsize=20064 CPUtime=0.69 /proc/1183/stat : 1183 (bsolo) R 1181 1183 644 0 -1 4194304 2901 0 0 0 67 2 0 0 23 0 1 0 185996075 20545536 2539 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1183/statm: 5016 2539 189 640 0 4372 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 20064 [startup+1.50281 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1184 /proc/meminfo: memFree=1833240/2055920 swapFree=4191896/4192956 [pid=1183] ppid=1181 vsize=21944 CPUtime=1.49 /proc/1183/stat : 1183 (bsolo) R 1181 1183 644 0 -1 4194304 3484 0 0 0 144 5 0 0 25 0 1 0 185996075 22470656 3020 1992294400 134512640 137136520 4294956256 18446744073709551615 134606731 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1183/statm: 5486 3020 198 640 0 4842 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 21944 [startup+3.10198 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1184 /proc/meminfo: memFree=1833112/2055920 swapFree=4191896/4192956 [pid=1183] ppid=1181 vsize=21948 CPUtime=3.09 /proc/1183/stat : 1183 (bsolo) R 1181 1183 644 0 -1 4194304 3485 0 0 0 303 6 0 0 25 0 1 0 185996075 22474752 3021 1992294400 134512640 137136520 4294956256 18446744073709551615 134600678 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1183/statm: 5487 3021 198 640 0 4843 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21948 [startup+6.30131 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1184 /proc/meminfo: memFree=1829848/2055920 swapFree=4191896/4192956 [pid=1183] ppid=1181 vsize=25664 CPUtime=6.29 /proc/1183/stat : 1183 (bsolo) R 1181 1183 644 0 -1 4194304 4442 0 0 0 621 8 0 0 25 0 1 0 185996075 26279936 3978 1992294400 134512640 137136520 4294956256 18446744073709551615 134544135 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1183/statm: 6416 3978 198 640 0 5772 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25664 [startup+12.702 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1184 /proc/meminfo: memFree=1823776/2055920 swapFree=4191896/4192956 [pid=1183] ppid=1181 vsize=31368 CPUtime=12.69 /proc/1183/stat : 1183 (bsolo) R 1181 1183 644 0 -1 4194304 5845 0 0 0 1259 10 0 0 25 0 1 0 185996075 32120832 5381 1992294400 134512640 137136520 4294956256 18446744073709551615 134599322 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1183/statm: 7842 5381 198 640 0 7198 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 31368 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1184 /proc/meminfo: memFree=1808032/2055920 swapFree=4191896/4192956 [pid=1183] ppid=1181 vsize=47216 CPUtime=25.48 /proc/1183/stat : 1183 (bsolo) R 1181 1183 644 0 -1 4194304 9804 0 0 0 2533 15 0 0 25 0 1 0 185996075 48349184 9340 1992294400 134512640 137136520 4294956256 18446744073709551615 134544434 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1183/statm: 11804 9340 198 640 0 11160 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 47216 [startup+51.1019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1184 /proc/meminfo: memFree=1786208/2055920 swapFree=4191896/4192956 [pid=1183] ppid=1181 vsize=69628 CPUtime=51.07 /proc/1183/stat : 1183 (bsolo) R 1181 1183 644 0 -1 4194304 15436 0 0 0 5086 21 0 0 25 0 1 0 185996075 71299072 14972 1992294400 134512640 137136520 4294956256 18446744073709551615 134544375 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1183/statm: 17407 14972 198 640 0 16763 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 69628 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1184 /proc/meminfo: memFree=1674656/2055920 swapFree=4191896/4192956 [pid=1183] ppid=1181 vsize=180364 CPUtime=102.26 /proc/1183/stat : 1183 (bsolo) R 1181 1183 644 0 -1 4194304 48052 0 0 0 10184 42 0 0 25 0 1 0 185996075 184692736 42635 1992294400 134512640 137136520 4294956256 18446744073709551615 136293435 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1183/statm: 45091 42635 198 640 0 44447 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 180364 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1184 /proc/meminfo: memFree=1563104/2055920 swapFree=4191896/4192956 [pid=1183] ppid=1181 vsize=292396 CPUtime=162.23 /proc/1183/stat : 1183 (bsolo) R 1181 1183 644 0 -1 4194304 76053 0 0 0 16165 58 0 0 25 0 1 0 185996075 299413504 70636 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1183/statm: 73099 70636 198 640 0 72455 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 292396 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1184 /proc/meminfo: memFree=1440544/2055920 swapFree=4191896/4192956 [pid=1183] ppid=1181 vsize=413768 CPUtime=222.21 /proc/1183/stat : 1183 (bsolo) R 1181 1183 644 0 -1 4194304 108419 0 0 0 22147 74 0 0 25 0 1 0 185996075 423698432 101010 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1183/statm: 103442 101010 198 640 0 102798 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 413768 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1184 /proc/meminfo: memFree=1344800/2055920 swapFree=4191896/4192956 [pid=1183] ppid=1181 vsize=510756 CPUtime=282.19 /proc/1183/stat : 1183 (bsolo) R 1181 1183 644 0 -1 4194304 136154 0 0 0 28131 88 0 0 25 0 1 0 185996075 523014144 125251 1992294400 134512640 137136520 4294956256 18446744073709551615 136502385 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1183/statm: 127689 125251 198 640 0 127045 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 510756 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1184 /proc/meminfo: memFree=1313952/2055920 swapFree=4191896/4192956 [pid=1183] ppid=1181 vsize=539884 CPUtime=342.17 /proc/1183/stat : 1183 (bsolo) R 1181 1183 644 0 -1 4194304 143974 0 0 0 34123 94 0 0 25 0 1 0 185996075 552841216 132535 1992294400 134512640 137136520 4294956256 18446744073709551615 136518979 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1183/statm: 134971 132535 198 640 0 134327 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 539884 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1184 /proc/meminfo: memFree=1313888/2055920 swapFree=4191896/4192956 [pid=1183] ppid=1181 vsize=539884 CPUtime=402.15 /proc/1183/stat : 1183 (bsolo) R 1181 1183 644 0 -1 4194304 143974 0 0 0 40119 96 0 0 25 0 1 0 185996075 552841216 132535 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1183/statm: 134971 132535 198 640 0 134327 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 539884 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1184 /proc/meminfo: memFree=1313888/2055920 swapFree=4191896/4192956 [pid=1183] ppid=1181 vsize=539884 CPUtime=462.12 /proc/1183/stat : 1183 (bsolo) R 1181 1183 644 0 -1 4194304 143974 0 0 0 46113 99 0 0 25 0 1 0 185996075 552841216 132535 1992294400 134512640 137136520 4294956256 18446744073709551615 134543977 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1183/statm: 134971 132535 198 640 0 134327 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 539884 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1184 /proc/meminfo: memFree=1313824/2055920 swapFree=4191896/4192956 [pid=1183] ppid=1181 vsize=539884 CPUtime=522.1 /proc/1183/stat : 1183 (bsolo) R 1181 1183 644 0 -1 4194304 143974 0 0 0 52108 102 0 0 25 0 1 0 185996075 552841216 132535 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1183/statm: 134971 132535 198 640 0 134327 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 539884 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1184 /proc/meminfo: memFree=1306464/2055920 swapFree=4191896/4192956 [pid=1183] ppid=1181 vsize=547800 CPUtime=582.08 /proc/1183/stat : 1183 (bsolo) R 1181 1183 644 0 -1 4194304 146197 0 0 0 58102 106 0 0 25 0 1 0 185996075 560947200 134510 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1183/statm: 136950 134510 198 640 0 136306 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 547800 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1184 /proc/meminfo: memFree=1225056/2055920 swapFree=4191896/4192956 [pid=1183] ppid=1181 vsize=628548 CPUtime=642.06 /proc/1183/stat : 1183 (bsolo) R 1181 1183 644 0 -1 4194304 177012 0 0 0 64086 120 0 0 25 0 1 0 185996075 643633152 154705 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1183/statm: 157137 154705 198 640 0 156493 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 628548 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1044832/2055920 swapFree=4191896/4192956 [pid=1183] ppid=1181 vsize=808192 CPUtime=1121.88 /proc/1183/stat : 1183 (bsolo) R 1181 1183 644 0 -1 4194304 239558 0 0 0 112026 162 0 0 25 0 1 0 185996075 827588608 199617 1992294400 134512640 137136520 4294956256 18446744073709551615 134543760 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1183/statm: 202048 199617 198 640 0 201404 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 808192 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1184 /proc/meminfo: memFree=1044768/2055920 swapFree=4191896/4192956 [pid=1183] ppid=1181 vsize=808192 CPUtime=1181.86 /proc/1183/stat : 1183 (bsolo) R 1181 1183 644 0 -1 4194304 239558 0 0 0 118015 171 0 0 25 0 1 0 185996075 827588608 199617 1992294400 134512640 137136520 4294956256 18446744073709551615 136500562 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1183/statm: 202048 199617 198 640 0 201404 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 808192 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1184 /proc/meminfo: memFree=1044640/2055920 swapFree=4191896/4192956 [pid=1183] ppid=1181 vsize=808192 CPUtime=1241.85 /proc/1183/stat : 1183 (bsolo) R 1181 1183 644 0 -1 4194304 239558 0 0 0 124012 173 0 0 25 0 1 0 185996075 827588608 199617 1992294400 134512640 137136520 4294956256 18446744073709551615 134543858 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1183/statm: 202048 199617 198 640 0 201404 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 808192 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1184 /proc/meminfo: memFree=1044576/2055920 swapFree=4191896/4192956 [pid=1183] ppid=1181 vsize=808192 CPUtime=1301.83 /proc/1183/stat : 1183 (bsolo) R 1181 1183 644 0 -1 4194304 239558 0 0 0 130006 177 0 0 25 0 1 0 185996075 827588608 199617 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1183/statm: 202048 199617 198 640 0 201404 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 808192 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1184 /proc/meminfo: memFree=1044640/2055920 swapFree=4191896/4192956 [pid=1183] ppid=1181 vsize=808204 CPUtime=1361.8 /proc/1183/stat : 1183 (bsolo) R 1181 1183 644 0 -1 4194304 239561 0 0 0 136001 179 0 0 25 0 1 0 185996075 827600896 199620 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1183/statm: 202051 199620 198 640 0 201407 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 808204 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1184 /proc/meminfo: memFree=1044576/2055920 swapFree=4191896/4192956 [pid=1183] ppid=1181 vsize=808208 CPUtime=1421.78 /proc/1183/stat : 1183 (bsolo) R 1181 1183 644 0 -1 4194304 239562 0 0 0 141995 183 0 0 25 0 1 0 185996075 827604992 199621 1992294400 134512640 137136520 4294956256 18446744073709551615 134543977 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1183/statm: 202052 199621 198 640 0 201408 0 Current children cumulated CPU time (s) 1421.78 Current children cumulated vsize (KiB) 808208 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1184 /proc/meminfo: memFree=1044512/2055920 swapFree=4191896/4192956 [pid=1183] ppid=1181 vsize=808208 CPUtime=1481.75 /proc/1183/stat : 1183 (bsolo) R 1181 1183 644 0 -1 4194304 239562 0 0 0 147987 188 0 0 25 0 1 0 185996075 827604992 199621 1992294400 134512640 137136520 4294956256 18446744073709551615 136500521 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1183/statm: 202052 199621 198 640 0 201408 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 808208 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1184 /proc/meminfo: memFree=1044576/2055920 swapFree=4191896/4192956 [pid=1183] ppid=1181 vsize=808208 CPUtime=1541.73 /proc/1183/stat : 1183 (bsolo) R 1181 1183 644 0 -1 4194304 239562 0 0 0 153984 189 0 0 25 0 1 0 185996075 827604992 199621 1992294400 134512640 137136520 4294956256 18446744073709551615 134543974 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1183/statm: 202052 199621 198 640 0 201408 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 808208 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1186 /proc/meminfo: memFree=1044384/2055920 swapFree=4191896/4192956 [pid=1183] ppid=1181 vsize=808208 CPUtime=1601.69 /proc/1183/stat : 1183 (bsolo) R 1181 1183 644 0 -1 4194304 239562 0 0 0 159979 190 0 0 25 0 1 0 185996075 827604992 199621 1992294400 134512640 137136520 4294956256 18446744073709551615 135982505 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1183/statm: 202052 199621 198 640 0 201408 0 Current children cumulated CPU time (s) 1601.69 Current children cumulated vsize (KiB) 808208 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1186 /proc/meminfo: memFree=1044384/2055920 swapFree=4191896/4192956 [pid=1183] ppid=1181 vsize=808208 CPUtime=1661.68 /proc/1183/stat : 1183 (bsolo) R 1181 1183 644 0 -1 4194304 239562 0 0 0 165975 193 0 0 25 0 1 0 185996075 827604992 199621 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1183/statm: 202052 199621 198 640 0 201408 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 808208 [startup+1722.3 s] /proc/loadavg: 1.05 1.01 1.00 2/65 1186 /proc/meminfo: memFree=1044384/2055920 swapFree=4191896/4192956 [pid=1183] ppid=1181 vsize=808208 CPUtime=1721.66 /proc/1183/stat : 1183 (bsolo) R 1181 1183 644 0 -1 4194304 239562 0 0 0 171972 194 0 0 25 0 1 0 185996075 827604992 199621 1992294400 134512640 137136520 4294956256 18446744073709551615 134543945 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1183/statm: 202052 199621 198 640 0 201408 0 Current children cumulated CPU time (s) 1721.66 Current children cumulated vsize (KiB) 808208 [startup+1782.3 s] /proc/loadavg: 1.06 1.02 1.00 2/65 1186 /proc/meminfo: memFree=1044448/2055920 swapFree=4191896/4192956 [pid=1183] ppid=1181 vsize=808208 CPUtime=1781.63 /proc/1183/stat : 1183 (bsolo) R 1181 1183 644 0 -1 4194304 239562 0 0 0 177968 195 0 0 25 0 1 0 185996075 827604992 199621 1992294400 134512640 137136520 4294956256 18446744073709551615 136502448 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1183/statm: 202052 199621 198 640 0 201408 0 Current children cumulated CPU time (s) 1781.63 Current children cumulated vsize (KiB) 808208 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.05 1.02 1.00 2/65 1186 /proc/meminfo: memFree=1044448/2055920 swapFree=4191896/4192956 [pid=1183] ppid=1181 vsize=808208 CPUtime=1791.23 /proc/1183/stat : 1183 (bsolo) R 1181 1183 644 0 -1 4194304 239562 0 0 0 178928 195 0 0 25 0 1 0 185996075 827604992 199621 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1183/statm: 202052 199621 198 640 0 201408 0 Current children cumulated CPU time (s) 1791.23 Current children cumulated vsize (KiB) 808208 [startup+1795.1 s] /proc/loadavg: 1.05 1.02 1.00 2/65 1186 /proc/meminfo: memFree=1044448/2055920 swapFree=4191896/4192956 [pid=1183] ppid=1181 vsize=808208 CPUtime=1794.43 /proc/1183/stat : 1183 (bsolo) R 1181 1183 644 0 -1 4194304 239562 0 0 0 179248 195 0 0 25 0 1 0 185996075 827604992 199621 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1183/statm: 202052 199621 198 640 0 201408 0 Current children cumulated CPU time (s) 1794.43 Current children cumulated vsize (KiB) 808208 [startup+1796.7 s] /proc/loadavg: 1.05 1.02 1.00 2/65 1186 /proc/meminfo: memFree=1044448/2055920 swapFree=4191896/4192956 [pid=1183] ppid=1181 vsize=808208 CPUtime=1796.02 /proc/1183/stat : 1183 (bsolo) R 1181 1183 644 0 -1 4194304 239562 0 0 0 179407 195 0 0 25 0 1 0 185996075 827604992 199621 1992294400 134512640 137136520 4294956256 18446744073709551615 135982525 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1183/statm: 202052 199621 198 640 0 201408 0 Current children cumulated CPU time (s) 1796.02 Current children cumulated vsize (KiB) 808208 [startup+1797.5 s] /proc/loadavg: 1.05 1.02 1.00 2/65 1186 /proc/meminfo: memFree=1044448/2055920 swapFree=4191896/4192956 [pid=1183] ppid=1181 vsize=808208 CPUtime=1796.82 /proc/1183/stat : 1183 (bsolo) R 1181 1183 644 0 -1 4194304 239562 0 0 0 179487 195 0 0 25 0 1 0 185996075 827604992 199621 1992294400 134512640 137136520 4294956256 18446744073709551615 136502161 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1183/statm: 202052 199621 198 640 0 201408 0 Current children cumulated CPU time (s) 1796.82 Current children cumulated vsize (KiB) 808208 [startup+1798.3 s] /proc/loadavg: 1.05 1.02 1.00 2/65 1186 /proc/meminfo: memFree=1044448/2055920 swapFree=4191896/4192956 [pid=1183] ppid=1181 vsize=808208 CPUtime=1797.62 /proc/1183/stat : 1183 (bsolo) R 1181 1183 644 0 -1 4194304 239562 0 0 0 179567 195 0 0 25 0 1 0 185996075 827604992 199621 1992294400 134512640 137136520 4294956256 18446744073709551615 134573439 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1183/statm: 202052 199621 198 640 0 201408 0 Current children cumulated CPU time (s) 1797.62 Current children cumulated vsize (KiB) 808208 [startup+1798.7 s] /proc/loadavg: 1.12 1.04 1.01 2/65 1186 /proc/meminfo: memFree=1044448/2055920 swapFree=4191896/4192956 [pid=1183] ppid=1181 vsize=808208 CPUtime=1798.02 /proc/1183/stat : 1183 (bsolo) R 1181 1183 644 0 -1 4194304 239562 0 0 0 179607 195 0 0 25 0 1 0 185996075 827604992 199621 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1183/statm: 202052 199621 198 640 0 201408 0 Current children cumulated CPU time (s) 1798.02 Current children cumulated vsize (KiB) 808208 [startup+1798.8 s] /proc/loadavg: 1.12 1.04 1.01 2/65 1186 /proc/meminfo: memFree=1044448/2055920 swapFree=4191896/4192956 [pid=1183] ppid=1181 vsize=0 CPUtime=1798.12 /proc/1183/stat : 1183 (bsolo) R 1181 1183 644 0 -1 4194308 239564 0 0 0 179608 204 0 0 17 0 1 0 185996075 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1183/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.12 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.85 CPU time (s): 1798.18 CPU user time (s): 1796.09 CPU system time (s): 2.09268 CPU usage (%): 99.9627 Max. virtual memory (cumulated for all children) (KiB): 808208 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.09 system time used= 2.09268 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 239564 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 10 involuntary context switches= 7193 runsolver used 1.71574 second user time and 4.83226 second system time The end
Begin job on node2 at 2009-06-16 22:25:50 IDJOB=1876922 IDBENCH=25014 IDSOLVER=699 FILE ID=node2/1876922-1245183950 PBS_JOBID= 9363895 Free space on /tmp= 66448 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_7.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876922-1245183950/watcher-1876922-1245183950 -o /tmp/evaluation-result-1876922-1245183950/solver-1876922-1245183950 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876922-1245183950.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7da351a6b3346c83b923d96056c07b3e RANDOM SEED=23400730 node2.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.214 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.214 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1845056 kB Buffers: 44824 kB Cached: 94928 kB SwapCached: 260 kB Active: 46536 kB Inactive: 106504 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1845056 kB SwapTotal: 4192956 kB SwapFree: 4191896 kB Dirty: 5400 kB Writeback: 0 kB Mapped: 21784 kB Slab: 43744 kB Committed_AS: 158368 kB PageTables: 1468 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1876922-1245183950.opb Free space on /tmp at the end= 66444 MiB End job on node2 at 2009-06-16 22:55:49