Trace number 3468003

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)44 1800.1 1800.01

General information on the benchmark

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

Verifier Data 

OK	44

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

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

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


[startup+0 s]
/proc/loadavg: 3.71 3.92 3.43 2/174 9726
/proc/meminfo: memFree=32452064/32950928 swapFree=67053604/67111528
[pid=9726] ppid=9724 vsize=14764 CPUtime=0 cores=0,2,4,6
/proc/9726/stat : 9726 (clasp) R 9724 9726 8582 0 -1 4202496 1148 0 0 0 0 0 0 0 23 0 1 0 877062526 15118336 997 33554432000 4194304 4933572 140737454215296 18446744073709551615 254500352709 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9726/statm: 3691 997 332 181 0 700 0

[startup+0.034554 s]
/proc/loadavg: 3.71 3.92 3.43 2/174 9726
/proc/meminfo: memFree=32452064/32950928 swapFree=67053604/67111528
[pid=9726] ppid=9724 vsize=18268 CPUtime=0.03 cores=0,2,4,6
/proc/9726/stat : 9726 (clasp) R 9724 9726 8582 0 -1 4202496 2196 0 0 0 3 0 0 0 23 0 1 0 877062526 18706432 1841 33554432000 4194304 4933572 140737454215296 18446744073709551615 4580914 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9726/statm: 4567 1841 353 181 0 1576 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 18268

[startup+0.100541 s]
/proc/loadavg: 3.71 3.92 3.43 2/174 9726
/proc/meminfo: memFree=32452064/32950928 swapFree=67053604/67111528
[pid=9726] ppid=9724 vsize=17900 CPUtime=0.09 cores=0,2,4,6
/proc/9726/stat : 9726 (clasp) R 9724 9726 8582 0 -1 4202496 2336 0 0 0 9 0 0 0 23 0 1 0 877062526 18329600 1796 33554432000 4194304 4933572 140737454215296 18446744073709551615 4368936 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9726/statm: 4475 1796 378 181 0 1484 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17900

[startup+0.300501 s]
/proc/loadavg: 3.71 3.92 3.43 2/174 9726
/proc/meminfo: memFree=32452064/32950928 swapFree=67053604/67111528
[pid=9726] ppid=9724 vsize=17900 CPUtime=0.29 cores=0,2,4,6
/proc/9726/stat : 9726 (clasp) R 9724 9726 8582 0 -1 4202496 2343 0 0 0 29 0 0 0 25 0 1 0 877062526 18329600 1803 33554432000 4194304 4933572 140737454215296 18446744073709551615 4428384 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9726/statm: 4475 1803 385 181 0 1484 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17900

[startup+0.700425 s]
/proc/loadavg: 3.71 3.92 3.43 2/174 9726
/proc/meminfo: memFree=32452064/32950928 swapFree=67053604/67111528
[pid=9726] ppid=9724 vsize=17900 CPUtime=0.69 cores=0,2,4,6
/proc/9726/stat : 9726 (clasp) R 9724 9726 8582 0 -1 4202496 2343 0 0 0 69 0 0 0 25 0 1 0 877062526 18329600 1803 33554432000 4194304 4933572 140737454215296 18446744073709551615 4429145 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9726/statm: 4475 1803 385 181 0 1484 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17900

[startup+1.50026 s]
/proc/loadavg: 3.71 3.92 3.43 3/178 9737
/proc/meminfo: memFree=32430336/32950928 swapFree=67053604/67111528
[pid=9726] ppid=9724 vsize=17900 CPUtime=1.49 cores=0,2,4,6
/proc/9726/stat : 9726 (clasp) R 9724 9726 8582 0 -1 4202496 2349 0 0 0 149 0 0 0 25 0 1 0 877062526 18329600 1809 33554432000 4194304 4933572 140737454215296 18446744073709551615 4368967 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9726/statm: 4475 1809 385 181 0 1484 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17900

[startup+3.10094 s]
/proc/loadavg: 3.71 3.92 3.43 3/178 9738
/proc/meminfo: memFree=32429716/32950928 swapFree=67053604/67111528
[pid=9726] ppid=9724 vsize=18312 CPUtime=3.09 cores=0,2,4,6
/proc/9726/stat : 9726 (clasp) R 9724 9726 8582 0 -1 4202496 2475 0 0 0 309 0 0 0 25 0 1 0 877062526 18751488 1935 33554432000 4194304 4933572 140737454215296 18446744073709551615 4429128 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9726/statm: 4578 1935 385 181 0 1587 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18312

[startup+6.30031 s]
/proc/loadavg: 3.57 3.89 3.42 3/178 9738
/proc/meminfo: memFree=32428932/32950928 swapFree=67053604/67111528
[pid=9726] ppid=9724 vsize=18976 CPUtime=6.29 cores=0,2,4,6
/proc/9726/stat : 9726 (clasp) R 9724 9726 8582 0 -1 4202496 2633 0 0 0 629 0 0 0 25 0 1 0 877062526 19431424 2093 33554432000 4194304 4933572 140737454215296 18446744073709551615 4648304 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9726/statm: 4744 2093 385 181 0 1753 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18976

[startup+12.701 s]
/proc/loadavg: 3.44 3.86 3.41 3/178 9738
/proc/meminfo: memFree=32427620/32950928 swapFree=67053604/67111528
[pid=9726] ppid=9724 vsize=19688 CPUtime=12.69 cores=0,2,4,6
/proc/9726/stat : 9726 (clasp) R 9724 9726 8582 0 -1 4202496 2811 0 0 0 1269 0 0 0 25 0 1 0 877062526 20160512 2271 33554432000 4194304 4933572 140737454215296 18446744073709551615 4368896 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9726/statm: 4922 2271 385 181 0 1931 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19688

[startup+25.5005 s]
/proc/loadavg: 3.12 3.76 3.39 3/178 9738
/proc/meminfo: memFree=32426600/32950928 swapFree=67053604/67111528
[pid=9726] ppid=9724 vsize=21176 CPUtime=25.49 cores=0,2,4,6
/proc/9726/stat : 9726 (clasp) R 9724 9726 8582 0 -1 4202496 3143 0 0 0 2549 0 0 0 25 0 1 0 877062526 21684224 2603 33554432000 4194304 4933572 140737454215296 18446744073709551615 4369157 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9726/statm: 5294 2603 385 181 0 2303 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21176

[startup+51.1004 s]
/proc/loadavg: 2.74 3.62 3.35 3/178 9739
/proc/meminfo: memFree=32424656/32950928 swapFree=67053604/67111528
[pid=9726] ppid=9724 vsize=22984 CPUtime=51.09 cores=0,2,4,6
/proc/9726/stat : 9726 (clasp) R 9724 9726 8582 0 -1 4202496 3578 0 0 0 5109 0 0 0 25 0 1 0 877062526 23535616 3038 33554432000 4194304 4933572 140737454215296 18446744073709551615 4428010 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9726/statm: 5746 3038 385 181 0 2755 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 22984

[startup+102.306 s]
/proc/loadavg: 2.32 3.37 3.27 3/178 9740
/proc/meminfo: memFree=32421512/32950928 swapFree=67053604/67111528
[pid=9726] ppid=9724 vsize=25440 CPUtime=102.3 cores=0,2,4,6
/proc/9726/stat : 9726 (clasp) R 9724 9726 8582 0 -1 4202496 4167 0 0 0 10230 0 0 0 25 0 1 0 877062526 26050560 3627 33554432000 4194304 4933572 140737454215296 18446744073709551615 4637466 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9726/statm: 6360 3627 385 181 0 3369 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 25440

[startup+162.3 s]
/proc/loadavg: 2.12 3.12 3.19 3/178 9742
/proc/meminfo: memFree=32418360/32950928 swapFree=67053604/67111528
[pid=9726] ppid=9724 vsize=27640 CPUtime=162.3 cores=0,2,4,6
/proc/9726/stat : 9726 (clasp) R 9724 9726 8582 0 -1 4202496 4685 0 0 0 16230 0 0 0 25 0 1 0 877062526 28303360 4145 33554432000 4194304 4933572 140737454215296 18446744073709551615 4648537 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9726/statm: 6910 4145 385 181 0 3919 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 27640

[startup+222.3 s]
/proc/loadavg: 2.04 2.91 3.12 3/178 9743
/proc/meminfo: memFree=32415824/32950928 swapFree=67053604/67111528
[pid=9726] ppid=9724 vsize=28968 CPUtime=222.3 cores=0,2,4,6
/proc/9726/stat : 9726 (clasp) R 9724 9726 8582 0 -1 4202496 5021 0 0 0 22230 0 0 0 25 0 1 0 877062526 29663232 4481 33554432000 4194304 4933572 140737454215296 18446744073709551615 4648288 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9726/statm: 7242 4481 387 181 0 4251 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 28968

[startup+282.3 s]
/proc/loadavg: 2.01 2.74 3.04 3/178 9745
/proc/meminfo: memFree=32414772/32950928 swapFree=67053604/67111528
[pid=9726] ppid=9724 vsize=29468 CPUtime=282.3 cores=0,2,4,6
/proc/9726/stat : 9726 (clasp) R 9724 9726 8582 0 -1 4202496 5131 0 0 0 28230 0 0 0 25 0 1 0 877062526 30175232 4591 33554432000 4194304 4933572 140737454215296 18446744073709551615 4368936 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9726/statm: 7367 4591 387 181 0 4376 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 29468

[startup+342.3 s]
/proc/loadavg: 2.00 2.60 2.97 3/178 9747
/proc/meminfo: memFree=32412100/32950928 swapFree=67053604/67111528
[pid=9726] ppid=9724 vsize=30900 CPUtime=342.3 cores=0,2,4,6
/proc/9726/stat : 9726 (clasp) R 9724 9726 8582 0 -1 4202496 5462 0 0 0 34230 0 0 0 25 0 1 0 877062526 31641600 4922 33554432000 4194304 4933572 140737454215296 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9726/statm: 7725 4922 387 181 0 4734 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 30900

[startup+402.3 s]
/proc/loadavg: 2.00 2.49 2.91 3/178 9748
/proc/meminfo: memFree=32410556/32950928 swapFree=67053604/67111528
[pid=9726] ppid=9724 vsize=31616 CPUtime=402.31 cores=0,2,4,6
/proc/9726/stat : 9726 (clasp) R 9724 9726 8582 0 -1 4202496 5644 0 0 0 40231 0 0 0 25 0 1 0 877062526 32374784 5104 33554432000 4194304 4933572 140737454215296 18446744073709551615 4648519 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9726/statm: 7904 5104 387 181 0 4913 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 31616

[startup+462.3 s]
/proc/loadavg: 2.00 2.40 2.85 3/178 9750
/proc/meminfo: memFree=32409008/32950928 swapFree=67053604/67111528
[pid=9726] ppid=9724 vsize=33184 CPUtime=462.31 cores=0,2,4,6
/proc/9726/stat : 9726 (clasp) R 9724 9726 8582 0 -1 4202496 5976 0 0 0 46231 0 0 0 25 0 1 0 877062526 33980416 5436 33554432000 4194304 4933572 140737454215296 18446744073709551615 4369053 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9726/statm: 8296 5436 387 181 0 5305 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 33184

[startup+522.301 s]
/proc/loadavg: 2.00 2.32 2.79 3/178 9751
/proc/meminfo: memFree=32406348/32950928 swapFree=67053604/67111528
[pid=9726] ppid=9724 vsize=34052 CPUtime=522.32 cores=0,2,4,6
/proc/9726/stat : 9726 (clasp) R 9724 9726 8582 0 -1 4202496 6215 0 0 0 52231 1 0 0 25 0 1 0 877062526 34869248 5675 33554432000 4194304 4933572 140737454215296 18446744073709551615 4428090 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9726/statm: 8513 5675 387 181 0 5522 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 34052

[startup+582.301 s]
/proc/loadavg: 2.00 2.26 2.74 3/178 9753
/proc/meminfo: memFree=32404420/32950928 swapFree=67053604/67111528
[pid=9726] ppid=9724 vsize=35380 CPUtime=582.32 cores=0,2,4,6
/proc/9726/stat : 9726 (clasp) R 9724 9726 8582 0 -1 4202496 6526 0 0 0 58231 1 0 0 25 0 1 0 877062526 36229120 5986 33554432000 4194304 4933572 140737454215296 18446744073709551615 4427996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9726/statm: 8845 5986 387 181 0 5854 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 35380

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.11 2.56 3/178 9759
/proc/meminfo: memFree=32399112/32950928 swapFree=67053604/67111528
[pid=9726] ppid=9724 vsize=38760 CPUtime=822.33 cores=0,2,4,6
/proc/9726/stat : 9726 (clasp) R 9724 9726 8582 0 -1 4202496 7360 0 0 0 82232 1 0 0 25 0 1 0 877062526 39690240 6820 33554432000 4194304 4933572 140737454215296 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9726/statm: 9690 6820 387 181 0 6699 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 38760

[startup+882.301 s]
/proc/loadavg: 2.00 2.09 2.52 3/178 9761
/proc/meminfo: memFree=32398924/32950928 swapFree=67053604/67111528
[pid=9726] ppid=9724 vsize=39056 CPUtime=882.33 cores=0,2,4,6
/proc/9726/stat : 9726 (clasp) R 9724 9726 8582 0 -1 4202496 7401 0 0 0 88232 1 0 0 25 0 1 0 877062526 39993344 6861 33554432000 4194304 4933572 140737454215296 18446744073709551615 4428972 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9726/statm: 9764 6861 387 181 0 6773 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 39056

[startup+942.301 s]
/proc/loadavg: 2.00 2.07 2.49 3/178 9762
/proc/meminfo: memFree=32398112/32950928 swapFree=67053604/67111528
[pid=9726] ppid=9724 vsize=39748 CPUtime=942.33 cores=0,2,4,6
/proc/9726/stat : 9726 (clasp) R 9724 9726 8582 0 -1 4202496 7569 0 0 0 94232 1 0 0 25 0 1 0 877062526 40701952 7029 33554432000 4194304 4933572 140737454215296 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9726/statm: 9937 7029 387 181 0 6946 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 39748

[startup+1002.3 s]
/proc/loadavg: 2.00 2.05 2.45 3/178 9764
/proc/meminfo: memFree=32396568/32950928 swapFree=67053604/67111528
[pid=9726] ppid=9724 vsize=40492 CPUtime=1002.34 cores=0,2,4,6
/proc/9726/stat : 9726 (clasp) R 9724 9726 8582 0 -1 4202496 7786 0 0 0 100233 1 0 0 25 0 1 0 877062526 41463808 7246 33554432000 4194304 4933572 140737454215296 18446744073709551615 4649590 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9726/statm: 10123 7246 387 181 0 7132 0
Current children cumulated CPU time (s) 1002.34
Current children cumulated vsize (KiB) 40492

[startup+1062.3 s]
/proc/loadavg: 2.00 2.04 2.42 3/178 9766
/proc/meminfo: memFree=32394904/32950928 swapFree=67053604/67111528
[pid=9726] ppid=9724 vsize=41960 CPUtime=1062.34 cores=0,2,4,6
/proc/9726/stat : 9726 (clasp) R 9724 9726 8582 0 -1 4202496 8080 0 0 0 106233 1 0 0 25 0 1 0 877062526 42967040 7540 33554432000 4194304 4933572 140737454215296 18446744073709551615 4368941 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9726/statm: 10490 7540 387 181 0 7499 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 41960

[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.40 3/178 9767
/proc/meminfo: memFree=32393360/32950928 swapFree=67053604/67111528
[pid=9726] ppid=9724 vsize=42148 CPUtime=1122.34 cores=0,2,4,6
/proc/9726/stat : 9726 (clasp) R 9724 9726 8582 0 -1 4202496 8122 0 0 0 112233 1 0 0 25 0 1 0 877062526 43159552 7582 33554432000 4194304 4933572 140737454215296 18446744073709551615 4368938 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9726/statm: 10537 7582 387 181 0 7546 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 42148

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.37 3/178 9769
/proc/meminfo: memFree=32392432/32950928 swapFree=67053604/67111528
[pid=9726] ppid=9724 vsize=42280 CPUtime=1182.34 cores=0,2,4,6
/proc/9726/stat : 9726 (clasp) R 9724 9726 8582 0 -1 4202496 8195 0 0 0 118233 1 0 0 25 0 1 0 877062526 43294720 7655 33554432000 4194304 4933572 140737454215296 18446744073709551615 4649236 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9726/statm: 10570 7655 387 181 0 7579 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 42280

[startup+1242.3 s]
/proc/loadavg: 2.05 2.03 2.35 3/178 9771
/proc/meminfo: memFree=32392124/32950928 swapFree=67053604/67111528
[pid=9726] ppid=9724 vsize=42524 CPUtime=1242.35 cores=0,2,4,6
/proc/9726/stat : 9726 (clasp) R 9724 9726 8582 0 -1 4202496 8227 0 0 0 124234 1 0 0 25 0 1 0 877062526 43544576 7687 33554432000 4194304 4933572 140737454215296 18446744073709551615 4637408 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9726/statm: 10631 7687 387 181 0 7640 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 42524

[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 2.32 3/178 9772
/proc/meminfo: memFree=32390940/32950928 swapFree=67053604/67111528
[pid=9726] ppid=9724 vsize=42980 CPUtime=1302.35 cores=0,2,4,6
/proc/9726/stat : 9726 (clasp) R 9724 9726 8582 0 -1 4202496 8331 0 0 0 130234 1 0 0 25 0 1 0 877062526 44011520 7791 33554432000 4194304 4933572 140737454215296 18446744073709551615 4427984 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9726/statm: 10745 7791 387 181 0 7754 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 42980

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.30 3/178 9774
/proc/meminfo: memFree=32390396/32950928 swapFree=67053604/67111528
[pid=9726] ppid=9724 vsize=43172 CPUtime=1362.35 cores=0,2,4,6
/proc/9726/stat : 9726 (clasp) R 9724 9726 8582 0 -1 4202496 8395 0 0 0 136234 1 0 0 25 0 1 0 877062526 44208128 7855 33554432000 4194304 4933572 140737454215296 18446744073709551615 4428619 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9726/statm: 10793 7855 387 181 0 7802 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 43172

[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.28 3/178 9775
/proc/meminfo: memFree=32389600/32950928 swapFree=67053604/67111528
[pid=9726] ppid=9724 vsize=43488 CPUtime=1422.36 cores=0,2,4,6
/proc/9726/stat : 9726 (clasp) R 9724 9726 8582 0 -1 4202496 8450 0 0 0 142235 1 0 0 25 0 1 0 877062526 44531712 7910 33554432000 4194304 4933572 140737454215296 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9726/statm: 10872 7910 387 181 0 7881 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 43488

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.26 3/178 9777
/proc/meminfo: memFree=32388536/32950928 swapFree=67053604/67111528
[pid=9726] ppid=9724 vsize=44188 CPUtime=1482.36 cores=0,2,4,6
/proc/9726/stat : 9726 (clasp) R 9724 9726 8582 0 -1 4202496 8609 0 0 0 148235 1 0 0 25 0 1 0 877062526 45248512 8069 33554432000 4194304 4933572 140737454215296 18446744073709551615 4368938 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9726/statm: 11047 8069 387 181 0 8056 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 44188

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.24 3/178 9779
/proc/meminfo: memFree=32387852/32950928 swapFree=67053604/67111528
[pid=9726] ppid=9724 vsize=44772 CPUtime=1542.36 cores=0,2,4,6
/proc/9726/stat : 9726 (clasp) R 9724 9726 8582 0 -1 4202496 8751 0 0 0 154235 1 0 0 25 0 1 0 877062526 45846528 8211 33554432000 4194304 4933572 140737454215296 18446744073709551615 4368938 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9726/statm: 11193 8211 387 181 0 8202 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 44772

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.22 3/178 9780
/proc/meminfo: memFree=32387300/32950928 swapFree=67053604/67111528
[pid=9726] ppid=9724 vsize=44772 CPUtime=1602.36 cores=0,2,4,6
/proc/9726/stat : 9726 (clasp) R 9724 9726 8582 0 -1 4202496 8779 0 0 0 160235 1 0 0 25 0 1 0 877062526 45846528 8239 33554432000 4194304 4933572 140737454215296 18446744073709551615 4649236 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9726/statm: 11193 8239 387 181 0 8202 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 44772

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.20 3/178 9782
/proc/meminfo: memFree=32386872/32950928 swapFree=67053604/67111528
[pid=9726] ppid=9724 vsize=44772 CPUtime=1662.37 cores=0,2,4,6
/proc/9726/stat : 9726 (clasp) R 9724 9726 8582 0 -1 4202496 8781 0 0 0 166235 2 0 0 25 0 1 0 877062526 45846528 8241 33554432000 4194304 4933572 140737454215296 18446744073709551615 4427996 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9726/statm: 11193 8241 387 181 0 8202 0
Current children cumulated CPU time (s) 1662.37
Current children cumulated vsize (KiB) 44772

[startup+1722.3 s]
/proc/loadavg: 2.08 2.02 2.19 3/178 9783
/proc/meminfo: memFree=32386200/32950928 swapFree=67053604/67111528
[pid=9726] ppid=9724 vsize=45088 CPUtime=1722.38 cores=0,2,4,6
/proc/9726/stat : 9726 (clasp) R 9724 9726 8582 0 -1 4202496 8824 0 0 0 172236 2 0 0 25 0 1 0 877062526 46170112 8284 33554432000 4194304 4933572 140737454215296 18446744073709551615 4648297 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9726/statm: 11272 8284 387 181 0 8281 0
Current children cumulated CPU time (s) 1722.38
Current children cumulated vsize (KiB) 45088

[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.18 3/178 9785
/proc/meminfo: memFree=32385264/32950928 swapFree=67053604/67111528
[pid=9726] ppid=9724 vsize=45932 CPUtime=1782.38 cores=0,2,4,6
/proc/9726/stat : 9726 (clasp) R 9724 9726 8582 0 -1 4202496 8997 0 0 0 178236 2 0 0 25 0 1 0 877062526 47034368 8457 33554432000 4194304 4933572 140737454215296 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9726/statm: 11483 8457 387 181 0 8492 0
Current children cumulated CPU time (s) 1782.38
Current children cumulated vsize (KiB) 45932



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.02 2.01 2.17 3/178 9785
/proc/meminfo: memFree=32385248/32950928 swapFree=67053604/67111528
[pid=9726] ppid=9724 vsize=45932 CPUtime=1800.08 cores=0,2,4,6
/proc/9726/stat : 9726 (clasp) R 9724 9726 8582 0 -1 4202496 8997 0 0 0 180006 2 0 0 25 0 1 0 877062526 47034368 8457 33554432000 4194304 4933572 140737454215296 18446744073709551615 4648411 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9726/statm: 11483 8457 387 181 0 8492 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 45932

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.01
CPU time (s): 1800.1
CPU user time (s): 1800.07
CPU system time (s): 0.022996
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 45932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.07
system time used= 0.022996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9006
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= 11
involuntary context switches= 2587

runsolver used 2.80357 second user time and 5.44917 second system time

The end

Launcher Data 

Begin job on node149 at 2011-06-09 23:24:18
IDJOB=3468003
IDBENCH=24994
IDSOLVER=1958
FILE ID=node149/3468003-1307654658
RUNJOBID= node149-1307654658-9708
PBS_JOBID= 13549399
Free space on /tmp= 74000 MiB

SOLVER NAME= clasp 2.0-R4191
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_010_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-3468003-1307654658/watcher-3468003-1307654658 -o /tmp/evaluation-result-3468003-1307654658/solver-3468003-1307654658 -C 1800 -W 1900 -M 15500  HOME/clasp HOME/instance-3468003-1307654658.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= d869c2ae266497675d66f161576eaac8
RANDOM SEED=1376246622

node149.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.806
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.61
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.806
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.83
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.806
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.83
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.806
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.73
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.806
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.82
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.806
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.75
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.806
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.82
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.806
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:     32950928 kB
MemFree:      32452980 kB
Buffers:         46044 kB
Cached:         296388 kB
SwapCached:      10240 kB
Active:         109928 kB
Inactive:       253924 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      32452980 kB
SwapTotal:    67111528 kB
SwapFree:     67053604 kB
Dirty:            3532 kB
Writeback:           0 kB
AnonPages:       18612 kB
Mapped:           8400 kB
Slab:            69552 kB
PageTables:       4456 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   191548 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73996 MiB
End job on node149 at 2011-06-09 23:54:20