Trace number 4519490

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
CASHWMaxSATDisjCom-S 2025-06-01OPT105 2733.22 2740.38

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/
normalized-composed_pebbling_php_opt_pyramid_height13_pigeons12_holes11.opb
MD5SUM5816d4059f03195ecbecc759cd86d928
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark105
Best CPU time to get the best result obtained on this benchmark0.904486
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables14070
Total number of constraints2961
Number of constraints which are clauses1533
Number of constraints which are cardinality constraints (but not clauses)1050
Number of constraints which are nor clauses,nor cardinality constraints378
Minimum length of a constraint11
Maximum length of a constraint16
Number of terms in the objective function 210
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 210
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 210
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	105

Watcher Data 

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: 63708 MiB (50619 MiB free)
  memory of node 1: 64465 MiB (55529 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519490-1751555470/watcher-4519490-1751555470 -o /tmp/evaluation-result-4519490-1751555470/solver-4519490-1751555470 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751555470-78656 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4519490-1751555470.opb -total-t=3600 -no-par -v0 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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 5.14.0-503.14.1.el9_5.x86_64
solver pid=78691, runsolver pid=78685
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 0.59 0.95 1.04 4/261 78705
/proc/meminfo: memFree=108668752/131249988 swapFree=33010416/33010684
[pid=78691] ppid=78685 vsize=43764 memory=25376 CPUtime=0.1 cores=1,3
/proc/78691/stat : 78691 (CASHWMaxSAT-Dis) R 78685 78691 78644 0 -1 4194304 6005 0 0 0 9 1 0 0 20 0 1 0 71225600 44814336 6344 18446744073709551615 4198400 14093885 140733160228080 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28397568 140733160237418 140733160237533 140733160237533 140733160243135 0
/proc/78691/statm: 10941 6344 768 2416 0 8043 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43764 KiB
Current children cumulated memory: 25376 KiB

[startup+0.205717 s]*
/proc/loadavg: 0.59 0.95 1.04 6/265 78713
/proc/meminfo: memFree=108585592/131249988 swapFree=33010416/33010684
[pid=78691] ppid=78685 vsize=44780 memory=29540 CPUtime=0.2 cores=1,3
/proc/78691/stat : 78691 (CASHWMaxSAT-Dis) R 78685 78691 78644 0 -1 4194304 7599 0 0 0 19 1 0 0 20 0 1 0 71225600 45854720 7385 18446744073709551615 4198400 14093885 140733160228080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28397568 140733160237418 140733160237533 140733160237533 140733160243135 0
/proc/78691/statm: 11195 7385 768 2416 0 8297 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 44780 KiB
Current children cumulated memory: 29540 KiB

[startup+0.305651 s]*
/proc/loadavg: 0.59 0.95 1.04 5/265 78713
/proc/meminfo: memFree=108541744/131249988 swapFree=33010416/33010684
[pid=78691] ppid=78685 vsize=66508 memory=55660 CPUtime=0.3 cores=1,3
/proc/78691/stat : 78691 (CASHWMaxSAT-Dis) R 78685 78691 78644 0 -1 4194304 13375 0 0 0 28 2 0 0 20 0 1 0 71225600 68104192 13915 18446744073709551615 4198400 14093885 140733160228080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28397568 140733160237418 140733160237533 140733160237533 140733160243135 0
/proc/78691/statm: 16627 13915 2112 2416 0 13729 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 66508 KiB
Current children cumulated memory: 55660 KiB

[startup+0.700166 s]
/proc/loadavg: 0.59 0.95 1.04 5/265 78713
/proc/meminfo: memFree=108339892/131249988 swapFree=33010416/33010684
[pid=78691] ppid=78685 vsize=239308 memory=225260 CPUtime=0.69 cores=1,3
/proc/78691/stat : 78691 (CASHWMaxSAT-Dis) R 78685 78691 78644 0 -1 4194304 55555 0 0 0 60 9 0 0 20 0 1 0 71225600 245051392 56315 18446744073709551615 4198400 14093885 140733160228080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28397568 140733160237418 140733160237533 140733160237533 140733160243135 0
/proc/78691/statm: 59827 56315 2336 2416 0 56929 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 239308 KiB
Current children cumulated memory: 225260 KiB

[startup+1.50017 s]
/proc/loadavg: 0.59 0.95 1.04 6/265 78713
/proc/meminfo: memFree=108031632/131249988 swapFree=33010416/33010684
[pid=78691] ppid=78685 vsize=308624 memory=296172 CPUtime=1.49 cores=1,3
/proc/78691/stat : 78691 (CASHWMaxSAT-Dis) R 78685 78691 78644 0 -1 4194304 73219 0 0 0 137 12 0 0 20 0 1 0 71225600 316030976 74043 18446744073709551615 4198400 14093885 140733160228080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28397568 140733160237418 140733160237533 140733160237533 140733160243135 0
/proc/78691/statm: 77156 74043 2400 2416 0 74258 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 308624 KiB
Current children cumulated memory: 296172 KiB

[startup+3.10587 s]
/proc/loadavg: 0.86 1.01 1.06 5/265 78713
/proc/meminfo: memFree=107095052/131249988 swapFree=33010416/33010684
[pid=78691] ppid=78685 vsize=612484 memory=561996 CPUtime=3.09 cores=1,3
/proc/78691/stat : 78691 (CASHWMaxSAT-Dis) R 78685 78691 78644 0 -1 4194304 116100 0 0 0 288 21 0 0 20 0 1 0 71225600 627183616 140499 18446744073709551615 4198400 14093885 140733160228080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28397568 140733160237418 140733160237533 140733160237533 140733160243135 0
/proc/78691/statm: 153121 140499 2496 2416 0 150223 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 612484 KiB
Current children cumulated memory: 561996 KiB

[startup+6.30017 s]
/proc/loadavg: 0.86 1.01 1.06 6/265 78713
/proc/meminfo: memFree=106456200/131249988 swapFree=33010416/33010684
[pid=78691] ppid=78685 vsize=672524 memory=613080 CPUtime=6.28 cores=1,3
/proc/78691/stat : 78691 (CASHWMaxSAT-Dis) R 78685 78691 78644 0 -1 4194304 120663 0 0 0 605 23 0 0 20 0 1 0 71225600 688664576 153270 18446744073709551615 4198400 14093885 140733160228080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28397568 140733160237418 140733160237533 140733160237533 140733160243135 0
/proc/78691/statm: 168131 153270 2528 2416 0 165233 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 672524 KiB
Current children cumulated memory: 613080 KiB

[startup+12.7002 s]
/proc/loadavg: 1.34 1.10 1.09 6/265 78713
/proc/meminfo: memFree=105846128/131249988 swapFree=33010416/33010684
[pid=78691] ppid=78685 vsize=702452 memory=627500 CPUtime=12.66 cores=1,3
/proc/78691/stat : 78691 (CASHWMaxSAT-Dis) R 78685 78691 78644 0 -1 4194304 124339 0 0 0 1242 24 0 0 20 0 1 0 71225600 719310848 156875 18446744073709551615 4198400 14093885 140733160228080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28397568 140733160237418 140733160237533 140733160237533 140733160243135 0
/proc/78691/statm: 175613 156875 2528 2416 0 172715 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 702452 KiB
Current children cumulated memory: 627500 KiB

[startup+25.5002 s]
/proc/loadavg: 1.83 1.22 1.13 5/265 78713
/proc/meminfo: memFree=105906368/131249988 swapFree=33010416/33010684
[pid=78691] ppid=78685 vsize=723636 memory=631164 CPUtime=25.42 cores=1,3
/proc/78691/stat : 78691 (CASHWMaxSAT-Dis) R 78685 78691 78644 0 -1 4194304 124787 0 0 0 2518 24 0 0 20 0 1 0 71225600 741003264 157791 18446744073709551615 4198400 14093885 140733160228080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28397568 140733160237418 140733160237533 140733160237533 140733160243135 0
/proc/78691/statm: 180909 157791 2528 2416 0 178011 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 723636 KiB
Current children cumulated memory: 631164 KiB

[startup+51.1056 s]
/proc/loadavg: 2.57 1.44 1.21 5/265 78714
/proc/meminfo: memFree=105731504/131249988 swapFree=33010416/33010684
[pid=78691] ppid=78685 vsize=950408 memory=788784 CPUtime=50.96 cores=1,3
/proc/78691/stat : 78691 (CASHWMaxSAT-Dis) R 78685 78691 78644 0 -1 4194304 164176 0 0 0 5065 31 0 0 20 0 1 0 71225600 973217792 197196 18446744073709551615 4198400 14093885 140733160228080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28397568 140733160237418 140733160237533 140733160237533 140733160243135 0
/proc/78691/statm: 237602 197196 2528 2416 0 234704 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 950408 KiB
Current children cumulated memory: 788784 KiB

[startup+102.3 s]
/proc/loadavg: 3.48 1.89 1.37 5/265 78718
/proc/meminfo: memFree=105593584/131249988 swapFree=33010416/33010684
[pid=78691] ppid=78685 vsize=950408 memory=788784 CPUtime=102.02 cores=1,3
/proc/78691/stat : 78691 (CASHWMaxSAT-Dis) R 78685 78691 78644 0 -1 4194304 164197 0 0 0 10171 31 0 0 20 0 1 0 71225600 973217792 197196 18446744073709551615 4198400 14093885 140733160228080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28397568 140733160237418 140733160237533 140733160237533 140733160243135 0
/proc/78691/statm: 237602 197196 2528 2416 0 234704 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 950408 KiB
Current children cumulated memory: 788784 KiB

[startup+162.3 s]
/proc/loadavg: 3.92 2.31 1.55 6/264 78719
/proc/meminfo: memFree=105467036/131249988 swapFree=33010416/33010684
[pid=78691] ppid=78685 vsize=950408 memory=788784 CPUtime=161.88 cores=1,3
/proc/78691/stat : 78691 (CASHWMaxSAT-Dis) R 78685 78691 78644 0 -1 4194304 164206 0 0 0 16156 32 0 0 20 0 1 0 71225600 973217792 197196 18446744073709551615 4198400 14093885 140733160228080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28397568 140733160237418 140733160237533 140733160237533 140733160243135 0
/proc/78691/statm: 237602 197196 2528 2416 0 234704 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 950408 KiB
Current children cumulated memory: 788784 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 2.63 1.71 6/265 78726
/proc/meminfo: memFree=105353380/131249988 swapFree=33010416/33010684
[pid=78691] ppid=78685 vsize=950408 memory=788784 CPUtime=221.68 cores=1,3
/proc/78691/stat : 78691 (CASHWMaxSAT-Dis) R 78685 78691 78644 0 -1 4194304 164215 0 0 0 22136 32 0 0 20 0 1 0 71225600 973217792 197196 18446744073709551615 4198400 14093885 140733160228080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28397568 140733160237418 140733160237533 140733160237533 140733160243135 0
/proc/78691/statm: 237602 197196 2528 2416 0 234704 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 950408 KiB
Current children cumulated memory: 788784 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 2.91 1.87 5/265 78729
/proc/meminfo: memFree=105138528/131249988 swapFree=33010416/33010684
[pid=78691] ppid=78685 vsize=950408 memory=788784 CPUtime=281.48 cores=1,3
/proc/78691/stat : 78691 (CASHWMaxSAT-Dis) R 78685 78691 78644 0 -1 4194304 164574 0 0 0 28116 32 0 0 20 0 1 0 71225600 973217792 197196 18446744073709551615 4198400 14093885 140733160228080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28397568 140733160237418 140733160237533 140733160237533 140733160243135 0
/proc/78691/statm: 237602 197196 2528 2416 0 234704 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 950408 KiB
Current children cumulated memory: 788784 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 3.13 2.01 6/264 78731
/proc/meminfo: memFree=105082320/131249988 swapFree=33010416/33010684
[pid=78691] ppid=78685 vsize=950408 memory=788784 CPUtime=341.32 cores=1,3
/proc/78691/stat : 78691 (CASHWMaxSAT-Dis) R 78685 78691 78644 0 -1 4194304 164584 0 0 0 34100 32 0 0 20 0 1 0 71225600 973217792 197196 18446744073709551615 4198400 14093885 140733160228080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28397568 140733160237418 140733160237533 140733160237533 140733160243135 0
/proc/78691/statm: 237602 197196 2528 2416 0 234704 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 950408 KiB
Current children cumulated memory: 788784 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 3.31 2.14 6/264 78733
/proc/meminfo: memFree=104878616/131249988 swapFree=33010416/33010684
[pid=78691] ppid=78685 vsize=1058796 memory=898480 CPUtime=401.14 cores=1,3
/proc/78691/stat : 78691 (CASHWMaxSAT-Dis) R 78685 78691 78644 0 -1 4194304 191681 0 0 0 40077 37 0 0 20 0 1 0 71225600 1084207104 224620 18446744073709551615 4198400 14093885 140733160228080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28397568 140733160237418 140733160237533 140733160237533 140733160243135 0
/proc/78691/statm: 264699 224620 2528 2416 0 261801 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 1058796 KiB
Current children cumulated memory: 898480 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 3.46 2.27 7/264 78735
/proc/meminfo: memFree=104808340/131249988 swapFree=33010416/33010684
[pid=78691] ppid=78685 vsize=1058796 memory=898864 CPUtime=460.97 cores=1,3
/proc/78691/stat : 78691 (CASHWMaxSAT-Dis) R 78685 78691 78644 0 -1 4194304 191740 0 0 0 46060 37 0 0 20 0 1 0 71225600 1084207104 224716 18446744073709551615 4198400 14093885 140733160228080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28397568 140733160237418 140733160237533 140733160237533 140733160243135 0
/proc/78691/statm: 264699 224716 2528 2416 0 261801 0
Current children cumulated CPU time: 460.97 s
Current children cumulated vsize: 1058796 KiB

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

/proc/loadavg: 4.04 4.07 3.90 5/263 78825
/proc/meminfo: memFree=103464072/131249988 swapFree=33010416/33010684
[pid=78691] ppid=78685 vsize=1772484 memory=1393672 CPUtime=2375.96 cores=1,3
/proc/78691/stat : 78691 (CASHWMaxSAT-Dis) R 78685 78691 78644 0 -1 4194304 335593 0 0 0 237525 71 0 0 20 0 1 0 71225600 1815023616 348418 18446744073709551615 4198400 14093885 140733160228080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28397568 140733160237418 140733160237533 140733160237533 140733160243135 0
/proc/78691/statm: 443121 348418 2528 2416 0 440223 0
Current children cumulated CPU time: 2375.96 s
Current children cumulated vsize: 1772484 KiB
Current children cumulated memory: 1393672 KiB

[startup+2442.3 s]
/proc/loadavg: 4.11 4.09 3.92 5/263 78827
/proc/meminfo: memFree=103515060/131249988 swapFree=33010416/33010684
[pid=78691] ppid=78685 vsize=1772484 memory=1393800 CPUtime=2435.82 cores=1,3
/proc/78691/stat : 78691 (CASHWMaxSAT-Dis) R 78685 78691 78644 0 -1 4194304 335677 0 0 0 243511 71 0 0 20 0 1 0 71225600 1815023616 348450 18446744073709551615 4198400 14093885 140733160228080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28397568 140733160237418 140733160237533 140733160237533 140733160243135 0
/proc/78691/statm: 443121 348450 2528 2416 0 440223 0
Current children cumulated CPU time: 2435.82 s
Current children cumulated vsize: 1772484 KiB
Current children cumulated memory: 1393800 KiB

[startup+2502.3 s]
/proc/loadavg: 4.10 4.09 3.93 5/263 78831
/proc/meminfo: memFree=103501524/131249988 swapFree=33010416/33010684
[pid=78691] ppid=78685 vsize=1772484 memory=1393800 CPUtime=2495.68 cores=1,3
/proc/78691/stat : 78691 (CASHWMaxSAT-Dis) R 78685 78691 78644 0 -1 4194304 335713 0 0 0 249497 71 0 0 20 0 1 0 71225600 1815023616 348450 18446744073709551615 4198400 14093885 140733160228080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28397568 140733160237418 140733160237533 140733160237533 140733160243135 0
/proc/78691/statm: 443121 348450 2528 2416 0 440223 0
Current children cumulated CPU time: 2495.68 s
Current children cumulated vsize: 1772484 KiB
Current children cumulated memory: 1393800 KiB

[startup+2562.3 s]
/proc/loadavg: 4.71 4.24 4.00 5/263 78833
/proc/meminfo: memFree=103479328/131249988 swapFree=33010416/33010684
[pid=78691] ppid=78685 vsize=1772484 memory=1393800 CPUtime=2555.54 cores=1,3
/proc/78691/stat : 78691 (CASHWMaxSAT-Dis) R 78685 78691 78644 0 -1 4194304 335876 0 0 0 255483 71 0 0 20 0 1 0 71225600 1815023616 348450 18446744073709551615 4198400 14093885 140733160228080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28397568 140733160237418 140733160237533 140733160237533 140733160243135 0
/proc/78691/statm: 443121 348450 2528 2416 0 440223 0
Current children cumulated CPU time: 2555.54 s
Current children cumulated vsize: 1772484 KiB
Current children cumulated memory: 1393800 KiB

[startup+2622.3 s]
/proc/loadavg: 4.32 4.21 4.00 5/262 78839
/proc/meminfo: memFree=103500400/131249988 swapFree=33010416/33010684
[pid=78691] ppid=78685 vsize=1772484 memory=1393800 CPUtime=2615.41 cores=1,3
/proc/78691/stat : 78691 (CASHWMaxSAT-Dis) R 78685 78691 78644 0 -1 4194304 335903 0 0 0 261469 72 0 0 20 0 1 0 71225600 1815023616 348450 18446744073709551615 4198400 14093885 140733160228080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28397568 140733160237418 140733160237533 140733160237533 140733160243135 0
/proc/78691/statm: 443121 348450 2528 2416 0 440223 0
Current children cumulated CPU time: 2615.41 s
Current children cumulated vsize: 1772484 KiB
Current children cumulated memory: 1393800 KiB

[startup+2682.3 s]
/proc/loadavg: 4.16 4.19 4.00 5/262 78841
/proc/meminfo: memFree=103502516/131249988 swapFree=33010416/33010684
[pid=78691] ppid=78685 vsize=1772484 memory=1393800 CPUtime=2675.27 cores=1,3
/proc/78691/stat : 78691 (CASHWMaxSAT-Dis) R 78685 78691 78644 0 -1 4194304 336088 0 0 0 267455 72 0 0 20 0 1 0 71225600 1815023616 348450 18446744073709551615 4198400 14093885 140733160228080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28397568 140733160237418 140733160237533 140733160237533 140733160243135 0
/proc/78691/statm: 443121 348450 2528 2416 0 440223 0
Current children cumulated CPU time: 2675.27 s
Current children cumulated vsize: 1772484 KiB
Current children cumulated memory: 1393800 KiB

[startup+2740.38 s]
# the end of solver process 78691 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=2732.48 s, system=0.741914 s

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

[startup+2713.6 s]
/proc/loadavg: 4.15 4.18 4.01 5/262 78842
/proc/meminfo: memFree=103384836/131249988 swapFree=33010416/33010684
[pid=78691] ppid=78685 vsize=1772484 memory=1393800 CPUtime=2706.49 cores=1,3
/proc/78691/stat : 78691 (CASHWMaxSAT-Dis) R 78685 78691 78644 0 -1 4194304 336110 0 0 0 270577 72 0 0 20 0 1 0 71225600 1815023616 348450 18446744073709551615 4198400 14093885 140733160228080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28397568 140733160237418 140733160237533 140733160237533 140733160243135 0
/proc/78691/statm: 443121 348450 2528 2416 0 440223 0
Current children cumulated CPU time: 2706.49 s
Current children cumulated vsize: 1772484 KiB
Current children cumulated memory: 1393800 KiB

[startup+2726.4 s]
/proc/loadavg: 4.12 4.17 4.00 5/262 78842
/proc/meminfo: memFree=103484492/131249988 swapFree=33010416/33010684
[pid=78691] ppid=78685 vsize=1772484 memory=1393800 CPUtime=2719.26 cores=1,3
/proc/78691/stat : 78691 (CASHWMaxSAT-Dis) R 78685 78691 78644 0 -1 4194304 336111 0 0 0 271854 72 0 0 20 0 1 0 71225600 1815023616 348450 18446744073709551615 4198400 14093885 140733160228080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28397568 140733160237418 140733160237533 140733160237533 140733160243135 0
/proc/78691/statm: 443121 348450 2528 2416 0 440223 0
Current children cumulated CPU time: 2719.26 s
Current children cumulated vsize: 1772484 KiB
Current children cumulated memory: 1393800 KiB

[startup+2732.8 s]
/proc/loadavg: 4.11 4.17 4.00 6/262 78842
/proc/meminfo: memFree=103461500/131249988 swapFree=33010416/33010684
[pid=78691] ppid=78685 vsize=1772484 memory=1393800 CPUtime=2725.65 cores=1,3
/proc/78691/stat : 78691 (CASHWMaxSAT-Dis) R 78685 78691 78644 0 -1 4194304 336111 0 0 0 272493 72 0 0 20 0 1 0 71225600 1815023616 348450 18446744073709551615 4198400 14093885 140733160228080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28397568 140733160237418 140733160237533 140733160237533 140733160243135 0
/proc/78691/statm: 443121 348450 2528 2416 0 440223 0
Current children cumulated CPU time: 2725.65 s
Current children cumulated vsize: 1772484 KiB
Current children cumulated memory: 1393800 KiB

[startup+2736 s]*
/proc/loadavg: 4.11 4.17 4.00 6/262 78842
/proc/meminfo: memFree=103459736/131249988 swapFree=33010416/33010684
[pid=78691] ppid=78685 vsize=1772484 memory=1393800 CPUtime=2728.85 cores=1,3
/proc/78691/stat : 78691 (CASHWMaxSAT-Dis) R 78685 78691 78644 0 -1 4194304 336111 0 0 0 272813 72 0 0 20 0 1 0 71225600 1815023616 348450 18446744073709551615 4198400 14093885 140733160228080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28397568 140733160237418 140733160237533 140733160237533 140733160243135 0
/proc/78691/statm: 443121 348450 2528 2416 0 440223 0
Current children cumulated CPU time: 2728.85 s
Current children cumulated vsize: 1772484 KiB
Current children cumulated memory: 1393800 KiB

[startup+2737.6 s]
/proc/loadavg: 4.11 4.17 4.00 7/262 78842
/proc/meminfo: memFree=103455648/131249988 swapFree=33010416/33010684
[pid=78691] ppid=78685 vsize=1772484 memory=1393800 CPUtime=2730.44 cores=1,3
/proc/78691/stat : 78691 (CASHWMaxSAT-Dis) R 78685 78691 78644 0 -1 4194304 336111 0 0 0 272972 72 0 0 20 0 1 0 71225600 1815023616 348450 18446744073709551615 4198400 14093885 140733160228080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28397568 140733160237418 140733160237533 140733160237533 140733160243135 0
/proc/78691/statm: 443121 348450 2528 2416 0 440223 0
Current children cumulated CPU time: 2730.44 s
Current children cumulated vsize: 1772484 KiB
Current children cumulated memory: 1393800 KiB

[startup+2739.2 s]
/proc/loadavg: 4.18 4.18 4.01 5/262 78842
/proc/meminfo: memFree=103448368/131249988 swapFree=33010416/33010684
[pid=78691] ppid=78685 vsize=1772484 memory=1393800 CPUtime=2732.03 cores=1,3
/proc/78691/stat : 78691 (CASHWMaxSAT-Dis) R 78685 78691 78644 0 -1 4194304 336111 0 0 0 273131 72 0 0 20 0 1 0 71225600 1815023616 348450 18446744073709551615 4198400 14093885 140733160228080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28397568 140733160237418 140733160237533 140733160237533 140733160243135 0
/proc/78691/statm: 443121 348450 2528 2416 0 440223 0
Current children cumulated CPU time: 2732.03 s
Current children cumulated vsize: 1772484 KiB
Current children cumulated memory: 1393800 KiB

[startup+2740 s]*
/proc/loadavg: 4.18 4.18 4.01 6/262 78842
/proc/meminfo: memFree=103448400/131249988 swapFree=33010416/33010684
[pid=78691] ppid=78685 vsize=1772484 memory=1393800 CPUtime=2732.84 cores=1,3
/proc/78691/stat : 78691 (CASHWMaxSAT-Dis) R 78685 78691 78644 0 -1 4194304 336111 0 0 0 273212 72 0 0 20 0 1 0 71225600 1815023616 348450 18446744073709551615 4198400 14093885 140733160228080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28397568 140733160237418 140733160237533 140733160237533 140733160243135 0
/proc/78691/statm: 443121 348450 2528 2416 0 440223 0
Current children cumulated CPU time: 2732.84 s
Current children cumulated vsize: 1772484 KiB
Current children cumulated memory: 1393800 KiB

[startup+2740.2 s]
/proc/loadavg: 4.18 4.18 4.01 6/262 78842
/proc/meminfo: memFree=103448400/131249988 swapFree=33010416/33010684
[pid=78691] ppid=78685 vsize=1772484 memory=1393800 CPUtime=2733.03 cores=1,3
/proc/78691/stat : 78691 (CASHWMaxSAT-Dis) R 78685 78691 78644 0 -1 4194304 336111 0 0 0 273231 72 0 0 20 0 1 0 71225600 1815023616 348450 18446744073709551615 4198400 14093885 140733160228080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28397568 140733160237418 140733160237533 140733160237533 140733160243135 0
/proc/78691/statm: 443121 348450 2528 2416 0 440223 0
Current children cumulated CPU time: 2733.03 s
Current children cumulated vsize: 1772484 KiB
Current children cumulated memory: 1393800 KiB

[startup+2740.3 s]
/proc/loadavg: 4.18 4.18 4.01 6/262 78842
/proc/meminfo: memFree=103448400/131249988 swapFree=33010416/33010684
[pid=78691] ppid=78685 vsize=1772484 memory=1393800 CPUtime=2733.13 cores=1,3
/proc/78691/stat : 78691 (CASHWMaxSAT-Dis) R 78685 78691 78644 0 -1 4194304 336111 0 0 0 273241 72 0 0 20 0 1 0 71225600 1815023616 348450 18446744073709551615 4198400 14093885 140733160228080 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28397568 140733160237418 140733160237533 140733160237533 140733160243135 0
/proc/78691/statm: 443121 348450 2528 2416 0 440223 0
Current children cumulated CPU time: 2733.13 s
Current children cumulated vsize: 1772484 KiB
Current children cumulated memory: 1393800 KiB

Child status: 30

Real time (s): 2740.38
CPU time (s): 2733.22
CPU user time (s): 2732.48
CPU system time (s): 0.741914
CPU usage (%): 99.7386
Max. virtual memory (cumulated for all children) (KiB): 2252280
Max. memory (cumulated for all children) (KiB): 1687600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2732.48
system time used= 0.741914
maximum resident set size= 1687600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 336114
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110
involuntary context switches= 1722


# summary of solver processes directly reported to runsolver:
#   pid: 78691
#   total CPU time (s): 2733.22
#   total CPU user time (s): 2732.48
#   total CPU system time (s): 0.741914

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.95056 second user time and 12.4968 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2025-07-03 17:11:10
IDJOB=4519490
IDBENCH=177262
IDSOLVER=3323
FILE ID=nodeC031/4519490-1751555470
RUNJOBID= nodeC031-1751555470-78656
SLURM_JOB_ID= 9598748
Free space on /tmp= 432088 MiB

SOLVER NAME= CASHWMaxSATDisjCom-S 2025-06-01
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/normalized-composed_pebbling_php_opt_pyramid_height13_pigeons12_holes11.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519490-1751555470/watcher-4519490-1751555470 -o /tmp/evaluation-result-4519490-1751555470/solver-4519490-1751555470 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751555470-78656 --watchdog 3760  CASHWMaxSAT-DisjCom-S HOME/instance-4519490-1751555470.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= 5816d4059f03195ecbecc759cd86d928
RANDOM SEED=1298160663

nodeC031 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3599.969
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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		: 3599.850
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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		: 3600.084
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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		: 3732.909
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.935
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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		: 3599.978
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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		: 3595.868
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.995
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        108712612 kB
MemAvailable:   129580052 kB
Buffers:            2128 kB
Cached:         21551528 kB
SwapCached:           12 kB
Active:           496636 kB
Inactive:       21144824 kB
Active(anon):      95388 kB
Inactive(anon):    10468 kB
Active(file):     401248 kB
Inactive(file): 21134356 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             45856 kB
Writeback:             0 kB
AnonPages:         90992 kB
Mapped:           103988 kB
Shmem:             18052 kB
KReclaimable:     342148 kB
Slab:             435084 kB
SReclaimable:     342148 kB
SUnreclaim:        92936 kB
KernelStack:        4144 kB
PageTables:         2976 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     357616 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150344 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191188 kB
DirectMap2M:     9017344 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432016 MiB
End job on nodeC031 at 2025-07-03 17:56:51