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