Trace number 3709527

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

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

Verifier Data

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

Falsified constraint is:
+1*x32077[=0] >= 1 

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3709527-1338229104/watcher-3709527-1338229104 -o /tmp/evaluation-result-3709527-1338229104/solver-3709527-1338229104 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709527-1338229104.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.08 2.02 2.00 3/179 27245
/proc/meminfo: memFree=31185124/32873844 swapFree=7112/7112
[pid=27245] ppid=27243 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27245/stat : 27245 (clasp-opt.sh) S 27243 27245 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 289035784 9371648 275 33554432000 4194304 5064252 140737403914544 140737403913456 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27245/statm: 2288 275 232 213 0 73 0

[startup+0.093721 s]
/proc/loadavg: 2.08 2.02 2.00 3/179 27245
/proc/meminfo: memFree=31185124/32873844 swapFree=7112/7112
[pid=27245] ppid=27243 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27245/stat : 27245 (clasp-opt.sh) S 27243 27245 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 289035784 9371648 275 33554432000 4194304 5064252 140737403914544 140737403913456 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27245/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.100304 s]
/proc/loadavg: 2.08 2.02 2.00 3/179 27245
/proc/meminfo: memFree=31185124/32873844 swapFree=7112/7112
[pid=27245] ppid=27243 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27245/stat : 27245 (clasp-opt.sh) S 27243 27245 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 289035784 9371648 275 33554432000 4194304 5064252 140737403914544 140737403913456 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27245/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.300256 s]
/proc/loadavg: 2.08 2.02 2.00 3/179 27245
/proc/meminfo: memFree=31185124/32873844 swapFree=7112/7112
[pid=27245] ppid=27243 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27245/stat : 27245 (clasp-opt.sh) S 27243 27245 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 289035784 9371648 275 33554432000 4194304 5064252 140737403914544 140737403913456 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27245/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.700253 s]
/proc/loadavg: 2.08 2.02 2.00 3/179 27245
/proc/meminfo: memFree=31185124/32873844 swapFree=7112/7112
[pid=27245] ppid=27243 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27245/stat : 27245 (clasp-opt.sh) S 27243 27245 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 289035784 9371648 275 33554432000 4194304 5064252 140737403914544 140737403913456 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27245/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+1.50029 s]
/proc/loadavg: 2.08 2.02 2.00 3/181 27247
/proc/meminfo: memFree=31168372/32873844 swapFree=7112/7112
[pid=27245] ppid=27243 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27245/stat : 27245 (clasp-opt.sh) S 27243 27245 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 289035784 9371648 275 33554432000 4194304 5064252 140737403914544 140737403913456 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27245/statm: 2288 275 232 213 0 73 0
[pid=27246] ppid=27245 vsize=19576 CPUtime=1.49 cores=1,3,5,7
/proc/27246/stat : 27246 (clasp-R5325) R 27245 27245 26693 0 -1 4202496 4767 0 0 0 148 1 0 0 20 0 1 0 289035784 20045824 4576 33554432000 4194304 6212839 140737363623648 140737363621800 5437001 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/27246/statm: 4894 4576 233 493 0 4399 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28728

[startup+3.10029 s]
/proc/loadavg: 2.08 2.02 2.00 3/181 27247
/proc/meminfo: memFree=31166884/32873844 swapFree=7112/7112
[pid=27245] ppid=27243 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27245/stat : 27245 (clasp-opt.sh) S 27243 27245 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 289035784 9371648 275 33554432000 4194304 5064252 140737403914544 140737403913456 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27245/statm: 2288 275 232 213 0 73 0
[pid=27246] ppid=27245 vsize=20608 CPUtime=3.09 cores=1,3,5,7
/proc/27246/stat : 27246 (clasp-R5325) R 27245 27245 26693 0 -1 4202496 5039 0 0 0 308 1 0 0 20 0 1 0 289035784 21102592 4848 33554432000 4194304 6212839 140737363623648 140737363622056 4635082 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/27246/statm: 5152 4848 238 493 0 4657 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29760

[startup+6.30028 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 27247
/proc/meminfo: memFree=31165148/32873844 swapFree=7112/7112
[pid=27245] ppid=27243 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27245/stat : 27245 (clasp-opt.sh) S 27243 27245 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 289035784 9371648 275 33554432000 4194304 5064252 140737403914544 140737403913456 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27245/statm: 2288 275 232 213 0 73 0
[pid=27246] ppid=27245 vsize=22644 CPUtime=6.28 cores=1,3,5,7
/proc/27246/stat : 27246 (clasp-R5325) R 27245 27245 26693 0 -1 4202496 5541 0 0 0 627 1 0 0 20 0 1 0 289035784 23187456 5350 33554432000 4194304 6212839 140737363623648 140737363621656 4636085 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/27246/statm: 5661 5350 238 493 0 5166 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 31796

[startup+12.7002 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 27247
/proc/meminfo: memFree=31162420/32873844 swapFree=7112/7112
[pid=27245] ppid=27243 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27245/stat : 27245 (clasp-opt.sh) S 27243 27245 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 289035784 9371648 275 33554432000 4194304 5064252 140737403914544 140737403913456 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27245/statm: 2288 275 232 213 0 73 0
[pid=27246] ppid=27245 vsize=24624 CPUtime=12.69 cores=1,3,5,7
/proc/27246/stat : 27246 (clasp-R5325) R 27245 27245 26693 0 -1 4202496 6032 0 0 0 1267 2 0 0 20 0 1 0 289035784 25214976 5841 33554432000 4194304 6212839 140737363623648 140737363621656 5437001 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/27246/statm: 6156 5841 238 493 0 5661 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 33776

[startup+25.5003 s]
/proc/loadavg: 2.05 2.02 2.00 3/181 27247
/proc/meminfo: memFree=31159428/32873844 swapFree=7112/7112
[pid=27245] ppid=27243 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27245/stat : 27245 (clasp-opt.sh) S 27243 27245 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 289035784 9371648 275 33554432000 4194304 5064252 140737403914544 140737403913456 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27245/statm: 2288 275 232 213 0 73 0
[pid=27246] ppid=27245 vsize=26208 CPUtime=25.49 cores=1,3,5,7
/proc/27246/stat : 27246 (clasp-R5325) R 27245 27245 26693 0 -1 4202496 6444 0 0 0 2547 2 0 0 20 0 1 0 289035784 26836992 6253 33554432000 4194304 6212839 140737363623648 140737363621656 4683378 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/27246/statm: 6552 6253 238 493 0 6057 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 35360

[startup+51.1003 s]
/proc/loadavg: 2.03 2.02 2.00 3/181 27247
/proc/meminfo: memFree=31152996/32873844 swapFree=7112/7112
[pid=27245] ppid=27243 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27245/stat : 27245 (clasp-opt.sh) S 27243 27245 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 289035784 9371648 275 33554432000 4194304 5064252 140737403914544 140737403913456 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27245/statm: 2288 275 232 213 0 73 0
[pid=27246] ppid=27245 vsize=29204 CPUtime=51.07 cores=1,3,5,7
/proc/27246/stat : 27246 (clasp-R5325) R 27245 27245 26693 0 -1 4202496 7184 0 0 0 5105 2 0 0 20 0 1 0 289035784 29904896 7000 33554432000 4194304 6212839 140737363623648 140737363621656 4683420 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/27246/statm: 7301 7000 238 493 0 6806 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 38356

[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/182 27251
/proc/meminfo: memFree=31139656/32873844 swapFree=7112/7112
[pid=27245] ppid=27243 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27245/stat : 27245 (clasp-opt.sh) S 27243 27245 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 289035784 9371648 275 33554432000 4194304 5064252 140737403914544 140737403913456 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27245/statm: 2288 275 232 213 0 73 0
[pid=27246] ppid=27245 vsize=37032 CPUtime=102.27 cores=1,3,5,7
/proc/27246/stat : 27246 (clasp-R5325) R 27245 27245 26693 0 -1 4202496 9139 0 0 0 10224 3 0 0 20 0 1 0 289035784 37920768 8954 33554432000 4194304 6212839 140737363623648 140737363621656 4372067 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/27246/statm: 9258 8954 238 493 0 8763 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 46184

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 27251
/proc/meminfo: memFree=31126008/32873844 swapFree=7112/7112
[pid=27245] ppid=27243 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27245/stat : 27245 (clasp-opt.sh) S 27243 27245 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 289035784 9371648 275 33554432000 4194304 5064252 140737403914544 140737403913456 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27245/statm: 2288 275 232 213 0 73 0
[pid=27246] ppid=27245 vsize=44848 CPUtime=162.25 cores=1,3,5,7
/proc/27246/stat : 27246 (clasp-R5325) R 27245 27245 26693 0 -1 4202496 11066 0 0 0 16221 4 0 0 20 0 1 0 289035784 45924352 10887 33554432000 4194304 6212839 140737363623648 140737363621656 4307934 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/27246/statm: 11212 10887 238 493 0 10717 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 54000

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 27251
/proc/meminfo: memFree=31121220/32873844 swapFree=7112/7112
[pid=27245] ppid=27243 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27245/stat : 27245 (clasp-opt.sh) S 27243 27245 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 289035784 9371648 275 33554432000 4194304 5064252 140737403914544 140737403913456 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27245/statm: 2288 275 232 213 0 73 0
[pid=27246] ppid=27245 vsize=44980 CPUtime=222.24 cores=1,3,5,7
/proc/27246/stat : 27246 (clasp-R5325) R 27245 27245 26693 0 -1 4202496 11122 0 0 0 22220 4 0 0 20 0 1 0 289035784 46059520 10944 33554432000 4194304 6212839 140737363623648 140737363621656 4307577 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/27246/statm: 11245 10944 238 493 0 10750 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 54132

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 27251
/proc/meminfo: memFree=31093924/32873844 swapFree=7112/7112
[pid=27245] ppid=27243 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27245/stat : 27245 (clasp-opt.sh) S 27243 27245 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 289035784 9371648 275 33554432000 4194304 5064252 140737403914544 140737403913456 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27245/statm: 2288 275 232 213 0 73 0
[pid=27246] ppid=27245 vsize=45264 CPUtime=282.23 cores=1,3,5,7
/proc/27246/stat : 27246 (clasp-R5325) R 27245 27245 26693 0 -1 4202496 11169 0 0 0 28219 4 0 0 20 0 1 0 289035784 46350336 10991 33554432000 4194304 6212839 140737363623648 140737363622056 4744784 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/27246/statm: 11316 10991 238 493 0 10821 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 54416

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 27251
/proc/meminfo: memFree=31066996/32873844 swapFree=7112/7112
[pid=27245] ppid=27243 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27245/stat : 27245 (clasp-opt.sh) S 27243 27245 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 289035784 9371648 275 33554432000 4194304 5064252 140737403914544 140737403913456 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27245/statm: 2288 275 232 213 0 73 0
[pid=27246] ppid=27245 vsize=66528 CPUtime=342.21 cores=1,3,5,7
/proc/27246/stat : 27246 (clasp-R5325) R 27245 27245 26693 0 -1 4202496 16226 0 0 0 34216 5 0 0 20 0 1 0 289035784 68124672 16216 33554432000 4194304 6212839 140737363623648 140737363621944 4744784 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/27246/statm: 16632 16216 238 493 0 16137 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 75680

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 27251
/proc/meminfo: memFree=31066676/32873844 swapFree=7112/7112
[pid=27245] ppid=27243 vsize=9152 CPUtime=0 cores=1,3,5,7

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

/proc/27246/statm: 20763 20448 238 493 0 20268 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 92204

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 27257
/proc/meminfo: memFree=30982412/32873844 swapFree=7112/7112
[pid=27245] ppid=27243 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27245/stat : 27245 (clasp-opt.sh) S 27243 27245 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 289035784 9371648 275 33554432000 4194304 5064252 140737403914544 140737403913456 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27245/statm: 2288 275 232 213 0 73 0
[pid=27246] ppid=27245 vsize=83052 CPUtime=1182.09 cores=1,3,5,7
/proc/27246/stat : 27246 (clasp-R5325) R 27245 27245 26693 0 -1 4202496 20308 0 0 0 118202 7 0 0 20 0 1 0 289035784 85045248 20448 33554432000 4194304 6212839 140737363623648 140737363621656 4307940 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/27246/statm: 20763 20448 238 493 0 20268 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 92204

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 27257
/proc/meminfo: memFree=30976064/32873844 swapFree=7112/7112
[pid=27245] ppid=27243 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27245/stat : 27245 (clasp-opt.sh) S 27243 27245 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 289035784 9371648 275 33554432000 4194304 5064252 140737403914544 140737403913456 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27245/statm: 2288 275 232 213 0 73 0
[pid=27246] ppid=27245 vsize=88888 CPUtime=1242.09 cores=1,3,5,7
/proc/27246/stat : 27246 (clasp-R5325) R 27245 27245 26693 0 -1 4202496 21757 0 0 0 124201 8 0 0 20 0 1 0 289035784 91021312 21906 33554432000 4194304 6212839 140737363623648 140737363621800 4307964 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/27246/statm: 22222 21906 238 493 0 21727 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 98040

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 27260
/proc/meminfo: memFree=30949500/32873844 swapFree=7112/7112
[pid=27245] ppid=27243 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27245/stat : 27245 (clasp-opt.sh) S 27243 27245 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 289035784 9371648 275 33554432000 4194304 5064252 140737403914544 140737403913456 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27245/statm: 2288 275 232 213 0 73 0
[pid=27246] ppid=27245 vsize=111204 CPUtime=1302.08 cores=1,3,5,7
/proc/27246/stat : 27246 (clasp-R5325) R 27245 27245 26693 0 -1 4202496 27314 0 0 0 130199 9 0 0 20 0 1 0 289035784 113872896 27465 33554432000 4194304 6212839 140737363623648 140737363621656 4674393 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/27246/statm: 27801 27465 238 493 0 27306 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 120356

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 27261
/proc/meminfo: memFree=30952996/32873844 swapFree=7112/7112
[pid=27245] ppid=27243 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27245/stat : 27245 (clasp-opt.sh) S 27243 27245 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 289035784 9371648 275 33554432000 4194304 5064252 140737403914544 140737403913456 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27245/statm: 2288 275 232 213 0 73 0
[pid=27246] ppid=27245 vsize=111204 CPUtime=1362.06 cores=1,3,5,7
/proc/27246/stat : 27246 (clasp-R5325) R 27245 27245 26693 0 -1 4202496 27314 0 0 0 136197 9 0 0 20 0 1 0 289035784 113872896 27465 33554432000 4194304 6212839 140737363623648 140737363621656 4635162 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/27246/statm: 27801 27465 238 493 0 27306 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 120356

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 27261
/proc/meminfo: memFree=30953048/32873844 swapFree=7112/7112
[pid=27245] ppid=27243 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27245/stat : 27245 (clasp-opt.sh) S 27243 27245 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 289035784 9371648 275 33554432000 4194304 5064252 140737403914544 140737403913456 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27245/statm: 2288 275 232 213 0 73 0
[pid=27246] ppid=27245 vsize=111204 CPUtime=1422.06 cores=1,3,5,7
/proc/27246/stat : 27246 (clasp-R5325) R 27245 27245 26693 0 -1 4202496 27319 0 0 0 142197 9 0 0 20 0 1 0 289035784 113872896 27470 33554432000 4194304 6212839 140737363623648 140737363621656 4743849 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/27246/statm: 27801 27470 238 493 0 27306 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 120356

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 27261
/proc/meminfo: memFree=30953036/32873844 swapFree=7112/7112
[pid=27245] ppid=27243 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27245/stat : 27245 (clasp-opt.sh) S 27243 27245 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 289035784 9371648 275 33554432000 4194304 5064252 140737403914544 140737403913456 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27245/statm: 2288 275 232 213 0 73 0
[pid=27246] ppid=27245 vsize=111204 CPUtime=1482.04 cores=1,3,5,7
/proc/27246/stat : 27246 (clasp-R5325) R 27245 27245 26693 0 -1 4202496 27325 0 0 0 148195 9 0 0 20 0 1 0 289035784 113872896 27477 33554432000 4194304 6212839 140737363623648 140737363621656 4674569 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/27246/statm: 27801 27477 238 493 0 27306 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 120356

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 27261
/proc/meminfo: memFree=30953036/32873844 swapFree=7112/7112
[pid=27245] ppid=27243 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27245/stat : 27245 (clasp-opt.sh) S 27243 27245 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 289035784 9371648 275 33554432000 4194304 5064252 140737403914544 140737403913456 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27245/statm: 2288 275 232 213 0 73 0
[pid=27246] ppid=27245 vsize=111204 CPUtime=1542.03 cores=1,3,5,7
/proc/27246/stat : 27246 (clasp-R5325) R 27245 27245 26693 0 -1 4202496 27325 0 0 0 154194 9 0 0 20 0 1 0 289035784 113872896 27477 33554432000 4194304 6212839 140737363623648 140737363621656 4686028 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/27246/statm: 27801 27477 238 493 0 27306 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 120356

[startup+1602.3 s]
/proc/loadavg: 1.94 1.98 1.99 3/181 27301
/proc/meminfo: memFree=30947688/32873844 swapFree=7112/7112
[pid=27245] ppid=27243 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27245/stat : 27245 (clasp-opt.sh) S 27243 27245 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 289035784 9371648 275 33554432000 4194304 5064252 140737403914544 140737403913456 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27245/statm: 2288 275 232 213 0 73 0
[pid=27246] ppid=27245 vsize=111204 CPUtime=1602.02 cores=1,3,5,7
/proc/27246/stat : 27246 (clasp-R5325) R 27245 27245 26693 0 -1 4202496 27325 0 0 0 160193 9 0 0 20 0 1 0 289035784 113872896 27477 33554432000 4194304 6212839 140737363623648 140737363621656 4681562 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/27246/statm: 27801 27477 238 493 0 27306 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 120356

[startup+1662.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/181 27302
/proc/meminfo: memFree=30922648/32873844 swapFree=7112/7112
[pid=27245] ppid=27243 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27245/stat : 27245 (clasp-opt.sh) S 27243 27245 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 289035784 9371648 275 33554432000 4194304 5064252 140737403914544 140737403913456 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27245/statm: 2288 275 232 213 0 73 0
[pid=27246] ppid=27245 vsize=111204 CPUtime=1662.01 cores=1,3,5,7
/proc/27246/stat : 27246 (clasp-R5325) R 27245 27245 26693 0 -1 4202496 27325 0 0 0 166192 9 0 0 20 0 1 0 289035784 113872896 27477 33554432000 4194304 6212839 140737363623648 140737363621656 4743952 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/27246/statm: 27801 27477 238 493 0 27306 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 120356

[startup+1722.3 s]
/proc/loadavg: 2.04 2.00 2.00 3/182 27303
/proc/meminfo: memFree=30912160/32873844 swapFree=7112/7112
[pid=27245] ppid=27243 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27245/stat : 27245 (clasp-opt.sh) S 27243 27245 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 289035784 9371648 275 33554432000 4194304 5064252 140737403914544 140737403913456 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27245/statm: 2288 275 232 213 0 73 0
[pid=27246] ppid=27245 vsize=111204 CPUtime=1722 cores=1,3,5,7
/proc/27246/stat : 27246 (clasp-R5325) R 27245 27245 26693 0 -1 4202496 27325 0 0 0 172191 9 0 0 20 0 1 0 289035784 113872896 27477 33554432000 4194304 6212839 140737363623648 140737363621656 4635099 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/27246/statm: 27801 27477 238 493 0 27306 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 120356

[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 27303
/proc/meminfo: memFree=30903488/32873844 swapFree=7112/7112
[pid=27245] ppid=27243 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27245/stat : 27245 (clasp-opt.sh) S 27243 27245 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 289035784 9371648 275 33554432000 4194304 5064252 140737403914544 140737403913456 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27245/statm: 2288 275 232 213 0 73 0
[pid=27246] ppid=27245 vsize=111204 CPUtime=1781.99 cores=1,3,5,7
/proc/27246/stat : 27246 (clasp-R5325) R 27245 27245 26693 0 -1 4202496 27325 0 0 0 178190 9 0 0 20 0 1 0 289035784 113872896 27477 33554432000 4194304 6212839 140737363623648 140737363621656 4674504 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/27246/statm: 27801 27477 238 493 0 27306 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 120356



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 27303
/proc/meminfo: memFree=30900016/32873844 swapFree=7112/7112
[pid=27245] ppid=27243 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/27245/stat : 27245 (clasp-opt.sh) S 27243 27245 26693 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 289035784 9371648 275 33554432000 4194304 5064252 140737403914544 140737403913456 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27245/statm: 2288 275 232 213 0 73 0
[pid=27246] ppid=27245 vsize=111204 CPUtime=1800.09 cores=1,3,5,7
/proc/27246/stat : 27246 (clasp-R5325) R 27245 27245 26693 0 -1 4202496 27325 0 0 0 180000 9 0 0 20 0 1 0 289035784 113872896 27477 33554432000 4194304 6212839 140737363623648 140737363621656 4705176 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/27246/statm: 27801 27477 238 493 0 27306 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 120356

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27245 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=0
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.41
CPU time (s): 1800.09
CPU user time (s): 1800
CPU system time (s): 0.09
CPU usage (%): 99.9821
Max. virtual memory (cumulated for all children) (KiB): 120356

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

runsolver used 3.42148 second user time and 10.6434 second system time

The end

Launcher Data

Begin job on node132 at 2012-05-28 20:18:25
IDJOB=3709527
IDBENCH=90698
IDSOLVER=2288
FILE ID=node132/3709527-1338229104
RUNJOBID= node132-1338221667-26710
PBS_JOBID= 14624620
Free space on /tmp= 71632 MiB

SOLVER NAME= clasp 2.0.6-R5325
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_20null0mast_rapportOE1.0_TMAX60_K67_cod2.opb
COMMAND LINE= HOME/clasp-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3709527-1338229104/watcher-3709527-1338229104 -o /tmp/evaluation-result-3709527-1338229104/solver-3709527-1338229104 -C 1800 -W 1900 -M 15500  HOME/clasp-opt.sh HOME/instance-3709527-1338229104.opb

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

MD5SUM BENCH= dc1f1c1369db62ce46fa63aa9c3db18d
RANDOM SEED=1669653710

node132.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.832
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.66
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.832
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
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.832
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
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.832
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
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.832
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
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.832
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
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.832
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	: 5332.55
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.832
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31186032 kB
Buffers:          479300 kB
Cached:           238112 kB
SwapCached:         2284 kB
Active:           602364 kB
Inactive:         194004 kB
Active(anon):      71460 kB
Inactive(anon):     8148 kB
Active(file):     530904 kB
Inactive(file):   185856 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67103740 kB
Dirty:              4660 kB
Writeback:             0 kB
AnonPages:         82360 kB
Mapped:            11948 kB
Shmem:                 8 kB
Slab:             751284 kB
SReclaimable:     192744 kB
SUnreclaim:       558540 kB
KernelStack:        1464 kB
PageTables:         4204 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     196296 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71604 MiB
End job on node132 at 2012-05-28 20:48:27