Trace number 3468010

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-R4191SAT (TO)46 1800.08 1800.02

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

Verifier Data

OK	46

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3468010-1307112891/watcher-3468010-1307112891 -o /tmp/evaluation-result-3468010-1307112891/solver-3468010-1307112891 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468010-1307112891.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2 

running on 4 cores: 0,2,4,6

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.02 2.04 2.00 1/464 7708
/proc/meminfo: memFree=24211612/32951124 swapFree=56297244/67111528
[pid=7708] ppid=7706 vsize=14984 CPUtime=0 cores=0,2,4,6
/proc/7708/stat : 7708 (clasp) R 7706 7708 6224 0 -1 4202496 1203 0 0 0 0 0 0 0 25 0 1 0 901519558 15343616 1043 33554432000 4194304 4933572 140735890217520 18446744073709551615 252457726661 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7708/statm: 3746 1043 332 181 0 755 0

[startup+0.078006 s]
/proc/loadavg: 2.02 2.04 2.00 1/464 7708
/proc/meminfo: memFree=24211612/32951124 swapFree=56297244/67111528
[pid=7708] ppid=7706 vsize=18368 CPUtime=0.07 cores=0,2,4,6
/proc/7708/stat : 7708 (clasp) R 7706 7708 6224 0 -1 4202496 2521 0 0 0 7 0 0 0 25 0 1 0 901519558 18808832 1940 33554432000 4194304 4933572 140735890217520 18446744073709551615 4428619 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7708/statm: 4592 1940 378 181 0 1601 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 18368

[startup+0.100979 s]
/proc/loadavg: 2.02 2.04 2.00 1/464 7708
/proc/meminfo: memFree=24211612/32951124 swapFree=56297244/67111528
[pid=7708] ppid=7706 vsize=18368 CPUtime=0.09 cores=0,2,4,6
/proc/7708/stat : 7708 (clasp) R 7706 7708 6224 0 -1 4202496 2521 0 0 0 9 0 0 0 25 0 1 0 901519558 18808832 1940 33554432000 4194304 4933572 140735890217520 18446744073709551615 4368936 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7708/statm: 4592 1940 378 181 0 1601 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18368

[startup+0.300967 s]
/proc/loadavg: 2.02 2.04 2.00 1/464 7708
/proc/meminfo: memFree=24211612/32951124 swapFree=56297244/67111528
[pid=7708] ppid=7706 vsize=18368 CPUtime=0.29 cores=0,2,4,6
/proc/7708/stat : 7708 (clasp) R 7706 7708 6224 0 -1 4202496 2528 0 0 0 29 0 0 0 25 0 1 0 901519558 18808832 1947 33554432000 4194304 4933572 140735890217520 18446744073709551615 4369036 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7708/statm: 4592 1947 385 181 0 1601 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18368

[startup+0.70087 s]
/proc/loadavg: 2.02 2.04 2.00 1/464 7708
/proc/meminfo: memFree=24211612/32951124 swapFree=56297244/67111528
[pid=7708] ppid=7706 vsize=18368 CPUtime=0.69 cores=0,2,4,6
/proc/7708/stat : 7708 (clasp) R 7706 7708 6224 0 -1 4202496 2528 0 0 0 69 0 0 0 25 0 1 0 901519558 18808832 1947 33554432000 4194304 4933572 140735890217520 18446744073709551615 4429145 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7708/statm: 4592 1947 385 181 0 1601 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18368

[startup+1.50074 s]
/proc/loadavg: 1.94 2.02 1.99 3/470 7748
/proc/meminfo: memFree=24192948/32951124 swapFree=56297244/67111528
[pid=7708] ppid=7706 vsize=18368 CPUtime=1.49 cores=0,2,4,6
/proc/7708/stat : 7708 (clasp) R 7706 7708 6224 0 -1 4202496 2530 0 0 0 149 0 0 0 25 0 1 0 901519558 18808832 1949 33554432000 4194304 4933572 140735890217520 18446744073709551615 4649216 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7708/statm: 4592 1949 385 181 0 1601 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18368

[startup+3.10046 s]
/proc/loadavg: 1.94 2.02 1.99 3/470 7748
/proc/meminfo: memFree=24190964/32951124 swapFree=56297244/67111528
[pid=7708] ppid=7706 vsize=18900 CPUtime=3.09 cores=0,2,4,6
/proc/7708/stat : 7708 (clasp) R 7706 7708 6224 0 -1 4202496 2638 0 0 0 309 0 0 0 25 0 1 0 901519558 19353600 2057 33554432000 4194304 4933572 140735890217520 18446744073709551615 4648904 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7708/statm: 4725 2057 385 181 0 1734 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18900

[startup+6.30085 s]
/proc/loadavg: 1.94 2.02 1.99 3/470 7748
/proc/meminfo: memFree=24190408/32951124 swapFree=56297244/67111528
[pid=7708] ppid=7706 vsize=19164 CPUtime=6.29 cores=0,2,4,6
/proc/7708/stat : 7708 (clasp) R 7706 7708 6224 0 -1 4202496 2717 0 0 0 629 0 0 0 25 0 1 0 901519558 19623936 2136 33554432000 4194304 4933572 140735890217520 18446744073709551615 4429177 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7708/statm: 4791 2136 385 181 0 1800 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19164

[startup+12.7007 s]
/proc/loadavg: 1.95 2.02 1.99 3/470 7748
/proc/meminfo: memFree=24187484/32951124 swapFree=56297244/67111528
[pid=7708] ppid=7706 vsize=20220 CPUtime=12.69 cores=0,2,4,6
/proc/7708/stat : 7708 (clasp) R 7706 7708 6224 0 -1 4202496 2976 0 0 0 1269 0 0 0 25 0 1 0 901519558 20705280 2395 33554432000 4194304 4933572 140735890217520 18446744073709551615 4428048 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7708/statm: 5055 2395 385 181 0 2064 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20220

[startup+25.5003 s]
/proc/loadavg: 2.10 2.05 2.00 3/470 7748
/proc/meminfo: memFree=24187248/32951124 swapFree=56297244/67111528
[pid=7708] ppid=7706 vsize=21436 CPUtime=25.49 cores=0,2,4,6
/proc/7708/stat : 7708 (clasp) R 7706 7708 6224 0 -1 4202496 3272 0 0 0 2549 0 0 0 25 0 1 0 901519558 21950464 2691 33554432000 4194304 4933572 140735890217520 18446744073709551615 4429177 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7708/statm: 5359 2691 385 181 0 2368 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21436

[startup+51.1005 s]
/proc/loadavg: 2.06 2.05 2.00 3/470 7749
/proc/meminfo: memFree=24183640/32951124 swapFree=56297244/67111528
[pid=7708] ppid=7706 vsize=23576 CPUtime=51.09 cores=0,2,4,6
/proc/7708/stat : 7708 (clasp) R 7706 7708 6224 0 -1 4202496 3795 0 0 0 5109 0 0 0 25 0 1 0 901519558 24141824 3214 33554432000 4194304 4933572 140735890217520 18446744073709551615 4428013 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7708/statm: 5894 3214 385 181 0 2903 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 23576

[startup+102.317 s]
/proc/loadavg: 2.07 2.05 2.00 3/470 7750
/proc/meminfo: memFree=24178180/32951124 swapFree=56297244/67111528
[pid=7708] ppid=7706 vsize=26320 CPUtime=102.31 cores=0,2,4,6
/proc/7708/stat : 7708 (clasp) R 7706 7708 6224 0 -1 4202496 4426 0 0 0 10231 0 0 0 25 0 1 0 901519558 26951680 3845 33554432000 4194304 4933572 140735890217520 18446744073709551615 4368938 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7708/statm: 6580 3845 385 181 0 3589 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 26320

[startup+162.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/470 7752
/proc/meminfo: memFree=24174692/32951124 swapFree=56297244/67111528
[pid=7708] ppid=7706 vsize=27596 CPUtime=162.3 cores=0,2,4,6
/proc/7708/stat : 7708 (clasp) R 7706 7708 6224 0 -1 4202496 4725 0 0 0 16230 0 0 0 25 0 1 0 901519558 28258304 4144 33554432000 4194304 4933572 140735890217520 18446744073709551615 4632016 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7708/statm: 6899 4144 385 181 0 3908 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 27596

[startup+222.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/470 7754
/proc/meminfo: memFree=24171308/32951124 swapFree=56297244/67111528
[pid=7708] ppid=7706 vsize=28564 CPUtime=222.3 cores=0,2,4,6
/proc/7708/stat : 7708 (clasp) R 7706 7708 6224 0 -1 4202496 4975 0 0 0 22230 0 0 0 25 0 1 0 901519558 29249536 4394 33554432000 4194304 4933572 140735890217520 18446744073709551615 4429168 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7708/statm: 7141 4394 387 181 0 4150 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 28564

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 7755
/proc/meminfo: memFree=24168056/32951124 swapFree=56297244/67111528
[pid=7708] ppid=7706 vsize=30256 CPUtime=282.3 cores=0,2,4,6
/proc/7708/stat : 7708 (clasp) R 7706 7708 6224 0 -1 4202496 5378 0 0 0 28230 0 0 0 25 0 1 0 901519558 30982144 4797 33554432000 4194304 4933572 140735890217520 18446744073709551615 4368936 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7708/statm: 7564 4797 387 181 0 4573 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 30256

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 7757
/proc/meminfo: memFree=24167036/32951124 swapFree=56297244/67111528
[pid=7708] ppid=7706 vsize=31356 CPUtime=342.3 cores=0,2,4,6
/proc/7708/stat : 7708 (clasp) R 7706 7708 6224 0 -1 4202496 5631 0 0 0 34230 0 0 0 25 0 1 0 901519558 32108544 5050 33554432000 4194304 4933572 140735890217520 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7708/statm: 7839 5050 387 181 0 4848 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 31356

[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 7767
/proc/meminfo: memFree=24166012/32951124 swapFree=56297244/67111528
[pid=7708] ppid=7706 vsize=32072 CPUtime=402.3 cores=0,2,4,6
/proc/7708/stat : 7708 (clasp) R 7706 7708 6224 0 -1 4202496 5783 0 0 0 40230 0 0 0 25 0 1 0 901519558 32841728 5202 33554432000 4194304 4933572 140735890217520 18446744073709551615 4368914 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7708/statm: 8018 5202 387 181 0 5027 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 32072

[startup+462.301 s]
/proc/loadavg: 2.14 2.05 2.01 3/470 7769
/proc/meminfo: memFree=24164616/32951124 swapFree=56297244/67111528
[pid=7708] ppid=7706 vsize=32264 CPUtime=462.3 cores=0,2,4,6
/proc/7708/stat : 7708 (clasp) R 7706 7708 6224 0 -1 4202496 5857 0 0 0 46230 0 0 0 25 0 1 0 901519558 33038336 5276 33554432000 4194304 4933572 140735890217520 18446744073709551615 4637449 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7708/statm: 8066 5276 387 181 0 5075 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 32264

[startup+522.301 s]
/proc/loadavg: 2.05 2.04 2.00 3/470 7771
/proc/meminfo: memFree=24162100/32951124 swapFree=56297244/67111528
[pid=7708] ppid=7706 vsize=34588 CPUtime=522.31 cores=0,2,4,6
/proc/7708/stat : 7708 (clasp) R 7706 7708 6224 0 -1 4202496 6345 0 0 0 52231 0 0 0 25 0 1 0 901519558 35418112 5764 33554432000 4194304 4933572 140735890217520 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7708/statm: 8647 5764 387 181 0 5656 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 34588

[startup+582.301 s]
/proc/loadavg: 2.09 2.04 2.00 3/470 7772
/proc/meminfo: memFree=24161584/32951124 swapFree=56297244/67111528
[pid=7708] ppid=7706 vsize=35052 CPUtime=582.31 cores=0,2,4,6
/proc/7708/stat : 7708 (clasp) R 7706 7708 6224 0 -1 4202496 6491 0 0 0 58231 0 0 0 25 0 1 0 901519558 35893248 5910 33554432000 4194304 4933572 140735890217520 18446744073709551615 4648515 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7708/statm: 8763 5910 387 181 0 5772 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 35052

[startup+642.3 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 7779
/proc/meminfo: memFree=24151548/32951124 swapFree=56297244/67111528
[pid=7708] ppid=7706 vsize=39756 CPUtime=822.31 cores=0,2,4,6
/proc/7708/stat : 7708 (clasp) R 7706 7708 6224 0 -1 4202496 7592 0 0 0 82231 0 0 0 25 0 1 0 901519558 40710144 7011 33554432000 4194304 4933572 140735890217520 18446744073709551615 4319350 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7708/statm: 9939 7011 387 181 0 6948 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 39756

[startup+882.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 7780
/proc/meminfo: memFree=24147800/32951124 swapFree=56297244/67111528
[pid=7708] ppid=7706 vsize=40324 CPUtime=882.32 cores=0,2,4,6
/proc/7708/stat : 7708 (clasp) R 7706 7708 6224 0 -1 4202496 7731 0 0 0 88231 1 0 0 25 0 1 0 901519558 41291776 7150 33554432000 4194304 4933572 140735890217520 18446744073709551615 4363216 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7708/statm: 10081 7150 387 181 0 7090 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 40324

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/470 7782
/proc/meminfo: memFree=24147404/32951124 swapFree=56297244/67111528
[pid=7708] ppid=7706 vsize=40888 CPUtime=942.33 cores=0,2,4,6
/proc/7708/stat : 7708 (clasp) R 7706 7708 6224 0 -1 4202496 7854 0 0 0 94232 1 0 0 25 0 1 0 901519558 41869312 7273 33554432000 4194304 4933572 140735890217520 18446744073709551615 4428399 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7708/statm: 10222 7273 387 181 0 7231 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 40888

[startup+1002.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/470 7783
/proc/meminfo: memFree=24146892/32951124 swapFree=56297244/67111528
[pid=7708] ppid=7706 vsize=41620 CPUtime=1002.33 cores=0,2,4,6
/proc/7708/stat : 7708 (clasp) R 7706 7708 6224 0 -1 4202496 8001 0 0 0 100232 1 0 0 25 0 1 0 901519558 42618880 7420 33554432000 4194304 4933572 140735890217520 18446744073709551615 4648304 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7708/statm: 10405 7420 387 181 0 7414 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 41620

[startup+1062.3 s]
/proc/loadavg: 2.07 2.03 2.01 4/470 7785
/proc/meminfo: memFree=24145000/32951124 swapFree=56297244/67111528
[pid=7708] ppid=7706 vsize=42000 CPUtime=1062.33 cores=0,2,4,6
/proc/7708/stat : 7708 (clasp) R 7706 7708 6224 0 -1 4202496 8101 0 0 0 106232 1 0 0 25 0 1 0 901519558 43008000 7520 33554432000 4194304 4933572 140735890217520 18446744073709551615 4368914 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7708/statm: 10500 7520 387 181 0 7509 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 42000

[startup+1122.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/470 7787
/proc/meminfo: memFree=24143848/32951124 swapFree=56297244/67111528
[pid=7708] ppid=7706 vsize=42420 CPUtime=1122.33 cores=0,2,4,6
/proc/7708/stat : 7708 (clasp) R 7706 7708 6224 0 -1 4202496 8170 0 0 0 112232 1 0 0 25 0 1 0 901519558 43438080 7589 33554432000 4194304 4933572 140735890217520 18446744073709551615 4331700 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7708/statm: 10605 7589 387 181 0 7614 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 42420

[startup+1182.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/470 7788
/proc/meminfo: memFree=24142316/32951124 swapFree=56297244/67111528
[pid=7708] ppid=7706 vsize=42948 CPUtime=1182.33 cores=0,2,4,6
/proc/7708/stat : 7708 (clasp) R 7706 7708 6224 0 -1 4202496 8286 0 0 0 118232 1 0 0 25 0 1 0 901519558 43978752 7705 33554432000 4194304 4933572 140735890217520 18446744073709551615 4428048 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7708/statm: 10737 7705 387 181 0 7746 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 42948

[startup+1242.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/470 7790
/proc/meminfo: memFree=24142024/32951124 swapFree=56297244/67111528
[pid=7708] ppid=7706 vsize=43136 CPUtime=1242.33 cores=0,2,4,6
/proc/7708/stat : 7708 (clasp) R 7706 7708 6224 0 -1 4202496 8333 0 0 0 124232 1 0 0 25 0 1 0 901519558 44171264 7752 33554432000 4194304 4933572 140735890217520 18446744073709551615 4649747 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7708/statm: 10784 7752 387 181 0 7793 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 43136

[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/470 7791
/proc/meminfo: memFree=24141132/32951124 swapFree=56297244/67111528
[pid=7708] ppid=7706 vsize=43136 CPUtime=1302.34 cores=0,2,4,6
/proc/7708/stat : 7708 (clasp) R 7706 7708 6224 0 -1 4202496 8352 0 0 0 130233 1 0 0 25 0 1 0 901519558 44171264 7771 33554432000 4194304 4933572 140735890217520 18446744073709551615 4648288 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7708/statm: 10784 7771 387 181 0 7793 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 43136

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 7793
/proc/meminfo: memFree=24140616/32951124 swapFree=56297244/67111528
[pid=7708] ppid=7706 vsize=43348 CPUtime=1362.34 cores=0,2,4,6
/proc/7708/stat : 7708 (clasp) R 7706 7708 6224 0 -1 4202496 8385 0 0 0 136233 1 0 0 25 0 1 0 901519558 44388352 7804 33554432000 4194304 4933572 140735890217520 18446744073709551615 4648934 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7708/statm: 10837 7804 387 181 0 7846 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 43348

[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 7795
/proc/meminfo: memFree=24141088/32951124 swapFree=56297244/67111528
[pid=7708] ppid=7706 vsize=43348 CPUtime=1422.36 cores=0,2,4,6
/proc/7708/stat : 7708 (clasp) R 7706 7708 6224 0 -1 4202496 8406 0 0 0 142235 1 0 0 25 0 1 0 901519558 44388352 7825 33554432000 4194304 4933572 140735890217520 18446744073709551615 4368901 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7708/statm: 10837 7825 387 181 0 7846 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 43348

[startup+1482.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/470 7796
/proc/meminfo: memFree=24137344/32951124 swapFree=56297244/67111528
[pid=7708] ppid=7706 vsize=43980 CPUtime=1482.34 cores=0,2,4,6
/proc/7708/stat : 7708 (clasp) R 7706 7708 6224 0 -1 4202496 8525 0 0 0 148233 1 0 0 25 0 1 0 901519558 45035520 7944 33554432000 4194304 4933572 140735890217520 18446744073709551615 4427996 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7708/statm: 10995 7944 387 181 0 8004 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 43980

[startup+1542.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/470 7798
/proc/meminfo: memFree=24137452/32951124 swapFree=56297244/67111528
[pid=7708] ppid=7706 vsize=43980 CPUtime=1542.34 cores=0,2,4,6
/proc/7708/stat : 7708 (clasp) R 7706 7708 6224 0 -1 4202496 8545 0 0 0 154233 1 0 0 25 0 1 0 901519558 45035520 7964 33554432000 4194304 4933572 140735890217520 18446744073709551615 4428423 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7708/statm: 10995 7964 387 181 0 8004 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 43980

[startup+1602.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/470 7799
/proc/meminfo: memFree=24137304/32951124 swapFree=56297244/67111528
[pid=7708] ppid=7706 vsize=44192 CPUtime=1602.35 cores=0,2,4,6
/proc/7708/stat : 7708 (clasp) R 7706 7708 6224 0 -1 4202496 8602 0 0 0 160234 1 0 0 25 0 1 0 901519558 45252608 8021 33554432000 4194304 4933572 140735890217520 18446744073709551615 4428399 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7708/statm: 11048 8021 387 181 0 8057 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 44192

[startup+1662.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/470 7801
/proc/meminfo: memFree=24136040/32951124 swapFree=56297244/67111528
[pid=7708] ppid=7706 vsize=45612 CPUtime=1662.35 cores=0,2,4,6
/proc/7708/stat : 7708 (clasp) R 7706 7708 6224 0 -1 4202496 8933 0 0 0 166234 1 0 0 25 0 1 0 901519558 46706688 8352 33554432000 4194304 4933572 140735890217520 18446744073709551615 4368941 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7708/statm: 11403 8352 387 181 0 8412 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 45612

[startup+1722.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/470 7803
/proc/meminfo: memFree=24135516/32951124 swapFree=56297244/67111528
[pid=7708] ppid=7706 vsize=46244 CPUtime=1722.35 cores=0,2,4,6
/proc/7708/stat : 7708 (clasp) R 7706 7708 6224 0 -1 4202496 9047 0 0 0 172234 1 0 0 25 0 1 0 901519558 47353856 8466 33554432000 4194304 4933572 140735890217520 18446744073709551615 4637449 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7708/statm: 11561 8466 387 181 0 8570 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 46244

[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/470 7804
/proc/meminfo: memFree=24133384/32951124 swapFree=56297244/67111528
[pid=7708] ppid=7706 vsize=46392 CPUtime=1782.35 cores=0,2,4,6
/proc/7708/stat : 7708 (clasp) R 7706 7708 6224 0 -1 4202496 9089 0 0 0 178234 1 0 0 25 0 1 0 901519558 47505408 8508 33554432000 4194304 4933572 140735890217520 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7708/statm: 11598 8508 387 181 0 8607 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 46392



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.01 2.03 2.00 4/470 7805
/proc/meminfo: memFree=24133256/32951124 swapFree=56297244/67111528
[pid=7708] ppid=7706 vsize=46392 CPUtime=1800.05 cores=0,2,4,6
/proc/7708/stat : 7708 (clasp) R 7706 7708 6224 0 -1 4202496 9111 0 0 0 180004 1 0 0 25 0 1 0 901519558 47505408 8530 33554432000 4194304 4933572 140735890217520 18446744073709551615 4428399 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7708/statm: 11598 8530 387 181 0 8607 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 46392

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

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

Child status: 10
Real time (s): 1800.02
CPU time (s): 1800.08
CPU user time (s): 1800.06
CPU system time (s): 0.017997
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 46392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.06
system time used= 0.017997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9119
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= 10
involuntary context switches= 2591

runsolver used 8.64169 second user time and 17.6463 second system time

The end

Launcher Data

Begin job on node111 at 2011-06-03 16:54:51
IDJOB=3468010
IDBENCH=25001
IDSOLVER=1958
FILE ID=node111/3468010-1307112891
RUNJOBID= node111-1307109286-7480
PBS_JOBID= 13497983
Free space on /tmp= 73864 MiB

SOLVER NAME= clasp 2.0-R4191
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_026_area_delay.opb
COMMAND LINE= HOME/clasp BENCHNAME --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3468010-1307112891/watcher-3468010-1307112891 -o /tmp/evaluation-result-3468010-1307112891/solver-3468010-1307112891 -C 1800 -W 1900 -M 15500  HOME/clasp HOME/instance-3468010-1307112891.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2 

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

MD5SUM BENCH= 4c21c441bf9f3f3be8f0cdb52c39f9b4
RANDOM SEED=302555303

node111.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5428.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.86
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24211900 kB
Buffers:        285212 kB
Cached:         783060 kB
SwapCached:      11784 kB
Active:        7718956 kB
Inactive:       743160 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24211900 kB
SwapTotal:    67111528 kB
SwapFree:     56297244 kB
Dirty:            2196 kB
Writeback:           8 kB
AnonPages:     7391168 kB
Mapped:          27372 kB
Slab:           142568 kB
PageTables:      66124 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 149065028 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73860 MiB
End job on node111 at 2011-06-03 17:24:53