Trace number 4519508

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
NuPBO-DeepOptS+ 2025-06-02SAT (TO)105 3600.05 3615.61

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

Solver Data 

2.27/2.35	c Filename:instance-4519508-1751562261.opb, Cutoff_time:3600, memory_limit_gb:500000
2.27/2.35	c Scip time: 1800
2.27/2.35	c Use Presolve
2.27/2.35	c Parse finsih
2.27/2.35	c Start Presolve
2.27/2.35	c After Reduce Vars: 14070 Clauses: 3171 Top clause weight: 211 Hard Clauses: 2961
3600.02/3615.60	c Use LS-small
3600.02/3615.60	c Use postsolve
3600.02/3615.60	o 105
3600.02/3615.60	s SATISFIABLE
3600.02/3615.60	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
3600.02/3615.60	v -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
3600.02/3615.60	v -x14047 -x14048 -x14050 -x14051 -x14052 -x14053 x14054 -x14055 -x14056 -x14057 -x14058 -x14059 -x14061 -x14062 -x14063 x14064 -x14065 -x14066 -x14067 -x14068 -x14069 -x14070
3600.02/3615.60	c Use postsolve
3600.02/3615.60	c Done 1790.26s

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: 63794 MiB (63079 MiB free)
  memory of node 1: 64507 MiB (62128 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519508-1751562261/watcher-4519508-1751562261 -o /tmp/evaluation-result-4519508-1751562261/solver-4519508-1751562261 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751558651-79797 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4519508-1751562261.opb -t 3600 -s 1711251451 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Starting watchdog thread
solver pid=80187, runsolver pid=80183
Current StackSize limit: 8192 KiB


[startup+0.1001 s]*
/proc/loadavg: 4.07 4.08 4.06 3/242 80195
/proc/meminfo: memFree=128203920/131382120 swapFree=33010416/33010684
[pid=80187] ppid=80183 vsize=21724 memory=6868 CPUtime=0.1 cores=4,6
/proc/80187/stat : 80187 (NuPBO-DeepOptS+) R 80183 80187 79782 0 -1 4194304 983 0 0 0 10 0 0 0 20 0 1 0 71905506 22245376 1717 18446744073709551615 4198400 15468185 140726451196800 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 39354368 140726451202454 140726451202564 140726451202564 140726451208166 0
/proc/80187/statm: 5431 1717 1088 2752 0 2084 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 21724 KiB
Current children cumulated memory: 6868 KiB

[startup+0.213509 s]*
/proc/loadavg: 4.07 4.08 4.06 5/241 80203
/proc/meminfo: memFree=128176296/131382120 swapFree=33010416/33010684
[pid=80187] ppid=80183 vsize=23276 memory=7972 CPUtime=0.21 cores=4,6
/proc/80187/stat : 80187 (NuPBO-DeepOptS+) R 80183 80187 79782 0 -1 4194304 1516 0 0 0 21 0 0 0 20 0 1 0 71905506 23834624 1993 18446744073709551615 4198400 15468185 140726451196800 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 39354368 140726451202454 140726451202564 140726451202564 140726451208166 0
/proc/80187/statm: 5819 1993 1088 2752 0 2472 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 23276 KiB
Current children cumulated memory: 7972 KiB

[startup+0.313135 s]*
/proc/loadavg: 4.07 4.08 4.06 4/242 80209
/proc/meminfo: memFree=128168244/131382120 swapFree=33010416/33010684
[pid=80187] ppid=80183 vsize=29464 memory=14372 CPUtime=0.31 cores=4,6
/proc/80187/stat : 80187 (NuPBO-DeepOptS+) R 80183 80187 79782 0 -1 4194304 3056 0 0 0 30 1 0 0 20 0 1 0 71905506 30171136 3593 18446744073709551615 4198400 15468185 140726451196800 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 39354368 140726451202454 140726451202564 140726451202564 140726451208166 0
/proc/80187/statm: 7366 3593 1152 2752 0 4019 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 29464 KiB
Current children cumulated memory: 14372 KiB

[startup+0.700327 s]
/proc/loadavg: 4.07 4.08 4.06 5/251 80222
/proc/meminfo: memFree=128129564/131382120 swapFree=33010416/33010684
[pid=80187] ppid=80183 vsize=29464 memory=14372 CPUtime=0.69 cores=4,6
/proc/80187/stat : 80187 (NuPBO-DeepOptS+) R 80183 80187 79782 0 -1 4194304 3056 0 0 0 68 1 0 0 20 0 1 0 71905506 30171136 3593 18446744073709551615 4198400 15468185 140726451196800 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 39354368 140726451202454 140726451202564 140726451202564 140726451208166 0
/proc/80187/statm: 7366 3593 1152 2752 0 4019 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 29464 KiB
Current children cumulated memory: 14372 KiB

[startup+1.50029 s]
/proc/loadavg: 4.07 4.08 4.06 5/251 80222
/proc/meminfo: memFree=128028828/131382120 swapFree=33010416/33010684
[pid=80187] ppid=80183 vsize=111624 memory=96724 CPUtime=1.48 cores=4,6
/proc/80187/stat : 80187 (NuPBO-DeepOptS+) R 80183 80187 79782 0 -1 4194304 22666 0 0 0 141 7 0 0 20 0 1 0 71905506 114302976 24181 18446744073709551615 4198400 15468185 140726451196800 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 39354368 140726451202454 140726451202564 140726451202564 140726451208166 0
/proc/80187/statm: 27906 24181 2816 2752 0 24559 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 111624 KiB
Current children cumulated memory: 96724 KiB

[startup+3.11289 s]
/proc/loadavg: 4.07 4.08 4.06 5/251 80222
/proc/meminfo: memFree=127822800/131382120 swapFree=33010416/33010684
[pid=80187] ppid=80183 vsize=180644 memory=160956 CPUtime=3.08 cores=4,6
/proc/80187/stat : 80187 (NuPBO-DeepOptS+) R 80183 80187 79782 0 -1 4194304 35945 0 0 0 298 10 0 0 20 0 1 0 71905506 184979456 40239 18446744073709551615 4198400 15468185 140726451196800 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 39354368 140726451202454 140726451202564 140726451202564 140726451208166 0
/proc/80187/statm: 45161 40239 2816 2752 0 41814 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 180644 KiB
Current children cumulated memory: 160956 KiB

[startup+6.3003 s]
/proc/loadavg: 4.06 4.08 4.06 5/251 80222
/proc/meminfo: memFree=127595160/131382120 swapFree=33010416/33010684
[pid=80187] ppid=80183 vsize=180644 memory=160956 CPUtime=6.26 cores=4,6
/proc/80187/stat : 80187 (NuPBO-DeepOptS+) R 80183 80187 79782 0 -1 4194304 35949 0 0 0 616 10 0 0 20 0 1 0 71905506 184979456 40239 18446744073709551615 4198400 15468185 140726451196800 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 39354368 140726451202454 140726451202564 140726451202564 140726451208166 0
/proc/80187/statm: 45161 40239 2816 2752 0 41814 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 180644 KiB
Current children cumulated memory: 160956 KiB

[startup+12.7003 s]
/proc/loadavg: 4.06 4.08 4.06 5/252 80224
/proc/meminfo: memFree=127215052/131382120 swapFree=33010416/33010684
[pid=80187] ppid=80183 vsize=209636 memory=190520 CPUtime=12.63 cores=4,6
/proc/80187/stat : 80187 (NuPBO-DeepOptS+) R 80183 80187 79782 0 -1 4194304 47109 0 0 0 1251 12 0 0 20 0 1 0 71905506 214667264 47630 18446744073709551615 4198400 15468185 140726451196800 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 39354368 140726451202454 140726451202564 140726451202564 140726451208166 0
/proc/80187/statm: 52409 47630 2848 2752 0 49062 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 209636 KiB
Current children cumulated memory: 190520 KiB

[startup+25.5003 s]
/proc/loadavg: 4.04 4.08 4.06 5/252 80224
/proc/meminfo: memFree=125887752/131382120 swapFree=33010416/33010684
[pid=80187] ppid=80183 vsize=223784 memory=204856 CPUtime=25.36 cores=4,6
/proc/80187/stat : 80187 (NuPBO-DeepOptS+) R 80183 80187 79782 0 -1 4194304 50722 0 0 0 2523 13 0 0 20 0 1 0 71905506 229154816 51214 18446744073709551615 4198400 15468185 140726451196800 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 39354368 140726451202454 140726451202564 140726451202564 140726451208166 0
/proc/80187/statm: 55946 51214 2848 2752 0 52599 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 223784 KiB
Current children cumulated memory: 204856 KiB

[startup+51.1129 s]
/proc/loadavg: 4.15 4.10 4.07 5/251 80224
/proc/meminfo: memFree=125517596/131382120 swapFree=33010416/33010684
[pid=80187] ppid=80183 vsize=223552 memory=205472 CPUtime=50.81 cores=4,6
/proc/80187/stat : 80187 (NuPBO-DeepOptS+) R 80183 80187 79782 0 -1 4194304 51993 0 0 0 5068 13 0 0 20 0 1 0 71905506 228917248 51368 18446744073709551615 4198400 15468185 140726451196800 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 39354368 140726451202454 140726451202564 140726451202564 140726451208166 0
/proc/80187/statm: 55888 51368 2848 2752 0 52541 0
Current children cumulated CPU time: 50.81 s
Current children cumulated vsize: 223552 KiB
Current children cumulated memory: 205472 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.10 4.07 5/251 80226
/proc/meminfo: memFree=122225556/131382120 swapFree=33010416/33010684
[pid=80187] ppid=80183 vsize=259700 memory=240992 CPUtime=101.76 cores=4,6
/proc/80187/stat : 80187 (NuPBO-DeepOptS+) R 80183 80187 79782 0 -1 4194304 62579 0 0 0 10161 15 0 0 20 0 1 0 71905506 265932800 60248 18446744073709551615 4198400 15468185 140726451196800 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 39354368 140726451202454 140726451202564 140726451202564 140726451208166 0
/proc/80187/statm: 64925 60248 2848 2752 0 61578 0
Current children cumulated CPU time: 101.76 s
Current children cumulated vsize: 259700 KiB
Current children cumulated memory: 240992 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.09 4.07 5/254 80233
/proc/meminfo: memFree=121219080/131382120 swapFree=33010416/33010684
[pid=80187] ppid=80183 vsize=283660 memory=265092 CPUtime=161.49 cores=4,6
/proc/80187/stat : 80187 (NuPBO-DeepOptS+) R 80183 80187 79782 0 -1 4194304 64531 0 0 0 16133 16 0 0 20 0 1 0 71905506 290467840 66273 18446744073709551615 4198400 15468185 140726451196800 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 39354368 140726451202454 140726451202564 140726451202564 140726451208166 0
/proc/80187/statm: 70915 66273 2848 2752 0 67568 0
Current children cumulated CPU time: 161.49 s
Current children cumulated vsize: 283660 KiB
Current children cumulated memory: 265092 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.10 4.08 5/254 80235
/proc/meminfo: memFree=120678884/131382120 swapFree=33010416/33010684
[pid=80187] ppid=80183 vsize=324612 memory=305872 CPUtime=221.19 cores=4,6
/proc/80187/stat : 80187 (NuPBO-DeepOptS+) R 80183 80187 79782 0 -1 4194304 72729 0 0 0 22102 17 0 0 20 0 1 0 71905506 332402688 76468 18446744073709551615 4198400 15468185 140726451196800 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 39354368 140726451202454 140726451202564 140726451202564 140726451208166 0
/proc/80187/statm: 81153 76468 2848 2752 0 77806 0
Current children cumulated CPU time: 221.19 s
Current children cumulated vsize: 324612 KiB
Current children cumulated memory: 305872 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.10 4.08 5/254 80237
/proc/meminfo: memFree=120646812/131382120 swapFree=33010416/33010684
[pid=80187] ppid=80183 vsize=358556 memory=340432 CPUtime=280.91 cores=4,6
/proc/80187/stat : 80187 (NuPBO-DeepOptS+) R 80183 80187 79782 0 -1 4194304 81378 0 0 0 28072 19 0 0 20 0 1 0 71905506 367161344 85108 18446744073709551615 4198400 15468185 140726451196800 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 39354368 140726451202454 140726451202564 140726451202564 140726451208166 0
/proc/80187/statm: 89639 85108 2848 2752 0 86292 0
Current children cumulated CPU time: 280.91 s
Current children cumulated vsize: 358556 KiB
Current children cumulated memory: 340432 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.11 4.08 5/252 80239
/proc/meminfo: memFree=120000728/131382120 swapFree=33010416/33010684
[pid=80187] ppid=80183 vsize=382824 memory=364752 CPUtime=340.64 cores=4,6
/proc/80187/stat : 80187 (NuPBO-DeepOptS+) R 80183 80187 79782 0 -1 4194304 87460 0 0 0 34044 20 0 0 20 0 1 0 71905506 392011776 91188 18446744073709551615 4198400 15468185 140726451196800 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 39354368 140726451202454 140726451202564 140726451202564 140726451208166 0
/proc/80187/statm: 95706 91188 2848 2752 0 92359 0
Current children cumulated CPU time: 340.64 s
Current children cumulated vsize: 382824 KiB
Current children cumulated memory: 364752 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.10 4.08 5/252 80242
/proc/meminfo: memFree=119763092/131382120 swapFree=33010416/33010684
[pid=80187] ppid=80183 vsize=409276 memory=390992 CPUtime=400.29 cores=4,6
/proc/80187/stat : 80187 (NuPBO-DeepOptS+) R 80183 80187 79782 0 -1 4194304 94032 0 0 0 40007 22 0 0 20 0 1 0 71905506 419098624 97748 18446744073709551615 4198400 15468185 140726451196800 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 39354368 140726451202454 140726451202564 140726451202564 140726451208166 0
/proc/80187/statm: 102319 97748 2848 2752 0 98972 0
Current children cumulated CPU time: 400.29 s
Current children cumulated vsize: 409276 KiB
Current children cumulated memory: 390992 KiB

[startup+462.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/250 80244
/proc/meminfo: memFree=119484028/131382120 swapFree=33010416/33010684
[pid=80187] ppid=80183 vsize=433884 memory=415824 CPUtime=459.84 cores=4,6
/proc/80187/stat : 80187 (NuPBO-DeepOptS+) R 80183 80187 79782 0 -1 4194304 100247 0 0 0 45961 23 0 0 20 0 1 0 71905506 444297216 103956 18446744073709551615 4198400 15468185 140726451196800 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 39354368 140726451202454 140726451202564 140726451202564 140726451208166 0
/proc/80187/statm: 108471 103956 2848 2752 0 105124 0
Current children cumulated CPU time: 459.84 s

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

Current children cumulated memory: 1020176 KiB

[startup+2862.3 s]
/proc/loadavg: 4.15 4.23 4.19 5/250 80361
/proc/meminfo: memFree=116007788/131382120 swapFree=33010416/33010684
[pid=80187] ppid=80183 vsize=1027348 memory=1020176 CPUtime=2848.53 cores=4,6
/proc/80187/stat : 80187 (NuPBO-DeepOptS+) R 80183 80187 79782 0 -1 4194304 273024 0 0 0 284795 58 0 0 20 0 1 0 71905506 1052004352 255044 18446744073709551615 4198400 15468185 140726451196800 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 39354368 140726451202454 140726451202564 140726451202564 140726451208166 0
/proc/80187/statm: 256837 255044 3168 2752 0 253490 0
Current children cumulated CPU time: 2848.53 s
Current children cumulated vsize: 1027348 KiB
Current children cumulated memory: 1020176 KiB

[startup+2922.3 s]
/proc/loadavg: 4.17 4.22 4.19 5/250 80363
/proc/meminfo: memFree=116009380/131382120 swapFree=33010416/33010684
[pid=80187] ppid=80183 vsize=1027348 memory=1020176 CPUtime=2908.39 cores=4,6
/proc/80187/stat : 80187 (NuPBO-DeepOptS+) R 80183 80187 79782 0 -1 4194304 273024 0 0 0 290781 58 0 0 20 0 1 0 71905506 1052004352 255044 18446744073709551615 4198400 15468185 140726451196800 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 39354368 140726451202454 140726451202564 140726451202564 140726451208166 0
/proc/80187/statm: 256837 255044 3168 2752 0 253490 0
Current children cumulated CPU time: 2908.39 s
Current children cumulated vsize: 1027348 KiB
Current children cumulated memory: 1020176 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.19 4.18 5/249 80365
/proc/meminfo: memFree=116008880/131382120 swapFree=33010416/33010684
[pid=80187] ppid=80183 vsize=1027348 memory=1020304 CPUtime=2968.24 cores=4,6
/proc/80187/stat : 80187 (NuPBO-DeepOptS+) R 80183 80187 79782 0 -1 4194304 273030 0 0 0 296766 58 0 0 20 0 1 0 71905506 1052004352 255076 18446744073709551615 4198400 15468185 140726451196800 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 39354368 140726451202454 140726451202564 140726451202564 140726451208166 0
/proc/80187/statm: 256837 255076 3168 2752 0 253490 0
Current children cumulated CPU time: 2968.24 s
Current children cumulated vsize: 1027348 KiB
Current children cumulated memory: 1020304 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.17 4.17 5/250 80372
/proc/meminfo: memFree=116008668/131382120 swapFree=33010416/33010684
[pid=80187] ppid=80183 vsize=1027348 memory=1020304 CPUtime=3028.09 cores=4,6
/proc/80187/stat : 80187 (NuPBO-DeepOptS+) R 80183 80187 79782 0 -1 4194304 273030 0 0 0 302751 58 0 0 20 0 1 0 71905506 1052004352 255076 18446744073709551615 4198400 15468185 140726451196800 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 39354368 140726451202454 140726451202564 140726451202564 140726451208166 0
/proc/80187/statm: 256837 255076 3168 2752 0 253490 0
Current children cumulated CPU time: 3028.09 s
Current children cumulated vsize: 1027348 KiB
Current children cumulated memory: 1020304 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.15 4.17 5/250 80374
/proc/meminfo: memFree=116020088/131382120 swapFree=33010416/33010684
[pid=80187] ppid=80183 vsize=1027348 memory=1020304 CPUtime=3087.95 cores=4,6
/proc/80187/stat : 80187 (NuPBO-DeepOptS+) R 80183 80187 79782 0 -1 4194304 273036 0 0 0 308737 58 0 0 20 0 1 0 71905506 1052004352 255076 18446744073709551615 4198400 15468185 140726451196800 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 39354368 140726451202454 140726451202564 140726451202564 140726451208166 0
/proc/80187/statm: 256837 255076 3168 2752 0 253490 0
Current children cumulated CPU time: 3087.95 s
Current children cumulated vsize: 1027348 KiB
Current children cumulated memory: 1020304 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.14 4.16 5/250 80378
/proc/meminfo: memFree=116027736/131382120 swapFree=33010416/33010684
[pid=80187] ppid=80183 vsize=1027348 memory=1020304 CPUtime=3147.81 cores=4,6
/proc/80187/stat : 80187 (NuPBO-DeepOptS+) R 80183 80187 79782 0 -1 4194304 273042 0 0 0 314723 58 0 0 20 0 1 0 71905506 1052004352 255076 18446744073709551615 4198400 15468185 140726451196800 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 39354368 140726451202454 140726451202564 140726451202564 140726451208166 0
/proc/80187/statm: 256837 255076 3168 2752 0 253490 0
Current children cumulated CPU time: 3147.81 s
Current children cumulated vsize: 1027348 KiB
Current children cumulated memory: 1020304 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.13 4.16 5/251 80381
/proc/meminfo: memFree=116025260/131382120 swapFree=33010416/33010684
[pid=80187] ppid=80183 vsize=1027348 memory=1020304 CPUtime=3207.67 cores=4,6
/proc/80187/stat : 80187 (NuPBO-DeepOptS+) R 80183 80187 79782 0 -1 4194304 273042 0 0 0 320709 58 0 0 20 0 1 0 71905506 1052004352 255076 18446744073709551615 4198400 15468185 140726451196800 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 39354368 140726451202454 140726451202564 140726451202564 140726451208166 0
/proc/80187/statm: 256837 255076 3168 2752 0 253490 0
Current children cumulated CPU time: 3207.67 s
Current children cumulated vsize: 1027348 KiB
Current children cumulated memory: 1020304 KiB

[startup+3282.3 s]
/proc/loadavg: 4.55 4.24 4.20 5/251 80383
/proc/meminfo: memFree=116022436/131382120 swapFree=33010416/33010684
[pid=80187] ppid=80183 vsize=1027348 memory=1020304 CPUtime=3267.52 cores=4,6
/proc/80187/stat : 80187 (NuPBO-DeepOptS+) R 80183 80187 79782 0 -1 4194304 273048 0 0 0 326694 58 0 0 20 0 1 0 71905506 1052004352 255076 18446744073709551615 4198400 15468185 140726451196800 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 39354368 140726451202454 140726451202564 140726451202564 140726451208166 0
/proc/80187/statm: 256837 255076 3168 2752 0 253490 0
Current children cumulated CPU time: 3267.52 s
Current children cumulated vsize: 1027348 KiB
Current children cumulated memory: 1020304 KiB

[startup+3342.3 s]
/proc/loadavg: 4.39 4.27 4.21 5/251 80385
/proc/meminfo: memFree=116014460/131382120 swapFree=33010416/33010684
[pid=80187] ppid=80183 vsize=1027348 memory=1020304 CPUtime=3327.38 cores=4,6
/proc/80187/stat : 80187 (NuPBO-DeepOptS+) R 80183 80187 79782 0 -1 4194304 273048 0 0 0 332680 58 0 0 20 0 1 0 71905506 1052004352 255076 18446744073709551615 4198400 15468185 140726451196800 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 39354368 140726451202454 140726451202564 140726451202564 140726451208166 0
/proc/80187/statm: 256837 255076 3168 2752 0 253490 0
Current children cumulated CPU time: 3327.38 s
Current children cumulated vsize: 1027348 KiB
Current children cumulated memory: 1020304 KiB

[startup+3402.3 s]
/proc/loadavg: 4.25 4.25 4.20 5/251 80398
/proc/meminfo: memFree=116016112/131382120 swapFree=33010416/33010684
[pid=80187] ppid=80183 vsize=1027348 memory=1020304 CPUtime=3387.24 cores=4,6
/proc/80187/stat : 80187 (NuPBO-DeepOptS+) R 80183 80187 79782 0 -1 4194304 273054 0 0 0 338666 58 0 0 20 0 1 0 71905506 1052004352 255076 18446744073709551615 4198400 15468185 140726451196800 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 39354368 140726451202454 140726451202564 140726451202564 140726451208166 0
/proc/80187/statm: 256837 255076 3168 2752 0 253490 0
Current children cumulated CPU time: 3387.24 s
Current children cumulated vsize: 1027348 KiB
Current children cumulated memory: 1020304 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.22 4.19 5/251 80400
/proc/meminfo: memFree=116012664/131382120 swapFree=33010416/33010684
[pid=80187] ppid=80183 vsize=1027348 memory=1020304 CPUtime=3447.1 cores=4,6
/proc/80187/stat : 80187 (NuPBO-DeepOptS+) R 80183 80187 79782 0 -1 4194304 273054 0 0 0 344652 58 0 0 20 0 1 0 71905506 1052004352 255076 18446744073709551615 4198400 15468185 140726451196800 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 39354368 140726451202454 140726451202564 140726451202564 140726451208166 0
/proc/80187/statm: 256837 255076 3168 2752 0 253490 0
Current children cumulated CPU time: 3447.1 s
Current children cumulated vsize: 1027348 KiB
Current children cumulated memory: 1020304 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.19 4.18 5/250 80402
/proc/meminfo: memFree=116016244/131382120 swapFree=33010416/33010684
[pid=80187] ppid=80183 vsize=1027348 memory=1020304 CPUtime=3506.95 cores=4,6
/proc/80187/stat : 80187 (NuPBO-DeepOptS+) R 80183 80187 79782 0 -1 4194304 273060 0 0 0 350637 58 0 0 20 0 1 0 71905506 1052004352 255076 18446744073709551615 4198400 15468185 140726451196800 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 39354368 140726451202454 140726451202564 140726451202564 140726451208166 0
/proc/80187/statm: 256837 255076 3168 2752 0 253490 0
Current children cumulated CPU time: 3506.95 s
Current children cumulated vsize: 1027348 KiB
Current children cumulated memory: 1020304 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.17 4.17 5/251 80405
/proc/meminfo: memFree=116028136/131382120 swapFree=33010416/33010684
[pid=80187] ppid=80183 vsize=1027348 memory=1020304 CPUtime=3566.81 cores=4,6
/proc/80187/stat : 80187 (NuPBO-DeepOptS+) R 80183 80187 79782 0 -1 4194304 273066 0 0 0 356623 58 0 0 20 0 1 0 71905506 1052004352 255076 18446744073709551615 4198400 15468185 140726451196800 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 39354368 140726451202454 140726451202564 140726451202564 140726451208166 0
/proc/80187/statm: 256837 255076 3168 2752 0 253490 0
Current children cumulated CPU time: 3566.81 s
Current children cumulated vsize: 1027348 KiB
Current children cumulated memory: 1020304 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3615.6 s]
/proc/loadavg: 4.13 4.17 4.17 5/250 80514
/proc/meminfo: memFree=127143844/131382120 swapFree=33010416/33010684
[pid=80187] ppid=80183 vsize=1027348 memory=1020304 CPUtime=3600.02 cores=4,6
/proc/80187/stat : 80187 (NuPBO-DeepOptS+) R 80183 80187 79782 0 -1 4194304 273066 0 0 0 359944 58 0 0 20 0 1 0 71905506 1052004352 255076 18446744073709551615 4198400 15468185 140726451196800 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 39354368 140726451202454 140726451202564 140726451202564 140726451208166 0
/proc/80187/statm: 256837 255076 3168 2752 0 253490 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1027348 KiB
Current children cumulated memory: 1020304 KiB

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

[startup+3615.61 s]
# the end of solver process 80187 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3599.45 s, system=0.592801 s

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

Child status: 10

Real time (s): 3615.61
CPU time (s): 3600.05
CPU user time (s): 3599.45
CPU system time (s): 0.592801
CPU usage (%): 99.5696
Max. virtual memory (cumulated for all children) (KiB): 1046832
Max. memory (cumulated for all children) (KiB): 1029976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.45
system time used= 0.592801
maximum resident set size= 1029976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273134
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= 39
involuntary context switches= 19418


# summary of solver processes directly reported to runsolver:
#   pid: 80187
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3599.45
#   total CPU system time (s): 0.592801

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6391 second user time and 35.5645 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2025-07-03 19:04:21
IDJOB=4519508
IDBENCH=177262
IDSOLVER=3343
FILE ID=nodeC006/4519508-1751562261
RUNJOBID= nodeC006-1751558651-79797
SLURM_JOB_ID= 9598753
Free space on /tmp= 432136 MiB

SOLVER NAME= NuPBO-DeepOptS+ 2025-06-02
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= ./NuPBO-DeepOptS+ -f BENCHNAME -t TIMEOUT -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519508-1751562261/watcher-4519508-1751562261 -o /tmp/evaluation-result-4519508-1751562261/solver-4519508-1751562261 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751558651-79797 --watchdog 3760  ./NuPBO-DeepOptS+ -f HOME/instance-4519508-1751562261.opb -t 3600 -s 1711251451

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

MD5SUM BENCH= 5816d4059f03195ecbecc759cd86d928
RANDOM SEED=1711251451

nodeC006 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	: 0xb00001f
cpu MHz		: 1197.644
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.724
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.171
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.141
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.043
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.927
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.151
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.146
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        128221632 kB
MemAvailable:   129865612 kB
Buffers:            2128 kB
Cached:          2409380 kB
SwapCached:           12 kB
Active:           543488 kB
Inactive:        1944408 kB
Active(anon):      83416 kB
Inactive(anon):    10996 kB
Active(file):     460072 kB
Inactive(file):  1933412 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             37044 kB
Writeback:             0 kB
AnonPages:         79508 kB
Mapped:           103964 kB
Shmem:             17948 kB
KReclaimable:     179860 kB
Slab:             266812 kB
SReclaimable:     179860 kB
SUnreclaim:        86952 kB
KernelStack:        3920 kB
PageTables:         3056 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     348504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149272 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 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:      191304 kB
DirectMap2M:    10196992 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 432068 MiB
End job on nodeC006 at 2025-07-03 20:04:37