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