0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	No reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/0.12	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.14/0.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c No reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/0.12	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.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4432321-1721108371.opb
0.14/0.12	c reading problem ... 
0.14/0.12	c  objective function found
0.52/0.35	c ... done. Wall clock time 0.225s.
0.52/0.35	c declared #vars     11321
0.52/0.35	c #constraints  36630
0.52/0.35	c constraints type 
0.52/0.35	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 29778
0.52/0.35	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5815
0.52/0.35	c org.sat4j.pb.constraints.pb.UnitClausePB => 1037
0.52/0.35	c 36630 constraints processed.
0.52/0.36	c objective function length is 5515 literals
0.72/0.42	c SATISFIABLE
0.72/0.42	c OPTIMIZING...
0.72/0.43	c Got one! Elapsed wall clock time (in seconds):0.299
0.72/0.43	o 43
0.72/0.45	c Got one! Elapsed wall clock time (in seconds):0.331
0.72/0.45	o 42
0.72/0.49	c Got one! Elapsed wall clock time (in seconds):0.361
0.72/0.49	o 41
0.91/0.55	c Got one! Elapsed wall clock time (in seconds):0.43
0.91/0.55	o 40
2.26/1.24	c Got one! Elapsed wall clock time (in seconds):1.115
2.26/1.24	o 39
4.41/3.23	c cleaning 2989 clauses out of 5981 with flag 24184/5981
7.66/6.25	c cleaning 4478 clauses out of 8992 with flag 52769/11981
11.35/9.88	c cleaning 5725 clauses out of 11513 with flag 89644/18981
15.35/13.81	c cleaning 6891 clauses out of 13789 with flag 129209/26982
19.44/17.75	c cleaning 7933 clauses out of 15897 with flag 177943/35981
23.74/22.10	c cleaning 8964 clauses out of 17965 with flag 231010/45982
29.23/27.51	c cleaning 9984 clauses out of 20000 with flag 293298/56981
35.21/33.52	c cleaning 10977 clauses out of 22016 with flag 359733/68981
41.50/39.87	c cleaning 11990 clauses out of 24039 with flag 455682/81981
48.29/46.60	c cleaning 13009 clauses out of 26049 with flag 556459/95981
54.99/53.33	c cleaning 14005 clauses out of 28040 with flag 638934/110981
62.07/60.44	c cleaning 15006 clauses out of 30035 with flag 730584/126981
70.00/68.38	c cleaning 15992 clauses out of 32029 with flag 827604/143981
78.48/76.88	c cleaning 17013 clauses out of 34037 with flag 925711/161981
86.67/85.07	c cleaning 17991 clauses out of 36024 with flag 1029221/180981
95.45/93.80	c cleaning 18995 clauses out of 38033 with flag 1142239/200981
104.83/103.24	c cleaning 20001 clauses out of 40038 with flag 1259361/221981
114.21/112.65	c cleaning 21006 clauses out of 42037 with flag 1357252/243981
125.18/123.65	c cleaning 21985 clauses out of 44031 with flag 1489853/266981
136.56/135.05	c cleaning 23007 clauses out of 46050 with flag 1634257/290985
148.54/147.08	c cleaning 24008 clauses out of 48040 with flag 1792599/315982
162.11/160.68	c cleaning 24998 clauses out of 50035 with flag 1956273/341985
176.18/174.72	c cleaning 26007 clauses out of 52033 with flag 2113905/368981
190.05/188.65	c cleaning 26977 clauses out of 54026 with flag 2299226/396981
204.22/202.82	c cleaning 27976 clauses out of 56049 with flag 2485209/425981
219.83/218.42	c cleaning 29016 clauses out of 58073 with flag 2678578/455981
235.91/234.56	c cleaning 30001 clauses out of 60057 with flag 2865871/486981
251.77/250.46	c cleaning 31024 clauses out of 62057 with flag 3077569/518982
267.94/266.60	c cleaning 31982 clauses out of 64032 with flag 3270349/551981
284.70/283.46	c cleaning 32990 clauses out of 66050 with flag 3469407/585981
302.07/300.87	c cleaning 34010 clauses out of 68060 with flag 3681976/620981
318.73/317.59	c cleaning 34998 clauses out of 70050 with flag 3899191/656981
336.89/335.76	c cleaning 36007 clauses out of 72052 with flag 4136308/693981
353.76/352.60	c cleaning 37013 clauses out of 74046 with flag 4343287/731982
371.45/370.39	c cleaning 37999 clauses out of 76032 with flag 4561280/770981
388.92/387.87	c cleaning 39009 clauses out of 78034 with flag 4765441/810982
407.28/406.25	c cleaning 40009 clauses out of 80024 with flag 4985994/851981
425.38/424.34	c cleaning 40980 clauses out of 82015 with flag 5193039/893981
446.34/445.30	c cleaning 42014 clauses out of 84035 with flag 5438712/936981
468.60/467.64	c cleaning 42980 clauses out of 86021 with flag 5697353/980981
490.85/489.96	c cleaning 43984 clauses out of 88043 with flag 5982134/1025983
511.92/511.06	c cleaning 45007 clauses out of 90057 with flag 6283900/1071981
533.68/532.84	c cleaning 46000 clauses out of 92050 with flag 6572647/1118981
557.34/556.53	c cleaning 46988 clauses out of 94050 with flag 6877266/1166981
582.91/582.12	c cleaning 48017 clauses out of 96062 with flag 7186832/1215981
608.25/607.53	c cleaning 49013 clauses out of 98045 with flag 7524934/1265981
634.63/633.99	c cleaning 50002 clauses out of 100033 with flag 7876778/1316982
662.07/661.43	c cleaning 50998 clauses out of 102031 with flag 8192940/1368982
689.92/689.34	c cleaning 52004 clauses out of 104032 with flag 8488808/1421981
717.30/716.73	c cleaning 53006 clauses out of 106028 with flag 8807786/1475981
745.55/745.28	c cleaning 54003 clauses out of 108023 with flag 9129599/1530982
775.20/775.12	c cleaning 54970 clauses out of 110019 with flag 9465991/1586981
805.15/805.39	c cleaning 56006 clauses out of 112051 with flag 9797788/1643983
833.90/834.30	c cleaning 56993 clauses out of 114043 with flag 10192266/1701981
861.97/862.66	c cleaning 58017 clauses out of 116050 with flag 10564728/1760981
891.34/892.27	c cleaning 58985 clauses out of 118033 with flag 11018286/1820981
921.79/922.95	c cleaning 59986 clauses out of 120048 with flag 11432412/1881981
952.81/954.22	c cleaning 61011 clauses out of 122062 with flag 11789794/1943981
986.28/987.97	c cleaning 62006 clauses out of 124051 with flag 12173623/2006981
1020.48/1022.45	c cleaning 62999 clauses out of 126045 with flag 12631300/2070981
1054.99/1057.27	c cleaning 64007 clauses out of 128048 with flag 13034826/2135983
1088.42/1090.97	c cleaning 65009 clauses out of 130039 with flag 13436768/2201981
1123.33/1126.11	c cleaning 66009 clauses out of 132031 with flag 13822856/2268982
1156.74/1159.83	c cleaning 66976 clauses out of 134024 with flag 14246970/2336984
1194.31/1197.75	c cleaning 68012 clauses out of 136047 with flag 14659197/2405983
1232.26/1235.77	c cleaning 69009 clauses out of 138033 with flag 15061403/2475981
1269.39/1272.95	c cleaning 70002 clauses out of 140024 with flag 15450330/2546981
1307.62/1311.22	c cleaning 70997 clauses out of 142024 with flag 15864530/2618983
1346.65/1350.33	c cleaning 72001 clauses out of 144025 with flag 16300532/2691981
1386.52/1390.24	c cleaning 72987 clauses out of 146024 with flag 16726036/2765981
1426.96/1430.74	c cleaning 74006 clauses out of 148037 with flag 17178501/2840981
1466.38/1470.28	c cleaning 74991 clauses out of 150031 with flag 17586653/2916981
1506.46/1510.39	c cleaning 76000 clauses out of 152042 with flag 18014313/2993983
1547.68/1551.69	c cleaning 77006 clauses out of 154040 with flag 18549237/3071981
1589.71/1593.72	c cleaning 78010 clauses out of 156034 with flag 19014578/3150981
1628.73/1632.81	c cleaning 78977 clauses out of 158024 with flag 19424512/3230981
1669.42/1673.59	c cleaning 80020 clauses out of 160047 with flag 19888859/3311981
1711.52/1715.77	c cleaning 80993 clauses out of 162027 with flag 20375926/3393981
1753.53/1757.80	c cleaning 82005 clauses out of 164034 with flag 20844417/3476981
1795.54/1799.99	c cleaning 83006 clauses out of 166030 with flag 21309932/3560982
1838.44/1842.92	c cleaning 84006 clauses out of 168023 with flag 21829793/3645981
1882.33/1886.87	c cleaning 84996 clauses out of 170017 with flag 22262156/3731981
1926.44/1931.00	c cleaning 85995 clauses out of 172021 with flag 22808721/3818981
1970.86/1975.55	c cleaning 86999 clauses out of 174031 with flag 23387071/3906986
2016.67/2021.40	c cleaning 87993 clauses out of 176028 with flag 23932521/3995982
2062.30/2067.18	c cleaning 88986 clauses out of 178034 with flag 24523812/4085981
2110.40/2115.37	c cleaning 90006 clauses out of 180049 with flag 25088919/4176982
2159.66/2164.27	c cleaning 90982 clauses out of 182045 with flag 25688221/4268984
2211.34/2216.07	c cleaning 92004 clauses out of 184060 with flag 26160030/4361981
2261.53/2266.37	c cleaning 92987 clauses out of 186056 with flag 26725086/4455981
2311.42/2316.35	c cleaning 94010 clauses out of 188070 with flag 27319442/4550982
2362.11/2367.12	c cleaning 95013 clauses out of 190059 with flag 27951822/4646981
2411.77/2416.83	c cleaning 95998 clauses out of 192048 with flag 28608814/4743983
2462.28/2467.44	c cleaning 97017 clauses out of 194049 with flag 29290895/4841982
2513.97/2519.22	c cleaning 98002 clauses out of 196031 with flag 30002726/4940981
2567.28/2572.67	c cleaning 98989 clauses out of 198029 with flag 30625404/5040981
2622.28/2627.79	c cleaning 99988 clauses out of 200040 with flag 31310410/5141981
2675.48/2681.03	c cleaning 100990 clauses out of 202053 with flag 31953223/5243982
2723.17/2729.08	c cleaning 102001 clauses out of 204062 with flag 32491932/5346981
2777.30/2783.62	c cleaning 103021 clauses out of 206061 with flag 33070078/5450981
2828.66/2835.48	c cleaning 103996 clauses out of 208042 with flag 33689885/5555983
2887.36/2894.64	c cleaning 104995 clauses out of 210044 with flag 34313540/5661981
2945.75/2953.59	c cleaning 106007 clauses out of 212049 with flag 34951494/5768981
3004.64/3012.81	c cleaning 107009 clauses out of 214044 with flag 35521692/5876983
3060.75/3069.43	c cleaning 108001 clauses out of 216033 with flag 36126791/5985981
3121.48/3130.55	c cleaning 108995 clauses out of 218033 with flag 36767081/6095982
3183.28/3192.43	c cleaning 110019 clauses out of 220037 with flag 37351983/6206981
3244.76/3254.06	c cleaning 110958 clauses out of 222018 with flag 37843231/6318981
3306.84/3316.12	c cleaning 111994 clauses out of 224061 with flag 38340282/6431982
3370.02/3379.44	c cleaning 113014 clauses out of 226066 with flag 38861340/6545981
3435.10/3444.65	c cleaning 114018 clauses out of 228052 with flag 39348546/6660981
3501.17/3510.86	c cleaning 114987 clauses out of 230034 with flag 39835669/6776981
3568.15/3577.95	c cleaning 116012 clauses out of 232050 with flag 40280077/6893984
3600.09/3609.92	c starts		: 6262
3600.09/3609.92	c conflicts		: 6951224
3600.09/3609.92	c decisions		: 42926491
3600.09/3609.92	c propagations		: 31184933145
3600.09/3609.92	c inspects		: 30313338427
3600.09/3609.92	c shortcuts		: 0
3600.09/3609.92	c learnt literals	: 1
3600.09/3609.92	c learnt binary clauses	: 1
3600.09/3609.92	c learnt ternary clauses	: 13
3600.09/3609.92	c learnt constraints	: 6951223
3600.09/3609.92	c ignored constraints	: 0
3600.09/3609.92	c root simplifications	: 0
3600.09/3609.92	c removed literals (reason simplification)	: 0
3600.09/3609.92	c reason swapping (by a shorter reason)	: 0
3600.09/3609.92	c Calls to reduceDB	: 113
3600.09/3609.92	c Number of update (reduction) of LBD	: 3470700
3600.09/3609.92	c Imported unit clauses	: 0
3600.09/3609.92	c No decision after first conflict	: false
3600.09/3609.92	c number of reductions to clauses (during analyze)	: 0
3600.09/3609.92	c number of learned constraints concerned by reduction	: 0
3600.09/3609.92	c number of learning phase by resolution	: 0
3600.09/3609.92	c number of learning phase by cutting planes	: 0
3600.09/3609.92	c number of rounding to 1 operations	: 0
3600.09/3609.92	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3609.92	c number of reductions of the coefficients by power 2 	: 0
3600.09/3609.92	c number of right shift for reduction by power 2 	: 0
3600.09/3609.92	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3609.92	c number of ending skipping 	: 0
3600.09/3609.92	c number of internal skipping 	: 0
3600.09/3609.92	c number of derivation steps 	: 0
3600.09/3609.92	c number of skipped derivation steps 	: 0
3600.09/3609.92	c number of remaining unassigned 	: 0
3600.09/3609.92	c number of remaining assigned 	: 0
3600.09/3609.92	c number of falsified literals weakened from reason	: 0
3600.09/3609.92	c number of falsified literals weakened from conflict	: 0
3600.09/3609.92	c time for arithmetic operations	: 0
3600.09/3609.94	c minimum degree of deleted constraints	: null
3600.09/3609.94	c maximum degree of deleted constraints	: null
3600.09/3609.94	c number of deleted constraints	: 0
3600.09/3609.94	c speed (assignments/second)	: 8639553.015414093
3600.09/3609.94	c non guided choices	: 0
3600.09/3610.00	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 173277
3600.31/3610.01	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 1
3600.31/3610.01	s SATISFIABLE
3600.31/3610.01	c Found 5 solution(s)
3600.31/3610.02	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 
3600.31/3610.07	c objective function=39
3600.31/3610.07	c Total wall clock time (in seconds): 3609.943

OK	39

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: 63968 MiB (61655 MiB free)
  memory of node 1: 64473 MiB (63141 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432321-1721108371/watcher-4432321-1721108371 -o /tmp/evaluation-result-4432321-1721108371/solver-4432321-1721108371 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721104780-837247 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432321-1721108371.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=839607, runsolver pid=839604

[startup+0.101234 s]*
/proc/loadavg: 4.33 4.27 4.20 5/328 839625
/proc/meminfo: memFree=127740748/131524600 swapFree=131071996/131071996
[pid=839607] ppid=839604 vsize=18975048 memory=64608 CPUtime=0.14 cores=4,6
/proc/839607/stat : 839607 (java) S 839604 839607 837236 0 -1 1077936128 7179 0 0 0 12 2 0 0 20 0 18 0 163002075 19430449152 16152 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
/proc/839607/statm: 4743762 16152 5546 1 0 549335 0
[pid=839607/tid=839609] ppid=839604 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/839607/task/839609/stat : 839609 (java) R 839604 839607 837236 0 -1 1078198336 5739 0 0 0 7 1 0 0 20 0 18 0 163002075 19430449152 16152 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
[pid=839607/tid=839618] ppid=839604 vsize=18975048 memory=232851243367 CPUtime=0 cores=4,6
/proc/839607/task/839618/stat : 839618 (Finalizer) S 839604 839607 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 163002077 19430449152 16152 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
[pid=839607/tid=839625] ppid=839604 vsize=18975048 memory=13846374089254215 CPUtime=0 cores=4,6
/proc/839607/task/839625/stat : 839625 (Common-Cleaner) S 839604 839607 837236 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 163002078 19430449152 16152 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64608 KiB

[startup+0.205757 s]*
/proc/loadavg: 4.54 4.31 4.22 8/328 839625
/proc/meminfo: memFree=127722156/131524600 swapFree=131071996/131071996
[pid=839607] ppid=839604 vsize=18975048 memory=82684 CPUtime=0.33 cores=4,6
/proc/839607/stat : 839607 (java) S 839604 839607 837236 0 -1 1077936128 8093 0 0 0 31 2 0 0 20 0 18 0 163002075 19430449152 20671 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
/proc/839607/statm: 4743762 20671 5828 1 0 549986 0
[pid=839607/tid=839609] ppid=839604 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=4,6
/proc/839607/task/839609/stat : 839609 (java) R 839604 839607 837236 0 -1 4194368 5902 0 0 0 16 2 0 0 20 0 18 0 163002075 19430449152 20671 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
[pid=839607/tid=839618] ppid=839604 vsize=18975048 memory=5714 CPUtime=0 cores=4,6
/proc/839607/task/839618/stat : 839618 (Finalizer) S 839604 839607 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 163002077 19430449152 20671 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
[pid=839607/tid=839625] ppid=839604 vsize=18975048 memory=15252649461155485 CPUtime=0 cores=4,6
/proc/839607/task/839625/stat : 839625 (Common-Cleaner) S 839604 839607 837236 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 163002078 19430449152 20671 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 82684 KiB

[startup+0.305758 s]*
/proc/loadavg: 4.54 4.31 4.22 6/328 839625
/proc/meminfo: memFree=127684176/131524600 swapFree=131071996/131071996
[pid=839607] ppid=839604 vsize=18975048 memory=119860 CPUtime=0.52 cores=4,6
/proc/839607/stat : 839607 (java) S 839604 839607 837236 0 -1 1077936128 8972 0 0 0 49 3 0 0 20 0 18 0 163002075 19430449152 29965 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
/proc/839607/statm: 4743762 29965 5828 1 0 550537 0
[pid=839607/tid=839609] ppid=839604 vsize=18975048 memory=-8889371617664541372 CPUtime=0.28 cores=4,6
/proc/839607/task/839609/stat : 839609 (java) R 839604 839607 837236 0 -1 4194368 5924 0 0 0 25 3 0 0 20 0 18 0 163002075 19430449152 29965 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
[pid=839607/tid=839618] ppid=839604 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/839607/task/839618/stat : 839618 (Finalizer) S 839604 839607 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 163002077 19430449152 29965 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
[pid=839607/tid=839625] ppid=839604 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/839607/task/839625/stat : 839625 (Common-Cleaner) S 839604 839607 837236 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 163002078 19430449152 29965 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 119860 KiB

[startup+0.700756 s]
/proc/loadavg: 4.54 4.31 4.22 6/329 839626
/proc/meminfo: memFree=127653924/131524600 swapFree=131071996/131071996
[pid=839607] ppid=839604 vsize=19041612 memory=156028 CPUtime=1.29 cores=4,6
/proc/839607/stat : 839607 (java) S 839604 839607 837236 0 -1 1077936128 14576 0 0 0 124 5 0 0 20 0 19 0 163002075 19498610688 39007 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
/proc/839607/statm: 4760403 39007 5866 1 0 553647 0
[pid=839607/tid=839609] ppid=839604 vsize=19041612 memory=5432 CPUtime=0.63 cores=4,6
/proc/839607/task/839609/stat : 839609 (java) R 839604 839607 837236 0 -1 4194368 6087 0 0 0 60 3 0 0 20 0 19 0 163002075 19498610688 39007 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
[pid=839607/tid=839618] ppid=839604 vsize=19041612 memory=12952 CPUtime=0 cores=4,6
/proc/839607/task/839618/stat : 839618 (Finalizer) S 839604 839607 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163002077 19498610688 39007 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
[pid=839607/tid=839625] ppid=839604 vsize=19041612 memory=164 CPUtime=0 cores=4,6
/proc/839607/task/839625/stat : 839625 (Common-Cleaner) S 839604 839607 837236 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 163002078 19498610688 39007 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
[pid=839607/tid=839626] ppid=839604 vsize=19041612 memory=117636 CPUtime=0 cores=4,6
/proc/839607/task/839626/stat : 839626 (Timer-0) S 839604 839607 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163002113 19498610688 39007 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 156028 KiB

[startup+1.50075 s]
/proc/loadavg: 4.54 4.31 4.22 6/329 839626
/proc/meminfo: memFree=127647316/131524600 swapFree=131071996/131071996
[pid=839607] ppid=839604 vsize=19041612 memory=160996 CPUtime=2.65 cores=4,6
/proc/839607/stat : 839607 (java) S 839604 839607 837236 0 -1 1077936128 17732 0 0 0 260 5 0 0 20 0 19 0 163002075 19498610688 40249 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
/proc/839607/statm: 4760403 40249 5898 1 0 553651 0
[pid=839607/tid=839609] ppid=839604 vsize=19041612 memory=12952 CPUtime=1.42 cores=4,6
/proc/839607/task/839609/stat : 839609 (java) R 839604 839607 837236 0 -1 4194368 6939 0 0 0 139 3 0 0 20 0 19 0 163002075 19498610688 40249 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
[pid=839607/tid=839618] ppid=839604 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/839607/task/839618/stat : 839618 (Finalizer) S 839604 839607 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163002077 19498610688 40249 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
[pid=839607/tid=839625] ppid=839604 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/839607/task/839625/stat : 839625 (Common-Cleaner) S 839604 839607 837236 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 163002078 19498610688 40249 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
[pid=839607/tid=839626] ppid=839604 vsize=19041612 memory=6114 CPUtime=0 cores=4,6
/proc/839607/task/839626/stat : 839626 (Timer-0) S 839604 839607 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163002113 19498610688 40249 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
Current children cumulated CPU time: 2.65 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 160996 KiB

[startup+3.10524 s]
/proc/loadavg: 4.54 4.31 4.22 5/329 839628
/proc/meminfo: memFree=127640612/131524600 swapFree=131071996/131071996
[pid=839607] ppid=839604 vsize=19041612 memory=163124 CPUtime=4.31 cores=4,6
/proc/839607/stat : 839607 (java) S 839604 839607 837236 0 -1 1077936128 18958 0 0 0 426 5 0 0 20 0 19 0 163002075 19498610688 40781 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
/proc/839607/statm: 4760403 40781 5898 1 0 553652 0
[pid=839607/tid=839609] ppid=839604 vsize=19041612 memory=0 CPUtime=3.01 cores=4,6
/proc/839607/task/839609/stat : 839609 (java) R 839604 839607 837236 0 -1 4194368 7196 0 0 0 298 3 0 0 20 0 19 0 163002075 19498610688 40781 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
[pid=839607/tid=839618] ppid=839604 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/839607/task/839618/stat : 839618 (Finalizer) S 839604 839607 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163002077 19498610688 40781 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
[pid=839607/tid=839625] ppid=839604 vsize=19041612 memory=12952 CPUtime=0 cores=4,6
/proc/839607/task/839625/stat : 839625 (Common-Cleaner) S 839604 839607 837236 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 163002078 19498610688 40781 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
[pid=839607/tid=839626] ppid=839604 vsize=19041612 memory=11648 CPUtime=0 cores=4,6
/proc/839607/task/839626/stat : 839626 (Timer-0) S 839604 839607 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163002113 19498610688 40781 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
Current children cumulated CPU time: 4.31 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 163124 KiB

[startup+6.30021 s]
/proc/loadavg: 4.50 4.31 4.22 5/329 839628
/proc/meminfo: memFree=127638296/131524600 swapFree=131071996/131071996
[pid=839607] ppid=839604 vsize=19041612 memory=163200 CPUtime=7.77 cores=4,6
/proc/839607/stat : 839607 (java) S 839604 839607 837236 0 -1 1077936128 24745 0 0 0 771 6 0 0 20 0 19 0 163002075 19498610688 40800 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
/proc/839607/statm: 4760403 40800 5898 1 0 555483 0
[pid=839607/tid=839609] ppid=839604 vsize=19041612 memory=12952 CPUtime=6.2 cores=4,6
/proc/839607/task/839609/stat : 839609 (java) R 839604 839607 837236 0 -1 4194368 8269 0 0 0 617 3 0 0 20 0 19 0 163002075 19498610688 40800 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
[pid=839607/tid=839618] ppid=839604 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/839607/task/839618/stat : 839618 (Finalizer) S 839604 839607 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163002077 19498610688 40800 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
[pid=839607/tid=839625] ppid=839604 vsize=19041612 memory=26496 CPUtime=0 cores=4,6
/proc/839607/task/839625/stat : 839625 (Common-Cleaner) S 839604 839607 837236 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 163002078 19498610688 40800 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
[pid=839607/tid=839626] ppid=839604 vsize=19041612 memory=-8814538831020006773 CPUtime=0 cores=4,6
/proc/839607/task/839626/stat : 839626 (Timer-0) S 839604 839607 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163002113 19498610688 40800 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
Current children cumulated CPU time: 7.77 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 163200 KiB

[startup+12.7002 s]
/proc/loadavg: 4.46 4.30 4.22 5/329 839629
/proc/meminfo: memFree=127635008/131524600 swapFree=131071996/131071996
[pid=839607] ppid=839604 vsize=19041612 memory=172148 CPUtime=14.24 cores=4,6
/proc/839607/stat : 839607 (java) S 839604 839607 837236 0 -1 1077936128 29604 0 0 0 1418 6 0 0 20 0 19 0 163002075 19498610688 43037 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
/proc/839607/statm: 4760403 43037 5914 1 0 555483 0
[pid=839607/tid=839609] ppid=839604 vsize=19041612 memory=172148 CPUtime=12.58 cores=4,6
/proc/839607/task/839609/stat : 839609 (java) R 839604 839607 837236 0 -1 4194368 9165 0 0 0 1255 3 0 0 20 0 19 0 163002075 19498610688 43037 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
[pid=839607/tid=839618] ppid=839604 vsize=19041612 memory=11648 CPUtime=0 cores=4,6
/proc/839607/task/839618/stat : 839618 (Finalizer) S 839604 839607 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 163002077 19498610688 43037 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
[pid=839607/tid=839625] ppid=839604 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/839607/task/839625/stat : 839625 (Common-Cleaner) S 839604 839607 837236 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 163002078 19498610688 43037 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
[pid=839607/tid=839626] ppid=839604 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/839607/task/839626/stat : 839626 (Timer-0) S 839604 839607 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 163002113 19498610688 43037 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
Current children cumulated CPU time: 14.24 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 172148 KiB

[startup+25.5002 s]
/proc/loadavg: 4.39 4.29 4.21 5/332 839636
/proc/meminfo: memFree=127620044/131524600 swapFree=131071996/131071996
[pid=839607] ppid=839604 vsize=19108176 memory=186460 CPUtime=27.23 cores=4,6
/proc/839607/stat : 839607 (java) S 839604 839607 837236 0 -1 1077936128 37758 0 0 0 2715 8 0 0 20 0 20 0 163002075 19566772224 46615 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
/proc/839607/statm: 4777044 46615 5962 1 0 555772 0
[pid=839607/tid=839609] ppid=839604 vsize=19108176 memory=170076 CPUtime=25.35 cores=4,6
/proc/839607/task/839609/stat : 839609 (java) R 839604 839607 837236 0 -1 4194368 10449 0 0 0 2531 4 0 0 20 0 20 0 163002075 19566772224 46615 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
[pid=839607/tid=839618] ppid=839604 vsize=19108176 memory=186460 CPUtime=0 cores=4,6
/proc/839607/task/839618/stat : 839618 (Finalizer) S 839604 839607 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163002077 19566772224 46615 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
[pid=839607/tid=839625] ppid=839604 vsize=19108176 memory=186460 CPUtime=0 cores=4,6
/proc/839607/task/839625/stat : 839625 (Common-Cleaner) S 839604 839607 837236 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 163002078 19566772224 46615 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
[pid=839607/tid=839626] ppid=839604 vsize=19108176 memory=12952 CPUtime=0 cores=4,6
/proc/839607/task/839626/stat : 839626 (Timer-0) S 839604 839607 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163002113 19566772224 46615 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
Current children cumulated CPU time: 27.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 186460 KiB

[startup+51.1054 s]
/proc/loadavg: 4.29 4.28 4.21 5/332 839639
/proc/meminfo: memFree=127609412/131524600 swapFree=131071996/131071996
[pid=839607] ppid=839604 vsize=19108176 memory=186580 CPUtime=52.8 cores=4,6
/proc/839607/stat : 839607 (java) S 839604 839607 837236 0 -1 1077936128 40886 0 0 0 5271 9 0 0 20 0 20 0 163002075 19566772224 46645 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
/proc/839607/statm: 4777044 46645 5967 1 0 555788 0
[pid=839607/tid=839609] ppid=839604 vsize=19108176 memory=186580 CPUtime=50.9 cores=4,6
/proc/839607/task/839609/stat : 839609 (java) R 839604 839607 837236 0 -1 4194368 12442 0 0 0 5086 4 0 0 20 0 20 0 163002075 19566772224 46645 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
[pid=839607/tid=839618] ppid=839604 vsize=19108176 memory=186580 CPUtime=0 cores=4,6
/proc/839607/task/839618/stat : 839618 (Finalizer) S 839604 839607 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163002077 19566772224 46645 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0

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

/proc/meminfo: memFree=121503804/131524600 swapFree=131071996/131071996
[pid=839607] ppid=839604 vsize=19108176 memory=1670148 CPUtime=3273.09 cores=4,6
/proc/839607/stat : 839607 (java) S 839604 839607 837236 0 -1 1077936128 119950 0 0 0 327218 91 0 0 20 0 20 0 163002075 19566772224 417537 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
/proc/839607/statm: 4777044 417537 5982 1 0 560798 0
[pid=839607/tid=839609] ppid=839604 vsize=19108176 memory=1623044 CPUtime=3267.56 cores=4,6
/proc/839607/task/839609/stat : 839609 (java) R 839604 839607 837236 0 -1 4194368 52078 0 0 0 326747 9 0 0 20 0 20 0 163002075 19566772224 417537 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
[pid=839607/tid=839618] ppid=839604 vsize=19108176 memory=12952 CPUtime=0 cores=4,6
/proc/839607/task/839618/stat : 839618 (Finalizer) S 839604 839607 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163002077 19566772224 417537 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
[pid=839607/tid=839625] ppid=839604 vsize=19108176 memory=41448 CPUtime=0 cores=4,6
/proc/839607/task/839625/stat : 839625 (Common-Cleaner) S 839604 839607 837236 0 -1 1077936192 3812 0 0 0 0 0 0 0 20 0 20 0 163002078 19566772224 417537 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
[pid=839607/tid=839626] ppid=839604 vsize=19108176 memory=1670148 CPUtime=0 cores=4,6
/proc/839607/task/839626/stat : 839626 (Timer-0) S 839604 839607 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163002113 19566772224 417537 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
Current children cumulated CPU time: 3273.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1670148 KiB

[startup+3342.3 s]
/proc/loadavg: 4.20 4.13 4.10 5/331 841418
/proc/meminfo: memFree=121503208/131524600 swapFree=131071996/131071996
[pid=839607] ppid=839604 vsize=19108176 memory=1670148 CPUtime=3332.98 cores=4,6
/proc/839607/stat : 839607 (java) S 839604 839607 837236 0 -1 1077936128 120873 0 0 0 333206 92 0 0 20 0 20 0 163002075 19566772224 417537 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
/proc/839607/statm: 4777044 417537 5982 1 0 560798 0
[pid=839607/tid=839609] ppid=839604 vsize=19108176 memory=1670148 CPUtime=3327.43 cores=4,6
/proc/839607/task/839609/stat : 839609 (java) R 839604 839607 837236 0 -1 4194368 52725 0 0 0 332734 9 0 0 20 0 20 0 163002075 19566772224 417537 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
[pid=839607/tid=839618] ppid=839604 vsize=19108176 memory=1670148 CPUtime=0 cores=4,6
/proc/839607/task/839618/stat : 839618 (Finalizer) S 839604 839607 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163002077 19566772224 417537 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
[pid=839607/tid=839625] ppid=839604 vsize=19108176 memory=1670148 CPUtime=0 cores=4,6
/proc/839607/task/839625/stat : 839625 (Common-Cleaner) S 839604 839607 837236 0 -1 1077936192 3896 0 0 0 0 0 0 0 20 0 20 0 163002078 19566772224 417537 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
[pid=839607/tid=839626] ppid=839604 vsize=19108176 memory=1670148 CPUtime=0 cores=4,6
/proc/839607/task/839626/stat : 839626 (Timer-0) S 839604 839607 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163002113 19566772224 417537 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
Current children cumulated CPU time: 3332.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1670148 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/331 841428
/proc/meminfo: memFree=121502984/131524600 swapFree=131071996/131071996
[pid=839607] ppid=839604 vsize=19108176 memory=1670148 CPUtime=3392.88 cores=4,6
/proc/839607/stat : 839607 (java) S 839604 839607 837236 0 -1 1077936128 121647 0 0 0 339195 93 0 0 20 0 20 0 163002075 19566772224 417537 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
/proc/839607/statm: 4777044 417537 5982 1 0 560798 0
[pid=839607/tid=839609] ppid=839604 vsize=19108176 memory=1670148 CPUtime=3387.31 cores=4,6
/proc/839607/task/839609/stat : 839609 (java) R 839604 839607 837236 0 -1 4194368 53344 0 0 0 338722 9 0 0 20 0 20 0 163002075 19566772224 417537 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
[pid=839607/tid=839618] ppid=839604 vsize=19108176 memory=1670148 CPUtime=0 cores=4,6
/proc/839607/task/839618/stat : 839618 (Finalizer) S 839604 839607 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163002077 19566772224 417537 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
[pid=839607/tid=839625] ppid=839604 vsize=19108176 memory=-8889371617664541372 CPUtime=0 cores=4,6
/proc/839607/task/839625/stat : 839625 (Common-Cleaner) S 839604 839607 837236 0 -1 1077936192 3935 0 0 0 0 0 0 0 20 0 20 0 163002078 19566772224 417537 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
[pid=839607/tid=839626] ppid=839604 vsize=19108176 memory=1670148 CPUtime=0 cores=4,6
/proc/839607/task/839626/stat : 839626 (Timer-0) S 839604 839607 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163002113 19566772224 417537 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
Current children cumulated CPU time: 3392.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1670148 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/331 841439
/proc/meminfo: memFree=121498208/131524600 swapFree=131071996/131071996
[pid=839607] ppid=839604 vsize=19108176 memory=1670148 CPUtime=3452.76 cores=4,6
/proc/839607/stat : 839607 (java) S 839604 839607 837236 0 -1 1077936128 122865 0 0 0 345183 93 0 0 20 0 20 0 163002075 19566772224 417537 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
/proc/839607/statm: 4777044 417537 5982 1 0 560798 0
[pid=839607/tid=839609] ppid=839604 vsize=19108176 memory=1670148 CPUtime=3447.18 cores=4,6
/proc/839607/task/839609/stat : 839609 (java) R 839604 839607 837236 0 -1 4194368 54194 0 0 0 344709 9 0 0 20 0 20 0 163002075 19566772224 417537 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
[pid=839607/tid=839618] ppid=839604 vsize=19108176 memory=1670148 CPUtime=0 cores=4,6
/proc/839607/task/839618/stat : 839618 (Finalizer) S 839604 839607 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163002077 19566772224 417537 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
[pid=839607/tid=839625] ppid=839604 vsize=19108176 memory=11648 CPUtime=0 cores=4,6
/proc/839607/task/839625/stat : 839625 (Common-Cleaner) S 839604 839607 837236 0 -1 1077936192 4054 0 0 0 0 0 0 0 20 0 20 0 163002078 19566772224 417537 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
[pid=839607/tid=839626] ppid=839604 vsize=19108176 memory=1670148 CPUtime=0 cores=4,6
/proc/839607/task/839626/stat : 839626 (Timer-0) S 839604 839607 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163002113 19566772224 417537 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
Current children cumulated CPU time: 3452.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1670148 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/330 841449
/proc/meminfo: memFree=121497944/131524600 swapFree=131071996/131071996
[pid=839607] ppid=839604 vsize=19108176 memory=1670148 CPUtime=3512.65 cores=4,6
/proc/839607/stat : 839607 (java) S 839604 839607 837236 0 -1 1077936128 123760 0 0 0 351171 94 0 0 20 0 20 0 163002075 19566772224 417537 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
/proc/839607/statm: 4777044 417537 5982 1 0 560798 0
[pid=839607/tid=839609] ppid=839604 vsize=19108176 memory=1670148 CPUtime=3507.05 cores=4,6
/proc/839607/task/839609/stat : 839609 (java) R 839604 839607 837236 0 -1 4194368 54903 0 0 0 350696 9 0 0 20 0 20 0 163002075 19566772224 417537 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
[pid=839607/tid=839618] ppid=839604 vsize=19108176 memory=1670148 CPUtime=0 cores=4,6
/proc/839607/task/839618/stat : 839618 (Finalizer) S 839604 839607 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163002077 19566772224 417537 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
[pid=839607/tid=839625] ppid=839604 vsize=19108176 memory=11648 CPUtime=0 cores=4,6
/proc/839607/task/839625/stat : 839625 (Common-Cleaner) S 839604 839607 837236 0 -1 1077936192 4205 0 0 0 0 0 0 0 20 0 20 0 163002078 19566772224 417537 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
[pid=839607/tid=839626] ppid=839604 vsize=19108176 memory=39380 CPUtime=0 cores=4,6
/proc/839607/task/839626/stat : 839626 (Timer-0) S 839604 839607 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163002113 19566772224 417537 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
Current children cumulated CPU time: 3512.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1670148 KiB

[startup+3582.3 s]
/proc/loadavg: 4.32 4.18 4.11 5/329 841661
/proc/meminfo: memFree=124716552/131524600 swapFree=131071996/131071996
[pid=839607] ppid=839604 vsize=19108176 memory=1670148 CPUtime=3572.55 cores=4,6
/proc/839607/stat : 839607 (java) S 839604 839607 837236 0 -1 1077936128 124858 0 0 0 357159 96 0 0 20 0 20 0 163002075 19566772224 417537 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
/proc/839607/statm: 4777044 417537 5982 1 0 560798 0
[pid=839607/tid=839609] ppid=839604 vsize=19108176 memory=1670148 CPUtime=3566.94 cores=4,6
/proc/839607/task/839609/stat : 839609 (java) R 839604 839607 837236 0 -1 4194368 55741 0 0 0 356684 10 0 0 20 0 20 0 163002075 19566772224 417537 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
[pid=839607/tid=839618] ppid=839604 vsize=19108176 memory=15996 CPUtime=0 cores=4,6
/proc/839607/task/839618/stat : 839618 (Finalizer) S 839604 839607 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163002077 19566772224 417537 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
[pid=839607/tid=839625] ppid=839604 vsize=19108176 memory=1670148 CPUtime=0 cores=4,6
/proc/839607/task/839625/stat : 839625 (Common-Cleaner) S 839604 839607 837236 0 -1 1077936192 4346 0 0 0 0 0 0 0 20 0 20 0 163002078 19566772224 417537 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
[pid=839607/tid=839626] ppid=839604 vsize=19108176 memory=11648 CPUtime=0 cores=4,6
/proc/839607/task/839626/stat : 839626 (Timer-0) S 839604 839607 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163002113 19566772224 417537 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
Current children cumulated CPU time: 3572.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1670148 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 4.21 4.16 4.11 5/329 841732
/proc/meminfo: memFree=126172676/131524600 swapFree=131071996/131071996
[pid=839607] ppid=839604 vsize=19108176 memory=1670148 CPUtime=3600.09 cores=4,6
/proc/839607/stat : 839607 (java) S 839604 839607 837236 0 -1 1077936128 125388 0 0 0 359913 96 0 0 20 0 20 0 163002075 19566772224 417537 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
/proc/839607/statm: 4777044 417537 5982 1 0 560798 0
[pid=839607/tid=839609] ppid=839604 vsize=19108176 memory=1670148 CPUtime=3594.47 cores=4,6
/proc/839607/task/839609/stat : 839609 (java) R 839604 839607 837236 0 -1 4194368 56138 0 0 0 359437 10 0 0 20 0 20 0 163002075 19566772224 417537 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
[pid=839607/tid=839618] ppid=839604 vsize=19108176 memory=1670148 CPUtime=0 cores=4,6
/proc/839607/task/839618/stat : 839618 (Finalizer) S 839604 839607 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 163002077 19566772224 417537 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
[pid=839607/tid=839625] ppid=839604 vsize=19108176 memory=12952 CPUtime=0 cores=4,6
/proc/839607/task/839625/stat : 839625 (Common-Cleaner) S 839604 839607 837236 0 -1 1077936192 4346 0 0 0 0 0 0 0 20 0 20 0 163002078 19566772224 417537 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
[pid=839607/tid=839626] ppid=839604 vsize=19108176 memory=-8889371617664541372 CPUtime=0 cores=4,6
/proc/839607/task/839626/stat : 839626 (Timer-0) S 839604 839607 837236 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 163002113 19566772224 417537 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1670148 KiB

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

[startup+3610.09 s]
# the end of solver process 839607 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3599.46 s, system=0.981822 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3610.01 s]*
/proc/loadavg: 4.21 4.16 4.11 8/330 841735
/proc/meminfo: memFree=126165776/131524600 swapFree=131071996/131071996
[pid=839607] ppid=839604 vsize=19307868 memory=1670876 CPUtime=3600.31 cores=4,6
/proc/839607/stat : 839607 (java) S 839604 839607 837236 0 -1 1077936128 128866 0 0 0 359934 97 0 0 20 0 21 0 163002075 19771256832 417719 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
/proc/839607/statm: 4826967 417719 5981 1 0 561707 0
[pid=839607/tid=839609] ppid=839604 vsize=19307868 memory=-8601140176344163004 CPUtime=3594.58 cores=4,6
/proc/839607/task/839609/stat : 839609 (java) R 839604 839607 837236 0 -1 4194368 56348 0 0 0 359448 10 0 0 20 0 21 0 163002075 19771256832 417719 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
[pid=839607/tid=839618] ppid=839604 vsize=19307868 memory=6648 CPUtime=0 cores=4,6
/proc/839607/task/839618/stat : 839618 (Finalizer) S 839604 839607 837236 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 163002077 19771256832 417719 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
[pid=839607/tid=839625] ppid=839604 vsize=19307868 memory=8048 CPUtime=0 cores=4,6
/proc/839607/task/839625/stat : 839625 (Common-Cleaner) S 839604 839607 837236 0 -1 1077936192 4346 0 0 0 0 0 0 0 20 0 21 0 163002078 19771256832 417719 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
[pid=839607/tid=841734] ppid=839604 vsize=19307868 memory=19856 CPUtime=0.06 cores=4,6
/proc/839607/task/841734/stat : 841734 (Thread-0) R 839604 839607 837236 0 -1 4194368 573 0 0 0 6 0 0 0 20 0 21 0 163363065 19771256832 417719 134679101440 94159314923520 94159314927216 140727299169488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94159314935032 94159314935824 94159330394112 140727299171335 140727299171425 140727299171425 140727299178440 0
Current children cumulated CPU time: 3600.31 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 1670876 KiB

Child status: 143

Real time (s): 3610.09
CPU time (s): 3600.44
CPU user time (s): 3599.46
CPU system time (s): 0.981822
CPU usage (%): 99.7327
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 1670876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.46
system time used= 0.981822
maximum resident set size= 1671884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129878
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103164
involuntary context switches= 12249


# summary of solver processes directly reported to runsolver:
#   pid: 839607
#   total CPU time (s): 3600.44
#   total CPU user time (s): 3599.46
#   total CPU system time (s): 0.981822

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.49705 second user time and 16.3424 second system time

The end

Begin job on nodeC023 at 2024-07-16 07:39:44
IDJOB=4432321
IDBENCH=148139
IDSOLVER=3058
FILE ID=nodeC023/4432321-1721108371
RUNJOBID= nodeC023-1721104780-837247
SLURM_JOB_ID= 7505629
Free space on /tmp= 890072 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_001_area_delay.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432321-1721108371/watcher-4432321-1721108371 -o /tmp/evaluation-result-4432321-1721108371/solver-4432321-1721108371 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721104780-837247 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432321-1721108371.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 6595cc4610fad26587cd2ec4880b38c3
RANDOM SEED=1446852455

nodeC023.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	: 0xb00002a
cpu MHz		: 3644.105
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.61
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	: 0xb00002a
cpu MHz		: 3669.255
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.48
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	: 0xb00002a
cpu MHz		: 3634.395
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.61
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	: 0xb00002a
cpu MHz		: 3600.295
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.48
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	: 0xb00002a
cpu MHz		: 3599.817
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.61
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	: 0xb00002a
cpu MHz		: 3669.287
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.48
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	: 0xb00002a
cpu MHz		: 3599.909
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.61
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	: 0xb00002a
cpu MHz		: 3599.820
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127792656 kB
MemAvailable:   129196944 kB
Buffers:          416160 kB
Cached:          1815728 kB
SwapCached:            0 kB
Active:           755300 kB
Inactive:        2361260 kB
Active(anon):       1596 kB
Inactive(anon):   920476 kB
Active(file):     753704 kB
Inactive(file):  1440784 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              7456 kB
Writeback:             0 kB
AnonPages:        884348 kB
Mapped:           124564 kB
Shmem:             37720 kB
KReclaimable:      99248 kB
Slab:             206352 kB
SReclaimable:      99248 kB
SUnreclaim:       107104 kB
KernelStack:        5056 kB
PageTables:        11484 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7340760 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61696 kB
HardwareCorrupted:     0 kB
AnonHugePages:    643072 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:      203476 kB
DirectMap2M:    18444288 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC023 at 2024-07-16 08:39:54