Trace number 3709339

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
clasp 2.0.6-R5325 (opt)SAT (TO)31 1800.1 1800.41

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_026_area_delay.opb
MD5SUM4c21c441bf9f3f3be8f0cdb52c39f9b4
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark28
Best CPU time to get the best result obtained on this benchmark23.6794
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 30
Optimality of the best value was proved NO
Number of variables12852
Total number of constraints41686
Number of constraints which are clauses41686
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 constraint127
Number of terms in the objective function 6267
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 6267
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6267
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

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

Verifier Data

OK	31

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

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

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


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

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

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

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

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

[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24673
/proc/meminfo: memFree=30422000/32873844 swapFree=7388/7388
[pid=24671] ppid=24669 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24671/stat : 24671 (clasp-opt.sh) S 24669 24671 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283381352 9371648 274 33554432000 4194304 5064252 140734854572912 140734854571824 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24671/statm: 2288 274 232 213 0 73 0
[pid=24672] ppid=24671 vsize=8888 CPUtime=1.49 cores=1,3,5,7
/proc/24672/stat : 24672 (clasp-R5325) R 24671 24671 23256 0 -1 4202496 2400 0 0 0 149 0 0 0 20 0 1 0 283381353 9101312 1884 33554432000 4194304 6212839 140733428884112 140733428882120 4683100 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24672/statm: 2222 1884 237 493 0 1727 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18040

[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24673
/proc/meminfo: memFree=30421628/32873844 swapFree=7388/7388
[pid=24671] ppid=24669 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24671/stat : 24671 (clasp-opt.sh) S 24669 24671 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283381352 9371648 274 33554432000 4194304 5064252 140734854572912 140734854571824 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24671/statm: 2288 274 232 213 0 73 0
[pid=24672] ppid=24671 vsize=9548 CPUtime=3.09 cores=1,3,5,7
/proc/24672/stat : 24672 (clasp-R5325) R 24671 24671 23256 0 -1 4202496 2573 0 0 0 309 0 0 0 20 0 1 0 283381353 9777152 2057 33554432000 4194304 6212839 140733428884112 140733428882264 4421920 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24672/statm: 2387 2057 237 493 0 1892 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18700

[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24673
/proc/meminfo: memFree=30420388/32873844 swapFree=7388/7388
[pid=24671] ppid=24669 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24671/stat : 24671 (clasp-opt.sh) S 24669 24671 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283381352 9371648 274 33554432000 4194304 5064252 140734854572912 140734854571824 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24671/statm: 2288 274 232 213 0 73 0
[pid=24672] ppid=24671 vsize=10208 CPUtime=6.28 cores=1,3,5,7
/proc/24672/stat : 24672 (clasp-R5325) R 24671 24671 23256 0 -1 4202496 2744 0 0 0 628 0 0 0 20 0 1 0 283381353 10452992 2228 33554432000 4194304 6212839 140733428884112 140733428882120 4421948 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24672/statm: 2552 2228 237 493 0 2057 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 19360

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24673
/proc/meminfo: memFree=30418660/32873844 swapFree=7388/7388
[pid=24671] ppid=24669 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24671/stat : 24671 (clasp-opt.sh) S 24669 24671 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283381352 9371648 274 33554432000 4194304 5064252 140734854572912 140734854571824 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24671/statm: 2288 274 232 213 0 73 0
[pid=24672] ppid=24671 vsize=11476 CPUtime=12.68 cores=1,3,5,7
/proc/24672/stat : 24672 (clasp-R5325) R 24671 24671 23256 0 -1 4202496 3039 0 0 0 1268 0 0 0 20 0 1 0 283381353 11751424 2523 33554432000 4194304 6212839 140733428884112 140733428882120 4411551 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24672/statm: 2869 2523 237 493 0 2374 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 20628

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24673
/proc/meminfo: memFree=30417436/32873844 swapFree=7388/7388
[pid=24671] ppid=24669 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24671/stat : 24671 (clasp-opt.sh) S 24669 24671 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283381352 9371648 274 33554432000 4194304 5064252 140734854572912 140734854571824 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24671/statm: 2288 274 232 213 0 73 0
[pid=24672] ppid=24671 vsize=12964 CPUtime=25.48 cores=1,3,5,7
/proc/24672/stat : 24672 (clasp-R5325) R 24671 24671 23256 0 -1 4202496 3412 0 0 0 2548 0 0 0 20 0 1 0 283381353 13275136 2896 33554432000 4194304 6212839 140733428884112 140733428882120 4422301 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24672/statm: 3241 2896 237 493 0 2746 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 22116

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24673
/proc/meminfo: memFree=30414512/32873844 swapFree=7388/7388
[pid=24671] ppid=24669 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24671/stat : 24671 (clasp-opt.sh) S 24669 24671 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283381352 9371648 274 33554432000 4194304 5064252 140734854572912 140734854571824 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24671/statm: 2288 274 232 213 0 73 0
[pid=24672] ppid=24671 vsize=15420 CPUtime=51.08 cores=1,3,5,7
/proc/24672/stat : 24672 (clasp-R5325) R 24671 24671 23256 0 -1 4202496 4030 0 0 0 5107 1 0 0 20 0 1 0 283381353 15790080 3548 33554432000 4194304 6212839 140733428884112 140733428882520 4685963 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24672/statm: 3855 3548 237 493 0 3360 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 24572

[startup+102.306 s]
/proc/loadavg: 1.94 1.98 1.99 3/179 24753
/proc/meminfo: memFree=30451372/32873844 swapFree=7388/7388
[pid=24671] ppid=24669 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24671/stat : 24671 (clasp-opt.sh) S 24669 24671 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283381352 9371648 274 33554432000 4194304 5064252 140734854572912 140734854571824 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24671/statm: 2288 274 232 213 0 73 0
[pid=24672] ppid=24671 vsize=18816 CPUtime=102.27 cores=1,3,5,7
/proc/24672/stat : 24672 (clasp-R5325) R 24671 24671 23256 0 -1 4202496 4870 0 0 0 10226 1 0 0 20 0 1 0 283381353 19267584 4395 33554432000 4194304 6212839 140733428884112 140733428882120 4372104 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24672/statm: 4704 4395 237 493 0 4209 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 27968

[startup+162.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/179 24753
/proc/meminfo: memFree=30445600/32873844 swapFree=7388/7388
[pid=24671] ppid=24669 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24671/stat : 24671 (clasp-opt.sh) S 24669 24671 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283381352 9371648 274 33554432000 4194304 5064252 140734854572912 140734854571824 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24671/statm: 2288 274 232 213 0 73 0
[pid=24672] ppid=24671 vsize=21640 CPUtime=162.26 cores=1,3,5,7
/proc/24672/stat : 24672 (clasp-R5325) R 24671 24671 23256 0 -1 4202496 5559 0 0 0 16225 1 0 0 20 0 1 0 283381353 22159360 5089 33554432000 4194304 6212839 140733428884112 140733428882520 4683811 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24672/statm: 5410 5089 237 493 0 4915 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 30792

[startup+222.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 24753
/proc/meminfo: memFree=30439332/32873844 swapFree=7388/7388
[pid=24671] ppid=24669 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24671/stat : 24671 (clasp-opt.sh) S 24669 24671 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283381352 9371648 274 33554432000 4194304 5064252 140734854572912 140734854571824 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24671/statm: 2288 274 232 213 0 73 0
[pid=24672] ppid=24671 vsize=25648 CPUtime=222.25 cores=1,3,5,7
/proc/24672/stat : 24672 (clasp-R5325) R 24671 24671 23256 0 -1 4202496 6474 0 0 0 22223 2 0 0 20 0 1 0 283381353 26263552 6044 33554432000 4194304 6212839 140733428884112 140733428882120 4683418 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24672/statm: 6412 6044 237 493 0 5917 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 34800

[startup+282.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/180 24756
/proc/meminfo: memFree=30433492/32873844 swapFree=7388/7388
[pid=24671] ppid=24669 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24671/stat : 24671 (clasp-opt.sh) S 24669 24671 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283381352 9371648 274 33554432000 4194304 5064252 140734854572912 140734854571824 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24671/statm: 2288 274 232 213 0 73 0
[pid=24672] ppid=24671 vsize=27716 CPUtime=282.24 cores=1,3,5,7
/proc/24672/stat : 24672 (clasp-R5325) R 24671 24671 23256 0 -1 4202496 6972 0 0 0 28222 2 0 0 20 0 1 0 283381353 28381184 6580 33554432000 4194304 6212839 140733428884112 140733428882120 4634964 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24672/statm: 6929 6580 237 493 0 6434 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 36868

[startup+342.3 s]
/proc/loadavg: 2.17 2.07 2.02 3/179 24756
/proc/meminfo: memFree=30432380/32873844 swapFree=7388/7388
[pid=24671] ppid=24669 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24671/stat : 24671 (clasp-opt.sh) S 24669 24671 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283381352 9371648 274 33554432000 4194304 5064252 140734854572912 140734854571824 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24671/statm: 2288 274 232 213 0 73 0
[pid=24672] ppid=24671 vsize=28772 CPUtime=342.23 cores=1,3,5,7
/proc/24672/stat : 24672 (clasp-R5325) R 24671 24671 23256 0 -1 4202496 7211 0 0 0 34221 2 0 0 20 0 1 0 283381353 29462528 6845 33554432000 4194304 6212839 140733428884112 140733428882264 4634981 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24672/statm: 7193 6845 237 493 0 6698 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 37924

[startup+402.3 s]
/proc/loadavg: 2.13 2.08 2.02 3/179 24757
/proc/meminfo: memFree=30426424/32873844 swapFree=7388/7388
[pid=24671] ppid=24669 vsize=9152 CPUtime=0 cores=1,3,5,7

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

/proc/24672/statm: 12715 12348 237 493 0 12220 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 60012

[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 24762
/proc/meminfo: memFree=30390924/32873844 swapFree=7388/7388
[pid=24671] ppid=24669 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24671/stat : 24671 (clasp-opt.sh) S 24669 24671 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283381352 9371648 274 33554432000 4194304 5064252 140734854572912 140734854571824 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24671/statm: 2288 274 232 213 0 73 0
[pid=24672] ppid=24671 vsize=51428 CPUtime=1182.08 cores=1,3,5,7
/proc/24672/stat : 24672 (clasp-R5325) R 24671 24671 23256 0 -1 4202496 12465 0 0 0 118205 3 0 0 20 0 1 0 283381353 52662272 12493 33554432000 4194304 6212839 140733428884112 140733428882264 4685736 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24672/statm: 12857 12493 237 493 0 12362 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 60580

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 24762
/proc/meminfo: memFree=30389560/32873844 swapFree=7388/7388
[pid=24671] ppid=24669 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24671/stat : 24671 (clasp-opt.sh) S 24669 24671 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283381352 9371648 274 33554432000 4194304 5064252 140734854572912 140734854571824 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24671/statm: 2288 274 232 213 0 73 0
[pid=24672] ppid=24671 vsize=52368 CPUtime=1242.08 cores=1,3,5,7
/proc/24672/stat : 24672 (clasp-R5325) R 24671 24671 23256 0 -1 4202496 12660 0 0 0 124205 3 0 0 20 0 1 0 283381353 53624832 12688 33554432000 4194304 6212839 140733428884112 140733428882264 4333812 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24672/statm: 13092 12688 237 493 0 12597 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 61520

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 24763
/proc/meminfo: memFree=30385960/32873844 swapFree=7388/7388
[pid=24671] ppid=24669 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24671/stat : 24671 (clasp-opt.sh) S 24669 24671 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283381352 9371648 274 33554432000 4194304 5064252 140734854572912 140734854571824 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24671/statm: 2288 274 232 213 0 73 0
[pid=24672] ppid=24671 vsize=54104 CPUtime=1302.07 cores=1,3,5,7
/proc/24672/stat : 24672 (clasp-R5325) R 24671 24671 23256 0 -1 4202496 13072 0 0 0 130204 3 0 0 20 0 1 0 283381353 55402496 13170 33554432000 4194304 6212839 140733428884112 140733428882264 4685957 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24672/statm: 13526 13170 237 493 0 13031 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 63256

[startup+1362.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/179 24763
/proc/meminfo: memFree=30384968/32873844 swapFree=7388/7388
[pid=24671] ppid=24669 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24671/stat : 24671 (clasp-opt.sh) S 24669 24671 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283381352 9371648 274 33554432000 4194304 5064252 140734854572912 140734854571824 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24671/statm: 2288 274 232 213 0 73 0
[pid=24672] ppid=24671 vsize=55452 CPUtime=1362.05 cores=1,3,5,7
/proc/24672/stat : 24672 (clasp-R5325) R 24671 24671 23256 0 -1 4202496 13348 0 0 0 136202 3 0 0 20 0 1 0 283381353 56782848 13446 33554432000 4194304 6212839 140733428884112 140733428882264 4333860 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24672/statm: 13863 13446 237 493 0 13368 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 64604

[startup+1422.31 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 24763
/proc/meminfo: memFree=30384532/32873844 swapFree=7388/7388
[pid=24671] ppid=24669 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24671/stat : 24671 (clasp-opt.sh) S 24669 24671 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283381352 9371648 274 33554432000 4194304 5064252 140734854572912 140734854571824 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24671/statm: 2288 274 232 213 0 73 0
[pid=24672] ppid=24671 vsize=55452 CPUtime=1422.05 cores=1,3,5,7
/proc/24672/stat : 24672 (clasp-R5325) R 24671 24671 23256 0 -1 4202496 13348 0 0 0 142202 3 0 0 20 0 1 0 283381353 56782848 13482 33554432000 4194304 6212839 140733428884112 140733428882264 4333789 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24672/statm: 13863 13482 237 493 0 13368 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 64604

[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/180 24766
/proc/meminfo: memFree=30381052/32873844 swapFree=7388/7388
[pid=24671] ppid=24669 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24671/stat : 24671 (clasp-opt.sh) S 24669 24671 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283381352 9371648 274 33554432000 4194304 5064252 140734854572912 140734854571824 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24671/statm: 2288 274 232 213 0 73 0
[pid=24672] ppid=24671 vsize=55972 CPUtime=1482.03 cores=1,3,5,7
/proc/24672/stat : 24672 (clasp-R5325) R 24671 24671 23256 0 -1 4202496 13461 0 0 0 148200 3 0 0 20 0 1 0 283381353 57315328 13595 33554432000 4194304 6212839 140733428884112 140733428882264 4333776 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24672/statm: 13993 13595 237 493 0 13498 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 65124

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 24788
/proc/meminfo: memFree=30378628/32873844 swapFree=7388/7388
[pid=24671] ppid=24669 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24671/stat : 24671 (clasp-opt.sh) S 24669 24671 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283381352 9371648 274 33554432000 4194304 5064252 140734854572912 140734854571824 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24671/statm: 2288 274 232 213 0 73 0
[pid=24672] ppid=24671 vsize=58124 CPUtime=1542.02 cores=1,3,5,7
/proc/24672/stat : 24672 (clasp-R5325) R 24671 24671 23256 0 -1 4202496 13921 0 0 0 154199 3 0 0 20 0 1 0 283381353 59518976 14145 33554432000 4194304 6212839 140733428884112 140733428882264 4424532 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24672/statm: 14531 14145 237 493 0 14036 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 67276

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24788
/proc/meminfo: memFree=30378076/32873844 swapFree=7388/7388
[pid=24671] ppid=24669 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24671/stat : 24671 (clasp-opt.sh) S 24669 24671 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283381352 9371648 274 33554432000 4194304 5064252 140734854572912 140734854571824 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24671/statm: 2288 274 232 213 0 73 0
[pid=24672] ppid=24671 vsize=58588 CPUtime=1602.01 cores=1,3,5,7
/proc/24672/stat : 24672 (clasp-R5325) R 24671 24671 23256 0 -1 4202496 14021 0 0 0 160198 3 0 0 20 0 1 0 283381353 59994112 14329 33554432000 4194304 6212839 140733428884112 140733428882264 4333845 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24672/statm: 14647 14329 237 493 0 14152 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 67740

[startup+1662.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 24789
/proc/meminfo: memFree=30377952/32873844 swapFree=7388/7388
[pid=24671] ppid=24669 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24671/stat : 24671 (clasp-opt.sh) S 24669 24671 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283381352 9371648 274 33554432000 4194304 5064252 140734854572912 140734854571824 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24671/statm: 2288 274 232 213 0 73 0
[pid=24672] ppid=24671 vsize=58840 CPUtime=1662 cores=1,3,5,7
/proc/24672/stat : 24672 (clasp-R5325) R 24671 24671 23256 0 -1 4202496 14049 0 0 0 166197 3 0 0 20 0 1 0 283381353 60252160 14357 33554432000 4194304 6212839 140733428884112 140733428882264 4423539 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24672/statm: 14710 14357 237 493 0 14215 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 67992

[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 24789
/proc/meminfo: memFree=30376588/32873844 swapFree=7388/7388
[pid=24671] ppid=24669 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24671/stat : 24671 (clasp-opt.sh) S 24669 24671 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283381352 9371648 274 33554432000 4194304 5064252 140734854572912 140734854571824 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24671/statm: 2288 274 232 213 0 73 0
[pid=24672] ppid=24671 vsize=59824 CPUtime=1722 cores=1,3,5,7
/proc/24672/stat : 24672 (clasp-R5325) R 24671 24671 23256 0 -1 4202496 14302 0 0 0 172197 3 0 0 20 0 1 0 283381353 61259776 14610 33554432000 4194304 6212839 140733428884112 140733428882120 4423547 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24672/statm: 14956 14610 237 493 0 14461 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 68976

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24789
/proc/meminfo: memFree=30373796/32873844 swapFree=7388/7388
[pid=24671] ppid=24669 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24671/stat : 24671 (clasp-opt.sh) S 24669 24671 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283381352 9371648 274 33554432000 4194304 5064252 140734854572912 140734854571824 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24671/statm: 2288 274 232 213 0 73 0
[pid=24672] ppid=24671 vsize=62088 CPUtime=1781.99 cores=1,3,5,7
/proc/24672/stat : 24672 (clasp-R5325) R 24671 24671 23256 0 -1 4202496 14780 0 0 0 178195 4 0 0 20 0 1 0 283381353 63578112 15151 33554432000 4194304 6212839 140733428884112 140733428882120 4634964 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24672/statm: 15522 15151 237 493 0 15027 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 71240



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24789
/proc/meminfo: memFree=30373300/32873844 swapFree=7388/7388
[pid=24671] ppid=24669 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/24671/stat : 24671 (clasp-opt.sh) S 24669 24671 23256 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 283381352 9371648 274 33554432000 4194304 5064252 140734854572912 140734854571824 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24671/statm: 2288 274 232 213 0 73 0
[pid=24672] ppid=24671 vsize=62984 CPUtime=1800.1 cores=1,3,5,7
/proc/24672/stat : 24672 (clasp-R5325) R 24671 24671 23256 0 -1 4202496 14950 0 0 0 180006 4 0 0 20 0 1 0 283381353 64495616 15321 33554432000 4194304 6212839 140733428884112 140733428882264 4634964 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/24672/statm: 15746 15321 237 493 0 15251 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 72136

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 24671 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=999
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.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.06
CPU system time (s): 0.04
CPU usage (%): 99.9827
Max. virtual memory (cumulated for all children) (KiB): 72136

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

runsolver used 3.50047 second user time and 9.02463 second system time

The end

Launcher Data

Begin job on node147 at 2012-05-28 04:36:10
IDJOB=3709339
IDBENCH=25001
IDSOLVER=2288
FILE ID=node147/3709339-1338172569
RUNJOBID= node147-1338158144-23273
PBS_JOBID= 14624536
Free space on /tmp= 71668 MiB

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

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

MD5SUM BENCH= 4c21c441bf9f3f3be8f0cdb52c39f9b4
RANDOM SEED=2016193925

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30429364 kB
Buffers:          349872 kB
Cached:          1218156 kB
SwapCached:         5068 kB
Active:           652724 kB
Inactive:         971980 kB
Active(anon):      51516 kB
Inactive(anon):     7584 kB
Active(file):     601208 kB
Inactive(file):   964396 kB
Unevictable:        7388 kB
Mlocked:            7388 kB
SwapTotal:      67108856 kB
SwapFree:       67098668 kB
Dirty:              3504 kB
Writeback:             0 kB
AnonPages:        100836 kB
Mapped:            10768 kB
Shmem:                 0 kB
Slab:             679480 kB
SReclaimable:     120804 kB
SUnreclaim:       558676 kB
KernelStack:        1488 kB
PageTables:         3888 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     175048 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     81920 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= 71668 MiB
End job on node147 at 2012-05-28 05:06:12