Trace number 2695980

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
pb_cplex 2010-06-29OPT7677 26.299 25.4355

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib3/normalized-mps-v2-20-10-mitre.opb
MD5SUM2b9af9044591fd3eb9f5def12c800cff
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark7677
Best CPU time to get the best result obtained on this benchmark26.299
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 7680
Optimality of the best value was proved NO
Number of variables10724
Total number of constraints1662
Number of constraints which are clauses140
Number of constraints which are cardinality constraints (but not clauses)1139
Number of constraints which are nor clauses,nor cardinality constraints383
Minimum length of a constraint3
Maximum length of a constraint98
Number of terms in the objective function 9324
Biggest coefficient in the objective function 213
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 909647
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1069
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 909647
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.00	c pb_cplex 1.0 - 20100701
0.00/0.00	c Parsing opb file format. File HOME/instance-2695980-1278016653.opb.
0.00/0.00	c Instance file HOME/instance-2695980-1278016653.opb
0.00/0.00	c File size is 474515 bytes.
22.08/22.14	c Highest Coefficient sum: 48451
22.08/22.14	c  IBM ILOG License Manager: "IBM ILOG Optimization Suite for Academic Initiative" is accessing CPLEX 12 with option(s): "e m b q ".
22.08/22.16	c ============================[ Problem Statistics ]=============================
22.08/22.16	c |                                                                             |
22.08/22.16	c |  Parsing time:          22.15        s                                      |
22.08/22.16	c |  Number Variables:      10724                                               |
22.08/22.16	c |  Number Constraints:    1662                                                |
22.08/22.16	c ===============================================================================
26.06/25.25	c Remaining time 1777.85 sec.
26.06/25.25	s OPTIMUM FOUND
26.06/25.25	c Solution value = 7677.00
26.06/25.25	v -x3 -x7 -x11 -x15 x19 -x23 -x27 -x31 -x35 -x39 -x43 -x47 -x51 -x55 -x59 -x63 -x67 -x71 -x75 -x79 -x83 -x87 -x91 -x95 -x99 -x103 -x107 -x111 -x4 -x8 -x12 -x16 -x20 -x24 -x28 -x32 -x36 x40 -x44 -x48 -x52 -x56 -x60 -x64 -x68 -x72 -x76 -x80 -x84 -x88 -x92 -x96 -x100 -x104 -x108 -x112 -x1 -x5 -x9 -x13 -x17 -x21 -x25 -x29 -x33 -x37 -x41 x45 -x49 -x53 -x57 -x61 -x65 -x69 -x73 -x77 -x81 -x85 -x89 -x93 -x97 -x101 -x105 -x109 -x115 -x118 -x121 -x124 -x127 -x130 -x133 -x136 -x139 x142 -x145 -x148 -x151 -x154 -x157 -x160 -x163 -x166 -x169 -x172 -x175 -x178 -x181 -x184 -x187 -x190 -x193 -x196 -x114 -x117 -x120 -x123 -x126 -x129 -x132 -x135 -x138 -x141 -x144 -x147 x150 -x153 -x156 -x159 -x162 -x165 -x168 -x171 -x174 -x177 -x180 -x183 -x186 -x189 -x192 -x195 -x113 -x116 -x119 -x122 -x125 -x128 -x131 -x134 -x137 -x140 -x143 -x146 -x149 -x152 x155 -x158 -x161 -x164 -x167 -x170 -x173 -x176 -x179 -x182 -x185 -x188 -x191 -x194 -x198 -x201 -x204 -x207 -x210 -x213 -x216 -x219 -x222 x225 -x228 -x231 -x234 -x237 -x240 -x243 -x246 -x249 -x252 -x255 -x258 -x261 -x264 -x267 -x270 -x273 -x276 -x279 -x199 -x202 -x205 -x208 -x211 -x214 -x217 -x220 -x223 -x226 -x229 -x232 -x235 x238 -x241 -x244 -x247 -x250 -x253 -x256 -x259 -x262 -x265 -x268 -x271 -x274 -x277 -x280 -x197 -x200 -x203 -x206 -x209 -x212 -x215 -x218 -x221 -x224 -x227 -x230 -x233 -x236 -x239 -x242 x245 -x248 -x251 -x254 -x257 -x260 -x263 -x266 -x269 -x272 -x275 -x278 -x281 -x285 -x289 x293 -x297 -x301 -x305 -x309 -x313 -x317 -x321 -x325 -x329 -x333 -x337 -x341 -x345 -x349 -x353 -x357 -x361 -x365 -x369 -x373 -x377 -x381 -x385 -x389 -x283 -x287 -x291 -x295 -x299 -x303 -x307 x311 -x315 -x319 -x323 -x327 -x331 -x335 -x339 -x343 -x347 -x351 -x355 -x359 -x363 -x367 -x371 -x375 -x379 -x383 -x387 -x391 -x282 -x286 -x290 -x294 -x298 -x302 -x306 -x310 -x314 -x318 -x322 x326 -x330 -x334 -x338 -x342 -x346 -x350 -x354 -x358 -x362 -x366 -x370 -x374 -x378 -x382 -x386 -x390 -x394 -x397 -x400 -x403 x406 -x409 -x412 -x415 -x418 -x421 -x424 -x427 -x430 -x433 -x436 -x439 -x442 -x445 -x448 -x451 -x454 -x457 -x460 -x463 -x466 -x469 -x472 -x475 -x395 -x398 -x401 -x404 -x407 -x410 -x413 -x416 x419 -x422 -x425 -x428 -x431 -x434 -x437 -x440 -x443 -x446 -x449 -x452 -x455 -x458 -x461 -x464 -x467 -x470 -x473 -x476 -x393 -x396 -x399 -x402 -x405 -x408 -x411 -x414 -x417 -x420 -x423 x426 -x429 -x432 -x435 -x438 -x441 -x444 -x447 -x450 -x453 -x456 -x459 -x462 -x465 -x468 -x471 -x474 -x477 -x480 -x483 -x486 -x489 x492 -x495 -x498 -x501 -x504 -x507 -x510 -x513 -x516 -x519 -x522 -x525 -x528 -x531 -x534 -x537 -x540 -x543 -x546 -x549 -x552 -x555 -x558 -x478 -x481 -x484 -x487 -x490 -x493 -x496 x499 -x502 -x505 -x508 -x511 -x514 -x517 -x520 -x523 -x526 -x529 -x532 -x535 -x538 -x541 -x544 -x547 -x550 -x553 -x556 -x559 -x479 -x482 -x485 -x488 -x491 -x494 -x497 -x500 -x503 -x506 x509 -x512 -x515 -x518 -x521 -x524 -x527 -x530 -x533 -x536 -x539 -x542 -x545 -x548 -x551 -x554 -x557 -x560 -x561 -x564 -x567 -x570 -x573 -x576 -x579 -x582 -x585 -x588 -x591 -x594 x597 -x600 -x603 -x606 -x609 -x612 -x615 -x618 -x621 -x624 -x627 -x630 -x633 -x636 -x639 -x642 -x562 -x565 -x568 -x571 -x574 -x577 -x580 -x583 -x586 -x589 -x592 -x595 -x598 -x601 -x604 x607 -x610 -x613 -x616 -x619 -x622 -x625 -x628 -x631 -x634 -x637 -x640 -x643 -x563 -x566 -x569 -x572 -x575 -x578 -x581 -x584 -x587 -x590 -x593 -x596 -x599 -x602 -x605 -x608 -x611 -x614 -x617 x620 -x623 -x626 -x629 -x632 -x635 -x638 -x641 -x644 -x645 -x649 -x653 -x657 -x661 -x665 -x669 -x673 x677 -x681 -x685 -x689 -x693 -x697 -x701 -x705 -x709 -x713 -x717 -x721 -x725 -x729 -x733 -x737 -x741 -x745 -x749 -x753 -x647 -x651 -x655 -x659 -x663 -x667 -x671 -x675 -x679 -x683 -x687 -x691 x695 -x699 -x703 -x707 -x711 -x715 -x719 -x723 -x727 -x731 -x735 -x739 -x743 -x747 -x751 -x755 -x646 -x650 -x654 -x658 -x662 -x666 -x670 -x674 -x678 -x682 -x686 -x690 -x694 -x698 -x702 -x706 -x710 x714 -x718 -x722 -x726 -x730 -x734 -x738 -x742 -x746 -x750 -x754 -x759 -x764 -x769 -x774 x779 -x784 -x789 -x794 -x799 -x804 -x809 -x814 -x819 -x824 -x829 -x834 -x839 -x844 -x849 -x854 -x859 -x864 -x869 -x874 -x879 -x884 -x889 -x894 -x758 -x763 -x768 -x773 -x778 -x783 -x788 -x793 -x798 -x803 -x808 -x813 -x818 x823 -x828 -x833 -x838 -x843 -x848 -x853 -x858 -x863 -x868 -x873 -x878 -x883 -x888 -x893 -x760 -x765 -x770 -x775 -x780 -x785 -x790 -x795 -x800 -x805 -x810 -x815 -x820 -x825 -x830 -x835 x840 -x845 -x850 -x855 -x860 -x865 -x870 -x875 -x880 -x885 -x890 -x895 -x899 -x904 x909 -x914 -x919 -x924 -x929 -x934 -x939 -x944 -x949 -x954 -x959 -x964 -x969 -x974 -x979 -x984 -x989 -x994 -x999 -x1004 -x1009 -x1014 -x1019 -x1024 -x1029 -x1034 -x900 -x905 -x910 -x915 -x920 -x925 -x930 -x935 -x940 -x945 -x950 x955 -x960 -x965 -x970 -x975 -x980 -x985 -x990 -x995 -x1000 -x1005 -x1010 -x1015 -x1020 -x1025 -x1030 -x1035 -x898 -x903 -x908 -x913 -x918 -x923 -x928 -x933 -x938 -x943 -x948 -x953 -x958 x963 -x968 -x973 -x978 -x983 -x988 -x993 -x998 -x1003 -x1008 -x1013 -x1018 -x1023 -x1028 -x1033 -x1038 -x1041 -x1044 -x1047 -x1050 -x1053 -x1056 -x1059 -x1062 -x1065 -x1068 x1071 -x1074 -x1077 -x1080 -x1083 -x1086 -x1089 -x1092 -x1095 -x1098 -x1101 -x1104 -x1107 -x1110 -x1113 -x1116 -x1119 -x1039 -x1042 -x1045 -x1048 -x1051 -x1054 -x1057 -x1060 -x1063 -x1066 -x1069 -x1072 -x1075 x1078 -x1081 -x1084 -x1087 -x1090 -x1093 -x1096 -x1099 -x1102 -x1105 -x1108 -x1111 -x1114 -x1117 -x1120 -x1037 -x1040 -x1043 -x1046 -x1049 -x1052 -x1055 -x1058 -x1061 -x1064 -x1067 -x1070 -x1073 -x1076 x1079 -x1082 -x1085 -x1088 -x1091 -x1094 -x1097 -x1100 -x1103 -x1106 -x1109 -x1112 -x1115 -x1118 -x1121 -x1124 -x1127 -x1130 -x1133 -x1136 -x1139 -x1142 -x1145 x1148 -x1151 -x1154 -x1157 -x1160 -x1163 -x1166 -x1169 -x1172 -x1175 -x1178 -x1181 -x1184 -x1187 -x1190 -x1193 -x1196 -x1199 -x1202 -x1123 -x1126 -x1129 -x1132 -x1135 -x1138 -x1141 -x1144 -x1147 -x1150 -x1153 x1156 -x1159 -x1162 -x1165 -x1168 -x1171 -x1174 -x1177 -x1180 -x1183 -x1186 -x1189 -x1192 -x1195 -x1198 -x1201 -x1204 -x1122 -x1125 -x1128 -x1131 -x1134 -x1137 -x1140 -x1143 -x1146 -x1149 -x1152 -x1155 -x1158 x1161 -x1164 -x1167 -x1170 -x1173 -x1176 -x1179 -x1182 -x1185 -x1188 -x1191 -x1194 -x1197 -x1200 -x1203 -x1205 -x1208 -x1211 -x1214 -x1217 -x1220 -x1223 -x1226 -x1229 -x1232 -x1235 -x1238 -x1241 x1244 -x1247 -x1250 -x1253 -x1256 -x1259 -x1262 -x1265 -x1268 -x1271 -x1274 -x1277 -x1280 -x1283 -x1286 -x1207 -x1210 -x1213 -x1216 -x1219 -x1222 -x1225 -x1228 -x1231 -x1234 -x1237 -x1240 -x1243 -x1246 -x1249 -x1252 x1255 -x1258 -x1261 -x1264 -x1267 -x1270 -x1273 -x1276 -x1279 -x1282 -x1285 -x1288 -x1206 -x1209 -x1212 -x1215 -x1218 -x1221 -x1224 -x1227 -x1230 -x1233 -x1236 -x1239 -x1242 -x1245 -x1248 -x1251 -x1254 -x1257 x1260 -x1263 -x1266 -x1269 -x1272 -x1275 -x1278 -x1281 -x1284 -x1287 -x1290 -x1293 -x1296 -x1299 -x1302 -x1305 -x1308 -x1311 -x1314 -x1317 -x1320 -x1323 -x1326 -x1329 -x1332 -x1335 -x1338 -x1341 -x1344 x1347 -x1350 -x1353 -x1356 -x1359 -x1362 -x1365 -x1368 -x1371 -x1291 -x1294 -x1297 -x1300 -x1303 -x1306 -x1309 -x1312 -x1315 -x1318 -x1321 -x1324 -x1327 -x1330 -x1333 -x1336 -x1339 -x1342 -x1345 -x1348 -x1351 x1354 -x1357 -x1360 -x1363 -x1366 -x1369 -x1372 -x1289 -x1292 -x1295 -x1298 -x1301 -x1304 -x1307 -x1310 -x1313 -x1316 -x1319 -x1322 -x1325 -x1328 -x1331 -x1334 -x1337 -x1340 -x1343 -x1346 -x1349 -x1352 -x1355 -x1358 x1361 -x1364 -x1367 -x1370 -x1373 -x1376 -x1379 -x1382 -x1385 -x1388 x1391 -x1394 -x1397 -x1400 -x1403 -x1406 -x1409 -x1412 -x1415 -x1418 -x1421 -x1424 -x1427 -x1430 -x1433 -x1436 -x1439 -x1442 -x1445 -x1448 -x1451 -x1454 -x1375 -x1378 -x1381 -x1384 -x1387 -x1390 -x1393 -x1396 x1399 -x1402 -x1405 -x1408 -x1411 -x1414 -x1417 -x1420 -x1423 -x1426 -x1429 -x1432 -x1435 -x1438 -x1441 -x1444 -x1447 -x1450 -x1453 -x1456 -x1374 -x1377 -x1380 -x1383 -x1386 -x1389 -x1392 -x1395 -x1398 -x1401 x1404 -x1407 -x1410 -x1413 -x1416 -x1419 -x1422 -x1425 -x1428 -x1431 -x1434 -x1437 -x1440 -x1443 -x1446 -x1449 -x1452 -x1455 -x1458 -x1461 -x1464 -x1467 -x1470 -x1473 -x1476 -x1479 -x1482 -x1485 -x1488 -x1491 x1494 -x1497 -x1500 -x1503 -x1506 -x1509 -x1512 -x1515 -x1518 -x1521 -x1524 -x1527 -x1530 -x1533 -x1536 -x1539 -x1459 -x1462 -x1465 -x1468 -x1471 -x1474 -x1477 -x1480 -x1483 -x1486 -x1489 -x1492 -x1495 -x1498 -x1501 x1504 -x1507 -x1510 -x1513 -x1516 -x1519 -x1522 -x1525 -x1528 -x1531 -x1534 -x1537 -x1540 -x1457 -x1460 -x1463 -x1466 -x1469 -x1472 -x1475 -x1478 -x1481 -x1484 -x1487 -x1490 -x1493 -x1496 -x1499 -x1502 x1505 -x1508 -x1511 -x1514 -x1517 -x1520 -x1523 -x1526 -x1529 -x1532 -x1535 -x1538 -x1541 -x1544 -x1547 -x1550 -x1553 -x1556 -x1559 x1562 -x1565 -x1568 -x1571 -x1574 -x1577 -x1580 -x1583 -x1586 -x1589 -x1592 -x1595 -x1598 -x1601 -x1604 -x1607 -x1610 -x1613 -x1616 -x1619 -x1622 -x1542 -x1545 -x1548 -x1551 -x1554 -x1557 -x1560 -x1563 -x1566 -x1569 x1572 -x1575 -x1578 -x1581 -x1584 -x1587 -x1590 -x1593 -x1596 -x1599 -x1602 -x1605 -x1608 -x1611 -x1614 -x1617 -x1620 -x1623 -x1543 -x1546 -x1549 -x1552 -x1555 -x1558 -x1561 -x1564 -x1567 -x1570 -x1573 -x1576 -x1579 -x1582 x1585 -x1588 -x1591 -x1594 -x1597 -x1600 -x1603 -x1606 -x1609 -x1612 -x1615 -x1618 -x1621 -x1624 -x1627 -x1630 -x1633 -x1636 -x1639 -x1642 -x1645 -x1648 -x1651 -x1654 -x1657 -x1660 -x1663 -x1666 -x1669 -x1672 -x1675 x1678 -x1681 -x1684 -x1687 -x1690 -x1693 -x1696 -x1699 -x1702 -x1705 -x1708 -x1626 -x1629 -x1632 -x1635 -x1638 -x1641 -x1644 -x1647 -x1650 -x1653 -x1656 -x1659 -x1662 -x1665 -x1668 -x1671 -x1674 -x1677 -x1680 -x1683 -x1686 -x1689 x1692 -x1695 -x1698 -x1701 -x1704 -x1707 -x1625 -x1628 -x1631 -x1634 -x1637 -x1640 -x1643 -x1646 -x1649 -x1652 -x1655 -x1658 -x1661 -x1664 -x1667 -x1670 -x1673 -x1676 -x1679 -x1682 -x1685 -x1688 -x1691 -x1694 x1697 -x1700 -x1703 -x1706 -x1709 -x1712 -x1715 -x1718 x1721 -x1724 -x1727 -x1730 -x1733 -x1736 -x1739 -x1742 -x1745 -x1748 -x1751 -x1754 -x1757 -x1760 -x1763 -x1766 -x1769 -x1772 -x1775 -x1778 -x1781 -x1784 -x1787 -x1790 -x1710 -x1713 -x1716 -x1719 -x1722 -x1725 x1728 -x1731 -x1734 -x1737 -x1740 -x1743 -x1746 -x1749 -x1752 -x1755 -x1758 -x1761 -x1764 -x1767 -x1770 -x1773 -x1776 -x1779 -x1782 -x1785 -x1788 -x1791 -x1711 -x1714 -x1717 -x1720 -x1723 -x1726 -x1729 -x1732 x1735 -x1738 -x1741 -x1744 -x1747 -x1750 -x1753 -x1756 -x1759 -x1762 -x1765 -x1768 -x1771 -x1774 -x1777 -x1780 -x1783 -x1786 -x1789 -x1792 -x1794 -x1796 -x1798 -x1800 -x1802 x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1864 -x1866 -x1868 x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 -x1849 -x1851 -x1853 -x1855 -x1857 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 x1875 -x1877 -x1879 -x1881 -x1883 -x1885 -x1887 -x1889 -x1891 -x1893 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 -x1909 -x1913 -x1917 -x1921 -x1925 -x1929 -x1933 x1937 -x1941 -x1945 -x1949 -x1953 -x1957 -x1961 -x1965 -x1969 -x1973 -x1977 -x1981 -x1985 -x1989 -x1993 -x1997 -x2001 -x2005 -x2009 -x2013 -x1907 -x1911 -x1915 -x1919 -x1923 -x1927 -x1931 -x1935 -x1939 -x1943 -x1947 -x1951 -x1955 x1959 -x1963 -x1967 -x1971 -x1975 -x1979 -x1983 -x1987 -x1991 -x1995 -x1999 -x2003 -x2007 -x2011 -x2015 -x1906 -x1910 -x1914 -x1918 -x1922 -x1926 -x1930 -x1934 -x1938 -x1942 -x1946 -x1950 -x1954 -x1958 -x1962 -x1966 -x1970 x1974 -x1978 -x1982 -x1986 -x1990 -x1994 -x1998 -x2002 -x2006 -x2010 -x2014 -x2017 -x2021 -x2025 x2029 -x2033 -x2037 -x2041 -x2045 -x2049 -x2053 -x2057 -x2061 -x2065 -x2069 -x2073 -x2077 -x2081 -x2085 -x2089 -x2093 -x2097 -x2101 -x2105 -x2109 -x2113 -x2117 -x2121 -x2125 -x2019 -x2023 -x2027 -x2031 -x2035 -x2039 -x2043 -x2047 x2051 -x2055 -x2059 -x2063 -x2067 -x2071 -x2075 -x2079 -x2083 -x2087 -x2091 -x2095 -x2099 -x2103 -x2107 -x2111 -x2115 -x2119 -x2123 -x2127 -x2018 -x2022 -x2026 -x2030 -x2034 -x2038 -x2042 -x2046 -x2050 -x2054 -x2058 -x2062 x2066 -x2070 -x2074 -x2078 -x2082 -x2086 -x2090 -x2094 -x2098 -x2102 -x2106 -x2110 -x2114 -x2118 -x2122 -x2126 x2129 -x2132 -x2135 -x2138 -x2141 -x2144 -x2147 -x2150 -x2153 -x2156 -x2159 -x2162 -x2165 -x2168 -x2171 -x2174 -x2177 -x2180 -x2183 -x2186 -x2189 -x2192 -x2195 -x2198 -x2201 -x2204 -x2207 -x2210 -x2131 -x2134 -x2137 -x2140 -x2143 x2146 -x2149 -x2152 -x2155 -x2158 -x2161 -x2164 -x2167 -x2170 -x2173 -x2176 -x2179 -x2182 -x2185 -x2188 -x2191 -x2194 -x2197 -x2200 -x2203 -x2206 -x2209 -x2212 -x2130 -x2133 -x2136 -x2139 -x2142 -x2145 -x2148 -x2151 x2154 -x2157 -x2160 -x2163 -x2166 -x2169 -x2172 -x2175 -x2178 -x2181 -x2184 -x2187 -x2190 -x2193 -x2196 -x2199 -x2202 -x2205 -x2208 -x2211 -x2214 -x2217 x2220 -x2223 -x2226 -x2229 -x2232 -x2235 -x2238 -x2241 -x2244 -x2247 -x2250 -x2253 -x2256 -x2259 -x2262 -x2265 -x2268 -x2271 -x2274 -x2277 -x2280 -x2283 -x2286 -x2289 -x2292 -x2295 -x2215 -x2218 -x2221 -x2224 -x2227 -x2230 x2233 -x2236 -x2239 -x2242 -x2245 -x2248 -x2251 -x2254 -x2257 -x2260 -x2263 -x2266 -x2269 -x2272 -x2275 -x2278 -x2281 -x2284 -x2287 -x2290 -x2293 -x2296 -x2213 -x2216 -x2219 -x2222 -x2225 -x2228 -x2231 -x2234 -x2237 -x2240 -x2243 x2246 -x2249 -x2252 -x2255 -x2258 -x2261 -x2264 -x2267 -x2270 -x2273 -x2276 -x2279 -x2282 -x2285 -x2288 -x2291 -x2294 -x2297 -x2301 -x2305 -x2309 -x2313 -x2317 -x2321 -x2325 -x2329 -x2333 -x2337 -x2341 -x2345 -x2349 x2353 -x2357 -x2361 -x2365 -x2369 -x2373 -x2377 -x2381 -x2385 -x2389 -x2393 -x2397 -x2401 -x2405 -x2298 -x2302 -x2306 -x2310 -x2314 -x2318 -x2322 -x2326 -x2330 -x2334 -x2338 -x2342 -x2346 -x2350 -x2354 -x2358 -x2362 -x2366 -x2370 x2374 -x2378 -x2382 -x2386 -x2390 -x2394 -x2398 -x2402 -x2406 -x2299 -x2303 -x2307 -x2311 -x2315 -x2319 -x2323 -x2327 -x2331 -x2335 -x2339 -x2343 -x2347 -x2351 -x2355 -x2359 -x2363 -x2367 -x2371 -x2375 -x2379 -x2383 x2387 -x2391 -x2395 -x2399 -x2403 -x2407 x2409 -x2413 -x2417 -x2421 -x2425 -x2429 -x2433 -x2437 -x2441 -x2445 -x2449 -x2453 -x2457 -x2461 -x2465 -x2469 -x2473 -x2477 -x2481 -x2485 -x2489 -x2493 -x2497 -x2501 -x2505 -x2509 -x2513 -x2517 -x2410 -x2414 -x2418 -x2422 -x2426 x2430 -x2434 -x2438 -x2442 -x2446 -x2450 -x2454 -x2458 -x2462 -x2466 -x2470 -x2474 -x2478 -x2482 -x2486 -x2490 -x2494 -x2498 -x2502 -x2506 -x2510 -x2514 -x2518 -x2411 -x2415 -x2419 -x2423 -x2427 -x2431 -x2435 -x2439 x2443 -x2447 -x2451 -x2455 -x2459 -x2463 -x2467 -x2471 -x2475 -x2479 -x2483 -x2487 -x2491 -x2495 -x2499 -x2503 -x2507 -x2511 -x2515 -x2519 -x2522 -x2525 -x2528 -x2531 -x2534 -x2537 -x2540 -x2543 -x2546 -x2549 -x2552 -x2555 -x2558 -x2561 x2564 -x2567 -x2570 -x2573 -x2576 -x2579 -x2582 -x2585 -x2588 -x2591 -x2594 -x2597 -x2600 -x2603 -x2523 -x2526 -x2529 -x2532 -x2535 -x2538 -x2541 -x2544 -x2547 -x2550 -x2553 -x2556 -x2559 -x2562 -x2565 -x2568 -x2571 -x2574 -x2577 -x2580 -x2583 x2586 -x2589 -x2592 -x2595 -x2598 -x2601 -x2604 -x2521 -x2524 -x2527 -x2530 -x2533 -x2536 -x2539 -x2542 -x2545 -x2548 -x2551 -x2554 -x2557 -x2560 -x2563 -x2566 -x2569 -x2572 -x2575 -x2578 -x2581 -x2584 x2587 -x2590 -x2593 -x2596 -x2599 -x2602 -x2606 -x2611 -x2616 -x2621 -x2626 -x2631 -x2636 -x2641 x2646 -x2651 -x2656 -x2661 -x2666 -x2671 -x2676 -x2681 -x2686 -x2691 -x2696 -x2701 -x2706 -x2711 -x2716 -x2721 -x2726 -x2731 -x2736 -x2741 -x2608 -x2613 -x2618 -x2623 -x2628 -x2633 -x2638 -x2643 -x2648 -x2653 -x2658 -x2663 -x2668 -x2673 -x2678 x2683 -x2688 -x2693 -x2698 -x2703 -x2708 -x2713 -x2718 -x2723 -x2728 -x2733 -x2738 -x2743 -x2605 -x2610 -x2615 -x2620 -x2625 -x2630 -x2635 -x2640 -x2645 -x2650 -x2655 -x2660 -x2665 -x2670 -x2675 -x2680 -x2685 x2690 -x2695 -x2700 -x2705 -x2710 -x2715 -x2720 -x2725 -x2730 -x2735 -x2740 -x2745 -x2748 -x2751 -x2754 -x2757 -x2760 -x2763 -x2766 -x2769 -x2772 -x2775 -x2778 -x2781 x2784 -x2787 -x2790 -x2793 -x2796 -x2799 -x2802 -x2805 -x2808 -x2811 -x2814 -x2817 -x2820 -x2823 -x2826 -x2747 -x2750 -x2753 -x2756 -x2759 -x2762 -x2765 -x2768 -x2771 -x2774 -x2777 -x2780 -x2783 -x2786 -x2789 -x2792 -x2795 -x2798 x2801 -x2804 -x2807 -x2810 -x2813 -x2816 -x2819 -x2822 -x2825 -x2828 -x2746 -x2749 -x2752 -x2755 -x2758 -x2761 -x2764 -x2767 -x2770 -x2773 -x2776 -x2779 -x2782 -x2785 -x2788 -x2791 -x2794 -x2797 -x2800 -x2803 -x2806 x2809 -x2812 -x2815 -x2818 -x2821 -x2824 -x2827 -x2830 x2833 -x2836 -x2839 -x2842 -x2845 -x2848 -x2851 -x2854 -x2857 -x2860 -x2863 -x2866 -x2869 -x2872 -x2875 -x2878 -x2881 -x2884 -x2887 -x2890 -x2893 -x2896 -x2899 -x2902 -x2905 -x2908 -x2911 -x2831 -x2834 -x2837 -x2840 -x2843 -x2846 -x2849 -x2852 x2855 -x2858 -x2861 -x2864 -x2867 -x2870 -x2873 -x2876 -x2879 -x2882 -x2885 -x2888 -x2891 -x2894 -x2897 -x2900 -x2903 -x2906 -x2909 -x2912 -x2829 -x2832 -x2835 -x2838 -x2841 -x2844 -x2847 -x2850 -x2853 x2856 -x2859 -x2862 -x2865 -x2868 -x2871 -x2874 -x2877 -x2880 -x2883 -x2886 -x2889 -x2892 -x2895 -x2898 -x2901 -x2904 -x2907 -x2910 -x2914 -x2917 -x2920 -x2923 -x2926 -x2929 -x2932 x2935 -x2938 -x2941 -x2944 -x2947 -x2950 -x2953 -x2956 -x2959 -x2962 -x2965 -x2968 -x2971 -x2974 -x2977 -x2980 -x2983 -x2986 -x2989 -x2992 -x2995 -x2915 -x2918 -x2921 -x2924 -x2927 -x2930 -x2933 -x2936 -x2939 -x2942 -x2945 -x2948 -x2951 -x2954 x2957 -x2960 -x2963 -x2966 -x2969 -x2972 -x2975 -x2978 -x2981 -x2984 -x2987 -x2990 -x2993 -x2996 -x2913 -x2916 -x2919 -x2922 -x2925 -x2928 -x2931 -x2934 -x2937 -x2940 -x2943 -x2946 -x2949 -x2952 -x2955 x2958 -x2961 -x2964 -x2967 -x2970 -x2973 -x2976 -x2979 -x2982 -x2985 -x2988 -x2991 -x2994 -x2998 x3001 -x3004 -x3007 -x3010 -x3013 -x3016 -x3019 -x3022 -x3025 -x3028 -x3031 -x3034 -x3037 -x3040 -x3043 -x3046 -x3049 -x3052 -x3055 -x3058 -x3061 -x3064 -x3067 -x3070 -x3073 -x3076 -x3079 -x2999 -x3002 -x3005 -x3008 -x3011 x3014 -x3017 -x3020 -x3023 -x3026 -x3029 -x3032 -x3035 -x3038 -x3041 -x3044 -x3047 -x3050 -x3053 -x3056 -x3059 -x3062 -x3065 -x3068 -x3071 -x3074 -x3077 -x3080 -x2997 -x3000 -x3003 -x3006 -x3009 -x3012 -x3015 -x3018 x3021 -x3024 -x3027 -x3030 -x3033 -x3036 -x3039 -x3042 -x3045 -x3048 -x3051 -x3054 -x3057 -x3060 -x3063 -x3066 -x3069 -x3072 -x3075 -x3078 -x3081 -x3085 -x3089 -x3093 -x3097 -x3101 -x3105 -x3109 -x3113 -x3117 -x3121 -x3125 x3129 -x3133 -x3137 -x3141 -x3145 -x3149 -x3153 -x3157 -x3161 -x3165 -x3169 -x3173 -x3177 -x3181 -x3185 -x3189 -x3083 -x3087 -x3091 -x3095 -x3099 -x3103 -x3107 -x3111 -x3115 -x3119 -x3123 -x3127 -x3131 -x3135 -x3139 -x3143 x3147 -x3151 -x3155 -x3159 -x3163 -x3167 -x3171 -x3175 -x3179 -x3183 -x3187 -x3191 -x3082 -x3086 -x3090 -x3094 -x3098 -x3102 -x3106 -x3110 -x3114 -x3118 -x3122 -x3126 -x3130 -x3134 -x3138 -x3142 -x3146 -x3150 -x3154 -x3158 x3162 -x3166 -x3170 -x3174 -x3178 -x3182 -x3186 -x3190 -x3194 -x3197 -x3200 -x3203 -x3206 -x3209 -x3212 -x3215 x3218 -x3221 -x3224 -x3227 -x3230 -x3233 -x3236 -x3239 -x3242 -x3245 -x3248 -x3251 -x3254 -x3257 -x3260 -x3263 -x3266 -x3269 -x3272 -x3275 -x3195 -x3198 -x3201 -x3204 -x3207 -x3210 -x3213 -x3216 -x3219 -x3222 x3225 -x3228 -x3231 -x3234 -x3237 -x3240 -x3243 -x3246 -x3249 -x3252 -x3255 -x3258 -x3261 -x3264 -x3267 -x3270 -x3273 -x3276 -x3193 -x3196 -x3199 -x3202 -x3205 -x3208 -x3211 -x3214 -x3217 -x3220 -x3223 -x3226 -x3229 -x3232 -x3235 x3238 -x3241 -x3244 -x3247 -x3250 -x3253 -x3256 -x3259 -x3262 -x3265 -x3268 -x3271 -x3274 -x3278 -x3281 -x3284 -x3287 -x3290 -x3293 -x3296 -x3299 -x3302 -x3305 -x3308 -x3311 x3314 -x3317 -x3320 -x3323 -x3326 -x3329 -x3332 -x3335 -x3338 -x3341 -x3344 -x3347 -x3350 -x3353 -x3356 -x3359 -x3279 -x3282 -x3285 -x3288 -x3291 -x3294 -x3297 -x3300 -x3303 -x3306 -x3309 -x3312 -x3315 -x3318 -x3321 -x3324 x3327 -x3330 -x3333 -x3336 -x3339 -x3342 -x3345 -x3348 -x3351 -x3354 -x3357 -x3360 -x3277 -x3280 -x3283 -x3286 -x3289 -x3292 -x3295 -x3298 -x3301 -x3304 -x3307 -x3310 -x3313 -x3316 -x3319 -x3322 -x3325 -x3328 -x3331 -x3334 x3337 -x3340 -x3343 -x3346 -x3349 -x3352 -x3355 -x3358 -x3361 -x3364 -x3367 -x3370 -x3373 -x3376 -x3379 -x3382 -x3385 -x3388 -x3391 -x3394 -x3397 x3400 -x3403 -x3406 -x3409 -x3412 -x3415 -x3418 -x3421 -x3424 -x3427 -x3430 -x3433 -x3436 -x3439 -x3442 -x3363 -x3366 -x3369 -x3372 -x3375 -x3378 -x3381 -x3384 -x3387 -x3390 -x3393 -x3396 -x3399 -x3402 -x3405 -x3408 -x3411 -x3414 x3417 -x3420 -x3423 -x3426 -x3429 -x3432 -x3435 -x3438 -x3441 -x3444 -x3362 -x3365 -x3368 -x3371 -x3374 -x3377 -x3380 -x3383 -x3386 -x3389 -x3392 -x3395 -x3398 -x3401 -x3404 -x3407 -x3410 -x3413 -x3416 -x3419 -x3422 x3425 -x3428 -x3431 -x3434 -x3437 -x3440 -x3443 -x3445 -x3449 -x3453 -x3457 -x3461 -x3465 -x3469 -x3473 -x3477 -x3481 -x3485 -x3489 -x3493 x3497 -x3501 -x3505 -x3509 -x3513 -x3517 -x3521 -x3525 -x3529 -x3533 -x3537 -x3541 -x3545 -x3549 -x3553 -x3447 -x3451 -x3455 -x3459 -x3463 -x3467 -x3471 -x3475 -x3479 -x3483 -x3487 -x3491 -x3495 -x3499 -x3503 -x3507 -x3511 -x3515 x3519 -x3523 -x3527 -x3531 -x3535 -x3539 -x3543 -x3547 -x3551 -x3555 -x3446 -x3450 -x3454 -x3458 -x3462 -x3466 -x3470 -x3474 -x3478 -x3482 -x3486 -x3490 -x3494 -x3498 -x3502 -x3506 -x3510 -x3514 -x3518 x3522 -x3526 -x3530 -x3534 -x3538 -x3542 -x3546 -x3550 -x3554 -x3559 -x3562 -x3565 x3568 -x3571 -x3574 -x3577 -x3580 -x3583 -x3586 -x3589 -x3592 -x3595 -x3598 -x3601 -x3604 -x3607 -x3610 -x3613 -x3616 -x3619 -x3622 -x3625 -x3628 -x3631 -x3634 -x3637 -x3640 -x3558 -x3561 -x3564 -x3567 -x3570 -x3573 x3576 -x3579 -x3582 -x3585 -x3588 -x3591 -x3594 -x3597 -x3600 -x3603 -x3606 -x3609 -x3612 -x3615 -x3618 -x3621 -x3624 -x3627 -x3630 -x3633 -x3636 -x3639 -x3557 -x3560 -x3563 -x3566 -x3569 -x3572 -x3575 -x3578 x3581 -x3584 -x3587 -x3590 -x3593 -x3596 -x3599 -x3602 -x3605 -x3608 -x3611 -x3614 -x3617 -x3620 -x3623 -x3626 -x3629 -x3632 -x3635 -x3638 -x3641 -x3645 -x3649 -x3653 -x3657 -x3661 -x3665 x3669 -x3673 -x3677 -x3681 -x3685 -x3689 -x3693 -x3697 -x3701 -x3705 -x3709 -x3713 -x3717 -x3721 -x3725 -x3729 -x3733 -x3737 -x3741 -x3745 -x3749 -x3643 -x3647 -x3651 -x3655 -x3659 -x3663 -x3667 -x3671 -x3675 -x3679 -x3683 -x3687 x3691 -x3695 -x3699 -x3703 -x3707 -x3711 -x3715 -x3719 -x3723 -x3727 -x3731 -x3735 -x3739 -x3743 -x3747 -x3751 -x3642 -x3646 -x3650 -x3654 -x3658 -x3662 -x3666 -x3670 -x3674 -x3678 -x3682 -x3686 -x3690 -x3694 -x3698 -x3702 x3706 -x3710 -x3714 -x3718 -x3722 -x3726 -x3730 -x3734 -x3738 -x3742 -x3746 -x3750 -x3754 -x3757 -x3760 -x3763 -x3766 -x3769 x3772 -x3775 -x3778 -x3781 -x3784 -x3787 -x3790 -x3793 -x3796 -x3799 -x3802 -x3805 -x3808 -x3811 -x3814 -x3817 -x3820 -x3823 -x3826 -x3829 -x3832 -x3835 -x3755 -x3758 -x3761 -x3764 -x3767 -x3770 -x3773 -x3776 -x3779 -x3782 -x3785 -x3788 -x3791 x3794 -x3797 -x3800 -x3803 -x3806 -x3809 -x3812 -x3815 -x3818 -x3821 -x3824 -x3827 -x3830 -x3833 -x3836 -x3753 -x3756 -x3759 -x3762 -x3765 -x3768 -x3771 -x3774 -x3777 -x3780 -x3783 -x3786 -x3789 -x3792 -x3795 x3798 -x3801 -x3804 -x3807 -x3810 -x3813 -x3816 -x3819 -x3822 -x3825 -x3828 -x3831 -x3834 -x3839 -x3843 -x3847 -x3851 -x3855 -x3859 -x3863 -x3867 -x3871 -x3875 -x3879 -x3883 -x3887 -x3891 -x3895 -x3899 x3903 -x3907 -x3911 -x3915 -x3919 -x3923 -x3927 -x3931 -x3935 -x3939 -x3943 -x3947 -x3840 -x3844 -x3848 -x3852 -x3856 -x3860 -x3864 -x3868 -x3872 -x3876 -x3880 -x3884 -x3888 -x3892 -x3896 -x3900 -x3904 -x3908 -x3912 -x3916 -x3920 x3924 -x3928 -x3932 -x3936 -x3940 -x3944 -x3948 -x3837 -x3841 -x3845 -x3849 -x3853 -x3857 -x3861 -x3865 -x3869 -x3873 -x3877 -x3881 -x3885 -x3889 -x3893 -x3897 -x3901 -x3905 -x3909 -x3913 -x3917 -x3921 -x3925 x3929 -x3933 -x3937 -x3941 -x3945 -x3951 -x3954 -x3957 -x3960 -x3963 -x3966 -x3969 -x3972 -x3975 -x3978 x3981 -x3984 -x3987 -x3990 -x3993 -x3996 -x3999 -x4002 -x4005 -x4008 -x4011 -x4014 -x4017 -x4020 -x4023 -x4026 -x4029 -x4032 -x3950 -x3953 -x3956 -x3959 -x3962 -x3965 -x3968 -x3971 -x3974 -x3977 -x3980 -x3983 -x3986 x3989 -x3992 -x3995 -x3998 -x4001 -x4004 -x4007 -x4010 -x4013 -x4016 -x4019 -x4022 -x4025 -x4028 -x4031 -x3949 -x3952 -x3955 -x3958 -x3961 -x3964 -x3967 -x3970 -x3973 -x3976 -x3979 -x3982 -x3985 -x3988 -x3991 x3994 -x3997 -x4000 -x4003 -x4006 -x4009 -x4012 -x4015 -x4018 -x4021 -x4024 -x4027 -x4030 -x4034 -x4039 x4044 -x4049 -x4054 -x4059 -x4064 -x4069 -x4074 -x4079 -x4084 -x4089 -x4094 -x4099 -x4104 -x4109 -x4114 -x4119 -x4124 -x4129 -x4134 -x4139 -x4144 -x4149 -x4154 -x4159 -x4164 -x4169 -x4036 -x4041 -x4046 -x4051 -x4056 -x4061 -x4066 -x4071 -x4076 x4081 -x4086 -x4091 -x4096 -x4101 -x4106 -x4111 -x4116 -x4121 -x4126 -x4131 -x4136 -x4141 -x4146 -x4151 -x4156 -x4161 -x4166 -x4171 -x4033 -x4038 -x4043 -x4048 -x4053 -x4058 -x4063 -x4068 -x4073 -x4078 -x4083 x4088 -x4093 -x4098 -x4103 -x4108 -x4113 -x4118 -x4123 -x4128 -x4133 -x4138 -x4143 -x4148 -x4153 -x4158 -x4163 -x4168 -x4173 -x4177 -x4181 -x4185 -x4189 -x4193 -x4197 -x4201 -x4205 -x4209 -x4213 -x4217 -x4221 x4225 -x4229 -x4233 -x4237 -x4241 -x4245 -x4249 -x4253 -x4257 -x4261 -x4265 -x4269 -x4273 -x4277 -x4281 -x4174 -x4178 -x4182 -x4186 -x4190 -x4194 -x4198 -x4202 -x4206 -x4210 -x4214 -x4218 -x4222 -x4226 -x4230 -x4234 -x4238 -x4242 x4246 -x4250 -x4254 -x4258 -x4262 -x4266 -x4270 -x4274 -x4278 -x4282 -x4175 -x4179 -x4183 -x4187 -x4191 -x4195 -x4199 -x4203 -x4207 -x4211 -x4215 -x4219 -x4223 -x4227 -x4231 -x4235 -x4239 -x4243 -x4247 -x4251 -x4255 x4259 -x4263 -x4267 -x4271 -x4275 -x4279 -x4283 -x4286 -x4289 -x4292 -x4295 -x4298 -x4301 x4304 -x4307 -x4310 -x4313 -x4316 -x4319 -x4322 -x4325 -x4328 -x4331 -x4334 -x4337 -x4340 -x4343 -x4346 -x4349 -x4352 -x4355 -x4358 -x4361 -x4364 -x4367 -x4287 -x4290 -x4293 -x4296 -x4299 -x4302 -x4305 -x4308 -x4311 -x4314 x4317 -x4320 -x4323 -x4326 -x4329 -x4332 -x4335 -x4338 -x4341 -x4344 -x4347 -x4350 -x4353 -x4356 -x4359 -x4362 -x4365 -x4368 -x4285 -x4288 -x4291 -x4294 -x4297 -x4300 -x4303 -x4306 -x4309 -x4312 -x4315 -x4318 -x4321 -x4324 x4327 -x4330 -x4333 -x4336 -x4339 -x4342 -x4345 -x4348 -x4351 -x4354 -x4357 -x4360 -x4363 -x4366 -x4369 -x4372 -x4375 -x4378 -x4381 -x4384 x4387 -x4390 -x4393 -x4396 -x4399 -x4402 -x4405 -x4408 -x4411 -x4414 -x4417 -x4420 -x4423 -x4426 -x4429 -x4432 -x4435 -x4438 -x4441 -x4444 -x4447 -x4450 -x4370 -x4373 -x4376 -x4379 -x4382 -x4385 -x4388 -x4391 -x4394 x4397 -x4400 -x4403 -x4406 -x4409 -x4412 -x4415 -x4418 -x4421 -x4424 -x4427 -x4430 -x4433 -x4436 -x4439 -x4442 -x4445 -x4448 -x4451 -x4371 -x4374 -x4377 -x4380 -x4383 -x4386 -x4389 -x4392 -x4395 -x4398 -x4401 -x4404 -x4407 x4410 -x4413 -x4416 -x4419 -x4422 -x4425 -x4428 -x4431 -x4434 -x4437 -x4440 -x4443 -x4446 -x4449 -x4452 -x4454 -x4459 -x4464 -x4469 -x4474 -x4479 -x4484 -x4489 -x4494 x4499 -x4504 -x4509 -x4514 -x4519 -x4524 -x4529 -x4534 -x4539 -x4544 -x4549 -x4554 -x4559 -x4564 -x4569 -x4574 -x4579 -x4584 -x4589 -x4456 -x4461 -x4466 -x4471 -x4476 -x4481 -x4486 -x4491 -x4496 -x4501 -x4506 -x4511 -x4516 -x4521 -x4526 -x4531 x4536 -x4541 -x4546 -x4551 -x4556 -x4561 -x4566 -x4571 -x4576 -x4581 -x4586 -x4591 -x4453 -x4458 -x4463 -x4468 -x4473 -x4478 -x4483 -x4488 -x4493 -x4498 -x4503 -x4508 -x4513 -x4518 -x4523 -x4528 -x4533 -x4538 x4543 -x4548 -x4553 -x4558 -x4563 -x4568 -x4573 -x4578 -x4583 -x4588 -x4595 -x4598 -x4601 -x4604 -x4607 -x4610 -x4613 -x4616 -x4619 -x4622 -x4625 -x4628 x4631 -x4634 -x4637 -x4640 -x4643 -x4646 -x4649 -x4652 -x4655 -x4658 -x4661 -x4664 -x4667 -x4670 -x4673 -x4676 -x4594 -x4597 -x4600 -x4603 -x4606 -x4609 -x4612 -x4615 -x4618 -x4621 -x4624 -x4627 -x4630 -x4633 -x4636 x4639 -x4642 -x4645 -x4648 -x4651 -x4654 -x4657 -x4660 -x4663 -x4666 -x4669 -x4672 -x4675 -x4593 -x4596 -x4599 -x4602 -x4605 -x4608 -x4611 -x4614 -x4617 -x4620 -x4623 -x4626 -x4629 -x4632 -x4635 -x4638 -x4641 x4644 -x4647 -x4650 -x4653 -x4656 -x4659 -x4662 -x4665 -x4668 -x4671 -x4674 -x4679 -x4683 -x4687 x4691 -x4695 -x4699 -x4703 -x4707 -x4711 -x4715 -x4719 -x4723 -x4727 -x4731 -x4735 -x4739 -x4743 -x4747 -x4751 -x4755 -x4759 -x4763 -x4767 -x4771 -x4775 -x4779 -x4783 -x4787 -x4680 -x4684 -x4688 -x4692 -x4696 -x4700 -x4704 -x4708 x4712 -x4716 -x4720 -x4724 -x4728 -x4732 -x4736 -x4740 -x4744 -x4748 -x4752 -x4756 -x4760 -x4764 -x4768 -x4772 -x4776 -x4780 -x4784 -x4788 -x4677 -x4681 -x4685 -x4689 -x4693 -x4697 -x4701 -x4705 -x4709 -x4713 x4717 -x4721 -x4725 -x4729 -x4733 -x4737 -x4741 -x4745 -x4749 -x4753 -x4757 -x4761 -x4765 -x4769 -x4773 -x4777 -x4781 -x4785 -x4791 -x4795 -x4799 -x4803 -x4807 -x4811 -x4815 -x4819 -x4823 x4827 -x4831 -x4835 -x4839 -x4843 -x4847 -x4851 -x4855 -x4859 -x4863 -x4867 -x4871 -x4875 -x4879 -x4883 -x4887 -x4891 -x4895 -x4899 -x4792 -x4796 -x4800 -x4804 -x4808 -x4812 -x4816 -x4820 -x4824 -x4828 -x4832 -x4836 -x4840 -x4844 x4848 -x4852 -x4856 -x4860 -x4864 -x4868 -x4872 -x4876 -x4880 -x4884 -x4888 -x4892 -x4896 -x4900 -x4789 -x4793 -x4797 -x4801 -x4805 -x4809 -x4813 -x4817 -x4821 -x4825 -x4829 -x4833 -x4837 -x4841 -x4845 -x4849 x4853 -x4857 -x4861 -x4865 -x4869 -x4873 -x4877 -x4881 -x4885 -x4889 -x4893 -x4897 -x4903 -x4906 -x4909 -x4912 -x4915 -x4918 -x4921 -x4924 -x4927 -x4930 -x4933 -x4936 -x4939 -x4942 -x4945 -x4948 -x4951 x4954 -x4957 -x4960 -x4963 -x4966 -x4969 -x4972 -x4975 -x4978 -x4981 -x4984 -x4902 -x4905 -x4908 -x4911 -x4914 -x4917 -x4920 -x4923 -x4926 -x4929 -x4932 -x4935 -x4938 -x4941 -x4944 -x4947 -x4950 -x4953 -x4956 -x4959 x4962 -x4965 -x4968 -x4971 -x4974 -x4977 -x4980 -x4983 -x4901 -x4904 -x4907 -x4910 -x4913 -x4916 -x4919 -x4922 -x4925 -x4928 -x4931 -x4934 -x4937 -x4940 -x4943 -x4946 -x4949 -x4952 -x4955 -x4958 -x4961 -x4964 x4967 -x4970 -x4973 -x4976 -x4979 -x4982 -x4985 -x4989 -x4993 -x4997 -x5001 -x5005 x5009 -x5013 -x5017 -x5021 -x5025 -x5029 -x5033 -x5037 -x5041 -x5045 -x5049 -x5053 -x5057 -x5061 -x5065 -x5069 -x5073 -x5077 -x5081 -x5085 -x5089 -x5093 -x4987 -x4991 -x4995 -x4999 -x5003 -x5007 -x5011 -x5015 -x5019 -x5023 x5027 -x5031 -x5035 -x5039 -x5043 -x5047 -x5051 -x5055 -x5059 -x5063 -x5067 -x5071 -x5075 -x5079 -x5083 -x5087 -x5091 -x5095 -x4986 -x4990 -x4994 -x4998 -x5002 -x5006 -x5010 -x5014 -x5018 -x5022 -x5026 -x5030 -x5034 -x5038 -x5042 x5046 -x5050 -x5054 -x5058 -x5062 -x5066 -x5070 -x5074 -x5078 -x5082 -x5086 -x5090 -x5094 -x5097 -x5101 -x5105 -x5109 -x5113 -x5117 x5121 -x5125 -x5129 -x5133 -x5137 -x5141 -x5145 -x5149 -x5153 -x5157 -x5161 -x5165 -x5169 -x5173 -x5177 -x5181 -x5185 -x5189 -x5193 -x5197 -x5201 -x5205 -x5099 -x5103 -x5107 -x5111 -x5115 -x5119 -x5123 -x5127 -x5131 -x5135 -x5139 x5143 -x5147 -x5151 -x5155 -x5159 -x5163 -x5167 -x5171 -x5175 -x5179 -x5183 -x5187 -x5191 -x5195 -x5199 -x5203 -x5207 -x5098 -x5102 -x5106 -x5110 -x5114 -x5118 -x5122 -x5126 -x5130 -x5134 -x5138 -x5142 x5146 -x5150 -x5154 -x5158 -x5162 -x5166 -x5170 -x5174 -x5178 -x5182 -x5186 -x5190 -x5194 -x5198 -x5202 -x5206 -x5209 -x5213 -x5217 -x5221 -x5225 -x5229 x5233 -x5237 -x5241 -x5245 -x5249 -x5253 -x5257 -x5261 -x5265 -x5269 -x5273 -x5277 -x5281 -x5285 -x5289 -x5293 -x5297 -x5301 -x5305 -x5309 -x5313 -x5317 -x5210 -x5214 -x5218 -x5222 -x5226 -x5230 -x5234 -x5238 -x5242 -x5246 -x5250 x5254 -x5258 -x5262 -x5266 -x5270 -x5274 -x5278 -x5282 -x5286 -x5290 -x5294 -x5298 -x5302 -x5306 -x5310 -x5314 -x5318 -x5211 -x5215 -x5219 -x5223 -x5227 -x5231 -x5235 -x5239 -x5243 -x5247 -x5251 -x5255 -x5259 -x5263 x5267 -x5271 -x5275 -x5279 -x5283 -x5287 -x5291 -x5295 -x5299 -x5303 -x5307 -x5311 -x5315 -x5319 -x5321 -x5325 -x5329 -x5333 -x5337 -x5341 -x5345 -x5349 -x5353 -x5357 -x5361 -x5365 -x5369 -x5373 x5377 -x5381 -x5385 -x5389 -x5393 -x5397 -x5401 -x5405 -x5409 -x5413 -x5417 -x5421 -x5425 -x5429 -x5322 -x5326 -x5330 -x5334 -x5338 -x5342 -x5346 -x5350 -x5354 -x5358 -x5362 -x5366 -x5370 -x5374 -x5378 -x5382 -x5386 -x5390 -x5394 x5398 -x5402 -x5406 -x5410 -x5414 -x5418 -x5422 -x5426 -x5430 -x5323 -x5327 -x5331 -x5335 -x5339 -x5343 -x5347 -x5351 -x5355 -x5359 -x5363 -x5367 -x5371 -x5375 -x5379 -x5383 -x5387 -x5391 -x5395 -x5399 -x5403 x5407 -x5411 -x5415 -x5419 -x5423 -x5427 -x5431 -x5434 -x5437 -x5440 -x5443 -x5446 -x5449 -x5452 -x5455 -x5458 -x5461 -x5464 -x5467 -x5470 -x5473 -x5476 x5479 -x5482 -x5485 -x5488 -x5491 -x5494 -x5497 -x5500 -x5503 -x5506 -x5509 -x5512 -x5515 -x5435 -x5438 -x5441 -x5444 -x5447 -x5450 -x5453 -x5456 -x5459 -x5462 -x5465 -x5468 -x5471 -x5474 -x5477 -x5480 -x5483 -x5486 -x5489 x5492 -x5495 -x5498 -x5501 -x5504 -x5507 -x5510 -x5513 -x5516 -x5433 -x5436 -x5439 -x5442 -x5445 -x5448 -x5451 -x5454 -x5457 -x5460 -x5463 -x5466 -x5469 -x5472 -x5475 -x5478 -x5481 -x5484 -x5487 -x5490 -x5493 -x5496 x5499 -x5502 -x5505 -x5508 -x5511 -x5514 -x5517 -x5520 -x5523 -x5526 -x5529 -x5532 x5535 -x5538 -x5541 -x5544 -x5547 -x5550 -x5553 -x5556 -x5559 -x5562 -x5565 -x5568 -x5571 -x5574 -x5577 -x5580 -x5583 -x5586 -x5589 -x5592 -x5595 -x5598 -x5518 -x5521 -x5524 -x5527 -x5530 -x5533 -x5536 -x5539 x5542 -x5545 -x5548 -x5551 -x5554 -x5557 -x5560 -x5563 -x5566 -x5569 -x5572 -x5575 -x5578 -x5581 -x5584 -x5587 -x5590 -x5593 -x5596 -x5599 -x5519 -x5522 -x5525 -x5528 -x5531 -x5534 -x5537 -x5540 -x5543 -x5546 -x5549 x5552 -x5555 -x5558 -x5561 -x5564 -x5567 -x5570 -x5573 -x5576 -x5579 -x5582 -x5585 -x5588 -x5591 -x5594 -x5597 -x5600 -x5601 -x5605 -x5609 -x5613 -x5617 -x5621 -x5625 -x5629 -x5633 -x5637 -x5641 -x5645 -x5649 x5653 -x5657 -x5661 -x5665 -x5669 -x5673 -x5677 -x5681 -x5685 -x5689 -x5693 -x5697 -x5701 -x5705 -x5709 -x5602 -x5606 -x5610 -x5614 -x5618 -x5622 -x5626 -x5630 -x5634 -x5638 -x5642 -x5646 -x5650 -x5654 -x5658 -x5662 -x5666 -x5670 x5674 -x5678 -x5682 -x5686 -x5690 -x5694 -x5698 -x5702 -x5706 -x5710 -x5603 -x5607 -x5611 -x5615 -x5619 -x5623 -x5627 -x5631 -x5635 -x5639 -x5643 -x5647 -x5651 -x5655 -x5659 -x5663 -x5667 -x5671 -x5675 x5679 -x5683 -x5687 -x5691 -x5695 -x5699 -x5703 -x5707 -x5711 -x5713 -x5716 -x5719 -x5722 -x5725 -x5728 -x5731 -x5734 -x5737 -x5740 -x5743 -x5746 -x5749 -x5752 -x5755 -x5758 -x5761 -x5764 -x5767 x5770 -x5773 -x5776 -x5779 -x5782 -x5785 -x5788 -x5791 -x5794 -x5714 -x5717 -x5720 -x5723 -x5726 -x5729 -x5732 -x5735 -x5738 -x5741 -x5744 -x5747 -x5750 -x5753 -x5756 -x5759 -x5762 -x5765 -x5768 -x5771 -x5774 -x5777 x5780 -x5783 -x5786 -x5789 -x5792 -x5795 -x5715 -x5718 -x5721 -x5724 -x5727 -x5730 -x5733 -x5736 -x5739 -x5742 -x5745 -x5748 -x5751 -x5754 -x5757 -x5760 -x5763 -x5766 -x5769 -x5772 -x5775 -x5778 -x5781 x5784 -x5787 -x5790 -x5793 -x5796 -x5798 -x5802 -x5806 -x5810 -x5814 -x5818 -x5822 x5826 -x5830 -x5834 -x5838 -x5842 -x5846 -x5850 -x5854 -x5858 -x5862 -x5866 -x5870 -x5874 -x5878 -x5882 -x5886 -x5890 -x5894 -x5898 -x5902 -x5906 -x5800 -x5804 -x5808 -x5812 -x5816 -x5820 -x5824 -x5828 -x5832 -x5836 -x5840 -x5844 x5848 -x5852 -x5856 -x5860 -x5864 -x5868 -x5872 -x5876 -x5880 -x5884 -x5888 -x5892 -x5896 -x5900 -x5904 -x5908 -x5797 -x5801 -x5805 -x5809 -x5813 -x5817 -x5821 -x5825 -x5829 -x5833 -x5837 -x5841 -x5845 -x5849 x5853 -x5857 -x5861 -x5865 -x5869 -x5873 -x5877 -x5881 -x5885 -x5889 -x5893 -x5897 -x5901 -x5905 -x5909 -x5913 -x5917 -x5921 -x5925 -x5929 x5933 -x5937 -x5941 -x5945 -x5949 -x5953 -x5957 -x5961 -x5965 -x5969 -x5973 -x5977 -x5981 -x5985 -x5989 -x5993 -x5997 -x6001 -x6005 -x6009 -x6013 -x6017 -x5910 -x5914 -x5918 -x5922 -x5926 -x5930 -x5934 -x5938 -x5942 -x5946 -x5950 x5954 -x5958 -x5962 -x5966 -x5970 -x5974 -x5978 -x5982 -x5986 -x5990 -x5994 -x5998 -x6002 -x6006 -x6010 -x6014 -x6018 -x5911 -x5915 -x5919 -x5923 -x5927 -x5931 -x5935 -x5939 -x5943 -x5947 -x5951 -x5955 -x5959 x5963 -x5967 -x5971 -x5975 -x5979 -x5983 -x5987 -x5991 -x5995 -x5999 -x6003 -x6007 -x6011 -x6015 -x6019 -x6021 -x6025 -x6029 -x6033 -x6037 -x6041 -x6045 -x6049 -x6053 -x6057 -x6061 -x6065 -x6069 x6073 -x6077 -x6081 -x6085 -x6089 -x6093 -x6097 -x6101 -x6105 -x6109 -x6113 -x6117 -x6121 -x6125 -x6129 -x6022 -x6026 -x6030 -x6034 -x6038 -x6042 -x6046 -x6050 -x6054 -x6058 -x6062 -x6066 -x6070 -x6074 -x6078 -x6082 -x6086 -x6090 x6094 -x6098 -x6102 -x6106 -x6110 -x6114 -x6118 -x6122 -x6126 -x6130 -x6023 -x6027 -x6031 -x6035 -x6039 -x6043 -x6047 -x6051 -x6055 -x6059 -x6063 -x6067 -x6071 -x6075 -x6079 -x6083 -x6087 -x6091 -x6095 -x6099 x6103 -x6107 -x6111 -x6115 -x6119 -x6123 -x6127 -x6131 -x6135 -x6138 -x6141 -x6144 -x6147 -x6150 -x6153 -x6156 x6159 -x6162 -x6165 -x6168 -x6171 -x6174 -x6177 -x6180 -x6183 -x6186 -x6189 -x6192 -x6195 -x6198 -x6201 -x6204 -x6207 -x6210 -x6213 -x6216 -x6134 -x6137 -x6140 -x6143 -x6146 -x6149 -x6152 -x6155 -x6158 -x6161 -x6164 x6167 -x6170 -x6173 -x6176 -x6179 -x6182 -x6185 -x6188 -x6191 -x6194 -x6197 -x6200 -x6203 -x6206 -x6209 -x6212 -x6215 -x6133 -x6136 -x6139 -x6142 -x6145 -x6148 -x6151 -x6154 -x6157 -x6160 -x6163 -x6166 -x6169 -x6172 -x6175 x6178 -x6181 -x6184 -x6187 -x6190 -x6193 -x6196 -x6199 -x6202 -x6205 -x6208 -x6211 -x6214 -x6218 -x6221 -x6224 -x6227 -x6230 x6233 -x6236 -x6239 -x6242 -x6245 -x6248 -x6251 -x6254 -x6257 -x6260 -x6263 -x6266 -x6269 -x6272 -x6275 -x6278 -x6281 -x6284 -x6287 -x6290 -x6293 -x6296 -x6299 -x6219 -x6222 -x6225 -x6228 -x6231 -x6234 -x6237 x6240 -x6243 -x6246 -x6249 -x6252 -x6255 -x6258 -x6261 -x6264 -x6267 -x6270 -x6273 -x6276 -x6279 -x6282 -x6285 -x6288 -x6291 -x6294 -x6297 -x6300 -x6217 -x6220 -x6223 -x6226 -x6229 -x6232 -x6235 -x6238 x6241 -x6244 -x6247 -x6250 -x6253 -x6256 -x6259 -x6262 -x6265 -x6268 -x6271 -x6274 -x6277 -x6280 -x6283 -x6286 -x6289 -x6292 -x6295 -x6298 -x6302 -x6305 x6308 -x6311 -x6314 -x6317 -x6320 -x6323 -x6326 -x6329 -x6332 -x6335 -x6338 -x6341 -x6344 -x6347 -x6350 -x6353 -x6356 -x6359 -x6362 -x6365 -x6368 -x6371 -x6374 -x6377 -x6380 -x6383 -x6303 -x6306 -x6309 -x6312 x6315 -x6318 -x6321 -x6324 -x6327 -x6330 -x6333 -x6336 -x6339 -x6342 -x6345 -x6348 -x6351 -x6354 -x6357 -x6360 -x6363 -x6366 -x6369 -x6372 -x6375 -x6378 -x6381 -x6384 -x6301 -x6304 -x6307 -x6310 -x6313 -x6316 -x6319 -x6322 -x6325 x6328 -x6331 -x6334 -x6337 -x6340 -x6343 -x6346 -x6349 -x6352 -x6355 -x6358 -x6361 -x6364 -x6367 -x6370 -x6373 -x6376 -x6379 -x6382 -x6385 -x6388 -x6391 -x6394 -x6397 -x6400 -x6403 -x6406 -x6409 -x6412 -x6415 -x6418 -x6421 -x6424 -x6427 -x6430 -x6433 -x6436 -x6439 -x6442 x6445 -x6448 -x6451 -x6454 -x6457 -x6460 -x6463 -x6466 -x6387 -x6390 -x6393 -x6396 -x6399 -x6402 -x6405 -x6408 -x6411 -x6414 -x6417 -x6420 -x6423 -x6426 -x6429 -x6432 -x6435 -x6438 -x6441 -x6444 -x6447 -x6450 x6453 -x6456 -x6459 -x6462 -x6465 -x6468 -x6386 -x6389 -x6392 -x6395 -x6398 -x6401 -x6404 -x6407 -x6410 -x6413 -x6416 -x6419 -x6422 -x6425 -x6428 -x6431 -x6434 -x6437 -x6440 -x6443 -x6446 -x6449 -x6452 -x6455 x6458 -x6461 -x6464 -x6467 -x6469 -x6472 -x6475 -x6478 -x6481 -x6484 -x6487 -x6490 -x6493 -x6496 -x6499 -x6502 -x6505 x6508 -x6511 -x6514 -x6517 -x6520 -x6523 -x6526 -x6529 -x6532 -x6535 -x6538 -x6541 -x6544 -x6547 -x6550 -x6470 -x6473 -x6476 -x6479 -x6482 -x6485 -x6488 -x6491 -x6494 -x6497 -x6500 -x6503 -x6506 -x6509 -x6512 x6515 -x6518 -x6521 -x6524 -x6527 -x6530 -x6533 -x6536 -x6539 -x6542 -x6545 -x6548 -x6551 -x6471 -x6474 -x6477 -x6480 -x6483 -x6486 -x6489 -x6492 -x6495 -x6498 -x6501 -x6504 -x6507 -x6510 -x6513 -x6516 -x6519 -x6522 x6525 -x6528 -x6531 -x6534 -x6537 -x6540 -x6543 -x6546 -x6549 -x6552 -x6554 -x6557 -x6560 -x6563 -x6566 -x6569 -x6572 -x6575 -x6578 -x6581 -x6584 -x6587 -x6590 -x6593 -x6596 -x6599 -x6602 -x6605 -x6608 x6611 -x6614 -x6617 -x6620 -x6623 -x6626 -x6629 -x6632 -x6635 -x6555 -x6558 -x6561 -x6564 -x6567 -x6570 -x6573 -x6576 -x6579 -x6582 -x6585 -x6588 -x6591 -x6594 -x6597 -x6600 -x6603 -x6606 -x6609 -x6612 -x6615 x6618 -x6621 -x6624 -x6627 -x6630 -x6633 -x6636 -x6553 -x6556 -x6559 -x6562 -x6565 -x6568 -x6571 -x6574 -x6577 -x6580 -x6583 -x6586 -x6589 -x6592 -x6595 -x6598 -x6601 -x6604 -x6607 -x6610 -x6613 -x6616 x6619 -x6622 -x6625 -x6628 -x6631 -x6634 -x6638 -x6641 -x6644 -x6647 -x6650 x6653 -x6656 -x6659 -x6662 -x6665 -x6668 -x6671 -x6674 -x6677 -x6680 -x6683 -x6686 -x6689 -x6692 -x6695 -x6698 -x6701 -x6704 -x6707 -x6710 -x6713 -x6716 -x6719 -x6639 -x6642 -x6645 -x6648 -x6651 -x6654 x6657 -x6660 -x6663 -x6666 -x6669 -x6672 -x6675 -x6678 -x6681 -x6684 -x6687 -x6690 -x6693 -x6696 -x6699 -x6702 -x6705 -x6708 -x6711 -x6714 -x6717 -x6720 -x6637 -x6640 -x6643 -x6646 -x6649 -x6652 -x6655 -x6658 x6661 -x6664 -x6667 -x6670 -x6673 -x6676 -x6679 -x6682 -x6685 -x6688 -x6691 -x6694 -x6697 -x6700 -x6703 -x6706 -x6709 -x6712 -x6715 -x6718 -x6722 -x6725 -x6728 -x6731 -x6734 -x6737 -x6740 -x6743 -x6746 -x6749 -x6752 -x6755 x6758 -x6761 -x6764 -x6767 -x6770 -x6773 -x6776 -x6779 -x6782 -x6785 -x6788 -x6791 -x6794 -x6797 -x6800 -x6803 -x6723 -x6726 -x6729 -x6732 -x6735 -x6738 -x6741 -x6744 -x6747 -x6750 -x6753 -x6756 -x6759 x6762 -x6765 -x6768 -x6771 -x6774 -x6777 -x6780 -x6783 -x6786 -x6789 -x6792 -x6795 -x6798 -x6801 -x6804 -x6721 -x6724 -x6727 -x6730 -x6733 -x6736 -x6739 -x6742 -x6745 -x6748 -x6751 -x6754 -x6757 -x6760 -x6763 x6766 -x6769 -x6772 -x6775 -x6778 -x6781 -x6784 -x6787 -x6790 -x6793 -x6796 -x6799 -x6802 -x6806 -x6809 -x6812 -x6815 -x6818 -x6821 -x6824 -x6827 -x6830 -x6833 -x6836 -x6839 -x6842 -x6845 -x6848 -x6851 x6854 -x6857 -x6860 -x6863 -x6866 -x6869 -x6872 -x6875 -x6878 -x6881 -x6884 -x6887 -x6807 -x6810 -x6813 -x6816 -x6819 -x6822 -x6825 -x6828 -x6831 -x6834 -x6837 -x6840 -x6843 -x6846 -x6849 -x6852 -x6855 -x6858 x6861 -x6864 -x6867 -x6870 -x6873 -x6876 -x6879 -x6882 -x6885 -x6888 -x6805 -x6808 -x6811 -x6814 -x6817 -x6820 -x6823 -x6826 -x6829 -x6832 -x6835 -x6838 -x6841 -x6844 -x6847 -x6850 -x6853 -x6856 -x6859 -x6862 -x6865 -x6868 -x6871 x6874 -x6877 -x6880 -x6883 -x6886 -x6890 -x6893 -x6896 -x6899 -x6902 -x6905 -x6908 -x6911 -x6914 x6917 -x6920 -x6923 -x6926 -x6929 -x6932 -x6935 -x6938 -x6941 -x6944 -x6947 -x6950 -x6953 -x6956 -x6959 -x6962 -x6965 -x6968 -x6971 -x6891 -x6894 -x6897 -x6900 -x6903 -x6906 -x6909 -x6912 -x6915 -x6918 -x6921 -x6924 -x6927 x6930 -x6933 -x6936 -x6939 -x6942 -x6945 -x6948 -x6951 -x6954 -x6957 -x6960 -x6963 -x6966 -x6969 -x6972 -x6889 -x6892 -x6895 -x6898 -x6901 -x6904 -x6907 -x6910 -x6913 -x6916 -x6919 -x6922 -x6925 -x6928 -x6931 -x6934 x6937 -x6940 -x6943 -x6946 -x6949 -x6952 -x6955 -x6958 -x6961 -x6964 -x6967 -x6970 -x6973 -x6976 -x6979 -x6982 -x6985 -x6988 -x6991 -x6994 -x6997 -x7000 -x7003 -x7006 -x7009 -x7012 -x7015 -x7018 -x7021 -x7024 -x7027 -x7030 x7033 -x7036 -x7039 -x7042 -x7045 -x7048 -x7051 -x7054 -x6975 -x6978 -x6981 -x6984 -x6987 -x6990 -x6993 -x6996 -x6999 -x7002 -x7005 -x7008 -x7011 -x7014 -x7017 -x7020 -x7023 -x7026 -x7029 -x7032 -x7035 -x7038 x7041 -x7044 -x7047 -x7050 -x7053 -x7056 -x6974 -x6977 -x6980 -x6983 -x6986 -x6989 -x6992 -x6995 -x6998 -x7001 -x7004 -x7007 -x7010 -x7013 -x7016 -x7019 -x7022 -x7025 -x7028 -x7031 -x7034 -x7037 -x7040 x7043 -x7046 -x7049 -x7052 -x7055 -x7057 -x7060 -x7063 -x7066 -x7069 -x7072 -x7075 -x7078 -x7081 -x7084 -x7087 -x7090 x7093 -x7096 -x7099 -x7102 -x7105 -x7108 -x7111 -x7114 -x7117 -x7120 -x7123 -x7126 -x7129 -x7132 -x7135 -x7138 -x7059 -x7062 -x7065 -x7068 -x7071 -x7074 -x7077 -x7080 -x7083 -x7086 -x7089 -x7092 -x7095 -x7098 x7101 -x7104 -x7107 -x7110 -x7113 -x7116 -x7119 -x7122 -x7125 -x7128 -x7131 -x7134 -x7137 -x7140 -x7058 -x7061 -x7064 -x7067 -x7070 -x7073 -x7076 -x7079 -x7082 -x7085 -x7088 -x7091 -x7094 -x7097 -x7100 -x7103 x7106 -x7109 -x7112 -x7115 -x7118 -x7121 -x7124 -x7127 -x7130 -x7133 -x7136 -x7139 -x7141 -x7144 -x7147 -x7150 -x7153 -x7156 x7159 -x7162 -x7165 -x7168 -x7171 -x7174 -x7177 -x7180 -x7183 -x7186 -x7189 -x7192 -x7195 -x7198 -x7201 -x7204 -x7207 -x7210 -x7213 -x7216 -x7219 -x7222 -x7143 -x7146 -x7149 -x7152 -x7155 -x7158 -x7161 -x7164 x7167 -x7170 -x7173 -x7176 -x7179 -x7182 -x7185 -x7188 -x7191 -x7194 -x7197 -x7200 -x7203 -x7206 -x7209 -x7212 -x7215 -x7218 -x7221 -x7224 -x7142 -x7145 -x7148 -x7151 -x7154 -x7157 -x7160 -x7163 -x7166 x7169 -x7172 -x7175 -x7178 -x7181 -x7184 -x7187 -x7190 -x7193 -x7196 -x7199 -x7202 -x7205 -x7208 -x7211 -x7214 -x7217 -x7220 -x7223 x7225 -x7228 -x7231 -x7234 -x7237 -x7240 -x7243 -x7246 -x7249 -x7252 -x7255 -x7258 -x7261 -x7264 -x7267 -x7270 -x7273 -x7276 -x7279 -x7282 -x7285 -x7288 -x7291 -x7294 -x7297 -x7300 -x7303 -x7306 -x7227 -x7230 -x7233 -x7236 -x7239 x7242 -x7245 -x7248 -x7251 -x7254 -x7257 -x7260 -x7263 -x7266 -x7269 -x7272 -x7275 -x7278 -x7281 -x7284 -x7287 -x7290 -x7293 -x7296 -x7299 -x7302 -x7305 -x7308 -x7226 -x7229 -x7232 -x7235 -x7238 -x7241 -x7244 -x7247 x7250 -x7253 -x7256 -x7259 -x7262 -x7265 -x7268 -x7271 -x7274 -x7277 -x7280 -x7283 -x7286 -x7289 -x7292 -x7295 -x7298 -x7301 -x7304 -x7307 -x7310 -x7313 -x7316 -x7319 -x7322 -x7325 -x7328 -x7331 x7334 -x7337 -x7340 -x7343 -x7346 -x7349 -x7352 -x7355 -x7358 -x7361 -x7364 -x7367 -x7370 -x7373 -x7376 -x7379 -x7382 -x7385 -x7388 -x7391 -x7311 -x7314 -x7317 -x7320 -x7323 -x7326 -x7329 -x7332 -x7335 -x7338 x7341 -x7344 -x7347 -x7350 -x7353 -x7356 -x7359 -x7362 -x7365 -x7368 -x7371 -x7374 -x7377 -x7380 -x7383 -x7386 -x7389 -x7392 -x7309 -x7312 -x7315 -x7318 -x7321 -x7324 -x7327 -x7330 -x7333 -x7336 -x7339 -x7342 -x7345 -x7348 x7351 -x7354 -x7357 -x7360 -x7363 -x7366 -x7369 -x7372 -x7375 -x7378 -x7381 -x7384 -x7387 -x7390 -x7395 -x7398 -x7401 -x7404 x7407 -x7410 -x7413 -x7416 -x7419 -x7422 -x7425 -x7428 -x7431 -x7434 -x7437 -x7440 -x7443 -x7446 -x7449 -x7452 -x7455 -x7458 -x7461 -x7464 -x7467 -x7470 -x7473 -x7476 -x7394 -x7397 -x7400 -x7403 -x7406 -x7409 -x7412 x7415 -x7418 -x7421 -x7424 -x7427 -x7430 -x7433 -x7436 -x7439 -x7442 -x7445 -x7448 -x7451 -x7454 -x7457 -x7460 -x7463 -x7466 -x7469 -x7472 -x7475 -x7393 -x7396 -x7399 -x7402 -x7405 -x7408 -x7411 -x7414 -x7417 x7420 -x7423 -x7426 -x7429 -x7432 -x7435 -x7438 -x7441 -x7444 -x7447 -x7450 -x7453 -x7456 -x7459 -x7462 -x7465 -x7468 -x7471 -x7474 -x7477 -x7479 -x7481 -x7483 -x7485 -x7487 -x7489 -x7491 -x7493 -x7495 -x7497 -x7499 -x7501 -x7503 -x7505 -x7507 -x7509 -x7511 x7513 -x7515 -x7517 -x7519 -x7521 -x7523 -x7525 -x7527 -x7529 -x7531 -x7478 -x7480 -x7482 -x7484 -x7486 -x7488 -x7490 -x7492 -x7494 -x7496 -x7498 -x7500 -x7502 -x7504 -x7506 -x7508 -x7510 -x7512 -x7514 -x7516 -x7518 x7520 -x7522 -x7524 -x7526 -x7528 -x7530 -x7532 -x7535 -x7538 -x7541 x7544 -x7547 -x7550 -x7553 -x7556 -x7559 -x7562 -x7565 -x7568 -x7571 -x7574 -x7577 -x7580 -x7583 -x7586 -x7589 -x7592 -x7595 -x7598 -x7601 -x7604 -x7607 -x7610 -x7613 -x7616 -x7534 -x7537 -x7540 -x7543 -x7546 x7549 -x7552 -x7555 -x7558 -x7561 -x7564 -x7567 -x7570 -x7573 -x7576 -x7579 -x7582 -x7585 -x7588 -x7591 -x7594 -x7597 -x7600 -x7603 -x7606 -x7609 -x7612 -x7615 -x7533 -x7536 -x7539 -x7542 -x7545 -x7548 -x7551 x7554 -x7557 -x7560 -x7563 -x7566 -x7569 -x7572 -x7575 -x7578 -x7581 -x7584 -x7587 -x7590 -x7593 -x7596 -x7599 -x7602 -x7605 -x7608 -x7611 -x7614 -x7617 -x7619 -x7621 -x7623 -x7625 -x7627 -x7629 -x7631 -x7633 -x7635 -x7637 x7639 -x7641 -x7643 -x7645 -x7647 -x7649 -x7651 -x7653 -x7655 -x7657 -x7659 -x7661 -x7663 -x7665 -x7667 -x7669 -x7671 -x7618 -x7620 -x7622 -x7624 -x7626 -x7628 -x7630 -x7632 -x7634 -x7636 -x7638 -x7640 -x7642 -x7644 x7646 -x7648 -x7650 -x7652 -x7654 -x7656 -x7658 -x7660 -x7662 -x7664 -x7666 -x7668 -x7670 -x7672 -x7675 -x7678 -x7681 -x7684 -x7687 -x7690 -x7693 -x7696 x7699 -x7702 -x7705 -x7708 -x7711 -x7714 -x7717 -x7720 -x7723 -x7726 -x7729 -x7732 -x7735 -x7738 -x7741 -x7744 -x7747 -x7750 -x7753 -x7756 -x7674 -x7677 -x7680 -x7683 -x7686 -x7689 -x7692 -x7695 -x7698 -x7701 x7704 -x7707 -x7710 -x7713 -x7716 -x7719 -x7722 -x7725 -x7728 -x7731 -x7734 -x7737 -x7740 -x7743 -x7746 -x7749 -x7752 -x7755 -x7673 -x7676 -x7679 -x7682 -x7685 -x7688 -x7691 -x7694 -x7697 -x7700 -x7703 -x7706 x7709 -x7712 -x7715 -x7718 -x7721 -x7724 -x7727 -x7730 -x7733 -x7736 -x7739 -x7742 -x7745 -x7748 -x7751 -x7754 -x7758 x7762 -x7766 -x7770 -x7774 -x7778 -x7782 -x7786 -x7790 -x7794 -x7798 -x7802 -x7806 -x7810 -x7814 -x7818 -x7822 -x7826 -x7830 -x7834 -x7838 -x7842 -x7846 -x7850 -x7854 -x7858 -x7862 -x7866 -x7760 -x7764 -x7768 -x7772 -x7776 -x7780 x7784 -x7788 -x7792 -x7796 -x7800 -x7804 -x7808 -x7812 -x7816 -x7820 -x7824 -x7828 -x7832 -x7836 -x7840 -x7844 -x7848 -x7852 -x7856 -x7860 -x7864 -x7868 -x7757 -x7761 -x7765 -x7769 -x7773 -x7777 -x7781 -x7785 x7789 -x7793 -x7797 -x7801 -x7805 -x7809 -x7813 -x7817 -x7821 -x7825 -x7829 -x7833 -x7837 -x7841 -x7845 -x7849 -x7853 -x7857 -x7861 -x7865 -x7869 -x7873 -x7877 -x7881 -x7885 -x7889 -x7893 -x7897 -x7901 -x7905 -x7909 x7913 -x7917 -x7921 -x7925 -x7929 -x7933 -x7937 -x7941 -x7945 -x7949 -x7953 -x7957 -x7961 -x7965 -x7969 -x7973 -x7977 -x7870 -x7874 -x7878 -x7882 -x7886 -x7890 -x7894 -x7898 -x7902 -x7906 -x7910 -x7914 -x7918 -x7922 -x7926 -x7930 x7934 -x7938 -x7942 -x7946 -x7950 -x7954 -x7958 -x7962 -x7966 -x7970 -x7974 -x7978 -x7871 -x7875 -x7879 -x7883 -x7887 -x7891 -x7895 -x7899 -x7903 -x7907 -x7911 -x7915 -x7919 -x7923 -x7927 -x7931 -x7935 -x7939 x7943 -x7947 -x7951 -x7955 -x7959 -x7963 -x7967 -x7971 -x7975 -x7979 -x7982 -x7986 -x7990 -x7994 -x7998 -x8002 -x8006 -x8010 -x8014 -x8018 -x8022 -x8026 -x8030 -x8034 x8038 -x8042 -x8046 -x8050 -x8054 -x8058 -x8062 -x8066 -x8070 -x8074 -x8078 -x8082 -x8086 -x8090 -x7984 -x7988 -x7992 -x7996 -x8000 -x8004 -x8008 -x8012 -x8016 -x8020 -x8024 -x8028 -x8032 -x8036 -x8040 -x8044 -x8048 -x8052 -x8056 x8060 -x8064 -x8068 -x8072 -x8076 -x8080 -x8084 -x8088 -x8092 -x7981 -x7985 -x7989 -x7993 -x7997 -x8001 -x8005 -x8009 -x8013 -x8017 -x8021 -x8025 -x8029 -x8033 -x8037 -x8041 -x8045 -x8049 -x8053 -x8057 -x8061 x8065 -x8069 -x8073 -x8077 -x8081 -x8085 -x8089 -x8093 -x8097 -x8101 -x8105 x8109 -x8113 -x8117 -x8121 -x8125 -x8129 -x8133 -x8137 -x8141 -x8145 -x8149 -x8153 -x8157 -x8161 -x8165 -x8169 -x8173 -x8177 -x8181 -x8185 -x8189 -x8193 -x8197 -x8201 -x8094 -x8098 -x8102 -x8106 -x8110 -x8114 -x8118 -x8122 -x8126 x8130 -x8134 -x8138 -x8142 -x8146 -x8150 -x8154 -x8158 -x8162 -x8166 -x8170 -x8174 -x8178 -x8182 -x8186 -x8190 -x8194 -x8198 -x8202 -x8095 -x8099 -x8103 -x8107 -x8111 -x8115 -x8119 -x8123 -x8127 -x8131 -x8135 x8139 -x8143 -x8147 -x8151 -x8155 -x8159 -x8163 -x8167 -x8171 -x8175 -x8179 -x8183 -x8187 -x8191 -x8195 -x8199 -x8203 x8205 -x8209 -x8213 -x8217 -x8221 -x8225 -x8229 -x8233 -x8237 -x8241 -x8245 -x8249 -x8253 -x8257 -x8261 -x8265 -x8269 -x8273 -x8277 -x8281 -x8285 -x8289 -x8293 -x8297 -x8301 -x8305 -x8309 -x8313 -x8207 -x8211 -x8215 -x8219 -x8223 x8227 -x8231 -x8235 -x8239 -x8243 -x8247 -x8251 -x8255 -x8259 -x8263 -x8267 -x8271 -x8275 -x8279 -x8283 -x8287 -x8291 -x8295 -x8299 -x8303 -x8307 -x8311 -x8315 -x8206 -x8210 -x8214 -x8218 -x8222 -x8226 x8230 -x8234 -x8238 -x8242 -x8246 -x8250 -x8254 -x8258 -x8262 -x8266 -x8270 -x8274 -x8278 -x8282 -x8286 -x8290 -x8294 -x8298 -x8302 -x8306 -x8310 -x8314 -x8318 -x8321 x8324 -x8327 -x8330 -x8333 -x8336 -x8339 -x8342 -x8345 -x8348 -x8351 -x8354 -x8357 -x8360 -x8363 -x8366 -x8369 -x8372 -x8375 -x8378 -x8381 -x8384 -x8387 -x8390 -x8393 -x8396 -x8399 -x8319 -x8322 -x8325 -x8328 x8331 -x8334 -x8337 -x8340 -x8343 -x8346 -x8349 -x8352 -x8355 -x8358 -x8361 -x8364 -x8367 -x8370 -x8373 -x8376 -x8379 -x8382 -x8385 -x8388 -x8391 -x8394 -x8397 -x8400 -x8317 -x8320 -x8323 -x8326 -x8329 -x8332 -x8335 -x8338 -x8341 x8344 -x8347 -x8350 -x8353 -x8356 -x8359 -x8362 -x8365 -x8368 -x8371 -x8374 -x8377 -x8380 -x8383 -x8386 -x8389 -x8392 -x8395 -x8398 -x8401 -x8405 -x8409 -x8413 -x8417 -x8421 -x8425 -x8429 -x8433 -x8437 -x8441 -x8445 x8449 -x8453 -x8457 -x8461 -x8465 -x8469 -x8473 -x8477 -x8481 -x8485 -x8489 -x8493 -x8497 -x8501 -x8505 -x8509 -x8403 -x8407 -x8411 -x8415 -x8419 -x8423 -x8427 -x8431 -x8435 -x8439 -x8443 -x8447 -x8451 -x8455 -x8459 -x8463 -x8467 x8471 -x8475 -x8479 -x8483 -x8487 -x8491 -x8495 -x8499 -x8503 -x8507 -x8511 -x8402 -x8406 -x8410 -x8414 -x8418 -x8422 -x8426 -x8430 -x8434 -x8438 -x8442 -x8446 -x8450 -x8454 -x8458 -x8462 -x8466 -x8470 x8474 -x8478 -x8482 -x8486 -x8490 -x8494 -x8498 -x8502 -x8506 -x8510 -x8514 -x8517 -x8520 -x8523 -x8526 -x8529 -x8532 -x8535 -x8538 x8541 -x8544 -x8547 -x8550 -x8553 -x8556 -x8559 -x8562 -x8565 -x8568 -x8571 -x8574 -x8577 -x8580 -x8583 -x8586 -x8589 -x8592 -x8595 -x8515 -x8518 -x8521 -x8524 -x8527 -x8530 -x8533 -x8536 -x8539 -x8542 -x8545 x8548 -x8551 -x8554 -x8557 -x8560 -x8563 -x8566 -x8569 -x8572 -x8575 -x8578 -x8581 -x8584 -x8587 -x8590 -x8593 -x8596 -x8513 -x8516 -x8519 -x8522 -x8525 -x8528 -x8531 -x8534 -x8537 -x8540 -x8543 -x8546 -x8549 -x8552 -x8555 -x8558 x8561 -x8564 -x8567 -x8570 -x8573 -x8576 -x8579 -x8582 -x8585 -x8588 -x8591 -x8594 -x8599 -x8602 x8605 -x8608 -x8611 -x8614 -x8617 -x8620 -x8623 -x8626 -x8629 -x8632 -x8635 -x8638 -x8641 -x8644 -x8647 -x8650 -x8653 -x8656 -x8659 -x8662 -x8665 -x8668 -x8671 -x8674 -x8677 -x8680 -x8598 -x8601 -x8604 x8607 -x8610 -x8613 -x8616 -x8619 -x8622 -x8625 -x8628 -x8631 -x8634 -x8637 -x8640 -x8643 -x8646 -x8649 -x8652 -x8655 -x8658 -x8661 -x8664 -x8667 -x8670 -x8673 -x8676 -x8679 -x8597 -x8600 -x8603 -x8606 -x8609 x8612 -x8615 -x8618 -x8621 -x8624 -x8627 -x8630 -x8633 -x8636 -x8639 -x8642 -x8645 -x8648 -x8651 -x8654 -x8657 -x8660 -x8663 -x8666 -x8669 -x8672 -x8675 -x8678 -x8683 -x8688 -x8693 -x8698 -x8703 -x8708 -x8713 -x8718 x8723 -x8728 -x8733 -x8738 -x8743 -x8748 -x8753 -x8758 -x8763 -x8768 -x8773 -x8778 -x8783 -x8788 -x8793 -x8798 -x8803 -x8808 -x8813 -x8818 -x8684 -x8689 -x8694 -x8699 -x8704 -x8709 -x8714 -x8719 -x8724 -x8729 -x8734 -x8739 -x8744 -x8749 -x8754 -x8759 -x8764 -x8769 x8774 -x8779 -x8784 -x8789 -x8794 -x8799 -x8804 -x8809 -x8814 -x8819 -x8682 -x8687 -x8692 -x8697 -x8702 -x8707 -x8712 -x8717 -x8722 -x8727 -x8732 -x8737 -x8742 -x8747 -x8752 -x8757 -x8762 -x8767 -x8772 -x8777 x8782 -x8787 -x8792 -x8797 -x8802 -x8807 -x8812 -x8817 -x8823 x8828 -x8833 -x8838 -x8843 -x8848 -x8853 -x8858 -x8863 -x8868 -x8873 -x8878 -x8883 -x8888 -x8893 -x8898 -x8903 -x8908 -x8913 -x8918 -x8923 -x8928 -x8933 -x8938 -x8943 -x8948 -x8953 -x8958 -x8822 -x8827 -x8832 -x8837 -x8842 -x8847 -x8852 -x8857 -x8862 -x8867 x8872 -x8877 -x8882 -x8887 -x8892 -x8897 -x8902 -x8907 -x8912 -x8917 -x8922 -x8927 -x8932 -x8937 -x8942 -x8947 -x8952 -x8957 -x8824 -x8829 -x8834 -x8839 -x8844 -x8849 -x8854 -x8859 -x8864 -x8869 -x8874 -x8879 -x8884 x8889 -x8894 -x8899 -x8904 -x8909 -x8914 -x8919 -x8924 -x8929 -x8934 -x8939 -x8944 -x8949 -x8954 -x8959 -x8963 -x8967 -x8971 -x8975 -x8979 -x8983 -x8987 -x8991 -x8995 -x8999 x9003 -x9007 -x9011 -x9015 -x9019 -x9023 -x9027 -x9031 -x9035 -x9039 -x9043 -x9047 -x9051 -x9055 -x9059 -x9063 -x9067 -x9071 -x8964 -x8968 -x8972 -x8976 -x8980 -x8984 -x8988 -x8992 -x8996 -x9000 -x9004 -x9008 -x9012 -x9016 -x9020 x9024 -x9028 -x9032 -x9036 -x9040 -x9044 -x9048 -x9052 -x9056 -x9060 -x9064 -x9068 -x9072 -x8961 -x8965 -x8969 -x8973 -x8977 -x8981 -x8985 -x8989 -x8993 -x8997 -x9001 -x9005 -x9009 -x9013 -x9017 -x9021 -x9025 x9029 -x9033 -x9037 -x9041 -x9045 -x9049 -x9053 -x9057 -x9061 -x9065 -x9069 -x9073 -x9076 -x9079 -x9082 x9085 -x9088 -x9091 -x9094 -x9097 -x9100 -x9103 -x9106 -x9109 -x9112 -x9115 -x9118 -x9121 -x9124 -x9127 -x9130 -x9133 -x9136 -x9139 -x9142 -x9145 -x9148 -x9151 -x9154 -x9074 -x9077 -x9080 -x9083 -x9086 -x9089 -x9092 -x9095 x9098 -x9101 -x9104 -x9107 -x9110 -x9113 -x9116 -x9119 -x9122 -x9125 -x9128 -x9131 -x9134 -x9137 -x9140 -x9143 -x9146 -x9149 -x9152 -x9155 -x9075 -x9078 -x9081 -x9084 -x9087 -x9090 -x9093 -x9096 -x9099 -x9102 -x9105 x9108 -x9111 -x9114 -x9117 -x9120 -x9123 -x9126 -x9129 -x9132 -x9135 -x9138 -x9141 -x9144 -x9147 -x9150 -x9153 -x9156 -x9158 -x9161 -x9164 -x9167 -x9170 -x9173 -x9176 -x9179 x9182 -x9185 -x9188 -x9191 -x9194 -x9197 -x9200 -x9203 -x9206 -x9209 -x9212 -x9215 -x9218 -x9221 -x9224 -x9227 -x9230 -x9233 -x9236 -x9239 -x9159 -x9162 -x9165 -x9168 -x9171 -x9174 -x9177 -x9180 -x9183 -x9186 x9189 -x9192 -x9195 -x9198 -x9201 -x9204 -x9207 -x9210 -x9213 -x9216 -x9219 -x9222 -x9225 -x9228 -x9231 -x9234 -x9237 -x9240 -x9157 -x9160 -x9163 -x9166 -x9169 -x9172 -x9175 -x9178 -x9181 -x9184 -x9187 -x9190 -x9193 -x9196 x9199 -x9202 -x9205 -x9208 -x9211 -x9214 -x9217 -x9220 -x9223 -x9226 -x9229 -x9232 -x9235 -x9238 -x9243 -x9247 x9251 -x9255 -x9259 -x9263 -x9267 -x9271 -x9275 -x9279 -x9283 -x9287 -x9291 -x9295 -x9299 -x9303 -x9307 -x9311 -x9315 -x9319 -x9323 -x9327 -x9331 -x9335 -x9339 -x9343 -x9347 -x9351 -x9244 -x9248 -x9252 -x9256 -x9260 -x9264 -x9268 x9272 -x9276 -x9280 -x9284 -x9288 -x9292 -x9296 -x9300 -x9304 -x9308 -x9312 -x9316 -x9320 -x9324 -x9328 -x9332 -x9336 -x9340 -x9344 -x9348 -x9352 -x9241 -x9245 -x9249 -x9253 -x9257 -x9261 -x9265 -x9269 -x9273 x9277 -x9281 -x9285 -x9289 -x9293 -x9297 -x9301 -x9305 -x9309 -x9313 -x9317 -x9321 -x9325 -x9329 -x9333 -x9337 -x9341 -x9345 -x9349 -x9354 -x9357 -x9360 -x9363 -x9366 -x9369 -x9372 -x9375 -x9378 -x9381 -x9384 -x9387 -x9390 -x9393 -x9396 -x9399 -x9402 x9405 -x9408 -x9411 -x9414 -x9417 -x9420 -x9423 -x9426 -x9429 -x9432 -x9435 -x9355 -x9358 -x9361 -x9364 -x9367 -x9370 -x9373 -x9376 -x9379 -x9382 -x9385 -x9388 -x9391 -x9394 -x9397 -x9400 -x9403 -x9406 -x9409 x9412 -x9415 -x9418 -x9421 -x9424 -x9427 -x9430 -x9433 -x9436 -x9353 -x9356 -x9359 -x9362 -x9365 -x9368 -x9371 -x9374 -x9377 -x9380 -x9383 -x9386 -x9389 -x9392 -x9395 -x9398 -x9401 -x9404 -x9407 -x9410 -x9413 -x9416 -x9419 x9422 -x9425 -x9428 -x9431 -x9434 -x9437 -x9441 -x9445 x9449 -x9453 -x9457 -x9461 -x9465 -x9469 -x9473 -x9477 -x9481 -x9485 -x9489 -x9493 -x9497 -x9501 -x9505 -x9509 -x9513 -x9517 -x9521 -x9525 -x9529 -x9533 -x9537 -x9541 -x9545 -x9438 -x9442 -x9446 -x9450 -x9454 -x9458 -x9462 -x9466 x9470 -x9474 -x9478 -x9482 -x9486 -x9490 -x9494 -x9498 -x9502 -x9506 -x9510 -x9514 -x9518 -x9522 -x9526 -x9530 -x9534 -x9538 -x9542 -x9546 -x9439 -x9443 -x9447 -x9451 -x9455 -x9459 -x9463 -x9467 -x9471 x9475 -x9479 -x9483 -x9487 -x9491 -x9495 -x9499 -x9503 -x9507 -x9511 -x9515 -x9519 -x9523 -x9527 -x9531 -x9535 -x9539 -x9543 -x9547 -x9549 -x9553 -x9557 -x9561 -x9565 -x9569 -x9573 -x9577 -x9581 -x9585 -x9589 -x9593 -x9597 -x9601 x9605 -x9609 -x9613 -x9617 -x9621 -x9625 -x9629 -x9633 -x9637 -x9641 -x9645 -x9649 -x9653 -x9657 -x9550 -x9554 -x9558 -x9562 -x9566 -x9570 -x9574 -x9578 -x9582 -x9586 -x9590 -x9594 -x9598 -x9602 -x9606 -x9610 -x9614 -x9618 -x9622 x9626 -x9630 -x9634 -x9638 -x9642 -x9646 -x9650 -x9654 -x9658 -x9551 -x9555 -x9559 -x9563 -x9567 -x9571 -x9575 -x9579 -x9583 -x9587 -x9591 -x9595 -x9599 -x9603 -x9607 -x9611 -x9615 -x9619 -x9623 -x9627 x9631 -x9635 -x9639 -x9643 -x9647 -x9651 -x9655 -x9659 -x9661 -x9665 -x9669 -x9673 -x9677 -x9681 -x9685 -x9689 -x9693 -x9697 -x9701 -x9705 -x9709 -x9713 -x9717 x9721 -x9725 -x9729 -x9733 -x9737 -x9741 -x9745 -x9749 -x9753 -x9757 -x9761 -x9765 -x9769 -x9662 -x9666 -x9670 -x9674 -x9678 -x9682 -x9686 -x9690 -x9694 -x9698 -x9702 -x9706 -x9710 -x9714 -x9718 -x9722 -x9726 -x9730 -x9734 -x9738 x9742 -x9746 -x9750 -x9754 -x9758 -x9762 -x9766 -x9770 -x9663 -x9667 -x9671 -x9675 -x9679 -x9683 -x9687 -x9691 -x9695 -x9699 -x9703 -x9707 -x9711 -x9715 -x9719 -x9723 -x9727 -x9731 -x9735 -x9739 -x9743 -x9747 x9751 -x9755 -x9759 -x9763 -x9767 -x9771 -x9773 -x9777 -x9781 -x9785 -x9789 -x9793 -x9797 -x9801 -x9805 -x9809 -x9813 -x9817 -x9821 -x9825 x9829 -x9833 -x9837 -x9841 -x9845 -x9849 -x9853 -x9857 -x9861 -x9865 -x9869 -x9873 -x9877 -x9881 -x9775 -x9779 -x9783 -x9787 -x9791 -x9795 -x9799 -x9803 -x9807 -x9811 -x9815 -x9819 -x9823 -x9827 -x9831 -x9835 -x9839 -x9843 x9847 -x9851 -x9855 -x9859 -x9863 -x9867 -x9871 -x9875 -x9879 -x9883 -x9774 -x9778 -x9782 -x9786 -x9790 -x9794 -x9798 -x9802 -x9806 -x9810 -x9814 -x9818 -x9822 -x9826 -x9830 -x9834 -x9838 -x9842 -x9846 -x9850 -x9854 -x9858 x9862 -x9866 -x9870 -x9874 -x9878 -x9882 -x9885 -x9888 -x9891 -x9894 -x9897 -x9900 -x9903 -x9906 -x9909 -x9912 x9915 -x9918 -x9921 -x9924 -x9927 -x9930 -x9933 -x9936 -x9939 -x9942 -x9945 -x9948 -x9951 -x9954 -x9957 -x9960 -x9963 -x9966 -x9887 -x9890 -x9893 -x9896 -x9899 -x9902 -x9905 -x9908 -x9911 -x9914 -x9917 -x9920 x9923 -x9926 -x9929 -x9932 -x9935 -x9938 -x9941 -x9944 -x9947 -x9950 -x9953 -x9956 -x9959 -x9962 -x9965 -x9968 -x9886 -x9889 -x9892 -x9895 -x9898 -x9901 -x9904 -x9907 -x9910 -x9913 -x9916 -x9919 -x9922 -x9925 x9928 -x9931 -x9934 -x9937 -x9940 -x9943 -x9946 -x9949 -x9952 -x9955 -x9958 -x9961 -x9964 -x9967 -x9969 -x9972 -x9975 -x9978 -x9981 -x9984 -x9987 -x9990 -x9993 -x9996 -x9999 -x10002 -x10005 -x10008 -x10011 x10014 -x10017 -x10020 -x10023 -x10026 -x10029 -x10032 -x10035 -x10038 -x10041 -x10044 -x10047 -x10050 -x9971 -x9974 -x9977 -x9980 -x9983 -x9986 -x9989 -x9992 -x9995 -x9998 -x10001 -x10004 -x10007 -x10010 -x10013 -x10016 -x10019 x10022 -x10025 -x10028 -x10031 -x10034 -x10037 -x10040 -x10043 -x10046 -x10049 -x10052 -x9970 -x9973 -x9976 -x9979 -x9982 -x9985 -x9988 -x9991 -x9994 -x9997 -x10000 -x10003 -x10006 -x10009 -x10012 -x10015 -x10018 -x10021 -x10024 x10027 -x10030 -x10033 -x10036 -x10039 -x10042 -x10045 -x10048 -x10051 -x10053 x10057 -x10061 -x10065 -x10069 -x10073 -x10077 -x10081 -x10085 -x10089 -x10093 -x10097 -x10101 -x10105 -x10109 -x10113 -x10117 -x10121 -x10125 -x10129 -x10133 -x10137 -x10141 -x10145 -x10149 -x10153 -x10157 -x10161 -x10054 -x10058 -x10062 -x10066 -x10070 x10074 -x10078 -x10082 -x10086 -x10090 -x10094 -x10098 -x10102 -x10106 -x10110 -x10114 -x10118 -x10122 -x10126 -x10130 -x10134 -x10138 -x10142 -x10146 -x10150 -x10154 -x10158 -x10162 -x10055 -x10059 -x10063 -x10067 -x10071 -x10075 -x10079 -x10083 x10087 -x10091 -x10095 -x10099 -x10103 -x10107 -x10111 -x10115 -x10119 -x10123 -x10127 -x10131 -x10135 -x10139 -x10143 -x10147 -x10151 -x10155 -x10159 -x10163 -x10167 -x10170 -x10173 -x10176 -x10179 -x10182 -x10185 -x10188 -x10191 -x10194 -x10197 x10200 -x10203 -x10206 -x10209 -x10212 -x10215 -x10218 -x10221 -x10224 -x10227 -x10230 -x10233 -x10236 -x10239 -x10242 -x10245 -x10248 -x10166 -x10169 -x10172 -x10175 -x10178 -x10181 -x10184 -x10187 -x10190 -x10193 -x10196 -x10199 -x10202 -x10205 x10208 -x10211 -x10214 -x10217 -x10220 -x10223 -x10226 -x10229 -x10232 -x10235 -x10238 -x10241 -x10244 -x10247 -x10165 -x10168 -x10171 -x10174 -x10177 -x10180 -x10183 -x10186 -x10189 -x10192 -x10195 -x10198 -x10201 -x10204 -x10207 -x10210 -x10213 -x10216 -x10219 x10222 -x10225 -x10228 -x10231 -x10234 -x10237 -x10240 -x10243 -x10246 -x10250 -x10253 -x10256 -x10259 -x10262 -x10265 -x10268 x10271 -x10274 -x10277 -x10280 -x10283 -x10286 -x10289 -x10292 -x10295 -x10298 -x10301 -x10304 -x10307 -x10310 -x10313 -x10316 -x10319 -x10322 -x10325 -x10328 -x10331 -x10251 -x10254 -x10257 -x10260 -x10263 -x10266 -x10269 -x10272 x10275 -x10278 -x10281 -x10284 -x10287 -x10290 -x10293 -x10296 -x10299 -x10302 -x10305 -x10308 -x10311 -x10314 -x10317 -x10320 -x10323 -x10326 -x10329 -x10332 -x10249 -x10252 -x10255 -x10258 -x10261 -x10264 -x10267 -x10270 -x10273 -x10276 x10279 -x10282 -x10285 -x10288 -x10291 -x10294 -x10297 -x10300 -x10303 -x10306 -x10309 -x10312 -x10315 -x10318 -x10321 -x10324 -x10327 -x10330 -x10334 -x10337 -x10340 -x10343 -x10346 -x10349 -x10352 -x10355 -x10358 -x10361 -x10364 -x10367 -x10370 x10373 -x10376 -x10379 -x10382 -x10385 -x10388 -x10391 -x10394 -x10397 -x10400 -x10403 -x10406 -x10409 -x10412 -x10415 -x10335 -x10338 -x10341 -x10344 -x10347 -x10350 -x10353 -x10356 -x10359 -x10362 -x10365 -x10368 -x10371 -x10374 x10377 -x10380 -x10383 -x10386 -x10389 -x10392 -x10395 -x10398 -x10401 -x10404 -x10407 -x10410 -x10413 -x10416 -x10333 -x10336 -x10339 -x10342 -x10345 -x10348 -x10351 -x10354 -x10357 -x10360 -x10363 -x10366 -x10369 -x10372 -x10375 -x10378 x10381 -x10384 -x10387 -x10390 -x10393 -x10396 -x10399 -x10402 -x10405 -x10408 -x10411 -x10414 -x10417 -x10421 -x10425 -x10429 -x10433 -x10437 -x10441 -x10445 -x10449 -x10453 -x10457 -x10461 -x10465 -x10469 -x10473 -x10477 -x10481 x10485 -x10489 -x10493 -x10497 -x10501 -x10505 -x10509 -x10513 -x10517 -x10521 -x10525 -x10418 -x10422 -x10426 -x10430 -x10434 -x10438 -x10442 -x10446 -x10450 -x10454 -x10458 -x10462 -x10466 -x10470 -x10474 -x10478 -x10482 -x10486 -x10490 -x10494 -x10498 -x10502 x10506 -x10510 -x10514 -x10518 -x10522 -x10526 -x10419 -x10423 -x10427 -x10431 -x10435 -x10439 -x10443 -x10447 -x10451 -x10455 -x10459 -x10463 -x10467 -x10471 -x10475 -x10479 -x10483 -x10487 -x10491 -x10495 -x10499 -x10503 -x10507 -x10511 x10515 -x10519 -x10523 -x10527 x10530 -x10532 -x10534 -x10536 -x10538 -x10540 -x10542 -x10544 -x10546 -x10548 -x10550 -x10552 -x10554 -x10556 -x10558 -x10560 -x10562 -x10564 -x10566 -x10568 -x10570 -x10572 -x10574 -x10576 -x10578 -x10580 -x10582 -x10584 -x10529 -x10531 -x10533 x10535 -x10537 -x10539 -x10541 -x10543 -x10545 -x10547 -x10549 -x10551 -x10553 -x10555 -x10557 -x10559 -x10561 -x10563 -x10565 -x10567 -x10569 -x10571 -x10573 -x10575 -x10577 -x10579 -x10581 -x10583 -x10586 -x10588 -x10590 -x10592 -x10594 -x10596 -x10598 -x10600 -x10602 -x10604 -x10606 -x10608 -x10610 -x10612 -x10614 -x10616 -x10618 x10620 -x10622 -x10624 -x10626 -x10628 -x10630 -x10632 -x10634 -x10636 -x10638 -x10640 -x10585 -x10587 -x10589 -x10591 -x10593 -x10595 -x10597 -x10599 -x10601 -x10603 -x10605 -x10607 -x10609 -x10611 -x10613 -x10615 -x10617 -x10619 -x10621 -x10623 x10625 -x10627 -x10629 -x10631 -x10633 -x10635 -x10637 -x10639 -x10641 -x10644 -x10647 -x10650 -x10653 -x10656 -x10659 -x10662 -x10665 -x10668 -x10671 x10674 -x10677 -x10680 -x10683 -x10686 -x10689 -x10692 -x10695 -x10698 -x10701 -x10704 -x10707 -x10710 -x10713 -x10716 -x10719 -x10722 -x10642 -x10645 -x10648 -x10651 -x10654 -x10657 -x10660 -x10663 -x10666 -x10669 -x10672 -x10675 x10678 -x10681 -x10684 -x10687 -x10690 -x10693 -x10696 -x10699 -x10702 -x10705 -x10708 -x10711 -x10714 -x10717 -x10720 -x10723 -x10643 -x10646 -x10649 -x10652 -x10655 -x10658 -x10661 -x10664 -x10667 -x10670 -x10673 -x10676 -x10679 -x10682 x10685 -x10688 -x10691 -x10694 -x10697 -x10700 -x10703 -x10706 -x10709 -x10712 -x10715 -x10718 -x10721 -x10724 -x5799 -x7759 -x7983 -x5803 -x7763 -x7987 -x5807 -x7767 -x7991 -x5811 x7771 -x7995 -x5815 -x7775 -x7999 -x5819 -x7779 -x8003 -x5823 -x7783 -x8007 -x5827 -x7787 -x8011 -x5831 -x7791 -x8015 x5835 -x7795 -x8019 -x5839 -x7799 -x8023 -x5843 -x7803 -x8027 -x5847 -x7807 -x8031 -x5851 -x7811 -x8035 -x5855 -x7815 -x8039 -x5859 -x7819 -x8043 -x5863 -x7823 x8047 -x5867 -x7827 -x8051 -x5871 -x7831 -x8055 -x5875 -x7835 -x8059 -x5879 -x7839 -x8063 -x5883 -x7843 -x8067 -x5887 -x7847 -x8071 -x5891 -x7851 -x8075 -x5895 -x7855 -x8079 -x5899 -x7859 -x8083 -x5903 -x7863 -x8087 -x5907 -x7867 -x8091 -x2300 -x2412 -x3448 -x4176 -x5100 -x5212 -x5324 -x5604 -x8208 -x8404 -x9440 -x9552 -x9664 -x10056 -x10420 -x2304 -x2416 -x3452 -x4180 -x5104 -x5216 -x5328 -x5608 -x8212 -x8408 -x9444 -x9556 -x9668 -x10060 -x10424 -x2308 x2420 -x3456 -x4184 -x5108 -x5220 -x5332 -x5612 x8216 -x8412 -x9448 -x9560 -x9672 x10064 -x10428 -x2312 -x2424 -x3460 -x4188 -x5112 -x5224 -x5336 -x5616 -x8220 -x8416 -x9452 -x9564 -x9676 -x10068 -x10432 -x2316 -x2428 -x3464 -x4192 -x5116 -x5228 -x5340 -x5620 -x8224 -x8420 -x9456 -x9568 -x9680 -x10072 -x10436 -x2320 -x2432 -x3468 -x4196 -x5120 -x5232 -x5344 -x5624 -x8228 -x8424 x9460 -x9572 -x9684 -x10076 -x10440 -x2324 -x2436 -x3472 -x4200 -x5124 -x5236 -x5348 -x5628 -x8232 -x8428 -x9464 -x9576 -x9688 -x10080 -x10444 -x2328 -x2440 -x3476 -x4204 -x5128 -x5240 -x5352 -x5632 -x8236 -x8432 -x9468 -x9580 -x9692 -x10084 -x10448 -x2332 -x2444 -x3480 -x4208 x5132 x5244 -x5356 -x5636 -x8240 -x8436 -x9472 -x9584 -x9696 -x10088 -x10452 -x2336 -x2448 -x3484 -x4212 -x5136 -x5248 -x5360 -x5640 -x8244 -x8440 -x9476 -x9588 -x9700 -x10092 -x10456 -x2340 -x2452 -x3488 -x4216 -x5140 -x5252 -x5364 -x5644 -x8248 -x8444 -x9480 -x9592 -x9704 -x10096 -x10460 -x2344 -x2456 -x3492 -x4220 -x5144 -x5256 -x5368 -x5648 -x8252 -x8448 -x9484 -x9596 -x9708 -x10100 -x10464 -x2348 -x2460 -x3496 -x4224 -x5148 -x5260 -x5372 -x5652 -x8256 -x8452 -x9488 -x9600 -x9712 -x10104 -x10468 -x2352 -x2464 -x3500 -x4228 -x5152 -x5264 -x5376 -x5656 -x8260 -x8456 -x9492 -x9604 -x9716 -x10108 -x10472 -x2356 -x2468 -x3504 -x4232 -x5156 -x5268 -x5380 -x5660 -x8264 x8460 -x9496 -x9608 -x9720 -x10112 -x10476 -x2360 -x2472 x3508 x4236 -x5160 -x5272 -x5384 x5664 -x8268 -x8464 -x9500 -x9612 -x9724 -x10116 -x10480 x2364 -x2476 -x3512 -x4240 -x5164 -x5276 x5388 -x5668 -x8272 -x8468 -x9504 x9616 -x9728 -x10120 -x10484 -x2368 -x2480 -x3516 -x4244 -x5168 -x5280 -x5392 -x5672 -x8276 -x8472 -x9508 -x9620 x9732 -x10124 -x10488 -x2372 -x2484 -x3520 -x4248 -x5172 -x5284 -x5396 -x5676 -x8280 -x8476 -x9512 -x9624 -x9736 -x10128 -x10492 -x2376 -x2488 -x3524 -x4252 -x5176 -x5288 -x5400 -x5680 -x8284 -x8480 -x9516 -x9628 -x9740 -x10132 x10496 -x2380 -x2492 -x3528 -x4256 -x5180 -x5292 -x5404 -x5684 -x8288 -x8484 -x9520 -x9632 -x9744 -x10136 -x10500 -x2384 -x2496 -x3532 -x4260 -x5184 -x5296 -x5408 -x5688 -x8292 -x8488 -x9524 -x9636 -x9748 -x10140 -x10504 -x2388 -x2500 -x3536 -x4264 -x5188 -x5300 -x5412 -x5692 -x8296 -x8492 -x9528 -x9640 -x9752 -x10144 -x10508 -x2392 -x2504 -x3540 -x4268 -x5192 -x5304 -x5416 -x5696 -x8300 -x8496 -x9532 -x9644 -x9756 -x10148 -x10512 -x2396 -x2508 -x3544 -x4272 -x5196 -x5308 -x5420 -x5700 -x8304 -x8500 -x9536 -x9648 -x9760 -x10152 -x10516 -x2400 -x2512 -x3548 -x4276 -x5200 -x5312 -x5424 -x5704 -x8308 -x8504 -x9540 -x9652 -x9764 -x10156 -x10520 -x2404 -x2516 -x3552 -x4280 -x5204 -x5316 -x5428 -x5708 -x8312 -x8508 -x9544 -x9656 -x9768 -x10160 -x10524 -x2408 -x2520 -x3556 -x4284 -x5208 -x5320 -x5432 -x5712 -x8316 -x8512 -x9548 -x9660 -x9772 -x10164 -x10528 -x284 -x648 -x3084 -x4988 -x9776 -x288 -x652 -x3088 -x4992 -x9780 -x292 -x656 -x3092 -x4996 -x9784 -x296 -x660 -x3096 -x5000 -x9788 -x300 -x664 -x3100 -x5004 -x9792 x304 -x668 -x3104 -x5008 -x9796 -x308 -x672 -x3108 -x5012 -x9800 -x312 -x676 -x3112 -x5016 -x9804 -x316 -x680 -x3116 x5020 -x9808 -x320 -x684 -x3120 -x5024 -x9812 -x324 x688 -x3124 -x5028 -x9816 -x328 -x692 -x3128 -x5032 -x9820 -x332 -x696 -x3132 -x5036 -x9824 -x336 -x700 -x3136 -x5040 -x9828 -x340 -x704 x3140 -x5044 -x9832 -x344 -x708 -x3144 -x5048 -x9836 -x348 -x712 -x3148 -x5052 x9840 -x352 -x716 -x3152 -x5056 -x9844 -x356 -x720 -x3156 -x5060 -x9848 -x360 -x724 -x3160 -x5064 -x9852 -x364 -x728 -x3164 -x5068 -x9856 -x368 -x732 -x3168 -x5072 -x9860 -x372 -x736 -x3172 -x5076 -x9864 -x376 -x740 -x3176 -x5080 -x9868 -x380 -x744 -x3180 -x5084 -x9872 -x384 -x748 -x3184 -x5088 -x9876 -x388 -x752 -x3188 -x5092 -x9880 -x392 -x756 -x3192 -x5096 -x9884 -x2 -x6 -x10 -x14 -x18 -x22 x26 -x30 -x34 -x38 -x42 -x46 -x50 -x54 -x58 -x62 -x66 -x70 -x74 -x78 -x82 -x86 -x90 -x94 -x98 -x102 -x106 -x110 -x757 -x762 -x767 -x772 -x777 -x782 -x787 x792 -x797 -x802 -x807 -x812 -x817 -x822 -x827 -x832 -x837 -x842 -x847 -x852 -x857 -x862 -x867 -x872 -x877 -x882 -x887 -x892 -x761 -x766 -x771 -x776 -x781 -x786 -x791 -x796 -x801 -x806 x811 -x816 -x821 -x826 -x831 -x836 -x841 -x846 -x851 -x856 -x861 -x866 -x871 -x876 -x881 -x886 -x891 -x896 -x897 -x902 -x907 x912 -x917 -x922 -x927 -x932 -x937 -x942 -x947 -x952 -x957 -x962 -x967 -x972 -x977 -x982 -x987 -x992 -x997 -x1002 -x1007 -x1012 -x1017 -x1022 -x1027 -x1032 -x901 -x906 -x911 -x916 -x921 -x926 -x931 -x936 -x941 x946 -x951 -x956 -x961 -x966 -x971 -x976 -x981 -x986 -x991 -x996 -x1001 -x1006 -x1011 -x1016 -x1021 -x1026 -x1031 -x1036 -x1908 -x1912 -x1916 -x1920 -x1924 -x1928 -x1932 -x1936 -x1940 -x1944 -x1948 x1952 -x1956 -x1960 -x1964 -x1968 -x1972 -x1976 -x1980 -x1984 -x1988 -x1992 -x1996 -x2000 -x2004 -x2008 -x2012 -x2016 -x2020 -x2024 -x2028 -x2032 -x2036 -x2040 x2044 -x2048 -x2052 -x2056 -x2060 -x2064 -x2068 -x2072 -x2076 -x2080 -x2084 -x2088 -x2092 -x2096 -x2100 -x2104 -x2108 -x2112 -x2116 -x2120 -x2124 -x2128 -x2607 -x2612 -x2617 -x2622 -x2627 -x2632 -x2637 -x2642 -x2647 -x2652 x2657 -x2662 -x2667 -x2672 -x2677 -x2682 -x2687 -x2692 -x2697 -x2702 -x2707 -x2712 -x2717 -x2722 -x2727 -x2732 -x2737 -x2742 -x2609 -x2614 -x2619 -x2624 -x2629 -x2634 -x2639 -x2644 -x2649 -x2654 -x2659 -x2664 -x2669 x2674 -x2679 -x2684 -x2689 -x2694 -x2699 -x2704 -x2709 -x2714 -x2719 -x2724 -x2729 -x2734 -x2739 -x2744 -x3644 -x3648 -x3652 -x3656 -x3660 -x3664 -x3668 -x3672 -x3676 -x3680 x3684 -x3688 -x3692 -x3696 -x3700 -x3704 -x3708 -x3712 -x3716 -x3720 -x3724 -x3728 -x3732 -x3736 -x3740 -x3744 -x3748 -x3752 -x3838 -x3842 -x3846 -x3850 -x3854 -x3858 -x3862 -x3866 -x3870 -x3874 -x3878 -x3882 -x3886 -x3890 -x3894 -x3898 -x3902 -x3906 x3910 -x3914 -x3918 -x3922 -x3926 -x3930 -x3934 -x3938 -x3942 -x3946 -x4035 -x4040 -x4045 -x4050 x4055 -x4060 -x4065 -x4070 -x4075 -x4080 -x4085 -x4090 -x4095 -x4100 -x4105 -x4110 -x4115 -x4120 -x4125 -x4130 -x4135 -x4140 -x4145 -x4150 -x4155 -x4160 -x4165 -x4170 -x4037 -x4042 -x4047 -x4052 -x4057 -x4062 -x4067 x4072 -x4077 -x4082 -x4087 -x4092 -x4097 -x4102 -x4107 -x4112 -x4117 -x4122 -x4127 -x4132 -x4137 -x4142 -x4147 -x4152 -x4157 -x4162 -x4167 -x4172 -x4455 -x4460 -x4465 -x4470 -x4475 -x4480 -x4485 -x4490 -x4495 -x4500 -x4505 x4510 -x4515 -x4520 -x4525 -x4530 -x4535 -x4540 -x4545 -x4550 -x4555 -x4560 -x4565 -x4570 -x4575 -x4580 -x4585 -x4590 -x4457 -x4462 -x4467 -x4472 -x4477 -x4482 -x4487 -x4492 -x4497 -x4502 -x4507 -x4512 -x4517 -x4522 x4527 -x4532 -x4537 -x4542 -x4547 -x4552 -x4557 -x4562 -x4567 -x4572 -x4577 -x4582 -x4587 -x4592 -x4678 -x4682 -x4686 -x4690 -x4694 x4698 -x4702 -x4706 -x4710 -x4714 -x4718 -x4722 -x4726 -x4730 -x4734 -x4738 -x4742 -x4746 -x4750 -x4754 -x4758 -x4762 -x4766 -x4770 -x4774 -x4778 -x4782 -x4786 -x4790 -x4794 -x4798 -x4802 -x4806 -x4810 -x4814 -x4818 -x4822 -x4826 -x4830 x4834 -x4838 -x4842 -x4846 -x4850 -x4854 -x4858 -x4862 -x4866 -x4870 -x4874 -x4878 -x4882 -x4886 -x4890 -x4894 -x4898 -x5912 -x5916 -x5920 -x5924 -x5928 -x5932 -x5936 -x5940 -x5944 -x5948 x5952 -x5956 -x5960 -x5964 -x5968 -x5972 -x5976 -x5980 -x5984 -x5988 -x5992 -x5996 -x6000 -x6004 -x6008 -x6012 -x6016 -x6020 -x6024 -x6028 -x6032 -x6036 -x6040 -x6044 -x6048 -x6052 -x6056 -x6060 -x6064 -x6068 -x6072 -x6076 -x6080 -x6084 -x6088 x6092 -x6096 -x6100 -x6104 -x6108 -x6112 -x6116 -x6120 -x6124 -x6128 -x6132 -x7872 -x7876 -x7880 -x7884 -x7888 -x7892 -x7896 -x7900 -x7904 -x7908 -x7912 -x7916 -x7920 -x7924 -x7928 x7932 -x7936 -x7940 -x7944 -x7948 -x7952 -x7956 -x7960 -x7964 -x7968 -x7972 -x7976 -x7980 -x8096 -x8100 -x8104 -x8108 -x8112 -x8116 -x8120 -x8124 x8128 -x8132 -x8136 -x8140 -x8144 -x8148 -x8152 -x8156 -x8160 -x8164 -x8168 -x8172 -x8176 -x8180 -x8184 -x8188 -x8192 -x8196 -x8200 -x8204 -x8681 -x8686 -x8691 -x8696 -x8701 -x8706 -x8711 -x8716 -x8721 -x8726 x8731 -x8736 -x8741 -x8746 -x8751 -x8756 -x8761 -x8766 -x8771 -x8776 -x8781 -x8786 -x8791 -x8796 -x8801 -x8806 -x8811 -x8816 -x8685 -x8690 -x8695 -x8700 -x8705 -x8710 -x8715 -x8720 -x8725 -x8730 -x8735 -x8740 -x8745 -x8750 -x8755 -x8760 x8765 -x8770 -x8775 -x8780 -x8785 -x8790 -x8795 -x8800 -x8805 -x8810 -x8815 -x8820 -x8821 -x8826 -x8831 -x8836 x8841 -x8846 -x8851 -x8856 -x8861 -x8866 -x8871 -x8876 -x8881 -x8886 -x8891 -x8896 -x8901 -x8906 -x8911 -x8916 -x8921 -x8926 -x8931 -x8936 -x8941 -x8946 -x8951 -x8956 -x8825 -x8830 -x8835 -x8840 -x8845 -x8850 -x8855 x8860 -x8865 -x8870 -x8875 -x8880 -x8885 -x8890 -x8895 -x8900 -x8905 -x8910 -x8915 -x8920 -x8925 -x8930 -x8935 -x8940 -x8945 -x8950 -x8955 -x8960 -x8962 -x8966 -x8970 -x8974 -x8978 -x8982 -x8986 -x8990 -x8994 -x8998 -x9002 -x9006 x9010 -x9014 -x9018 -x9022 -x9026 -x9030 -x9034 -x9038 -x9042 -x9046 -x9050 -x9054 -x9058 -x9062 -x9066 -x9070 -x9242 -x9246 -x9250 -x9254 x9258 -x9262 -x9266 -x9270 -x9274 -x9278 -x9282 -x9286 -x9290 -x9294 -x9298 -x9302 -x9306 -x9310 -x9314 -x9318 -x9322 -x9326 -x9330 -x9334 -x9338 -x9342 -x9346 -x9350
26.25/25.43	c Total CPU time              : 26.215 s

Verifier Data

OK	7677

Watcher Data

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695980-1278016653/watcher-2695980-1278016653 -o /tmp/evaluation-result-2695980-1278016653/solver-2695980-1278016653 -C 1800 -W 2000 -M 1800 run HOME/instance-2695980-1278016653.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.08 2.06 1.59 3/106 28768
/proc/meminfo: memFree=1453856/2059040 swapFree=4139764/4192956
[pid=28768] ppid=28766 vsize=8700 CPUtime=0
/proc/28768/stat : 28768 (run) S 28766 28768 28578 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 142957501 8908800 249 1992294400 4194304 4922060 140736149378912 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/28768/statm: 2175 249 208 178 0 68 0

[startup+0.0959849 s]
/proc/loadavg: 2.08 2.06 1.59 3/106 28768
/proc/meminfo: memFree=1453856/2059040 swapFree=4139764/4192956
[pid=28768] ppid=28766 vsize=8700 CPUtime=0
/proc/28768/stat : 28768 (run) S 28766 28768 28578 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 142957501 8908800 249 1992294400 4194304 4922060 140736149378912 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/28768/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100986 s]
/proc/loadavg: 2.08 2.06 1.59 3/106 28768
/proc/meminfo: memFree=1453856/2059040 swapFree=4139764/4192956
[pid=28768] ppid=28766 vsize=8700 CPUtime=0
/proc/28768/stat : 28768 (run) S 28766 28768 28578 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 142957501 8908800 249 1992294400 4194304 4922060 140736149378912 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/28768/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301005 s]
/proc/loadavg: 2.08 2.06 1.59 3/106 28768
/proc/meminfo: memFree=1453856/2059040 swapFree=4139764/4192956
[pid=28768] ppid=28766 vsize=8700 CPUtime=0
/proc/28768/stat : 28768 (run) S 28766 28768 28578 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 142957501 8908800 249 1992294400 4194304 4922060 140736149378912 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/28768/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701046 s]
/proc/loadavg: 2.08 2.06 1.59 3/106 28768
/proc/meminfo: memFree=1453856/2059040 swapFree=4139764/4192956
[pid=28768] ppid=28766 vsize=8700 CPUtime=0
/proc/28768/stat : 28768 (run) S 28766 28768 28578 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 142957501 8908800 249 1992294400 4194304 4922060 140736149378912 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/28768/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50113 s]
/proc/loadavg: 2.08 2.06 1.59 2/108 28770
/proc/meminfo: memFree=1451236/2059040 swapFree=4139764/4192956
[pid=28768] ppid=28766 vsize=8700 CPUtime=0
/proc/28768/stat : 28768 (run) S 28766 28768 28578 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 142957501 8908800 249 1992294400 4194304 4922060 140736149378912 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/28768/statm: 2175 249 208 178 0 68 0
[pid=28769] ppid=28768 vsize=15496 CPUtime=1.49
/proc/28769/stat : 28769 (pb_cplex) R 28768 28768 28578 0 -1 4202496 926 0 0 0 149 0 0 0 25 0 1 0 142957502 15867904 878 1992294400 134512640 146736320 4293336848 18446744073709551615 140681190 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28769/statm: 3874 878 308 2985 0 692 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24196

[startup+3.10129 s]
/proc/loadavg: 2.08 2.06 1.59 2/108 28770
/proc/meminfo: memFree=1450988/2059040 swapFree=4139764/4192956
[pid=28768] ppid=28766 vsize=8700 CPUtime=0
/proc/28768/stat : 28768 (run) S 28766 28768 28578 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 142957501 8908800 249 1992294400 4194304 4922060 140736149378912 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/28768/statm: 2175 249 208 178 0 68 0
[pid=28769] ppid=28768 vsize=15496 CPUtime=3.09
/proc/28769/stat : 28769 (pb_cplex) R 28768 28768 28578 0 -1 4202496 940 0 0 0 309 0 0 0 25 0 1 0 142957502 15867904 892 1992294400 134512640 146736320 4293336848 18446744073709551615 140681171 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28769/statm: 3874 892 308 2985 0 692 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24196

[startup+6.30161 s]
/proc/loadavg: 1.99 2.04 1.59 2/108 28770
/proc/meminfo: memFree=1450368/2059040 swapFree=4139764/4192956
[pid=28768] ppid=28766 vsize=8700 CPUtime=0
/proc/28768/stat : 28768 (run) S 28766 28768 28578 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 142957501 8908800 249 1992294400 4194304 4922060 140736149378912 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/28768/statm: 2175 249 208 178 0 68 0
[pid=28769] ppid=28768 vsize=15628 CPUtime=6.29
/proc/28769/stat : 28769 (pb_cplex) R 28768 28768 28578 0 -1 4202496 967 0 0 0 629 0 0 0 25 0 1 0 142957502 16003072 919 1992294400 134512640 146736320 4293336848 18446744073709551615 140714090 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28769/statm: 3907 919 308 2985 0 725 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24328

[startup+12.7013 s]
/proc/loadavg: 1.91 2.03 1.58 2/108 28770
/proc/meminfo: memFree=1450368/2059040 swapFree=4139764/4192956
[pid=28768] ppid=28766 vsize=8700 CPUtime=0
/proc/28768/stat : 28768 (run) S 28766 28768 28578 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 142957501 8908800 249 1992294400 4194304 4922060 140736149378912 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/28768/statm: 2175 249 208 178 0 68 0
[pid=28769] ppid=28768 vsize=15772 CPUtime=12.69
/proc/28769/stat : 28769 (pb_cplex) R 28768 28768 28578 0 -1 4202496 1005 0 0 0 1269 0 0 0 25 0 1 0 142957502 16150528 957 1992294400 134512640 146736320 4293336848 18446744073709551615 140526533 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28769/statm: 3943 957 308 2985 0 761 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24472

Solver just ended. Dumping a history of the last processes samples

[startup+19.1009 s]
/proc/loadavg: 1.77 1.99 1.58 2/108 28770
/proc/meminfo: memFree=1450368/2059040 swapFree=4139764/4192956
[pid=28768] ppid=28766 vsize=8700 CPUtime=0
/proc/28768/stat : 28768 (run) S 28766 28768 28578 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 142957501 8908800 249 1992294400 4194304 4922060 140736149378912 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/28768/statm: 2175 249 208 178 0 68 0
[pid=28769] ppid=28768 vsize=15948 CPUtime=19.08
/proc/28769/stat : 28769 (pb_cplex) R 28768 28768 28578 0 -1 4202496 1038 0 0 0 1908 0 0 0 25 0 1 0 142957502 16330752 990 1992294400 134512640 146736320 4293336848 18446744073709551615 134814125 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28769/statm: 3987 990 308 2985 0 805 0
Current children cumulated CPU time (s) 19.08
Current children cumulated vsize (KiB) 24648

[startup+22.3013 s]
/proc/loadavg: 1.77 1.99 1.58 2/108 28770
/proc/meminfo: memFree=1449872/2059040 swapFree=4139764/4192956
[pid=28768] ppid=28766 vsize=8700 CPUtime=0
/proc/28768/stat : 28768 (run) S 28766 28768 28578 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 142957501 8908800 249 1992294400 4194304 4922060 140736149378912 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/28768/statm: 2175 249 208 178 0 68 0
[pid=28769] ppid=28768 vsize=25192 CPUtime=22.29
/proc/28769/stat : 28769 (pb_cplex) R 28768 28768 28578 0 -1 4202496 3717 0 0 0 2228 1 0 0 18 0 1 0 142957502 25796608 3126 1992294400 134512640 146736320 4293336848 18446744073709551615 135794866 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/28769/statm: 6298 3126 747 2985 0 2840 0
Current children cumulated CPU time (s) 22.29
Current children cumulated vsize (KiB) 33892

[startup+23.9014 s]
/proc/loadavg: 1.77 1.99 1.58 2/108 28770
/proc/meminfo: memFree=1436232/2059040 swapFree=4139764/4192956
[pid=28768] ppid=28766 vsize=8700 CPUtime=0
/proc/28768/stat : 28768 (run) S 28766 28768 28578 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 142957501 8908800 249 1992294400 4194304 4922060 140736149378912 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/28768/statm: 2175 249 208 178 0 68 0
[pid=28769] ppid=28768 vsize=54104 CPUtime=24.19
/proc/28769/stat : 28769 (pb_cplex) R 28768 28768 28578 0 -1 4202496 9622 0 0 0 2416 3 0 0 21 0 2 0 142957502 55402496 7494 1992294400 134512640 146736320 4293336848 18446744073709551615 135415175 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/28769/statm: 13526 7494 1034 2985 0 10068 0
Current children cumulated CPU time (s) 24.19
Current children cumulated vsize (KiB) 62804

[startup+24.7005 s]
/proc/loadavg: 1.71 1.98 1.57 2/109 28771
/proc/meminfo: memFree=1426428/2059040 swapFree=4139764/4192956
[pid=28768] ppid=28766 vsize=8700 CPUtime=0
/proc/28768/stat : 28768 (run) S 28766 28768 28578 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 142957501 8908800 249 1992294400 4194304 4922060 140736149378912 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/28768/statm: 2175 249 208 178 0 68 0
[pid=28769] ppid=28768 vsize=56240 CPUtime=25.55
/proc/28769/stat : 28769 (pb_cplex) R 28768 28768 28578 0 -1 4202496 10894 0 0 0 2550 5 0 0 18 0 2 0 142957502 57589760 8125 1992294400 134512640 146736320 4293336848 18446744073709551615 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/28769/statm: 14060 8125 1035 2985 0 10602 0
[pid=28769/tid=28771] ppid=28768 vsize=56240 CPUtime=0.92
/proc/28769/task/28771/stat : 28771 (pb_cplex) S 28768 28768 28578 0 -1 4202560 1740 0 0 0 91 1 0 0 16 0 2 0 142959854 57589760 8125 1992294400 134512640 146736320 4293336848 18446744073709551615 144580073 0 2 4096 16387 18446604437834437056 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 64940

[startup+25.1005 s]
/proc/loadavg: 1.71 1.98 1.57 2/109 28771
/proc/meminfo: memFree=1426428/2059040 swapFree=4139764/4192956
[pid=28768] ppid=28766 vsize=8700 CPUtime=0
/proc/28768/stat : 28768 (run) S 28766 28768 28578 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 142957501 8908800 249 1992294400 4194304 4922060 140736149378912 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/28768/statm: 2175 249 208 178 0 68 0
[pid=28769] ppid=28768 vsize=49812 CPUtime=25.95
/proc/28769/stat : 28769 (pb_cplex) R 28768 28768 28578 0 -1 4202496 10955 0 0 0 2588 7 0 0 18 0 1 0 142957502 51007488 6692 1992294400 134512640 146736320 4293336848 18446744073709551615 137083713 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28769/statm: 12453 6692 1041 2985 0 8995 0
Current children cumulated CPU time (s) 25.95
Current children cumulated vsize (KiB) 58512

[startup+25.3085 s]
/proc/loadavg: 1.71 1.98 1.57 2/108 28771
/proc/meminfo: memFree=1430280/2059040 swapFree=4139764/4192956
[pid=28768] ppid=28766 vsize=8700 CPUtime=0
/proc/28768/stat : 28768 (run) S 28766 28768 28578 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 142957501 8908800 249 1992294400 4194304 4922060 140736149378912 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/28768/statm: 2175 249 208 178 0 68 0
[pid=28769] ppid=28768 vsize=49812 CPUtime=26.16
/proc/28769/stat : 28769 (pb_cplex) R 28768 28768 28578 0 -1 4202496 11020 0 0 0 2609 7 0 0 18 0 1 0 142957502 51007488 6756 1992294400 134512640 146736320 4293336848 18446744073709551615 144580789 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28769/statm: 12453 6756 1080 2985 0 8995 0
Current children cumulated CPU time (s) 26.16
Current children cumulated vsize (KiB) 58512

[startup+25.4006 s]
/proc/loadavg: 1.71 1.98 1.57 2/108 28771
/proc/meminfo: memFree=1430280/2059040 swapFree=4139764/4192956
[pid=28768] ppid=28766 vsize=8700 CPUtime=0
/proc/28768/stat : 28768 (run) S 28766 28768 28578 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 142957501 8908800 249 1992294400 4194304 4922060 140736149378912 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/28768/statm: 2175 249 208 178 0 68 0
[pid=28769] ppid=28768 vsize=49812 CPUtime=26.25
/proc/28769/stat : 28769 (pb_cplex) R 28768 28768 28578 0 -1 4202496 11020 0 0 0 2618 7 0 0 18 0 1 0 142957502 51007488 6756 1992294400 134512640 146736320 4293336848 18446744073709551615 136765699 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/28769/statm: 12453 6756 1080 2985 0 8995 0
Current children cumulated CPU time (s) 26.25
Current children cumulated vsize (KiB) 58512

Child status: 0
Real time (s): 25.4355
CPU time (s): 26.299
CPU user time (s): 26.216
CPU system time (s): 0.082987
CPU usage (%): 103.395
Max. virtual memory (cumulated for all children) (KiB): 64940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.216
system time used= 0.082987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11410
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= 354
involuntary context switches= 345

runsolver used 0.051992 second user time and 0.12598 second system time

The end

Launcher Data

Begin job on node045 at 2010-07-01 22:37:33
IDJOB=2695980
IDBENCH=1882
IDSOLVER=1209
FILE ID=node045/2695980-1278016653
PBS_JOBID= 11198719
Free space on /tmp= 62440 MiB

SOLVER NAME= pb_cplex 2010-06-29
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mitre.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2695980-1278016653/watcher-2695980-1278016653 -o /tmp/evaluation-result-2695980-1278016653/solver-2695980-1278016653 -C 1800 -W 2000 -M 1800  run HOME/instance-2695980-1278016653.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 2b9af9044591fd3eb9f5def12c800cff
RANDOM SEED=2034928386

node045.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.247
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.49
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.247
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.43
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1454384 kB
Buffers:        137936 kB
Cached:         363644 kB
SwapCached:       6204 kB
Active:         217528 kB
Inactive:       297200 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1454384 kB
SwapTotal:     4192956 kB
SwapFree:      4139764 kB
Dirty:           16988 kB
Writeback:           0 kB
AnonPages:       11672 kB
Mapped:          11848 kB
Slab:            68028 kB
PageTables:       4224 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183660 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62424 MiB
End job on node045 at 2010-07-01 22:37:59