Trace number 3720353

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
PB07: Pueblo 1.4SAT27 1783.04 1783.4

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 Pueblo version 1.4 (September 2005)
0.00/0.00	c Developed @ University of Michigan, Ann Arbor, MI
0.00/0.00	c  by Hossein Sheini
1.49/1.53	c starting to Solve
1.49/1.53	c #variables read: 12935 - #constraints read: 47885
1.49/1.58	o 28
41.88/41.92	o 27
1782.92/1783.39	c total time              : 1783.02 s
1782.92/1783.39	s SATISFIABLE
1782.92/1783.39	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	27

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-3720353-1338510228/watcher-3720353-1338510228 -o /tmp/evaluation-result-3720353-1338510228/solver-3720353-1338510228 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720353-1338510228.opb 

running on 4 cores: 0,2,4,6

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: 2.04 2.03 3.84 3/176 13654
/proc/meminfo: memFree=32036632/32873844 swapFree=7116/7116
[pid=13654] ppid=13652 vsize=3232 CPUtime=0 cores=0,2,4,6
/proc/13654/stat : 13654 (Pueblo) R 13652 13654 11831 0 -1 4202496 352 0 0 0 0 0 0 0 20 0 1 0 317151434 3309568 290 33554432000 134512640 134579096 4290740112 4290607536 134546735 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13654/statm: 808 290 219 17 0 114 0

[startup+0.0518531 s]
/proc/loadavg: 2.04 2.03 3.84 3/176 13654
/proc/meminfo: memFree=32036632/32873844 swapFree=7116/7116
[pid=13654] ppid=13652 vsize=4564 CPUtime=0.04 cores=0,2,4,6
/proc/13654/stat : 13654 (Pueblo) R 13652 13654 11831 0 -1 4202496 675 0 0 0 4 0 0 0 20 0 1 0 317151434 4673536 613 33554432000 134512640 134579096 4290740112 4290607516 6144648 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13654/statm: 1141 613 219 17 0 447 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4564

[startup+0.100219 s]
/proc/loadavg: 2.04 2.03 3.84 3/176 13654
/proc/meminfo: memFree=32036632/32873844 swapFree=7116/7116
[pid=13654] ppid=13652 vsize=5764 CPUtime=0.09 cores=0,2,4,6
/proc/13654/stat : 13654 (Pueblo) R 13652 13654 11831 0 -1 4202496 996 0 0 0 9 0 0 0 20 0 1 0 317151434 5902336 934 33554432000 134512640 134579096 4290740112 4290607512 6143984 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13654/statm: 1441 934 219 17 0 747 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5764

[startup+0.30022 s]
/proc/loadavg: 2.04 2.03 3.84 3/176 13654
/proc/meminfo: memFree=32036632/32873844 swapFree=7116/7116
[pid=13654] ppid=13652 vsize=11984 CPUtime=0.29 cores=0,2,4,6
/proc/13654/stat : 13654 (Pueblo) R 13652 13654 11831 0 -1 4202496 2488 0 0 0 29 0 0 0 20 0 1 0 317151434 12271616 2426 33554432000 134512640 134579096 4290740112 4290739072 134532448 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13654/statm: 2996 2426 227 17 0 2302 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11984

[startup+0.700216 s]
/proc/loadavg: 2.04 2.03 3.84 3/176 13654
/proc/meminfo: memFree=32036632/32873844 swapFree=7116/7116
[pid=13654] ppid=13652 vsize=11984 CPUtime=0.69 cores=0,2,4,6
/proc/13654/stat : 13654 (Pueblo) R 13652 13654 11831 0 -1 4202496 2504 0 0 0 69 0 0 0 20 0 1 0 317151434 12271616 2442 33554432000 134512640 134579096 4290740112 4290739072 134532448 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13654/statm: 2996 2442 227 17 0 2302 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11984

[startup+1.50022 s]
/proc/loadavg: 2.04 2.03 3.84 3/177 13655
/proc/meminfo: memFree=32027912/32873844 swapFree=7116/7116
[pid=13654] ppid=13652 vsize=13944 CPUtime=1.49 cores=0,2,4,6
/proc/13654/stat : 13654 (Pueblo) R 13652 13654 11831 0 -1 4202496 2990 0 0 0 149 0 0 0 20 0 1 0 317151434 14278656 2928 33554432000 134512640 134579096 4290740112 4290739072 134532448 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13654/statm: 3486 2928 227 17 0 2792 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13944

[startup+3.10022 s]
/proc/loadavg: 2.04 2.03 3.84 3/177 13655
/proc/meminfo: memFree=32025308/32873844 swapFree=7116/7116
[pid=13654] ppid=13652 vsize=14552 CPUtime=3.09 cores=0,2,4,6
/proc/13654/stat : 13654 (Pueblo) R 13652 13654 11831 0 -1 4202496 3131 0 0 0 309 0 0 0 20 0 1 0 317151434 14901248 3069 33554432000 134512640 134579096 4290740112 4290738768 134522754 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13654/statm: 3638 3069 228 17 0 2944 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14552

[startup+6.30022 s]
/proc/loadavg: 2.04 2.03 3.83 3/177 13655
/proc/meminfo: memFree=32024812/32873844 swapFree=7116/7116
[pid=13654] ppid=13652 vsize=14552 CPUtime=6.29 cores=0,2,4,6
/proc/13654/stat : 13654 (Pueblo) R 13652 13654 11831 0 -1 4202496 3131 0 0 0 628 1 0 0 20 0 1 0 317151434 14901248 3069 33554432000 134512640 134579096 4290740112 4290738960 134527740 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13654/statm: 3638 3069 228 17 0 2944 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14552

[startup+12.7003 s]
/proc/loadavg: 2.04 2.03 3.82 3/177 13655
/proc/meminfo: memFree=32018800/32873844 swapFree=7116/7116
[pid=13654] ppid=13652 vsize=21296 CPUtime=12.68 cores=0,2,4,6
/proc/13654/stat : 13654 (Pueblo) R 13652 13654 11831 0 -1 4202496 4812 0 0 0 1267 1 0 0 20 0 1 0 317151434 21807104 4741 33554432000 134512640 134579096 4290740112 4290738768 134522733 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13654/statm: 5324 4741 228 17 0 4630 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 21296

[startup+25.5003 s]
/proc/loadavg: 2.03 2.03 3.79 3/177 13655
/proc/meminfo: memFree=32010964/32873844 swapFree=7116/7116
[pid=13654] ppid=13652 vsize=25736 CPUtime=25.48 cores=0,2,4,6
/proc/13654/stat : 13654 (Pueblo) R 13652 13654 11831 0 -1 4202496 6245 0 0 0 2546 2 0 0 20 0 1 0 317151434 26353664 5865 33554432000 134512640 134579096 4290740112 4290738768 134522706 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13654/statm: 6434 5865 228 17 0 5740 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 25736

[startup+51.1003 s]
/proc/loadavg: 2.02 2.02 3.74 3/177 13655
/proc/meminfo: memFree=31983404/32873844 swapFree=7116/7116
[pid=13654] ppid=13652 vsize=42848 CPUtime=51.08 cores=0,2,4,6
/proc/13654/stat : 13654 (Pueblo) R 13652 13654 11831 0 -1 4202496 10642 0 0 0 5104 4 0 0 20 0 1 0 317151434 43876352 10143 33554432000 134512640 134579096 4290740112 4290738928 134519095 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13654/statm: 10712 10143 228 17 0 10018 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 42848

[startup+102.306 s]
/proc/loadavg: 2.01 2.02 3.64 3/177 13655
/proc/meminfo: memFree=31931260/32873844 swapFree=7116/7116
[pid=13654] ppid=13652 vsize=87236 CPUtime=102.26 cores=0,2,4,6
/proc/13654/stat : 13654 (Pueblo) R 13652 13654 11831 0 -1 4202496 21857 0 0 0 10219 7 0 0 20 0 1 0 317151434 89329664 21243 33554432000 134512640 134579096 4290740112 4290739084 13411376 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13654/statm: 21809 21243 228 17 0 21115 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 87236

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 3.54 3/177 13655
/proc/meminfo: memFree=31863520/32873844 swapFree=7116/7116
[pid=13654] ppid=13652 vsize=125224 CPUtime=162.24 cores=0,2,4,6
/proc/13654/stat : 13654 (Pueblo) R 13652 13654 11831 0 -1 4202496 31596 0 0 0 16209 15 0 0 20 0 1 0 317151434 128229376 30757 33554432000 134512640 134579096 4290740112 4290738960 134527750 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13654/statm: 31306 30757 228 17 0 30612 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 125224

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 3.44 3/177 13656
/proc/meminfo: memFree=31787584/32873844 swapFree=7116/7116
[pid=13654] ppid=13652 vsize=179012 CPUtime=222.23 cores=0,2,4,6
/proc/13654/stat : 13654 (Pueblo) R 13652 13654 11831 0 -1 4202496 45168 0 0 0 22205 18 0 0 20 0 1 0 317151434 183308288 44143 33554432000 134512640 134579096 4290740112 4290738768 134522726 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13654/statm: 44753 44143 228 17 0 44059 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 179012

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 3.35 3/177 13656
/proc/meminfo: memFree=31719376/32873844 swapFree=7116/7116
[pid=13654] ppid=13652 vsize=227136 CPUtime=282.22 cores=0,2,4,6
/proc/13654/stat : 13654 (Pueblo) R 13652 13654 11831 0 -1 4202496 57324 0 0 0 28200 22 0 0 20 0 1 0 317151434 232587264 56219 33554432000 134512640 134579096 4290740112 4290738768 134522733 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13654/statm: 56784 56219 228 17 0 56090 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 227136

[startup+342.3 s]
/proc/loadavg: 2.07 2.02 3.26 3/177 13656
/proc/meminfo: memFree=31644756/32873844 swapFree=7116/7116
[pid=13654] ppid=13652 vsize=276936 CPUtime=342.19 cores=0,2,4,6
/proc/13654/stat : 13654 (Pueblo) R 13652 13654 11831 0 -1 4202496 69799 0 0 0 34194 25 0 0 20 0 1 0 317151434 283582464 68658 33554432000 134512640 134579096 4290740112 4290738768 134522754 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13654/statm: 69234 68658 228 17 0 68540 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 276936

[startup+402.3 s]
/proc/loadavg: 2.02 2.01 3.18 3/178 13659
/proc/meminfo: memFree=31571616/32873844 swapFree=7116/7116
[pid=13654] ppid=13652 vsize=324676 CPUtime=402.17 cores=0,2,4,6
/proc/13654/stat : 13654 (Pueblo) R 13652 13654 11831 0 -1 4202496 81808 0 0 0 40187 30 0 0 20 0 1 0 317151434 332468224 80586 33554432000 134512640 134579096 4290740112 4290738768 134522688 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13654/statm: 81169 80586 228 17 0 80475 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 324676

[startup+462.3 s]
/proc/loadavg: 2.01 2.00 3.11 3/177 13659
/proc/meminfo: memFree=31511516/32873844 swapFree=7116/7116
[pid=13654] ppid=13652 vsize=361864 CPUtime=462.15 cores=0,2,4,6
/proc/13654/stat : 13654 (Pueblo) R 13652 13654 11831 0 -1 4202496 91112 0 0 0 46183 32 0 0 20 0 1 0 317151434 370548736 89845 33554432000 134512640 134579096 4290740112 4290738928 134519071 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13654/statm: 90466 89845 228 17 0 89772 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 361864

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 3.03 3/177 13660
/proc/meminfo: memFree=31494252/32873844 swapFree=7116/7116
[pid=13654] ppid=13652 vsize=361864 CPUtime=522.14 cores=0,2,4,6
/proc/13654/stat : 13654 (Pueblo) R 13652 13654 11831 0 -1 4202496 91112 0 0 0 52180 34 0 0 20 0 1 0 317151434 370548736 89845 33554432000 134512640 134579096 4290740112 4290739084 13411376 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13654/statm: 90466 89845 228 17 0 89772 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 361864

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.97 3/177 13660
/proc/meminfo: memFree=31477912/32873844 swapFree=7116/7116
[pid=13654] ppid=13652 vsize=361864 CPUtime=582.13 cores=0,2,4,6
/proc/13654/stat : 13654 (Pueblo) R 13652 13654 11831 0 -1 4202496 91112 0 0 0 58178 35 0 0 20 0 1 0 317151434 370548736 89845 33554432000 134512640 134579096 4290740112 4290738944 134517928 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13654/statm: 90466 89845 228 17 0 89772 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 361864

[startup+642.3 s]

################
# More data... #
################

/proc/meminfo: memFree=31263324/32873844 swapFree=7116/7116
[pid=13654] ppid=13652 vsize=430556 CPUtime=882.07 cores=0,2,4,6
/proc/13654/stat : 13654 (Pueblo) R 13652 13654 11831 0 -1 4202496 108424 0 0 0 88164 43 0 0 20 0 1 0 317151434 440889344 107022 33554432000 134512640 134579096 4290740112 4290738768 134522706 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13654/statm: 107639 107022 228 17 0 106945 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 430556

[startup+942.3 s]
/proc/loadavg: 2.03 2.02 2.65 3/177 13661
/proc/meminfo: memFree=31262332/32873844 swapFree=7116/7116
[pid=13654] ppid=13652 vsize=430556 CPUtime=942.06 cores=0,2,4,6
/proc/13654/stat : 13654 (Pueblo) R 13652 13654 11831 0 -1 4202496 108425 0 0 0 94159 47 0 0 20 0 1 0 317151434 440889344 107023 33554432000 134512640 134579096 4290740112 4290738912 134528574 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13654/statm: 107639 107023 228 17 0 106945 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 430556

[startup+1002.3 s]
/proc/loadavg: 2.01 2.02 2.61 3/177 13664
/proc/meminfo: memFree=31261732/32873844 swapFree=7116/7116
[pid=13654] ppid=13652 vsize=430556 CPUtime=1002.05 cores=0,2,4,6
/proc/13654/stat : 13654 (Pueblo) R 13652 13654 11831 0 -1 4202496 108425 0 0 0 100154 51 0 0 20 0 1 0 317151434 440889344 107023 33554432000 134512640 134579096 4290740112 4290738928 134519125 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13654/statm: 107639 107023 228 17 0 106945 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 430556

[startup+1062.3 s]
/proc/loadavg: 2.05 2.03 2.57 3/177 13665
/proc/meminfo: memFree=31258908/32873844 swapFree=7116/7116
[pid=13654] ppid=13652 vsize=430556 CPUtime=1062.04 cores=0,2,4,6
/proc/13654/stat : 13654 (Pueblo) R 13652 13654 11831 0 -1 4202496 108425 0 0 0 106148 56 0 0 20 0 1 0 317151434 440889344 107023 33554432000 134512640 134579096 4290740112 4290738932 134556361 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13654/statm: 107639 107023 228 17 0 106945 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 430556

[startup+1122.3 s]
/proc/loadavg: 2.02 2.02 2.53 3/177 13666
/proc/meminfo: memFree=31258364/32873844 swapFree=7116/7116
[pid=13654] ppid=13652 vsize=430556 CPUtime=1122.04 cores=0,2,4,6
/proc/13654/stat : 13654 (Pueblo) R 13652 13654 11831 0 -1 4202496 108427 0 0 0 112143 61 0 0 20 0 1 0 317151434 440889344 107025 33554432000 134512640 134579096 4290740112 4290738932 134556414 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13654/statm: 107639 107025 228 17 0 106945 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 430556

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.50 3/177 13666
/proc/meminfo: memFree=31258240/32873844 swapFree=7116/7116
[pid=13654] ppid=13652 vsize=430556 CPUtime=1182.03 cores=0,2,4,6
/proc/13654/stat : 13654 (Pueblo) R 13652 13654 11831 0 -1 4202496 108427 0 0 0 118140 63 0 0 20 0 1 0 317151434 440889344 107025 33554432000 134512640 134579096 4290740112 4290738768 134524568 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13654/statm: 107639 107025 228 17 0 106945 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 430556

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.46 3/177 13666
/proc/meminfo: memFree=31257992/32873844 swapFree=7116/7116
[pid=13654] ppid=13652 vsize=430556 CPUtime=1242.01 cores=0,2,4,6
/proc/13654/stat : 13654 (Pueblo) R 13652 13654 11831 0 -1 4202496 108427 0 0 0 124134 67 0 0 20 0 1 0 317151434 440889344 107025 33554432000 134512640 134579096 4290740112 4290739084 13411376 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13654/statm: 107639 107025 228 17 0 106945 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 430556

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.43 3/177 13666
/proc/meminfo: memFree=31257124/32873844 swapFree=7116/7116
[pid=13654] ppid=13652 vsize=430556 CPUtime=1302.01 cores=0,2,4,6
/proc/13654/stat : 13654 (Pueblo) R 13652 13654 11831 0 -1 4202496 108427 0 0 0 130129 72 0 0 20 0 1 0 317151434 440889344 107025 33554432000 134512640 134579096 4290740112 4290738944 134517885 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13654/statm: 107639 107025 228 17 0 106945 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 430556

[startup+1362.3 s]
/proc/loadavg: 2.08 2.02 2.41 3/178 13667
/proc/meminfo: memFree=31256900/32873844 swapFree=7116/7116
[pid=13654] ppid=13652 vsize=430556 CPUtime=1361.99 cores=0,2,4,6
/proc/13654/stat : 13654 (Pueblo) R 13652 13654 11831 0 -1 4202496 108431 0 0 0 136123 76 0 0 20 0 1 0 317151434 440889344 107025 33554432000 134512640 134579096 4290740112 4290738944 134517919 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13654/statm: 107639 107025 228 17 0 106945 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 430556

[startup+1422.31 s]
/proc/loadavg: 2.03 2.01 2.38 3/177 13668
/proc/meminfo: memFree=31257032/32873844 swapFree=7116/7116
[pid=13654] ppid=13652 vsize=430556 CPUtime=1421.99 cores=0,2,4,6
/proc/13654/stat : 13654 (Pueblo) R 13652 13654 11831 0 -1 4202496 108431 0 0 0 142118 81 0 0 20 0 1 0 317151434 440889344 107025 33554432000 134512640 134579096 4290740112 4290738768 134522706 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13654/statm: 107639 107025 228 17 0 106945 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 430556

[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 2.35 3/177 13668
/proc/meminfo: memFree=31256908/32873844 swapFree=7116/7116
[pid=13654] ppid=13652 vsize=430556 CPUtime=1481.97 cores=0,2,4,6
/proc/13654/stat : 13654 (Pueblo) R 13652 13654 11831 0 -1 4202496 108431 0 0 0 148115 82 0 0 20 0 1 0 317151434 440889344 107025 33554432000 134512640 134579096 4290740112 4290738960 134528357 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13654/statm: 107639 107025 228 17 0 106945 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 430556

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.33 3/177 13668
/proc/meminfo: memFree=31254676/32873844 swapFree=7112/7112
[pid=13654] ppid=13652 vsize=433204 CPUtime=1541.96 cores=0,2,4,6
/proc/13654/stat : 13654 (Pueblo) R 13652 13654 11831 0 -1 4202496 109353 0 0 0 154112 84 0 0 20 0 1 0 317151434 443600896 107676 33554432000 134512640 134579096 4290740112 4290738960 134527759 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13654/statm: 108301 107676 228 17 0 107607 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 433204

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.30 3/178 13671
/proc/meminfo: memFree=31228256/32873844 swapFree=7116/7116
[pid=13654] ppid=13652 vsize=459096 CPUtime=1601.95 cores=0,2,4,6
/proc/13654/stat : 13654 (Pueblo) R 13652 13654 11831 0 -1 4202496 116041 0 0 0 160108 87 0 0 20 0 1 0 317151434 470114304 114144 33554432000 134512640 134579096 4290740112 4290738944 134517903 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13654/statm: 114774 114144 228 17 0 114080 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 459096

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.28 3/177 13671
/proc/meminfo: memFree=31206748/32873844 swapFree=7116/7116
[pid=13654] ppid=13652 vsize=480952 CPUtime=1661.95 cores=0,2,4,6
/proc/13654/stat : 13654 (Pueblo) R 13652 13654 11831 0 -1 4202496 121515 0 0 0 166105 90 0 0 20 0 1 0 317151434 492494848 119618 33554432000 134512640 134579096 4290740112 4290738944 134517903 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13654/statm: 120238 119618 228 17 0 119544 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 480952

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.26 3/177 13672
/proc/meminfo: memFree=31191496/32873844 swapFree=7116/7116
[pid=13654] ppid=13652 vsize=494720 CPUtime=1721.94 cores=0,2,4,6
/proc/13654/stat : 13654 (Pueblo) R 13652 13654 11831 0 -1 4202496 124981 0 0 0 172101 93 0 0 20 0 1 0 317151434 506593280 123084 33554432000 134512640 134579096 4290740112 4290738768 134524561 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13654/statm: 123680 123084 228 17 0 122986 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 494720

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.24 3/177 13772
/proc/meminfo: memFree=31615444/32873844 swapFree=7116/7116
[pid=13654] ppid=13652 vsize=494720 CPUtime=1781.92 cores=0,2,4,6
/proc/13654/stat : 13654 (Pueblo) R 13652 13654 11831 0 -1 4202496 124981 0 0 0 178097 95 0 0 20 0 1 0 317151434 506593280 123084 33554432000 134512640 134579096 4290740112 4290738960 134527956 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13654/statm: 123680 123084 228 17 0 122986 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 494720

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

[startup+1783.11 s]
/proc/loadavg: 2.00 2.00 2.24 3/177 13772
/proc/meminfo: memFree=31615328/32873844 swapFree=7116/7116
[pid=13654] ppid=13652 vsize=494720 CPUtime=1782.73 cores=0,2,4,6
/proc/13654/stat : 13654 (Pueblo) R 13652 13654 11831 0 -1 4202496 124981 0 0 0 178178 95 0 0 20 0 1 0 317151434 506593280 123084 33554432000 134512640 134579096 4290740112 4290738768 134522733 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13654/statm: 123680 123084 228 17 0 122986 0
Current children cumulated CPU time (s) 1782.73
Current children cumulated vsize (KiB) 494720

[startup+1783.3 s]
/proc/loadavg: 2.00 2.00 2.24 3/177 13772
/proc/meminfo: memFree=31615328/32873844 swapFree=7116/7116
[pid=13654] ppid=13652 vsize=494720 CPUtime=1782.92 cores=0,2,4,6
/proc/13654/stat : 13654 (Pueblo) R 13652 13654 11831 0 -1 4202496 124981 0 0 0 178197 95 0 0 20 0 1 0 317151434 506593280 123084 33554432000 134512640 134579096 4290740112 4290738960 134527740 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13654/statm: 123680 123084 228 17 0 122986 0
Current children cumulated CPU time (s) 1782.92
Current children cumulated vsize (KiB) 494720

[startup+1783.4 s]
/proc/loadavg: 2.00 2.00 2.24 3/177 13772
/proc/meminfo: memFree=31615328/32873844 swapFree=7116/7116
[pid=13654] ppid=13652 vsize=0 CPUtime=1783.03 cores=0,2,4,6
/proc/13654/stat : 13654 (Pueblo) R 13652 13654 11831 0 -1 4202500 124986 0 0 0 178207 96 0 0 20 0 1 0 317151434 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13654/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1783.03
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 1783.4
CPU time (s): 1783.04
CPU user time (s): 1782.07
CPU system time (s): 0.965853
CPU usage (%): 99.9796
Max. virtual memory (cumulated for all children) (KiB): 494720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.07
system time used= 0.965853
maximum resident set size= 492356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124986
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= 104
involuntary context switches= 1968

runsolver used 8.44871 second user time and 15.7146 second system time

The end

Launcher Data 

Begin job on node103 at 2012-06-01 02:23:49
IDJOB=3720353
IDBENCH=25014
IDSOLVER=2305
FILE ID=node103/3720353-1338510228
RUNJOBID= node103-1338508401-11847
PBS_JOBID= 14635789
Free space on /tmp= 71124 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_7.opb
COMMAND LINE= Pueblo BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3720353-1338510228/watcher-3720353-1338510228 -o /tmp/evaluation-result-3720353-1338510228/solver-3720353-1338510228 -C 1800 -W 1900 -M 15500  Pueblo HOME/instance-3720353-1338510228.opb

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

MD5SUM BENCH= 7da351a6b3346c83b923d96056c07b3e
RANDOM SEED=859353603

node103.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.189
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	: 5332.37
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.189
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.189
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	: 5331.92
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.189
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.189
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.189
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	: 5411.36
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.189
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.189
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:       32873844 kB
MemFree:        32037228 kB
Buffers:            4956 kB
Cached:            43160 kB
SwapCached:         4988 kB
Active:           103196 kB
Inactive:          20564 kB
Active(anon):      74520 kB
Inactive(anon):     3804 kB
Active(file):      28676 kB
Inactive(file):    16760 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67096060 kB
Dirty:             17760 kB
Writeback:             4 kB
AnonPages:         79380 kB
Mapped:             8392 kB
Shmem:                 0 kB
Slab:             576040 kB
SReclaimable:      16484 kB
SUnreclaim:       559556 kB
KernelStack:        1448 kB
PageTables:         4120 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     196524 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3720353-1338510228.opb

Free space on /tmp at the end= 71132 MiB
End job on node103 at 2012-06-01 02:53:32