Trace number 458494

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, and are wall clock time (not CPU 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
PBS4_v2 2007-03-23SAT (TO)2168 1800.2 1800.89

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-core2586-950.opb
MD5SUMac375eafd62b8d1010f2c1559ff8989d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark547
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 547
Optimality of the best value was proved NO
Number of variables13215
Total number of constraints2587
Number of constraints which are clauses2586
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint10632
Number of terms in the objective function 13215
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 13215
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 9256
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 19888
Number of bits of the biggest sum of numbers15
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 (download as text)

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

Verifier Data (download as text)

OK	2168

Conversion Script Data (download as text)

/tmp/evaluation/458494-1178630834/instance-458494-1178630834.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node46/watcher-458494-1178630834 -o ROOT/results/node46/solver-458494-1178630834 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458494-1178630834/instance-458494-1178630834.opb 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/78 20592
/proc/meminfo: memFree=1541616/2055920 swapFree=4159456/4192956
[pid=20592] ppid=20590 vsize=2696 CPUtime=0
/proc/20592/stat : 20592 (PBS4_SAT07v2) R 20590 20592 20089 0 -1 4194304 469 0 0 0 0 0 0 0 18 0 1 0 217766477 2760704 451 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134542169 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20592/statm: 674 453 79 219 0 451 0

[startup+0.081431 s]
/proc/loadavg: 0.92 0.98 0.99 3/78 20592
/proc/meminfo: memFree=1541616/2055920 swapFree=4159456/4192956
[pid=20592] ppid=20590 vsize=3928 CPUtime=0.07
/proc/20592/stat : 20592 (PBS4_SAT07v2) R 20590 20592 20089 0 -1 4194304 762 0 0 0 7 0 0 0 18 0 1 0 217766477 4022272 744 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134586362 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20592/statm: 982 744 86 219 0 759 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3928

[startup+0.101436 s]
/proc/loadavg: 0.92 0.98 0.99 3/78 20592
/proc/meminfo: memFree=1541616/2055920 swapFree=4159456/4192956
[pid=20592] ppid=20590 vsize=3928 CPUtime=0.09
/proc/20592/stat : 20592 (PBS4_SAT07v2) R 20590 20592 20089 0 -1 4194304 762 0 0 0 9 0 0 0 18 0 1 0 217766477 4022272 744 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134586362 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20592/statm: 982 744 86 219 0 759 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3928

[startup+0.301472 s]
/proc/loadavg: 0.92 0.98 0.99 3/78 20592
/proc/meminfo: memFree=1541616/2055920 swapFree=4159456/4192956
[pid=20592] ppid=20590 vsize=3928 CPUtime=0.29
/proc/20592/stat : 20592 (PBS4_SAT07v2) R 20590 20592 20089 0 -1 4194304 762 0 0 0 29 0 0 0 19 0 1 0 217766477 4022272 744 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134586468 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20592/statm: 982 744 86 219 0 759 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3928

[startup+0.701546 s]
/proc/loadavg: 0.92 0.98 0.99 3/78 20592
/proc/meminfo: memFree=1541616/2055920 swapFree=4159456/4192956
[pid=20592] ppid=20590 vsize=4136 CPUtime=0.69
/proc/20592/stat : 20592 (PBS4_SAT07v2) R 20590 20592 20089 0 -1 4194304 814 0 0 0 69 0 0 0 23 0 1 0 217766477 4235264 796 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134586977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20592/statm: 1034 796 86 219 0 811 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4136

[startup+1.5017 s]
/proc/loadavg: 0.92 0.98 0.99 2/79 20593
/proc/meminfo: memFree=1538344/2055920 swapFree=4159456/4192956
[pid=20592] ppid=20590 vsize=5252 CPUtime=1.49
/proc/20592/stat : 20592 (PBS4_SAT07v2) R 20590 20592 20089 0 -1 4194304 1072 0 0 0 148 1 0 0 25 0 1 0 217766477 5378048 1002 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134586468 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20592/statm: 1313 1002 86 219 0 1090 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5252

[startup+3.10199 s]
/proc/loadavg: 0.92 0.98 0.99 2/79 20593
/proc/meminfo: memFree=1537192/2055920 swapFree=4159456/4192956
[pid=20592] ppid=20590 vsize=5588 CPUtime=3.09
/proc/20592/stat : 20592 (PBS4_SAT07v2) R 20590 20592 20089 0 -1 4194304 1337 0 0 0 308 1 0 0 25 0 1 0 217766477 5722112 1173 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134546107 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20592/statm: 1397 1173 90 219 0 1174 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5588

[startup+6.30159 s]
/proc/loadavg: 0.93 0.98 0.99 2/79 20593
/proc/meminfo: memFree=1534056/2055920 swapFree=4159456/4192956
[pid=20592] ppid=20590 vsize=12888 CPUtime=6.29
/proc/20592/stat : 20592 (PBS4_SAT07v2) R 20590 20592 20089 0 -1 4194304 2735 0 0 0 626 3 0 0 25 0 1 0 217766477 13197312 2571 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134548678 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20592/statm: 3222 2571 90 219 0 2999 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12888

[startup+12.7018 s]
/proc/loadavg: 0.93 0.98 0.99 2/79 20593
/proc/meminfo: memFree=1514472/2055920 swapFree=4159456/4192956
[pid=20592] ppid=20590 vsize=37464 CPUtime=12.68
/proc/20592/stat : 20592 (PBS4_SAT07v2) R 20590 20592 20089 0 -1 4194304 7427 0 0 0 1263 5 0 0 25 0 1 0 217766477 38363136 7263 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134558755 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20592/statm: 9366 7263 90 219 0 9143 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 37464

[startup+25.5011 s]
/proc/loadavg: 0.95 0.98 0.99 2/79 20593
/proc/meminfo: memFree=1475816/2055920 swapFree=4159456/4192956
[pid=20592] ppid=20590 vsize=70232 CPUtime=25.49
/proc/20592/stat : 20592 (PBS4_SAT07v2) R 20590 20592 20089 0 -1 4194304 16800 0 0 0 2540 9 0 0 25 0 1 0 217766477 71917568 16636 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20592/statm: 17558 16636 90 219 0 17335 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 70232

[startup+51.1019 s]
/proc/loadavg: 0.96 0.98 0.99 2/79 20593
/proc/meminfo: memFree=1396520/2055920 swapFree=4159456/4192956
[pid=20592] ppid=20590 vsize=267036 CPUtime=51.07
/proc/20592/stat : 20592 (PBS4_SAT07v2) R 20590 20592 20089 0 -1 4194304 36865 0 0 0 5089 18 0 0 25 0 1 0 217766477 273444864 36701 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20592/statm: 66759 36701 90 219 0 66536 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 267036

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/79 20593
/proc/meminfo: memFree=1228968/2055920 swapFree=4159456/4192956
[pid=20592] ppid=20590 vsize=398240 CPUtime=102.26
/proc/20592/stat : 20592 (PBS4_SAT07v2) R 20590 20592 20089 0 -1 4194304 78120 0 0 0 10190 36 0 0 25 0 1 0 217766477 407797760 77956 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134560849 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20592/statm: 99560 77956 90 219 0 99337 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 398240

[startup+162.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 20593
/proc/meminfo: memFree=1037864/2055920 swapFree=4159456/4192956
[pid=20592] ppid=20590 vsize=595040 CPUtime=162.24
/proc/20592/stat : 20592 (PBS4_SAT07v2) R 20590 20592 20089 0 -1 4194304 126352 0 0 0 16165 59 0 0 25 0 1 0 217766477 609320960 126139 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134560147 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20592/statm: 148760 126139 90 219 0 148537 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 595040

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 20593
/proc/meminfo: memFree=1015016/2055920 swapFree=4159456/4192956
[pid=20592] ppid=20590 vsize=598532 CPUtime=222.22
/proc/20592/stat : 20592 (PBS4_SAT07v2) R 20590 20592 20089 0 -1 4194304 131532 0 0 0 22085 137 0 0 25 0 1 0 217766477 612896768 131319 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20592/statm: 149633 131319 102 219 0 149410 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 598532

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 20593
/proc/meminfo: memFree=1014632/2055920 swapFree=4159456/4192956
[pid=20592] ppid=20590 vsize=598532 CPUtime=282.2
/proc/20592/stat : 20592 (PBS4_SAT07v2) R 20590 20592 20089 0 -1 4194304 131631 0 0 0 28081 139 0 0 25 0 1 0 217766477 612896768 131418 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20592/statm: 149633 131418 102 219 0 149410 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 598532

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 20593
/proc/meminfo: memFree=1014056/2055920 swapFree=4159456/4192956
[pid=20592] ppid=20590 vsize=598916 CPUtime=342.18
/proc/20592/stat : 20592 (PBS4_SAT07v2) R 20590 20592 20089 0 -1 4194304 131775 0 0 0 34077 141 0 0 25 0 1 0 217766477 613289984 131562 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20592/statm: 149729 131562 102 219 0 149506 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 598916

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 20593
/proc/meminfo: memFree=1013672/2055920 swapFree=4159456/4192956
[pid=20592] ppid=20590 vsize=599076 CPUtime=402.15
/proc/20592/stat : 20592 (PBS4_SAT07v2) R 20590 20592 20089 0 -1 4194304 131871 0 0 0 40072 143 0 0 25 0 1 0 217766477 613453824 131658 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557362 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20592/statm: 149769 131658 102 219 0 149546 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 599076

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 20593
/proc/meminfo: memFree=1013352/2055920 swapFree=4159456/4192956
[pid=20592] ppid=20590 vsize=599076 CPUtime=462.13
/proc/20592/stat : 20592 (PBS4_SAT07v2) R 20590 20592 20089 0 -1 4194304 131956 0 0 0 46067 146 0 0 25 0 1 0 217766477 613453824 131743 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20592/statm: 149769 131743 102 219 0 149546 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 599076

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 20593
/proc/meminfo: memFree=1012840/2055920 swapFree=4159456/4192956
[pid=20592] ppid=20590 vsize=599268 CPUtime=522.11
/proc/20592/stat : 20592 (PBS4_SAT07v2) R 20590 20592 20089 0 -1 4194304 132066 0 0 0 52063 148 0 0 25 0 1 0 217766477 613650432 131853 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557396 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20592/statm: 149817 131853 102 219 0 149594 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 599268

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 20593
/proc/meminfo: memFree=1012456/2055920 swapFree=4159456/4192956
[pid=20592] ppid=20590 vsize=599268 CPUtime=582.09
/proc/20592/stat : 20592 (PBS4_SAT07v2) R 20590 20592 20089 0 -1 4194304 132177 0 0 0 58059 150 0 0 25 0 1 0 217766477 613650432 131964 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20592/statm: 149817 131964 102 219 0 149594 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 599268

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 20593
/proc/meminfo: memFree=1012136/2055920 swapFree=4159456/4192956
[pid=20592] ppid=20590 vsize=599268 CPUtime=642.08
/proc/20592/stat : 20592 (PBS4_SAT07v2) R 20590 20592 20089 0 -1 4194304 132253 0 0 0 64056 152 0 0 25 0 1 0 217766477 613650432 132040 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20592/statm: 149817 132040 102 219 0 149594 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 599268


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 20595
/proc/meminfo: memFree=1010792/2055920 swapFree=4159456/4192956
[pid=20592] ppid=20590 vsize=599268 CPUtime=881.99
/proc/20592/stat : 20592 (PBS4_SAT07v2) R 20590 20592 20089 0 -1 4194304 132585 0 0 0 88035 164 0 0 25 0 1 0 217766477 613650432 132372 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20592/statm: 149817 132372 102 219 0 149594 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 599268

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 20595
/proc/meminfo: memFree=1010472/2055920 swapFree=4159456/4192956
[pid=20592] ppid=20590 vsize=599268 CPUtime=941.97
/proc/20592/stat : 20592 (PBS4_SAT07v2) R 20590 20592 20089 0 -1 4194304 132669 0 0 0 94031 166 0 0 25 0 1 0 217766477 613650432 132456 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20592/statm: 149817 132456 102 219 0 149594 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 599268

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 20595
/proc/meminfo: memFree=1010216/2055920 swapFree=4159456/4192956
[pid=20592] ppid=20590 vsize=599268 CPUtime=1001.95
/proc/20592/stat : 20592 (PBS4_SAT07v2) R 20590 20592 20089 0 -1 4194304 132750 0 0 0 100026 169 0 0 25 0 1 0 217766477 613650432 132537 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557372 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20592/statm: 149817 132537 102 219 0 149594 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 599268

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 20595
/proc/meminfo: memFree=1009896/2055920 swapFree=4159456/4192956
[pid=20592] ppid=20590 vsize=599268 CPUtime=1061.93
/proc/20592/stat : 20592 (PBS4_SAT07v2) R 20590 20592 20089 0 -1 4194304 132818 0 0 0 106024 169 0 0 25 0 1 0 217766477 613650432 132605 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20592/statm: 149817 132605 102 219 0 149594 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 599268

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 20595
/proc/meminfo: memFree=1009640/2055920 swapFree=4159456/4192956
[pid=20592] ppid=20590 vsize=599268 CPUtime=1121.91
/proc/20592/stat : 20592 (PBS4_SAT07v2) R 20590 20592 20089 0 -1 4194304 132885 0 0 0 112021 170 0 0 25 0 1 0 217766477 613650432 132672 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20592/statm: 149817 132672 102 219 0 149594 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 599268

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 20595
/proc/meminfo: memFree=1009320/2055920 swapFree=4159456/4192956
[pid=20592] ppid=20590 vsize=599268 CPUtime=1181.89
/proc/20592/stat : 20592 (PBS4_SAT07v2) R 20590 20592 20089 0 -1 4194304 132957 0 0 0 118019 170 0 0 25 0 1 0 217766477 613650432 132744 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20592/statm: 149817 132744 102 219 0 149594 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 599268

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 20595
/proc/meminfo: memFree=1009000/2055920 swapFree=4159456/4192956
[pid=20592] ppid=20590 vsize=599268 CPUtime=1241.87
/proc/20592/stat : 20592 (PBS4_SAT07v2) R 20590 20592 20089 0 -1 4194304 133026 0 0 0 124016 171 0 0 25 0 1 0 217766477 613650432 132813 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20592/statm: 149817 132813 102 219 0 149594 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 599268

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 20595
/proc/meminfo: memFree=1008744/2055920 swapFree=4159456/4192956
[pid=20592] ppid=20590 vsize=599268 CPUtime=1301.85
/proc/20592/stat : 20592 (PBS4_SAT07v2) R 20590 20592 20089 0 -1 4194304 133094 0 0 0 130014 171 0 0 25 0 1 0 217766477 613650432 132881 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20592/statm: 149817 132881 102 219 0 149594 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 599268

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 20595
/proc/meminfo: memFree=1008424/2055920 swapFree=4159456/4192956
[pid=20592] ppid=20590 vsize=599268 CPUtime=1361.83
/proc/20592/stat : 20592 (PBS4_SAT07v2) R 20590 20592 20089 0 -1 4194304 133162 0 0 0 136011 172 0 0 25 0 1 0 217766477 613650432 132949 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557301 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20592/statm: 149817 132949 102 219 0 149594 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 599268

[startup+1422.31 s]
/proc/loadavg: 1.06 1.00 1.00 2/79 20595
/proc/meminfo: memFree=1008232/2055920 swapFree=4159456/4192956
[pid=20592] ppid=20590 vsize=599268 CPUtime=1421.81
/proc/20592/stat : 20592 (PBS4_SAT07v2) R 20590 20592 20089 0 -1 4194304 133234 0 0 0 142009 172 0 0 25 0 1 0 217766477 613650432 133021 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20592/statm: 149817 133021 102 219 0 149594 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 599268

[startup+1482.3 s]
/proc/loadavg: 1.02 1.00 1.00 2/79 20595
/proc/meminfo: memFree=1007912/2055920 swapFree=4159456/4192956
[pid=20592] ppid=20590 vsize=599268 CPUtime=1481.79
/proc/20592/stat : 20592 (PBS4_SAT07v2) R 20590 20592 20089 0 -1 4194304 133301 0 0 0 148007 172 0 0 25 0 1 0 217766477 613650432 133088 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20592/statm: 149817 133088 102 219 0 149594 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 599268

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 20595
/proc/meminfo: memFree=1007720/2055920 swapFree=4159456/4192956
[pid=20592] ppid=20590 vsize=599268 CPUtime=1541.77
/proc/20592/stat : 20592 (PBS4_SAT07v2) R 20590 20592 20089 0 -1 4194304 133369 0 0 0 154004 173 0 0 25 0 1 0 217766477 613650432 133156 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20592/statm: 149817 133156 102 219 0 149594 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 599268

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 20595
/proc/meminfo: memFree=1007464/2055920 swapFree=4159456/4192956
[pid=20592] ppid=20590 vsize=599268 CPUtime=1601.75
/proc/20592/stat : 20592 (PBS4_SAT07v2) R 20590 20592 20089 0 -1 4194304 133437 0 0 0 160002 173 0 0 25 0 1 0 217766477 613650432 133224 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20592/statm: 149817 133224 102 219 0 149594 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 599268

[startup+1662.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/79 20595
/proc/meminfo: memFree=1007144/2055920 swapFree=4159456/4192956
[pid=20592] ppid=20590 vsize=599268 CPUtime=1661.73
/proc/20592/stat : 20592 (PBS4_SAT07v2) R 20590 20592 20089 0 -1 4194304 133505 0 0 0 166000 173 0 0 25 0 1 0 217766477 613650432 133292 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557345 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20592/statm: 149817 133292 102 219 0 149594 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 599268

[startup+1722.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/79 20595
/proc/meminfo: memFree=1006888/2055920 swapFree=4159456/4192956
[pid=20592] ppid=20590 vsize=599268 CPUtime=1721.71
/proc/20592/stat : 20592 (PBS4_SAT07v2) R 20590 20592 20089 0 -1 4194304 133577 0 0 0 171997 174 0 0 25 0 1 0 217766477 613650432 133364 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134560849 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20592/statm: 149817 133364 102 219 0 149594 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 599268

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 20595
/proc/meminfo: memFree=1006632/2055920 swapFree=4159456/4192956
[pid=20592] ppid=20590 vsize=599268 CPUtime=1781.69
/proc/20592/stat : 20592 (PBS4_SAT07v2) R 20590 20592 20089 0 -1 4194304 133644 0 0 0 177995 174 0 0 25 0 1 0 217766477 613650432 133431 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20592/statm: 149817 133431 102 219 0 149594 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 599268



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 20595
/proc/meminfo: memFree=1006504/2055920 swapFree=4159456/4192956
[pid=20592] ppid=20590 vsize=599268 CPUtime=1800.09
/proc/20592/stat : 20592 (PBS4_SAT07v2) R 20590 20592 20089 0 -1 4194304 133666 0 0 0 179835 174 0 0 25 0 1 0 217766477 613650432 133453 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20592/statm: 149817 133453 102 219 0 149594 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 599268

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

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

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 20595
/proc/meminfo: memFree=1006504/2055920 swapFree=4159456/4192956
[pid=20592] ppid=20590 vsize=0 CPUtime=1800.19
/proc/20592/stat : 20592 (PBS4_SAT07v2) D 20590 20592 20089 0 -1 4194308 133669 0 0 0 179836 183 0 0 25 0 1 0 217766477 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 18446744072100444862 0 0 17 1 0 0
/proc/20592/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.89
CPU time (s): 1800.2
CPU user time (s): 1798.36
CPU system time (s): 1.83272
CPU usage (%): 99.9613
Max. virtual memory (cumulated for all children) (KiB): 599268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.36
system time used= 1.83272
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133669
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11
involuntary context switches= 1938

runsolver used 1.69874 second user time and 4.64929 second system time

The end

Launcher Data (download as text)

Begin job on node46 on Tue May  8 13:27:15 UTC 2007

IDJOB= 458494
IDBENCH= 1607
IDSOLVER= 200
FILE ID= node46/458494-1178630834

PBS_JOBID= 5218288

Free space on /tmp= 66217 MiB

SOLVER NAME= PBS4_v2 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-core2586-950.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/458494-1178630834/instance-458494-1178630834.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node46/convwatcher-458494-1178630834 -o ROOT/results/node46/conversion-458494-1178630834 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/458494-1178630834/instance-458494-1178630834.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node46/watcher-458494-1178630834 -o ROOT/results/node46/solver-458494-1178630834 -C 1800 -W 3600 -M 1800 --output-limit 1,15  PBS4_SAT07v2 /tmp/evaluation/458494-1178630834/instance-458494-1178630834.opb

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  ac375eafd62b8d1010f2c1559ff8989d

RANDOM SEED= 959829824

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node46.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.268
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5931.00
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.268
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1542024 kB
Buffers:         42844 kB
Cached:         325692 kB
SwapCached:       3288 kB
Active:         135860 kB
Inactive:       263012 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1542024 kB
SwapTotal:     4192956 kB
SwapFree:      4159456 kB
Dirty:            3320 kB
Writeback:           0 kB
Mapped:          37948 kB
Slab:           100388 kB
Committed_AS:  5188212 kB
PageTables:       2004 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66217 MiB

End job on node46 on Tue May  8 13:57:18 UTC 2007