Trace number 459224

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)280 1800.04 1800.52

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_007_area_delay.opb
MD5SUM22488dc65cdc0686edc96d304bd4d620
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark31
Best CPU time to get the best result obtained on this benchmark1782.75
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 31
Optimality of the best value was proved NO
Number of variables11334
Total number of constraints36509
Number of constraints which are clauses36509
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 5525
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 5525
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5525
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	280

Conversion Script Data (download as text)

/tmp/evaluation/459224-1178651675/instance-459224-1178651675.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/node11/watcher-459224-1178651675 -o ROOT/results/node11/solver-459224-1178651675 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459224-1178651675/instance-459224-1178651675.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.91 0.95 0.91 3/77 2817
/proc/meminfo: memFree=1927984/2055920 swapFree=4147100/4192956
[pid=2817] ppid=2815 vsize=2852 CPUtime=0
/proc/2817/stat : 2817 (PBS4_SAT07v2) R 2815 2817 1750 0 -1 4194304 454 0 0 0 0 0 0 0 18 0 1 0 306216417 2920448 437 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134594883 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2817/statm: 713 444 80 219 0 490 0

[startup+0.068589 s]
/proc/loadavg: 0.91 0.95 0.91 3/77 2817
/proc/meminfo: memFree=1927984/2055920 swapFree=4147100/4192956
[pid=2817] ppid=2815 vsize=3128 CPUtime=0.06
/proc/2817/stat : 2817 (PBS4_SAT07v2) R 2815 2817 1750 0 -1 4194304 585 0 0 0 6 0 0 0 18 0 1 0 306216417 3203072 567 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134586474 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2817/statm: 782 567 86 219 0 559 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 3128

[startup+0.101593 s]
/proc/loadavg: 0.91 0.95 0.91 3/77 2817
/proc/meminfo: memFree=1927984/2055920 swapFree=4147100/4192956
[pid=2817] ppid=2815 vsize=3128 CPUtime=0.09
/proc/2817/stat : 2817 (PBS4_SAT07v2) R 2815 2817 1750 0 -1 4194304 585 0 0 0 9 0 0 0 18 0 1 0 306216417 3203072 567 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134586362 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2817/statm: 782 567 86 219 0 559 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3128

[startup+0.301617 s]
/proc/loadavg: 0.91 0.95 0.91 3/77 2817
/proc/meminfo: memFree=1927984/2055920 swapFree=4147100/4192956
[pid=2817] ppid=2815 vsize=4448 CPUtime=0.29
/proc/2817/stat : 2817 (PBS4_SAT07v2) R 2815 2817 1750 0 -1 4194304 928 0 0 0 29 0 0 0 19 0 1 0 306216417 4554752 861 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2817/statm: 1112 862 86 219 0 889 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4448

[startup+0.701663 s]
/proc/loadavg: 0.91 0.95 0.91 3/77 2817
/proc/meminfo: memFree=1927984/2055920 swapFree=4147100/4192956
[pid=2817] ppid=2815 vsize=6720 CPUtime=0.69
/proc/2817/stat : 2817 (PBS4_SAT07v2) R 2815 2817 1750 0 -1 4194304 1722 0 0 0 68 1 0 0 22 0 1 0 306216417 6881280 1365 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135023068 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2817/statm: 1680 1365 102 219 0 1457 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6720

[startup+1.50176 s]
/proc/loadavg: 0.91 0.95 0.91 2/78 2818
/proc/meminfo: memFree=1922536/2055920 swapFree=4147100/4192956
[pid=2817] ppid=2815 vsize=8464 CPUtime=1.49
/proc/2817/stat : 2817 (PBS4_SAT07v2) R 2815 2817 1750 0 -1 4194304 1997 0 0 0 147 2 0 0 25 0 1 0 306216417 8667136 1640 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134545460 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2817/statm: 2116 1640 102 219 0 1893 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8464

[startup+3.10295 s]
/proc/loadavg: 0.91 0.95 0.91 2/78 2818
/proc/meminfo: memFree=1921128/2055920 swapFree=4147100/4192956
[pid=2817] ppid=2815 vsize=10716 CPUtime=3.09
/proc/2817/stat : 2817 (PBS4_SAT07v2) R 2815 2817 1750 0 -1 4194304 2322 0 0 0 306 3 0 0 25 0 1 0 306216417 10973184 1965 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2817/statm: 2679 1965 102 219 0 2456 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10716

[startup+6.30133 s]
/proc/loadavg: 0.92 0.95 0.91 2/78 2818
/proc/meminfo: memFree=1919592/2055920 swapFree=4147100/4192956
[pid=2817] ppid=2815 vsize=11628 CPUtime=6.29
/proc/2817/stat : 2817 (PBS4_SAT07v2) R 2815 2817 1750 0 -1 4194304 2558 0 0 0 624 5 0 0 25 0 1 0 306216417 11907072 2201 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134560667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2817/statm: 2907 2201 102 219 0 2684 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11628

[startup+12.7011 s]
/proc/loadavg: 0.93 0.95 0.91 2/78 2818
/proc/meminfo: memFree=1916968/2055920 swapFree=4147100/4192956
[pid=2817] ppid=2815 vsize=16808 CPUtime=12.68
/proc/2817/stat : 2817 (PBS4_SAT07v2) R 2815 2817 1750 0 -1 4194304 3215 0 0 0 1259 9 0 0 25 0 1 0 306216417 17211392 2858 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2817/statm: 4202 2858 102 219 0 3979 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 16808

[startup+25.5016 s]
/proc/loadavg: 0.94 0.96 0.91 2/78 2818
/proc/meminfo: memFree=1913256/2055920 swapFree=4147100/4192956
[pid=2817] ppid=2815 vsize=19008 CPUtime=25.48
/proc/2817/stat : 2817 (PBS4_SAT07v2) R 2815 2817 1750 0 -1 4194304 4107 0 0 0 2533 15 0 0 25 0 1 0 306216417 19464192 3750 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2817/statm: 4752 3750 102 219 0 4529 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 19008

[startup+51.1016 s]
/proc/loadavg: 0.96 0.96 0.91 2/78 2818
/proc/meminfo: memFree=1908008/2055920 swapFree=4147100/4192956
[pid=2817] ppid=2815 vsize=22048 CPUtime=51.08
/proc/2817/stat : 2817 (PBS4_SAT07v2) R 2815 2817 1750 0 -1 4194304 5442 0 0 0 5079 29 0 0 25 0 1 0 306216417 22577152 5085 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2817/statm: 5512 5085 102 219 0 5289 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 22048

[startup+102.306 s]
/proc/loadavg: 0.98 0.96 0.91 2/78 2818
/proc/meminfo: memFree=1904680/2055920 swapFree=4147100/4192956
[pid=2817] ppid=2815 vsize=25300 CPUtime=102.27
/proc/2817/stat : 2817 (PBS4_SAT07v2) R 2815 2817 1750 0 -1 4194304 6193 0 0 0 10184 43 0 0 25 0 1 0 306216417 25907200 5836 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557354 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2817/statm: 6325 5836 102 219 0 6102 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 25300

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.91 3/78 2818
/proc/meminfo: memFree=1903528/2055920 swapFree=4147100/4192956
[pid=2817] ppid=2815 vsize=26324 CPUtime=162.25
/proc/2817/stat : 2817 (PBS4_SAT07v2) R 2815 2817 1750 0 -1 4194304 6457 0 0 0 16179 46 0 0 25 0 1 0 306216417 26955776 6100 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2817/statm: 6581 6100 102 219 0 6358 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 26324

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2818
/proc/meminfo: memFree=1901352/2055920 swapFree=4147100/4192956
[pid=2817] ppid=2815 vsize=28352 CPUtime=222.24
/proc/2817/stat : 2817 (PBS4_SAT07v2) R 2815 2817 1750 0 -1 4194304 6984 0 0 0 22173 51 0 0 25 0 1 0 306216417 29032448 6627 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2817/statm: 7088 6627 102 219 0 6865 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 28352

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2818
/proc/meminfo: memFree=1899880/2055920 swapFree=4147100/4192956
[pid=2817] ppid=2815 vsize=29788 CPUtime=282.22
/proc/2817/stat : 2817 (PBS4_SAT07v2) R 2815 2817 1750 0 -1 4194304 7359 0 0 0 28167 55 0 0 25 0 1 0 306216417 30502912 7002 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134555568 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2817/statm: 7447 7002 102 219 0 7224 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 29788

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2818
/proc/meminfo: memFree=1899112/2055920 swapFree=4147100/4192956
[pid=2817] ppid=2815 vsize=30536 CPUtime=342.2
/proc/2817/stat : 2817 (PBS4_SAT07v2) R 2815 2817 1750 0 -1 4194304 7529 0 0 0 34162 58 0 0 25 0 1 0 306216417 31268864 7172 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2817/statm: 7634 7172 102 219 0 7411 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 30536

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2818
/proc/meminfo: memFree=1898024/2055920 swapFree=4147100/4192956
[pid=2817] ppid=2815 vsize=31380 CPUtime=402.18
/proc/2817/stat : 2817 (PBS4_SAT07v2) R 2815 2817 1750 0 -1 4194304 7765 0 0 0 40156 62 0 0 25 0 1 0 306216417 32133120 7408 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2817/statm: 7845 7408 102 219 0 7622 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 31380

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2818
/proc/meminfo: memFree=1896680/2055920 swapFree=4147100/4192956
[pid=2817] ppid=2815 vsize=34224 CPUtime=462.16
/proc/2817/stat : 2817 (PBS4_SAT07v2) R 2815 2817 1750 0 -1 4194304 8507 0 0 0 46150 66 0 0 25 0 1 0 306216417 35045376 7765 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2817/statm: 8556 7765 102 219 0 8333 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 34224

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2818
/proc/meminfo: memFree=1896040/2055920 swapFree=4147100/4192956
[pid=2817] ppid=2815 vsize=34724 CPUtime=522.15
/proc/2817/stat : 2817 (PBS4_SAT07v2) R 2815 2817 1750 0 -1 4194304 8630 0 0 0 52147 68 0 0 25 0 1 0 306216417 35557376 7888 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2817/statm: 8681 7888 102 219 0 8458 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 34724

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2818
/proc/meminfo: memFree=1893416/2055920 swapFree=4147100/4192956
[pid=2817] ppid=2815 vsize=37556 CPUtime=582.13
/proc/2817/stat : 2817 (PBS4_SAT07v2) R 2815 2817 1750 0 -1 4194304 9262 0 0 0 58139 74 0 0 25 0 1 0 306216417 38457344 8520 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2817/statm: 9389 8520 102 219 0 9166 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 37556

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2818
/proc/meminfo: memFree=1892008/2055920 swapFree=4147100/4192956
[pid=2817] ppid=2815 vsize=38988 CPUtime=642.12
/proc/2817/stat : 2817 (PBS4_SAT07v2) R 2815 2817 1750 0 -1 4194304 9607 0 0 0 64134 78 0 0 25 0 1 0 306216417 39923712 8865 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2817/statm: 9747 8865 102 219 0 9524 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 38988


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2818
/proc/meminfo: memFree=1881320/2055920 swapFree=4147100/4192956
[pid=2817] ppid=2815 vsize=50860 CPUtime=882.05
/proc/2817/stat : 2817 (PBS4_SAT07v2) R 2815 2817 1750 0 -1 4194304 12260 0 0 0 88111 94 0 0 25 0 1 0 306216417 52080640 11518 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2817/statm: 12715 11518 102 219 0 12492 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 50860

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2818
/proc/meminfo: memFree=1880872/2055920 swapFree=4147100/4192956
[pid=2817] ppid=2815 vsize=51244 CPUtime=942.04
/proc/2817/stat : 2817 (PBS4_SAT07v2) R 2815 2817 1750 0 -1 4194304 12367 0 0 0 94108 96 0 0 25 0 1 0 306216417 52473856 11625 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2817/statm: 12811 11625 102 219 0 12588 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 51244

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2818
/proc/meminfo: memFree=1880424/2055920 swapFree=4147100/4192956
[pid=2817] ppid=2815 vsize=51536 CPUtime=1002.02
/proc/2817/stat : 2817 (PBS4_SAT07v2) R 2815 2817 1750 0 -1 4194304 12459 0 0 0 100105 97 0 0 25 0 1 0 306216417 52772864 11717 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2817/statm: 12884 11717 102 219 0 12661 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 51536

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2818
/proc/meminfo: memFree=1879912/2055920 swapFree=4147100/4192956
[pid=2817] ppid=2815 vsize=51848 CPUtime=1062.01
/proc/2817/stat : 2817 (PBS4_SAT07v2) R 2815 2817 1750 0 -1 4194304 12570 0 0 0 106101 100 0 0 25 0 1 0 306216417 53092352 11828 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2817/statm: 12962 11828 102 219 0 12739 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 51848

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2818
/proc/meminfo: memFree=1879208/2055920 swapFree=4147100/4192956
[pid=2817] ppid=2815 vsize=52508 CPUtime=1121.99
/proc/2817/stat : 2817 (PBS4_SAT07v2) R 2815 2817 1750 0 -1 4194304 12746 0 0 0 112096 103 0 0 25 0 1 0 306216417 53768192 12004 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134544662 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2817/statm: 13127 12004 102 219 0 12904 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 52508

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2818
/proc/meminfo: memFree=1878376/2055920 swapFree=4147100/4192956
[pid=2817] ppid=2815 vsize=53136 CPUtime=1181.97
/proc/2817/stat : 2817 (PBS4_SAT07v2) R 2815 2817 1750 0 -1 4194304 12947 0 0 0 118090 107 0 0 25 0 1 0 306216417 54411264 12205 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557314 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2817/statm: 13284 12205 102 219 0 13061 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 53136

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2818
/proc/meminfo: memFree=1877736/2055920 swapFree=4147100/4192956
[pid=2817] ppid=2815 vsize=53480 CPUtime=1241.95
/proc/2817/stat : 2817 (PBS4_SAT07v2) R 2815 2817 1750 0 -1 4194304 13045 0 0 0 124087 108 0 0 25 0 1 0 306216417 54763520 12303 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557354 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2817/statm: 13370 12303 102 219 0 13147 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 53480

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2818
/proc/meminfo: memFree=1877096/2055920 swapFree=4147100/4192956
[pid=2817] ppid=2815 vsize=53912 CPUtime=1301.95
/proc/2817/stat : 2817 (PBS4_SAT07v2) R 2815 2817 1750 0 -1 4194304 13208 0 0 0 130084 111 0 0 25 0 1 0 306216417 55205888 12466 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557295 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2817/statm: 13478 12466 102 219 0 13255 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 53912

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2818
/proc/meminfo: memFree=1876904/2055920 swapFree=4147100/4192956
[pid=2817] ppid=2815 vsize=54164 CPUtime=1361.92
/proc/2817/stat : 2817 (PBS4_SAT07v2) R 2815 2817 1750 0 -1 4194304 13246 0 0 0 136080 112 0 0 25 0 1 0 306216417 55463936 12504 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2817/statm: 13541 12504 102 219 0 13318 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 54164

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2818
/proc/meminfo: memFree=1875880/2055920 swapFree=4147100/4192956
[pid=2817] ppid=2815 vsize=54864 CPUtime=1421.91
/proc/2817/stat : 2817 (PBS4_SAT07v2) R 2815 2817 1750 0 -1 4194304 13479 0 0 0 142074 117 0 0 25 0 1 0 306216417 56180736 12737 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557304 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2817/statm: 13716 12737 102 219 0 13493 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 54864

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2818
/proc/meminfo: memFree=1875304/2055920 swapFree=4147100/4192956
[pid=2817] ppid=2815 vsize=55536 CPUtime=1481.89
/proc/2817/stat : 2817 (PBS4_SAT07v2) R 2815 2817 1750 0 -1 4194304 13625 0 0 0 148070 119 0 0 25 0 1 0 306216417 56868864 12883 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2817/statm: 13884 12883 102 219 0 13661 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 55536

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2818
/proc/meminfo: memFree=1874728/2055920 swapFree=4147100/4192956
[pid=2817] ppid=2815 vsize=55824 CPUtime=1541.87
/proc/2817/stat : 2817 (PBS4_SAT07v2) R 2815 2817 1750 0 -1 4194304 13757 0 0 0 154065 122 0 0 25 0 1 0 306216417 57163776 13015 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557336 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2817/statm: 13956 13015 102 219 0 13733 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 55824

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2818
/proc/meminfo: memFree=1874280/2055920 swapFree=4147100/4192956
[pid=2817] ppid=2815 vsize=56064 CPUtime=1601.85
/proc/2817/stat : 2817 (PBS4_SAT07v2) R 2815 2817 1750 0 -1 4194304 13843 0 0 0 160061 124 0 0 25 0 1 0 306216417 57409536 13101 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2817/statm: 14016 13101 102 219 0 13793 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 56064

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2818
/proc/meminfo: memFree=1874088/2055920 swapFree=4147100/4192956
[pid=2817] ppid=2815 vsize=56224 CPUtime=1661.84
/proc/2817/stat : 2817 (PBS4_SAT07v2) R 2815 2817 1750 0 -1 4194304 13902 0 0 0 166058 126 0 0 25 0 1 0 306216417 57573376 13160 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557348 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2817/statm: 14056 13160 102 219 0 13833 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 56224

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2818
/proc/meminfo: memFree=1873896/2055920 swapFree=4147100/4192956
[pid=2817] ppid=2815 vsize=56428 CPUtime=1721.82
/proc/2817/stat : 2817 (PBS4_SAT07v2) R 2815 2817 1750 0 -1 4194304 13936 0 0 0 172054 128 0 0 25 0 1 0 306216417 57782272 13194 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2817/statm: 14107 13194 102 219 0 13884 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 56428

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2818
/proc/meminfo: memFree=1873448/2055920 swapFree=4147100/4192956
[pid=2817] ppid=2815 vsize=59844 CPUtime=1781.8
/proc/2817/stat : 2817 (PBS4_SAT07v2) R 2815 2817 1750 0 -1 4194304 14794 0 0 0 178050 130 0 0 25 0 1 0 306216417 61280256 13283 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2817/statm: 14961 13283 102 219 0 14738 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 59844



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2818
/proc/meminfo: memFree=1873064/2055920 swapFree=4147100/4192956
[pid=2817] ppid=2815 vsize=60100 CPUtime=1800
/proc/2817/stat : 2817 (PBS4_SAT07v2) R 2815 2817 1750 0 -1 4194304 14879 0 0 0 179869 131 0 0 25 0 1 0 306216417 61542400 13368 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2817/statm: 15025 13368 102 219 0 14802 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 60100

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

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

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 2818
/proc/meminfo: memFree=1873064/2055920 swapFree=4147100/4192956
[pid=2817] ppid=2815 vsize=60100 CPUtime=1800
/proc/2817/stat : 2817 (PBS4_SAT07v2) R 2815 2817 1750 0 -1 4194304 14879 0 0 0 179869 131 0 0 25 0 1 0 306216417 61542400 13368 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2817/statm: 15025 13368 102 219 0 14802 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 60100

Child status: 0
Real time (s): 1800.52
CPU time (s): 1800.04
CPU user time (s): 1798.71
CPU system time (s): 1.3298
CPU usage (%): 99.9728
Max. virtual memory (cumulated for all children) (KiB): 62640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.71
system time used= 1.3298
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14882
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= 13
involuntary context switches= 3082

runsolver used 1.2778 second user time and 3.89941 second system time

The end

Launcher Data (download as text)

Begin job on node11 on Tue May  8 19:14:35 UTC 2007

IDJOB= 459224
IDBENCH= 24995
IDSOLVER= 200
FILE ID= node11/459224-1178651675

PBS_JOBID= 5217832

Free space on /tmp= 66561 MiB

SOLVER NAME= PBS4_v2 2007-03-23
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_007_area_delay.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459224-1178651675/instance-459224-1178651675.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node11/convwatcher-459224-1178651675 -o ROOT/results/node11/conversion-459224-1178651675 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459224-1178651675/instance-459224-1178651675.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  22488dc65cdc0686edc96d304bd4d620

RANDOM SEED= 603297382

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node11.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.235
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	: 5914.62
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.235
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:       1928456 kB
Buffers:         19448 kB
Cached:          30548 kB
SwapCached:      14332 kB
Active:          48652 kB
Inactive:        24596 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1928456 kB
SwapTotal:     4192956 kB
SwapFree:      4147100 kB
Dirty:            3332 kB
Writeback:           0 kB
Mapped:          29868 kB
Slab:            39660 kB
Committed_AS:  7524780 kB
PageTables:       1848 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= 66561 MiB

End job on node11 on Tue May  8 19:44:37 UTC 2007