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

OK	6188975084

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (62025 MiB free)
  memory of node 1: 64510 MiB (63064 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438218-1722959473/watcher-4438218-1722959473 -o /tmp/evaluation-result-4438218-1722959473/solver-4438218-1722959473 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722959025-329291 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4438218-1722959473.opb 3600 HOME 31000 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=329492, runsolver pid=329489
Current StackSize limit: 8192 KiB


[startup+0.100093 s]*
/proc/loadavg: 4.09 4.09 4.10 5/248 329496
/proc/meminfo: memFree=128083932/131655788 swapFree=131071472/131071996
[pid=329492] ppid=329489 vsize=9932 memory=2756 CPUtime=0 cores=5,7
/proc/329492/stat : 329492 (Hybrid-CASHWMax) S 329489 329492 329278 0 -1 4194304 243 103 0 0 0 0 0 0 20 0 1 0 62318046 10170368 689 134679101440 94117947420672 94117948499992 140720714663632 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94117950598448 94117950645636 94117962862592 140720714671060 140720714671218 140720714671218 140720714678229 0
/proc/329492/statm: 2483 689 612 264 0 134 0
[pid=329495] ppid=329492 vsize=8660 memory=1032 CPUtime=0 cores=5,7
/proc/329495/stat : 329495 (timeout) S 329492 329495 329278 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 62318047 8867840 258 134679101440 94854611267584 94854611302600 140724656580176 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94854613400016 94854613402148 94854626816000 140724656583696 140724656583841 140724656583841 140724656590823 0
/proc/329495/statm: 2165 258 234 9 0 87 0
[pid=329496] ppid=329495 vsize=29596 memory=10328 CPUtime=0.09 cores=5,7
/proc/329496/stat : 329496 (CASHWMaxSAT-Dis) R 329495 329495 329278 0 -1 4194304 1988 0 0 0 9 0 0 0 20 0 1 0 62318047 30306304 2582 134679101440 4194304 14093885 140736815000336 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 21487616 140736815006742 140736815006874 140736815006874 140736815013856 0
/proc/329496/statm: 7399 2582 750 2417 0 4501 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 48188 KiB
Current children cumulated memory: 14116 KiB

[startup+0.213171 s]*
/proc/loadavg: 4.09 4.09 4.10 5/248 329496
/proc/meminfo: memFree=128081412/131655788 swapFree=131071472/131071996
[pid=329492] ppid=329489 vsize=9932 memory=2756 CPUtime=0 cores=5,7
/proc/329492/stat : 329492 (Hybrid-CASHWMax) S 329489 329492 329278 0 -1 4194304 243 103 0 0 0 0 0 0 20 0 1 0 62318046 10170368 689 134679101440 94117947420672 94117948499992 140720714663632 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94117950598448 94117950645636 94117962862592 140720714671060 140720714671218 140720714671218 140720714678229 0
/proc/329492/statm: 2483 689 612 264 0 134 0
[pid=329495] ppid=329492 vsize=8660 memory=1032 CPUtime=0 cores=5,7
/proc/329495/stat : 329495 (timeout) S 329492 329495 329278 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 62318047 8867840 258 134679101440 94854611267584 94854611302600 140724656580176 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94854613400016 94854613402148 94854626816000 140724656583696 140724656583841 140724656583841 140724656590823 0
/proc/329495/statm: 2165 258 234 9 0 87 0
[pid=329496] ppid=329495 vsize=32256 memory=12968 CPUtime=0.2 cores=5,7
/proc/329496/stat : 329496 (CASHWMaxSAT-Dis) R 329495 329495 329278 0 -1 4194304 2637 0 0 0 20 0 0 0 20 0 1 0 62318047 33030144 3242 134679101440 4194304 14093885 140736815000336 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 21487616 140736815006742 140736815006874 140736815006874 140736815013856 0
/proc/329496/statm: 8064 3242 750 2417 0 5166 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 50848 KiB
Current children cumulated memory: 16756 KiB

[startup+0.312607 s]*
/proc/loadavg: 4.09 4.09 4.10 5/248 329496
/proc/meminfo: memFree=128078816/131655788 swapFree=131071472/131071996
[pid=329492] ppid=329489 vsize=9932 memory=2756 CPUtime=0 cores=5,7
/proc/329492/stat : 329492 (Hybrid-CASHWMax) S 329489 329492 329278 0 -1 4194304 243 103 0 0 0 0 0 0 20 0 1 0 62318046 10170368 689 134679101440 94117947420672 94117948499992 140720714663632 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94117950598448 94117950645636 94117962862592 140720714671060 140720714671218 140720714671218 140720714678229 0
/proc/329492/statm: 2483 689 612 264 0 134 0
[pid=329495] ppid=329492 vsize=8660 memory=1032 CPUtime=0 cores=5,7
/proc/329495/stat : 329495 (timeout) S 329492 329495 329278 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 62318047 8867840 258 134679101440 94854611267584 94854611302600 140724656580176 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94854613400016 94854613402148 94854626816000 140724656583696 140724656583841 140724656583841 140724656590823 0
/proc/329495/statm: 2165 258 234 9 0 87 0
[pid=329496] ppid=329495 vsize=34688 memory=15608 CPUtime=0.3 cores=5,7
/proc/329496/stat : 329496 (CASHWMaxSAT-Dis) R 329495 329495 329278 0 -1 4194304 3270 0 0 0 30 0 0 0 20 0 1 0 62318047 35520512 3902 134679101440 4194304 14093885 140736815000336 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 21487616 140736815006742 140736815006874 140736815006874 140736815013856 0
/proc/329496/statm: 8672 3902 750 2417 0 5774 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 53280 KiB
Current children cumulated memory: 19396 KiB

[startup+0.700429 s]
/proc/loadavg: 4.09 4.09 4.10 5/248 329496
/proc/meminfo: memFree=128073272/131655788 swapFree=131071472/131071996
[pid=329492] ppid=329489 vsize=9932 memory=2756 CPUtime=0 cores=5,7
/proc/329492/stat : 329492 (Hybrid-CASHWMax) S 329489 329492 329278 0 -1 4194304 243 103 0 0 0 0 0 0 20 0 1 0 62318046 10170368 689 134679101440 94117947420672 94117948499992 140720714663632 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94117950598448 94117950645636 94117962862592 140720714671060 140720714671218 140720714671218 140720714678229 0
/proc/329492/statm: 2483 689 612 264 0 134 0
[pid=329495] ppid=329492 vsize=8660 memory=1032 CPUtime=0 cores=5,7
/proc/329495/stat : 329495 (timeout) S 329492 329495 329278 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 62318047 8867840 258 134679101440 94854611267584 94854611302600 140724656580176 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94854613400016 94854613402148 94854626816000 140724656583696 140724656583841 140724656583841 140724656590823 0
/proc/329495/statm: 2165 258 234 9 0 87 0
[pid=329496] ppid=329495 vsize=45600 memory=26432 CPUtime=0.68 cores=5,7
/proc/329496/stat : 329496 (CASHWMaxSAT-Dis) R 329495 329495 329278 0 -1 4194304 5990 0 0 0 67 1 0 0 20 0 1 0 62318047 46694400 6608 134679101440 4194304 14093885 140736815000336 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 21487616 140736815006742 140736815006874 140736815006874 140736815013856 0
/proc/329496/statm: 11400 6608 750 2417 0 8502 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 64192 KiB
Current children cumulated memory: 30220 KiB

[startup+1.50045 s]
/proc/loadavg: 4.09 4.09 4.10 5/248 329496
/proc/meminfo: memFree=128055100/131655788 swapFree=131071472/131071996
[pid=329492] ppid=329489 vsize=9932 memory=2756 CPUtime=0 cores=5,7
/proc/329492/stat : 329492 (Hybrid-CASHWMax) S 329489 329492 329278 0 -1 4194304 243 103 0 0 0 0 0 0 20 0 1 0 62318046 10170368 689 134679101440 94117947420672 94117948499992 140720714663632 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94117950598448 94117950645636 94117962862592 140720714671060 140720714671218 140720714671218 140720714678229 0
/proc/329492/statm: 2483 689 612 264 0 134 0
[pid=329495] ppid=329492 vsize=8660 memory=1032 CPUtime=0 cores=5,7
/proc/329495/stat : 329495 (timeout) S 329492 329495 329278 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 62318047 8867840 258 134679101440 94854611267584 94854611302600 140724656580176 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94854613400016 94854613402148 94854626816000 140724656583696 140724656583841 140724656583841 140724656590823 0
/proc/329495/statm: 2165 258 234 9 0 87 0
[pid=329496] ppid=329495 vsize=83208 memory=64044 CPUtime=1.48 cores=5,7
/proc/329496/stat : 329496 (CASHWMaxSAT-Dis) R 329495 329495 329278 0 -1 4194304 15657 0 0 0 144 4 0 0 20 0 1 0 62318047 85204992 16011 134679101440 4194304 14093885 140736815000336 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 21487616 140736815006742 140736815006874 140736815006874 140736815013856 0
/proc/329496/statm: 20802 16011 782 2417 0 17904 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 101800 KiB
Current children cumulated memory: 67832 KiB

[startup+3.11288 s]
/proc/loadavg: 4.09 4.09 4.10 5/248 329496
/proc/meminfo: memFree=127849516/131655788 swapFree=131071472/131071996
[pid=329492] ppid=329489 vsize=9932 memory=2756 CPUtime=0 cores=5,7
/proc/329492/stat : 329492 (Hybrid-CASHWMax) S 329489 329492 329278 0 -1 4194304 243 103 0 0 0 0 0 0 20 0 1 0 62318046 10170368 689 134679101440 94117947420672 94117948499992 140720714663632 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94117950598448 94117950645636 94117962862592 140720714671060 140720714671218 140720714671218 140720714678229 0
/proc/329492/statm: 2483 689 612 264 0 134 0
[pid=329495] ppid=329492 vsize=8660 memory=1032 CPUtime=0 cores=5,7
/proc/329495/stat : 329495 (timeout) S 329492 329495 329278 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 62318047 8867840 258 134679101440 94854611267584 94854611302600 140724656580176 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94854613400016 94854613402148 94854626816000 140724656583696 140724656583841 140724656583841 140724656590823 0
/proc/329495/statm: 2165 258 234 9 0 87 0
[pid=329496] ppid=329495 vsize=301836 memory=259632 CPUtime=3.09 cores=5,7
/proc/329496/stat : 329496 (CASHWMaxSAT-Dis) R 329495 329495 329278 0 -1 4194304 43644 0 0 0 298 11 0 0 20 0 1 0 62318047 309080064 64908 134679101440 4194304 14093885 140736815000336 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 21487616 140736815006742 140736815006874 140736815006874 140736815013856 0
/proc/329496/statm: 75459 64908 1038 2417 0 72561 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 320428 KiB
Current children cumulated memory: 263420 KiB

[startup+6.3005 s]
/proc/loadavg: 4.16 4.10 4.11 6/248 329496
/proc/meminfo: memFree=127547448/131655788 swapFree=131071472/131071996
[pid=329492] ppid=329489 vsize=9932 memory=2756 CPUtime=0 cores=5,7
/proc/329492/stat : 329492 (Hybrid-CASHWMax) S 329489 329492 329278 0 -1 4194304 243 103 0 0 0 0 0 0 20 0 1 0 62318046 10170368 689 134679101440 94117947420672 94117948499992 140720714663632 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94117950598448 94117950645636 94117962862592 140720714671060 140720714671218 140720714671218 140720714678229 0
/proc/329492/statm: 2483 689 612 264 0 134 0
[pid=329495] ppid=329492 vsize=8660 memory=1032 CPUtime=0 cores=5,7
/proc/329495/stat : 329495 (timeout) S 329492 329495 329278 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 62318047 8867840 258 134679101440 94854611267584 94854611302600 140724656580176 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94854613400016 94854613402148 94854626816000 140724656583696 140724656583841 140724656583841 140724656590823 0
/proc/329495/statm: 2165 258 234 9 0 87 0
[pid=329496] ppid=329495 vsize=630568 memory=565540 CPUtime=6.26 cores=5,7
/proc/329496/stat : 329496 (CASHWMaxSAT-Dis) R 329495 329495 329278 0 -1 4194304 66964 0 0 0 606 20 0 0 20 0 1 0 62318047 645701632 141385 134679101440 4194304 14093885 140736815000336 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 21487616 140736815006742 140736815006874 140736815006874 140736815013856 0
/proc/329496/statm: 157642 141385 1038 2417 0 154744 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 649160 KiB
Current children cumulated memory: 569328 KiB

[startup+12.7005 s]
/proc/loadavg: 4.15 4.10 4.11 6/248 329497
/proc/meminfo: memFree=127034032/131655788 swapFree=131071472/131071996
[pid=329492] ppid=329489 vsize=9932 memory=2756 CPUtime=0 cores=5,7
/proc/329492/stat : 329492 (Hybrid-CASHWMax) S 329489 329492 329278 0 -1 4194304 243 103 0 0 0 0 0 0 20 0 1 0 62318046 10170368 689 134679101440 94117947420672 94117948499992 140720714663632 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94117950598448 94117950645636 94117962862592 140720714671060 140720714671218 140720714671218 140720714678229 0
/proc/329492/statm: 2483 689 612 264 0 134 0
[pid=329495] ppid=329492 vsize=8660 memory=1032 CPUtime=0 cores=5,7
/proc/329495/stat : 329495 (timeout) S 329492 329495 329278 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 62318047 8867840 258 134679101440 94854611267584 94854611302600 140724656580176 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94854613400016 94854613402148 94854626816000 140724656583696 140724656583841 140724656583841 140724656590823 0
/proc/329495/statm: 2165 258 234 9 0 87 0
[pid=329496] ppid=329495 vsize=1307784 memory=1232148 CPUtime=12.65 cores=5,7
/proc/329496/stat : 329496 (CASHWMaxSAT-Dis) R 329495 329495 329278 0 -1 4194304 116988 0 0 0 1225 40 0 0 20 0 1 0 62318047 1339170816 308037 134679101440 4194304 14093885 140736815000336 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 21487616 140736815006742 140736815006874 140736815006874 140736815013856 0
/proc/329496/statm: 326946 308037 1038 2417 0 324048 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1326376 KiB
Current children cumulated memory: 1235936 KiB

[startup+25.5005 s]
/proc/loadavg: 4.12 4.10 4.10 5/248 329499
/proc/meminfo: memFree=124173116/131655788 swapFree=131071472/131071996
[pid=329492] ppid=329489 vsize=9932 memory=2756 CPUtime=0 cores=5,7
/proc/329492/stat : 329492 (Hybrid-CASHWMax) S 329489 329492 329278 0 -1 4194304 243 103 0 0 0 0 0 0 20 0 1 0 62318046 10170368 689 134679101440 94117947420672 94117948499992 140720714663632 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94117950598448 94117950645636 94117962862592 140720714671060 140720714671218 140720714671218 140720714678229 0
/proc/329492/statm: 2483 689 612 264 0 134 0
[pid=329495] ppid=329492 vsize=8660 memory=1032 CPUtime=0 cores=5,7
/proc/329495/stat : 329495 (timeout) S 329492 329495 329278 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 62318047 8867840 258 134679101440 94854611267584 94854611302600 140724656580176 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94854613400016 94854613402148 94854626816000 140724656583696 140724656583841 140724656583841 140724656590823 0
/proc/329495/statm: 2165 258 234 9 0 87 0
[pid=329496] ppid=329495 vsize=4359868 memory=3941636 CPUtime=25.42 cores=5,7
/proc/329496/stat : 329496 (CASHWMaxSAT-Dis) R 329495 329495 329278 0 -1 4194304 303326 0 0 0 2423 119 0 0 20 0 1 0 62318047 4464504832 985409 134679101440 4194304 14093885 140736815000336 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 21487616 140736815006742 140736815006874 140736815006874 140736815013856 0
/proc/329496/statm: 1089967 985409 1038 2417 0 1087069 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 4378460 KiB
Current children cumulated memory: 3945424 KiB

[startup+51.113 s]
/proc/loadavg: 4.22 4.12 4.11 5/248 329503
/proc/meminfo: memFree=123348464/131655788 swapFree=131071472/131071996
[pid=329492] ppid=329489 vsize=9932 memory=2756 CPUtime=0 cores=5,7
/proc/329492/stat : 329492 (Hybrid-CASHWMax) S 329489 329492 329278 0 -1 4194304 243 103 0 0 0 0 0 0 20 0 1 0 62318046 10170368 689 134679101440 94117947420672 94117948499992 140720714663632 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94117950598448 94117950645636 94117962862592 140720714671060 140720714671218 140720714671218 140720714678229 0
/proc/329492/statm: 2483 689 612 264 0 134 0
[pid=329495] ppid=329492 vsize=8660 memory=1032 CPUtime=0 cores=5,7
/proc/329495/stat : 329495 (timeout) S 329492 329495 329278 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 62318047 8867840 258 134679101440 94854611267584 94854611302600 140724656580176 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94854613400016 94854613402148 94854626816000 140724656583696 140724656583841 140724656583841 140724656590823 0
/proc/329495/statm: 2165 258 234 9 0 87 0
[pid=329496] ppid=329495 vsize=5226748 memory=4702244 CPUtime=50.96 cores=5,7
/proc/329496/stat : 329496 (CASHWMaxSAT-Dis) R 329495 329495 329278 0 -1 4194304 362228 0 0 0 4944 152 0 0 20 0 1 0 62318047 5352189952 1175561 134679101440 4194304 14093885 140736815000336 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 21487616 140736815006742 140736815006874 140736815006874 140736815013856 0
/proc/329496/statm: 1306687 1175561 1038 2417 0 1303789 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 5245340 KiB
Current children cumulated memory: 4706032 KiB

[startup+102.301 s]
/proc/loadavg: 4.17 4.12 4.11 5/248 329513
/proc/meminfo: memFree=123450496/131655788 swapFree=131071472/131071996
[pid=329492] ppid=329489 vsize=9932 memory=2756 CPUtime=0 cores=5,7
/proc/329492/stat : 329492 (Hybrid-CASHWMax) S 329489 329492 329278 0 -1 4194304 243 103 0 0 0 0 0 0 20 0 1 0 62318046 10170368 689 134679101440 94117947420672 94117948499992 140720714663632 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94117950598448 94117950645636 94117962862592 140720714671060 140720714671218 140720714671218 140720714678229 0

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

/proc/330395/statm: 560826 527782 748 737 0 559914 0
Current children cumulated CPU time: 3392.87 s
Current children cumulated vsize: 2261896 KiB
Current children cumulated memory: 2114968 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.10 6/247 331516
/proc/meminfo: memFree=126198612/131655788 swapFree=131071472/131071996
[pid=329492] ppid=329489 vsize=9932 memory=2824 CPUtime=1792.69 cores=5,7
/proc/329492/stat : 329492 (Hybrid-CASHWMax) S 329489 329492 329278 0 -1 4194304 276 445333 0 0 0 0 179044 225 20 0 1 0 62318046 10170368 706 134679101440 94117947420672 94117948499992 140720714663632 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94117950598448 94117950645636 94117962862592 140720714671060 140720714671218 140720714671218 140720714678229 0
/proc/329492/statm: 2483 706 612 264 0 134 0
[pid=330394] ppid=329492 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/330394/stat : 330394 (timeout) S 329492 330394 329278 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62497852 8867840 254 134679101440 94811972104192 94811972139208 140735613318016 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94811974236624 94811974238756 94811980292096 140735613322232 140735613322401 140735613322401 140735613329383 0
/proc/330394/statm: 2165 254 230 9 0 87 0
[pid=330395] ppid=330394 vsize=2243304 memory=2111128 CPUtime=1660.06 cores=5,7
/proc/330395/stat : 330395 (Exact) R 330394 330394 329278 0 -1 4194304 308083 0 0 0 165904 102 0 0 20 0 1 0 62497853 2297143296 527782 134679101440 4194304 7210733 140723147990304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3 0 0 7850304 7914896 44011520 140723147998228 140723147998378 140723147998378 140723148005360 0
/proc/330395/statm: 560826 527782 748 737 0 559914 0
Current children cumulated CPU time: 3452.75 s
Current children cumulated vsize: 2261896 KiB
Current children cumulated memory: 2114968 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/246 331527
/proc/meminfo: memFree=126157776/131655788 swapFree=131071472/131071996
[pid=329492] ppid=329489 vsize=9932 memory=2824 CPUtime=1792.69 cores=5,7
/proc/329492/stat : 329492 (Hybrid-CASHWMax) S 329489 329492 329278 0 -1 4194304 276 445333 0 0 0 0 179044 225 20 0 1 0 62318046 10170368 706 134679101440 94117947420672 94117948499992 140720714663632 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94117950598448 94117950645636 94117962862592 140720714671060 140720714671218 140720714671218 140720714678229 0
/proc/329492/statm: 2483 706 612 264 0 134 0
[pid=330394] ppid=329492 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/330394/stat : 330394 (timeout) S 329492 330394 329278 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62497852 8867840 254 134679101440 94811972104192 94811972139208 140735613318016 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94811974236624 94811974238756 94811980292096 140735613322232 140735613322401 140735613322401 140735613329383 0
/proc/330394/statm: 2165 254 230 9 0 87 0
[pid=330395] ppid=330394 vsize=2243304 memory=2111128 CPUtime=1719.93 cores=5,7
/proc/330395/stat : 330395 (Exact) R 330394 330394 329278 0 -1 4194304 308948 0 0 0 171891 102 0 0 20 0 1 0 62497853 2297143296 527782 134679101440 4194304 7210733 140723147990304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3 0 0 7850304 7914896 44011520 140723147998228 140723147998378 140723147998378 140723148005360 0
/proc/330395/statm: 560826 527782 748 737 0 559914 0
Current children cumulated CPU time: 3512.62 s
Current children cumulated vsize: 2261896 KiB
Current children cumulated memory: 2114968 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/250 331545
/proc/meminfo: memFree=126098292/131655788 swapFree=131071472/131071996
[pid=329492] ppid=329489 vsize=9932 memory=2824 CPUtime=1792.69 cores=5,7
/proc/329492/stat : 329492 (Hybrid-CASHWMax) S 329489 329492 329278 0 -1 4194304 276 445333 0 0 0 0 179044 225 20 0 1 0 62318046 10170368 706 134679101440 94117947420672 94117948499992 140720714663632 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94117950598448 94117950645636 94117962862592 140720714671060 140720714671218 140720714671218 140720714678229 0
/proc/329492/statm: 2483 706 612 264 0 134 0
[pid=330394] ppid=329492 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/330394/stat : 330394 (timeout) S 329492 330394 329278 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62497852 8867840 254 134679101440 94811972104192 94811972139208 140735613318016 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94811974236624 94811974238756 94811980292096 140735613322232 140735613322401 140735613322401 140735613329383 0
/proc/330394/statm: 2165 254 230 9 0 87 0
[pid=330395] ppid=330394 vsize=2243304 memory=2111128 CPUtime=1779.8 cores=5,7
/proc/330395/stat : 330395 (Exact) R 330394 330394 329278 0 -1 4194304 309998 0 0 0 177878 102 0 0 20 0 1 0 62497853 2297143296 527782 134679101440 4194304 7210733 140723147990304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3 0 0 7850304 7914896 44011520 140723147998228 140723147998378 140723147998378 140723148005360 0
/proc/330395/statm: 560826 527782 748 737 0 559914 0
Current children cumulated CPU time: 3572.49 s
Current children cumulated vsize: 2261896 KiB
Current children cumulated memory: 2114968 KiB

[startup+3596.11 s]
# the end of solver process 329492 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3583 s, system=3.30433 s

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

[startup+3584 s]*
/proc/loadavg: 4.15 4.12 4.09 5/250 331545
/proc/meminfo: memFree=126098292/131655788 swapFree=131071472/131071996
[pid=329492] ppid=329489 vsize=9932 memory=2824 CPUtime=1792.69 cores=5,7
/proc/329492/stat : 329492 (Hybrid-CASHWMax) S 329489 329492 329278 0 -1 4194304 276 445333 0 0 0 0 179044 225 20 0 1 0 62318046 10170368 706 134679101440 94117947420672 94117948499992 140720714663632 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94117950598448 94117950645636 94117962862592 140720714671060 140720714671218 140720714671218 140720714678229 0
/proc/329492/statm: 2483 706 612 264 0 134 0
[pid=330394] ppid=329492 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/330394/stat : 330394 (timeout) S 329492 330394 329278 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62497852 8867840 254 134679101440 94811972104192 94811972139208 140735613318016 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94811974236624 94811974238756 94811980292096 140735613322232 140735613322401 140735613322401 140735613329383 0
/proc/330394/statm: 2165 254 230 9 0 87 0
[pid=330395] ppid=330394 vsize=2243304 memory=2111128 CPUtime=1781.51 cores=5,7
/proc/330395/stat : 330395 (Exact) R 330394 330394 329278 0 -1 4194304 309999 0 0 0 178049 102 0 0 20 0 1 0 62497853 2297143296 527782 134679101440 4194304 7210733 140723147990304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3 0 0 7850304 7914896 44011520 140723147998228 140723147998378 140723147998378 140723148005360 0
/proc/330395/statm: 560826 527782 748 737 0 559914 0
Current children cumulated CPU time: 3574.2 s
Current children cumulated vsize: 2261896 KiB
Current children cumulated memory: 2114968 KiB

[startup+3590.4 s]
/proc/loadavg: 4.21 4.13 4.10 5/250 331546
/proc/meminfo: memFree=126091404/131655788 swapFree=131071472/131071996
[pid=329492] ppid=329489 vsize=9932 memory=2824 CPUtime=1792.69 cores=5,7
/proc/329492/stat : 329492 (Hybrid-CASHWMax) S 329489 329492 329278 0 -1 4194304 276 445333 0 0 0 0 179044 225 20 0 1 0 62318046 10170368 706 134679101440 94117947420672 94117948499992 140720714663632 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94117950598448 94117950645636 94117962862592 140720714671060 140720714671218 140720714671218 140720714678229 0
/proc/329492/statm: 2483 706 612 264 0 134 0
[pid=330394] ppid=329492 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/330394/stat : 330394 (timeout) S 329492 330394 329278 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62497852 8867840 254 134679101440 94811972104192 94811972139208 140735613318016 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94811974236624 94811974238756 94811980292096 140735613322232 140735613322401 140735613322401 140735613329383 0
/proc/330394/statm: 2165 254 230 9 0 87 0
[pid=330395] ppid=330394 vsize=2243304 memory=2111128 CPUtime=1787.88 cores=5,7
/proc/330395/stat : 330395 (Exact) R 330394 330394 329278 0 -1 4194304 310131 0 0 0 178686 102 0 0 20 0 1 0 62497853 2297143296 527782 134679101440 4194304 7210733 140723147990304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3 0 0 7850304 7914896 44011520 140723147998228 140723147998378 140723147998378 140723148005360 0
/proc/330395/statm: 560826 527782 748 737 0 559914 0
Current children cumulated CPU time: 3580.57 s
Current children cumulated vsize: 2261896 KiB
Current children cumulated memory: 2114968 KiB

[startup+3593.6 s]
/proc/loadavg: 4.21 4.13 4.10 5/250 331546
/proc/meminfo: memFree=126085092/131655788 swapFree=131071472/131071996
[pid=329492] ppid=329489 vsize=9932 memory=2824 CPUtime=1792.69 cores=5,7
/proc/329492/stat : 329492 (Hybrid-CASHWMax) S 329489 329492 329278 0 -1 4194304 276 445333 0 0 0 0 179044 225 20 0 1 0 62318046 10170368 706 134679101440 94117947420672 94117948499992 140720714663632 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94117950598448 94117950645636 94117962862592 140720714671060 140720714671218 140720714671218 140720714678229 0
/proc/329492/statm: 2483 706 612 264 0 134 0
[pid=330394] ppid=329492 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/330394/stat : 330394 (timeout) S 329492 330394 329278 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62497852 8867840 254 134679101440 94811972104192 94811972139208 140735613318016 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94811974236624 94811974238756 94811980292096 140735613322232 140735613322401 140735613322401 140735613329383 0
/proc/330394/statm: 2165 254 230 9 0 87 0
[pid=330395] ppid=330394 vsize=2243304 memory=2111128 CPUtime=1791.08 cores=5,7
/proc/330395/stat : 330395 (Exact) R 330394 330394 329278 0 -1 4194304 310260 0 0 0 179006 102 0 0 20 0 1 0 62497853 2297143296 527782 134679101440 4194304 7210733 140723147990304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3 0 0 7850304 7914896 44011520 140723147998228 140723147998378 140723147998378 140723148005360 0
/proc/330395/statm: 560826 527782 748 737 0 559914 0
Current children cumulated CPU time: 3583.77 s
Current children cumulated vsize: 2261896 KiB
Current children cumulated memory: 2114968 KiB

[startup+3595.2 s]
/proc/loadavg: 4.19 4.13 4.10 5/250 331546
/proc/meminfo: memFree=126084308/131655788 swapFree=131071472/131071996
[pid=329492] ppid=329489 vsize=9932 memory=2824 CPUtime=1792.69 cores=5,7
/proc/329492/stat : 329492 (Hybrid-CASHWMax) S 329489 329492 329278 0 -1 4194304 276 445333 0 0 0 0 179044 225 20 0 1 0 62318046 10170368 706 134679101440 94117947420672 94117948499992 140720714663632 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94117950598448 94117950645636 94117962862592 140720714671060 140720714671218 140720714671218 140720714678229 0
/proc/329492/statm: 2483 706 612 264 0 134 0
[pid=330394] ppid=329492 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/330394/stat : 330394 (timeout) S 329492 330394 329278 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62497852 8867840 254 134679101440 94811972104192 94811972139208 140735613318016 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94811974236624 94811974238756 94811980292096 140735613322232 140735613322401 140735613322401 140735613329383 0
/proc/330394/statm: 2165 254 230 9 0 87 0
[pid=330395] ppid=330394 vsize=2243304 memory=2111128 CPUtime=1792.67 cores=5,7
/proc/330395/stat : 330395 (Exact) R 330394 330394 329278 0 -1 4194304 310261 0 0 0 179165 102 0 0 20 0 1 0 62497853 2297143296 527782 134679101440 4194304 7210733 140723147990304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3 0 0 7850304 7914896 44011520 140723147998228 140723147998378 140723147998378 140723148005360 0
/proc/330395/statm: 560826 527782 748 737 0 559914 0
Current children cumulated CPU time: 3585.36 s
Current children cumulated vsize: 2261896 KiB
Current children cumulated memory: 2114968 KiB

[startup+3595.6 s]
/proc/loadavg: 4.19 4.13 4.10 5/250 331546
/proc/meminfo: memFree=126084308/131655788 swapFree=131071472/131071996
[pid=329492] ppid=329489 vsize=9932 memory=2824 CPUtime=1792.69 cores=5,7
/proc/329492/stat : 329492 (Hybrid-CASHWMax) S 329489 329492 329278 0 -1 4194304 276 445333 0 0 0 0 179044 225 20 0 1 0 62318046 10170368 706 134679101440 94117947420672 94117948499992 140720714663632 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94117950598448 94117950645636 94117962862592 140720714671060 140720714671218 140720714671218 140720714678229 0
/proc/329492/statm: 2483 706 612 264 0 134 0
[pid=330394] ppid=329492 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/330394/stat : 330394 (timeout) S 329492 330394 329278 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62497852 8867840 254 134679101440 94811972104192 94811972139208 140735613318016 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94811974236624 94811974238756 94811980292096 140735613322232 140735613322401 140735613322401 140735613329383 0
/proc/330394/statm: 2165 254 230 9 0 87 0
[pid=330395] ppid=330394 vsize=2243304 memory=2111128 CPUtime=1793.07 cores=5,7
/proc/330395/stat : 330395 (Exact) R 330394 330394 329278 0 -1 4194304 310261 0 0 0 179205 102 0 0 20 0 1 0 62497853 2297143296 527782 134679101440 4194304 7210733 140723147990304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3 0 0 7850304 7914896 44011520 140723147998228 140723147998378 140723147998378 140723148005360 0
/proc/330395/statm: 560826 527782 748 737 0 559914 0
Current children cumulated CPU time: 3585.76 s
Current children cumulated vsize: 2261896 KiB
Current children cumulated memory: 2114968 KiB

[startup+3596 s]*
/proc/loadavg: 4.19 4.13 4.10 5/250 331546
/proc/meminfo: memFree=126079912/131655788 swapFree=131071472/131071996
[pid=329492] ppid=329489 vsize=9932 memory=2824 CPUtime=1792.69 cores=5,7
/proc/329492/stat : 329492 (Hybrid-CASHWMax) S 329489 329492 329278 0 -1 4194304 276 445333 0 0 0 0 179044 225 20 0 1 0 62318046 10170368 706 134679101440 94117947420672 94117948499992 140720714663632 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94117950598448 94117950645636 94117962862592 140720714671060 140720714671218 140720714671218 140720714678229 0
/proc/329492/statm: 2483 706 612 264 0 134 0
[pid=330394] ppid=329492 vsize=8660 memory=1016 CPUtime=0 cores=5,7
/proc/330394/stat : 330394 (timeout) S 329492 330394 329278 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62497852 8867840 254 134679101440 94811972104192 94811972139208 140735613318016 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94811974236624 94811974238756 94811980292096 140735613322232 140735613322401 140735613322401 140735613329383 0
/proc/330394/statm: 2165 254 230 9 0 87 0
[pid=330395] ppid=330394 vsize=2243304 memory=2111128 CPUtime=1793.48 cores=5,7
/proc/330395/stat : 330395 (Exact) R 330394 330394 329278 0 -1 4194304 310262 0 0 0 179246 102 0 0 20 0 1 0 62497853 2297143296 527782 134679101440 4194304 7210733 140723147990304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3 0 0 7850304 7914896 44011520 140723147998228 140723147998378 140723147998378 140723148005360 0
/proc/330395/statm: 560826 527782 748 737 0 559914 0
Current children cumulated CPU time: 3586.17 s
Current children cumulated vsize: 2261896 KiB
Current children cumulated memory: 2114968 KiB

Child status: 0

Real time (s): 3596.11
CPU time (s): 3586.3
CPU user time (s): 3583
CPU system time (s): 3.30433
CPU usage (%): 99.7273
Max. virtual memory (cumulated for all children) (KiB): 6401880
Max. memory (cumulated for all children) (KiB): 5621264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583
system time used= 3.30433
maximum resident set size= 5617476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 759006
page faults= 0
swaps= 0
block input operations= 0
block output operations= 528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 418
involuntary context switches= 5056


# summary of solver processes directly reported to runsolver:
#   pid: 329492
#   total CPU time (s): 3586.3
#   total CPU user time (s): 3583
#   total CPU system time (s): 3.30433

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5528 second user time and 41.6623 second system time

The end

Begin job on nodeC008 at 2024-08-06 17:51:13
IDJOB=4438218
IDBENCH=146793
IDSOLVER=3073
FILE ID=nodeC008/4438218-1722959473
RUNJOBID= nodeC008-1722959025-329291
SLURM_JOB_ID= 8259027
Free space on /tmp= 723728 MiB

SOLVER NAME= Hybrid-CASHWMaxSATDisjComS+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp98ic.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjComS+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438218-1722959473/watcher-4438218-1722959473 -o /tmp/evaluation-result-4438218-1722959473/solver-4438218-1722959473 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722959025-329291 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4438218-1722959473.opb 3600 HOME 31000

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

MD5SUM BENCH= f5b507fec305347e12cc700790213fb8
RANDOM SEED=1167477329

nodeC008.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3676.395
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3667.249
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.27
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.527
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.517
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.27
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3676.466
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.369
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.27
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.543
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.369
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.27
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128093024 kB
MemAvailable:   128787488 kB
Buffers:          335376 kB
Cached:          1209156 kB
SwapCached:           72 kB
Active:           602952 kB
Inactive:        2491584 kB
Active(anon):       1528 kB
Inactive(anon):  1586000 kB
Active(file):     601424 kB
Inactive(file):   905584 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071472 kB
Dirty:             20520 kB
Writeback:            56 kB
AnonPages:       1549764 kB
Mapped:           130808 kB
Shmem:             37488 kB
KReclaimable:      54976 kB
Slab:             140368 kB
SReclaimable:      54976 kB
SUnreclaim:        85392 kB
KernelStack:        3968 kB
PageTables:        12976 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    2005524 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            22944 kB
HardwareCorrupted:     0 kB
AnonHugePages:    665600 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      269128 kB
DirectMap2M:    22704128 kB
DirectMap1G:    113246208 kB

Free space on /tmp at the end= 723712 MiB
End job on nodeC008 at 2024-08-06 18:51:10