Trace number 3468214

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
clasp 2.0-R4191OPT-10270 160.386 160.38

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-mzzv42z.opb
MD5SUM8886b8ab7bdc8ec03150a7b794b8a992
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-10270
Best CPU time to get the best result obtained on this benchmark72.8939
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -10270
Optimality of the best value was proved YES
Number of variables12596
Total number of constraints10687
Number of constraints which are clauses4
Number of constraints which are cardinality constraints (but not clauses)5680
Number of constraints which are nor clauses,nor cardinality constraints5003
Minimum length of a constraint2
Maximum length of a constraint80
Number of terms in the objective function 714
Biggest coefficient in the objective function 559
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 66891
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 1117
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 66891
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

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

Verifier Data

OK	-10270

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3468214-1307082999/watcher-3468214-1307082999 -o /tmp/evaluation-result-3468214-1307082999/solver-3468214-1307082999 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468214-1307082999.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2 

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

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


[startup+0 s]
/proc/loadavg: 2.01 2.01 2.00 2/437 1547
/proc/meminfo: memFree=24786720/32951124 swapFree=50923800/67111528
[pid=1547] ppid=1545 vsize=14652 CPUtime=0 cores=1,3,5,7
/proc/1547/stat : 1547 (clasp) R 1545 1547 29572 0 -1 4202496 1101 0 0 0 0 0 0 0 25 0 1 0 800715483 15003648 944 33554432000 4194304 4933572 140734577557712 18446744073709551615 4652759 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1547/statm: 3700 950 322 181 0 709 0

[startup+0.114256 s]
/proc/loadavg: 2.01 2.01 2.00 2/437 1547
/proc/meminfo: memFree=24786720/32951124 swapFree=50923800/67111528
[pid=1547] ppid=1545 vsize=22588 CPUtime=0.1 cores=1,3,5,7
/proc/1547/stat : 1547 (clasp) R 1545 1547 29572 0 -1 4202496 3414 0 0 0 10 0 0 0 25 0 1 0 800715483 23130112 3009 33554432000 4194304 4933572 140734577557712 18446744073709551615 270338044613 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1547/statm: 5647 3009 378 181 0 2656 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 22588

[startup+0.200245 s]
/proc/loadavg: 2.01 2.01 2.00 2/437 1547
/proc/meminfo: memFree=24786720/32951124 swapFree=50923800/67111528
[pid=1547] ppid=1545 vsize=23116 CPUtime=0.19 cores=1,3,5,7
/proc/1547/stat : 1547 (clasp) R 1545 1547 29572 0 -1 4202496 3532 0 0 0 19 0 0 0 25 0 1 0 800715483 23670784 3127 33554432000 4194304 4933572 140734577557712 18446744073709551615 270338044613 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1547/statm: 5779 3127 378 181 0 2788 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 23116

[startup+0.300222 s]
/proc/loadavg: 2.01 2.01 2.00 2/437 1547
/proc/meminfo: memFree=24786720/32951124 swapFree=50923800/67111528
[pid=1547] ppid=1545 vsize=23648 CPUtime=0.29 cores=1,3,5,7
/proc/1547/stat : 1547 (clasp) R 1545 1547 29572 0 -1 4202496 3665 0 0 0 29 0 0 0 25 0 1 0 800715483 24215552 3260 33554432000 4194304 4933572 140734577557712 18446744073709551615 4368896 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1547/statm: 5912 3260 384 181 0 2921 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23648

[startup+0.701145 s]
/proc/loadavg: 2.01 2.01 2.00 2/437 1547
/proc/meminfo: memFree=24786720/32951124 swapFree=50923800/67111528
[pid=1547] ppid=1545 vsize=24868 CPUtime=0.69 cores=1,3,5,7
/proc/1547/stat : 1547 (clasp) R 1545 1547 29572 0 -1 4202496 3967 0 0 0 69 0 0 0 25 0 1 0 800715483 25464832 3562 33554432000 4194304 4933572 140734577557712 18446744073709551615 4713206 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1547/statm: 6217 3562 385 181 0 3226 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24868

[startup+1.50099 s]
/proc/loadavg: 2.01 2.01 2.00 3/438 1548
/proc/meminfo: memFree=24772832/32951124 swapFree=50923800/67111528
[pid=1547] ppid=1545 vsize=25696 CPUtime=1.49 cores=1,3,5,7
/proc/1547/stat : 1547 (clasp) R 1545 1547 29572 0 -1 4202496 4182 0 0 0 149 0 0 0 25 0 1 0 800715483 26312704 3777 33554432000 4194304 4933572 140734577557712 18446744073709551615 4718579 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1547/statm: 6424 3777 385 181 0 3433 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25696

[startup+3.10066 s]
/proc/loadavg: 2.01 2.01 2.00 3/438 1548
/proc/meminfo: memFree=24771012/32951124 swapFree=50923800/67111528
[pid=1547] ppid=1545 vsize=26496 CPUtime=3.09 cores=1,3,5,7
/proc/1547/stat : 1547 (clasp) R 1545 1547 29572 0 -1 4202496 4386 0 0 0 309 0 0 0 25 0 1 0 800715483 27131904 3981 33554432000 4194304 4933572 140734577557712 18446744073709551615 4637468 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1547/statm: 6624 3981 385 181 0 3633 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26496

[startup+6.30103 s]
/proc/loadavg: 2.01 2.00 2.00 3/438 1548
/proc/meminfo: memFree=24768116/32951124 swapFree=50923800/67111528
[pid=1547] ppid=1545 vsize=28376 CPUtime=6.3 cores=1,3,5,7
/proc/1547/stat : 1547 (clasp) R 1545 1547 29572 0 -1 4202496 4837 0 0 0 629 1 0 0 25 0 1 0 800715483 29057024 4432 33554432000 4194304 4933572 140734577557712 18446744073709551615 4711278 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1547/statm: 7094 4432 385 181 0 4103 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 28376

[startup+12.7008 s]
/proc/loadavg: 2.01 2.00 2.00 3/438 1548
/proc/meminfo: memFree=24765532/32951124 swapFree=50923800/67111528
[pid=1547] ppid=1545 vsize=29744 CPUtime=12.7 cores=1,3,5,7
/proc/1547/stat : 1547 (clasp) R 1545 1547 29572 0 -1 4202496 5179 0 0 0 1269 1 0 0 25 0 1 0 800715483 30457856 4774 33554432000 4194304 4933572 140734577557712 18446744073709551615 4710923 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1547/statm: 7436 4774 385 181 0 4445 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 29744

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 1548
/proc/meminfo: memFree=24763792/32951124 swapFree=50923800/67111528
[pid=1547] ppid=1545 vsize=31688 CPUtime=25.5 cores=1,3,5,7
/proc/1547/stat : 1547 (clasp) R 1545 1547 29572 0 -1 4202496 5668 0 0 0 2549 1 0 0 25 0 1 0 800715483 32448512 5263 33554432000 4194304 4933572 140734577557712 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1547/statm: 7922 5263 385 181 0 4931 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 31688

[startup+51.1011 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 1549
/proc/meminfo: memFree=24761252/32951124 swapFree=50923800/67111528
[pid=1547] ppid=1545 vsize=34472 CPUtime=51.1 cores=1,3,5,7
/proc/1547/stat : 1547 (clasp) R 1545 1547 29572 0 -1 4202496 6311 0 0 0 5109 1 0 0 25 0 1 0 800715483 35299328 5906 33554432000 4194304 4933572 140734577557712 18446744073709551615 4368936 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1547/statm: 8618 5906 385 181 0 5627 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 34472

[startup+102.301 s]
/proc/loadavg: 2.13 2.03 2.01 3/438 1550
/proc/meminfo: memFree=24752152/32951124 swapFree=50923800/67111528
[pid=1547] ppid=1545 vsize=40800 CPUtime=102.3 cores=1,3,5,7
/proc/1547/stat : 1547 (clasp) R 1545 1547 29572 0 -1 4202496 7868 0 0 0 10229 1 0 0 25 0 1 0 800715483 41779200 7463 33554432000 4194304 4933572 140734577557712 18446744073709551615 4648810 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1547/statm: 10200 7463 385 181 0 7209 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 40800

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

[startup+102.416 s]
/proc/loadavg: 2.13 2.03 2.01 3/438 1550
/proc/meminfo: memFree=24752152/32951124 swapFree=50923800/67111528
[pid=1547] ppid=1545 vsize=40800 CPUtime=102.41 cores=1,3,5,7
/proc/1547/stat : 1547 (clasp) R 1545 1547 29572 0 -1 4202496 7868 0 0 0 10240 1 0 0 25 0 1 0 800715483 41779200 7463 33554432000 4194304 4933572 140734577557712 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1547/statm: 10200 7463 385 181 0 7209 0
Current children cumulated CPU time (s) 102.41
Current children cumulated vsize (KiB) 40800

[startup+128.001 s]
/proc/loadavg: 2.09 2.03 2.01 3/438 1551
/proc/meminfo: memFree=24751264/32951124 swapFree=50923800/67111528
[pid=1547] ppid=1545 vsize=42376 CPUtime=128 cores=1,3,5,7
/proc/1547/stat : 1547 (clasp) R 1545 1547 29572 0 -1 4202496 8236 0 0 0 12799 1 0 0 25 0 1 0 800715483 43393024 7831 33554432000 4194304 4933572 140734577557712 18446744073709551615 4649830 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1547/statm: 10594 7831 385 181 0 7603 0
Current children cumulated CPU time (s) 128
Current children cumulated vsize (KiB) 42376

[startup+140.8 s]
/proc/loadavg: 2.07 2.03 2.01 3/438 1551
/proc/meminfo: memFree=24750512/32951124 swapFree=50923800/67111528
[pid=1547] ppid=1545 vsize=43180 CPUtime=140.8 cores=1,3,5,7
/proc/1547/stat : 1547 (clasp) R 1545 1547 29572 0 -1 4202496 8428 0 0 0 14079 1 0 0 25 0 1 0 800715483 44216320 8023 33554432000 4194304 4933572 140734577557712 18446744073709551615 4711074 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1547/statm: 10795 8023 385 181 0 7804 0
Current children cumulated CPU time (s) 140.8
Current children cumulated vsize (KiB) 43180

[startup+153.601 s]
/proc/loadavg: 2.13 2.04 2.01 3/438 1552
/proc/meminfo: memFree=24747896/32951124 swapFree=50923800/67111528
[pid=1547] ppid=1545 vsize=44520 CPUtime=153.6 cores=1,3,5,7
/proc/1547/stat : 1547 (clasp) R 1545 1547 29572 0 -1 4202496 8733 0 0 0 15359 1 0 0 25 0 1 0 800715483 45588480 8328 33554432000 4194304 4933572 140734577557712 18446744073709551615 4718492 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1547/statm: 11130 8328 385 181 0 8139 0
Current children cumulated CPU time (s) 153.6
Current children cumulated vsize (KiB) 44520

[startup+156.8 s]
/proc/loadavg: 2.12 2.04 2.01 3/438 1552
/proc/meminfo: memFree=24747892/32951124 swapFree=50923800/67111528
[pid=1547] ppid=1545 vsize=44660 CPUtime=156.8 cores=1,3,5,7
/proc/1547/stat : 1547 (clasp) R 1545 1547 29572 0 -1 4202496 8763 0 0 0 15679 1 0 0 25 0 1 0 800715483 45731840 8358 33554432000 4194304 4933572 140734577557712 18446744073709551615 4328669 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1547/statm: 11165 8358 385 181 0 8174 0
Current children cumulated CPU time (s) 156.8
Current children cumulated vsize (KiB) 44660

[startup+158.401 s]
/proc/loadavg: 2.12 2.04 2.01 3/438 1552
/proc/meminfo: memFree=24747768/32951124 swapFree=50923800/67111528
[pid=1547] ppid=1545 vsize=44980 CPUtime=158.4 cores=1,3,5,7
/proc/1547/stat : 1547 (clasp) R 1545 1547 29572 0 -1 4202496 8834 0 0 0 15839 1 0 0 25 0 1 0 800715483 46059520 8429 33554432000 4194304 4933572 140734577557712 18446744073709551615 4368938 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1547/statm: 11245 8429 385 181 0 8254 0
Current children cumulated CPU time (s) 158.4
Current children cumulated vsize (KiB) 44980

[startup+159.201 s]
/proc/loadavg: 2.12 2.04 2.01 3/438 1552
/proc/meminfo: memFree=24747768/32951124 swapFree=50923800/67111528
[pid=1547] ppid=1545 vsize=44980 CPUtime=159.2 cores=1,3,5,7
/proc/1547/stat : 1547 (clasp) R 1545 1547 29572 0 -1 4202496 8834 0 0 0 15919 1 0 0 25 0 1 0 800715483 46059520 8429 33554432000 4194304 4933572 140734577557712 18446744073709551615 4632072 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1547/statm: 11245 8429 385 181 0 8254 0
Current children cumulated CPU time (s) 159.2
Current children cumulated vsize (KiB) 44980

[startup+160.001 s]
/proc/loadavg: 2.12 2.04 2.01 3/438 1552
/proc/meminfo: memFree=24747768/32951124 swapFree=50923800/67111528
[pid=1547] ppid=1545 vsize=44980 CPUtime=160 cores=1,3,5,7
/proc/1547/stat : 1547 (clasp) R 1545 1547 29572 0 -1 4202496 8834 0 0 0 15999 1 0 0 25 0 1 0 800715483 46059520 8429 33554432000 4194304 4933572 140734577557712 18446744073709551615 4719112 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1547/statm: 11245 8429 385 181 0 8254 0
Current children cumulated CPU time (s) 160
Current children cumulated vsize (KiB) 44980

[startup+160.2 s]
/proc/loadavg: 2.12 2.04 2.01 3/438 1552
/proc/meminfo: memFree=24747768/32951124 swapFree=50923800/67111528
[pid=1547] ppid=1545 vsize=44980 CPUtime=160.2 cores=1,3,5,7
/proc/1547/stat : 1547 (clasp) R 1545 1547 29572 0 -1 4202496 8834 0 0 0 16019 1 0 0 25 0 1 0 800715483 46059520 8429 33554432000 4194304 4933572 140734577557712 18446744073709551615 4631996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1547/statm: 11245 8429 385 181 0 8254 0
Current children cumulated CPU time (s) 160.2
Current children cumulated vsize (KiB) 44980

[startup+160.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/438 1552
/proc/meminfo: memFree=24747768/32951124 swapFree=50923800/67111528
[pid=1547] ppid=1545 vsize=44980 CPUtime=160.3 cores=1,3,5,7
/proc/1547/stat : 1547 (clasp) R 1545 1547 29572 0 -1 4202496 8840 0 0 0 16029 1 0 0 25 0 1 0 800715483 46059520 8435 33554432000 4194304 4933572 140734577557712 18446744073709551615 4648645 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/1547/statm: 11245 8435 385 181 0 8254 0
Current children cumulated CPU time (s) 160.3
Current children cumulated vsize (KiB) 44980

Child status: 10
Real time (s): 160.38
CPU time (s): 160.386
CPU user time (s): 160.368
CPU system time (s): 0.017997
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 44980

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

runsolver used 0.636903 second user time and 1.56176 second system time

The end

Launcher Data

Begin job on node143 at 2011-06-03 08:36:39
IDJOB=3468214
IDBENCH=1878
IDSOLVER=1958
FILE ID=node143/3468214-1307082999
RUNJOBID= node143-1307077589-901
PBS_JOBID= 13497843
Free space on /tmp= 73892 MiB

SOLVER NAME= clasp 2.0-R4191
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv42z.opb
COMMAND LINE= HOME/clasp BENCHNAME --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3468214-1307082999/watcher-3468214-1307082999 -o /tmp/evaluation-result-3468214-1307082999/solver-3468214-1307082999 -C 1800 -W 1900 -M 15500  HOME/clasp HOME/instance-3468214-1307082999.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2 

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

MD5SUM BENCH= 8886b8ab7bdc8ec03150a7b794b8a992
RANDOM SEED=132951981

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24787000 kB
Buffers:        258928 kB
Cached:         399884 kB
SwapCached:       9140 kB
Active:        7464676 kB
Inactive:       421012 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24787000 kB
SwapTotal:    67111528 kB
SwapFree:     50923800 kB
Dirty:            2388 kB
Writeback:           0 kB
AnonPages:     7223944 kB
Mapped:          22120 kB
Slab:           131088 kB
PageTables:      79976 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 115695640 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73892 MiB
End job on node143 at 2011-06-03 08:39:19