| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution 2024 2024-07-07 | OPT cert. | 32 | 658.59 | 653.547 |
| Name | PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm99p-opt.opb.negationfix.opb |
| MD5SUM | 3f10ffbf957f8216a1934b9362956d36 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 32 |
| Best CPU time to get the best result obtained on this benchmark | 1.65179 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 11744 |
| Total number of constraints | 798 |
| Number of constraints which are clauses | 366 |
| Number of constraints which are cardinality constraints (but not clauses) | 366 |
| Number of constraints which are nor clauses,nor cardinality constraints | 66 |
| Minimum length of a constraint | 32 |
| Maximum length of a constraint | 367 |
| Number of terms in the objective function | 32 |
| 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 | 32 |
| Number of bits of the sum of numbers in the objective function | 6 |
| Biggest number in a constraint | 133314 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 283127 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.08 c version CUSTOM.v20240707 0.00/0.09 c java.runtime.name OpenJDK Runtime Environment 0.00/0.09 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.09 c java.vm.version 22.0.1+8-16 0.00/0.09 c java.vm.vendor Oracle Corporation 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 22.0.1 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 4.18.0-301.1.el8.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 2113181440 0.00/0.09 c Max memory 16282288128 0.00/0.09 c Total memory 2122317824 0.00/0.10 c Number of processors 2 0.17/0.14 --- Begin Solver configuration --- 0.17/0.14 org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3 0.17/0.14 Learn all clauses as in MiniSAT 0.17/0.14 LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.17/0.14 VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.17/0.14 Expensive reason simplification 0.17/0.14 Glucose 2.1 dynamic restart strategy 0.17/0.14 Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.17/0.14 timeout=2147483s 0.17/0.14 DB Simplification allowed=false 0.17/0.14 Listener: none 0.17/0.14 --- End Solver configuration --- 0.17/0.14 c Pseudo Boolean Optimization by upper bound 0.17/0.14 c --- Begin Solver configuration --- 0.17/0.14 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3 0.17/0.14 c Learn all clauses as in MiniSAT 0.17/0.14 c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.17/0.14 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.17/0.14 c Expensive reason simplification 0.17/0.14 c Glucose 2.1 dynamic restart strategy 0.17/0.14 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.17/0.14 c timeout=2147483s 0.17/0.14 c DB Simplification allowed=false 0.17/0.14 c Listener: none 0.17/0.14 c --- End Solver configuration --- 0.17/0.14 c solving HOME/instance-4440595-1721827535.opb 0.17/0.14 c reading problem ... 0.17/0.14 c using VERIPB proof format 0.17/0.15 c objective function found 0.76/0.44 c ... done. Wall clock time 0.294s. 0.76/0.45 c declared #vars 11744 0.76/0.45 c #constraints 798 0.76/0.45 c constraints type 0.76/0.45 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 366 0.76/0.45 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 65 0.76/0.45 c org.sat4j.specs.Constr$1 => 1 0.76/0.45 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 366 0.76/0.45 c 798 constraints processed. 0.76/0.46 c objective function length is 32 literals 3.42/1.86 c cleaning 2489 clauses out of 5001 with flag 14609/5001 5.15/2.72 c cleaning 4247 clauses out of 8512 with flag 31783/11001 5.96/3.48 c cleaning 5621 clauses out of 11265 with flag 53776/18001 7.54/4.58 c cleaning 6812 clauses out of 13643 with flag 88992/26000 8.68/5.60 c cleaning 7898 clauses out of 15833 with flag 117124/35002 9.99/6.92 c cleaning 8947 clauses out of 17933 with flag 150169/45000 11.48/8.36 c cleaning 9978 clauses out of 19987 with flag 186132/56001 13.24/10.04 c cleaning 10988 clauses out of 22008 with flag 237439/68000 15.21/11.96 c cleaning 11990 clauses out of 24021 with flag 308105/81001 16.83/13.53 c cleaning 13010 clauses out of 26034 with flag 348606/95004 18.37/15.06 c cleaning 14000 clauses out of 28021 with flag 379465/110001 19.89/16.60 c cleaning 14995 clauses out of 30021 with flag 413218/126001 21.77/18.27 c cleaning 15994 clauses out of 32025 with flag 448861/143000 23.80/20.06 c cleaning 16996 clauses out of 34031 with flag 486615/161000 25.68/21.95 c cleaning 17999 clauses out of 36035 with flag 526228/180000 27.58/23.87 c cleaning 19005 clauses out of 38036 with flag 568045/200000 29.77/26.07 c cleaning 19996 clauses out of 40031 with flag 611715/221000 32.05/28.36 c cleaning 21002 clauses out of 42036 with flag 657792/243001 34.46/30.71 c cleaning 22001 clauses out of 44035 with flag 705323/266002 36.92/33.15 c cleaning 22999 clauses out of 46032 with flag 755422/290000 39.60/37.24 c cleaning 23994 clauses out of 48035 with flag 820154/315002 43.30/40.78 c cleaning 24999 clauses out of 50040 with flag 922811/341001 47.42/44.71 c cleaning 26009 clauses out of 52040 with flag 1021493/368000 50.51/47.74 c cleaning 27006 clauses out of 54032 with flag 1093086/396001 53.60/50.89 c cleaning 28007 clauses out of 56028 with flag 1168532/425003 56.74/53.93 c cleaning 28990 clauses out of 58018 with flag 1241174/455000 60.03/57.25 c cleaning 29997 clauses out of 60029 with flag 1313636/486001 64.20/61.25 c cleaning 30999 clauses out of 62031 with flag 1402658/518000 69.25/66.22 c cleaning 31999 clauses out of 64033 with flag 1503259/551001 74.42/73.55 c cleaning 33008 clauses out of 66033 with flag 1583998/585000 79.10/78.29 c cleaning 33991 clauses out of 68028 with flag 1662841/620003 82.66/81.79 c cleaning 35009 clauses out of 70035 with flag 1763357/656001 86.37/85.36 c cleaning 35995 clauses out of 72026 with flag 1864257/693001 90.67/89.52 c cleaning 36993 clauses out of 74030 with flag 1940256/731000 94.66/93.57 c cleaning 37997 clauses out of 76038 with flag 2018258/770001 99.42/98.69 c cleaning 39000 clauses out of 78041 with flag 2098263/810001 104.81/104.10 c cleaning 40001 clauses out of 80041 with flag 2180267/851001 109.26/108.45 c cleaning 41004 clauses out of 82039 with flag 2296910/893000 114.77/113.88 c cleaning 42000 clauses out of 84036 with flag 2427225/936001 119.37/118.32 c cleaning 43009 clauses out of 86036 with flag 2550914/980001 123.86/122.73 c cleaning 44001 clauses out of 88026 with flag 2654510/1025000 128.65/127.54 c cleaning 45003 clauses out of 90027 with flag 2756093/1071002 134.10/133.17 c cleaning 45995 clauses out of 92022 with flag 2857470/1118000 139.14/138.02 c cleaning 47004 clauses out of 94028 with flag 2962774/1166001 143.87/142.68 c cleaning 47998 clauses out of 96023 with flag 3075684/1215000 149.57/148.29 c cleaning 48995 clauses out of 98025 with flag 3236218/1265000 155.73/154.27 c cleaning 50005 clauses out of 100030 with flag 3353558/1316000 161.25/159.56 c cleaning 50991 clauses out of 102026 with flag 3517364/1368001 168.38/166.88 c cleaning 52011 clauses out of 104035 with flag 3752020/1421001 176.36/174.29 c cleaning 52997 clauses out of 106024 with flag 3872027/1475001 182.05/179.98 c cleaning 54001 clauses out of 108027 with flag 4002235/1530001 187.42/185.26 c cleaning 55001 clauses out of 110026 with flag 4145839/1586001 195.85/193.60 c cleaning 55995 clauses out of 112024 with flag 4269870/1643000 203.18/200.88 c cleaning 57009 clauses out of 114029 with flag 4468860/1701000 212.64/209.84 c cleaning 57981 clauses out of 116020 with flag 4643527/1760000 225.05/222.31 c cleaning 58993 clauses out of 118041 with flag 4858390/1820002 238.67/235.41 c cleaning 59999 clauses out of 120046 with flag 5065316/1881000 251.77/248.43 c cleaning 60997 clauses out of 122049 with flag 5273138/1943002 267.81/264.24 c cleaning 61997 clauses out of 124051 with flag 5511257/2006001 278.40/273.97 c cleaning 63014 clauses out of 126055 with flag 5674180/2070002 286.09/281.51 c cleaning 64010 clauses out of 128041 with flag 5804900/2135002 292.16/287.70 c cleaning 65010 clauses out of 130029 with flag 5950813/2201000 299.82/295.07 c cleaning 65997 clauses out of 132019 with flag 6131441/2268000 309.10/304.33 c cleaning 67004 clauses out of 134026 with flag 6267457/2336004 319.21/314.68 c cleaning 67997 clauses out of 136019 with flag 6405462/2405001 328.74/324.08 c cleaning 68998 clauses out of 138021 with flag 6549965/2475000 335.47/330.75 c cleaning 70003 clauses out of 140024 with flag 6734960/2546001 344.61/339.47 c cleaning 71002 clauses out of 142020 with flag 6902097/2618000 351.91/346.81 c cleaning 71998 clauses out of 144018 with flag 7087677/2691000 359.62/354.44 c cleaning 73003 clauses out of 146020 with flag 7285117/2765000 367.90/362.26 c cleaning 73994 clauses out of 148018 with flag 7448184/2840001 376.92/371.16 c cleaning 74998 clauses out of 150023 with flag 7602516/2916000 388.04/382.40 c cleaning 75999 clauses out of 152025 with flag 7756852/2993000 396.22/390.66 c cleaning 77006 clauses out of 154028 with flag 7928567/3071002 406.48/400.41 c cleaning 78001 clauses out of 156021 with flag 8120376/3150001 415.89/410.07 c cleaning 78999 clauses out of 158019 with flag 8289981/3230000 426.53/420.56 c cleaning 79995 clauses out of 160020 with flag 8456707/3311000 436.62/430.58 c cleaning 80996 clauses out of 162025 with flag 8633617/3393000 449.19/442.81 c cleaning 82000 clauses out of 164030 with flag 8810309/3476001 457.29/450.83 c cleaning 83006 clauses out of 166030 with flag 8997223/3560001 466.31/459.70 c cleaning 83999 clauses out of 168024 with flag 9172415/3645001 475.68/468.95 c cleaning 85002 clauses out of 170024 with flag 9375046/3731000 487.79/480.02 c cleaning 86000 clauses out of 172023 with flag 9617090/3818001 497.25/489.46 c cleaning 86999 clauses out of 174022 with flag 9825315/3906000 508.31/500.64 c cleaning 87994 clauses out of 176024 with flag 10020525/3995001 522.12/514.34 c cleaning 88995 clauses out of 178029 with flag 10223862/4085000 535.53/527.57 c cleaning 90001 clauses out of 180034 with flag 10426121/4176000 547.90/540.32 c cleaning 90998 clauses out of 182033 with flag 10665183/4268000 559.64/551.61 c cleaning 92008 clauses out of 184036 with flag 10861007/4361001 573.95/566.25 c cleaning 93005 clauses out of 186027 with flag 11068196/4455000 588.73/580.66 c cleaning 93989 clauses out of 188024 with flag 11279546/4550002 605.01/597.09 c cleaning 94995 clauses out of 190035 with flag 11471547/4646002 623.94/615.71 c cleaning 95996 clauses out of 192038 with flag 11665543/4743000 638.36/629.87 c cleaning 97007 clauses out of 194042 with flag 11894355/4841000 649.87/641.09 c cleaning 98005 clauses out of 196036 with flag 12111700/4940001 658.12/649.16 c SATISFIABLE 658.12/649.16 c OPTIMIZING... 658.12/649.16 c Got one! Elapsed wall clock time (in seconds):649.02 658.12/649.16 o 32 658.25/653.31 c starts : 5445 658.25/653.33 c conflicts : 5021593 658.25/653.33 c decisions : 11658142 658.25/653.33 c propagations : 366775143 658.25/653.33 c inspects : 1444142754 658.25/653.33 c shortcuts : 0 658.25/653.33 c learnt literals : 0 658.25/653.33 c learnt binary clauses : 0 658.25/653.33 c learnt ternary clauses : 0 658.25/653.33 c learnt constraints : 5021593 658.25/653.33 c ignored constraints : 0 658.25/653.33 c root simplifications : 0 658.25/653.33 c removed literals (reason simplification) : 460254 658.25/653.33 c reason swapping (by a shorter reason) : 0 658.25/653.33 c Calls to reduceDB : 95 658.25/653.33 c Number of update (reduction) of LBD : 381481 658.25/653.33 c Imported unit clauses : 0 658.25/653.33 c No decision after first conflict : false 658.25/653.33 c number of reductions to clauses (during analyze) : 0 658.25/653.33 c number of learned constraints concerned by reduction : 0 658.25/653.33 c number of learning phase by resolution : 0 658.25/653.33 c number of learning phase by cutting planes : 0 658.25/653.33 c number of rounding to 1 operations : 0 658.25/653.33 c number of easy rounding to 1 operations (no literal elimination needed) : 0 658.25/653.33 c number of reductions of the coefficients by power 2 : 0 658.25/653.33 c number of right shift for reduction by power 2 : 0 658.25/653.34 c number of reductions of the coefficients by GCD over coefficients : 0 658.25/653.34 c number of ending skipping : 0 658.25/653.34 c number of internal skipping : 0 658.25/653.34 c number of derivation steps : 0 658.25/653.34 c number of skipped derivation steps : 0 658.25/653.34 c number of remaining unassigned : 0 658.25/653.34 c number of remaining assigned : 0 658.25/653.34 c number of falsified literals weakened from reason : 0 658.25/653.34 c number of falsified literals weakened from conflict : 0 658.25/653.34 c time for arithmetic operations : 0 658.25/653.34 c minimum degree of deleted constraints : null 658.25/653.34 c maximum degree of deleted constraints : null 658.25/653.34 c number of deleted constraints : 0 658.25/653.35 c speed (assignments/second) : 561784.6341183227 658.25/653.35 c non guided choices : 840059 658.40/653.47 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 179623 658.40/653.48 s OPTIMUM FOUND 658.40/653.48 c Found 1 solution(s) 658.40/653.48 v x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 x532 -x533 -x534 -x535 x536 -x537 -x538 -x539 -x540 -x541 -x542 x543 -x544 x545 -x546 x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 x934 -x935 x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 x1045 -x1046 -x1047 -x1048 x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 x1098 x1099 -x1100 x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 x1213 -x1214 -x1215 -x1216 -x1217 x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 x1258 -x1259 -x1260 -x1261 -x1262 x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 x1436 -x1437 -x1438 -x1439 x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -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 -x1513 -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 -x1540 -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 -x1567 -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 -x1594 -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 -x1621 -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 -x1648 -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 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 x1733 -x1734 x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 x1971 -x1972 -x1973 -x1974 -x1975 x1976 -x1977 -x1978 -x1979 -x1980 -x1981 x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -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 -x2291 -x2292 -x2293 x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 x2351 -x2352 -x2353 -x2354 x2355 -x2356 -x2357 -x2358 x2359 -x2360 -x2361 -x2362 -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 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 x2466 -x2467 -x2468 -x2469 x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -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 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 x2555 -x2556 -x2557 x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 x2599 -x2600 -x2601 x2602 -x2603 -x2604 -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 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -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 -x2775 x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -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 -x2896 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 -x3017 -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 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -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 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 x3275 -x3276 -x3277 -x3278 -x3279 -x3280 x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 x3308 -x3309 x3310 x3311 -x3312 -x3313 x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 x3337 -x3338 x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 x3619 x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 x4144 -x4145 -x4146 -x4147 -x4148 x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 x4315 x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 x4443 -x4444 -x4445 -x4446 x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 x4454 x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 x4648 -x4649 -x4650 -x4651 x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -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 -x4999 -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 -x5057 -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 -x5115 -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 -x5173 -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 -x5231 -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 -x5289 -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 -x5347 -x5348 -x5349 -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 -x5376 -x5377 -x5378 -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 -x5405 x5406 -x5407 -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 x5434 -x5435 -x5436 -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 -x5463 -x5464 -x5465 -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 -x5492 -x5493 -x5494 -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 -x5521 -x5522 -x5523 -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 -x5550 -x5551 -x5552 -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 -x5579 -x5580 -x5581 -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 -x5608 -x5609 -x5610 -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 -x5637 -x5638 -x5639 -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 -x5666 -x5667 -x5668 -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 -x5695 -x5696 x5697 -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 -x5724 -x5725 -x5726 -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 -x5753 -x5754 -x5755 -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 -x5782 -x5783 -x5784 -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 -x5811 -x5812 -x5813 -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 -x5840 -x5841 -x5842 -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 -x5869 -x5870 -x5871 -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 -x5898 -x5899 -x5900 -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 -x5927 -x5928 -x5929 -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 -x5956 -x5957 -x5958 -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 -x5985 -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 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 x6280 -x6281 -x6282 x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 x6787 -x6788 -x6789 -x6790 -x6791 -x6792 x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 x6845 -x6846 -x6847 -x6848 -x6849 x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -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 -x7402 -x7403 -x7404 -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 -x7431 -x7432 -x7433 -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 -x7460 -x7461 -x7462 -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 -x7489 -x7490 -x7491 -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 -x7518 -x7519 -x7520 -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 -x7547 -x7548 -x7549 -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 -x7576 -x7577 -x7578 -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 -x7605 -x7606 -x7607 -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 -x7634 -x7635 x7636 -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 -x7663 -x7664 -x7665 -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 -x7692 -x7693 -x7694 -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 -x7721 -x7722 -x7723 -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 -x7750 -x7751 -x7752 -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 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 x7855 -x7856 -x7857 x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 x8090 -x8091 -x8092 -x8093 x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 x8159 -x8160 x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 x8234 x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 x8482 -x8483 -x8484 x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 x8701 -x8702 -x8703 x8704 -x8705 -x8706 -x8707 -x8708 -x8709 x8710 x8711 -x8712 -x8713 x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 x8894 -x8895 -x8896 -x8897 -x8898 -x8899 x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 x9269 -x9270 -x9271 x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 x9612 x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 x9861 -x9862 -x9863 -x9864 -x9865 x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 x10006 x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 -x10101 x10102 -x10103 -x10104 -x10105 -x10106 x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 x10130 -x10131 x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -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 -x10211 -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 -x10269 -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 -x10327 -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 -x10385 -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 -x10412 -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 -x10439 -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 -x10466 -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 -x10493 -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 -x10520 -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 -x10547 -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 -x10574 -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 -x10601 -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 -x10628 -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 -x10655 -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 -x10682 -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 -x10709 -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 -x10736 -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 -x10763 -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 -x10790 -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 -x10817 -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 -x10844 -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 -x10871 -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 -x10898 -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 -x10925 -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 -x10952 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 -x10979 -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 -x11006 -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 -x11033 -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 -x11060 -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 -x11087 -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 -x11114 -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 -x11141 -x11142 -x11143 -x11144 -x11145 -x11146 -x11147 -x11148 -x11149 -x11150 -x11151 -x11152 -x11153 x11154 -x11155 -x11156 -x11157 -x11158 -x11159 x11160 -x11161 -x11162 -x11163 x11164 -x11165 x11166 -x11167 -x11168 -x11169 -x11170 -x11171 -x11172 -x11173 -x11174 -x11175 -x11176 -x11177 -x11178 -x11179 -x11180 -x11181 -x11182 -x11183 -x11184 -x11185 -x11186 -x11187 -x11188 -x11189 -x11190 -x11191 -x11192 -x11193 -x11194 -x11195 -x11196 -x11197 -x11198 -x11199 -x11200 -x11201 -x11202 -x11203 -x11204 -x11205 -x11206 -x11207 -x11208 -x11209 -x11210 -x11211 -x11212 -x11213 -x11214 -x11215 -x11216 -x11217 -x11218 -x11219 -x11220 -x11221 -x11222 -x11223 -x11224 -x11225 -x11226 -x11227 -x11228 -x11229 -x11230 -x11231 -x11232 -x11233 -x11234 -x11235 -x11236 -x11237 -x11238 -x11239 -x11240 -x11241 -x11242 -x11243 -x11244 -x11245 -x11246 -x11247 -x11248 -x11249 -x11250 -x11251 -x11252 -x11253 -x11254 -x11255 -x11256 -x11257 -x11258 -x11259 -x11260 -x11261 -x11262 -x11263 -x11264 -x11265 -x11266 -x11267 x11268 -x11269 -x11270 -x11271 -x11272 -x11273 -x11274 -x11275 -x11276 -x11277 -x11278 -x11279 -x11280 -x11281 -x11282 -x11283 -x11284 -x11285 -x11286 -x11287 -x11288 -x11289 -x11290 -x11291 -x11292 -x11293 -x11294 -x11295 -x11296 -x11297 -x11298 -x11299 -x11300 -x11301 -x11302 -x11303 -x11304 -x11305 -x11306 -x11307 x11308 -x11309 -x11310 -x11311 -x11312 -x11313 x11314 -x11315 -x11316 -x11317 -x11318 -x11319 -x11320 -x11321 -x11322 -x11323 -x11324 -x11325 -x11326 -x11327 -x11328 -x11329 -x11330 -x11331 -x11332 -x11333 -x11334 -x11335 -x11336 -x11337 -x11338 -x11339 -x11340 -x11341 -x11342 -x11343 -x11344 -x11345 -x11346 -x11347 -x11348 -x11349 -x11350 -x11351 -x11352 -x11353 x11354 -x11355 -x11356 -x11357 x11358 -x11359 -x11360 x11361 -x11362 -x11363 -x11364 -x11365 -x11366 -x11367 -x11368 -x11369 -x11370 -x11371 -x11372 -x11373 -x11374 -x11375 -x11376 -x11377 -x11378 -x11379 -x11380 -x11381 -x11382 -x11383 -x11384 -x11385 -x11386 -x11387 -x11388 -x11389 -x11390 -x11391 -x11392 -x11393 -x11394 -x11395 -x11396 -x11397 -x11398 -x11399 -x11400 -x11401 -x11402 -x11403 -x11404 -x11405 -x11406 -x11407 -x11408 -x11409 -x11410 -x11411 -x11412 -x11413 -x11414 -x11415 -x11416 -x11417 -x11418 -x11419 -x11420 -x11421 -x11422 -x11423 -x11424 -x11425 -x11426 -x11427 -x11428 -x11429 -x11430 -x11431 -x11432 -x11433 -x11434 -x11435 -x11436 -x11437 -x11438 -x11439 -x11440 -x11441 -x11442 -x11443 -x11444 x11445 -x11446 -x11447 -x11448 -x11449 -x11450 -x11451 -x11452 -x11453 -x11454 -x11455 -x11456 -x11457 -x11458 -x11459 -x11460 -x11461 -x11462 -x11463 -x11464 -x11465 -x11466 -x11467 -x11468 -x11469 -x11470 -x11471 -x11472 -x11473 -x11474 -x11475 -x11476 -x11477 -x11478 -x11479 -x11480 -x11481 -x11482 -x11483 -x11484 -x11485 -x11486 -x11487 -x11488 -x11489 -x11490 -x11491 -x11492 -x11493 -x11494 -x11495 -x11496 -x11497 -x11498 -x11499 -x11500 -x11501 -x11502 x11503 -x11504 -x11505 -x11506 -x11507 -x11508 -x11509 -x11510 -x11511 -x11512 -x11513 -x11514 -x11515 -x11516 -x11517 -x11518 -x11519 -x11520 -x11521 -x11522 -x11523 -x11524 -x11525 -x11526 -x11527 -x11528 -x11529 -x11530 -x11531 -x11532 -x11533 -x11534 -x11535 -x11536 -x11537 -x11538 -x11539 -x11540 -x11541 -x11542 x11543 -x11544 -x11545 -x11546 -x11547 -x11548 -x11549 -x11550 -x11551 -x11552 -x11553 -x11554 -x11555 -x11556 -x11557 -x11558 -x11559 -x11560 -x11561 -x11562 -x11563 -x11564 -x11565 -x11566 -x11567 -x11568 -x11569 -x11570 -x11571 -x11572 -x11573 x11574 -x11575 -x11576 -x11577 -x11578 -x11579 -x11580 x11581 -x11582 -x11583 -x11584 -x11585 -x11586 -x11587 -x11588 -x11589 -x11590 -x11591 -x11592 -x11593 -x11594 -x11595 -x11596 -x11597 -x11598 -x11599 -x11600 -x11601 -x11602 -x11603 -x11604 -x11605 -x11606 -x11607 -x11608 -x11609 -x11610 -x11611 -x11612 -x11613 -x11614 -x11615 -x11616 -x11617 -x11618 -x11619 -x11620 -x11621 -x11622 -x11623 -x11624 -x11625 -x11626 -x11627 -x11628 -x11629 -x11630 -x11631 -x11632 -x11633 -x11634 -x11635 -x11636 -x11637 -x11638 -x11639 -x11640 -x11641 -x11642 -x11643 -x11644 -x11645 x11646 -x11647 -x11648 -x11649 -x11650 -x11651 -x11652 -x11653 -x11654 -x11655 -x11656 -x11657 -x11658 -x11659 -x11660 -x11661 -x11662 -x11663 -x11664 -x11665 -x11666 -x11667 -x11668 -x11669 -x11670 -x11671 -x11672 -x11673 -x11674 -x11675 -x11676 -x11677 -x11678 -x11679 -x11680 -x11681 -x11682 -x11683 -x11684 -x11685 -x11686 -x11687 -x11688 -x11689 -x11690 -x11691 -x11692 -x11693 -x11694 -x11695 -x11696 -x11697 -x11698 -x11699 -x11700 -x11701 -x11702 x11703 -x11704 -x11705 -x11706 -x11707 -x11708 -x11709 -x11710 -x11711 -x11712 -x11713 -x11714 -x11715 -x11716 x11717 x11718 -x11719 -x11720 -x11721 -x11722 -x11723 -x11724 -x11725 -x11726 -x11727 -x11728 -x11729 -x11730 -x11731 -x11732 -x11733 -x11734 -x11735 -x11736 -x11737 -x11738 -x11739 -x11740 -x11741 -x11742 -x11743 -x11744 658.40/653.49 c objective function=32 658.40/653.49 c Total wall clock time (in seconds): 653.355
OK 32
Running VeriPB version 2.2.1 s VERIFIED BOUNDS 0 <= obj <= 32 Verification succeeded.
-- veripb -- Running VeriPB version 2.2.1 s VERIFIED BOUNDS 0 <= obj <= 32 Verification succeeded. -- cakepb -- s VERIFIED BOUNDS 0 <= obj <= 32 --summary-- ALL OK
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (13173 MiB free)
memory of node 1: 64510 MiB (55554 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440595-1721827535/watcher-4440595-1721827535 -o /tmp/evaluation-result-4440595-1721827535/solver-4440595-1721827535 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721820325-230696 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440595-1721827535 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440595-1721827535.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=235624, runsolver pid=235621
[startup+0.100074 s]*
/proc/loadavg: 4.54 4.25 4.24 8/312 235642
/proc/meminfo: memFree=70337604/131655788 swapFree=131061124/131071996
[pid=235624] ppid=235621 vsize=18993908 memory=66692 CPUtime=0.17 cores=1,3
/proc/235624/stat : 235624 (java) S 235621 235624 230684 0 -1 1077936128 6845 0 0 0 16 1 0 0 20 0 18 0 18742890 19449761792 16673 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
/proc/235624/statm: 4748477 16673 5929 1 0 551228 0
[pid=235624/tid=235626] ppid=235621 vsize=18993908 memory=4026531971 CPUtime=0.09 cores=1,3
/proc/235624/task/235626/stat : 235626 (java) R 235621 235624 230684 0 -1 4194368 5746 0 0 0 8 1 0 0 20 0 18 0 18742890 19449761792 16673 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
[pid=235624/tid=235635] ppid=235621 vsize=18993908 memory=952865 CPUtime=0 cores=1,3
/proc/235624/task/235635/stat : 235635 (Finalizer) S 235621 235624 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18742893 19449761792 16673 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
[pid=235624/tid=235642] ppid=235621 vsize=18993908 memory=3689070655443366200 CPUtime=0 cores=1,3
/proc/235624/task/235642/stat : 235642 (Common-Cleaner) S 235621 235624 230684 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18742893 19449761792 16673 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 66692 KiB
[startup+0.226763 s]*
/proc/loadavg: 4.54 4.25 4.24 7/311 235642
/proc/meminfo: memFree=70325156/131655788 swapFree=131061124/131071996
[pid=235624] ppid=235621 vsize=18993908 memory=75116 CPUtime=0.39 cores=1,3
/proc/235624/stat : 235624 (java) S 235621 235624 230684 0 -1 1077936128 7364 0 0 0 37 2 0 0 20 0 18 0 18742890 19449761792 18779 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
/proc/235624/statm: 4748477 18779 6010 1 0 551639 0
[pid=235624/tid=235626] ppid=235621 vsize=18993908 memory=3472328300254199927 CPUtime=0.21 cores=1,3
/proc/235624/task/235626/stat : 235626 (java) R 235621 235624 230684 0 -1 4194368 5918 0 0 0 20 1 0 0 20 0 18 0 18742890 19449761792 18779 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
[pid=235624/tid=235635] ppid=235621 vsize=18993908 memory=952857 CPUtime=0 cores=1,3
/proc/235624/task/235635/stat : 235635 (Finalizer) S 235621 235624 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18742893 19449761792 18779 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
[pid=235624/tid=235642] ppid=235621 vsize=18993908 memory=14979987790893628 CPUtime=0 cores=1,3
/proc/235624/task/235642/stat : 235642 (Common-Cleaner) S 235621 235624 230684 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18742893 19449761792 18779 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 75116 KiB
[startup+0.315761 s]*
/proc/loadavg: 4.54 4.25 4.24 7/311 235648
/proc/meminfo: memFree=70303176/131655788 swapFree=131061124/131071996
[pid=235624] ppid=235621 vsize=18993908 memory=95176 CPUtime=0.56 cores=1,3
/proc/235624/stat : 235624 (java) S 235621 235624 230684 0 -1 1077936128 8312 0 0 0 54 2 0 0 20 0 18 0 18742890 19449761792 23794 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
/proc/235624/statm: 4748477 23794 6086 1 0 551927 0
[pid=235624/tid=235626] ppid=235621 vsize=18993908 memory=7311146985107750967 CPUtime=0.29 cores=1,3
/proc/235624/task/235626/stat : 235626 (java) R 235621 235624 230684 0 -1 4194368 5959 0 0 0 28 1 0 0 20 0 18 0 18742890 19449761792 23794 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
[pid=235624/tid=235635] ppid=235621 vsize=18993908 memory=4210021459479922916 CPUtime=0 cores=1,3
/proc/235624/task/235635/stat : 235635 (Finalizer) S 235621 235624 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18742893 19449761792 23794 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
[pid=235624/tid=235642] ppid=235621 vsize=18993908 memory=954742 CPUtime=0 cores=1,3
/proc/235624/task/235642/stat : 235642 (Common-Cleaner) S 235621 235624 230684 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18742893 19449761792 23794 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 95176 KiB
[startup+0.702765 s]
/proc/loadavg: 4.54 4.25 4.24 6/309 235655
/proc/meminfo: memFree=70255896/131655788 swapFree=131061124/131071996
[pid=235624] ppid=235621 vsize=19060472 memory=149596 CPUtime=1.25 cores=1,3
/proc/235624/stat : 235624 (java) S 235621 235624 230684 0 -1 1077936128 9987 0 0 0 121 4 0 0 20 0 19 0 18742890 19517923328 37399 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
/proc/235624/statm: 4765118 37399 6124 1 0 553267 0
[pid=235624/tid=235626] ppid=235621 vsize=19060472 memory=2232 CPUtime=0.55 cores=1,3
/proc/235624/task/235626/stat : 235626 (java) R 235621 235624 230684 0 -1 4194368 6111 0 0 0 52 3 0 0 20 0 19 0 18742890 19517923328 37399 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
[pid=235624/tid=235635] ppid=235621 vsize=19060472 memory=12240 CPUtime=0 cores=1,3
/proc/235624/task/235635/stat : 235635 (Finalizer) S 235621 235624 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18742893 19517923328 37399 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
[pid=235624/tid=235642] ppid=235621 vsize=19060472 memory=953845 CPUtime=0 cores=1,3
/proc/235624/task/235642/stat : 235642 (Common-Cleaner) S 235621 235624 230684 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18742893 19517923328 37399 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
[pid=235624/tid=235655] ppid=235621 vsize=19060472 memory=0 CPUtime=0 cores=1,3
/proc/235624/task/235655/stat : 235655 (Timer-0) S 235621 235624 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18742936 19517923328 37399 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 149596 KiB
[startup+1.50076 s]
/proc/loadavg: 4.54 4.25 4.24 8/310 235656
/proc/meminfo: memFree=71333492/131655788 swapFree=131061124/131071996
[pid=235624] ppid=235621 vsize=19127036 memory=191332 CPUtime=2.82 cores=1,3
/proc/235624/stat : 235624 (java) S 235621 235624 230684 0 -1 1077936128 16355 0 0 0 275 7 0 0 20 0 20 0 18742890 19586084864 47833 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
/proc/235624/statm: 4781759 47833 6172 1 0 554956 0
[pid=235624/tid=235626] ppid=235621 vsize=19127036 memory=12240 CPUtime=1.25 cores=1,3
/proc/235624/task/235626/stat : 235626 (java) R 235621 235624 230684 0 -1 4194368 6421 0 0 0 121 4 0 0 20 0 20 0 18742890 19586084864 47833 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
[pid=235624/tid=235635] ppid=235621 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/235624/task/235635/stat : 235635 (Finalizer) S 235621 235624 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18742893 19586084864 47833 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
[pid=235624/tid=235642] ppid=235621 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/235624/task/235642/stat : 235642 (Common-Cleaner) S 235621 235624 230684 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 18742893 19586084864 47833 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
[pid=235624/tid=235655] ppid=235621 vsize=19127036 memory=164 CPUtime=0 cores=1,3
/proc/235624/task/235655/stat : 235655 (Timer-0) S 235621 235624 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18742936 19586084864 47833 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 191332 KiB
[startup+3.10641 s]
/proc/loadavg: 4.54 4.25 4.24 4/333 235693
/proc/meminfo: memFree=72589280/131655788 swapFree=131061124/131071996
[pid=235624] ppid=235621 vsize=19127036 memory=367232 CPUtime=5.64 cores=1,3
/proc/235624/stat : 235624 (java) S 235621 235624 230684 0 -1 1077936128 21489 0 0 0 552 12 0 0 20 0 20 0 18742890 19586084864 91808 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
/proc/235624/statm: 4781759 91808 6172 1 0 556680 0
[pid=235624/tid=235626] ppid=235621 vsize=19127036 memory=12240 CPUtime=2.8 cores=1,3
/proc/235624/task/235626/stat : 235626 (java) R 235621 235624 230684 0 -1 4194368 7508 0 0 0 272 8 0 0 20 0 20 0 18742890 19586084864 91808 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
[pid=235624/tid=235635] ppid=235621 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/235624/task/235635/stat : 235635 (Finalizer) S 235621 235624 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18742893 19586084864 91808 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
[pid=235624/tid=235642] ppid=235621 vsize=19127036 memory=195644 CPUtime=0 cores=1,3
/proc/235624/task/235642/stat : 235642 (Common-Cleaner) S 235621 235624 230684 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 20 0 18742893 19586084864 91808 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
[pid=235624/tid=235655] ppid=235621 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/235624/task/235655/stat : 235655 (Timer-0) S 235621 235624 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18742936 19586084864 91808 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
Current children cumulated CPU time: 5.64 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 367232 KiB
[startup+6.30041 s]
/proc/loadavg: 4.50 4.25 4.23 5/314 235696
/proc/meminfo: memFree=72068764/131655788 swapFree=131061124/131071996
[pid=235624] ppid=235621 vsize=19127036 memory=865276 CPUtime=9.39 cores=1,3
/proc/235624/stat : 235624 (java) S 235621 235624 230684 0 -1 1077936128 22154 0 0 0 913 26 0 0 20 0 20 0 18742890 19586084864 216319 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
/proc/235624/statm: 4781759 216319 6172 1 0 690359 0
[pid=235624/tid=235626] ppid=235621 vsize=19127036 memory=12240 CPUtime=5.84 cores=1,3
/proc/235624/task/235626/stat : 235626 (java) R 235621 235624 230684 0 -1 4194368 7720 0 0 0 564 20 0 0 20 0 20 0 18742890 19586084864 216319 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
[pid=235624/tid=235635] ppid=235621 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/235624/task/235635/stat : 235635 (Finalizer) S 235621 235624 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18742893 19586084864 216319 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
[pid=235624/tid=235642] ppid=235621 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/235624/task/235642/stat : 235642 (Common-Cleaner) S 235621 235624 230684 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 20 0 18742893 19586084864 216319 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
[pid=235624/tid=235655] ppid=235621 vsize=19127036 memory=69768 CPUtime=0 cores=1,3
/proc/235624/task/235655/stat : 235655 (Timer-0) S 235621 235624 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18742936 19586084864 216319 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
Current children cumulated CPU time: 9.39 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 865276 KiB
[startup+12.7005 s]
/proc/loadavg: 4.54 4.26 4.24 5/335 235764
/proc/meminfo: memFree=69944700/131655788 swapFree=131061124/131071996
[pid=235624] ppid=235621 vsize=19127036 memory=1723788 CPUtime=16.03 cores=1,3
/proc/235624/stat : 235624 (java) S 235621 235624 230684 0 -1 1077936128 23983 0 0 0 1553 50 0 0 20 0 20 0 18742890 19586084864 430947 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
/proc/235624/statm: 4781759 430947 6204 1 0 690365 0
[pid=235624/tid=235626] ppid=235621 vsize=19127036 memory=231644 CPUtime=12.05 cores=1,3
/proc/235624/task/235626/stat : 235626 (java) R 235621 235624 230684 0 -1 4194368 8822 0 0 0 1164 41 0 0 20 0 20 0 18742890 19586084864 430947 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
[pid=235624/tid=235635] ppid=235621 vsize=19127036 memory=12240 CPUtime=0 cores=1,3
/proc/235624/task/235635/stat : 235635 (Finalizer) S 235621 235624 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18742893 19586084864 430947 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
[pid=235624/tid=235642] ppid=235621 vsize=19127036 memory=1723652 CPUtime=0 cores=1,3
/proc/235624/task/235642/stat : 235642 (Common-Cleaner) S 235621 235624 230684 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 20 0 18742893 19586084864 430947 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
[pid=235624/tid=235655] ppid=235621 vsize=19127036 memory=12240 CPUtime=0 cores=1,3
/proc/235624/task/235655/stat : 235655 (Timer-0) S 235621 235624 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18742936 19586084864 430947 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
Current children cumulated CPU time: 16.03 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1723788 KiB
[startup+25.5005 s]
/proc/loadavg: 4.72 4.31 4.26 7/320 235969
/proc/meminfo: memFree=76516472/131655788 swapFree=131061124/131071996
[pid=235624] ppid=235621 vsize=19127036 memory=2991304 CPUtime=29.26 cores=1,3
/proc/235624/stat : 235624 (java) S 235621 235624 230684 0 -1 1077936128 30392 0 0 0 2837 89 0 0 20 0 20 0 18742890 19586084864 747826 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
/proc/235624/statm: 4781759 747826 6204 1 0 999524 0
[pid=235624/tid=235626] ppid=235621 vsize=19127036 memory=1723652 CPUtime=24.32 cores=1,3
/proc/235624/task/235626/stat : 235626 (java) R 235621 235624 230684 0 -1 4194368 10515 0 0 0 2356 76 0 0 20 0 20 0 18742890 19586084864 747826 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
[pid=235624/tid=235635] ppid=235621 vsize=19127036 memory=1896 CPUtime=0 cores=1,3
/proc/235624/task/235635/stat : 235635 (Finalizer) S 235621 235624 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18742893 19586084864 747826 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
[pid=235624/tid=235642] ppid=235621 vsize=19127036 memory=-9104981467005166268 CPUtime=0 cores=1,3
/proc/235624/task/235642/stat : 235642 (Common-Cleaner) S 235621 235624 230684 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 20 0 18742893 19586084864 747826 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
[pid=235624/tid=235655] ppid=235621 vsize=19127036 memory=2991248 CPUtime=0 cores=1,3
/proc/235624/task/235655/stat : 235655 (Timer-0) S 235621 235624 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18742936 19586084864 747826 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
Current children cumulated CPU time: 29.26 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2991304 KiB
[startup+51.1138 s]
/proc/loadavg: 4.61 4.32 4.26 5/327 235981
/proc/meminfo: memFree=73439656/131655788 swapFree=131061124/131071996
[pid=235624] ppid=235621 vsize=19127036 memory=4214904 CPUtime=53.91 cores=1,3
/proc/235624/stat : 235624 (java) S 235621 235624 230684 0 -1 1077936128 38239 0 0 0 5255 136 0 0 20 0 20 0 18742890 19586084864 1053726 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
/proc/235624/statm: 4781759 1053726 6204 1 0 1279431 0
[pid=235624/tid=235626] ppid=235621 vsize=19127036 memory=5640 CPUtime=47.79 cores=1,3
/proc/235624/task/235626/stat : 235626 (java) R 235621 235624 230684 0 -1 4194368 13985 0 0 0 4659 120 0 0 20 0 20 0 18742890 19586084864 1053726 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 139 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
[pid=235624/tid=235635] ppid=235621 vsize=19127036 memory=3246200 CPUtime=0 cores=1,3
/proc/235624/task/235635/stat : 235635 (Finalizer) S 235621 235624 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18742893 19586084864 1053726 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
################
# More data... #
################
/proc/235624/task/235635/stat : 235635 (Finalizer) S 235621 235624 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18742893 19586084864 1380323 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
[pid=235624/tid=235642] ppid=235621 vsize=19127036 memory=5521288 CPUtime=0 cores=1,3
/proc/235624/task/235642/stat : 235642 (Common-Cleaner) S 235621 235624 230684 0 -1 1077936192 408 0 0 0 0 0 0 0 20 0 20 0 18742893 19586084864 1380323 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
[pid=235624/tid=235655] ppid=235621 vsize=19127036 memory=5521288 CPUtime=0 cores=1,3
/proc/235624/task/235655/stat : 235655 (Timer-0) S 235621 235624 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18742936 19586084864 1380323 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
Current children cumulated CPU time: 590.42 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 5521292 KiB
[startup+642.3 s]
/proc/loadavg: 4.40 4.34 4.29 9/325 236319
/proc/meminfo: memFree=54906336/131655788 swapFree=131061124/131071996
[pid=235624] ppid=235621 vsize=19127036 memory=5521308 CPUtime=651.16 cores=1,3
/proc/235624/stat : 235624 (java) S 235621 235624 230684 0 -1 1077936128 113842 0 0 0 64387 729 0 0 20 0 20 0 18742890 19586084864 1380327 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
/proc/235624/statm: 4781759 1380327 6204 1 0 1393298 0
[pid=235624/tid=235626] ppid=235621 vsize=19127036 memory=5519208 CPUtime=612.68 cores=1,3
/proc/235624/task/235626/stat : 235626 (java) R 235621 235624 230684 0 -1 4194368 40265 0 0 0 60612 656 0 0 20 0 20 0 18742890 19586084864 1380327 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 958 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
[pid=235624/tid=235635] ppid=235621 vsize=19127036 memory=5521296 CPUtime=0 cores=1,3
/proc/235624/task/235635/stat : 235635 (Finalizer) S 235621 235624 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18742893 19586084864 1380327 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
[pid=235624/tid=235642] ppid=235621 vsize=19127036 memory=25788 CPUtime=0 cores=1,3
/proc/235624/task/235642/stat : 235642 (Common-Cleaner) S 235621 235624 230684 0 -1 1077936192 452 0 0 0 0 0 0 0 20 0 20 0 18742893 19586084864 1380327 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
[pid=235624/tid=235655] ppid=235621 vsize=19127036 memory=5644 CPUtime=0 cores=1,3
/proc/235624/task/235655/stat : 235655 (Timer-0) S 235621 235624 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18742936 19586084864 1380327 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
Current children cumulated CPU time: 651.16 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 5521308 KiB
[startup+653.547 s]
# the end of solver process 235624 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=651.132 s, system=7.4579 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+646.4 s]
/proc/loadavg: 4.37 4.34 4.28 5/324 236319
/proc/meminfo: memFree=54807740/131655788 swapFree=131061124/131071996
[pid=235624] ppid=235621 vsize=19127036 memory=5521308 CPUtime=655.26 cores=1,3
/proc/235624/stat : 235624 (java) S 235621 235624 230684 0 -1 1077936128 114098 0 0 0 64791 735 0 0 20 0 20 0 18742890 19586084864 1380327 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
/proc/235624/statm: 4781759 1380327 6204 1 0 1393298 0
[pid=235624/tid=235626] ppid=235621 vsize=19127036 memory=70176 CPUtime=616.77 cores=1,3
/proc/235624/task/235626/stat : 235626 (java) R 235621 235624 230684 0 -1 4194368 40521 0 0 0 61015 662 0 0 20 0 20 0 18742890 19586084864 1380327 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 958 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
[pid=235624/tid=235635] ppid=235621 vsize=19127036 memory=12240 CPUtime=0 cores=1,3
/proc/235624/task/235635/stat : 235635 (Finalizer) S 235621 235624 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18742893 19586084864 1380327 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
[pid=235624/tid=235642] ppid=235621 vsize=19127036 memory=5644 CPUtime=0 cores=1,3
/proc/235624/task/235642/stat : 235642 (Common-Cleaner) S 235621 235624 230684 0 -1 1077936192 452 0 0 0 0 0 0 0 20 0 20 0 18742893 19586084864 1380327 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
[pid=235624/tid=235655] ppid=235621 vsize=19127036 memory=5521308 CPUtime=0 cores=1,3
/proc/235624/task/235655/stat : 235655 (Timer-0) S 235621 235624 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18742936 19586084864 1380327 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
Current children cumulated CPU time: 655.26 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 5521308 KiB
[startup+649.6 s]
/proc/loadavg: 4.34 4.33 4.28 5/319 236321
/proc/meminfo: memFree=54741036/131655788 swapFree=131061124/131071996
[pid=235624] ppid=235621 vsize=19127036 memory=5521372 CPUtime=658.22 cores=1,3
/proc/235624/stat : 235624 (java) S 235621 235624 230684 0 -1 1077936128 115717 0 0 0 65082 740 0 0 20 0 20 0 18742890 19586084864 1380343 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
/proc/235624/statm: 4781759 1380343 6204 1 0 1393311 0
[pid=235624/tid=235626] ppid=235621 vsize=19127036 memory=5521312 CPUtime=619.39 cores=1,3
/proc/235624/task/235626/stat : 235626 (java) D 235621 235624 230684 0 -1 4194368 41735 0 0 0 61272 667 0 0 20 0 20 0 18742890 19586084864 1380343 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 958 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
[pid=235624/tid=235635] ppid=235621 vsize=19127036 memory=-9104981467005166268 CPUtime=0 cores=1,3
/proc/235624/task/235635/stat : 235635 (Finalizer) S 235621 235624 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18742893 19586084864 1380343 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
[pid=235624/tid=235642] ppid=235621 vsize=19127036 memory=5640 CPUtime=0 cores=1,3
/proc/235624/task/235642/stat : 235642 (Common-Cleaner) S 235621 235624 230684 0 -1 1077936192 452 0 0 0 0 0 0 0 20 0 20 0 18742893 19586084864 1380343 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
[pid=235624/tid=235655] ppid=235621 vsize=19127036 memory=-9104981467005166268 CPUtime=0 cores=1,3
/proc/235624/task/235655/stat : 235655 (Timer-0) S 235621 235624 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18742936 19586084864 1380343 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
Current children cumulated CPU time: 658.22 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 5521372 KiB
[startup+651.2 s]
/proc/loadavg: 4.34 4.33 4.28 4/319 236321
/proc/meminfo: memFree=54705232/131655788 swapFree=131061124/131071996
[pid=235624] ppid=235621 vsize=19127036 memory=5521372 CPUtime=658.23 cores=1,3
/proc/235624/stat : 235624 (java) S 235621 235624 230684 0 -1 1077936128 115718 0 0 0 65083 740 0 0 20 0 20 0 18742890 19586084864 1380343 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
/proc/235624/statm: 4781759 1380343 6204 1 0 1393311 0
[pid=235624/tid=235626] ppid=235621 vsize=19127036 memory=70176 CPUtime=619.39 cores=1,3
/proc/235624/task/235626/stat : 235626 (java) D 235621 235624 230684 0 -1 4194368 41735 0 0 0 61272 667 0 0 20 0 20 0 18742890 19586084864 1380343 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 958 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
[pid=235624/tid=235635] ppid=235621 vsize=19127036 memory=12240 CPUtime=0 cores=1,3
/proc/235624/task/235635/stat : 235635 (Finalizer) S 235621 235624 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18742893 19586084864 1380343 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
[pid=235624/tid=235642] ppid=235621 vsize=19127036 memory=5640 CPUtime=0 cores=1,3
/proc/235624/task/235642/stat : 235642 (Common-Cleaner) S 235621 235624 230684 0 -1 1077936192 452 0 0 0 0 0 0 0 20 0 20 0 18742893 19586084864 1380343 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
[pid=235624/tid=235655] ppid=235621 vsize=19127036 memory=-9104981467005166268 CPUtime=0 cores=1,3
/proc/235624/task/235655/stat : 235655 (Timer-0) S 235621 235624 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18742936 19586084864 1380343 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
Current children cumulated CPU time: 658.23 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 5521372 KiB
[startup+652.8 s]
/proc/loadavg: 4.34 4.33 4.28 4/319 236321
/proc/meminfo: memFree=54685452/131655788 swapFree=131061124/131071996
[pid=235624] ppid=235621 vsize=19127036 memory=5521372 CPUtime=658.24 cores=1,3
/proc/235624/stat : 235624 (java) S 235621 235624 230684 0 -1 1077936128 115718 0 0 0 65083 741 0 0 20 0 20 0 18742890 19586084864 1380343 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
/proc/235624/statm: 4781759 1380343 6204 1 0 1393311 0
[pid=235624/tid=235626] ppid=235621 vsize=19127036 memory=70176 CPUtime=619.4 cores=1,3
/proc/235624/task/235626/stat : 235626 (java) R 235621 235624 230684 0 -1 4194368 41735 0 0 0 61272 668 0 0 20 0 20 0 18742890 19586084864 1380343 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 1649 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
[pid=235624/tid=235635] ppid=235621 vsize=19127036 memory=5521296 CPUtime=0 cores=1,3
/proc/235624/task/235635/stat : 235635 (Finalizer) S 235621 235624 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18742893 19586084864 1380343 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
[pid=235624/tid=235642] ppid=235621 vsize=19127036 memory=5521372 CPUtime=0 cores=1,3
/proc/235624/task/235642/stat : 235642 (Common-Cleaner) S 235621 235624 230684 0 -1 1077936192 452 0 0 0 0 0 0 0 20 0 20 0 18742893 19586084864 1380343 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
[pid=235624/tid=235655] ppid=235621 vsize=19127036 memory=12264 CPUtime=0 cores=1,3
/proc/235624/task/235655/stat : 235655 (Timer-0) S 235621 235624 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18742936 19586084864 1380343 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
Current children cumulated CPU time: 658.24 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 5521372 KiB
[startup+653.201 s]
/proc/loadavg: 4.34 4.33 4.28 4/319 236321
/proc/meminfo: memFree=54670616/131655788 swapFree=131061124/131071996
[pid=235624] ppid=235621 vsize=19127036 memory=5521372 CPUtime=658.24 cores=1,3
/proc/235624/stat : 235624 (java) S 235621 235624 230684 0 -1 1077936128 115718 0 0 0 65083 741 0 0 20 0 20 0 18742890 19586084864 1380343 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
/proc/235624/statm: 4781759 1380343 6204 1 0 1393311 0
[pid=235624/tid=235626] ppid=235621 vsize=19127036 memory=70176 CPUtime=619.41 cores=1,3
/proc/235624/task/235626/stat : 235626 (java) D 235621 235624 230684 0 -1 4194368 41735 0 0 0 61273 668 0 0 20 0 20 0 18742890 19586084864 1380343 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1712 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
[pid=235624/tid=235635] ppid=235621 vsize=19127036 memory=12240 CPUtime=0 cores=1,3
/proc/235624/task/235635/stat : 235635 (Finalizer) S 235621 235624 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18742893 19586084864 1380343 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
[pid=235624/tid=235642] ppid=235621 vsize=19127036 memory=5640 CPUtime=0 cores=1,3
/proc/235624/task/235642/stat : 235642 (Common-Cleaner) S 235621 235624 230684 0 -1 1077936192 452 0 0 0 0 0 0 0 20 0 20 0 18742893 19586084864 1380343 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
[pid=235624/tid=235655] ppid=235621 vsize=19127036 memory=18484 CPUtime=0 cores=1,3
/proc/235624/task/235655/stat : 235655 (Timer-0) S 235621 235624 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18742936 19586084864 1380343 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
Current children cumulated CPU time: 658.24 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 5521372 KiB
[startup+653.401 s]
/proc/loadavg: 4.34 4.33 4.28 4/319 236321
/proc/meminfo: memFree=54670616/131655788 swapFree=131061124/131071996
[pid=235624] ppid=235621 vsize=19260164 memory=5521840 CPUtime=658.4 cores=1,3
/proc/235624/stat : 235624 (java) S 235621 235624 230684 0 -1 1077936128 116736 0 0 0 65098 742 0 0 20 0 20 0 18742890 19722407936 1380460 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
/proc/235624/statm: 4815041 1380460 6203 1 0 1393983 0
[pid=235624/tid=235626] ppid=235621 vsize=19260164 memory=8012 CPUtime=619.42 cores=1,3
/proc/235624/task/235626/stat : 235626 (java) S 235621 235624 230684 0 -1 1077936192 42316 0 0 0 61273 669 0 0 20 0 20 0 18742890 19722407936 1380460 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1719 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
[pid=235624/tid=235635] ppid=235621 vsize=19260164 memory=19432 CPUtime=0 cores=1,3
/proc/235624/task/235635/stat : 235635 (Finalizer) S 235621 235624 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18742893 19722407936 1380460 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
[pid=235624/tid=235642] ppid=235621 vsize=19260164 memory=6772 CPUtime=0 cores=1,3
/proc/235624/task/235642/stat : 235642 (Common-Cleaner) S 235621 235624 230684 0 -1 1077936192 452 0 0 0 0 0 0 0 20 0 20 0 18742893 19722407936 1380460 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
Current children cumulated CPU time: 658.4 s
Current children cumulated vsize: 19260164 KiB
Current children cumulated memory: 5521840 KiB
[startup+653.5 s]
/proc/loadavg: 4.34 4.33 4.28 4/319 236321
/proc/meminfo: memFree=54670616/131655788 swapFree=131061124/131071996
[pid=235624] ppid=235621 vsize=19260164 memory=5521888 CPUtime=658.54 cores=1,3
/proc/235624/stat : 235624 (java) S 235621 235624 230684 0 -1 1077936128 116990 0 0 0 65112 742 0 0 20 0 19 0 18742890 19722407936 1380472 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
/proc/235624/statm: 4815041 1380472 6203 1 0 1393986 0
[pid=235624/tid=235626] ppid=235621 vsize=19260164 memory=5519208 CPUtime=619.42 cores=1,3
/proc/235624/task/235626/stat : 235626 (java) R 235621 235624 230684 0 -1 1077936192 42316 0 0 0 61273 669 0 0 20 0 19 0 18742890 19722407936 1380472 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1719 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
[pid=235624/tid=235635] ppid=235621 vsize=19260164 memory=5521308 CPUtime=0 cores=1,3
/proc/235624/task/235635/stat : 235635 (Finalizer) S 235621 235624 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18742893 19722407936 1380472 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
[pid=235624/tid=235642] ppid=235621 vsize=19260164 memory=12240 CPUtime=0 cores=1,3
/proc/235624/task/235642/stat : 235642 (Common-Cleaner) S 235621 235624 230684 0 -1 1077936192 452 0 0 0 0 0 0 0 20 0 19 0 18742893 19722407936 1380472 134679101440 94097550462976 94097550466672 140724392101232 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94097550474488 94097550475280 94097552273408 140724392104879 140724392105061 140724392105061 140724392112072 0
Current children cumulated CPU time: 658.54 s
Current children cumulated vsize: 19260164 KiB
Current children cumulated memory: 5521888 KiB
Child status: 30
Real time (s): 653.547
CPU time (s): 658.59
CPU user time (s): 651.132
CPU system time (s): 7.4579
CPU usage (%): 100.772
Max. virtual memory (cumulated for all children) (KiB): 19260164
Max. memory (cumulated for all children) (KiB): 5521888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 651.132
system time used= 7.4579
maximum resident set size= 5523104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117193
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13739136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34700
involuntary context switches= 2927
# summary of solver processes directly reported to runsolver:
# pid: 235624
# total CPU time (s): 658.59
# total CPU user time (s): 651.132
# total CPU system time (s): 7.4579
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.43413 second user time and 7.31481 second system time
The end
Begin job on nodeC005 at 2024-07-24 15:25:35 IDJOB=4440595 IDBENCH=158625 IDSOLVER=3079 FILE ID=nodeC005/4440595-1721827535 RUNJOBID= nodeC005-1721820325-230696 SLURM_JOB_ID= 7891450 Free space on /tmp= 723664 MiB SOLVER NAME= Sat4j Resolution 2024 2024-07-07 BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm99p-opt.opb.negationfix.opb COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440595-1721827535/watcher-4440595-1721827535 -o /tmp/evaluation-result-4440595-1721827535/solver-4440595-1721827535 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721820325-230696 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440595-1721827535 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440595-1721827535.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 3f10ffbf957f8216a1934b9362956d36 RANDOM SEED=390095140 nodeC005.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3659.193 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.14 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.602 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.236 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.14 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.110 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.572 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.14 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3649.258 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.288 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.14 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.177 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 70378492 kB MemAvailable: 106632368 kB Buffers: 252836 kB Cached: 36755656 kB SwapCached: 612 kB Active: 2610172 kB Inactive: 57917900 kB Active(anon): 1616 kB Inactive(anon): 23571324 kB Active(file): 2608556 kB Inactive(file): 34346576 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131061124 kB Dirty: 48028 kB Writeback: 0 kB AnonPages: 23518900 kB Mapped: 138680 kB Shmem: 53264 kB KReclaimable: 277548 kB Slab: 390952 kB SReclaimable: 277548 kB SUnreclaim: 113404 kB KernelStack: 4768 kB PageTables: 56064 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 29249292 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 10848 kB HardwareCorrupted: 0 kB AnonHugePages: 23128064 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 406344 kB DirectMap2M: 45635584 kB DirectMap1G: 90177536 kB Free space on /tmp at the end= 723772 MiB End job on nodeC005 at 2024-07-24 15:36:29