Trace number 459237

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)229 1800.07 1800.53

General information on the benchmark

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

Verifier Data (download as text)

OK	229

Conversion Script Data (download as text)

/tmp/evaluation/459237-1178652067/instance-459237-1178652067.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/node70/watcher-459237-1178652067 -o ROOT/results/node70/solver-459237-1178652067 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459237-1178652067/instance-459237-1178652067.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 27632
/proc/meminfo: memFree=1913072/2055920 swapFree=4183880/4192956
[pid=27632] ppid=27630 vsize=2796 CPUtime=0
/proc/27632/stat : 27632 (PBS4_SAT07v2) R 27630 27632 27262 0 -1 4194304 461 0 0 0 0 0 0 0 18 0 1 0 304744064 2863104 443 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135015510 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27632/statm: 699 451 79 219 0 476 0

[startup+0.069675 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 27632
/proc/meminfo: memFree=1913072/2055920 swapFree=4183880/4192956
[pid=27632] ppid=27630 vsize=3404 CPUtime=0.06
/proc/27632/stat : 27632 (PBS4_SAT07v2) R 27630 27632 27262 0 -1 4194304 636 0 0 0 6 0 0 0 18 0 1 0 304744064 3485696 618 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134586468 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27632/statm: 851 618 86 219 0 628 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 3404

[startup+0.101677 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 27632
/proc/meminfo: memFree=1913072/2055920 swapFree=4183880/4192956
[pid=27632] ppid=27630 vsize=3404 CPUtime=0.09
/proc/27632/stat : 27632 (PBS4_SAT07v2) R 27630 27632 27262 0 -1 4194304 636 0 0 0 9 0 0 0 18 0 1 0 304744064 3485696 618 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134586474 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27632/statm: 851 618 86 219 0 628 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3404

[startup+0.301698 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 27632
/proc/meminfo: memFree=1913072/2055920 swapFree=4183880/4192956
[pid=27632] ppid=27630 vsize=4068 CPUtime=0.29
/proc/27632/stat : 27632 (PBS4_SAT07v2) R 27630 27632 27262 0 -1 4194304 862 0 0 0 29 0 0 0 19 0 1 0 304744064 4165632 844 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134594427 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27632/statm: 1017 844 86 219 0 794 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4068

[startup+0.701737 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 27632
/proc/meminfo: memFree=1913072/2055920 swapFree=4183880/4192956
[pid=27632] ppid=27630 vsize=7688 CPUtime=0.69
/proc/27632/stat : 27632 (PBS4_SAT07v2) R 27630 27632 27262 0 -1 4194304 1841 0 0 0 68 1 0 0 22 0 1 0 304744064 7872512 1484 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27632/statm: 1922 1484 86 219 0 1699 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7688

[startup+1.50182 s]
/proc/loadavg: 0.91 0.95 0.98 2/65 27633
/proc/meminfo: memFree=1906920/2055920 swapFree=4183880/4192956
[pid=27632] ppid=27630 vsize=8396 CPUtime=1.49
/proc/27632/stat : 27632 (PBS4_SAT07v2) R 27630 27632 27262 0 -1 4194304 2108 0 0 0 142 7 0 0 25 0 1 0 304744064 8597504 1751 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557314 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27632/statm: 2099 1751 102 219 0 1876 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8396

[startup+3.10198 s]
/proc/loadavg: 0.91 0.95 0.98 2/65 27633
/proc/meminfo: memFree=1905960/2055920 swapFree=4183880/4192956
[pid=27632] ppid=27630 vsize=9164 CPUtime=3.09
/proc/27632/stat : 27632 (PBS4_SAT07v2) R 27630 27632 27262 0 -1 4194304 2284 0 0 0 301 8 0 0 25 0 1 0 304744064 9383936 1927 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27632/statm: 2291 1927 102 219 0 2068 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9164

[startup+6.3013 s]
/proc/loadavg: 0.92 0.95 0.98 2/65 27633
/proc/meminfo: memFree=1904744/2055920 swapFree=4183880/4192956
[pid=27632] ppid=27630 vsize=10700 CPUtime=6.28
/proc/27632/stat : 27632 (PBS4_SAT07v2) R 27630 27632 27262 0 -1 4194304 2563 0 0 0 620 8 0 0 25 0 1 0 304744064 10956800 2206 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27632/statm: 2675 2206 102 219 0 2452 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 10700

[startup+12.7019 s]
/proc/loadavg: 0.93 0.95 0.98 2/65 27633
/proc/meminfo: memFree=1903096/2055920 swapFree=4183880/4192956
[pid=27632] ppid=27630 vsize=13708 CPUtime=12.69
/proc/27632/stat : 27632 (PBS4_SAT07v2) R 27630 27632 27262 0 -1 4194304 2901 0 0 0 1260 9 0 0 25 0 1 0 304744064 14036992 2544 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557295 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27632/statm: 3427 2544 102 219 0 3204 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13708

[startup+25.5012 s]
/proc/loadavg: 0.94 0.96 0.98 2/65 27633
/proc/meminfo: memFree=1901688/2055920 swapFree=4183880/4192956
[pid=27632] ppid=27630 vsize=13708 CPUtime=25.48
/proc/27632/stat : 27632 (PBS4_SAT07v2) R 27630 27632 27262 0 -1 4194304 3244 0 0 0 2539 9 0 0 25 0 1 0 304744064 14036992 2887 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27632/statm: 3427 2887 102 219 0 3204 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 13708

[startup+51.1018 s]
/proc/loadavg: 0.96 0.96 0.98 2/65 27633
/proc/meminfo: memFree=1898488/2055920 swapFree=4183880/4192956
[pid=27632] ppid=27630 vsize=17804 CPUtime=51.07
/proc/27632/stat : 27632 (PBS4_SAT07v2) R 27630 27632 27262 0 -1 4194304 4040 0 0 0 5097 10 0 0 25 0 1 0 304744064 18231296 3683 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557295 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27632/statm: 4451 3683 102 219 0 4228 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 17804

[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.98 2/65 27633
/proc/meminfo: memFree=1892216/2055920 swapFree=4183880/4192956
[pid=27632] ppid=27630 vsize=26188 CPUtime=102.27
/proc/27632/stat : 27632 (PBS4_SAT07v2) R 27630 27632 27262 0 -1 4194304 5593 0 0 0 10213 14 0 0 25 0 1 0 304744064 26816512 5236 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557322 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27632/statm: 6547 5236 102 219 0 6324 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 26188

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27633
/proc/meminfo: memFree=1880568/2055920 swapFree=4183880/4192956
[pid=27632] ppid=27630 vsize=50468 CPUtime=162.25
/proc/27632/stat : 27632 (PBS4_SAT07v2) R 27630 27632 27262 0 -1 4194304 8501 0 0 0 16194 31 0 0 25 0 1 0 304744064 51679232 8144 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27632/statm: 12617 8144 102 219 0 12394 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 50468

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27633
/proc/meminfo: memFree=1868280/2055920 swapFree=4183880/4192956
[pid=27632] ppid=27630 vsize=59940 CPUtime=222.24
/proc/27632/stat : 27632 (PBS4_SAT07v2) R 27630 27632 27262 0 -1 4194304 11546 0 0 0 22174 50 0 0 25 0 1 0 304744064 61378560 11189 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557380 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27632/statm: 14985 11189 102 219 0 14762 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 59940

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27633
/proc/meminfo: memFree=1862648/2055920 swapFree=4183880/4192956
[pid=27632] ppid=27630 vsize=64148 CPUtime=282.22
/proc/27632/stat : 27632 (PBS4_SAT07v2) R 27630 27632 27262 0 -1 4194304 13011 0 0 0 28168 54 0 0 25 0 1 0 304744064 65687552 12654 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557304 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27632/statm: 16037 12654 102 219 0 15814 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 64148

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27633
/proc/meminfo: memFree=1858616/2055920 swapFree=4183880/4192956
[pid=27632] ppid=27630 vsize=69224 CPUtime=342.21
/proc/27632/stat : 27632 (PBS4_SAT07v2) R 27630 27632 27262 0 -1 4194304 14339 0 0 0 34161 60 0 0 25 0 1 0 304744064 70885376 13597 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27632/statm: 17306 13597 102 219 0 17083 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 69224

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27633
/proc/meminfo: memFree=1856376/2055920 swapFree=4183880/4192956
[pid=27632] ppid=27630 vsize=72456 CPUtime=402.19
/proc/27632/stat : 27632 (PBS4_SAT07v2) R 27630 27632 27262 0 -1 4194304 14897 0 0 0 40154 65 0 0 25 0 1 0 304744064 74194944 14155 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557372 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27632/statm: 18114 14155 102 219 0 17891 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 72456

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27633
/proc/meminfo: memFree=1854072/2055920 swapFree=4183880/4192956
[pid=27632] ppid=27630 vsize=75664 CPUtime=462.17
/proc/27632/stat : 27632 (PBS4_SAT07v2) R 27630 27632 27262 0 -1 4194304 15467 0 0 0 46148 69 0 0 25 0 1 0 304744064 77479936 14725 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27632/statm: 18916 14725 102 219 0 18693 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 75664

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27633
/proc/meminfo: memFree=1851768/2055920 swapFree=4183880/4192956
[pid=27632] ppid=27630 vsize=78592 CPUtime=522.16
/proc/27632/stat : 27632 (PBS4_SAT07v2) R 27630 27632 27262 0 -1 4194304 16028 0 0 0 52144 72 0 0 25 0 1 0 304744064 80478208 15286 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557359 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27632/statm: 19648 15286 102 219 0 19425 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 78592

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27633
/proc/meminfo: memFree=1849720/2055920 swapFree=4183880/4192956
[pid=27632] ppid=27630 vsize=81192 CPUtime=582.15
/proc/27632/stat : 27632 (PBS4_SAT07v2) R 27630 27632 27262 0 -1 4194304 16525 0 0 0 58138 77 0 0 25 0 1 0 304744064 83140608 15783 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27632/statm: 20298 15783 102 219 0 20075 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 81192

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 27633
/proc/meminfo: memFree=1848376/2055920 swapFree=4183880/4192956
[pid=27632] ppid=27630 vsize=82984 CPUtime=642.13
/proc/27632/stat : 27632 (PBS4_SAT07v2) R 27630 27632 27262 0 -1 4194304 16852 0 0 0 64133 80 0 0 25 0 1 0 304744064 84975616 16110 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557354 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27632/statm: 20746 16110 102 219 0 20523 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 82984


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

[startup+882.302 s]
/proc/loadavg: 1.05 1.01 1.00 2/65 27633
/proc/meminfo: memFree=1844024/2055920 swapFree=4183880/4192956
[pid=27632] ppid=27630 vsize=89020 CPUtime=882.07
/proc/27632/stat : 27632 (PBS4_SAT07v2) R 27630 27632 27262 0 -1 4194304 17926 0 0 0 88118 89 0 0 25 0 1 0 304744064 91156480 17184 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27632/statm: 22255 17184 102 219 0 22032 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 89020

[startup+942.302 s]
/proc/loadavg: 1.16 1.05 1.01 2/65 27633
/proc/meminfo: memFree=1843640/2055920 swapFree=4183880/4192956
[pid=27632] ppid=27630 vsize=89468 CPUtime=942.05
/proc/27632/stat : 27632 (PBS4_SAT07v2) R 27630 27632 27262 0 -1 4194304 18031 0 0 0 94115 90 0 0 25 0 1 0 304744064 91615232 17289 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557339 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27632/statm: 22367 17289 102 219 0 22144 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 89468

[startup+1002.3 s]
/proc/loadavg: 1.06 1.04 1.00 2/65 27633
/proc/meminfo: memFree=1842808/2055920 swapFree=4183880/4192956
[pid=27632] ppid=27630 vsize=90284 CPUtime=1002.04
/proc/27632/stat : 27632 (PBS4_SAT07v2) R 27630 27632 27262 0 -1 4194304 18232 0 0 0 100112 92 0 0 25 0 1 0 304744064 92450816 17490 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557328 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27632/statm: 22571 17490 102 219 0 22348 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 90284

[startup+1062.3 s]
/proc/loadavg: 1.02 1.03 1.00 2/65 27633
/proc/meminfo: memFree=1842360/2055920 swapFree=4183880/4192956
[pid=27632] ppid=27630 vsize=90888 CPUtime=1062.02
/proc/27632/stat : 27632 (PBS4_SAT07v2) R 27630 27632 27262 0 -1 4194304 18336 0 0 0 106109 93 0 0 25 0 1 0 304744064 93069312 17594 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27632/statm: 22722 17594 102 219 0 22499 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 90888

[startup+1122.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 27633
/proc/meminfo: memFree=1842040/2055920 swapFree=4183880/4192956
[pid=27632] ppid=27630 vsize=91176 CPUtime=1122.01
/proc/27632/stat : 27632 (PBS4_SAT07v2) R 27630 27632 27262 0 -1 4194304 18410 0 0 0 112107 94 0 0 25 0 1 0 304744064 93364224 17668 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560672 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27632/statm: 22794 17668 102 219 0 22571 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 91176

[startup+1182.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 27633
/proc/meminfo: memFree=1841080/2055920 swapFree=4183880/4192956
[pid=27632] ppid=27630 vsize=92296 CPUtime=1181.99
/proc/27632/stat : 27632 (PBS4_SAT07v2) R 27630 27632 27262 0 -1 4194304 18633 0 0 0 118104 95 0 0 25 0 1 0 304744064 94511104 17891 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27632/statm: 23074 17891 102 219 0 22851 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 92296

[startup+1242.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 27633
/proc/meminfo: memFree=1839800/2055920 swapFree=4183880/4192956
[pid=27632] ppid=27630 vsize=93656 CPUtime=1241.98
/proc/27632/stat : 27632 (PBS4_SAT07v2) R 27630 27632 27262 0 -1 4194304 18947 0 0 0 124099 99 0 0 25 0 1 0 304744064 95903744 18205 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27632/statm: 23414 18205 102 219 0 23191 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 93656

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27633
/proc/meminfo: memFree=1837560/2055920 swapFree=4183880/4192956
[pid=27632] ppid=27630 vsize=96668 CPUtime=1301.97
/proc/27632/stat : 27632 (PBS4_SAT07v2) R 27630 27632 27262 0 -1 4194304 19496 0 0 0 130095 102 0 0 25 0 1 0 304744064 98988032 18754 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27632/statm: 24167 18754 102 219 0 23944 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 96668

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27633
/proc/meminfo: memFree=1836088/2055920 swapFree=4183880/4192956
[pid=27632] ppid=27630 vsize=98752 CPUtime=1361.95
/proc/27632/stat : 27632 (PBS4_SAT07v2) R 27630 27632 27262 0 -1 4194304 19872 0 0 0 136089 106 0 0 25 0 1 0 304744064 101122048 19130 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557328 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27632/statm: 24688 19130 102 219 0 24465 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 98752

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27633
/proc/meminfo: memFree=1835576/2055920 swapFree=4183880/4192956
[pid=27632] ppid=27630 vsize=99184 CPUtime=1421.93
/proc/27632/stat : 27632 (PBS4_SAT07v2) R 27630 27632 27262 0 -1 4194304 19984 0 0 0 142084 109 0 0 25 0 1 0 304744064 101564416 19242 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557354 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27632/statm: 24796 19242 102 219 0 24573 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 99184

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27633
/proc/meminfo: memFree=1835000/2055920 swapFree=4183880/4192956
[pid=27632] ppid=27630 vsize=99968 CPUtime=1481.92
/proc/27632/stat : 27632 (PBS4_SAT07v2) R 27630 27632 27262 0 -1 4194304 20133 0 0 0 148081 111 0 0 25 0 1 0 304744064 102367232 19391 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557322 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27632/statm: 24992 19391 102 219 0 24769 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 99968

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27633
/proc/meminfo: memFree=1833976/2055920 swapFree=4183880/4192956
[pid=27632] ppid=27630 vsize=101580 CPUtime=1541.9
/proc/27632/stat : 27632 (PBS4_SAT07v2) R 27630 27632 27262 0 -1 4194304 20395 0 0 0 154078 112 0 0 25 0 1 0 304744064 104017920 19653 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27632/statm: 25395 19653 102 219 0 25172 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 101580

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27633
/proc/meminfo: memFree=1832952/2055920 swapFree=4183880/4192956
[pid=27632] ppid=27630 vsize=102860 CPUtime=1601.89
/proc/27632/stat : 27632 (PBS4_SAT07v2) R 27630 27632 27262 0 -1 4194304 20628 0 0 0 160073 116 0 0 25 0 1 0 304744064 105328640 19886 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557336 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27632/statm: 25715 19886 102 219 0 25492 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 102860

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27633
/proc/meminfo: memFree=1832696/2055920 swapFree=4183880/4192956
[pid=27632] ppid=27630 vsize=103084 CPUtime=1661.87
/proc/27632/stat : 27632 (PBS4_SAT07v2) R 27630 27632 27262 0 -1 4194304 20695 0 0 0 166070 117 0 0 25 0 1 0 304744064 105558016 19953 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27632/statm: 25771 19953 102 219 0 25548 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 103084

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27633
/proc/meminfo: memFree=1831736/2055920 swapFree=4183880/4192956
[pid=27632] ppid=27630 vsize=104396 CPUtime=1721.86
/proc/27632/stat : 27632 (PBS4_SAT07v2) R 27630 27632 27262 0 -1 4194304 20928 0 0 0 172066 120 0 0 25 0 1 0 304744064 106901504 20186 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557380 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27632/statm: 26099 20186 102 219 0 25876 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 104396

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27633
/proc/meminfo: memFree=1830328/2055920 swapFree=4183880/4192956
[pid=27632] ppid=27630 vsize=106468 CPUtime=1781.84
/proc/27632/stat : 27632 (PBS4_SAT07v2) R 27630 27632 27262 0 -1 4194304 21281 0 0 0 178060 124 0 0 25 0 1 0 304744064 109023232 20539 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27632/statm: 26617 20539 102 219 0 26394 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 106468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27633
/proc/meminfo: memFree=1830136/2055920 swapFree=4183880/4192956
[pid=27632] ppid=27630 vsize=106724 CPUtime=1800.04
/proc/27632/stat : 27632 (PBS4_SAT07v2) R 27630 27632 27262 0 -1 4194304 21327 0 0 0 179879 125 0 0 25 0 1 0 304744064 109285376 20585 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557304 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27632/statm: 26681 20585 102 219 0 26458 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 106724

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27633
/proc/meminfo: memFree=1830136/2055920 swapFree=4183880/4192956
[pid=27632] ppid=27630 vsize=106724 CPUtime=1800.04
/proc/27632/stat : 27632 (PBS4_SAT07v2) R 27630 27632 27262 0 -1 4194304 21327 0 0 0 179879 125 0 0 25 0 1 0 304744064 109285376 20585 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557304 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27632/statm: 26681 20585 102 219 0 26458 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 106724

Child status: 0
Real time (s): 1800.53
CPU time (s): 1800.07
CPU user time (s): 1798.8
CPU system time (s): 1.27381
CPU usage (%): 99.9746
Max. virtual memory (cumulated for all children) (KiB): 106724

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

runsolver used 1.37579 second user time and 3.55146 second system time

The end

Launcher Data (download as text)

Begin job on node70 on Tue May  8 19:21:07 UTC 2007

IDJOB= 459237
IDBENCH= 25008
IDSOLVER= 200
FILE ID= node70/459237-1178652067

PBS_JOBID= 5218401

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/aksoy/area_delay/normalized-fir07_area_delay.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459237-1178652067/instance-459237-1178652067.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node70/convwatcher-459237-1178652067 -o ROOT/results/node70/conversion-459237-1178652067 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459237-1178652067/instance-459237-1178652067.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  654b3ba852cf335035821a9e288b621f

RANDOM SEED= 405594748

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node70.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.218
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.218
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:       1913480 kB
Buffers:          6944 kB
Cached:          57864 kB
SwapCached:       2988 kB
Active:          34464 kB
Inactive:        39832 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1913480 kB
SwapTotal:     4192956 kB
SwapFree:      4183880 kB
Dirty:            3872 kB
Writeback:           0 kB
Mapped:          15664 kB
Slab:            54164 kB
Committed_AS:  7589752 kB
PageTables:       1396 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 node70 on Tue May  8 19:51:10 UTC 2007