Trace number 3709323

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)30 1800.01 1800.31

General information on the benchmark

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

Verifier Data

OK	30

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20776
/proc/meminfo: memFree=30381824/32873844 swapFree=7108/7108
[pid=20776] ppid=20774 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20776/stat : 20776 (clasp-opt.sh) S 20774 20776 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283264347 9371648 274 33554432000 4194304 5064252 140733591408144 140733591407056 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20776/statm: 2288 274 232 213 0 73 0

[startup+0.010199 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20776
/proc/meminfo: memFree=30381824/32873844 swapFree=7108/7108
[pid=20776] ppid=20774 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20776/stat : 20776 (clasp-opt.sh) S 20774 20776 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283264347 9371648 274 33554432000 4194304 5064252 140733591408144 140733591407056 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20776/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.100283 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20776
/proc/meminfo: memFree=30381824/32873844 swapFree=7108/7108
[pid=20776] ppid=20774 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20776/stat : 20776 (clasp-opt.sh) S 20774 20776 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283264347 9371648 274 33554432000 4194304 5064252 140733591408144 140733591407056 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20776/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.300211 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20776
/proc/meminfo: memFree=30381824/32873844 swapFree=7108/7108
[pid=20776] ppid=20774 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20776/stat : 20776 (clasp-opt.sh) S 20774 20776 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283264347 9371648 274 33554432000 4194304 5064252 140733591408144 140733591407056 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20776/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.700229 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20776
/proc/meminfo: memFree=30381824/32873844 swapFree=7108/7108
[pid=20776] ppid=20774 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20776/stat : 20776 (clasp-opt.sh) S 20774 20776 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283264347 9371648 274 33554432000 4194304 5064252 140733591408144 140733591407056 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20776/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20778
/proc/meminfo: memFree=30375600/32873844 swapFree=7108/7108
[pid=20776] ppid=20774 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20776/stat : 20776 (clasp-opt.sh) S 20774 20776 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283264347 9371648 274 33554432000 4194304 5064252 140733591408144 140733591407056 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20776/statm: 2288 274 232 213 0 73 0
[pid=20777] ppid=20776 vsize=8488 CPUtime=1.49 cores=1,3,5,7
/proc/20777/stat : 20777 (clasp-R5325) R 20776 20776 19533 0 -1 4202496 2270 0 0 0 149 0 0 0 20 0 1 0 283264348 8691712 1791 33554432000 4194304 6212839 140734667318736 140734667316744 4333812 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/20777/statm: 2122 1791 237 493 0 1627 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17640

[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20778
/proc/meminfo: memFree=30375096/32873844 swapFree=7108/7108
[pid=20776] ppid=20774 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20776/stat : 20776 (clasp-opt.sh) S 20774 20776 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283264347 9371648 274 33554432000 4194304 5064252 140733591408144 140733591407056 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20776/statm: 2288 274 232 213 0 73 0
[pid=20777] ppid=20776 vsize=9040 CPUtime=3.08 cores=1,3,5,7
/proc/20777/stat : 20777 (clasp-R5325) R 20776 20776 19533 0 -1 4202496 2402 0 0 0 308 0 0 0 20 0 1 0 283264348 9256960 1923 33554432000 4194304 6212839 140734667318736 140734667316744 4683420 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/20777/statm: 2260 1923 237 493 0 1765 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 18192

[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20778
/proc/meminfo: memFree=30373480/32873844 swapFree=7108/7108
[pid=20776] ppid=20774 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20776/stat : 20776 (clasp-opt.sh) S 20774 20776 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283264347 9371648 274 33554432000 4194304 5064252 140733591408144 140733591407056 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20776/statm: 2288 274 232 213 0 73 0
[pid=20777] ppid=20776 vsize=9968 CPUtime=6.28 cores=1,3,5,7
/proc/20777/stat : 20777 (clasp-R5325) R 20776 20776 19533 0 -1 4202496 2634 0 0 0 628 0 0 0 20 0 1 0 283264348 10207232 2171 33554432000 4194304 6212839 140734667318736 140734667316744 4634948 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/20777/statm: 2492 2171 237 493 0 1997 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 19120

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20778
/proc/meminfo: memFree=30372132/32873844 swapFree=7108/7108
[pid=20776] ppid=20774 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20776/stat : 20776 (clasp-opt.sh) S 20774 20776 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283264347 9371648 274 33554432000 4194304 5064252 140733591408144 140733591407056 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20776/statm: 2288 274 232 213 0 73 0
[pid=20777] ppid=20776 vsize=10892 CPUtime=12.68 cores=1,3,5,7
/proc/20777/stat : 20777 (clasp-R5325) R 20776 20776 19533 0 -1 4202496 2851 0 0 0 1268 0 0 0 20 0 1 0 283264348 11153408 2388 33554432000 4194304 6212839 140734667318736 140734667316888 4685362 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/20777/statm: 2723 2388 237 493 0 2228 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 20044

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20778
/proc/meminfo: memFree=30370268/32873844 swapFree=7108/7108
[pid=20776] ppid=20774 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20776/stat : 20776 (clasp-opt.sh) S 20774 20776 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283264347 9371648 274 33554432000 4194304 5064252 140733591408144 140733591407056 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20776/statm: 2288 274 232 213 0 73 0
[pid=20777] ppid=20776 vsize=12492 CPUtime=25.48 cores=1,3,5,7
/proc/20777/stat : 20777 (clasp-R5325) R 20776 20776 19533 0 -1 4202496 3266 0 0 0 2548 0 0 0 20 0 1 0 283264348 12791808 2810 33554432000 4194304 6212839 140734667318736 140734667316744 4634928 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/20777/statm: 3123 2810 237 493 0 2628 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21644

[startup+51.1003 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 20778
/proc/meminfo: memFree=30367416/32873844 swapFree=7108/7108
[pid=20776] ppid=20774 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20776/stat : 20776 (clasp-opt.sh) S 20774 20776 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283264347 9371648 274 33554432000 4194304 5064252 140733591408144 140733591407056 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20776/statm: 2288 274 232 213 0 73 0
[pid=20777] ppid=20776 vsize=15216 CPUtime=51.08 cores=1,3,5,7
/proc/20777/stat : 20777 (clasp-R5325) R 20776 20776 19533 0 -1 4202496 3911 0 0 0 5107 1 0 0 20 0 1 0 283264348 15581184 3455 33554432000 4194304 6212839 140734667318736 140734667317144 4421856 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/20777/statm: 3804 3455 237 493 0 3309 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 24368

[startup+102.307 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 20778
/proc/meminfo: memFree=30362956/32873844 swapFree=7108/7108
[pid=20776] ppid=20774 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20776/stat : 20776 (clasp-opt.sh) S 20774 20776 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283264347 9371648 274 33554432000 4194304 5064252 140733591408144 140733591407056 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20776/statm: 2288 274 232 213 0 73 0
[pid=20777] ppid=20776 vsize=18212 CPUtime=102.27 cores=1,3,5,7
/proc/20777/stat : 20777 (clasp-R5325) R 20776 20776 19533 0 -1 4202496 4651 0 0 0 10226 1 0 0 20 0 1 0 283264348 18649088 4217 33554432000 4194304 6212839 140734667318736 140734667316744 4333840 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/20777/statm: 4553 4217 237 493 0 4058 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 27364

[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 20779
/proc/meminfo: memFree=30357736/32873844 swapFree=7108/7108
[pid=20776] ppid=20774 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20776/stat : 20776 (clasp-opt.sh) S 20774 20776 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283264347 9371648 274 33554432000 4194304 5064252 140733591408144 140733591407056 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20776/statm: 2288 274 232 213 0 73 0
[pid=20777] ppid=20776 vsize=22108 CPUtime=162.25 cores=1,3,5,7
/proc/20777/stat : 20777 (clasp-R5325) R 20776 20776 19533 0 -1 4202496 5622 0 0 0 16224 1 0 0 20 0 1 0 283264348 22638592 5201 33554432000 4194304 6212839 140734667318736 140734667316744 4333836 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/20777/statm: 5527 5201 237 493 0 5032 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 31260

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20779
/proc/meminfo: memFree=30354196/32873844 swapFree=7108/7108
[pid=20776] ppid=20774 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20776/stat : 20776 (clasp-opt.sh) S 20774 20776 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283264347 9371648 274 33554432000 4194304 5064252 140733591408144 140733591407056 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20776/statm: 2288 274 232 213 0 73 0
[pid=20777] ppid=20776 vsize=24396 CPUtime=222.25 cores=1,3,5,7
/proc/20777/stat : 20777 (clasp-R5325) R 20776 20776 19533 0 -1 4202496 6165 0 0 0 22223 2 0 0 20 0 1 0 283264348 24981504 5763 33554432000 4194304 6212839 140734667318736 140734667316744 4685736 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/20777/statm: 6099 5763 237 493 0 5604 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 33548

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20782
/proc/meminfo: memFree=30351396/32873844 swapFree=7108/7108
[pid=20776] ppid=20774 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20776/stat : 20776 (clasp-opt.sh) S 20774 20776 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283264347 9371648 274 33554432000 4194304 5064252 140733591408144 140733591407056 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20776/statm: 2288 274 232 213 0 73 0
[pid=20777] ppid=20776 vsize=26260 CPUtime=282.25 cores=1,3,5,7
/proc/20777/stat : 20777 (clasp-R5325) R 20776 20776 19533 0 -1 4202496 6599 0 0 0 28223 2 0 0 20 0 1 0 283264348 26890240 6219 33554432000 4194304 6212839 140734667318736 140734667316888 4372112 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/20777/statm: 6565 6219 237 493 0 6070 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 35412

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20782
/proc/meminfo: memFree=30347184/32873844 swapFree=7108/7108
[pid=20776] ppid=20774 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20776/stat : 20776 (clasp-opt.sh) S 20774 20776 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283264347 9371648 274 33554432000 4194304 5064252 140733591408144 140733591407056 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20776/statm: 2288 274 232 213 0 73 0
[pid=20777] ppid=20776 vsize=29328 CPUtime=342.23 cores=1,3,5,7
/proc/20777/stat : 20777 (clasp-R5325) R 20776 20776 19533 0 -1 4202496 7337 0 0 0 34221 2 0 0 20 0 1 0 283264348 30031872 6988 33554432000 4194304 6212839 140734667318736 140734667316888 4634973 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/20777/statm: 7332 6988 237 493 0 6837 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 38480

[startup+402.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 20782
/proc/meminfo: memFree=30342716/32873844 swapFree=7108/7108
[pid=20776] ppid=20774 vsize=9152 CPUtime=0 cores=1,3,5,7

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

/proc/20777/statm: 12029 11667 237 493 0 11534 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 57268

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20788
/proc/meminfo: memFree=30313236/32873844 swapFree=7108/7108
[pid=20776] ppid=20774 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20776/stat : 20776 (clasp-opt.sh) S 20774 20776 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283264347 9371648 274 33554432000 4194304 5064252 140733591408144 140733591407056 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20776/statm: 2288 274 232 213 0 73 0
[pid=20777] ppid=20776 vsize=50144 CPUtime=1242.1 cores=1,3,5,7
/proc/20777/stat : 20777 (clasp-R5325) R 20776 20776 19533 0 -1 4202496 12047 0 0 0 124207 3 0 0 20 0 1 0 283264348 51347456 12180 33554432000 4194304 6212839 140734667318736 140734667316888 4422281 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/20777/statm: 12536 12180 237 493 0 12041 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 59296

[startup+1302.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 20788
/proc/meminfo: memFree=30310692/32873844 swapFree=7108/7108
[pid=20776] ppid=20774 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20776/stat : 20776 (clasp-opt.sh) S 20774 20776 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283264347 9371648 274 33554432000 4194304 5064252 140733591408144 140733591407056 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20776/statm: 2288 274 232 213 0 73 0
[pid=20777] ppid=20776 vsize=51676 CPUtime=1302.09 cores=1,3,5,7
/proc/20777/stat : 20777 (clasp-R5325) R 20776 20776 19533 0 -1 4202496 12377 0 0 0 130206 3 0 0 20 0 1 0 283264348 52916224 12585 33554432000 4194304 6212839 140734667318736 140734667316888 4372106 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/20777/statm: 12919 12585 237 493 0 12424 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 60828

[startup+1362.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 20789
/proc/meminfo: memFree=30310196/32873844 swapFree=7108/7108
[pid=20776] ppid=20774 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20776/stat : 20776 (clasp-opt.sh) S 20774 20776 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283264347 9371648 274 33554432000 4194304 5064252 140733591408144 140733591407056 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20776/statm: 2288 274 232 213 0 73 0
[pid=20777] ppid=20776 vsize=52076 CPUtime=1362.08 cores=1,3,5,7
/proc/20777/stat : 20777 (clasp-R5325) R 20776 20776 19533 0 -1 4202496 12426 0 0 0 136205 3 0 0 20 0 1 0 283264348 53325824 12634 33554432000 4194304 6212839 140734667318736 140734667316888 4634990 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/20777/statm: 13019 12634 237 493 0 12524 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 61228

[startup+1422.31 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 20789
/proc/meminfo: memFree=30309264/32873844 swapFree=7108/7108
[pid=20776] ppid=20774 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20776/stat : 20776 (clasp-opt.sh) S 20774 20776 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283264347 9371648 274 33554432000 4194304 5064252 140733591408144 140733591407056 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20776/statm: 2288 274 232 213 0 73 0
[pid=20777] ppid=20776 vsize=52412 CPUtime=1422.07 cores=1,3,5,7
/proc/20777/stat : 20777 (clasp-R5325) R 20776 20776 19533 0 -1 4202496 12504 0 0 0 142204 3 0 0 20 0 1 0 283264348 53669888 12712 33554432000 4194304 6212839 140734667318736 140734667316888 4683418 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/20777/statm: 13103 12712 237 493 0 12608 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 61564

[startup+1482.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/180 20792
/proc/meminfo: memFree=30306960/32873844 swapFree=7108/7108
[pid=20776] ppid=20774 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20776/stat : 20776 (clasp-opt.sh) S 20774 20776 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283264347 9371648 274 33554432000 4194304 5064252 140733591408144 140733591407056 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20776/statm: 2288 274 232 213 0 73 0
[pid=20777] ppid=20776 vsize=53492 CPUtime=1482.06 cores=1,3,5,7
/proc/20777/stat : 20777 (clasp-R5325) R 20776 20776 19533 0 -1 4202496 12783 0 0 0 148203 3 0 0 20 0 1 0 283264348 54775808 13060 33554432000 4194304 6212839 140734667318736 140734667316744 4421884 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/20777/statm: 13373 13060 237 493 0 12878 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 62644

[startup+1542.3 s]
/proc/loadavg: 2.16 2.07 2.01 3/179 20792
/proc/meminfo: memFree=30305728/32873844 swapFree=7108/7108
[pid=20776] ppid=20774 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20776/stat : 20776 (clasp-opt.sh) S 20774 20776 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283264347 9371648 274 33554432000 4194304 5064252 140733591408144 140733591407056 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20776/statm: 2288 274 232 213 0 73 0
[pid=20777] ppid=20776 vsize=54284 CPUtime=1542.05 cores=1,3,5,7
/proc/20777/stat : 20777 (clasp-R5325) R 20776 20776 19533 0 -1 4202496 12977 0 0 0 154202 3 0 0 20 0 1 0 283264348 55586816 13254 33554432000 4194304 6212839 140734667318736 140734667316744 4422299 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/20777/statm: 13571 13254 237 493 0 13076 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 63436

[startup+1602.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/179 20832
/proc/meminfo: memFree=30334444/32873844 swapFree=7108/7108
[pid=20776] ppid=20774 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20776/stat : 20776 (clasp-opt.sh) S 20774 20776 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283264347 9371648 274 33554432000 4194304 5064252 140733591408144 140733591407056 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20776/statm: 2288 274 232 213 0 73 0
[pid=20777] ppid=20776 vsize=54548 CPUtime=1602.04 cores=1,3,5,7
/proc/20777/stat : 20777 (clasp-R5325) R 20776 20776 19533 0 -1 4202496 13023 0 0 0 160201 3 0 0 20 0 1 0 283264348 55857152 13300 33554432000 4194304 6212839 140734667318736 140734667316744 4422296 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/20777/statm: 13637 13300 237 493 0 13142 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 63700

[startup+1662.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/179 20833
/proc/meminfo: memFree=30329748/32873844 swapFree=7108/7108
[pid=20776] ppid=20774 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20776/stat : 20776 (clasp-opt.sh) S 20774 20776 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283264347 9371648 274 33554432000 4194304 5064252 140733591408144 140733591407056 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20776/statm: 2288 274 232 213 0 73 0
[pid=20777] ppid=20776 vsize=56864 CPUtime=1662.03 cores=1,3,5,7
/proc/20777/stat : 20777 (clasp-R5325) R 20776 20776 19533 0 -1 4202496 13571 0 0 0 166200 3 0 0 20 0 1 0 283264348 58228736 13860 33554432000 4194304 6212839 140734667318736 140734667316888 4421948 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/20777/statm: 14216 13860 237 493 0 13721 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 66016

[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 20833
/proc/meminfo: memFree=30324348/32873844 swapFree=7108/7108
[pid=20776] ppid=20774 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20776/stat : 20776 (clasp-opt.sh) S 20774 20776 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283264347 9371648 274 33554432000 4194304 5064252 140733591408144 140733591407056 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20776/statm: 2288 274 232 213 0 73 0
[pid=20777] ppid=20776 vsize=59708 CPUtime=1722.02 cores=1,3,5,7
/proc/20777/stat : 20777 (clasp-R5325) R 20776 20776 19533 0 -1 4202496 14188 0 0 0 172199 3 0 0 20 0 1 0 283264348 61140992 14511 33554432000 4194304 6212839 140734667318736 140734667316888 4421920 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/20777/statm: 14927 14511 237 493 0 14432 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 68860

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 20833
/proc/meminfo: memFree=30320440/32873844 swapFree=7108/7108
[pid=20776] ppid=20774 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20776/stat : 20776 (clasp-opt.sh) S 20774 20776 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283264347 9371648 274 33554432000 4194304 5064252 140733591408144 140733591407056 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20776/statm: 2288 274 232 213 0 73 0
[pid=20777] ppid=20776 vsize=60868 CPUtime=1782.01 cores=1,3,5,7
/proc/20777/stat : 20777 (clasp-R5325) R 20776 20776 19533 0 -1 4202496 14421 0 0 0 178198 3 0 0 20 0 1 0 283264348 62328832 14817 33554432000 4194304 6212839 140734667318736 140734667316888 4422296 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/20777/statm: 15217 14817 237 493 0 14722 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 70020



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 20833
/proc/meminfo: memFree=30319756/32873844 swapFree=7108/7108
[pid=20776] ppid=20774 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20776/stat : 20776 (clasp-opt.sh) S 20774 20776 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283264347 9371648 274 33554432000 4194304 5064252 140733591408144 140733591407056 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20776/statm: 2288 274 232 213 0 73 0
[pid=20777] ppid=20776 vsize=61060 CPUtime=1800.01 cores=1,3,5,7
/proc/20777/stat : 20777 (clasp-R5325) R 20776 20776 19533 0 -1 4202496 14456 0 0 0 179998 3 0 0 20 0 1 0 283264348 62525440 14852 33554432000 4194304 6212839 140734667318736 140734667316888 4333836 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/20777/statm: 15265 14852 237 493 0 14770 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 70212

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

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

[startup+1800.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 20833
/proc/meminfo: memFree=30319756/32873844 swapFree=7108/7108
[pid=20776] ppid=20774 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20776/stat : 20776 (clasp-opt.sh) S 20774 20776 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283264347 9371648 274 33554432000 4194304 5064252 140733591408144 140733591407056 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20776/statm: 2288 274 232 213 0 73 0
[pid=20777] ppid=20776 vsize=61060 CPUtime=1800.01 cores=1,3,5,7
/proc/20777/stat : 20777 (clasp-R5325) R 20776 20776 19533 0 -1 4202496 14456 0 0 0 179998 3 0 0 20 0 1 0 283264348 62525440 14852 33554432000 4194304 6212839 140734667318736 140734667316888 4333836 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/20777/statm: 15265 14852 237 493 0 14770 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 70212

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20776 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=999
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.01
#
# 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.01
CPU user time (s): 1799.98
CPU system time (s): 0.03
CPU usage (%): 99.9832
Max. virtual memory (cumulated for all children) (KiB): 70212

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

runsolver used 2.34164 second user time and 10.5834 second system time

The end

Launcher Data

Begin job on node102 at 2012-05-28 04:15:58
IDJOB=3709323
IDBENCH=24994
IDSOLVER=2288
FILE ID=node102/3709323-1338171358
RUNJOBID= node102-1338158454-19550
PBS_JOBID= 14624541
Free space on /tmp= 71528 MiB

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

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

MD5SUM BENCH= d869c2ae266497675d66f161576eaac8
RANDOM SEED=1420586177

node102.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		: 2667.178
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	: 5334.35
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		: 2667.178
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.90
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		: 2667.178
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.91
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		: 2667.178
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		: 2667.178
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		: 2667.178
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	: 5438.54
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		: 2667.178
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		: 2667.178
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:        30381832 kB
Buffers:          379840 kB
Cached:          1247200 kB
SwapCached:            0 kB
Active:           948972 kB
Inactive:         706152 kB
Active(anon):      19264 kB
Inactive(anon):    11036 kB
Active(file):     929708 kB
Inactive(file):   695116 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3616 kB
Writeback:             0 kB
AnonPages:         34620 kB
Mapped:            15264 kB
Shmem:               200 kB
Slab:             697112 kB
SReclaimable:     139404 kB
SUnreclaim:       557708 kB
KernelStack:        1456 kB
PageTables:         3708 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     141100 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 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= 71524 MiB
End job on node102 at 2012-05-28 04:46:01