Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Wrong Opt. | 9340 | 185.634 | 185.701 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib3/normalized-mps-v2-20-10-mitre.opb |
MD5SUM | 2b9af9044591fd3eb9f5def12c800cff |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 7677 |
Best CPU time to get the best result obtained on this benchmark | 26.299 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 7680 |
Optimality of the best value was proved | NO |
Number of variables | 10724 |
Total number of constraints | 1662 |
Number of constraints which are clauses | 140 |
Number of constraints which are cardinality constraints (but not clauses) | 1139 |
Number of constraints which are nor clauses,nor cardinality constraints | 383 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 98 |
Number of terms in the objective function | 9324 |
Biggest coefficient in the objective function | 213 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 909647 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 1069 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 909647 |
Number of bits of the biggest sum of numbers | 20 |
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 wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2655993-1276362562.opb. 0.00/0.00 c Instance file HOME/instance-2655993-1276362562.opb 0.00/0.00 c File size is 474515 bytes. 0.07/0.08 c Highest Coefficient sum: 48451 0.07/0.08 c ============================[ Problem Statistics ]============================= 0.07/0.08 c | | 0.07/0.08 c | Parsing time: 0.08 s | 0.07/0.08 c | Number Variables: 10724 | 0.07/0.08 c | Number Clauses: 523 | 0.07/0.08 c | Number Cardinality: 1139 | 0.07/0.08 c | Number PB Constraints: 383 | 0.07/0.09 c ============================[ Search Statistics ]============================== 0.07/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.07/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.07/0.09 c =============================================================================== 0.07/0.09 c | 0 | 10724 2045 49280 | 5000 0 nan | 0.000 % | 0.09/0.10 c | 105 | 10724 2045 49280 | 5500 105 35 | 0.000 % | 0.09/0.11 c | 258 | 10721 2045 49280 | 6050 258 31 | 0.028 % | 0.09/0.12 c | 486 | 10719 2045 49280 | 6655 486 32 | 0.047 % | 0.09/0.15 c | 828 | 10714 2045 49280 | 7320 828 29 | 0.093 % | 0.09/0.18 c | 1341 | 10714 2045 49280 | 8052 1341 30 | 0.093 % | 0.19/0.25 c | 2101 | 10709 2045 49280 | 8857 2101 32 | 0.140 % | 0.29/0.35 c | 3240 | 10705 2045 49280 | 9743 3128 34 | 0.177 % | 0.50/0.50 c | 4962 | 10699 2045 49280 | 10717 4850 34 | 0.233 % | 0.69/0.74 c | 7535 | 10688 2045 49280 | 11789 7423 35 | 0.336 % | 1.10/1.11 c | 11387 | 10666 2045 49280 | 12968 10527 35 | 0.541 % | 1.59/1.69 c | 17153 | 10636 2045 49280 | 14265 9657 35 | 0.821 % | 2.59/2.62 c | 25809 | 10588 2045 49280 | 15692 9958 33 | 1.268 % | 3.99/4.10 c | 38786 | 10518 2045 49280 | 17261 13997 35 | 1.921 % | 6.19/6.29 c | 58256 | 10418 2045 49280 | 18987 14351 34 | 2.853 % | 7.28/7.34 c =============================================================================== 7.28/7.34 c New solution: 373270 7.28/7.34 o 373270 7.28/7.34 c Elapsed CPU time: 6.63799 s Remaining CPU time: 173.362 s 7.28/7.34 c =============================================================================== 7.28/7.34 c | 65026 | 10377 2046 58604 | 5000 19231 36 | 2.853 % | 7.28/7.38 c | 65128 | 10377 2046 58604 | 5500 4916 33 | 3.236 % | 7.28/7.39 c | 65284 | 10377 2046 58604 | 6050 5072 33 | 3.236 % | 7.39/7.42 c | 65513 | 10376 2046 58604 | 6655 5301 33 | 3.254 % | 7.39/7.45 c | 65875 | 10374 2046 58604 | 7320 5663 33 | 3.273 % | 7.49/7.51 c | 66398 | 10369 2046 58604 | 8052 6186 33 | 3.320 % | 7.60/7.61 c | 67165 | 10358 2046 58604 | 8857 6953 32 | 3.413 % | 7.69/7.73 c | 68311 | 10349 2046 58604 | 9743 8099 32 | 3.497 % | 7.89/7.94 c | 70025 | 10339 2046 58604 | 10717 9813 32 | 3.590 % | 8.18/8.23 c | 72593 | 10328 2046 58604 | 11789 6816 30 | 3.702 % | 8.58/8.67 c | 76439 | 10298 2046 58604 | 12968 9110 33 | 3.972 % | 9.28/9.36 c | 82206 | 10264 2046 58604 | 14265 8061 35 | 4.289 % | 10.19/10.29 c | 90859 | 10221 2046 58604 | 15692 15687 35 | 4.700 % | 11.68/11.73 c =============================================================================== 11.68/11.73 c New solution: 373269 11.68/11.73 o 373269 11.68/11.73 c Elapsed CPU time: 10.6124 s Remaining CPU time: 169.388 s 11.68/11.73 c =============================================================================== 11.68/11.73 c | 98286 | 10178 2047 67928 | 5000 13868 169 | 4.700 % | 11.68/11.78 c | 98387 | 10178 2047 67928 | 5500 3570 559 | 5.091 % | 11.79/11.81 c | 98537 | 10177 2047 67928 | 6050 3720 538 | 5.101 % | 11.79/11.83 c | 98763 | 10177 2047 67928 | 6655 3946 509 | 5.101 % | 11.79/11.88 c | 99105 | 10176 2047 67928 | 7320 4288 472 | 5.110 % | 11.88/11.93 c | 99615 | 10176 2047 67928 | 8052 4798 425 | 5.110 % | 12.00/12.00 c | 100375 | 10175 2047 67928 | 8857 5558 372 | 5.119 % | 12.00/12.10 c | 101515 | 10172 2047 67928 | 9743 6698 315 | 5.147 % | 12.19/12.30 c | 103223 | 10165 2047 67928 | 10717 8406 258 | 5.213 % | 12.69/12.75 c =============================================================================== 12.69/12.75 c New solution: 373267 12.69/12.75 o 373267 12.69/12.75 c Elapsed CPU time: 11.5602 s Remaining CPU time: 168.44 s 12.69/12.75 c =============================================================================== 12.69/12.75 c | 104474 | 10161 2048 77252 | 5000 9657 277 | 5.213 % | 12.69/12.79 c | 104574 | 10161 2048 77252 | 5500 4930 128 | 5.250 % | 12.79/12.81 c | 104730 | 10161 2048 77252 | 6050 5086 126 | 5.250 % | 12.79/12.85 c | 104960 | 10161 2048 77252 | 6655 5316 122 | 5.250 % | 12.79/12.88 c | 105304 | 10161 2048 77252 | 7320 5660 117 | 5.250 % | 12.88/12.95 c | 105810 | 10161 2048 77252 | 8052 6166 111 | 5.250 % | 12.98/13.04 c | 106574 | 10161 2048 77252 | 8857 6417 109 | 5.250 % | 13.09/13.20 c | 107719 | 10159 2048 77252 | 9743 7562 98 | 5.269 % | 13.39/13.42 c | 109431 | 10155 2048 77252 | 10717 9274 87 | 5.306 % | 13.79/13.80 c | 111993 | 10144 2048 77252 | 11789 6184 35 | 5.408 % | 14.20/14.24 c | 115840 | 10132 2048 77252 | 12968 10031 36 | 5.520 % | 14.79/14.89 c | 121606 | 10110 2048 77252 | 14265 8950 34 | 5.725 % | 15.88/15.92 c =============================================================================== 15.88/15.92 c New solution: 373234 15.88/15.92 o 373234 15.88/15.92 c Elapsed CPU time: 14.4128 s Remaining CPU time: 165.587 s 15.88/15.92 c =============================================================================== 15.88/15.92 c | 128246 | 10075 2049 86576 | 5000 14847 35 | 5.725 % | 15.88/15.96 c | 128351 | 10075 2049 86576 | 5500 3817 33 | 6.052 % | 15.88/15.97 c | 128501 | 10074 2049 86576 | 6050 3967 33 | 6.061 % | 15.88/15.99 c | 128735 | 10074 2049 86576 | 6655 4201 32 | 6.061 % | 15.99/16.03 c | 129072 | 10072 2049 86576 | 7320 4538 32 | 6.080 % | 16.08/16.11 c | 129580 | 10069 2049 86576 | 8052 5046 32 | 6.108 % | 16.18/16.22 c | 130339 | 10064 2049 86576 | 8857 5805 33 | 6.154 % | 16.39/16.41 c | 131479 | 10055 2049 86576 | 9743 6945 32 | 6.238 % | 16.50/16.58 c | 133212 | 10049 2049 86576 | 10717 8678 32 | 6.304 % | 16.79/16.84 c | 135786 | 10039 2049 86576 | 11789 11252 33 | 6.388 % | 17.28/17.30 c | 139631 | 10018 2049 86576 | 12968 8747 32 | 6.583 % | 22.49/22.58 c | 145397 | 9990 2049 86576 | 14265 13236 1006 | 6.844 % | 25.68/25.71 c | 154046 | 9965 2049 86576 | 15692 13702 1462 | 7.078 % | 36.07/36.19 c | 167020 | 9944 2049 86576 | 17261 17996 2101 | 7.273 % | 46.57/46.60 c =============================================================================== 46.57/46.60 c New solution: 373231 46.57/46.60 o 373231 46.57/46.60 c Elapsed CPU time: 44.0423 s Remaining CPU time: 135.958 s 46.57/46.60 c =============================================================================== 46.57/46.60 c | 185871 | 9904 2050 95900 | 5000 17907 1412 | 7.273 % | 46.57/46.66 c | 185973 | 9904 2050 95900 | 5500 4627 4767 | 7.646 % | 46.67/46.71 c | 186125 | 9904 2050 95900 | 6050 4779 4616 | 7.646 % | 46.67/46.73 c | 186351 | 9904 2050 95900 | 6655 5005 4410 | 7.646 % | 46.67/46.78 c | 186691 | 9902 2050 95900 | 7320 5345 4131 | 7.665 % | 46.77/46.84 c | 187198 | 9900 2050 95900 | 8052 5852 3776 | 7.684 % | 46.87/46.96 c | 187960 | 9898 2050 95900 | 8857 6614 3346 | 7.702 % | 46.97/47.09 c | 189101 | 9897 2050 95900 | 9743 7755 2859 | 7.712 % | 47.17/47.26 c | 190809 | 9893 2050 95900 | 10717 9463 2349 | 7.749 % | 47.47/47.57 c | 193374 | 9878 2050 95900 | 11789 6245 32 | 7.889 % | 47.97/48.06 c | 197219 | 9861 2050 95900 | 12968 10090 33 | 8.047 % | 48.77/48.80 c | 202987 | 9834 2050 95900 | 14265 8892 31 | 8.299 % | 63.16/63.21 c | 211638 | 9826 2050 95900 | 15692 17543 2055 | 8.374 % | 64.47/64.56 c =============================================================================== 64.47/64.56 c New solution: 373228 64.47/64.56 o 373228 64.47/64.56 c Elapsed CPU time: 61.4327 s Remaining CPU time: 118.567 s 64.47/64.56 c =============================================================================== 64.47/64.56 c | 219397 | 9816 2051 105224 | 5000 16537 2230 | 8.374 % | 64.57/64.65 c | 219510 | 9816 2051 105224 | 5500 4358 220 | 8.467 % | 64.57/64.69 c | 219664 | 9816 2051 105224 | 6050 4512 214 | 8.467 % | 64.67/64.74 c | 219892 | 9813 2051 105224 | 6655 4740 205 | 8.495 % | 64.77/64.82 c | 220231 | 9813 2051 105224 | 7320 5079 194 | 8.495 % | 64.77/64.88 c | 220739 | 9812 2051 105224 | 8052 5587 180 | 8.504 % | 64.87/64.98 c | 221502 | 9811 2051 105224 | 8857 6350 163 | 8.514 % | 65.06/65.12 c | 222644 | 9809 2051 105224 | 9743 7492 143 | 8.532 % | 65.16/65.28 c | 224352 | 9805 2051 105224 | 10717 9200 123 | 8.570 % | 65.57/65.61 c | 226919 | 9789 2051 105224 | 11789 11767 103 | 8.719 % | 65.87/65.96 c =============================================================================== 65.87/65.96 c New solution: 373206 65.87/65.96 o 373206 65.87/65.96 c Elapsed CPU time: 62.7085 s Remaining CPU time: 117.292 s 65.87/65.96 c =============================================================================== 65.87/65.96 c | 227797 | 9788 2052 114548 | 5000 12645 103 | 8.719 % | 65.87/66.00 c | 227897 | 9788 2052 114548 | 5500 3394 46 | 8.728 % | 65.97/66.05 c | 228047 | 9788 2052 114548 | 6050 3544 45 | 8.728 % | 66.06/66.12 c | 228285 | 9786 2052 114548 | 6655 3782 44 | 8.747 % | 66.06/66.16 c | 228625 | 9786 2052 114548 | 7320 4122 43 | 8.747 % | 66.17/66.22 c | 229131 | 9785 2052 114548 | 8052 4628 42 | 8.756 % | 66.27/66.30 c | 229899 | 9782 2052 114548 | 8857 5396 41 | 8.793 % | 66.37/66.50 c | 231038 | 9781 2052 114548 | 9743 6535 40 | 8.793 % | 66.56/66.69 c | 232751 | 9779 2052 114548 | 10717 8248 40 | 8.812 % | 66.86/66.96 c | 235314 | 9767 2052 114548 | 11789 10811 38 | 8.924 % | 70.66/70.73 c =============================================================================== 70.66/70.73 c New solution: 373200 70.66/70.73 o 373200 70.66/70.73 c Elapsed CPU time: 67.2878 s Remaining CPU time: 112.712 s 70.66/70.73 c =============================================================================== 70.66/70.73 c | 238871 | 9754 2053 123872 | 5000 14368 605 | 8.924 % | 70.76/70.82 c | 238986 | 9754 2053 123872 | 5500 3878 2132 | 9.045 % | 70.76/70.84 c | 239136 | 9754 2053 123872 | 6050 4028 2054 | 9.045 % | 70.87/70.94 c | 239361 | 9754 2053 123872 | 6655 4253 1947 | 9.045 % | 70.87/70.97 c | 239702 | 9754 2053 123872 | 7320 4594 1805 | 9.045 % | 70.96/71.10 c | 240208 | 9751 2053 123872 | 8052 5100 1630 | 9.073 % | 71.17/71.26 c | 240980 | 9750 2053 123872 | 8857 5872 1420 | 9.082 % | 71.47/71.51 c | 242120 | 9748 2053 123872 | 9743 7012 1195 | 9.101 % | 74.36/74.46 c | 243830 | 9748 2053 123872 | 10717 8722 1731 | 9.101 % | 74.67/74.76 c | 246397 | 9748 2053 123872 | 11789 11289 1346 | 9.101 % | 75.26/75.33 c | 250241 | 9737 2053 123872 | 12968 8491 807 | 9.204 % | 85.56/85.66 c | 256009 | 9733 2053 123872 | 14265 14259 2002 | 9.241 % | 106.66/106.78 c | 264660 | 9730 2053 123872 | 15692 15088 3694 | 9.269 % | 108.35/108.49 c | 277639 | 9698 2053 123872 | 17261 10286 32 | 9.567 % | 156.23/156.31 c | 297101 | 9693 2053 123872 | 18987 13768 5665 | 9.614 % | 184.92/185.08 c There are 1033 assigned variables. 694 in cost function. 185.43/185.55 c core #1 185.43/185.55 c #cores: 1 185.43/185.55 c Final Weight: 373200 185.43/185.55 o 373200 185.43/185.55 s OPTIMUM FOUND 185.43/185.55 v -x3 -x7 -x11 -x15 x19 -x23 -x27 -x31 -x35 -x39 -x43 -x47 -x51 -x55 -x59 -x63 -x67 -x71 -x75 -x79 -x83 -x87 -x91 -x95 -x99 -x103 -x107 -x111 -x4 -x8 -x12 -x16 -x20 -x24 -x28 -x32 -x36 -x40 -x44 -x48 -x52 x56 -x60 -x64 -x68 -x72 -x76 -x80 -x84 -x88 -x92 -x96 -x100 -x104 -x108 -x112 -x1 -x5 -x9 -x13 -x17 -x21 -x25 -x29 -x33 -x37 -x41 -x45 -x49 -x53 -x57 -x61 -x65 -x69 -x73 x77 -x81 -x85 -x89 -x93 -x97 -x101 -x105 -x109 -x115 -x118 -x121 -x124 -x127 -x130 -x133 -x136 -x139 -x142 -x145 -x148 -x151 -x154 -x157 -x160 -x163 x166 -x169 -x172 -x175 -x178 -x181 -x184 -x187 -x190 -x193 -x196 -x114 -x117 -x120 -x123 -x126 -x129 -x132 -x135 -x138 -x141 -x144 -x147 -x150 -x153 -x156 -x159 -x162 -x165 -x168 -x171 -x174 x177 -x180 -x183 -x186 -x189 -x192 -x195 -x113 -x116 -x119 -x122 -x125 -x128 -x131 -x134 -x137 -x140 -x143 -x146 -x149 -x152 -x155 -x158 -x161 -x164 -x167 -x170 -x173 -x176 -x179 -x182 -x185 -x188 x191 -x194 -x198 -x201 -x204 -x207 -x210 -x213 -x216 -x219 -x222 -x225 -x228 x231 -x234 -x237 -x240 -x243 -x246 -x249 -x252 -x255 -x258 -x261 -x264 -x267 -x270 -x273 -x276 -x279 -x199 -x202 -x205 -x208 -x211 -x214 -x217 -x220 -x223 -x226 -x229 -x232 -x235 -x238 -x241 x244 -x247 -x250 -x253 -x256 -x259 -x262 -x265 -x268 -x271 -x274 -x277 -x280 -x197 -x200 -x203 -x206 -x209 -x212 -x215 -x218 -x221 -x224 -x227 -x230 -x233 -x236 -x239 -x242 -x245 -x248 -x251 x254 -x257 -x260 -x263 -x266 -x269 -x272 -x275 -x278 -x281 -x285 -x289 -x293 -x297 -x301 -x305 -x309 -x313 -x317 -x321 x325 -x329 -x333 -x337 -x341 -x345 -x349 -x353 -x357 -x361 -x365 -x369 -x373 -x377 -x381 -x385 -x389 -x283 -x287 -x291 -x295 -x299 -x303 -x307 -x311 -x315 -x319 -x323 -x327 -x331 -x335 -x339 -x343 -x347 -x351 -x355 -x359 x363 -x367 -x371 -x375 -x379 -x383 -x387 -x391 -x282 -x286 -x290 -x294 -x298 -x302 -x306 -x310 -x314 -x318 -x322 -x326 -x330 -x334 -x338 -x342 -x346 -x350 -x354 -x358 -x362 -x366 -x370 -x374 -x378 -x382 x386 -x390 -x394 -x397 -x400 -x403 x406 -x409 -x412 -x415 -x418 -x421 -x424 -x427 -x430 -x433 -x436 -x439 -x442 -x445 -x448 -x451 -x454 -x457 -x460 -x463 -x466 -x469 -x472 -x475 -x395 -x398 -x401 -x404 -x407 -x410 -x413 -x416 x419 -x422 -x425 -x428 -x431 -x434 -x437 -x440 -x443 -x446 -x449 -x452 -x455 -x458 -x461 -x464 -x467 -x470 -x473 -x476 -x393 -x396 -x399 -x402 -x405 -x408 -x411 -x414 -x417 -x420 -x423 -x426 -x429 -x432 -x435 -x438 -x441 x444 -x447 -x450 -x453 -x456 -x459 -x462 -x465 -x468 -x471 -x474 -x477 -x480 -x483 -x486 -x489 -x492 x495 -x498 -x501 -x504 -x507 -x510 -x513 -x516 -x519 -x522 -x525 -x528 -x531 -x534 -x537 -x540 -x543 -x546 -x549 -x552 -x555 -x558 -x478 -x481 -x484 -x487 -x490 -x493 -x496 -x499 x502 -x505 -x508 -x511 -x514 -x517 -x520 -x523 -x526 -x529 -x532 -x535 -x538 -x541 -x544 -x547 -x550 -x553 -x556 -x559 -x479 -x482 -x485 -x488 -x491 -x494 -x497 -x500 -x503 -x506 -x509 x512 -x515 -x518 -x521 -x524 -x527 -x530 -x533 -x536 -x539 -x542 -x545 -x548 -x551 -x554 -x557 -x560 -x561 -x564 -x567 -x570 -x573 -x576 -x579 -x582 -x585 -x588 -x591 -x594 -x597 x600 -x603 -x606 -x609 -x612 -x615 -x618 -x621 -x624 -x627 -x630 -x633 -x636 -x639 -x642 -x562 -x565 -x568 -x571 -x574 -x577 -x580 -x583 -x586 -x589 -x592 -x595 -x598 -x601 -x604 -x607 x610 -x613 -x616 -x619 -x622 -x625 -x628 -x631 -x634 -x637 -x640 -x643 -x563 -x566 -x569 -x572 -x575 -x578 -x581 -x584 -x587 -x590 -x593 -x596 -x599 -x602 -x605 -x608 -x611 -x614 -x617 -x620 x623 -x626 -x629 -x632 -x635 -x638 -x641 -x644 -x645 -x649 -x653 -x657 -x661 -x665 -x669 -x673 x677 -x681 -x685 -x689 -x693 -x697 -x701 -x705 -x709 -x713 -x717 -x721 -x725 -x729 -x733 -x737 -x741 -x745 -x749 -x753 -x647 -x651 -x655 -x659 -x663 -x667 -x671 -x675 -x679 -x683 -x687 -x691 -x695 -x699 -x703 -x707 -x711 -x715 x719 -x723 -x727 -x731 -x735 -x739 -x743 -x747 -x751 -x755 -x646 -x650 -x654 -x658 -x662 -x666 -x670 -x674 -x678 -x682 -x686 -x690 -x694 -x698 -x702 -x706 -x710 -x714 -x718 -x722 -x726 -x730 -x734 -x738 -x742 x746 -x750 -x754 -x759 -x764 -x769 -x774 -x779 x784 -x789 -x794 -x799 -x804 -x809 -x814 -x819 -x824 -x829 -x834 -x839 -x844 -x849 -x854 -x859 -x864 -x869 -x874 -x879 -x884 -x889 -x894 -x758 -x763 -x768 -x773 -x778 -x783 -x788 -x793 -x798 -x803 -x808 -x813 -x818 -x823 -x828 -x833 -x838 -x843 -x848 -x853 -x858 -x863 -x868 -x873 x878 -x883 -x888 -x893 -x760 -x765 -x770 -x775 -x780 -x785 -x790 -x795 -x800 -x805 -x810 -x815 -x820 -x825 -x830 -x835 -x840 -x845 -x850 -x855 -x860 -x865 -x870 -x875 -x880 -x885 -x890 x895 -x899 -x904 x909 -x914 -x919 -x924 -x929 -x934 -x939 -x944 -x949 -x954 -x959 -x964 -x969 -x974 -x979 -x984 -x989 -x994 -x999 -x1004 -x1009 -x1014 -x1019 -x1024 -x1029 -x1034 -x900 -x905 -x910 -x915 -x920 -x925 -x930 -x935 -x940 -x945 -x950 -x955 -x960 -x965 -x970 -x975 -x980 -x985 -x990 -x995 -x1000 -x1005 -x1010 -x1015 -x1020 x1025 -x1030 -x1035 -x898 -x903 -x908 -x913 -x918 -x923 -x928 -x933 -x938 -x943 -x948 -x953 -x958 -x963 -x968 -x973 -x978 -x983 -x988 -x993 -x998 -x1003 -x1008 -x1013 -x1018 -x1023 -x1028 x1033 -x1038 -x1041 -x1044 -x1047 -x1050 -x1053 -x1056 -x1059 -x1062 -x1065 -x1068 -x1071 -x1074 x1077 -x1080 -x1083 -x1086 -x1089 -x1092 -x1095 -x1098 -x1101 -x1104 -x1107 -x1110 -x1113 -x1116 -x1119 -x1039 -x1042 -x1045 -x1048 -x1051 -x1054 -x1057 -x1060 -x1063 -x1066 -x1069 -x1072 -x1075 -x1078 -x1081 x1084 -x1087 -x1090 -x1093 -x1096 -x1099 -x1102 -x1105 -x1108 -x1111 -x1114 -x1117 -x1120 -x1037 -x1040 -x1043 -x1046 -x1049 -x1052 -x1055 -x1058 -x1061 -x1064 -x1067 -x1070 -x1073 -x1076 -x1079 -x1082 x1085 -x1088 -x1091 -x1094 -x1097 -x1100 -x1103 -x1106 -x1109 -x1112 -x1115 -x1118 -x1121 -x1124 -x1127 -x1130 -x1133 -x1136 -x1139 -x1142 -x1145 x1148 -x1151 -x1154 -x1157 -x1160 -x1163 -x1166 -x1169 -x1172 -x1175 -x1178 -x1181 -x1184 -x1187 -x1190 -x1193 -x1196 -x1199 -x1202 -x1123 -x1126 -x1129 -x1132 -x1135 -x1138 -x1141 -x1144 -x1147 -x1150 -x1153 -x1156 -x1159 -x1162 x1165 -x1168 -x1171 -x1174 -x1177 -x1180 -x1183 -x1186 -x1189 -x1192 -x1195 -x1198 -x1201 -x1204 -x1122 -x1125 -x1128 -x1131 -x1134 -x1137 -x1140 -x1143 -x1146 -x1149 -x1152 -x1155 -x1158 -x1161 -x1164 -x1167 -x1170 -x1173 -x1176 -x1179 -x1182 -x1185 -x1188 x1191 -x1194 -x1197 -x1200 -x1203 -x1205 -x1208 -x1211 -x1214 -x1217 -x1220 -x1223 -x1226 -x1229 -x1232 -x1235 -x1238 -x1241 x1244 -x1247 -x1250 -x1253 -x1256 -x1259 -x1262 -x1265 -x1268 -x1271 -x1274 -x1277 -x1280 -x1283 -x1286 -x1207 -x1210 -x1213 -x1216 -x1219 -x1222 -x1225 -x1228 -x1231 -x1234 -x1237 -x1240 -x1243 -x1246 -x1249 -x1252 -x1255 -x1258 -x1261 x1264 -x1267 -x1270 -x1273 -x1276 -x1279 -x1282 -x1285 -x1288 -x1206 -x1209 -x1212 -x1215 -x1218 -x1221 -x1224 -x1227 -x1230 -x1233 -x1236 -x1239 -x1242 -x1245 -x1248 -x1251 -x1254 -x1257 -x1260 -x1263 -x1266 -x1269 x1272 -x1275 -x1278 -x1281 -x1284 -x1287 -x1290 -x1293 -x1296 -x1299 -x1302 -x1305 -x1308 -x1311 -x1314 -x1317 -x1320 -x1323 -x1326 -x1329 -x1332 -x1335 -x1338 -x1341 -x1344 -x1347 -x1350 -x1353 x1356 -x1359 -x1362 -x1365 -x1368 -x1371 -x1291 -x1294 -x1297 -x1300 -x1303 -x1306 -x1309 -x1312 -x1315 -x1318 -x1321 -x1324 -x1327 -x1330 -x1333 -x1336 -x1339 -x1342 -x1345 -x1348 -x1351 -x1354 -x1357 -x1360 x1363 -x1366 -x1369 -x1372 -x1289 -x1292 -x1295 -x1298 -x1301 -x1304 -x1307 -x1310 -x1313 -x1316 -x1319 -x1322 -x1325 -x1328 -x1331 -x1334 -x1337 -x1340 -x1343 -x1346 -x1349 -x1352 -x1355 -x1358 -x1361 -x1364 -x1367 x1370 -x1373 -x1376 -x1379 -x1382 -x1385 -x1388 -x1391 x1394 -x1397 -x1400 -x1403 -x1406 -x1409 -x1412 -x1415 -x1418 -x1421 -x1424 -x1427 -x1430 -x1433 -x1436 -x1439 -x1442 -x1445 -x1448 -x1451 -x1454 -x1375 -x1378 -x1381 -x1384 -x1387 -x1390 -x1393 -x1396 -x1399 x1402 -x1405 -x1408 -x1411 -x1414 -x1417 -x1420 -x1423 -x1426 -x1429 -x1432 -x1435 -x1438 -x1441 -x1444 -x1447 -x1450 -x1453 -x1456 -x1374 -x1377 -x1380 -x1383 -x1386 -x1389 -x1392 -x1395 -x1398 -x1401 -x1404 -x1407 -x1410 -x1413 -x1416 -x1419 -x1422 -x1425 -x1428 -x1431 -x1434 -x1437 -x1440 -x1443 -x1446 x1449 -x1452 -x1455 -x1458 -x1461 -x1464 -x1467 -x1470 -x1473 -x1476 -x1479 -x1482 -x1485 -x1488 -x1491 -x1494 -x1497 -x1500 -x1503 x1506 -x1509 -x1512 -x1515 -x1518 -x1521 -x1524 -x1527 -x1530 -x1533 -x1536 -x1539 -x1459 -x1462 -x1465 -x1468 -x1471 -x1474 -x1477 -x1480 -x1483 -x1486 -x1489 -x1492 -x1495 -x1498 -x1501 -x1504 -x1507 -x1510 -x1513 -x1516 -x1519 -x1522 -x1525 -x1528 -x1531 -x1534 x1537 -x1540 -x1457 -x1460 -x1463 -x1466 -x1469 -x1472 -x1475 -x1478 -x1481 -x1484 -x1487 -x1490 -x1493 -x1496 -x1499 -x1502 -x1505 -x1508 -x1511 -x1514 -x1517 -x1520 -x1523 -x1526 -x1529 -x1532 -x1535 x1538 -x1541 -x1544 -x1547 -x1550 -x1553 -x1556 -x1559 -x1562 x1565 -x1568 -x1571 -x1574 -x1577 -x1580 -x1583 -x1586 -x1589 -x1592 -x1595 -x1598 -x1601 -x1604 -x1607 -x1610 -x1613 -x1616 -x1619 -x1622 -x1542 -x1545 -x1548 -x1551 -x1554 -x1557 -x1560 -x1563 -x1566 -x1569 -x1572 -x1575 x1578 -x1581 -x1584 -x1587 -x1590 -x1593 -x1596 -x1599 -x1602 -x1605 -x1608 -x1611 -x1614 -x1617 -x1620 -x1623 -x1543 -x1546 -x1549 -x1552 -x1555 -x1558 -x1561 -x1564 -x1567 -x1570 -x1573 -x1576 -x1579 -x1582 -x1585 -x1588 -x1591 -x1594 -x1597 -x1600 -x1603 x1606 -x1609 -x1612 -x1615 -x1618 -x1621 -x1624 -x1627 -x1630 -x1633 -x1636 -x1639 -x1642 -x1645 -x1648 -x1651 -x1654 -x1657 -x1660 -x1663 -x1666 -x1669 -x1672 -x1675 x1678 -x1681 -x1684 -x1687 -x1690 -x1693 -x1696 -x1699 -x1702 -x1705 -x1708 -x1626 -x1629 -x1632 -x1635 -x1638 -x1641 -x1644 -x1647 -x1650 -x1653 -x1656 -x1659 -x1662 -x1665 -x1668 -x1671 -x1674 -x1677 -x1680 -x1683 -x1686 -x1689 -x1692 x1695 -x1698 -x1701 -x1704 -x1707 -x1625 -x1628 -x1631 -x1634 -x1637 -x1640 -x1643 -x1646 -x1649 -x1652 -x1655 -x1658 -x1661 -x1664 -x1667 -x1670 -x1673 -x1676 -x1679 -x1682 -x1685 -x1688 -x1691 -x1694 -x1697 x1700 -x1703 -x1706 -x1709 -x1712 -x1715 -x1718 -x1721 -x1724 -x1727 -x1730 x1733 -x1736 -x1739 -x1742 -x1745 -x1748 -x1751 -x1754 -x1757 -x1760 -x1763 -x1766 -x1769 -x1772 -x1775 -x1778 -x1781 -x1784 -x1787 -x1790 -x1710 -x1713 -x1716 -x1719 -x1722 -x1725 -x1728 -x1731 -x1734 -x1737 -x1740 -x1743 -x1746 x1749 -x1752 -x1755 -x1758 -x1761 -x1764 -x1767 -x1770 -x1773 -x1776 -x1779 -x1782 -x1785 -x1788 -x1791 -x1711 -x1714 -x1717 -x1720 -x1723 -x1726 -x1729 -x1732 -x1735 -x1738 -x1741 -x1744 -x1747 -x1750 -x1753 -x1756 -x1759 x1762 -x1765 -x1768 -x1771 -x1774 -x1777 -x1780 -x1783 -x1786 -x1789 -x1792 -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1864 -x1866 -x1868 -x1870 -x1872 x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 -x1849 -x1851 -x1853 -x1855 -x1857 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x1883 -x1885 -x1887 -x1889 x1891 -x1893 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 -x1909 -x1913 -x1917 -x1921 -x1925 -x1929 -x1933 x1937 -x1941 -x1945 -x1949 -x1953 -x1957 -x1961 -x1965 -x1969 -x1973 -x1977 -x1981 -x1985 -x1989 -x1993 -x1997 -x2001 -x2005 -x2009 -x2013 -x1907 -x1911 -x1915 -x1919 -x1923 -x1927 -x1931 -x1935 -x1939 -x1943 -x1947 -x1951 -x1955 -x1959 x1963 -x1967 -x1971 -x1975 -x1979 -x1983 -x1987 -x1991 -x1995 -x1999 -x2003 -x2007 -x2011 -x2015 -x1906 -x1910 -x1914 -x1918 -x1922 -x1926 -x1930 -x1934 -x1938 -x1942 -x1946 -x1950 -x1954 -x1958 -x1962 -x1966 -x1970 -x1974 -x1978 -x1982 x1986 -x1990 -x1994 -x1998 -x2002 -x2006 -x2010 -x2014 -x2017 -x2021 -x2025 x2029 -x2033 -x2037 -x2041 -x2045 -x2049 -x2053 -x2057 -x2061 -x2065 -x2069 -x2073 -x2077 -x2081 -x2085 -x2089 -x2093 -x2097 -x2101 -x2105 -x2109 -x2113 -x2117 -x2121 -x2125 -x2019 -x2023 -x2027 -x2031 -x2035 -x2039 -x2043 -x2047 -x2051 x2055 -x2059 -x2063 -x2067 -x2071 -x2075 -x2079 -x2083 -x2087 -x2091 -x2095 -x2099 -x2103 -x2107 -x2111 -x2115 -x2119 -x2123 -x2127 -x2018 -x2022 -x2026 -x2030 -x2034 -x2038 -x2042 -x2046 -x2050 -x2054 -x2058 -x2062 -x2066 -x2070 -x2074 -x2078 -x2082 -x2086 -x2090 -x2094 x2098 -x2102 -x2106 -x2110 -x2114 -x2118 -x2122 -x2126 x2129 -x2132 -x2135 -x2138 -x2141 -x2144 -x2147 -x2150 -x2153 -x2156 -x2159 -x2162 -x2165 -x2168 -x2171 -x2174 -x2177 -x2180 -x2183 -x2186 -x2189 -x2192 -x2195 -x2198 -x2201 -x2204 -x2207 -x2210 -x2131 -x2134 -x2137 -x2140 -x2143 x2146 -x2149 -x2152 -x2155 -x2158 -x2161 -x2164 -x2167 -x2170 -x2173 -x2176 -x2179 -x2182 -x2185 -x2188 -x2191 -x2194 -x2197 -x2200 -x2203 -x2206 -x2209 -x2212 -x2130 -x2133 -x2136 -x2139 -x2142 -x2145 -x2148 -x2151 -x2154 -x2157 x2160 -x2163 -x2166 -x2169 -x2172 -x2175 -x2178 -x2181 -x2184 -x2187 -x2190 -x2193 -x2196 -x2199 -x2202 -x2205 -x2208 -x2211 -x2214 -x2217 x2220 -x2223 -x2226 -x2229 -x2232 -x2235 -x2238 -x2241 -x2244 -x2247 -x2250 -x2253 -x2256 -x2259 -x2262 -x2265 -x2268 -x2271 -x2274 -x2277 -x2280 -x2283 -x2286 -x2289 -x2292 -x2295 -x2215 -x2218 -x2221 -x2224 -x2227 -x2230 x2233 -x2236 -x2239 -x2242 -x2245 -x2248 -x2251 -x2254 -x2257 -x2260 -x2263 -x2266 -x2269 -x2272 -x2275 -x2278 -x2281 -x2284 -x2287 -x2290 -x2293 -x2296 -x2213 -x2216 -x2219 -x2222 -x2225 -x2228 -x2231 -x2234 -x2237 -x2240 -x2243 -x2246 -x2249 -x2252 -x2255 x2258 -x2261 -x2264 -x2267 -x2270 -x2273 -x2276 -x2279 -x2282 -x2285 -x2288 -x2291 -x2294 -x2297 -x2301 -x2305 -x2309 -x2313 -x2317 -x2321 -x2325 -x2329 -x2333 -x2337 -x2341 -x2345 -x2349 x2353 -x2357 -x2361 -x2365 -x2369 -x2373 -x2377 -x2381 -x2385 -x2389 -x2393 -x2397 -x2401 -x2405 -x2298 -x2302 -x2306 -x2310 -x2314 -x2318 -x2322 -x2326 -x2330 -x2334 -x2338 -x2342 -x2346 -x2350 -x2354 -x2358 -x2362 -x2366 -x2370 -x2374 x2378 -x2382 -x2386 -x2390 -x2394 -x2398 -x2402 -x2406 -x2299 -x2303 -x2307 -x2311 -x2315 -x2319 -x2323 -x2327 -x2331 -x2335 -x2339 -x2343 -x2347 -x2351 -x2355 -x2359 -x2363 -x2367 -x2371 -x2375 -x2379 -x2383 -x2387 -x2391 -x2395 -x2399 -x2403 x2407 x2409 -x2413 -x2417 -x2421 -x2425 -x2429 -x2433 -x2437 -x2441 -x2445 -x2449 -x2453 -x2457 -x2461 -x2465 -x2469 -x2473 -x2477 -x2481 -x2485 -x2489 -x2493 -x2497 -x2501 -x2505 -x2509 -x2513 -x2517 -x2410 -x2414 -x2418 -x2422 -x2426 x2430 -x2434 -x2438 -x2442 -x2446 -x2450 -x2454 -x2458 -x2462 -x2466 -x2470 -x2474 -x2478 -x2482 -x2486 -x2490 -x2494 -x2498 -x2502 -x2506 -x2510 -x2514 -x2518 -x2411 -x2415 -x2419 -x2423 -x2427 -x2431 -x2435 -x2439 -x2443 -x2447 -x2451 -x2455 -x2459 -x2463 -x2467 -x2471 x2475 -x2479 -x2483 -x2487 -x2491 -x2495 -x2499 -x2503 -x2507 -x2511 -x2515 -x2519 -x2522 -x2525 -x2528 -x2531 -x2534 -x2537 -x2540 -x2543 -x2546 -x2549 -x2552 -x2555 -x2558 -x2561 x2564 -x2567 -x2570 -x2573 -x2576 -x2579 -x2582 -x2585 -x2588 -x2591 -x2594 -x2597 -x2600 -x2603 -x2523 -x2526 -x2529 -x2532 -x2535 -x2538 -x2541 -x2544 -x2547 -x2550 -x2553 -x2556 -x2559 -x2562 -x2565 -x2568 -x2571 -x2574 -x2577 -x2580 -x2583 -x2586 x2589 -x2592 -x2595 -x2598 -x2601 -x2604 -x2521 -x2524 -x2527 -x2530 -x2533 -x2536 -x2539 -x2542 -x2545 -x2548 -x2551 -x2554 -x2557 -x2560 -x2563 -x2566 -x2569 -x2572 -x2575 -x2578 -x2581 -x2584 -x2587 x2590 -x2593 -x2596 -x2599 -x2602 -x2606 -x2611 -x2616 -x2621 -x2626 -x2631 -x2636 -x2641 -x2646 -x2651 x2656 -x2661 -x2666 -x2671 -x2676 -x2681 -x2686 -x2691 -x2696 -x2701 -x2706 -x2711 -x2716 -x2721 -x2726 -x2731 -x2736 -x2741 -x2608 -x2613 -x2618 -x2623 -x2628 -x2633 -x2638 -x2643 -x2648 -x2653 -x2658 -x2663 -x2668 -x2673 -x2678 -x2683 -x2688 -x2693 -x2698 -x2703 -x2708 -x2713 -x2718 -x2723 x2728 -x2733 -x2738 -x2743 -x2605 -x2610 -x2615 -x2620 -x2625 -x2630 -x2635 -x2640 -x2645 -x2650 -x2655 -x2660 -x2665 -x2670 -x2675 -x2680 -x2685 -x2690 -x2695 -x2700 -x2705 -x2710 -x2715 -x2720 -x2725 -x2730 -x2735 x2740 -x2745 -x2748 -x2751 -x2754 -x2757 -x2760 -x2763 -x2766 -x2769 -x2772 -x2775 -x2778 -x2781 -x2784 x2787 -x2790 -x2793 -x2796 -x2799 -x2802 -x2805 -x2808 -x2811 -x2814 -x2817 -x2820 -x2823 -x2826 -x2747 -x2750 -x2753 -x2756 -x2759 -x2762 -x2765 -x2768 -x2771 -x2774 -x2777 -x2780 -x2783 -x2786 -x2789 -x2792 -x2795 -x2798 -x2801 x2804 -x2807 -x2810 -x2813 -x2816 -x2819 -x2822 -x2825 -x2828 -x2746 -x2749 -x2752 -x2755 -x2758 -x2761 -x2764 -x2767 -x2770 -x2773 -x2776 -x2779 -x2782 -x2785 -x2788 -x2791 -x2794 -x2797 -x2800 -x2803 -x2806 -x2809 -x2812 -x2815 -x2818 x2821 -x2824 -x2827 -x2830 -x2833 -x2836 -x2839 -x2842 x2845 -x2848 -x2851 -x2854 -x2857 -x2860 -x2863 -x2866 -x2869 -x2872 -x2875 -x2878 -x2881 -x2884 -x2887 -x2890 -x2893 -x2896 -x2899 -x2902 -x2905 -x2908 -x2911 -x2831 -x2834 -x2837 -x2840 -x2843 -x2846 -x2849 -x2852 -x2855 -x2858 -x2861 -x2864 x2867 -x2870 -x2873 -x2876 -x2879 -x2882 -x2885 -x2888 -x2891 -x2894 -x2897 -x2900 -x2903 -x2906 -x2909 -x2912 -x2829 -x2832 -x2835 -x2838 -x2841 -x2844 -x2847 -x2850 -x2853 -x2856 -x2859 -x2862 -x2865 -x2868 -x2871 -x2874 -x2877 -x2880 -x2883 -x2886 -x2889 -x2892 -x2895 x2898 -x2901 -x2904 -x2907 -x2910 -x2914 -x2917 -x2920 -x2923 -x2926 -x2929 -x2932 x2935 -x2938 -x2941 -x2944 -x2947 -x2950 -x2953 -x2956 -x2959 -x2962 -x2965 -x2968 -x2971 -x2974 -x2977 -x2980 -x2983 -x2986 -x2989 -x2992 -x2995 -x2915 -x2918 -x2921 -x2924 -x2927 -x2930 -x2933 -x2936 -x2939 -x2942 -x2945 -x2948 -x2951 -x2954 x2957 -x2960 -x2963 -x2966 -x2969 -x2972 -x2975 -x2978 -x2981 -x2984 -x2987 -x2990 -x2993 -x2996 -x2913 -x2916 -x2919 -x2922 -x2925 -x2928 -x2931 -x2934 -x2937 -x2940 -x2943 -x2946 -x2949 -x2952 -x2955 -x2958 -x2961 x2964 -x2967 -x2970 -x2973 -x2976 -x2979 -x2982 -x2985 -x2988 -x2991 -x2994 -x2998 x3001 -x3004 -x3007 -x3010 -x3013 -x3016 -x3019 -x3022 -x3025 -x3028 -x3031 -x3034 -x3037 -x3040 -x3043 -x3046 -x3049 -x3052 -x3055 -x3058 -x3061 -x3064 -x3067 -x3070 -x3073 -x3076 -x3079 -x2999 -x3002 -x3005 -x3008 -x3011 x3014 -x3017 -x3020 -x3023 -x3026 -x3029 -x3032 -x3035 -x3038 -x3041 -x3044 -x3047 -x3050 -x3053 -x3056 -x3059 -x3062 -x3065 -x3068 -x3071 -x3074 -x3077 -x3080 -x2997 -x3000 -x3003 -x3006 -x3009 -x3012 -x3015 -x3018 x3021 -x3024 -x3027 -x3030 -x3033 -x3036 -x3039 -x3042 -x3045 -x3048 -x3051 -x3054 -x3057 -x3060 -x3063 -x3066 -x3069 -x3072 -x3075 -x3078 -x3081 -x3085 -x3089 -x3093 -x3097 -x3101 -x3105 -x3109 -x3113 -x3117 -x3121 -x3125 x3129 -x3133 -x3137 -x3141 -x3145 -x3149 -x3153 -x3157 -x3161 -x3165 -x3169 -x3173 -x3177 -x3181 -x3185 -x3189 -x3083 -x3087 -x3091 -x3095 -x3099 -x3103 -x3107 -x3111 -x3115 -x3119 -x3123 -x3127 -x3131 -x3135 -x3139 -x3143 -x3147 -x3151 -x3155 -x3159 x3163 -x3167 -x3171 -x3175 -x3179 -x3183 -x3187 -x3191 -x3082 -x3086 -x3090 -x3094 -x3098 -x3102 -x3106 -x3110 -x3114 -x3118 -x3122 -x3126 -x3130 -x3134 -x3138 -x3142 -x3146 -x3150 -x3154 -x3158 -x3162 -x3166 -x3170 -x3174 -x3178 -x3182 -x3186 x3190 -x3194 -x3197 -x3200 -x3203 -x3206 -x3209 -x3212 -x3215 -x3218 x3221 -x3224 -x3227 -x3230 -x3233 -x3236 -x3239 -x3242 -x3245 -x3248 -x3251 -x3254 -x3257 -x3260 -x3263 -x3266 -x3269 -x3272 -x3275 -x3195 -x3198 -x3201 -x3204 -x3207 -x3210 -x3213 -x3216 -x3219 -x3222 -x3225 -x3228 -x3231 -x3234 -x3237 -x3240 -x3243 -x3246 -x3249 x3252 -x3255 -x3258 -x3261 -x3264 -x3267 -x3270 -x3273 -x3276 -x3193 -x3196 -x3199 -x3202 -x3205 -x3208 -x3211 -x3214 -x3217 -x3220 -x3223 -x3226 -x3229 -x3232 -x3235 -x3238 -x3241 -x3244 -x3247 -x3250 -x3253 -x3256 -x3259 -x3262 x3265 -x3268 -x3271 -x3274 -x3278 -x3281 -x3284 -x3287 -x3290 -x3293 -x3296 -x3299 -x3302 -x3305 -x3308 -x3311 -x3314 -x3317 x3320 -x3323 -x3326 -x3329 -x3332 -x3335 -x3338 -x3341 -x3344 -x3347 -x3350 -x3353 -x3356 -x3359 -x3279 -x3282 -x3285 -x3288 -x3291 -x3294 -x3297 -x3300 -x3303 -x3306 -x3309 -x3312 -x3315 -x3318 -x3321 -x3324 -x3327 -x3330 x3333 -x3336 -x3339 -x3342 -x3345 -x3348 -x3351 -x3354 -x3357 -x3360 -x3277 -x3280 -x3283 -x3286 -x3289 -x3292 -x3295 -x3298 -x3301 -x3304 -x3307 -x3310 -x3313 -x3316 -x3319 -x3322 -x3325 -x3328 -x3331 -x3334 -x3337 -x3340 -x3343 x3346 -x3349 -x3352 -x3355 -x3358 -x3361 -x3364 -x3367 -x3370 -x3373 -x3376 -x3379 -x3382 -x3385 -x3388 -x3391 -x3394 -x3397 x3400 -x3403 -x3406 -x3409 -x3412 -x3415 -x3418 -x3421 -x3424 -x3427 -x3430 -x3433 -x3436 -x3439 -x3442 -x3363 -x3366 -x3369 -x3372 -x3375 -x3378 -x3381 -x3384 -x3387 -x3390 -x3393 -x3396 -x3399 -x3402 -x3405 -x3408 -x3411 -x3414 x3417 -x3420 -x3423 -x3426 -x3429 -x3432 -x3435 -x3438 -x3441 -x3444 -x3362 -x3365 -x3368 -x3371 -x3374 -x3377 -x3380 -x3383 -x3386 -x3389 -x3392 -x3395 -x3398 -x3401 -x3404 -x3407 -x3410 -x3413 -x3416 -x3419 -x3422 x3425 -x3428 -x3431 -x3434 -x3437 -x3440 -x3443 -x3445 -x3449 -x3453 -x3457 -x3461 -x3465 -x3469 -x3473 -x3477 -x3481 -x3485 -x3489 -x3493 x3497 -x3501 -x3505 -x3509 -x3513 -x3517 -x3521 -x3525 -x3529 -x3533 -x3537 -x3541 -x3545 -x3549 -x3553 -x3447 -x3451 -x3455 -x3459 -x3463 -x3467 -x3471 -x3475 -x3479 -x3483 -x3487 -x3491 -x3495 -x3499 -x3503 -x3507 -x3511 -x3515 -x3519 -x3523 x3527 -x3531 -x3535 -x3539 -x3543 -x3547 -x3551 -x3555 -x3446 -x3450 -x3454 -x3458 -x3462 -x3466 -x3470 -x3474 -x3478 -x3482 -x3486 -x3490 -x3494 -x3498 -x3502 -x3506 -x3510 -x3514 -x3518 -x3522 -x3526 -x3530 x3534 -x3538 -x3542 -x3546 -x3550 -x3554 -x3559 -x3562 -x3565 -x3568 -x3571 -x3574 -x3577 x3580 -x3583 -x3586 -x3589 -x3592 -x3595 -x3598 -x3601 -x3604 -x3607 -x3610 -x3613 -x3616 -x3619 -x3622 -x3625 -x3628 -x3631 -x3634 -x3637 -x3640 -x3558 -x3561 -x3564 -x3567 -x3570 -x3573 -x3576 -x3579 -x3582 -x3585 -x3588 x3591 -x3594 -x3597 -x3600 -x3603 -x3606 -x3609 -x3612 -x3615 -x3618 -x3621 -x3624 -x3627 -x3630 -x3633 -x3636 -x3639 -x3557 -x3560 -x3563 -x3566 -x3569 -x3572 -x3575 -x3578 -x3581 -x3584 -x3587 -x3590 -x3593 -x3596 -x3599 -x3602 -x3605 -x3608 -x3611 -x3614 -x3617 -x3620 -x3623 -x3626 -x3629 x3632 -x3635 -x3638 -x3641 -x3645 -x3649 -x3653 -x3657 -x3661 -x3665 x3669 -x3673 -x3677 -x3681 -x3685 -x3689 -x3693 -x3697 -x3701 -x3705 -x3709 -x3713 -x3717 -x3721 -x3725 -x3729 -x3733 -x3737 -x3741 -x3745 -x3749 -x3643 -x3647 -x3651 -x3655 -x3659 -x3663 -x3667 -x3671 -x3675 -x3679 -x3683 -x3687 -x3691 -x3695 x3699 -x3703 -x3707 -x3711 -x3715 -x3719 -x3723 -x3727 -x3731 -x3735 -x3739 -x3743 -x3747 -x3751 -x3642 -x3646 -x3650 -x3654 -x3658 -x3662 -x3666 -x3670 -x3674 -x3678 -x3682 -x3686 -x3690 -x3694 -x3698 -x3702 -x3706 -x3710 -x3714 -x3718 -x3722 -x3726 -x3730 x3734 -x3738 -x3742 -x3746 -x3750 -x3754 -x3757 -x3760 -x3763 -x3766 -x3769 -x3772 x3775 -x3778 -x3781 -x3784 -x3787 -x3790 -x3793 -x3796 -x3799 -x3802 -x3805 -x3808 -x3811 -x3814 -x3817 -x3820 -x3823 -x3826 -x3829 -x3832 -x3835 -x3755 -x3758 -x3761 -x3764 -x3767 -x3770 -x3773 -x3776 -x3779 -x3782 -x3785 -x3788 -x3791 -x3794 x3797 -x3800 -x3803 -x3806 -x3809 -x3812 -x3815 -x3818 -x3821 -x3824 -x3827 -x3830 -x3833 -x3836 -x3753 -x3756 -x3759 -x3762 -x3765 -x3768 -x3771 -x3774 -x3777 -x3780 -x3783 -x3786 -x3789 -x3792 -x3795 -x3798 -x3801 -x3804 -x3807 -x3810 x3813 -x3816 -x3819 -x3822 -x3825 -x3828 -x3831 -x3834 -x3839 -x3843 -x3847 -x3851 -x3855 -x3859 -x3863 -x3867 -x3871 -x3875 -x3879 -x3883 -x3887 -x3891 -x3895 -x3899 x3903 -x3907 -x3911 -x3915 -x3919 -x3923 -x3927 -x3931 -x3935 -x3939 -x3943 -x3947 -x3840 -x3844 -x3848 -x3852 -x3856 -x3860 -x3864 -x3868 -x3872 -x3876 -x3880 -x3884 -x3888 -x3892 -x3896 -x3900 -x3904 -x3908 -x3912 -x3916 -x3920 -x3924 x3928 -x3932 -x3936 -x3940 -x3944 -x3948 -x3837 -x3841 -x3845 -x3849 -x3853 -x3857 -x3861 -x3865 -x3869 -x3873 -x3877 -x3881 -x3885 -x3889 -x3893 -x3897 -x3901 -x3905 -x3909 -x3913 -x3917 -x3921 -x3925 -x3929 -x3933 -x3937 x3941 -x3945 -x3951 -x3954 -x3957 -x3960 -x3963 -x3966 -x3969 -x3972 -x3975 -x3978 -x3981 -x3984 -x3987 -x3990 -x3993 -x3996 -x3999 -x4002 -x4005 x4008 -x4011 -x4014 -x4017 -x4020 -x4023 -x4026 -x4029 -x4032 -x3950 -x3953 -x3956 -x3959 -x3962 -x3965 -x3968 -x3971 -x3974 -x3977 -x3980 -x3983 -x3986 -x3989 -x3992 -x3995 -x3998 -x4001 -x4004 -x4007 -x4010 -x4013 -x4016 -x4019 -x4022 x4025 -x4028 -x4031 -x3949 -x3952 -x3955 -x3958 -x3961 -x3964 -x3967 -x3970 -x3973 -x3976 -x3979 -x3982 -x3985 -x3988 -x3991 -x3994 -x3997 -x4000 -x4003 -x4006 -x4009 -x4012 -x4015 -x4018 -x4021 -x4024 -x4027 x4030 -x4034 -x4039 x4044 -x4049 -x4054 -x4059 -x4064 -x4069 -x4074 -x4079 -x4084 -x4089 -x4094 -x4099 -x4104 -x4109 -x4114 -x4119 -x4124 -x4129 -x4134 -x4139 -x4144 -x4149 -x4154 -x4159 -x4164 -x4169 -x4036 -x4041 -x4046 -x4051 -x4056 -x4061 -x4066 -x4071 -x4076 -x4081 x4086 -x4091 -x4096 -x4101 -x4106 -x4111 -x4116 -x4121 -x4126 -x4131 -x4136 -x4141 -x4146 -x4151 -x4156 -x4161 -x4166 -x4171 -x4033 -x4038 -x4043 -x4048 -x4053 -x4058 -x4063 -x4068 -x4073 -x4078 -x4083 -x4088 -x4093 -x4098 -x4103 -x4108 -x4113 x4118 -x4123 -x4128 -x4133 -x4138 -x4143 -x4148 -x4153 -x4158 -x4163 -x4168 -x4173 -x4177 -x4181 -x4185 -x4189 -x4193 -x4197 -x4201 -x4205 -x4209 -x4213 -x4217 -x4221 x4225 -x4229 -x4233 -x4237 -x4241 -x4245 -x4249 -x4253 -x4257 -x4261 -x4265 -x4269 -x4273 -x4277 -x4281 -x4174 -x4178 -x4182 -x4186 -x4190 -x4194 -x4198 -x4202 -x4206 -x4210 -x4214 -x4218 -x4222 -x4226 -x4230 -x4234 -x4238 -x4242 x4246 -x4250 -x4254 -x4258 -x4262 -x4266 -x4270 -x4274 -x4278 -x4282 -x4175 -x4179 -x4183 -x4187 -x4191 -x4195 -x4199 -x4203 -x4207 -x4211 -x4215 -x4219 -x4223 -x4227 -x4231 -x4235 -x4239 -x4243 -x4247 -x4251 -x4255 -x4259 -x4263 -x4267 -x4271 -x4275 -x4279 x4283 -x4286 -x4289 -x4292 -x4295 -x4298 -x4301 x4304 -x4307 -x4310 -x4313 -x4316 -x4319 -x4322 -x4325 -x4328 -x4331 -x4334 -x4337 -x4340 -x4343 -x4346 -x4349 -x4352 -x4355 -x4358 -x4361 -x4364 -x4367 -x4287 -x4290 -x4293 -x4296 -x4299 -x4302 -x4305 -x4308 -x4311 -x4314 x4317 -x4320 -x4323 -x4326 -x4329 -x4332 -x4335 -x4338 -x4341 -x4344 -x4347 -x4350 -x4353 -x4356 -x4359 -x4362 -x4365 -x4368 -x4285 -x4288 -x4291 -x4294 -x4297 -x4300 -x4303 -x4306 -x4309 -x4312 -x4315 -x4318 -x4321 -x4324 x4327 -x4330 -x4333 -x4336 -x4339 -x4342 -x4345 -x4348 -x4351 -x4354 -x4357 -x4360 -x4363 -x4366 -x4369 -x4372 -x4375 -x4378 -x4381 -x4384 x4387 -x4390 -x4393 -x4396 -x4399 -x4402 -x4405 -x4408 -x4411 -x4414 -x4417 -x4420 -x4423 -x4426 -x4429 -x4432 -x4435 -x4438 -x4441 -x4444 -x4447 -x4450 -x4370 -x4373 -x4376 -x4379 -x4382 -x4385 -x4388 -x4391 -x4394 -x4397 x4400 -x4403 -x4406 -x4409 -x4412 -x4415 -x4418 -x4421 -x4424 -x4427 -x4430 -x4433 -x4436 -x4439 -x4442 -x4445 -x4448 -x4451 -x4371 -x4374 -x4377 -x4380 -x4383 -x4386 -x4389 -x4392 -x4395 -x4398 -x4401 -x4404 -x4407 -x4410 x4413 -x4416 -x4419 -x4422 -x4425 -x4428 -x4431 -x4434 -x4437 -x4440 -x4443 -x4446 -x4449 -x4452 -x4454 -x4459 -x4464 -x4469 -x4474 -x4479 -x4484 -x4489 -x4494 x4499 -x4504 -x4509 -x4514 -x4519 -x4524 -x4529 -x4534 -x4539 -x4544 -x4549 -x4554 -x4559 -x4564 -x4569 -x4574 -x4579 -x4584 -x4589 -x4456 -x4461 -x4466 -x4471 -x4476 -x4481 -x4486 -x4491 -x4496 -x4501 -x4506 -x4511 -x4516 -x4521 -x4526 -x4531 -x4536 -x4541 -x4546 x4551 -x4556 -x4561 -x4566 -x4571 -x4576 -x4581 -x4586 -x4591 -x4453 -x4458 -x4463 -x4468 -x4473 -x4478 -x4483 -x4488 -x4493 -x4498 -x4503 -x4508 -x4513 -x4518 -x4523 -x4528 -x4533 -x4538 -x4543 -x4548 -x4553 -x4558 x4563 -x4568 -x4573 -x4578 -x4583 -x4588 -x4595 -x4598 -x4601 -x4604 -x4607 -x4610 -x4613 -x4616 -x4619 -x4622 -x4625 -x4628 -x4631 -x4634 x4637 -x4640 -x4643 -x4646 -x4649 -x4652 -x4655 -x4658 -x4661 -x4664 -x4667 -x4670 -x4673 -x4676 -x4594 -x4597 -x4600 -x4603 -x4606 -x4609 -x4612 -x4615 -x4618 -x4621 -x4624 -x4627 -x4630 -x4633 -x4636 -x4639 -x4642 x4645 -x4648 -x4651 -x4654 -x4657 -x4660 -x4663 -x4666 -x4669 -x4672 -x4675 -x4593 -x4596 -x4599 -x4602 -x4605 -x4608 -x4611 -x4614 -x4617 -x4620 -x4623 -x4626 -x4629 -x4632 -x4635 -x4638 -x4641 -x4644 -x4647 -x4650 -x4653 -x4656 -x4659 -x4662 -x4665 x4668 -x4671 -x4674 -x4679 -x4683 x4687 -x4691 -x4695 -x4699 -x4703 -x4707 -x4711 -x4715 -x4719 -x4723 -x4727 -x4731 -x4735 -x4739 -x4743 -x4747 -x4751 -x4755 -x4759 -x4763 -x4767 -x4771 -x4775 -x4779 -x4783 -x4787 -x4680 -x4684 -x4688 -x4692 -x4696 -x4700 -x4704 -x4708 -x4712 -x4716 -x4720 x4724 -x4728 -x4732 -x4736 -x4740 -x4744 -x4748 -x4752 -x4756 -x4760 -x4764 -x4768 -x4772 -x4776 -x4780 -x4784 -x4788 -x4677 -x4681 -x4685 -x4689 -x4693 -x4697 -x4701 -x4705 -x4709 -x4713 -x4717 -x4721 -x4725 -x4729 -x4733 -x4737 -x4741 -x4745 x4749 -x4753 -x4757 -x4761 -x4765 -x4769 -x4773 -x4777 -x4781 -x4785 -x4791 -x4795 -x4799 -x4803 -x4807 -x4811 -x4815 -x4819 -x4823 -x4827 x4831 -x4835 -x4839 -x4843 -x4847 -x4851 -x4855 -x4859 -x4863 -x4867 -x4871 -x4875 -x4879 -x4883 -x4887 -x4891 -x4895 -x4899 -x4792 -x4796 -x4800 -x4804 -x4808 -x4812 -x4816 -x4820 -x4824 -x4828 -x4832 -x4836 -x4840 -x4844 -x4848 x4852 -x4856 -x4860 -x4864 -x4868 -x4872 -x4876 -x4880 -x4884 -x4888 -x4892 -x4896 -x4900 -x4789 -x4793 -x4797 -x4801 -x4805 -x4809 -x4813 -x4817 -x4821 -x4825 -x4829 -x4833 -x4837 -x4841 -x4845 -x4849 -x4853 -x4857 x4861 -x4865 -x4869 -x4873 -x4877 -x4881 -x4885 -x4889 -x4893 -x4897 -x4903 -x4906 -x4909 -x4912 -x4915 -x4918 -x4921 -x4924 -x4927 -x4930 -x4933 -x4936 -x4939 -x4942 -x4945 -x4948 -x4951 x4954 -x4957 -x4960 -x4963 -x4966 -x4969 -x4972 -x4975 -x4978 -x4981 -x4984 -x4902 -x4905 -x4908 -x4911 -x4914 -x4917 -x4920 -x4923 -x4926 -x4929 -x4932 -x4935 -x4938 -x4941 -x4944 -x4947 -x4950 -x4953 -x4956 -x4959 x4962 -x4965 -x4968 -x4971 -x4974 -x4977 -x4980 -x4983 -x4901 -x4904 -x4907 -x4910 -x4913 -x4916 -x4919 -x4922 -x4925 -x4928 -x4931 -x4934 -x4937 -x4940 -x4943 -x4946 -x4949 -x4952 -x4955 -x4958 -x4961 -x4964 x4967 -x4970 -x4973 -x4976 -x4979 -x4982 -x4985 -x4989 -x4993 -x4997 -x5001 -x5005 -x5009 -x5013 x5017 -x5021 -x5025 -x5029 -x5033 -x5037 -x5041 -x5045 -x5049 -x5053 -x5057 -x5061 -x5065 -x5069 -x5073 -x5077 -x5081 -x5085 -x5089 -x5093 -x4987 -x4991 -x4995 -x4999 -x5003 -x5007 -x5011 -x5015 -x5019 -x5023 -x5027 -x5031 -x5035 -x5039 -x5043 -x5047 -x5051 -x5055 -x5059 -x5063 x5067 -x5071 -x5075 -x5079 -x5083 -x5087 -x5091 -x5095 -x4986 -x4990 -x4994 -x4998 -x5002 -x5006 -x5010 -x5014 -x5018 -x5022 -x5026 -x5030 -x5034 -x5038 -x5042 -x5046 -x5050 -x5054 -x5058 -x5062 -x5066 -x5070 -x5074 -x5078 -x5082 x5086 -x5090 -x5094 -x5097 -x5101 -x5105 -x5109 -x5113 -x5117 -x5121 -x5125 -x5129 x5133 -x5137 -x5141 -x5145 -x5149 -x5153 -x5157 -x5161 -x5165 -x5169 -x5173 -x5177 -x5181 -x5185 -x5189 -x5193 -x5197 -x5201 -x5205 -x5099 -x5103 -x5107 -x5111 -x5115 -x5119 -x5123 -x5127 -x5131 -x5135 -x5139 -x5143 -x5147 -x5151 -x5155 -x5159 -x5163 -x5167 -x5171 x5175 -x5179 -x5183 -x5187 -x5191 -x5195 -x5199 -x5203 -x5207 -x5098 -x5102 -x5106 -x5110 -x5114 -x5118 -x5122 -x5126 -x5130 -x5134 -x5138 -x5142 -x5146 -x5150 -x5154 -x5158 -x5162 -x5166 -x5170 -x5174 -x5178 -x5182 -x5186 -x5190 -x5194 x5198 -x5202 -x5206 -x5209 -x5213 -x5217 -x5221 -x5225 -x5229 x5233 -x5237 -x5241 -x5245 -x5249 -x5253 -x5257 -x5261 -x5265 -x5269 -x5273 -x5277 -x5281 -x5285 -x5289 -x5293 -x5297 -x5301 -x5305 -x5309 -x5313 -x5317 -x5210 -x5214 -x5218 -x5222 -x5226 -x5230 -x5234 -x5238 -x5242 -x5246 -x5250 -x5254 -x5258 -x5262 -x5266 -x5270 x5274 -x5278 -x5282 -x5286 -x5290 -x5294 -x5298 -x5302 -x5306 -x5310 -x5314 -x5318 -x5211 -x5215 -x5219 -x5223 -x5227 -x5231 -x5235 -x5239 -x5243 -x5247 -x5251 -x5255 -x5259 -x5263 -x5267 -x5271 -x5275 -x5279 -x5283 -x5287 x5291 -x5295 -x5299 -x5303 -x5307 -x5311 -x5315 -x5319 -x5321 -x5325 -x5329 -x5333 -x5337 -x5341 -x5345 -x5349 -x5353 -x5357 -x5361 -x5365 -x5369 x5373 -x5377 -x5381 -x5385 -x5389 -x5393 -x5397 -x5401 -x5405 -x5409 -x5413 -x5417 -x5421 -x5425 -x5429 -x5322 -x5326 -x5330 -x5334 -x5338 -x5342 -x5346 -x5350 -x5354 -x5358 -x5362 -x5366 -x5370 -x5374 -x5378 -x5382 -x5386 -x5390 -x5394 -x5398 -x5402 -x5406 x5410 -x5414 -x5418 -x5422 -x5426 -x5430 -x5323 -x5327 -x5331 -x5335 -x5339 -x5343 -x5347 -x5351 -x5355 -x5359 -x5363 -x5367 -x5371 -x5375 -x5379 -x5383 -x5387 -x5391 -x5395 -x5399 -x5403 -x5407 -x5411 -x5415 x5419 -x5423 -x5427 -x5431 -x5434 -x5437 -x5440 -x5443 -x5446 -x5449 -x5452 -x5455 -x5458 -x5461 -x5464 -x5467 -x5470 -x5473 -x5476 -x5479 -x5482 x5485 -x5488 -x5491 -x5494 -x5497 -x5500 -x5503 -x5506 -x5509 -x5512 -x5515 -x5435 -x5438 -x5441 -x5444 -x5447 -x5450 -x5453 -x5456 -x5459 -x5462 -x5465 -x5468 -x5471 -x5474 -x5477 -x5480 -x5483 -x5486 -x5489 -x5492 -x5495 x5498 -x5501 -x5504 -x5507 -x5510 -x5513 -x5516 -x5433 -x5436 -x5439 -x5442 -x5445 -x5448 -x5451 -x5454 -x5457 -x5460 -x5463 -x5466 -x5469 -x5472 -x5475 -x5478 -x5481 -x5484 -x5487 -x5490 -x5493 -x5496 -x5499 -x5502 -x5505 -x5508 x5511 -x5514 -x5517 -x5520 -x5523 -x5526 -x5529 -x5532 x5535 -x5538 -x5541 -x5544 -x5547 -x5550 -x5553 -x5556 -x5559 -x5562 -x5565 -x5568 -x5571 -x5574 -x5577 -x5580 -x5583 -x5586 -x5589 -x5592 -x5595 -x5598 -x5518 -x5521 -x5524 -x5527 -x5530 -x5533 -x5536 -x5539 -x5542 -x5545 -x5548 x5551 -x5554 -x5557 -x5560 -x5563 -x5566 -x5569 -x5572 -x5575 -x5578 -x5581 -x5584 -x5587 -x5590 -x5593 -x5596 -x5599 -x5519 -x5522 -x5525 -x5528 -x5531 -x5534 -x5537 -x5540 -x5543 -x5546 -x5549 -x5552 -x5555 -x5558 -x5561 x5564 -x5567 -x5570 -x5573 -x5576 -x5579 -x5582 -x5585 -x5588 -x5591 -x5594 -x5597 -x5600 -x5601 -x5605 -x5609 -x5613 -x5617 -x5621 -x5625 -x5629 -x5633 -x5637 -x5641 -x5645 -x5649 -x5653 x5657 -x5661 -x5665 -x5669 -x5673 -x5677 -x5681 -x5685 -x5689 -x5693 -x5697 -x5701 -x5705 -x5709 -x5602 -x5606 -x5610 -x5614 -x5618 -x5622 -x5626 -x5630 -x5634 -x5638 -x5642 -x5646 -x5650 -x5654 -x5658 -x5662 -x5666 -x5670 -x5674 -x5678 -x5682 -x5686 -x5690 x5694 -x5698 -x5702 -x5706 -x5710 -x5603 -x5607 -x5611 -x5615 -x5619 -x5623 -x5627 -x5631 -x5635 -x5639 -x5643 -x5647 -x5651 -x5655 -x5659 -x5663 -x5667 -x5671 -x5675 -x5679 -x5683 -x5687 -x5691 -x5695 -x5699 -x5703 x5707 -x5711 -x5713 -x5716 -x5719 -x5722 -x5725 -x5728 -x5731 -x5734 -x5737 -x5740 -x5743 -x5746 -x5749 -x5752 x5755 -x5758 -x5761 -x5764 -x5767 -x5770 -x5773 -x5776 -x5779 -x5782 -x5785 -x5788 -x5791 -x5794 -x5714 -x5717 -x5720 -x5723 -x5726 -x5729 -x5732 -x5735 -x5738 -x5741 -x5744 -x5747 -x5750 -x5753 -x5756 -x5759 -x5762 -x5765 -x5768 -x5771 -x5774 x5777 -x5780 -x5783 -x5786 -x5789 -x5792 -x5795 -x5715 -x5718 -x5721 -x5724 -x5727 -x5730 -x5733 -x5736 -x5739 -x5742 -x5745 -x5748 -x5751 -x5754 -x5757 -x5760 -x5763 -x5766 -x5769 -x5772 -x5775 -x5778 -x5781 -x5784 -x5787 -x5790 -x5793 x5796 -x5798 -x5802 -x5806 -x5810 -x5814 -x5818 -x5822 x5826 -x5830 -x5834 -x5838 -x5842 -x5846 -x5850 -x5854 -x5858 -x5862 -x5866 -x5870 -x5874 -x5878 -x5882 -x5886 -x5890 -x5894 -x5898 -x5902 -x5906 -x5800 -x5804 -x5808 -x5812 -x5816 -x5820 -x5824 -x5828 -x5832 -x5836 -x5840 -x5844 -x5848 x5852 -x5856 -x5860 -x5864 -x5868 -x5872 -x5876 -x5880 -x5884 -x5888 -x5892 -x5896 -x5900 -x5904 -x5908 -x5797 -x5801 -x5805 -x5809 -x5813 -x5817 -x5821 -x5825 -x5829 -x5833 -x5837 -x5841 -x5845 -x5849 -x5853 -x5857 -x5861 -x5865 -x5869 -x5873 -x5877 -x5881 -x5885 x5889 -x5893 -x5897 -x5901 -x5905 -x5909 -x5913 -x5917 -x5921 -x5925 -x5929 x5933 -x5937 -x5941 -x5945 -x5949 -x5953 -x5957 -x5961 -x5965 -x5969 -x5973 -x5977 -x5981 -x5985 -x5989 -x5993 -x5997 -x6001 -x6005 -x6009 -x6013 -x6017 -x5910 -x5914 -x5918 -x5922 -x5926 -x5930 -x5934 -x5938 -x5942 -x5946 -x5950 -x5954 x5958 -x5962 -x5966 -x5970 -x5974 -x5978 -x5982 -x5986 -x5990 -x5994 -x5998 -x6002 -x6006 -x6010 -x6014 -x6018 -x5911 -x5915 -x5919 -x5923 -x5927 -x5931 -x5935 -x5939 -x5943 -x5947 -x5951 -x5955 -x5959 -x5963 -x5967 -x5971 -x5975 -x5979 -x5983 x5987 -x5991 -x5995 -x5999 -x6003 -x6007 -x6011 -x6015 -x6019 -x6021 -x6025 -x6029 -x6033 -x6037 -x6041 -x6045 -x6049 -x6053 -x6057 -x6061 -x6065 -x6069 x6073 -x6077 -x6081 -x6085 -x6089 -x6093 -x6097 -x6101 -x6105 -x6109 -x6113 -x6117 -x6121 -x6125 -x6129 -x6022 -x6026 -x6030 -x6034 -x6038 -x6042 -x6046 -x6050 -x6054 -x6058 -x6062 -x6066 -x6070 -x6074 -x6078 -x6082 -x6086 -x6090 -x6094 -x6098 -x6102 -x6106 -x6110 -x6114 x6118 -x6122 -x6126 -x6130 -x6023 -x6027 -x6031 -x6035 -x6039 -x6043 -x6047 -x6051 -x6055 -x6059 -x6063 -x6067 -x6071 -x6075 -x6079 -x6083 -x6087 -x6091 -x6095 -x6099 -x6103 -x6107 -x6111 -x6115 -x6119 -x6123 x6127 -x6131 -x6135 -x6138 -x6141 -x6144 -x6147 -x6150 -x6153 -x6156 -x6159 -x6162 -x6165 -x6168 -x6171 -x6174 -x6177 -x6180 x6183 -x6186 -x6189 -x6192 -x6195 -x6198 -x6201 -x6204 -x6207 -x6210 -x6213 -x6216 -x6134 -x6137 -x6140 -x6143 -x6146 -x6149 -x6152 -x6155 -x6158 -x6161 -x6164 -x6167 -x6170 -x6173 -x6176 -x6179 -x6182 -x6185 -x6188 -x6191 x6194 -x6197 -x6200 -x6203 -x6206 -x6209 -x6212 -x6215 -x6133 -x6136 -x6139 -x6142 -x6145 -x6148 -x6151 -x6154 -x6157 -x6160 -x6163 -x6166 -x6169 -x6172 -x6175 -x6178 -x6181 -x6184 -x6187 -x6190 -x6193 -x6196 -x6199 -x6202 x6205 -x6208 -x6211 -x6214 -x6218 -x6221 -x6224 -x6227 -x6230 -x6233 -x6236 -x6239 -x6242 -x6245 -x6248 -x6251 -x6254 -x6257 -x6260 -x6263 -x6266 -x6269 -x6272 -x6275 x6278 -x6281 -x6284 -x6287 -x6290 -x6293 -x6296 -x6299 -x6219 -x6222 -x6225 -x6228 -x6231 -x6234 -x6237 -x6240 -x6243 -x6246 -x6249 -x6252 -x6255 -x6258 -x6261 -x6264 -x6267 -x6270 -x6273 -x6276 -x6279 -x6282 -x6285 -x6288 -x6291 -x6294 x6297 -x6300 -x6217 -x6220 -x6223 -x6226 -x6229 -x6232 -x6235 -x6238 -x6241 -x6244 -x6247 -x6250 -x6253 -x6256 -x6259 -x6262 -x6265 -x6268 -x6271 -x6274 -x6277 -x6280 -x6283 -x6286 -x6289 -x6292 -x6295 x6298 -x6302 -x6305 x6308 -x6311 -x6314 -x6317 -x6320 -x6323 -x6326 -x6329 -x6332 -x6335 -x6338 -x6341 -x6344 -x6347 -x6350 -x6353 -x6356 -x6359 -x6362 -x6365 -x6368 -x6371 -x6374 -x6377 -x6380 -x6383 -x6303 -x6306 -x6309 -x6312 x6315 -x6318 -x6321 -x6324 -x6327 -x6330 -x6333 -x6336 -x6339 -x6342 -x6345 -x6348 -x6351 -x6354 -x6357 -x6360 -x6363 -x6366 -x6369 -x6372 -x6375 -x6378 -x6381 -x6384 -x6301 -x6304 -x6307 -x6310 -x6313 -x6316 -x6319 -x6322 -x6325 x6328 -x6331 -x6334 -x6337 -x6340 -x6343 -x6346 -x6349 -x6352 -x6355 -x6358 -x6361 -x6364 -x6367 -x6370 -x6373 -x6376 -x6379 -x6382 -x6385 -x6388 -x6391 -x6394 -x6397 -x6400 -x6403 -x6406 -x6409 -x6412 -x6415 -x6418 -x6421 -x6424 -x6427 -x6430 -x6433 -x6436 -x6439 -x6442 -x6445 -x6448 x6451 -x6454 -x6457 -x6460 -x6463 -x6466 -x6387 -x6390 -x6393 -x6396 -x6399 -x6402 -x6405 -x6408 -x6411 -x6414 -x6417 -x6420 -x6423 -x6426 -x6429 -x6432 -x6435 -x6438 -x6441 -x6444 -x6447 -x6450 -x6453 -x6456 -x6459 x6462 -x6465 -x6468 -x6386 -x6389 -x6392 -x6395 -x6398 -x6401 -x6404 -x6407 -x6410 -x6413 -x6416 -x6419 -x6422 -x6425 -x6428 -x6431 -x6434 -x6437 -x6440 -x6443 -x6446 -x6449 -x6452 -x6455 -x6458 -x6461 -x6464 x6467 -x6469 -x6472 -x6475 -x6478 -x6481 -x6484 -x6487 -x6490 -x6493 -x6496 -x6499 -x6502 -x6505 x6508 -x6511 -x6514 -x6517 -x6520 -x6523 -x6526 -x6529 -x6532 -x6535 -x6538 -x6541 -x6544 -x6547 -x6550 -x6470 -x6473 -x6476 -x6479 -x6482 -x6485 -x6488 -x6491 -x6494 -x6497 -x6500 -x6503 -x6506 -x6509 -x6512 -x6515 -x6518 -x6521 -x6524 -x6527 -x6530 -x6533 -x6536 -x6539 x6542 -x6545 -x6548 -x6551 -x6471 -x6474 -x6477 -x6480 -x6483 -x6486 -x6489 -x6492 -x6495 -x6498 -x6501 -x6504 -x6507 -x6510 -x6513 -x6516 -x6519 -x6522 -x6525 -x6528 -x6531 -x6534 -x6537 -x6540 -x6543 -x6546 -x6549 x6552 -x6554 -x6557 -x6560 -x6563 -x6566 -x6569 -x6572 -x6575 -x6578 -x6581 -x6584 -x6587 -x6590 -x6593 -x6596 -x6599 -x6602 -x6605 -x6608 x6611 -x6614 -x6617 -x6620 -x6623 -x6626 -x6629 -x6632 -x6635 -x6555 -x6558 -x6561 -x6564 -x6567 -x6570 -x6573 -x6576 -x6579 -x6582 -x6585 -x6588 -x6591 -x6594 -x6597 -x6600 -x6603 -x6606 -x6609 -x6612 -x6615 -x6618 -x6621 -x6624 x6627 -x6630 -x6633 -x6636 -x6553 -x6556 -x6559 -x6562 -x6565 -x6568 -x6571 -x6574 -x6577 -x6580 -x6583 -x6586 -x6589 -x6592 -x6595 -x6598 -x6601 -x6604 -x6607 -x6610 -x6613 -x6616 -x6619 -x6622 -x6625 -x6628 x6631 -x6634 -x6638 -x6641 -x6644 -x6647 -x6650 x6653 -x6656 -x6659 -x6662 -x6665 -x6668 -x6671 -x6674 -x6677 -x6680 -x6683 -x6686 -x6689 -x6692 -x6695 -x6698 -x6701 -x6704 -x6707 -x6710 -x6713 -x6716 -x6719 -x6639 -x6642 -x6645 -x6648 -x6651 -x6654 x6657 -x6660 -x6663 -x6666 -x6669 -x6672 -x6675 -x6678 -x6681 -x6684 -x6687 -x6690 -x6693 -x6696 -x6699 -x6702 -x6705 -x6708 -x6711 -x6714 -x6717 -x6720 -x6637 -x6640 -x6643 -x6646 -x6649 -x6652 -x6655 -x6658 -x6661 -x6664 -x6667 -x6670 -x6673 -x6676 x6679 -x6682 -x6685 -x6688 -x6691 -x6694 -x6697 -x6700 -x6703 -x6706 -x6709 -x6712 -x6715 -x6718 -x6722 -x6725 -x6728 -x6731 -x6734 -x6737 -x6740 -x6743 -x6746 -x6749 -x6752 -x6755 -x6758 -x6761 x6764 -x6767 -x6770 -x6773 -x6776 -x6779 -x6782 -x6785 -x6788 -x6791 -x6794 -x6797 -x6800 -x6803 -x6723 -x6726 -x6729 -x6732 -x6735 -x6738 -x6741 -x6744 -x6747 -x6750 -x6753 -x6756 -x6759 -x6762 -x6765 -x6768 -x6771 x6774 -x6777 -x6780 -x6783 -x6786 -x6789 -x6792 -x6795 -x6798 -x6801 -x6804 -x6721 -x6724 -x6727 -x6730 -x6733 -x6736 -x6739 -x6742 -x6745 -x6748 -x6751 -x6754 -x6757 -x6760 -x6763 -x6766 -x6769 -x6772 -x6775 -x6778 -x6781 -x6784 x6787 -x6790 -x6793 -x6796 -x6799 -x6802 -x6806 -x6809 -x6812 -x6815 -x6818 -x6821 -x6824 -x6827 -x6830 -x6833 -x6836 -x6839 -x6842 -x6845 -x6848 -x6851 x6854 -x6857 -x6860 -x6863 -x6866 -x6869 -x6872 -x6875 -x6878 -x6881 -x6884 -x6887 -x6807 -x6810 -x6813 -x6816 -x6819 -x6822 -x6825 -x6828 -x6831 -x6834 -x6837 -x6840 -x6843 -x6846 -x6849 -x6852 -x6855 -x6858 x6861 -x6864 -x6867 -x6870 -x6873 -x6876 -x6879 -x6882 -x6885 -x6888 -x6805 -x6808 -x6811 -x6814 -x6817 -x6820 -x6823 -x6826 -x6829 -x6832 -x6835 -x6838 -x6841 -x6844 -x6847 -x6850 -x6853 -x6856 -x6859 -x6862 -x6865 -x6868 -x6871 -x6874 x6877 -x6880 -x6883 -x6886 -x6890 -x6893 -x6896 -x6899 -x6902 -x6905 -x6908 -x6911 -x6914 x6917 -x6920 -x6923 -x6926 -x6929 -x6932 -x6935 -x6938 -x6941 -x6944 -x6947 -x6950 -x6953 -x6956 -x6959 -x6962 -x6965 -x6968 -x6971 -x6891 -x6894 -x6897 -x6900 -x6903 -x6906 -x6909 -x6912 -x6915 -x6918 -x6921 -x6924 -x6927 -x6930 -x6933 x6936 -x6939 -x6942 -x6945 -x6948 -x6951 -x6954 -x6957 -x6960 -x6963 -x6966 -x6969 -x6972 -x6889 -x6892 -x6895 -x6898 -x6901 -x6904 -x6907 -x6910 -x6913 -x6916 -x6919 -x6922 -x6925 -x6928 -x6931 -x6934 -x6937 -x6940 -x6943 -x6946 -x6949 -x6952 -x6955 -x6958 x6961 -x6964 -x6967 -x6970 -x6973 -x6976 -x6979 -x6982 -x6985 -x6988 -x6991 -x6994 -x6997 -x7000 -x7003 -x7006 -x7009 -x7012 -x7015 -x7018 -x7021 -x7024 -x7027 -x7030 x7033 -x7036 -x7039 -x7042 -x7045 -x7048 -x7051 -x7054 -x6975 -x6978 -x6981 -x6984 -x6987 -x6990 -x6993 -x6996 -x6999 -x7002 -x7005 -x7008 -x7011 -x7014 -x7017 -x7020 -x7023 -x7026 -x7029 -x7032 -x7035 -x7038 x7041 -x7044 -x7047 -x7050 -x7053 -x7056 -x6974 -x6977 -x6980 -x6983 -x6986 -x6989 -x6992 -x6995 -x6998 -x7001 -x7004 -x7007 -x7010 -x7013 -x7016 -x7019 -x7022 -x7025 -x7028 -x7031 -x7034 -x7037 -x7040 x7043 -x7046 -x7049 -x7052 -x7055 -x7057 -x7060 -x7063 -x7066 -x7069 -x7072 -x7075 -x7078 -x7081 -x7084 -x7087 -x7090 x7093 -x7096 -x7099 -x7102 -x7105 -x7108 -x7111 -x7114 -x7117 -x7120 -x7123 -x7126 -x7129 -x7132 -x7135 -x7138 -x7059 -x7062 -x7065 -x7068 -x7071 -x7074 -x7077 -x7080 -x7083 -x7086 -x7089 -x7092 -x7095 -x7098 -x7101 -x7104 -x7107 -x7110 -x7113 -x7116 -x7119 x7122 -x7125 -x7128 -x7131 -x7134 -x7137 -x7140 -x7058 -x7061 -x7064 -x7067 -x7070 -x7073 -x7076 -x7079 -x7082 -x7085 -x7088 -x7091 -x7094 -x7097 -x7100 -x7103 -x7106 -x7109 -x7112 -x7115 -x7118 -x7121 -x7124 x7127 -x7130 -x7133 -x7136 -x7139 -x7141 -x7144 -x7147 -x7150 -x7153 -x7156 -x7159 -x7162 x7165 -x7168 -x7171 -x7174 -x7177 -x7180 -x7183 -x7186 -x7189 -x7192 -x7195 -x7198 -x7201 -x7204 -x7207 -x7210 -x7213 -x7216 -x7219 -x7222 -x7143 -x7146 -x7149 -x7152 -x7155 -x7158 -x7161 -x7164 -x7167 -x7170 -x7173 x7176 -x7179 -x7182 -x7185 -x7188 -x7191 -x7194 -x7197 -x7200 -x7203 -x7206 -x7209 -x7212 -x7215 -x7218 -x7221 -x7224 -x7142 -x7145 -x7148 -x7151 -x7154 -x7157 -x7160 -x7163 -x7166 -x7169 -x7172 -x7175 x7178 -x7181 -x7184 -x7187 -x7190 -x7193 -x7196 -x7199 -x7202 -x7205 -x7208 -x7211 -x7214 -x7217 -x7220 -x7223 x7225 -x7228 -x7231 -x7234 -x7237 -x7240 -x7243 -x7246 -x7249 -x7252 -x7255 -x7258 -x7261 -x7264 -x7267 -x7270 -x7273 -x7276 -x7279 -x7282 -x7285 -x7288 -x7291 -x7294 -x7297 -x7300 -x7303 -x7306 -x7227 -x7230 -x7233 -x7236 -x7239 -x7242 -x7245 x7248 -x7251 -x7254 -x7257 -x7260 -x7263 -x7266 -x7269 -x7272 -x7275 -x7278 -x7281 -x7284 -x7287 -x7290 -x7293 -x7296 -x7299 -x7302 -x7305 -x7308 -x7226 -x7229 -x7232 -x7235 -x7238 -x7241 -x7244 -x7247 -x7250 -x7253 -x7256 -x7259 -x7262 -x7265 -x7268 -x7271 -x7274 -x7277 -x7280 -x7283 -x7286 -x7289 -x7292 -x7295 -x7298 x7301 -x7304 -x7307 -x7310 -x7313 -x7316 -x7319 -x7322 -x7325 -x7328 -x7331 x7334 -x7337 -x7340 -x7343 -x7346 -x7349 -x7352 -x7355 -x7358 -x7361 -x7364 -x7367 -x7370 -x7373 -x7376 -x7379 -x7382 -x7385 -x7388 -x7391 -x7311 -x7314 -x7317 -x7320 -x7323 -x7326 -x7329 -x7332 -x7335 -x7338 -x7341 x7344 -x7347 -x7350 -x7353 -x7356 -x7359 -x7362 -x7365 -x7368 -x7371 -x7374 -x7377 -x7380 -x7383 -x7386 -x7389 -x7392 -x7309 -x7312 -x7315 -x7318 -x7321 -x7324 -x7327 -x7330 -x7333 -x7336 -x7339 -x7342 -x7345 -x7348 -x7351 -x7354 -x7357 -x7360 -x7363 -x7366 -x7369 -x7372 -x7375 -x7378 -x7381 -x7384 -x7387 x7390 -x7395 -x7398 -x7401 -x7404 x7407 -x7410 -x7413 -x7416 -x7419 -x7422 -x7425 -x7428 -x7431 -x7434 -x7437 -x7440 -x7443 -x7446 -x7449 -x7452 -x7455 -x7458 -x7461 -x7464 -x7467 -x7470 -x7473 -x7476 -x7394 -x7397 -x7400 -x7403 -x7406 -x7409 -x7412 x7415 -x7418 -x7421 -x7424 -x7427 -x7430 -x7433 -x7436 -x7439 -x7442 -x7445 -x7448 -x7451 -x7454 -x7457 -x7460 -x7463 -x7466 -x7469 -x7472 -x7475 -x7393 -x7396 -x7399 -x7402 -x7405 -x7408 -x7411 -x7414 -x7417 x7420 -x7423 -x7426 -x7429 -x7432 -x7435 -x7438 -x7441 -x7444 -x7447 -x7450 -x7453 -x7456 -x7459 -x7462 -x7465 -x7468 -x7471 -x7474 -x7477 -x7479 -x7481 -x7483 -x7485 -x7487 -x7489 -x7491 -x7493 -x7495 -x7497 -x7499 -x7501 -x7503 -x7505 -x7507 -x7509 -x7511 -x7513 x7515 -x7517 -x7519 -x7521 -x7523 -x7525 -x7527 -x7529 -x7531 -x7478 -x7480 -x7482 -x7484 -x7486 -x7488 -x7490 -x7492 -x7494 -x7496 -x7498 -x7500 -x7502 -x7504 -x7506 -x7508 -x7510 -x7512 -x7514 -x7516 -x7518 -x7520 -x7522 -x7524 -x7526 -x7528 -x7530 x7532 -x7535 -x7538 -x7541 x7544 -x7547 -x7550 -x7553 -x7556 -x7559 -x7562 -x7565 -x7568 -x7571 -x7574 -x7577 -x7580 -x7583 -x7586 -x7589 -x7592 -x7595 -x7598 -x7601 -x7604 -x7607 -x7610 -x7613 -x7616 -x7534 -x7537 -x7540 -x7543 -x7546 -x7549 x7552 -x7555 -x7558 -x7561 -x7564 -x7567 -x7570 -x7573 -x7576 -x7579 -x7582 -x7585 -x7588 -x7591 -x7594 -x7597 -x7600 -x7603 -x7606 -x7609 -x7612 -x7615 -x7533 -x7536 -x7539 -x7542 -x7545 -x7548 -x7551 -x7554 -x7557 x7560 -x7563 -x7566 -x7569 -x7572 -x7575 -x7578 -x7581 -x7584 -x7587 -x7590 -x7593 -x7596 -x7599 -x7602 -x7605 -x7608 -x7611 -x7614 -x7617 -x7619 -x7621 -x7623 -x7625 -x7627 -x7629 -x7631 -x7633 -x7635 -x7637 x7639 -x7641 -x7643 -x7645 -x7647 -x7649 -x7651 -x7653 -x7655 -x7657 -x7659 -x7661 -x7663 -x7665 -x7667 -x7669 -x7671 -x7618 -x7620 -x7622 -x7624 -x7626 -x7628 -x7630 -x7632 -x7634 -x7636 -x7638 -x7640 -x7642 -x7644 x7646 -x7648 -x7650 -x7652 -x7654 -x7656 -x7658 -x7660 -x7662 -x7664 -x7666 -x7668 -x7670 -x7672 -x7675 -x7678 -x7681 -x7684 -x7687 -x7690 -x7693 -x7696 x7699 -x7702 -x7705 -x7708 -x7711 -x7714 -x7717 -x7720 -x7723 -x7726 -x7729 -x7732 -x7735 -x7738 -x7741 -x7744 -x7747 -x7750 -x7753 -x7756 -x7674 -x7677 -x7680 -x7683 -x7686 -x7689 -x7692 -x7695 -x7698 -x7701 x7704 -x7707 -x7710 -x7713 -x7716 -x7719 -x7722 -x7725 -x7728 -x7731 -x7734 -x7737 -x7740 -x7743 -x7746 -x7749 -x7752 -x7755 -x7673 -x7676 -x7679 -x7682 -x7685 -x7688 -x7691 -x7694 -x7697 -x7700 -x7703 -x7706 -x7709 -x7712 -x7715 -x7718 -x7721 -x7724 -x7727 -x7730 x7733 -x7736 -x7739 -x7742 -x7745 -x7748 -x7751 -x7754 -x7758 -x7762 x7766 -x7770 -x7774 -x7778 -x7782 -x7786 -x7790 -x7794 -x7798 -x7802 -x7806 -x7810 -x7814 -x7818 -x7822 -x7826 -x7830 -x7834 -x7838 -x7842 -x7846 -x7850 -x7854 -x7858 -x7862 -x7866 -x7760 -x7764 -x7768 -x7772 -x7776 -x7780 -x7784 -x7788 -x7792 -x7796 -x7800 -x7804 -x7808 -x7812 -x7816 -x7820 x7824 -x7828 -x7832 -x7836 -x7840 -x7844 -x7848 -x7852 -x7856 -x7860 -x7864 -x7868 -x7757 -x7761 -x7765 -x7769 -x7773 -x7777 -x7781 -x7785 -x7789 -x7793 -x7797 -x7801 -x7805 -x7809 -x7813 -x7817 -x7821 -x7825 -x7829 -x7833 -x7837 -x7841 -x7845 -x7849 -x7853 x7857 -x7861 -x7865 -x7869 -x7873 -x7877 -x7881 -x7885 -x7889 -x7893 -x7897 -x7901 -x7905 -x7909 -x7913 x7917 -x7921 -x7925 -x7929 -x7933 -x7937 -x7941 -x7945 -x7949 -x7953 -x7957 -x7961 -x7965 -x7969 -x7973 -x7977 -x7870 -x7874 -x7878 -x7882 -x7886 -x7890 -x7894 -x7898 -x7902 -x7906 -x7910 -x7914 -x7918 -x7922 -x7926 -x7930 -x7934 -x7938 -x7942 -x7946 -x7950 -x7954 x7958 -x7962 -x7966 -x7970 -x7974 -x7978 -x7871 -x7875 -x7879 -x7883 -x7887 -x7891 -x7895 -x7899 -x7903 -x7907 -x7911 -x7915 -x7919 -x7923 -x7927 -x7931 -x7935 -x7939 -x7943 -x7947 -x7951 -x7955 -x7959 -x7963 -x7967 x7971 -x7975 -x7979 -x7982 -x7986 -x7990 -x7994 -x7998 -x8002 -x8006 -x8010 -x8014 -x8018 -x8022 -x8026 -x8030 -x8034 x8038 -x8042 -x8046 -x8050 -x8054 -x8058 -x8062 -x8066 -x8070 -x8074 -x8078 -x8082 -x8086 -x8090 -x7984 -x7988 -x7992 -x7996 -x8000 -x8004 -x8008 -x8012 -x8016 -x8020 -x8024 -x8028 -x8032 -x8036 -x8040 -x8044 -x8048 -x8052 -x8056 -x8060 -x8064 -x8068 -x8072 -x8076 -x8080 x8084 -x8088 -x8092 -x7981 -x7985 -x7989 -x7993 -x7997 -x8001 -x8005 -x8009 -x8013 -x8017 -x8021 -x8025 -x8029 -x8033 -x8037 -x8041 -x8045 -x8049 -x8053 -x8057 -x8061 -x8065 -x8069 -x8073 -x8077 -x8081 -x8085 x8089 -x8093 -x8097 -x8101 -x8105 x8109 -x8113 -x8117 -x8121 -x8125 -x8129 -x8133 -x8137 -x8141 -x8145 -x8149 -x8153 -x8157 -x8161 -x8165 -x8169 -x8173 -x8177 -x8181 -x8185 -x8189 -x8193 -x8197 -x8201 -x8094 -x8098 -x8102 -x8106 -x8110 -x8114 -x8118 -x8122 -x8126 x8130 -x8134 -x8138 -x8142 -x8146 -x8150 -x8154 -x8158 -x8162 -x8166 -x8170 -x8174 -x8178 -x8182 -x8186 -x8190 -x8194 -x8198 -x8202 -x8095 -x8099 -x8103 -x8107 -x8111 -x8115 -x8119 -x8123 -x8127 -x8131 -x8135 -x8139 -x8143 -x8147 -x8151 -x8155 -x8159 -x8163 -x8167 -x8171 -x8175 -x8179 -x8183 -x8187 -x8191 x8195 -x8199 -x8203 x8205 -x8209 -x8213 -x8217 -x8221 -x8225 -x8229 -x8233 -x8237 -x8241 -x8245 -x8249 -x8253 -x8257 -x8261 -x8265 -x8269 -x8273 -x8277 -x8281 -x8285 -x8289 -x8293 -x8297 -x8301 -x8305 -x8309 -x8313 -x8207 -x8211 -x8215 -x8219 -x8223 x8227 -x8231 -x8235 -x8239 -x8243 -x8247 -x8251 -x8255 -x8259 -x8263 -x8267 -x8271 -x8275 -x8279 -x8283 -x8287 -x8291 -x8295 -x8299 -x8303 -x8307 -x8311 -x8315 -x8206 -x8210 -x8214 -x8218 -x8222 -x8226 -x8230 -x8234 x8238 -x8242 -x8246 -x8250 -x8254 -x8258 -x8262 -x8266 -x8270 -x8274 -x8278 -x8282 -x8286 -x8290 -x8294 -x8298 -x8302 -x8306 -x8310 -x8314 -x8318 -x8321 x8324 -x8327 -x8330 -x8333 -x8336 -x8339 -x8342 -x8345 -x8348 -x8351 -x8354 -x8357 -x8360 -x8363 -x8366 -x8369 -x8372 -x8375 -x8378 -x8381 -x8384 -x8387 -x8390 -x8393 -x8396 -x8399 -x8319 -x8322 -x8325 -x8328 -x8331 -x8334 -x8337 -x8340 -x8343 -x8346 x8349 -x8352 -x8355 -x8358 -x8361 -x8364 -x8367 -x8370 -x8373 -x8376 -x8379 -x8382 -x8385 -x8388 -x8391 -x8394 -x8397 -x8400 -x8317 -x8320 -x8323 -x8326 -x8329 -x8332 -x8335 -x8338 -x8341 -x8344 -x8347 -x8350 -x8353 -x8356 -x8359 -x8362 -x8365 -x8368 -x8371 -x8374 x8377 -x8380 -x8383 -x8386 -x8389 -x8392 -x8395 -x8398 -x8401 -x8405 -x8409 -x8413 -x8417 -x8421 -x8425 -x8429 -x8433 -x8437 -x8441 -x8445 -x8449 -x8453 x8457 -x8461 -x8465 -x8469 -x8473 -x8477 -x8481 -x8485 -x8489 -x8493 -x8497 -x8501 -x8505 -x8509 -x8403 -x8407 -x8411 -x8415 -x8419 -x8423 -x8427 -x8431 -x8435 -x8439 -x8443 -x8447 -x8451 -x8455 -x8459 -x8463 -x8467 -x8471 -x8475 -x8479 -x8483 -x8487 -x8491 -x8495 x8499 -x8503 -x8507 -x8511 -x8402 -x8406 -x8410 -x8414 -x8418 -x8422 -x8426 -x8430 -x8434 -x8438 -x8442 -x8446 -x8450 -x8454 -x8458 -x8462 -x8466 -x8470 -x8474 -x8478 -x8482 -x8486 -x8490 -x8494 -x8498 -x8502 x8506 -x8510 -x8514 -x8517 -x8520 -x8523 -x8526 -x8529 -x8532 -x8535 -x8538 -x8541 -x8544 -x8547 -x8550 -x8553 -x8556 x8559 -x8562 -x8565 -x8568 -x8571 -x8574 -x8577 -x8580 -x8583 -x8586 -x8589 -x8592 -x8595 -x8515 -x8518 -x8521 -x8524 -x8527 -x8530 -x8533 -x8536 -x8539 -x8542 -x8545 -x8548 -x8551 -x8554 -x8557 -x8560 -x8563 -x8566 x8569 -x8572 -x8575 -x8578 -x8581 -x8584 -x8587 -x8590 -x8593 -x8596 -x8513 -x8516 -x8519 -x8522 -x8525 -x8528 -x8531 -x8534 -x8537 -x8540 -x8543 -x8546 -x8549 -x8552 -x8555 -x8558 -x8561 -x8564 -x8567 -x8570 -x8573 -x8576 -x8579 -x8582 -x8585 -x8588 -x8591 x8594 -x8599 -x8602 -x8605 x8608 -x8611 -x8614 -x8617 -x8620 -x8623 -x8626 -x8629 -x8632 -x8635 -x8638 -x8641 -x8644 -x8647 -x8650 -x8653 -x8656 -x8659 -x8662 -x8665 -x8668 -x8671 -x8674 -x8677 -x8680 -x8598 -x8601 -x8604 -x8607 -x8610 -x8613 -x8616 x8619 -x8622 -x8625 -x8628 -x8631 -x8634 -x8637 -x8640 -x8643 -x8646 -x8649 -x8652 -x8655 -x8658 -x8661 -x8664 -x8667 -x8670 -x8673 -x8676 -x8679 -x8597 -x8600 -x8603 -x8606 -x8609 -x8612 -x8615 -x8618 -x8621 -x8624 -x8627 -x8630 -x8633 -x8636 -x8639 -x8642 x8645 -x8648 -x8651 -x8654 -x8657 -x8660 -x8663 -x8666 -x8669 -x8672 -x8675 -x8678 -x8683 -x8688 -x8693 -x8698 -x8703 -x8708 -x8713 -x8718 x8723 -x8728 -x8733 -x8738 -x8743 -x8748 -x8753 -x8758 -x8763 -x8768 -x8773 -x8778 -x8783 -x8788 -x8793 -x8798 -x8803 -x8808 -x8813 -x8818 -x8684 -x8689 -x8694 -x8699 -x8704 -x8709 -x8714 -x8719 -x8724 -x8729 -x8734 -x8739 -x8744 -x8749 -x8754 -x8759 -x8764 -x8769 -x8774 -x8779 x8784 -x8789 -x8794 -x8799 -x8804 -x8809 -x8814 -x8819 -x8682 -x8687 -x8692 -x8697 -x8702 -x8707 -x8712 -x8717 -x8722 -x8727 -x8732 -x8737 -x8742 -x8747 -x8752 -x8757 -x8762 -x8767 -x8772 -x8777 -x8782 -x8787 x8792 -x8797 -x8802 -x8807 -x8812 -x8817 -x8823 x8828 -x8833 -x8838 -x8843 -x8848 -x8853 -x8858 -x8863 -x8868 -x8873 -x8878 -x8883 -x8888 -x8893 -x8898 -x8903 -x8908 -x8913 -x8918 -x8923 -x8928 -x8933 -x8938 -x8943 -x8948 -x8953 -x8958 -x8822 -x8827 -x8832 -x8837 -x8842 -x8847 -x8852 -x8857 -x8862 -x8867 -x8872 -x8877 -x8882 -x8887 -x8892 -x8897 -x8902 -x8907 -x8912 -x8917 -x8922 x8927 -x8932 -x8937 -x8942 -x8947 -x8952 -x8957 -x8824 -x8829 -x8834 -x8839 -x8844 -x8849 -x8854 -x8859 -x8864 -x8869 -x8874 -x8879 -x8884 -x8889 -x8894 -x8899 -x8904 -x8909 -x8914 -x8919 -x8924 -x8929 -x8934 -x8939 -x8944 -x8949 x8954 -x8959 -x8963 -x8967 -x8971 -x8975 -x8979 -x8983 -x8987 -x8991 -x8995 -x8999 -x9003 -x9007 -x9011 x9015 -x9019 -x9023 -x9027 -x9031 -x9035 -x9039 -x9043 -x9047 -x9051 -x9055 -x9059 -x9063 -x9067 -x9071 -x8964 -x8968 -x8972 -x8976 -x8980 -x8984 -x8988 -x8992 -x8996 -x9000 -x9004 -x9008 -x9012 -x9016 -x9020 -x9024 -x9028 -x9032 x9036 -x9040 -x9044 -x9048 -x9052 -x9056 -x9060 -x9064 -x9068 -x9072 -x8961 -x8965 -x8969 -x8973 -x8977 -x8981 -x8985 -x8989 -x8993 -x8997 -x9001 -x9005 -x9009 -x9013 -x9017 -x9021 -x9025 -x9029 -x9033 -x9037 x9041 -x9045 -x9049 -x9053 -x9057 -x9061 -x9065 -x9069 -x9073 -x9076 -x9079 -x9082 -x9085 x9088 -x9091 -x9094 -x9097 -x9100 -x9103 -x9106 -x9109 -x9112 -x9115 -x9118 -x9121 -x9124 -x9127 -x9130 -x9133 -x9136 -x9139 -x9142 -x9145 -x9148 -x9151 -x9154 -x9074 -x9077 -x9080 -x9083 -x9086 -x9089 -x9092 -x9095 -x9098 -x9101 -x9104 x9107 -x9110 -x9113 -x9116 -x9119 -x9122 -x9125 -x9128 -x9131 -x9134 -x9137 -x9140 -x9143 -x9146 -x9149 -x9152 -x9155 -x9075 -x9078 -x9081 -x9084 -x9087 -x9090 -x9093 -x9096 -x9099 -x9102 -x9105 -x9108 -x9111 -x9114 x9117 -x9120 -x9123 -x9126 -x9129 -x9132 -x9135 -x9138 -x9141 -x9144 -x9147 -x9150 -x9153 -x9156 -x9158 -x9161 -x9164 -x9167 -x9170 -x9173 -x9176 -x9179 -x9182 -x9185 -x9188 -x9191 x9194 -x9197 -x9200 -x9203 -x9206 -x9209 -x9212 -x9215 -x9218 -x9221 -x9224 -x9227 -x9230 -x9233 -x9236 -x9239 -x9159 -x9162 -x9165 -x9168 -x9171 -x9174 -x9177 -x9180 -x9183 -x9186 -x9189 -x9192 -x9195 -x9198 -x9201 -x9204 x9207 -x9210 -x9213 -x9216 -x9219 -x9222 -x9225 -x9228 -x9231 -x9234 -x9237 -x9240 -x9157 -x9160 -x9163 -x9166 -x9169 -x9172 -x9175 -x9178 -x9181 -x9184 -x9187 -x9190 -x9193 -x9196 -x9199 -x9202 -x9205 -x9208 -x9211 -x9214 x9217 -x9220 -x9223 -x9226 -x9229 -x9232 -x9235 -x9238 -x9243 -x9247 -x9251 x9255 -x9259 -x9263 -x9267 -x9271 -x9275 -x9279 -x9283 -x9287 -x9291 -x9295 -x9299 -x9303 -x9307 -x9311 -x9315 -x9319 -x9323 -x9327 -x9331 -x9335 -x9339 -x9343 -x9347 -x9351 -x9244 -x9248 -x9252 -x9256 -x9260 -x9264 -x9268 -x9272 -x9276 -x9280 -x9284 -x9288 -x9292 -x9296 -x9300 -x9304 x9308 -x9312 -x9316 -x9320 -x9324 -x9328 -x9332 -x9336 -x9340 -x9344 -x9348 -x9352 -x9241 -x9245 -x9249 -x9253 -x9257 -x9261 -x9265 -x9269 -x9273 -x9277 -x9281 -x9285 -x9289 -x9293 -x9297 -x9301 -x9305 -x9309 -x9313 -x9317 -x9321 -x9325 -x9329 -x9333 -x9337 -x9341 x9345 -x9349 -x9354 -x9357 -x9360 -x9363 -x9366 -x9369 -x9372 -x9375 -x9378 -x9381 -x9384 -x9387 -x9390 -x9393 -x9396 -x9399 -x9402 x9405 -x9408 -x9411 -x9414 -x9417 -x9420 -x9423 -x9426 -x9429 -x9432 -x9435 -x9355 -x9358 -x9361 -x9364 -x9367 -x9370 -x9373 -x9376 -x9379 -x9382 -x9385 -x9388 -x9391 -x9394 -x9397 -x9400 -x9403 -x9406 -x9409 x9412 -x9415 -x9418 -x9421 -x9424 -x9427 -x9430 -x9433 -x9436 -x9353 -x9356 -x9359 -x9362 -x9365 -x9368 -x9371 -x9374 -x9377 -x9380 -x9383 -x9386 -x9389 -x9392 -x9395 -x9398 -x9401 -x9404 -x9407 -x9410 -x9413 -x9416 -x9419 -x9422 x9425 -x9428 -x9431 -x9434 -x9437 -x9441 -x9445 -x9449 -x9453 -x9457 -x9461 -x9465 -x9469 -x9473 -x9477 -x9481 -x9485 -x9489 x9493 -x9497 -x9501 -x9505 -x9509 -x9513 -x9517 -x9521 -x9525 -x9529 -x9533 -x9537 -x9541 -x9545 -x9438 -x9442 -x9446 -x9450 -x9454 -x9458 -x9462 -x9466 -x9470 -x9474 -x9478 -x9482 -x9486 -x9490 -x9494 -x9498 -x9502 -x9506 -x9510 -x9514 -x9518 -x9522 -x9526 -x9530 -x9534 -x9538 x9542 -x9546 -x9439 -x9443 -x9447 -x9451 -x9455 -x9459 -x9463 -x9467 -x9471 -x9475 -x9479 -x9483 -x9487 -x9491 -x9495 -x9499 -x9503 -x9507 -x9511 -x9515 -x9519 -x9523 -x9527 -x9531 -x9535 -x9539 -x9543 x9547 -x9549 -x9553 -x9557 -x9561 -x9565 -x9569 -x9573 -x9577 -x9581 -x9585 -x9589 -x9593 -x9597 -x9601 -x9605 x9609 -x9613 -x9617 -x9621 -x9625 -x9629 -x9633 -x9637 -x9641 -x9645 -x9649 -x9653 -x9657 -x9550 -x9554 -x9558 -x9562 -x9566 -x9570 -x9574 -x9578 -x9582 -x9586 -x9590 -x9594 -x9598 -x9602 -x9606 -x9610 -x9614 -x9618 -x9622 -x9626 -x9630 -x9634 -x9638 -x9642 x9646 -x9650 -x9654 -x9658 -x9551 -x9555 -x9559 -x9563 -x9567 -x9571 -x9575 -x9579 -x9583 -x9587 -x9591 -x9595 -x9599 -x9603 -x9607 -x9611 -x9615 -x9619 -x9623 -x9627 -x9631 -x9635 -x9639 -x9643 -x9647 -x9651 x9655 -x9659 -x9661 -x9665 -x9669 -x9673 -x9677 -x9681 -x9685 -x9689 -x9693 -x9697 -x9701 -x9705 -x9709 -x9713 -x9717 -x9721 x9725 -x9729 -x9733 -x9737 -x9741 -x9745 -x9749 -x9753 -x9757 -x9761 -x9765 -x9769 -x9662 -x9666 -x9670 -x9674 -x9678 -x9682 -x9686 -x9690 -x9694 -x9698 -x9702 -x9706 -x9710 -x9714 -x9718 -x9722 -x9726 -x9730 -x9734 -x9738 -x9742 x9746 -x9750 -x9754 -x9758 -x9762 -x9766 -x9770 -x9663 -x9667 -x9671 -x9675 -x9679 -x9683 -x9687 -x9691 -x9695 -x9699 -x9703 -x9707 -x9711 -x9715 -x9719 -x9723 -x9727 -x9731 -x9735 -x9739 -x9743 -x9747 -x9751 -x9755 -x9759 -x9763 -x9767 x9771 -x9773 -x9777 -x9781 -x9785 -x9789 -x9793 -x9797 -x9801 -x9805 -x9809 -x9813 -x9817 -x9821 -x9825 x9829 -x9833 -x9837 -x9841 -x9845 -x9849 -x9853 -x9857 -x9861 -x9865 -x9869 -x9873 -x9877 -x9881 -x9775 -x9779 -x9783 -x9787 -x9791 -x9795 -x9799 -x9803 -x9807 -x9811 -x9815 -x9819 -x9823 -x9827 -x9831 -x9835 -x9839 -x9843 x9847 -x9851 -x9855 -x9859 -x9863 -x9867 -x9871 -x9875 -x9879 -x9883 -x9774 -x9778 -x9782 -x9786 -x9790 -x9794 -x9798 -x9802 -x9806 -x9810 -x9814 -x9818 -x9822 -x9826 -x9830 -x9834 -x9838 -x9842 -x9846 -x9850 -x9854 -x9858 -x9862 -x9866 -x9870 -x9874 -x9878 x9882 -x9885 -x9888 -x9891 -x9894 -x9897 -x9900 -x9903 -x9906 -x9909 -x9912 -x9915 -x9918 -x9921 -x9924 -x9927 -x9930 -x9933 -x9936 x9939 -x9942 -x9945 -x9948 -x9951 -x9954 -x9957 -x9960 -x9963 -x9966 -x9887 -x9890 -x9893 -x9896 -x9899 -x9902 -x9905 -x9908 -x9911 -x9914 -x9917 -x9920 -x9923 -x9926 -x9929 -x9932 -x9935 -x9938 -x9941 -x9944 -x9947 -x9950 -x9953 -x9956 -x9959 x9962 -x9965 -x9968 -x9886 -x9889 -x9892 -x9895 -x9898 -x9901 -x9904 -x9907 -x9910 -x9913 -x9916 -x9919 -x9922 -x9925 -x9928 -x9931 -x9934 -x9937 -x9940 -x9943 -x9946 -x9949 -x9952 -x9955 -x9958 -x9961 -x9964 x9967 -x9969 -x9972 -x9975 -x9978 -x9981 -x9984 -x9987 -x9990 -x9993 -x9996 -x9999 -x10002 -x10005 -x10008 -x10011 x10014 -x10017 -x10020 -x10023 -x10026 -x10029 -x10032 -x10035 -x10038 -x10041 -x10044 -x10047 -x10050 -x9971 -x9974 -x9977 -x9980 -x9983 -x9986 -x9989 -x9992 -x9995 -x9998 -x10001 -x10004 -x10007 -x10010 -x10013 -x10016 -x10019 -x10022 -x10025 x10028 -x10031 -x10034 -x10037 -x10040 -x10043 -x10046 -x10049 -x10052 -x9970 -x9973 -x9976 -x9979 -x9982 -x9985 -x9988 -x9991 -x9994 -x9997 -x10000 -x10003 -x10006 -x10009 -x10012 -x10015 -x10018 -x10021 -x10024 -x10027 -x10030 -x10033 -x10036 -x10039 x10042 -x10045 -x10048 -x10051 -x10053 -x10057 -x10061 -x10065 -x10069 -x10073 -x10077 x10081 -x10085 -x10089 -x10093 -x10097 -x10101 -x10105 -x10109 -x10113 -x10117 -x10121 -x10125 -x10129 -x10133 -x10137 -x10141 -x10145 -x10149 -x10153 -x10157 -x10161 -x10054 -x10058 -x10062 -x10066 -x10070 -x10074 -x10078 -x10082 -x10086 -x10090 -x10094 -x10098 -x10102 -x10106 -x10110 -x10114 -x10118 x10122 -x10126 -x10130 -x10134 -x10138 -x10142 -x10146 -x10150 -x10154 -x10158 -x10162 -x10055 -x10059 -x10063 -x10067 -x10071 -x10075 -x10079 -x10083 -x10087 -x10091 -x10095 -x10099 -x10103 -x10107 -x10111 -x10115 -x10119 -x10123 -x10127 -x10131 -x10135 -x10139 -x10143 -x10147 -x10151 -x10155 -x10159 x10163 -x10167 -x10170 -x10173 -x10176 -x10179 -x10182 -x10185 -x10188 -x10191 -x10194 -x10197 x10200 -x10203 -x10206 -x10209 -x10212 -x10215 -x10218 -x10221 -x10224 -x10227 -x10230 -x10233 -x10236 -x10239 -x10242 -x10245 -x10248 -x10166 -x10169 -x10172 -x10175 -x10178 -x10181 -x10184 -x10187 -x10190 -x10193 -x10196 -x10199 -x10202 -x10205 x10208 -x10211 -x10214 -x10217 -x10220 -x10223 -x10226 -x10229 -x10232 -x10235 -x10238 -x10241 -x10244 -x10247 -x10165 -x10168 -x10171 -x10174 -x10177 -x10180 -x10183 -x10186 -x10189 -x10192 -x10195 -x10198 -x10201 -x10204 -x10207 -x10210 -x10213 -x10216 -x10219 -x10222 -x10225 x10228 -x10231 -x10234 -x10237 -x10240 -x10243 -x10246 -x10250 -x10253 -x10256 -x10259 -x10262 -x10265 -x10268 -x10271 -x10274 -x10277 x10280 -x10283 -x10286 -x10289 -x10292 -x10295 -x10298 -x10301 -x10304 -x10307 -x10310 -x10313 -x10316 -x10319 -x10322 -x10325 -x10328 -x10331 -x10251 -x10254 -x10257 -x10260 -x10263 -x10266 -x10269 -x10272 -x10275 -x10278 -x10281 -x10284 -x10287 -x10290 -x10293 -x10296 -x10299 -x10302 -x10305 x10308 -x10311 -x10314 -x10317 -x10320 -x10323 -x10326 -x10329 -x10332 -x10249 -x10252 -x10255 -x10258 -x10261 -x10264 -x10267 -x10270 -x10273 -x10276 -x10279 -x10282 -x10285 -x10288 -x10291 -x10294 -x10297 -x10300 -x10303 -x10306 -x10309 x10312 -x10315 -x10318 -x10321 -x10324 -x10327 -x10330 -x10334 -x10337 -x10340 -x10343 -x10346 -x10349 -x10352 -x10355 -x10358 -x10361 -x10364 -x10367 -x10370 x10373 -x10376 -x10379 -x10382 -x10385 -x10388 -x10391 -x10394 -x10397 -x10400 -x10403 -x10406 -x10409 -x10412 -x10415 -x10335 -x10338 -x10341 -x10344 -x10347 -x10350 -x10353 -x10356 -x10359 -x10362 -x10365 -x10368 -x10371 -x10374 -x10377 -x10380 -x10383 -x10386 -x10389 x10392 -x10395 -x10398 -x10401 -x10404 -x10407 -x10410 -x10413 -x10416 -x10333 -x10336 -x10339 -x10342 -x10345 -x10348 -x10351 -x10354 -x10357 -x10360 -x10363 -x10366 -x10369 -x10372 -x10375 -x10378 -x10381 -x10384 -x10387 -x10390 -x10393 -x10396 x10399 -x10402 -x10405 -x10408 -x10411 -x10414 -x10417 -x10421 -x10425 -x10429 -x10433 -x10437 -x10441 -x10445 -x10449 -x10453 -x10457 -x10461 -x10465 -x10469 -x10473 -x10477 -x10481 -x10485 x10489 -x10493 -x10497 -x10501 -x10505 -x10509 -x10513 -x10517 -x10521 -x10525 -x10418 -x10422 -x10426 -x10430 -x10434 -x10438 -x10442 -x10446 -x10450 -x10454 -x10458 -x10462 -x10466 -x10470 -x10474 -x10478 -x10482 -x10486 -x10490 -x10494 -x10498 -x10502 -x10506 -x10510 x10514 -x10518 -x10522 -x10526 -x10419 -x10423 -x10427 -x10431 -x10435 -x10439 -x10443 -x10447 -x10451 -x10455 -x10459 -x10463 -x10467 -x10471 -x10475 -x10479 -x10483 -x10487 -x10491 -x10495 -x10499 -x10503 -x10507 -x10511 -x10515 -x10519 x10523 -x10527 -x10530 -x10532 -x10534 -x10536 -x10538 -x10540 -x10542 -x10544 -x10546 x10548 -x10550 -x10552 -x10554 -x10556 -x10558 -x10560 -x10562 -x10564 -x10566 -x10568 -x10570 -x10572 -x10574 -x10576 -x10578 -x10580 -x10582 -x10584 -x10529 -x10531 -x10533 -x10535 -x10537 -x10539 -x10541 -x10543 -x10545 -x10547 -x10549 -x10551 x10553 -x10555 -x10557 -x10559 -x10561 -x10563 -x10565 -x10567 -x10569 -x10571 -x10573 -x10575 -x10577 -x10579 -x10581 -x10583 -x10586 -x10588 -x10590 -x10592 -x10594 -x10596 -x10598 -x10600 -x10602 -x10604 -x10606 -x10608 -x10610 -x10612 -x10614 -x10616 -x10618 -x10620 -x10622 -x10624 -x10626 -x10628 x10630 -x10632 -x10634 -x10636 -x10638 -x10640 -x10585 -x10587 -x10589 -x10591 -x10593 -x10595 -x10597 -x10599 -x10601 -x10603 -x10605 -x10607 -x10609 -x10611 -x10613 -x10615 -x10617 -x10619 -x10621 -x10623 -x10625 -x10627 -x10629 -x10631 -x10633 x10635 -x10637 -x10639 -x10641 -x10644 -x10647 -x10650 -x10653 -x10656 -x10659 -x10662 -x10665 -x10668 -x10671 -x10674 -x10677 -x10680 -x10683 -x10686 -x10689 -x10692 -x10695 x10698 -x10701 -x10704 -x10707 -x10710 -x10713 -x10716 -x10719 -x10722 -x10642 -x10645 -x10648 -x10651 -x10654 -x10657 -x10660 -x10663 -x10666 -x10669 -x10672 -x10675 -x10678 -x10681 -x10684 -x10687 -x10690 -x10693 -x10696 -x10699 -x10702 -x10705 -x10708 x10711 -x10714 -x10717 -x10720 -x10723 -x10643 -x10646 -x10649 -x10652 -x10655 -x10658 -x10661 -x10664 -x10667 -x10670 -x10673 -x10676 -x10679 -x10682 -x10685 -x10688 -x10691 -x10694 -x10697 -x10700 -x10703 -x10706 -x10709 -x10712 -x10715 x10718 -x10721 -x10724 -x5799 -x7759 -x7983 -x5803 -x7763 -x7987 -x5807 -x7767 -x7991 -x5811 -x7771 -x7995 -x5815 -x7775 -x7999 -x5819 -x7779 -x8003 -x5823 -x7783 -x8007 -x5827 -x7787 -x8011 -x5831 x7791 -x8015 x5835 -x7795 -x8019 -x5839 -x7799 -x8023 -x5843 -x7803 -x8027 -x5847 -x7807 -x8031 -x5851 -x7811 -x8035 -x5855 -x7815 -x8039 -x5859 -x7819 -x8043 -x5863 -x7823 x8047 -x5867 -x7827 -x8051 -x5871 -x7831 -x8055 -x5875 -x7835 -x8059 -x5879 -x7839 -x8063 -x5883 -x7843 -x8067 -x5887 -x7847 -x8071 -x5891 -x7851 -x8075 -x5895 -x7855 -x8079 -x5899 -x7859 -x8083 -x5903 -x7863 -x8087 -x5907 -x7867 -x8091 -x2300 -x2412 -x3448 -x4176 -x5100 -x5212 -x5324 -x5604 -x8208 -x8404 -x9440 -x9552 -x9664 -x10056 -x10420 -x2304 -x2416 -x3452 -x4180 -x5104 -x5216 -x5328 -x5608 -x8212 -x8408 -x9444 -x9556 -x9668 -x10060 -x10424 -x2308 x2420 -x3456 -x4184 -x5108 -x5220 -x5332 -x5612 x8216 -x8412 -x9448 -x9560 -x9672 -x10064 -x10428 -x2312 -x2424 -x3460 -x4188 -x5112 -x5224 -x5336 -x5616 -x8220 -x8416 -x9452 -x9564 -x9676 -x10068 -x10432 -x2316 -x2428 -x3464 -x4192 -x5116 -x5228 -x5340 -x5620 -x8224 -x8420 -x9456 -x9568 -x9680 -x10072 -x10436 -x2320 -x2432 -x3468 -x4196 -x5120 -x5232 -x5344 -x5624 -x8228 -x8424 -x9460 -x9572 -x9684 -x10076 -x10440 -x2324 -x2436 -x3472 -x4200 -x5124 -x5236 -x5348 -x5628 -x8232 -x8428 -x9464 -x9576 -x9688 -x10080 -x10444 -x2328 -x2440 -x3476 -x4204 -x5128 -x5240 -x5352 -x5632 -x8236 -x8432 -x9468 -x9580 -x9692 -x10084 -x10448 -x2332 -x2444 -x3480 -x4208 -x5132 x5244 -x5356 -x5636 -x8240 -x8436 -x9472 -x9584 -x9696 -x10088 -x10452 -x2336 -x2448 -x3484 -x4212 -x5136 -x5248 -x5360 -x5640 -x8244 -x8440 -x9476 -x9588 -x9700 -x10092 -x10456 -x2340 -x2452 -x3488 -x4216 -x5140 -x5252 -x5364 -x5644 -x8248 -x8444 -x9480 -x9592 -x9704 -x10096 -x10460 -x2344 -x2456 -x3492 -x4220 -x5144 -x5256 -x5368 -x5648 -x8252 -x8448 -x9484 -x9596 -x9708 -x10100 -x10464 -x2348 -x2460 -x3496 -x4224 x5148 -x5260 -x5372 -x5652 -x8256 -x8452 -x9488 -x9600 -x9712 -x10104 -x10468 -x2352 -x2464 -x3500 -x4228 -x5152 -x5264 -x5376 -x5656 -x8260 -x8456 -x9492 -x9604 -x9716 x10108 -x10472 -x2356 -x2468 -x3504 -x4232 -x5156 -x5268 -x5380 -x5660 -x8264 -x8460 -x9496 -x9608 -x9720 -x10112 -x10476 -x2360 -x2472 x3508 x4236 -x5160 -x5272 x5384 -x5664 -x8268 -x8464 -x9500 -x9612 -x9724 -x10116 -x10480 x2364 -x2476 -x3512 -x4240 -x5164 -x5276 -x5388 -x5668 -x8272 -x8468 x9504 -x9616 -x9728 -x10120 -x10484 -x2368 -x2480 -x3516 -x4244 -x5168 -x5280 -x5392 -x5672 -x8276 -x8472 -x9508 -x9620 -x9732 -x10124 -x10488 -x2372 -x2484 -x3520 -x4248 -x5172 -x5284 -x5396 -x5676 -x8280 -x8476 -x9512 -x9624 x9736 -x10128 -x10492 -x2376 -x2488 -x3524 -x4252 -x5176 -x5288 -x5400 -x5680 -x8284 x8480 -x9516 -x9628 -x9740 -x10132 -x10496 -x2380 -x2492 -x3528 -x4256 -x5180 -x5292 -x5404 x5684 -x8288 -x8484 -x9520 x9632 -x9744 -x10136 x10500 -x2384 -x2496 -x3532 -x4260 -x5184 -x5296 -x5408 -x5688 -x8292 -x8488 -x9524 -x9636 -x9748 -x10140 -x10504 -x2388 -x2500 -x3536 -x4264 -x5188 -x5300 -x5412 -x5692 -x8296 -x8492 -x9528 -x9640 -x9752 -x10144 -x10508 -x2392 -x2504 -x3540 -x4268 -x5192 -x5304 -x5416 -x5696 -x8300 -x8496 -x9532 -x9644 -x9756 -x10148 -x10512 -x2396 -x2508 -x3544 -x4272 -x5196 -x5308 -x5420 -x5700 -x8304 -x8500 -x9536 -x9648 -x9760 -x10152 -x10516 -x2400 -x2512 -x3548 -x4276 -x5200 -x5312 -x5424 -x5704 -x8308 -x8504 -x9540 -x9652 -x9764 -x10156 -x10520 -x2404 -x2516 -x3552 -x4280 -x5204 -x5316 -x5428 -x5708 -x8312 -x8508 -x9544 -x9656 -x9768 -x10160 -x10524 -x2408 -x2520 -x3556 -x4284 -x5208 -x5320 -x5432 -x5712 -x8316 -x8512 -x9548 -x9660 -x9772 -x10164 -x10528 -x284 -x648 -x3084 -x4988 -x9776 -x288 -x652 -x3088 -x4992 -x9780 -x292 -x656 -x3092 -x4996 -x9784 -x296 -x660 -x3096 -x5000 -x9788 -x300 -x664 -x3100 -x5004 -x9792 -x304 -x668 -x3104 -x5008 -x9796 -x308 -x672 -x3108 -x5012 -x9800 -x312 -x676 -x3112 -x5016 -x9804 -x316 -x680 -x3116 -x5020 -x9808 -x320 -x684 -x3120 -x5024 -x9812 -x324 -x688 -x3124 -x5028 -x9816 -x328 x692 -x3128 -x5032 -x9820 -x332 -x696 -x3132 -x5036 -x9824 -x336 -x700 -x3136 -x5040 -x9828 -x340 -x704 -x3140 -x5044 -x9832 -x344 -x708 -x3144 -x5048 -x9836 x348 -x712 -x3148 -x5052 x9840 -x352 -x716 -x3152 -x5056 -x9844 -x356 -x720 x3156 x5060 -x9848 -x360 -x724 -x3160 -x5064 -x9852 -x364 -x728 -x3164 -x5068 -x9856 -x368 -x732 -x3168 -x5072 -x9860 -x372 -x736 -x3172 -x5076 -x9864 -x376 -x740 -x3176 -x5080 -x9868 -x380 -x744 -x3180 -x5084 -x9872 -x384 -x748 -x3184 -x5088 -x9876 -x388 -x752 -x3188 -x5092 -x9880 -x392 -x756 -x3192 -x5096 -x9884 -x2 -x6 -x10 -x14 -x18 -x22 -x26 -x30 x34 -x38 -x42 -x46 -x50 -x54 -x58 -x62 -x66 -x70 -x74 -x78 -x82 -x86 -x90 -x94 -x98 -x102 -x106 -x110 -x757 -x762 -x767 -x772 -x777 -x782 -x787 -x792 x797 -x802 -x807 -x812 -x817 -x822 -x827 -x832 -x837 -x842 -x847 -x852 -x857 -x862 -x867 -x872 -x877 -x882 -x887 -x892 -x761 -x766 -x771 -x776 -x781 -x786 -x791 -x796 -x801 -x806 -x811 -x816 -x821 -x826 -x831 -x836 -x841 -x846 -x851 -x856 -x861 x866 -x871 -x876 -x881 -x886 -x891 -x896 -x897 -x902 -x907 -x912 -x917 -x922 -x927 x932 -x937 -x942 -x947 -x952 -x957 -x962 -x967 -x972 -x977 -x982 -x987 -x992 -x997 -x1002 -x1007 -x1012 -x1017 -x1022 -x1027 -x1032 -x901 -x906 -x911 -x916 -x921 -x926 -x931 -x936 -x941 -x946 -x951 -x956 -x961 -x966 -x971 x976 -x981 -x986 -x991 -x996 -x1001 -x1006 -x1011 -x1016 -x1021 -x1026 -x1031 -x1036 -x1908 -x1912 -x1916 -x1920 -x1924 -x1928 -x1932 -x1936 -x1940 -x1944 -x1948 -x1952 x1956 -x1960 -x1964 -x1968 -x1972 -x1976 -x1980 -x1984 -x1988 -x1992 -x1996 -x2000 -x2004 -x2008 -x2012 -x2016 -x2020 -x2024 -x2028 -x2032 -x2036 -x2040 x2044 -x2048 -x2052 -x2056 -x2060 -x2064 -x2068 -x2072 -x2076 -x2080 -x2084 -x2088 -x2092 -x2096 -x2100 -x2104 -x2108 -x2112 -x2116 -x2120 -x2124 -x2128 -x2607 -x2612 -x2617 -x2622 -x2627 -x2632 -x2637 -x2642 -x2647 -x2652 -x2657 -x2662 -x2667 -x2672 -x2677 -x2682 -x2687 x2692 -x2697 -x2702 -x2707 -x2712 -x2717 -x2722 -x2727 -x2732 -x2737 -x2742 -x2609 -x2614 -x2619 -x2624 -x2629 -x2634 -x2639 -x2644 -x2649 -x2654 -x2659 -x2664 -x2669 -x2674 -x2679 -x2684 -x2689 -x2694 -x2699 -x2704 x2709 -x2714 -x2719 -x2724 -x2729 -x2734 -x2739 -x2744 -x3644 -x3648 -x3652 -x3656 -x3660 -x3664 -x3668 -x3672 -x3676 -x3680 -x3684 -x3688 x3692 -x3696 -x3700 -x3704 -x3708 -x3712 -x3716 -x3720 -x3724 -x3728 -x3732 -x3736 -x3740 -x3744 -x3748 -x3752 -x3838 -x3842 -x3846 -x3850 -x3854 -x3858 -x3862 -x3866 -x3870 -x3874 -x3878 -x3882 -x3886 -x3890 -x3894 -x3898 -x3902 -x3906 -x3910 x3914 -x3918 -x3922 -x3926 -x3930 -x3934 -x3938 -x3942 -x3946 -x4035 -x4040 -x4045 -x4050 -x4055 x4060 -x4065 -x4070 -x4075 -x4080 -x4085 -x4090 -x4095 -x4100 -x4105 -x4110 -x4115 -x4120 -x4125 -x4130 -x4135 -x4140 -x4145 -x4150 -x4155 -x4160 -x4165 -x4170 -x4037 -x4042 -x4047 -x4052 -x4057 -x4062 -x4067 -x4072 x4077 -x4082 -x4087 -x4092 -x4097 -x4102 -x4107 -x4112 -x4117 -x4122 -x4127 -x4132 -x4137 -x4142 -x4147 -x4152 -x4157 -x4162 -x4167 -x4172 -x4455 -x4460 -x4465 -x4470 -x4475 -x4480 -x4485 -x4490 -x4495 -x4500 -x4505 x4510 -x4515 -x4520 -x4525 -x4530 -x4535 -x4540 -x4545 -x4550 -x4555 -x4560 -x4565 -x4570 -x4575 -x4580 -x4585 -x4590 -x4457 -x4462 -x4467 -x4472 -x4477 -x4482 -x4487 -x4492 -x4497 -x4502 -x4507 -x4512 -x4517 -x4522 -x4527 -x4532 x4537 -x4542 -x4547 -x4552 -x4557 -x4562 -x4567 -x4572 -x4577 -x4582 -x4587 -x4592 -x4678 -x4682 -x4686 -x4690 -x4694 -x4698 -x4702 -x4706 x4710 -x4714 -x4718 -x4722 -x4726 -x4730 -x4734 -x4738 -x4742 -x4746 -x4750 -x4754 -x4758 -x4762 -x4766 -x4770 -x4774 -x4778 -x4782 -x4786 -x4790 -x4794 -x4798 -x4802 -x4806 -x4810 -x4814 -x4818 -x4822 -x4826 -x4830 -x4834 x4838 -x4842 -x4846 -x4850 -x4854 -x4858 -x4862 -x4866 -x4870 -x4874 -x4878 -x4882 -x4886 -x4890 -x4894 -x4898 -x5912 -x5916 -x5920 -x5924 -x5928 -x5932 -x5936 -x5940 -x5944 -x5948 -x5952 x5956 -x5960 -x5964 -x5968 -x5972 -x5976 -x5980 -x5984 -x5988 -x5992 -x5996 -x6000 -x6004 -x6008 -x6012 -x6016 -x6020 -x6024 -x6028 -x6032 -x6036 -x6040 -x6044 -x6048 -x6052 -x6056 -x6060 -x6064 -x6068 -x6072 -x6076 -x6080 -x6084 -x6088 -x6092 -x6096 -x6100 -x6104 x6108 -x6112 -x6116 -x6120 -x6124 -x6128 -x6132 -x7872 -x7876 -x7880 -x7884 -x7888 -x7892 -x7896 -x7900 -x7904 -x7908 -x7912 -x7916 -x7920 -x7924 -x7928 -x7932 -x7936 -x7940 x7944 -x7948 -x7952 -x7956 -x7960 -x7964 -x7968 -x7972 -x7976 -x7980 -x8096 -x8100 -x8104 -x8108 -x8112 -x8116 -x8120 -x8124 x8128 -x8132 -x8136 -x8140 -x8144 -x8148 -x8152 -x8156 -x8160 -x8164 -x8168 -x8172 -x8176 -x8180 -x8184 -x8188 -x8192 -x8196 -x8200 -x8204 -x8681 -x8686 -x8691 -x8696 -x8701 -x8706 -x8711 -x8716 -x8721 -x8726 x8731 -x8736 -x8741 -x8746 -x8751 -x8756 -x8761 -x8766 -x8771 -x8776 -x8781 -x8786 -x8791 -x8796 -x8801 -x8806 -x8811 -x8816 -x8685 -x8690 -x8695 -x8700 -x8705 -x8710 -x8715 -x8720 -x8725 -x8730 -x8735 -x8740 -x8745 -x8750 -x8755 -x8760 -x8765 x8770 -x8775 -x8780 -x8785 -x8790 -x8795 -x8800 -x8805 -x8810 -x8815 -x8820 -x8821 -x8826 -x8831 -x8836 x8841 -x8846 -x8851 -x8856 -x8861 -x8866 -x8871 -x8876 -x8881 -x8886 -x8891 -x8896 -x8901 -x8906 -x8911 -x8916 -x8921 -x8926 -x8931 -x8936 -x8941 -x8946 -x8951 -x8956 -x8825 -x8830 -x8835 -x8840 -x8845 -x8850 -x8855 x8860 -x8865 -x8870 -x8875 -x8880 -x8885 -x8890 -x8895 -x8900 -x8905 -x8910 -x8915 -x8920 -x8925 -x8930 -x8935 -x8940 -x8945 -x8950 -x8955 -x8960 -x8962 -x8966 -x8970 -x8974 -x8978 -x8982 -x8986 -x8990 -x8994 -x8998 -x9002 -x9006 -x9010 -x9014 -x9018 x9022 -x9026 -x9030 -x9034 -x9038 -x9042 -x9046 -x9050 -x9054 -x9058 -x9062 -x9066 -x9070 -x9242 -x9246 -x9250 -x9254 -x9258 -x9262 -x9266 x9270 -x9274 -x9278 -x9282 -x9286 -x9290 -x9294 -x9298 -x9302 -x9306 -x9310 -x9314 -x9318 -x9322 -x9326 -x9330 -x9334 -x9338 -x9342 -x9346 -x9350 185.43/185.55 c Total CPU time: 180.479 s
OK 9340
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2655993-1276362562/watcher-2655993-1276362562 -o /tmp/evaluation-result-2655993-1276362562/solver-2655993-1276362562 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655993-1276362562.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.02 1.06 3/106 11906 /proc/meminfo: memFree=1724668/2059040 swapFree=4165036/4192956 [pid=11906] ppid=11904 vsize=3908 CPUtime=0 /proc/11906/stat : 11906 (wbo1.4b) R 11904 11906 11234 0 -1 4202496 464 0 0 0 0 0 0 0 18 0 1 0 9912494 4001792 383 1992294400 134512640 135751879 4288692160 18446744073709551615 134613782 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11906/statm: 977 383 141 303 0 556 0 [startup+0.0765181 s] /proc/loadavg: 1.00 1.02 1.06 3/106 11906 /proc/meminfo: memFree=1724668/2059040 swapFree=4165036/4192956 [pid=11906] ppid=11904 vsize=6000 CPUtime=0.07 /proc/11906/stat : 11906 (wbo1.4b) R 11904 11906 11234 0 -1 4202496 1078 0 0 0 7 0 0 0 18 0 1 0 9912494 6144000 997 1992294400 134512640 135751879 4288692160 18446744073709551615 135187994 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11906/statm: 1500 997 240 303 0 1079 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 6000 [startup+0.101522 s] /proc/loadavg: 1.00 1.02 1.06 3/106 11906 /proc/meminfo: memFree=1724668/2059040 swapFree=4165036/4192956 [pid=11906] ppid=11904 vsize=6024 CPUtime=0.09 /proc/11906/stat : 11906 (wbo1.4b) R 11904 11906 11234 0 -1 4202496 1549 0 0 0 9 0 0 0 18 0 1 0 9912494 6168576 1038 1992294400 134512640 135751879 4288692160 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11906/statm: 1506 1038 146 303 0 1201 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6024 [startup+0.301558 s] /proc/loadavg: 1.00 1.02 1.06 3/106 11906 /proc/meminfo: memFree=1724668/2059040 swapFree=4165036/4192956 [pid=11906] ppid=11904 vsize=6672 CPUtime=0.29 /proc/11906/stat : 11906 (wbo1.4b) R 11904 11906 11234 0 -1 4202496 1687 0 0 0 28 1 0 0 18 0 1 0 9912494 6832128 1176 1992294400 134512640 135751879 4288692160 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11906/statm: 1668 1176 147 303 0 1363 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6672 [startup+0.700634 s] /proc/loadavg: 1.00 1.02 1.06 3/106 11906 /proc/meminfo: memFree=1724668/2059040 swapFree=4165036/4192956 [pid=11906] ppid=11904 vsize=7852 CPUtime=0.69 /proc/11906/stat : 11906 (wbo1.4b) R 11904 11906 11234 0 -1 4202496 1997 0 0 0 66 3 0 0 18 0 1 0 9912494 8040448 1486 1992294400 134512640 135751879 4288692160 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11906/statm: 1963 1486 147 303 0 1658 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7852 [startup+1.50078 s] /proc/loadavg: 1.00 1.02 1.06 2/107 11907 /proc/meminfo: memFree=1718336/2059040 swapFree=4165036/4192956 [pid=11906] ppid=11904 vsize=10292 CPUtime=1.49 /proc/11906/stat : 11906 (wbo1.4b) R 11904 11906 11234 0 -1 4202496 2589 0 0 0 138 11 0 0 19 0 1 0 9912494 10539008 2078 1992294400 134512640 135751879 4288692160 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11906/statm: 2573 2078 148 303 0 2268 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10292 [startup+3.10108 s] /proc/loadavg: 1.00 1.02 1.06 2/107 11907 /proc/meminfo: memFree=1715112/2059040 swapFree=4165036/4192956 [pid=11906] ppid=11904 vsize=14084 CPUtime=3.09 /proc/11906/stat : 11906 (wbo1.4b) R 11904 11906 11234 0 -1 4202496 3547 0 0 0 282 27 0 0 23 0 1 0 9912494 14422016 3036 1992294400 134512640 135751879 4288692160 18446744073709551615 134606323 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11906/statm: 3521 3036 148 303 0 3216 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14084 [startup+6.30068 s] /proc/loadavg: 1.00 1.02 1.06 2/107 11907 /proc/meminfo: memFree=1707672/2059040 swapFree=4165036/4192956 [pid=11906] ppid=11904 vsize=21012 CPUtime=6.29 /proc/11906/stat : 11906 (wbo1.4b) R 11904 11906 11234 0 -1 4202496 5285 0 0 0 568 61 0 0 25 0 1 0 9912494 21516288 4774 1992294400 134512640 135751879 4288692160 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11906/statm: 5253 4774 148 303 0 4948 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21012 [startup+12.7009 s] /proc/loadavg: 1.00 1.02 1.06 2/107 11907 /proc/meminfo: memFree=1688452/2059040 swapFree=4165036/4192956 [pid=11906] ppid=11904 vsize=40952 CPUtime=12.69 /proc/11906/stat : 11906 (wbo1.4b) R 11904 11906 11234 0 -1 4202496 10270 0 0 0 1150 119 0 0 25 0 1 0 9912494 41934848 9759 1992294400 134512640 135751879 4288692160 18446744073709551615 134639073 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11906/statm: 10238 9759 148 303 0 9933 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 40952 [startup+25.5013 s] /proc/loadavg: 1.00 1.02 1.06 2/107 11907 /proc/meminfo: memFree=1604008/2059040 swapFree=4165036/4192956 [pid=11906] ppid=11904 vsize=126080 CPUtime=25.48 /proc/11906/stat : 11906 (wbo1.4b) R 11904 11906 11234 0 -1 4202496 31532 0 0 0 2356 192 0 0 25 0 1 0 9912494 129105920 31021 1992294400 134512640 135751879 4288692160 18446744073709551615 134607671 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11906/statm: 31520 31021 148 303 0 31215 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 126080 [startup+51.101 s] /proc/loadavg: 1.00 1.02 1.05 2/107 11907 /proc/meminfo: memFree=1355140/2059040 swapFree=4165036/4192956 [pid=11906] ppid=11904 vsize=377472 CPUtime=51.07 /proc/11906/stat : 11906 (wbo1.4b) R 11904 11906 11234 0 -1 4202496 94399 0 0 0 4822 285 0 0 25 0 1 0 9912494 386531328 93888 1992294400 134512640 135751879 4288692160 18446744073709551615 134611176 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11906/statm: 94368 93888 148 303 0 94063 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 377472 [startup+102.308 s] /proc/loadavg: 1.00 1.01 1.05 2/107 11909 /proc/meminfo: memFree=967888/2059040 swapFree=4165036/4192956 [pid=11906] ppid=11904 vsize=757708 CPUtime=102.26 /proc/11906/stat : 11906 (wbo1.4b) R 11904 11906 11234 0 -1 4202496 189445 0 0 0 9834 392 0 0 25 0 1 0 9912494 775892992 188934 1992294400 134512640 135751879 4288692160 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11906/statm: 189427 188934 148 303 0 189122 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 757708 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.04 2/107 11911 /proc/meminfo: memFree=457380/2059040 swapFree=4165036/4192956 [pid=11906] ppid=11904 vsize=1272544 CPUtime=162.23 /proc/11906/stat : 11906 (wbo1.4b) R 11904 11906 11234 0 -1 4202496 318159 0 0 0 15746 477 0 0 25 0 1 0 9912494 1303085056 317648 1992294400 134512640 135751879 4288692160 18446744073709551615 134611186 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11906/statm: 318136 317648 148 303 0 317831 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 1272544 Solver just ended. Dumping a history of the last processes samples [startup+166.302 s] /proc/loadavg: 1.00 1.00 1.04 2/107 11911 /proc/meminfo: memFree=415468/2059040 swapFree=4165036/4192956 [pid=11906] ppid=11904 vsize=1311236 CPUtime=166.23 /proc/11906/stat : 11906 (wbo1.4b) R 11904 11906 11234 0 -1 4202496 327821 0 0 0 16141 482 0 0 25 0 1 0 9912494 1342705664 327310 1992294400 134512640 135751879 4288692160 18446744073709551615 134611152 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11906/statm: 327809 327310 148 303 0 327504 0 Current children cumulated CPU time (s) 166.23 Current children cumulated vsize (KiB) 1311236 [startup+179.101 s] /proc/loadavg: 1.00 1.00 1.04 2/107 11911 /proc/meminfo: memFree=308704/2059040 swapFree=4165036/4192956 [pid=11906] ppid=11904 vsize=1422988 CPUtime=179.02 /proc/11906/stat : 11906 (wbo1.4b) R 11904 11906 11234 0 -1 4202496 355753 0 0 0 17407 495 0 0 25 0 1 0 9912494 1457139712 355242 1992294400 134512640 135751879 4288692160 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11906/statm: 355747 355242 148 303 0 355442 0 Current children cumulated CPU time (s) 179.02 Current children cumulated vsize (KiB) 1422988 [startup+182.302 s] /proc/loadavg: 1.00 1.00 1.04 2/107 11911 /proc/meminfo: memFree=281796/2059040 swapFree=4165036/4192956 [pid=11906] ppid=11904 vsize=1449208 CPUtime=182.22 /proc/11906/stat : 11906 (wbo1.4b) R 11904 11906 11234 0 -1 4202496 362314 0 0 0 17724 498 0 0 25 0 1 0 9912494 1483988992 361803 1992294400 134512640 135751879 4288692160 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11906/statm: 362302 361803 148 303 0 361997 0 Current children cumulated CPU time (s) 182.22 Current children cumulated vsize (KiB) 1449208 [startup+183.901 s] /proc/loadavg: 1.00 1.00 1.04 2/107 11911 /proc/meminfo: memFree=264064/2059040 swapFree=4165036/4192956 [pid=11906] ppid=11904 vsize=1461780 CPUtime=183.82 /proc/11906/stat : 11906 (wbo1.4b) R 11904 11906 11234 0 -1 4202496 365469 0 0 0 17883 499 0 0 25 0 1 0 9912494 1496862720 364958 1992294400 134512640 135751879 4288692160 18446744073709551615 134616526 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11906/statm: 365445 364958 148 303 0 365140 0 Current children cumulated CPU time (s) 183.82 Current children cumulated vsize (KiB) 1461780 [startup+184.701 s] /proc/loadavg: 1.00 1.00 1.04 2/107 11911 /proc/meminfo: memFree=255136/2059040 swapFree=4165036/4192956 [pid=11906] ppid=11904 vsize=1468588 CPUtime=184.63 /proc/11906/stat : 11906 (wbo1.4b) R 11904 11906 11234 0 -1 4202496 367153 0 0 0 17963 500 0 0 25 0 1 0 9912494 1503834112 366642 1992294400 134512640 135751879 4288692160 18446744073709551615 134606387 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11906/statm: 367147 366642 148 303 0 366842 0 Current children cumulated CPU time (s) 184.63 Current children cumulated vsize (KiB) 1468588 [startup+185.501 s] /proc/loadavg: 1.00 1.00 1.04 2/107 11911 /proc/meminfo: memFree=255136/2059040 swapFree=4165036/4192956 [pid=11906] ppid=11904 vsize=1474232 CPUtime=185.43 /proc/11906/stat : 11906 (wbo1.4b) R 11904 11906 11234 0 -1 4202496 368523 0 0 0 18042 501 0 0 25 0 1 0 9912494 1509613568 368012 1992294400 134512640 135751879 4288692160 18446744073709551615 135200324 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11906/statm: 368558 368012 149 303 0 368253 0 Current children cumulated CPU time (s) 185.43 Current children cumulated vsize (KiB) 1474232 [startup+185.701 s] /proc/loadavg: 1.00 1.00 1.04 2/107 11911 /proc/meminfo: memFree=255136/2059040 swapFree=4165036/4192956 [pid=11906] ppid=11904 vsize=0 CPUtime=185.62 /proc/11906/stat : 11906 (wbo1.4b) R 11904 11906 11234 0 -1 4202500 368566 0 0 0 18047 515 0 0 25 0 1 0 9912494 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/11906/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 185.62 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 185.701 CPU time (s): 185.634 CPU user time (s): 180.479 CPU system time (s): 5.15522 CPU usage (%): 99.964 Max. virtual memory (cumulated for all children) (KiB): 1474232 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.479 system time used= 5.15522 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 368566 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= 5 involuntary context switches= 577 runsolver used 0.345947 second user time and 0.856869 second system time The end
Begin job on node019 at 2010-06-12 19:09:22 IDJOB=2655993 IDBENCH=1882 IDSOLVER=1161 FILE ID=node019/2655993-1276362562 PBS_JOBID= 11173208 Free space on /tmp= 62356 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mitre.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655993-1276362562/watcher-2655993-1276362562 -o /tmp/evaluation-result-2655993-1276362562/solver-2655993-1276362562 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655993-1276362562.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2b9af9044591fd3eb9f5def12c800cff RANDOM SEED=635935712 node019.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.264 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.52 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.264 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1725196 kB Buffers: 98244 kB Cached: 134752 kB SwapCached: 1408 kB Active: 102268 kB Inactive: 163632 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1725196 kB SwapTotal: 4192956 kB SwapFree: 4165036 kB Dirty: 3116 kB Writeback: 24 kB AnonPages: 31420 kB Mapped: 15468 kB Slab: 46244 kB PageTables: 4084 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181680 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= 62352 MiB End job on node019 at 2010-06-12 19:12:28