Trace number 3468017

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)25 1800.07 1800.02

General information on the benchmark

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

Verifier Data 

OK	25

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-3468017-1307113222/watcher-3468017-1307113222 -o /tmp/evaluation-result-3468017-1307113222/solver-3468017-1307113222 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468017-1307113222.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: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.04 2.05 2.00 2/453 18093
/proc/meminfo: memFree=31896332/32951124 swapFree=55639044/67111528
[pid=18093] ppid=18091 vsize=15360 CPUtime=0 cores=1,3,5,7
/proc/18093/stat : 18093 (clasp) R 18091 18093 16116 0 -1 4202496 1287 0 0 0 0 0 0 0 18 0 1 0 822920126 15728640 1130 33554432000 4194304 4933572 140735443305376 18446744073709551615 271550198469 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18093/statm: 3840 1131 334 181 0 849 0

[startup+0.0975951 s]
/proc/loadavg: 2.04 2.05 2.00 2/453 18093
/proc/meminfo: memFree=31896332/32951124 swapFree=55639044/67111528
[pid=18093] ppid=18091 vsize=21224 CPUtime=0.09 cores=1,3,5,7
/proc/18093/stat : 18093 (clasp) R 18091 18093 16116 0 -1 4202496 3037 0 0 0 9 0 0 0 18 0 1 0 822920126 21733376 2586 33554432000 4194304 4933572 140735443305376 18446744073709551615 4601836 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18093/statm: 5306 2586 354 181 0 2315 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21224

[startup+0.100603 s]
/proc/loadavg: 2.04 2.05 2.00 2/453 18093
/proc/meminfo: memFree=31896332/32951124 swapFree=55639044/67111528
[pid=18093] ppid=18091 vsize=21224 CPUtime=0.09 cores=1,3,5,7
/proc/18093/stat : 18093 (clasp) R 18091 18093 16116 0 -1 4202496 3037 0 0 0 9 0 0 0 18 0 1 0 822920126 21733376 2586 33554432000 4194304 4933572 140735443305376 18446744073709551615 4601857 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18093/statm: 5306 2586 354 181 0 2315 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21224

[startup+0.300555 s]
/proc/loadavg: 2.04 2.05 2.00 2/453 18093
/proc/meminfo: memFree=31896332/32951124 swapFree=55639044/67111528
[pid=18093] ppid=18091 vsize=20532 CPUtime=0.29 cores=1,3,5,7
/proc/18093/stat : 18093 (clasp) R 18091 18093 16116 0 -1 4202496 3130 0 0 0 29 0 0 0 18 0 1 0 822920126 21024768 2456 33554432000 4194304 4933572 140735443305376 18446744073709551615 4648360 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18093/statm: 5133 2456 379 181 0 2142 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20532

[startup+0.700482 s]
/proc/loadavg: 2.04 2.05 2.00 2/453 18093
/proc/meminfo: memFree=31896332/32951124 swapFree=55639044/67111528
[pid=18093] ppid=18091 vsize=20532 CPUtime=0.69 cores=1,3,5,7
/proc/18093/stat : 18093 (clasp) R 18091 18093 16116 0 -1 4202496 3137 0 0 0 69 0 0 0 18 0 1 0 822920126 21024768 2463 33554432000 4194304 4933572 140735443305376 18446744073709551615 4428090 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18093/statm: 5133 2463 386 181 0 2142 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20532

[startup+1.50035 s]
/proc/loadavg: 2.04 2.05 2.00 3/454 18094
/proc/meminfo: memFree=31887032/32951124 swapFree=55639044/67111528
[pid=18093] ppid=18091 vsize=20532 CPUtime=1.49 cores=1,3,5,7
/proc/18093/stat : 18093 (clasp) R 18091 18093 16116 0 -1 4202496 3137 0 0 0 149 0 0 0 20 0 1 0 822920126 21024768 2463 33554432000 4194304 4933572 140735443305376 18446744073709551615 4637432 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18093/statm: 5133 2463 386 181 0 2142 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20532

[startup+3.10104 s]
/proc/loadavg: 2.04 2.04 2.00 3/454 18094
/proc/meminfo: memFree=31886100/32951124 swapFree=55639044/67111528
[pid=18093] ppid=18091 vsize=20532 CPUtime=3.09 cores=1,3,5,7
/proc/18093/stat : 18093 (clasp) R 18091 18093 16116 0 -1 4202496 3137 0 0 0 309 0 0 0 25 0 1 0 822920126 21024768 2463 33554432000 4194304 4933572 140735443305376 18446744073709551615 4648401 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18093/statm: 5133 2463 386 181 0 2142 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20532

[startup+6.30046 s]
/proc/loadavg: 2.04 2.04 2.00 3/454 18094
/proc/meminfo: memFree=31886104/32951124 swapFree=55639044/67111528
[pid=18093] ppid=18091 vsize=20532 CPUtime=6.29 cores=1,3,5,7
/proc/18093/stat : 18093 (clasp) R 18091 18093 16116 0 -1 4202496 3137 0 0 0 629 0 0 0 25 0 1 0 822920126 21024768 2463 33554432000 4194304 4933572 140735443305376 18446744073709551615 4637468 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18093/statm: 5133 2463 386 181 0 2142 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20532

[startup+12.7003 s]
/proc/loadavg: 2.03 2.04 2.00 3/454 18094
/proc/meminfo: memFree=31885100/32951124 swapFree=55639044/67111528
[pid=18093] ppid=18091 vsize=20532 CPUtime=12.69 cores=1,3,5,7
/proc/18093/stat : 18093 (clasp) R 18091 18093 16116 0 -1 4202496 3137 0 0 0 1269 0 0 0 25 0 1 0 822920126 21024768 2463 33554432000 4194304 4933572 140735443305376 18446744073709551615 4648920 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18093/statm: 5133 2463 386 181 0 2142 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20532

[startup+25.501 s]
/proc/loadavg: 2.02 2.04 2.00 3/454 18095
/proc/meminfo: memFree=31884604/32951124 swapFree=55639044/67111528
[pid=18093] ppid=18091 vsize=20532 CPUtime=25.49 cores=1,3,5,7
/proc/18093/stat : 18093 (clasp) R 18091 18093 16116 0 -1 4202496 3154 0 0 0 2549 0 0 0 25 0 1 0 822920126 21024768 2480 33554432000 4194304 4933572 140735443305376 18446744073709551615 4648550 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18093/statm: 5133 2480 386 181 0 2142 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 20532

[startup+51.1003 s]
/proc/loadavg: 2.02 2.04 2.00 3/454 18104
/proc/meminfo: memFree=31885380/32951124 swapFree=55639044/67111528
[pid=18093] ppid=18091 vsize=21388 CPUtime=51.09 cores=1,3,5,7
/proc/18093/stat : 18093 (clasp) R 18091 18093 16116 0 -1 4202496 3344 0 0 0 5109 0 0 0 25 0 1 0 822920126 21901312 2670 33554432000 4194304 4933572 140735443305376 18446744073709551615 4369053 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18093/statm: 5347 2670 386 181 0 2356 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 21388

[startup+102.317 s]
/proc/loadavg: 2.00 2.03 2.00 3/454 18106
/proc/meminfo: memFree=31882840/32951124 swapFree=55639044/67111528
[pid=18093] ppid=18091 vsize=22896 CPUtime=102.31 cores=1,3,5,7
/proc/18093/stat : 18093 (clasp) R 18091 18093 16116 0 -1 4202496 3704 0 0 0 10231 0 0 0 25 0 1 0 822920126 23445504 3030 33554432000 4194304 4933572 140735443305376 18446744073709551615 4637449 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18093/statm: 5724 3030 386 181 0 2733 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 22896

[startup+162.301 s]
/proc/loadavg: 2.10 2.05 2.01 3/454 18107
/proc/meminfo: memFree=31881560/32951124 swapFree=55639044/67111528
[pid=18093] ppid=18091 vsize=23944 CPUtime=162.3 cores=1,3,5,7
/proc/18093/stat : 18093 (clasp) R 18091 18093 16116 0 -1 4202496 3965 0 0 0 16230 0 0 0 25 0 1 0 822920126 24518656 3291 33554432000 4194304 4933572 140735443305376 18446744073709551615 4428013 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18093/statm: 5986 3291 386 181 0 2995 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 23944

[startup+222.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/454 18109
/proc/meminfo: memFree=31879412/32951124 swapFree=55639044/67111528
[pid=18093] ppid=18091 vsize=26092 CPUtime=222.3 cores=1,3,5,7
/proc/18093/stat : 18093 (clasp) R 18091 18093 16116 0 -1 4202496 4479 0 0 0 22230 0 0 0 25 0 1 0 822920126 26718208 3805 33554432000 4194304 4933572 140735443305376 18446744073709551615 4648324 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18093/statm: 6523 3805 386 181 0 3532 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 26092

[startup+282.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/454 18113
/proc/meminfo: memFree=31877336/32951124 swapFree=55639044/67111528
[pid=18093] ppid=18091 vsize=27028 CPUtime=282.3 cores=1,3,5,7
/proc/18093/stat : 18093 (clasp) R 18091 18093 16116 0 -1 4202496 4722 0 0 0 28230 0 0 0 25 0 1 0 822920126 27676672 4048 33554432000 4194304 4933572 140735443305376 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18093/statm: 6757 4048 386 181 0 3766 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 27028

[startup+342.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/454 18115
/proc/meminfo: memFree=31875276/32951124 swapFree=55639044/67111528
[pid=18093] ppid=18091 vsize=28256 CPUtime=342.3 cores=1,3,5,7
/proc/18093/stat : 18093 (clasp) R 18091 18093 16116 0 -1 4202496 5022 0 0 0 34230 0 0 0 25 0 1 0 822920126 28934144 4348 33554432000 4194304 4933572 140735443305376 18446744073709551615 4368896 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18093/statm: 7064 4348 386 181 0 4073 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 28256

[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 18117
/proc/meminfo: memFree=31874488/32951124 swapFree=55639044/67111528
[pid=18093] ppid=18091 vsize=29172 CPUtime=402.3 cores=1,3,5,7
/proc/18093/stat : 18093 (clasp) R 18091 18093 16116 0 -1 4202496 5229 0 0 0 40230 0 0 0 25 0 1 0 822920126 29872128 4555 33554432000 4194304 4933572 140735443305376 18446744073709551615 4319281 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18093/statm: 7293 4555 388 181 0 4302 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 29172

[startup+462.301 s]
/proc/loadavg: 2.14 2.06 2.01 3/454 18118
/proc/meminfo: memFree=31872356/32951124 swapFree=55639044/67111528
[pid=18093] ppid=18091 vsize=30132 CPUtime=462.3 cores=1,3,5,7
/proc/18093/stat : 18093 (clasp) R 18091 18093 16116 0 -1 4202496 5459 0 0 0 46230 0 0 0 25 0 1 0 822920126 30855168 4785 33554432000 4194304 4933572 140735443305376 18446744073709551615 4648813 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18093/statm: 7533 4785 388 181 0 4542 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 30132

[startup+522.301 s]
/proc/loadavg: 2.24 2.10 2.02 3/454 18120
/proc/meminfo: memFree=31871572/32951124 swapFree=55639044/67111528
[pid=18093] ppid=18091 vsize=30836 CPUtime=522.3 cores=1,3,5,7
/proc/18093/stat : 18093 (clasp) R 18091 18093 16116 0 -1 4202496 5645 0 0 0 52230 0 0 0 25 0 1 0 822920126 31576064 4971 33554432000 4194304 4933572 140735443305376 18446744073709551615 4429128 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18093/statm: 7709 4971 388 181 0 4718 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 30836

[startup+582.301 s]
/proc/loadavg: 2.09 2.08 2.02 3/454 18121
/proc/meminfo: memFree=31870804/32951124 swapFree=55639044/67111528
[pid=18093] ppid=18091 vsize=31340 CPUtime=582.3 cores=1,3,5,7
/proc/18093/stat : 18093 (clasp) R 18091 18093 16116 0 -1 4202496 5754 0 0 0 58230 0 0 0 25 0 1 0 822920126 32092160 5080 33554432000 4194304 4933572 140735443305376 18446744073709551615 4648811 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18093/statm: 7835 5080 388 181 0 4844 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 31340

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.05 2.08 2.02 3/454 18128
/proc/meminfo: memFree=31863724/32951124 swapFree=55639044/67111528
[pid=18093] ppid=18091 vsize=36064 CPUtime=822.31 cores=1,3,5,7
/proc/18093/stat : 18093 (clasp) R 18091 18093 16116 0 -1 4202496 6911 0 0 0 82231 0 0 0 25 0 1 0 822920126 36929536 6237 33554432000 4194304 4933572 140735443305376 18446744073709551615 4648805 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18093/statm: 9016 6237 388 181 0 6025 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 36064

[startup+882.301 s]
/proc/loadavg: 2.02 2.06 2.01 3/454 18129
/proc/meminfo: memFree=31860696/32951124 swapFree=55639044/67111528
[pid=18093] ppid=18091 vsize=37612 CPUtime=882.31 cores=1,3,5,7
/proc/18093/stat : 18093 (clasp) R 18091 18093 16116 0 -1 4202496 7301 0 0 0 88231 0 0 0 25 0 1 0 822920126 38514688 6627 33554432000 4194304 4933572 140735443305376 18446744073709551615 4649236 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18093/statm: 9403 6627 388 181 0 6412 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 37612

[startup+942.3 s]
/proc/loadavg: 2.00 2.05 2.01 3/454 18131
/proc/meminfo: memFree=31860308/32951124 swapFree=55639044/67111528
[pid=18093] ppid=18091 vsize=37972 CPUtime=942.31 cores=1,3,5,7
/proc/18093/stat : 18093 (clasp) R 18091 18093 16116 0 -1 4202496 7356 0 0 0 94231 0 0 0 25 0 1 0 822920126 38883328 6682 33554432000 4194304 4933572 140735443305376 18446744073709551615 4637432 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18093/statm: 9493 6682 388 181 0 6502 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 37972

[startup+1002.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/454 18161
/proc/meminfo: memFree=31880652/32951124 swapFree=55639044/67111528
[pid=18093] ppid=18091 vsize=38140 CPUtime=1002.32 cores=1,3,5,7
/proc/18093/stat : 18093 (clasp) R 18091 18093 16116 0 -1 4202496 7392 0 0 0 100232 0 0 0 25 0 1 0 822920126 39055360 6718 33554432000 4194304 4933572 140735443305376 18446744073709551615 4648398 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18093/statm: 9535 6718 388 181 0 6544 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 38140

[startup+1062.3 s]
/proc/loadavg: 2.08 2.07 2.01 3/454 18162
/proc/meminfo: memFree=31871072/32951124 swapFree=55639044/67111528
[pid=18093] ppid=18091 vsize=38720 CPUtime=1062.32 cores=1,3,5,7
/proc/18093/stat : 18093 (clasp) R 18091 18093 16116 0 -1 4202496 7546 0 0 0 106232 0 0 0 25 0 1 0 822920126 39649280 6872 33554432000 4194304 4933572 140735443305376 18446744073709551615 4648965 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18093/statm: 9680 6872 388 181 0 6689 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 38720

[startup+1122.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/454 18164
/proc/meminfo: memFree=31871380/32951124 swapFree=55639044/67111528
[pid=18093] ppid=18091 vsize=38928 CPUtime=1122.32 cores=1,3,5,7
/proc/18093/stat : 18093 (clasp) R 18091 18093 16116 0 -1 4202496 7572 0 0 0 112232 0 0 0 25 0 1 0 822920126 39862272 6898 33554432000 4194304 4933572 140735443305376 18446744073709551615 4637432 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18093/statm: 9732 6898 388 181 0 6741 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 38928

[startup+1182.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/454 18165
/proc/meminfo: memFree=31868248/32951124 swapFree=55639044/67111528
[pid=18093] ppid=18091 vsize=39320 CPUtime=1182.32 cores=1,3,5,7
/proc/18093/stat : 18093 (clasp) R 18091 18093 16116 0 -1 4202496 7662 0 0 0 118232 0 0 0 25 0 1 0 822920126 40263680 6988 33554432000 4194304 4933572 140735443305376 18446744073709551615 4319486 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18093/statm: 9830 6988 388 181 0 6839 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 39320

[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/454 18167
/proc/meminfo: memFree=31865584/32951124 swapFree=55639044/67111528
[pid=18093] ppid=18091 vsize=39700 CPUtime=1242.32 cores=1,3,5,7
/proc/18093/stat : 18093 (clasp) R 18091 18093 16116 0 -1 4202496 7743 0 0 0 124232 0 0 0 25 0 1 0 822920126 40652800 7069 33554432000 4194304 4933572 140735443305376 18446744073709551615 4648965 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18093/statm: 9925 7069 388 181 0 6934 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 39700

[startup+1302.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/454 18169
/proc/meminfo: memFree=31862316/32951124 swapFree=55639044/67111528
[pid=18093] ppid=18091 vsize=40108 CPUtime=1302.34 cores=1,3,5,7
/proc/18093/stat : 18093 (clasp) R 18091 18093 16116 0 -1 4202496 7856 0 0 0 130234 0 0 0 25 0 1 0 822920126 41070592 7182 33554432000 4194304 4933572 140735443305376 18446744073709551615 4648635 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18093/statm: 10027 7182 388 181 0 7036 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 40108

[startup+1362.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/454 18170
/proc/meminfo: memFree=31861516/32951124 swapFree=55639044/67111528
[pid=18093] ppid=18091 vsize=40276 CPUtime=1362.33 cores=1,3,5,7
/proc/18093/stat : 18093 (clasp) R 18091 18093 16116 0 -1 4202496 7904 0 0 0 136233 0 0 0 25 0 1 0 822920126 41242624 7230 33554432000 4194304 4933572 140735443305376 18446744073709551615 4428090 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18093/statm: 10069 7230 388 181 0 7078 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 40276

[startup+1422.32 s]
/proc/loadavg: 2.01 2.03 2.00 3/454 18172
/proc/meminfo: memFree=31860368/32951124 swapFree=55639044/67111528
[pid=18093] ppid=18091 vsize=40616 CPUtime=1422.34 cores=1,3,5,7
/proc/18093/stat : 18093 (clasp) R 18091 18093 16116 0 -1 4202496 7972 0 0 0 142234 0 0 0 25 0 1 0 822920126 41590784 7298 33554432000 4194304 4933572 140735443305376 18446744073709551615 4637468 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18093/statm: 10154 7298 388 181 0 7163 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 40616

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 18173
/proc/meminfo: memFree=31857488/32951124 swapFree=55639044/67111528
[pid=18093] ppid=18091 vsize=41164 CPUtime=1482.33 cores=1,3,5,7
/proc/18093/stat : 18093 (clasp) R 18091 18093 16116 0 -1 4202496 8099 0 0 0 148233 0 0 0 25 0 1 0 822920126 42151936 7425 33554432000 4194304 4933572 140735443305376 18446744073709551615 4428066 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18093/statm: 10291 7425 388 181 0 7300 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 41164

[startup+1542.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/454 18175
/proc/meminfo: memFree=31857936/32951124 swapFree=55639044/67111528
[pid=18093] ppid=18091 vsize=41712 CPUtime=1542.33 cores=1,3,5,7
/proc/18093/stat : 18093 (clasp) R 18091 18093 16116 0 -1 4202496 8228 0 0 0 154233 0 0 0 25 0 1 0 822920126 42713088 7554 33554432000 4194304 4933572 140735443305376 18446744073709551615 4428670 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18093/statm: 10428 7554 388 181 0 7437 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 41712

[startup+1602.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/454 18177
/proc/meminfo: memFree=31852440/32951124 swapFree=55639044/67111528
[pid=18093] ppid=18091 vsize=41920 CPUtime=1602.33 cores=1,3,5,7
/proc/18093/stat : 18093 (clasp) R 18091 18093 16116 0 -1 4202496 8292 0 0 0 160233 0 0 0 25 0 1 0 822920126 42926080 7618 33554432000 4194304 4933572 140735443305376 18446744073709551615 4648349 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18093/statm: 10480 7618 388 181 0 7489 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 41920

[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/454 18178
/proc/meminfo: memFree=31851044/32951124 swapFree=55639044/67111528
[pid=18093] ppid=18091 vsize=42384 CPUtime=1662.33 cores=1,3,5,7
/proc/18093/stat : 18093 (clasp) R 18091 18093 16116 0 -1 4202496 8372 0 0 0 166233 0 0 0 25 0 1 0 822920126 43401216 7698 33554432000 4194304 4933572 140735443305376 18446744073709551615 4429177 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18093/statm: 10596 7698 388 181 0 7605 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 42384

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 18180
/proc/meminfo: memFree=31851104/32951124 swapFree=55639044/67111528
[pid=18093] ppid=18091 vsize=42892 CPUtime=1722.34 cores=1,3,5,7
/proc/18093/stat : 18093 (clasp) R 18091 18093 16116 0 -1 4202496 8486 0 0 0 172234 0 0 0 25 0 1 0 822920126 43921408 7812 33554432000 4194304 4933572 140735443305376 18446744073709551615 4648813 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18093/statm: 10723 7812 388 181 0 7732 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 42892

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 18181
/proc/meminfo: memFree=31849332/32951124 swapFree=55639044/67111528
[pid=18093] ppid=18091 vsize=42892 CPUtime=1782.34 cores=1,3,5,7
/proc/18093/stat : 18093 (clasp) R 18091 18093 16116 0 -1 4202496 8486 0 0 0 178234 0 0 0 25 0 1 0 822920126 43921408 7812 33554432000 4194304 4933572 140735443305376 18446744073709551615 4648810 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18093/statm: 10723 7812 388 181 0 7732 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 42892



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 3/454 18182
/proc/meminfo: memFree=31849324/32951124 swapFree=55639044/67111528
[pid=18093] ppid=18091 vsize=42892 CPUtime=1800.05 cores=1,3,5,7
/proc/18093/stat : 18093 (clasp) R 18091 18093 16116 0 -1 4202496 8486 0 0 0 180005 0 0 0 25 0 1 0 822920126 43921408 7812 33554432000 4194304 4933572 140735443305376 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/18093/statm: 10723 7812 388 181 0 7732 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 42892

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.07
CPU user time (s): 1800.06
CPU system time (s): 0.011998
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 42892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.06
system time used= 0.011998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8495
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= 4303

runsolver used 7.73482 second user time and 18.3852 second system time

The end

Launcher Data 

Begin job on node133 at 2011-06-03 17:00:22
IDJOB=3468017
IDBENCH=25008
IDSOLVER=1958
FILE ID=node133/3468017-1307113222
RUNJOBID= node133-1307105105-17501
PBS_JOBID= 13497972
Free space on /tmp= 73976 MiB

SOLVER NAME= clasp 2.0-R4191
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir07_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-3468017-1307113222/watcher-3468017-1307113222 -o /tmp/evaluation-result-3468017-1307113222/solver-3468017-1307113222 -C 1800 -W 1900 -M 15500  HOME/clasp HOME/instance-3468017-1307113222.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= 654b3ba852cf335035821a9e288b621f
RANDOM SEED=981642486

node133.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.834
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.66
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.834
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	: 5332.75
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.834
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.82
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.834
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	: 6741.12
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.834
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.74
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.834
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.834
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.74
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.834
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31896488 kB
Buffers:        290140 kB
Cached:         438236 kB
SwapCached:      10584 kB
Active:         361616 kB
Inactive:       420588 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31896488 kB
SwapTotal:    67111528 kB
SwapFree:     55639044 kB
Dirty:            2404 kB
Writeback:          24 kB
AnonPages:       51244 kB
Mapped:          13448 kB
Slab:           151808 kB
PageTables:      53408 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 114943184 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73976 MiB
End job on node133 at 2011-06-03 17:30:24