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 		2104792832
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.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	Expensive reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/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.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c Expensive reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/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.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4440381-1721817216.opb
0.13/0.12	c reading problem ... 
0.13/0.13	c using VERIPB proof format
0.13/0.13	c  objective function found
0.53/0.37	c ... done. Wall clock time 0.24s.
0.53/0.37	c declared #vars     11321
0.53/0.37	c #constraints  36630
0.53/0.37	c constraints type 
0.53/0.37	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 29778
0.53/0.37	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5815
0.53/0.37	c org.sat4j.pb.constraints.pb.UnitClausePB => 1037
0.53/0.37	c 36630 constraints processed.
0.53/0.38	c objective function length is 5515 literals
0.70/0.47	c SATISFIABLE
0.70/0.47	c OPTIMIZING...
0.70/0.47	c Got one! Elapsed wall clock time (in seconds):0.342
0.70/0.47	o 43
0.70/0.50	c Got one! Elapsed wall clock time (in seconds):0.376
0.70/0.50	o 42
0.89/0.54	c Got one! Elapsed wall clock time (in seconds):0.416
0.89/0.54	o 41
1.09/0.61	c Got one! Elapsed wall clock time (in seconds):0.49
1.09/0.61	o 40
2.86/1.53	c Got one! Elapsed wall clock time (in seconds):1.398
2.86/1.53	o 39
4.23/2.28	c cleaning 2584 clauses out of 5182 with flag 8248/5182
5.47/3.26	c Got one! Elapsed wall clock time (in seconds):3.138
5.47/3.26	o 38
5.89/3.50	c cleaning 3845 clauses out of 7704 with flag 3018/10288
8.74/6.12	c cleaning 4910 clauses out of 9860 with flag 31968/16289
12.47/9.65	c cleaning 5969 clauses out of 11949 with flag 63958/23288
16.83/13.78	c cleaning 6982 clauses out of 13981 with flag 100456/31289
21.80/18.41	c cleaning 7982 clauses out of 15999 with flag 142047/40289
26.90/23.58	c cleaning 8975 clauses out of 18015 with flag 196585/50288
32.50/29.17	c cleaning 10017 clauses out of 20040 with flag 252507/61288
38.88/35.60	c cleaning 11001 clauses out of 22023 with flag 313607/73288
45.78/42.50	c cleaning 11981 clauses out of 24023 with flag 381426/86289
52.96/49.76	c cleaning 13008 clauses out of 26041 with flag 455659/100288
60.82/57.55	c cleaning 14006 clauses out of 28033 with flag 540430/115288
69.41/66.21	c cleaning 15000 clauses out of 30027 with flag 623693/131288
78.35/75.15	c cleaning 15998 clauses out of 32027 with flag 724534/148288
87.59/84.32	c cleaning 17015 clauses out of 34030 with flag 819130/166289
97.45/94.30	c cleaning 18000 clauses out of 36014 with flag 913324/185288
107.43/104.32	c cleaning 18994 clauses out of 38014 with flag 1018742/205288
118.01/114.94	c cleaning 19986 clauses out of 40020 with flag 1123417/226288
129.22/126.37	c cleaning 21018 clauses out of 42035 with flag 1228272/248289
139.80/136.93	c cleaning 22007 clauses out of 44016 with flag 1342943/271288
151.72/148.82	c cleaning 22988 clauses out of 46009 with flag 1460488/295288
164.97/162.25	c cleaning 24000 clauses out of 48021 with flag 1584571/320288
178.74/176.08	c cleaning 24996 clauses out of 50021 with flag 1712263/346288
192.85/191.60	c cleaning 25996 clauses out of 52025 with flag 1860680/373288
207.72/206.50	c cleaning 27012 clauses out of 54029 with flag 2000276/401288
223.08/221.93	c cleaning 27985 clauses out of 56017 with flag 2159359/430288
239.36/238.35	c cleaning 29003 clauses out of 58032 with flag 2308887/460288
256.02/255.18	c cleaning 30015 clauses out of 60029 with flag 2450463/491288
271.59/270.70	c cleaning 30997 clauses out of 62014 with flag 2597570/523288
289.72/288.99	c cleaning 31983 clauses out of 64017 with flag 2756407/556288
308.59/307.89	c cleaning 32988 clauses out of 66034 with flag 2904989/590288
327.93/327.29	c cleaning 34009 clauses out of 68047 with flag 3075664/625289
347.85/347.22	c cleaning 34967 clauses out of 70037 with flag 3240398/661288
368.63/368.04	c cleaning 36027 clauses out of 72070 with flag 3462345/698288
389.30/388.83	c cleaning 36976 clauses out of 74043 with flag 3656252/736288
411.16/410.83	c cleaning 38004 clauses out of 76075 with flag 3843362/775296
430.72/430.49	c cleaning 39018 clauses out of 78063 with flag 4032187/815288
453.53/457.02	c cleaning 39974 clauses out of 80047 with flag 4278788/856290
476.97/480.72	c cleaning 41005 clauses out of 82071 with flag 4507443/898288
501.03/504.97	c cleaning 41994 clauses out of 84068 with flag 4734598/941290
525.98/529.96	c cleaning 43002 clauses out of 86072 with flag 4948505/985288
551.86/556.00	c cleaning 44028 clauses out of 88070 with flag 5143026/1030288
578.09/582.20	c cleaning 45005 clauses out of 90044 with flag 5349447/1076290
604.27/608.55	c cleaning 46003 clauses out of 92037 with flag 5587867/1123288
631.57/635.97	c cleaning 47001 clauses out of 94034 with flag 5805620/1171288
660.07/664.55	c cleaning 48007 clauses out of 96035 with flag 6020703/1220290
687.48/692.01	c cleaning 48990 clauses out of 98026 with flag 6226477/1270288
715.00/719.69	c cleaning 50008 clauses out of 100036 with flag 6484763/1321288
743.26/747.93	c cleaning 51009 clauses out of 102028 with flag 6781592/1373288
771.74/776.53	c cleaning 51988 clauses out of 104019 with flag 7044754/1426288
800.55/805.54	c cleaning 53009 clauses out of 106031 with flag 7320745/1480288
829.26/834.30	c cleaning 54000 clauses out of 108022 with flag 7612293/1535288
859.06/864.21	c cleaning 54983 clauses out of 110022 with flag 7916805/1591288
889.94/895.20	c cleaning 56004 clauses out of 112039 with flag 8221229/1648288
922.18/927.52	c cleaning 57010 clauses out of 114036 with flag 8510935/1706289
955.36/961.48	c cleaning 57987 clauses out of 116025 with flag 8826920/1765288
985.88/992.03	c cleaning 58996 clauses out of 118038 with flag 9117389/1825288
1016.81/1023.07	c cleaning 60003 clauses out of 120042 with flag 9421057/1886288
1048.94/1055.22	c cleaning 60979 clauses out of 122039 with flag 9751828/1948288
1082.00/1088.43	c cleaning 62007 clauses out of 124061 with flag 10080856/2011289
1115.77/1122.30	c cleaning 63020 clauses out of 126053 with flag 10427808/2075288
1151.41/1158.08	c cleaning 63999 clauses out of 128033 with flag 10811134/2140288
1186.74/1193.43	c cleaning 65008 clauses out of 130035 with flag 11189008/2206289
1222.65/1229.45	c cleaning 65989 clauses out of 132027 with flag 11532799/2273289
1258.37/1265.39	c cleaning 67003 clauses out of 134037 with flag 11922197/2341288
1294.86/1305.53	c cleaning 67977 clauses out of 136034 with flag 12311689/2410288
1332.27/1343.05	c cleaning 69015 clauses out of 138057 with flag 12680963/2480288
1370.05/1383.68	c cleaning 70021 clauses out of 140044 with flag 13110640/2551290
1407.49/1421.13	c cleaning 70991 clauses out of 142021 with flag 13566141/2623288
1446.08/1459.84	c cleaning 71993 clauses out of 144030 with flag 14018198/2696288
1485.30/1499.12	c cleaning 73000 clauses out of 146037 with flag 14476114/2770288
1525.12/1539.08	c cleaning 74001 clauses out of 148038 with flag 14897297/2845289
1566.94/1581.00	c cleaning 74999 clauses out of 150036 with flag 15319098/2921288
1610.36/1624.46	c cleaning 76000 clauses out of 152037 with flag 15804403/2998288
1655.50/1669.65	c cleaning 76999 clauses out of 154037 with flag 16223043/3076288
1701.21/1715.42	c cleaning 78019 clauses out of 156039 with flag 16625803/3155289
1747.06/1761.39	c cleaning 78999 clauses out of 158019 with flag 17035119/3235288
1792.08/1808.05	c cleaning 80006 clauses out of 160020 with flag 17432861/3316288
1838.21/1854.28	c cleaning 80987 clauses out of 162014 with flag 17867192/3398288
1885.28/1901.41	c cleaning 81988 clauses out of 164027 with flag 18262407/3481288
1932.78/1949.24	c cleaning 82997 clauses out of 166039 with flag 18696980/3565288
1982.18/1999.13	c cleaning 84021 clauses out of 168044 with flag 19151082/3650290
2032.78/2050.23	c cleaning 85002 clauses out of 170023 with flag 19566937/3736290
2085.77/2103.46	c cleaning 85991 clauses out of 172019 with flag 19943693/3823288
2140.17/2157.93	c cleaning 87005 clauses out of 174028 with flag 20363968/3911288
2193.86/2212.18	c cleaning 87992 clauses out of 176024 with flag 20795263/4000289
2248.23/2266.69	c cleaning 89003 clauses out of 178031 with flag 21284132/4090288
2303.31/2321.83	c cleaning 89994 clauses out of 180028 with flag 21740699/4181288
2358.22/2376.80	c cleaning 90991 clauses out of 182034 with flag 22182772/4273288
2413.97/2432.77	c cleaning 91981 clauses out of 184044 with flag 22722234/4366289
2470.02/2488.83	c cleaning 93003 clauses out of 186064 with flag 23305689/4460290
2523.50/2542.49	c cleaning 94005 clauses out of 188063 with flag 23872646/4555292
2575.93/2595.32	c cleaning 95018 clauses out of 190054 with flag 24454125/4651288
2626.17/2646.05	c cleaning 95982 clauses out of 192036 with flag 24983261/4748288
2675.70/2696.03	c cleaning 97010 clauses out of 194054 with flag 25488383/4846288
2720.87/2741.52	c cleaning 98013 clauses out of 196044 with flag 25954197/4945288
2774.22/2795.29	c cleaning 98998 clauses out of 198031 with flag 26487984/5045288
2832.99/2854.06	c cleaning 100003 clauses out of 200033 with flag 27045184/5146288
2894.26/2915.48	c cleaning 101005 clauses out of 202030 with flag 27652222/5248288
2953.75/2975.00	c cleaning 102000 clauses out of 204025 with flag 28217888/5351288
3016.32/3037.77	c cleaning 103003 clauses out of 206026 with flag 28769348/5455289
3078.68/3100.24	c cleaning 103970 clauses out of 208022 with flag 29287434/5560288
3141.62/3163.21	c cleaning 104979 clauses out of 210052 with flag 29788933/5666288
3203.41/3225.17	c cleaning 106025 clauses out of 212073 with flag 30282599/5773288
3265.31/3287.24	c cleaning 107009 clauses out of 214048 with flag 30816488/5881288
3322.64/3344.60	c cleaning 108016 clauses out of 216040 with flag 31354508/5990289
3377.32/3399.34	c cleaning 108981 clauses out of 218025 with flag 31864345/6100290
3435.80/3457.95	c cleaning 110004 clauses out of 220042 with flag 32423208/6211288
3499.56/3521.84	c cleaning 111010 clauses out of 222041 with flag 33028461/6323291
3560.51/3582.89	c cleaning 112005 clauses out of 224028 with flag 33588111/6436288
3600.05/3624.51	c starts		: 1280
3600.05/3624.51	c conflicts		: 6511970
3600.05/3624.51	c decisions		: 38205063
3600.05/3624.51	c propagations		: 28661500415
3600.05/3624.51	c inspects		: 27914897304
3600.05/3624.51	c shortcuts		: 0
3600.05/3624.51	c learnt literals	: 1
3600.05/3624.51	c learnt binary clauses	: 1
3600.05/3624.51	c learnt ternary clauses	: 19
3600.05/3624.51	c learnt constraints	: 6511969
3600.05/3624.51	c ignored constraints	: 0
3600.05/3624.51	c root simplifications	: 0
3600.05/3624.51	c removed literals (reason simplification)	: 21250930
3600.05/3624.51	c reason swapping (by a shorter reason)	: 0
3600.05/3624.51	c Calls to reduceDB	: 110
3600.05/3624.51	c Number of update (reduction) of LBD	: 3039805
3600.05/3624.51	c Imported unit clauses	: 0
3600.05/3624.51	c No decision after first conflict	: false
3600.05/3624.51	c number of reductions to clauses (during analyze)	: 0
3600.05/3624.51	c number of learned constraints concerned by reduction	: 0
3600.05/3624.51	c number of learning phase by resolution	: 0
3600.05/3624.51	c number of learning phase by cutting planes	: 0
3600.05/3624.51	c number of rounding to 1 operations	: 0
3600.05/3624.51	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3624.51	c number of reductions of the coefficients by power 2 	: 0
3600.05/3624.51	c number of right shift for reduction by power 2 	: 0
3600.05/3624.51	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3624.51	c number of ending skipping 	: 0
3600.05/3624.51	c number of internal skipping 	: 0
3600.05/3624.51	c number of derivation steps 	: 0
3600.05/3624.51	c number of skipped derivation steps 	: 0
3600.05/3624.51	c number of remaining unassigned 	: 0
3600.05/3624.51	c number of remaining assigned 	: 0
3600.05/3624.51	c number of falsified literals weakened from reason	: 0
3600.05/3624.51	c number of falsified literals weakened from conflict	: 0
3600.05/3624.51	c time for arithmetic operations	: 0
3600.05/3624.51	c minimum degree of deleted constraints	: null
3600.05/3624.51	c maximum degree of deleted constraints	: null
3600.05/3624.51	c number of deleted constraints	: 0
3600.05/3624.51	c speed (assignments/second)	: 7908593.043616946
3600.05/3624.51	c non guided choices	: 0
3600.05/3624.58	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 187704
3600.05/3624.58	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 1
3600.05/3624.58	s SATISFIABLE
3600.05/3624.58	c Found 6 solution(s)
3600.05/3624.58	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.05/3624.59	c objective function=38
3600.05/3624.59	c Total wall clock time (in seconds): 3624.466

OK	38

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440381-1721817216/watcher-4440381-1721817216 -o /tmp/evaluation-result-4440381-1721817216/solver-4440381-1721817216 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721817187-235998 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440381-1721817216 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440381-1721817216.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=236462, runsolver pid=236459

[startup+0.100835 s]*
/proc/loadavg: 1.75 0.49 0.22 7/338 236480
/proc/meminfo: memFree=113736428/131524600 swapFree=131071996/131071996
[pid=236462] ppid=236459 vsize=18975048 memory=66012 CPUtime=0.13 cores=4,6
/proc/236462/stat : 236462 (java) S 236459 236462 235987 0 -1 1077936128 7074 0 0 0 11 2 0 0 20 0 18 0 18244618 19430449152 16503 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
/proc/236462/statm: 4743762 16503 5499 1 0 549373 0
[pid=236462/tid=236464] ppid=236459 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=4,6
/proc/236462/task/236464/stat : 236464 (java) R 236459 236462 235987 0 -1 4194368 5643 0 0 0 7 2 0 0 20 0 18 0 18244619 19430449152 16503 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
[pid=236462/tid=236473] ppid=236459 vsize=18975048 memory=232851243367 CPUtime=0 cores=4,6
/proc/236462/task/236473/stat : 236473 (Finalizer) S 236459 236462 235987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18244621 19430449152 16503 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
[pid=236462/tid=236480] ppid=236459 vsize=18975048 memory=14130048089961189 CPUtime=0 cores=4,6
/proc/236462/task/236480/stat : 236480 (Common-Cleaner) S 236459 236462 235987 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18244622 19430449152 16503 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66012 KiB

[startup+0.214187 s]*
/proc/loadavg: 1.75 0.49 0.22 7/338 236480
/proc/meminfo: memFree=113720024/131524600 swapFree=131071996/131071996
[pid=236462] ppid=236459 vsize=18975276 memory=81860 CPUtime=0.35 cores=4,6
/proc/236462/stat : 236462 (java) S 236459 236462 235987 0 -1 1077936128 7846 0 0 0 32 3 0 0 20 0 18 0 18244618 19430682624 20465 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
/proc/236462/statm: 4743819 20465 5810 1 0 549872 0
[pid=236462/tid=236464] ppid=236459 vsize=18975276 memory=4782652875487838339 CPUtime=0.19 cores=4,6
/proc/236462/task/236464/stat : 236464 (java) R 236459 236462 235987 0 -1 4194368 5813 0 0 0 17 2 0 0 20 0 18 0 18244619 19430682624 20530 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
[pid=236462/tid=236473] ppid=236459 vsize=18975276 memory=770575 CPUtime=0 cores=4,6
/proc/236462/task/236473/stat : 236473 (Finalizer) S 236459 236462 235987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18244621 19430682624 20530 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
[pid=236462/tid=236480] ppid=236459 vsize=18975048 memory=15816698926204594 CPUtime=0 cores=4,6
/proc/236462/task/236480/stat : 236480 (Common-Cleaner) S 236459 236462 235987 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18244622 19430449152 20481 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 18975276 KiB
Current children cumulated memory: 81860 KiB

[startup+0.306184 s]*
/proc/loadavg: 2.09 0.58 0.25 6/338 236480
/proc/meminfo: memFree=113686312/131524600 swapFree=131071996/131071996
[pid=236462] ppid=236459 vsize=18975048 memory=113800 CPUtime=0.53 cores=4,6
/proc/236462/stat : 236462 (java) S 236459 236462 235987 0 -1 1077936128 9034 0 0 0 49 4 0 0 20 0 18 0 18244618 19430449152 28450 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
/proc/236462/statm: 4743762 28450 5810 1 0 550596 0
[pid=236462/tid=236464] ppid=236459 vsize=18975048 memory=-8527678484499899068 CPUtime=0.26 cores=4,6
/proc/236462/task/236464/stat : 236464 (java) R 236459 236462 235987 0 -1 4194368 5829 0 0 0 24 2 0 0 20 0 18 0 18244619 19430449152 28450 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
[pid=236462/tid=236473] ppid=236459 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/236462/task/236473/stat : 236473 (Finalizer) S 236459 236462 235987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18244621 19430449152 28450 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
[pid=236462/tid=236480] ppid=236459 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/236462/task/236480/stat : 236480 (Common-Cleaner) S 236459 236462 235987 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18244622 19430449152 28450 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 113800 KiB

[startup+0.700251 s]
/proc/loadavg: 2.09 0.58 0.25 8/339 236481
/proc/meminfo: memFree=113649684/131524600 swapFree=131071996/131071996
[pid=236462] ppid=236459 vsize=19041612 memory=164160 CPUtime=1.26 cores=4,6
/proc/236462/stat : 236462 (java) S 236459 236462 235987 0 -1 1077936128 14292 0 0 0 121 5 0 0 20 0 19 0 18244618 19498610688 40528 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
/proc/236462/statm: 4760403 41040 5848 1 0 553566 0
[pid=236462/tid=236464] ppid=236459 vsize=19041612 memory=5592 CPUtime=0.61 cores=4,6
/proc/236462/task/236464/stat : 236464 (java) R 236459 236462 235987 0 -1 4194368 6009 0 0 0 58 3 0 0 20 0 19 0 18244619 19498610688 41040 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
[pid=236462/tid=236473] ppid=236459 vsize=19041612 memory=12264 CPUtime=0 cores=4,6
/proc/236462/task/236473/stat : 236473 (Finalizer) S 236459 236462 235987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18244621 19498610688 41040 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
[pid=236462/tid=236480] ppid=236459 vsize=19041612 memory=7814774427920761433 CPUtime=0 cores=4,6
/proc/236462/task/236480/stat : 236480 (Common-Cleaner) S 236459 236462 235987 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18244622 19498610688 41040 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
[pid=236462/tid=236481] ppid=236459 vsize=19041612 memory=281063197045668 CPUtime=0 cores=4,6
/proc/236462/task/236481/stat : 236481 (Timer-0) S 236459 236462 235987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18244660 19498610688 41040 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 164160 KiB

[startup+1.50119 s]
/proc/loadavg: 2.09 0.58 0.25 6/340 236482
/proc/meminfo: memFree=113607960/131524600 swapFree=131071996/131071996
[pid=236462] ppid=236459 vsize=19108176 memory=182292 CPUtime=2.86 cores=4,6
/proc/236462/stat : 236462 (java) S 236459 236462 235987 0 -1 1077936128 18874 0 0 0 279 7 0 0 20 0 20 0 18244618 19566772224 45573 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
/proc/236462/statm: 4777044 45573 5882 1 0 553899 0
[pid=236462/tid=236464] ppid=236459 vsize=19108176 memory=12264 CPUtime=1.37 cores=4,6
/proc/236462/task/236464/stat : 236464 (java) R 236459 236462 235987 0 -1 4194368 6371 0 0 0 133 4 0 0 20 0 20 0 18244619 19566772224 45573 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
[pid=236462/tid=236473] ppid=236459 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/236462/task/236473/stat : 236473 (Finalizer) S 236459 236462 235987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18244621 19566772224 45573 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
[pid=236462/tid=236480] ppid=236459 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/236462/task/236480/stat : 236480 (Common-Cleaner) S 236459 236462 235987 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18244622 19566772224 45573 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
[pid=236462/tid=236481] ppid=236459 vsize=19108176 memory=281063196894480 CPUtime=0 cores=4,6
/proc/236462/task/236481/stat : 236481 (Timer-0) S 236459 236462 235987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18244660 19566772224 45573 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 182292 KiB

[startup+3.10631 s]
/proc/loadavg: 2.09 0.58 0.25 8/340 236482
/proc/meminfo: memFree=113573820/131524600 swapFree=131071996/131071996
[pid=236462] ppid=236459 vsize=19108176 memory=185224 CPUtime=5.37 cores=4,6
/proc/236462/stat : 236462 (java) S 236459 236462 235987 0 -1 1077936128 21201 0 0 0 530 7 0 0 20 0 20 0 18244618 19566772224 46306 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
/proc/236462/statm: 4777044 46306 5882 1 0 553954 0
[pid=236462/tid=236464] ppid=236459 vsize=19108176 memory=0 CPUtime=2.95 cores=4,6
/proc/236462/task/236464/stat : 236464 (java) R 236459 236462 235987 0 -1 4194368 7621 0 0 0 290 5 0 0 20 0 20 0 18244619 19566772224 46306 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
[pid=236462/tid=236473] ppid=236459 vsize=19108176 memory=12264 CPUtime=0 cores=4,6
/proc/236462/task/236473/stat : 236473 (Finalizer) S 236459 236462 235987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18244621 19566772224 46306 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
[pid=236462/tid=236480] ppid=236459 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/236462/task/236480/stat : 236480 (Common-Cleaner) S 236459 236462 235987 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18244622 19566772224 46306 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
[pid=236462/tid=236481] ppid=236459 vsize=19108176 memory=11608 CPUtime=0 cores=4,6
/proc/236462/task/236481/stat : 236481 (Timer-0) S 236459 236462 235987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18244660 19566772224 46306 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
Current children cumulated CPU time: 5.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 185224 KiB

[startup+6.30027 s]
/proc/loadavg: 2.24 0.64 0.27 7/340 236482
/proc/meminfo: memFree=113461636/131524600 swapFree=131071996/131071996
[pid=236462] ppid=236459 vsize=19108176 memory=201012 CPUtime=9.08 cores=4,6
/proc/236462/stat : 236462 (java) S 236459 236462 235987 0 -1 1077936128 25053 0 0 0 899 9 0 0 20 0 20 0 18244618 19566772224 50253 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
/proc/236462/statm: 4777044 50253 5882 1 0 555748 0
[pid=236462/tid=236464] ppid=236459 vsize=19108176 memory=0 CPUtime=6.12 cores=4,6
/proc/236462/task/236464/stat : 236464 (java) R 236459 236462 235987 0 -1 4194368 7885 0 0 0 607 5 0 0 20 0 20 0 18244619 19566772224 50253 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
[pid=236462/tid=236473] ppid=236459 vsize=19108176 memory=5450909891216438826 CPUtime=0 cores=4,6
/proc/236462/task/236473/stat : 236473 (Finalizer) S 236459 236462 235987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18244621 19566772224 50253 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
[pid=236462/tid=236480] ppid=236459 vsize=19108176 memory=12264 CPUtime=0 cores=4,6
/proc/236462/task/236480/stat : 236480 (Common-Cleaner) S 236459 236462 235987 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 18244622 19566772224 50253 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
[pid=236462/tid=236481] ppid=236459 vsize=19108176 memory=-8527678484499899068 CPUtime=0 cores=4,6
/proc/236462/task/236481/stat : 236481 (Timer-0) S 236459 236462 235987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18244660 19566772224 50253 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
Current children cumulated CPU time: 9.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 201012 KiB

[startup+12.7017 s]
/proc/loadavg: 2.38 0.69 0.29 5/340 236484
/proc/meminfo: memFree=113360104/131524600 swapFree=131071996/131071996
[pid=236462] ppid=236459 vsize=19108176 memory=226120 CPUtime=15.77 cores=4,6
/proc/236462/stat : 236462 (java) S 236459 236462 235987 0 -1 1077936128 31890 0 1 0 1566 11 0 0 20 0 20 0 18244618 19566772224 56530 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
/proc/236462/statm: 4777044 56530 5898 1 0 556217 0
[pid=236462/tid=236464] ppid=236459 vsize=19108176 memory=12264 CPUtime=12.48 cores=4,6
/proc/236462/task/236464/stat : 236464 (java) R 236459 236462 235987 0 -1 4194368 8479 0 0 0 1242 6 0 0 20 0 20 0 18244619 19566772224 56530 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
[pid=236462/tid=236473] ppid=236459 vsize=19108176 memory=-8527678484499899068 CPUtime=0 cores=4,6
/proc/236462/task/236473/stat : 236473 (Finalizer) S 236459 236462 235987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18244621 19566772224 56530 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
[pid=236462/tid=236480] ppid=236459 vsize=19108176 memory=226120 CPUtime=0 cores=4,6
/proc/236462/task/236480/stat : 236480 (Common-Cleaner) S 236459 236462 235987 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 18244622 19566772224 56530 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
[pid=236462/tid=236481] ppid=236459 vsize=19108176 memory=2248 CPUtime=0 cores=4,6
/proc/236462/task/236481/stat : 236481 (Timer-0) S 236459 236462 235987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18244660 19566772224 56530 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
Current children cumulated CPU time: 15.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 226120 KiB

[startup+25.5003 s]
/proc/loadavg: 2.63 0.80 0.33 5/340 236486
/proc/meminfo: memFree=112638704/131524600 swapFree=131071996/131071996
[pid=236462] ppid=236459 vsize=19108176 memory=460056 CPUtime=28.9 cores=4,6
/proc/236462/stat : 236462 (java) S 236459 236462 235987 0 -1 1077936128 44761 0 1 0 2870 20 0 0 20 0 20 0 18244618 19566772224 115014 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
/proc/236462/statm: 4777044 115014 5914 1 0 558184 0
[pid=236462/tid=236464] ppid=236459 vsize=19108176 memory=441360 CPUtime=25.23 cores=4,6
/proc/236462/task/236464/stat : 236464 (java) R 236459 236462 235987 0 -1 4194368 10576 0 0 0 2509 14 0 0 20 0 20 0 18244619 19566772224 115014 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
[pid=236462/tid=236473] ppid=236459 vsize=19108176 memory=431120 CPUtime=0 cores=4,6
/proc/236462/task/236473/stat : 236473 (Finalizer) S 236459 236462 235987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18244621 19566772224 115014 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
[pid=236462/tid=236480] ppid=236459 vsize=19108176 memory=97 CPUtime=0 cores=4,6
/proc/236462/task/236480/stat : 236480 (Common-Cleaner) S 236459 236462 235987 0 -1 1077936192 70 0 0 0 0 0 0 0 20 0 20 0 18244622 19566772224 115014 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
[pid=236462/tid=236481] ppid=236459 vsize=19108176 memory=-8527678484499899068 CPUtime=0 cores=4,6
/proc/236462/task/236481/stat : 236481 (Timer-0) S 236459 236462 235987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18244660 19566772224 115014 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
Current children cumulated CPU time: 28.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 460056 KiB

[startup+51.106 s]
/proc/loadavg: 3.23 1.13 0.46 5/338 236491
/proc/meminfo: memFree=111754760/131524600 swapFree=131071996/131071996
[pid=236462] ppid=236459 vsize=19108176 memory=800092 CPUtime=54.37 cores=4,6
/proc/236462/stat : 236462 (java) S 236459 236462 235987 0 -1 1077936128 48805 0 1 0 5406 31 0 0 20 0 20 0 18244618 19566772224 200023 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
/proc/236462/statm: 4777044 200023 5914 1 0 558200 0
[pid=236462/tid=236464] ppid=236459 vsize=19108176 memory=11608 CPUtime=50.66 cores=4,6
/proc/236462/task/236464/stat : 236464 (java) R 236459 236462 235987 0 -1 4194368 12669 0 0 0 5043 23 0 0 20 0 20 0 18244619 19566772224 200023 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 10 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
[pid=236462/tid=236473] ppid=236459 vsize=19108176 memory=539968 CPUtime=0 cores=4,6
/proc/236462/task/236473/stat : 236473 (Finalizer) S 236459 236462 235987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18244621 19566772224 200023 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0

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

[startup+3282.3 s]
/proc/loadavg: 4.16 4.31 4.14 6/336 238048
/proc/meminfo: memFree=96369588/131524600 swapFree=131071996/131071996
[pid=236462] ppid=236459 vsize=19108176 memory=1944696 CPUtime=3260.44 cores=4,6
/proc/236462/stat : 236462 (java) S 236459 236462 235987 0 -1 1077936128 131700 0 1 0 325482 562 0 0 20 0 20 0 18244618 19566772224 486174 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
/proc/236462/statm: 4777044 486174 5929 1 0 558200 0
[pid=236462/tid=236464] ppid=236459 vsize=19108176 memory=1944580 CPUtime=3249.7 cores=4,6
/proc/236462/task/236464/stat : 236464 (java) R 236459 236462 235987 0 -1 4194368 51548 0 0 0 324536 434 0 0 20 0 20 0 18244619 19566772224 486174 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1907 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
[pid=236462/tid=236473] ppid=236459 vsize=19108176 memory=71864 CPUtime=0 cores=4,6
/proc/236462/task/236473/stat : 236473 (Finalizer) S 236459 236462 235987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18244621 19566772224 486174 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
[pid=236462/tid=236480] ppid=236459 vsize=19108176 memory=1944580 CPUtime=0 cores=4,6
/proc/236462/task/236480/stat : 236480 (Common-Cleaner) S 236459 236462 235987 0 -1 1077936192 2351 0 0 0 0 0 0 0 20 0 20 0 18244622 19566772224 486174 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
[pid=236462/tid=236481] ppid=236459 vsize=19108176 memory=1944 CPUtime=0 cores=4,6
/proc/236462/task/236481/stat : 236481 (Timer-0) S 236459 236462 235987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18244660 19566772224 486174 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
Current children cumulated CPU time: 3260.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1944696 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.27 4.14 5/336 238229
/proc/meminfo: memFree=96225476/131524600 swapFree=131071996/131071996
[pid=236462] ppid=236459 vsize=19108176 memory=1944696 CPUtime=3320.34 cores=4,6
/proc/236462/stat : 236462 (java) S 236459 236462 235987 0 -1 1077936128 132167 0 1 0 331464 570 0 0 20 0 20 0 18244618 19566772224 486174 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
/proc/236462/statm: 4777044 486174 5929 1 0 558200 0
[pid=236462/tid=236464] ppid=236459 vsize=19108176 memory=1944580 CPUtime=3309.48 cores=4,6
/proc/236462/task/236464/stat : 236464 (java) R 236459 236462 235987 0 -1 4194368 51954 0 0 0 330507 441 0 0 20 0 20 0 18244619 19566772224 486174 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1910 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
[pid=236462/tid=236473] ppid=236459 vsize=19108176 memory=1944696 CPUtime=0 cores=4,6
/proc/236462/task/236473/stat : 236473 (Finalizer) S 236459 236462 235987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18244621 19566772224 486174 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
[pid=236462/tid=236480] ppid=236459 vsize=19108176 memory=1944696 CPUtime=0 cores=4,6
/proc/236462/task/236480/stat : 236480 (Common-Cleaner) S 236459 236462 235987 0 -1 1077936192 2351 0 0 0 0 0 0 0 20 0 20 0 18244622 19566772224 486174 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
[pid=236462/tid=236481] ppid=236459 vsize=19108176 memory=1944696 CPUtime=0 cores=4,6
/proc/236462/task/236481/stat : 236481 (Timer-0) S 236459 236462 235987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18244660 19566772224 486174 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
Current children cumulated CPU time: 3320.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1944696 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.25 4.14 6/337 238240
/proc/meminfo: memFree=96028428/131524600 swapFree=131071996/131071996
[pid=236462] ppid=236459 vsize=19108176 memory=1989848 CPUtime=3380.31 cores=4,6
/proc/236462/stat : 236462 (java) S 236459 236462 235987 0 -1 1077936128 135317 0 1 0 337448 583 0 0 20 0 20 0 18244618 19566772224 497462 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
/proc/236462/statm: 4777044 497462 5929 1 0 558200 0
[pid=236462/tid=236464] ppid=236459 vsize=19108176 memory=11608 CPUtime=3369.13 cores=4,6
/proc/236462/task/236464/stat : 236464 (java) R 236459 236462 235987 0 -1 4194368 52689 0 0 0 336461 452 0 0 20 0 20 0 18244619 19566772224 497462 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1915 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
[pid=236462/tid=236473] ppid=236459 vsize=19108176 memory=71864 CPUtime=0 cores=4,6
/proc/236462/task/236473/stat : 236473 (Finalizer) S 236459 236462 235987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18244621 19566772224 497462 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
[pid=236462/tid=236480] ppid=236459 vsize=19108176 memory=1989848 CPUtime=0 cores=4,6
/proc/236462/task/236480/stat : 236480 (Common-Cleaner) S 236459 236462 235987 0 -1 1077936192 2393 0 0 0 0 0 0 0 20 0 20 0 18244622 19566772224 497462 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
[pid=236462/tid=236481] ppid=236459 vsize=19108176 memory=1989848 CPUtime=0 cores=4,6
/proc/236462/task/236481/stat : 236481 (Timer-0) S 236459 236462 235987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18244660 19566772224 497462 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
Current children cumulated CPU time: 3380.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1989848 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.21 4.13 6/338 238309
/proc/meminfo: memFree=95853256/131524600 swapFree=131071996/131071996
[pid=236462] ppid=236459 vsize=19108176 memory=2018520 CPUtime=3440.19 cores=4,6
/proc/236462/stat : 236462 (java) S 236459 236462 235987 0 -1 1077936128 135629 0 1 0 343423 596 0 0 20 0 20 0 18244618 19566772224 504630 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
/proc/236462/statm: 4777044 504630 5929 1 0 558200 0
[pid=236462/tid=236464] ppid=236459 vsize=19108176 memory=11608 CPUtime=3428.84 cores=4,6
/proc/236462/task/236464/stat : 236464 (java) R 236459 236462 235987 0 -1 4194368 52924 0 0 0 342423 461 0 0 20 0 20 0 18244619 19566772224 504630 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1921 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
[pid=236462/tid=236473] ppid=236459 vsize=19108176 memory=2018520 CPUtime=0 cores=4,6
/proc/236462/task/236473/stat : 236473 (Finalizer) S 236459 236462 235987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18244621 19566772224 504630 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
[pid=236462/tid=236480] ppid=236459 vsize=19108176 memory=71864 CPUtime=0 cores=4,6
/proc/236462/task/236480/stat : 236480 (Common-Cleaner) S 236459 236462 235987 0 -1 1077936192 2429 0 0 0 0 0 0 0 20 0 20 0 18244622 19566772224 504630 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
[pid=236462/tid=236481] ppid=236459 vsize=19108176 memory=2018520 CPUtime=0 cores=4,6
/proc/236462/task/236481/stat : 236481 (Timer-0) S 236459 236462 235987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18244660 19566772224 504630 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
Current children cumulated CPU time: 3440.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2018520 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.20 4.13 6/338 238320
/proc/meminfo: memFree=95702596/131524600 swapFree=131071996/131071996
[pid=236462] ppid=236459 vsize=19108176 memory=2018564 CPUtime=3500.07 cores=4,6
/proc/236462/stat : 236462 (java) S 236459 236462 235987 0 -1 1077936128 136361 0 1 0 349400 607 0 0 20 0 20 0 18244618 19566772224 504641 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
/proc/236462/statm: 4777044 504641 5929 1 0 558200 0
[pid=236462/tid=236464] ppid=236459 vsize=19108176 memory=2018520 CPUtime=3488.57 cores=4,6
/proc/236462/task/236464/stat : 236464 (java) R 236459 236462 235987 0 -1 4194368 53585 0 0 0 348387 470 0 0 20 0 20 0 18244619 19566772224 504641 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1927 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
[pid=236462/tid=236473] ppid=236459 vsize=19108176 memory=11608 CPUtime=0 cores=4,6
/proc/236462/task/236473/stat : 236473 (Finalizer) S 236459 236462 235987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18244621 19566772224 504641 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
[pid=236462/tid=236480] ppid=236459 vsize=19108176 memory=2018564 CPUtime=0 cores=4,6
/proc/236462/task/236480/stat : 236480 (Common-Cleaner) S 236459 236462 235987 0 -1 1077936192 2429 0 0 0 0 0 0 0 20 0 20 0 18244622 19566772224 504641 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
[pid=236462/tid=236481] ppid=236459 vsize=19108176 memory=-8527678484499899068 CPUtime=0 cores=4,6
/proc/236462/task/236481/stat : 236481 (Timer-0) S 236459 236462 235987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18244660 19566772224 504641 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
Current children cumulated CPU time: 3500.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2018564 KiB

[startup+3582.3 s]
/proc/loadavg: 4.45 4.27 4.16 5/338 238332
/proc/meminfo: memFree=95523696/131524600 swapFree=131071996/131071996
[pid=236462] ppid=236459 vsize=19108176 memory=2055524 CPUtime=3560.01 cores=4,6
/proc/236462/stat : 236462 (java) S 236459 236462 235987 0 -1 1077936128 138174 0 1 0 355383 618 0 0 20 0 20 0 18244618 19566772224 513881 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
/proc/236462/statm: 4777044 513881 5929 1 0 558200 0
[pid=236462/tid=236464] ppid=236459 vsize=19108176 memory=2018564 CPUtime=3548.24 cores=4,6
/proc/236462/task/236464/stat : 236464 (java) R 236459 236462 235987 0 -1 4194368 54567 0 0 0 354346 478 0 0 20 0 20 0 18244619 19566772224 513881 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1933 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
[pid=236462/tid=236473] ppid=236459 vsize=19108176 memory=11608 CPUtime=0 cores=4,6
/proc/236462/task/236473/stat : 236473 (Finalizer) S 236459 236462 235987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18244621 19566772224 513881 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
[pid=236462/tid=236480] ppid=236459 vsize=19108176 memory=2055524 CPUtime=0 cores=4,6
/proc/236462/task/236480/stat : 236480 (Common-Cleaner) S 236459 236462 235987 0 -1 1077936192 2514 0 0 0 0 0 0 0 20 0 20 0 18244622 19566772224 513881 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
[pid=236462/tid=236481] ppid=236459 vsize=19108176 memory=7608 CPUtime=0 cores=4,6
/proc/236462/task/236481/stat : 236481 (Timer-0) S 236459 236462 235987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18244660 19566772224 513881 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
Current children cumulated CPU time: 3560.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2055524 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3624.5 s]
/proc/loadavg: 4.50 4.32 4.18 5/339 238611
/proc/meminfo: memFree=110144992/131524600 swapFree=131071996/131071996
[pid=236462] ppid=236459 vsize=19108176 memory=2110904 CPUtime=3600.05 cores=4,6
/proc/236462/stat : 236462 (java) S 236459 236462 235987 0 -1 1077936128 138931 0 1 0 359379 626 0 0 20 0 20 0 18244618 19566772224 527726 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
/proc/236462/statm: 4777044 527726 5929 1 0 558200 0
[pid=236462/tid=236464] ppid=236459 vsize=19108176 memory=2055524 CPUtime=3588.13 cores=4,6
/proc/236462/task/236464/stat : 236464 (java) R 236459 236462 235987 0 -1 4194368 55061 0 0 0 358330 483 0 0 20 0 20 0 18244619 19566772224 527726 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2146 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
[pid=236462/tid=236473] ppid=236459 vsize=19108176 memory=2047264 CPUtime=0 cores=4,6
/proc/236462/task/236473/stat : 236473 (Finalizer) S 236459 236462 235987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18244621 19566772224 527726 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
[pid=236462/tid=236480] ppid=236459 vsize=19108176 memory=2110904 CPUtime=0 cores=4,6
/proc/236462/task/236480/stat : 236480 (Common-Cleaner) S 236459 236462 235987 0 -1 1077936192 2514 0 0 0 0 0 0 0 20 0 20 0 18244622 19566772224 527726 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
[pid=236462/tid=236481] ppid=236459 vsize=19108176 memory=11608 CPUtime=0 cores=4,6
/proc/236462/task/236481/stat : 236481 (Timer-0) S 236459 236462 235987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18244660 19566772224 527726 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2110904 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.96 s, system=6.27453 s

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

[startup+3624.6 s]
/proc/loadavg: 4.50 4.32 4.18 5/339 238611
/proc/meminfo: memFree=110144992/131524600 swapFree=131071996/131071996
[pid=236462] ppid=236459 vsize=19307868 memory=2111540 CPUtime=3600.21 cores=4,6
/proc/236462/stat : 236462 (java) S 236459 236462 235987 0 -1 1077936128 142491 0 1 0 359395 626 0 0 20 0 15 0 18244618 19771256832 527885 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
/proc/236462/statm: 4826967 527885 5928 1 0 559135 0
[pid=236462/tid=236464] ppid=236459 vsize=19307868 memory=1325308 CPUtime=3588.17 cores=4,6
/proc/236462/task/236464/stat : 236464 (java) S 236459 236462 235987 0 -1 1077936192 55135 0 0 0 358334 483 0 0 20 0 15 0 18244619 19771256832 527885 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 2146 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
[pid=236462/tid=236473] ppid=236459 vsize=19307868 memory=2756 CPUtime=0 cores=4,6
/proc/236462/task/236473/stat : 236473 (Finalizer) S 236459 236462 235987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 15 0 18244621 19771256832 527885 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
[pid=236462/tid=236480] ppid=236459 vsize=19307868 memory=6588 CPUtime=0 cores=4,6
/proc/236462/task/236480/stat : 236480 (Common-Cleaner) S 236459 236462 235987 0 -1 1077936192 2514 0 0 0 0 0 0 0 20 0 15 0 18244622 19771256832 527885 134679101440 94923137531904 94923137535600 140725098552688 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94923137543416 94923137544208 94923159797760 140725098554283 140725098554465 140725098554465 140725098561480 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2111540 KiB

Child status: 143

Real time (s): 3624.63
CPU time (s): 3600.23
CPU user time (s): 3593.96
CPU system time (s): 6.27453
CPU usage (%): 99.327
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2111540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.96
system time used= 6.27453
maximum resident set size= 2112360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 142542
page faults= 1
swaps= 0
block input operations= 168
block output operations= 5634280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 108273
involuntary context switches= 9102


# summary of solver processes directly reported to runsolver:
#   pid: 236462
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3593.96
#   total CPU system time (s): 6.27453

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.9654 second user time and 18.1084 second system time

The end

Begin job on nodeC024 at 2024-07-24 12:33:36
IDJOB=4440381
IDBENCH=148139
IDSOLVER=3079
FILE ID=nodeC024/4440381-1721817216
RUNJOBID= nodeC024-1721817187-235998
SLURM_JOB_ID= 7816882
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_001_area_delay.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440381-1721817216/watcher-4440381-1721817216 -o /tmp/evaluation-result-4440381-1721817216/solver-4440381-1721817216 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721817187-235998 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440381-1721817216 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440381-1721817216.opb

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

MD5SUM BENCH= 6595cc4610fad26587cd2ec4880b38c3
RANDOM SEED=676927309

nodeC024.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		: 3615.593
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.87
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		: 3696.936
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.58
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		: 3669.106
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.87
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.113
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.58
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		: 3644.607
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.87
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		: 3600.239
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.58
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		: 3639.433
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.87
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		: 3697.119
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.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        113784196 kB
MemAvailable:   125762596 kB
Buffers:          239972 kB
Cached:         12499200 kB
SwapCached:            0 kB
Active:          2647100 kB
Inactive:       14323984 kB
Active(anon):       1552 kB
Inactive(anon):  4284588 kB
Active(file):    2645548 kB
Inactive(file): 10039396 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            339724 kB
Writeback:             0 kB
AnonPages:       4231436 kB
Mapped:           138764 kB
Shmem:             54104 kB
KReclaimable:     266560 kB
Slab:             400152 kB
SReclaimable:     266560 kB
SUnreclaim:       133592 kB
KernelStack:        5168 kB
PageTables:        18472 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7756604 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            20032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3958784 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:      408276 kB
DirectMap2M:    48648192 kB
DirectMap1G:    87031808 kB

Free space on /tmp at the end= 890068 MiB
End job on nodeC024 at 2024-07-24 13:34:01