Trace number 3709302

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
clasp 2.0.6-R5325 (opt)? (TO) 1800.09 1800.41

General information on the benchmark

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

Verifier Data

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

Falsified constraint is:
-1*x197[=1] -1*x43[=1] +1*x13413[=0] >= -1 

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24827
/proc/meminfo: memFree=30432820/32873844 swapFree=7388/7388
[pid=24827] ppid=24825 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24827/stat : 24827 (clasp-opt.sh) S 24825 24827 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283561651 9371648 274 33554432000 4194304 5064252 140734801633232 140734801632144 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24827/statm: 2288 274 232 213 0 73 0

[startup+0.081924 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24827
/proc/meminfo: memFree=30432820/32873844 swapFree=7388/7388
[pid=24827] ppid=24825 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24827/stat : 24827 (clasp-opt.sh) S 24825 24827 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283561651 9371648 274 33554432000 4194304 5064252 140734801633232 140734801632144 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24827/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.10036 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24827
/proc/meminfo: memFree=30432820/32873844 swapFree=7388/7388
[pid=24827] ppid=24825 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24827/stat : 24827 (clasp-opt.sh) S 24825 24827 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283561651 9371648 274 33554432000 4194304 5064252 140734801633232 140734801632144 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24827/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.300289 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24827
/proc/meminfo: memFree=30432820/32873844 swapFree=7388/7388
[pid=24827] ppid=24825 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24827/stat : 24827 (clasp-opt.sh) S 24825 24827 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283561651 9371648 274 33554432000 4194304 5064252 140734801633232 140734801632144 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24827/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.700245 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24827
/proc/meminfo: memFree=30432820/32873844 swapFree=7388/7388
[pid=24827] ppid=24825 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24827/stat : 24827 (clasp-opt.sh) S 24825 24827 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283561651 9371648 274 33554432000 4194304 5064252 140734801633232 140734801632144 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24827/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24829
/proc/meminfo: memFree=30417916/32873844 swapFree=7388/7388
[pid=24827] ppid=24825 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24827/stat : 24827 (clasp-opt.sh) S 24825 24827 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283561651 9371648 274 33554432000 4194304 5064252 140734801633232 140734801632144 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24827/statm: 2288 274 232 213 0 73 0
[pid=24828] ppid=24827 vsize=16656 CPUtime=1.49 cores=1,3,5,7
/proc/24828/stat : 24828 (clasp-R5325) R 24827 24827 23256 0 -1 4202496 4814 0 0 0 149 0 0 0 20 0 1 0 283561651 17055744 3821 33554432000 4194304 6212839 140733588212160 140733588210568 4333799 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24828/statm: 4164 3821 239 493 0 3669 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25808

[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24829
/proc/meminfo: memFree=30417668/32873844 swapFree=7388/7388
[pid=24827] ppid=24825 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24827/stat : 24827 (clasp-opt.sh) S 24825 24827 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283561651 9371648 274 33554432000 4194304 5064252 140734801633232 140734801632144 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24827/statm: 2288 274 232 213 0 73 0
[pid=24828] ppid=24827 vsize=16656 CPUtime=3.09 cores=1,3,5,7
/proc/24828/stat : 24828 (clasp-R5325) R 24827 24827 23256 0 -1 4202496 4814 0 0 0 309 0 0 0 20 0 1 0 283561651 17055744 3821 33554432000 4194304 6212839 140733588212160 140733588210568 4683418 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24828/statm: 4164 3821 239 493 0 3669 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25808

[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24829
/proc/meminfo: memFree=30417296/32873844 swapFree=7388/7388
[pid=24827] ppid=24825 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24827/stat : 24827 (clasp-opt.sh) S 24825 24827 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283561651 9371648 274 33554432000 4194304 5064252 140734801633232 140734801632144 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24827/statm: 2288 274 232 213 0 73 0
[pid=24828] ppid=24827 vsize=16656 CPUtime=6.29 cores=1,3,5,7
/proc/24828/stat : 24828 (clasp-R5325) R 24827 24827 23256 0 -1 4202496 4815 0 0 0 629 0 0 0 20 0 1 0 283561651 17055744 3822 33554432000 4194304 6212839 140733588212160 140733588210568 4333840 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24828/statm: 4164 3822 240 493 0 3669 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25808

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24829
/proc/meminfo: memFree=30416816/32873844 swapFree=7388/7388
[pid=24827] ppid=24825 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24827/stat : 24827 (clasp-opt.sh) S 24825 24827 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283561651 9371648 274 33554432000 4194304 5064252 140734801633232 140734801632144 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24827/statm: 2288 274 232 213 0 73 0
[pid=24828] ppid=24827 vsize=17452 CPUtime=12.69 cores=1,3,5,7
/proc/24828/stat : 24828 (clasp-R5325) R 24827 24827 23256 0 -1 4202496 5023 0 0 0 1269 0 0 0 20 0 1 0 283561651 17870848 4030 33554432000 4194304 6212839 140733588212160 140733588210168 4635550 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24828/statm: 4363 4030 240 493 0 3868 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26604

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24829
/proc/meminfo: memFree=30415072/32873844 swapFree=7388/7388
[pid=24827] ppid=24825 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24827/stat : 24827 (clasp-opt.sh) S 24825 24827 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283561651 9371648 274 33554432000 4194304 5064252 140734801633232 140734801632144 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24827/statm: 2288 274 232 213 0 73 0
[pid=24828] ppid=24827 vsize=19364 CPUtime=25.48 cores=1,3,5,7
/proc/24828/stat : 24828 (clasp-R5325) R 24827 24827 23256 0 -1 4202496 5486 0 0 0 2548 0 0 0 20 0 1 0 283561651 19828736 4523 33554432000 4194304 6212839 140733588212160 140733588210168 5437001 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24828/statm: 4841 4523 240 493 0 4346 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 28516

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24829
/proc/meminfo: memFree=30412836/32873844 swapFree=7388/7388
[pid=24827] ppid=24825 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24827/stat : 24827 (clasp-opt.sh) S 24825 24827 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283561651 9371648 274 33554432000 4194304 5064252 140734801633232 140734801632144 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24827/statm: 2288 274 232 213 0 73 0
[pid=24828] ppid=24827 vsize=21252 CPUtime=51.07 cores=1,3,5,7
/proc/24828/stat : 24828 (clasp-R5325) R 24827 24827 23256 0 -1 4202496 5962 0 0 0 5107 0 0 0 20 0 1 0 283561651 21762048 5003 33554432000 4194304 6212839 140733588212160 140733588210168 4634964 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24828/statm: 5313 5003 240 493 0 4818 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 30404

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24869
/proc/meminfo: memFree=30423020/32873844 swapFree=7388/7388
[pid=24827] ppid=24825 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24827/stat : 24827 (clasp-opt.sh) S 24825 24827 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283561651 9371648 274 33554432000 4194304 5064252 140734801633232 140734801632144 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24827/statm: 2288 274 232 213 0 73 0
[pid=24828] ppid=24827 vsize=25552 CPUtime=102.27 cores=1,3,5,7
/proc/24828/stat : 24828 (clasp-R5325) R 24827 24827 23256 0 -1 4202496 7009 0 0 0 10227 0 0 0 20 0 1 0 283561651 26165248 6057 33554432000 4194304 6212839 140733588212160 140733588210168 4635058 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24828/statm: 6388 6057 240 493 0 5893 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 34704

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24870
/proc/meminfo: memFree=30417620/32873844 swapFree=7388/7388
[pid=24827] ppid=24825 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24827/stat : 24827 (clasp-opt.sh) S 24825 24827 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283561651 9371648 274 33554432000 4194304 5064252 140734801633232 140734801632144 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24827/statm: 2288 274 232 213 0 73 0
[pid=24828] ppid=24827 vsize=28024 CPUtime=162.25 cores=1,3,5,7
/proc/24828/stat : 24828 (clasp-R5325) R 24827 24827 23256 0 -1 4202496 7603 0 0 0 16225 0 0 0 20 0 1 0 283561651 28696576 6676 33554432000 4194304 6212839 140733588212160 140733588210312 4635497 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24828/statm: 7006 6676 240 493 0 6511 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 37176

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24870
/proc/meminfo: memFree=30412156/32873844 swapFree=7388/7388
[pid=24827] ppid=24825 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24827/stat : 24827 (clasp-opt.sh) S 24825 24827 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283561651 9371648 274 33554432000 4194304 5064252 140734801633232 140734801632144 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24827/statm: 2288 274 232 213 0 73 0
[pid=24828] ppid=24827 vsize=30984 CPUtime=222.24 cores=1,3,5,7
/proc/24828/stat : 24828 (clasp-R5325) R 24827 24827 23256 0 -1 4202496 8351 0 0 0 22223 1 0 0 20 0 1 0 283561651 31727616 7431 33554432000 4194304 6212839 140733588212160 140733588210168 4634964 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24828/statm: 7746 7431 240 493 0 7251 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 40136

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 24873
/proc/meminfo: memFree=30408736/32873844 swapFree=7388/7388
[pid=24827] ppid=24825 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24827/stat : 24827 (clasp-opt.sh) S 24825 24827 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283561651 9371648 274 33554432000 4194304 5064252 140734801633232 140734801632144 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24827/statm: 2288 274 232 213 0 73 0
[pid=24828] ppid=24827 vsize=32876 CPUtime=282.23 cores=1,3,5,7
/proc/24828/stat : 24828 (clasp-R5325) R 24827 24827 23256 0 -1 4202496 8827 0 0 0 28222 1 0 0 20 0 1 0 283561651 33665024 7907 33554432000 4194304 6212839 140733588212160 140733588210312 4635586 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24828/statm: 8219 7907 240 493 0 7724 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 42028

[startup+342.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 24873
/proc/meminfo: memFree=30402168/32873844 swapFree=7388/7388
[pid=24827] ppid=24825 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24827/stat : 24827 (clasp-opt.sh) S 24825 24827 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283561651 9371648 274 33554432000 4194304 5064252 140734801633232 140734801632144 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24827/statm: 2288 274 232 213 0 73 0
[pid=24828] ppid=24827 vsize=35168 CPUtime=342.22 cores=1,3,5,7
/proc/24828/stat : 24828 (clasp-R5325) R 24827 24827 23256 0 -1 4202496 9385 0 0 0 34221 1 0 0 20 0 1 0 283561651 36012032 8466 33554432000 4194304 6212839 140733588212160 140733588210168 4685736 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24828/statm: 8792 8466 240 493 0 8297 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 44320

[startup+402.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 24873
/proc/meminfo: memFree=30399684/32873844 swapFree=7388/7388
[pid=24827] ppid=24825 vsize=9152 CPUtime=0 cores=1,3,5,7

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

/proc/24828/statm: 12778 12457 240 493 0 12283 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 60264

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24879
/proc/meminfo: memFree=30366356/32873844 swapFree=7388/7388
[pid=24827] ppid=24825 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24827/stat : 24827 (clasp-opt.sh) S 24825 24827 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283561651 9371648 274 33554432000 4194304 5064252 140734801633232 140734801632144 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24827/statm: 2288 274 232 213 0 73 0
[pid=24828] ppid=24827 vsize=52976 CPUtime=1182.09 cores=1,3,5,7
/proc/24828/stat : 24828 (clasp-R5325) R 24827 24827 23256 0 -1 4202496 13593 0 0 0 118206 3 0 0 20 0 1 0 283561651 54247424 12873 33554432000 4194304 6212839 140733588212160 140733588210312 4635597 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24828/statm: 13244 12873 240 493 0 12749 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 62128

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24879
/proc/meminfo: memFree=30365672/32873844 swapFree=7388/7388
[pid=24827] ppid=24825 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24827/stat : 24827 (clasp-opt.sh) S 24825 24827 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283561651 9371648 274 33554432000 4194304 5064252 140734801633232 140734801632144 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24827/statm: 2288 274 232 213 0 73 0
[pid=24828] ppid=24827 vsize=53308 CPUtime=1242.08 cores=1,3,5,7
/proc/24828/stat : 24828 (clasp-R5325) R 24827 24827 23256 0 -1 4202496 13680 0 0 0 124205 3 0 0 20 0 1 0 283561651 54587392 12997 33554432000 4194304 6212839 140733588212160 140733588210168 4298224 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24828/statm: 13327 12997 240 493 0 12832 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 62460

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24879
/proc/meminfo: memFree=30361516/32873844 swapFree=7388/7388
[pid=24827] ppid=24825 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24827/stat : 24827 (clasp-opt.sh) S 24825 24827 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283561651 9371648 274 33554432000 4194304 5064252 140734801633232 140734801632144 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24827/statm: 2288 274 232 213 0 73 0
[pid=24828] ppid=24827 vsize=54916 CPUtime=1302.07 cores=1,3,5,7
/proc/24828/stat : 24828 (clasp-R5325) R 24827 24827 23256 0 -1 4202496 14065 0 0 0 130204 3 0 0 20 0 1 0 283561651 56233984 13382 33554432000 4194304 6212839 140733588212160 140733588210312 4635554 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24828/statm: 13729 13382 240 493 0 13234 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 64068

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24880
/proc/meminfo: memFree=30360648/32873844 swapFree=7388/7388
[pid=24827] ppid=24825 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24827/stat : 24827 (clasp-opt.sh) S 24825 24827 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283561651 9371648 274 33554432000 4194304 5064252 140734801633232 140734801632144 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24827/statm: 2288 274 232 213 0 73 0
[pid=24828] ppid=24827 vsize=55312 CPUtime=1362.06 cores=1,3,5,7
/proc/24828/stat : 24828 (clasp-R5325) R 24827 24827 23256 0 -1 4202496 14190 0 0 0 136203 3 0 0 20 0 1 0 283561651 56639488 13507 33554432000 4194304 6212839 140733588212160 140733588210168 4685943 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24828/statm: 13828 13507 240 493 0 13333 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 64464

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24880
/proc/meminfo: memFree=30359840/32873844 swapFree=7388/7388
[pid=24827] ppid=24825 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24827/stat : 24827 (clasp-opt.sh) S 24825 24827 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283561651 9371648 274 33554432000 4194304 5064252 140734801633232 140734801632144 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24827/statm: 2288 274 232 213 0 73 0
[pid=24828] ppid=24827 vsize=56384 CPUtime=1422.05 cores=1,3,5,7
/proc/24828/stat : 24828 (clasp-R5325) R 24827 24827 23256 0 -1 4202496 14406 0 0 0 142202 3 0 0 20 0 1 0 283561651 57737216 13744 33554432000 4194304 6212839 140733588212160 140733588210312 4424527 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24828/statm: 14096 13744 240 493 0 13601 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 65536

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 24883
/proc/meminfo: memFree=30355860/32873844 swapFree=7388/7388
[pid=24827] ppid=24825 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24827/stat : 24827 (clasp-opt.sh) S 24825 24827 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283561651 9371648 274 33554432000 4194304 5064252 140734801633232 140734801632144 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24827/statm: 2288 274 232 213 0 73 0
[pid=24828] ppid=24827 vsize=59300 CPUtime=1482.04 cores=1,3,5,7
/proc/24828/stat : 24828 (clasp-R5325) R 24827 24827 23256 0 -1 4202496 15129 0 0 0 148201 3 0 0 20 0 1 0 283561651 60723200 14494 33554432000 4194304 6212839 140733588212160 140733588210312 4635599 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24828/statm: 14825 14494 240 493 0 14330 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 68452

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24883
/proc/meminfo: memFree=30348240/32873844 swapFree=7388/7388
[pid=24827] ppid=24825 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24827/stat : 24827 (clasp-opt.sh) S 24825 24827 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283561651 9371648 274 33554432000 4194304 5064252 140734801633232 140734801632144 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24827/statm: 2288 274 232 213 0 73 0
[pid=24828] ppid=24827 vsize=67000 CPUtime=1542.03 cores=1,3,5,7
/proc/24828/stat : 24828 (clasp-R5325) R 24827 24827 23256 0 -1 4202496 17042 0 0 0 154199 4 0 0 20 0 1 0 283561651 68608000 16406 33554432000 4194304 6212839 140733588212160 140733588210312 4372104 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24828/statm: 16750 16406 240 493 0 16255 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 76152

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24883
/proc/meminfo: memFree=30346560/32873844 swapFree=7388/7388
[pid=24827] ppid=24825 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24827/stat : 24827 (clasp-opt.sh) S 24825 24827 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283561651 9371648 274 33554432000 4194304 5064252 140734801633232 140734801632144 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24827/statm: 2288 274 232 213 0 73 0
[pid=24828] ppid=24827 vsize=67000 CPUtime=1602.02 cores=1,3,5,7
/proc/24828/stat : 24828 (clasp-R5325) R 24827 24827 23256 0 -1 4202496 17044 0 0 0 160198 4 0 0 20 0 1 0 283561651 68608000 16412 33554432000 4194304 6212839 140733588212160 140733588210312 4683102 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24828/statm: 16750 16412 240 493 0 16255 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 76152

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24884
/proc/meminfo: memFree=30344264/32873844 swapFree=7388/7388
[pid=24827] ppid=24825 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24827/stat : 24827 (clasp-opt.sh) S 24825 24827 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283561651 9371648 274 33554432000 4194304 5064252 140734801633232 140734801632144 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24827/statm: 2288 274 232 213 0 73 0
[pid=24828] ppid=24827 vsize=67000 CPUtime=1662.01 cores=1,3,5,7
/proc/24828/stat : 24828 (clasp-R5325) R 24827 24827 23256 0 -1 4202496 17044 0 0 0 166197 4 0 0 20 0 1 0 283561651 68608000 16412 33554432000 4194304 6212839 140733588212160 140733588210312 4635468 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24828/statm: 16750 16412 240 493 0 16255 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 76152

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24884
/proc/meminfo: memFree=30340912/32873844 swapFree=7388/7388
[pid=24827] ppid=24825 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24827/stat : 24827 (clasp-opt.sh) S 24825 24827 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283561651 9371648 274 33554432000 4194304 5064252 140734801633232 140734801632144 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24827/statm: 2288 274 232 213 0 73 0
[pid=24828] ppid=24827 vsize=67000 CPUtime=1722 cores=1,3,5,7
/proc/24828/stat : 24828 (clasp-R5325) R 24827 24827 23256 0 -1 4202496 17044 0 0 0 172196 4 0 0 20 0 1 0 283561651 68608000 16412 33554432000 4194304 6212839 140733588212160 140733588210312 4635502 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24828/statm: 16750 16412 240 493 0 16255 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 76152

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24884
/proc/meminfo: memFree=30338060/32873844 swapFree=7388/7388
[pid=24827] ppid=24825 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24827/stat : 24827 (clasp-opt.sh) S 24825 24827 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283561651 9371648 274 33554432000 4194304 5064252 140734801633232 140734801632144 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24827/statm: 2288 274 232 213 0 73 0
[pid=24828] ppid=24827 vsize=67000 CPUtime=1781.99 cores=1,3,5,7
/proc/24828/stat : 24828 (clasp-R5325) R 24827 24827 23256 0 -1 4202496 17044 0 0 0 178195 4 0 0 20 0 1 0 283561651 68608000 16412 33554432000 4194304 6212839 140733588212160 140733588210312 4635113 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24828/statm: 16750 16412 240 493 0 16255 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 76152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.15 2.03 2.01 3/179 24884
/proc/meminfo: memFree=30337808/32873844 swapFree=7388/7388
[pid=24827] ppid=24825 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24827/stat : 24827 (clasp-opt.sh) S 24825 24827 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283561651 9371648 274 33554432000 4194304 5064252 140734801633232 140734801632144 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24827/statm: 2288 274 232 213 0 73 0
[pid=24828] ppid=24827 vsize=67000 CPUtime=1800.09 cores=1,3,5,7
/proc/24828/stat : 24828 (clasp-R5325) R 24827 24827 23256 0 -1 4202496 17044 0 0 0 180005 4 0 0 20 0 1 0 283561651 68608000 16412 33554432000 4194304 6212839 140733588212160 140733588210312 4683423 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24828/statm: 16750 16412 240 493 0 16255 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 76152

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24827 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.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.41
CPU time (s): 1800.09
CPU user time (s): 1800.05
CPU system time (s): 0.04
CPU usage (%): 99.9821
Max. virtual memory (cumulated for all children) (KiB): 76152

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= 2

runsolver used 3.62145 second user time and 9.8445 second system time

The end

Launcher Data

Begin job on node147 at 2012-05-28 05:06:13
IDJOB=3709302
IDBENCH=25019
IDSOLVER=2288
FILE ID=node147/3709302-1338174372
RUNJOBID= node147-1338158144-23273
PBS_JOBID= 14624536
Free space on /tmp= 71668 MiB

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

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

MD5SUM BENCH= a7af672db5daf9bd21f1768f531add6b
RANDOM SEED=1021293999

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
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:        30433464 kB
Buffers:          350064 kB
Cached:          1217252 kB
SwapCached:         5068 kB
Active:           648408 kB
Inactive:         972204 kB
Active(anon):      47744 kB
Inactive(anon):     7584 kB
Active(file):     600664 kB
Inactive(file):   964620 kB
Unevictable:        7388 kB
Mlocked:            7388 kB
SwapTotal:      67108856 kB
SwapFree:       67098668 kB
Dirty:              4792 kB
Writeback:             0 kB
AnonPages:         55964 kB
Mapped:            10604 kB
Shmem:                 0 kB
Slab:             679528 kB
SReclaimable:     120836 kB
SUnreclaim:       558692 kB
KernelStack:        1472 kB
PageTables:         3796 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     171340 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     40960 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= 71664 MiB
End job on node147 at 2012-05-28 05:36:15