Trace number 3708960

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.6-R5325 (opt)? (TO) 1800.07 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos19.opb
MD5SUM1ef5c8e94b66b7ed63dffc6923ecd901
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-3
Best CPU time to get the best result obtained on this benchmark1783.2
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -3
Optimality of the best value was proved NO
Number of variables1041679
Total number of constraints127860
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints127780
Minimum length of a constraint2
Maximum length of a constraint275
Number of terms in the objective function 1611
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 1611
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 24576
Number of bits of the biggest number in a constraint 15
Biggest sum of numbers in a constraint 98256
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

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

Verifier Data

FAILED
ERROR: unsatisfied constraint on line 0
	3072=0

Falsified constraint is:
+3072*x9401[=1] -1*x89531[=0] -2*x89532[=0] -4*x89533[=0] -8*x89534[=0] -16*x89535[=0] -32*x89536[=0] -64*x89537[=0] -128*x89538[=0] -256*x89539[=0] -512*x89540[=0] -1024*x89541[=0] -1*x89542[=0] -2*x89543[=0] -4*x89544[=0] -8*x89545[=0] -16*x89546[=0] -32*x89547[=0] -64*x89548[=0] -128*x89549[=0] -256*x89550[=0] -512*x89551[=0] -1024*x89552[=0] -1*x89553[=0] -2*x89554[=0] -4*x89555[=0] -8*x89556[=0] -16*x89557[=0] -32*x89558[=0] -64*x89559[=0] -128*x89560[=0] -256*x89561[=0] -512*x89562[=0] -1024*x89563[=0] = 0 

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3708960-1338140248/watcher-3708960-1338140248 -o /tmp/evaluation-result-3708960-1338140248/solver-3708960-1338140248 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3708960-1338140248.opb 

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.00 1.00 1.16 3/175 14420
/proc/meminfo: memFree=31333880/32873844 swapFree=6088/6088
[pid=14420] ppid=14418 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14420/stat : 14420 (clasp-opt.sh) S 14418 14420 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280153366 9371648 275 33554432000 4194304 5064252 140735420809936 140735420808848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14420/statm: 2288 275 232 213 0 73 0

[startup+0.0751639 s]
/proc/loadavg: 1.00 1.00 1.16 3/175 14420
/proc/meminfo: memFree=31333880/32873844 swapFree=6088/6088
[pid=14420] ppid=14418 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14420/stat : 14420 (clasp-opt.sh) S 14418 14420 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280153366 9371648 275 33554432000 4194304 5064252 140735420809936 140735420808848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14420/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.100357 s]
/proc/loadavg: 1.00 1.00 1.16 3/175 14420
/proc/meminfo: memFree=31333880/32873844 swapFree=6088/6088
[pid=14420] ppid=14418 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14420/stat : 14420 (clasp-opt.sh) S 14418 14420 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280153366 9371648 275 33554432000 4194304 5064252 140735420809936 140735420808848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14420/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.300297 s]
/proc/loadavg: 1.00 1.00 1.16 3/175 14420
/proc/meminfo: memFree=31333880/32873844 swapFree=6088/6088
[pid=14420] ppid=14418 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14420/stat : 14420 (clasp-opt.sh) S 14418 14420 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280153366 9371648 275 33554432000 4194304 5064252 140735420809936 140735420808848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14420/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.700303 s]
/proc/loadavg: 1.00 1.00 1.16 3/175 14420
/proc/meminfo: memFree=31333880/32873844 swapFree=6088/6088
[pid=14420] ppid=14418 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14420/stat : 14420 (clasp-opt.sh) S 14418 14420 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280153366 9371648 275 33554432000 4194304 5064252 140735420809936 140735420808848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14420/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+1.50036 s]
/proc/loadavg: 1.00 1.00 1.16 3/177 14422
/proc/meminfo: memFree=30901696/32873844 swapFree=6088/6088
[pid=14420] ppid=14418 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14420/stat : 14420 (clasp-opt.sh) S 14418 14420 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280153366 9371648 275 33554432000 4194304 5064252 140735420809936 140735420808848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14420/statm: 2288 275 232 213 0 73 0
[pid=14421] ppid=14420 vsize=488336 CPUtime=1.49 cores=1,3,5,7
/proc/14421/stat : 14421 (clasp-R5325) R 14420 14420 12301 0 -1 4202496 68569 0 0 0 131 18 0 0 20 0 1 0 280153366 500056064 120529 33554432000 4194304 6212839 140733700199200 140733700195608 4634964 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/14421/statm: 122084 120529 223 493 0 121589 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 497488

[startup+3.10033 s]
/proc/loadavg: 1.08 1.02 1.17 3/177 14422
/proc/meminfo: memFree=30848976/32873844 swapFree=6088/6088
[pid=14420] ppid=14418 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14420/stat : 14420 (clasp-opt.sh) S 14418 14420 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280153366 9371648 275 33554432000 4194304 5064252 140735420809936 140735420808848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14420/statm: 2288 275 232 213 0 73 0
[pid=14421] ppid=14420 vsize=488336 CPUtime=3.09 cores=1,3,5,7
/proc/14421/stat : 14421 (clasp-R5325) R 14420 14420 12301 0 -1 4202496 68983 0 0 0 291 18 0 0 20 0 1 0 280153366 500056064 120943 33554432000 4194304 6212839 140733700199200 140733700197608 4663062 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/14421/statm: 122084 120943 237 493 0 121589 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 497488

[startup+6.30033 s]
/proc/loadavg: 1.08 1.02 1.17 3/177 14422
/proc/meminfo: memFree=30847496/32873844 swapFree=6088/6088
[pid=14420] ppid=14418 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14420/stat : 14420 (clasp-opt.sh) S 14418 14420 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280153366 9371648 275 33554432000 4194304 5064252 140735420809936 140735420808848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14420/statm: 2288 275 232 213 0 73 0
[pid=14421] ppid=14420 vsize=490916 CPUtime=6.29 cores=1,3,5,7
/proc/14421/stat : 14421 (clasp-R5325) R 14420 14420 12301 0 -1 4202496 69638 0 0 0 611 18 0 0 20 0 1 0 280153366 502697984 121598 33554432000 4194304 6212839 140733700199200 140733700197208 4663033 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/14421/statm: 122729 121598 238 493 0 122234 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 500068

[startup+12.7004 s]
/proc/loadavg: 1.22 1.05 1.18 3/177 14422
/proc/meminfo: memFree=30843244/32873844 swapFree=6088/6088
[pid=14420] ppid=14418 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14420/stat : 14420 (clasp-opt.sh) S 14418 14420 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280153366 9371648 275 33554432000 4194304 5064252 140735420809936 140735420808848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14420/statm: 2288 275 232 213 0 73 0
[pid=14421] ppid=14420 vsize=493788 CPUtime=12.68 cores=1,3,5,7
/proc/14421/stat : 14421 (clasp-R5325) R 14420 14420 12301 0 -1 4202496 70345 0 0 0 1250 18 0 0 20 0 1 0 280153366 505638912 122305 33554432000 4194304 6212839 140733700199200 140733700197352 4664638 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/14421/statm: 123447 122305 238 493 0 122952 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 502940

[startup+25.5003 s]
/proc/loadavg: 1.34 1.08 1.19 3/177 14422
/proc/meminfo: memFree=30842120/32873844 swapFree=6088/6088
[pid=14420] ppid=14418 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14420/stat : 14420 (clasp-opt.sh) S 14418 14420 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280153366 9371648 275 33554432000 4194304 5064252 140735420809936 140735420808848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14420/statm: 2288 275 232 213 0 73 0
[pid=14421] ppid=14420 vsize=495636 CPUtime=25.48 cores=1,3,5,7
/proc/14421/stat : 14421 (clasp-R5325) R 14420 14420 12301 0 -1 4202496 70809 0 0 0 2529 19 0 0 20 0 1 0 280153366 507531264 122762 33554432000 4194304 6212839 140733700199200 140733700197352 4663049 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/14421/statm: 123909 122762 238 493 0 123414 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 504788

[startup+51.1066 s]
/proc/loadavg: 1.56 1.15 1.21 3/177 14422
/proc/meminfo: memFree=30835252/32873844 swapFree=6088/6088
[pid=14420] ppid=14418 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14420/stat : 14420 (clasp-opt.sh) S 14418 14420 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280153366 9371648 275 33554432000 4194304 5064252 140735420809936 140735420808848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14420/statm: 2288 275 232 213 0 73 0
[pid=14421] ppid=14420 vsize=501256 CPUtime=51.07 cores=1,3,5,7
/proc/14421/stat : 14421 (clasp-R5325) R 14420 14420 12301 0 -1 4202496 72228 0 0 0 5088 19 0 0 20 0 1 0 280153366 513286144 124170 33554432000 4194304 6212839 140733700199200 140733700197208 4663033 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/14421/statm: 125314 124170 238 493 0 124819 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 510408

[startup+102.3 s]
/proc/loadavg: 1.82 1.29 1.25 3/177 14422
/proc/meminfo: memFree=30829964/32873844 swapFree=6088/6088
[pid=14420] ppid=14418 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14420/stat : 14420 (clasp-opt.sh) S 14418 14420 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280153366 9371648 275 33554432000 4194304 5064252 140735420809936 140735420808848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14420/statm: 2288 275 232 213 0 73 0
[pid=14421] ppid=14420 vsize=505448 CPUtime=102.25 cores=1,3,5,7
/proc/14421/stat : 14421 (clasp-R5325) R 14420 14420 12301 0 -1 4202496 73263 0 0 0 10206 19 0 0 20 0 1 0 280153366 517578752 125210 33554432000 4194304 6212839 140733700199200 140733700197352 4662796 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/14421/statm: 126362 125210 238 493 0 125867 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 514600

[startup+162.3 s]
/proc/loadavg: 1.93 1.42 1.29 3/178 14426
/proc/meminfo: memFree=30821924/32873844 swapFree=6088/6088
[pid=14420] ppid=14418 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14420/stat : 14420 (clasp-opt.sh) S 14418 14420 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280153366 9371648 275 33554432000 4194304 5064252 140735420809936 140735420808848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14420/statm: 2288 275 232 213 0 73 0
[pid=14421] ppid=14420 vsize=512856 CPUtime=162.25 cores=1,3,5,7
/proc/14421/stat : 14421 (clasp-R5325) R 14420 14420 12301 0 -1 4202496 75135 0 0 0 16205 20 0 0 20 0 1 0 280153366 525164544 127078 33554432000 4194304 6212839 140733700199200 140733700197208 4663033 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/14421/statm: 128214 127078 238 493 0 127719 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 522008

[startup+222.3 s]
/proc/loadavg: 1.97 1.51 1.33 3/177 14426
/proc/meminfo: memFree=30814844/32873844 swapFree=6088/6088
[pid=14420] ppid=14418 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14420/stat : 14420 (clasp-opt.sh) S 14418 14420 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280153366 9371648 275 33554432000 4194304 5064252 140735420809936 140735420808848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14420/statm: 2288 275 232 213 0 73 0
[pid=14421] ppid=14420 vsize=519316 CPUtime=222.23 cores=1,3,5,7
/proc/14421/stat : 14421 (clasp-R5325) R 14420 14420 12301 0 -1 4202496 76740 0 0 0 22203 20 0 0 20 0 1 0 280153366 531779584 128747 33554432000 4194304 6212839 140733700199200 140733700197352 4663049 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/14421/statm: 129829 128747 238 493 0 129334 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 528468

[startup+282.3 s]
/proc/loadavg: 1.99 1.61 1.37 3/177 14426
/proc/meminfo: memFree=30809072/32873844 swapFree=6088/6088
[pid=14420] ppid=14418 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14420/stat : 14420 (clasp-opt.sh) S 14418 14420 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280153366 9371648 275 33554432000 4194304 5064252 140735420809936 140735420808848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14420/statm: 2288 275 232 213 0 73 0
[pid=14421] ppid=14420 vsize=525108 CPUtime=282.22 cores=1,3,5,7
/proc/14421/stat : 14421 (clasp-R5325) R 14420 14420 12301 0 -1 4202496 78143 0 0 0 28202 20 0 0 20 0 1 0 280153366 537710592 130149 33554432000 4194304 6212839 140733700199200 140733700197208 4634960 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/14421/statm: 131277 130149 238 493 0 130782 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 534260

[startup+342.3 s]
/proc/loadavg: 1.99 1.67 1.41 3/177 14426
/proc/meminfo: memFree=30803800/32873844 swapFree=6088/6088
[pid=14420] ppid=14418 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14420/stat : 14420 (clasp-opt.sh) S 14418 14420 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280153366 9371648 275 33554432000 4194304 5064252 140735420809936 140735420808848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14420/statm: 2288 275 232 213 0 73 0
[pid=14421] ppid=14420 vsize=529980 CPUtime=342.22 cores=1,3,5,7
/proc/14421/stat : 14421 (clasp-R5325) R 14420 14420 12301 0 -1 4202496 79329 0 0 0 34201 21 0 0 20 0 1 0 280153366 542699520 131335 33554432000 4194304 6212839 140733700199200 140733700197208 4634935 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/14421/statm: 132495 131335 238 493 0 132000 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 539132

[startup+402.3 s]
/proc/loadavg: 1.99 1.73 1.44 3/177 14426
/proc/meminfo: memFree=30797848/32873844 swapFree=6088/6088
[pid=14420] ppid=14418 vsize=9152 CPUtime=0 cores=1,3,5,7

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

/proc/14421/statm: 149575 148316 238 493 0 149080 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 607452

[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.75 3/177 14433
/proc/meminfo: memFree=30730756/32873844 swapFree=6088/6088
[pid=14420] ppid=14418 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14420/stat : 14420 (clasp-opt.sh) S 14418 14420 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280153366 9371648 275 33554432000 4194304 5064252 140735420809936 140735420808848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14420/statm: 2288 275 232 213 0 73 0
[pid=14421] ppid=14420 vsize=601600 CPUtime=1242.07 cores=1,3,5,7
/proc/14421/stat : 14421 (clasp-R5325) R 14420 14420 12301 0 -1 4202496 96789 0 0 0 124183 24 0 0 20 0 1 0 280153366 616038400 149155 33554432000 4194304 6212839 140733700199200 140733700197208 4663033 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/14421/statm: 150400 149155 238 493 0 149905 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 610752

[startup+1302.3 s]
/proc/loadavg: 2.07 1.99 1.77 3/177 14433
/proc/meminfo: memFree=30726844/32873844 swapFree=6088/6088
[pid=14420] ppid=14418 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14420/stat : 14420 (clasp-opt.sh) S 14418 14420 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280153366 9371648 275 33554432000 4194304 5064252 140735420809936 140735420808848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14420/statm: 2288 275 232 213 0 73 0
[pid=14421] ppid=14420 vsize=604960 CPUtime=1302.06 cores=1,3,5,7
/proc/14421/stat : 14421 (clasp-R5325) R 14420 14420 12301 0 -1 4202496 97598 0 0 0 130181 25 0 0 20 0 1 0 280153366 619479040 150044 33554432000 4194304 6212839 140733700199200 140733700197352 4685294 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/14421/statm: 151240 150044 238 493 0 150745 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 614112

[startup+1362.31 s]
/proc/loadavg: 2.02 1.99 1.78 3/178 14436
/proc/meminfo: memFree=30722408/32873844 swapFree=6088/6088
[pid=14420] ppid=14418 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14420/stat : 14420 (clasp-opt.sh) S 14418 14420 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280153366 9371648 275 33554432000 4194304 5064252 140735420809936 140735420808848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14420/statm: 2288 275 232 213 0 73 0
[pid=14421] ppid=14420 vsize=608804 CPUtime=1362.05 cores=1,3,5,7
/proc/14421/stat : 14421 (clasp-R5325) R 14420 14420 12301 0 -1 4202496 98555 0 0 0 136180 25 0 0 20 0 1 0 280153366 623415296 151106 33554432000 4194304 6212839 140733700199200 140733700197208 4663049 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/14421/statm: 152201 151106 238 493 0 151706 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 617956

[startup+1422.3 s]
/proc/loadavg: 2.01 1.99 1.79 3/178 14460
/proc/meminfo: memFree=30713944/32873844 swapFree=6088/6088
[pid=14420] ppid=14418 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14420/stat : 14420 (clasp-opt.sh) S 14418 14420 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280153366 9371648 275 33554432000 4194304 5064252 140735420809936 140735420808848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14420/statm: 2288 275 232 213 0 73 0
[pid=14421] ppid=14420 vsize=617500 CPUtime=1422.04 cores=1,3,5,7
/proc/14421/stat : 14421 (clasp-R5325) R 14420 14420 12301 0 -1 4202496 100553 0 0 0 142178 26 0 0 20 0 1 0 280153366 632320000 153104 33554432000 4194304 6212839 140733700199200 140733700197352 4685305 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/14421/statm: 154375 153104 238 493 0 153880 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 626652

[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.80 3/177 14460
/proc/meminfo: memFree=30708536/32873844 swapFree=6088/6088
[pid=14420] ppid=14418 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14420/stat : 14420 (clasp-opt.sh) S 14418 14420 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280153366 9371648 275 33554432000 4194304 5064252 140735420809936 140735420808848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14420/statm: 2288 275 232 213 0 73 0
[pid=14421] ppid=14420 vsize=623388 CPUtime=1482.02 cores=1,3,5,7
/proc/14421/stat : 14421 (clasp-R5325) R 14420 14420 12301 0 -1 4202496 101898 0 0 0 148176 26 0 0 20 0 1 0 280153366 638349312 154449 33554432000 4194304 6212839 140733700199200 140733700197352 4663033 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/14421/statm: 155847 154449 238 493 0 155352 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 632540

[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.81 3/177 14460
/proc/meminfo: memFree=30706056/32873844 swapFree=6088/6088
[pid=14420] ppid=14418 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14420/stat : 14420 (clasp-opt.sh) S 14418 14420 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280153366 9371648 275 33554432000 4194304 5064252 140735420809936 140735420808848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14420/statm: 2288 275 232 213 0 73 0
[pid=14421] ppid=14420 vsize=625988 CPUtime=1542.02 cores=1,3,5,7
/proc/14421/stat : 14421 (clasp-R5325) R 14420 14420 12301 0 -1 4202496 102502 0 0 0 154176 26 0 0 20 0 1 0 280153366 641011712 155053 33554432000 4194304 6212839 140733700199200 140733700197352 4683439 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/14421/statm: 156497 155053 238 493 0 156002 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 635140

[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.82 3/177 14460
/proc/meminfo: memFree=30702088/32873844 swapFree=6088/6088
[pid=14420] ppid=14418 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14420/stat : 14420 (clasp-opt.sh) S 14418 14420 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280153366 9371648 275 33554432000 4194304 5064252 140735420809936 140735420808848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14420/statm: 2288 275 232 213 0 73 0
[pid=14421] ppid=14420 vsize=630460 CPUtime=1602.01 cores=1,3,5,7
/proc/14421/stat : 14421 (clasp-R5325) R 14420 14420 12301 0 -1 4202496 103481 0 0 0 160174 27 0 0 20 0 1 0 280153366 645591040 156032 33554432000 4194304 6212839 140733700199200 140733700197352 4685294 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/14421/statm: 157615 156032 238 493 0 157120 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 639612

[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.83 3/177 14460
/proc/meminfo: memFree=30690556/32873844 swapFree=6088/6088
[pid=14420] ppid=14418 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14420/stat : 14420 (clasp-opt.sh) S 14418 14420 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280153366 9371648 275 33554432000 4194304 5064252 140735420809936 140735420808848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14420/statm: 2288 275 232 213 0 73 0
[pid=14421] ppid=14420 vsize=642276 CPUtime=1662 cores=1,3,5,7
/proc/14421/stat : 14421 (clasp-R5325) R 14420 14420 12301 0 -1 4202496 106377 0 0 0 166173 27 0 0 20 0 1 0 280153366 657690624 158928 33554432000 4194304 6212839 140733700199200 140733700197208 4683129 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/14421/statm: 160569 158928 238 493 0 160074 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 651428

[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.83 3/177 14461
/proc/meminfo: memFree=30679248/32873844 swapFree=6088/6088
[pid=14420] ppid=14418 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14420/stat : 14420 (clasp-opt.sh) S 14418 14420 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280153366 9371648 275 33554432000 4194304 5064252 140735420809936 140735420808848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14420/statm: 2288 275 232 213 0 73 0
[pid=14421] ppid=14420 vsize=651772 CPUtime=1721.99 cores=1,3,5,7
/proc/14421/stat : 14421 (clasp-R5325) R 14420 14420 12301 0 -1 4202496 108685 0 0 0 172171 28 0 0 20 0 1 0 280153366 667414528 161663 33554432000 4194304 6212839 140733700199200 140733700197352 4662646 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/14421/statm: 162943 161663 238 493 0 162448 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 660924

[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.84 3/177 14461
/proc/meminfo: memFree=30674636/32873844 swapFree=6088/6088
[pid=14420] ppid=14418 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14420/stat : 14420 (clasp-opt.sh) S 14418 14420 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280153366 9371648 275 33554432000 4194304 5064252 140735420809936 140735420808848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14420/statm: 2288 275 232 213 0 73 0
[pid=14421] ppid=14420 vsize=655692 CPUtime=1781.97 cores=1,3,5,7
/proc/14421/stat : 14421 (clasp-R5325) R 14420 14420 12301 0 -1 4202496 109619 0 0 0 178169 28 0 0 20 0 1 0 280153366 671428608 162780 33554432000 4194304 6212839 140733700199200 140733700197352 4354295 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/14421/statm: 163923 162780 238 493 0 163428 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 664844



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 1.99 1.84 3/177 14501
/proc/meminfo: memFree=30659008/32873844 swapFree=6088/6088
[pid=14420] ppid=14418 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14420/stat : 14420 (clasp-opt.sh) S 14418 14420 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280153366 9371648 275 33554432000 4194304 5064252 140735420809936 140735420808848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14420/statm: 2288 275 232 213 0 73 0
[pid=14421] ppid=14420 vsize=655976 CPUtime=1800.07 cores=1,3,5,7
/proc/14421/stat : 14421 (clasp-R5325) R 14420 14420 12301 0 -1 4202496 109674 0 0 0 179979 28 0 0 20 0 1 0 280153366 671719424 162835 33554432000 4194304 6212839 140733700199200 140733700197352 4685336 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/14421/statm: 163994 162835 238 493 0 163499 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 665128

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

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

[startup+1800.4 s]
/proc/loadavg: 2.00 1.99 1.84 3/177 14501
/proc/meminfo: memFree=30659008/32873844 swapFree=6088/6088
[pid=14420] ppid=14418 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14420/stat : 14420 (clasp-opt.sh) S 14418 14420 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280153366 9371648 275 33554432000 4194304 5064252 140735420809936 140735420808848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14420/statm: 2288 275 232 213 0 73 0
[pid=14421] ppid=14420 vsize=655976 CPUtime=1800.07 cores=1,3,5,7
/proc/14421/stat : 14421 (clasp-R5325) R 14420 14420 12301 0 -1 4202496 109674 0 0 0 179979 28 0 0 20 0 1 0 280153366 671719424 162835 33554432000 4194304 6212839 140733700199200 140733700197352 4685336 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/14421/statm: 163994 162835 238 493 0 163499 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 665128

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1800.41
CPU time (s): 1800.07
CPU user time (s): 1799.79
CPU system time (s): 0.28
CPU usage (%): 99.981
Max. virtual memory (cumulated for all children) (KiB): 665128

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

runsolver used 7.67183 second user time and 6.45302 second system time

The end

Launcher Data

Begin job on node110 at 2012-05-27 19:37:29
IDJOB=3708960
IDBENCH=1845
IDSOLVER=2288
FILE ID=node110/3708960-1338140248
RUNJOBID= node110-1338140248-14392
PBS_JOBID= 14624477
Free space on /tmp= 71648 MiB

SOLVER NAME= clasp 2.0.6-R5325
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos19.opb
COMMAND LINE= HOME/clasp-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3708960-1338140248/watcher-3708960-1338140248 -o /tmp/evaluation-result-3708960-1338140248/solver-3708960-1338140248 -C 1800 -W 1900 -M 15500  HOME/clasp-opt.sh HOME/instance-3708960-1338140248.opb

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

MD5SUM BENCH= 1ef5c8e94b66b7ed63dffc6923ecd901
RANDOM SEED=183682793

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31334260 kB
Buffers:          283756 kB
Cached:           426956 kB
SwapCached:          148 kB
Active:           534268 kB
Inactive:         190436 kB
Active(anon):       4104 kB
Inactive(anon):    12496 kB
Active(file):     530164 kB
Inactive(file):   177940 kB
Unevictable:        6088 kB
Mlocked:            6088 kB
SwapTotal:      67108856 kB
SwapFree:       67108004 kB
Dirty:             40424 kB
Writeback:            12 kB
AnonPages:         22448 kB
Mapped:            15012 kB
Shmem:               196 kB
Slab:             675332 kB
SReclaimable:     117628 kB
SUnreclaim:       557704 kB
KernelStack:        1384 kB
PageTables:         3888 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     116272 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71640 MiB
End job on node110 at 2012-05-27 20:07:32