Trace number 2666790

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 NameAnswerobjective functionCPU timeWall clock time
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverOPT25 86.8508 86.8792

General information on the benchmark

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

Verifier Data

OK	25

Watcher Data

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666790-1276633230/watcher-2666790-1276633230 -o /tmp/evaluation-result-2666790-1276633230/solver-2666790-1276633230 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666790-1276633230.opb -t 1800 -m 1800 

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: 2.13 2.04 1.68 3/106 3533
/proc/meminfo: memFree=1864172/2059040 swapFree=4140244/4192956
[pid=3533] ppid=3531 vsize=6696 CPUtime=0
/proc/3533/stat : 3533 (pbscip.linux.x8) R 3531 3533 3107 0 -1 4202496 984 0 0 0 0 0 0 0 20 0 1 0 38926997 6856704 903 1992294400 4194304 8223781 140733262538976 18446744073709551615 7256628 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3533/statm: 1674 904 343 984 0 687 0

[startup+0.048925 s]
/proc/loadavg: 2.13 2.04 1.68 3/106 3533
/proc/meminfo: memFree=1864172/2059040 swapFree=4140244/4192956
[pid=3533] ppid=3531 vsize=14328 CPUtime=0.04
/proc/3533/stat : 3533 (pbscip.linux.x8) R 3531 3533 3107 0 -1 4202496 2908 0 0 0 3 1 0 0 20 0 1 0 38926997 14671872 2826 1992294400 4194304 8223781 140733262538976 18446744073709551615 5648418 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3533/statm: 3582 2826 365 984 0 2595 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 14328

[startup+0.100929 s]
/proc/loadavg: 2.13 2.04 1.68 3/106 3533
/proc/meminfo: memFree=1864172/2059040 swapFree=4140244/4192956
[pid=3533] ppid=3531 vsize=17652 CPUtime=0.09
/proc/3533/stat : 3533 (pbscip.linux.x8) R 3531 3533 3107 0 -1 4202496 3734 0 0 0 8 1 0 0 20 0 1 0 38926997 18075648 3652 1992294400 4194304 8223781 140733262538976 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3533/statm: 4413 3652 365 984 0 3426 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17652

[startup+0.300944 s]
/proc/loadavg: 2.13 2.04 1.68 3/106 3533
/proc/meminfo: memFree=1864172/2059040 swapFree=4140244/4192956
[pid=3533] ppid=3531 vsize=22724 CPUtime=0.29
/proc/3533/stat : 3533 (pbscip.linux.x8) R 3531 3533 3107 0 -1 4202496 5023 0 0 0 27 2 0 0 20 0 1 0 38926997 23269376 4941 1992294400 4194304 8223781 140733262538976 18446744073709551615 4640689 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3533/statm: 5681 4941 365 984 0 4694 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22724

[startup+0.700978 s]
/proc/loadavg: 2.13 2.04 1.68 3/106 3533
/proc/meminfo: memFree=1864172/2059040 swapFree=4140244/4192956
[pid=3533] ppid=3531 vsize=56520 CPUtime=0.69
/proc/3533/stat : 3533 (pbscip.linux.x8) R 3531 3533 3107 0 -1 4202496 13768 0 0 0 64 5 0 0 21 0 1 0 38926997 57876480 13300 1992294400 4194304 8223781 140733262538976 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3533/statm: 14130 13300 402 984 0 13143 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 56520

[startup+1.50104 s]
/proc/loadavg: 2.13 2.04 1.68 2/107 3534
/proc/meminfo: memFree=1807620/2059040 swapFree=4140244/4192956
[pid=3533] ppid=3531 vsize=70732 CPUtime=1.49
/proc/3533/stat : 3533 (pbscip.linux.x8) R 3531 3533 3107 0 -1 4202496 20679 0 0 0 133 16 0 0 23 0 1 0 38926997 72429568 16574 1992294400 4194304 8223781 140733262538976 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3533/statm: 17683 16574 463 984 0 16696 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 70732

[startup+3.10117 s]
/proc/loadavg: 2.04 2.02 1.67 2/107 3534
/proc/meminfo: memFree=1777364/2059040 swapFree=4140244/4192956
[pid=3533] ppid=3531 vsize=104604 CPUtime=3.09
/proc/3533/stat : 3533 (pbscip.linux.x8) R 3531 3533 3107 0 -1 4202496 65961 0 0 0 275 34 0 0 25 0 1 0 38926997 107114496 24655 1992294400 4194304 8223781 140733262538976 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3533/statm: 26151 24655 548 984 0 25164 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 104604

[startup+6.30043 s]
/proc/loadavg: 2.04 2.02 1.67 2/107 3534
/proc/meminfo: memFree=1763228/2059040 swapFree=4140244/4192956
[pid=3533] ppid=3531 vsize=114796 CPUtime=6.29
/proc/3533/stat : 3533 (pbscip.linux.x8) R 3531 3533 3107 0 -1 4202496 153041 0 0 0 564 65 0 0 25 0 1 0 38926997 117551104 27097 1992294400 4194304 8223781 140733262538976 18446744073709551615 5721526 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3533/statm: 28699 27097 572 984 0 27712 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 114796

[startup+12.7009 s]
/proc/loadavg: 1.88 1.99 1.67 2/107 3534
/proc/meminfo: memFree=1756408/2059040 swapFree=4140244/4192956
[pid=3533] ppid=3531 vsize=115912 CPUtime=12.69
/proc/3533/stat : 3533 (pbscip.linux.x8) R 3531 3533 3107 0 -1 4202496 260964 0 0 0 1162 107 0 0 25 0 1 0 38926997 118693888 27290 1992294400 4194304 8223781 140733262538976 18446744073709551615 6299587 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3533/statm: 28978 27290 573 984 0 27991 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 115912

[startup+25.501 s]
/proc/loadavg: 1.75 1.95 1.66 2/107 3536
/proc/meminfo: memFree=1746240/2059040 swapFree=4140244/4192956
[pid=3533] ppid=3531 vsize=126712 CPUtime=25.49
/proc/3533/stat : 3533 (pbscip.linux.x8) R 3531 3533 3107 0 -1 4202496 664618 0 0 0 2308 241 0 0 25 0 1 0 38926997 129753088 29775 1992294400 4194304 8223781 140733262538976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3533/statm: 31714 29780 573 984 0 30727 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 126712

[startup+51.1011 s]
/proc/loadavg: 1.49 1.88 1.64 2/107 3536
/proc/meminfo: memFree=1744628/2059040 swapFree=4140244/4192956
[pid=3533] ppid=3531 vsize=128976 CPUtime=51.08
/proc/3533/stat : 3533 (pbscip.linux.x8) R 3531 3533 3107 0 -1 4202496 1547250 0 0 0 4570 538 0 0 25 0 1 0 38926997 132071424 30121 1992294400 4194304 8223781 140733262538976 18446744073709551615 5432909 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3533/statm: 32244 30121 573 984 0 31257 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 128976

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

[startup+63.9011 s]
/proc/loadavg: 1.38 1.83 1.63 2/107 3536
/proc/meminfo: memFree=1744752/2059040 swapFree=4140244/4192956
[pid=3533] ppid=3531 vsize=129636 CPUtime=63.87
/proc/3533/stat : 3533 (pbscip.linux.x8) R 3531 3533 3107 0 -1 4202496 2045725 0 0 0 5685 702 0 0 25 0 1 0 38926997 132747264 30204 1992294400 4194304 8223781 140733262538976 18446744073709551615 6299587 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3533/statm: 32409 30204 573 984 0 31422 0
Current children cumulated CPU time (s) 63.87
Current children cumulated vsize (KiB) 129636

[startup+76.7011 s]
/proc/loadavg: 1.32 1.81 1.62 2/107 3536
/proc/meminfo: memFree=1744132/2059040 swapFree=4140244/4192956
[pid=3533] ppid=3531 vsize=129752 CPUtime=76.67
/proc/3533/stat : 3533 (pbscip.linux.x8) R 3531 3533 3107 0 -1 4202496 2481264 0 0 0 6818 849 0 0 25 0 1 0 38926997 132866048 30334 1992294400 4194304 8223781 140733262538976 18446744073709551615 6570023 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3533/statm: 32438 30334 577 984 0 31451 0
Current children cumulated CPU time (s) 76.67
Current children cumulated vsize (KiB) 129752

[startup+83.1007 s]
/proc/loadavg: 1.27 1.78 1.62 2/107 3536
/proc/meminfo: memFree=1743884/2059040 swapFree=4140244/4192956
[pid=3533] ppid=3531 vsize=129892 CPUtime=83.06
/proc/3533/stat : 3533 (pbscip.linux.x8) R 3531 3533 3107 0 -1 4202496 2690287 0 0 0 7387 919 0 0 25 0 1 0 38926997 133009408 30332 1992294400 4194304 8223781 140733262538976 18446744073709551615 6299585 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3533/statm: 32473 30332 595 984 0 31486 0
Current children cumulated CPU time (s) 83.06
Current children cumulated vsize (KiB) 129892

[startup+84.7078 s]
/proc/loadavg: 1.27 1.78 1.62 2/107 3536
/proc/meminfo: memFree=1745248/2059040 swapFree=4140244/4192956
[pid=3533] ppid=3531 vsize=127412 CPUtime=84.67
/proc/3533/stat : 3533 (pbscip.linux.x8) R 3531 3533 3107 0 -1 4202496 2729293 0 0 0 7536 931 0 0 25 0 1 0 38926997 130469888 29962 1992294400 4194304 8223781 140733262538976 18446744073709551615 6446882 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3533/statm: 31853 29962 596 984 0 30866 0
Current children cumulated CPU time (s) 84.67
Current children cumulated vsize (KiB) 127412

[startup+85.5009 s]
/proc/loadavg: 1.27 1.78 1.62 2/107 3536
/proc/meminfo: memFree=1745248/2059040 swapFree=4140244/4192956
[pid=3533] ppid=3531 vsize=127412 CPUtime=85.47
/proc/3533/stat : 3533 (pbscip.linux.x8) R 3531 3533 3107 0 -1 4202496 2729736 0 0 0 7615 932 0 0 25 0 1 0 38926997 130469888 29977 1992294400 4194304 8223781 140733262538976 18446744073709551615 6539311 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3533/statm: 31853 29977 596 984 0 30866 0
Current children cumulated CPU time (s) 85.47
Current children cumulated vsize (KiB) 127412

[startup+86.3009 s]
/proc/loadavg: 1.27 1.78 1.62 2/107 3536
/proc/meminfo: memFree=1745248/2059040 swapFree=4140244/4192956
[pid=3533] ppid=3531 vsize=127412 CPUtime=86.27
/proc/3533/stat : 3533 (pbscip.linux.x8) R 3531 3533 3107 0 -1 4202496 2730325 0 0 0 7694 933 0 0 25 0 1 0 38926997 130469888 29997 1992294400 4194304 8223781 140733262538976 18446744073709551615 6539298 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3533/statm: 31853 29997 596 984 0 30866 0
Current children cumulated CPU time (s) 86.27
Current children cumulated vsize (KiB) 127412

[startup+86.701 s]
/proc/loadavg: 1.27 1.78 1.62 2/107 3536
/proc/meminfo: memFree=1745248/2059040 swapFree=4140244/4192956
[pid=3533] ppid=3531 vsize=114520 CPUtime=86.67
/proc/3533/stat : 3533 (pbscip.linux.x8) R 3531 3533 3107 0 -1 4202496 2734200 0 0 0 7731 936 0 0 25 0 1 0 38926997 117268480 26778 1992294400 4194304 8223781 140733262538976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3533/statm: 28630 26778 597 984 0 27643 0
Current children cumulated CPU time (s) 86.67
Current children cumulated vsize (KiB) 114520

[startup+86.8036 s]
/proc/loadavg: 1.25 1.77 1.61 2/107 3536
/proc/meminfo: memFree=1759012/2059040 swapFree=4140244/4192956
[pid=3533] ppid=3531 vsize=113244 CPUtime=86.77
/proc/3533/stat : 3533 (pbscip.linux.x8) R 3531 3533 3107 0 -1 4202496 2734255 0 0 0 7741 936 0 0 25 0 1 0 38926997 115961856 26430 1992294400 4194304 8223781 140733262538976 18446744073709551615 6207260 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3533/statm: 28311 26430 599 984 0 27324 0
Current children cumulated CPU time (s) 86.77
Current children cumulated vsize (KiB) 113244

Child status: 0
Real time (s): 86.8792
CPU time (s): 86.8508
CPU user time (s): 77.4742
CPU system time (s): 9.37657
CPU usage (%): 99.9673
Max. virtual memory (cumulated for all children) (KiB): 167716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 77.4742
system time used= 9.37657
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2734259
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= 8
involuntary context switches= 1231

runsolver used 0.152976 second user time and 0.423935 second system time

The end

Launcher Data

Begin job on node003 at 2010-06-15 22:20:31
IDJOB=2666790
IDBENCH=24985
IDSOLVER=1169
FILE ID=node003/2666790-1276633230
PBS_JOBID= 11172350
Free space on /tmp= 62580 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_016_area_delay.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666790-1276633230/watcher-2666790-1276633230 -o /tmp/evaluation-result-2666790-1276633230/solver-2666790-1276633230 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666790-1276633230.opb -t 1800 -m 1800

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

MD5SUM BENCH= 580618cb84d1b6d12452a14c6ff54025
RANDOM SEED=1840180924

node003.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.251
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.50
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.251
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1864576 kB
Buffers:         12976 kB
Cached:         101408 kB
SwapCached:       6080 kB
Active:          87708 kB
Inactive:        39940 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1864576 kB
SwapTotal:     4192956 kB
SwapFree:      4140244 kB
Dirty:            5408 kB
Writeback:           0 kB
AnonPages:       11644 kB
Mapped:          13088 kB
Slab:            44848 kB
PageTables:       4000 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181616 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62576 MiB
End job on node003 at 2010-06-15 22:21:58