Trace number 3709483

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)33 1800.03 1800.41

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-mspp16.opb
MD5SUM141454b66937b2c93528081cb91f0e55
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark33
Best CPU time to get the best result obtained on this benchmark190.345
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables29280
Total number of constraints561657
Number of constraints which are clauses1695
Number of constraints which are cardinality constraints (but not clauses)559482
Number of constraints which are nor clauses,nor cardinality constraints480
Minimum length of a constraint1
Maximum length of a constraint960
Number of terms in the objective function 4065
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 4065
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 4065
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

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

Verifier Data

OK	33

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-3709483-1338187589/watcher-3709483-1338187589 -o /tmp/evaluation-result-3709483-1338187589/solver-3709483-1338187589 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709483-1338187589.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: 1.98 2.00 2.00 3/177 20128
/proc/meminfo: memFree=29632888/32873648 swapFree=7368/7368
[pid=20128] ppid=20126 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20128/stat : 20128 (clasp-opt.sh) S 20126 20128 15493 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 284883675 9371648 274 33554432000 4194304 5064252 140733268689216 140733268688128 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20128/statm: 2288 274 232 213 0 73 0

[startup+0.046645 s]
/proc/loadavg: 1.98 2.00 2.00 3/177 20128
/proc/meminfo: memFree=29632888/32873648 swapFree=7368/7368
[pid=20128] ppid=20126 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20128/stat : 20128 (clasp-opt.sh) S 20126 20128 15493 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 284883675 9371648 274 33554432000 4194304 5064252 140733268689216 140733268688128 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20128/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.100324 s]
/proc/loadavg: 1.98 2.00 2.00 3/177 20128
/proc/meminfo: memFree=29632888/32873648 swapFree=7368/7368
[pid=20128] ppid=20126 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20128/stat : 20128 (clasp-opt.sh) S 20126 20128 15493 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 284883675 9371648 274 33554432000 4194304 5064252 140733268689216 140733268688128 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20128/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.300257 s]
/proc/loadavg: 1.98 2.00 2.00 3/177 20128
/proc/meminfo: memFree=29632888/32873648 swapFree=7368/7368
[pid=20128] ppid=20126 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20128/stat : 20128 (clasp-opt.sh) S 20126 20128 15493 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 284883675 9371648 274 33554432000 4194304 5064252 140733268689216 140733268688128 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20128/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.700232 s]
/proc/loadavg: 1.98 2.00 2.00 3/177 20128
/proc/meminfo: memFree=29632888/32873648 swapFree=7368/7368
[pid=20128] ppid=20126 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20128/stat : 20128 (clasp-opt.sh) S 20126 20128 15493 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 284883675 9371648 274 33554432000 4194304 5064252 140733268689216 140733268688128 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20128/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+1.50032 s]
/proc/loadavg: 1.98 2.00 2.00 3/179 20130
/proc/meminfo: memFree=29432200/32873648 swapFree=7368/7368
[pid=20128] ppid=20126 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20128/stat : 20128 (clasp-opt.sh) S 20126 20128 15493 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 284883675 9371648 274 33554432000 4194304 5064252 140733268689216 140733268688128 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20128/statm: 2288 274 232 213 0 73 0
[pid=20129] ppid=20128 vsize=327096 CPUtime=1.48 cores=1,3,5,7
/proc/20129/stat : 20129 (clasp-R5325) R 20128 20128 15493 0 -1 4202496 79507 0 0 0 134 14 0 0 20 0 1 0 284883675 334946304 78373 33554432000 4194304 6212839 140735796516752 140735796513160 5537152 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20129/statm: 81774 78374 194 493 0 81279 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 336248

[startup+3.10032 s]
/proc/loadavg: 1.98 2.00 2.00 3/179 20130
/proc/meminfo: memFree=29212588/32873648 swapFree=7368/7368
[pid=20128] ppid=20126 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20128/stat : 20128 (clasp-opt.sh) S 20126 20128 15493 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 284883675 9371648 274 33554432000 4194304 5064252 140733268689216 140733268688128 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20128/statm: 2288 274 232 213 0 73 0
[pid=20129] ppid=20128 vsize=655356 CPUtime=3.08 cores=1,3,5,7
/proc/20129/stat : 20129 (clasp-R5325) R 20128 20128 15493 0 -1 4202496 157729 0 0 0 279 29 0 0 20 0 1 0 284883675 671084544 156379 33554432000 4194304 6212839 140735796516752 140735796513160 5537152 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20129/statm: 163839 156379 194 493 0 163344 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 664508

[startup+6.30033 s]
/proc/loadavg: 1.98 2.00 2.00 3/179 20130
/proc/meminfo: memFree=28776132/32873648 swapFree=7368/7368
[pid=20128] ppid=20126 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20128/stat : 20128 (clasp-opt.sh) S 20126 20128 15493 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 284883675 9371648 274 33554432000 4194304 5064252 140733268689216 140733268688128 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20128/statm: 2288 274 232 213 0 73 0
[pid=20129] ppid=20128 vsize=943772 CPUtime=6.28 cores=1,3,5,7
/proc/20129/stat : 20129 (clasp-R5325) R 20128 20128 15493 0 -1 4202496 217396 0 0 0 589 39 0 0 20 0 1 0 284883675 966422528 215818 33554432000 4194304 6212839 140735796516752 140735796514776 4744498 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20129/statm: 235943 215818 237 493 0 235448 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 952924

[startup+12.7004 s]
/proc/loadavg: 1.98 2.00 2.00 3/179 20130
/proc/meminfo: memFree=28770068/32873648 swapFree=7368/7368
[pid=20128] ppid=20126 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20128/stat : 20128 (clasp-opt.sh) S 20126 20128 15493 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 284883675 9371648 274 33554432000 4194304 5064252 140733268689216 140733268688128 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20128/statm: 2288 274 232 213 0 73 0
[pid=20129] ppid=20128 vsize=950512 CPUtime=12.68 cores=1,3,5,7
/proc/20129/stat : 20129 (clasp-R5325) R 20128 20128 15493 0 -1 4202496 218912 0 0 0 1229 39 0 0 20 0 1 0 284883675 973324288 217326 33554432000 4194304 6212839 140735796516752 140735796514776 4737378 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20129/statm: 237628 217326 237 493 0 237133 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 959664

[startup+25.5003 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 20130
/proc/meminfo: memFree=28769944/32873648 swapFree=7368/7368
[pid=20128] ppid=20126 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20128/stat : 20128 (clasp-opt.sh) S 20126 20128 15493 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 284883675 9371648 274 33554432000 4194304 5064252 140733268689216 140733268688128 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20128/statm: 2288 274 232 213 0 73 0
[pid=20129] ppid=20128 vsize=951008 CPUtime=25.47 cores=1,3,5,7
/proc/20129/stat : 20129 (clasp-R5325) R 20128 20128 15493 0 -1 4202496 219047 0 0 0 2508 39 0 0 20 0 1 0 284883675 973832192 217454 33554432000 4194304 6212839 140735796516752 140735796514776 4737378 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20129/statm: 237752 217454 238 493 0 237257 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 960160

[startup+51.1068 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 20130
/proc/meminfo: memFree=28767444/32873648 swapFree=7368/7368
[pid=20128] ppid=20126 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20128/stat : 20128 (clasp-opt.sh) S 20126 20128 15493 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 284883675 9371648 274 33554432000 4194304 5064252 140733268689216 140733268688128 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20128/statm: 2288 274 232 213 0 73 0
[pid=20129] ppid=20128 vsize=953580 CPUtime=51.06 cores=1,3,5,7
/proc/20129/stat : 20129 (clasp-R5325) R 20128 20128 15493 0 -1 4202496 219650 0 0 0 5067 39 0 0 20 0 1 0 284883675 976465920 218041 33554432000 4194304 6212839 140735796516752 140735796514776 4670440 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20129/statm: 238395 218041 238 493 0 237900 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 962732

[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 20131
/proc/meminfo: memFree=28760792/32873648 swapFree=7368/7368
[pid=20128] ppid=20126 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20128/stat : 20128 (clasp-opt.sh) S 20126 20128 15493 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 284883675 9371648 274 33554432000 4194304 5064252 140733268689216 140733268688128 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20128/statm: 2288 274 232 213 0 73 0
[pid=20129] ppid=20128 vsize=956016 CPUtime=102.23 cores=1,3,5,7
/proc/20129/stat : 20129 (clasp-R5325) R 20128 20128 15493 0 -1 4202496 220277 0 0 0 10183 40 0 0 20 0 1 0 284883675 978960384 218625 33554432000 4194304 6212839 140735796516752 140735796514776 4737291 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20129/statm: 239004 218625 238 493 0 238509 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 965168

[startup+162.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 20131
/proc/meminfo: memFree=28759952/32873648 swapFree=7368/7368
[pid=20128] ppid=20126 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20128/stat : 20128 (clasp-opt.sh) S 20126 20128 15493 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 284883675 9371648 274 33554432000 4194304 5064252 140733268689216 140733268688128 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20128/statm: 2288 274 232 213 0 73 0
[pid=20129] ppid=20128 vsize=956692 CPUtime=162.19 cores=1,3,5,7
/proc/20129/stat : 20129 (clasp-R5325) R 20128 20128 15493 0 -1 4202496 220512 0 0 0 16179 40 0 0 20 0 1 0 284883675 979652608 218821 33554432000 4194304 6212839 140735796516752 140735796514776 4686038 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20129/statm: 239173 218821 238 493 0 238678 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 965844

[startup+222.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/180 20134
/proc/meminfo: memFree=28758716/32873648 swapFree=7368/7368
[pid=20128] ppid=20126 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20128/stat : 20128 (clasp-opt.sh) S 20126 20128 15493 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 284883675 9371648 274 33554432000 4194304 5064252 140733268689216 140733268688128 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20128/statm: 2288 274 232 213 0 73 0
[pid=20129] ppid=20128 vsize=957000 CPUtime=222.17 cores=1,3,5,7
/proc/20129/stat : 20129 (clasp-R5325) R 20128 20128 15493 0 -1 4202496 220654 0 0 0 22177 40 0 0 20 0 1 0 284883675 979968000 218939 33554432000 4194304 6212839 140735796516752 140735796514776 4737378 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20129/statm: 239250 218939 238 493 0 238755 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 966152

[startup+282.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 20134
/proc/meminfo: memFree=28757140/32873648 swapFree=7368/7368
[pid=20128] ppid=20126 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20128/stat : 20128 (clasp-opt.sh) S 20126 20128 15493 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 284883675 9371648 274 33554432000 4194304 5064252 140733268689216 140733268688128 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20128/statm: 2288 274 232 213 0 73 0
[pid=20129] ppid=20128 vsize=957920 CPUtime=282.15 cores=1,3,5,7
/proc/20129/stat : 20129 (clasp-R5325) R 20128 20128 15493 0 -1 4202496 220930 0 0 0 28175 40 0 0 20 0 1 0 284883675 980910080 219199 33554432000 4194304 6212839 140735796516752 140735796514776 4739385 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20129/statm: 239480 219199 238 493 0 238985 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 967072

[startup+342.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 20134
/proc/meminfo: memFree=28752092/32873648 swapFree=7368/7368
[pid=20128] ppid=20126 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20128/stat : 20128 (clasp-opt.sh) S 20126 20128 15493 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 284883675 9371648 274 33554432000 4194304 5064252 140733268689216 140733268688128 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20128/statm: 2288 274 232 213 0 73 0
[pid=20129] ppid=20128 vsize=960144 CPUtime=342.14 cores=1,3,5,7
/proc/20129/stat : 20129 (clasp-R5325) R 20128 20128 15493 0 -1 4202496 221449 0 0 0 34174 40 0 0 20 0 1 0 284883675 983187456 219714 33554432000 4194304 6212839 140735796516752 140735796514776 4739305 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20129/statm: 240036 219714 238 493 0 239541 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 969296

[startup+402.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/179 20135
/proc/meminfo: memFree=28750756/32873648 swapFree=7368/7368
[pid=20128] ppid=20126 vsize=9152 CPUtime=0 cores=1,3,5,7

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

/proc/20129/statm: 240785 240064 238 493 0 240290 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 972292

[startup+1242.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 20204
/proc/meminfo: memFree=28563324/32873648 swapFree=7368/7368
[pid=20128] ppid=20126 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20128/stat : 20128 (clasp-opt.sh) S 20126 20128 15493 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 284883675 9371648 274 33554432000 4194304 5064252 140733268689216 140733268688128 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20128/statm: 2288 274 232 213 0 73 0
[pid=20129] ppid=20128 vsize=963140 CPUtime=1242.01 cores=1,3,5,7
/proc/20129/stat : 20129 (clasp-R5325) R 20128 20128 15493 0 -1 4202496 222126 0 0 0 124160 41 0 0 20 0 1 0 284883675 986255360 240338 33554432000 4194304 6212839 140735796516752 140735796514776 4737378 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20129/statm: 240785 240338 238 493 0 240290 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 972292

[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 20205
/proc/meminfo: memFree=28367680/32873648 swapFree=7368/7368
[pid=20128] ppid=20126 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20128/stat : 20128 (clasp-opt.sh) S 20126 20128 15493 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 284883675 9371648 274 33554432000 4194304 5064252 140733268689216 140733268688128 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20128/statm: 2288 274 232 213 0 73 0
[pid=20129] ppid=20128 vsize=963140 CPUtime=1302 cores=1,3,5,7
/proc/20129/stat : 20129 (clasp-R5325) R 20128 20128 15493 0 -1 4202496 222126 0 0 0 130159 41 0 0 20 0 1 0 284883675 986255360 240338 33554432000 4194304 6212839 140735796516752 140735796514776 4739362 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20129/statm: 240785 240338 238 493 0 240290 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 972292

[startup+1362.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 20205
/proc/meminfo: memFree=28322176/32873648 swapFree=7368/7368
[pid=20128] ppid=20126 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20128/stat : 20128 (clasp-opt.sh) S 20126 20128 15493 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 284883675 9371648 274 33554432000 4194304 5064252 140733268689216 140733268688128 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20128/statm: 2288 274 232 213 0 73 0
[pid=20129] ppid=20128 vsize=963140 CPUtime=1361.99 cores=1,3,5,7
/proc/20129/stat : 20129 (clasp-R5325) R 20128 20128 15493 0 -1 4202496 222131 0 0 0 136158 41 0 0 20 0 1 0 284883675 986255360 240343 33554432000 4194304 6212839 140735796516752 140735796514776 4744436 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20129/statm: 240785 240343 238 493 0 240290 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 972292

[startup+1422.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/180 20208
/proc/meminfo: memFree=28308632/32873648 swapFree=7368/7368
[pid=20128] ppid=20126 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20128/stat : 20128 (clasp-opt.sh) S 20126 20128 15493 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 284883675 9371648 274 33554432000 4194304 5064252 140733268689216 140733268688128 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20128/statm: 2288 274 232 213 0 73 0
[pid=20129] ppid=20128 vsize=963140 CPUtime=1421.98 cores=1,3,5,7
/proc/20129/stat : 20129 (clasp-R5325) R 20128 20128 15493 0 -1 4202496 222131 0 0 0 142157 41 0 0 20 0 1 0 284883675 986255360 240343 33554432000 4194304 6212839 140735796516752 140735796514776 4744436 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20129/statm: 240785 240343 238 493 0 240290 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 972292

[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 20208
/proc/meminfo: memFree=28307408/32873648 swapFree=7368/7368
[pid=20128] ppid=20126 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20128/stat : 20128 (clasp-opt.sh) S 20126 20128 15493 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 284883675 9371648 274 33554432000 4194304 5064252 140733268689216 140733268688128 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20128/statm: 2288 274 232 213 0 73 0
[pid=20129] ppid=20128 vsize=963508 CPUtime=1481.97 cores=1,3,5,7
/proc/20129/stat : 20129 (clasp-R5325) R 20128 20128 15493 0 -1 4202496 222200 0 0 0 148156 41 0 0 20 0 1 0 284883675 986632192 240412 33554432000 4194304 6212839 140735796516752 140735796514776 4744436 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20129/statm: 240877 240412 238 493 0 240382 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 972660

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 20208
/proc/meminfo: memFree=28307036/32873648 swapFree=7368/7368
[pid=20128] ppid=20126 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20128/stat : 20128 (clasp-opt.sh) S 20126 20128 15493 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 284883675 9371648 274 33554432000 4194304 5064252 140733268689216 140733268688128 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20128/statm: 2288 274 232 213 0 73 0
[pid=20129] ppid=20128 vsize=963508 CPUtime=1541.96 cores=1,3,5,7
/proc/20129/stat : 20129 (clasp-R5325) R 20128 20128 15493 0 -1 4202496 222200 0 0 0 154155 41 0 0 20 0 1 0 284883675 986632192 240412 33554432000 4194304 6212839 140735796516752 140735796514776 4737387 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20129/statm: 240877 240412 238 493 0 240382 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 972660

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 20209
/proc/meminfo: memFree=28286576/32873648 swapFree=7368/7368
[pid=20128] ppid=20126 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20128/stat : 20128 (clasp-opt.sh) S 20126 20128 15493 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 284883675 9371648 274 33554432000 4194304 5064252 140733268689216 140733268688128 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20128/statm: 2288 274 232 213 0 73 0
[pid=20129] ppid=20128 vsize=963880 CPUtime=1601.95 cores=1,3,5,7
/proc/20129/stat : 20129 (clasp-R5325) R 20128 20128 15493 0 -1 4202496 222283 0 0 0 160154 41 0 0 20 0 1 0 284883675 987013120 240495 33554432000 4194304 6212839 140735796516752 140735796514776 4744688 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20129/statm: 240970 240495 238 493 0 240475 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 973032

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20209
/proc/meminfo: memFree=28286580/32873648 swapFree=7368/7368
[pid=20128] ppid=20126 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20128/stat : 20128 (clasp-opt.sh) S 20126 20128 15493 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 284883675 9371648 274 33554432000 4194304 5064252 140733268689216 140733268688128 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20128/statm: 2288 274 232 213 0 73 0
[pid=20129] ppid=20128 vsize=963880 CPUtime=1661.94 cores=1,3,5,7
/proc/20129/stat : 20129 (clasp-R5325) R 20128 20128 15493 0 -1 4202496 222283 0 0 0 166153 41 0 0 20 0 1 0 284883675 987013120 240495 33554432000 4194304 6212839 140735796516752 140735796514776 4739385 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20129/statm: 240970 240495 238 493 0 240475 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 973032

[startup+1722.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 20209
/proc/meminfo: memFree=28286456/32873648 swapFree=7368/7368
[pid=20128] ppid=20126 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20128/stat : 20128 (clasp-opt.sh) S 20126 20128 15493 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 284883675 9371648 274 33554432000 4194304 5064252 140733268689216 140733268688128 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20128/statm: 2288 274 232 213 0 73 0
[pid=20129] ppid=20128 vsize=963880 CPUtime=1721.93 cores=1,3,5,7
/proc/20129/stat : 20129 (clasp-R5325) R 20128 20128 15493 0 -1 4202496 222283 0 0 0 172152 41 0 0 20 0 1 0 284883675 987013120 240495 33554432000 4194304 6212839 140735796516752 140735796514776 4686038 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20129/statm: 240970 240495 238 493 0 240475 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 973032

[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 20209
/proc/meminfo: memFree=28205732/32873648 swapFree=7368/7368
[pid=20128] ppid=20126 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20128/stat : 20128 (clasp-opt.sh) S 20126 20128 15493 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 284883675 9371648 274 33554432000 4194304 5064252 140733268689216 140733268688128 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20128/statm: 2288 274 232 213 0 73 0
[pid=20129] ppid=20128 vsize=963880 CPUtime=1781.92 cores=1,3,5,7
/proc/20129/stat : 20129 (clasp-R5325) R 20128 20128 15493 0 -1 4202496 222283 0 0 0 178151 41 0 0 20 0 1 0 284883675 987013120 240495 33554432000 4194304 6212839 140735796516752 140735796514776 4739385 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20129/statm: 240970 240495 238 493 0 240475 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 973032



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 20209
/proc/meminfo: memFree=28178204/32873648 swapFree=7368/7368
[pid=20128] ppid=20126 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20128/stat : 20128 (clasp-opt.sh) S 20126 20128 15493 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 284883675 9371648 274 33554432000 4194304 5064252 140733268689216 140733268688128 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20128/statm: 2288 274 232 213 0 73 0
[pid=20129] ppid=20128 vsize=963880 CPUtime=1800.03 cores=1,3,5,7
/proc/20129/stat : 20129 (clasp-R5325) R 20128 20128 15493 0 -1 4202496 222283 0 0 0 179962 41 0 0 20 0 1 0 284883675 987013120 240495 33554432000 4194304 6212839 140735796516752 140735796514776 4739385 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20129/statm: 240970 240495 238 493 0 240475 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 973032

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

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

[startup+1800.4 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 20209
/proc/meminfo: memFree=28178204/32873648 swapFree=7368/7368
[pid=20128] ppid=20126 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20128/stat : 20128 (clasp-opt.sh) S 20126 20128 15493 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 284883675 9371648 274 33554432000 4194304 5064252 140733268689216 140733268688128 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20128/statm: 2288 274 232 213 0 73 0
[pid=20129] ppid=20128 vsize=963880 CPUtime=1800.03 cores=1,3,5,7
/proc/20129/stat : 20129 (clasp-R5325) R 20128 20128 15493 0 -1 4202496 222283 0 0 0 179962 41 0 0 20 0 1 0 284883675 987013120 240495 33554432000 4194304 6212839 140735796516752 140735796514776 4739385 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20129/statm: 240970 240495 238 493 0 240475 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 973032

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20128 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=999
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.03
#
# 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.03
CPU user time (s): 1799.62
CPU system time (s): 0.41
CPU usage (%): 99.9788
Max. virtual memory (cumulated for all children) (KiB): 973032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0
maximum resident set size= 1096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 355
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.85041 second user time and 10.0655 second system time

The end

Launcher Data

Begin job on node149 at 2012-05-28 08:46:36
IDJOB=3709483
IDBENCH=89824
IDSOLVER=2288
FILE ID=node149/3709483-1338187589
RUNJOBID= node149-1338156242-15510
PBS_JOBID= 14624526
Free space on /tmp= 71456 MiB

SOLVER NAME= clasp 2.0.6-R5325
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-mspp16.opb
COMMAND LINE= HOME/clasp-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3709483-1338187589/watcher-3709483-1338187589 -o /tmp/evaluation-result-3709483-1338187589/solver-3709483-1338187589 -C 1800 -W 1900 -M 15500  HOME/clasp-opt.sh HOME/instance-3709483-1338187589.opb

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

MD5SUM BENCH= 141454b66937b2c93528081cb91f0e55
RANDOM SEED=1841703160

node149.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.145
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	: 5332.29
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.145
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.145
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	: 5438.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
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.145
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:       32873648 kB
MemFree:        29633672 kB
Buffers:          381560 kB
Cached:          1969224 kB
SwapCached:         2448 kB
Active:          1140284 kB
Inactive:        1271392 kB
Active(anon):      52512 kB
Inactive(anon):     9340 kB
Active(file):    1087772 kB
Inactive(file):  1262052 kB
Unevictable:        7368 kB
Mlocked:            7368 kB
SwapTotal:      67108856 kB
SwapFree:       67104880 kB
Dirty:            241956 kB
Writeback:            32 kB
AnonPages:         64856 kB
Mapped:            15204 kB
Shmem:                96 kB
Slab:             691204 kB
SReclaimable:     132220 kB
SUnreclaim:       558984 kB
KernelStack:        1440 kB
PageTables:         3996 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     174884 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     43008 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71452 MiB
End job on node149 at 2012-05-28 09:16:38