Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | 28 | 1798.11 | 1798.8 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_9.opb |
MD5SUM | d90f6236f870e45ceb3cd4a6e4593f30 |
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.45 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 24 |
Optimality of the best value was proved | NO |
Number of variables | 14352 |
Total number of constraints | 53247 |
Number of constraints which are clauses | 53237 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 9 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 1036 |
Number of terms in the objective function | 1036 |
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 | 1036 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 32 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1068 |
Number of bits of the biggest sum of numbers | 11 |
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.2 - 23/05/2010 : 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 Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2656365-1276640503.opb 0.00/0.00 c File size is 1582828 bytes. 0.19/0.27 c Highest Coefficient sum: 1068 0.19/0.27 c Parsing was ok!! 0.19/0.27 c Total parsing time: 0.275 s 0.29/0.30 c Var: 14352 Constr: 53247 53246/1/0 Lit: 134679 Watch. Lit: 107492 0.29/0.30 c Obj. Vars: 1036 (7.21851 % of total variables) 1.29/1.31 c Pre-processing Time: 1.308 s 1.29/1.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.31 c 0 14340 53219 134628 2 107441 18739 0 0 1.31 1.29/1.31 c Switching off lower bounding mode. 1.29/1.35 o 31 1.59/1.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.65 c 12 14340 53244 141723 2 108496 19739 25 8 1.36 1.59/1.65 c 112 14340 53356 147225 2 108720 21713 137 69 1.62 1.59/1.65 o 30 5.79/5.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.79/5.83 c 114 14340 53361 148330 2 109736 19739 142 68 1.66 5.79/5.83 c 214 14340 53467 153567 2 110949 21713 248 94 2.25 5.79/5.83 c 465 14340 53742 164989 3 111499 23885 523 158 2.94 5.79/5.83 c 941 14340 54289 245747 4 112593 26274 1070 237 3.96 5.79/5.83 c 1754 14340 55207 385764 6 114429 28902 1988 303 5.78 5.79/5.83 o 29 5.79/5.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.79/5.89 c 1759 14340 55218 395489 7 115458 19739 1999 301 5.84 5.79/5.89 o 28 1798.00/1798.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1798.00/1798.70 c 1762 14340 55225 398050 7 116480 19739 2006 298 5.90 1798.00/1798.70 c 1863 14340 55335 410643 7 116700 21713 2116 304 6.13 1798.00/1798.70 c 2114 14340 55623 487771 8 117276 23885 2404 312 6.76 1798.00/1798.70 c 2589 14340 56165 526806 9 118360 26274 2946 298 8.68 1798.00/1798.70 c 3403 14340 57150 1290900 22 120330 28902 3931 275 12.36 1798.00/1798.70 c 4725 14340 58590 1523254 25 123210 31793 5371 298 15.82 1798.00/1798.70 c 6808 14340 61180 2312890 37 129395 34973 7961 287 23.67 1798.00/1798.70 c 10032 14340 65012 4122886 63 138066 38471 11793 262 38.20 1798.00/1798.70 c 14968 14340 70869 6968894 98 152795 42319 17650 247 60.47 1798.00/1798.70 c 22475 14340 79993 12739703 159 174027 46551 26774 210 106.83 1798.00/1798.70 c 33837 14340 93136 22647256 243 203323 51207 39917 168 200.95 1798.00/1798.70 c 50982 14340 66760 9321349 139 147707 56328 13541 153 332.49 1798.00/1798.70 c 76803 14340 95821 19532990 203 219893 61961 42602 151 506.56 1798.00/1798.71 c 115635 14340 79776 30721390 385 211992 68158 26557 116 989.01 1798.00/1798.71 c 173989 14340 83548 16265033 194 199016 74974 30329 100 1735.58 1798.00/1798.71 c Resources Exceeded 1798.00/1798.71 v x1 x83 x821 x888 x1226 -x1571 -x1583 -x1595 x1607 -x1619 -x1631 -x9 -x1643 -x12 -x1648 -x15 x1653 -x18 -x1658 -x21 -x1663 -x24 -x1668 -x27 -x1673 x30 -x1678 -x33 -x1683 -x36 -x1688 -x39 -x1693 -x42 -x1698 -x45 -x1703 -x48 -x1708 -x51 -x1713 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 x1752 -x1754 -x1756 -x1758 -x1879 -x2000 -x2121 -x2242 -x2363 -x2484 -x2605 x2726 -x94 -x2847 -x97 -x2905 -x100 -x2963 -x103 -x3021 -x106 -x3079 -x109 -x3137 -x112 -x3195 -x115 -x3253 -x3311 -x120 -x3369 -x3427 x125 -x3485 -x128 -x3543 -x131 -x3601 -x3659 -x136 -x3717 -x139 -x3775 -x142 -x3833 -x3891 -x147 -x3949 -x150 -x4007 -x153 -x4065 -x156 -x4123 x159 -x4181 -x162 -x4239 -x165 -x4297 -x168 -x4355 -x4413 -x173 -x4471 -x4529 -x4587 -x180 -x4645 -x4703 -x185 -x4761 -x188 -x4819 x4877 -x4935 -x4937 -x4964 -x4966 -x4993 -x4995 -x5022 -x5024 -x5051 -x5053 -x5080 -x5082 -x5109 -x5111 -x5138 -x5140 -x5167 -x5169 -x5196 -x5198 -x5225 -x5227 -x5254 -x5256 -x5283 -x5285 -x5312 -x5314 -x5341 -x5343 x5370 -x5372 -x5399 -x5401 -x5428 -x5430 -x5457 -x5459 -x5486 -x5488 -x5515 -x5517 -x5544 -x5546 -x5573 -x5575 -x5602 -x5604 -x5631 -x5633 -x5660 -x5662 -x5689 -x5691 -x5718 -x5720 -x5747 -x5749 -x5776 -x5778 x5805 -x5807 -x5834 -x5836 -x5863 -x5865 -x5892 -x5894 -x5921 -x5923 -x5950 -x5952 -x5979 -x5981 -x6008 -x6010 -x6037 -x6039 -x6066 -x6068 -x6095 -x6097 -x6124 -x6126 -x6153 -x6180 -x6182 -x6209 -x6211 -x6238 -x6240 -x6267 -x6269 -x6296 -x6298 -x6325 -x6327 -x6354 -x6356 -x6383 -x6385 -x6412 -x6414 -x6441 -x6443 -x6470 -x6472 -x6499 -x6501 -x6528 -x6530 -x6557 -x6559 -x6586 -x6588 -x6615 -x6617 -x6644 -x6646 -x6673 -x6675 -x6702 -x6704 -x6731 -x6733 -x6760 -x6762 -x6789 -x6791 -x6818 -x6820 -x6847 -x6849 -x6876 -x6878 -x6905 -x6907 -x6934 -x6936 -x6963 -x6965 -x6992 -x6994 -x7021 -x7023 -x7050 -x7052 -x7079 -x7081 -x7108 -x7110 -x7137 -x7139 -x7166 -x7168 -x7195 -x7197 -x7224 x7226 -x7253 -x7255 -x7282 -x7284 -x7311 -x7313 -x7340 -x7342 -x7369 -x7374 -x7386 -x7391 -x7403 -x7408 -x7420 -x7425 -x7437 -x7442 -x7454 -x7459 -x7471 -x7476 -x7488 -x7493 -x7505 -x7510 -x7522 -x7527 -x7539 -x7544 -x7556 -x7561 -x7573 -x7578 -x7590 -x7595 -x7607 -x7612 -x7624 -x7629 -x7641 -x7646 -x7658 -x7663 -x7675 -x7680 -x7692 -x7697 -x7709 -x7714 -x7726 -x7731 -x7743 -x7748 -x7760 -x7765 -x7777 -x7782 -x7794 -x7799 -x7811 -x7816 -x7828 -x7833 -x7845 -x7850 -x7862 -x7867 -x7879 -x7884 -x7896 -x7901 -x7913 -x7918 -x7930 -x7935 -x7947 -x7952 -x7964 -x7969 -x7981 -x7986 -x7998 -x8003 -x8015 -x8020 -x8032 -x8037 -x8049 -x8054 -x8066 -x8071 -x8083 -x8088 -x8100 -x8105 -x8117 -x8122 -x8134 -x8139 -x8151 -x8156 -x8168 -x8173 -x8185 -x8190 -x8202 -x8207 -x8219 -x8224 -x8236 -x8241 -x8253 -x8258 -x8270 -x8275 -x8287 -x8292 -x8304 -x8309 -x8321 -x8326 -x8338 -x8343 -x8355 -x8360 -x8372 -x8377 -x8389 -x8394 -x8406 -x8411 -x8423 -x8428 -x8440 -x8445 -x8457 -x8462 -x8474 -x8479 -x8491 -x8496 -x8508 -x8513 -x8525 -x8530 -x8542 -x8547 -x8559 -x8564 -x8576 -x8581 -x8593 -x8598 -x8610 -x8615 -x8627 -x8632 -x8644 -x8649 -x8661 -x8666 -x8678 -x8683 -x8695 -x8700 -x8712 -x8717 -x8729 -x8734 -x8746 -x8751 -x8763 -x8768 -x8780 -x8785 -x8797 -x8802 -x8814 -x8819 -x8831 -x8836 -x8848 -x8853 -x8865 -x8870 -x8882 -x8887 -x8899 -x8904 -x8916 -x8921 -x8933 -x8938 -x8950 -x8955 -x8967 -x8972 -x8984 -x8989 -x9001 -x9006 -x9018 -x9023 -x9035 -x9040 -x9052 -x9057 -x9069 -x9074 -x9086 -x9091 -x9103 -x9108 -x9120 -x9125 -x9137 -x9142 -x9154 -x9159 -x9171 -x9176 -x9188 -x9193 -x9205 -x9210 -x9222 -x9227 -x9239 -x9244 -x9256 -x9261 -x9273 -x9278 -x9290 -x9295 -x9307 -x9312 -x9324 -x9329 -x9341 -x9346 -x9358 -x9363 -x9375 -x9380 -x9392 -x9397 -x9409 -x9414 -x9426 -x9431 -x9443 -x9448 -x9460 -x9465 -x9477 -x9482 -x9494 -x9499 -x9511 -x9523 -x9535 -x9547 -x9559 -x9571 -x829 -x9583 -x9588 x9593 -x9598 -x838 -x9603 -x841 -x9608 -x844 -x9613 -x9618 -x849 -x9623 -x9628 -x9633 -x9638 -x859 -x9643 -x9648 -x9653 -x9655 -x9657 -x9659 -x9661 -x9663 -x9665 -x9667 -x9669 -x9671 x9673 -x9675 -x9677 -x9679 -x9681 -x9683 -x9741 -x9799 -x9857 -x9915 x9973 -x10031 -x10089 -x898 -x10147 -x901 -x10174 -x10201 -x10228 -x908 -x10255 -x10282 -x913 -x10309 -x916 -x10336 -x919 -x10363 -x922 -x10390 -x925 -x10417 -x928 -x10444 -x931 -x10471 -x10498 -x10525 -x10552 -x940 -x10579 -x10606 -x10633 -x10660 -x10687 -x10714 -x10741 -x10768 -x10795 -x10822 x10849 -x963 -x10876 -x10903 -x10905 -x10917 -x10919 -x10931 -x10933 -x10945 -x10947 -x10959 -x10961 -x10973 -x10975 x10987 -x10989 -x11001 -x11003 -x11015 -x11017 -x11029 -x11031 -x11043 -x11045 -x11057 -x11069 -x11071 -x11083 -x11095 -x11097 -x11109 -x11111 -x11123 -x11135 -x11137 -x11149 -x11151 -x11163 -x11165 -x11177 -x11179 -x11191 -x11193 -x11205 -x11207 -x11219 -x11221 -x11233 -x11235 -x11247 -x11249 -x11261 -x11263 -x11275 -x11277 -x11289 -x11291 -x11303 -x11305 -x11317 -x11319 -x11331 -x11333 -x11345 -x11347 -x11359 -x11361 -x11373 x11375 -x11387 -x11389 -x11401 -x11403 -x11415 -x11417 -x11429 -x11431 -x11443 -x11445 -x11457 -x11459 -x11471 -x11473 -x11485 -x11487 -x11499 -x11501 -x11513 -x11525 -x11527 -x11539 -x11551 -x11563 -x11575 -x11587 -x11599 -x11601 -x11613 -x11615 -x11627 -x11639 -x11641 -x11653 -x11655 -x11667 -x11672 -x11677 -x11682 -x11687 -x11692 -x11697 -x11702 -x11707 -x11712 -x11717 -x11722 -x11727 -x11732 -x11737 -x11742 -x11747 -x11752 -x11757 -x11762 -x11767 -x11772 -x11777 -x11782 -x11787 -x11792 -x11797 -x11802 -x11807 -x11812 -x11817 -x11822 -x11827 x11832 -x11837 -x11842 -x11847 -x11852 -x11857 -x11862 -x11867 -x11872 -x11877 -x11882 -x11887 -x11892 -x11897 -x11902 -x11907 -x11912 -x11917 -x11922 -x11927 -x11932 -x11937 -x11942 -x11947 -x11952 -x11957 -x11962 -x11967 -x11972 -x11977 -x11982 -x11987 -x11992 -x11997 -x12002 -x12007 -x12065 -x12123 x12181 -x12239 -x12297 -x12355 -x12413 -x1236 -x12471 -x12498 -x12525 -x12552 -x1245 -x12579 -x12606 -x1250 -x12633 -x12660 x12687 -x12714 -x1259 -x12741 -x12768 -x12795 -x12822 -x12849 -x12876 -x12903 -x12930 -x1276 -x12957 -x12984 -x1281 -x13011 -x1284 -x13038 -x1287 -x13065 -x13092 -x1292 -x13119 -x1295 -x13146 -x1298 -x13173 -x13200 -x13227 -x13229 -x13241 x13243 -x13255 -x13257 -x13269 -x13271 -x13283 -x13285 -x13297 -x13299 -x13311 -x13313 -x13325 -x13327 -x13339 -x13341 -x13353 -x13365 -x13367 -x13379 -x13381 -x13393 -x13395 -x13407 -x13409 -x13421 -x13423 -x13435 -x13437 -x13449 -x13451 -x13463 -x13465 -x13477 -x13479 -x13491 -x13493 -x13505 -x13507 -x13519 -x13521 -x13533 -x13535 -x13547 -x13549 -x13561 -x13563 -x13575 -x13577 -x13589 -x13591 -x13603 -x13605 -x13617 -x13619 -x13631 -x13633 -x13645 -x13647 -x13659 -x13671 -x13673 -x13685 -x13687 -x13699 -x13701 -x13713 -x13725 -x13727 -x13739 -x13751 -x13753 -x13765 -x13767 -x13779 -x13781 x13793 -x13795 -x13807 -x13809 -x13821 -x13823 -x13835 -x13837 -x13849 -x13851 -x13863 -x13865 -x13877 -x13879 -x13891 -x13893 -x13905 -x13907 -x13919 -x13921 -x13933 -x13935 -x13947 -x13949 -x13961 -x13963 -x13975 -x13977 -x13989 -x13991 -x14003 -x14008 -x14013 -x14018 -x14023 -x14028 -x14033 -x14038 -x14043 -x14048 -x14053 -x14058 -x14063 x14068 -x14073 -x14078 -x14083 -x14088 -x14093 -x14098 -x14103 -x14108 -x14113 -x14118 -x14123 -x14128 -x14133 -x14138 -x14143 -x14148 -x14153 -x14158 -x14163 -x14168 -x14173 -x14178 -x14183 -x14188 -x14193 -x14198 -x14203 -x14208 -x14213 -x14218 -x14223 -x14228 -x14233 -x14238 -x14243 -x14248 -x14253 -x14258 -x14263 -x14268 -x14273 -x14278 -x14283 -x14288 -x14293 -x14298 -x14303 -x14308 -x14313 -x14318 -x14323 -x14328 -x14333 -x14338 -x14343 -x14348 -x8 -x10 -x11 -x13 -x14 x16 -x17 -x19 -x20 -x22 -x23 -x25 -x26 -x28 -x29 -x31 -x32 -x34 -x35 -x37 -x38 -x40 -x41 -x43 -x44 -x46 -x47 -x49 -x50 -x52 -x54 -x53 -x55 -x57 -x56 -x58 -x60 -x59 -x61 -x63 -x62 -x64 -x66 -x65 -x67 -x69 -x68 -x70 -x72 -x71 -x73 -x75 -x74 -x76 -x78 -x77 x79 -x81 -x80 -x82 -x2 -x3 -x4 x5 -x6 -x7 -x93 -x95 -x96 -x98 -x99 -x101 -x102 -x104 -x105 -x107 -x108 -x110 -x111 -x113 -x114 -x116 -x117 -x118 -x119 -x121 -x122 -x123 -x124 -x126 -x127 -x129 -x130 -x132 -x133 -x134 -x135 -x137 -x138 -x140 -x141 -x143 -x144 -x145 -x146 -x148 -x149 -x151 -x152 -x154 -x155 -x157 -x158 -x160 -x161 -x163 -x164 -x166 -x167 -x169 -x170 -x171 -x172 -x174 -x175 -x176 -x177 -x178 -x179 -x181 -x182 -x183 -x184 -x186 -x187 -x189 -x190 x191 -x193 -x192 -x194 -x196 -x195 -x197 -x199 -x198 -x200 -x202 -x201 -x203 -x205 -x204 -x206 -x208 -x207 -x209 -x211 -x210 -x212 -x214 -x213 -x215 -x217 -x216 -x218 -x220 -x219 -x221 -x223 -x222 -x224 -x226 -x225 -x227 -x229 -x228 -x230 -x232 -x231 -x233 -x235 -x234 -x236 x238 -x237 -x239 -x241 -x240 -x242 -x244 -x243 -x245 -x247 -x246 -x248 -x250 -x249 -x251 -x253 -x252 -x254 -x256 -x255 -x257 -x259 -x258 -x260 -x262 -x261 -x263 -x265 -x264 -x266 -x268 -x267 -x269 -x271 -x270 -x272 -x274 -x273 -x275 -x277 -x276 -x278 -x280 -x279 -x281 x283 -x282 -x284 -x286 -x285 -x287 -x289 -x288 -x290 -x292 -x291 -x293 -x295 -x294 -x296 -x298 -x297 -x299 -x301 -x300 -x302 -x304 -x303 -x305 -x307 -x306 -x308 -x310 -x309 -x311 -x313 -x312 -x314 -x316 -x315 -x317 -x318 -x319 -x321 -x320 -x322 -x324 -x323 -x325 -x327 -x326 -x328 -x330 -x329 -x331 -x333 -x332 -x334 -x336 -x335 -x337 -x339 -x338 -x340 -x342 -x341 -x343 -x345 -x344 -x346 -x348 -x347 -x349 -x351 -x350 -x352 -x354 -x353 -x355 -x357 -x356 -x358 -x360 -x359 -x361 -x363 -x362 -x364 -x366 -x365 -x367 -x369 -x368 -x370 -x372 -x371 -x373 -x375 -x374 -x376 -x378 -x377 -x379 -x381 -x380 -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 -x504 -x503 -x505 -x507 -x506 -x508 -x510 -x509 -x511 -x513 -x512 -x514 -x516 -x515 -x517 -x519 -x518 -x520 -x522 -x521 -x523 -x525 -x524 -x526 -x528 -x527 -x529 -x531 -x530 -x532 -x534 -x533 -x535 -x537 -x536 -x538 -x540 -x539 -x541 -x543 -x542 -x544 -x546 -x545 -x547 -x549 -x548 -x550 -x552 -x551 -x553 -x555 -x554 -x556 -x558 -x557 -x559 -x561 -x560 -x562 -x564 -x563 -x565 -x567 -x566 -x568 -x570 -x569 -x571 -x573 -x572 -x574 -x576 -x575 -x577 -x579 -x578 -x580 -x582 -x581 -x583 -x585 -x584 -x586 -x588 -x587 -x589 -x591 -x590 -x592 -x594 -x593 -x595 -x597 -x596 -x598 -x600 -x599 -x601 -x603 -x602 -x604 -x606 -x605 -x607 -x609 -x608 -x610 -x612 -x611 -x613 -x615 -x614 -x616 -x618 -x617 -x619 -x621 -x620 -x622 -x624 -x623 -x625 -x627 -x626 -x628 -x630 -x629 -x631 -x633 -x632 -x634 -x636 -x635 -x637 -x639 -x638 -x640 -x642 -x641 -x643 -x645 -x644 -x646 -x648 -x647 -x649 -x651 -x650 -x652 -x654 -x653 -x655 -x657 -x656 -x658 -x660 -x659 -x661 -x663 -x662 -x664 -x666 -x665 -x667 -x669 -x668 -x670 -x672 -x671 -x673 -x675 -x674 -x676 -x678 -x677 -x679 -x681 -x680 -x682 -x684 -x683 -x685 -x687 -x686 -x688 -x690 -x689 -x691 -x693 -x692 -x694 -x696 -x695 -x697 -x699 -x698 -x700 -x702 -x701 -x703 -x705 -x704 -x706 -x708 -x707 -x709 -x711 -x710 -x712 -x714 -x713 -x715 -x717 -x716 -x718 -x720 -x719 -x721 -x723 -x722 -x724 -x726 -x725 -x727 -x729 -x728 -x730 -x732 -x731 -x733 -x735 -x734 -x736 -x738 -x737 -x739 -x741 -x740 -x742 -x744 -x743 -x745 -x747 -x746 -x748 -x750 -x749 -x751 -x753 -x752 -x754 -x756 -x755 -x757 -x759 -x758 -x760 -x762 -x761 -x763 -x765 -x764 -x766 -x768 -x767 -x769 -x771 -x770 -x772 -x774 -x773 -x775 -x777 -x776 -x778 -x780 -x779 -x781 -x783 -x782 -x784 -x786 -x785 -x787 -x789 -x788 -x790 -x792 -x791 -x793 -x795 -x794 -x796 -x798 -x797 -x799 -x801 -x800 -x802 -x804 -x803 -x805 -x807 -x806 -x808 -x810 -x809 -x811 -x813 -x812 -x814 -x816 -x815 -x817 -x819 -x818 -x820 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x828 -x830 -x831 -x832 x833 x834 -x835 -x836 -x837 -x839 -x840 -x842 -x843 -x845 -x846 -x847 -x848 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x860 -x861 -x862 -x864 -x863 -x865 -x867 -x866 -x869 -x868 -x870 -x872 -x871 -x873 -x874 -x875 -x876 -x878 -x877 -x879 -x880 x881 -x883 -x882 -x884 -x886 -x885 -x887 -x822 -x823 -x824 -x825 -x826 -x827 -x897 -x899 -x900 -x902 -x903 -x904 -x905 -x906 -x907 -x909 -x910 -x911 -x912 -x914 -x915 -x917 -x918 -x920 -x921 -x923 -x924 -x926 -x927 -x929 -x930 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 x961 -x962 -x964 -x966 -x965 -x967 -x969 -x968 -x970 -x972 -x971 -x973 -x975 -x974 -x976 -x978 -x977 -x979 -x981 -x980 -x982 x984 -x983 -x985 -x987 -x986 -x988 -x990 -x989 -x991 -x993 -x992 -x994 -x996 -x995 -x997 -x998 -x999 -x1001 -x1000 -x1002 -x1003 -x1004 -x1006 -x1005 -x1007 -x1009 -x1008 -x1010 -x1011 -x1012 -x1014 -x1013 -x1015 -x1017 -x1016 -x1018 -x1020 -x1019 -x1021 -x1023 -x1022 -x1024 -x1026 -x1025 -x1027 -x1029 -x1028 -x1030 -x1032 -x1031 -x1033 -x1035 -x1034 -x1036 -x1038 -x1037 -x1039 -x1041 -x1040 -x1042 -x1044 -x1043 -x1045 -x1047 -x1046 -x1048 -x1050 -x1049 -x1051 -x1053 -x1052 -x1054 -x1056 -x1055 -x1057 -x1059 -x1058 -x1060 -x1062 -x1061 -x1063 -x1065 -x1064 x1066 -x1068 -x1067 -x1069 -x1071 -x1070 -x1072 -x1074 -x1073 -x1075 -x1077 -x1076 -x1078 -x1080 -x1079 -x1081 -x1083 -x1082 -x1084 -x1086 -x1085 -x1087 -x1089 -x1088 -x1090 -x1092 -x1091 -x1093 -x1094 -x1095 -x1097 -x1096 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1110 -x1109 -x1111 -x1113 -x1112 -x1114 -x1115 -x1116 -x1118 -x1117 -x1119 -x1121 -x1120 -x1122 -x1124 -x1123 -x1125 -x1127 -x1126 -x1128 -x1130 -x1129 -x1131 -x1133 -x1132 -x1135 -x1134 -x1136 -x1138 -x1137 -x1139 -x1141 -x1140 -x1142 -x1144 -x1143 -x1145 -x1147 -x1146 -x1148 -x1150 -x1149 -x1151 -x1153 -x1152 -x1154 -x1156 -x1155 -x1157 -x1159 -x1158 -x1160 -x1162 -x1161 -x1163 -x1165 -x1164 -x1166 -x1168 -x1167 -x1169 -x1171 -x1170 -x1172 x1174 -x1173 -x1175 -x1177 -x1176 -x1178 -x1180 -x1179 -x1181 -x1183 -x1182 -x1184 -x1186 -x1185 -x1187 -x1189 -x1188 -x1190 -x1192 -x1191 -x1193 -x1195 -x1194 -x1196 -x1198 -x1197 -x1199 -x1200 -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 -x889 -x890 -x891 -x892 -x893 x894 -x895 -x896 -x1235 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1246 -x1247 -x1248 -x1249 -x1251 -x1252 -x1253 -x1254 x1255 -x1256 -x1257 -x1258 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1277 -x1278 -x1279 -x1280 -x1282 -x1283 -x1285 -x1286 -x1288 -x1289 -x1290 -x1291 -x1293 -x1294 -x1296 -x1297 -x1299 -x1300 -x1301 -x1303 -x1302 -x1304 -x1306 -x1305 x1307 -x1309 -x1308 -x1310 -x1312 -x1311 -x1313 -x1315 -x1314 -x1316 -x1318 -x1317 -x1319 -x1321 -x1320 -x1322 -x1324 -x1323 -x1325 -x1327 -x1326 -x1328 -x1329 -x1330 -x1332 -x1331 -x1333 -x1335 -x1334 -x1336 -x1338 -x1337 -x1339 -x1341 -x1340 -x1342 -x1344 -x1343 -x1345 -x1347 -x1346 -x1348 -x1350 -x1349 -x1351 -x1353 -x1352 -x1354 -x1356 -x1355 -x1357 -x1359 -x1358 -x1360 -x1362 -x1361 -x1363 -x1365 -x1364 -x1366 -x1368 -x1367 -x1369 -x1371 -x1370 -x1372 -x1374 -x1373 -x1375 -x1377 -x1376 -x1378 -x1380 -x1379 -x1381 -x1383 -x1382 -x1384 -x1386 -x1385 -x1387 -x1389 -x1388 -x1390 -x1392 -x1391 -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 -x1428 -x1427 -x1429 -x1431 -x1430 -x1432 -x1434 -x1433 -x1435 -x1437 -x1436 -x1438 -x1440 -x1439 -x1441 -x1443 -x1442 -x1444 -x1446 -x1445 -x1447 -x1449 -x1448 -x1450 -x1452 -x1451 -x1453 -x1455 -x1454 -x1456 -x1458 -x1457 -x1459 -x1461 -x1460 -x1462 -x1464 -x1463 -x1465 -x1467 -x1466 -x1468 -x1470 -x1469 -x1471 -x1473 -x1472 -x1474 -x1476 -x1475 -x1477 -x1479 -x1478 -x1480 -x1482 -x1481 -x1483 -x1485 -x1484 x1486 -x1488 -x1487 -x1489 -x1491 -x1490 -x1492 -x1494 -x1493 -x1495 -x1497 -x1496 -x1498 -x1500 -x1499 -x1501 -x1503 -x1502 -x1504 -x1506 -x1505 -x1507 -x1509 -x1508 -x1510 -x1512 -x1511 -x1513 -x1515 -x1514 -x1516 -x1518 -x1517 -x1519 -x1521 -x1520 -x1522 -x1524 -x1523 -x1525 -x1527 -x1526 -x1528 -x1530 -x1529 -x1531 -x1533 -x1532 -x1534 -x1536 -x1535 -x1537 -x1539 -x1538 -x1540 -x1542 -x1541 -x1543 -x1545 -x1544 -x1546 -x1548 -x1547 -x1549 -x1551 -x1550 -x1552 -x1554 -x1553 -x1555 -x1557 -x1556 -x1558 -x1560 -x1559 -x1561 -x1563 -x1562 -x1564 -x1566 -x1565 -x1567 -x1569 -x1568 -x1570 -x1227 -x1228 -x1229 x1230 -x1231 -x1232 -x1233 -x1234 x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1644 -x1645 -x1646 -x1647 -x1649 -x1650 -x1651 -x1652 x1654 -x1655 -x1656 -x1657 -x1659 -x1660 -x1661 -x1662 x1664 -x1665 -x1666 -x1667 -x1669 -x1670 -x1671 -x1672 -x1674 -x1675 -x1676 -x1677 -x1679 -x1680 -x1681 -x1682 -x1684 -x1685 -x1686 -x1687 -x1689 -x1690 -x1691 -x1692 -x1694 -x1695 -x1696 -x1697 -x1699 -x1700 -x1701 -x1702 -x1704 -x1705 -x1706 -x1707 x1709 -x1710 -x1711 -x1712 -x1714 -x1715 -x1716 -x1717 -x1719 -x1721 -x1723 -x1725 x1727 -x1729 -x1731 -x1733 -x1735 x1737 -x1739 -x1741 -x1743 x1745 -x1747 -x1749 -x1751 x1753 -x1755 -x1757 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -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 -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 -x2291 -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 -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 -x2412 -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 -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 -x2533 -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 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 -x2654 -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 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 -x2775 -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 -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 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -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 -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 -x3017 -x3018 -x3019 -x3020 -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 -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 -x3138 -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 -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 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -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 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -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 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -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 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -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 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -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 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -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 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -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 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -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 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -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 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -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 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -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 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -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 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -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 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -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 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -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 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -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 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -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 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -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 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -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 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -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 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -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 x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -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 x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -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 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -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 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -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 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -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 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -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 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -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 x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -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 -x4936 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4965 -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 -x4994 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 x5023 -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 -x5052 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5081 -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 -x5110 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5139 -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 -x5168 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5197 -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 -x5226 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5255 -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 -x5284 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5313 -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 -x5342 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 x5371 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5400 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5429 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5458 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5487 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5516 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5545 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5574 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5603 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5632 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5661 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5690 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5719 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5748 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5777 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 x5806 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5835 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5864 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5893 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5922 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 x5951 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 x5980 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6009 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6038 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 x6067 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6096 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6125 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 x6181 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 x6210 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 x6239 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6268 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6297 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6326 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6355 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6384 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 x6413 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6442 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6471 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6500 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6529 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6558 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6587 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6616 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6645 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6674 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6703 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6732 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6761 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6790 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 x6819 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6848 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6877 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 x6906 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6935 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6964 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 x6993 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 x7022 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7051 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7080 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7109 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7138 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7167 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7196 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7225 x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 x7251 -x7252 -x7254 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7283 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7312 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7341 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7370 -x7371 -x7372 -x7373 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7387 -x7388 -x7389 -x7390 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 x7404 -x7405 -x7406 -x7407 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7421 -x7422 -x7423 -x7424 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7438 -x7439 -x7440 -x7441 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7455 -x7456 -x7457 -x7458 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7472 -x7473 -x7474 -x7475 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7489 -x7490 -x7491 -x7492 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 x7506 -x7507 -x7508 -x7509 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7523 -x7524 -x7525 -x7526 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7540 -x7541 -x7542 -x7543 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7557 -x7558 -x7559 -x7560 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7574 -x7575 -x7576 -x7577 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7591 -x7592 -x7593 -x7594 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7608 -x7609 -x7610 -x7611 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7625 -x7626 -x7627 -x7628 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7642 -x7643 -x7644 -x7645 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7659 -x7660 -x7661 -x7662 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7676 -x7677 -x7678 -x7679 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7693 -x7694 -x7695 -x7696 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7710 -x7711 -x7712 -x7713 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7727 -x7728 -x7729 -x7730 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7744 -x7745 -x7746 -x7747 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 x7761 -x7762 -x7763 -x7764 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7778 -x7779 -x7780 -x7781 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7795 -x7796 -x7797 -x7798 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7812 -x7813 -x7814 -x7815 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7829 -x7830 -x7831 -x7832 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7846 -x7847 -x7848 -x7849 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7863 -x7864 -x7865 -x7866 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7880 -x7881 -x7882 -x7883 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7897 -x7898 -x7899 -x7900 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7914 -x7915 -x7916 -x7917 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7931 -x7932 -x7933 -x7934 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7948 -x7949 -x7950 -x7951 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7965 -x7966 -x7967 -x7968 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7982 -x7983 -x7984 -x7985 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 x7999 -x8000 -x8001 -x8002 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8016 -x8017 -x8018 -x8019 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8033 -x8034 -x8035 -x8036 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 x8050 -x8051 -x8052 -x8053 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8067 -x8068 -x8069 -x8070 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8084 -x8085 -x8086 -x8087 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 x8101 -x8102 -x8103 -x8104 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 x8118 -x8119 -x8120 -x8121 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8135 -x8136 -x8137 -x8138 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8152 -x8153 -x8154 -x8155 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8169 -x8170 -x8171 -x8172 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8186 -x8187 -x8188 -x8189 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8203 -x8204 -x8205 -x8206 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8220 -x8221 -x8222 -x8223 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8237 -x8238 -x8239 -x8240 x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 x8251 -x8252 -x8254 -x8255 -x8256 -x8257 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8271 -x8272 -x8273 -x8274 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8288 -x8289 -x8290 -x8291 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8305 -x8306 -x8307 -x8308 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8322 -x8323 -x8324 -x8325 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 x8339 -x8340 -x8341 -x8342 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8356 -x8357 -x8358 -x8359 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8373 -x8374 -x8375 -x8376 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8390 -x8391 -x8392 -x8393 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 x8407 -x8408 -x8409 -x8410 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8424 -x8425 -x8426 -x8427 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8441 -x8442 -x8443 -x8444 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8458 -x8459 -x8460 -x8461 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 x8475 -x8476 -x8477 -x8478 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 x8492 -x8493 -x8494 -x8495 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 x8509 -x8510 -x8511 -x8512 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8526 -x8527 -x8528 -x8529 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8543 -x8544 -x8545 -x8546 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8560 -x8561 -x8562 -x8563 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8577 -x8578 -x8579 -x8580 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8594 -x8595 -x8596 -x8597 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8611 -x8612 -x8613 -x8614 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8628 -x8629 -x8630 -x8631 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 x8645 -x8646 x8647 -x8648 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8662 -x8663 -x8664 -x8665 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8679 -x8680 -x8681 -x8682 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8696 -x8697 -x8698 -x8699 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8713 -x8714 -x8715 -x8716 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8730 -x8731 -x8732 -x8733 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8747 -x8748 -x8749 -x8750 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8764 -x8765 -x8766 -x8767 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8781 -x8782 -x8783 -x8784 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8798 -x8799 -x8800 -x8801 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8815 -x8816 -x8817 -x8818 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8832 -x8833 -x8834 -x8835 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8849 -x8850 -x8851 -x8852 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8866 -x8867 -x8868 -x8869 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8883 -x8884 -x8885 -x8886 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8900 -x8901 -x8902 -x8903 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8917 -x8918 -x8919 -x8920 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8934 -x8935 -x8936 -x8937 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8951 -x8952 -x8953 -x8954 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8968 -x8969 -x8970 -x8971 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8985 -x8986 -x8987 -x8988 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9002 -x9003 -x9004 -x9005 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9019 -x9020 -x9021 -x9022 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9036 -x9037 -x9038 -x9039 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9053 -x9054 -x9055 -x9056 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9070 -x9071 -x9072 -x9073 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9087 -x9088 -x9089 -x9090 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9104 -x9105 -x9106 -x9107 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9121 -x9122 -x9123 -x9124 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9138 -x9139 -x9140 -x9141 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9155 -x9156 -x9157 -x9158 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9172 -x9173 -x9174 -x9175 x9177 -x9178 -x9179 -x9180 -x9181 -x9182 x9183 -x9184 -x9185 -x9186 -x9187 -x9189 -x9190 -x9191 -x9192 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9206 -x9207 -x9208 -x9209 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9223 -x9224 -x9225 -x9226 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9240 -x9241 -x9242 -x9243 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9257 -x9258 -x9259 -x9260 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9274 -x9275 -x9276 -x9277 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9291 -x9292 -x9293 -x9294 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9308 -x9309 -x9310 -x9311 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9325 -x9326 -x9327 -x9328 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9342 -x9343 -x9344 -x9345 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9359 -x9360 -x9361 -x9362 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9376 -x9377 -x9378 -x9379 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9393 -x9394 -x9395 -x9396 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9410 -x9411 -x9412 -x9413 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9427 -x9428 -x9429 -x9430 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9444 -x9445 -x9446 -x9447 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9461 -x9462 -x9463 -x9464 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9478 -x9479 -x9480 -x9481 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9495 -x9496 -x9497 -x9498 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 x9560 -x9561 -x9562 x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9584 -x9585 -x9586 -x9587 -x9589 -x9590 -x9591 -x9592 x9594 -x9595 -x9596 -x9597 x9599 -x9600 -x9601 -x9602 -x9604 -x9605 -x9606 -x9607 -x9609 -x9610 -x9611 -x9612 -x9614 -x9615 -x9616 -x9617 x9619 -x9620 x9621 -x9622 -x9624 -x9625 -x9626 -x9627 -x9629 -x9630 -x9631 -x9632 -x9634 -x9635 -x9636 -x9637 x9639 -x9640 -x9641 -x9642 -x9644 -x9645 -x9646 -x9647 -x9649 -x9650 -x9651 -x9652 -x9654 -x9656 x9658 -x9660 x9662 -x9664 -x9666 -x9668 x9670 -x9672 x9674 x9676 -x9678 -x9680 -x9682 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -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 x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -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 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -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 x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -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 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -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 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -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 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10271 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10281 -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 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -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 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10442 -x10443 -x10445 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10452 -x10453 -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 -x10470 x10472 -x10473 -x10474 -x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10487 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10499 -x10500 -x10501 -x10502 -x10503 -x10504 -x10505 -x10506 -x10507 -x10508 -x10509 -x10510 -x10511 -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 -x10518 -x10519 -x10520 -x10521 -x10522 -x10523 -x10524 -x10526 -x10527 -x10528 -x10529 -x10530 -x10531 -x10532 -x10533 -x10534 -x10535 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10544 -x10545 -x10546 -x10547 -x10548 -x10549 -x10550 -x10551 -x10553 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x10560 -x10561 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 -x10568 -x10569 -x10570 -x10571 -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10578 -x10580 -x10581 -x10582 -x10583 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x10590 -x10591 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x10600 -x10601 -x10602 -x10603 -x10604 -x10605 -x10607 -x10608 -x10609 -x10610 -x10611 -x10612 -x10613 -x10614 -x10615 -x10616 -x10617 -x10618 -x10619 -x10620 -x10621 -x10622 -x10623 -x10624 -x10625 -x10626 -x10627 -x10628 -x10629 -x10630 -x10631 -x10632 -x10634 -x10635 -x10636 -x10637 -x10638 -x10639 -x10640 -x10641 -x10642 -x10643 -x10644 -x10645 -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 -x10652 -x10653 -x10654 -x10655 -x10656 -x10657 -x10658 -x10659 -x10661 -x10662 -x10663 -x10664 -x10665 -x10666 -x10667 -x10668 -x10669 -x10670 -x10671 -x10672 -x10673 -x10674 -x10675 -x10676 -x10677 -x10678 -x10679 -x10680 -x10681 -x10682 -x10683 -x10684 -x10685 -x10686 -x10688 -x10689 -x10690 -x10691 -x10692 -x10693 -x10694 -x10695 -x10696 -x10697 -x10698 -x10699 -x10700 -x10701 -x10702 -x10703 -x10704 -x10705 -x10706 -x10707 -x10708 -x10709 -x10710 -x10711 -x10712 -x10713 -x10715 -x10716 -x10717 -x10718 -x10719 -x10720 -x10721 -x10722 -x10723 -x10724 -x10725 -x10726 -x10727 -x10728 -x10729 -x10730 -x10731 -x10732 -x10733 -x10734 -x10735 -x10736 -x10737 -x10738 -x10739 -x10740 -x10742 -x10743 -x10744 -x10745 -x10746 -x10747 -x10748 -x10749 -x10750 -x10751 -x10752 -x10753 -x10754 -x10755 -x10756 -x10757 -x10758 -x10759 -x10760 -x10761 -x10762 -x10763 -x10764 -x10765 -x10766 -x10767 -x10769 -x10770 -x10771 -x10772 -x10773 -x10774 -x10775 -x10776 -x10777 -x10778 -x10779 -x10780 -x10781 -x10782 -x10783 -x10784 -x10785 -x10786 -x10787 -x10788 -x10789 -x10790 -x10791 -x10792 -x10793 -x10794 -x10796 -x10797 -x10798 -x10799 -x10800 -x10801 -x10802 -x10803 -x10804 -x10805 -x10806 -x10807 -x10808 -x10809 -x10810 -x10811 -x10812 -x10813 -x10814 -x10815 -x10816 -x10817 -x10818 -x10819 -x10820 -x10821 -x10823 -x10824 -x10825 -x10826 -x10827 -x10828 -x10829 -x10830 -x10831 -x10832 -x10833 -x10834 -x10835 -x10836 -x10837 -x10838 -x10839 -x10840 -x10841 -x10842 -x10843 -x10844 -x10845 -x10846 -x10847 -x10848 x10850 -x10851 -x10852 -x10853 -x10854 -x10855 -x10856 -x10857 -x10858 -x10859 -x10860 -x10861 -x10862 -x10863 -x10864 -x10865 -x10866 -x10867 -x10868 -x10869 -x10870 -x10871 -x10872 -x10873 -x10874 -x10875 -x10877 -x10878 -x10879 -x10880 -x10881 -x10882 -x10883 -x10884 -x10885 -x10886 -x10887 -x10888 -x10889 -x10890 -x10891 -x10892 -x10893 -x10894 -x10895 -x10896 -x10897 -x10898 -x10899 -x10900 -x10901 -x10902 -x10904 -x10906 -x10907 -x10908 -x10909 -x10910 -x10911 -x10912 -x10913 -x10914 -x10915 -x10916 x10918 -x10920 -x10921 -x10922 -x10923 -x10924 -x10925 -x10926 -x10927 -x10928 -x10929 -x10930 -x10932 -x10934 -x10935 -x10936 -x10937 -x10938 -x10939 -x10940 -x10941 -x10942 -x10943 -x10944 -x10946 -x10948 -x10949 -x10950 -x10951 -x10952 -x10953 -x10954 -x10955 -x10956 -x10957 -x10958 -x10960 -x10962 -x10963 -x10964 -x10965 -x10966 -x10967 -x10968 -x10969 -x10970 -x10971 -x10972 -x10974 -x10976 -x10977 -x10978 -x10979 -x10980 -x10981 -x10982 -x10983 -x10984 -x10985 -x10986 x10988 -x10990 -x10991 -x10992 -x10993 -x10994 -x10995 -x10996 -x10997 -x10998 -x10999 -x11000 -x11002 -x11004 -x11005 -x11006 -x11007 -x11008 -x11009 -x11010 -x11011 -x11012 -x11013 -x11014 -x11016 -x11018 -x11019 -x11020 -x11021 -x11022 -x11023 -x11024 -x11025 -x11026 -x11027 -x11028 -x11030 -x11032 -x11033 -x11034 -x11035 -x11036 -x11037 -x11038 -x11039 -x11040 -x11041 -x11042 -x11044 -x11046 -x11047 -x11048 -x11049 -x11050 -x11051 -x11052 -x11053 -x11054 -x11055 -x11056 -x11058 -x11059 -x11060 -x11061 -x11062 -x11063 -x11064 -x11065 -x11066 -x11067 -x11068 x11070 -x11072 -x11073 -x11074 -x11075 -x11076 -x11077 -x11078 -x11079 -x11080 -x11081 -x11082 -x11084 -x11085 -x11086 -x11087 -x11088 -x11089 -x11090 -x11091 -x11092 -x11093 -x11094 x11096 -x11098 -x11099 -x11100 -x11101 -x11102 -x11103 -x11104 -x11105 -x11106 -x11107 -x11108 -x11110 -x11112 -x11113 -x11114 -x11115 -x11116 -x11117 -x11118 -x11119 -x11120 -x11121 -x11122 -x11124 -x11125 -x11126 -x11127 -x11128 -x11129 -x11130 -x11131 -x11132 -x11133 -x11134 -x11136 -x11138 -x11139 -x11140 -x11141 -x11142 -x11143 -x11144 -x11145 -x11146 -x11147 -x11148 -x11150 -x11152 -x11153 -x11154 -x11155 -x11156 -x11157 -x11158 -x11159 -x11160 -x11161 -x11162 -x11164 -x11166 -x11167 -x11168 -x11169 -x11170 -x11171 -x11172 -x11173 -x11174 -x11175 -x11176 -x11178 -x11180 -x11181 -x11182 -x11183 -x11184 -x11185 -x11186 -x11187 -x11188 -x11189 -x11190 -x11192 -x11194 -x11195 -x11196 -x11197 -x11198 -x11199 -x11200 -x11201 -x11202 -x11203 -x11204 -x11206 -x11208 -x11209 -x11210 -x11211 -x11212 -x11213 -x11214 -x11215 -x11216 -x11217 -x11218 -x11220 -x11222 -x11223 -x11224 -x11225 -x11226 -x11227 -x11228 -x11229 -x11230 -x11231 -x11232 -x11234 -x11236 -x11237 -x11238 -x11239 -x11240 -x11241 -x11242 -x11243 -x11244 -x11245 -x11246 -x11248 -x11250 -x11251 -x11252 -x11253 -x11254 -x11255 -x11256 -x11257 -x11258 -x11259 -x11260 -x11262 -x11264 -x11265 -x11266 -x11267 -x11268 -x11269 -x11270 -x11271 -x11272 -x11273 -x11274 -x11276 -x11278 -x11279 -x11280 -x11281 -x11282 -x11283 -x11284 -x11285 -x11286 -x11287 -x11288 -x11290 -x11292 -x11293 -x11294 -x11295 -x11296 -x11297 -x11298 -x11299 -x11300 -x11301 -x11302 -x11304 -x11306 -x11307 -x11308 -x11309 -x11310 -x11311 -x11312 -x11313 -x11314 -x11315 -x11316 -x11318 x11320 -x11321 -x11322 -x11323 -x11324 -x11325 -x11326 -x11327 -x11328 -x11329 -x11330 -x11332 -x11334 -x11335 -x11336 -x11337 -x11338 -x11339 -x11340 -x11341 -x11342 -x11343 -x11344 -x11346 x11348 -x11349 -x11350 -x11351 -x11352 -x11353 -x11354 -x11355 -x11356 -x11357 -x11358 -x11360 -x11362 -x11363 -x11364 -x11365 -x11366 -x11367 -x11368 -x11369 -x11370 -x11371 -x11372 -x11374 x11376 -x11377 -x11378 -x11379 -x11380 -x11381 -x11382 -x11383 -x11384 -x11385 -x11386 -x11388 -x11390 -x11391 -x11392 -x11393 -x11394 -x11395 -x11396 -x11397 -x11398 -x11399 -x11400 -x11402 -x11404 -x11405 -x11406 -x11407 -x11408 -x11409 -x11410 -x11411 -x11412 -x11413 -x11414 -x11416 -x11418 -x11419 -x11420 -x11421 -x11422 -x11423 -x11424 -x11425 -x11426 -x11427 -x11428 -x11430 -x11432 -x11433 -x11434 -x11435 -x11436 -x11437 -x11438 -x11439 -x11440 -x11441 -x11442 -x11444 -x11446 -x11447 -x11448 -x11449 -x11450 -x11451 -x11452 -x11453 -x11454 -x11455 -x11456 -x11458 -x11460 -x11461 -x11462 -x11463 -x11464 -x11465 -x11466 -x11467 -x11468 -x11469 -x11470 -x11472 -x11474 -x11475 -x11476 -x11477 -x11478 -x11479 -x11480 -x11481 -x11482 -x11483 -x11484 -x11486 -x11488 -x11489 -x11490 -x11491 -x11492 -x11493 -x11494 -x11495 -x11496 -x11497 -x11498 -x11500 -x11502 -x11503 -x11504 -x11505 -x11506 -x11507 -x11508 -x11509 -x11510 -x11511 -x11512 -x11514 -x11515 -x11516 -x11517 -x11518 -x11519 -x11520 -x11521 -x11522 -x11523 -x11524 -x11526 -x11528 -x11529 -x11530 -x11531 -x11532 -x11533 -x11534 -x11535 -x11536 -x11537 -x11538 -x11540 -x11541 -x11542 -x11543 -x11544 -x11545 -x11546 -x11547 -x11548 -x11549 -x11550 -x11552 -x11553 -x11554 -x11555 -x11556 -x11557 -x11558 -x11559 -x11560 -x11561 -x11562 -x11564 -x11565 -x11566 -x11567 -x11568 -x11569 -x11570 -x11571 -x11572 -x11573 -x11574 -x11576 -x11577 -x11578 -x11579 -x11580 -x11581 -x11582 -x11583 -x11584 -x11585 -x11586 -x11588 -x11589 -x11590 -x11591 -x11592 -x11593 -x11594 -x11595 -x11596 -x11597 -x11598 -x11600 -x11602 -x11603 -x11604 -x11605 -x11606 -x11607 -x11608 -x11609 -x11610 -x11611 -x11612 -x11614 -x11616 -x11617 -x11618 -x11619 -x11620 -x11621 -x11622 -x11623 -x11624 -x11625 -x11626 x11628 -x11629 -x11630 -x11631 -x11632 -x11633 -x11634 -x11635 -x11636 -x11637 -x11638 -x11640 -x11642 -x11643 -x11644 -x11645 -x11646 -x11647 -x11648 -x11649 -x11650 -x11651 -x11652 -x11654 -x11656 -x11657 -x11658 -x11659 -x11660 -x11661 -x11662 -x11663 -x11664 -x11665 -x11666 x11668 -x11669 -x11670 -x11671 -x11673 -x11674 -x11675 -x11676 -x11678 -x11679 -x11680 -x11681 -x11683 -x11684 -x11685 -x11686 -x11688 -x11689 -x11690 -x11691 -x11693 -x11694 -x11695 -x11696 -x11698 -x11699 -x11700 -x11701 -x11703 -x11704 -x11705 -x11706 -x11708 -x11709 -x11710 -x11711 -x11713 -x11714 -x11715 -x11716 -x11718 -x11719 -x11720 -x11721 -x11723 -x11724 -x11725 -x11726 -x11728 -x11729 -x11730 -x11731 -x11733 -x11734 -x11735 -x11736 -x11738 -x11739 -x11740 -x11741 -x11743 -x11744 -x11745 -x11746 -x11748 -x11749 -x11750 -x11751 -x11753 -x11754 -x11755 -x11756 -x11758 -x11759 -x11760 -x11761 -x11763 -x11764 -x11765 -x11766 -x11768 -x11769 -x11770 -x11771 -x11773 -x11774 -x11775 -x11776 -x11778 -x11779 -x11780 -x11781 -x11783 -x11784 -x11785 -x11786 -x11788 -x11789 -x11790 -x11791 -x11793 -x11794 -x11795 -x11796 -x11798 -x11799 -x11800 -x11801 -x11803 -x11804 -x11805 -x11806 -x11808 -x11809 -x11810 -x11811 x11813 -x11814 -x11815 -x11816 -x11818 -x11819 -x11820 -x11821 x11823 -x11824 -x11825 -x11826 -x11828 -x11829 -x11830 -x11831 x11833 -x11834 -x11835 -x11836 -x11838 -x11839 -x11840 -x11841 x11843 -x11844 -x11845 -x11846 -x11848 -x11849 -x11850 -x11851 -x11853 -x11854 -x11855 -x11856 -x11858 -x11859 -x11860 -x11861 -x11863 -x11864 -x11865 -x11866 -x11868 -x11869 -x11870 -x11871 -x11873 -x11874 -x11875 -x11876 -x11878 -x11879 -x11880 -x11881 -x11883 -x11884 -x11885 -x11886 -x11888 -x11889 -x11890 -x11891 -x11893 -x11894 -x11895 -x11896 -x11898 -x11899 -x11900 -x11901 -x11903 -x11904 -x11905 -x11906 -x11908 -x11909 -x11910 -x11911 -x11913 -x11914 -x11915 -x11916 -x11918 -x11919 -x11920 -x11921 -x11923 -x11924 -x11925 -x11926 -x11928 -x11929 -x11930 -x11931 -x11933 -x11934 -x11935 -x11936 -x11938 -x11939 -x11940 -x11941 -x11943 -x11944 -x11945 -x11946 -x11948 -x11949 -x11950 -x11951 -x11953 -x11954 -x11955 -x11956 -x11958 -x11959 -x11960 -x11961 -x11963 -x11964 -x11965 -x11966 -x11968 -x11969 -x11970 -x11971 -x11973 -x11974 -x11975 -x11976 -x11978 -x11979 -x11980 -x11981 -x11983 -x11984 -x11985 -x11986 -x11988 -x11989 -x11990 -x11991 -x11993 -x11994 -x11995 -x11996 -x11998 -x11999 -x12000 -x12001 -x12003 -x12004 -x12005 -x12006 -x12008 -x12009 -x12010 -x12011 -x12012 -x12013 -x12014 -x12015 -x12016 -x12017 -x12018 -x12019 -x12020 -x12021 -x12022 -x12023 -x12024 -x12025 -x12026 -x12027 -x12028 -x12029 -x12030 -x12031 -x12032 -x12033 -x12034 -x12035 -x12036 -x12037 -x12038 -x12039 -x12040 -x12041 -x12042 -x12043 -x12044 -x12045 -x12046 -x12047 -x12048 -x12049 -x12050 -x12051 -x12052 -x12053 -x12054 -x12055 -x12056 -x12057 -x12058 -x12059 -x12060 -x12061 -x12062 -x12063 -x12064 x12066 -x12067 -x12068 -x12069 -x12070 -x12071 -x12072 -x12073 -x12074 -x12075 -x12076 -x12077 -x12078 -x12079 -x12080 -x12081 -x12082 -x12083 -x12084 -x12085 -x12086 -x12087 -x12088 -x12089 -x12090 -x12091 -x12092 -x12093 -x12094 -x12095 -x12096 -x12097 -x12098 -x12099 -x12100 -x12101 -x12102 -x12103 -x12104 -x12105 -x12106 -x12107 -x12108 -x12109 -x12110 -x12111 -x12112 -x12113 -x12114 -x12115 -x12116 -x12117 -x12118 -x12119 -x12120 -x12121 -x12122 -x12124 -x12125 -x12126 -x12127 -x12128 -x12129 -x12130 -x12131 -x12132 -x12133 -x12134 -x12135 -x12136 -x12137 -x12138 -x12139 -x12140 -x12141 -x12142 -x12143 -x12144 -x12145 -x12146 -x12147 -x12148 -x12149 -x12150 -x12151 -x12152 -x12153 -x12154 -x12155 -x12156 -x12157 -x12158 -x12159 -x12160 -x12161 -x12162 -x12163 -x12164 -x12165 -x12166 -x12167 -x12168 -x12169 -x12170 -x12171 -x12172 -x12173 -x12174 -x12175 -x12176 -x12177 -x12178 -x12179 -x12180 x12182 -x12183 -x12184 -x12185 -x12186 -x12187 -x12188 -x12189 -x12190 -x12191 -x12192 -x12193 -x12194 -x12195 -x12196 -x12197 -x12198 -x12199 -x12200 -x12201 -x12202 -x12203 -x12204 -x12205 -x12206 -x12207 -x12208 -x12209 -x12210 -x12211 -x12212 -x12213 -x12214 -x12215 -x12216 -x12217 -x12218 -x12219 -x12220 -x12221 -x12222 -x12223 -x12224 -x12225 -x12226 -x12227 -x12228 -x12229 -x12230 -x12231 -x12232 -x12233 -x12234 -x12235 -x12236 -x12237 -x12238 -x12240 -x12241 -x12242 -x12243 -x12244 -x12245 -x12246 -x12247 -x12248 -x12249 -x12250 -x12251 -x12252 -x12253 -x12254 -x12255 -x12256 -x12257 -x12258 -x12259 -x12260 -x12261 -x12262 -x12263 -x12264 -x12265 -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 -x12292 -x12293 -x12294 -x12295 -x12296 -x12298 -x12299 -x12300 -x12301 -x12302 -x12303 -x12304 -x12305 -x12306 -x12307 -x12308 -x12309 -x12310 -x12311 -x12312 -x12313 -x12314 -x12315 -x12316 -x12317 -x12318 -x12319 -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 -x12346 -x12347 -x12348 -x12349 -x12350 -x12351 -x12352 -x12353 -x12354 -x12356 -x12357 -x12358 -x12359 -x12360 -x12361 -x12362 -x12363 -x12364 -x12365 -x12366 -x12367 -x12368 -x12369 -x12370 -x12371 -x12372 -x12373 -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 -x12400 -x12401 -x12402 -x12403 -x12404 -x12405 -x12406 -x12407 -x12408 -x12409 -x12410 -x12411 -x12412 -x12414 -x12415 -x12416 -x12417 -x12418 -x12419 -x12420 -x12421 -x12422 -x12423 -x12424 -x12425 -x12426 -x12427 -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 -x12454 -x12455 -x12456 -x12457 -x12458 -x12459 -x12460 -x12461 -x12462 -x12463 -x12464 -x12465 -x12466 -x12467 -x12468 -x12469 -x12470 x12472 -x12473 -x12474 -x12475 -x12476 -x12477 -x12478 -x12479 -x12480 -x12481 -x12482 -x12483 -x12484 -x12485 -x12486 -x12487 -x12488 -x12489 -x12490 -x12491 -x12492 -x12493 -x12494 -x12495 -x12496 -x12497 -x12499 -x12500 -x12501 -x12502 -x12503 -x12504 -x12505 -x12506 -x12507 -x12508 -x12509 -x12510 -x12511 -x12512 -x12513 -x12514 -x12515 -x12516 -x12517 -x12518 -x12519 -x12520 -x12521 -x12522 -x12523 -x12524 x12526 -x12527 -x12528 -x12529 -x12530 -x12531 -x12532 -x12533 -x12534 -x12535 -x12536 -x12537 -x12538 -x12539 -x12540 -x12541 -x12542 -x12543 -x12544 -x12545 -x12546 -x12547 -x12548 -x12549 -x12550 -x12551 -x12553 -x12554 -x12555 -x12556 -x12557 -x12558 -x12559 -x12560 -x12561 -x12562 -x12563 -x12564 -x12565 -x12566 -x12567 -x12568 -x12569 -x12570 -x12571 -x12572 -x12573 -x12574 -x12575 -x12576 -x12577 -x12578 -x12580 -x12581 -x12582 -x12583 -x12584 -x12585 -x12586 -x12587 -x12588 -x12589 -x12590 -x12591 -x12592 -x12593 -x12594 -x12595 -x12596 -x12597 -x12598 -x12599 -x12600 -x12601 -x12602 -x12603 -x12604 -x12605 -x12607 -x12608 -x12609 -x12610 -x12611 -x12612 -x12613 -x12614 -x12615 -x12616 -x12617 -x12618 -x12619 -x12620 -x12621 -x12622 -x12623 -x12624 -x12625 -x12626 -x12627 -x12628 -x12629 -x12630 -x12631 -x12632 -x12634 -x12635 -x12636 -x12637 -x12638 -x12639 -x12640 -x12641 -x12642 -x12643 -x12644 -x12645 -x12646 -x12647 -x12648 -x12649 -x12650 -x12651 -x12652 -x12653 -x12654 -x12655 -x12656 -x12657 -x12658 -x12659 -x12661 -x12662 -x12663 -x12664 -x12665 -x12666 -x12667 -x12668 -x12669 -x12670 -x12671 -x12672 -x12673 -x12674 -x12675 -x12676 -x12677 -x12678 -x12679 -x12680 -x12681 -x12682 -x12683 -x12684 -x12685 -x12686 x12688 -x12689 -x12690 -x12691 -x12692 -x12693 -x12694 -x12695 -x12696 -x12697 -x12698 -x12699 -x12700 -x12701 -x12702 -x12703 -x12704 -x12705 -x12706 -x12707 -x12708 -x12709 -x12710 -x12711 -x12712 -x12713 -x12715 -x12716 -x12717 -x12718 -x12719 -x12720 -x12721 -x12722 -x12723 -x12724 -x12725 -x12726 -x12727 -x12728 -x12729 -x12730 -x12731 -x12732 -x12733 -x12734 -x12735 -x12736 -x12737 -x12738 -x12739 -x12740 -x12742 -x12743 -x12744 -x12745 -x12746 -x12747 -x12748 -x12749 -x12750 -x12751 -x12752 -x12753 -x12754 -x12755 -x12756 -x12757 -x12758 -x12759 -x12760 -x12761 -x12762 -x12763 -x12764 -x12765 -x12766 -x12767 -x12769 -x12770 -x12771 -x12772 -x12773 -x12774 -x12775 -x12776 -x12777 -x12778 -x12779 -x12780 -x12781 -x12782 -x12783 -x12784 -x12785 -x12786 -x12787 -x12788 -x12789 -x12790 -x12791 -x12792 -x12793 -x12794 -x12796 -x12797 -x12798 -x12799 -x12800 -x12801 -x12802 -x12803 -x12804 -x12805 -x12806 -x12807 -x12808 -x12809 -x12810 -x12811 -x12812 -x12813 -x12814 -x12815 -x12816 -x12817 -x12818 -x12819 -x12820 -x12821 -x12823 -x12824 -x12825 -x12826 -x12827 -x12828 -x12829 -x12830 -x12831 -x12832 -x12833 -x12834 -x12835 -x12836 -x12837 -x12838 -x12839 -x12840 -x12841 -x12842 -x12843 -x12844 -x12845 -x12846 -x12847 -x12848 -x12850 -x12851 -x12852 -x12853 -x12854 -x12855 -x12856 -x12857 -x12858 -x12859 -x12860 -x12861 -x12862 -x12863 -x12864 -x12865 -x12866 -x12867 -x12868 -x12869 -x12870 -x12871 -x12872 -x12873 -x12874 -x12875 -x12877 -x12878 -x12879 -x12880 -x12881 -x12882 -x12883 -x12884 -x12885 -x12886 -x12887 -x12888 -x12889 -x12890 -x12891 -x12892 -x12893 -x12894 -x12895 -x12896 -x12897 -x12898 -x12899 -x12900 -x12901 -x12902 -x12904 -x12905 -x12906 -x12907 -x12908 -x12909 -x12910 -x12911 -x12912 -x12913 -x12914 -x12915 -x12916 -x12917 -x12918 -x12919 -x12920 -x12921 -x12922 -x12923 -x12924 -x12925 -x12926 -x12927 -x12928 -x12929 -x12931 -x12932 -x12933 -x12934 -x12935 -x12936 -x12937 -x12938 -x12939 -x12940 -x12941 -x12942 -x12943 -x12944 -x12945 -x12946 -x12947 -x12948 -x12949 -x12950 -x12951 -x12952 -x12953 -x12954 -x12955 -x12956 -x12958 -x12959 -x12960 -x12961 -x12962 -x12963 -x12964 -x12965 -x12966 -x12967 -x12968 -x12969 -x12970 -x12971 -x12972 -x12973 -x12974 -x12975 -x12976 -x12977 -x12978 -x12979 -x12980 -x12981 -x12982 -x12983 -x12985 -x12986 -x12987 -x12988 -x12989 -x12990 -x12991 -x12992 -x12993 -x12994 -x12995 -x12996 -x12997 -x12998 -x12999 -x13000 -x13001 -x13002 -x13003 -x13004 -x13005 -x13006 -x13007 -x13008 -x13009 -x13010 -x13012 -x13013 -x13014 -x13015 -x13016 -x13017 -x13018 -x13019 -x13020 -x13021 -x13022 -x13023 -x13024 -x13025 -x13026 -x13027 -x13028 -x13029 -x13030 -x13031 -x13032 -x13033 -x13034 -x13035 -x13036 -x13037 -x13039 -x13040 -x13041 -x13042 -x13043 -x13044 -x13045 -x13046 -x13047 -x13048 -x13049 -x13050 -x13051 -x13052 -x13053 -x13054 -x13055 -x13056 -x13057 -x13058 -x13059 -x13060 -x13061 -x13062 -x13063 -x13064 -x13066 -x13067 -x13068 -x13069 -x13070 -x13071 -x13072 -x13073 -x13074 -x13075 -x13076 -x13077 -x13078 -x13079 -x13080 -x13081 -x13082 -x13083 -x13084 -x13085 -x13086 -x13087 -x13088 -x13089 -x13090 -x13091 -x13093 -x13094 -x13095 -x13096 -x13097 -x13098 -x13099 -x13100 -x13101 -x13102 -x13103 -x13104 -x13105 -x13106 -x13107 -x13108 -x13109 -x13110 -x13111 -x13112 -x13113 -x13114 -x13115 -x13116 -x13117 -x13118 -x13120 -x13121 -x13122 -x13123 -x13124 -x13125 -x13126 -x13127 -x13128 -x13129 -x13130 -x13131 -x13132 -x13133 -x13134 -x13135 -x13136 -x13137 -x13138 -x13139 -x13140 -x13141 -x13142 -x13143 -x13144 -x13145 -x13147 -x13148 -x13149 -x13150 -x13151 -x13152 -x13153 -x13154 -x13155 -x13156 -x13157 -x13158 -x13159 -x13160 -x13161 -x13162 -x13163 -x13164 -x13165 -x13166 -x13167 -x13168 -x13169 -x13170 -x13171 -x13172 -x13174 -x13175 -x13176 -x13177 -x13178 -x13179 -x13180 -x13181 -x13182 -x13183 -x13184 -x13185 -x13186 -x13187 -x13188 -x13189 -x13190 -x13191 -x13192 -x13193 -x13194 -x13195 -x13196 -x13197 -x13198 -x13199 -x13201 -x13202 -x13203 -x13204 -x13205 -x13206 -x13207 -x13208 -x13209 -x13210 -x13211 -x13212 -x13213 -x13214 -x13215 -x13216 -x13217 -x13218 -x13219 -x13220 -x13221 -x13222 -x13223 -x13224 -x13225 -x13226 -x13228 -x13230 -x13231 -x13232 -x13233 -x13234 -x13235 -x13236 -x13237 -x13238 -x13239 -x13240 -x13242 x13244 -x13245 -x13246 -x13247 -x13248 -x13249 -x13250 -x13251 -x13252 -x13253 -x13254 -x13256 -x13258 -x13259 -x13260 -x13261 -x13262 -x13263 -x13264 -x13265 -x13266 -x13267 -x13268 -x13270 x13272 -x13273 -x13274 -x13275 -x13276 -x13277 -x13278 -x13279 -x13280 -x13281 -x13282 -x13284 -x13286 -x13287 -x13288 -x13289 -x13290 -x13291 -x13292 -x13293 -x13294 -x13295 -x13296 -x13298 -x13300 -x13301 -x13302 -x13303 -x13304 -x13305 -x13306 -x13307 -x13308 -x13309 -x13310 -x13312 -x13314 -x13315 -x13316 -x13317 -x13318 -x13319 -x13320 -x13321 -x13322 -x13323 -x13324 x13326 -x13328 -x13329 -x13330 -x13331 -x13332 -x13333 -x13334 -x13335 -x13336 -x13337 -x13338 -x13340 -x13342 -x13343 -x13344 -x13345 -x13346 -x13347 -x13348 -x13349 -x13350 -x13351 -x13352 -x13354 -x13355 -x13356 -x13357 -x13358 -x13359 -x13360 -x13361 -x13362 -x13363 -x13364 -x13366 -x13368 -x13369 -x13370 -x13371 -x13372 -x13373 -x13374 -x13375 -x13376 -x13377 -x13378 -x13380 -x13382 -x13383 -x13384 -x13385 -x13386 -x13387 -x13388 -x13389 -x13390 -x13391 -x13392 -x13394 x13396 -x13397 -x13398 -x13399 -x13400 -x13401 -x13402 -x13403 -x13404 -x13405 -x13406 -x13408 -x13410 -x13411 -x13412 -x13413 -x13414 -x13415 -x13416 -x13417 -x13418 -x13419 -x13420 -x13422 -x13424 -x13425 -x13426 -x13427 -x13428 -x13429 -x13430 -x13431 -x13432 -x13433 -x13434 -x13436 -x13438 -x13439 -x13440 -x13441 -x13442 -x13443 -x13444 -x13445 -x13446 -x13447 -x13448 -x13450 -x13452 -x13453 -x13454 -x13455 -x13456 -x13457 -x13458 -x13459 -x13460 -x13461 -x13462 -x13464 -x13466 -x13467 -x13468 -x13469 -x13470 -x13471 -x13472 -x13473 -x13474 -x13475 -x13476 -x13478 -x13480 -x13481 -x13482 -x13483 -x13484 -x13485 -x13486 -x13487 -x13488 -x13489 -x13490 -x13492 -x13494 -x13495 -x13496 -x13497 -x13498 -x13499 -x13500 -x13501 -x13502 -x13503 -x13504 -x13506 -x13508 -x13509 -x13510 -x13511 -x13512 -x13513 -x13514 -x13515 -x13516 -x13517 -x13518 -x13520 -x13522 -x13523 -x13524 -x13525 -x13526 -x13527 -x13528 -x13529 -x13530 -x13531 -x13532 x13534 -x13536 -x13537 -x13538 -x13539 -x13540 -x13541 -x13542 -x13543 -x13544 -x13545 -x13546 -x13548 -x13550 -x13551 -x13552 -x13553 -x13554 -x13555 -x13556 -x13557 -x13558 -x13559 -x13560 -x13562 -x13564 -x13565 -x13566 -x13567 -x13568 -x13569 -x13570 -x13571 -x13572 -x13573 -x13574 -x13576 -x13578 -x13579 -x13580 -x13581 -x13582 -x13583 -x13584 -x13585 -x13586 -x13587 -x13588 -x13590 -x13592 -x13593 -x13594 -x13595 -x13596 -x13597 -x13598 -x13599 -x13600 -x13601 -x13602 -x13604 x13606 -x13607 -x13608 -x13609 -x13610 -x13611 -x13612 -x13613 -x13614 -x13615 -x13616 -x13618 -x13620 -x13621 -x13622 -x13623 -x13624 -x13625 -x13626 -x13627 -x13628 -x13629 -x13630 -x13632 -x13634 -x13635 -x13636 -x13637 -x13638 -x13639 -x13640 -x13641 -x13642 -x13643 -x13644 -x13646 -x13648 -x13649 -x13650 -x13651 -x13652 -x13653 -x13654 -x13655 -x13656 -x13657 -x13658 -x13660 -x13661 -x13662 -x13663 -x13664 -x13665 -x13666 -x13667 -x13668 -x13669 -x13670 -x13672 -x13674 -x13675 -x13676 -x13677 -x13678 -x13679 -x13680 -x13681 -x13682 -x13683 -x13684 -x13686 -x13688 -x13689 -x13690 -x13691 -x13692 -x13693 -x13694 -x13695 -x13696 -x13697 -x13698 -x13700 -x13702 -x13703 -x13704 -x13705 -x13706 -x13707 -x13708 -x13709 -x13710 -x13711 -x13712 -x13714 -x13715 -x13716 -x13717 -x13718 -x13719 -x13720 -x13721 -x13722 -x13723 -x13724 x13726 -x13728 -x13729 -x13730 -x13731 -x13732 -x13733 -x13734 -x13735 -x13736 -x13737 -x13738 -x13740 -x13741 -x13742 -x13743 -x13744 -x13745 -x13746 -x13747 -x13748 -x13749 -x13750 -x13752 -x13754 -x13755 -x13756 -x13757 -x13758 -x13759 -x13760 -x13761 -x13762 -x13763 -x13764 -x13766 -x13768 -x13769 -x13770 -x13771 -x13772 -x13773 -x13774 -x13775 -x13776 -x13777 -x13778 x13780 -x13782 -x13783 -x13784 -x13785 -x13786 -x13787 -x13788 -x13789 -x13790 -x13791 -x13792 x13794 -x13796 -x13797 -x13798 -x13799 -x13800 -x13801 -x13802 -x13803 -x13804 -x13805 -x13806 x13808 -x13810 -x13811 -x13812 -x13813 -x13814 -x13815 -x13816 -x13817 -x13818 -x13819 -x13820 -x13822 -x13824 -x13825 -x13826 -x13827 -x13828 -x13829 -x13830 -x13831 -x13832 -x13833 -x13834 -x13836 -x13838 -x13839 -x13840 -x13841 -x13842 -x13843 -x13844 -x13845 -x13846 -x13847 -x13848 -x13850 -x13852 -x13853 -x13854 -x13855 -x13856 -x13857 -x13858 -x13859 -x13860 -x13861 -x13862 -x13864 -x13866 -x13867 -x13868 -x13869 -x13870 -x13871 -x13872 -x13873 -x13874 -x13875 -x13876 -x13878 -x13880 -x13881 -x13882 -x13883 -x13884 -x13885 -x13886 -x13887 -x13888 -x13889 -x13890 -x13892 -x13894 -x13895 -x13896 -x13897 -x13898 -x13899 -x13900 -x13901 -x13902 -x13903 -x13904 -x13906 -x13908 -x13909 -x13910 -x13911 -x13912 -x13913 -x13914 -x13915 -x13916 -x13917 -x13918 -x13920 -x13922 -x13923 -x13924 -x13925 -x13926 -x13927 -x13928 -x13929 -x13930 -x13931 -x13932 -x13934 -x13936 -x13937 -x13938 -x13939 -x13940 -x13941 -x13942 -x13943 -x13944 -x13945 -x13946 -x13948 -x13950 -x13951 -x13952 -x13953 -x13954 -x13955 -x13956 -x13957 -x13958 -x13959 -x13960 -x13962 -x13964 -x13965 -x13966 -x13967 -x13968 -x13969 -x13970 -x13971 -x13972 -x13973 -x13974 -x13976 -x13978 -x13979 -x13980 -x13981 -x13982 -x13983 -x13984 -x13985 -x13986 -x13987 -x13988 -x13990 -x13992 -x13993 -x13994 -x13995 -x13996 -x13997 -x13998 -x13999 -x14000 -x14001 -x14002 -x14004 -x14005 -x14006 -x14007 -x14009 -x14010 -x14011 -x14012 -x14014 -x14015 -x14016 -x14017 -x14019 -x14020 -x14021 -x14022 -x14024 -x14025 -x14026 -x14027 -x14029 -x14030 -x14031 -x14032 -x14034 -x14035 -x14036 -x14037 -x14039 -x14040 -x14041 -x14042 -x14044 -x14045 -x14046 -x14047 -x14049 -x14050 -x14051 -x14052 -x14054 -x14055 -x14056 -x14057 -x14059 -x14060 -x14061 -x14062 -x14064 -x14065 -x14066 -x14067 x14069 -x14070 -x14071 -x14072 -x14074 -x14075 -x14076 -x14077 -x14079 -x14080 -x14081 -x14082 -x14084 -x14085 -x14086 -x14087 x14089 -x14090 -x14091 -x14092 -x14094 -x14095 -x14096 -x14097 -x14099 -x14100 -x14101 -x14102 -x14104 -x14105 -x14106 -x14107 -x14109 -x14110 -x14111 -x14112 -x14114 -x14115 -x14116 -x14117 -x14119 -x14120 -x14121 -x14122 -x14124 -x14125 -x14126 -x14127 -x14129 -x14130 -x14131 -x14132 -x14134 -x14135 -x14136 -x14137 x14139 -x14140 -x14141 -x14142 -x14144 -x14145 -x14146 -x14147 -x14149 -x14150 -x14151 -x14152 -x14154 -x14155 -x14156 -x14157 -x14159 -x14160 -x14161 -x14162 -x14164 -x14165 -x14166 -x14167 -x14169 -x14170 -x14171 -x14172 -x14174 -x14175 -x14176 -x14177 -x14179 -x14180 -x14181 -x14182 -x14184 -x14185 -x14186 -x14187 -x14189 -x14190 -x14191 -x14192 -x14194 -x14195 -x14196 -x14197 -x14199 -x14200 -x14201 -x14202 x14204 -x14205 -x14206 -x14207 -x14209 -x14210 -x14211 -x14212 -x14214 -x14215 -x14216 -x14217 -x14219 -x14220 -x14221 -x14222 -x14224 -x14225 -x14226 -x14227 -x14229 -x14230 -x14231 -x14232 -x14234 -x14235 -x14236 -x14237 -x14239 -x14240 -x14241 -x14242 -x14244 -x14245 -x14246 -x14247 -x14249 -x14250 -x14251 -x14252 -x14254 -x14255 -x14256 -x14257 -x14259 -x14260 -x14261 -x14262 -x14264 -x14265 -x14266 -x14267 -x14269 -x14270 -x14271 -x14272 -x14274 -x14275 -x14276 -x14277 -x14279 -x14280 -x14281 -x14282 -x14284 -x14285 -x14286 -x14287 -x14289 -x14290 -x14291 -x14292 -x14294 -x14295 -x14296 -x14297 x14299 -x14300 -x14301 -x14302 -x14304 -x14305 -x14306 -x14307 -x14309 -x14310 -x14311 -x14312 -x14314 -x14315 -x14316 -x14317 -x14319 -x14320 -x14321 -x14322 -x14324 -x14325 -x14326 -x14327 -x14329 -x14330 -x14331 -x14332 -x14334 -x14335 -x14336 -x14337 -x14339 -x14340 -x14341 -x14342 -x14344 -x14345 -x14346 -x14347 -x14349 -x14350 -x14351 -x14352 1798.00/1798.71 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1798.00/1798.71 c 23 183640 89659 1002340 94253 19828448 41034 102 1798.02 1798.00/1798.71 c Objective: 28 1798.00/1798.71 s SATISFIABLE 1798.00/1798.71 c Total time: 1798.02 s
OK 28
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656365-1276640503/watcher-2656365-1276640503 -o /tmp/evaluation-result-2656365-1276640503/solver-2656365-1276640503 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656365-1276640503.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/106 11662 /proc/meminfo: memFree=1789868/2059040 swapFree=4192956/4192956 [pid=11662] ppid=11660 vsize=12484 CPUtime=0 /proc/11662/stat : 11662 (bsolo_pb10) R 11660 11662 11053 0 -1 4202496 363 0 0 0 0 0 0 0 18 0 1 0 5342638 12783616 281 1992294400 134512640 137138936 4290448672 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11662/statm: 3121 282 177 642 0 2090 0 [startup+0.0404609 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11662 /proc/meminfo: memFree=1789868/2059040 swapFree=4192956/4192956 [pid=11662] ppid=11660 vsize=13316 CPUtime=0.03 /proc/11662/stat : 11662 (bsolo_pb10) R 11660 11662 11053 0 -1 4202496 604 0 0 0 3 0 0 0 18 0 1 0 5342638 13635584 522 1992294400 134512640 137138936 4290448672 18446744073709551615 136736921 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11662/statm: 3329 523 223 642 0 2298 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 13316 [startup+0.101472 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11662 /proc/meminfo: memFree=1789868/2059040 swapFree=4192956/4192956 [pid=11662] ppid=11660 vsize=14704 CPUtime=0.09 /proc/11662/stat : 11662 (bsolo_pb10) R 11660 11662 11053 0 -1 4202496 1043 0 0 0 9 0 0 0 21 0 1 0 5342638 15056896 961 1992294400 134512640 137138936 4290448672 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11662/statm: 3676 961 306 642 0 2645 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14704 [startup+0.301507 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11662 /proc/meminfo: memFree=1789868/2059040 swapFree=4192956/4192956 [pid=11662] ppid=11660 vsize=21016 CPUtime=0.29 /proc/11662/stat : 11662 (bsolo_pb10) R 11660 11662 11053 0 -1 4202496 3234 0 0 0 29 0 0 0 21 0 1 0 5342638 21520384 2765 1992294400 134512640 137138936 4290448672 18446744073709551615 134550256 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11662/statm: 5254 2765 182 642 0 4610 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 21016 [startup+0.70158 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11662 /proc/meminfo: memFree=1789868/2059040 swapFree=4192956/4192956 [pid=11662] ppid=11660 vsize=21108 CPUtime=0.69 /proc/11662/stat : 11662 (bsolo_pb10) R 11660 11662 11053 0 -1 4202496 3258 0 0 0 68 1 0 0 22 0 1 0 5342638 21614592 2789 1992294400 134512640 137138936 4290448672 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11662/statm: 5277 2789 184 642 0 4633 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 21108 [startup+1.50173 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11663 /proc/meminfo: memFree=1779320/2059040 swapFree=4192956/4192956 [pid=11662] ppid=11660 vsize=23124 CPUtime=1.49 /proc/11662/stat : 11662 (bsolo_pb10) R 11660 11662 11053 0 -1 4202496 3905 0 0 0 141 8 0 0 25 0 1 0 5342638 23678976 3322 1992294400 134512640 137138936 4290448672 18446744073709551615 136511195 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11662/statm: 5781 3322 192 642 0 5137 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 23124 [startup+3.10101 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11663 /proc/meminfo: memFree=1776716/2059040 swapFree=4192956/4192956 [pid=11662] ppid=11660 vsize=23124 CPUtime=3.09 /proc/11662/stat : 11662 (bsolo_pb10) R 11660 11662 11053 0 -1 4202496 3906 0 0 0 300 9 0 0 25 0 1 0 5342638 23678976 3323 1992294400 134512640 137138936 4290448672 18446744073709551615 134599772 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11662/statm: 5781 3323 192 642 0 5137 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23124 [startup+6.3016 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11663 /proc/meminfo: memFree=1775476/2059040 swapFree=4192956/4192956 [pid=11662] ppid=11660 vsize=25564 CPUtime=6.29 /proc/11662/stat : 11662 (bsolo_pb10) R 11660 11662 11053 0 -1 4202496 4509 0 0 0 618 11 0 0 25 0 1 0 5342638 26177536 3926 1992294400 134512640 137138936 4290448672 18446744073709551615 134600993 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11662/statm: 6391 3926 192 642 0 5747 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25564 [startup+12.7008 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11663 /proc/meminfo: memFree=1765060/2059040 swapFree=4192956/4192956 [pid=11662] ppid=11660 vsize=37124 CPUtime=12.69 /proc/11662/stat : 11662 (bsolo_pb10) R 11660 11662 11053 0 -1 4202496 7600 0 0 0 1255 14 0 0 25 0 1 0 5342638 38014976 6833 1992294400 134512640 137138936 4290448672 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11662/statm: 9281 6833 192 642 0 8637 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 37124 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11665 /proc/meminfo: memFree=1747824/2059040 swapFree=4192956/4192956 [pid=11662] ppid=11660 vsize=52636 CPUtime=25.48 /proc/11662/stat : 11662 (bsolo_pb10) R 11660 11662 11053 0 -1 4202496 11470 0 0 0 2529 19 0 0 25 0 1 0 5342638 53899264 10703 1992294400 134512640 137138936 4290448672 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11662/statm: 13159 10703 192 642 0 12515 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 52636 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11665 /proc/meminfo: memFree=1705292/2059040 swapFree=4192956/4192956 [pid=11662] ppid=11660 vsize=95868 CPUtime=51.07 /proc/11662/stat : 11662 (bsolo_pb10) R 11660 11662 11053 0 -1 4202496 22276 0 0 0 5080 27 0 0 25 0 1 0 5342638 98168832 21509 1992294400 134512640 137138936 4290448672 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11662/statm: 23967 21509 192 642 0 23323 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 95868 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11667 /proc/meminfo: memFree=1621468/2059040 swapFree=4192956/4192956 [pid=11662] ppid=11660 vsize=178444 CPUtime=102.26 /proc/11662/stat : 11662 (bsolo_pb10) R 11660 11662 11053 0 -1 4202496 42905 0 0 0 10185 41 0 0 25 0 1 0 5342638 182726656 42138 1992294400 134512640 137138936 4290448672 18446744073709551615 134542342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11662/statm: 44611 42138 192 642 0 43967 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 178444 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11667 /proc/meminfo: memFree=1528096/2059040 swapFree=4192956/4192956 [pid=11662] ppid=11660 vsize=272504 CPUtime=162.23 /proc/11662/stat : 11662 (bsolo_pb10) R 11660 11662 11053 0 -1 4202496 67206 0 0 0 16153 70 0 0 25 0 1 0 5342638 279044096 65653 1992294400 134512640 137138936 4290448672 18446744073709551615 134609401 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11662/statm: 68126 65658 192 642 0 67482 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 272504 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11669 /proc/meminfo: memFree=1470808/2059040 swapFree=4192956/4192956 [pid=11662] ppid=11660 vsize=328640 CPUtime=222.2 /proc/11662/stat : 11662 (bsolo_pb10) R 11660 11662 11053 0 -1 4202496 82045 0 0 0 22127 93 0 0 25 0 1 0 5342638 336527360 79709 1992294400 134512640 137138936 4290448672 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11662/statm: 82160 79709 192 642 0 81516 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 328640 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11671 /proc/meminfo: memFree=1400376/2059040 swapFree=4192956/4192956 [pid=11662] ppid=11660 vsize=399760 CPUtime=282.18 /proc/11662/stat : 11662 (bsolo_pb10) R 11660 11662 11053 0 -1 4202496 99806 0 0 0 28116 102 0 0 25 0 1 0 5342638 409354240 97470 1992294400 134512640 137138936 4290448672 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11662/statm: 99940 97470 192 642 0 99296 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 399760 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11673 /proc/meminfo: memFree=1344452/2059040 swapFree=4192956/4192956 [pid=11662] ppid=11660 vsize=454420 CPUtime=342.16 /proc/11662/stat : 11662 (bsolo_pb10) R 11660 11662 11053 0 -1 4202496 113490 0 0 0 34102 114 0 0 25 0 1 0 5342638 465326080 111154 1992294400 134512640 137138936 4290448672 18446744073709551615 134606952 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11662/statm: 113605 111154 192 642 0 112961 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 454420 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11675 /proc/meminfo: memFree=1344452/2059040 swapFree=4192956/4192956 [pid=11662] ppid=11660 vsize=454420 CPUtime=402.13 /proc/11662/stat : 11662 (bsolo_pb10) R 11660 11662 11053 0 -1 4202496 113490 0 0 0 40092 121 0 0 25 0 1 0 5342638 465326080 111154 1992294400 134512640 137138936 4290448672 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11662/statm: 113605 111154 192 642 0 112961 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 454420 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11675 /proc/meminfo: memFree=1344328/2059040 swapFree=4192956/4192956 [pid=11662] ppid=11660 vsize=454420 CPUtime=462.11 /proc/11662/stat : 11662 (bsolo_pb10) R 11660 11662 11053 0 -1 4202496 113490 0 0 0 46084 127 0 0 25 0 1 0 5342638 465326080 111154 1992294400 134512640 137138936 4290448672 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11662/statm: 113605 111154 192 642 0 112961 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 454420 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11677 /proc/meminfo: memFree=1344328/2059040 swapFree=4192956/4192956 [pid=11662] ppid=11660 vsize=454420 CPUtime=522.08 /proc/11662/stat : 11662 (bsolo_pb10) R 11660 11662 11053 0 -1 4202496 113490 0 0 0 52078 130 0 0 25 0 1 0 5342638 465326080 111154 1992294400 134512640 137138936 4290448672 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11662/statm: 113605 111154 192 642 0 112961 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 454420 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11679 /proc/meminfo: memFree=1344204/2059040 swapFree=4192956/4192956 [pid=11662] ppid=11660 vsize=454420 CPUtime=582.06 /proc/11662/stat : 11662 (bsolo_pb10) R 11660 11662 11053 0 -1 4202496 113490 0 0 0 58070 136 0 0 25 0 1 0 5342638 465326080 111154 1992294400 134512640 137138936 4290448672 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11662/statm: 113605 111154 192 642 0 112961 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 454420 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11684 /proc/meminfo: memFree=1343584/2059040 swapFree=4192956/4192956 [pid=11662] ppid=11660 vsize=454428 CPUtime=642.05 /proc/11662/stat : 11662 (bsolo_pb10) R 11660 11662 11053 0 -1 4202496 113492 0 0 0 64065 140 0 0 25 0 1 0 5342638 465334272 111156 1992294400 134512640 137138936 4290448672 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11662/statm: 113607 111156 192 642 0 112963 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 454428 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1185360/2059040 swapFree=4192956/4192956 [pid=11662] ppid=11660 vsize=612292 CPUtime=1121.85 /proc/11662/stat : 11662 (bsolo_pb10) R 11660 11662 11053 0 -1 4202496 153020 0 0 0 112006 179 0 0 25 0 1 0 5342638 626987008 150610 1992294400 134512640 137138936 4290448672 18446744073709551615 134618004 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11662/statm: 153073 150610 192 642 0 152429 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 612292 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11698 /proc/meminfo: memFree=1161304/2059040 swapFree=4192956/4192956 [pid=11662] ppid=11660 vsize=636864 CPUtime=1181.83 /proc/11662/stat : 11662 (bsolo_pb10) R 11660 11662 11053 0 -1 4202496 159182 0 0 0 117997 186 0 0 25 0 1 0 5342638 652148736 156772 1992294400 134512640 137138936 4290448672 18446744073709551615 134551207 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11662/statm: 159216 156772 192 642 0 158572 0 Current children cumulated CPU time (s) 1181.83 Current children cumulated vsize (KiB) 636864 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11700 /proc/meminfo: memFree=1099056/2059040 swapFree=4192956/4192956 [pid=11662] ppid=11660 vsize=699316 CPUtime=1241.81 /proc/11662/stat : 11662 (bsolo_pb10) R 11660 11662 11053 0 -1 4202496 174775 0 0 0 123986 195 0 0 25 0 1 0 5342638 716099584 172365 1992294400 134512640 137138936 4290448672 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11662/statm: 174829 172365 192 642 0 174185 0 Current children cumulated CPU time (s) 1241.81 Current children cumulated vsize (KiB) 699316 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11702 /proc/meminfo: memFree=1060988/2059040 swapFree=4192956/4192956 [pid=11662] ppid=11660 vsize=736572 CPUtime=1301.79 /proc/11662/stat : 11662 (bsolo_pb10) R 11660 11662 11053 0 -1 4202496 184082 0 0 0 129976 203 0 0 25 0 1 0 5342638 754249728 181672 1992294400 134512640 137138936 4290448672 18446744073709551615 134542808 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11662/statm: 184143 181672 192 642 0 183499 0 Current children cumulated CPU time (s) 1301.79 Current children cumulated vsize (KiB) 736572 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11702 /proc/meminfo: memFree=1024408/2059040 swapFree=4192956/4192956 [pid=11662] ppid=11660 vsize=773552 CPUtime=1361.77 /proc/11662/stat : 11662 (bsolo_pb10) R 11660 11662 11053 0 -1 4202496 193334 0 0 0 135965 212 0 0 25 0 1 0 5342638 792117248 190924 1992294400 134512640 137138936 4290448672 18446744073709551615 134542805 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11662/statm: 193388 190924 192 642 0 192744 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 773552 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11704 /proc/meminfo: memFree=978280/2059040 swapFree=4192956/4192956 [pid=11662] ppid=11660 vsize=819256 CPUtime=1421.75 /proc/11662/stat : 11662 (bsolo_pb10) R 11660 11662 11053 0 -1 4202496 204779 0 0 0 141954 221 0 0 25 0 1 0 5342638 838918144 202369 1992294400 134512640 137138936 4290448672 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11662/statm: 204814 202369 192 642 0 204170 0 Current children cumulated CPU time (s) 1421.75 Current children cumulated vsize (KiB) 819256 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11706 /proc/meminfo: memFree=936492/2059040 swapFree=4192956/4192956 [pid=11662] ppid=11660 vsize=861280 CPUtime=1481.71 /proc/11662/stat : 11662 (bsolo_pb10) R 11660 11662 11053 0 -1 4202496 215264 0 0 0 147944 227 0 0 25 0 1 0 5342638 881950720 212854 1992294400 134512640 137138936 4290448672 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11662/statm: 215320 212854 192 642 0 214676 0 Current children cumulated CPU time (s) 1481.71 Current children cumulated vsize (KiB) 861280 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11708 /proc/meminfo: memFree=905244/2059040 swapFree=4192956/4192956 [pid=11662] ppid=11660 vsize=892116 CPUtime=1541.69 /proc/11662/stat : 11662 (bsolo_pb10) R 11660 11662 11053 0 -1 4202496 222975 0 0 0 153934 235 0 0 25 0 1 0 5342638 913526784 220565 1992294400 134512640 137138936 4290448672 18446744073709551615 134542252 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11662/statm: 223029 220565 192 642 0 222385 0 Current children cumulated CPU time (s) 1541.69 Current children cumulated vsize (KiB) 892116 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11710 /proc/meminfo: memFree=878212/2059040 swapFree=4192956/4192956 [pid=11662] ppid=11660 vsize=918712 CPUtime=1601.67 /proc/11662/stat : 11662 (bsolo_pb10) R 11660 11662 11053 0 -1 4202496 229707 0 0 0 159925 242 0 0 25 0 1 0 5342638 940761088 227219 1992294400 134512640 137138936 4290448672 18446744073709551615 134603195 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11662/statm: 229678 227219 192 642 0 229034 0 Current children cumulated CPU time (s) 1601.67 Current children cumulated vsize (KiB) 918712 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11710 /proc/meminfo: memFree=878212/2059040 swapFree=4192956/4192956 [pid=11662] ppid=11660 vsize=918712 CPUtime=1661.65 /proc/11662/stat : 11662 (bsolo_pb10) R 11660 11662 11053 0 -1 4202496 229707 0 0 0 165916 249 0 0 25 0 1 0 5342638 940761088 227219 1992294400 134512640 137138936 4290448672 18446744073709551615 136500289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11662/statm: 229678 227219 192 642 0 229034 0 Current children cumulated CPU time (s) 1661.65 Current children cumulated vsize (KiB) 918712 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11712 /proc/meminfo: memFree=878212/2059040 swapFree=4192956/4192956 [pid=11662] ppid=11660 vsize=918712 CPUtime=1721.63 /proc/11662/stat : 11662 (bsolo_pb10) R 11660 11662 11053 0 -1 4202496 229707 0 0 0 171910 253 0 0 25 0 1 0 5342638 940761088 227219 1992294400 134512640 137138936 4290448672 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11662/statm: 229678 227219 192 642 0 229034 0 Current children cumulated CPU time (s) 1721.63 Current children cumulated vsize (KiB) 918712 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11714 /proc/meminfo: memFree=877964/2059040 swapFree=4192956/4192956 [pid=11662] ppid=11660 vsize=918712 CPUtime=1781.6 /proc/11662/stat : 11662 (bsolo_pb10) R 11660 11662 11053 0 -1 4202496 229707 0 0 0 177904 256 0 0 25 0 1 0 5342638 940761088 227219 1992294400 134512640 137138936 4290448672 18446744073709551615 136511090 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11662/statm: 229678 227219 192 642 0 229034 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (KiB) 918712 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11714 /proc/meminfo: memFree=877964/2059040 swapFree=4192956/4192956 [pid=11662] ppid=11660 vsize=918712 CPUtime=1791.2 /proc/11662/stat : 11662 (bsolo_pb10) R 11660 11662 11053 0 -1 4202496 229707 0 0 0 178863 257 0 0 25 0 1 0 5342638 940761088 227219 1992294400 134512640 137138936 4290448672 18446744073709551615 134543154 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11662/statm: 229678 227219 192 642 0 229034 0 Current children cumulated CPU time (s) 1791.2 Current children cumulated vsize (KiB) 918712 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11714 /proc/meminfo: memFree=877964/2059040 swapFree=4192956/4192956 [pid=11662] ppid=11660 vsize=918712 CPUtime=1794.4 /proc/11662/stat : 11662 (bsolo_pb10) R 11660 11662 11053 0 -1 4202496 229707 0 0 0 179183 257 0 0 25 0 1 0 5342638 940761088 227219 1992294400 134512640 137138936 4290448672 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11662/statm: 229678 227219 192 642 0 229034 0 Current children cumulated CPU time (s) 1794.4 Current children cumulated vsize (KiB) 918712 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11714 /proc/meminfo: memFree=877964/2059040 swapFree=4192956/4192956 [pid=11662] ppid=11660 vsize=918712 CPUtime=1795.99 /proc/11662/stat : 11662 (bsolo_pb10) R 11660 11662 11053 0 -1 4202496 229707 0 0 0 179342 257 0 0 25 0 1 0 5342638 940761088 227219 1992294400 134512640 137138936 4290448672 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11662/statm: 229678 227219 192 642 0 229034 0 Current children cumulated CPU time (s) 1795.99 Current children cumulated vsize (KiB) 918712 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11714 /proc/meminfo: memFree=877964/2059040 swapFree=4192956/4192956 [pid=11662] ppid=11660 vsize=918712 CPUtime=1796.8 /proc/11662/stat : 11662 (bsolo_pb10) R 11660 11662 11053 0 -1 4202496 229707 0 0 0 179422 258 0 0 25 0 1 0 5342638 940761088 227219 1992294400 134512640 137138936 4290448672 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11662/statm: 229678 227219 192 642 0 229034 0 Current children cumulated CPU time (s) 1796.8 Current children cumulated vsize (KiB) 918712 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11714 /proc/meminfo: memFree=877964/2059040 swapFree=4192956/4192956 [pid=11662] ppid=11660 vsize=918712 CPUtime=1797.6 /proc/11662/stat : 11662 (bsolo_pb10) R 11660 11662 11053 0 -1 4202496 229707 0 0 0 179502 258 0 0 25 0 1 0 5342638 940761088 227219 1992294400 134512640 137138936 4290448672 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11662/statm: 229678 227219 192 642 0 229034 0 Current children cumulated CPU time (s) 1797.6 Current children cumulated vsize (KiB) 918712 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11714 /proc/meminfo: memFree=877964/2059040 swapFree=4192956/4192956 [pid=11662] ppid=11660 vsize=918712 CPUtime=1798 /proc/11662/stat : 11662 (bsolo_pb10) R 11660 11662 11053 0 -1 4202496 229707 0 0 0 179542 258 0 0 25 0 1 0 5342638 940761088 227219 1992294400 134512640 137138936 4290448672 18446744073709551615 134543437 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11662/statm: 229678 227219 192 642 0 229034 0 Current children cumulated CPU time (s) 1798 Current children cumulated vsize (KiB) 918712 [startup+1798.8 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11714 /proc/meminfo: memFree=877964/2059040 swapFree=4192956/4192956 [pid=11662] ppid=11660 vsize=0 CPUtime=1798.09 /proc/11662/stat : 11662 (bsolo_pb10) R 11660 11662 11053 0 -1 4202500 229708 0 0 0 179543 266 0 0 25 0 1 0 5342638 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/11662/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.09 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.8 CPU time (s): 1798.11 CPU user time (s): 1795.44 CPU system time (s): 2.67059 CPU usage (%): 99.9613 Max. virtual memory (cumulated for all children) (KiB): 919024 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.44 system time used= 2.67059 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 229708 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= 1 involuntary context switches= 5486 runsolver used 3.02454 second user time and 8.43672 second system time The end
Begin job on node044 at 2010-06-16 00:21:43 IDJOB=2656365 IDBENCH=25016 IDSOLVER=1162 FILE ID=node044/2656365-1276640503 PBS_JOBID= 11172362 Free space on /tmp= 62584 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_9.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656365-1276640503/watcher-2656365-1276640503 -o /tmp/evaluation-result-2656365-1276640503/solver-2656365-1276640503 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656365-1276640503.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d90f6236f870e45ceb3cd4a6e4593f30 RANDOM SEED=551746425 node044.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.266 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.53 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.266 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1790396 kB Buffers: 15448 kB Cached: 128712 kB SwapCached: 0 kB Active: 108348 kB Inactive: 95460 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1790396 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 5472 kB Writeback: 0 kB AnonPages: 59576 kB Mapped: 15476 kB Slab: 42964 kB PageTables: 3992 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180672 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62580 MiB End job on node044 at 2010-06-16 00:51:42