Trace number 3709324

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)SAT (TO)31 1800 1800.31

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_011_area_delay.opb
MD5SUM2f74e16682a12ef5378f741d09271472
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark26
Best CPU time to get the best result obtained on this benchmark7.9128
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 26
Optimality of the best value was proved YES
Number of variables13304
Total number of constraints43326
Number of constraints which are clauses43326
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 6504
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 6504
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6504
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	31

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

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 26639
/proc/meminfo: memFree=29788004/32873844 swapFree=7372/7372
[pid=26639] ppid=26637 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26639/stat : 26639 (clasp-opt.sh) S 26637 26639 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283075981 9371648 275 33554432000 4194304 5064252 140735687178912 140735687177824 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26639/statm: 2288 275 232 213 0 73 0

[startup+0.0238761 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 26639
/proc/meminfo: memFree=29788004/32873844 swapFree=7372/7372
[pid=26639] ppid=26637 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26639/stat : 26639 (clasp-opt.sh) S 26637 26639 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283075981 9371648 275 33554432000 4194304 5064252 140735687178912 140735687177824 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26639/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.100236 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 26639
/proc/meminfo: memFree=29788004/32873844 swapFree=7372/7372
[pid=26639] ppid=26637 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26639/stat : 26639 (clasp-opt.sh) S 26637 26639 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283075981 9371648 275 33554432000 4194304 5064252 140735687178912 140735687177824 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26639/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.300223 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 26639
/proc/meminfo: memFree=29788004/32873844 swapFree=7372/7372
[pid=26639] ppid=26637 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26639/stat : 26639 (clasp-opt.sh) S 26637 26639 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283075981 9371648 275 33554432000 4194304 5064252 140735687178912 140735687177824 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26639/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.70022 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 26639
/proc/meminfo: memFree=29788004/32873844 swapFree=7372/7372
[pid=26639] ppid=26637 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26639/stat : 26639 (clasp-opt.sh) S 26637 26639 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283075981 9371648 275 33554432000 4194304 5064252 140735687178912 140735687177824 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26639/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+1.50024 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 26641
/proc/meminfo: memFree=29780764/32873844 swapFree=7372/7372
[pid=26639] ppid=26637 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26639/stat : 26639 (clasp-opt.sh) S 26637 26639 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283075981 9371648 275 33554432000 4194304 5064252 140735687178912 140735687177824 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26639/statm: 2288 275 232 213 0 73 0
[pid=26640] ppid=26639 vsize=9120 CPUtime=1.49 cores=0,2,4,6
/proc/26640/stat : 26640 (clasp-R5325) R 26639 26639 24451 0 -1 4202496 2566 0 0 0 149 0 0 0 20 0 1 0 283075981 9338880 1958 33554432000 4194304 6212839 140735192900672 140735192898824 5476624 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26640/statm: 2280 1958 238 493 0 1785 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18272

[startup+3.10024 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 26641
/proc/meminfo: memFree=29780284/32873844 swapFree=7372/7372
[pid=26639] ppid=26637 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26639/stat : 26639 (clasp-opt.sh) S 26637 26639 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283075981 9371648 275 33554432000 4194304 5064252 140735687178912 140735687177824 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26639/statm: 2288 275 232 213 0 73 0
[pid=26640] ppid=26639 vsize=9648 CPUtime=3.09 cores=0,2,4,6
/proc/26640/stat : 26640 (clasp-R5325) R 26639 26639 24451 0 -1 4202496 2695 0 0 0 309 0 0 0 20 0 1 0 283075981 9879552 2087 33554432000 4194304 6212839 140735192900672 140735192899080 4634964 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26640/statm: 2412 2087 238 493 0 1917 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18800

[startup+6.30025 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 26641
/proc/meminfo: memFree=29779044/32873844 swapFree=7372/7372
[pid=26639] ppid=26637 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26639/stat : 26639 (clasp-opt.sh) S 26637 26639 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283075981 9371648 275 33554432000 4194304 5064252 140735687178912 140735687177824 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26639/statm: 2288 275 232 213 0 73 0
[pid=26640] ppid=26639 vsize=10308 CPUtime=6.29 cores=0,2,4,6
/proc/26640/stat : 26640 (clasp-R5325) R 26639 26639 24451 0 -1 4202496 2870 0 0 0 629 0 0 0 20 0 1 0 283075981 10555392 2262 33554432000 4194304 6212839 140735192900672 140735192898680 4422344 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26640/statm: 2577 2262 238 493 0 2082 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19460

[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 26641
/proc/meminfo: memFree=29776392/32873844 swapFree=7372/7372
[pid=26639] ppid=26637 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26639/stat : 26639 (clasp-opt.sh) S 26637 26639 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283075981 9371648 275 33554432000 4194304 5064252 140735687178912 140735687177824 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26639/statm: 2288 275 232 213 0 73 0
[pid=26640] ppid=26639 vsize=11236 CPUtime=12.69 cores=0,2,4,6
/proc/26640/stat : 26640 (clasp-R5325) R 26639 26639 24451 0 -1 4202496 3090 0 0 0 1269 0 0 0 20 0 1 0 283075981 11505664 2482 33554432000 4194304 6212839 140735192900672 140735192898824 4421869 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26640/statm: 2809 2482 238 493 0 2314 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20388

[startup+25.5003 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 26641
/proc/meminfo: memFree=29775456/32873844 swapFree=7372/7372
[pid=26639] ppid=26637 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26639/stat : 26639 (clasp-opt.sh) S 26637 26639 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283075981 9371648 275 33554432000 4194304 5064252 140735687178912 140735687177824 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26639/statm: 2288 275 232 213 0 73 0
[pid=26640] ppid=26639 vsize=12560 CPUtime=25.48 cores=0,2,4,6
/proc/26640/stat : 26640 (clasp-R5325) R 26639 26639 24451 0 -1 4202496 3414 0 0 0 2548 0 0 0 20 0 1 0 283075981 12861440 2817 33554432000 4194304 6212839 140735192900672 140735192898680 4685943 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26640/statm: 3140 2817 238 493 0 2645 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21712

[startup+51.1003 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 26641
/proc/meminfo: memFree=29772664/32873844 swapFree=7372/7372
[pid=26639] ppid=26637 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26639/stat : 26639 (clasp-opt.sh) S 26637 26639 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283075981 9371648 275 33554432000 4194304 5064252 140735687178912 140735687177824 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26639/statm: 2288 275 232 213 0 73 0
[pid=26640] ppid=26639 vsize=15340 CPUtime=51.08 cores=0,2,4,6
/proc/26640/stat : 26640 (clasp-R5325) R 26639 26639 24451 0 -1 4202496 4112 0 0 0 5108 0 0 0 20 0 1 0 283075981 15708160 3516 33554432000 4194304 6212839 140735192900672 140735192898824 4674525 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26640/statm: 3835 3516 238 493 0 3340 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 24492

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26641
/proc/meminfo: memFree=29769188/32873844 swapFree=7372/7372
[pid=26639] ppid=26637 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26639/stat : 26639 (clasp-opt.sh) S 26637 26639 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283075981 9371648 275 33554432000 4194304 5064252 140735687178912 140735687177824 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26639/statm: 2288 275 232 213 0 73 0
[pid=26640] ppid=26639 vsize=18160 CPUtime=102.27 cores=0,2,4,6
/proc/26640/stat : 26640 (clasp-R5325) R 26639 26639 24451 0 -1 4202496 4793 0 0 0 10227 0 0 0 20 0 1 0 283075981 18595840 4216 33554432000 4194304 6212839 140735192900672 140735192898824 4634964 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26640/statm: 4540 4216 238 493 0 4045 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 27312

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26642
/proc/meminfo: memFree=29766272/32873844 swapFree=7372/7372
[pid=26639] ppid=26637 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26639/stat : 26639 (clasp-opt.sh) S 26637 26639 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283075981 9371648 275 33554432000 4194304 5064252 140735687178912 140735687177824 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26639/statm: 2288 275 232 213 0 73 0
[pid=26640] ppid=26639 vsize=20768 CPUtime=162.26 cores=0,2,4,6
/proc/26640/stat : 26640 (clasp-R5325) R 26639 26639 24451 0 -1 4202496 5415 0 0 0 16225 1 0 0 20 0 1 0 283075981 21266432 4847 33554432000 4194304 6212839 140735192900672 140735192898680 4422311 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26640/statm: 5192 4847 238 493 0 4697 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 29920

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26642
/proc/meminfo: memFree=29762484/32873844 swapFree=7372/7372
[pid=26639] ppid=26637 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26639/stat : 26639 (clasp-opt.sh) S 26637 26639 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283075981 9371648 275 33554432000 4194304 5064252 140735687178912 140735687177824 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26639/statm: 2288 275 232 213 0 73 0
[pid=26640] ppid=26639 vsize=23696 CPUtime=222.25 cores=0,2,4,6
/proc/26640/stat : 26640 (clasp-R5325) R 26639 26639 24451 0 -1 4202496 6110 0 0 0 22224 1 0 0 20 0 1 0 283075981 24264704 5583 33554432000 4194304 6212839 140735192900672 140735192898824 4424409 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26640/statm: 5924 5583 238 493 0 5429 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 32848

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26642
/proc/meminfo: memFree=29758700/32873844 swapFree=7372/7372
[pid=26639] ppid=26637 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26639/stat : 26639 (clasp-opt.sh) S 26637 26639 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283075981 9371648 275 33554432000 4194304 5064252 140735687178912 140735687177824 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26639/statm: 2288 275 232 213 0 73 0
[pid=26640] ppid=26639 vsize=26408 CPUtime=282.24 cores=0,2,4,6
/proc/26640/stat : 26640 (clasp-R5325) R 26639 26639 24451 0 -1 4202496 6760 0 0 0 28223 1 0 0 20 0 1 0 283075981 27041792 6265 33554432000 4194304 6212839 140735192900672 140735192898680 4333860 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26640/statm: 6602 6265 238 493 0 6107 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 35560

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 26645
/proc/meminfo: memFree=29756148/32873844 swapFree=7372/7372
[pid=26639] ppid=26637 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26639/stat : 26639 (clasp-opt.sh) S 26637 26639 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283075981 9371648 275 33554432000 4194304 5064252 140735687178912 140735687177824 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26639/statm: 2288 275 232 213 0 73 0
[pid=26640] ppid=26639 vsize=28880 CPUtime=342.23 cores=0,2,4,6
/proc/26640/stat : 26640 (clasp-R5325) R 26639 26639 24451 0 -1 4202496 7352 0 0 0 34222 1 0 0 20 0 1 0 283075981 29573120 6875 33554432000 4194304 6212839 140735192900672 140735192898824 4423550 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26640/statm: 7220 6875 238 493 0 6725 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 38032

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26645
/proc/meminfo: memFree=29754416/32873844 swapFree=7372/7372
[pid=26639] ppid=26637 vsize=9152 CPUtime=0 cores=0,2,4,6

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

/proc/26640/statm: 12413 11999 238 493 0 11918 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 58804

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 26674
/proc/meminfo: memFree=29730648/32873844 swapFree=7372/7372
[pid=26639] ppid=26637 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26639/stat : 26639 (clasp-opt.sh) S 26637 26639 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283075981 9371648 275 33554432000 4194304 5064252 140735687178912 140735687177824 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26639/statm: 2288 275 232 213 0 73 0
[pid=26640] ppid=26639 vsize=49652 CPUtime=1242.08 cores=0,2,4,6
/proc/26640/stat : 26640 (clasp-R5325) R 26639 26639 24451 0 -1 4202496 12136 0 0 0 124206 2 0 0 20 0 1 0 283075981 50843648 12096 33554432000 4194304 6212839 140735192900672 140735192898824 4634937 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26640/statm: 12413 12096 238 493 0 11918 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 58804

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26714
/proc/meminfo: memFree=29813320/32873844 swapFree=7372/7372
[pid=26639] ppid=26637 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26639/stat : 26639 (clasp-opt.sh) S 26637 26639 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283075981 9371648 275 33554432000 4194304 5064252 140735687178912 140735687177824 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26639/statm: 2288 275 232 213 0 73 0
[pid=26640] ppid=26639 vsize=50332 CPUtime=1302.07 cores=0,2,4,6
/proc/26640/stat : 26640 (clasp-R5325) R 26639 26639 24451 0 -1 4202496 12289 0 0 0 130205 2 0 0 20 0 1 0 283075981 51539968 12249 33554432000 4194304 6212839 140735192900672 140735192898680 4424377 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26640/statm: 12583 12249 238 493 0 12088 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 59484

[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 26715
/proc/meminfo: memFree=29809784/32873844 swapFree=7372/7372
[pid=26639] ppid=26637 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26639/stat : 26639 (clasp-opt.sh) S 26637 26639 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283075981 9371648 275 33554432000 4194304 5064252 140735687178912 140735687177824 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26639/statm: 2288 275 232 213 0 73 0
[pid=26640] ppid=26639 vsize=51080 CPUtime=1362.06 cores=0,2,4,6
/proc/26640/stat : 26640 (clasp-R5325) R 26639 26639 24451 0 -1 4202496 12428 0 0 0 136204 2 0 0 20 0 1 0 283075981 52305920 12388 33554432000 4194304 6212839 140735192900672 140735192898824 4685740 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26640/statm: 12770 12388 238 493 0 12275 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 60232

[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 26715
/proc/meminfo: memFree=29805564/32873844 swapFree=7372/7372
[pid=26639] ppid=26637 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26639/stat : 26639 (clasp-opt.sh) S 26637 26639 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283075981 9371648 275 33554432000 4194304 5064252 140735687178912 140735687177824 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26639/statm: 2288 275 232 213 0 73 0
[pid=26640] ppid=26639 vsize=52852 CPUtime=1422.05 cores=0,2,4,6
/proc/26640/stat : 26640 (clasp-R5325) R 26639 26639 24451 0 -1 4202496 12793 0 0 0 142203 2 0 0 20 0 1 0 283075981 54120448 12827 33554432000 4194304 6212839 140735192900672 140735192898824 4683471 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26640/statm: 13213 12827 238 493 0 12718 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 62004

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26715
/proc/meminfo: memFree=29803764/32873844 swapFree=7372/7372
[pid=26639] ppid=26637 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26639/stat : 26639 (clasp-opt.sh) S 26637 26639 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283075981 9371648 275 33554432000 4194304 5064252 140735687178912 140735687177824 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26639/statm: 2288 275 232 213 0 73 0
[pid=26640] ppid=26639 vsize=52852 CPUtime=1482.05 cores=0,2,4,6
/proc/26640/stat : 26640 (clasp-R5325) R 26639 26639 24451 0 -1 4202496 12823 0 0 0 148202 3 0 0 20 0 1 0 283075981 54120448 12857 33554432000 4194304 6212839 140735192900672 140735192898824 4685679 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26640/statm: 13213 12857 238 493 0 12718 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 62004

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 26718
/proc/meminfo: memFree=29800344/32873844 swapFree=7372/7372
[pid=26639] ppid=26637 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26639/stat : 26639 (clasp-opt.sh) S 26637 26639 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283075981 9371648 275 33554432000 4194304 5064252 140735687178912 140735687177824 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26639/statm: 2288 275 232 213 0 73 0
[pid=26640] ppid=26639 vsize=53356 CPUtime=1542.04 cores=0,2,4,6
/proc/26640/stat : 26640 (clasp-R5325) R 26639 26639 24451 0 -1 4202496 12903 0 0 0 154201 3 0 0 20 0 1 0 283075981 54636544 12937 33554432000 4194304 6212839 140735192900672 140735192898824 4422296 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26640/statm: 13339 12937 238 493 0 12844 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 62508

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26718
/proc/meminfo: memFree=29799048/32873844 swapFree=7372/7372
[pid=26639] ppid=26637 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26639/stat : 26639 (clasp-opt.sh) S 26637 26639 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283075981 9371648 275 33554432000 4194304 5064252 140735687178912 140735687177824 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26639/statm: 2288 275 232 213 0 73 0
[pid=26640] ppid=26639 vsize=53652 CPUtime=1602.03 cores=0,2,4,6
/proc/26640/stat : 26640 (clasp-R5325) R 26639 26639 24451 0 -1 4202496 13005 0 0 0 160200 3 0 0 20 0 1 0 283075981 54939648 13039 33554432000 4194304 6212839 140735192900672 140735192898824 4685724 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26640/statm: 13413 13039 238 493 0 12918 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 62804

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26719
/proc/meminfo: memFree=29795820/32873844 swapFree=7372/7372
[pid=26639] ppid=26637 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26639/stat : 26639 (clasp-opt.sh) S 26637 26639 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283075981 9371648 275 33554432000 4194304 5064252 140735687178912 140735687177824 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26639/statm: 2288 275 232 213 0 73 0
[pid=26640] ppid=26639 vsize=54968 CPUtime=1662.02 cores=0,2,4,6
/proc/26640/stat : 26640 (clasp-R5325) R 26639 26639 24451 0 -1 4202496 13292 0 0 0 166199 3 0 0 20 0 1 0 283075981 56287232 13401 33554432000 4194304 6212839 140735192900672 140735192898824 4422364 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26640/statm: 13742 13401 238 493 0 13247 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 64120

[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 26719
/proc/meminfo: memFree=29794392/32873844 swapFree=7372/7372
[pid=26639] ppid=26637 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26639/stat : 26639 (clasp-opt.sh) S 26637 26639 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283075981 9371648 275 33554432000 4194304 5064252 140735687178912 140735687177824 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26639/statm: 2288 275 232 213 0 73 0
[pid=26640] ppid=26639 vsize=55364 CPUtime=1722.01 cores=0,2,4,6
/proc/26640/stat : 26640 (clasp-R5325) R 26639 26639 24451 0 -1 4202496 13381 0 0 0 172198 3 0 0 20 0 1 0 283075981 56692736 13490 33554432000 4194304 6212839 140735192900672 140735192898680 4422323 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26640/statm: 13841 13490 238 493 0 13346 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 64516

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 26719
/proc/meminfo: memFree=29793276/32873844 swapFree=7372/7372
[pid=26639] ppid=26637 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26639/stat : 26639 (clasp-opt.sh) S 26637 26639 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283075981 9371648 275 33554432000 4194304 5064252 140735687178912 140735687177824 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26639/statm: 2288 275 232 213 0 73 0
[pid=26640] ppid=26639 vsize=55644 CPUtime=1782 cores=0,2,4,6
/proc/26640/stat : 26640 (clasp-R5325) R 26639 26639 24451 0 -1 4202496 13419 0 0 0 178197 3 0 0 20 0 1 0 283075981 56979456 13528 33554432000 4194304 6212839 140735192900672 140735192898824 4424532 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26640/statm: 13911 13528 238 493 0 13416 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 64796



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 26719
/proc/meminfo: memFree=29792344/32873844 swapFree=7372/7372
[pid=26639] ppid=26637 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26639/stat : 26639 (clasp-opt.sh) S 26637 26639 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283075981 9371648 275 33554432000 4194304 5064252 140735687178912 140735687177824 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26639/statm: 2288 275 232 213 0 73 0
[pid=26640] ppid=26639 vsize=56500 CPUtime=1800 cores=0,2,4,6
/proc/26640/stat : 26640 (clasp-R5325) R 26639 26639 24451 0 -1 4202496 13623 0 0 0 179997 3 0 0 20 0 1 0 283075981 57856000 13787 33554432000 4194304 6212839 140735192900672 140735192898824 4333776 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26640/statm: 14125 13787 238 493 0 13630 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 65652

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

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

[startup+1800.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 26719
/proc/meminfo: memFree=29792344/32873844 swapFree=7372/7372
[pid=26639] ppid=26637 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/26639/stat : 26639 (clasp-opt.sh) S 26637 26639 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283075981 9371648 275 33554432000 4194304 5064252 140735687178912 140735687177824 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26639/statm: 2288 275 232 213 0 73 0
[pid=26640] ppid=26639 vsize=56500 CPUtime=1800 cores=0,2,4,6
/proc/26640/stat : 26640 (clasp-R5325) R 26639 26639 24451 0 -1 4202496 13623 0 0 0 179997 3 0 0 20 0 1 0 283075981 57856000 13787 33554432000 4194304 6212839 140735192900672 140735192898824 4333776 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/26640/statm: 14125 13787 238 493 0 13630 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 65652

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1800.31
CPU time (s): 1800
CPU user time (s): 1799.97
CPU system time (s): 0.03
CPU usage (%): 99.9827
Max. virtual memory (cumulated for all children) (KiB): 65652

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

runsolver used 3.38049 second user time and 8.96364 second system time

The end

Launcher Data 

Begin job on node133 at 2012-05-28 03:45:12
IDJOB=3709324
IDBENCH=24977
IDSOLVER=2288
FILE ID=node133/3709324-1338169512
RUNJOBID= node133-1338143953-24467
PBS_JOBID= 14624517
Free space on /tmp= 71672 MiB

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

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

MD5SUM BENCH= 2f74e16682a12ef5378f741d09271472
RANDOM SEED=1318020404

node133.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.540
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.08
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.540
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.92
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.540
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.540
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.540
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
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.540
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.540
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:        29788268 kB
Buffers:          366688 kB
Cached:          1848760 kB
SwapCached:          104 kB
Active:           716904 kB
Inactive:        1542992 kB
Active(anon):      35176 kB
Inactive(anon):    11368 kB
Active(file):     681728 kB
Inactive(file):  1531624 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67108752 kB
Dirty:              3488 kB
Writeback:             4 kB
AnonPages:         51316 kB
Mapped:            15332 kB
Shmem:               212 kB
Slab:             686392 kB
SReclaimable:     128464 kB
SUnreclaim:       557928 kB
KernelStack:        1488 kB
PageTables:         3852 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     159216 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     24576 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= 71724 MiB
End job on node133 at 2012-05-28 04:15:14