Trace number 3709279

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
clasp 2.0.6-R5325 (opt)SAT (TO)23 1800.02 1800.31

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir07_area_delay.opb
MD5SUM654b3ba852cf335035821a9e288b621f
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark16
Best CPU time to get the best result obtained on this benchmark4.75628
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 16
Optimality of the best value was proved YES
Number of variables12615
Total number of constraints51713
Number of constraints which are clauses51713
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 constraint255
Number of terms in the objective function 6096
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 6096
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6096
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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

Verifier Data

OK	23

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

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

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


[startup+0 s]
/proc/loadavg: 2.06 2.06 2.01 3/177 20830
/proc/meminfo: memFree=30343520/32873844 swapFree=7108/7108
[pid=20830] ppid=20828 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20830/stat : 20830 (clasp-opt.sh) S 20828 20830 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283423859 9371648 274 33554432000 4194304 5064252 140734382644064 140734382642976 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20830/statm: 2288 274 232 213 0 73 0

[startup+0.0329789 s]
/proc/loadavg: 2.06 2.06 2.01 3/177 20830
/proc/meminfo: memFree=30343520/32873844 swapFree=7108/7108
[pid=20830] ppid=20828 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20830/stat : 20830 (clasp-opt.sh) S 20828 20830 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283423859 9371648 274 33554432000 4194304 5064252 140734382644064 140734382642976 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20830/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.100269 s]
/proc/loadavg: 2.06 2.06 2.01 3/177 20830
/proc/meminfo: memFree=30343520/32873844 swapFree=7108/7108
[pid=20830] ppid=20828 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20830/stat : 20830 (clasp-opt.sh) S 20828 20830 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283423859 9371648 274 33554432000 4194304 5064252 140734382644064 140734382642976 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20830/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.300242 s]
/proc/loadavg: 2.06 2.06 2.01 3/177 20830
/proc/meminfo: memFree=30343520/32873844 swapFree=7108/7108
[pid=20830] ppid=20828 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20830/stat : 20830 (clasp-opt.sh) S 20828 20830 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283423859 9371648 274 33554432000 4194304 5064252 140734382644064 140734382642976 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20830/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.700224 s]
/proc/loadavg: 2.06 2.06 2.01 3/177 20830
/proc/meminfo: memFree=30343520/32873844 swapFree=7108/7108
[pid=20830] ppid=20828 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20830/stat : 20830 (clasp-opt.sh) S 20828 20830 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283423859 9371648 274 33554432000 4194304 5064252 140734382644064 140734382642976 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20830/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+1.50026 s]
/proc/loadavg: 2.06 2.06 2.01 3/179 20832
/proc/meminfo: memFree=30335312/32873844 swapFree=7108/7108
[pid=20830] ppid=20828 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20830/stat : 20830 (clasp-opt.sh) S 20828 20830 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283423859 9371648 274 33554432000 4194304 5064252 140734382644064 140734382642976 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20830/statm: 2288 274 232 213 0 73 0
[pid=20831] ppid=20830 vsize=10336 CPUtime=1.49 cores=0,2,4,6
/proc/20831/stat : 20831 (clasp-R5325) R 20830 20830 19533 0 -1 4202496 2844 0 0 0 149 0 0 0 20 0 1 0 283423860 10584064 2234 33554432000 4194304 6212839 140733255426128 140733255424536 4683360 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20831/statm: 2584 2234 237 493 0 2089 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19488

[startup+3.10027 s]
/proc/loadavg: 2.06 2.06 2.01 3/179 20832
/proc/meminfo: memFree=30334816/32873844 swapFree=7108/7108
[pid=20830] ppid=20828 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20830/stat : 20830 (clasp-opt.sh) S 20828 20830 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283423859 9371648 274 33554432000 4194304 5064252 140734382644064 140734382642976 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20830/statm: 2288 274 232 213 0 73 0
[pid=20831] ppid=20830 vsize=10336 CPUtime=3.09 cores=0,2,4,6
/proc/20831/stat : 20831 (clasp-R5325) R 20830 20830 19533 0 -1 4202496 2845 0 0 0 309 0 0 0 20 0 1 0 283423860 10584064 2235 33554432000 4194304 6212839 140733255426128 140733255424536 4683420 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20831/statm: 2584 2235 238 493 0 2089 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19488

[startup+6.30027 s]
/proc/loadavg: 2.06 2.05 2.01 3/179 20832
/proc/meminfo: memFree=30334444/32873844 swapFree=7108/7108
[pid=20830] ppid=20828 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20830/stat : 20830 (clasp-opt.sh) S 20828 20830 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283423859 9371648 274 33554432000 4194304 5064252 140734382644064 140734382642976 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20830/statm: 2288 274 232 213 0 73 0
[pid=20831] ppid=20830 vsize=10336 CPUtime=6.29 cores=0,2,4,6
/proc/20831/stat : 20831 (clasp-R5325) R 20830 20830 19533 0 -1 4202496 2845 0 0 0 629 0 0 0 20 0 1 0 283423860 10584064 2235 33554432000 4194304 6212839 140733255426128 140733255424536 4634957 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20831/statm: 2584 2235 238 493 0 2089 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19488

[startup+12.7003 s]
/proc/loadavg: 2.05 2.05 2.00 3/179 20832
/proc/meminfo: memFree=30333848/32873844 swapFree=7108/7108
[pid=20830] ppid=20828 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20830/stat : 20830 (clasp-opt.sh) S 20828 20830 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283423859 9371648 274 33554432000 4194304 5064252 140734382644064 140734382642976 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20830/statm: 2288 274 232 213 0 73 0
[pid=20831] ppid=20830 vsize=10336 CPUtime=12.69 cores=0,2,4,6
/proc/20831/stat : 20831 (clasp-R5325) R 20830 20830 19533 0 -1 4202496 2875 0 0 0 1269 0 0 0 20 0 1 0 283423860 10584064 2265 33554432000 4194304 6212839 140733255426128 140733255424536 4634928 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20831/statm: 2584 2265 238 493 0 2089 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19488

[startup+25.5003 s]
/proc/loadavg: 2.04 2.05 2.00 3/179 20832
/proc/meminfo: memFree=30332608/32873844 swapFree=7108/7108
[pid=20830] ppid=20828 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20830/stat : 20830 (clasp-opt.sh) S 20828 20830 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283423859 9371648 274 33554432000 4194304 5064252 140734382644064 140734382642976 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20830/statm: 2288 274 232 213 0 73 0
[pid=20831] ppid=20830 vsize=11128 CPUtime=25.49 cores=0,2,4,6
/proc/20831/stat : 20831 (clasp-R5325) R 20830 20830 19533 0 -1 4202496 3078 0 0 0 2549 0 0 0 20 0 1 0 283423860 11395072 2468 33554432000 4194304 6212839 140733255426128 140733255424280 4635599 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20831/statm: 2782 2468 238 493 0 2287 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 20280

[startup+51.1003 s]
/proc/loadavg: 2.03 2.05 2.00 3/179 20833
/proc/meminfo: memFree=30330740/32873844 swapFree=7108/7108
[pid=20830] ppid=20828 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20830/stat : 20830 (clasp-opt.sh) S 20828 20830 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283423859 9371648 274 33554432000 4194304 5064252 140734382644064 140734382642976 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20830/statm: 2288 274 232 213 0 73 0
[pid=20831] ppid=20830 vsize=12608 CPUtime=51.08 cores=0,2,4,6
/proc/20831/stat : 20831 (clasp-R5325) R 20830 20830 19533 0 -1 4202496 3435 0 0 0 5108 0 0 0 20 0 1 0 283423860 12910592 2838 33554432000 4194304 6212839 140733255426128 140733255424136 4422299 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20831/statm: 3152 2838 238 493 0 2657 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 21760

[startup+102.306 s]
/proc/loadavg: 2.01 2.04 2.00 3/179 20833
/proc/meminfo: memFree=30326148/32873844 swapFree=7108/7108
[pid=20830] ppid=20828 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20830/stat : 20830 (clasp-opt.sh) S 20828 20830 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283423859 9371648 274 33554432000 4194304 5064252 140734382644064 140734382642976 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20830/statm: 2288 274 232 213 0 73 0
[pid=20831] ppid=20830 vsize=15236 CPUtime=102.28 cores=0,2,4,6
/proc/20831/stat : 20831 (clasp-R5325) R 20830 20830 19533 0 -1 4202496 4068 0 0 0 10228 0 0 0 20 0 1 0 283423860 15601664 3479 33554432000 4194304 6212839 140733255426128 140733255424280 4683398 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20831/statm: 3809 3479 238 493 0 3314 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 24388

[startup+162.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 20833
/proc/meminfo: memFree=30321804/32873844 swapFree=7108/7108
[pid=20830] ppid=20828 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20830/stat : 20830 (clasp-opt.sh) S 20828 20830 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283423859 9371648 274 33554432000 4194304 5064252 140734382644064 140734382642976 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20830/statm: 2288 274 232 213 0 73 0
[pid=20831] ppid=20830 vsize=17180 CPUtime=162.26 cores=0,2,4,6
/proc/20831/stat : 20831 (clasp-R5325) R 20830 20830 19533 0 -1 4202496 4558 0 0 0 16226 0 0 0 20 0 1 0 283423860 17592320 3982 33554432000 4194304 6212839 140733255426128 140733255424280 4635599 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20831/statm: 4295 3982 238 493 0 3800 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 26332

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 20873
/proc/meminfo: memFree=30371576/32873844 swapFree=7108/7108
[pid=20830] ppid=20828 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20830/stat : 20830 (clasp-opt.sh) S 20828 20830 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283423859 9371648 274 33554432000 4194304 5064252 140734382644064 140734382642976 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20830/statm: 2288 274 232 213 0 73 0
[pid=20831] ppid=20830 vsize=19036 CPUtime=222.25 cores=0,2,4,6
/proc/20831/stat : 20831 (clasp-R5325) R 20830 20830 19533 0 -1 4202496 4993 0 0 0 22225 0 0 0 20 0 1 0 283423860 19492864 4431 33554432000 4194304 6212839 140733255426128 140733255424280 4635554 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20831/statm: 4759 4431 238 493 0 4264 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 28188

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 20873
/proc/meminfo: memFree=30365556/32873844 swapFree=7108/7108
[pid=20830] ppid=20828 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20830/stat : 20830 (clasp-opt.sh) S 20828 20830 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283423859 9371648 274 33554432000 4194304 5064252 140734382644064 140734382642976 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20830/statm: 2288 274 232 213 0 73 0
[pid=20831] ppid=20830 vsize=20720 CPUtime=282.25 cores=0,2,4,6
/proc/20831/stat : 20831 (clasp-R5325) R 20830 20830 19533 0 -1 4202496 5398 0 0 0 28224 1 0 0 20 0 1 0 283423860 21217280 4858 33554432000 4194304 6212839 140733255426128 140733255424280 4683366 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20831/statm: 5180 4858 238 493 0 4685 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 29872

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 20873
/proc/meminfo: memFree=30361404/32873844 swapFree=7108/7108
[pid=20830] ppid=20828 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20830/stat : 20830 (clasp-opt.sh) S 20828 20830 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283423859 9371648 274 33554432000 4194304 5064252 140734382644064 140734382642976 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20830/statm: 2288 274 232 213 0 73 0
[pid=20831] ppid=20830 vsize=21924 CPUtime=342.24 cores=0,2,4,6
/proc/20831/stat : 20831 (clasp-R5325) R 20830 20830 19533 0 -1 4202496 5697 0 0 0 34223 1 0 0 20 0 1 0 283423860 22450176 5170 33554432000 4194304 6212839 140733255426128 140733255424136 4685333 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20831/statm: 5481 5170 238 493 0 4986 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 31076

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20874
/proc/meminfo: memFree=30355068/32873844 swapFree=7108/7108
[pid=20830] ppid=20828 vsize=9152 CPUtime=0 cores=0,2,4,6

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

/proc/20831/statm: 8837 8506 238 493 0 8342 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 44500

[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 20905
/proc/meminfo: memFree=30327512/32873844 swapFree=7108/7108
[pid=20830] ppid=20828 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20830/stat : 20830 (clasp-opt.sh) S 20828 20830 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283423859 9371648 274 33554432000 4194304 5064252 140734382644064 140734382642976 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20830/statm: 2288 274 232 213 0 73 0
[pid=20831] ppid=20830 vsize=35948 CPUtime=1242.1 cores=0,2,4,6
/proc/20831/stat : 20831 (clasp-R5325) R 20830 20830 19533 0 -1 4202496 8974 0 0 0 124209 1 0 0 20 0 1 0 283423860 36810752 8673 33554432000 4194304 6212839 140733255426128 140733255424280 4635502 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20831/statm: 8987 8673 238 493 0 8492 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 45100

[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 20906
/proc/meminfo: memFree=30326084/32873844 swapFree=7108/7108
[pid=20830] ppid=20828 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20830/stat : 20830 (clasp-opt.sh) S 20828 20830 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283423859 9371648 274 33554432000 4194304 5064252 140734382644064 140734382642976 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20830/statm: 2288 274 232 213 0 73 0
[pid=20831] ppid=20830 vsize=36780 CPUtime=1302.1 cores=0,2,4,6
/proc/20831/stat : 20831 (clasp-R5325) R 20830 20830 19533 0 -1 4202496 9159 0 0 0 130208 2 0 0 20 0 1 0 283423860 37662720 8858 33554432000 4194304 6212839 140733255426128 140733255424280 4421856 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20831/statm: 9195 8858 238 493 0 8700 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 45932

[startup+1362.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 20906
/proc/meminfo: memFree=30323788/32873844 swapFree=7108/7108
[pid=20830] ppid=20828 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20830/stat : 20830 (clasp-opt.sh) S 20828 20830 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283423859 9371648 274 33554432000 4194304 5064252 140734382644064 140734382642976 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20830/statm: 2288 274 232 213 0 73 0
[pid=20831] ppid=20830 vsize=38240 CPUtime=1362.08 cores=0,2,4,6
/proc/20831/stat : 20831 (clasp-R5325) R 20830 20830 19533 0 -1 4202496 9485 0 0 0 136206 2 0 0 20 0 1 0 283423860 39157760 9224 33554432000 4194304 6212839 140733255426128 140733255424280 4634964 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20831/statm: 9560 9224 238 493 0 9065 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 47392

[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 20906
/proc/meminfo: memFree=30322920/32873844 swapFree=7108/7108
[pid=20830] ppid=20828 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20830/stat : 20830 (clasp-opt.sh) S 20828 20830 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283423859 9371648 274 33554432000 4194304 5064252 140734382644064 140734382642976 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20830/statm: 2288 274 232 213 0 73 0
[pid=20831] ppid=20830 vsize=38544 CPUtime=1422.08 cores=0,2,4,6
/proc/20831/stat : 20831 (clasp-R5325) R 20830 20830 19533 0 -1 4202496 9551 0 0 0 142206 2 0 0 20 0 1 0 283423860 39469056 9290 33554432000 4194304 6212839 140733255426128 140733255424280 4634964 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20831/statm: 9636 9290 238 493 0 9141 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 47696

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20906
/proc/meminfo: memFree=30321432/32873844 swapFree=7108/7108
[pid=20830] ppid=20828 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20830/stat : 20830 (clasp-opt.sh) S 20828 20830 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283423859 9371648 274 33554432000 4194304 5064252 140734382644064 140734382642976 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20830/statm: 2288 274 232 213 0 73 0
[pid=20831] ppid=20830 vsize=39100 CPUtime=1482.06 cores=0,2,4,6
/proc/20831/stat : 20831 (clasp-R5325) R 20830 20830 19533 0 -1 4202496 9681 0 0 0 148204 2 0 0 20 0 1 0 283423860 40038400 9420 33554432000 4194304 6212839 140733255426128 140733255424280 4634981 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20831/statm: 9775 9420 238 493 0 9280 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 48252

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20906
/proc/meminfo: memFree=30320004/32873844 swapFree=7108/7108
[pid=20830] ppid=20828 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20830/stat : 20830 (clasp-opt.sh) S 20828 20830 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283423859 9371648 274 33554432000 4194304 5064252 140734382644064 140734382642976 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20830/statm: 2288 274 232 213 0 73 0
[pid=20831] ppid=20830 vsize=40544 CPUtime=1542.05 cores=0,2,4,6
/proc/20831/stat : 20831 (clasp-R5325) R 20830 20830 19533 0 -1 4202496 10031 0 0 0 154203 2 0 0 20 0 1 0 283423860 41517056 9770 33554432000 4194304 6212839 140733255426128 140733255424280 4372067 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20831/statm: 10136 9770 238 493 0 9641 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 49696

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20907
/proc/meminfo: memFree=30318204/32873844 swapFree=7108/7108
[pid=20830] ppid=20828 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20830/stat : 20830 (clasp-opt.sh) S 20828 20830 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283423859 9371648 274 33554432000 4194304 5064252 140734382644064 140734382642976 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20830/statm: 2288 274 232 213 0 73 0
[pid=20831] ppid=20830 vsize=40684 CPUtime=1602.05 cores=0,2,4,6
/proc/20831/stat : 20831 (clasp-R5325) R 20830 20830 19533 0 -1 4202496 10065 0 0 0 160203 2 0 0 20 0 1 0 283423860 41660416 9834 33554432000 4194304 6212839 140733255426128 140733255424280 4424527 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20831/statm: 10171 9834 238 493 0 9676 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 49836

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20910
/proc/meminfo: memFree=30317388/32873844 swapFree=7108/7108
[pid=20830] ppid=20828 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20830/stat : 20830 (clasp-opt.sh) S 20828 20830 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283423859 9371648 274 33554432000 4194304 5064252 140734382644064 140734382642976 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20830/statm: 2288 274 232 213 0 73 0
[pid=20831] ppid=20830 vsize=40684 CPUtime=1662.04 cores=0,2,4,6
/proc/20831/stat : 20831 (clasp-R5325) R 20830 20830 19533 0 -1 4202496 10065 0 0 0 166202 2 0 0 20 0 1 0 283423860 41660416 9834 33554432000 4194304 6212839 140733255426128 140733255424280 4634964 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20831/statm: 10171 9834 238 493 0 9676 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 49836

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20910
/proc/meminfo: memFree=30315660/32873844 swapFree=7108/7108
[pid=20830] ppid=20828 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20830/stat : 20830 (clasp-opt.sh) S 20828 20830 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283423859 9371648 274 33554432000 4194304 5064252 140734382644064 140734382642976 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20830/statm: 2288 274 232 213 0 73 0
[pid=20831] ppid=20830 vsize=41464 CPUtime=1722.03 cores=0,2,4,6
/proc/20831/stat : 20831 (clasp-R5325) R 20830 20830 19533 0 -1 4202496 10275 0 0 0 172201 2 0 0 20 0 1 0 283423860 42459136 10044 33554432000 4194304 6212839 140733255426128 140733255424280 4634964 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20831/statm: 10366 10044 238 493 0 9871 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 50616

[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 20910
/proc/meminfo: memFree=30313240/32873844 swapFree=7108/7108
[pid=20830] ppid=20828 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20830/stat : 20830 (clasp-opt.sh) S 20828 20830 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283423859 9371648 274 33554432000 4194304 5064252 140734382644064 140734382642976 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20830/statm: 2288 274 232 213 0 73 0
[pid=20831] ppid=20830 vsize=42700 CPUtime=1782.02 cores=0,2,4,6
/proc/20831/stat : 20831 (clasp-R5325) R 20830 20830 19533 0 -1 4202496 10549 0 0 0 178200 2 0 0 20 0 1 0 283423860 43724800 10346 33554432000 4194304 6212839 140733255426128 140733255424280 4424413 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20831/statm: 10675 10346 238 493 0 10180 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 51852



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.09 2.03 2.00 3/179 20910
/proc/meminfo: memFree=30312680/32873844 swapFree=7108/7108
[pid=20830] ppid=20828 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20830/stat : 20830 (clasp-opt.sh) S 20828 20830 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283423859 9371648 274 33554432000 4194304 5064252 140734382644064 140734382642976 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20830/statm: 2288 274 232 213 0 73 0
[pid=20831] ppid=20830 vsize=43244 CPUtime=1800.02 cores=0,2,4,6
/proc/20831/stat : 20831 (clasp-R5325) R 20830 20830 19533 0 -1 4202496 10651 0 0 0 180000 2 0 0 20 0 1 0 283423860 44281856 10448 33554432000 4194304 6212839 140733255426128 140733255424280 4298298 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20831/statm: 10811 10448 238 493 0 10316 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 52396

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

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

[startup+1800.3 s]
/proc/loadavg: 2.09 2.03 2.00 3/179 20910
/proc/meminfo: memFree=30312680/32873844 swapFree=7108/7108
[pid=20830] ppid=20828 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/20830/stat : 20830 (clasp-opt.sh) S 20828 20830 19533 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283423859 9371648 274 33554432000 4194304 5064252 140734382644064 140734382642976 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20830/statm: 2288 274 232 213 0 73 0
[pid=20831] ppid=20830 vsize=43244 CPUtime=1800.02 cores=0,2,4,6
/proc/20831/stat : 20831 (clasp-R5325) R 20830 20830 19533 0 -1 4202496 10651 0 0 0 180000 2 0 0 20 0 1 0 283423860 44281856 10448 33554432000 4194304 6212839 140733255426128 140733255424280 4298298 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/20831/statm: 10811 10448 238 493 0 10316 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 52396

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20830 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=0
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.02
#
# 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.02
CPU user time (s): 1800
CPU system time (s): 0.02
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 52396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
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.76143 second user time and 8.40572 second system time

The end

Launcher Data

Begin job on node102 at 2012-05-28 04:42:33
IDJOB=3709279
IDBENCH=25008
IDSOLVER=2288
FILE ID=node102/3709279-1338172953
RUNJOBID= node102-1338158454-19549
PBS_JOBID= 14624541
Free space on /tmp= 71524 MiB

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

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

MD5SUM BENCH= 654b3ba852cf335035821a9e288b621f
RANDOM SEED=1863489402

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30344164 kB
Buffers:          380120 kB
Cached:          1248700 kB
SwapCached:            0 kB
Active:           987328 kB
Inactive:         705876 kB
Active(anon):      55948 kB
Inactive(anon):    11036 kB
Active(file):     931380 kB
Inactive(file):   694840 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3888 kB
Writeback:             0 kB
AnonPages:        108408 kB
Mapped:            15436 kB
Shmem:               200 kB
Slab:             697000 kB
SReclaimable:     139396 kB
SUnreclaim:       557604 kB
KernelStack:        1488 kB
PageTables:         3924 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     177724 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     83968 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71524 MiB
End job on node102 at 2012-05-28 05:12:36