Trace number 3709292

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.1 1800.41

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_opers/normalized-fir10_area_opers.opb
MD5SUMcca2bc3212eb56e1c6b2ae84ca292ee3
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark51
Best CPU time to get the best result obtained on this benchmark151.57
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 51
Optimality of the best value was proved YES
Number of variables79024
Total number of constraints176988
Number of constraints which are clauses176988
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint511
Number of terms in the objective function 39323
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 39323
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 39323
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

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

Falsified constraint is:
+1*x32626[=0] +1*x32628[=0] +1*x32630[=0] +1*x32632[=0] +1*x32634[=0] +1*x32636[=0] +1*x32638[=0] +1*x32640[=0] +1*x32642[=0] +1*x32644[=0] +1*x32646[=0] +1*x32648[=0] +1*x32650[=0] +1*x32652[=0] +1*x32654[=0] +1*x32656[=0] +1*x32658[=0] +1*x32660[=0] +1*x32662[=0] +1*x32664[=0] +1*x32666[=0] +1*x32668[=0] +1*x32670[=0] +1*x32672[=0] +1*x32674[=0] +1*x32676[=0] +1*x32678[=0] +1*x32680[=0] +1*x32682[=0] +1*x32684[=0] +1*x32686[=0] +1*x32688[=0] +1*x32690[=0] +1*x32692[=0] +1*x32694[=0] +1*x32696[=0] +1*x32698[=0] +1*x32700[=0] +1*x32702[=0] +1*x32704[=0] +1*x32706[=0] +1*x32708[=0] +1*x32710[=0] +1*x32712[=0] +1*x32714[=0] +1*x32716[=0] +1*x32718[=0] +1*x32720[=0] +1*x32722[=0] +1*x32724[=0] +1*x32726[=0] +1*x32728[=0] +1*x32730[=0] +1*x32732[=0] +1*x32734[=0] +1*x32736[=0] +1*x32738[=0] +1*x32740[=0] +1*x32742[=0] +1*x32744[=0] +1*x32746[=0] +1*x32748[=0] +1*x32750[=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-3709292-1338174761/watcher-3709292-1338174761 -o /tmp/evaluation-result-3709292-1338174761/solver-3709292-1338174761 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709292-1338174761.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.99 2.01 2.00 3/179 20226
/proc/meminfo: memFree=31355796/32873844 swapFree=7616/7616
[pid=20226] ppid=20224 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20226/stat : 20226 (clasp-opt.sh) S 20224 20226 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283600950 9371648 275 33554432000 4194304 5064252 140734002209136 140734002208048 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20226/statm: 2288 275 232 213 0 73 0

[startup+0.0202329 s]
/proc/loadavg: 1.99 2.01 2.00 3/179 20226
/proc/meminfo: memFree=31355796/32873844 swapFree=7616/7616
[pid=20226] ppid=20224 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20226/stat : 20226 (clasp-opt.sh) S 20224 20226 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283600950 9371648 275 33554432000 4194304 5064252 140734002209136 140734002208048 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20226/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.100337 s]
/proc/loadavg: 1.99 2.01 2.00 3/179 20226
/proc/meminfo: memFree=31355796/32873844 swapFree=7616/7616
[pid=20226] ppid=20224 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20226/stat : 20226 (clasp-opt.sh) S 20224 20226 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283600950 9371648 275 33554432000 4194304 5064252 140734002209136 140734002208048 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20226/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.300301 s]
/proc/loadavg: 1.99 2.01 2.00 3/179 20226
/proc/meminfo: memFree=31355796/32873844 swapFree=7616/7616
[pid=20226] ppid=20224 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20226/stat : 20226 (clasp-opt.sh) S 20224 20226 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283600950 9371648 275 33554432000 4194304 5064252 140734002209136 140734002208048 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20226/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.700184 s]
/proc/loadavg: 1.99 2.01 2.00 3/179 20226
/proc/meminfo: memFree=31355796/32873844 swapFree=7616/7616
[pid=20226] ppid=20224 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20226/stat : 20226 (clasp-opt.sh) S 20224 20226 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283600950 9371648 275 33554432000 4194304 5064252 140734002209136 140734002208048 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20226/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+1.50023 s]
/proc/loadavg: 1.99 2.01 2.00 3/181 20228
/proc/meminfo: memFree=31312744/32873844 swapFree=7616/7616
[pid=20226] ppid=20224 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20226/stat : 20226 (clasp-opt.sh) S 20224 20226 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283600950 9371648 275 33554432000 4194304 5064252 140734002209136 140734002208048 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20226/statm: 2288 275 232 213 0 73 0
[pid=20227] ppid=20226 vsize=46888 CPUtime=1.49 cores=1,3,5,7
/proc/20227/stat : 20227 (clasp-R5325) R 20226 20226 18057 0 -1 4202496 10855 0 0 0 146 3 0 0 20 0 1 0 283600950 48013312 11132 33554432000 4194304 6212839 140736576378784 140736576376952 4303398 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20227/statm: 11722 11132 213 493 0 11227 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 56040

[startup+3.10037 s]
/proc/loadavg: 1.99 2.01 2.00 3/181 20228
/proc/meminfo: memFree=31312496/32873844 swapFree=7616/7616
[pid=20226] ppid=20224 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20226/stat : 20226 (clasp-opt.sh) S 20224 20226 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283600950 9371648 275 33554432000 4194304 5064252 140734002209136 140734002208048 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20226/statm: 2288 275 232 213 0 73 0
[pid=20227] ppid=20226 vsize=46028 CPUtime=3.09 cores=1,3,5,7
/proc/20227/stat : 20227 (clasp-R5325) R 20226 20226 18057 0 -1 4202496 11699 0 0 0 306 3 0 0 20 0 1 0 283600950 47132672 11012 33554432000 4194304 6212839 140736576378784 140736576377192 5435284 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20227/statm: 11507 11012 235 493 0 11012 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 55180

[startup+6.30032 s]
/proc/loadavg: 1.99 2.01 2.00 3/181 20228
/proc/meminfo: memFree=31311760/32873844 swapFree=7616/7616
[pid=20226] ppid=20224 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20226/stat : 20226 (clasp-opt.sh) S 20224 20226 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283600950 9371648 275 33554432000 4194304 5064252 140734002209136 140734002208048 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20226/statm: 2288 275 232 213 0 73 0
[pid=20227] ppid=20226 vsize=46028 CPUtime=6.29 cores=1,3,5,7
/proc/20227/stat : 20227 (clasp-R5325) R 20226 20226 18057 0 -1 4202496 11700 0 0 0 626 3 0 0 20 0 1 0 283600950 47132672 11013 33554432000 4194304 6212839 140736576378784 140736576377192 4424377 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20227/statm: 11507 11013 236 493 0 11012 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 55180

[startup+12.7003 s]
/proc/loadavg: 1.99 2.01 2.00 3/181 20229
/proc/meminfo: memFree=31311252/32873844 swapFree=7616/7616
[pid=20226] ppid=20224 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20226/stat : 20226 (clasp-opt.sh) S 20224 20226 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283600950 9371648 275 33554432000 4194304 5064252 140734002209136 140734002208048 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20226/statm: 2288 275 232 213 0 73 0
[pid=20227] ppid=20226 vsize=46028 CPUtime=12.69 cores=1,3,5,7
/proc/20227/stat : 20227 (clasp-R5325) R 20226 20226 18057 0 -1 4202496 11702 0 0 0 1266 3 0 0 20 0 1 0 283600950 47132672 11013 33554432000 4194304 6212839 140736576378784 140736576377192 4333789 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20227/statm: 11507 11013 236 493 0 11012 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 55180

[startup+25.5004 s]
/proc/loadavg: 2.06 2.03 2.00 3/181 20229
/proc/meminfo: memFree=31311244/32873844 swapFree=7616/7616
[pid=20226] ppid=20224 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20226/stat : 20226 (clasp-opt.sh) S 20224 20226 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283600950 9371648 275 33554432000 4194304 5064252 140734002209136 140734002208048 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20226/statm: 2288 275 232 213 0 73 0
[pid=20227] ppid=20226 vsize=46028 CPUtime=25.48 cores=1,3,5,7
/proc/20227/stat : 20227 (clasp-R5325) R 20226 20226 18057 0 -1 4202496 11711 0 0 0 2545 3 0 0 20 0 1 0 283600950 47132672 11093 33554432000 4194304 6212839 140736576378784 140736576377192 4685736 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20227/statm: 11507 11093 237 493 0 11012 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 55180

[startup+51.1004 s]
/proc/loadavg: 2.04 2.03 2.00 3/181 20229
/proc/meminfo: memFree=31310864/32873844 swapFree=7616/7616
[pid=20226] ppid=20224 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20226/stat : 20226 (clasp-opt.sh) S 20224 20226 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283600950 9371648 275 33554432000 4194304 5064252 140734002209136 140734002208048 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20226/statm: 2288 275 232 213 0 73 0
[pid=20227] ppid=20226 vsize=46028 CPUtime=51.07 cores=1,3,5,7
/proc/20227/stat : 20227 (clasp-R5325) R 20226 20226 18057 0 -1 4202496 11715 0 0 0 5104 3 0 0 20 0 1 0 283600950 47132672 11117 33554432000 4194304 6212839 140736576378784 140736576377192 4635408 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20227/statm: 11507 11117 237 493 0 11012 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 55180

[startup+102.307 s]
/proc/loadavg: 2.06 2.03 2.00 3/181 20229
/proc/meminfo: memFree=31309312/32873844 swapFree=7616/7616
[pid=20226] ppid=20224 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20226/stat : 20226 (clasp-opt.sh) S 20224 20226 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283600950 9371648 275 33554432000 4194304 5064252 140734002209136 140734002208048 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20226/statm: 2288 275 232 213 0 73 0
[pid=20227] ppid=20226 vsize=46028 CPUtime=102.27 cores=1,3,5,7
/proc/20227/stat : 20227 (clasp-R5325) R 20226 20226 18057 0 -1 4202496 11715 0 0 0 10224 3 0 0 20 0 1 0 283600950 47132672 11117 33554432000 4194304 6212839 140736576378784 140736576377192 4635517 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20227/statm: 11507 11117 237 493 0 11012 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 55180

[startup+162.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/181 20229
/proc/meminfo: memFree=31308132/32873844 swapFree=7616/7616
[pid=20226] ppid=20224 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20226/stat : 20226 (clasp-opt.sh) S 20224 20226 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283600950 9371648 275 33554432000 4194304 5064252 140734002209136 140734002208048 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20226/statm: 2288 275 232 213 0 73 0
[pid=20227] ppid=20226 vsize=46028 CPUtime=162.25 cores=1,3,5,7
/proc/20227/stat : 20227 (clasp-R5325) R 20226 20226 18057 0 -1 4202496 11715 0 0 0 16222 3 0 0 20 0 1 0 283600950 47132672 11117 33554432000 4194304 6212839 140736576378784 140736576377192 4634964 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20227/statm: 11507 11117 237 493 0 11012 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 55180

[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 20229
/proc/meminfo: memFree=31307388/32873844 swapFree=7616/7616
[pid=20226] ppid=20224 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20226/stat : 20226 (clasp-opt.sh) S 20224 20226 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283600950 9371648 275 33554432000 4194304 5064252 140734002209136 140734002208048 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20226/statm: 2288 275 232 213 0 73 0
[pid=20227] ppid=20226 vsize=46028 CPUtime=222.24 cores=1,3,5,7
/proc/20227/stat : 20227 (clasp-R5325) R 20226 20226 18057 0 -1 4202496 11715 0 0 0 22221 3 0 0 20 0 1 0 283600950 47132672 11117 33554432000 4194304 6212839 140736576378784 140736576377192 4372073 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20227/statm: 11507 11117 237 493 0 11012 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 55180

[startup+282.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/181 20229
/proc/meminfo: memFree=31306396/32873844 swapFree=7616/7616
[pid=20226] ppid=20224 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20226/stat : 20226 (clasp-opt.sh) S 20224 20226 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283600950 9371648 275 33554432000 4194304 5064252 140734002209136 140734002208048 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20226/statm: 2288 275 232 213 0 73 0
[pid=20227] ppid=20226 vsize=46028 CPUtime=282.23 cores=1,3,5,7
/proc/20227/stat : 20227 (clasp-R5325) R 20226 20226 18057 0 -1 4202496 11715 0 0 0 28220 3 0 0 20 0 1 0 283600950 47132672 11117 33554432000 4194304 6212839 140736576378784 140736576377192 4372067 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20227/statm: 11507 11117 237 493 0 11012 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 55180

[startup+342.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 20230
/proc/meminfo: memFree=31304720/32873844 swapFree=7616/7616
[pid=20226] ppid=20224 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20226/stat : 20226 (clasp-opt.sh) S 20224 20226 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283600950 9371648 275 33554432000 4194304 5064252 140734002209136 140734002208048 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20226/statm: 2288 275 232 213 0 73 0
[pid=20227] ppid=20226 vsize=46160 CPUtime=342.22 cores=1,3,5,7
/proc/20227/stat : 20227 (clasp-R5325) R 20226 20226 18057 0 -1 4202496 11772 0 0 0 34219 3 0 0 20 0 1 0 283600950 47267840 11174 33554432000 4194304 6212839 140736576378784 140736576376792 4423547 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20227/statm: 11540 11174 237 493 0 11045 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 55312

[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 20230
/proc/meminfo: memFree=31303416/32873844 swapFree=7616/7616
[pid=20226] ppid=20224 vsize=9152 CPUtime=0 cores=1,3,5,7

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

/proc/20227/statm: 13718 13366 237 493 0 13223 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 64024

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20238
/proc/meminfo: memFree=31286596/32873844 swapFree=7616/7616
[pid=20226] ppid=20224 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20226/stat : 20226 (clasp-opt.sh) S 20224 20226 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283600950 9371648 275 33554432000 4194304 5064252 140734002209136 140734002208048 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20226/statm: 2288 275 232 213 0 73 0
[pid=20227] ppid=20226 vsize=54872 CPUtime=1182.09 cores=1,3,5,7
/proc/20227/stat : 20227 (clasp-R5325) R 20226 20226 18057 0 -1 4202496 13891 0 0 0 118204 5 0 0 20 0 1 0 283600950 56188928 13366 33554432000 4194304 6212839 140736576378784 140736576376792 4333789 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20227/statm: 13718 13366 237 493 0 13223 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 64024

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20238
/proc/meminfo: memFree=31286348/32873844 swapFree=7616/7616
[pid=20226] ppid=20224 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20226/stat : 20226 (clasp-opt.sh) S 20224 20226 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283600950 9371648 275 33554432000 4194304 5064252 140734002209136 140734002208048 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20226/statm: 2288 275 232 213 0 73 0
[pid=20227] ppid=20226 vsize=54872 CPUtime=1242.08 cores=1,3,5,7
/proc/20227/stat : 20227 (clasp-R5325) R 20226 20226 18057 0 -1 4202496 13891 0 0 0 124203 5 0 0 20 0 1 0 283600950 56188928 13366 33554432000 4194304 6212839 140736576378784 140736576376792 4372048 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20227/statm: 13718 13366 237 493 0 13223 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 64024

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20239
/proc/meminfo: memFree=31284364/32873844 swapFree=7616/7616
[pid=20226] ppid=20224 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20226/stat : 20226 (clasp-opt.sh) S 20224 20226 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283600950 9371648 275 33554432000 4194304 5064252 140734002209136 140734002208048 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20226/statm: 2288 275 232 213 0 73 0
[pid=20227] ppid=20226 vsize=56544 CPUtime=1302.08 cores=1,3,5,7
/proc/20227/stat : 20227 (clasp-R5325) R 20226 20226 18057 0 -1 4202496 14317 0 0 0 130202 6 0 0 20 0 1 0 283600950 57901056 13792 33554432000 4194304 6212839 140736576378784 140736576376936 4634964 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20227/statm: 14136 13792 237 493 0 13641 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 65696

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20239
/proc/meminfo: memFree=31283432/32873844 swapFree=7616/7616
[pid=20226] ppid=20224 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20226/stat : 20226 (clasp-opt.sh) S 20224 20226 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283600950 9371648 275 33554432000 4194304 5064252 140734002209136 140734002208048 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20226/statm: 2288 275 232 213 0 73 0
[pid=20227] ppid=20226 vsize=56676 CPUtime=1362.07 cores=1,3,5,7
/proc/20227/stat : 20227 (clasp-R5325) R 20226 20226 18057 0 -1 4202496 14357 0 0 0 136201 6 0 0 20 0 1 0 283600950 58036224 13851 33554432000 4194304 6212839 140736576378784 140736576376792 4634964 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20227/statm: 14169 13851 237 493 0 13674 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 65828

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20239
/proc/meminfo: memFree=31283120/32873844 swapFree=7616/7616
[pid=20226] ppid=20224 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20226/stat : 20226 (clasp-opt.sh) S 20224 20226 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283600950 9371648 275 33554432000 4194304 5064252 140734002209136 140734002208048 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20226/statm: 2288 275 232 213 0 73 0
[pid=20227] ppid=20226 vsize=56676 CPUtime=1422.06 cores=1,3,5,7
/proc/20227/stat : 20227 (clasp-R5325) R 20226 20226 18057 0 -1 4202496 14357 0 0 0 142200 6 0 0 20 0 1 0 283600950 58036224 13851 33554432000 4194304 6212839 140736576378784 140736576376792 4634964 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20227/statm: 14169 13851 237 493 0 13674 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 65828

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20239
/proc/meminfo: memFree=31283120/32873844 swapFree=7616/7616
[pid=20226] ppid=20224 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20226/stat : 20226 (clasp-opt.sh) S 20224 20226 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283600950 9371648 275 33554432000 4194304 5064252 140734002209136 140734002208048 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20226/statm: 2288 275 232 213 0 73 0
[pid=20227] ppid=20226 vsize=56848 CPUtime=1482.05 cores=1,3,5,7
/proc/20227/stat : 20227 (clasp-R5325) R 20226 20226 18057 0 -1 4202496 14366 0 0 0 148199 6 0 0 20 0 1 0 283600950 58212352 13860 33554432000 4194304 6212839 140736576378784 140736576376936 4685679 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20227/statm: 14212 13860 237 493 0 13717 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 66000

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20318
/proc/meminfo: memFree=31311228/32873844 swapFree=7616/7616
[pid=20226] ppid=20224 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20226/stat : 20226 (clasp-opt.sh) S 20224 20226 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283600950 9371648 275 33554432000 4194304 5064252 140734002209136 140734002208048 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20226/statm: 2288 275 232 213 0 73 0
[pid=20227] ppid=20226 vsize=56980 CPUtime=1542.04 cores=1,3,5,7
/proc/20227/stat : 20227 (clasp-R5325) R 20226 20226 18057 0 -1 4202496 14413 0 0 0 154198 6 0 0 20 0 1 0 283600950 58347520 13907 33554432000 4194304 6212839 140736576378784 140736576376936 4634964 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20227/statm: 14245 13907 237 493 0 13750 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 66132

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20436
/proc/meminfo: memFree=31273252/32873844 swapFree=7616/7616
[pid=20226] ppid=20224 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20226/stat : 20226 (clasp-opt.sh) S 20224 20226 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283600950 9371648 275 33554432000 4194304 5064252 140734002209136 140734002208048 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20226/statm: 2288 275 232 213 0 73 0
[pid=20227] ppid=20226 vsize=57508 CPUtime=1602.03 cores=1,3,5,7
/proc/20227/stat : 20227 (clasp-R5325) R 20226 20226 18057 0 -1 4202496 14549 0 0 0 160197 6 0 0 20 0 1 0 283600950 58888192 14069 33554432000 4194304 6212839 140736576378784 140736576376792 4422305 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20227/statm: 14377 14069 237 493 0 13882 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 66660

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 20439
/proc/meminfo: memFree=31264812/32873844 swapFree=7616/7616
[pid=20226] ppid=20224 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20226/stat : 20226 (clasp-opt.sh) S 20224 20226 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283600950 9371648 275 33554432000 4194304 5064252 140734002209136 140734002208048 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20226/statm: 2288 275 232 213 0 73 0
[pid=20227] ppid=20226 vsize=57772 CPUtime=1662.02 cores=1,3,5,7
/proc/20227/stat : 20227 (clasp-R5325) R 20226 20226 18057 0 -1 4202496 14608 0 0 0 166196 6 0 0 20 0 1 0 283600950 59158528 14128 33554432000 4194304 6212839 140736576378784 140736576376792 4421938 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20227/statm: 14443 14128 237 493 0 13948 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 66924

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20439
/proc/meminfo: memFree=31257864/32873844 swapFree=7616/7616
[pid=20226] ppid=20224 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20226/stat : 20226 (clasp-opt.sh) S 20224 20226 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283600950 9371648 275 33554432000 4194304 5064252 140734002209136 140734002208048 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20226/statm: 2288 275 232 213 0 73 0
[pid=20227] ppid=20226 vsize=58836 CPUtime=1722.01 cores=1,3,5,7
/proc/20227/stat : 20227 (clasp-R5325) R 20226 20226 18057 0 -1 4202496 14894 0 0 0 172195 6 0 0 20 0 1 0 283600950 60248064 14414 33554432000 4194304 6212839 140736576378784 140736576376792 4333838 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20227/statm: 14709 14414 237 493 0 14214 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 67988

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20439
/proc/meminfo: memFree=31251848/32873844 swapFree=7616/7616
[pid=20226] ppid=20224 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20226/stat : 20226 (clasp-opt.sh) S 20224 20226 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283600950 9371648 275 33554432000 4194304 5064252 140734002209136 140734002208048 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20226/statm: 2288 275 232 213 0 73 0
[pid=20227] ppid=20226 vsize=58836 CPUtime=1782 cores=1,3,5,7
/proc/20227/stat : 20227 (clasp-R5325) R 20226 20226 18057 0 -1 4202496 14895 0 0 0 178194 6 0 0 20 0 1 0 283600950 60248064 14415 33554432000 4194304 6212839 140736576378784 140736576376792 4634964 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20227/statm: 14709 14415 237 493 0 14214 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 67988



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20439
/proc/meminfo: memFree=31248800/32873844 swapFree=7616/7616
[pid=20226] ppid=20224 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20226/stat : 20226 (clasp-opt.sh) S 20224 20226 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283600950 9371648 275 33554432000 4194304 5064252 140734002209136 140734002208048 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20226/statm: 2288 275 232 213 0 73 0
[pid=20227] ppid=20226 vsize=58836 CPUtime=1800.1 cores=1,3,5,7
/proc/20227/stat : 20227 (clasp-R5325) R 20226 20226 18057 0 -1 4202496 14895 0 0 0 180004 6 0 0 20 0 1 0 283600950 60248064 14415 33554432000 4194304 6212839 140736576378784 140736576376792 4634964 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/20227/statm: 14709 14415 237 493 0 14214 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 67988

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 20226 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.1
#
# 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.1
CPU user time (s): 1800.04
CPU system time (s): 0.06
CPU usage (%): 99.9827
Max. virtual memory (cumulated for all children) (KiB): 67988

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= 357
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.10153 second user time and 11.6942 second system time

The end

Launcher Data 

Begin job on node135 at 2012-05-28 05:12:42
IDJOB=3709292
IDBENCH=25033
IDSOLVER=2288
FILE ID=node135/3709292-1338174761
RUNJOBID= node135-1338152725-18074
PBS_JOBID= 14624521
Free space on /tmp= 71636 MiB

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

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

MD5SUM BENCH= cca2bc3212eb56e1c6b2ae84ca292ee3
RANDOM SEED=844196585

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31356340 kB
Buffers:          310592 kB
Cached:           359580 kB
SwapCached:         1720 kB
Active:           566864 kB
Inactive:         133784 kB
Active(anon):      20480 kB
Inactive(anon):    12016 kB
Active(file):     546384 kB
Inactive(file):   121768 kB
Unevictable:        7616 kB
Mlocked:            7616 kB
SwapTotal:      67108856 kB
SwapFree:       67105800 kB
Dirty:              7776 kB
Writeback:             0 kB
AnonPages:         35652 kB
Mapped:            12708 kB
Shmem:               132 kB
Slab:             675496 kB
SReclaimable:     117288 kB
SUnreclaim:       558208 kB
KernelStack:        1480 kB
PageTables:         4204 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     143500 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 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= 71632 MiB
End job on node135 at 2012-05-28 05:42:44