Trace number 3703830

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
pwbo 2.0SAT (TO)21 1800.62 900.609

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_7.opb
MD5SUM7da351a6b3346c83b923d96056c07b3e
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark21
Best CPU time to get the best result obtained on this benchmark263.406
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 21
Optimality of the best value was proved NO
Number of variables12935
Total number of constraints47889
Number of constraints which are clauses47870
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints18
Minimum length of a constraint1
Maximum length of a constraint953
Number of terms in the objective function 953
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 953
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 31
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 984
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

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

Verifier Data

OK	21

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3703830-1338095582/watcher-3703830-1338095582 -o /tmp/evaluation-result-3703830-1338095582/solver-3703830-1338095582 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703830-1338095582.opb 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.99 3.97 3.93 4/178 8762
/proc/meminfo: memFree=28799656/32873648 swapFree=7372/7372
[pid=8762] ppid=8760 vsize=6352 CPUtime=0 cores=1,3,5,7
/proc/8762/stat : 8762 (pwbo2.0) R 8760 8762 7065 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 275684219 6504448 496 33554432000 4194304 5965102 140735699020496 140736645696152 5180812 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/8762/statm: 1588 496 168 433 0 806 0

[startup+0.0424181 s]
/proc/loadavg: 3.99 3.97 3.93 4/178 8762
/proc/meminfo: memFree=28799656/32873648 swapFree=7372/7372
[pid=8762] ppid=8760 vsize=10428 CPUtime=0.03 cores=1,3,5,7
/proc/8762/stat : 8762 (pwbo2.0) R 8760 8762 7065 0 -1 4202496 1661 0 0 0 3 0 0 0 20 0 1 0 275684219 10678272 1613 33554432000 4194304 5965102 140735699020496 140736645696152 4420575 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/8762/statm: 2607 1614 279 433 0 1825 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10428

[startup+0.100283 s]
/proc/loadavg: 3.99 3.97 3.93 4/178 8762
/proc/meminfo: memFree=28799656/32873648 swapFree=7372/7372
[pid=8762] ppid=8760 vsize=17192 CPUtime=0.09 cores=1,3,5,7
/proc/8762/stat : 8762 (pwbo2.0) R 8760 8762 7065 0 -1 4202496 3430 0 0 0 9 0 0 0 20 0 1 0 275684219 17604608 3316 33554432000 4194304 5965102 140735699020496 140736645696152 5137146 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/8762/statm: 4298 3317 458 433 0 3516 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17192

[startup+0.300198 s]
/proc/loadavg: 3.99 3.97 3.93 4/178 8762
/proc/meminfo: memFree=28799656/32873648 swapFree=7372/7372
[pid=8762] ppid=8760 vsize=177088 CPUtime=0.45 cores=1,3,5,7
/proc/8762/stat : 8762 (pwbo2.0) S 8760 8762 7065 0 -1 4202496 12717 0 0 0 39 6 0 0 20 0 3 0 275684219 181338112 11520 33554432000 4194304 5965102 140735699020496 140735699020016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8762/statm: 44272 11520 203 433 0 43836 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 177088

[startup+0.700184 s]
/proc/loadavg: 3.99 3.97 3.93 4/178 8762
/proc/meminfo: memFree=28799656/32873648 swapFree=7372/7372
[pid=8762] ppid=8760 vsize=177088 CPUtime=1.24 cores=1,3,5,7
/proc/8762/stat : 8762 (pwbo2.0) S 8760 8762 7065 0 -1 4202496 13798 0 0 0 118 6 0 0 20 0 3 0 275684219 181338112 12601 33554432000 4194304 5965102 140735699020496 140735699020016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8762/statm: 44272 12601 203 433 0 43836 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 177088

[startup+1.5003 s]
/proc/loadavg: 3.99 3.97 3.93 5/181 8765
/proc/meminfo: memFree=28746956/32873648 swapFree=7372/7372
[pid=8762] ppid=8760 vsize=177088 CPUtime=2.84 cores=1,3,5,7
/proc/8762/stat : 8762 (pwbo2.0) S 8760 8762 7065 0 -1 4202496 15212 0 0 0 277 7 0 0 20 0 3 0 275684219 181338112 14015 33554432000 4194304 5965102 140735699020496 140735699020016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8762/statm: 44272 14015 203 433 0 43836 0
[pid=8762/tid=8764] ppid=8760 vsize=177088 CPUtime=1.36 cores=1,3,5,7
/proc/8762/task/8764/stat : 8764 (pwbo2.0) R 8760 8762 7065 0 -1 4202560 5672 0 0 0 132 4 0 0 20 0 3 0 275684231 181338112 14015 33554432000 4194304 5965102 140735699020496 139737637890408 4401127 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=8762/tid=8765] ppid=8760 vsize=177088 CPUtime=1.36 cores=1,3,5,7
/proc/8762/task/8765/stat : 8765 (pwbo2.0) R 8760 8762 7065 0 -1 4202560 5127 0 0 0 134 2 0 0 20 0 3 0 275684231 181338112 14015 33554432000 4194304 5965102 140735699020496 139737627400504 5137076 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 177088

[startup+3.10024 s]
/proc/loadavg: 3.99 3.97 3.93 5/181 8765
/proc/meminfo: memFree=28737996/32873648 swapFree=7372/7372
[pid=8762] ppid=8760 vsize=177088 CPUtime=6.04 cores=1,3,5,7
/proc/8762/stat : 8762 (pwbo2.0) S 8760 8762 7065 0 -1 4202496 18589 0 0 0 596 8 0 0 20 0 3 0 275684219 181338112 17392 33554432000 4194304 5965102 140735699020496 140735699020016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8762/statm: 44272 17392 203 433 0 43836 0
[pid=8762/tid=8764] ppid=8760 vsize=177088 CPUtime=2.96 cores=1,3,5,7
/proc/8762/task/8764/stat : 8764 (pwbo2.0) R 8760 8762 7065 0 -1 4202560 6101 0 0 0 292 4 0 0 20 0 3 0 275684231 181338112 17392 33554432000 4194304 5965102 140735699020496 139737637890408 4400955 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=8762/tid=8765] ppid=8760 vsize=177088 CPUtime=2.96 cores=1,3,5,7
/proc/8762/task/8765/stat : 8765 (pwbo2.0) R 8760 8762 7065 0 -1 4202560 8075 0 0 0 293 3 0 0 20 0 3 0 275684231 181338112 17392 33554432000 4194304 5965102 140735699020496 139737627400504 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 177088

[startup+6.30023 s]
/proc/loadavg: 3.99 3.97 3.93 5/181 8765
/proc/meminfo: memFree=28694096/32873648 swapFree=7372/7372
[pid=8762] ppid=8760 vsize=177356 CPUtime=12.44 cores=1,3,5,7
/proc/8762/stat : 8762 (pwbo2.0) S 8760 8762 7065 0 -1 4202496 28527 0 0 0 1233 11 0 0 20 0 3 0 275684219 181612544 27330 33554432000 4194304 5965102 140735699020496 140735699020016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8762/statm: 44339 27330 203 433 0 43903 0
[pid=8762/tid=8764] ppid=8760 vsize=177356 CPUtime=6.16 cores=1,3,5,7
/proc/8762/task/8764/stat : 8764 (pwbo2.0) R 8760 8762 7065 0 -1 4202560 11506 0 0 0 610 6 0 0 20 0 3 0 275684231 181612544 27330 33554432000 4194304 5965102 140735699020496 139737637890040 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=8762/tid=8765] ppid=8760 vsize=177356 CPUtime=6.16 cores=1,3,5,7
/proc/8762/task/8765/stat : 8765 (pwbo2.0) R 8760 8762 7065 0 -1 4202560 12608 0 0 0 611 5 0 0 20 0 3 0 275684231 181612544 27330 33554432000 4194304 5965102 140735699020496 139737627400504 4401582 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 177356

[startup+12.7002 s]
/proc/loadavg: 3.99 3.97 3.93 5/181 8765
/proc/meminfo: memFree=28634592/32873648 swapFree=7372/7372
[pid=8762] ppid=8760 vsize=245244 CPUtime=25.23 cores=1,3,5,7
/proc/8762/stat : 8762 (pwbo2.0) S 8760 8762 7065 0 -1 4202496 41287 0 0 0 2507 16 0 0 20 0 3 0 275684219 251129856 39888 33554432000 4194304 5965102 140735699020496 140735699020016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8762/statm: 61311 39888 203 433 0 60875 0
[pid=8762/tid=8764] ppid=8760 vsize=245244 CPUtime=12.56 cores=1,3,5,7
/proc/8762/task/8764/stat : 8764 (pwbo2.0) R 8760 8762 7065 0 -1 4202560 15645 0 0 0 1249 7 0 0 20 0 3 0 275684231 251129856 39888 33554432000 4194304 5965102 140735699020496 139737637890040 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=8762/tid=8765] ppid=8760 vsize=245244 CPUtime=12.56 cores=1,3,5,7
/proc/8762/task/8765/stat : 8765 (pwbo2.0) R 8760 8762 7065 0 -1 4202560 21229 0 0 0 1247 9 0 0 20 0 3 0 275684231 251129856 39888 33554432000 4194304 5965102 140735699020496 139737627400504 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 245244

[startup+25.5003 s]
/proc/loadavg: 4.07 3.99 3.94 5/181 8765
/proc/meminfo: memFree=28463360/32873648 swapFree=7372/7372
[pid=8762] ppid=8760 vsize=442784 CPUtime=50.83 cores=1,3,5,7
/proc/8762/stat : 8762 (pwbo2.0) S 8760 8762 7065 0 -1 4202496 78180 0 0 0 5056 27 0 0 20 0 3 0 275684219 453410816 76781 33554432000 4194304 5965102 140735699020496 140735699020016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8762/statm: 110696 76781 203 433 0 110260 0
[pid=8762/tid=8764] ppid=8760 vsize=442784 CPUtime=25.36 cores=1,3,5,7
/proc/8762/task/8764/stat : 8764 (pwbo2.0) R 8760 8762 7065 0 -1 4202560 34842 0 0 0 2525 11 0 0 20 0 3 0 275684231 453410816 76781 33554432000 4194304 5965102 140735699020496 139737637889848 5137076 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=8762/tid=8765] ppid=8760 vsize=442784 CPUtime=25.36 cores=1,3,5,7
/proc/8762/task/8765/stat : 8765 (pwbo2.0) R 8760 8762 7065 0 -1 4202560 38925 0 0 0 2520 16 0 0 20 0 3 0 275684231 453410816 76782 33554432000 4194304 5965102 140735699020496 139737627400504 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 442784

[startup+51.1004 s]
/proc/loadavg: 4.04 3.99 3.94 5/181 8765
/proc/meminfo: memFree=28150584/32873648 swapFree=7372/7372
[pid=8762] ppid=8760 vsize=706748 CPUtime=102.01 cores=1,3,5,7
/proc/8762/stat : 8762 (pwbo2.0) S 8760 8762 7065 0 -1 4202496 146467 0 0 0 10151 50 0 0 20 0 3 0 275684219 723709952 145068 33554432000 4194304 5965102 140735699020496 140735699020016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8762/statm: 176687 145068 203 433 0 176251 0
[pid=8762/tid=8764] ppid=8760 vsize=706748 CPUtime=50.96 cores=1,3,5,7
/proc/8762/task/8764/stat : 8764 (pwbo2.0) R 8760 8762 7065 0 -1 4202560 69339 0 0 0 5072 24 0 0 20 0 3 0 275684231 723709952 145068 33554432000 4194304 5965102 140735699020496 139737637890040 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=8762/tid=8765] ppid=8760 vsize=706748 CPUtime=50.96 cores=1,3,5,7
/proc/8762/task/8765/stat : 8765 (pwbo2.0) R 8760 8762 7065 0 -1 4202560 72715 0 0 0 5069 27 0 0 20 0 3 0 275684231 723709952 145068 33554432000 4194304 5965102 140735699020496 139737627400504 4401050 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.01
Current children cumulated vsize (KiB) 706748

[startup+102.307 s]
/proc/loadavg: 4.02 3.99 3.94 5/181 8765
/proc/meminfo: memFree=27742916/32873648 swapFree=7372/7372
[pid=8762] ppid=8760 vsize=1036680 CPUtime=204.41 cores=1,3,5,7
/proc/8762/stat : 8762 (pwbo2.0) S 8760 8762 7065 0 -1 4202496 234396 0 0 0 20360 81 0 0 20 0 3 0 275684219 1061560320 232997 33554432000 4194304 5965102 140735699020496 140735699020016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8762/statm: 259170 232997 203 433 0 258734 0
[pid=8762/tid=8764] ppid=8760 vsize=1036680 CPUtime=102.17 cores=1,3,5,7
/proc/8762/task/8764/stat : 8764 (pwbo2.0) R 8760 8762 7065 0 -1 4202560 104178 0 0 0 10182 35 0 0 20 0 3 0 275684231 1061560320 232997 33554432000 4194304 5965102 140735699020496 139737637890040 4401155 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=8762/tid=8765] ppid=8760 vsize=1036680 CPUtime=102.16 cores=1,3,5,7
/proc/8762/task/8765/stat : 8765 (pwbo2.0) R 8760 8762 7065 0 -1 4202560 125805 0 0 0 10167 49 0 0 20 0 3 0 275684231 1061560320 232997 33554432000 4194304 5965102 140735699020496 139737627400504 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 204.41
Current children cumulated vsize (KiB) 1036680

[startup+162.3 s]
/proc/loadavg: 4.00 3.99 3.94 5/181 8765
/proc/meminfo: memFree=27284536/32873648 swapFree=7372/7372
[pid=8762] ppid=8760 vsize=1430936 CPUtime=324.36 cores=1,3,5,7
/proc/8762/stat : 8762 (pwbo2.0) S 8760 8762 7065 0 -1 4202496 332958 0 0 0 32323 113 0 0 20 0 3 0 275684219 1465278464 331570 33554432000 4194304 5965102 140735699020496 140735699020016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8762/statm: 357734 331570 203 433 0 357298 0
[pid=8762/tid=8764] ppid=8760 vsize=1430936 CPUtime=162.16 cores=1,3,5,7
/proc/8762/task/8764/stat : 8764 (pwbo2.0) R 8760 8762 7065 0 -1 4202560 174569 0 0 0 16158 58 0 0 20 0 3 0 275684231 1465278464 331570 33554432000 4194304 5965102 140735699020496 139737637890040 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=8762/tid=8765] ppid=8760 vsize=1430936 CPUtime=162.14 cores=1,3,5,7
/proc/8762/task/8765/stat : 8765 (pwbo2.0) R 8760 8762 7065 0 -1 4202560 153976 0 0 0 16155 59 0 0 20 0 3 0 275684231 1465278464 331570 33554432000 4194304 5965102 140735699020496 139737627400504 4401143 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 324.36
Current children cumulated vsize (KiB) 1430936

[startup+222.3 s]
/proc/loadavg: 4.00 3.99 3.94 5/181 8766
/proc/meminfo: memFree=27055508/32873648 swapFree=7372/7372
[pid=8762] ppid=8760 vsize=1563180 CPUtime=444.31 cores=1,3,5,7
/proc/8762/stat : 8762 (pwbo2.0) S 8760 8762 7065 0 -1 4202496 367174 0 0 0 44305 126 0 0 20 0 3 0 275684219 1600696320 365772 33554432000 4194304 5965102 140735699020496 140735699020016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8762/statm: 390795 365772 203 433 0 390359 0
[pid=8762/tid=8764] ppid=8760 vsize=1563180 CPUtime=222.13 cores=1,3,5,7
/proc/8762/task/8764/stat : 8764 (pwbo2.0) R 8760 8762 7065 0 -1 4202560 206232 0 0 0 22142 71 0 0 20 0 3 0 275684231 1600696320 365772 33554432000 4194304 5965102 140735699020496 139737637890040 4401155 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=8762/tid=8765] ppid=8760 vsize=1563180 CPUtime=222.14 cores=1,3,5,7
/proc/8762/task/8765/stat : 8765 (pwbo2.0) R 8760 8762 7065 0 -1 4202560 156529 0 0 0 22152 62 0 0 20 0 3 0 275684231 1600696320 365772 33554432000 4194304 5965102 140735699020496 139737627400504 4393869 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 444.31
Current children cumulated vsize (KiB) 1563180

[startup+282.3 s]
/proc/loadavg: 4.00 3.99 3.94 5/181 8766
/proc/meminfo: memFree=26746156/32873648 swapFree=7372/7372
[pid=8762] ppid=8760 vsize=1760696 CPUtime=564.26 cores=1,3,5,7
/proc/8762/stat : 8762 (pwbo2.0) S 8760 8762 7065 0 -1 4202496 423020 0 0 0 56279 147 0 0 20 0 3 0 275684219 1802952704 421597 33554432000 4194304 5965102 140735699020496 140735699020016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8762/statm: 440174 421597 203 433 0 439738 0
[pid=8762/tid=8764] ppid=8760 vsize=1760696 CPUtime=282.13 cores=1,3,5,7
/proc/8762/task/8764/stat : 8764 (pwbo2.0) R 8760 8762 7065 0 -1 4202560 206253 0 0 0 28141 72 0 0 20 0 3 0 275684231 1802952704 421597 33554432000 4194304 5965102 140735699020496 139737637890040 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=8762/tid=8765] ppid=8760 vsize=1760696 CPUtime=282.12 cores=1,3,5,7
/proc/8762/task/8765/stat : 8765 (pwbo2.0) R 8760 8762 7065 0 -1 4202560 212354 0 0 0 28128 84 0 0 20 0 3 0 275684231 1802952704 421597 33554432000 4194304 5965102 140735699020496 139737627400504 4401096 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 564.26
Current children cumulated vsize (KiB) 1760696

[startup+342.3 s]
/proc/loadavg: 4.00 3.99 3.94 5/181 8766
/proc/meminfo: memFree=26455308/32873648 swapFree=7372/7372
[pid=8762] ppid=8760 vsize=2023864 CPUtime=684.19 cores=1,3,5,7
/proc/8762/stat : 8762 (pwbo2.0) S 8760 8762 7065 0 -1 4202496 477309 0 0 0 68251 168 0 0 20 0 3 0 275684219 2072436736 475861 33554432000 4194304 5965102 140735699020496 140735699020016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8762/statm: 505966 475861 203 433 0 505530 0
[pid=8762/tid=8764] ppid=8760 vsize=2023864 CPUtime=342.12 cores=1,3,5,7
/proc/8762/task/8764/stat : 8764 (pwbo2.0) R 8760 8762 7065 0 -1 4202560 206280 0 0 0 34139 73 0 0 20 0 3 0 275684231 2072436736 475861 33554432000 4194304 5965102 140735699020496 139737637890040 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=8762/tid=8765] ppid=8760 vsize=2023864 CPUtime=342.1 cores=1,3,5,7
/proc/8762/task/8765/stat : 8765 (pwbo2.0) R 8760 8762 7065 0 -1 4202560 266616 0 0 0 34104 106 0 0 20 0 3 0 275684231 2072436736 475861 33554432000 4194304 5965102 140735699020496 139737627400504 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 684.19
Current children cumulated vsize (KiB) 2023864

[startup+402.3 s]
/proc/loadavg: 4.00 3.99 3.94 5/181 8766
/proc/meminfo: memFree=26282544/32873648 swapFree=7372/7372
[pid=8762] ppid=8760 vsize=2155404 CPUtime=804.15 cores=1,3,5,7
/proc/8762/stat : 8762 (pwbo2.0) S 8760 8762 7065 0 -1 4202496 515419 0 0 0 80233 182 0 0 20 0 3 0 275684219 2207133696 513961 33554432000 4194304 5965102 140735699020496 140735699020016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8762/statm: 538851 513961 203 433 0 538415 0
[pid=8762/tid=8764] ppid=8760 vsize=2155404 CPUtime=402.1 cores=1,3,5,7
/proc/8762/task/8764/stat : 8764 (pwbo2.0) R 8760 8762 7065 0 -1 4202560 208954 0 0 0 40135 75 0 0 20 0 3 0 275684231 2207133696 513961 33554432000 4194304 5965102 140735699020496 139737637890040 4401107 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=8762/tid=8765] ppid=8760 vsize=2155404 CPUtime=402.08 cores=1,3,5,7
/proc/8762/task/8765/stat : 8765 (pwbo2.0) R 8760 8762 7065 0 -1 4202560 302052 0 0 0 40089 119 0 0 20 0 3 0 275684231 2207133696 513961 33554432000 4194304 5965102 140735699020496 139737627400504 4401188 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 804.15
Current children cumulated vsize (KiB) 2155404

[startup+462.3 s]
/proc/loadavg: 4.00 3.99 3.94 5/182 8769
/proc/meminfo: memFree=26173440/32873648 swapFree=7372/7372
[pid=8762] ppid=8760 vsize=2221500 CPUtime=924.11 cores=1,3,5,7
/proc/8762/stat : 8762 (pwbo2.0) S 8760 8762 7065 0 -1 4202496 536315 0 0 0 92219 192 0 0 20 0 3 0 275684219 2274816000 534838 33554432000 4194304 5965102 140735699020496 140735699020016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8762/statm: 555375 534838 203 433 0 554939 0
[pid=8762/tid=8764] ppid=8760 vsize=2221500 CPUtime=462.09 cores=1,3,5,7
/proc/8762/task/8764/stat : 8764 (pwbo2.0) R 8760 8762 7065 0 -1 4202560 229729 0 0 0 46123 86 0 0 20 0 3 0 275684231 2274816000 534838 33554432000 4194304 5965102 140735699020496 139737637890040 4401155 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=8762/tid=8765] ppid=8760 vsize=2221500 CPUtime=462.07 cores=1,3,5,7
/proc/8762/task/8765/stat : 8765 (pwbo2.0) R 8760 8762 7065 0 -1 4202560 302173 0 0 0 46087 120 0 0 20 0 3 0 275684231 2274816000 534838 33554432000 4194304 5965102 140735699020496 139737627400264 4401127 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 924.11
Current children cumulated vsize (KiB) 2221500

[startup+522.3 s]
/proc/loadavg: 4.00 3.99 3.94 5/181 8770
/proc/meminfo: memFree=26068448/32873648 swapFree=7372/7372
[pid=8762] ppid=8760 vsize=2352856 CPUtime=1044.05 cores=1,3,5,7
/proc/8762/stat : 8762 (pwbo2.0) S 8760 8762 7065 0 -1 4202496 557631 0 0 0 104205 200 0 0 20 0 3 0 275684219 2409324544 556110 33554432000 4194304 5965102 140735699020496 140735699020016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8762/statm: 588214 556110 203 433 0 587778 0
[pid=8762/tid=8764] ppid=8760 vsize=2352856 CPUtime=522.08 cores=1,3,5,7
/proc/8762/task/8764/stat : 8764 (pwbo2.0) R 8760 8762 7065 0 -1 4202560 250950 0 0 0 52114 94 0 0 20 0 3 0 275684231 2409324544 556110 33554432000 4194304 5965102 140735699020496 139737637890040 4401127 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=8762/tid=8765] ppid=8760 vsize=2352856 CPUtime=522.05 cores=1,3,5,7
/proc/8762/task/8765/stat : 8765 (pwbo2.0) R 8760 8762 7065 0 -1 4202560 302268 0 0 0 52084 121 0 0 20 0 3 0 275684231 2409324544 556110 33554432000 4194304 5965102 140735699020496 139737627400264 4401131 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1044.05
Current children cumulated vsize (KiB) 2352856

[startup+582.3 s]
/proc/loadavg: 4.00 3.99 3.94 5/181 8770
/proc/meminfo: memFree=25956396/32873648 swapFree=7372/7372
[pid=8762] ppid=8760 vsize=2418528 CPUtime=1164.02 cores=1,3,5,7
/proc/8762/stat : 8762 (pwbo2.0) S 8760 8762 7065 0 -1 4202496 579685 0 0 0 116193 209 0 0 20 0 3 0 275684219 2476572672 578133 33554432000 4194304 5965102 140735699020496 140735699020016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8762/statm: 604632 578133 203 433 0 604196 0
[pid=8762/tid=8764] ppid=8760 vsize=2418528 CPUtime=582.05 cores=1,3,5,7
/proc/8762/task/8764/stat : 8764 (pwbo2.0) R 8760 8762 7065 0 -1 4202560 272963 0 0 0 58101 104 0 0 20 0 3 0 275684231 2476572672 578133 33554432000 4194304 5965102 140735699020496 139737637889848 4393958 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=8762/tid=8765] ppid=8760 vsize=2418528 CPUtime=582.05 cores=1,3,5,7
/proc/8762/task/8765/stat : 8765 (pwbo2.0) R 8760 8762 7065 0 -1 4202560 302309 0 0 0 58083 122 0 0 20 0 3 0 275684231 2476572672 578133 33554432000 4194304 5965102 140735699020496 139737627400264 4401109 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1164.02
Current children cumulated vsize (KiB) 2418528

[startup+642.3 s]
/proc/loadavg: 4.00 3.99 3.94 5/181 8770
/proc/meminfo: memFree=25922456/32873648 swapFree=7372/7372
[pid=8762] ppid=8760 vsize=2418844 CPUtime=1283.98 cores=1,3,5,7
/proc/8762/stat : 8762 (pwbo2.0) S 8760 8762 7065 0 -1 4202496 582317 0 0 0 128188 210 0 0 20 0 3 0 275684219 2476896256 580725 33554432000 4194304 5965102 140735699020496 140735699020016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8762/statm: 604711 580725 203 433 0 604275 0
[pid=8762/tid=8764] ppid=8760 vsize=2418844 CPUtime=642.05 cores=1,3,5,7
/proc/8762/task/8764/stat : 8764 (pwbo2.0) R 8760 8762 7065 0 -1 4202560 272989 0 0 0 64100 105 0 0 20 0 3 0 275684231 2476896256 580725 33554432000 4194304 5965102 140735699020496 139737637889848 4401127 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=8762/tid=8765] ppid=8760 vsize=2418844 CPUtime=642.04 cores=1,3,5,7
/proc/8762/task/8765/stat : 8765 (pwbo2.0) R 8760 8762 7065 0 -1 4202560 304915 0 0 0 64081 123 0 0 20 0 3 0 275684231 2476896256 580725 33554432000 4194304 5965102 140735699020496 139737627400504 4401207 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1283.98
Current children cumulated vsize (KiB) 2418844

[startup+702.3 s]
/proc/loadavg: 4.05 4.00 3.95 5/181 8770
/proc/meminfo: memFree=25791540/32873648 swapFree=7372/7372
[pid=8762] ppid=8760 vsize=2550056 CPUtime=1403.93 cores=1,3,5,7
/proc/8762/stat : 8762 (pwbo2.0) S 8760 8762 7065 0 -1 4202496 610054 0 0 0 140171 222 0 0 20 0 3 0 275684219 2611257344 608426 33554432000 4194304 5965102 140735699020496 140735699020016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8762/statm: 637514 608426 203 433 0 637078 0
[pid=8762/tid=8764] ppid=8760 vsize=2550056 CPUtime=702.04 cores=1,3,5,7
/proc/8762/task/8764/stat : 8764 (pwbo2.0) R 8760 8762 7065 0 -1 4202560 273022 0 0 0 70098 106 0 0 20 0 3 0 275684231 2611257344 608426 33554432000 4194304 5965102 140735699020496 139737637889848 4401127 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=8762/tid=8765] ppid=8760 vsize=2550056 CPUtime=702.01 cores=1,3,5,7
/proc/8762/task/8765/stat : 8765 (pwbo2.0) R 8760 8762 7065 0 -1 4202560 332619 0 0 0 70065 136 0 0 20 0 3 0 275684231 2611257344 608426 33554432000 4194304 5965102 140735699020496 139737627400504 4401611 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1403.93
Current children cumulated vsize (KiB) 2550056

[startup+762.307 s]
/proc/loadavg: 4.02 4.00 3.95 5/181 8770
/proc/meminfo: memFree=25723368/32873648 swapFree=7372/7372
[pid=8762] ppid=8760 vsize=2550056 CPUtime=1523.89 cores=1,3,5,7
/proc/8762/stat : 8762 (pwbo2.0) S 8760 8762 7065 0 -1 4202496 610168 0 0 0 152167 222 0 0 20 0 3 0 275684219 2611257344 608494 33554432000 4194304 5965102 140735699020496 140735699020016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8762/statm: 637514 608494 203 433 0 637078 0
[pid=8762/tid=8764] ppid=8760 vsize=2550056 CPUtime=762.03 cores=1,3,5,7
/proc/8762/task/8764/stat : 8764 (pwbo2.0) R 8760 8762 7065 0 -1 4202560 273086 0 0 0 76096 107 0 0 20 0 3 0 275684231 2611257344 608494 33554432000 4194304 5965102 140735699020496 139737637889848 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=8762/tid=8765] ppid=8760 vsize=2550056 CPUtime=762 cores=1,3,5,7
/proc/8762/task/8765/stat : 8765 (pwbo2.0) R 8760 8762 7065 0 -1 4202560 332669 0 0 0 76063 137 0 0 20 0 3 0 275684231 2611257344 608494 33554432000 4194304 5965102 140735699020496 139737627400504 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1523.89
Current children cumulated vsize (KiB) 2550056

[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/182 8772
/proc/meminfo: memFree=25540116/32873648 swapFree=7372/7372
[pid=8762] ppid=8760 vsize=2616192 CPUtime=1643.83 cores=1,3,5,7
/proc/8762/stat : 8762 (pwbo2.0) S 8760 8762 7065 0 -1 4202496 626629 0 0 0 164155 228 0 0 20 0 3 0 275684219 2678980608 624914 33554432000 4194304 5965102 140735699020496 140735699020016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8762/statm: 654048 624914 203 433 0 653612 0
[pid=8762/tid=8764] ppid=8760 vsize=2616192 CPUtime=822.01 cores=1,3,5,7
/proc/8762/task/8764/stat : 8764 (pwbo2.0) R 8760 8762 7065 0 -1 4202560 289414 0 0 0 82086 115 0 0 20 0 3 0 275684231 2678980608 624914 33554432000 4194304 5965102 140735699020496 139737637890040 4401127 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=8762/tid=8765] ppid=8760 vsize=2616192 CPUtime=821.99 cores=1,3,5,7
/proc/8762/task/8765/stat : 8765 (pwbo2.0) R 8760 8762 7065 0 -1 4202560 332802 0 0 0 82061 138 0 0 20 0 3 0 275684231 2678980608 624914 33554432000 4194304 5965102 140735699020496 139737627400264 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1643.83
Current children cumulated vsize (KiB) 2616192

[startup+882.3 s]
/proc/loadavg: 3.89 3.97 3.93 5/181 9613
/proc/meminfo: memFree=26162436/32873648 swapFree=7372/7372
[pid=8762] ppid=8760 vsize=2813728 CPUtime=1763.78 cores=1,3,5,7
/proc/8762/stat : 8762 (pwbo2.0) S 8760 8762 7065 0 -1 4202496 667504 0 0 0 176135 243 0 0 20 0 3 0 275684219 2881257472 665743 33554432000 4194304 5965102 140735699020496 140735699020016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8762/statm: 703432 665743 203 433 0 702996 0
[pid=8762/tid=8764] ppid=8760 vsize=2813728 CPUtime=882 cores=1,3,5,7
/proc/8762/task/8764/stat : 8764 (pwbo2.0) R 8760 8762 7065 0 -1 4202560 330087 0 0 0 88069 131 0 0 20 0 3 0 275684231 2881257472 665743 33554432000 4194304 5965102 140735699020496 139737637890040 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=8762/tid=8765] ppid=8760 vsize=2813728 CPUtime=881.96 cores=1,3,5,7
/proc/8762/task/8765/stat : 8765 (pwbo2.0) R 8760 8762 7065 0 -1 4202560 333004 0 0 0 88057 139 0 0 20 0 3 0 275684231 2881257472 665743 33554432000 4194304 5965102 140735699020496 139737627400264 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1763.78
Current children cumulated vsize (KiB) 2813728



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.5 s]
/proc/loadavg: 3.92 3.97 3.93 5/181 9613
/proc/meminfo: memFree=26098840/32873648 swapFree=7372/7372
[pid=8762] ppid=8760 vsize=2813728 CPUtime=1800.18 cores=1,3,5,7
/proc/8762/stat : 8762 (pwbo2.0) S 8760 8762 7065 0 -1 4202496 678513 0 0 0 179772 246 0 0 20 0 3 0 275684219 2881257472 676738 33554432000 4194304 5965102 140735699020496 140735699020016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8762/statm: 703432 676738 203 433 0 702996 0
[pid=8762/tid=8764] ppid=8760 vsize=2813728 CPUtime=900.21 cores=1,3,5,7
/proc/8762/task/8764/stat : 8764 (pwbo2.0) R 8760 8762 7065 0 -1 4202560 341071 0 0 0 89887 134 0 0 20 0 3 0 275684231 2881257472 676738 33554432000 4194304 5965102 140735699020496 139737637890040 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=8762/tid=8765] ppid=8760 vsize=2813728 CPUtime=900.15 cores=1,3,5,7
/proc/8762/task/8765/stat : 8765 (pwbo2.0) R 8760 8762 7065 0 -1 4202560 333029 0 0 0 89876 139 0 0 20 0 3 0 275684231 2881257472 676738 33554432000 4194304 5965102 140735699020496 139737627400264 4401127 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 2813728

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+900.5 s]
/proc/loadavg: 3.92 3.97 3.93 5/181 9613
/proc/meminfo: memFree=26098840/32873648 swapFree=7372/7372
[pid=8762] ppid=8760 vsize=2813728 CPUtime=1800.18 cores=1,3,5,7
/proc/8762/stat : 8762 (pwbo2.0) S 8760 8762 7065 0 -1 4202496 678513 0 0 0 179772 246 0 0 20 0 3 0 275684219 2881257472 676738 33554432000 4194304 5965102 140735699020496 140735699020016 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8762/statm: 703432 676738 203 433 0 702996 0
[pid=8762/tid=8764] ppid=8760 vsize=2813728 CPUtime=900.21 cores=1,3,5,7
/proc/8762/task/8764/stat : 8764 (pwbo2.0) R 8760 8762 7065 0 -1 4202560 341071 0 0 0 89887 134 0 0 20 0 3 0 275684231 2881257472 676738 33554432000 4194304 5965102 140735699020496 139737637890040 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=8762/tid=8765] ppid=8760 vsize=2813728 CPUtime=900.15 cores=1,3,5,7
/proc/8762/task/8765/stat : 8765 (pwbo2.0) R 8760 8762 7065 0 -1 4202560 333029 0 0 0 89876 139 0 0 20 0 3 0 275684231 2881257472 676738 33554432000 4194304 5965102 140735699020496 139737627400264 4401127 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 2813728

Child status: 0
Real time (s): 900.609
CPU time (s): 1800.62
CPU user time (s): 1797.77
CPU system time (s): 2.84957
CPU usage (%): 199.933
Max. virtual memory (cumulated for all children) (KiB): 2813728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.77
system time used= 2.84957
maximum resident set size= 2706960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 678515
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= 1854
involuntary context switches= 3513

runsolver used 2.55061 second user time and 4.52631 second system time

The end

Launcher Data

Begin job on node122 at 2012-05-27 07:13:02
IDJOB=3703830
IDBENCH=25014
IDSOLVER=2279
FILE ID=node122/3703830-1338095582
RUNJOBID= node122-1338086209-7082
PBS_JOBID= 14624430
Free space on /tmp= 71688 MiB

SOLVER NAME= pwbo 2.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_7.opb
COMMAND LINE= pwbo2.0 -file-format=opb -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3703830-1338095582/watcher-3703830-1338095582 -o /tmp/evaluation-result-3703830-1338095582/solver-3703830-1338095582 -C 1800 -W 1900 -M 15500  pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703830-1338095582.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 7da351a6b3346c83b923d96056c07b3e
RANDOM SEED=1507269181

node122.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.533
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.533
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.533
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.533
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.533
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.533
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.533
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.533
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28800300 kB
Buffers:          279004 kB
Cached:          2836340 kB
SwapCached:            0 kB
Active:          1272216 kB
Inactive:        2019596 kB
Active(anon):     167500 kB
Inactive(anon):    11052 kB
Active(file):    1104716 kB
Inactive(file):  2008544 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              6736 kB
Writeback:             0 kB
AnonPages:        183388 kB
Mapped:            14652 kB
Shmem:               200 kB
Slab:             644184 kB
SReclaimable:      88232 kB
SUnreclaim:       555952 kB
KernelStack:        1464 kB
PageTables:         3952 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     185016 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71680 MiB
End job on node122 at 2012-05-27 07:28:05