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

OK	29

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-3709309-1338174015/watcher-3709309-1338174015 -o /tmp/evaluation-result-3709309-1338174015/solver-3709309-1338174015 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709309-1338174015.opb 

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.00 2.00 2.00 3/178 20637
/proc/meminfo: memFree=28767344/32873648 swapFree=7372/7372
[pid=20637] ppid=20635 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20637/stat : 20637 (clasp-opt.sh) S 20635 20637 17700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283527452 9371648 275 33554432000 4194304 5064252 140733570766336 140733570765248 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20637/statm: 2288 275 232 213 0 73 0

[startup+0.066402 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20637
/proc/meminfo: memFree=28767344/32873648 swapFree=7372/7372
[pid=20637] ppid=20635 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20637/stat : 20637 (clasp-opt.sh) S 20635 20637 17700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283527452 9371648 275 33554432000 4194304 5064252 140733570766336 140733570765248 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20637/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.100248 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20637
/proc/meminfo: memFree=28767344/32873648 swapFree=7372/7372
[pid=20637] ppid=20635 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20637/stat : 20637 (clasp-opt.sh) S 20635 20637 17700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283527452 9371648 275 33554432000 4194304 5064252 140733570766336 140733570765248 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20637/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.300228 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20637
/proc/meminfo: memFree=28767344/32873648 swapFree=7372/7372
[pid=20637] ppid=20635 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20637/stat : 20637 (clasp-opt.sh) S 20635 20637 17700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283527452 9371648 275 33554432000 4194304 5064252 140733570766336 140733570765248 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20637/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.700225 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20637
/proc/meminfo: memFree=28767344/32873648 swapFree=7372/7372
[pid=20637] ppid=20635 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20637/stat : 20637 (clasp-opt.sh) S 20635 20637 17700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283527452 9371648 275 33554432000 4194304 5064252 140733570766336 140733570765248 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20637/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20639
/proc/meminfo: memFree=28757832/32873648 swapFree=7372/7372
[pid=20637] ppid=20635 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20637/stat : 20637 (clasp-opt.sh) S 20635 20637 17700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283527452 9371648 275 33554432000 4194304 5064252 140733570766336 140733570765248 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20637/statm: 2288 275 232 213 0 73 0
[pid=20638] ppid=20637 vsize=11096 CPUtime=1.49 cores=0,2,4,6
/proc/20638/stat : 20638 (clasp-R5325) R 20637 20637 17700 0 -1 4202496 3059 0 0 0 149 0 0 0 20 0 1 0 283527452 11362304 2444 33554432000 4194304 6212839 140735189686480 140735189684888 4683825 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/20638/statm: 2774 2444 239 493 0 2279 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20248

[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20639
/proc/meminfo: memFree=28757460/32873648 swapFree=7372/7372
[pid=20637] ppid=20635 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20637/stat : 20637 (clasp-opt.sh) S 20635 20637 17700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283527452 9371648 275 33554432000 4194304 5064252 140733570766336 140733570765248 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20637/statm: 2288 275 232 213 0 73 0
[pid=20638] ppid=20637 vsize=11096 CPUtime=3.09 cores=0,2,4,6
/proc/20638/stat : 20638 (clasp-R5325) R 20637 20637 17700 0 -1 4202496 3060 0 0 0 309 0 0 0 20 0 1 0 283527452 11362304 2445 33554432000 4194304 6212839 140735189686480 140735189684888 4634928 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/20638/statm: 2774 2445 240 493 0 2279 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20248

[startup+6.30018 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20639
/proc/meminfo: memFree=28757708/32873648 swapFree=7372/7372
[pid=20637] ppid=20635 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20637/stat : 20637 (clasp-opt.sh) S 20635 20637 17700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283527452 9371648 275 33554432000 4194304 5064252 140733570766336 140733570765248 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20637/statm: 2288 275 232 213 0 73 0
[pid=20638] ppid=20637 vsize=11756 CPUtime=6.29 cores=0,2,4,6
/proc/20638/stat : 20638 (clasp-R5325) R 20637 20637 17700 0 -1 4202496 3229 0 0 0 629 0 0 0 20 0 1 0 283527452 12038144 2614 33554432000 4194304 6212839 140735189686480 140735189684488 4634964 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/20638/statm: 2939 2614 240 493 0 2444 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20908

[startup+12.7001 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20639
/proc/meminfo: memFree=28755744/32873648 swapFree=7372/7372
[pid=20637] ppid=20635 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20637/stat : 20637 (clasp-opt.sh) S 20635 20637 17700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283527452 9371648 275 33554432000 4194304 5064252 140733570766336 140733570765248 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20637/statm: 2288 275 232 213 0 73 0
[pid=20638] ppid=20637 vsize=12368 CPUtime=12.69 cores=0,2,4,6
/proc/20638/stat : 20638 (clasp-R5325) R 20637 20637 17700 0 -1 4202496 3405 0 0 0 1269 0 0 0 20 0 1 0 283527452 12664832 2790 33554432000 4194304 6212839 140735189686480 140735189684488 4635502 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/20638/statm: 3092 2790 240 493 0 2597 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21520

[startup+25.5002 s]
/proc/loadavg: 2.07 2.02 2.00 3/180 20639
/proc/meminfo: memFree=28753892/32873648 swapFree=7372/7372
[pid=20637] ppid=20635 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20637/stat : 20637 (clasp-opt.sh) S 20635 20637 17700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283527452 9371648 275 33554432000 4194304 5064252 140733570766336 140733570765248 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20637/statm: 2288 275 232 213 0 73 0
[pid=20638] ppid=20637 vsize=14620 CPUtime=25.48 cores=0,2,4,6
/proc/20638/stat : 20638 (clasp-R5325) R 20637 20637 17700 0 -1 4202496 3935 0 0 0 2548 0 0 0 20 0 1 0 283527452 14970880 3320 33554432000 4194304 6212839 140735189686480 140735189684632 4685336 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/20638/statm: 3655 3320 240 493 0 3160 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 23772

[startup+51.1002 s]
/proc/loadavg: 2.04 2.01 2.00 3/180 20662
/proc/meminfo: memFree=28749820/32873648 swapFree=7372/7372
[pid=20637] ppid=20635 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20637/stat : 20637 (clasp-opt.sh) S 20635 20637 17700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283527452 9371648 275 33554432000 4194304 5064252 140733570766336 140733570765248 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20637/statm: 2288 275 232 213 0 73 0
[pid=20638] ppid=20637 vsize=18804 CPUtime=51.07 cores=0,2,4,6
/proc/20638/stat : 20638 (clasp-R5325) R 20637 20637 17700 0 -1 4202496 4990 0 0 0 5107 0 0 0 20 0 1 0 283527452 19255296 4382 33554432000 4194304 6212839 140735189686480 140735189684488 4357232 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/20638/statm: 4701 4382 240 493 0 4206 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 27956

[startup+102.306 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 20662
/proc/meminfo: memFree=28748444/32873648 swapFree=7372/7372
[pid=20637] ppid=20635 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20637/stat : 20637 (clasp-opt.sh) S 20635 20637 17700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283527452 9371648 275 33554432000 4194304 5064252 140733570766336 140733570765248 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20637/statm: 2288 275 232 213 0 73 0
[pid=20638] ppid=20637 vsize=19508 CPUtime=102.27 cores=0,2,4,6
/proc/20638/stat : 20638 (clasp-R5325) R 20637 20637 17700 0 -1 4202496 5169 0 0 0 10227 0 0 0 20 0 1 0 283527452 19976192 4570 33554432000 4194304 6212839 140735189686480 140735189684632 4635505 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/20638/statm: 4877 4570 240 493 0 4382 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 28660

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20662
/proc/meminfo: memFree=28745044/32873648 swapFree=7372/7372
[pid=20637] ppid=20635 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20637/stat : 20637 (clasp-opt.sh) S 20635 20637 17700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283527452 9371648 275 33554432000 4194304 5064252 140733570766336 140733570765248 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20637/statm: 2288 275 232 213 0 73 0
[pid=20638] ppid=20637 vsize=22652 CPUtime=162.26 cores=0,2,4,6
/proc/20638/stat : 20638 (clasp-R5325) R 20637 20637 17700 0 -1 4202496 5947 0 0 0 16225 1 0 0 20 0 1 0 283527452 23195648 5363 33554432000 4194304 6212839 140735189686480 140735189684488 4635599 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/20638/statm: 5663 5363 240 493 0 5168 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 31804

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20663
/proc/meminfo: memFree=28743120/32873648 swapFree=7372/7372
[pid=20637] ppid=20635 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20637/stat : 20637 (clasp-opt.sh) S 20635 20637 17700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283527452 9371648 275 33554432000 4194304 5064252 140733570766336 140733570765248 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20637/statm: 2288 275 232 213 0 73 0
[pid=20638] ppid=20637 vsize=24244 CPUtime=222.25 cores=0,2,4,6
/proc/20638/stat : 20638 (clasp-R5325) R 20637 20637 17700 0 -1 4202496 6306 0 0 0 22224 1 0 0 20 0 1 0 283527452 24825856 5730 33554432000 4194304 6212839 140735189686480 140735189684632 4634964 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/20638/statm: 6061 5730 240 493 0 5566 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 33396

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20663
/proc/meminfo: memFree=28741444/32873648 swapFree=7372/7372
[pid=20637] ppid=20635 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20637/stat : 20637 (clasp-opt.sh) S 20635 20637 17700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283527452 9371648 275 33554432000 4194304 5064252 140733570766336 140733570765248 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20637/statm: 2288 275 232 213 0 73 0
[pid=20638] ppid=20637 vsize=25848 CPUtime=282.24 cores=0,2,4,6
/proc/20638/stat : 20638 (clasp-R5325) R 20637 20637 17700 0 -1 4202496 6693 0 0 0 28223 1 0 0 20 0 1 0 283527452 26468352 6130 33554432000 4194304 6212839 140735189686480 140735189684488 4634964 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/20638/statm: 6462 6130 240 493 0 5967 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 35000

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20663
/proc/meminfo: memFree=28738004/32873648 swapFree=7372/7372
[pid=20637] ppid=20635 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20637/stat : 20637 (clasp-opt.sh) S 20635 20637 17700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283527452 9371648 275 33554432000 4194304 5064252 140733570766336 140733570765248 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20637/statm: 2288 275 232 213 0 73 0
[pid=20638] ppid=20637 vsize=28672 CPUtime=342.23 cores=0,2,4,6
/proc/20638/stat : 20638 (clasp-R5325) R 20637 20637 17700 0 -1 4202496 7397 0 0 0 34222 1 0 0 20 0 1 0 283527452 29360128 6858 33554432000 4194304 6212839 140735189686480 140735189684488 4635093 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/20638/statm: 7168 6858 240 493 0 6673 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 37824

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20663
/proc/meminfo: memFree=28736204/32873648 swapFree=7372/7372
[pid=20637] ppid=20635 vsize=9152 CPUtime=0 cores=0,2,4,6

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

/proc/20638/statm: 12479 12176 240 493 0 11984 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 59068

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20712
/proc/meminfo: memFree=28717136/32873648 swapFree=7372/7372
[pid=20637] ppid=20635 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20637/stat : 20637 (clasp-opt.sh) S 20635 20637 17700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283527452 9371648 275 33554432000 4194304 5064252 140733570766336 140733570765248 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20637/statm: 2288 275 232 213 0 73 0
[pid=20638] ppid=20637 vsize=51580 CPUtime=1242.08 cores=0,2,4,6
/proc/20638/stat : 20638 (clasp-R5325) R 20637 20637 17700 0 -1 4202496 12926 0 0 0 124205 3 0 0 20 0 1 0 283527452 52817920 12521 33554432000 4194304 6212839 140735189686480 140735189684632 4685801 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/20638/statm: 12895 12521 240 493 0 12400 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 60732

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20712
/proc/meminfo: memFree=28715544/32873648 swapFree=7372/7372
[pid=20637] ppid=20635 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20637/stat : 20637 (clasp-opt.sh) S 20635 20637 17700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283527452 9371648 275 33554432000 4194304 5064252 140733570766336 140733570765248 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20637/statm: 2288 275 232 213 0 73 0
[pid=20638] ppid=20637 vsize=52024 CPUtime=1302.08 cores=0,2,4,6
/proc/20638/stat : 20638 (clasp-R5325) R 20637 20637 17700 0 -1 4202496 13002 0 0 0 130205 3 0 0 20 0 1 0 283527452 53272576 12597 33554432000 4194304 6212839 140735189686480 140735189684632 4685333 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/20638/statm: 13006 12597 240 493 0 12511 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 61176

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20712
/proc/meminfo: memFree=28714552/32873648 swapFree=7372/7372
[pid=20637] ppid=20635 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20637/stat : 20637 (clasp-opt.sh) S 20635 20637 17700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283527452 9371648 275 33554432000 4194304 5064252 140733570766336 140733570765248 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20637/statm: 2288 275 232 213 0 73 0
[pid=20638] ppid=20637 vsize=52024 CPUtime=1362.06 cores=0,2,4,6
/proc/20638/stat : 20638 (clasp-R5325) R 20637 20637 17700 0 -1 4202496 13002 0 0 0 136203 3 0 0 20 0 1 0 283527452 53272576 12597 33554432000 4194304 6212839 140735189686480 140735189684632 4635502 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/20638/statm: 13006 12597 240 493 0 12511 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 61176

[startup+1422.31 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 20713
/proc/meminfo: memFree=28712184/32873648 swapFree=7372/7372
[pid=20637] ppid=20635 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20637/stat : 20637 (clasp-opt.sh) S 20635 20637 17700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283527452 9371648 275 33554432000 4194304 5064252 140733570766336 140733570765248 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20637/statm: 2288 275 232 213 0 73 0
[pid=20638] ppid=20637 vsize=53360 CPUtime=1422.07 cores=0,2,4,6
/proc/20638/stat : 20638 (clasp-R5325) R 20637 20637 17700 0 -1 4202496 13325 0 0 0 142203 4 0 0 20 0 1 0 283527452 54640640 13000 33554432000 4194304 6212839 140735189686480 140735189684632 4685709 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/20638/statm: 13340 13000 240 493 0 12845 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 62512

[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 20713
/proc/meminfo: memFree=28711688/32873648 swapFree=7372/7372
[pid=20637] ppid=20635 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20637/stat : 20637 (clasp-opt.sh) S 20635 20637 17700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283527452 9371648 275 33554432000 4194304 5064252 140733570766336 140733570765248 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20637/statm: 2288 275 232 213 0 73 0
[pid=20638] ppid=20637 vsize=53712 CPUtime=1482.05 cores=0,2,4,6
/proc/20638/stat : 20638 (clasp-R5325) R 20637 20637 17700 0 -1 4202496 13425 0 0 0 148201 4 0 0 20 0 1 0 283527452 55001088 13100 33554432000 4194304 6212839 140735189686480 140735189684632 4372067 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/20638/statm: 13428 13100 240 493 0 12933 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 62864

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20713
/proc/meminfo: memFree=28710632/32873648 swapFree=7372/7372
[pid=20637] ppid=20635 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20637/stat : 20637 (clasp-opt.sh) S 20635 20637 17700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283527452 9371648 275 33554432000 4194304 5064252 140733570766336 140733570765248 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20637/statm: 2288 275 232 213 0 73 0
[pid=20638] ppid=20637 vsize=54076 CPUtime=1542.04 cores=0,2,4,6
/proc/20638/stat : 20638 (clasp-R5325) R 20637 20637 17700 0 -1 4202496 13498 0 0 0 154200 4 0 0 20 0 1 0 283527452 55373824 13213 33554432000 4194304 6212839 140735189686480 140735189684632 4635412 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/20638/statm: 13519 13213 240 493 0 13024 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 63228

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20714
/proc/meminfo: memFree=28709540/32873648 swapFree=7372/7372
[pid=20637] ppid=20635 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20637/stat : 20637 (clasp-opt.sh) S 20635 20637 17700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283527452 9371648 275 33554432000 4194304 5064252 140733570766336 140733570765248 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20637/statm: 2288 275 232 213 0 73 0
[pid=20638] ppid=20637 vsize=54868 CPUtime=1602.03 cores=0,2,4,6
/proc/20638/stat : 20638 (clasp-R5325) R 20637 20637 17700 0 -1 4202496 13645 0 0 0 160199 4 0 0 20 0 1 0 283527452 56184832 13360 33554432000 4194304 6212839 140735189686480 140735189684632 4372067 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/20638/statm: 13717 13360 240 493 0 13222 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 64020

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20714
/proc/meminfo: memFree=28706632/32873648 swapFree=7372/7372
[pid=20637] ppid=20635 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20637/stat : 20637 (clasp-opt.sh) S 20635 20637 17700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283527452 9371648 275 33554432000 4194304 5064252 140733570766336 140733570765248 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20637/statm: 2288 275 232 213 0 73 0
[pid=20638] ppid=20637 vsize=56528 CPUtime=1662.02 cores=0,2,4,6
/proc/20638/stat : 20638 (clasp-R5325) R 20637 20637 17700 0 -1 4202496 14059 0 0 0 166198 4 0 0 20 0 1 0 283527452 57884672 13842 33554432000 4194304 6212839 140735189686480 140735189684488 4635013 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/20638/statm: 14132 13842 240 493 0 13637 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 65680

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20715
/proc/meminfo: memFree=28702976/32873648 swapFree=7372/7372
[pid=20637] ppid=20635 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20637/stat : 20637 (clasp-opt.sh) S 20635 20637 17700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283527452 9371648 275 33554432000 4194304 5064252 140733570766336 140733570765248 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20637/statm: 2288 275 232 213 0 73 0
[pid=20638] ppid=20637 vsize=59868 CPUtime=1722.01 cores=0,2,4,6
/proc/20638/stat : 20638 (clasp-R5325) R 20637 20637 17700 0 -1 4202496 14860 0 0 0 172197 4 0 0 20 0 1 0 283527452 61304832 14646 33554432000 4194304 6212839 140735189686480 140735189684488 4683360 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/20638/statm: 14967 14646 240 493 0 14472 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 69020

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20715
/proc/meminfo: memFree=28702168/32873648 swapFree=7372/7372
[pid=20637] ppid=20635 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20637/stat : 20637 (clasp-opt.sh) S 20635 20637 17700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283527452 9371648 275 33554432000 4194304 5064252 140733570766336 140733570765248 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20637/statm: 2288 275 232 213 0 73 0
[pid=20638] ppid=20637 vsize=59868 CPUtime=1782 cores=0,2,4,6
/proc/20638/stat : 20638 (clasp-R5325) R 20637 20637 17700 0 -1 4202496 14860 0 0 0 178196 4 0 0 20 0 1 0 283527452 61304832 14646 33554432000 4194304 6212839 140735189686480 140735189684488 4635113 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/20638/statm: 14967 14646 240 493 0 14472 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 69020



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20718
/proc/meminfo: memFree=28701612/32873648 swapFree=7372/7372
[pid=20637] ppid=20635 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20637/stat : 20637 (clasp-opt.sh) S 20635 20637 17700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283527452 9371648 275 33554432000 4194304 5064252 140733570766336 140733570765248 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20637/statm: 2288 275 232 213 0 73 0
[pid=20638] ppid=20637 vsize=59868 CPUtime=1800 cores=0,2,4,6
/proc/20638/stat : 20638 (clasp-R5325) R 20637 20637 17700 0 -1 4202496 14860 0 0 0 179996 4 0 0 20 0 1 0 283527452 61304832 14646 33554432000 4194304 6212839 140735189686480 140735189684488 4635510 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/20638/statm: 14967 14646 240 493 0 14472 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 69020

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

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

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20718
/proc/meminfo: memFree=28701612/32873648 swapFree=7372/7372
[pid=20637] ppid=20635 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20637/stat : 20637 (clasp-opt.sh) S 20635 20637 17700 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283527452 9371648 275 33554432000 4194304 5064252 140733570766336 140733570765248 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20637/statm: 2288 275 232 213 0 73 0
[pid=20638] ppid=20637 vsize=59868 CPUtime=1800 cores=0,2,4,6
/proc/20638/stat : 20638 (clasp-R5325) R 20637 20637 17700 0 -1 4202496 14860 0 0 0 179996 4 0 0 20 0 1 0 283527452 61304832 14646 33554432000 4194304 6212839 140735189686480 140735189684488 4635510 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/20638/statm: 14967 14646 240 493 0 14472 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 69020

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1800.31
CPU time (s): 1800
CPU user time (s): 1799.96
CPU system time (s): 0.04
CPU usage (%): 99.9827
Max. virtual memory (cumulated for all children) (KiB): 69020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 358
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= 3
involuntary context switches= 2

runsolver used 3.83142 second user time and 8.34373 second system time

The end

Begin job on node122 at 2012-05-28 05:00:15
IDJOB=3709309
IDBENCH=25014
IDSOLVER=2288
FILE ID=node122/3709309-1338174015
RUNJOBID= node122-1338154979-17716
PBS_JOBID= 14624523
Free space on /tmp= 71692 MiB

SOLVER NAME= clasp 2.0.6-R5325
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_7.opb
COMMAND LINE= HOME/clasp-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3709309-1338174015/watcher-3709309-1338174015 -o /tmp/evaluation-result-3709309-1338174015/solver-3709309-1338174015 -C 1800 -W 1900 -M 15500  HOME/clasp-opt.sh HOME/instance-3709309-1338174015.opb

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

MD5SUM BENCH= 7da351a6b3346c83b923d96056c07b3e
RANDOM SEED=2145952159

node122.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		: 2666.533
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	: 5333.06
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		: 2666.533
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		: 2666.533
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	: 5332.04
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		: 2666.533
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		: 2666.533
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		: 2666.533
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	: 5438.54
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		: 2666.533
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		: 2666.533
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28768368 kB
Buffers:          318516 kB
Cached:          2959620 kB
SwapCached:            0 kB
Active:          1225852 kB
Inactive:        2080584 kB
Active(anon):      19776 kB
Inactive(anon):    11052 kB
Active(file):    1206076 kB
Inactive(file):  2069532 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3920 kB
Writeback:             0 kB
AnonPages:         73812 kB
Mapped:            14872 kB
Shmem:               200 kB
Slab:             661616 kB
SReclaimable:     105796 kB
SUnreclaim:       555820 kB
KernelStack:        1496 kB
PageTables:         3828 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     142740 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     51200 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71692 MiB
End job on node122 at 2012-05-28 05:30:17