Trace number 3468012

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
clasp 2.0-R4191SAT (TO)29 1800.03 1800.02

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir09_area_delay.opb
MD5SUM5a18fe98bad06341d01eaf33ecb4f046
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark17
Best CPU time to get the best result obtained on this benchmark55.4896
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 17
Optimality of the best value was proved NO
Number of variables13487
Total number of constraints57800
Number of constraints which are clauses57800
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint254
Number of terms in the objective function 6486
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 6486
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6486
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

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

Verifier Data 

OK	29

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3468012-1307112891/watcher-3468012-1307112891 -o /tmp/evaluation-result-3468012-1307112891/solver-3468012-1307112891 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468012-1307112891.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2 

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

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


[startup+0 s]
/proc/loadavg: 1.94 2.02 1.99 2/469 7747
/proc/meminfo: memFree=24203116/32951124 swapFree=56297244/67111528
[pid=7747] ppid=7745 vsize=15140 CPUtime=0 cores=1,3,5,7
/proc/7747/stat : 7747 (clasp) R 7745 7747 6224 0 -1 4202496 1248 0 0 0 0 0 0 0 25 0 1 0 901519600 15503360 1083 33554432000 4194304 4933572 140733960091552 18446744073709551615 252458065664 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7747/statm: 3785 1084 332 181 0 794 0

[startup+0.101308 s]
/proc/loadavg: 1.94 2.02 1.99 2/469 7747
/proc/meminfo: memFree=24203116/32951124 swapFree=56297244/67111528
[pid=7747] ppid=7745 vsize=21544 CPUtime=0.09 cores=1,3,5,7
/proc/7747/stat : 7747 (clasp) R 7745 7747 6224 0 -1 4202496 3168 0 0 0 9 0 0 0 25 0 1 0 901519600 22061056 2701 33554432000 4194304 4933572 140733960091552 18446744073709551615 4602832 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7747/statm: 5386 2701 354 181 0 2395 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21544

[startup+0.200302 s]
/proc/loadavg: 1.94 2.02 1.99 2/469 7747
/proc/meminfo: memFree=24203116/32951124 swapFree=56297244/67111528
[pid=7747] ppid=7745 vsize=21072 CPUtime=0.19 cores=1,3,5,7
/proc/7747/stat : 7747 (clasp) R 7745 7747 6224 0 -1 4202496 3335 0 0 0 19 0 0 0 25 0 1 0 901519600 21577728 2625 33554432000 4194304 4933572 140733960091552 18446744073709551615 4648370 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7747/statm: 5268 2625 379 181 0 2277 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 21072

[startup+0.300272 s]
/proc/loadavg: 1.94 2.02 1.99 2/469 7747
/proc/meminfo: memFree=24203116/32951124 swapFree=56297244/67111528
[pid=7747] ppid=7745 vsize=21072 CPUtime=0.29 cores=1,3,5,7
/proc/7747/stat : 7747 (clasp) R 7745 7747 6224 0 -1 4202496 3335 0 0 0 29 0 0 0 25 0 1 0 901519600 21577728 2625 33554432000 4194304 4933572 140733960091552 18446744073709551615 4340829 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7747/statm: 5268 2625 379 181 0 2277 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21072

[startup+0.700195 s]
/proc/loadavg: 1.94 2.02 1.99 2/469 7747
/proc/meminfo: memFree=24203116/32951124 swapFree=56297244/67111528
[pid=7747] ppid=7745 vsize=21072 CPUtime=0.69 cores=1,3,5,7
/proc/7747/stat : 7747 (clasp) R 7745 7747 6224 0 -1 4202496 3342 0 0 0 69 0 0 0 25 0 1 0 901519600 21577728 2632 33554432000 4194304 4933572 140733960091552 18446744073709551615 4368936 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7747/statm: 5268 2632 386 181 0 2277 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21072

[startup+1.50105 s]
/proc/loadavg: 1.94 2.02 1.99 3/470 7748
/proc/meminfo: memFree=24191832/32951124 swapFree=56297244/67111528
[pid=7747] ppid=7745 vsize=21072 CPUtime=1.49 cores=1,3,5,7
/proc/7747/stat : 7747 (clasp) R 7745 7747 6224 0 -1 4202496 3342 0 0 0 149 0 0 0 25 0 1 0 901519600 21577728 2632 33554432000 4194304 4933572 140733960091552 18446744073709551615 4368908 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7747/statm: 5268 2632 386 181 0 2277 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21072

[startup+3.10075 s]
/proc/loadavg: 1.94 2.02 1.99 3/470 7748
/proc/meminfo: memFree=24190716/32951124 swapFree=56297244/67111528
[pid=7747] ppid=7745 vsize=21072 CPUtime=3.09 cores=1,3,5,7
/proc/7747/stat : 7747 (clasp) R 7745 7747 6224 0 -1 4202496 3342 0 0 0 309 0 0 0 25 0 1 0 901519600 21577728 2632 33554432000 4194304 4933572 140733960091552 18446744073709551615 4648537 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7747/statm: 5268 2632 386 181 0 2277 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21072

[startup+6.30015 s]
/proc/loadavg: 1.94 2.02 1.99 3/470 7748
/proc/meminfo: memFree=24190408/32951124 swapFree=56297244/67111528
[pid=7747] ppid=7745 vsize=21072 CPUtime=6.29 cores=1,3,5,7
/proc/7747/stat : 7747 (clasp) R 7745 7747 6224 0 -1 4202496 3342 0 0 0 629 0 0 0 25 0 1 0 901519600 21577728 2632 33554432000 4194304 4933572 140733960091552 18446744073709551615 4649355 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7747/statm: 5268 2632 386 181 0 2277 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21072

[startup+12.701 s]
/proc/loadavg: 1.95 2.02 1.99 3/470 7748
/proc/meminfo: memFree=24188104/32951124 swapFree=56297244/67111528
[pid=7747] ppid=7745 vsize=21072 CPUtime=12.69 cores=1,3,5,7
/proc/7747/stat : 7747 (clasp) R 7745 7747 6224 0 -1 4202496 3342 0 0 0 1269 0 0 0 25 0 1 0 901519600 21577728 2632 33554432000 4194304 4933572 140733960091552 18446744073709551615 4369056 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7747/statm: 5268 2632 386 181 0 2277 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21072

[startup+25.5006 s]
/proc/loadavg: 2.09 2.05 2.00 3/470 7748
/proc/meminfo: memFree=24187248/32951124 swapFree=56297244/67111528
[pid=7747] ppid=7745 vsize=21496 CPUtime=25.49 cores=1,3,5,7
/proc/7747/stat : 7747 (clasp) R 7745 7747 6224 0 -1 4202496 3414 0 0 0 2549 0 0 0 25 0 1 0 901519600 22011904 2704 33554432000 4194304 4933572 140733960091552 18446744073709551615 4637414 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7747/statm: 5374 2704 386 181 0 2383 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21496

[startup+51.1008 s]
/proc/loadavg: 2.06 2.05 2.00 3/470 7749
/proc/meminfo: memFree=24183640/32951124 swapFree=56297244/67111528
[pid=7747] ppid=7745 vsize=23212 CPUtime=51.09 cores=1,3,5,7
/proc/7747/stat : 7747 (clasp) R 7745 7747 6224 0 -1 4202496 3864 0 0 0 5109 0 0 0 25 0 1 0 901519600 23769088 3154 33554432000 4194304 4933572 140733960091552 18446744073709551615 4429117 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7747/statm: 5803 3154 386 181 0 2812 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 23212

[startup+102.3 s]
/proc/loadavg: 2.07 2.05 2.00 3/470 7750
/proc/meminfo: memFree=24178180/32951124 swapFree=56297244/67111528
[pid=7747] ppid=7745 vsize=24044 CPUtime=102.29 cores=1,3,5,7
/proc/7747/stat : 7747 (clasp) R 7745 7747 6224 0 -1 4202496 4048 0 0 0 10229 0 0 0 25 0 1 0 901519600 24621056 3338 33554432000 4194304 4933572 140733960091552 18446744073709551615 4648411 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7747/statm: 6011 3338 386 181 0 3020 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 24044

[startup+162.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/470 7752
/proc/meminfo: memFree=24175064/32951124 swapFree=56297244/67111528
[pid=7747] ppid=7745 vsize=25944 CPUtime=162.3 cores=1,3,5,7
/proc/7747/stat : 7747 (clasp) R 7745 7747 6224 0 -1 4202496 4526 0 0 0 16229 1 0 0 25 0 1 0 901519600 26566656 3816 33554432000 4194304 4933572 140733960091552 18446744073709551615 4648632 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7747/statm: 6486 3816 386 181 0 3495 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 25944

[startup+222.318 s]
/proc/loadavg: 2.01 2.03 2.00 3/470 7754
/proc/meminfo: memFree=24171308/32951124 swapFree=56297244/67111528
[pid=7747] ppid=7745 vsize=29708 CPUtime=222.31 cores=1,3,5,7
/proc/7747/stat : 7747 (clasp) R 7745 7747 6224 0 -1 4202496 5463 0 0 0 22230 1 0 0 25 0 1 0 901519600 30420992 4753 33554432000 4194304 4933572 140733960091552 18446744073709551615 4429117 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7747/statm: 7427 4753 386 181 0 4436 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 29708

[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 7755
/proc/meminfo: memFree=24168056/32951124 swapFree=56297244/67111528
[pid=7747] ppid=7745 vsize=31632 CPUtime=282.29 cores=1,3,5,7
/proc/7747/stat : 7747 (clasp) R 7745 7747 6224 0 -1 4202496 5907 0 0 0 28228 1 0 0 25 0 1 0 901519600 32391168 5197 33554432000 4194304 4933572 140733960091552 18446744073709551615 4428048 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/7747/statm: 7908 5197 386 181 0 4917 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 31632

[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 7757
/proc/meminfo: memFree=24167036/32951124 swapFree=56297244/67111528
[pid=7747] ppid=7745 vsize=31632 CPUtime=342.25 cores=1,3,5,7
/proc/7747/stat : 7747 (clasp) R 7745 7747 6224 0 -1 4202496 5910 0 0 0 34224 1 0 0 25 0 1 0 901519600 32391168 5200 33554432000 4194304 4933572 140733960091552 18446744073709551615 4428670 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7747/statm: 7908 5200 386 181 0 4917 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 31632

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 7767
/proc/meminfo: memFree=24166012/32951124 swapFree=56297244/67111528
[pid=7747] ppid=7745 vsize=31772 CPUtime=402.25 cores=1,3,5,7
/proc/7747/stat : 7747 (clasp) R 7745 7747 6224 0 -1 4202496 5936 0 0 0 40224 1 0 0 25 0 1 0 901519600 32534528 5226 33554432000 4194304 4933572 140733960091552 18446744073709551615 4635412 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7747/statm: 7943 5226 386 181 0 4952 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 31772

[startup+462.3 s]
/proc/loadavg: 2.14 2.05 2.01 3/470 7769
/proc/meminfo: memFree=24164616/32951124 swapFree=56297244/67111528
[pid=7747] ppid=7745 vsize=32952 CPUtime=462.25 cores=1,3,5,7
/proc/7747/stat : 7747 (clasp) R 7745 7747 6224 0 -1 4202496 6245 0 0 0 46224 1 0 0 25 0 1 0 901519600 33742848 5535 33554432000 4194304 4933572 140733960091552 18446744073709551615 4428384 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7747/statm: 8238 5535 388 181 0 5247 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 32952

[startup+522.301 s]
/proc/loadavg: 2.05 2.04 2.00 3/470 7771
/proc/meminfo: memFree=24162100/32951124 swapFree=56297244/67111528
[pid=7747] ppid=7745 vsize=34380 CPUtime=522.25 cores=1,3,5,7
/proc/7747/stat : 7747 (clasp) R 7745 7747 6224 0 -1 4202496 6584 0 0 0 52224 1 0 0 25 0 1 0 901519600 35205120 5874 33554432000 4194304 4933572 140733960091552 18446744073709551615 4340821 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7747/statm: 8595 5874 388 181 0 5604 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 34380

[startup+582.301 s]
/proc/loadavg: 2.09 2.04 2.00 3/470 7772
/proc/meminfo: memFree=24161088/32951124 swapFree=56297244/67111528
[pid=7747] ppid=7745 vsize=34520 CPUtime=582.25 cores=1,3,5,7
/proc/7747/stat : 7747 (clasp) R 7745 7747 6224 0 -1 4202496 6614 0 0 0 58224 1 0 0 25 0 1 0 901519600 35348480 5904 33554432000 4194304 4933572 140733960091552 18446744073709551615 4368976 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7747/statm: 8630 5904 388 181 0 5639 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 34520

[startup+642.301 s]

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

[startup+882.318 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 7780
/proc/meminfo: memFree=24147800/32951124 swapFree=56297244/67111528
[pid=7747] ppid=7745 vsize=42860 CPUtime=882.28 cores=1,3,5,7
/proc/7747/stat : 7747 (clasp) R 7745 7747 6224 0 -1 4202496 8642 0 0 0 88227 1 0 0 25 0 1 0 901519600 43888640 7932 33554432000 4194304 4933572 140733960091552 18446744073709551615 4649726 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7747/statm: 10715 7932 388 181 0 7724 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 42860

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/470 7782
/proc/meminfo: memFree=24147404/32951124 swapFree=56297244/67111528
[pid=7747] ppid=7745 vsize=43292 CPUtime=942.26 cores=1,3,5,7
/proc/7747/stat : 7747 (clasp) R 7745 7747 6224 0 -1 4202496 8746 0 0 0 94225 1 0 0 25 0 1 0 901519600 44331008 8036 33554432000 4194304 4933572 140733960091552 18446744073709551615 4648668 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7747/statm: 10823 8036 388 181 0 7832 0
Current children cumulated CPU time (s) 942.26
Current children cumulated vsize (KiB) 43292

[startup+1002.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/470 7783
/proc/meminfo: memFree=24146892/32951124 swapFree=56297244/67111528
[pid=7747] ppid=7745 vsize=43292 CPUtime=1002.27 cores=1,3,5,7
/proc/7747/stat : 7747 (clasp) R 7745 7747 6224 0 -1 4202496 8771 0 0 0 100226 1 0 0 25 0 1 0 901519600 44331008 8061 33554432000 4194304 4933572 140733960091552 18446744073709551615 4648512 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7747/statm: 10823 8061 388 181 0 7832 0
Current children cumulated CPU time (s) 1002.27
Current children cumulated vsize (KiB) 43292

[startup+1062.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/470 7785
/proc/meminfo: memFree=24145000/32951124 swapFree=56297244/67111528
[pid=7747] ppid=7745 vsize=44960 CPUtime=1062.27 cores=1,3,5,7
/proc/7747/stat : 7747 (clasp) R 7745 7747 6224 0 -1 4202496 9144 0 0 0 106226 1 0 0 25 0 1 0 901519600 46039040 8434 33554432000 4194304 4933572 140733960091552 18446744073709551615 4428090 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7747/statm: 11240 8434 388 181 0 8249 0
Current children cumulated CPU time (s) 1062.27
Current children cumulated vsize (KiB) 44960

[startup+1122.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/470 7787
/proc/meminfo: memFree=24143848/32951124 swapFree=56297244/67111528
[pid=7747] ppid=7745 vsize=45772 CPUtime=1122.27 cores=1,3,5,7
/proc/7747/stat : 7747 (clasp) R 7745 7747 6224 0 -1 4202496 9358 0 0 0 112226 1 0 0 25 0 1 0 901519600 46870528 8648 33554432000 4194304 4933572 140733960091552 18446744073709551615 4648370 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7747/statm: 11443 8648 388 181 0 8452 0
Current children cumulated CPU time (s) 1122.27
Current children cumulated vsize (KiB) 45772

[startup+1182.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/470 7788
/proc/meminfo: memFree=24142316/32951124 swapFree=56297244/67111528
[pid=7747] ppid=7745 vsize=46312 CPUtime=1182.28 cores=1,3,5,7
/proc/7747/stat : 7747 (clasp) R 7745 7747 6224 0 -1 4202496 9475 0 0 0 118226 2 0 0 25 0 1 0 901519600 47423488 8765 33554432000 4194304 4933572 140733960091552 18446744073709551615 4428384 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7747/statm: 11578 8765 388 181 0 8587 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 46312

[startup+1242.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/470 7790
/proc/meminfo: memFree=24142024/32951124 swapFree=56297244/67111528
[pid=7747] ppid=7745 vsize=46312 CPUtime=1242.28 cores=1,3,5,7
/proc/7747/stat : 7747 (clasp) R 7745 7747 6224 0 -1 4202496 9493 0 0 0 124226 2 0 0 25 0 1 0 901519600 47423488 8783 33554432000 4194304 4933572 140733960091552 18446744073709551615 4429120 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7747/statm: 11578 8783 388 181 0 8587 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 46312

[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/470 7791
/proc/meminfo: memFree=24141132/32951124 swapFree=56297244/67111528
[pid=7747] ppid=7745 vsize=46460 CPUtime=1302.28 cores=1,3,5,7
/proc/7747/stat : 7747 (clasp) R 7745 7747 6224 0 -1 4202496 9543 0 0 0 130226 2 0 0 25 0 1 0 901519600 47575040 8833 33554432000 4194304 4933572 140733960091552 18446744073709551615 4340890 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7747/statm: 11615 8833 388 181 0 8624 0
Current children cumulated CPU time (s) 1302.28
Current children cumulated vsize (KiB) 46460

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 7793
/proc/meminfo: memFree=24140616/32951124 swapFree=56297244/67111528
[pid=7747] ppid=7745 vsize=47092 CPUtime=1362.28 cores=1,3,5,7
/proc/7747/stat : 7747 (clasp) R 7745 7747 6224 0 -1 4202496 9673 0 0 0 136226 2 0 0 25 0 1 0 901519600 48222208 8963 33554432000 4194304 4933572 140733960091552 18446744073709551615 4428384 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7747/statm: 11773 8963 388 181 0 8782 0
Current children cumulated CPU time (s) 1362.28
Current children cumulated vsize (KiB) 47092

[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 7795
/proc/meminfo: memFree=24141088/32951124 swapFree=56297244/67111528
[pid=7747] ppid=7745 vsize=47904 CPUtime=1422.29 cores=1,3,5,7
/proc/7747/stat : 7747 (clasp) R 7745 7747 6224 0 -1 4202496 9836 0 0 0 142227 2 0 0 25 0 1 0 901519600 49053696 9126 33554432000 4194304 4933572 140733960091552 18446744073709551615 4649153 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7747/statm: 11976 9126 388 181 0 8985 0
Current children cumulated CPU time (s) 1422.29
Current children cumulated vsize (KiB) 47904

[startup+1482.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/470 7796
/proc/meminfo: memFree=24137344/32951124 swapFree=56297244/67111528
[pid=7747] ppid=7745 vsize=50732 CPUtime=1482.29 cores=1,3,5,7
/proc/7747/stat : 7747 (clasp) R 7745 7747 6224 0 -1 4202496 10542 0 0 0 148227 2 0 0 25 0 1 0 901519600 51949568 9832 33554432000 4194304 4933572 140733960091552 18446744073709551615 4648934 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7747/statm: 12683 9832 388 181 0 9692 0
Current children cumulated CPU time (s) 1482.29
Current children cumulated vsize (KiB) 50732

[startup+1542.32 s]
/proc/loadavg: 2.11 2.04 2.01 3/470 7798
/proc/meminfo: memFree=24137452/32951124 swapFree=56297244/67111528
[pid=7747] ppid=7745 vsize=50732 CPUtime=1542.31 cores=1,3,5,7
/proc/7747/stat : 7747 (clasp) R 7745 7747 6224 0 -1 4202496 10548 0 0 0 154229 2 0 0 25 0 1 0 901519600 51949568 9838 33554432000 4194304 4933572 140733960091552 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7747/statm: 12683 9838 388 181 0 9692 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 50732

[startup+1602.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/470 7799
/proc/meminfo: memFree=24137304/32951124 swapFree=56297244/67111528
[pid=7747] ppid=7745 vsize=50732 CPUtime=1602.29 cores=1,3,5,7
/proc/7747/stat : 7747 (clasp) R 7745 7747 6224 0 -1 4202496 10551 0 0 0 160227 2 0 0 25 0 1 0 901519600 51949568 9841 33554432000 4194304 4933572 140733960091552 18446744073709551615 4363270 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7747/statm: 12683 9841 388 181 0 9692 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 50732

[startup+1662.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/470 7801
/proc/meminfo: memFree=24136040/32951124 swapFree=56297244/67111528
[pid=7747] ppid=7745 vsize=50732 CPUtime=1662.29 cores=1,3,5,7
/proc/7747/stat : 7747 (clasp) R 7745 7747 6224 0 -1 4202496 10551 0 0 0 166227 2 0 0 25 0 1 0 901519600 51949568 9841 33554432000 4194304 4933572 140733960091552 18446744073709551615 4649734 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7747/statm: 12683 9841 388 181 0 9692 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 50732

[startup+1722.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/470 7803
/proc/meminfo: memFree=24135516/32951124 swapFree=56297244/67111528
[pid=7747] ppid=7745 vsize=50732 CPUtime=1722.3 cores=1,3,5,7
/proc/7747/stat : 7747 (clasp) R 7745 7747 6224 0 -1 4202496 10551 0 0 0 172228 2 0 0 25 0 1 0 901519600 51949568 9841 33554432000 4194304 4933572 140733960091552 18446744073709551615 4648709 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7747/statm: 12683 9841 388 181 0 9692 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 50732

[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/470 7804
/proc/meminfo: memFree=24133384/32951124 swapFree=56297244/67111528
[pid=7747] ppid=7745 vsize=50732 CPUtime=1782.3 cores=1,3,5,7
/proc/7747/stat : 7747 (clasp) R 7745 7747 6224 0 -1 4202496 10551 0 0 0 178228 2 0 0 25 0 1 0 901519600 51949568 9841 33554432000 4194304 4933572 140733960091552 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7747/statm: 12683 9841 388 181 0 9692 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 50732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.01 2.03 2.00 2/468 7806
/proc/meminfo: memFree=24165016/32951124 swapFree=56297244/67111528
[pid=7747] ppid=7745 vsize=50732 CPUtime=1800 cores=1,3,5,7
/proc/7747/stat : 7747 (clasp) R 7745 7747 6224 0 -1 4202496 10551 0 0 0 179998 2 0 0 25 0 1 0 901519600 51949568 9841 33554432000 4194304 4933572 140733960091552 18446744073709551615 4429005 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7747/statm: 12683 9841 388 181 0 9692 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 50732

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

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

[startup+1800 s]
/proc/loadavg: 2.01 2.03 2.00 2/468 7806
/proc/meminfo: memFree=24165016/32951124 swapFree=56297244/67111528
[pid=7747] ppid=7745 vsize=50732 CPUtime=1800 cores=1,3,5,7
/proc/7747/stat : 7747 (clasp) R 7745 7747 6224 0 -1 4202496 10551 0 0 0 179998 2 0 0 25 0 1 0 901519600 51949568 9841 33554432000 4194304 4933572 140733960091552 18446744073709551615 4429005 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/7747/statm: 12683 9841 388 181 0 9692 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 50732

Child status: 10
Real time (s): 1800.02
CPU time (s): 1800.03
CPU user time (s): 1800
CPU system time (s): 0.024996
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 50732

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

runsolver used 7.76482 second user time and 19.1491 second system time

The end

Launcher Data 

Begin job on node111 at 2011-06-03 16:54:51
IDJOB=3468012
IDBENCH=25003
IDSOLVER=1958
FILE ID=node111/3468012-1307112891
RUNJOBID= node111-1307109286-7481
PBS_JOBID= 13497983
Free space on /tmp= 73864 MiB

SOLVER NAME= clasp 2.0-R4191
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir09_area_delay.opb
COMMAND LINE= HOME/clasp BENCHNAME --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3468012-1307112891/watcher-3468012-1307112891 -o /tmp/evaluation-result-3468012-1307112891/solver-3468012-1307112891 -C 1800 -W 1900 -M 15500  HOME/clasp HOME/instance-3468012-1307112891.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2 

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

MD5SUM BENCH= 5a18fe98bad06341d01eaf33ecb4f046
RANDOM SEED=401560283

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24203272 kB
Buffers:        285236 kB
Cached:         783764 kB
SwapCached:      11784 kB
Active:        7726616 kB
Inactive:       743472 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24203272 kB
SwapTotal:    67111528 kB
SwapFree:     56297244 kB
Dirty:            4600 kB
Writeback:           0 kB
AnonPages:     7398404 kB
Mapped:          28272 kB
Slab:           143056 kB
PageTables:      66096 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 149091980 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73864 MiB
End job on node111 at 2011-06-03 17:24:53