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

OK	4703

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3711684-1338204969/watcher-3711684-1338204969 -o /tmp/evaluation-result-3711684-1338204969/solver-3711684-1338204969 -C 1800 -W 1900 -M 15500 HOME/clasp-wbo.sh HOME/instance-3711684-1338204969.wbo 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 14429
/proc/meminfo: memFree=29851552/32873844 swapFree=7628/7628
[pid=14429] ppid=14427 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14429/stat : 14429 (clasp-wbo.sh) S 14427 14429 12592 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 286621300 9371648 275 33554432000 4194304 5064252 140734738654736 140734738653648 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14429/statm: 2288 275 232 213 0 73 0

[startup+0.0665319 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 14429
/proc/meminfo: memFree=29851552/32873844 swapFree=7628/7628
[pid=14429] ppid=14427 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14429/stat : 14429 (clasp-wbo.sh) S 14427 14429 12592 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 286621300 9371648 275 33554432000 4194304 5064252 140734738654736 140734738653648 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14429/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.100339 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 14429
/proc/meminfo: memFree=29851552/32873844 swapFree=7628/7628
[pid=14429] ppid=14427 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14429/stat : 14429 (clasp-wbo.sh) S 14427 14429 12592 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 286621300 9371648 275 33554432000 4194304 5064252 140734738654736 140734738653648 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14429/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.300259 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 14429
/proc/meminfo: memFree=29851552/32873844 swapFree=7628/7628
[pid=14429] ppid=14427 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14429/stat : 14429 (clasp-wbo.sh) S 14427 14429 12592 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 286621300 9371648 275 33554432000 4194304 5064252 140734738654736 140734738653648 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14429/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.700316 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 14429
/proc/meminfo: memFree=29851552/32873844 swapFree=7628/7628
[pid=14429] ppid=14427 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14429/stat : 14429 (clasp-wbo.sh) S 14427 14429 12592 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 286621300 9371648 275 33554432000 4194304 5064252 140734738654736 140734738653648 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14429/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+1.50036 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 14431
/proc/meminfo: memFree=29836036/32873844 swapFree=7628/7628
[pid=14429] ppid=14427 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14429/stat : 14429 (clasp-wbo.sh) S 14427 14429 12592 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 286621300 9371648 275 33554432000 4194304 5064252 140734738654736 140734738653648 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14429/statm: 2288 275 232 213 0 73 0
[pid=14430] ppid=14429 vsize=18808 CPUtime=1.49 cores=0,2,4,6
/proc/14430/stat : 14430 (clasp-R5325) R 14429 14429 12592 0 -1 4202496 4663 0 0 0 148 1 0 0 20 0 1 0 286621300 19259392 4376 33554432000 4194304 6212839 140734334761936 140734334759944 4355148 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/14430/statm: 4702 4376 235 493 0 4207 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27960

[startup+3.10028 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 14431
/proc/meminfo: memFree=29831828/32873844 swapFree=7628/7628
[pid=14429] ppid=14427 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14429/stat : 14429 (clasp-wbo.sh) S 14427 14429 12592 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 286621300 9371648 275 33554432000 4194304 5064252 140734738654736 140734738653648 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14429/statm: 2288 275 232 213 0 73 0
[pid=14430] ppid=14429 vsize=22128 CPUtime=3.09 cores=0,2,4,6
/proc/14430/stat : 14430 (clasp-R5325) R 14429 14429 12592 0 -1 4202496 5490 0 0 0 308 1 0 0 20 0 1 0 286621300 22659072 5203 33554432000 4194304 6212839 140734334761936 140734334759944 4744763 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/14430/statm: 5532 5203 235 493 0 5037 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31280

[startup+6.30032 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 14431
/proc/meminfo: memFree=29824628/32873844 swapFree=7628/7628
[pid=14429] ppid=14427 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14429/stat : 14429 (clasp-wbo.sh) S 14427 14429 12592 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 286621300 9371648 275 33554432000 4194304 5064252 140734738654736 140734738653648 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14429/statm: 2288 275 232 213 0 73 0
[pid=14430] ppid=14429 vsize=26956 CPUtime=6.29 cores=0,2,4,6
/proc/14430/stat : 14430 (clasp-R5325) R 14429 14429 12592 0 -1 4202496 6717 0 0 0 628 1 0 0 20 0 1 0 286621300 27602944 6430 33554432000 4194304 6212839 140734334761936 140734334759944 4686038 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/14430/statm: 6739 6430 237 493 0 6244 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36108

[startup+12.7003 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 14431
/proc/meminfo: memFree=29818948/32873844 swapFree=7628/7628
[pid=14429] ppid=14427 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14429/stat : 14429 (clasp-wbo.sh) S 14427 14429 12592 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 286621300 9371648 275 33554432000 4194304 5064252 140734738654736 140734738653648 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14429/statm: 2288 275 232 213 0 73 0
[pid=14430] ppid=14429 vsize=31856 CPUtime=12.68 cores=0,2,4,6
/proc/14430/stat : 14430 (clasp-R5325) R 14429 14429 12592 0 -1 4202496 7938 0 0 0 1267 1 0 0 20 0 1 0 286621300 32620544 7651 33554432000 4194304 6212839 140734334761936 140734334759944 4334949 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/14430/statm: 7964 7651 237 493 0 7469 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 41008

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14431
/proc/meminfo: memFree=29811796/32873844 swapFree=7628/7628
[pid=14429] ppid=14427 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14429/stat : 14429 (clasp-wbo.sh) S 14427 14429 12592 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 286621300 9371648 275 33554432000 4194304 5064252 140734738654736 140734738653648 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14429/statm: 2288 275 232 213 0 73 0
[pid=14430] ppid=14429 vsize=36348 CPUtime=25.48 cores=0,2,4,6
/proc/14430/stat : 14430 (clasp-R5325) R 14429 14429 12592 0 -1 4202496 9064 0 0 0 2546 2 0 0 20 0 1 0 286621300 37220352 8771 33554432000 4194304 6212839 140734334761936 140734334759944 4333818 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/14430/statm: 9087 8771 237 493 0 8592 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 45500

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14431
/proc/meminfo: memFree=29802044/32873844 swapFree=7628/7628
[pid=14429] ppid=14427 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14429/stat : 14429 (clasp-wbo.sh) S 14427 14429 12592 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 286621300 9371648 275 33554432000 4194304 5064252 140734738654736 140734738653648 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14429/statm: 2288 275 232 213 0 73 0
[pid=14430] ppid=14429 vsize=45068 CPUtime=51.07 cores=0,2,4,6
/proc/14430/stat : 14430 (clasp-R5325) R 14429 14429 12592 0 -1 4202496 11241 0 0 0 5105 2 0 0 20 0 1 0 286621300 46149632 10950 33554432000 4194304 6212839 140734334761936 140734334759944 4355139 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/14430/statm: 11267 10950 237 493 0 10772 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 54220

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14431
/proc/meminfo: memFree=29792300/32873844 swapFree=7628/7628
[pid=14429] ppid=14427 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14429/stat : 14429 (clasp-wbo.sh) S 14427 14429 12592 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 286621300 9371648 275 33554432000 4194304 5064252 140734738654736 140734738653648 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14429/statm: 2288 275 232 213 0 73 0
[pid=14430] ppid=14429 vsize=50348 CPUtime=102.26 cores=0,2,4,6
/proc/14430/stat : 14430 (clasp-R5325) R 14429 14429 12592 0 -1 4202496 12569 0 0 0 10223 3 0 0 20 0 1 0 286621300 51556352 12278 33554432000 4194304 6212839 140734334761936 140734334759944 4308193 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/14430/statm: 12587 12278 237 493 0 12092 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 59500

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14431
/proc/meminfo: memFree=29780944/32873844 swapFree=7628/7628
[pid=14429] ppid=14427 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14429/stat : 14429 (clasp-wbo.sh) S 14427 14429 12592 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 286621300 9371648 275 33554432000 4194304 5064252 140734738654736 140734738653648 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14429/statm: 2288 275 232 213 0 73 0
[pid=14430] ppid=14429 vsize=59136 CPUtime=162.24 cores=0,2,4,6
/proc/14430/stat : 14430 (clasp-R5325) R 14429 14429 12592 0 -1 4202496 14765 0 0 0 16221 3 0 0 20 0 1 0 286621300 60555264 14485 33554432000 4194304 6212839 140734334761936 140734334759944 4307552 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/14430/statm: 14784 14485 237 493 0 14289 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 68288

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14431
/proc/meminfo: memFree=29777776/32873844 swapFree=7628/7628
[pid=14429] ppid=14427 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14429/stat : 14429 (clasp-wbo.sh) S 14427 14429 12592 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 286621300 9371648 275 33554432000 4194304 5064252 140734738654736 140734738653648 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14429/statm: 2288 275 232 213 0 73 0
[pid=14430] ppid=14429 vsize=62492 CPUtime=222.23 cores=0,2,4,6
/proc/14430/stat : 14430 (clasp-R5325) R 14429 14429 12592 0 -1 4202496 15593 0 0 0 22220 3 0 0 20 0 1 0 286621300 63991808 15313 33554432000 4194304 6212839 140734334761936 140734334759944 4705052 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/14430/statm: 15623 15313 237 493 0 15128 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 71644

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 14434
/proc/meminfo: memFree=29774664/32873844 swapFree=7628/7628
[pid=14429] ppid=14427 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14429/stat : 14429 (clasp-wbo.sh) S 14427 14429 12592 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 286621300 9371648 275 33554432000 4194304 5064252 140734738654736 140734738653648 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14429/statm: 2288 275 232 213 0 73 0
[pid=14430] ppid=14429 vsize=64472 CPUtime=282.22 cores=0,2,4,6
/proc/14430/stat : 14430 (clasp-R5325) R 14429 14429 12592 0 -1 4202496 16080 0 0 0 28218 4 0 0 20 0 1 0 286621300 66019328 15800 33554432000 4194304 6212839 140734334761936 140734334760344 4333860 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/14430/statm: 16118 15800 237 493 0 15623 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 73624

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14435
/proc/meminfo: memFree=29766232/32873844 swapFree=7628/7628
[pid=14429] ppid=14427 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14429/stat : 14429 (clasp-wbo.sh) S 14427 14429 12592 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 286621300 9371648 275 33554432000 4194304 5064252 140734738654736 140734738653648 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14429/statm: 2288 275 232 213 0 73 0
[pid=14430] ppid=14429 vsize=70940 CPUtime=342.21 cores=0,2,4,6
/proc/14430/stat : 14430 (clasp-R5325) R 14429 14429 12592 0 -1 4202496 17697 0 0 0 34217 4 0 0 20 0 1 0 286621300 72642560 17427 33554432000 4194304 6212839 140734334761936 140734334759944 4743867 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/14430/statm: 17735 17427 237 493 0 17240 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 80092

[startup+402.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 14435
/proc/meminfo: memFree=29762260/32873844 swapFree=7628/7628
[pid=14429] ppid=14427 vsize=9152 CPUtime=0 cores=0,2,4,6

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

/proc/14430/statm: 24461 24145 237 493 0 23966 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 106996

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14440
/proc/meminfo: memFree=29730548/32873844 swapFree=7628/7628
[pid=14429] ppid=14427 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14429/stat : 14429 (clasp-wbo.sh) S 14427 14429 12592 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 286621300 9371648 275 33554432000 4194304 5064252 140734738654736 140734738653648 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14429/statm: 2288 275 232 213 0 73 0
[pid=14430] ppid=14429 vsize=100220 CPUtime=1182.07 cores=0,2,4,6
/proc/14430/stat : 14430 (clasp-R5325) R 14429 14429 12592 0 -1 4202496 27348 0 0 0 118200 7 0 0 20 0 1 0 286621300 102625280 24737 33554432000 4194304 6212839 140734334761936 140734334759944 4308147 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/14430/statm: 25055 24737 237 493 0 24560 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 109372

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14441
/proc/meminfo: memFree=29725328/32873844 swapFree=7628/7628
[pid=14429] ppid=14427 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14429/stat : 14429 (clasp-wbo.sh) S 14427 14429 12592 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 286621300 9371648 275 33554432000 4194304 5064252 140734738654736 140734738653648 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14429/statm: 2288 275 232 213 0 73 0
[pid=14430] ppid=14429 vsize=103644 CPUtime=1242.06 cores=0,2,4,6
/proc/14430/stat : 14430 (clasp-R5325) R 14429 14429 12592 0 -1 4202496 28403 0 0 0 124199 7 0 0 20 0 1 0 286621300 106131456 25615 33554432000 4194304 6212839 140734334761936 140734334760232 4743798 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/14430/statm: 25911 25615 237 493 0 25416 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 112796

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14441
/proc/meminfo: memFree=29725204/32873844 swapFree=7628/7628
[pid=14429] ppid=14427 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14429/stat : 14429 (clasp-wbo.sh) S 14427 14429 12592 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 286621300 9371648 275 33554432000 4194304 5064252 140734738654736 140734738653648 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14429/statm: 2288 275 232 213 0 73 0
[pid=14430] ppid=14429 vsize=103644 CPUtime=1302.05 cores=0,2,4,6
/proc/14430/stat : 14430 (clasp-R5325) R 14429 14429 12592 0 -1 4202496 28403 0 0 0 130198 7 0 0 20 0 1 0 286621300 106131456 25615 33554432000 4194304 6212839 140734334761936 140734334760232 4308187 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/14430/statm: 25911 25615 237 493 0 25416 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 112796

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14441
/proc/meminfo: memFree=29724832/32873844 swapFree=7628/7628
[pid=14429] ppid=14427 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14429/stat : 14429 (clasp-wbo.sh) S 14427 14429 12592 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 286621300 9371648 275 33554432000 4194304 5064252 140734738654736 140734738653648 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14429/statm: 2288 275 232 213 0 73 0
[pid=14430] ppid=14429 vsize=103644 CPUtime=1362.04 cores=0,2,4,6
/proc/14430/stat : 14430 (clasp-R5325) R 14429 14429 12592 0 -1 4202496 28403 0 0 0 136197 7 0 0 20 0 1 0 286621300 106131456 25615 33554432000 4194304 6212839 140734334761936 140734334760232 4683066 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/14430/statm: 25911 25615 237 493 0 25416 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 112796

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14441
/proc/meminfo: memFree=29724832/32873844 swapFree=7628/7628
[pid=14429] ppid=14427 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14429/stat : 14429 (clasp-wbo.sh) S 14427 14429 12592 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 286621300 9371648 275 33554432000 4194304 5064252 140734738654736 140734738653648 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14429/statm: 2288 275 232 213 0 73 0
[pid=14430] ppid=14429 vsize=103644 CPUtime=1422.03 cores=0,2,4,6
/proc/14430/stat : 14430 (clasp-R5325) R 14429 14429 12592 0 -1 4202496 28403 0 0 0 142196 7 0 0 20 0 1 0 286621300 106131456 25615 33554432000 4194304 6212839 140734334761936 140734334760232 4683176 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/14430/statm: 25911 25615 237 493 0 25416 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 112796

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 14444
/proc/meminfo: memFree=29724080/32873844 swapFree=7628/7628
[pid=14429] ppid=14427 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14429/stat : 14429 (clasp-wbo.sh) S 14427 14429 12592 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 286621300 9371648 275 33554432000 4194304 5064252 140734738654736 140734738653648 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14429/statm: 2288 275 232 213 0 73 0
[pid=14430] ppid=14429 vsize=103644 CPUtime=1482.02 cores=0,2,4,6
/proc/14430/stat : 14430 (clasp-R5325) R 14429 14429 12592 0 -1 4202496 28403 0 0 0 148195 7 0 0 20 0 1 0 286621300 106131456 25615 33554432000 4194304 6212839 140734334761936 140734334760232 4333831 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/14430/statm: 25911 25615 237 493 0 25416 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 112796

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 14468
/proc/meminfo: memFree=29723336/32873844 swapFree=7628/7628
[pid=14429] ppid=14427 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14429/stat : 14429 (clasp-wbo.sh) S 14427 14429 12592 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 286621300 9371648 275 33554432000 4194304 5064252 140734738654736 140734738653648 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14429/statm: 2288 275 232 213 0 73 0
[pid=14430] ppid=14429 vsize=105624 CPUtime=1542.01 cores=0,2,4,6
/proc/14430/stat : 14430 (clasp-R5325) R 14429 14429 12592 0 -1 4202496 28896 0 0 0 154194 7 0 0 20 0 1 0 286621300 108158976 26108 33554432000 4194304 6212839 140734334761936 140734334759944 4333776 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/14430/statm: 26406 26108 237 493 0 25911 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 114776

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14468
/proc/meminfo: memFree=29723900/32873844 swapFree=7628/7628
[pid=14429] ppid=14427 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14429/stat : 14429 (clasp-wbo.sh) S 14427 14429 12592 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 286621300 9371648 275 33554432000 4194304 5064252 140734738654736 140734738653648 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14429/statm: 2288 275 232 213 0 73 0
[pid=14430] ppid=14429 vsize=104656 CPUtime=1602.01 cores=0,2,4,6
/proc/14430/stat : 14430 (clasp-R5325) R 14429 14429 12592 0 -1 4202496 28897 0 0 0 160193 8 0 0 20 0 1 0 286621300 107167744 25871 33554432000 4194304 6212839 140734334761936 140734334760232 4705179 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/14430/statm: 26164 25871 237 493 0 25669 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 113808

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14468
/proc/meminfo: memFree=29722164/32873844 swapFree=7628/7628
[pid=14429] ppid=14427 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14429/stat : 14429 (clasp-wbo.sh) S 14427 14429 12592 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 286621300 9371648 275 33554432000 4194304 5064252 140734738654736 140734738653648 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14429/statm: 2288 275 232 213 0 73 0
[pid=14430] ppid=14429 vsize=107044 CPUtime=1662 cores=0,2,4,6
/proc/14430/stat : 14430 (clasp-R5325) R 14429 14429 12592 0 -1 4202496 29727 0 0 0 166192 8 0 0 20 0 1 0 286621300 109613056 26440 33554432000 4194304 6212839 140734334761936 140734334759944 4335298 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/14430/statm: 26761 26440 237 493 0 26266 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 116196

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14468
/proc/meminfo: memFree=29719312/32873844 swapFree=7628/7628
[pid=14429] ppid=14427 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14429/stat : 14429 (clasp-wbo.sh) S 14427 14429 12592 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 286621300 9371648 275 33554432000 4194304 5064252 140734738654736 140734738653648 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14429/statm: 2288 275 232 213 0 73 0
[pid=14430] ppid=14429 vsize=111340 CPUtime=1721.98 cores=0,2,4,6
/proc/14430/stat : 14430 (clasp-R5325) R 14429 14429 12592 0 -1 4202496 30806 0 0 0 172190 8 0 0 20 0 1 0 286621300 114012160 27519 33554432000 4194304 6212839 140734334761936 140734334759944 4683115 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/14430/statm: 27835 27519 237 493 0 27340 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 120492

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14468
/proc/meminfo: memFree=29715964/32873844 swapFree=7628/7628
[pid=14429] ppid=14427 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14429/stat : 14429 (clasp-wbo.sh) S 14427 14429 12592 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 286621300 9371648 275 33554432000 4194304 5064252 140734738654736 140734738653648 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14429/statm: 2288 275 232 213 0 73 0
[pid=14430] ppid=14429 vsize=113400 CPUtime=1781.98 cores=0,2,4,6
/proc/14430/stat : 14430 (clasp-R5325) R 14429 14429 12592 0 -1 4202496 31325 0 0 0 178189 9 0 0 20 0 1 0 286621300 116121600 28048 33554432000 4194304 6212839 140734334761936 140734334759944 4328952 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/14430/statm: 28350 28048 237 493 0 27855 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 122552



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14509
/proc/meminfo: memFree=29738964/32873844 swapFree=7628/7628
[pid=14429] ppid=14427 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/14429/stat : 14429 (clasp-wbo.sh) S 14427 14429 12592 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 286621300 9371648 275 33554432000 4194304 5064252 140734738654736 140734738653648 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14429/statm: 2288 275 232 213 0 73 0
[pid=14430] ppid=14429 vsize=115420 CPUtime=1800.08 cores=0,2,4,6
/proc/14430/stat : 14430 (clasp-R5325) R 14429 14429 12592 0 -1 4202496 31802 0 0 0 179999 9 0 0 20 0 1 0 286621300 118190080 28525 33554432000 4194304 6212839 140734334761936 140734334759944 4334727 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/14430/statm: 28855 28525 237 493 0 28360 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 124572

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14429 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=999
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.41
CPU time (s): 1800.08
CPU user time (s): 1799.99
CPU system time (s): 0.09
CPU usage (%): 99.9816
Max. virtual memory (cumulated for all children) (KiB): 124572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 357
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 1

runsolver used 2.90056 second user time and 9.50455 second system time

The end

Begin job on node145 at 2012-05-28 13:36:09
IDJOB=3711684
IDBENCH=79182
IDSOLVER=2290
FILE ID=node145/3711684-1338204969
RUNJOBID= node145-1338192256-12608
PBS_JOBID= 14624578
Free space on /tmp= 71556 MiB

SOLVER NAME= clasp 2.0.6-R5325
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-101-100--soft-0-100-0.wbo
COMMAND LINE= HOME/clasp-wbo.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3711684-1338204969/watcher-3711684-1338204969 -o /tmp/evaluation-result-3711684-1338204969/solver-3711684-1338204969 -C 1800 -W 1900 -M 15500  HOME/clasp-wbo.sh HOME/instance-3711684-1338204969.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 0a60736b8b79adacf122a04a37158c9c
RANDOM SEED=725811619

node145.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5313.38
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.89
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29851824 kB
Buffers:          334704 kB
Cached:          1845120 kB
SwapCached:            0 kB
Active:           701824 kB
Inactive:        1500868 kB
Active(anon):      13956 kB
Inactive(anon):    10912 kB
Active(file):     687868 kB
Inactive(file):  1489956 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              4968 kB
Writeback:             0 kB
AnonPages:         93260 kB
Mapped:            15188 kB
Shmem:               200 kB
Slab:             679788 kB
SReclaimable:     121268 kB
SUnreclaim:       558520 kB
KernelStack:        1488 kB
PageTables:         4284 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     136556 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     63488 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71552 MiB
End job on node145 at 2012-05-28 14:06:12