Trace number 459223

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)217 1800.1 1800.73

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_010_area_delay.opb
MD5SUMd869c2ae266497675d66f161576eaac8
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark29
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 29
Optimality of the best value was proved NO
Number of variables11729
Total number of constraints36747
Number of constraints which are clauses36747
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 5750
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 5750
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5750
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	217

Conversion Script Data (download as text)

/tmp/evaluation/459223-1178651669/instance-459223-1178651669.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/node23/watcher-459223-1178651669 -o ROOT/results/node23/solver-459223-1178651669 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459223-1178651669/instance-459223-1178651669.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.84 0.94 0.97 3/77 32492
/proc/meminfo: memFree=1852664/2055920 swapFree=4169188/4192956
[pid=32492] ppid=32490 vsize=2712 CPUtime=0
/proc/32492/stat : 32492 (PBS4_SAT07v2) R 32490 32492 32425 0 -1 4194304 449 0 0 0 0 0 0 0 18 0 1 0 313084065 2777088 431 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134542169 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32492/statm: 678 431 79 219 0 455 0

[startup+0.051098 s]
/proc/loadavg: 0.84 0.94 0.97 3/77 32492
/proc/meminfo: memFree=1852664/2055920 swapFree=4169188/4192956
[pid=32492] ppid=32490 vsize=3308 CPUtime=0.04
/proc/32492/stat : 32492 (PBS4_SAT07v2) R 32490 32492 32425 0 -1 4194304 600 0 0 0 4 0 0 0 18 0 1 0 313084065 3387392 582 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134586453 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32492/statm: 827 582 86 219 0 604 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 3308

[startup+0.101107 s]
/proc/loadavg: 0.84 0.94 0.97 3/77 32492
/proc/meminfo: memFree=1852664/2055920 swapFree=4169188/4192956
[pid=32492] ppid=32490 vsize=3308 CPUtime=0.09
/proc/32492/stat : 32492 (PBS4_SAT07v2) R 32490 32492 32425 0 -1 4194304 600 0 0 0 9 0 0 0 18 0 1 0 313084065 3387392 582 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134586362 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32492/statm: 827 582 86 219 0 604 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3308

[startup+0.301146 s]
/proc/loadavg: 0.84 0.94 0.97 3/77 32492
/proc/meminfo: memFree=1852664/2055920 swapFree=4169188/4192956
[pid=32492] ppid=32490 vsize=4424 CPUtime=0.29
/proc/32492/stat : 32492 (PBS4_SAT07v2) R 32490 32492 32425 0 -1 4194304 919 0 0 0 29 0 0 0 19 0 1 0 313084065 4530176 852 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134518919 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32492/statm: 1106 852 86 219 0 883 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4424

[startup+0.701223 s]
/proc/loadavg: 0.84 0.94 0.97 3/77 32492
/proc/meminfo: memFree=1852664/2055920 swapFree=4169188/4192956
[pid=32492] ppid=32490 vsize=7016 CPUtime=0.69
/proc/32492/stat : 32492 (PBS4_SAT07v2) R 32490 32492 32425 0 -1 4194304 1779 0 0 0 68 1 0 0 22 0 1 0 313084065 7184384 1422 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544662 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32492/statm: 1754 1422 102 219 0 1531 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7016

[startup+1.50138 s]
/proc/loadavg: 0.84 0.94 0.97 2/78 32493
/proc/meminfo: memFree=1846320/2055920 swapFree=4169188/4192956
[pid=32492] ppid=32490 vsize=9472 CPUtime=1.49
/proc/32492/stat : 32492 (PBS4_SAT07v2) R 32490 32492 32425 0 -1 4194304 2122 0 0 0 146 3 0 0 25 0 1 0 313084065 9699328 1765 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32492/statm: 2368 1765 102 219 0 2145 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9472

[startup+3.10169 s]
/proc/loadavg: 0.84 0.94 0.97 2/78 32493
/proc/meminfo: memFree=1845680/2055920 swapFree=4169188/4192956
[pid=32492] ppid=32490 vsize=10096 CPUtime=3.09
/proc/32492/stat : 32492 (PBS4_SAT07v2) R 32490 32492 32425 0 -1 4194304 2255 0 0 0 305 4 0 0 25 0 1 0 313084065 10338304 1898 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32492/statm: 2524 1898 102 219 0 2301 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10096

[startup+6.30131 s]
/proc/loadavg: 0.85 0.94 0.97 2/78 32493
/proc/meminfo: memFree=1844016/2055920 swapFree=4169188/4192956
[pid=32492] ppid=32490 vsize=10736 CPUtime=6.29
/proc/32492/stat : 32492 (PBS4_SAT07v2) R 32490 32492 32425 0 -1 4194304 2571 0 0 0 624 5 0 0 25 0 1 0 313084065 10993664 2214 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557372 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32492/statm: 2684 2214 102 219 0 2461 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10736

[startup+12.7015 s]
/proc/loadavg: 0.87 0.94 0.97 2/78 32493
/proc/meminfo: memFree=1842480/2055920 swapFree=4169188/4192956
[pid=32492] ppid=32490 vsize=13088 CPUtime=12.68
/proc/32492/stat : 32492 (PBS4_SAT07v2) R 32490 32492 32425 0 -1 4194304 3011 0 0 0 1263 5 0 0 25 0 1 0 313084065 13402112 2654 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32492/statm: 3272 2654 102 219 0 3049 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 13088

[startup+25.501 s]
/proc/loadavg: 0.89 0.94 0.97 2/78 32493
/proc/meminfo: memFree=1839280/2055920 swapFree=4169188/4192956
[pid=32492] ppid=32490 vsize=17184 CPUtime=25.48
/proc/32492/stat : 32492 (PBS4_SAT07v2) R 32490 32492 32425 0 -1 4194304 3727 0 0 0 2542 6 0 0 25 0 1 0 313084065 17596416 3370 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544479 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32492/statm: 4296 3370 102 219 0 4073 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 17184

[startup+51.102 s]
/proc/loadavg: 0.93 0.94 0.97 3/78 32493
/proc/meminfo: memFree=1833328/2055920 swapFree=4169188/4192956
[pid=32492] ppid=32490 vsize=25680 CPUtime=51.07
/proc/32492/stat : 32492 (PBS4_SAT07v2) R 32490 32492 32425 0 -1 4194304 5234 0 0 0 5099 8 0 0 25 0 1 0 313084065 26296320 4877 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134555526 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32492/statm: 6420 4877 102 219 0 6197 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 25680

[startup+102.306 s]
/proc/loadavg: 0.97 0.95 0.97 2/78 32493
/proc/meminfo: memFree=1823280/2055920 swapFree=4169188/4192956
[pid=32492] ppid=32490 vsize=44372 CPUtime=102.26
/proc/32492/stat : 32492 (PBS4_SAT07v2) R 32490 32492 32425 0 -1 4194304 7714 0 0 0 10210 16 0 0 25 0 1 0 313084065 45436928 7357 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557404 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32492/statm: 11093 7357 102 219 0 10870 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 44372

[startup+162.302 s]
/proc/loadavg: 0.99 0.96 0.97 2/78 32493
/proc/meminfo: memFree=1819632/2055920 swapFree=4169188/4192956
[pid=32492] ppid=32490 vsize=46216 CPUtime=162.23
/proc/32492/stat : 32492 (PBS4_SAT07v2) R 32490 32492 32425 0 -1 4194304 8610 0 0 0 16204 19 0 0 25 0 1 0 313084065 47325184 8253 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32492/statm: 11554 8253 102 219 0 11331 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 46216

[startup+222.301 s]
/proc/loadavg: 0.99 0.96 0.97 2/78 32493
/proc/meminfo: memFree=1817520/2055920 swapFree=4169188/4192956
[pid=32492] ppid=32490 vsize=48340 CPUtime=222.21
/proc/32492/stat : 32492 (PBS4_SAT07v2) R 32490 32492 32425 0 -1 4194304 9119 0 0 0 22200 21 0 0 25 0 1 0 313084065 49500160 8762 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557348 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32492/statm: 12085 8762 102 219 0 11862 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 48340

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 32493
/proc/meminfo: memFree=1814384/2055920 swapFree=4169188/4192956
[pid=32492] ppid=32490 vsize=51700 CPUtime=282.19
/proc/32492/stat : 32492 (PBS4_SAT07v2) R 32490 32492 32425 0 -1 4194304 9904 0 0 0 28194 25 0 0 25 0 1 0 313084065 52940800 9547 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134555977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32492/statm: 12925 9547 102 219 0 12702 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 51700

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 32493
/proc/meminfo: memFree=1813744/2055920 swapFree=4169188/4192956
[pid=32492] ppid=32490 vsize=52460 CPUtime=342.17
/proc/32492/stat : 32492 (PBS4_SAT07v2) R 32490 32492 32425 0 -1 4194304 10062 0 0 0 34189 28 0 0 25 0 1 0 313084065 53719040 9705 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557372 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32492/statm: 13115 9705 102 219 0 12892 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 52460

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 32493
/proc/meminfo: memFree=1812784/2055920 swapFree=4169188/4192956
[pid=32492] ppid=32490 vsize=53476 CPUtime=402.15
/proc/32492/stat : 32492 (PBS4_SAT07v2) R 32490 32492 32425 0 -1 4194304 10294 0 0 0 40185 30 0 0 25 0 1 0 313084065 54759424 9937 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32492/statm: 13369 9937 102 219 0 13146 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 53476

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 32493
/proc/meminfo: memFree=1811312/2055920 swapFree=4169188/4192956
[pid=32492] ppid=32490 vsize=54880 CPUtime=462.13
/proc/32492/stat : 32492 (PBS4_SAT07v2) R 32490 32492 32425 0 -1 4194304 10659 0 0 0 46181 32 0 0 25 0 1 0 313084065 56197120 10302 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32492/statm: 13720 10302 102 219 0 13497 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 54880

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 32493
/proc/meminfo: memFree=1810736/2055920 swapFree=4169188/4192956
[pid=32492] ppid=32490 vsize=55408 CPUtime=522.11
/proc/32492/stat : 32492 (PBS4_SAT07v2) R 32490 32492 32425 0 -1 4194304 10789 0 0 0 52177 34 0 0 25 0 1 0 313084065 56737792 10432 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32492/statm: 13852 10432 102 219 0 13629 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 55408

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 32493
/proc/meminfo: memFree=1809136/2055920 swapFree=4169188/4192956
[pid=32492] ppid=32490 vsize=57348 CPUtime=582.08
/proc/32492/stat : 32492 (PBS4_SAT07v2) R 32490 32492 32425 0 -1 4194304 11190 0 0 0 58171 37 0 0 25 0 1 0 313084065 58724352 10833 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32492/statm: 14337 10833 102 219 0 14114 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 57348

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 32493
/proc/meminfo: memFree=1808432/2055920 swapFree=4169188/4192956
[pid=32492] ppid=32490 vsize=59332 CPUtime=642.07
/proc/32492/stat : 32492 (PBS4_SAT07v2) R 32490 32492 32425 0 -1 4194304 11720 0 0 0 64167 40 0 0 25 0 1 0 313084065 60755968 10978 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557380 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32492/statm: 14833 10978 102 219 0 14610 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 59332


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 32493
/proc/meminfo: memFree=1804464/2055920 swapFree=4169188/4192956
[pid=32492] ppid=32490 vsize=63316 CPUtime=881.98
/proc/32492/stat : 32492 (PBS4_SAT07v2) R 32490 32492 32425 0 -1 4194304 12719 0 0 0 88148 50 0 0 25 0 1 0 313084065 64835584 11977 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32492/statm: 15829 11977 102 219 0 15606 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 63316

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 32493
/proc/meminfo: memFree=1804208/2055920 swapFree=4169188/4192956
[pid=32492] ppid=32490 vsize=63696 CPUtime=941.96
/proc/32492/stat : 32492 (PBS4_SAT07v2) R 32490 32492 32425 0 -1 4194304 12770 0 0 0 94145 51 0 0 25 0 1 0 313084065 65224704 12028 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32492/statm: 15924 12028 102 219 0 15701 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 63696

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 32493
/proc/meminfo: memFree=1803504/2055920 swapFree=4169188/4192956
[pid=32492] ppid=32490 vsize=64320 CPUtime=1001.94
/proc/32492/stat : 32492 (PBS4_SAT07v2) R 32490 32492 32425 0 -1 4194304 12945 0 0 0 100140 54 0 0 25 0 1 0 313084065 65863680 12203 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32492/statm: 16080 12203 102 219 0 15857 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 64320

[startup+1062.3 s]
/proc/loadavg: 1.04 0.99 0.97 2/78 32493
/proc/meminfo: memFree=1803184/2055920 swapFree=4169188/4192956
[pid=32492] ppid=32490 vsize=64568 CPUtime=1061.92
/proc/32492/stat : 32492 (PBS4_SAT07v2) R 32490 32492 32425 0 -1 4194304 13009 0 0 0 106136 56 0 0 25 0 1 0 313084065 66117632 12267 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557348 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32492/statm: 16142 12267 102 219 0 15919 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 64568

[startup+1122.3 s]
/proc/loadavg: 1.09 1.02 0.98 2/78 32493
/proc/meminfo: memFree=1802160/2055920 swapFree=4169188/4192956
[pid=32492] ppid=32490 vsize=65828 CPUtime=1121.9
/proc/32492/stat : 32492 (PBS4_SAT07v2) R 32490 32492 32425 0 -1 4194304 13259 0 0 0 112131 59 0 0 25 0 1 0 313084065 67407872 12517 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32492/statm: 16457 12517 102 219 0 16234 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 65828

[startup+1182.3 s]
/proc/loadavg: 1.03 1.01 0.98 2/78 32493
/proc/meminfo: memFree=1801712/2055920 swapFree=4169188/4192956
[pid=32492] ppid=32490 vsize=66060 CPUtime=1181.88
/proc/32492/stat : 32492 (PBS4_SAT07v2) R 32490 32492 32425 0 -1 4194304 13378 0 0 0 118127 61 0 0 25 0 1 0 313084065 67645440 12636 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557319 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32492/statm: 16515 12636 102 219 0 16292 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 66060

[startup+1242.3 s]
/proc/loadavg: 1.12 1.04 0.99 2/78 32493
/proc/meminfo: memFree=1801072/2055920 swapFree=4169188/4192956
[pid=32492] ppid=32490 vsize=66600 CPUtime=1241.86
/proc/32492/stat : 32492 (PBS4_SAT07v2) R 32490 32492 32425 0 -1 4194304 13519 0 0 0 124121 65 0 0 25 0 1 0 313084065 68198400 12777 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32492/statm: 16650 12777 102 219 0 16427 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 66600

[startup+1302.3 s]
/proc/loadavg: 1.12 1.04 1.00 2/78 32493
/proc/meminfo: memFree=1800752/2055920 swapFree=4169188/4192956
[pid=32492] ppid=32490 vsize=66888 CPUtime=1301.85
/proc/32492/stat : 32492 (PBS4_SAT07v2) R 32490 32492 32425 0 -1 4194304 13586 0 0 0 130119 66 0 0 25 0 1 0 313084065 68493312 12844 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557319 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32492/statm: 16722 12844 102 219 0 16499 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 66888

[startup+1362.3 s]
/proc/loadavg: 1.11 1.05 1.00 2/78 32493
/proc/meminfo: memFree=1799536/2055920 swapFree=4169188/4192956
[pid=32492] ppid=32490 vsize=68224 CPUtime=1361.82
/proc/32492/stat : 32492 (PBS4_SAT07v2) R 32490 32492 32425 0 -1 4194304 13883 0 0 0 136113 69 0 0 25 0 1 0 313084065 69861376 13141 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32492/statm: 17056 13141 102 219 0 16833 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 68224

[startup+1422.31 s]
/proc/loadavg: 1.16 1.07 1.01 2/78 32493
/proc/meminfo: memFree=1798960/2055920 swapFree=4169188/4192956
[pid=32492] ppid=32490 vsize=68672 CPUtime=1421.8
/proc/32492/stat : 32492 (PBS4_SAT07v2) R 32490 32492 32425 0 -1 4194304 14028 0 0 0 142109 71 0 0 25 0 1 0 313084065 70320128 13286 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557354 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32492/statm: 17168 13286 102 219 0 16945 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 68672

[startup+1482.3 s]
/proc/loadavg: 1.12 1.07 1.01 2/78 32493
/proc/meminfo: memFree=1798704/2055920 swapFree=4169188/4192956
[pid=32492] ppid=32490 vsize=68896 CPUtime=1481.78
/proc/32492/stat : 32492 (PBS4_SAT07v2) R 32490 32492 32425 0 -1 4194304 14080 0 0 0 148106 72 0 0 25 0 1 0 313084065 70549504 13338 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557304 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32492/statm: 17224 13338 102 219 0 17001 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 68896

[startup+1542.3 s]
/proc/loadavg: 1.09 1.07 1.01 2/78 32493
/proc/meminfo: memFree=1797744/2055920 swapFree=4169188/4192956
[pid=32492] ppid=32490 vsize=70232 CPUtime=1541.75
/proc/32492/stat : 32492 (PBS4_SAT07v2) R 32490 32492 32425 0 -1 4194304 14318 0 0 0 154100 75 0 0 25 0 1 0 313084065 71917568 13576 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32492/statm: 17558 13576 102 219 0 17335 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 70232

[startup+1602.3 s]
/proc/loadavg: 1.08 1.07 1.01 2/78 32493
/proc/meminfo: memFree=1797616/2055920 swapFree=4169188/4192956
[pid=32492] ppid=32490 vsize=70452 CPUtime=1601.73
/proc/32492/stat : 32492 (PBS4_SAT07v2) R 32490 32492 32425 0 -1 4194304 14375 0 0 0 160096 77 0 0 25 0 1 0 313084065 72142848 13633 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134577235 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32492/statm: 17613 13633 102 219 0 17390 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 70452

[startup+1662.3 s]
/proc/loadavg: 1.07 1.06 1.01 2/78 32493
/proc/meminfo: memFree=1796912/2055920 swapFree=4169188/4192956
[pid=32492] ppid=32490 vsize=70760 CPUtime=1661.72
/proc/32492/stat : 32492 (PBS4_SAT07v2) R 32490 32492 32425 0 -1 4194304 14513 0 0 0 166091 81 0 0 25 0 1 0 313084065 72458240 13771 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557316 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32492/statm: 17690 13771 102 219 0 17467 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 70760

[startup+1722.3 s]
/proc/loadavg: 1.07 1.06 1.01 2/78 32495
/proc/meminfo: memFree=1796656/2055920 swapFree=4169188/4192956
[pid=32492] ppid=32490 vsize=71088 CPUtime=1721.69
/proc/32492/stat : 32492 (PBS4_SAT07v2) R 32490 32492 32425 0 -1 4194304 14562 0 0 0 172088 81 0 0 25 0 1 0 313084065 72794112 13820 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32492/statm: 17772 13820 102 219 0 17549 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 71088

[startup+1782.3 s]
/proc/loadavg: 1.10 1.08 1.01 2/78 32495
/proc/meminfo: memFree=1796080/2055920 swapFree=4169188/4192956
[pid=32492] ppid=32490 vsize=71552 CPUtime=1781.67
/proc/32492/stat : 32492 (PBS4_SAT07v2) R 32490 32492 32425 0 -1 4194304 14689 0 0 0 178084 83 0 0 25 0 1 0 313084065 73269248 13947 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557362 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32492/statm: 17888 13947 102 219 0 17665 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 71552



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.14 1.09 1.02 2/78 32495
/proc/meminfo: memFree=1796080/2055920 swapFree=4169188/4192956
[pid=32492] ppid=32490 vsize=71552 CPUtime=1800.08
/proc/32492/stat : 32492 (PBS4_SAT07v2) R 32490 32492 32425 0 -1 4194304 14691 0 0 0 179924 84 0 0 25 0 1 0 313084065 73269248 13949 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32492/statm: 17888 13949 102 219 0 17665 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 71552

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

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

[startup+1800.71 s]
/proc/loadavg: 1.14 1.09 1.02 2/78 32495
/proc/meminfo: memFree=1796080/2055920 swapFree=4169188/4192956
[pid=32492] ppid=32490 vsize=71552 CPUtime=1800.08
/proc/32492/stat : 32492 (PBS4_SAT07v2) R 32490 32492 32425 0 -1 4194304 14691 0 0 0 179924 84 0 0 25 0 1 0 313084065 73269248 13949 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32492/statm: 17888 13949 102 219 0 17665 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 71552

Child status: 0
Real time (s): 1800.73
CPU time (s): 1800.1
CPU user time (s): 1799.25
CPU system time (s): 0.85187
CPU usage (%): 99.9651
Max. virtual memory (cumulated for all children) (KiB): 71552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.25
system time used= 0.85187
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14694
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= 10
involuntary context switches= 1434

runsolver used 1.43778 second user time and 3.83742 second system time

The end

Launcher Data (download as text)

Begin job on node23 on Tue May  8 19:14:29 UTC 2007

IDJOB= 459223
IDBENCH= 24994
IDSOLVER= 200
FILE ID= node23/459223-1178651669

PBS_JOBID= 5218416

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_010_area_delay.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459223-1178651669/instance-459223-1178651669.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node23/convwatcher-459223-1178651669 -o ROOT/results/node23/conversion-459223-1178651669 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459223-1178651669/instance-459223-1178651669.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  d869c2ae266497675d66f161576eaac8

RANDOM SEED= 507073185

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node23.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.276
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.276
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:       1853008 kB
Buffers:         24908 kB
Cached:          72236 kB
SwapCached:       2612 kB
Active:          59196 kB
Inactive:        60720 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1853008 kB
SwapTotal:     4192956 kB
SwapFree:      4169188 kB
Dirty:            3516 kB
Writeback:           0 kB
Mapped:          30448 kB
Slab:            68488 kB
Committed_AS:  5172440 kB
PageTables:       1796 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 node23 on Tue May  8 19:44:32 UTC 2007