Trace number 3712254

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 NameAnswerCPU timeWall clock time
toysat 2012-05-17OPTIMUM 99.4669 99.5077

General information on the benchmark

Name/SOFT-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-cache.inv10.ucl--soft-0-100-0.wbo
MD5SUMae1c71418dfe9cc95c50a98d4ee97169
Bench CategorySOFT-BIGINT-LIN (only soft constraints, big integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark4.12437
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables8937
Total number of constraints26319
Number of soft constraints26319
Number of constraints which are clauses26047
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints272
Minimum length of a constraint1
Maximum length of a constraint9
Top cost 1332841
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 1332840
Biggest number in a constraint 17
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 62
Number of bits of the biggest sum of numbers6
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 

87.55/87.64	c 2012-05-28T08:31:15+0200
87.55/87.64	c arch = x86_64
87.55/87.64	c os = linux
87.55/87.64	c compiler = ghc 7.4
87.55/87.64	c packages:
87.55/87.64	c   OptDir-0.0.1
87.55/87.64	c   array-0.4.0.0
87.55/87.64	c   base-4.5.0.0
87.55/87.64	c   bytestring-0.9.2.1
87.55/87.64	c   containers-0.4.2.1
87.55/87.64	c   deepseq-1.3.0.0
87.55/87.64	c   mtl-2.1.1
87.55/87.64	c   old_locale-1.0.0.4
87.55/87.64	c   parse_dimacs-1.2
87.55/87.64	c   parsec-3.1.2
87.55/87.64	c   queue-0.1.2
87.55/87.64	c   stm-2.3
87.55/87.64	c   time-1.4
87.55/87.64	c command line = ["--wbo","HOME/instance-3712254-1338186675.wbo"]
87.55/87.64	c #vars 8937
87.55/87.64	c #constraints 26319
87.55/87.64	c Solving starts ...
88.06/88.18	c solving time = 0.488s
88.06/88.18	c #decision = 58593
88.06/88.18	c #conflict = 106
88.06/88.18	c #restart = 1
88.06/88.18	o 6
88.25/88.30	c Solving starts ...
88.35/88.47	c solving time = 0.152s
88.35/88.47	c #decision = 59914
88.35/88.47	c #conflict = 106
88.35/88.47	c #restart = 1
88.35/88.47	o 5
88.35/88.47	c Solving starts ...
88.45/88.53	c solving time = 0.046s
88.45/88.53	c #decision = 60806
88.45/88.53	c #conflict = 106
88.45/88.53	c #restart = 1
88.45/88.53	o 4
88.45/88.53	c Solving starts ...
88.45/88.58	c solving time = 0.043s
88.45/88.58	c #decision = 61068
88.45/88.58	c #conflict = 106
88.45/88.58	c #restart = 1
88.45/88.59	o 3
88.45/88.59	c Solving starts ...
88.55/88.63	c solving time = 0.038s
88.55/88.63	c #decision = 61106
88.55/88.63	c #conflict = 106
88.55/88.63	c #restart = 1
88.55/88.64	o 2
88.55/88.64	c Solving starts ...
99.35/99.49	c solving time = 10.853s
99.35/99.49	c #decision = 64255
99.35/99.49	c #conflict = 2388
99.35/99.49	c #restart = 7
99.35/99.49	s OPTIMUM FOUND
99.35/99.49	v -x1 -x2 x3 x4 x5 x6 x7 -x8 -x9 x10
99.35/99.49	v -x11 x12 x13 x14 x15 -x16 -x17 x18 x19 -x20
99.35/99.49	v -x21 x22 x23 x24 x25 x26 -x27 -x28 -x29 -x30
99.35/99.49	v x31 x32 -x33 -x34 -x35 -x36 x37 x38 x39 -x40
99.35/99.49	v -x41 -x42 x43 x44 x45 x46 x47 -x48 -x49 -x50
99.35/99.49	v -x51 -x52 x53 -x54 x55 -x56 x57 x58 -x59 x60
99.35/99.49	v x61 x62 x63 x64 x65 -x66 -x67 -x68 -x69 x70
99.35/99.49	v x71 -x72 -x73 -x74 x75 -x76 x77 x78 x79 -x80
99.35/99.49	v -x81 -x82 -x83 x84 -x85 -x86 x87 x88 x89 x90
99.35/99.49	v x91 x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100
99.35/99.49	v -x101 -x102 -x103 -x104 -x105 -x106 x107 -x108 x109 -x110
99.35/99.49	v -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 x119 -x120
99.35/99.49	v -x121 -x122 -x123 x124 x125 -x126 -x127 x128 x129 x130
99.35/99.49	v x131 x132 x133 x134 -x135 -x136 -x137 -x138 -x139 -x140
99.35/99.49	v -x141 x142 x143 x144 x145 -x146 x147 x148 x149 -x150
99.35/99.49	v -x151 -x152 x153 x154 x155 x156 x157 -x158 -x159 -x160
99.35/99.49	v -x161 -x162 -x163 x164 x165 x166 x167 x168 -x169 x170
99.35/99.49	v -x171 x172 -x173 -x174 -x175 -x176 -x177 x178 x179 -x180
99.35/99.49	v x181 x182 x183 x184 -x185 -x186 -x187 -x188 -x189 -x190
99.35/99.49	v -x191 -x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 -x200
99.35/99.49	v -x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 x209 -x210
99.35/99.49	v -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220
99.35/99.49	v x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
99.35/99.49	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240
99.35/99.49	v -x241 -x242 -x243 -x244 -x245 -x246 x247 x248 x249 -x250
99.35/99.49	v -x251 -x252 x253 x254 -x255 -x256 -x257 -x258 -x259 x260
99.35/99.49	v -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
99.35/99.49	v -x271 -x272 -x273 -x274 -x275 -x276 -x277 x278 x279 x280
99.35/99.49	v -x281 x282 -x283 -x284 -x285 x286 x287 -x288 -x289 -x290
99.35/99.49	v -x291 -x292 -x293 -x294 -x295 x296 x297 x298 -x299 -x300
99.35/99.49	v -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 x309 -x310
99.35/99.49	v x311 -x312 -x313 -x314 -x315 x316 x317 -x318 -x319 -x320
99.35/99.49	v -x321 -x322 -x323 -x324 x325 -x326 -x327 -x328 -x329 -x330
99.35/99.49	v -x331 -x332 -x333 x334 x335 -x336 -x337 -x338 x339 x340
99.35/99.49	v -x341 -x342 -x343 -x344 -x345 -x346 x347 -x348 -x349 -x350
99.35/99.49	v -x351 -x352 -x353 x354 x355 -x356 -x357 -x358 -x359 -x360
99.35/99.49	v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 x369 -x370
99.35/99.49	v -x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380
99.35/99.49	v -x381 -x382 -x383 -x384 x385 x386 x387 -x388 x389 x390
99.35/99.49	v x391 -x392 x393 x394 x395 -x396 -x397 -x398 x399 x400
99.35/99.49	v x401 x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410
99.35/99.49	v x411 x412 x413 x414 x415 -x416 -x417 -x418 -x419 -x420
99.35/99.49	v -x421 -x422 x423 -x424 x425 -x426 -x427 -x428 -x429 -x430
99.35/99.49	v -x431 -x432 -x433 -x434 x435 x436 -x437 -x438 -x439 -x440
99.35/99.49	v -x441 -x442 x443 x444 x445 -x446 -x447 x448 x449 x450
99.35/99.49	v x451 -x452 x453 -x454 x455 -x456 x457 x458 x459 x460
99.35/99.49	v x461 x462 -x463 -x464 -x465 -x466 -x467 x468 -x469 -x470
99.35/99.49	v -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
99.35/99.49	v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490
99.35/99.49	v -x491 -x492 -x493 -x494 x495 x496 -x497 -x498 x499 -x500
99.35/99.49	v x501 -x502 -x503 -x504 -x505 x506 x507 -x508 -x509 -x510
99.35/99.49	v -x511 x512 -x513 x514 -x515 -x516 -x517 -x518 x519 x520
99.35/99.49	v x521 -x522 -x523 x524 x525 -x526 -x527 -x528 -x529 -x530
99.35/99.49	v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540
99.35/99.49	v -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550
99.35/99.49	v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560
99.35/99.49	v -x561 -x562 -x563 -x564 -x565 x566 -x567 -x568 x569 x570
99.35/99.49	v -x571 -x572 -x573 x574 x575 x576 -x577 -x578 x579 x580
99.35/99.49	v -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590
99.35/99.49	v -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600
99.35/99.49	v -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610
99.35/99.49	v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620
99.35/99.49	v -x621 -x622 -x623 -x624 -x625 -x626 -x627 x628 -x629 x630
99.35/99.49	v -x631 -x632 -x633 -x634 -x635 -x636 -x637 x638 -x639 x640
99.35/99.49	v x641 -x642 -x643 -x644 -x645 -x646 x647 -x648 -x649 -x650
99.35/99.49	v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660
99.35/99.49	v -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670
99.35/99.49	v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 x680
99.35/99.49	v x681 -x682 x683 -x684 -x685 -x686 -x687 -x688 -x689 x690
99.35/99.49	v -x691 -x692 -x693 x694 x695 x696 -x697 -x698 -x699 -x700
99.35/99.49	v -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710
99.35/99.49	v -x711 -x712 -x713 -x714 -x715 -x716 -x717 x718 -x719 x720
99.35/99.49	v x721 -x722 -x723 -x724 -x725 -x726 -x727 x728 -x729 -x730
99.35/99.49	v -x731 -x732 -x733 -x734 -x735 -x736 -x737 x738 -x739 -x740
99.35/99.49	v -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750
99.35/99.49	v -x751 -x752 -x753 x754 -x755 -x756 -x757 x758 x759 -x760
99.35/99.49	v x761 x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 x770
99.35/99.49	v x771 x772 x773 x774 x775 -x776 -x777 -x778 -x779 -x780
99.35/99.49	v -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790
99.35/99.49	v -x791 -x792 -x793 -x794 -x795 x796 x797 -x798 -x799 -x800
99.35/99.49	v -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810
99.35/99.49	v -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820
99.35/99.49	v -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830
99.35/99.49	v -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840
99.35/99.49	v -x841 -x842 -x843 -x844 -x845 -x846 -x847 x848 x849 x850
99.35/99.49	v x851 -x852 -x853 -x854 -x855 x856 -x857 -x858 -x859 -x860
99.35/99.49	v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870
99.35/99.49	v -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880
99.35/99.49	v -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890
99.35/99.49	v -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900
99.35/99.49	v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910
99.35/99.49	v -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920
99.35/99.49	v -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930
99.35/99.49	v -x931 -x932 -x933 x934 x935 x936 -x937 -x938 -x939 -x940
99.35/99.49	v -x941 x942 x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950
99.35/99.49	v -x951 -x952 -x953 -x954 x955 -x956 -x957 -x958 -x959 -x960
99.35/99.49	v -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970
99.35/99.49	v -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980
99.35/99.49	v -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990
99.35/99.49	v -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000
99.35/99.49	v -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010
99.35/99.49	v -x1011 -x1012 -x1013 -x1014 x1015 x1016 x1017 -x1018 x1019 -x1020
99.35/99.49	v -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 x1027 x1028 -x1029 -x1030
99.35/99.49	v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040
99.35/99.49	v -x1041 -x1042 x1043 x1044 -x1045 -x1046 -x1047 -x1048 -x1049 x1050
99.35/99.49	v x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060
99.35/99.49	v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070
99.35/99.49	v -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080
99.35/99.49	v -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090
99.35/99.49	v -x1091 -x1092 -x1093 -x1094 x1095 x1096 -x1097 x1098 -x1099 -x1100
99.35/99.49	v -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 x1107 x1108 -x1109 -x1110
99.35/99.49	v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 x1118 x1119 -x1120
99.35/99.49	v -x1121 -x1122 -x1123 -x1124 x1125 -x1126 -x1127 -x1128 -x1129 -x1130
99.35/99.49	v -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140
99.35/99.49	v -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150
99.35/99.49	v -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 x1158 x1159 x1160
99.35/99.49	v -x1161 -x1162 x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 x1170
99.35/99.49	v x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 x1180
99.35/99.49	v x1181 x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190
99.35/99.49	v -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200
99.35/99.49	v -x1201 -x1202 -x1203 x1204 x1205 -x1206 x1207 -x1208 x1209 -x1210
99.35/99.49	v -x1211 -x1212 -x1213 -x1214 -x1215 x1216 x1217 -x1218 -x1219 -x1220
99.35/99.49	v -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 x1229 -x1230
99.35/99.49	v -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240
99.35/99.49	v -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 x1249 x1250
99.35/99.49	v x1251 -x1252 -x1253 x1254 -x1255 -x1256 -x1257 x1258 x1259 -x1260
99.35/99.49	v x1261 x1262 -x1263 -x1264 -x1265 x1266 x1267 -x1268 -x1269 -x1270
99.35/99.49	v x1271 x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280
99.35/99.49	v -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290
99.35/99.49	v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 x1300
99.35/99.49	v x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310
99.35/99.49	v -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320
99.35/99.50	v -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 x1330
99.35/99.50	v x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340
99.35/99.50	v -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350
99.35/99.50	v -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360
99.35/99.50	v -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370
99.35/99.50	v -x1371 -x1372 x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380
99.35/99.50	v -x1381 -x1382 -x1383 -x1384 -x1385 x1386 x1387 -x1388 -x1389 -x1390
99.35/99.50	v -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400
99.35/99.50	v -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410
99.35/99.50	v -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420
99.35/99.50	v -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430
99.35/99.50	v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440
99.35/99.50	v -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450
99.35/99.50	v -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460
99.35/99.50	v -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470
99.35/99.50	v -x1471 -x1472 -x1473 -x1474 -x1475 x1476 x1477 x1478 -x1479 x1480
99.35/99.50	v x1481 x1482 x1483 x1484 x1485 x1486 -x1487 x1488 x1489 x1490
99.35/99.50	v -x1491 -x1492 -x1493 x1494 -x1495 x1496 x1497 x1498 -x1499 -x1500
99.35/99.50	v -x1501 -x1502 x1503 x1504 -x1505 x1506 -x1507 -x1508 -x1509 x1510
99.35/99.50	v x1511 -x1512 -x1513 x1514 x1515 -x1516 -x1517 x1518 -x1519 x1520
99.35/99.50	v x1521 x1522 x1523 -x1524 -x1525 -x1526 x1527 -x1528 x1529 -x1530
99.35/99.50	v -x1531 -x1532 x1533 -x1534 -x1535 -x1536 x1537 -x1538 -x1539 -x1540
99.35/99.50	v x1541 -x1542 -x1543 -x1544 x1545 -x1546 -x1547 -x1548 -x1549 -x1550
99.35/99.50	v -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560
99.35/99.50	v -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570
99.35/99.50	v -x1571 -x1572 x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580
99.35/99.50	v -x1581 -x1582 -x1583 x1584 -x1585 -x1586 x1587 x1588 x1589 x1590
99.35/99.50	v x1591 x1592 x1593 x1594 x1595 x1596 x1597 x1598 x1599 x1600
99.35/99.50	v x1601 x1602 x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610
99.35/99.50	v -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620
99.35/99.50	v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630
99.35/99.50	v -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 x1638 -x1639 -x1640
99.35/99.50	v -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650
99.35/99.50	v -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660
99.35/99.50	v -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670
99.35/99.50	v -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680
99.35/99.50	v -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690
99.35/99.50	v -x1691 -x1692 -x1693 -x1694 x1695 -x1696 -x1697 -x1698 -x1699 -x1700
99.35/99.50	v -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710
99.35/99.50	v -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720
99.35/99.50	v -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730
99.35/99.50	v -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740
99.35/99.50	v -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750
99.35/99.50	v -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760
99.35/99.50	v -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770
99.35/99.50	v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780
99.35/99.50	v -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790
99.35/99.50	v -x1791 -x1792 -x1793 -x1794 x1795 -x1796 -x1797 -x1798 -x1799 x1800
99.35/99.50	v -x1801 -x1802 -x1803 -x1804 x1805 x1806 x1807 x1808 -x1809 -x1810
99.35/99.50	v -x1811 -x1812 -x1813 -x1814 -x1815 x1816 -x1817 x1818 -x1819 -x1820
99.35/99.50	v -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830
99.35/99.50	v -x1831 -x1832 -x1833 -x1834 -x1835 x1836 x1837 -x1838 -x1839 -x1840
99.35/99.50	v -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850
99.35/99.50	v -x1851 x1852 x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860
99.35/99.50	v -x1861 -x1862 -x1863 -x1864 x1865 x1866 -x1867 -x1868 -x1869 -x1870
99.35/99.50	v -x1871 -x1872 -x1873 -x1874 x1875 x1876 x1877 -x1878 x1879 -x1880
99.35/99.50	v -x1881 -x1882 -x1883 -x1884 -x1885 x1886 x1887 x1888 x1889 x1890
99.35/99.50	v x1891 -x1892 x1893 x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900
99.35/99.50	v -x1901 x1902 x1903 x1904 x1905 x1906 -x1907 -x1908 x1909 -x1910
99.35/99.50	v -x1911 -x1912 x1913 x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920
99.35/99.50	v x1921 x1922 -x1923 -x1924 -x1925 x1926 x1927 -x1928 -x1929 -x1930
99.35/99.50	v -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 x1937 x1938 -x1939 -x1940
99.35/99.50	v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950
99.35/99.50	v -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960
99.35/99.50	v -x1961 -x1962 x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970
99.35/99.50	v -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980
99.35/99.50	v -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990
99.35/99.50	v -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000
99.35/99.50	v -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010
99.35/99.50	v -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020
99.35/99.50	v -x2021 -x2022 x2023 x2024 x2025 -x2026 -x2027 -x2028 -x2029 -x2030
99.35/99.50	v -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040
99.35/99.50	v -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050
99.35/99.50	v -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060
99.35/99.50	v -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070
99.35/99.50	v -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080
99.35/99.50	v -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090
99.35/99.50	v -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100
99.35/99.50	v -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110
99.35/99.50	v -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120
99.35/99.50	v -x2121 x2122 x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130
99.35/99.50	v x2131 x2132 x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140
99.35/99.50	v -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 x2150
99.35/99.50	v -x2151 x2152 -x2153 x2154 x2155 x2156 x2157 x2158 x2159 -x2160
99.35/99.50	v x2161 x2162 x2163 -x2164 -x2165 -x2166 x2167 -x2168 -x2169 -x2170
99.35/99.50	v -x2171 -x2172 x2173 x2174 x2175 -x2176 -x2177 -x2178 -x2179 x2180
99.35/99.50	v -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190
99.35/99.50	v -x2191 -x2192 -x2193 x2194 x2195 -x2196 -x2197 -x2198 -x2199 -x2200
99.35/99.50	v -x2201 -x2202 -x2203 -x2204 -x2205 x2206 x2207 x2208 -x2209 -x2210
99.35/99.50	v -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220
99.35/99.50	v -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 x2227 -x2228 -x2229 x2230
99.35/99.50	v x2231 -x2232 -x2233 x2234 x2235 x2236 -x2237 x2238 -x2239 -x2240
99.35/99.50	v -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250
99.35/99.50	v -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260
99.35/99.50	v -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270
99.35/99.50	v -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280
99.35/99.50	v -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290
99.35/99.50	v -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 x2299 -x2300
99.35/99.50	v -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310
99.35/99.50	v -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 x2318 x2319 x2320
99.35/99.50	v -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330
99.35/99.50	v -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340
99.35/99.50	v -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350
99.35/99.50	v -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360
99.35/99.50	v -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370
99.35/99.50	v -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380
99.35/99.50	v -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390
99.35/99.50	v -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400
99.35/99.50	v -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410
99.35/99.50	v -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420
99.35/99.50	v -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430
99.35/99.50	v -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440
99.35/99.50	v -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450
99.35/99.50	v -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460
99.35/99.50	v -x2461 -x2462 -x2463 -x2464 -x2465 x2466 -x2467 -x2468 x2469 -x2470
99.45/99.50	v -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480
99.45/99.50	v x2481 x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490
99.45/99.50	v -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500
99.45/99.50	v -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510
99.45/99.50	v -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520
99.45/99.50	v -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530
99.45/99.50	v -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540
99.45/99.50	v -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550
99.45/99.50	v -x2551 -x2552 -x2553 x2554 x2555 x2556 -x2557 x2558 -x2559 x2560
99.45/99.50	v -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570
99.45/99.50	v -x2571 -x2572 x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580
99.45/99.50	v -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590
99.45/99.50	v -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600
99.45/99.50	v -x2601 x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610
99.45/99.50	v -x2611 -x2612 -x2613 x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620
99.45/99.50	v -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630
99.45/99.50	v -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640
99.45/99.50	v -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650
99.45/99.50	v -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660
99.45/99.50	v -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 x2670
99.45/99.50	v x2671 x2672 x2673 -x2674 -x2675 x2676 -x2677 -x2678 -x2679 -x2680
99.45/99.50	v -x2681 -x2682 -x2683 x2684 x2685 x2686 -x2687 -x2688 -x2689 -x2690
99.45/99.50	v -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700
99.45/99.50	v -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710
99.45/99.50	v -x2711 x2712 x2713 -x2714 -x2715 -x2716 -x2717 -x2718 x2719 x2720
99.45/99.50	v -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730
99.45/99.50	v -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740
99.45/99.50	v -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750
99.45/99.50	v -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760
99.45/99.50	v -x2761 -x2762 -x2763 x2764 x2765 x2766 -x2767 x2768 -x2769 -x2770
99.45/99.50	v -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 x2778 x2779 x2780
99.45/99.50	v -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790
99.45/99.50	v -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 x2798 x2799 -x2800
99.45/99.50	v -x2801 -x2802 -x2803 -x2804 x2805 -x2806 -x2807 -x2808 -x2809 -x2810
99.45/99.50	v -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820
99.45/99.50	v -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830
99.45/99.50	v -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 x2838 x2839 x2840
99.45/99.50	v x2841 -x2842 -x2843 -x2844 x2845 -x2846 -x2847 -x2848 -x2849 -x2850
99.45/99.50	v -x2851 x2852 x2853 x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860
99.45/99.50	v -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 x2868 x2869 x2870
99.45/99.50	v -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880
99.45/99.50	v -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890
99.45/99.50	v -x2891 x2892 x2893 x2894 -x2895 x2896 -x2897 -x2898 x2899 -x2900
99.45/99.50	v -x2901 -x2902 -x2903 -x2904 -x2905 x2906 x2907 x2908 -x2909 -x2910
99.45/99.50	v -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920
99.45/99.50	v -x2921 x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930
99.45/99.50	v -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940
99.45/99.50	v -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 x2948 x2949 x2950
99.45/99.50	v -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960
99.45/99.50	v x2961 x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970
99.45/99.50	v -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980
99.45/99.50	v -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990
99.45/99.50	v -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000
99.45/99.50	v -x3001 -x3002 x3003 x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010
99.45/99.50	v -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020
99.45/99.50	v -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030
99.45/99.50	v -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040
99.45/99.50	v -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050
99.45/99.50	v -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060
99.45/99.50	v -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070
99.45/99.50	v -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080
99.45/99.50	v -x3081 -x3082 -x3083 -x3084 x3085 x3086 -x3087 -x3088 -x3089 -x3090
99.45/99.50	v -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100
99.45/99.50	v -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110
99.45/99.50	v -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120
99.45/99.50	v -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130
99.45/99.50	v -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140
99.45/99.50	v -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150
99.45/99.50	v -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160
99.45/99.50	v -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170
99.45/99.50	v -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180
99.45/99.50	v -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190
99.45/99.50	v -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200
99.45/99.50	v -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210
99.45/99.50	v -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220
99.45/99.50	v -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230
99.45/99.50	v -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240
99.45/99.50	v -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250
99.45/99.50	v -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260
99.45/99.50	v -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270
99.45/99.50	v -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280
99.45/99.50	v -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290
99.45/99.50	v -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300
99.45/99.50	v -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310
99.45/99.50	v -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320
99.45/99.50	v -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330
99.45/99.50	v -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340
99.45/99.50	v -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350
99.45/99.50	v -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360
99.45/99.50	v -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370
99.45/99.50	v -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380
99.45/99.50	v -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390
99.45/99.50	v -x3391 x3392 -x3393 -x3394 -x3395 x3396 -x3397 -x3398 -x3399 x3400
99.45/99.50	v -x3401 -x3402 -x3403 x3404 -x3405 -x3406 -x3407 x3408 -x3409 -x3410
99.45/99.50	v -x3411 -x3412 x3413 -x3414 -x3415 x3416 -x3417 -x3418 -x3419 -x3420
99.45/99.50	v -x3421 -x3422 -x3423 -x3424 -x3425 x3426 -x3427 -x3428 x3429 -x3430
99.45/99.50	v -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440
99.45/99.50	v -x3441 -x3442 x3443 x3444 x3445 -x3446 -x3447 x3448 -x3449 x3450
99.45/99.50	v x3451 x3452 -x3453 -x3454 -x3455 x3456 -x3457 x3458 -x3459 x3460
99.45/99.50	v -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470
99.45/99.50	v -x3471 -x3472 x3473 -x3474 x3475 -x3476 -x3477 -x3478 -x3479 -x3480
99.45/99.50	v -x3481 x3482 x3483 x3484 -x3485 x3486 -x3487 x3488 -x3489 -x3490
99.45/99.50	v x3491 x3492 x3493 x3494 x3495 x3496 -x3497 x3498 -x3499 -x3500
99.45/99.50	v -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510
99.45/99.50	v -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520
99.45/99.50	v -x3521 -x3522 -x3523 x3524 x3525 x3526 -x3527 -x3528 -x3529 -x3530
99.45/99.50	v -x3531 -x3532 -x3533 -x3534 -x3535 x3536 x3537 -x3538 -x3539 -x3540
99.45/99.50	v -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550
99.45/99.50	v -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560
99.45/99.50	v -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570
99.45/99.50	v -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 x3578 x3579 -x3580
99.45/99.50	v -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590
99.45/99.50	v -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600
99.45/99.50	v -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610
99.45/99.50	v -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620
99.45/99.50	v -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630
99.45/99.50	v -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640
99.45/99.50	v -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650
99.45/99.50	v -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 x3660
99.45/99.50	v x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670
99.45/99.50	v -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680
99.45/99.50	v -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690
99.45/99.50	v -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700
99.45/99.50	v -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710
99.45/99.50	v -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720
99.45/99.50	v -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730
99.45/99.50	v -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740
99.45/99.50	v -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750
99.45/99.50	v -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760
99.45/99.50	v -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770
99.45/99.50	v -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780
99.45/99.50	v -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790
99.45/99.50	v -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800
99.45/99.50	v -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810
99.45/99.50	v -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820
99.45/99.50	v -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830
99.45/99.50	v -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840
99.45/99.50	v -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850
99.45/99.50	v -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860
99.45/99.50	v -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870
99.45/99.50	v -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880
99.45/99.50	v -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890
99.45/99.50	v -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900
99.45/99.50	v -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910
99.45/99.50	v -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920
99.45/99.50	v -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930
99.45/99.50	v -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940
99.45/99.50	v -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950
99.45/99.50	v -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960
99.45/99.50	v -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 x3970
99.45/99.50	v x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 x3980
99.45/99.50	v x3981 x3982 x3983 x3984 x3985 -x3986 -x3987 x3988 x3989 x3990
99.45/99.50	v x3991 x3992 x3993 x3994 x3995 x3996 -x3997 -x3998 -x3999 -x4000
99.45/99.50	v -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010
99.45/99.50	v -x4011 -x4012 -x4013 -x4014 -x4015 x4016 -x4017 -x4018 -x4019 -x4020
99.45/99.50	v -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030
99.45/99.50	v -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040
99.45/99.50	v -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050
99.45/99.50	v -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060
99.45/99.50	v -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070
99.45/99.50	v -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080
99.45/99.50	v -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090
99.45/99.50	v -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100
99.45/99.50	v -x4101 -x4102 x4103 -x4104 x4105 -x4106 -x4107 -x4108 -x4109 -x4110
99.45/99.50	v -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120
99.45/99.50	v -x4121 -x4122 -x4123 -x4124 x4125 -x4126 -x4127 -x4128 -x4129 -x4130
99.45/99.50	v -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140
99.45/99.50	v -x4141 x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150
99.45/99.50	v -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 x4159 -x4160
99.45/99.50	v -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170
99.45/99.50	v -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180
99.45/99.50	v -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190
99.45/99.50	v -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200
99.45/99.50	v -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210
99.45/99.50	v -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220
99.45/99.50	v -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230
99.45/99.50	v -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240
99.45/99.50	v -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250
99.45/99.50	v -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260
99.45/99.50	v -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270
99.45/99.50	v -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280
99.45/99.50	v -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290
99.45/99.50	v -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300
99.45/99.50	v -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310
99.45/99.50	v -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320
99.45/99.50	v -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330
99.45/99.50	v -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340
99.45/99.50	v -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350
99.45/99.50	v x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360
99.45/99.50	v -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370
99.45/99.50	v -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380
99.45/99.50	v -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390
99.45/99.50	v -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400
99.45/99.50	v -x4401 -x4402 -x4403 -x4404 -x4405 x4406 x4407 x4408 x4409 x4410
99.45/99.50	v x4411 x4412 x4413 x4414 x4415 x4416 x4417 x4418 x4419 x4420
99.45/99.50	v -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430
99.45/99.50	v -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440
99.45/99.50	v -x4441 x4442 x4443 x4444 x4445 -x4446 -x4447 -x4448 -x4449 -x4450
99.45/99.50	v -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460
99.45/99.50	v -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470
99.45/99.50	v x4471 -x4472 x4473 x4474 x4475 x4476 x4477 -x4478 -x4479 -x4480
99.45/99.50	v -x4481 -x4482 -x4483 -x4484 x4485 x4486 x4487 x4488 x4489 -x4490
99.45/99.50	v -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500
99.45/99.50	v -x4501 -x4502 x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510
99.45/99.50	v x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520
99.45/99.50	v -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530
99.45/99.50	v -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540
99.45/99.50	v -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550
99.45/99.50	v -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560
99.45/99.50	v -x4561 -x4562 -x4563 -x4564 -x4565 x4566 x4567 -x4568 -x4569 -x4570
99.45/99.50	v -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580
99.45/99.50	v -x4581 -x4582 x4583 x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590
99.45/99.50	v -x4591 -x4592 -x4593 -x4594 -x4595 x4596 -x4597 -x4598 -x4599 -x4600
99.45/99.50	v -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 x4608 -x4609 -x4610
99.45/99.50	v -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620
99.45/99.50	v -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630
99.45/99.50	v -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640
99.45/99.50	v -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650
99.45/99.50	v -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660
99.45/99.50	v -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670
99.45/99.50	v -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 x4677 x4678 -x4679 x4680
99.45/99.50	v -x4681 -x4682 -x4683 -x4684 x4685 x4686 -x4687 -x4688 -x4689 -x4690
99.45/99.50	v -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 x4698 x4699 -x4700
99.45/99.50	v -x4701 -x4702 -x4703 x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710
99.45/99.50	v -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720
99.45/99.50	v -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730
99.45/99.50	v -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740
99.45/99.50	v -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750
99.45/99.50	v -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760
99.45/99.50	v -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770
99.45/99.50	v -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780
99.45/99.50	v -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790
99.45/99.50	v -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800
99.45/99.50	v -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810
99.45/99.50	v -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820
99.45/99.50	v -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830
99.45/99.50	v -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840
99.45/99.50	v -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850
99.45/99.50	v x4851 -x4852 -x4853 -x4854 -x4855 -x4856 x4857 x4858 -x4859 -x4860
99.45/99.50	v -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 x4870
99.45/99.50	v x4871 x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880
99.45/99.50	v -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890
99.45/99.50	v -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900
99.45/99.50	v -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910
99.45/99.50	v -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920
99.45/99.50	v -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930
99.45/99.50	v -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940
99.45/99.50	v -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950
99.45/99.50	v -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960
99.45/99.50	v -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970
99.45/99.50	v -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980
99.45/99.50	v -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990
99.45/99.50	v -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000
99.45/99.50	v -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010
99.45/99.50	v -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 x5019 -x5020
99.45/99.50	v x5021 -x5022 x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030
99.45/99.50	v -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 x5037 -x5038 -x5039 -x5040
99.45/99.50	v x5041 x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050
99.45/99.50	v -x5051 -x5052 -x5053 x5054 x5055 -x5056 -x5057 -x5058 -x5059 -x5060
99.45/99.50	v -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070
99.45/99.50	v -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080
99.45/99.50	v -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090
99.45/99.50	v -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100
99.45/99.50	v -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110
99.45/99.50	v -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120
99.45/99.50	v -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130
99.45/99.50	v -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140
99.45/99.50	v -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150
99.45/99.50	v -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160
99.45/99.50	v -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170
99.45/99.50	v -x5171 -x5172 -x5173 -x5174 x5175 -x5176 x5177 -x5178 x5179 -x5180
99.45/99.50	v -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190
99.45/99.50	v -x5191 -x5192 -x5193 x5194 x5195 x5196 -x5197 -x5198 -x5199 -x5200
99.45/99.50	v -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 x5208 -x5209 -x5210
99.45/99.50	v -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220
99.45/99.50	v -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230
99.45/99.50	v -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240
99.45/99.50	v -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250
99.45/99.50	v -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260
99.45/99.50	v -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270
99.45/99.50	v -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280
99.45/99.50	v -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290
99.45/99.50	v -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300
99.45/99.50	v -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 x5308 x5309 -x5310
99.45/99.50	v x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320
99.45/99.50	v -x5321 -x5322 -x5323 x5324 -x5325 -x5326 -x5327 x5328 x5329 -x5330
99.45/99.50	v -x5331 -x5332 -x5333 -x5334 x5335 x5336 -x5337 -x5338 -x5339 -x5340
99.45/99.50	v -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350
99.45/99.50	v -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360
99.45/99.50	v -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370
99.45/99.50	v -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380
99.45/99.50	v -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390
99.45/99.50	v -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400
99.45/99.50	v -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410
99.45/99.50	v -x5411 -x5412 -x5413 -x5414 -x5415 x5416 -x5417 x5418 x5419 -x5420
99.45/99.50	v -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430
99.45/99.50	v -x5431 x5432 -x5433 x5434 x5435 -x5436 -x5437 -x5438 -x5439 -x5440
99.45/99.50	v x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450
99.45/99.50	v -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460
99.45/99.50	v -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470
99.45/99.50	v -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480
99.45/99.50	v -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490
99.45/99.50	v -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500
99.45/99.50	v x5501 x5502 -x5503 x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510
99.45/99.50	v -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 x5517 -x5518 -x5519 -x5520
99.45/99.50	v x5521 x5522 x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530
99.45/99.50	v -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540
99.45/99.50	v -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550
99.45/99.50	v -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560
99.45/99.50	v -x5561 -x5562 x5563 -x5564 x5565 x5566 -x5567 -x5568 -x5569 -x5570
99.45/99.50	v -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 x5579 -x5580
99.45/99.50	v -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590
99.45/99.50	v -x5591 -x5592 -x5593 -x5594 x5595 -x5596 -x5597 -x5598 -x5599 -x5600
99.45/99.50	v -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610
99.45/99.50	v -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620
99.45/99.50	v -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 x5627 x5628 x5629 -x5630
99.45/99.50	v -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 x5640
99.45/99.50	v x5641 x5642 x5643 x5644 x5645 x5646 x5647 x5648 -x5649 -x5650
99.45/99.50	v -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660
99.45/99.50	v -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670
99.45/99.50	v -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680
99.45/99.50	v -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690
99.45/99.50	v -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700
99.45/99.50	v x5701 x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710
99.45/99.50	v -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720
99.45/99.50	v -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730
99.45/99.50	v -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740
99.45/99.50	v -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750
99.45/99.50	v -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760
99.45/99.50	v -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770
99.45/99.50	v -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780
99.45/99.50	v -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790
99.45/99.50	v -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800
99.45/99.50	v -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 x5810
99.45/99.50	v x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820
99.45/99.50	v -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830
99.45/99.50	v -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840
99.45/99.50	v -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850
99.45/99.50	v -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860
99.45/99.50	v -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870
99.45/99.50	v -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880
99.45/99.50	v -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890
99.45/99.50	v -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900
99.45/99.50	v -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910
99.45/99.50	v -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920
99.45/99.50	v -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930
99.45/99.50	v -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940
99.45/99.50	v -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950
99.45/99.50	v -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960
99.45/99.50	v -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970
99.45/99.50	v -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980
99.45/99.50	v -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990
99.45/99.50	v -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000
99.45/99.50	v -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010
99.45/99.50	v -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020
99.45/99.50	v -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030
99.45/99.50	v -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040
99.45/99.50	v -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050
99.45/99.50	v -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060
99.45/99.50	v -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070
99.45/99.50	v -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080
99.45/99.50	v -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090
99.45/99.50	v -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100
99.45/99.50	v -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110
99.45/99.50	v -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120
99.45/99.50	v -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130
99.45/99.50	v -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140
99.45/99.50	v -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150
99.45/99.50	v -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160
99.45/99.50	v -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170
99.45/99.50	v -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180
99.45/99.50	v -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190
99.45/99.50	v -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200
99.45/99.50	v -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210
99.45/99.50	v -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220
99.45/99.50	v -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230
99.45/99.50	v -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240
99.45/99.50	v -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250
99.45/99.50	v -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260
99.45/99.50	v -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270
99.45/99.50	v -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280
99.45/99.50	v -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290
99.45/99.50	v -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300
99.45/99.50	v -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310
99.45/99.50	v -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320
99.45/99.50	v -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330
99.45/99.50	v -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340
99.45/99.50	v -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350
99.45/99.50	v -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360
99.45/99.50	v -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370
99.45/99.50	v -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380
99.45/99.50	v -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390
99.45/99.50	v -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400
99.45/99.50	v -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410
99.45/99.50	v -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420
99.45/99.50	v -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430
99.45/99.50	v -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440
99.45/99.50	v -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450
99.45/99.50	v -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460
99.45/99.50	v -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470
99.45/99.50	v -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480
99.45/99.50	v -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490
99.45/99.50	v -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500
99.45/99.50	v -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510
99.45/99.50	v -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520
99.45/99.50	v -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530
99.45/99.50	v -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540
99.45/99.50	v -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550
99.45/99.50	v -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560
99.45/99.50	v -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570
99.45/99.50	v -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580
99.45/99.50	v -x6581 x6582 x6583 x6584 -x6585 x6586 x6587 x6588 x6589 -x6590
99.45/99.50	v x6591 -x6592 -x6593 x6594 x6595 x6596 -x6597 x6598 x6599 x6600
99.45/99.50	v -x6601 x6602 x6603 x6604 -x6605 x6606 x6607 x6608 -x6609 -x6610
99.45/99.50	v -x6611 x6612 -x6613 x6614 x6615 x6616 -x6617 -x6618 -x6619 -x6620
99.45/99.50	v -x6621 -x6622 -x6623 x6624 -x6625 x6626 -x6627 -x6628 x6629 x6630
99.45/99.50	v x6631 -x6632 -x6633 x6634 x6635 -x6636 -x6637 -x6638 x6639 -x6640
99.45/99.50	v -x6641 -x6642 -x6643 -x6644 x6645 -x6646 -x6647 -x6648 -x6649 -x6650
99.45/99.50	v -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660
99.45/99.50	v x6661 x6662 x6663 x6664 x6665 x6666 -x6667 -x6668 x6669 -x6670
99.45/99.50	v x6671 x6672 x6673 x6674 x6675 x6676 -x6677 -x6678 -x6679 x6680
99.45/99.50	v x6681 -x6682 -x6683 x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690
99.45/99.50	v -x6691 x6692 x6693 x6694 -x6695 x6696 -x6697 x6698 -x6699 -x6700
99.45/99.50	v x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 x6709 x6710
99.45/99.50	v -x6711 x6712 -x6713 x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720
99.45/99.50	v -x6721 -x6722 -x6723 -x6724 x6725 -x6726 -x6727 -x6728 -x6729 -x6730
99.45/99.50	v -x6731 x6732 -x6733 x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740
99.45/99.50	v -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 x6749 x6750
99.45/99.50	v x6751 x6752 x6753 x6754 x6755 x6756 x6757 x6758 x6759 x6760
99.45/99.50	v x6761 x6762 x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770
99.45/99.50	v -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780
99.45/99.50	v -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790
99.45/99.50	v -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800
99.45/99.50	v -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810
99.45/99.50	v -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820
99.45/99.50	v -x6821 -x6822 -x6823 -x6824 -x6825 x6826 -x6827 -x6828 -x6829 -x6830
99.45/99.50	v -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840
99.45/99.50	v -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850
99.45/99.50	v -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860
99.45/99.50	v -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870
99.45/99.50	v -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880
99.45/99.50	v -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890
99.45/99.50	v -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900
99.45/99.50	v -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910
99.45/99.50	v -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920
99.45/99.50	v -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930
99.45/99.50	v -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 x6937 -x6938 -x6939 -x6940
99.45/99.50	v -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950
99.45/99.50	v -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960
99.45/99.50	v -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970
99.45/99.50	v -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980
99.45/99.50	v -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990
99.45/99.50	v -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000
99.45/99.50	v -x7001 x7002 x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010
99.45/99.50	v -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020
99.45/99.50	v -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030
99.45/99.50	v -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040
99.45/99.50	v -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050
99.45/99.50	v -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060
99.45/99.50	v -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 x7069 -x7070
99.45/99.50	v -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080
99.45/99.50	v -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090
99.45/99.50	v -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100
99.45/99.50	v -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110
99.45/99.50	v -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120
99.45/99.50	v -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130
99.45/99.50	v -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140
99.45/99.50	v -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150
99.45/99.50	v -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160
99.45/99.50	v -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170
99.45/99.50	v -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180
99.45/99.50	v -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190
99.45/99.50	v -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200
99.45/99.50	v -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210
99.45/99.50	v -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220
99.45/99.50	v -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230
99.45/99.50	v -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240
99.45/99.50	v -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250
99.45/99.50	v -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260
99.45/99.50	v -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270
99.45/99.50	v -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280
99.45/99.50	v -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290
99.45/99.50	v -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300
99.45/99.50	v -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310
99.45/99.50	v -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320
99.45/99.50	v -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330
99.45/99.50	v -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340
99.45/99.50	v -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350
99.45/99.50	v -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360
99.45/99.50	v -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370
99.45/99.50	v -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380
99.45/99.50	v -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390
99.45/99.50	v -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400
99.45/99.50	v -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410
99.45/99.50	v -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420
99.45/99.50	v -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430
99.45/99.50	v -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440
99.45/99.50	v -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450
99.45/99.50	v -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460
99.45/99.50	v -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470
99.45/99.50	v -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480
99.45/99.50	v -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490
99.45/99.50	v -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500
99.45/99.50	v -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510
99.45/99.50	v -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520
99.45/99.50	v -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530
99.45/99.50	v -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540
99.45/99.50	v -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550
99.45/99.50	v -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560
99.45/99.50	v -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570
99.45/99.50	v -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580
99.45/99.50	v -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590
99.45/99.50	v -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600
99.45/99.50	v -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610
99.45/99.50	v -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620
99.45/99.50	v -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630
99.45/99.50	v -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640
99.45/99.50	v -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650
99.45/99.50	v -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660
99.45/99.50	v -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670
99.45/99.50	v -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680
99.45/99.50	v -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690
99.45/99.50	v -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700
99.45/99.50	v -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710
99.45/99.50	v -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720
99.45/99.50	v -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730
99.45/99.50	v -x7731 -x7732 -x7733 -x7734 x7735 -x7736 -x7737 -x7738 -x7739 -x7740
99.45/99.50	v -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750
99.45/99.50	v x7751 x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760
99.45/99.50	v -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 x7770
99.45/99.50	v -x7771 -x7772 -x7773 -x7774 x7775 x7776 x7777 x7778 -x7779 -x7780
99.45/99.50	v -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 x7789 x7790
99.45/99.50	v -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800
99.45/99.50	v -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810
99.45/99.50	v -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820
99.45/99.50	v -x7821 -x7822 -x7823 -x7824 x7825 -x7826 -x7827 -x7828 -x7829 x7830
99.45/99.50	v -x7831 x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840
99.45/99.50	v -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850
99.45/99.50	v -x7851 -x7852 x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 x7860
99.45/99.50	v x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870
99.45/99.50	v -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880
99.45/99.50	v -x7881 -x7882 -x7883 -x7884 x7885 x7886 -x7887 -x7888 -x7889 -x7890
99.45/99.50	v -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900
99.45/99.50	v -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 x7907 x7908 -x7909 -x7910
99.45/99.50	v -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920
99.45/99.50	v -x7921 -x7922 -x7923 -x7924 -x7925 x7926 x7927 x7928 -x7929 x7930
99.45/99.50	v -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940
99.45/99.50	v -x7941 -x7942 -x7943 -x7944 x7945 x7946 x7947 x7948 -x7949 -x7950
99.45/99.50	v -x7951 x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 x7959 x7960
99.45/99.50	v -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970
99.45/99.50	v -x7971 -x7972 -x7973 -x7974 x7975 x7976 x7977 x7978 x7979 x7980
99.45/99.50	v x7981 -x7982 x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990
99.45/99.50	v -x7991 -x7992 x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000
99.45/99.50	v x8001 x8002 x8003 x8004 x8005 -x8006 -x8007 -x8008 -x8009 -x8010
99.45/99.50	v -x8011 -x8012 -x8013 x8014 -x8015 -x8016 -x8017 x8018 x8019 -x8020
99.45/99.50	v -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030
99.45/99.50	v -x8031 x8032 x8033 -x8034 -x8035 -x8036 x8037 x8038 -x8039 -x8040
99.45/99.50	v -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050
99.45/99.50	v -x8051 -x8052 -x8053 x8054 x8055 -x8056 -x8057 -x8058 -x8059 -x8060
99.45/99.50	v -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070
99.45/99.50	v -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080
99.45/99.50	v -x8081 -x8082 -x8083 -x8084 -x8085 x8086 x8087 -x8088 -x8089 -x8090
99.45/99.50	v -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100
99.45/99.50	v -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110
99.45/99.50	v -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120
99.45/99.50	v -x8121 -x8122 -x8123 -x8124 -x8125 x8126 -x8127 -x8128 -x8129 -x8130
99.45/99.50	v -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140
99.45/99.50	v -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150
99.45/99.50	v -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160
99.45/99.50	v -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170
99.45/99.50	v -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180
99.45/99.50	v -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190
99.45/99.50	v -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200
99.45/99.50	v -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210
99.45/99.50	v -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220
99.45/99.50	v -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230
99.45/99.50	v -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240
99.45/99.50	v -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250
99.45/99.50	v -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260
99.45/99.50	v -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270
99.45/99.50	v -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280
99.45/99.50	v -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290
99.45/99.50	v -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300
99.45/99.50	v -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310
99.45/99.50	v -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320
99.45/99.50	v -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330
99.45/99.50	v -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340
99.45/99.50	v -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350
99.45/99.50	v -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360
99.45/99.50	v -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370
99.45/99.50	v -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380
99.45/99.50	v -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390
99.45/99.50	v -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400
99.45/99.50	v -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410
99.45/99.50	v -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420
99.45/99.50	v -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430
99.45/99.50	v -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440
99.45/99.50	v -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450
99.45/99.50	v -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460
99.45/99.50	v -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470
99.45/99.50	v -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480
99.45/99.50	v -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490
99.45/99.50	v -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500
99.45/99.50	v x8501 x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510
99.45/99.50	v -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520
99.45/99.50	v -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530
99.45/99.50	v -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540
99.45/99.50	v -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 x8548 x8549 x8550
99.45/99.50	v x8551 x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560
99.45/99.50	v -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 x8569 x8570
99.45/99.50	v -x8571 -x8572 x8573 -x8574 x8575 x8576 x8577 x8578 -x8579 -x8580
99.45/99.50	v -x8581 x8582 x8583 -x8584 -x8585 x8586 x8587 -x8588 -x8589 x8590
99.45/99.50	v x8591 -x8592 -x8593 x8594 x8595 -x8596 -x8597 x8598 x8599 -x8600
99.45/99.50	v -x8601 x8602 x8603 -x8604 x8605 -x8606 x8607 -x8608 -x8609 x8610
99.45/99.50	v x8611 x8612 x8613 x8614 x8615 x8616 x8617 x8618 -x8619 x8620
99.45/99.50	v -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630
99.45/99.50	v -x8631 -x8632 -x8633 x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640
99.45/99.50	v -x8641 x8642 -x8643 -x8644 -x8645 x8646 -x8647 -x8648 -x8649 x8650
99.45/99.50	v -x8651 -x8652 -x8653 -x8654 -x8655 x8656 -x8657 -x8658 -x8659 -x8660
99.45/99.50	v -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670
99.45/99.50	v -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680
99.45/99.50	v -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690
99.45/99.50	v -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700
99.45/99.50	v -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710
99.45/99.50	v -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720
99.45/99.50	v -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730
99.45/99.50	v -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740
99.45/99.50	v -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750
99.45/99.50	v -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760
99.45/99.50	v -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770
99.45/99.50	v -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780
99.45/99.50	v -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790
99.45/99.50	v -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800
99.45/99.50	v -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810
99.45/99.50	v -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820
99.45/99.50	v -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830
99.45/99.50	v -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840
99.45/99.50	v -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850
99.45/99.50	v -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860
99.45/99.50	v -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870
99.45/99.50	v -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880
99.45/99.50	v -x8881 -x8882 -x8883 -x8884 x8885 -x8886 -x8887 x8888 x8889 x8890
99.45/99.50	v -x8891 -x8892 x8893 -x8894 -x8895 x8896 x8897 x8898 -x8899 -x8900
99.45/99.50	v x8901 -x8902 -x8903 x8904 x8905 -x8906 -x8907 x8908 x8909 x8910
99.45/99.50	v -x8911 x8912 x8913 -x8914 -x8915 x8916 x8917 -x8918 -x8919 x8920
99.45/99.50	v x8921 -x8922 -x8923 x8924 x8925 -x8926 -x8927 x8928 x8929 -x8930
99.45/99.50	v -x8931 x8932 x8933 -x8934 -x8935 x8936 -x8937
99.45/99.50	c total time = 99.464s

Verifier Data 

OK	2

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3712254-1338186675/watcher-3712254-1338186675 -o /tmp/evaluation-result-3712254-1338186675/solver-3712254-1338186675 -C 1800 -W 1900 -M 15500 HOME/toysat --wbo HOME/instance-3712254-1338186675.wbo 

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

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


[startup+0 s]
/proc/loadavg: 1.99 2.00 2.00 3/176 638
/proc/meminfo: memFree=30612048/32873844 swapFree=7620/7620
[pid=638] ppid=636 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/638/stat : 638 (toysat) R 636 638 29738 0 -1 4202496 574 0 0 0 0 0 0 0 20 0 1 0 284791879 6356992 508 33554432000 4194304 8973514 140734249789952 140734636455192 4208906 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/638/statm: 1552 522 311 1167 0 333 0

[startup+0.073302 s]
/proc/loadavg: 1.99 2.00 2.00 3/176 638
/proc/meminfo: memFree=30612048/32873844 swapFree=7620/7620
[pid=638] ppid=636 vsize=11328 CPUtime=0.06 cores=1,3,5,7
/proc/638/stat : 638 (toysat) R 636 638 29738 0 -1 4202496 1897 0 0 0 6 0 0 0 20 0 1 0 284791879 11599872 1819 33554432000 4194304 8973514 140734249789952 140734636455192 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/638/statm: 2832 1819 428 1167 0 1613 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11328

[startup+0.100269 s]
/proc/loadavg: 1.99 2.00 2.00 3/176 638
/proc/meminfo: memFree=30612048/32873844 swapFree=7620/7620
[pid=638] ppid=636 vsize=12352 CPUtime=0.09 cores=1,3,5,7
/proc/638/stat : 638 (toysat) R 636 638 29738 0 -1 4202496 2364 0 0 0 9 0 0 0 20 0 1 0 284791879 12648448 2286 33554432000 4194304 8973514 140734249789952 140734636455192 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/638/statm: 3088 2286 428 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352

[startup+0.30026 s]
/proc/loadavg: 1.99 2.00 2.00 3/176 638
/proc/meminfo: memFree=30612048/32873844 swapFree=7620/7620
[pid=638] ppid=636 vsize=22592 CPUtime=0.28 cores=1,3,5,7
/proc/638/stat : 638 (toysat) R 636 638 29738 0 -1 4202496 4924 0 0 0 28 0 0 0 20 0 1 0 284791879 23134208 4846 33554432000 4194304 8973514 140734249789952 140734636455192 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/638/statm: 5648 4846 428 1167 0 4429 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 22592

[startup+0.70023 s]
/proc/loadavg: 1.99 2.00 2.00 3/176 638
/proc/meminfo: memFree=30612048/32873844 swapFree=7620/7620
[pid=638] ppid=636 vsize=45120 CPUtime=0.68 cores=1,3,5,7
/proc/638/stat : 638 (toysat) R 636 638 29738 0 -1 4202496 10572 0 0 0 67 1 0 0 20 0 1 0 284791879 46202880 10494 33554432000 4194304 8973514 140734249789952 140734636455192 7841851 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/638/statm: 11280 10494 438 1167 0 10061 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 45120

[startup+1.50018 s]
/proc/loadavg: 1.99 2.00 2.00 3/175 643
/proc/meminfo: memFree=30960256/32873844 swapFree=7620/7620
[pid=638] ppid=636 vsize=68672 CPUtime=1.49 cores=1,3,5,7
/proc/638/stat : 638 (toysat) R 636 638 29738 0 -1 4202496 16461 0 0 0 146 3 0 0 20 0 1 0 284791879 70320128 16383 33554432000 4194304 8973514 140734249789952 140734249789448 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/638/statm: 17168 16383 439 1167 0 15949 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 68672

[startup+3.10019 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 677
/proc/meminfo: memFree=30908336/32873844 swapFree=7620/7620
[pid=638] ppid=636 vsize=68672 CPUtime=3.08 cores=1,3,5,7
/proc/638/stat : 638 (toysat) R 636 638 29738 0 -1 4202496 16461 0 0 0 305 3 0 0 20 0 1 0 284791879 70320128 16383 33554432000 4194304 8973514 140734249789952 140734249789216 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/638/statm: 17168 16383 439 1167 0 15949 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 68672

[startup+6.3002 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 677
/proc/meminfo: memFree=30898648/32873844 swapFree=7620/7620
[pid=638] ppid=636 vsize=70720 CPUtime=6.28 cores=1,3,5,7
/proc/638/stat : 638 (toysat) R 636 638 29738 0 -1 4202496 16979 0 0 0 623 5 0 0 20 0 1 0 284791879 72417280 16895 33554432000 4194304 8973514 140734249789952 140734249789448 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/638/statm: 17680 16895 439 1167 0 16461 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 70720

[startup+12.7002 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 677
/proc/meminfo: memFree=30897712/32873844 swapFree=7620/7620
[pid=638] ppid=636 vsize=70720 CPUtime=12.68 cores=1,3,5,7
/proc/638/stat : 638 (toysat) R 636 638 29738 0 -1 4202496 16979 0 0 0 1261 7 0 0 20 0 1 0 284791879 72417280 16895 33554432000 4194304 8973514 140734249789952 140734249789448 7841851 0 2 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/638/statm: 17680 16895 439 1167 0 16461 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 70720

[startup+25.5003 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 677
/proc/meminfo: memFree=30898200/32873844 swapFree=7620/7620
[pid=638] ppid=636 vsize=70720 CPUtime=25.47 cores=1,3,5,7
/proc/638/stat : 638 (toysat) R 636 638 29738 0 -1 4202496 16988 0 0 0 2536 11 0 0 20 0 1 0 284791879 72417280 16895 33554432000 4194304 8973514 140734249789952 140734249789448 7937344 0 0 0 34082818 0 0 0 17 1 0 0 0 0 0
/proc/638/statm: 17680 16895 439 1167 0 16461 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 70720

[startup+51.1003 s]
/proc/loadavg: 2.07 2.01 2.00 3/177 677
/proc/meminfo: memFree=30897936/32873844 swapFree=7620/7620
[pid=638] ppid=636 vsize=70720 CPUtime=51.06 cores=1,3,5,7
/proc/638/stat : 638 (toysat) R 636 638 29738 0 -1 4202496 16993 0 0 0 5087 19 0 0 20 0 1 0 284791879 72417280 16895 33554432000 4194304 8973514 140734249789952 140734249789448 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/638/statm: 17680 16895 439 1167 0 16461 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 70720

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

[startup+76.7003 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 677
/proc/meminfo: memFree=30898012/32873844 swapFree=7620/7620
[pid=638] ppid=636 vsize=70720 CPUtime=76.66 cores=1,3,5,7
/proc/638/stat : 638 (toysat) R 636 638 29738 0 -1 4202496 16993 0 0 0 7638 28 0 0 20 0 1 0 284791879 72417280 16895 33554432000 4194304 8973514 140734249789952 140734249789448 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/638/statm: 17680 16895 439 1167 0 16461 0
Current children cumulated CPU time (s) 76.66
Current children cumulated vsize (KiB) 70720

[startup+89.5003 s]
/proc/loadavg: 2.11 2.03 2.01 3/174 705
/proc/meminfo: memFree=30944888/32873844 swapFree=7620/7620
[pid=638] ppid=636 vsize=96320 CPUtime=89.45 cores=1,3,5,7
/proc/638/stat : 638 (toysat) R 636 638 29738 0 -1 4202496 23421 0 0 0 8913 32 0 0 20 0 1 0 284791879 98631680 23323 33554432000 4194304 8973514 140734249789952 140734249771968 4441196 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/638/statm: 24080 23323 467 1167 0 22861 0
Current children cumulated CPU time (s) 89.45
Current children cumulated vsize (KiB) 96320

[startup+95.9003 s]
/proc/loadavg: 2.10 2.03 2.00 3/177 754
/proc/meminfo: memFree=30890884/32873844 swapFree=7620/7620
[pid=638] ppid=636 vsize=96320 CPUtime=95.85 cores=1,3,5,7
/proc/638/stat : 638 (toysat) R 636 638 29738 0 -1 4202496 23421 0 0 0 9552 33 0 0 20 0 1 0 284791879 98631680 23323 33554432000 4194304 8973514 140734249789952 140734249771968 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/638/statm: 24080 23323 467 1167 0 22861 0
Current children cumulated CPU time (s) 95.85
Current children cumulated vsize (KiB) 96320

[startup+97.5003 s]
/proc/loadavg: 2.10 2.03 2.00 3/177 754
/proc/meminfo: memFree=30891008/32873844 swapFree=7620/7620
[pid=638] ppid=636 vsize=96320 CPUtime=97.45 cores=1,3,5,7
/proc/638/stat : 638 (toysat) R 636 638 29738 0 -1 4202496 23421 0 0 0 9712 33 0 0 20 0 1 0 284791879 98631680 23323 33554432000 4194304 8973514 140734249789952 140734249789448 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/638/statm: 24080 23323 467 1167 0 22861 0
Current children cumulated CPU time (s) 97.45
Current children cumulated vsize (KiB) 96320

[startup+98.3003 s]
/proc/loadavg: 2.10 2.03 2.00 3/177 754
/proc/meminfo: memFree=30882824/32873844 swapFree=7620/7620
[pid=638] ppid=636 vsize=96320 CPUtime=98.25 cores=1,3,5,7
/proc/638/stat : 638 (toysat) R 636 638 29738 0 -1 4202496 23421 0 0 0 9792 33 0 0 20 0 1 0 284791879 98631680 23323 33554432000 4194304 8973514 140734249789952 140734249789216 6571949 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/638/statm: 24080 23323 467 1167 0 22861 0
Current children cumulated CPU time (s) 98.25
Current children cumulated vsize (KiB) 96320

[startup+99.1003 s]
/proc/loadavg: 2.10 2.03 2.00 3/177 754
/proc/meminfo: memFree=30882716/32873844 swapFree=7620/7620
[pid=638] ppid=636 vsize=96320 CPUtime=99.05 cores=1,3,5,7
/proc/638/stat : 638 (toysat) R 636 638 29738 0 -1 4202496 23421 0 0 0 9872 33 0 0 20 0 1 0 284791879 98631680 23323 33554432000 4194304 8973514 140734249789952 140734249771968 4427291 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/638/statm: 24080 23323 467 1167 0 22861 0
Current children cumulated CPU time (s) 99.05
Current children cumulated vsize (KiB) 96320

[startup+99.5003 s]
/proc/loadavg: 2.10 2.03 2.00 3/177 754
/proc/meminfo: memFree=30882716/32873844 swapFree=7620/7620
[pid=638] ppid=636 vsize=96320 CPUtime=99.45 cores=1,3,5,7
/proc/638/stat : 638 (toysat) R 636 638 29738 0 -1 4202496 23423 0 0 0 9912 33 0 0 20 0 1 0 284791879 98631680 23325 33554432000 4194304 8973514 140734249789952 140734249771968 7841851 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/638/statm: 24080 23325 468 1167 0 22861 0
Current children cumulated CPU time (s) 99.45
Current children cumulated vsize (KiB) 96320

Child status: 0
Real time (s): 99.5077
CPU time (s): 99.4669
CPU user time (s): 99.1279
CPU system time (s): 0.338948
CPU usage (%): 99.959
Max. virtual memory (cumulated for all children) (KiB): 96320

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 99.1279
system time used= 0.338948
maximum resident set size= 93312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23426
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= 23
involuntary context switches= 337

runsolver used 0.187971 second user time and 0.427934 second system time

The end

Launcher Data 

Begin job on node143 at 2012-05-28 08:31:15
IDJOB=3712254
IDBENCH=79102
IDSOLVER=2291
FILE ID=node143/3712254-1338186675
RUNJOBID= node143-1338160335-29755
PBS_JOBID= 14624561
Free space on /tmp= 71644 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB10/normalized-PB10/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-cache.inv10.ucl--soft-0-100-0.wbo
COMMAND LINE= HOME/toysat --wbo BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3712254-1338186675/watcher-3712254-1338186675 -o /tmp/evaluation-result-3712254-1338186675/solver-3712254-1338186675 -C 1800 -W 1900 -M 15500  HOME/toysat --wbo HOME/instance-3712254-1338186675.wbo

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

MD5SUM BENCH= ae1c71418dfe9cc95c50a98d4ee97169
RANDOM SEED=958108836

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30612832 kB
Buffers:          384924 kB
Cached:           614312 kB
SwapCached:            0 kB
Active:          1039460 kB
Inactive:         383640 kB
Active(anon):     414840 kB
Inactive(anon):    11300 kB
Active(file):     624620 kB
Inactive(file):   372340 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             28736 kB
Writeback:             0 kB
AnonPages:        431148 kB
Mapped:            15960 kB
Shmem:               200 kB
Slab:             697892 kB
SReclaimable:     139660 kB
SUnreclaim:       558232 kB
KernelStack:        1448 kB
PageTables:         4900 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     538772 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71648 MiB
End job on node143 at 2012-05-28 08:32:55