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

OK	8621

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3468232-1307083012/watcher-3468232-1307083012 -o /tmp/evaluation-result-3468232-1307083012/solver-3468232-1307083012 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468232-1307083012.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2 

running on 4 cores: 1,3,5,7

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.10 2.04 2.01 2/572 19912
/proc/meminfo: memFree=31953152/32950928 swapFree=43925852/67111528
[pid=19912] ppid=19910 vsize=17728 CPUtime=0.01 cores=1,3,5,7
/proc/19912/stat : 19912 (clasp) R 19910 19912 17441 0 -1 4202496 2068 0 0 0 1 0 0 0 25 0 1 0 819899995 18153472 1743 33554432000 4194304 4933572 140734211099488 18446744073709551615 268272349893 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19912/statm: 4432 1743 355 181 0 1441 0

[startup+0.0640211 s]
/proc/loadavg: 2.10 2.04 2.01 2/572 19912
/proc/meminfo: memFree=31953152/32950928 swapFree=43925852/67111528
[pid=19912] ppid=19910 vsize=17308 CPUtime=0.05 cores=1,3,5,7
/proc/19912/stat : 19912 (clasp) R 19910 19912 17441 0 -1 4202496 2100 0 0 0 5 0 0 0 25 0 1 0 819899995 17723392 1670 33554432000 4194304 4933572 140734211099488 18446744073709551615 4625638 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19912/statm: 4327 1670 381 181 0 1336 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 17308

[startup+0.101015 s]
/proc/loadavg: 2.10 2.04 2.01 2/572 19912
/proc/meminfo: memFree=31953152/32950928 swapFree=43925852/67111528
[pid=19912] ppid=19910 vsize=17308 CPUtime=0.09 cores=1,3,5,7
/proc/19912/stat : 19912 (clasp) R 19910 19912 17441 0 -1 4202496 2100 0 0 0 9 0 0 0 25 0 1 0 819899995 17723392 1670 33554432000 4194304 4933572 140734211099488 18446744073709551615 4712109 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19912/statm: 4327 1670 381 181 0 1336 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17308

[startup+0.300979 s]
/proc/loadavg: 2.10 2.04 2.01 2/572 19912
/proc/meminfo: memFree=31953152/32950928 swapFree=43925852/67111528
[pid=19912] ppid=19910 vsize=17308 CPUtime=0.29 cores=1,3,5,7
/proc/19912/stat : 19912 (clasp) R 19910 19912 17441 0 -1 4202496 2111 0 0 0 29 0 0 0 25 0 1 0 819899995 17723392 1681 33554432000 4194304 4933572 140734211099488 18446744073709551615 4369049 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19912/statm: 4327 1681 381 181 0 1336 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17308

[startup+0.700907 s]
/proc/loadavg: 2.10 2.04 2.01 2/572 19912
/proc/meminfo: memFree=31953152/32950928 swapFree=43925852/67111528
[pid=19912] ppid=19910 vsize=17572 CPUtime=0.69 cores=1,3,5,7
/proc/19912/stat : 19912 (clasp) R 19910 19912 17441 0 -1 4202496 2166 0 0 0 69 0 0 0 25 0 1 0 819899995 17993728 1736 33554432000 4194304 4933572 140734211099488 18446744073709551615 4718636 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19912/statm: 4393 1736 381 181 0 1402 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17572

[startup+1.50083 s]
/proc/loadavg: 2.10 2.04 2.01 3/573 19913
/proc/meminfo: memFree=31946828/32950928 swapFree=43925852/67111528
[pid=19912] ppid=19910 vsize=17572 CPUtime=1.49 cores=1,3,5,7
/proc/19912/stat : 19912 (clasp) R 19910 19912 17441 0 -1 4202496 2180 0 0 0 149 0 0 0 25 0 1 0 819899995 17993728 1750 33554432000 4194304 4933572 140734211099488 18446744073709551615 4718418 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19912/statm: 4393 1750 381 181 0 1402 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17572

[startup+3.10054 s]
/proc/loadavg: 2.10 2.04 2.01 3/573 19914
/proc/meminfo: memFree=31945128/32950928 swapFree=43925852/67111528
[pid=19912] ppid=19910 vsize=17992 CPUtime=3.09 cores=1,3,5,7
/proc/19912/stat : 19912 (clasp) R 19910 19912 17441 0 -1 4202496 2295 0 0 0 309 0 0 0 25 0 1 0 819899995 18423808 1865 33554432000 4194304 4933572 140734211099488 18446744073709551615 4627765 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19912/statm: 4498 1865 385 181 0 1507 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17992

[startup+6.30091 s]
/proc/loadavg: 2.10 2.04 2.01 3/573 19914
/proc/meminfo: memFree=31938164/32950928 swapFree=43925852/67111528
[pid=19912] ppid=19910 vsize=35960 CPUtime=6.29 cores=1,3,5,7
/proc/19912/stat : 19912 (clasp) R 19910 19912 17441 0 -1 4202496 6756 0 0 0 628 1 0 0 25 0 1 0 819899995 36823040 6326 33554432000 4194304 4933572 140734211099488 18446744073709551615 4414963 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19912/statm: 8990 6326 385 181 0 5999 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35960

[startup+12.7008 s]
/proc/loadavg: 2.09 2.04 2.01 3/573 19914
/proc/meminfo: memFree=31906408/32950928 swapFree=43925852/67111528
[pid=19912] ppid=19910 vsize=55936 CPUtime=12.69 cores=1,3,5,7
/proc/19912/stat : 19912 (clasp) R 19910 19912 17441 0 -1 4202496 11765 0 0 0 1267 2 0 0 25 0 1 0 819899995 57278464 11335 33554432000 4194304 4933572 140734211099488 18446744073709551615 4717554 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19912/statm: 13984 11335 385 181 0 10993 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 55936

[startup+25.5005 s]
/proc/loadavg: 2.07 2.04 2.01 3/573 19914
/proc/meminfo: memFree=31894632/32950928 swapFree=43925852/67111528
[pid=19912] ppid=19910 vsize=67588 CPUtime=25.49 cores=1,3,5,7
/proc/19912/stat : 19912 (clasp) R 19910 19912 17441 0 -1 4202496 14855 0 0 0 2547 2 0 0 25 0 1 0 819899995 69210112 14261 33554432000 4194304 4933572 140734211099488 18446744073709551615 4341611 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19912/statm: 16897 14261 385 181 0 13906 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 67588

[startup+51.1009 s]
/proc/loadavg: 2.10 2.05 2.01 3/573 19915
/proc/meminfo: memFree=31878732/32950928 swapFree=43925852/67111528
[pid=19912] ppid=19910 vsize=83744 CPUtime=51.09 cores=1,3,5,7
/proc/19912/stat : 19912 (clasp) R 19910 19912 17441 0 -1 4202496 18895 0 0 0 5106 3 0 0 25 0 1 0 819899995 85753856 18301 33554432000 4194304 4933572 140734211099488 18446744073709551615 4414963 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19912/statm: 20936 18301 385 181 0 17945 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 83744

[startup+102.322 s]
/proc/loadavg: 2.04 2.04 2.00 3/573 19916
/proc/meminfo: memFree=31860588/32950928 swapFree=43925852/67111528
[pid=19912] ppid=19910 vsize=102952 CPUtime=102.31 cores=1,3,5,7
/proc/19912/stat : 19912 (clasp) R 19910 19912 17441 0 -1 4202496 23344 0 0 0 10228 3 0 0 25 0 1 0 819899995 105422848 22600 33554432000 4194304 4933572 140734211099488 18446744073709551615 4368908 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19912/statm: 25738 22600 385 181 0 22747 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 102952

[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/573 19918
/proc/meminfo: memFree=31846900/32950928 swapFree=43925852/67111528
[pid=19912] ppid=19910 vsize=114144 CPUtime=162.3 cores=1,3,5,7
/proc/19912/stat : 19912 (clasp) R 19910 19912 17441 0 -1 4202496 26588 0 0 0 16226 4 0 0 25 0 1 0 819899995 116883456 25403 33554432000 4194304 4933572 140734211099488 18446744073709551615 4330209 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19912/statm: 28536 25403 385 181 0 25545 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 114144

[startup+222.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/573 19919
/proc/meminfo: memFree=31846744/32950928 swapFree=43925852/67111528
[pid=19912] ppid=19910 vsize=115456 CPUtime=222.3 cores=1,3,5,7
/proc/19912/stat : 19912 (clasp) R 19910 19912 17441 0 -1 4202496 27682 0 0 0 22226 4 0 0 25 0 1 0 819899995 118226944 25752 33554432000 4194304 4933572 140734211099488 18446744073709551615 4717539 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19912/statm: 28864 25752 385 181 0 25873 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 115456

[startup+282.301 s]
/proc/loadavg: 2.09 2.07 2.01 3/573 19921
/proc/meminfo: memFree=31835036/32950928 swapFree=43925852/67111528
[pid=19912] ppid=19910 vsize=127944 CPUtime=282.29 cores=1,3,5,7
/proc/19912/stat : 19912 (clasp) R 19910 19912 17441 0 -1 4202496 30825 0 0 0 28225 4 0 0 25 0 1 0 819899995 131014656 28895 33554432000 4194304 4933572 140734211099488 18446744073709551615 4632212 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19912/statm: 31986 28895 385 181 0 28995 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 127944

[startup+342.301 s]
/proc/loadavg: 2.03 2.05 2.00 3/573 19922
/proc/meminfo: memFree=31834492/32950928 swapFree=43925852/67111528
[pid=19912] ppid=19910 vsize=128208 CPUtime=342.3 cores=1,3,5,7
/proc/19912/stat : 19912 (clasp) R 19910 19912 17441 0 -1 4202496 30875 0 0 0 34226 4 0 0 25 0 1 0 819899995 131284992 28945 33554432000 4194304 4933572 140734211099488 18446744073709551615 4637138 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19912/statm: 32052 28945 385 181 0 29061 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 128208

[startup+402.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/573 19924
/proc/meminfo: memFree=31820060/32950928 swapFree=43925852/67111528
[pid=19912] ppid=19910 vsize=144972 CPUtime=402.3 cores=1,3,5,7
/proc/19912/stat : 19912 (clasp) R 19910 19912 17441 0 -1 4202496 34397 0 0 0 40225 5 0 0 25 0 1 0 819899995 148451328 32467 33554432000 4194304 4933572 140734211099488 18446744073709551615 4717658 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19912/statm: 36243 32467 385 181 0 33252 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 144972

[startup+462.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/573 19926
/proc/meminfo: memFree=31820388/32950928 swapFree=43925852/67111528
[pid=19912] ppid=19910 vsize=144972 CPUtime=462.3 cores=1,3,5,7
/proc/19912/stat : 19912 (clasp) R 19910 19912 17441 0 -1 4202496 34397 0 0 0 46225 5 0 0 25 0 1 0 819899995 148451328 32467 33554432000 4194304 4933572 140734211099488 18446744073709551615 4368908 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19912/statm: 36243 32467 385 181 0 33252 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 144972

[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 19927
/proc/meminfo: memFree=31811036/32950928 swapFree=43925852/67111528
[pid=19912] ppid=19910 vsize=153824 CPUtime=522.3 cores=1,3,5,7
/proc/19912/stat : 19912 (clasp) R 19910 19912 17441 0 -1 4202496 36693 0 0 0 52225 5 0 0 25 0 1 0 819899995 157515776 34763 33554432000 4194304 4933572 140734211099488 18446744073709551615 4631855 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19912/statm: 38456 34763 385 181 0 35465 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 153824

[startup+582.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/573 19929
/proc/meminfo: memFree=31804284/32950928 swapFree=43925852/67111528
[pid=19912] ppid=19910 vsize=160360 CPUtime=582.3 cores=1,3,5,7
/proc/19912/stat : 19912 (clasp) R 19910 19912 17441 0 -1 4202496 38734 0 0 0 58225 5 0 0 25 0 1 0 819899995 164208640 36439 33554432000 4194304 4933572 140734211099488 18446744073709551615 4340885 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19912/statm: 40090 36439 385 181 0 37099 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 160360

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.12 2.08 2.01 3/573 19935
/proc/meminfo: memFree=31791200/32950928 swapFree=43925852/67111528
[pid=19912] ppid=19910 vsize=170920 CPUtime=822.31 cores=1,3,5,7
/proc/19912/stat : 19912 (clasp) R 19910 19912 17441 0 -1 4202496 42220 0 0 0 82225 6 0 0 25 0 1 0 819899995 175022080 39121 33554432000 4194304 4933572 140734211099488 18446744073709551615 4360959 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19912/statm: 42730 39121 385 181 0 39739 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 170920

[startup+882.301 s]
/proc/loadavg: 2.04 2.06 2.01 3/573 19937
/proc/meminfo: memFree=31790404/32950928 swapFree=43925852/67111528
[pid=19912] ppid=19910 vsize=170920 CPUtime=882.31 cores=1,3,5,7
/proc/19912/stat : 19912 (clasp) R 19910 19912 17441 0 -1 4202496 42221 0 0 0 88225 6 0 0 25 0 1 0 819899995 175022080 39122 33554432000 4194304 4933572 140734211099488 18446744073709551615 4414950 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19912/statm: 42730 39122 385 181 0 39739 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 170920

[startup+942.3 s]
/proc/loadavg: 2.11 2.08 2.01 3/573 19938
/proc/meminfo: memFree=31792224/32950928 swapFree=43925852/67111528
[pid=19912] ppid=19910 vsize=170920 CPUtime=942.31 cores=1,3,5,7
/proc/19912/stat : 19912 (clasp) R 19910 19912 17441 0 -1 4202496 42221 0 0 0 94225 6 0 0 25 0 1 0 819899995 175022080 39122 33554432000 4194304 4933572 140734211099488 18446744073709551615 4414971 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19912/statm: 42730 39122 385 181 0 39739 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 170920

[startup+1002.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/573 19940
/proc/meminfo: memFree=31791440/32950928 swapFree=43925852/67111528
[pid=19912] ppid=19910 vsize=170920 CPUtime=1002.31 cores=1,3,5,7
/proc/19912/stat : 19912 (clasp) R 19910 19912 17441 0 -1 4202496 42221 0 0 0 100225 6 0 0 25 0 1 0 819899995 175022080 39122 33554432000 4194304 4933572 140734211099488 18446744073709551615 4340871 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19912/statm: 42730 39122 385 181 0 39739 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 170920

[startup+1062.3 s]
/proc/loadavg: 2.01 2.05 2.00 3/573 19942
/proc/meminfo: memFree=31791536/32950928 swapFree=43925852/67111528
[pid=19912] ppid=19910 vsize=170920 CPUtime=1062.32 cores=1,3,5,7
/proc/19912/stat : 19912 (clasp) R 19910 19912 17441 0 -1 4202496 42221 0 0 0 106226 6 0 0 25 0 1 0 819899995 175022080 39122 33554432000 4194304 4933572 140734211099488 18446744073709551615 4414941 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19912/statm: 42730 39122 385 181 0 39739 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 170920

[startup+1122.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/573 19943
/proc/meminfo: memFree=31791240/32950928 swapFree=43925852/67111528
[pid=19912] ppid=19910 vsize=170920 CPUtime=1122.32 cores=1,3,5,7
/proc/19912/stat : 19912 (clasp) R 19910 19912 17441 0 -1 4202496 42221 0 0 0 112226 6 0 0 25 0 1 0 819899995 175022080 39122 33554432000 4194304 4933572 140734211099488 18446744073709551615 4637154 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19912/statm: 42730 39122 385 181 0 39739 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 170920

[startup+1182.3 s]
/proc/loadavg: 2.07 2.06 2.00 3/573 19945
/proc/meminfo: memFree=31788228/32950928 swapFree=43925852/67111528
[pid=19912] ppid=19910 vsize=173428 CPUtime=1182.32 cores=1,3,5,7
/proc/19912/stat : 19912 (clasp) R 19910 19912 17441 0 -1 4202496 43274 0 0 0 118226 6 0 0 25 0 1 0 819899995 177590272 39804 33554432000 4194304 4933572 140734211099488 18446744073709551615 4637168 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19912/statm: 43357 39804 385 181 0 40366 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 173428

[startup+1242.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/573 19946
/proc/meminfo: memFree=31786940/32950928 swapFree=43925852/67111528
[pid=19912] ppid=19910 vsize=174240 CPUtime=1242.33 cores=1,3,5,7
/proc/19912/stat : 19912 (clasp) R 19910 19912 17441 0 -1 4202496 43823 0 0 0 124226 7 0 0 25 0 1 0 819899995 178421760 40010 33554432000 4194304 4933572 140734211099488 18446744073709551615 4330222 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19912/statm: 43560 40010 385 181 0 40569 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 174240

[startup+1302.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/573 19948
/proc/meminfo: memFree=31787524/32950928 swapFree=43925852/67111528
[pid=19912] ppid=19910 vsize=174248 CPUtime=1302.34 cores=1,3,5,7
/proc/19912/stat : 19912 (clasp) R 19910 19912 17441 0 -1 4202496 44916 0 0 0 130227 7 0 0 25 0 1 0 819899995 178429952 40006 33554432000 4194304 4933572 140734211099488 18446744073709551615 4330206 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19912/statm: 43562 40006 385 181 0 40571 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 174248

[startup+1362.3 s]
/proc/loadavg: 1.55 1.91 1.96 2/567 19968
/proc/meminfo: memFree=31820572/32950928 swapFree=43925852/67111528
[pid=19912] ppid=19910 vsize=176016 CPUtime=1362.33 cores=1,3,5,7
/proc/19912/stat : 19912 (clasp) R 19910 19912 17441 0 -1 4202496 45889 0 0 0 136226 7 0 0 25 0 1 0 819899995 180240384 40444 33554432000 4194304 4933572 140734211099488 18446744073709551615 4414971 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19912/statm: 44004 40444 385 181 0 41013 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 176016

[startup+1422.32 s]
/proc/loadavg: 1.18 1.73 1.89 2/567 19969
/proc/meminfo: memFree=31820652/32950928 swapFree=43925852/67111528
[pid=19912] ppid=19910 vsize=175992 CPUtime=1422.35 cores=1,3,5,7
/proc/19912/stat : 19912 (clasp) R 19910 19912 17441 0 -1 4202496 46094 0 0 0 142228 7 0 0 25 0 1 0 819899995 180215808 40442 33554432000 4194304 4933572 140734211099488 18446744073709551615 4330206 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19912/statm: 43998 40442 385 181 0 41007 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 175992

[startup+1482.3 s]
/proc/loadavg: 1.07 1.60 1.84 2/567 19980
/proc/meminfo: memFree=31819500/32950928 swapFree=43925852/67111528
[pid=19912] ppid=19910 vsize=175992 CPUtime=1482.33 cores=1,3,5,7
/proc/19912/stat : 19912 (clasp) R 19910 19912 17441 0 -1 4202496 46109 0 0 0 148226 7 0 0 25 0 1 0 819899995 180215808 40457 33554432000 4194304 4933572 140734211099488 18446744073709551615 4360863 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19912/statm: 43998 40457 385 181 0 41007 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 175992

[startup+1542.3 s]
/proc/loadavg: 1.02 1.48 1.78 2/567 19981
/proc/meminfo: memFree=31819820/32950928 swapFree=43925852/67111528
[pid=19912] ppid=19910 vsize=176132 CPUtime=1542.33 cores=1,3,5,7
/proc/19912/stat : 19912 (clasp) R 19910 19912 17441 0 -1 4202496 46152 0 0 0 154226 7 0 0 25 0 1 0 819899995 180359168 40500 33554432000 4194304 4933572 140734211099488 18446744073709551615 4340880 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19912/statm: 44033 40500 385 181 0 41042 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 176132

[startup+1602.3 s]
/proc/loadavg: 1.01 1.40 1.73 2/567 19983
/proc/meminfo: memFree=31820024/32950928 swapFree=43925852/67111528
[pid=19912] ppid=19910 vsize=174760 CPUtime=1602.33 cores=1,3,5,7
/proc/19912/stat : 19912 (clasp) R 19910 19912 17441 0 -1 4202496 46333 0 0 0 160226 7 0 0 25 0 1 0 819899995 178954240 40162 33554432000 4194304 4933572 140734211099488 18446744073709551615 4341611 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19912/statm: 43690 40162 385 181 0 40699 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 174760

[startup+1662.3 s]
/proc/loadavg: 1.00 1.32 1.68 2/567 19988
/proc/meminfo: memFree=31821072/32950928 swapFree=43925852/67111528
[pid=19912] ppid=19910 vsize=176228 CPUtime=1662.33 cores=1,3,5,7
/proc/19912/stat : 19912 (clasp) R 19910 19912 17441 0 -1 4202496 46674 0 0 0 166226 7 0 0 25 0 1 0 819899995 180457472 40503 33554432000 4194304 4933572 140734211099488 18446744073709551615 4649493 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19912/statm: 44057 40503 385 181 0 41066 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 176228

[startup+1722.3 s]
/proc/loadavg: 1.00 1.26 1.64 2/567 19989
/proc/meminfo: memFree=31820424/32950928 swapFree=43925852/67111528
[pid=19912] ppid=19910 vsize=176228 CPUtime=1722.34 cores=1,3,5,7
/proc/19912/stat : 19912 (clasp) R 19910 19912 17441 0 -1 4202496 46674 0 0 0 172227 7 0 0 25 0 1 0 819899995 180457472 40503 33554432000 4194304 4933572 140734211099488 18446744073709551615 4360863 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19912/statm: 44057 40503 385 181 0 41066 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 176228

[startup+1782.3 s]
/proc/loadavg: 1.00 1.21 1.59 2/567 19991
/proc/meminfo: memFree=31819256/32950928 swapFree=43925852/67111528
[pid=19912] ppid=19910 vsize=176228 CPUtime=1782.34 cores=1,3,5,7
/proc/19912/stat : 19912 (clasp) R 19910 19912 17441 0 -1 4202496 46688 0 0 0 178227 7 0 0 25 0 1 0 819899995 180457472 40517 33554432000 4194304 4933572 140734211099488 18446744073709551615 4330222 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19912/statm: 44057 40517 385 181 0 41066 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 176228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.00 1.20 1.58 2/567 19991
/proc/meminfo: memFree=31819232/32950928 swapFree=43925852/67111528
[pid=19912] ppid=19910 vsize=176228 CPUtime=1800.05 cores=1,3,5,7
/proc/19912/stat : 19912 (clasp) R 19910 19912 17441 0 -1 4202496 46688 0 0 0 179998 7 0 0 25 0 1 0 819899995 180457472 40517 33554432000 4194304 4933572 140734211099488 18446744073709551615 4360863 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/19912/statm: 44057 40517 385 181 0 41066 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 176228

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

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

Child status: 10
Real time (s): 1800.03
CPU time (s): 1800.08
CPU user time (s): 1800
CPU system time (s): 0.081987
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 176228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800
system time used= 0.081987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46696
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= 10
involuntary context switches= 4440

runsolver used 9.80551 second user time and 24.3533 second system time

The end

Begin job on node122 at 2011-06-03 08:36:52
IDJOB=3468232
IDBENCH=1882
IDSOLVER=1958
FILE ID=node122/3468232-1307083012
RUNJOBID= node122-1307068797-18484
PBS_JOBID= 13497864
Free space on /tmp= 73804 MiB

SOLVER NAME= clasp 2.0-R4191
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mitre.opb
COMMAND LINE= HOME/clasp BENCHNAME --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3468232-1307083012/watcher-3468232-1307083012 -o /tmp/evaluation-result-3468232-1307083012/solver-3468232-1307083012 -C 1800 -W 1900 -M 15500  HOME/clasp HOME/instance-3468232-1307083012.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2 

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

MD5SUM BENCH= 2b9af9044591fd3eb9f5def12c800cff
RANDOM SEED=285376863

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.64
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31953448 kB
Buffers:        258740 kB
Cached:         376300 kB
SwapCached:      16832 kB
Active:         305512 kB
Inactive:       380924 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31953448 kB
SwapTotal:    67111528 kB
SwapFree:     43925852 kB
Dirty:            1228 kB
Writeback:           0 kB
AnonPages:       48680 kB
Mapped:           9700 kB
Slab:           147692 kB
PageTables:      93012 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 180764824 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73804 MiB
End job on node122 at 2011-06-03 09:06:54