Trace number 3709280

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
clasp 2.0.6-R5325 (opt)? (TO) 1800.01 1800.31

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir08_area_delay.opb
MD5SUMe9d9fc2aedf45217e1b47072b194c567
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark23
Best CPU time to get the best result obtained on this benchmark425.483
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 31
Optimality of the best value was proved NO
Number of variables124856
Total number of constraints521620
Number of constraints which are clauses521620
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 constraint1023
Number of terms in the objective function 61556
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 61556
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 61556
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

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

Verifier Data

FAILED
ERROR: unsatisfied constraint on line 0
	-1>=0

Falsified constraint is:
+1*x33529[=0] +1*x33531[=0] +1*x33533[=0] +1*x33535[=0] +1*x33537[=0] +1*x33539[=0] +1*x33541[=0] +1*x33543[=0] +1*x33545[=0] +1*x33547[=0] +1*x33549[=0] +1*x33551[=0] +1*x33553[=0] +1*x33555[=0] +1*x26303[=0] -1*x169[=1] >= 0 

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3709280-1338172955/watcher-3709280-1338172955 -o /tmp/evaluation-result-3709280-1338172955/solver-3709280-1338172955 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709280-1338172955.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/179 19991
/proc/meminfo: memFree=31354260/32873844 swapFree=7616/7616
[pid=19991] ppid=19989 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19991/stat : 19991 (clasp-opt.sh) S 19989 19991 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283420339 9371648 274 33554432000 4194304 5064252 140736621555456 140736621554368 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19991/statm: 2288 274 232 213 0 73 0

[startup+0.00957702 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19991
/proc/meminfo: memFree=31354260/32873844 swapFree=7616/7616
[pid=19991] ppid=19989 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19991/stat : 19991 (clasp-opt.sh) S 19989 19991 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283420339 9371648 274 33554432000 4194304 5064252 140736621555456 140736621554368 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19991/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.100294 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19991
/proc/meminfo: memFree=31354260/32873844 swapFree=7616/7616
[pid=19991] ppid=19989 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19991/stat : 19991 (clasp-opt.sh) S 19989 19991 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283420339 9371648 274 33554432000 4194304 5064252 140736621555456 140736621554368 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19991/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.300252 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19991
/proc/meminfo: memFree=31354260/32873844 swapFree=7616/7616
[pid=19991] ppid=19989 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19991/stat : 19991 (clasp-opt.sh) S 19989 19991 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283420339 9371648 274 33554432000 4194304 5064252 140736621555456 140736621554368 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19991/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.700285 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19991
/proc/meminfo: memFree=31354260/32873844 swapFree=7616/7616
[pid=19991] ppid=19989 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19991/stat : 19991 (clasp-opt.sh) S 19989 19991 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283420339 9371648 274 33554432000 4194304 5064252 140736621555456 140736621554368 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19991/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 19993
/proc/meminfo: memFree=31274256/32873844 swapFree=7616/7616
[pid=19991] ppid=19989 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19991/stat : 19991 (clasp-opt.sh) S 19989 19991 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283420339 9371648 274 33554432000 4194304 5064252 140736621555456 140736621554368 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19991/statm: 2288 274 232 213 0 73 0
[pid=19992] ppid=19991 vsize=85864 CPUtime=1.48 cores=1,3,5,7
/proc/19992/stat : 19992 (clasp-R5325) R 19991 19991 18057 0 -1 4202496 18160 0 0 0 144 4 0 0 20 0 1 0 283420339 87924736 20693 33554432000 4194304 6212839 140733902329664 140733902327832 4601665 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/19992/statm: 21466 20693 214 493 0 20971 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 95016

[startup+3.10034 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 19993
/proc/meminfo: memFree=31269784/32873844 swapFree=7616/7616
[pid=19991] ppid=19989 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19991/stat : 19991 (clasp-opt.sh) S 19989 19991 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283420339 9371648 274 33554432000 4194304 5064252 140736621555456 140736621554368 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19991/statm: 2288 274 232 213 0 73 0
[pid=19992] ppid=19991 vsize=81968 CPUtime=3.09 cores=1,3,5,7
/proc/19992/stat : 19992 (clasp-R5325) R 19991 19991 18057 0 -1 4202496 19535 0 0 0 304 5 0 0 20 0 1 0 283420339 83935232 19732 33554432000 4194304 6212839 140733902329664 140733902328040 4422301 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/19992/statm: 20492 19732 231 493 0 19997 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 91120

[startup+6.30034 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 19993
/proc/meminfo: memFree=31275432/32873844 swapFree=7616/7616
[pid=19991] ppid=19989 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19991/stat : 19991 (clasp-opt.sh) S 19989 19991 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283420339 9371648 274 33554432000 4194304 5064252 140736621555456 140736621554368 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19991/statm: 2288 274 232 213 0 73 0
[pid=19992] ppid=19991 vsize=81968 CPUtime=6.29 cores=1,3,5,7
/proc/19992/stat : 19992 (clasp-R5325) R 19991 19991 18057 0 -1 4202496 19541 0 0 0 624 5 0 0 20 0 1 0 283420339 83935232 19738 33554432000 4194304 6212839 140733902329664 140733902328072 4635600 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/19992/statm: 20492 19738 237 493 0 19997 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 91120

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 19993
/proc/meminfo: memFree=31275192/32873844 swapFree=7616/7616
[pid=19991] ppid=19989 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19991/stat : 19991 (clasp-opt.sh) S 19989 19991 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283420339 9371648 274 33554432000 4194304 5064252 140736621555456 140736621554368 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19991/statm: 2288 274 232 213 0 73 0
[pid=19992] ppid=19991 vsize=81968 CPUtime=12.69 cores=1,3,5,7
/proc/19992/stat : 19992 (clasp-R5325) R 19991 19991 18057 0 -1 4202496 19541 0 0 0 1264 5 0 0 20 0 1 0 283420339 83935232 19738 33554432000 4194304 6212839 140733902329664 140733902328072 4634964 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/19992/statm: 20492 19738 237 493 0 19997 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 91120

[startup+25.5003 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 19993
/proc/meminfo: memFree=31275604/32873844 swapFree=7616/7616
[pid=19991] ppid=19989 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19991/stat : 19991 (clasp-opt.sh) S 19989 19991 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283420339 9371648 274 33554432000 4194304 5064252 140736621555456 140736621554368 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19991/statm: 2288 274 232 213 0 73 0
[pid=19992] ppid=19991 vsize=81968 CPUtime=25.48 cores=1,3,5,7
/proc/19992/stat : 19992 (clasp-R5325) R 19991 19991 18057 0 -1 4202496 19550 0 0 0 2543 5 0 0 20 0 1 0 283420339 83935232 19738 33554432000 4194304 6212839 140733902329664 140733902328072 4685736 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/19992/statm: 20492 19738 237 493 0 19997 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 91120

[startup+51.1003 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 19993
/proc/meminfo: memFree=31274212/32873844 swapFree=7616/7616
[pid=19991] ppid=19989 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19991/stat : 19991 (clasp-opt.sh) S 19989 19991 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283420339 9371648 274 33554432000 4194304 5064252 140736621555456 140736621554368 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19991/statm: 2288 274 232 213 0 73 0
[pid=19992] ppid=19991 vsize=81968 CPUtime=51.07 cores=1,3,5,7
/proc/19992/stat : 19992 (clasp-R5325) R 19991 19991 18057 0 -1 4202496 19563 0 0 0 5102 5 0 0 20 0 1 0 283420339 83935232 20063 33554432000 4194304 6212839 140733902329664 140733902328072 4372112 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/19992/statm: 20492 20063 238 493 0 19997 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 91120

[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 19993
/proc/meminfo: memFree=31273404/32873844 swapFree=7616/7616
[pid=19991] ppid=19989 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19991/stat : 19991 (clasp-opt.sh) S 19989 19991 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283420339 9371648 274 33554432000 4194304 5064252 140736621555456 140736621554368 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19991/statm: 2288 274 232 213 0 73 0
[pid=19992] ppid=19991 vsize=81968 CPUtime=102.27 cores=1,3,5,7
/proc/19992/stat : 19992 (clasp-R5325) R 19991 19991 18057 0 -1 4202496 19564 0 0 0 10222 5 0 0 20 0 1 0 283420339 83935232 20063 33554432000 4194304 6212839 140733902329664 140733902328072 4683418 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/19992/statm: 20492 20063 238 493 0 19997 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 91120

[startup+162.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/182 19994
/proc/meminfo: memFree=31273148/32873844 swapFree=7616/7616
[pid=19991] ppid=19989 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19991/stat : 19991 (clasp-opt.sh) S 19989 19991 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283420339 9371648 274 33554432000 4194304 5064252 140736621555456 140736621554368 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19991/statm: 2288 274 232 213 0 73 0
[pid=19992] ppid=19991 vsize=81968 CPUtime=162.25 cores=1,3,5,7
/proc/19992/stat : 19992 (clasp-R5325) R 19991 19991 18057 0 -1 4202496 19564 0 0 0 16220 5 0 0 20 0 1 0 283420339 83935232 20063 33554432000 4194304 6212839 140733902329664 140733902328072 4634964 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/19992/statm: 20492 20063 238 493 0 19997 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 91120

[startup+222.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/181 19994
/proc/meminfo: memFree=31272908/32873844 swapFree=7616/7616
[pid=19991] ppid=19989 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19991/stat : 19991 (clasp-opt.sh) S 19989 19991 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283420339 9371648 274 33554432000 4194304 5064252 140736621555456 140736621554368 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19991/statm: 2288 274 232 213 0 73 0
[pid=19992] ppid=19991 vsize=81968 CPUtime=222.24 cores=1,3,5,7
/proc/19992/stat : 19992 (clasp-R5325) R 19991 19991 18057 0 -1 4202496 19564 0 0 0 22219 5 0 0 20 0 1 0 283420339 83935232 20063 33554432000 4194304 6212839 140733902329664 140733902328072 4634964 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/19992/statm: 20492 20063 238 493 0 19997 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 91120

[startup+282.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/181 19995
/proc/meminfo: memFree=31272472/32873844 swapFree=7616/7616
[pid=19991] ppid=19989 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19991/stat : 19991 (clasp-opt.sh) S 19989 19991 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283420339 9371648 274 33554432000 4194304 5064252 140736621555456 140736621554368 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19991/statm: 2288 274 232 213 0 73 0
[pid=19992] ppid=19991 vsize=81968 CPUtime=282.24 cores=1,3,5,7
/proc/19992/stat : 19992 (clasp-R5325) R 19991 19991 18057 0 -1 4202496 19564 0 0 0 28219 5 0 0 20 0 1 0 283420339 83935232 20063 33554432000 4194304 6212839 140733902329664 140733902328072 4421962 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/19992/statm: 20492 20063 238 493 0 19997 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 91120

[startup+342.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/181 19995
/proc/meminfo: memFree=31272100/32873844 swapFree=7616/7616
[pid=19991] ppid=19989 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19991/stat : 19991 (clasp-opt.sh) S 19989 19991 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283420339 9371648 274 33554432000 4194304 5064252 140736621555456 140736621554368 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19991/statm: 2288 274 232 213 0 73 0
[pid=19992] ppid=19991 vsize=81968 CPUtime=342.23 cores=1,3,5,7
/proc/19992/stat : 19992 (clasp-R5325) R 19991 19991 18057 0 -1 4202496 19564 0 0 0 34218 5 0 0 20 0 1 0 283420339 83935232 20063 33554432000 4194304 6212839 140733902329664 140733902328072 4634964 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/19992/statm: 20492 20063 238 493 0 19997 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 91120

[startup+402.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/181 19995
/proc/meminfo: memFree=31272224/32873844 swapFree=7616/7616
[pid=19991] ppid=19989 vsize=9152 CPUtime=0 cores=1,3,5,7

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

/proc/19992/statm: 20492 20063 238 493 0 19997 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 91120

[startup+1242.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/181 20027
/proc/meminfo: memFree=31269928/32873844 swapFree=7616/7616
[pid=19991] ppid=19989 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19991/stat : 19991 (clasp-opt.sh) S 19989 19991 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283420339 9371648 274 33554432000 4194304 5064252 140736621555456 140736621554368 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19991/statm: 2288 274 232 213 0 73 0
[pid=19992] ppid=19991 vsize=81968 CPUtime=1242.09 cores=1,3,5,7
/proc/19992/stat : 19992 (clasp-R5325) R 19991 19991 18057 0 -1 4202496 19564 0 0 0 124204 5 0 0 20 0 1 0 283420339 83935232 20063 33554432000 4194304 6212839 140733902329664 140733902328072 4685736 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/19992/statm: 20492 20063 238 493 0 19997 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 91120

[startup+1302.3 s]
/proc/loadavg: 2.07 2.07 2.01 3/181 20027
/proc/meminfo: memFree=31269804/32873844 swapFree=7616/7616
[pid=19991] ppid=19989 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19991/stat : 19991 (clasp-opt.sh) S 19989 19991 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283420339 9371648 274 33554432000 4194304 5064252 140736621555456 140736621554368 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19991/statm: 2288 274 232 213 0 73 0
[pid=19992] ppid=19991 vsize=81968 CPUtime=1302.09 cores=1,3,5,7
/proc/19992/stat : 19992 (clasp-R5325) R 19991 19991 18057 0 -1 4202496 19564 0 0 0 130204 5 0 0 20 0 1 0 283420339 83935232 20063 33554432000 4194304 6212839 140733902329664 140733902328072 4634964 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/19992/statm: 20492 20063 238 493 0 19997 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 91120

[startup+1362.3 s]
/proc/loadavg: 2.06 2.07 2.00 3/181 20027
/proc/meminfo: memFree=31269680/32873844 swapFree=7616/7616
[pid=19991] ppid=19989 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19991/stat : 19991 (clasp-opt.sh) S 19989 19991 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283420339 9371648 274 33554432000 4194304 5064252 140736621555456 140736621554368 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19991/statm: 2288 274 232 213 0 73 0
[pid=19992] ppid=19991 vsize=81968 CPUtime=1362.07 cores=1,3,5,7
/proc/19992/stat : 19992 (clasp-R5325) R 19991 19991 18057 0 -1 4202496 19564 0 0 0 136202 5 0 0 20 0 1 0 283420339 83935232 20063 33554432000 4194304 6212839 140733902329664 140733902328072 4634964 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/19992/statm: 20492 20063 238 493 0 19997 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 91120

[startup+1422.31 s]
/proc/loadavg: 2.05 2.07 2.00 3/181 20027
/proc/meminfo: memFree=31269680/32873844 swapFree=7616/7616
[pid=19991] ppid=19989 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19991/stat : 19991 (clasp-opt.sh) S 19989 19991 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283420339 9371648 274 33554432000 4194304 5064252 140736621555456 140736621554368 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19991/statm: 2288 274 232 213 0 73 0
[pid=19992] ppid=19991 vsize=81968 CPUtime=1422.07 cores=1,3,5,7
/proc/19992/stat : 19992 (clasp-R5325) R 19991 19991 18057 0 -1 4202496 19564 0 0 0 142202 5 0 0 20 0 1 0 283420339 83935232 20063 33554432000 4194304 6212839 140733902329664 140733902328072 4685736 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/19992/statm: 20492 20063 238 493 0 19997 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 91120

[startup+1482.3 s]
/proc/loadavg: 2.05 2.07 2.00 3/181 20027
/proc/meminfo: memFree=31269680/32873844 swapFree=7616/7616
[pid=19991] ppid=19989 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19991/stat : 19991 (clasp-opt.sh) S 19989 19991 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283420339 9371648 274 33554432000 4194304 5064252 140736621555456 140736621554368 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19991/statm: 2288 274 232 213 0 73 0
[pid=19992] ppid=19991 vsize=81968 CPUtime=1482.05 cores=1,3,5,7
/proc/19992/stat : 19992 (clasp-R5325) R 19991 19991 18057 0 -1 4202496 19564 0 0 0 148200 5 0 0 20 0 1 0 283420339 83935232 20063 33554432000 4194304 6212839 140733902329664 140733902328072 4634964 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/19992/statm: 20492 20063 238 493 0 19997 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 91120

[startup+1542.3 s]
/proc/loadavg: 1.99 2.05 2.00 3/181 20068
/proc/meminfo: memFree=31276316/32873844 swapFree=7616/7616
[pid=19991] ppid=19989 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19991/stat : 19991 (clasp-opt.sh) S 19989 19991 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283420339 9371648 274 33554432000 4194304 5064252 140736621555456 140736621554368 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19991/statm: 2288 274 232 213 0 73 0
[pid=19992] ppid=19991 vsize=81968 CPUtime=1542.04 cores=1,3,5,7
/proc/19992/stat : 19992 (clasp-R5325) R 19991 19991 18057 0 -1 4202496 19564 0 0 0 154199 5 0 0 20 0 1 0 283420339 83935232 20063 33554432000 4194304 6212839 140733902329664 140733902328072 4634964 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/19992/statm: 20492 20063 238 493 0 19997 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 91120

[startup+1602.3 s]
/proc/loadavg: 1.99 2.04 2.00 3/181 20068
/proc/meminfo: memFree=31272840/32873844 swapFree=7616/7616
[pid=19991] ppid=19989 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19991/stat : 19991 (clasp-opt.sh) S 19989 19991 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283420339 9371648 274 33554432000 4194304 5064252 140736621555456 140736621554368 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19991/statm: 2288 274 232 213 0 73 0
[pid=19992] ppid=19991 vsize=81968 CPUtime=1602.03 cores=1,3,5,7
/proc/19992/stat : 19992 (clasp-R5325) R 19991 19991 18057 0 -1 4202496 19564 0 0 0 160198 5 0 0 20 0 1 0 283420339 83935232 20063 33554432000 4194304 6212839 140733902329664 140733902328072 4634964 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/19992/statm: 20492 20063 238 493 0 19997 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 91120

[startup+1662.3 s]
/proc/loadavg: 1.99 2.03 2.00 3/182 20071
/proc/meminfo: memFree=31269164/32873844 swapFree=7616/7616
[pid=19991] ppid=19989 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19991/stat : 19991 (clasp-opt.sh) S 19989 19991 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283420339 9371648 274 33554432000 4194304 5064252 140736621555456 140736621554368 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19991/statm: 2288 274 232 213 0 73 0
[pid=19992] ppid=19991 vsize=81968 CPUtime=1662.03 cores=1,3,5,7
/proc/19992/stat : 19992 (clasp-R5325) R 19991 19991 18057 0 -1 4202496 19564 0 0 0 166198 5 0 0 20 0 1 0 283420339 83935232 20063 33554432000 4194304 6212839 140733902329664 140733902328072 4634964 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/19992/statm: 20492 20063 238 493 0 19997 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 91120

[startup+1722.3 s]
/proc/loadavg: 1.99 2.02 2.00 3/181 20071
/proc/meminfo: memFree=31267692/32873844 swapFree=7616/7616
[pid=19991] ppid=19989 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19991/stat : 19991 (clasp-opt.sh) S 19989 19991 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283420339 9371648 274 33554432000 4194304 5064252 140736621555456 140736621554368 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19991/statm: 2288 274 232 213 0 73 0
[pid=19992] ppid=19991 vsize=81968 CPUtime=1722.02 cores=1,3,5,7
/proc/19992/stat : 19992 (clasp-R5325) R 19991 19991 18057 0 -1 4202496 19564 0 0 0 172197 5 0 0 20 0 1 0 283420339 83935232 20063 33554432000 4194304 6212839 140733902329664 140733902328072 4634964 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/19992/statm: 20492 20063 238 493 0 19997 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 91120

[startup+1782.3 s]
/proc/loadavg: 1.99 2.02 2.00 3/181 20071
/proc/meminfo: memFree=31266076/32873844 swapFree=7616/7616
[pid=19991] ppid=19989 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19991/stat : 19991 (clasp-opt.sh) S 19989 19991 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283420339 9371648 274 33554432000 4194304 5064252 140736621555456 140736621554368 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19991/statm: 2288 274 232 213 0 73 0
[pid=19992] ppid=19991 vsize=81968 CPUtime=1782.01 cores=1,3,5,7
/proc/19992/stat : 19992 (clasp-R5325) R 19991 19991 18057 0 -1 4202496 19564 0 0 0 178196 5 0 0 20 0 1 0 283420339 83935232 20063 33554432000 4194304 6212839 140733902329664 140733902328072 4634964 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/19992/statm: 20492 20063 238 493 0 19997 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 91120



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 1.99 2.01 2.00 3/181 20071
/proc/meminfo: memFree=31265952/32873844 swapFree=7616/7616
[pid=19991] ppid=19989 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19991/stat : 19991 (clasp-opt.sh) S 19989 19991 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283420339 9371648 274 33554432000 4194304 5064252 140736621555456 140736621554368 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19991/statm: 2288 274 232 213 0 73 0
[pid=19992] ppid=19991 vsize=81968 CPUtime=1800.01 cores=1,3,5,7
/proc/19992/stat : 19992 (clasp-R5325) R 19991 19991 18057 0 -1 4202496 19564 0 0 0 179996 5 0 0 20 0 1 0 283420339 83935232 20063 33554432000 4194304 6212839 140733902329664 140733902328072 4634964 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/19992/statm: 20492 20063 238 493 0 19997 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 91120

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: 1.99 2.01 2.00 3/181 20071
/proc/meminfo: memFree=31265952/32873844 swapFree=7616/7616
[pid=19991] ppid=19989 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/19991/stat : 19991 (clasp-opt.sh) S 19989 19991 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283420339 9371648 274 33554432000 4194304 5064252 140736621555456 140736621554368 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19991/statm: 2288 274 232 213 0 73 0
[pid=19992] ppid=19991 vsize=81968 CPUtime=1800.01 cores=1,3,5,7
/proc/19992/stat : 19992 (clasp-R5325) R 19991 19991 18057 0 -1 4202496 19564 0 0 0 179996 5 0 0 20 0 1 0 283420339 83935232 20063 33554432000 4194304 6212839 140733902329664 140733902328072 4634964 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/19992/statm: 20492 20063 238 493 0 19997 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 91120

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19991 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=999
# CPU time returned by wait4() is 0.001998
# 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.96
CPU system time (s): 0.05
CPU usage (%): 99.9832
Max. virtual memory (cumulated for all children) (KiB): 98568

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

runsolver used 3.9324 second user time and 11.4123 second system time

The end

Launcher Data

Begin job on node135 at 2012-05-28 04:42:36
IDJOB=3709280
IDBENCH=25009
IDSOLVER=2288
FILE ID=node135/3709280-1338172955
RUNJOBID= node135-1338152725-18074
PBS_JOBID= 14624521
Free space on /tmp= 71624 MiB

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

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

MD5SUM BENCH= e9d9fc2aedf45217e1b47072b194c567
RANDOM SEED=1347472375

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

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
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	: 5332.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
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	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
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	: 5238.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31354532 kB
Buffers:          309912 kB
Cached:           369980 kB
SwapCached:         1720 kB
Active:           567888 kB
Inactive:         132112 kB
Active(anon):      10304 kB
Inactive(anon):    12016 kB
Active(file):     557584 kB
Inactive(file):   120096 kB
Unevictable:        7616 kB
Mlocked:            7616 kB
SwapTotal:      67108856 kB
SwapFree:       67105800 kB
Dirty:             19864 kB
Writeback:             0 kB
AnonPages:         28216 kB
Mapped:            12612 kB
Shmem:               132 kB
Slab:             675652 kB
SReclaimable:     117680 kB
SUnreclaim:       557972 kB
KernelStack:        1504 kB
PageTables:         4128 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     135544 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 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= 71620 MiB
End job on node135 at 2012-05-28 05:12:38