Trace number 1869751

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjCPU timeWall clock time
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2OPT23 17.4723 17.4827

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_opers/normalized-fir06_area_opers.opb
MD5SUM4b72d81adefd0ef56251a04b2b714e8c
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark23
Best CPU time to get the best result obtained on this benchmark4.68829
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 23
Optimality of the best value was proved YES
Number of variables11085
Total number of constraints23298
Number of constraints which are clauses23298
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 5533
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 5533
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 5533
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

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

Verifier Data

OK	23

Watcher Data

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869751-1245185623/watcher-1869751-1245185623 -o /tmp/evaluation-result-1869751-1245185623/solver-1869751-1245185623 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869751-1245185623.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): 2000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8609
/proc/meminfo: memFree=1850880/2055920 swapFree=4180828/4192956
[pid=8609] ppid=8607 vsize=5812 CPUtime=0
/proc/8609/stat : 8609 (pbscip.linux.x8) R 8607 8609 8244 0 -1 4194304 518 0 0 0 0 0 0 0 18 0 1 0 186162265 5951488 502 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/8609/statm: 1453 503 332 1256 0 192 0

[startup+0.0872129 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8609
/proc/meminfo: memFree=1850880/2055920 swapFree=4180828/4192956
[pid=8609] ppid=8607 vsize=18540 CPUtime=0.07
/proc/8609/stat : 8609 (pbscip.linux.x8) R 8607 8609 8244 0 -1 4194304 3622 0 0 0 6 1 0 0 18 0 1 0 186162265 18984960 3606 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/8609/statm: 4635 3606 378 1256 0 3374 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 18540

[startup+0.101214 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8609
/proc/meminfo: memFree=1850880/2055920 swapFree=4180828/4192956
[pid=8609] ppid=8607 vsize=19696 CPUtime=0.09
/proc/8609/stat : 8609 (pbscip.linux.x8) R 8607 8609 8244 0 -1 4194304 3925 0 0 0 8 1 0 0 18 0 1 0 186162265 20168704 3909 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0
/proc/8609/statm: 4924 3909 378 1256 0 3663 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19696

[startup+0.301247 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8609
/proc/meminfo: memFree=1850880/2055920 swapFree=4180828/4192956
[pid=8609] ppid=8607 vsize=26928 CPUtime=0.29
/proc/8609/stat : 8609 (pbscip.linux.x8) R 8607 8609 8244 0 -1 4194304 5714 0 0 0 27 2 0 0 19 0 1 0 186162265 27574272 5698 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/8609/statm: 6732 5698 378 1256 0 5471 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26928

[startup+0.701313 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8609
/proc/meminfo: memFree=1850880/2055920 swapFree=4180828/4192956
[pid=8609] ppid=8607 vsize=57380 CPUtime=0.69
/proc/8609/stat : 8609 (pbscip.linux.x8) R 8607 8609 8244 0 -1 4194304 13520 0 0 0 60 9 0 0 22 0 1 0 186162265 58757120 13150 1992294400 4194304 9342243 548682068736 18446744073709551615 5855009 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8609/statm: 14345 13150 474 1256 0 13084 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 57380

[startup+1.50245 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8610
/proc/meminfo: memFree=1793144/2055920 swapFree=4180828/4192956
[pid=8609] ppid=8607 vsize=90824 CPUtime=1.49
/proc/8609/stat : 8609 (pbscip.linux.x8) R 8607 8609 8244 0 -1 4194304 21011 0 0 0 133 16 0 0 25 0 1 0 186162265 93003776 20567 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8609/statm: 22706 20576 636 1256 0 21445 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 90824

[startup+3.10171 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8610
/proc/meminfo: memFree=1763128/2055920 swapFree=4180828/4192956
[pid=8609] ppid=8607 vsize=99200 CPUtime=3.09
/proc/8609/stat : 8609 (pbscip.linux.x8) R 8607 8609 8244 0 -1 4194304 23641 0 0 0 289 20 0 0 25 0 1 0 186162265 101580800 23195 1992294400 4194304 9342243 548682068736 18446744073709551615 8247753 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8609/statm: 24800 23195 655 1256 0 23539 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 99200

[startup+6.30125 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8610
/proc/meminfo: memFree=1740856/2055920 swapFree=4180828/4192956
[pid=8609] ppid=8607 vsize=116704 CPUtime=6.29
/proc/8609/stat : 8609 (pbscip.linux.x8) R 8607 8609 8244 0 -1 4194304 28566 0 0 0 604 25 0 0 25 0 1 0 186162265 119504896 28120 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8609/statm: 29176 28120 655 1256 0 27915 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 116704

[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8610
/proc/meminfo: memFree=1733816/2055920 swapFree=4180828/4192956
[pid=8609] ppid=8607 vsize=123948 CPUtime=12.68
/proc/8609/stat : 8609 (pbscip.linux.x8) R 8607 8609 8244 0 -1 4194304 30298 0 0 0 1238 30 0 0 25 0 1 0 186162265 126922752 29852 1992294400 4194304 9342243 548682068736 18446744073709551615 4338910 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8609/statm: 30987 29852 655 1256 0 29726 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 123948

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

[startup+15.9018 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8610
/proc/meminfo: memFree=1733880/2055920 swapFree=4180828/4192956
[pid=8609] ppid=8607 vsize=123948 CPUtime=15.89
/proc/8609/stat : 8609 (pbscip.linux.x8) R 8607 8609 8244 0 -1 4194304 30298 0 0 0 1557 32 0 0 25 0 1 0 186162265 126922752 29852 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8609/statm: 30987 29852 655 1256 0 29726 0
Current children cumulated CPU time (s) 15.89
Current children cumulated vsize (KiB) 123948

[startup+16.703 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8610
/proc/meminfo: memFree=1733880/2055920 swapFree=4180828/4192956
[pid=8609] ppid=8607 vsize=117988 CPUtime=16.69
/proc/8609/stat : 8609 (pbscip.linux.x8) R 8607 8609 8244 0 -1 4194304 30298 0 0 0 1636 33 0 0 25 0 1 0 186162265 120819712 28484 1992294400 4194304 9342243 548682068736 18446744073709551615 5610072 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8609/statm: 29497 28484 655 1256 0 28236 0
Current children cumulated CPU time (s) 16.69
Current children cumulated vsize (KiB) 117988

[startup+17.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8610
/proc/meminfo: memFree=1733880/2055920 swapFree=4180828/4192956
[pid=8609] ppid=8607 vsize=117988 CPUtime=17.09
/proc/8609/stat : 8609 (pbscip.linux.x8) R 8607 8609 8244 0 -1 4194304 30298 0 0 0 1674 35 0 0 25 0 1 0 186162265 120819712 28484 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8609/statm: 29497 28484 655 1256 0 28236 0
Current children cumulated CPU time (s) 17.09
Current children cumulated vsize (KiB) 117988

[startup+17.3011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8610
/proc/meminfo: memFree=1733880/2055920 swapFree=4180828/4192956
[pid=8609] ppid=8607 vsize=117988 CPUtime=17.29
/proc/8609/stat : 8609 (pbscip.linux.x8) R 8607 8609 8244 0 -1 4194304 30298 0 0 0 1693 36 0 0 25 0 1 0 186162265 120819712 28484 1992294400 4194304 9342243 548682068736 18446744073709551615 5858010 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8609/statm: 29497 28484 655 1256 0 28236 0
Current children cumulated CPU time (s) 17.29
Current children cumulated vsize (KiB) 117988

[startup+17.4011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8610
/proc/meminfo: memFree=1733880/2055920 swapFree=4180828/4192956
[pid=8609] ppid=8607 vsize=117988 CPUtime=17.38
/proc/8609/stat : 8609 (pbscip.linux.x8) R 8607 8609 8244 0 -1 4194304 30306 0 0 0 1702 36 0 0 17 0 1 0 186162265 120819712 28492 1992294400 4194304 9342243 548682068736 18446744073709551615 4802841 0 0 4096 0 0 0 0 17 1 0 0
/proc/8609/statm: 29497 28492 663 1256 0 28236 0
Current children cumulated CPU time (s) 17.38
Current children cumulated vsize (KiB) 117988

Child status: 0
Real time (s): 17.4827
CPU time (s): 17.4723
CPU user time (s): 17.0924
CPU system time (s): 0.379942
CPU usage (%): 99.9406
Max. virtual memory (cumulated for all children) (KiB): 123948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.0924
system time used= 0.379942
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30310
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= 83
involuntary context switches= 22

runsolver used 0.015997 second user time and 0.052991 second system time

The end

Launcher Data

Begin job on node31 at 2009-06-16 22:53:43
IDJOB=1869751
IDBENCH=25038
IDSOLVER=684
FILE ID=node31/1869751-1245185623
PBS_JOBID= 9363889
Free space on /tmp= 66272 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir06_area_opers.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1869751-1245185623/watcher-1869751-1245185623 -o /tmp/evaluation-result-1869751-1245185623/solver-1869751-1245185623 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869751-1245185623.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 4b72d81adefd0ef56251a04b2b714e8c
RANDOM SEED=1544478553

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

/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.258
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.258
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:       1851296 kB
Buffers:         40008 kB
Cached:          93308 kB
SwapCached:       5132 kB
Active:          37160 kB
Inactive:       104264 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1851296 kB
SwapTotal:     4192956 kB
SwapFree:      4180828 kB
Dirty:           12452 kB
Writeback:           0 kB
Mapped:          13812 kB
Slab:            48820 kB
Committed_AS:   174520 kB
PageTables:       1468 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66260 MiB
End job on node31 at 2009-06-16 22:54:01