Trace number 1869659

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjCPU timeWall clock time
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2OPT25 84.4282 84.4667

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_027_area_delay.opb
MD5SUM1b0ac127de7b79f6251c1506cbcbe6c3
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 benchmark5.46217
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 variables8805
Total number of constraints27496
Number of constraints which are clauses27496
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 4284
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 4284
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 4284
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.39/0.41	c SCIP version 1.1.0.7
0.39/0.41	c LP-Solver Clp 1.8.2
0.39/0.41	c user parameter file <scip.set> not found - using default parameters
0.39/0.41	c read problem <HOME/instance-1869659-1245182252.opb>
0.39/0.41	c original problem has 8805 variables (8805 bin, 0 int, 0 impl, 0 cont) and 27496 constraints
0.49/0.54	c start presolving problem
0.49/0.54	c presolving:
0.69/0.78	c (round 1) 4956 del vars, 9214 del conss, 682 chg bounds, 2 chg sides, 2 chg coeffs, 0 upgd conss, 49755 impls, 0 clqs
0.79/0.80	c (round 2) 4958 del vars, 11909 del conss, 682 chg bounds, 2 chg sides, 2 chg coeffs, 0 upgd conss, 49755 impls, 0 clqs
0.89/0.96	c (round 3) 4958 del vars, 11909 del conss, 682 chg bounds, 2 chg sides, 2 chg coeffs, 15545 upgd conss, 49755 impls, 0 clqs
0.89/1.00	c (round 4) 4958 del vars, 11909 del conss, 682 chg bounds, 2 chg sides, 2 chg coeffs, 15587 upgd conss, 49755 impls, 0 clqs
1.10/1.16	c    (0.7s) probing: 101/3847 (2.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.10/1.16	c    (0.7s) probing aborted: 100/100 successive totally useless probings
1.10/1.16	c presolving (5 rounds):
1.10/1.16	c  4958 deleted vars, 11909 deleted constraints, 682 tightened bounds, 0 added holes, 2 changed sides, 2 changed coefficients
1.10/1.16	c  49755 implications, 0 cliques
1.10/1.16	c presolved problem has 3847 variables (3847 bin, 0 int, 0 impl, 0 cont) and 15587 constraints
1.10/1.16	c   15587 constraints of type <logicor>
1.10/1.16	c transformed objective value is always integral (scale: 1)
1.10/1.16	c Presolving Time: 0.58
1.10/1.17	c strange?!, PURESAT with obj
1.10/1.17	c -----------------------------------------------------------------------------------------------
1.10/1.17	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.10/1.17	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.17	c limits/memory = c 1620
1.10/1.17	c # maximal time in seconds to run
1.10/1.17	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.17	c limits/time = c 1791
1.10/1.17	c # frequency for displaying node information lines
1.10/1.17	c # [type: int, range: [-1,2147483647], default: 100]
1.10/1.17	c display/freq = c 10000
1.10/1.17	c -----------------------------------------------------------------------------------------------
1.10/1.17	c start solving problem
1.10/1.17	c 
1.49/1.56	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.49/1.56	c   1.0s|     1 |     0 |   631 |  40M|   0 | 141 |3847 |  15k|  15k|3847 |  15k|   0 |   0 |   0 | 2.353670e+01 |      --      |    Inf 
1.49/1.57	o 47
1.49/1.57	c R 1.0s|     1 |     0 |   631 |  40M|   0 | 141 |3847 |  15k|  15k|3847 |  15k|   0 |   0 |   0 | 2.353670e+01 | 4.700000e+01 |  99.69%
2.99/3.01	c   2.5s|     1 |     0 |   729 |  41M|   0 | 144 |3847 |  15k|  15k|3847 |  15k|   3 |   0 |   0 | 2.383169e+01 | 4.700000e+01 |  97.22%
4.39/4.47	c   3.9s|     1 |     0 |   818 |  41M|   0 | 104 |3847 |  15k|  15k|3847 |  15k|   7 |   0 |   0 | 2.394592e+01 | 4.700000e+01 |  96.28%
4.39/4.48	o 40
4.39/4.48	c R 3.9s|     1 |     0 |   818 |  42M|   0 | 104 |3847 |  15k|  15k|3847 |  15k|   7 |   0 |   0 | 2.394592e+01 | 4.000000e+01 |  67.04%
7.29/7.35	c   6.7s|     1 |     0 |   914 |  42M|   0 | 141 |3847 |  15k|  15k|3847 |  15k|  11 |   0 |   0 | 2.400674e+01 | 4.000000e+01 |  66.62%
11.09/11.11	c  10.5s|     1 |     0 |   996 |  42M|   0 | 143 |3847 |  15k|  15k|3847 |  15k|  15 |   0 |   0 | 2.402774e+01 | 4.000000e+01 |  66.47%
14.59/14.68	c  14.0s|     1 |     0 |  1114 |  42M|   0 | 134 |3847 |  15k|  15k|3847 |  15k|  18 |   0 |   0 | 2.405975e+01 | 4.000000e+01 |  66.25%
18.98/19.07	c  18.4s|     1 |     0 |  1245 |  43M|   0 | 172 |3847 |  15k|  15k|3847 |  15k|  20 |   0 |   0 | 2.408181e+01 | 4.000000e+01 |  66.10%
24.38/24.42	c  23.7s|     1 |     0 |  1370 |  43M|   0 | 140 |3847 |  15k|  15k|3847 |  15k|  25 |   0 |   0 | 2.410060e+01 | 4.000000e+01 |  65.97%
29.78/29.85	c  29.1s|     1 |     0 |  1425 |  43M|   0 | 141 |3847 |  15k|  15k|3847 |  15k|  28 |   0 |   0 | 2.410253e+01 | 4.000000e+01 |  65.96%
35.48/35.51	c  34.8s|     1 |     0 |  1430 |  43M|   0 | 141 |3847 |  15k|  15k|3847 |  15k|  31 |   0 |   0 | 2.410253e+01 | 4.000000e+01 |  65.96%
41.28/41.34	o 26
41.28/41.34	c E40.5s|     1 |     0 |  1430 |  43M|   0 | 141 |3847 |  15k|  15k|3847 |  15k|  31 |   0 |   0 | 2.410253e+01 | 2.600000e+01 |   7.87%
41.28/41.36	c  40.5s|     1 |     0 |  1430 |  43M|   0 | 141 |3847 |  15k|  15k|3847 |  15k|  31 |   0 |   0 | 2.410253e+01 | 2.600000e+01 |   7.87%
46.27/46.35	c  45.5s|     1 |     0 |  1430 |  40M|   0 | 141 |3847 |  12k|  12k|3847 |3140 |  31 |   0 |   0 | 2.410253e+01 | 2.600000e+01 |   7.87%
51.77/51.88	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
51.77/51.88	c  51.0s|     1 |     0 |  1430 |  40M|   0 |   - |3847 |  12k|  12k|3847 |3140 |  31 |   0 |  42 | 2.410253e+01 | 2.600000e+01 |   7.87%
51.77/51.88	c (run 1, node 1) restarting after 2789 global fixings of integer variables
51.77/51.88	c 
51.77/51.88	(restart) converted 31 cuts from the global cut pool into linear constraints
51.87/51.91	c 
51.87/51.91	presolving:
51.87/51.96	c (round 1) 2789 del vars, 9694 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 31 upgd conss, 49755 impls, 21 clqs
51.97/52.05	c (round 2) 2789 del vars, 9695 del conss, 0 chg bounds, 0 chg sides, 3 chg coeffs, 31 upgd conss, 49755 impls, 21 clqs
51.97/52.08	c presolving (3 rounds):
51.97/52.08	c  2789 deleted vars, 9695 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 5 changed coefficients
51.97/52.08	c  49755 implications, 21 cliques
51.97/52.08	c presolved problem has 1058 variables (1058 bin, 0 int, 0 impl, 0 cont) and 3113 constraints
51.97/52.08	c       9 constraints of type <knapsack>
51.97/52.08	c      21 constraints of type <setppc>
51.97/52.08	c    3083 constraints of type <logicor>
51.97/52.08	c transformed objective value is always integral (scale: 1)
51.97/52.08	c Presolving Time: 0.75
51.97/52.08	c 
52.27/52.30	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
52.27/52.30	c  51.5s|     1 |     0 |  2143 |  32M|   0 | 226 |1058 |3113 |3113 |1058 |3113 |   0 |   0 |  42 | 2.412588e+01 | 2.600000e+01 |   7.77%
53.38/53.44	c  52.6s|     1 |     0 |  2231 |  32M|   0 | 222 |1058 |3113 |3113 |1058 |3117 |   4 |   0 |  42 | 2.413515e+01 | 2.600000e+01 |   7.73%
56.47/56.54	c  55.7s|     1 |     0 |  2288 |  32M|   0 | 184 |1058 |3113 |3113 |1058 |3117 |   4 |   0 |  61 | 2.414375e+01 | 2.600000e+01 |   7.69%
57.87/57.96	c  57.1s|     1 |     0 |  2429 |  32M|   0 | 192 |1058 |3113 |3113 |1058 |3117 |   4 |   0 |  70 | 2.415546e+01 | 2.600000e+01 |   7.64%
60.77/60.86	c  60.0s|     1 |     0 |  2491 |  32M|   0 | 152 |1058 |3113 |3113 |1058 |3117 |   4 |   0 |  89 | 2.416174e+01 | 2.600000e+01 |   7.61%
61.57/61.68	c  60.8s|     1 |     0 |  2578 |  32M|   0 | 169 |1058 |3113 |3113 |1058 |3117 |   4 |   0 |  95 | 2.417286e+01 | 2.600000e+01 |   7.56%
64.67/64.73	c  63.9s|     1 |     0 |  2643 |  32M|   0 | 152 |1058 |3113 |3113 |1058 |3117 |   4 |   0 | 117 | 2.418064e+01 | 2.600000e+01 |   7.52%
66.07/66.19	c  65.3s|     1 |     0 |  2741 |  32M|   0 | 136 |1058 |3113 |3113 |1058 |3117 |   4 |   0 | 126 | 2.419320e+01 | 2.600000e+01 |   7.47%
67.07/67.13	c  66.2s|     1 |     0 |  2853 |  32M|   0 | 184 |1058 |3113 |3113 |1058 |3117 |   4 |   0 | 131 | 2.424759e+01 | 2.600000e+01 |   7.23%
68.46/68.56	c  67.7s|     1 |     0 |  2952 |  32M|   0 | 133 |1058 |3113 |3113 |1058 |3117 |   4 |   0 | 140 | 2.426880e+01 | 2.600000e+01 |   7.13%
69.57/69.61	c  68.7s|     1 |     0 |  3052 |  32M|   0 | 149 |1058 |3113 |3113 |1058 |3117 |   4 |   0 | 148 | 2.429528e+01 | 2.600000e+01 |   7.02%
70.97/71.01	c  70.1s|     1 |     0 |  3115 |  32M|   0 | 146 |1058 |3113 |3113 |1058 |3117 |   4 |   0 | 161 | 2.430211e+01 | 2.600000e+01 |   6.99%
71.97/72.02	c  71.1s|     1 |     0 |  3196 |  32M|   0 | 136 |1058 |3113 |3113 |1058 |3117 |   4 |   0 | 169 | 2.434692e+01 | 2.600000e+01 |   6.79%
72.57/72.60	c  71.7s|     1 |     0 |  3206 |  32M|   0 | 118 |1058 |3113 |3113 |1058 |3107 |   4 |   0 | 174 | 2.435183e+01 | 2.600000e+01 |   6.77%
73.17/73.26	c  72.3s|     1 |     0 |  3273 |  32M|   0 |  93 |1058 |3113 |3113 |1058 |3107 |   4 |   0 | 181 | 2.436618e+01 | 2.600000e+01 |   6.71%
74.16/74.21	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
74.16/74.21	c  73.3s|     1 |     0 |  3289 |  32M|   0 |  97 |1058 |3113 |3113 |1058 |3107 |   4 |   0 | 191 | 2.436761e+01 | 2.600000e+01 |   6.70%
74.87/74.93	c  74.0s|     1 |     0 |  3349 |  32M|   0 | 118 |1058 |3113 |3113 |1058 |3107 |   4 |   0 | 198 | 2.438555e+01 | 2.600000e+01 |   6.62%
75.67/75.75	c  74.8s|     1 |     0 |  3409 |  32M|   0 | 116 |1058 |3102 |3102 |1058 |3107 |   4 |   0 | 205 | 2.439236e+01 | 2.600000e+01 |   6.59%
76.37/76.47	c  75.6s|     1 |     0 |  3489 |  32M|   0 |  96 |1058 |3090 |3090 |1058 |3107 |   4 |   0 | 211 | 2.440435e+01 | 2.600000e+01 |   6.54%
77.76/77.85	c  76.9s|     1 |     0 |  3629 |  32M|   0 | 158 |1058 |3089 |3089 |1058 |3106 |   4 |   0 | 226 | 2.457008e+01 | 2.600000e+01 |   5.82%
78.26/78.38	c  77.5s|     1 |     0 |  3671 |  32M|   0 |  96 |1058 |3061 |3061 |1058 |3106 |   4 |   0 | 233 | 2.458140e+01 | 2.600000e+01 |   5.77%
78.76/78.84	c  77.9s|     1 |     0 |  3707 |  32M|   0 | 126 |1058 |3061 |3061 |1058 |3106 |   4 |   0 | 239 | 2.459404e+01 | 2.600000e+01 |   5.72%
79.36/79.42	c  78.5s|     1 |     0 |  3811 |  32M|   0 |  96 |1058 |3061 |3061 |1058 |3106 |   4 |   0 | 245 | 2.463309e+01 | 2.600000e+01 |   5.55%
79.77/79.88	c  79.0s|     1 |     0 |  3835 |  32M|   0 |  79 |1058 |3050 |3050 |1058 |3106 |   4 |   0 | 250 | 2.464879e+01 | 2.600000e+01 |   5.48%
80.07/80.16	c  79.2s|     1 |     0 |  3850 |  32M|   0 | 149 |1058 |3035 |3035 |1058 |3106 |   4 |   0 | 255 | 2.465382e+01 | 2.600000e+01 |   5.46%
80.67/80.78	c  79.9s|     1 |     0 |  3862 |  32M|   0 | 149 |1058 |3024 |3024 |1058 |3102 |   4 |   0 | 260 | 2.465723e+01 | 2.600000e+01 |   5.45%
81.07/81.19	c  80.3s|     1 |     0 |  3888 |  32M|   0 | 116 |1058 |3024 |3024 |1058 |3102 |   4 |   0 | 265 | 2.467497e+01 | 2.600000e+01 |   5.37%
81.47/81.53	c  80.6s|     1 |     0 |  3907 |  32M|   0 | 147 |1058 |3024 |3024 |1058 |3102 |   4 |   0 | 270 | 2.468690e+01 | 2.600000e+01 |   5.32%
81.87/81.92	c  81.0s|     1 |     0 |  3934 |  32M|   0 | 150 |1058 |3003 |3003 |1058 |3102 |   4 |   0 | 275 | 2.469418e+01 | 2.600000e+01 |   5.29%
82.16/82.23	c  81.3s|     1 |     0 |  3939 |  32M|   0 | 142 |1058 |2981 |2981 |1058 |3102 |   4 |   0 | 280 | 2.469429e+01 | 2.600000e+01 |   5.29%
82.47/82.56	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
82.47/82.56	c  81.6s|     1 |     0 |  3939 |  32M|   0 |   - |1058 |2981 |2981 |1058 |3102 |   4 |   0 | 285 | 2.469429e+01 | 2.600000e+01 |   5.29%
82.47/82.56	c (run 2, node 1) restarting after 226 global fixings of integer variables
82.47/82.56	c 
82.47/82.56	(restart) converted 2 cuts from the global cut pool into linear constraints
82.47/82.57	c 
82.47/82.57	presolving:
82.56/82.63	c (round 1) 238 del vars, 823 del conss, 0 chg bounds, 0 chg sides, 3 chg coeffs, 2 upgd conss, 49821 impls, 10 clqs
82.56/82.68	c (round 2) 238 del vars, 838 del conss, 0 chg bounds, 0 chg sides, 5 chg coeffs, 2 upgd conss, 49821 impls, 10 clqs
82.66/82.71	c (round 3) 238 del vars, 839 del conss, 0 chg bounds, 0 chg sides, 7 chg coeffs, 2 upgd conss, 49821 impls, 10 clqs
82.66/82.73	c (round 4) 238 del vars, 839 del conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 2 upgd conss, 49821 impls, 10 clqs
82.66/82.76	c (round 5) 238 del vars, 839 del conss, 0 chg bounds, 0 chg sides, 11 chg coeffs, 2 upgd conss, 49821 impls, 10 clqs
82.66/82.78	c presolving (6 rounds):
82.66/82.78	c  238 deleted vars, 839 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 12 changed coefficients
82.66/82.78	c  49821 implications, 10 cliques
82.66/82.78	c presolved problem has 820 variables (820 bin, 0 int, 0 impl, 0 cont) and 2144 constraints
82.66/82.78	c       9 constraints of type <knapsack>
82.66/82.78	c      20 constraints of type <setppc>
82.66/82.78	c    2115 constraints of type <logicor>
82.66/82.78	c transformed objective value is always integral (scale: 1)
82.66/82.78	c Presolving Time: 0.96
82.66/82.78	c 
82.86/82.90	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
82.86/82.90	c  82.0s|     1 |     0 |  4419 |  31M|   0 | 141 | 820 |2144 |2144 | 820 |2140 |   0 |   0 | 285 | 2.470829e+01 | 2.600000e+01 |   5.23%
83.36/83.46	c  82.5s|     1 |     0 |  4497 |  32M|   0 |  63 | 820 |1761 |1761 | 820 |1280 |   3 |   0 | 285 | 2.480000e+01 | 2.600000e+01 |   4.84%
83.97/84.02	c  83.1s|     1 |     0 |  4497 |  32M|   0 |   - | 820 |1761 |1761 | 820 |1280 |   3 |   0 | 303 | 2.480000e+01 | 2.600000e+01 |   4.84%
83.97/84.02	c (run 3, node 1) restarting after 355 global fixings of integer variables
83.97/84.02	c 
83.97/84.02	(restart) converted 3 cuts from the global cut pool into linear constraints
83.97/84.03	c 
83.97/84.03	presolving:
83.97/84.05	c (round 1) 357 del vars, 623 del conss, 1 chg bounds, 0 chg sides, 7 chg coeffs, 3 upgd conss, 49842 impls, 8 clqs
83.97/84.06	c (round 2) 364 del vars, 687 del conss, 1 chg bounds, 0 chg sides, 16 chg coeffs, 3 upgd conss, 49842 impls, 6 clqs
83.97/84.09	c (round 3) 364 del vars, 688 del conss, 1 chg bounds, 0 chg sides, 21 chg coeffs, 3 upgd conss, 49842 impls, 6 clqs
84.06/84.12	c (round 4) 364 del vars, 688 del conss, 1 chg bounds, 0 chg sides, 25 chg coeffs, 3 upgd conss, 49842 impls, 6 clqs
84.06/84.12	c (round 5) 364 del vars, 688 del conss, 1 chg bounds, 0 chg sides, 27 chg coeffs, 3 upgd conss, 49842 impls, 6 clqs
84.06/84.12	c presolving (6 rounds):
84.06/84.12	c  364 deleted vars, 688 deleted constraints, 1 tightened bounds, 0 added holes, 0 changed sides, 27 changed coefficients
84.06/84.12	c  49842 implications, 6 cliques
84.06/84.12	c presolved problem has 456 variables (456 bin, 0 int, 0 impl, 0 cont) and 1076 constraints
84.06/84.12	c      10 constraints of type <knapsack>
84.06/84.12	c      14 constraints of type <setppc>
84.06/84.12	c    1052 constraints of type <logicor>
84.06/84.12	c transformed objective value is always integral (scale: 1)
84.06/84.12	c Presolving Time: 1.05
84.06/84.12	c 
84.06/84.17	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
84.06/84.17	c  83.2s|     1 |     0 |  4746 |  30M|   0 |   0 | 456 |1076 |1076 | 456 |1070 |   0 |   0 | 303 | 2.500000e+01 | 2.600000e+01 |   4.00%
84.16/84.20	c  83.2s|     1 |     0 |  4746 |  30M|   0 |   0 | 456 | 790 | 790 | 456 | 505 |   0 |   0 | 303 | 2.500000e+01 | 2.600000e+01 |   4.00%
84.16/84.20	c (run 4, node 1) restarting after 251 global fixings of integer variables
84.16/84.20	c 
84.16/84.20	presolving:
84.16/84.21	c (round 1) 252 del vars, 360 del conss, 0 chg bounds, 0 chg sides, 7 chg coeffs, 0 upgd conss, 49862 impls, 1 clqs
84.16/84.22	c (round 2) 252 del vars, 360 del conss, 0 chg bounds, 0 chg sides, 12 chg coeffs, 0 upgd conss, 49862 impls, 1 clqs
84.16/84.22	c (round 3) 252 del vars, 360 del conss, 0 chg bounds, 0 chg sides, 15 chg coeffs, 0 upgd conss, 49862 impls, 1 clqs
84.16/84.22	c (round 4) 252 del vars, 360 del conss, 0 chg bounds, 0 chg sides, 16 chg coeffs, 0 upgd conss, 49862 impls, 1 clqs
84.16/84.22	c presolving (5 rounds):
84.16/84.22	c  252 deleted vars, 360 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 16 changed coefficients
84.16/84.22	c  49862 implications, 1 cliques
84.16/84.22	c presolved problem has 204 variables (204 bin, 0 int, 0 impl, 0 cont) and 430 constraints
84.16/84.22	c      10 constraints of type <knapsack>
84.16/84.22	c      10 constraints of type <setppc>
84.16/84.22	c     410 constraints of type <logicor>
84.16/84.23	c transformed objective value is always integral (scale: 1)
84.16/84.23	c Presolving Time: 1.07
84.16/84.23	c 
84.16/84.24	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
84.16/84.24	c  83.3s|     1 |     0 |  4886 |  30M|   0 |  12 | 204 | 430 | 430 | 204 | 424 |   0 |   0 | 303 | 2.500000e+01 | 2.600000e+01 |   4.00%
84.16/84.26	c  83.3s|     1 |     0 |  4889 |  30M|   0 |  32 | 204 | 328 | 328 | 204 | 249 |   1 |   0 | 303 | 2.500000e+01 | 2.600000e+01 |   4.00%
84.16/84.29	c  83.3s|     1 |     0 |  4889 |  30M|   0 |   - | 204 | 328 | 328 | 204 | 249 |   1 |   0 | 326 | 2.500000e+01 | 2.600000e+01 |   4.00%
84.16/84.29	c (run 5, node 1) restarting after 89 global fixings of integer variables
84.16/84.29	c 
84.16/84.29	(restart) converted 1 cuts from the global cut pool into linear constraints
84.16/84.29	c 
84.16/84.29	presolving:
84.16/84.30	c (round 1) 94 del vars, 125 del conss, 2 chg bounds, 0 chg sides, 3 chg coeffs, 1 upgd conss, 49896 impls, 0 clqs
84.27/84.30	c (round 2) 97 del vars, 129 del conss, 2 chg bounds, 0 chg sides, 7 chg coeffs, 1 upgd conss, 49896 impls, 0 clqs
84.27/84.30	c (round 3) 97 del vars, 130 del conss, 2 chg bounds, 0 chg sides, 8 chg coeffs, 1 upgd conss, 49896 impls, 0 clqs
84.27/84.30	c presolving (4 rounds):
84.27/84.30	c  97 deleted vars, 130 deleted constraints, 2 tightened bounds, 0 added holes, 0 changed sides, 8 changed coefficients
84.27/84.30	c  49896 implications, 0 cliques
84.27/84.30	c presolved problem has 107 variables (107 bin, 0 int, 0 impl, 0 cont) and 199 constraints
84.27/84.30	c      11 constraints of type <knapsack>
84.27/84.30	c       5 constraints of type <setppc>
84.27/84.30	c     183 constraints of type <logicor>
84.27/84.30	c transformed objective value is always integral (scale: 1)
84.27/84.30	c Presolving Time: 1.08
84.27/84.30	c 
84.27/84.31	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
84.27/84.31	c  83.3s|     1 |     0 |  4964 |  30M|   0 |   0 | 107 | 199 | 199 | 107 | 189 |   0 |   0 | 326 | 2.500000e+01 | 2.600000e+01 |   4.00%
84.27/84.31	c  83.4s|     1 |     0 |  4964 |  29M|   0 |   0 | 107 | 177 | 177 | 107 | 144 |   0 |   0 | 326 | 2.500000e+01 | 2.600000e+01 |   4.00%
84.27/84.31	c (run 6, node 1) restarting after 20 global fixings of integer variables
84.27/84.31	c 
84.27/84.31	presolving:
84.27/84.32	c (round 1) 20 del vars, 31 del conss, 0 chg bounds, 0 chg sides, 1 chg coeffs, 0 upgd conss, 49908 impls, 0 clqs
84.27/84.32	c presolving (2 rounds):
84.27/84.32	c  20 deleted vars, 31 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 1 changed coefficients
84.27/84.32	c  49908 implications, 0 cliques
84.27/84.32	c presolved problem has 87 variables (87 bin, 0 int, 0 impl, 0 cont) and 146 constraints
84.27/84.32	c      11 constraints of type <knapsack>
84.27/84.32	c       5 constraints of type <setppc>
84.27/84.32	c     130 constraints of type <logicor>
84.27/84.32	c transformed objective value is always integral (scale: 1)
84.27/84.32	c Presolving Time: 1.08
84.27/84.32	c 
84.27/84.32	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
84.27/84.32	c  83.4s|     1 |     0 |  5030 |  29M|   0 |  34 |  87 | 146 | 146 |  87 | 138 |   0 |   0 | 326 | 2.500000e+01 | 2.600000e+01 |   4.00%
84.27/84.33	c  83.4s|     1 |     0 |  5035 |  29M|   0 |   0 |  87 | 129 | 129 |  87 | 118 |   1 |   0 | 326 | 2.500000e+01 | 2.600000e+01 |   4.00%
84.27/84.33	c (run 7, node 1) restarting after 17 global fixings of integer variables
84.27/84.33	c 
84.27/84.33	(restart) converted 1 cuts from the global cut pool into linear constraints
84.27/84.34	c 
84.27/84.34	presolving:
84.27/84.34	c (round 1) 18 del vars, 13 del conss, 0 chg bounds, 1 chg sides, 19 chg coeffs, 1 upgd conss, 49934 impls, 0 clqs
84.27/84.34	c (round 2) 18 del vars, 13 del conss, 0 chg bounds, 1 chg sides, 20 chg coeffs, 1 upgd conss, 49934 impls, 0 clqs
84.27/84.34	c presolving (3 rounds):
84.27/84.34	c  18 deleted vars, 13 deleted constraints, 0 tightened bounds, 0 added holes, 1 changed sides, 20 changed coefficients
84.27/84.34	c  49934 implications, 0 cliques
84.27/84.34	c presolved problem has 69 variables (69 bin, 0 int, 0 impl, 0 cont) and 117 constraints
84.27/84.34	c      12 constraints of type <knapsack>
84.27/84.34	c       5 constraints of type <setppc>
84.27/84.34	c     100 constraints of type <logicor>
84.27/84.34	c transformed objective value is always integral (scale: 1)
84.27/84.34	c Presolving Time: 1.08
84.27/84.34	c 
84.27/84.34	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
84.27/84.34	c  83.4s|     1 |     0 |  5102 |  29M|   0 |   0 |  69 | 117 | 117 |  69 | 107 |   0 |   0 | 326 | 2.500000e+01 | 2.600000e+01 |   4.00%
84.27/84.35	o 25
84.27/84.35	c *83.4s|     1 |     0 |  5102 |  29M|   0 |   - |  69 | 117 | 117 |  69 | 107 |   0 |   0 | 326 | 2.500000e+01 | 2.500000e+01 |   0.00%
84.27/84.35	c 
84.27/84.35	c SCIP Status        : problem is solved [optimal solution found]
84.27/84.35	c Solving Time (sec) : 83.39
84.27/84.35	c Solving Nodes      : 1 (total of 8 nodes in 8 runs)
84.27/84.35	c Primal Bound       : +2.50000000000000e+01 (6 solutions)
84.27/84.35	c Dual Bound         : +2.50000000000000e+01
84.27/84.35	c Gap                : 0.00 %
84.27/84.38	c NODE         1
84.27/84.38	c DUAL BOUND   25
84.27/84.38	c PRIMAL BOUND 25
84.27/84.38	c GAP          0
84.27/84.38	s OPTIMUM FOUND
84.27/84.38	v x256 x255 x8804 -x254 -x8802 x8800 -x8798 -x253 -x8796 -x8794 -x8792 -x252 -x8790 -x8788 -x8786 -x251 -x8784 -x8782 -x8780 -x8778 
84.27/84.38	v -x8776 -x8774 -x250 -x8772 x249 x8770 -x8768 -x8766 -x248 -x8764 -x8762 -x247 -x8760 -x8758 -x8756 -x8754 -x8752 -x8750 x8748 
84.27/84.38	v -x8746 x8744 -x8742 -x8740 -x8738 -x8736 -x8734 -x8732 -x8730 -x8728 -x246 -x8726 -x8724 -x8722 -x8720 -x8718 -x8716 -x8714 
84.27/84.38	v -x245 -x8712 -x8710 -x8708 -x8706 -x8704 -x8702 -x8700 -x8698 -x8696 -x8694 -x8692 -x8690 -x8688 -x244 -x8686 x243 x8684 -x8682 
84.27/84.38	v -x8680 -x242 -x8678 -x8676 x8674 -x8672 -x8670 -x8668 -x8666 -x8664 -x8662 -x8660 -x241 -x8658 -x8656 -x8654 -x240 -x8652 
84.27/84.38	v -x8650 -x8648 -x8646 -x8644 -x8642 -x8640 -x239 -x8638 -x8636 -x8634 -x8632 -x8630 -x8628 -x8626 -x238 -x8624 -x8622 -x8620 
84.27/84.38	v -x8618 -x8616 -x8614 -x8612 -x8610 -x8608 -x8606 -x8604 -x8602 -x8600 -x8598 -x8596 -x237 -x8594 -x8592 -x8590 -x236 -x8588 
84.27/84.38	v -x8586 -x8584 -x8582 -x8580 -x8578 -x8576 -x235 -x8574 -x8572 -x8570 -x8568 -x8566 -x8564 -x8562 -x234 -x8560 -x8558 -x8556 
84.27/84.38	v -x8554 -x8552 -x8550 -x8548 -x8546 -x8544 -x8542 -x8540 -x8538 -x8536 -x8534 -x8532 -x233 -x8530 -x8528 -x8526 -x8524 -x8522 
84.27/84.38	v -x8520 -x8518 -x232 -x8516 -x8514 -x8512 -x8510 -x8508 -x8506 -x8504 -x8502 -x8500 -x8498 -x8496 -x8494 -x8492 -x8490 -x8488 
84.27/84.38	v -x231 -x8486 -x8484 -x8482 -x8480 -x8478 -x8476 -x8474 -x8472 -x8470 -x8468 -x8466 -x8464 -x8462 -x8460 -x8458 -x230 -x8456 -x8454 
84.27/84.38	v -x8452 -x8449 -x8447 -x8445 -x8443 -x8441 -x8439 -x8437 -x8435 -x8433 -x8431 -x8429 -x8427 -x8425 -x8423 -x8421 -x8419 
84.27/84.38	v -x8417 -x8415 -x8413 -x8411 -x8409 -x8407 -x8405 -x8403 -x229 -x8401 -x228 -x8399 x8397 -x8395 -x8393 -x8391 -x8389 -x227 -x8387 
84.27/84.38	v -x8385 -x8383 -x8381 -x8379 -x8377 -x8375 -x226 -x8373 -x8371 -x225 -x8369 -x8367 -x8365 -x8363 -x8361 -x8359 -x8357 -x224 
84.27/84.38	v -x8355 -x8353 -x8351 -x8349 -x8347 -x8345 -x8343 -x223 -x8341 -x8339 -x8337 -x222 -x8335 -x8333 -x8331 -x8329 -x8327 -x8325 
84.27/84.38	v -x8323 -x221 -x8321 -x8319 -x8317 -x8315 -x8313 -x8311 -x220 -x8309 -x8307 -x8305 -x8303 -x8301 -x8299 -x8297 -x8295 -x8293 
84.27/84.38	v -x8291 -x8289 -x8287 -x8285 -x8283 -x8281 -x219 -x8279 -x8277 -x8275 -x8273 -x8271 -x8269 -x8267 -x218 -x8265 -x8263 -x8261 -x8259 
84.27/84.38	v -x8257 -x8255 -x8253 -x8251 -x8249 -x8247 -x8245 -x8243 -x8241 -x8239 -x8237 -x217 -x8235 -x8233 -x8231 -x8229 -x8227 -x8225 
84.27/84.38	v -x8223 -x8221 -x8219 -x8217 -x8215 -x8213 -x8211 -x8209 -x216 -x8207 -x8205 -x8203 -x215 -x8201 -x8199 -x8197 -x8195 -x8193 
84.27/84.38	v x8191 -x8189 -x8187 -x8185 -x8183 -x8181 -x8179 -x8177 -x8175 -x214 -x8173 -x8171 -x8169 -x8167 -x8165 -x8163 -x8161 -x8159 
84.27/84.38	v -x8157 -x8155 -x8153 -x8151 -x8149 -x8147 -x8145 -x213 -x8143 -x8141 -x8139 -x8137 -x8135 -x8133 -x8131 -x212 -x8129 -x8127 
84.27/84.38	v -x8125 -x8123 -x8121 -x8119 -x8117 -x8115 -x8113 -x8111 -x8109 -x8107 -x8105 -x8103 -x8101 -x211 -x8099 -x8097 -x8095 -x8093 
84.27/84.38	v -x8091 -x8089 -x8087 -x8085 -x8083 -x8081 -x8079 -x8077 -x8075 -x8073 -x8071 -x210 -x8069 -x8067 x8065 -x8063 -x8061 -x8059 
84.27/84.38	v -x8057 -x8055 -x8053 -x8051 -x8049 -x8047 -x8045 -x8043 -x8041 -x8039 -x8037 -x8035 -x8033 -x8031 -x8029 -x8027 -x209 -x8025 
84.27/84.38	v -x8023 -x8021 -x8019 -x8017 -x8015 -x8013 -x8011 -x8009 -x8007 -x8005 -x8003 -x8001 -x7999 -x7997 -x208 -x7995 -x7993 -x7991 
84.27/84.38	v -x7989 -x7987 -x7984 -x7982 -x7980 -x7978 -x7976 -x7974 -x7972 -x7970 -x7968 -x7966 -x7964 -x7962 -x7960 -x7958 -x7956 -x7954 
84.27/84.38	v -x7952 -x7950 -x7948 -x7946 -x7944 -x7942 -x7940 -x7938 -x207 -x7936 -x7934 -x7932 -x7930 -x7928 -x7926 -x7924 -x7922 -x7920 
84.27/84.38	v -x7918 -x7916 -x7914 -x7912 -x7910 -x7908 -x206 -x7906 -x7904 -x7902 -x7900 -x7898 -x7896 -x7894 -x7892 -x7890 -x7888 -x7886 
84.27/84.38	v -x7884 -x7882 -x7879 -x7877 -x7875 -x7873 -x7871 -x7869 -x7867 -x7865 -x7863 -x7861 -x7859 -x7857 -x7855 -x7853 -x7851 -x7849 
84.27/84.38	v -x7847 -x205 -x7845 -x7843 -x7841 -x7839 -x7837 -x7835 -x7833 -x7831 -x7829 -x7827 -x7825 -x7823 -x7821 -x7819 -x7817 -x7815 
84.27/84.38	v -x7813 -x7811 -x7809 -x7807 -x7805 -x7803 -x7801 -x7799 -x7797 -x7794 -x7792 -x7790 -x7788 -x7786 -x7784 -x204 -x7782 -x7780 
84.27/84.38	v -x7778 -x203 -x7776 -x7774 -x7772 -x202 -x7770 -x7768 -x7766 -x7764 -x7762 -x7760 -x7758 -x201 -x7756 -x7754 -x7752 -x200 
84.27/84.38	v -x7750 -x7748 -x7746 -x7744 -x7742 -x7740 -x7738 -x199 -x7736 -x7734 -x7732 -x7730 -x7728 -x7726 -x7724 -x198 -x7722 -x7720 
84.27/84.38	v -x7718 -x7716 -x7714 -x7712 -x7710 -x7708 -x7706 -x7704 -x7702 -x7700 -x7698 -x7696 -x7694 -x197 -x7692 -x7690 -x7688 -x196 -x7686 
84.27/84.38	v -x7684 -x7682 -x7680 -x7678 -x7676 -x7674 -x195 -x7672 -x7670 -x7668 -x7666 -x7664 -x7662 -x7660 -x194 -x7658 -x7656 -x7654 
84.27/84.38	v -x7652 -x7650 -x7648 -x7646 -x7644 -x7642 -x7640 -x7638 -x7636 -x7634 -x7632 -x7630 -x193 -x7628 -x7626 -x7624 -x7622 -x7620 
84.27/84.38	v -x7618 -x7616 -x192 -x7614 -x7612 -x7610 -x7608 -x7606 -x7604 -x7602 -x7600 -x7598 -x7596 -x7594 -x7592 -x7590 -x7588 -x7586 
84.27/84.38	v -x191 -x7584 -x7582 -x7580 -x7578 -x7576 -x7574 -x7572 -x7570 -x7568 -x7566 -x7564 -x7562 -x7560 -x7558 -x7556 -x190 -x7554 
84.27/84.38	v -x7552 -x7550 -x189 -x7548 -x7546 -x7544 -x7542 -x7540 -x7538 -x7536 -x188 -x7534 -x7532 -x7530 -x7528 -x7526 -x7524 -x7522 
84.27/84.38	v -x187 -x7520 -x7518 -x7516 -x7514 -x7512 -x7510 -x7508 -x7506 -x7504 -x7502 -x7500 -x7498 -x7496 -x7494 -x7492 -x186 -x7490 
84.27/84.38	v -x7488 -x7486 -x7484 -x7482 -x7480 -x7478 -x185 -x7476 -x7474 -x7472 -x7470 -x7468 -x7466 -x7464 -x7462 -x7460 -x7458 -x7456 
84.27/84.38	v -x7454 -x7452 -x7450 -x7448 -x184 -x7446 -x7444 -x7442 -x7440 -x7438 -x7436 -x7434 -x7432 -x7430 -x7428 -x7426 -x7424 -x7422 
84.27/84.38	v -x7420 -x7418 -x183 -x7416 -x7414 -x7412 -x7410 -x7408 -x7406 -x7404 -x182 -x7402 -x7400 -x7398 -x7396 -x7394 -x7392 -x7390 
84.27/84.38	v -x7388 -x7386 -x7384 -x7382 -x7380 -x7378 -x7376 -x7374 -x181 -x7372 -x7370 -x7368 -x7366 -x7364 -x7362 -x7360 -x7358 -x7356 
84.27/84.38	v -x7354 -x7352 -x7350 -x7348 -x7346 -x7344 -x180 -x7342 -x7340 -x7338 -x7336 -x7334 -x7332 -x7330 -x7328 -x7326 -x7324 -x7322 
84.27/84.38	v -x7320 -x7318 -x7316 -x7314 -x7312 -x7310 -x7308 -x7306 -x7304 -x7302 -x7300 -x7298 -x7296 -x7294 -x7292 -x7290 -x7288 -x7286 
84.27/84.38	v -x7284 -x7282 -x179 -x7280 -x7278 -x7276 -x7274 -x7272 -x7270 -x7268 -x7266 -x7264 -x7262 -x7260 -x7258 -x7256 -x7254 -x7252 
84.27/84.38	v -x178 -x7250 -x7248 -x7246 -x7244 -x7242 -x7240 -x7238 -x7236 -x7234 -x7232 -x7230 -x7228 -x7226 -x7224 -x7222 -x7220 -x7218 
84.27/84.38	v -x7216 -x7214 -x7212 -x7210 -x7208 -x7206 -x7204 -x7202 -x7200 -x7198 -x7196 -x7194 -x7192 -x7190 -x177 -x7188 -x7186 -x7184 
84.27/84.38	v -x7182 -x7180 -x7178 -x7176 -x7174 -x7172 -x7170 -x7168 -x7166 -x7164 -x7162 -x7160 -x7158 -x7156 -x7154 -x7152 -x7150 -x7148 
84.27/84.38	v -x7146 -x7144 -x7142 -x7140 -x7138 -x7136 -x7134 -x7132 -x7130 -x176 -x7128 -x7126 -x7124 -x175 -x7122 -x7120 -x7118 -x7116 
84.27/84.38	v -x7114 -x7112 -x7110 -x174 -x7108 -x7106 -x7104 -x7102 -x7100 -x7098 -x7096 -x173 -x7094 -x7092 -x7090 -x7088 -x7086 -x7084 
84.27/84.38	v -x7082 -x7080 -x7078 -x7076 -x7074 -x7072 -x7070 -x7068 -x7066 -x172 -x7064 -x7062 -x7060 -x7058 -x7056 -x7054 -x7052 -x171 
84.27/84.38	v -x7050 -x7048 -x7046 -x7044 -x7042 -x7040 -x7038 -x7036 -x7034 -x7032 -x7030 -x7028 -x7026 -x7024 -x7022 -x170 -x7020 x7018 -x7016 
84.27/84.38	v -x7014 -x7012 -x7010 -x7008 x169 -x7006 -x7004 -x7002 -x7000 -x6998 -x6996 -x6994 -x6992 -x6990 -x6988 -x6986 -x6984 -x6982 
84.27/84.38	v -x6980 -x6978 -x168 -x6976 -x6974 -x6972 -x6970 -x6968 -x6966 -x6964 -x6962 -x6960 -x6958 -x6956 -x6954 -x6952 -x6950 -x6948 
84.27/84.38	v -x167 -x6946 -x6944 -x6942 -x6940 -x6938 -x6936 -x6934 -x6932 -x6930 -x6928 -x6926 -x6924 -x6922 -x6920 -x6918 -x6916 -x6914 
84.27/84.38	v -x6912 -x6910 -x6908 -x6906 -x6904 -x6902 -x6900 -x6898 -x6896 -x6894 -x6892 -x6890 -x6887 -x166 -x6885 -x6883 -x6881 -x6879 
84.27/84.38	v -x6877 -x6875 -x6873 -x6871 -x6869 -x6867 -x6865 -x6863 -x6861 -x6859 -x6857 -x165 -x6855 -x6853 -x6851 -x6849 -x6847 -x6845 
84.27/84.38	v -x6843 -x6841 -x6839 -x6837 -x6835 x6833 -x6831 -x6829 -x6827 -x6825 -x6823 -x6821 -x6819 -x6817 -x6815 -x6813 -x6811 -x6809 
84.27/84.38	v -x6807 -x6805 -x6803 -x6801 -x6799 -x6797 -x6795 -x6793 -x6791 -x6789 -x6787 -x6785 -x6783 -x6781 x164 x6779 -x6777 -x6775 
84.27/84.38	v -x6773 -x6771 -x6769 -x6767 -x6765 -x6763 -x6761 -x6759 -x6757 -x6755 -x6753 -x6751 -x163 -x6749 -x6747 -x6745 -x6743 -x6741 
84.27/84.38	v -x6739 -x6737 -x6735 -x6733 -x6731 -x6729 -x6727 -x6725 -x6723 -x6721 -x162 -x6719 -x6717 -x6715 -x6713 -x6711 -x6709 -x6706 
84.27/84.38	v -x6704 -x6702 -x6700 -x6698 -x6696 -x6694 -x6692 -x6690 -x6688 -x6686 -x6684 -x6682 -x6680 -x6678 -x6676 -x6674 -x6672 -x6670 
84.27/84.38	v -x6668 -x6666 -x6664 -x6662 -x161 -x6660 -x6658 -x6656 -x6654 -x6652 -x6650 -x6648 -x6646 x6644 -x6642 -x6640 -x6638 -x6636 
84.27/84.38	v -x6634 -x6632 -x6630 -x6627 -x6625 -x6623 -x6621 -x6619 -x6617 -x6615 -x6613 -x6611 -x6609 -x6607 -x6605 -x6603 -x6601 -x6599 
84.27/84.38	v -x6597 -x6595 -x6593 -x6591 -x6589 -x6587 -x6585 -x6583 -x6581 -x6579 -x6577 -x6575 -x6573 -x6571 -x160 -x6569 -x6567 -x6565 
84.27/84.38	v -x6563 -x6561 -x6559 -x6557 -x6555 -x6553 -x6551 -x6549 -x6547 -x6545 -x6543 -x6541 -x159 -x6539 -x6537 -x6535 -x6533 -x6531 
84.27/84.38	v -x6529 -x6527 -x6525 -x6523 -x6521 -x6519 -x6517 -x6515 -x6513 -x6511 -x6509 -x6507 -x6505 -x6503 -x6501 -x6499 -x6497 -x6495 
84.27/84.38	v -x6493 -x6491 -x6489 -x6487 -x6485 -x6483 -x6481 -x6479 -x158 -x6477 -x6475 -x6473 -x6471 -x6469 -x6467 -x6465 -x6463 -x6461 
84.27/84.38	v -x6459 -x6457 -x6455 -x6453 -x6451 -x6449 -x6447 -x6445 -x6443 -x6441 -x6439 -x6437 -x6435 -x6433 -x6431 -x6429 -x6427 -x6425 
84.27/84.38	v -x6423 -x6421 -x6419 -x6417 -x157 -x6415 -x6413 -x6411 -x6409 -x6407 -x6405 -x6403 -x6401 -x6399 -x6397 -x6395 -x6393 -x6391 
84.27/84.38	v -x6389 -x6387 -x6385 -x6383 -x6381 -x6378 -x6376 -x6374 -x6372 -x6370 -x6368 -x6366 -x6364 -x6362 -x6360 -x6358 -x6356 
84.27/84.38	v -x6354 -x6351 -x6349 -x6347 -x6345 -x6343 -x6341 -x6339 -x6337 -x6335 -x6333 -x6331 -x6329 -x6327 -x6325 -x6323 -x6321 -x6319 
84.27/84.38	v -x6317 -x6315 -x6313 -x6311 -x6309 -x6307 -x6305 -x6303 -x6301 -x6298 -x6296 -x6294 -x6292 -x6290 -x6288 -x6286 -x6284 -x6282 
84.27/84.38	v -x6280 -x6278 -x6276 -x6274 -x6272 -x6270 -x6268 -x6266 -x6264 -x6261 -x6259 -x6257 -x6255 -x6253 -x6251 -x6249 -x6247 -x6245 
84.27/84.38	v -x6243 -x6241 -x6239 -x6237 -x6235 -x6233 -x156 -x6231 -x6229 -x6227 -x6225 -x6223 -x6221 -x6219 -x6217 -x6215 -x6213 -x6211 
84.27/84.38	v -x6209 -x6207 -x6205 -x6203 -x6201 -x6199 -x6197 -x6195 -x6193 -x6191 -x6189 -x6187 -x6185 -x6183 -x6181 -x6179 -x6177 -x6175 
84.27/84.38	v -x6173 -x6171 -x6169 -x6167 -x6165 -x6163 -x6161 -x6159 -x6157 -x6155 -x6153 -x6151 -x6149 -x6147 -x6145 -x6143 -x6141 -x6139 
84.27/84.38	v -x6137 -x6135 -x6133 -x6131 -x6129 -x6127 -x6125 -x6123 -x6121 -x6119 -x6117 -x6115 -x6113 -x6111 -x6109 -x6107 -x155 -x6105 
84.27/84.38	v x154 x6103 -x6101 -x6099 -x153 -x6097 -x6095 -x6093 -x152 -x6091 -x6089 -x6087 -x6085 -x6083 -x6081 -x6079 -x151 -x6077 
84.27/84.38	v -x6075 -x6073 -x150 -x6071 -x6069 -x6067 -x6065 -x6063 -x6061 -x6059 -x149 -x6057 -x6055 -x6053 -x6051 -x6049 -x6047 -x6045 -x148 
84.27/84.38	v -x6043 -x6041 -x6039 -x6037 -x6035 -x6033 -x6031 -x6029 -x6027 -x6025 -x6023 -x6021 -x6019 -x6017 -x6015 -x147 -x6013 -x6011 
84.27/84.38	v -x146 -x6009 -x6007 -x6005 -x6003 -x6001 -x5999 -x5997 -x145 -x5995 -x5993 -x5991 -x5989 -x5987 -x5985 -x5983 -x144 -x5981 
84.27/84.38	v -x5979 -x5977 -x5975 -x5973 -x5971 -x5969 -x143 -x5967 -x5965 -x5963 -x5961 -x5959 -x5957 -x5955 -x5953 -x5951 -x5949 -x5947 
84.27/84.38	v -x5945 -x5943 -x5941 -x5939 -x142 -x5937 -x5935 -x5933 -x141 -x5931 -x5929 -x5927 -x5925 -x5923 -x5921 -x5919 -x140 -x5917 
84.27/84.38	v -x5915 -x5913 -x5911 -x5909 -x5907 -x5905 -x139 -x5903 -x5901 -x5899 -x5897 -x5895 -x5893 -x5891 -x138 -x5889 -x5887 -x5885 
84.27/84.38	v -x5883 -x5881 -x5879 -x5877 -x5875 -x5873 -x5871 -x5869 -x5867 -x5865 -x5863 -x5861 -x137 -x5859 -x5857 -x5855 -x5853 -x5851 
84.27/84.38	v -x5849 -x5847 -x136 -x5845 -x5843 -x5841 -x5839 -x5837 -x5835 -x5833 -x5831 -x5829 x5827 -x5825 -x5823 -x5821 -x5819 -x5817 -x5815 
84.27/84.38	v -x5813 -x5811 -x5809 -x5807 -x5805 -x5803 -x5801 -x5799 -x5797 -x5795 -x5793 -x5791 -x5789 -x5787 -x135 -x5785 -x5783 -x5781 
84.27/84.38	v -x5779 -x5777 -x5775 -x5773 -x5771 -x5769 -x5767 -x5765 -x5763 -x5761 -x5759 -x5757 -x134 -x5755 -x5753 -x5751 -x5749 -x5747 
84.27/84.38	v -x5745 -x5743 -x5741 -x5739 -x5737 -x5735 -x5733 -x5731 -x5729 -x5727 -x5725 -x5723 -x5721 -x5719 -x5717 -x5715 -x5713 
84.27/84.38	v -x5711 -x5709 -x5707 -x5705 -x5703 -x5701 -x5699 -x5697 -x5695 -x133 -x5693 -x5691 -x5689 -x132 -x5687 -x5685 -x5683 -x5681 -x5679 
84.27/84.38	v -x5677 -x5675 -x131 -x5673 -x5671 -x5669 -x5667 -x5665 -x5663 -x5661 -x130 -x5659 -x5657 -x5655 -x5653 -x5651 -x5649 -x5647 
84.27/84.38	v -x5645 -x5643 -x5641 -x5639 -x5637 -x5635 -x5633 -x5631 -x129 -x5629 -x5627 -x5625 -x5623 -x5621 -x5619 -x5617 -x128 -x5615 
84.27/84.38	v -x5613 -x5611 -x5609 -x5607 -x5605 -x5603 -x127 -x5601 -x5599 -x5597 -x5595 -x5593 -x5591 -x5589 -x5587 -x5585 -x5583 -x5581 
84.27/84.38	v -x5579 -x5577 -x126 -x5575 -x5573 -x5571 -x5569 -x5567 -x5565 -x5563 -x125 -x5561 -x5559 -x5557 -x5555 -x5553 -x5551 -x5549 
84.27/84.38	v -x5547 -x5545 -x5543 -x5541 -x5539 -x5537 -x5535 -x5533 -x124 -x5531 -x5529 -x5527 -x5525 -x5523 -x5521 -x5519 -x5517 -x5515 
84.27/84.38	v -x5513 -x5511 -x5509 -x5507 -x5505 -x5503 -x123 -x5501 -x5499 -x5497 -x5495 -x5493 -x5491 -x5489 -x5487 -x5485 -x5483 -x5481 
84.27/84.38	v -x5479 -x5477 -x5475 -x5473 -x122 -x5471 -x5469 -x5467 -x5465 -x5463 -x5461 -x5459 -x5457 -x5455 -x5453 -x5451 -x5449 -x5447 
84.27/84.38	v -x5445 -x5443 -x5441 -x5439 -x5437 -x5435 -x5433 -x5431 -x5429 -x5427 -x5425 -x5423 -x5421 -x5419 -x5417 -x5415 -x5413 -x5411 
84.27/84.38	v -x121 -x5409 -x5407 -x5405 -x120 -x5403 -x5401 -x5399 -x5397 -x5395 -x5393 -x5391 -x119 -x5389 -x5387 -x5385 -x5383 -x5381 
84.27/84.38	v -x5379 -x5377 -x118 -x5375 -x5373 -x5371 -x5369 -x5367 -x5365 -x5363 -x5361 -x5359 -x5357 -x5355 -x5353 -x5351 -x5349 -x5347 
84.27/84.38	v -x117 -x5345 -x5343 -x5341 -x5339 -x5337 -x5335 -x5333 -x116 -x5331 -x5329 -x5327 -x5325 -x5323 -x5321 -x5319 -x5317 -x5315 
84.27/84.38	v -x5313 -x5311 -x5309 -x5307 -x5305 -x5303 -x115 -x5301 -x5299 -x5297 -x5295 -x5293 -x5291 -x5289 -x5287 -x5285 -x5283 -x5281 
84.27/84.38	v -x5279 -x5277 -x5275 -x5273 -x114 -x5271 -x5269 -x5267 -x5265 -x5263 -x5261 -x5259 -x5257 -x5255 -x5253 -x5251 -x5249 -x5247 
84.27/84.38	v -x5245 -x5243 -x5241 -x5239 -x5237 -x5235 -x5233 -x5231 x5229 -x5227 -x5225 -x5223 -x5221 -x5219 -x5217 -x5215 -x5213 -x5211 
84.27/84.38	v -x5209 -x5207 -x5205 -x5203 -x5201 -x5199 -x5197 -x113 -x5195 -x5193 -x5191 -x5189 -x5187 -x5185 -x5183 -x5181 -x5179 -x5177 
84.27/84.38	v -x5175 -x5173 -x5171 -x5169 -x5167 -x112 -x5165 -x5163 -x5161 -x5159 -x5157 -x5155 -x5153 -x5151 -x5149 -x5147 -x5145 -x5143 
84.27/84.38	v x5141 -x5139 -x5137 -x5135 -x5133 -x5131 -x5129 -x5127 -x5125 -x5123 -x5121 -x5119 -x5117 -x5115 -x5113 -x5111 -x5109 -x5107 
84.27/84.38	v -x111 -x5105 -x5103 -x5101 -x5099 -x5097 -x5095 -x5093 -x5091 -x5089 -x5087 -x5085 -x5083 -x5081 -x5079 -x5077 -x5075 -x5073 
84.27/84.38	v -x5071 -x5069 -x5067 -x5065 -x5063 -x5061 -x5059 -x5057 -x5055 -x5053 -x5051 -x5049 -x5047 -x5045 -x110 -x5043 -x5041 -x5039 
84.27/84.38	v -x5037 -x5035 -x5033 -x5031 -x109 -x5029 -x5027 -x5025 -x5023 -x5021 -x5019 -x5017 -x5015 -x5013 -x5011 -x5009 -x5007 -x5005 
84.27/84.38	v -x5003 -x5001 -x108 -x4999 -x4997 -x4995 -x4993 -x4991 -x4989 -x4987 -x4985 -x4983 -x4981 -x4979 -x4977 -x4975 -x4973 -x4971 
84.27/84.38	v -x107 -x4969 -x4967 -x4965 -x4963 -x4961 -x4959 -x4957 -x4955 -x4953 -x4951 -x4949 -x4947 -x4945 -x4943 -x4941 -x106 -x4939 
84.27/84.38	v -x4937 -x4935 -x4933 -x4931 -x4929 -x4927 -x4925 -x4923 -x4921 -x4919 -x4917 -x4915 -x4913 -x4911 -x4909 -x4907 -x4905 -x4903 
84.27/84.38	v -x4901 -x4899 -x4897 -x4895 -x4893 -x4891 -x4889 -x4887 -x4885 -x4883 -x4881 -x4879 -x105 -x4877 -x4875 -x4873 -x4871 -x4869 
84.27/84.38	v -x4867 -x4865 -x4863 -x4861 -x4859 -x4857 -x4855 -x4853 -x4851 -x4849 -x104 -x4847 -x4845 -x4843 -x4841 -x4839 -x4837 -x4835 
84.27/84.38	v -x4833 -x4831 -x4829 -x4827 -x4825 -x4823 -x4821 -x4819 -x4817 -x4815 -x4813 -x4811 -x4809 -x4807 -x4805 -x4803 -x4801 -x4799 
84.27/84.38	v -x4797 -x4795 -x4793 -x4791 -x4789 -x4787 -x103 -x4785 -x4783 -x4781 -x4778 -x4776 -x4774 -x4772 -x4770 -x4768 -x4766 -x4764 
84.27/84.38	v -x4762 -x4760 -x4758 -x4756 -x4754 -x4752 -x4750 -x4748 -x4746 -x4744 -x4742 -x4740 -x4738 -x4736 -x4734 -x4732 -x4730 -x4728 
84.27/84.38	v -x4726 -x102 -x4724 -x4722 -x4720 -x4718 -x4716 -x4714 -x4712 -x4710 -x4708 -x4706 -x4704 -x4702 -x4700 -x4698 -x4696 -x4694 
84.27/84.38	v -x4692 -x4690 -x4688 -x4686 -x4684 -x4682 -x4680 -x4678 -x4676 -x4674 -x4672 -x4670 -x4668 -x4666 -x4664 -x101 -x4662 -x4660 
84.27/84.38	v -x4658 -x4656 -x4654 -x4652 -x4650 -x4648 -x4646 -x4644 -x4642 -x4640 -x4638 -x4636 -x4634 -x4632 -x4630 -x4628 -x4626 -x4624 
84.27/84.38	v -x4622 -x4620 -x4618 -x4616 -x4614 -x4612 -x4610 -x4608 -x4606 -x4604 -x4602 -x4600 -x4598 -x4596 -x4594 -x4592 -x4590 -x4588 
84.27/84.38	v -x4586 -x4584 -x4582 -x4580 -x4578 -x4576 x4574 -x4572 -x4570 -x4568 -x4566 -x4564 -x4562 -x4560 -x4558 -x4556 -x4554 -x4552 
84.27/84.38	v -x4550 -x4548 -x4546 -x4544 -x4542 -x4540 -x4538 -x4536 -x4534 -x4532 -x4530 -x4528 -x4526 -x4524 -x100 -x4522 -x4520 -x4518 
84.27/84.38	v -x4516 -x4514 -x4512 -x4510 -x4508 -x4506 -x4504 -x4502 -x4500 -x4498 -x4496 -x4494 -x99 -x4492 -x4490 -x4488 -x4486 -x4484 
84.27/84.38	v -x4482 -x4480 -x4478 -x4476 -x4474 -x4472 -x4470 -x4468 -x4466 -x4464 -x98 -x4462 -x4460 -x4458 -x4456 -x4453 -x4451 -x4449 
84.27/84.38	v -x4447 -x4445 -x4443 -x4441 -x4439 -x4437 -x4435 -x4433 -x4431 -x4429 -x4427 -x4425 -x4423 -x4421 -x4419 -x4417 -x4415 -x4413 
84.27/84.38	v -x4411 -x4409 -x4407 -x4405 -x97 -x4403 -x4401 -x4399 -x4397 -x4395 -x4393 -x4391 -x4389 -x4387 -x4385 -x4383 -x4381 -x4379 
84.27/84.38	v -x4377 -x4375 -x96 -x4373 -x4371 -x4369 -x4367 -x4365 -x4363 -x4361 -x4359 -x4357 -x4355 -x4353 -x4351 -x4349 -x4347 -x4345 
84.27/84.38	v -x4343 -x4341 -x4339 -x4337 -x4335 -x4333 -x4331 -x4329 -x4327 -x4325 -x4323 -x4321 -x4319 -x4317 -x4315 -x4313 -x95 -x4311 
84.27/84.38	v -x4309 -x4307 -x4305 -x4303 -x4301 -x4299 -x4297 -x4295 -x4293 -x4291 -x4289 -x4287 -x4285 -x4283 -x94 -x4281 -x4279 -x4277 
84.27/84.38	v -x4275 -x4273 -x4271 -x4269 -x4267 -x4265 -x4263 -x4261 -x4259 -x4257 -x4255 -x4253 -x4251 -x4249 -x4247 -x4245 -x4243 -x4241 
84.27/84.38	v -x4239 -x4237 -x4235 -x4233 -x4231 -x4229 -x4227 -x4225 -x4223 -x4221 -x93 -x4218 -x4216 -x4214 -x4212 -x4210 -x4208 -x4206 
84.27/84.38	v -x4204 -x4202 -x4200 -x4198 -x4196 -x4194 -x4192 -x4190 -x4188 -x4186 -x4184 -x4182 -x4180 -x4178 -x4176 -x4174 -x4172 -x4170 
84.27/84.38	v -x4168 -x4166 -x4164 -x4162 -x4160 -x92 -x4158 -x4156 -x4154 -x4152 -x4150 -x4148 -x4146 -x4144 -x4142 -x4140 -x4138 -x4136 
84.27/84.38	v -x4134 -x4132 -x4130 -x4128 -x4126 -x4124 -x4122 -x4120 -x4118 -x4116 -x4114 -x4112 -x4110 -x4108 -x4106 -x4104 -x4102 -x4100 
84.27/84.38	v -x4098 -x4096 -x4094 -x4092 -x4090 -x4088 -x4086 -x4084 -x4082 -x4080 -x4078 -x4076 -x4074 -x4072 -x4070 -x4068 -x4066 -x4064 
84.27/84.38	v -x4062 -x4060 -x4058 -x4056 -x4054 -x4052 -x4050 -x4048 -x4046 -x4044 -x4042 -x4040 -x4038 -x4036 -x4034 -x91 -x4032 -x90 -x4030 
84.27/84.38	v -x4028 -x4026 -x89 -x4024 -x4022 -x4020 -x88 -x4018 -x4016 -x4014 -x4012 -x4010 -x4008 -x4006 -x87 -x4004 -x4002 -x4000 
84.27/84.38	v -x86 -x3998 -x3996 -x3994 -x3992 -x3990 -x3988 -x3986 -x85 -x3984 -x3982 -x3980 -x3978 -x3976 -x3974 -x3972 -x84 -x3970 -x3968 
84.27/84.38	v -x3966 -x3964 -x3962 -x3960 -x3958 -x3956 -x3954 -x3952 -x3950 -x3948 -x3946 -x3944 -x3942 -x83 -x3940 -x3938 -x3936 -x82 
84.27/84.38	v -x3934 -x3932 -x3930 -x3928 -x3926 -x3924 -x3922 -x81 -x3920 -x3918 -x3916 -x3914 -x3912 -x3910 -x3908 -x80 -x3906 -x3904 -x3902 
84.27/84.38	v -x79 -x3900 -x3898 -x3896 -x3894 -x3892 -x3890 -x3888 -x78 -x3886 -x3884 -x3882 -x3880 -x3878 -x3876 -x3874 -x77 -x3872 -x3870 
84.27/84.38	v -x3868 -x3866 -x3864 -x3862 -x3860 -x3858 -x3856 -x3854 -x3852 -x3850 -x3848 -x3846 -x3844 -x76 -x3842 -x3840 -x3838 -x75 
84.27/84.38	v -x3836 -x3834 -x3832 -x3830 -x3828 -x3826 -x3824 -x74 -x3822 -x3820 -x3818 -x3816 -x3814 -x3812 -x3810 -x73 -x3808 -x3806 
84.27/84.38	v -x3804 -x3802 -x3800 -x3798 -x3796 -x72 -x3794 -x3792 -x3790 -x3788 -x3786 -x3784 -x3782 -x3780 -x3778 -x3776 -x3774 -x3772 -x3770 
84.27/84.38	v -x3768 -x3766 -x71 -x3764 -x3762 -x3760 -x3758 -x3756 -x3754 -x3752 -x3750 -x3748 -x3746 -x3744 -x3742 -x3740 -x3738 -x3736 
84.27/84.38	v -x70 -x3734 -x3732 -x3730 -x3728 -x3726 -x3724 -x3722 -x69 -x3720 -x3718 -x3716 -x3714 -x3712 -x3710 -x3708 -x3706 -x3704 
84.27/84.38	v -x3702 -x3700 -x3698 -x3696 -x3694 -x3692 -x68 -x3690 -x3688 -x3686 -x3684 -x3682 -x3680 -x3678 -x3676 -x3674 -x3672 -x3670 
84.27/84.38	v -x3668 -x3666 -x3664 -x3662 -x67 -x3660 -x3658 -x3656 -x3654 -x3652 -x3650 -x3648 -x3646 -x3644 -x3642 -x3640 -x3638 -x3636 
84.27/84.38	v -x3634 -x3632 -x3630 -x3628 -x3626 -x3624 -x3621 -x3619 -x3617 -x3615 -x3613 -x3611 -x3609 -x3607 -x3605 -x3603 -x3601 -x66 -x3599 
84.27/84.38	v -x3597 -x3595 -x65 -x3593 -x3591 -x3589 -x3587 -x3585 -x3583 -x3581 -x64 -x3579 -x3577 -x3575 -x3573 -x3571 -x3569 -x3567 
84.27/84.38	v -x63 -x3565 -x3563 -x3561 -x3559 -x3557 -x3555 -x3553 -x3551 -x3549 -x3547 -x3545 -x3543 -x3541 -x3539 -x3537 -x62 -x3535 
84.27/84.38	v -x3533 -x3531 -x3529 -x3527 -x3525 -x3523 -x61 -x3521 -x3519 -x3517 -x3515 -x3513 -x3511 -x3509 -x3507 -x3505 -x3503 -x3501 -x3499 
84.27/84.38	v -x3497 -x3495 -x3493 -x60 -x3491 -x3489 -x3487 -x3485 -x3483 -x3481 -x3479 -x3477 -x3475 -x3473 -x3471 -x3469 -x3467 -x3465 
84.27/84.38	v -x3463 -x59 -x3461 -x3459 -x3457 -x3455 -x3453 -x3451 -x3449 -x3447 -x3445 -x3443 -x3441 -x3439 -x3437 -x3435 -x3433 -x3431 
84.27/84.38	v -x3429 -x3427 -x3425 -x3423 -x3421 -x3419 -x3417 -x3415 -x3413 -x3411 -x3409 -x3407 -x3405 -x3403 -x3401 -x58 -x3399 -x3397 
84.27/84.38	v -x3395 -x3393 -x3391 -x3389 -x3387 -x57 -x3385 -x3383 -x3381 -x3379 -x3377 -x3375 -x3373 -x3371 -x3369 -x3367 -x3365 -x3363 
84.27/84.38	v -x3361 -x3359 -x3357 -x56 -x3355 -x3353 -x3351 -x3349 -x3347 -x3345 -x3343 -x3341 -x3339 -x3337 -x3335 -x3333 -x3331 -x3329 
84.27/84.38	v -x3327 -x55 -x3325 -x3323 -x3321 -x3319 -x3317 -x3315 -x3313 -x54 -x3311 -x3309 -x3307 -x3305 -x3303 -x3301 -x3299 -x3297 -x3295 
84.27/84.38	v -x3293 -x3291 -x3289 -x3287 -x3285 -x3283 -x53 -x3281 -x3279 -x3277 -x3275 -x3273 -x3271 -x3269 -x3267 -x3265 -x3263 -x3261 
84.27/84.38	v -x3259 -x3257 -x3255 -x3253 -x52 -x3251 -x3249 -x3247 -x3245 -x3243 -x3241 -x3239 -x3237 -x3235 -x3233 -x3231 -x3229 -x3227 
84.27/84.38	v -x3225 -x3223 -x3221 -x3219 -x3217 -x3215 -x3213 -x3211 -x3209 -x3207 -x3205 -x3203 -x3201 -x3199 -x3197 -x3195 -x3193 -x51 
84.27/84.38	v -x3191 -x3189 -x3187 -x3185 -x3183 -x3181 -x3179 -x50 -x3177 -x3175 -x3173 -x3171 -x3169 -x3167 -x3165 -x3163 -x3161 -x3159 
84.27/84.38	v -x3157 -x3155 -x3153 -x3151 -x3149 -x49 -x3147 -x3145 -x3143 -x3141 -x3139 -x3137 -x3135 -x3133 -x3131 -x3129 -x3127 -x3125 
84.27/84.38	v -x3123 -x3121 -x3119 -x48 -x3117 -x3115 -x3113 -x3111 -x3109 -x3107 -x3105 -x3103 -x3101 -x3099 -x3097 -x3095 -x3093 -x3091 -x3089 
84.27/84.38	v -x47 -x3087 -x3085 -x3083 -x3081 -x3079 -x3077 -x3075 -x3073 -x3071 -x3069 -x3067 -x3065 -x3063 -x3061 -x3059 -x3057 -x3055 
84.27/84.38	v -x3053 -x3051 x3049 -x3047 -x3045 -x3043 -x3041 -x3039 -x3037 -x3035 -x3033 -x3031 -x3029 -x3027 -x3025 -x3023 -x3021 -x3019 
84.27/84.38	v -x3017 -x3015 -x3013 -x3011 -x3009 -x3007 -x3005 -x3003 -x3001 -x2999 -x2997 -x2995 -x2993 -x2991 -x2989 -x2987 -x2985 -x2983 
84.27/84.38	v -x2981 -x2979 -x2977 -x2975 -x2973 -x2971 -x2969 -x2967 -x2965 -x46 -x2963 -x2961 -x2959 -x2957 -x2955 -x2953 -x2951 -x2949 
84.27/84.38	v -x2947 -x2945 -x2943 -x2941 -x2939 -x2937 -x2935 -x45 -x2933 -x2931 -x2929 -x2927 -x2925 -x2923 -x2921 -x2919 -x2917 -x2915 
84.27/84.38	v -x2913 -x2911 -x2909 -x2907 -x2905 -x2903 -x2901 -x2899 -x2897 -x2895 -x2893 -x2891 -x2889 -x2887 -x2885 -x2883 -x2881 -x2879 
84.27/84.38	v -x2877 -x2875 -x2873 -x44 -x2871 -x2869 -x2867 -x2865 -x2863 -x2861 -x2859 -x2857 -x2855 -x2853 -x2851 -x2849 -x2847 -x2845 
84.27/84.38	v -x2843 -x2841 -x2839 -x2837 -x2835 -x2833 -x2831 -x2829 -x2827 -x2825 -x2823 -x2821 -x2819 -x2817 -x2815 -x2813 -x2811 -x43 
84.27/84.38	v -x2809 -x2807 -x2805 -x2803 -x2801 -x2799 -x2797 -x2795 -x2793 -x2791 -x2789 -x2787 -x2785 -x2783 -x2781 -x2779 -x2777 -x2775 
84.27/84.38	v -x2773 -x2771 -x2769 -x2767 -x2765 -x2763 -x2761 -x2759 -x2757 -x2755 -x2753 -x2751 -x2749 -x2747 -x2745 -x2743 -x2741 -x2739 
84.27/84.38	v -x2737 -x2735 -x2733 -x2731 -x2729 -x2727 -x2725 -x2723 -x2721 -x2719 -x2717 -x2715 -x2713 -x2711 -x2709 -x2707 -x2705 -x2703 
84.27/84.38	v -x2701 -x2699 -x2697 -x2695 -x2693 -x2691 -x2689 -x2687 -x2685 -x42 -x2683 -x2681 -x2679 -x41 -x2677 -x2675 -x2673 -x2671 
84.27/84.38	v -x2669 -x2667 -x2665 -x40 -x2663 -x2661 -x2659 -x2657 -x2655 -x2653 -x2651 -x39 -x2649 -x2647 -x2645 -x2643 -x2641 -x2639 
84.27/84.38	v -x2637 -x2635 -x2633 -x2631 -x2629 -x2627 -x2625 -x2623 -x2621 -x38 -x2619 -x2617 -x2615 -x2613 -x2611 -x2609 -x2607 -x37 -x2605 
84.27/84.38	v -x2603 -x2601 -x2599 -x2597 -x2595 -x2593 -x2591 -x2589 -x2587 -x2585 -x2583 -x2581 -x2579 -x2577 -x36 -x2575 -x2573 -x2571 
84.27/84.38	v -x2569 -x2567 -x2565 -x2563 -x2561 -x2559 -x2557 -x2555 -x2553 -x2551 -x2549 -x2547 -x35 -x2545 -x2543 -x2541 -x2539 -x2537 
84.27/84.38	v -x2535 -x2533 -x2531 -x2529 -x2527 -x2525 -x2523 -x2521 -x2519 -x2517 -x2515 -x2513 -x2511 -x2509 -x2507 -x2505 -x2503 -x2501 
84.27/84.38	v -x2499 -x2497 -x2495 -x2493 -x2491 -x2489 -x2487 -x2485 -x34 -x2483 -x2481 -x2479 -x2477 -x2475 -x2473 -x2471 -x33 -x2469 
84.27/84.38	v -x2467 -x2465 -x2463 -x2461 -x2459 -x2457 -x2455 -x2453 -x2451 -x2449 -x2447 -x2445 -x2443 -x2441 -x32 -x2439 -x2437 -x2435 -x2433 
84.27/84.38	v -x2431 -x2429 -x2427 -x31 -x2425 -x2423 -x2421 -x2419 -x2417 -x2415 -x2413 -x2411 -x2409 -x2407 -x2405 -x2403 -x2401 -x2399 
84.27/84.38	v -x2397 -x30 -x2395 -x2393 -x2391 -x2389 -x2387 -x2385 -x2383 -x2381 -x2379 -x2377 -x2375 -x2373 -x2371 -x2369 -x2367 -x29 
84.27/84.38	v -x2365 -x2363 -x2361 -x2359 -x2357 -x2355 -x2353 -x2351 -x2349 -x2347 -x2345 -x2343 -x2341 -x2339 -x2337 -x2335 -x2333 -x2331 
84.27/84.38	v -x2329 -x2327 -x2325 -x2323 -x2321 -x2319 -x2317 -x2315 -x2313 -x2311 -x2309 -x2307 -x2305 -x28 -x2303 -x2301 -x2299 -x2297 
84.27/84.38	v -x2295 -x2293 -x2291 -x27 -x2289 -x2287 -x2285 -x2283 -x2281 -x2279 -x2277 -x2275 -x2273 -x2271 -x2269 -x2267 -x2265 -x2263 
84.27/84.38	v -x2261 -x26 -x2259 -x2257 -x2255 -x2253 -x2251 -x2249 -x2247 -x2245 -x2243 -x2241 -x2239 -x2237 -x2235 -x2233 -x2231 -x25 -x2229 
84.27/84.38	v -x2227 -x2225 -x2223 -x2221 -x2219 -x2217 -x2215 -x2213 -x2211 -x2209 -x2207 -x2205 -x2203 -x2201 -x2199 -x2197 -x2195 -x2193 
84.27/84.38	v -x2191 -x2189 -x2187 -x2185 -x2183 -x2181 -x2179 -x2177 -x2175 -x2173 -x2171 -x2169 -x24 -x2167 -x2165 -x2163 -x2161 -x2159 
84.27/84.38	v -x2157 -x2155 -x2153 -x2151 -x2149 -x2147 -x2145 -x2143 -x2141 -x2139 -x23 -x2137 -x2135 -x2133 -x2131 -x2129 -x2127 -x2125 
84.27/84.38	v -x2123 -x2121 -x2119 -x2117 -x2115 -x2113 -x2111 -x2109 -x2107 -x2105 -x2103 -x2101 -x2099 -x2097 -x2095 -x2093 -x2091 -x2089 
84.27/84.38	v -x2087 -x2085 -x2083 -x2081 -x2079 -x2077 -x22 -x2075 -x2073 -x2071 -x2069 -x2067 x2065 -x2063 -x2061 -x2059 -x2057 -x2055 
84.27/84.38	v -x2053 -x2051 -x2049 -x2047 -x2045 -x2043 -x2041 -x2039 -x2037 -x2035 -x2033 -x2031 -x2029 -x2027 -x2025 -x2023 -x2021 -x2019 
84.27/84.38	v -x2017 -x2015 -x2013 -x2011 -x2009 -x2007 -x2005 -x2003 -x2001 -x1999 -x1997 -x1995 -x1993 -x1991 -x1989 -x1987 -x1985 -x1983 
84.27/84.38	v -x1981 -x1979 -x1977 -x1975 -x1973 -x1971 -x1969 -x1967 -x1965 -x1963 -x1961 -x1959 -x1957 -x1955 -x1953 -x1951 -x1949 -x1947 
84.27/84.38	v -x1945 -x1943 -x1941 -x1939 -x1937 -x1935 -x1933 -x1931 -x1929 -x1927 -x1925 -x1923 -x1921 -x1919 -x1917 -x1915 -x1913 
84.27/84.38	v -x1911 -x1909 -x1907 -x1905 -x1903 -x1901 -x1899 -x1897 -x1895 -x1893 -x1891 -x1889 -x21 -x1887 -x1885 -x1883 -x1881 -x1879 -x1877 
84.27/84.38	v -x1875 -x20 -x1873 -x1871 -x1869 -x1867 -x1865 -x1863 -x1861 -x1859 -x1857 -x1855 -x1853 -x1851 -x1849 -x1847 -x1845 -x19 
84.27/84.38	v -x1843 -x1841 -x1839 -x1837 -x1835 -x1833 -x1831 -x1829 -x1827 -x1825 -x1823 -x1821 -x1819 -x1817 -x1815 -x18 -x1813 -x1810 
84.27/84.38	v -x1808 -x1806 -x1804 -x1802 -x1800 -x1798 -x1796 -x1794 -x1792 -x1790 -x1788 -x1786 -x1784 -x1782 -x1780 -x1778 -x1776 -x1774 
84.27/84.38	v -x1772 -x1770 -x1768 -x1766 -x1764 -x1762 -x1760 -x1758 -x1756 -x17 -x1754 -x1752 -x1750 -x1748 -x1746 -x1744 -x1742 -x1740 
84.27/84.38	v -x1738 -x1736 -x1734 -x1732 -x1730 -x1728 -x1726 -x16 -x1724 -x1722 -x1720 -x1718 -x1716 -x1714 -x1712 -x1710 -x1708 -x1706 
84.27/84.38	v -x1704 -x1702 -x1700 -x1698 -x1696 -x1694 -x1692 -x1690 -x1688 -x1686 -x1684 -x1682 -x1680 -x1678 -x1676 -x1674 -x1672 -x1670 
84.27/84.38	v -x1668 -x1666 -x1664 -x15 -x1662 -x1660 -x1658 -x1656 -x1654 -x1652 -x1650 -x1648 -x1646 -x1644 -x1642 -x1640 -x1638 -x1636 
84.27/84.38	v -x1634 -x1632 -x1630 -x1628 -x1626 -x1624 -x1622 -x1620 -x1618 -x1616 -x1614 -x1612 -x1610 -x1608 -x1606 -x1604 -x1602 -x14 
84.27/84.38	v -x1600 -x1598 -x1596 -x1594 -x1592 -x1590 -x1587 -x1585 -x1583 -x1581 -x1579 -x1577 -x1575 -x1573 -x1571 -x1569 -x1567 -x1565 
84.27/84.38	v -x1563 -x1561 -x1559 -x1557 -x1555 -x1553 -x1551 -x1549 -x1547 -x1545 -x1543 -x1541 -x1539 -x1537 -x1535 -x1533 -x1531 -x1529 
84.27/84.38	v -x1527 -x1525 -x1523 -x1521 -x1519 -x1517 -x1515 -x1513 -x1511 -x1509 -x1507 -x1505 -x1503 -x1501 -x1499 -x1497 -x1495 -x1493 
84.27/84.38	v -x1491 -x1489 -x1487 -x1485 -x1483 -x1481 -x1479 -x1477 -x1475 -x1473 -x1471 -x1469 -x1467 -x1465 -x1463 -x1461 -x1459 -x1457 
84.27/84.38	v -x1455 -x1453 -x1451 -x1449 -x1447 -x13 -x1445 -x1443 -x1441 -x1439 -x1437 -x1435 -x1433 -x1431 -x1429 -x1427 -x1425 -x1423 
84.27/84.38	v -x1421 -x1419 -x1417 -x1415 -x1413 -x1411 -x1409 -x1407 -x1405 -x1403 -x1401 -x1399 -x1397 -x1395 -x1393 -x1391 -x1389 -x1387 
84.27/84.38	v -x1385 -x12 -x1383 -x1381 -x1379 -x1377 -x1375 -x1373 -x1371 -x1369 -x1367 -x1365 -x1363 -x1361 -x1359 -x1357 -x1355 -x11 
84.27/84.38	v -x1353 -x1351 -x1349 -x1347 -x1345 -x1343 -x1341 -x1339 -x1337 -x1335 -x1333 -x1331 -x1329 -x1327 -x1325 -x1323 -x1321 -x1319 
84.27/84.38	v -x1317 -x1315 -x1313 -x1311 -x1309 -x1307 -x1305 -x1303 -x1301 -x1299 -x1297 -x1295 -x10 -x1292 -x1290 -x1288 -x1286 -x1284 
84.27/84.38	v -x1282 -x1280 -x1278 -x1276 -x1274 -x1272 -x1270 -x1268 -x1266 -x1264 -x1262 -x1260 -x1258 -x1256 -x1254 -x1252 -x1250 -x1248 
84.27/84.38	v -x1246 -x1244 -x1242 -x1240 -x1238 -x1236 -x1234 -x1232 -x9 -x1230 -x1228 -x1226 -x1224 -x1222 -x1220 -x1218 -x1216 -x1214 
84.27/84.38	v -x1212 -x1210 -x1208 -x1206 -x1204 -x1202 -x1200 -x1198 -x1196 -x1194 -x1192 -x1190 -x1188 -x1186 -x1184 -x1182 -x1180 -x1178 
84.27/84.38	v -x1176 -x1174 -x1172 -x1170 -x1168 -x1166 -x1164 -x1162 -x1160 -x1158 -x1156 -x1154 -x1152 -x1150 -x1148 -x1146 -x1144 -x1142 
84.27/84.38	v -x1140 -x1138 -x1136 -x1134 -x1132 -x1130 -x1128 -x1126 -x1124 -x1122 -x1120 -x1118 -x1116 -x1114 -x1112 -x1110 -x1108 -x1106 
84.27/84.38	v -x8 -x1104 -x1102 -x1100 -x1098 -x1096 -x1094 -x1092 -x1090 -x1088 -x1086 -x1084 -x1082 -x1080 -x1078 -x1076 -x7 -x1074 -x1072 
84.27/84.38	v -x1070 -x1068 -x1066 -x1064 -x1062 -x1060 -x1058 -x1056 -x1054 -x1052 -x1050 -x1048 -x1046 -x1044 -x1042 -x1040 -x1038 -x1036 
84.27/84.38	v -x1034 -x1032 -x1030 -x1028 -x1026 -x1024 -x1022 -x1020 -x1018 -x1016 -x1014 -x6 -x1012 -x1010 -x1008 -x1006 -x1004 -x1002 
84.27/84.38	v -x1000 -x998 -x996 -x994 -x992 -x990 -x988 -x986 -x984 -x982 -x980 -x978 -x976 -x974 -x972 -x970 -x968 -x966 -x964 -x962 
84.27/84.38	v -x960 -x958 -x956 -x954 -x952 -x5 -x950 -x948 -x946 -x944 -x942 -x940 -x938 -x936 -x934 -x932 -x930 -x928 -x926 -x924 -x922 -x920 
84.27/84.38	v -x918 -x916 -x914 -x912 -x910 -x908 -x906 -x904 -x902 -x900 -x898 -x896 -x894 -x892 -x890 -x888 -x886 -x884 -x882 -x880 
84.27/84.38	v -x878 -x876 -x874 -x872 -x870 -x868 -x866 -x864 -x862 -x860 -x858 -x856 -x854 -x852 -x850 -x848 -x846 -x844 -x842 -x840 -x838 
84.27/84.38	v -x836 -x834 -x832 -x830 -x828 -x826 -x4 -x824 -x822 -x820 -x818 -x816 -x814 -x812 -x810 -x808 -x806 -x804 -x802 -x800 -x798 
84.27/84.38	v -x796 -x794 -x792 -x790 -x788 -x786 -x784 -x782 -x780 -x778 -x776 -x774 -x772 -x770 -x768 -x766 -x764 -x3 -x762 -x760 -x758 -x756 
84.27/84.38	v -x754 -x752 -x750 -x748 -x746 -x744 -x742 -x740 -x738 -x736 -x734 -x732 -x730 -x728 -x726 -x724 -x722 -x720 -x718 -x716 
84.27/84.38	v -x714 -x712 -x710 -x708 -x706 -x704 -x702 -x700 -x698 -x696 -x694 -x692 -x690 -x688 -x686 -x684 -x682 -x680 -x678 -x676 -x674 
84.27/84.38	v -x672 -x670 -x668 -x666 -x664 -x662 -x660 -x658 -x656 -x654 -x652 -x650 -x648 -x646 -x644 -x642 -x640 -x638 -x2 -x636 -x634 
84.27/84.38	v -x632 -x630 -x628 -x626 -x624 -x622 -x620 -x618 -x616 -x614 -x612 -x610 -x608 -x606 -x604 -x602 -x600 -x598 -x596 -x594 -x592 
84.27/84.38	v -x590 -x588 -x586 -x584 -x581 -x579 -x577 -x575 -x573 -x571 -x569 -x567 -x565 -x563 -x561 -x559 -x557 -x555 -x553 -x551 -x549 
84.27/84.38	v -x547 -x545 -x543 -x541 -x539 -x537 -x535 -x533 -x531 -x529 -x527 -x525 -x523 -x521 -x519 -x517 -x515 -x513 -x1 -x511 -x509 
84.27/84.38	v -x507 -x505 -x503 -x501 -x499 -x497 -x495 -x493 -x491 -x489 -x487 -x485 -x483 -x481 -x479 -x477 -x475 -x473 -x471 -x469 -x467 
84.27/84.38	v -x465 -x463 -x461 -x459 -x457 -x455 -x453 -x451 -x449 -x447 -x445 -x443 -x441 -x439 -x437 -x435 -x433 -x431 -x429 -x427 -x425 
84.27/84.38	v -x423 -x421 -x419 -x417 -x415 -x413 -x411 -x409 -x407 -x405 -x403 -x401 -x399 -x397 -x395 -x393 -x391 -x389 -x387 -x385 -x383 
84.27/84.38	v -x381 -x379 -x377 -x375 -x373 -x371 -x369 -x367 -x365 -x363 -x361 -x359 -x357 -x355 -x353 -x351 -x349 -x347 -x345 -x343 -x341 
84.27/84.38	v -x339 -x337 -x335 -x333 -x331 -x329 -x327 -x325 -x323 -x321 -x319 -x317 -x315 -x313 -x311 -x309 -x307 -x305 -x303 -x301 
84.27/84.38	v -x299 -x297 -x295 -x293 -x291 -x289 -x287 -x285 -x283 -x281 -x279 -x277 -x275 -x273 -x271 -x269 -x267 -x265 -x263 x261 -x259 
84.27/84.38	v -x257 x8805 -x8803 x8801 -x8799 -x8797 -x8795 -x8793 -x8791 -x8789 -x8787 -x8785 -x8783 -x8781 -x8779 -x8777 -x8775 -x8773 x8771 
84.27/84.38	v -x8769 -x8767 -x8765 -x8763 -x8761 -x8759 -x8757 -x8755 -x8753 -x8751 x8749 -x8747 x8745 -x8743 -x8741 -x8739 -x8737 -x8735 
84.27/84.38	v -x8733 -x8731 -x8729 -x8727 -x8725 -x8723 -x8721 -x8719 -x8717 -x8715 -x8713 -x8711 -x8709 -x8707 -x8705 -x8703 -x8701 -x8699 
84.27/84.38	v -x8697 -x8695 -x8693 -x8691 -x8689 -x8687 x8685 -x8683 -x8681 -x8679 -x8677 x8675 -x8673 -x8671 -x8669 -x8667 -x8665 -x8663 
84.27/84.38	v -x8661 -x8659 -x8657 -x8655 -x8653 -x8651 -x8649 -x8647 -x8645 -x8643 -x8641 -x8639 -x8637 -x8635 -x8633 -x8631 -x8629 -x8627 
84.27/84.38	v -x8625 -x8623 -x8621 -x8619 -x8617 -x8615 -x8613 -x8611 -x8609 -x8607 -x8605 -x8603 -x8601 -x8599 -x8597 -x8595 -x8593 -x8591 
84.27/84.38	v -x8589 -x8587 -x8585 -x8583 -x8581 -x8579 -x8577 -x8575 -x8573 -x8571 -x8569 -x8567 -x8565 -x8563 -x8561 -x8559 -x8557 -x8555 
84.27/84.38	v -x8553 -x8551 -x8549 -x8547 -x8545 -x8543 -x8541 -x8539 -x8537 -x8535 -x8533 -x8531 -x8529 -x8527 -x8525 -x8523 -x8521 
84.27/84.38	v -x8519 -x8517 -x8515 -x8513 -x8511 -x8509 -x8507 -x8505 -x8503 -x8501 -x8499 -x8497 -x8495 -x8493 -x8491 -x8489 -x8487 -x8485 
84.27/84.38	v -x8483 -x8481 -x8479 -x8477 -x8475 -x8473 -x8471 -x8469 -x8467 -x8465 -x8463 -x8461 -x8459 -x8457 -x8455 -x8453 -x8451 -x8450 
84.27/84.38	v -x8448 -x8446 -x8444 -x8442 -x8440 -x8438 -x8436 -x8434 -x8432 -x8430 -x8428 -x8426 -x8424 -x8422 -x8420 -x8418 -x8416 -x8414 
84.27/84.38	v -x8412 -x8410 -x8408 -x8406 -x8404 -x8402 -x8400 x8398 -x8396 -x8394 -x8392 -x8390 -x8388 -x8386 -x8384 -x8382 -x8380 -x8378 
84.27/84.38	v -x8376 -x8374 -x8372 -x8370 -x8368 -x8366 -x8364 -x8362 -x8360 -x8358 -x8356 -x8354 -x8352 -x8350 -x8348 -x8346 -x8344 -x8342 
84.27/84.38	v -x8340 -x8338 -x8336 -x8334 -x8332 -x8330 -x8328 -x8326 -x8324 -x8322 -x8320 -x8318 -x8316 -x8314 -x8312 -x8310 -x8308 -x8306 
84.27/84.38	v -x8304 -x8302 -x8300 -x8298 -x8296 -x8294 -x8292 -x8290 -x8288 -x8286 -x8284 -x8282 -x8280 -x8278 -x8276 -x8274 -x8272 -x8270 
84.27/84.38	v -x8268 -x8266 -x8264 -x8262 -x8260 -x8258 -x8256 -x8254 -x8252 -x8250 -x8248 -x8246 -x8244 -x8242 -x8240 -x8238 -x8236 
84.27/84.38	v -x8234 -x8232 -x8230 -x8228 -x8226 -x8224 -x8222 -x8220 -x8218 -x8216 -x8214 -x8212 -x8210 -x8208 -x8206 -x8204 -x8202 -x8200 
84.27/84.38	v -x8198 -x8196 -x8194 x8192 -x8190 -x8188 -x8186 -x8184 -x8182 -x8180 -x8178 -x8176 -x8174 -x8172 -x8170 -x8168 -x8166 -x8164 
84.27/84.38	v -x8162 -x8160 -x8158 -x8156 -x8154 -x8152 -x8150 -x8148 -x8146 -x8144 -x8142 -x8140 -x8138 -x8136 -x8134 -x8132 -x8130 -x8128 
84.27/84.38	v -x8126 -x8124 -x8122 -x8120 -x8118 -x8116 -x8114 -x8112 -x8110 -x8108 -x8106 -x8104 -x8102 -x8100 -x8098 -x8096 -x8094 -x8092 
84.27/84.38	v -x8090 -x8088 -x8086 -x8084 -x8082 -x8080 -x8078 -x8076 -x8074 -x8072 -x8070 -x8068 x8066 -x8064 -x8062 -x8060 -x8058 -x8056 
84.27/84.38	v -x8054 -x8052 -x8050 -x8048 -x8046 -x8044 -x8042 -x8040 -x8038 -x8036 -x8034 -x8032 -x8030 -x8028 -x8026 -x8024 -x8022 -x8020 
84.27/84.38	v -x8018 -x8016 -x8014 -x8012 -x8010 -x8008 -x8006 -x8004 -x8002 -x8000 -x7998 -x7996 -x7994 -x7992 -x7990 -x7988 -x7986 -x7985 
84.27/84.38	v -x7983 -x7981 -x7979 -x7977 -x7975 -x7973 -x7971 -x7969 -x7967 -x7965 -x7963 -x7961 -x7959 -x7957 -x7955 -x7953 -x7951 -x7949 
84.27/84.38	v -x7947 -x7945 -x7943 -x7941 -x7939 -x7937 -x7935 -x7933 -x7931 -x7929 -x7927 -x7925 -x7923 -x7921 -x7919 -x7917 -x7915 
84.27/84.38	v -x7913 -x7911 -x7909 -x7907 -x7905 -x7903 -x7901 -x7899 -x7897 -x7895 -x7893 -x7891 -x7889 -x7887 -x7885 -x7883 -x7881 -x7880 
84.27/84.38	v -x7878 -x7876 -x7874 -x7872 -x7870 -x7868 -x7866 -x7864 -x7862 -x7860 -x7858 -x7856 -x7854 -x7852 -x7850 -x7848 -x7846 -x7844 
84.27/84.38	v -x7842 -x7840 -x7838 -x7836 -x7834 -x7832 -x7830 -x7828 -x7826 -x7824 -x7822 -x7820 -x7818 -x7816 -x7814 -x7812 -x7810 -x7808 
84.27/84.38	v -x7806 -x7804 -x7802 -x7800 -x7798 x7796 -x7795 -x7793 -x7791 -x7789 -x7787 -x7785 -x7783 -x7781 -x7779 -x7777 -x7775 -x7773 
84.27/84.38	v -x7771 -x7769 -x7767 -x7765 -x7763 -x7761 -x7759 -x7757 -x7755 -x7753 -x7751 -x7749 -x7747 -x7745 -x7743 -x7741 -x7739 -x7737 
84.27/84.38	v -x7735 -x7733 -x7731 -x7729 -x7727 -x7725 -x7723 -x7721 -x7719 -x7717 -x7715 -x7713 -x7711 -x7709 -x7707 -x7705 -x7703 -x7701 
84.27/84.38	v -x7699 -x7697 -x7695 -x7693 -x7691 -x7689 -x7687 -x7685 -x7683 -x7681 -x7679 -x7677 -x7675 -x7673 -x7671 -x7669 -x7667 -x7665 
84.27/84.38	v -x7663 -x7661 -x7659 -x7657 -x7655 -x7653 -x7651 -x7649 -x7647 -x7645 -x7643 -x7641 -x7639 -x7637 -x7635 -x7633 -x7631 
84.27/84.38	v -x7629 -x7627 -x7625 -x7623 -x7621 -x7619 -x7617 -x7615 -x7613 -x7611 -x7609 -x7607 -x7605 -x7603 -x7601 -x7599 -x7597 -x7595 
84.27/84.38	v -x7593 -x7591 -x7589 -x7587 -x7585 -x7583 -x7581 -x7579 -x7577 -x7575 -x7573 -x7571 -x7569 -x7567 -x7565 -x7563 -x7561 -x7559 
84.27/84.38	v -x7557 -x7555 -x7553 -x7551 -x7549 -x7547 -x7545 -x7543 -x7541 -x7539 -x7537 -x7535 -x7533 -x7531 -x7529 -x7527 -x7525 -x7523 
84.27/84.38	v -x7521 -x7519 -x7517 -x7515 -x7513 -x7511 -x7509 -x7507 -x7505 -x7503 -x7501 -x7499 -x7497 -x7495 -x7493 -x7491 -x7489 -x7487 
84.27/84.38	v -x7485 -x7483 -x7481 -x7479 -x7477 -x7475 -x7473 -x7471 -x7469 -x7467 -x7465 -x7463 -x7461 -x7459 -x7457 -x7455 -x7453 -x7451 
84.27/84.38	v -x7449 -x7447 -x7445 -x7443 -x7441 -x7439 -x7437 -x7435 -x7433 -x7431 -x7429 -x7427 -x7425 -x7423 -x7421 -x7419 -x7417 -x7415 
84.27/84.38	v -x7413 -x7411 -x7409 -x7407 -x7405 -x7403 -x7401 -x7399 -x7397 -x7395 -x7393 -x7391 -x7389 -x7387 -x7385 -x7383 -x7381 
84.27/84.38	v -x7379 -x7377 -x7375 -x7373 -x7371 -x7369 -x7367 -x7365 -x7363 -x7361 -x7359 -x7357 -x7355 -x7353 -x7351 -x7349 -x7347 -x7345 
84.27/84.38	v -x7343 -x7341 -x7339 -x7337 -x7335 -x7333 -x7331 -x7329 -x7327 -x7325 -x7323 -x7321 -x7319 -x7317 -x7315 -x7313 -x7311 -x7309 
84.27/84.38	v -x7307 -x7305 -x7303 -x7301 -x7299 -x7297 -x7295 -x7293 -x7291 -x7289 -x7287 -x7285 -x7283 -x7281 -x7279 -x7277 -x7275 -x7273 
84.27/84.38	v -x7271 -x7269 -x7267 -x7265 -x7263 -x7261 -x7259 -x7257 -x7255 -x7253 -x7251 -x7249 -x7247 -x7245 -x7243 -x7241 -x7239 -x7237 
84.27/84.38	v -x7235 -x7233 -x7231 -x7229 -x7227 -x7225 -x7223 -x7221 -x7219 -x7217 -x7215 -x7213 -x7211 -x7209 -x7207 -x7205 -x7203 -x7201 
84.27/84.38	v -x7199 -x7197 -x7195 -x7193 -x7191 -x7189 -x7187 -x7185 -x7183 -x7181 -x7179 -x7177 -x7175 -x7173 -x7171 -x7169 -x7167 -x7165 
84.27/84.38	v -x7163 -x7161 -x7159 -x7157 -x7155 -x7153 -x7151 -x7149 -x7147 -x7145 -x7143 -x7141 -x7139 -x7137 -x7135 -x7133 -x7131 
84.27/84.38	v -x7129 -x7127 -x7125 -x7123 -x7121 -x7119 -x7117 -x7115 -x7113 -x7111 -x7109 -x7107 -x7105 -x7103 -x7101 -x7099 -x7097 -x7095 
84.27/84.38	v -x7093 -x7091 -x7089 -x7087 -x7085 -x7083 -x7081 -x7079 -x7077 -x7075 -x7073 -x7071 -x7069 -x7067 -x7065 -x7063 -x7061 -x7059 
84.27/84.38	v -x7057 -x7055 -x7053 -x7051 -x7049 -x7047 -x7045 -x7043 -x7041 -x7039 -x7037 -x7035 -x7033 -x7031 -x7029 -x7027 -x7025 -x7023 
84.27/84.38	v -x7021 x7019 -x7017 -x7015 -x7013 -x7011 -x7009 -x7007 -x7005 -x7003 -x7001 -x6999 -x6997 -x6995 -x6993 -x6991 -x6989 -x6987 
84.27/84.38	v -x6985 -x6983 -x6981 -x6979 -x6977 -x6975 -x6973 -x6971 -x6969 -x6967 -x6965 -x6963 -x6961 -x6959 -x6957 -x6955 -x6953 -x6951 
84.27/84.38	v -x6949 -x6947 -x6945 -x6943 -x6941 -x6939 -x6937 -x6935 -x6933 -x6931 -x6929 -x6927 -x6925 -x6923 -x6921 -x6919 -x6917 -x6915 
84.27/84.38	v -x6913 -x6911 -x6909 -x6907 -x6905 -x6903 -x6901 -x6899 -x6897 -x6895 -x6893 -x6891 -x6889 -x6888 -x6886 -x6884 -x6882 -x6880 
84.27/84.38	v -x6878 -x6876 -x6874 -x6872 -x6870 -x6868 -x6866 -x6864 -x6862 -x6860 -x6858 -x6856 -x6854 -x6852 -x6850 -x6848 -x6846 
84.27/84.38	v -x6844 -x6842 -x6840 -x6838 -x6836 x6834 -x6832 -x6830 -x6828 -x6826 -x6824 -x6822 -x6820 -x6818 -x6816 -x6814 -x6812 -x6810 
84.27/84.38	v -x6808 -x6806 -x6804 -x6802 -x6800 -x6798 -x6796 -x6794 -x6792 -x6790 -x6788 -x6786 -x6784 -x6782 x6780 -x6778 -x6776 -x6774 
84.27/84.38	v -x6772 -x6770 -x6768 -x6766 -x6764 -x6762 -x6760 -x6758 -x6756 -x6754 -x6752 -x6750 -x6748 -x6746 -x6744 -x6742 -x6740 -x6738 
84.27/84.38	v -x6736 -x6734 -x6732 -x6730 -x6728 -x6726 -x6724 -x6722 -x6720 -x6718 -x6716 -x6714 -x6712 -x6710 -x6708 -x6707 -x6705 -x6703 
84.27/84.38	v -x6701 -x6699 -x6697 -x6695 -x6693 -x6691 -x6689 -x6687 -x6685 -x6683 -x6681 -x6679 -x6677 -x6675 -x6673 -x6671 -x6669 -x6667 
84.27/84.38	v -x6665 -x6663 -x6661 -x6659 -x6657 -x6655 -x6653 -x6651 -x6649 -x6647 x6645 -x6643 -x6641 -x6639 -x6637 -x6635 -x6633 -x6631 
84.27/84.38	v -x6629 -x6628 -x6626 -x6624 -x6622 -x6620 -x6618 -x6616 -x6614 -x6612 -x6610 -x6608 -x6606 -x6604 -x6602 -x6600 -x6598 -x6596 
84.27/84.38	v -x6594 -x6592 -x6590 -x6588 -x6586 -x6584 -x6582 -x6580 -x6578 -x6576 -x6574 -x6572 -x6570 -x6568 -x6566 -x6564 -x6562 -x6560 
84.27/84.38	v -x6558 -x6556 -x6554 -x6552 -x6550 -x6548 -x6546 -x6544 -x6542 -x6540 -x6538 -x6536 -x6534 -x6532 -x6530 -x6528 -x6526 -x6524 
84.27/84.38	v -x6522 -x6520 -x6518 -x6516 -x6514 -x6512 -x6510 -x6508 -x6506 -x6504 -x6502 -x6500 -x6498 -x6496 -x6494 -x6492 -x6490 
84.27/84.38	v -x6488 -x6486 -x6484 -x6482 -x6480 -x6478 -x6476 -x6474 -x6472 -x6470 -x6468 -x6466 -x6464 -x6462 -x6460 -x6458 -x6456 -x6454 
84.27/84.38	v -x6452 -x6450 -x6448 -x6446 -x6444 -x6442 -x6440 -x6438 -x6436 -x6434 -x6432 -x6430 -x6428 -x6426 -x6424 -x6422 -x6420 -x6418 
84.27/84.38	v -x6416 -x6414 -x6412 -x6410 -x6408 -x6406 -x6404 -x6402 -x6400 -x6398 -x6396 -x6394 -x6392 -x6390 -x6388 -x6386 -x6384 -x6382 
84.27/84.38	v -x6380 -x6379 -x6377 -x6375 -x6373 -x6371 -x6369 -x6367 -x6365 -x6363 -x6361 -x6359 -x6357 -x6355 -x6353 -x6352 -x6350 -x6348 
84.27/84.38	v -x6346 -x6344 -x6342 -x6340 -x6338 -x6336 -x6334 -x6332 -x6330 -x6328 -x6326 -x6324 -x6322 -x6320 -x6318 -x6316 -x6314 -x6312 
84.27/84.38	v -x6310 -x6308 -x6306 -x6304 -x6302 x6300 -x6299 -x6297 -x6295 -x6293 -x6291 -x6289 -x6287 -x6285 -x6283 -x6281 -x6279 -x6277 
84.27/84.38	v -x6275 -x6273 -x6271 -x6269 -x6267 -x6265 -x6263 -x6262 -x6260 -x6258 -x6256 -x6254 -x6252 -x6250 -x6248 -x6246 -x6244 -x6242 
84.27/84.38	v -x6240 -x6238 -x6236 -x6234 -x6232 -x6230 -x6228 -x6226 -x6224 -x6222 -x6220 -x6218 -x6216 -x6214 -x6212 -x6210 -x6208 
84.27/84.38	v -x6206 -x6204 -x6202 -x6200 -x6198 -x6196 -x6194 -x6192 -x6190 -x6188 -x6186 -x6184 -x6182 -x6180 -x6178 -x6176 -x6174 -x6172 
84.27/84.38	v -x6170 -x6168 -x6166 -x6164 -x6162 -x6160 -x6158 -x6156 -x6154 -x6152 -x6150 -x6148 -x6146 -x6144 -x6142 -x6140 -x6138 -x6136 
84.27/84.38	v -x6134 -x6132 -x6130 -x6128 -x6126 -x6124 -x6122 -x6120 -x6118 -x6116 -x6114 -x6112 -x6110 -x6108 -x6106 x6104 -x6102 -x6100 
84.27/84.38	v -x6098 -x6096 -x6094 -x6092 -x6090 -x6088 -x6086 -x6084 -x6082 -x6080 -x6078 -x6076 -x6074 -x6072 -x6070 -x6068 -x6066 -x6064 
84.27/84.38	v -x6062 -x6060 -x6058 -x6056 -x6054 -x6052 -x6050 -x6048 -x6046 -x6044 -x6042 -x6040 -x6038 -x6036 -x6034 -x6032 -x6030 -x6028 
84.27/84.38	v -x6026 -x6024 -x6022 -x6020 -x6018 -x6016 -x6014 -x6012 -x6010 -x6008 -x6006 -x6004 -x6002 -x6000 -x5998 -x5996 -x5994 -x5992 
84.27/84.38	v -x5990 -x5988 -x5986 -x5984 -x5982 -x5980 -x5978 -x5976 -x5974 -x5972 -x5970 -x5968 -x5966 -x5964 -x5962 -x5960 -x5958 -x5956 
84.27/84.38	v -x5954 -x5952 -x5950 -x5948 -x5946 -x5944 -x5942 -x5940 -x5938 -x5936 -x5934 -x5932 -x5930 -x5928 -x5926 -x5924 -x5922 
84.27/84.38	v -x5920 -x5918 -x5916 -x5914 -x5912 -x5910 -x5908 -x5906 -x5904 -x5902 -x5900 -x5898 -x5896 -x5894 -x5892 -x5890 -x5888 -x5886 
84.27/84.38	v -x5884 -x5882 -x5880 -x5878 -x5876 -x5874 -x5872 -x5870 -x5868 -x5866 -x5864 -x5862 -x5860 -x5858 -x5856 -x5854 -x5852 -x5850 
84.27/84.38	v -x5848 -x5846 -x5844 -x5842 -x5840 -x5838 -x5836 -x5834 -x5832 -x5830 x5828 -x5826 -x5824 -x5822 -x5820 -x5818 -x5816 -x5814 
84.27/84.38	v -x5812 -x5810 -x5808 -x5806 -x5804 -x5802 -x5800 -x5798 -x5796 -x5794 -x5792 -x5790 -x5788 -x5786 -x5784 -x5782 -x5780 -x5778 
84.27/84.38	v -x5776 -x5774 -x5772 -x5770 -x5768 -x5766 -x5764 -x5762 -x5760 -x5758 -x5756 -x5754 -x5752 -x5750 -x5748 -x5746 -x5744 -x5742 
84.27/84.38	v -x5740 -x5738 -x5736 -x5734 -x5732 -x5730 -x5728 -x5726 -x5724 -x5722 -x5720 -x5718 -x5716 -x5714 -x5712 -x5710 -x5708 -x5706 
84.27/84.38	v -x5704 -x5702 -x5700 -x5698 -x5696 -x5694 -x5692 -x5690 -x5688 -x5686 -x5684 -x5682 -x5680 -x5678 -x5676 -x5674 -x5672 -x5670 
84.27/84.38	v -x5668 -x5666 -x5664 -x5662 -x5660 -x5658 -x5656 -x5654 -x5652 -x5650 -x5648 -x5646 -x5644 -x5642 -x5640 -x5638 -x5636 
84.27/84.38	v -x5634 -x5632 -x5630 -x5628 -x5626 -x5624 -x5622 -x5620 -x5618 -x5616 -x5614 -x5612 -x5610 -x5608 -x5606 -x5604 -x5602 -x5600 
84.27/84.38	v -x5598 -x5596 -x5594 -x5592 -x5590 -x5588 -x5586 -x5584 -x5582 -x5580 -x5578 -x5576 -x5574 -x5572 -x5570 -x5568 -x5566 -x5564 
84.27/84.38	v -x5562 -x5560 -x5558 -x5556 -x5554 -x5552 -x5550 -x5548 -x5546 -x5544 -x5542 -x5540 -x5538 -x5536 -x5534 -x5532 -x5530 -x5528 
84.27/84.38	v -x5526 -x5524 -x5522 -x5520 -x5518 -x5516 -x5514 -x5512 -x5510 -x5508 -x5506 -x5504 -x5502 -x5500 -x5498 -x5496 -x5494 -x5492 
84.27/84.38	v -x5490 -x5488 -x5486 -x5484 -x5482 -x5480 -x5478 -x5476 -x5474 -x5472 -x5470 -x5468 -x5466 -x5464 -x5462 -x5460 -x5458 -x5456 
84.27/84.38	v -x5454 -x5452 -x5450 -x5448 -x5446 -x5444 -x5442 -x5440 -x5438 -x5436 -x5434 -x5432 -x5430 -x5428 -x5426 -x5424 -x5422 -x5420 
84.27/84.38	v -x5418 -x5416 -x5414 -x5412 -x5410 -x5408 -x5406 -x5404 -x5402 -x5400 -x5398 -x5396 -x5394 -x5392 -x5390 -x5388 -x5386 
84.27/84.38	v -x5384 -x5382 -x5380 -x5378 -x5376 -x5374 -x5372 -x5370 -x5368 -x5366 -x5364 -x5362 -x5360 -x5358 -x5356 -x5354 -x5352 -x5350 
84.27/84.38	v -x5348 -x5346 -x5344 -x5342 -x5340 -x5338 -x5336 -x5334 -x5332 -x5330 -x5328 -x5326 -x5324 -x5322 -x5320 -x5318 -x5316 -x5314 
84.27/84.38	v -x5312 -x5310 -x5308 -x5306 -x5304 -x5302 -x5300 -x5298 -x5296 -x5294 -x5292 -x5290 -x5288 -x5286 -x5284 -x5282 -x5280 -x5278 
84.27/84.38	v -x5276 -x5274 -x5272 -x5270 -x5268 -x5266 -x5264 -x5262 -x5260 -x5258 -x5256 -x5254 -x5252 -x5250 -x5248 -x5246 -x5244 -x5242 
84.27/84.38	v -x5240 -x5238 -x5236 -x5234 -x5232 x5230 -x5228 -x5226 -x5224 -x5222 -x5220 -x5218 -x5216 -x5214 -x5212 -x5210 -x5208 -x5206 
84.27/84.38	v -x5204 -x5202 -x5200 -x5198 -x5196 -x5194 -x5192 -x5190 -x5188 -x5186 -x5184 -x5182 -x5180 -x5178 -x5176 -x5174 -x5172 -x5170 
84.27/84.38	v -x5168 -x5166 -x5164 -x5162 -x5160 -x5158 -x5156 -x5154 -x5152 -x5150 -x5148 -x5146 -x5144 x5142 -x5140 -x5138 -x5136 -x5134 
84.27/84.38	v -x5132 -x5130 -x5128 -x5126 -x5124 -x5122 -x5120 -x5118 -x5116 -x5114 -x5112 -x5110 -x5108 -x5106 -x5104 -x5102 -x5100 -x5098 
84.27/84.38	v -x5096 -x5094 -x5092 -x5090 -x5088 -x5086 -x5084 -x5082 -x5080 -x5078 -x5076 -x5074 -x5072 -x5070 -x5068 -x5066 -x5064 
84.27/84.38	v -x5062 -x5060 -x5058 -x5056 -x5054 -x5052 -x5050 -x5048 -x5046 -x5044 -x5042 -x5040 -x5038 -x5036 -x5034 -x5032 -x5030 -x5028 
84.27/84.38	v -x5026 -x5024 -x5022 -x5020 -x5018 -x5016 -x5014 -x5012 -x5010 -x5008 -x5006 -x5004 -x5002 -x5000 -x4998 -x4996 -x4994 -x4992 
84.27/84.38	v -x4990 -x4988 -x4986 -x4984 -x4982 -x4980 -x4978 -x4976 -x4974 -x4972 -x4970 -x4968 -x4966 -x4964 -x4962 -x4960 -x4958 -x4956 
84.27/84.38	v -x4954 -x4952 -x4950 -x4948 -x4946 -x4944 -x4942 -x4940 -x4938 -x4936 -x4934 -x4932 -x4930 -x4928 -x4926 -x4924 -x4922 -x4920 
84.27/84.38	v -x4918 -x4916 -x4914 -x4912 -x4910 -x4908 -x4906 -x4904 -x4902 -x4900 -x4898 -x4896 -x4894 -x4892 -x4890 -x4888 -x4886 -x4884 
84.27/84.38	v -x4882 -x4880 -x4878 -x4876 -x4874 -x4872 -x4870 -x4868 -x4866 -x4864 -x4862 -x4860 -x4858 -x4856 -x4854 -x4852 -x4850 -x4848 
84.27/84.38	v -x4846 -x4844 -x4842 -x4840 -x4838 -x4836 -x4834 -x4832 -x4830 -x4828 -x4826 -x4824 -x4822 -x4820 -x4818 -x4816 -x4814 
84.27/84.38	v -x4812 -x4810 -x4808 -x4806 -x4804 -x4802 -x4800 -x4798 -x4796 -x4794 -x4792 -x4790 -x4788 -x4786 -x4784 -x4782 -x4780 -x4779 
84.27/84.38	v -x4777 -x4775 -x4773 -x4771 -x4769 -x4767 -x4765 -x4763 -x4761 -x4759 -x4757 -x4755 -x4753 -x4751 -x4749 -x4747 -x4745 -x4743 
84.27/84.38	v -x4741 -x4739 -x4737 -x4735 -x4733 -x4731 -x4729 -x4727 -x4725 -x4723 -x4721 -x4719 -x4717 -x4715 -x4713 -x4711 -x4709 -x4707 
84.27/84.38	v -x4705 -x4703 -x4701 -x4699 -x4697 -x4695 -x4693 -x4691 -x4689 -x4687 -x4685 -x4683 -x4681 -x4679 -x4677 -x4675 -x4673 -x4671 
84.27/84.38	v -x4669 -x4667 -x4665 -x4663 -x4661 -x4659 -x4657 -x4655 -x4653 -x4651 -x4649 -x4647 -x4645 -x4643 -x4641 -x4639 -x4637 -x4635 
84.27/84.38	v -x4633 -x4631 -x4629 -x4627 -x4625 -x4623 -x4621 -x4619 -x4617 -x4615 -x4613 -x4611 -x4609 -x4607 -x4605 -x4603 -x4601 -x4599 
84.27/84.38	v -x4597 -x4595 -x4593 -x4591 -x4589 -x4587 -x4585 -x4583 -x4581 -x4579 -x4577 x4575 -x4573 -x4571 -x4569 -x4567 -x4565 -x4563 
84.27/84.38	v -x4561 -x4559 -x4557 -x4555 -x4553 -x4551 -x4549 -x4547 -x4545 -x4543 -x4541 -x4539 -x4537 -x4535 -x4533 -x4531 -x4529 
84.27/84.38	v -x4527 -x4525 -x4523 -x4521 -x4519 -x4517 -x4515 -x4513 -x4511 -x4509 -x4507 -x4505 -x4503 -x4501 -x4499 -x4497 -x4495 -x4493 
84.27/84.38	v -x4491 -x4489 -x4487 -x4485 -x4483 -x4481 -x4479 -x4477 -x4475 -x4473 -x4471 -x4469 -x4467 -x4465 -x4463 -x4461 -x4459 -x4457 
84.27/84.38	v -x4455 -x4454 -x4452 -x4450 -x4448 -x4446 -x4444 -x4442 -x4440 -x4438 -x4436 -x4434 -x4432 -x4430 -x4428 -x4426 -x4424 -x4422 
84.27/84.38	v -x4420 -x4418 -x4416 -x4414 -x4412 -x4410 -x4408 -x4406 -x4404 -x4402 -x4400 -x4398 -x4396 -x4394 -x4392 -x4390 -x4388 -x4386 
84.27/84.38	v -x4384 -x4382 -x4380 -x4378 -x4376 -x4374 -x4372 -x4370 -x4368 -x4366 -x4364 -x4362 -x4360 -x4358 -x4356 -x4354 -x4352 -x4350 
84.27/84.38	v -x4348 -x4346 -x4344 -x4342 -x4340 -x4338 -x4336 -x4334 -x4332 -x4330 -x4328 -x4326 -x4324 -x4322 -x4320 -x4318 -x4316 -x4314 
84.27/84.38	v -x4312 -x4310 -x4308 -x4306 -x4304 -x4302 -x4300 -x4298 -x4296 -x4294 -x4292 -x4290 -x4288 -x4286 -x4284 -x4282 -x4280 
84.27/84.38	v -x4278 -x4276 -x4274 -x4272 -x4270 -x4268 -x4266 -x4264 -x4262 -x4260 -x4258 -x4256 -x4254 -x4252 -x4250 -x4248 -x4246 -x4244 
84.27/84.38	v -x4242 -x4240 -x4238 -x4236 -x4234 -x4232 -x4230 -x4228 -x4226 -x4224 -x4222 -x4220 -x4219 -x4217 -x4215 -x4213 -x4211 -x4209 
84.27/84.38	v -x4207 -x4205 -x4203 -x4201 -x4199 -x4197 -x4195 -x4193 -x4191 -x4189 -x4187 -x4185 -x4183 -x4181 -x4179 -x4177 -x4175 -x4173 
84.27/84.38	v -x4171 -x4169 -x4167 -x4165 -x4163 -x4161 -x4159 -x4157 -x4155 -x4153 -x4151 -x4149 -x4147 -x4145 -x4143 -x4141 -x4139 -x4137 
84.27/84.38	v -x4135 -x4133 -x4131 -x4129 -x4127 -x4125 -x4123 -x4121 -x4119 -x4117 -x4115 -x4113 -x4111 -x4109 -x4107 -x4105 -x4103 -x4101 
84.27/84.38	v -x4099 -x4097 -x4095 -x4093 -x4091 -x4089 -x4087 -x4085 -x4083 -x4081 -x4079 -x4077 -x4075 -x4073 -x4071 -x4069 -x4067 -x4065 
84.27/84.38	v -x4063 -x4061 -x4059 -x4057 -x4055 -x4053 -x4051 -x4049 -x4047 -x4045 -x4043 -x4041 -x4039 -x4037 -x4035 -x4033 -x4031 
84.27/84.38	v -x4029 -x4027 -x4025 -x4023 -x4021 -x4019 -x4017 -x4015 -x4013 -x4011 -x4009 -x4007 -x4005 -x4003 -x4001 -x3999 -x3997 -x3995 
84.27/84.38	v -x3993 -x3991 -x3989 -x3987 -x3985 -x3983 -x3981 -x3979 -x3977 -x3975 -x3973 -x3971 -x3969 -x3967 -x3965 -x3963 -x3961 -x3959 
84.27/84.38	v -x3957 -x3955 -x3953 -x3951 -x3949 -x3947 -x3945 -x3943 -x3941 -x3939 -x3937 -x3935 -x3933 -x3931 -x3929 -x3927 -x3925 -x3923 
84.27/84.38	v -x3921 -x3919 -x3917 -x3915 -x3913 -x3911 -x3909 -x3907 -x3905 -x3903 -x3901 -x3899 -x3897 -x3895 -x3893 -x3891 -x3889 -x3887 
84.27/84.38	v -x3885 -x3883 -x3881 -x3879 -x3877 -x3875 -x3873 -x3871 -x3869 -x3867 -x3865 -x3863 -x3861 -x3859 -x3857 -x3855 -x3853 -x3851 
84.27/84.38	v -x3849 -x3847 -x3845 -x3843 -x3841 -x3839 -x3837 -x3835 -x3833 -x3831 -x3829 -x3827 -x3825 -x3823 -x3821 -x3819 -x3817 -x3815 
84.27/84.38	v -x3813 -x3811 -x3809 -x3807 -x3805 -x3803 -x3801 -x3799 -x3797 -x3795 -x3793 -x3791 -x3789 -x3787 -x3785 -x3783 -x3781 
84.27/84.38	v -x3779 -x3777 -x3775 -x3773 -x3771 -x3769 -x3767 -x3765 -x3763 -x3761 -x3759 -x3757 -x3755 -x3753 -x3751 -x3749 -x3747 -x3745 
84.27/84.38	v -x3743 -x3741 -x3739 -x3737 -x3735 -x3733 -x3731 -x3729 -x3727 -x3725 -x3723 -x3721 -x3719 -x3717 -x3715 -x3713 -x3711 -x3709 
84.27/84.38	v -x3707 -x3705 -x3703 -x3701 -x3699 -x3697 -x3695 -x3693 -x3691 -x3689 -x3687 -x3685 -x3683 -x3681 -x3679 -x3677 -x3675 -x3673 
84.27/84.38	v -x3671 -x3669 -x3667 -x3665 -x3663 -x3661 -x3659 -x3657 -x3655 -x3653 -x3651 -x3649 -x3647 -x3645 -x3643 -x3641 -x3639 -x3637 
84.27/84.38	v -x3635 -x3633 -x3631 -x3629 -x3627 -x3625 -x3623 -x3622 -x3620 -x3618 -x3616 -x3614 -x3612 -x3610 -x3608 -x3606 -x3604 -x3602 
84.27/84.38	v -x3600 -x3598 -x3596 -x3594 -x3592 -x3590 -x3588 -x3586 -x3584 -x3582 -x3580 -x3578 -x3576 -x3574 -x3572 -x3570 -x3568 -x3566 
84.27/84.38	v -x3564 -x3562 -x3560 -x3558 -x3556 -x3554 -x3552 -x3550 -x3548 -x3546 -x3544 -x3542 -x3540 -x3538 -x3536 -x3534 -x3532 
84.27/84.38	v -x3530 -x3528 -x3526 -x3524 -x3522 -x3520 -x3518 -x3516 -x3514 -x3512 -x3510 -x3508 -x3506 -x3504 -x3502 -x3500 -x3498 -x3496 
84.27/84.38	v -x3494 -x3492 -x3490 -x3488 -x3486 -x3484 -x3482 -x3480 -x3478 -x3476 -x3474 -x3472 -x3470 -x3468 -x3466 -x3464 -x3462 -x3460 
84.27/84.38	v -x3458 -x3456 -x3454 -x3452 -x3450 -x3448 -x3446 -x3444 -x3442 -x3440 -x3438 -x3436 -x3434 -x3432 -x3430 -x3428 -x3426 -x3424 
84.27/84.38	v -x3422 -x3420 -x3418 -x3416 -x3414 -x3412 -x3410 -x3408 -x3406 -x3404 -x3402 -x3400 -x3398 -x3396 -x3394 -x3392 -x3390 -x3388 
84.27/84.38	v -x3386 -x3384 -x3382 -x3380 -x3378 -x3376 -x3374 -x3372 -x3370 -x3368 -x3366 -x3364 -x3362 -x3360 -x3358 -x3356 -x3354 -x3352 
84.27/84.38	v -x3350 -x3348 -x3346 -x3344 -x3342 -x3340 -x3338 -x3336 -x3334 -x3332 -x3330 -x3328 -x3326 -x3324 -x3322 -x3320 -x3318 -x3316 
84.27/84.38	v -x3314 -x3312 -x3310 -x3308 -x3306 -x3304 -x3302 -x3300 -x3298 -x3296 -x3294 -x3292 -x3290 -x3288 -x3286 -x3284 -x3282 
84.27/84.38	v -x3280 -x3278 -x3276 -x3274 -x3272 -x3270 -x3268 -x3266 -x3264 -x3262 -x3260 -x3258 -x3256 -x3254 -x3252 -x3250 -x3248 -x3246 
84.27/84.38	v -x3244 -x3242 -x3240 -x3238 -x3236 -x3234 -x3232 -x3230 -x3228 -x3226 -x3224 -x3222 -x3220 -x3218 -x3216 -x3214 -x3212 -x3210 
84.27/84.38	v -x3208 -x3206 -x3204 -x3202 -x3200 -x3198 -x3196 -x3194 -x3192 -x3190 -x3188 -x3186 -x3184 -x3182 -x3180 -x3178 -x3176 -x3174 
84.27/84.38	v -x3172 -x3170 -x3168 -x3166 -x3164 -x3162 -x3160 -x3158 -x3156 -x3154 -x3152 -x3150 -x3148 -x3146 -x3144 -x3142 -x3140 -x3138 
84.27/84.38	v -x3136 -x3134 -x3132 -x3130 -x3128 -x3126 -x3124 -x3122 -x3120 -x3118 -x3116 -x3114 -x3112 -x3110 -x3108 -x3106 -x3104 -x3102 
84.27/84.38	v -x3100 -x3098 -x3096 -x3094 -x3092 -x3090 -x3088 -x3086 -x3084 -x3082 -x3080 -x3078 -x3076 -x3074 -x3072 -x3070 -x3068 -x3066 
84.27/84.38	v -x3064 -x3062 -x3060 -x3058 -x3056 -x3054 -x3052 x3050 -x3048 -x3046 -x3044 -x3042 -x3040 -x3038 -x3036 -x3034 -x3032 -x3030 
84.27/84.38	v -x3028 -x3026 -x3024 -x3022 -x3020 -x3018 -x3016 -x3014 -x3012 -x3010 -x3008 -x3006 -x3004 -x3002 -x3000 -x2998 -x2996 
84.27/84.38	v -x2994 -x2992 -x2990 -x2988 -x2986 -x2984 -x2982 -x2980 -x2978 -x2976 -x2974 -x2972 -x2970 -x2968 -x2966 -x2964 -x2962 -x2960 
84.27/84.38	v -x2958 -x2956 -x2954 -x2952 -x2950 -x2948 -x2946 -x2944 -x2942 -x2940 -x2938 -x2936 -x2934 -x2932 -x2930 -x2928 -x2926 -x2924 
84.27/84.38	v -x2922 -x2920 -x2918 -x2916 -x2914 -x2912 -x2910 -x2908 -x2906 -x2904 -x2902 -x2900 -x2898 -x2896 -x2894 -x2892 -x2890 -x2888 
84.27/84.38	v -x2886 -x2884 -x2882 -x2880 -x2878 -x2876 -x2874 -x2872 -x2870 -x2868 -x2866 -x2864 -x2862 -x2860 -x2858 -x2856 -x2854 -x2852 
84.27/84.38	v -x2850 -x2848 -x2846 -x2844 -x2842 -x2840 -x2838 -x2836 -x2834 -x2832 -x2830 -x2828 -x2826 -x2824 -x2822 -x2820 -x2818 -x2816 
84.27/84.38	v -x2814 -x2812 -x2810 -x2808 -x2806 -x2804 -x2802 -x2800 -x2798 -x2796 -x2794 -x2792 -x2790 -x2788 -x2786 -x2784 -x2782 -x2780 
84.27/84.38	v -x2778 -x2776 -x2774 -x2772 -x2770 -x2768 -x2766 -x2764 -x2762 -x2760 -x2758 -x2756 -x2754 -x2752 -x2750 -x2748 -x2746 
84.27/84.38	v -x2744 -x2742 -x2740 -x2738 -x2736 -x2734 -x2732 -x2730 -x2728 -x2726 -x2724 -x2722 -x2720 -x2718 -x2716 -x2714 -x2712 -x2710 
84.27/84.38	v -x2708 -x2706 -x2704 -x2702 -x2700 -x2698 -x2696 -x2694 -x2692 -x2690 -x2688 -x2686 -x2684 -x2682 -x2680 -x2678 -x2676 -x2674 
84.27/84.38	v -x2672 -x2670 -x2668 -x2666 -x2664 -x2662 -x2660 -x2658 -x2656 -x2654 -x2652 -x2650 -x2648 -x2646 -x2644 -x2642 -x2640 -x2638 
84.27/84.38	v -x2636 -x2634 -x2632 -x2630 -x2628 -x2626 -x2624 -x2622 -x2620 -x2618 -x2616 -x2614 -x2612 -x2610 -x2608 -x2606 -x2604 -x2602 
84.27/84.38	v -x2600 -x2598 -x2596 -x2594 -x2592 -x2590 -x2588 -x2586 -x2584 -x2582 -x2580 -x2578 -x2576 -x2574 -x2572 -x2570 -x2568 -x2566 
84.27/84.38	v -x2564 -x2562 -x2560 -x2558 -x2556 -x2554 -x2552 -x2550 -x2548 -x2546 -x2544 -x2542 -x2540 -x2538 -x2536 -x2534 -x2532 -x2530 
84.27/84.38	v -x2528 -x2526 -x2524 -x2522 -x2520 -x2518 -x2516 -x2514 -x2512 -x2510 -x2508 -x2506 -x2504 -x2502 -x2500 -x2498 -x2496 
84.27/84.38	v -x2494 -x2492 -x2490 -x2488 -x2486 -x2484 -x2482 -x2480 -x2478 -x2476 -x2474 -x2472 -x2470 -x2468 -x2466 -x2464 -x2462 -x2460 
84.27/84.38	v -x2458 -x2456 -x2454 -x2452 -x2450 -x2448 -x2446 -x2444 -x2442 -x2440 -x2438 -x2436 -x2434 -x2432 -x2430 -x2428 -x2426 -x2424 
84.27/84.38	v -x2422 -x2420 -x2418 -x2416 -x2414 -x2412 -x2410 -x2408 -x2406 -x2404 -x2402 -x2400 -x2398 -x2396 -x2394 -x2392 -x2390 -x2388 
84.27/84.38	v -x2386 -x2384 -x2382 -x2380 -x2378 -x2376 -x2374 -x2372 -x2370 -x2368 -x2366 -x2364 -x2362 -x2360 -x2358 -x2356 -x2354 -x2352 
84.27/84.38	v -x2350 -x2348 -x2346 -x2344 -x2342 -x2340 -x2338 -x2336 -x2334 -x2332 -x2330 -x2328 -x2326 -x2324 -x2322 -x2320 -x2318 -x2316 
84.27/84.38	v -x2314 -x2312 -x2310 -x2308 -x2306 -x2304 -x2302 -x2300 -x2298 -x2296 -x2294 -x2292 -x2290 -x2288 -x2286 -x2284 -x2282 -x2280 
84.27/84.38	v -x2278 -x2276 -x2274 -x2272 -x2270 -x2268 -x2266 -x2264 -x2262 -x2260 -x2258 -x2256 -x2254 -x2252 -x2250 -x2248 -x2246 
84.27/84.38	v -x2244 -x2242 -x2240 -x2238 -x2236 -x2234 -x2232 -x2230 -x2228 -x2226 -x2224 -x2222 -x2220 -x2218 -x2216 -x2214 -x2212 -x2210 
84.27/84.39	v -x2208 -x2206 -x2204 -x2202 -x2200 -x2198 -x2196 -x2194 -x2192 -x2190 -x2188 -x2186 -x2184 -x2182 -x2180 -x2178 -x2176 -x2174 
84.27/84.39	v -x2172 -x2170 -x2168 -x2166 -x2164 -x2162 -x2160 -x2158 -x2156 -x2154 -x2152 -x2150 -x2148 -x2146 -x2144 -x2142 -x2140 -x2138 
84.27/84.39	v -x2136 -x2134 -x2132 -x2130 -x2128 -x2126 -x2124 -x2122 -x2120 -x2118 -x2116 -x2114 -x2112 -x2110 -x2108 -x2106 -x2104 -x2102 
84.27/84.39	v -x2100 -x2098 -x2096 -x2094 -x2092 -x2090 -x2088 -x2086 -x2084 -x2082 -x2080 -x2078 -x2076 -x2074 -x2072 -x2070 -x2068 x2066 
84.27/84.39	v -x2064 -x2062 -x2060 -x2058 -x2056 -x2054 -x2052 -x2050 -x2048 -x2046 -x2044 -x2042 -x2040 -x2038 -x2036 -x2034 -x2032 -x2030 
84.27/84.39	v -x2028 -x2026 -x2024 -x2022 -x2020 -x2018 -x2016 -x2014 -x2012 -x2010 -x2008 -x2006 -x2004 -x2002 -x2000 -x1998 -x1996 -x1994 
84.27/84.39	v -x1992 -x1990 -x1988 -x1986 -x1984 -x1982 -x1980 -x1978 -x1976 -x1974 -x1972 -x1970 -x1968 -x1966 -x1964 -x1962 -x1960 
84.27/84.39	v -x1958 -x1956 -x1954 -x1952 -x1950 -x1948 -x1946 -x1944 -x1942 -x1940 -x1938 -x1936 -x1934 -x1932 -x1930 -x1928 -x1926 -x1924 
84.27/84.39	v -x1922 -x1920 -x1918 -x1916 -x1914 -x1912 -x1910 -x1908 -x1906 -x1904 -x1902 -x1900 -x1898 -x1896 -x1894 -x1892 -x1890 -x1888 
84.27/84.39	v -x1886 -x1884 -x1882 -x1880 -x1878 -x1876 -x1874 -x1872 -x1870 -x1868 -x1866 -x1864 -x1862 -x1860 -x1858 -x1856 -x1854 -x1852 
84.27/84.39	v -x1850 -x1848 -x1846 -x1844 -x1842 -x1840 -x1838 -x1836 -x1834 -x1832 -x1830 -x1828 -x1826 -x1824 -x1822 -x1820 -x1818 -x1816 
84.27/84.39	v -x1814 -x1812 -x1811 -x1809 -x1807 -x1805 -x1803 -x1801 -x1799 -x1797 -x1795 -x1793 -x1791 -x1789 -x1787 -x1785 -x1783 -x1781 
84.27/84.39	v -x1779 -x1777 -x1775 -x1773 -x1771 -x1769 -x1767 -x1765 -x1763 -x1761 -x1759 -x1757 -x1755 -x1753 -x1751 -x1749 -x1747 -x1745 
84.27/84.39	v -x1743 -x1741 -x1739 -x1737 -x1735 -x1733 -x1731 -x1729 -x1727 -x1725 -x1723 -x1721 -x1719 -x1717 -x1715 -x1713 -x1711 
84.27/84.39	v -x1709 -x1707 -x1705 -x1703 -x1701 -x1699 -x1697 -x1695 -x1693 -x1691 -x1689 -x1687 -x1685 -x1683 -x1681 -x1679 -x1677 -x1675 
84.27/84.39	v -x1673 -x1671 -x1669 -x1667 -x1665 -x1663 -x1661 -x1659 -x1657 -x1655 -x1653 -x1651 -x1649 -x1647 -x1645 -x1643 -x1641 -x1639 
84.27/84.39	v -x1637 -x1635 -x1633 -x1631 -x1629 -x1627 -x1625 -x1623 -x1621 -x1619 -x1617 -x1615 -x1613 -x1611 -x1609 -x1607 -x1605 -x1603 
84.27/84.39	v -x1601 -x1599 -x1597 -x1595 -x1593 -x1591 x1589 -x1588 -x1586 -x1584 -x1582 -x1580 -x1578 -x1576 -x1574 -x1572 -x1570 -x1568 
84.27/84.39	v -x1566 -x1564 -x1562 -x1560 -x1558 -x1556 -x1554 -x1552 -x1550 -x1548 -x1546 -x1544 -x1542 -x1540 -x1538 -x1536 -x1534 -x1532 
84.27/84.39	v -x1530 -x1528 -x1526 -x1524 -x1522 -x1520 -x1518 -x1516 -x1514 -x1512 -x1510 -x1508 -x1506 -x1504 -x1502 -x1500 -x1498 -x1496 
84.27/84.39	v -x1494 -x1492 -x1490 -x1488 -x1486 -x1484 -x1482 -x1480 -x1478 -x1476 -x1474 -x1472 -x1470 -x1468 -x1466 -x1464 -x1462 -x1460 
84.27/84.39	v -x1458 -x1456 -x1454 -x1452 -x1450 -x1448 -x1446 -x1444 -x1442 -x1440 -x1438 -x1436 -x1434 -x1432 -x1430 -x1428 -x1426 
84.27/84.39	v -x1424 -x1422 -x1420 -x1418 -x1416 -x1414 -x1412 -x1410 -x1408 -x1406 -x1404 -x1402 -x1400 -x1398 -x1396 -x1394 -x1392 -x1390 
84.27/84.39	v -x1388 -x1386 -x1384 -x1382 -x1380 -x1378 -x1376 -x1374 -x1372 -x1370 -x1368 -x1366 -x1364 -x1362 -x1360 -x1358 -x1356 -x1354 
84.27/84.39	v -x1352 -x1350 -x1348 -x1346 -x1344 -x1342 -x1340 -x1338 -x1336 -x1334 -x1332 -x1330 -x1328 -x1326 -x1324 -x1322 -x1320 -x1318 
84.27/84.39	v -x1316 -x1314 -x1312 -x1310 -x1308 -x1306 -x1304 -x1302 -x1300 -x1298 -x1296 -x1294 -x1293 -x1291 -x1289 -x1287 -x1285 -x1283 
84.27/84.39	v -x1281 -x1279 -x1277 -x1275 -x1273 -x1271 -x1269 -x1267 -x1265 -x1263 -x1261 -x1259 -x1257 -x1255 -x1253 -x1251 -x1249 -x1247 
84.27/84.39	v -x1245 -x1243 -x1241 -x1239 -x1237 -x1235 -x1233 -x1231 -x1229 -x1227 -x1225 -x1223 -x1221 -x1219 -x1217 -x1215 -x1213 -x1211 
84.27/84.39	v -x1209 -x1207 -x1205 -x1203 -x1201 -x1199 -x1197 -x1195 -x1193 -x1191 -x1189 -x1187 -x1185 -x1183 -x1181 -x1179 -x1177 
84.27/84.39	v -x1175 -x1173 -x1171 -x1169 -x1167 -x1165 -x1163 -x1161 -x1159 -x1157 -x1155 -x1153 -x1151 -x1149 -x1147 -x1145 -x1143 -x1141 
84.27/84.39	v -x1139 -x1137 -x1135 -x1133 -x1131 -x1129 -x1127 -x1125 -x1123 -x1121 -x1119 -x1117 -x1115 -x1113 -x1111 -x1109 -x1107 -x1105 
84.27/84.39	v -x1103 -x1101 -x1099 -x1097 -x1095 -x1093 -x1091 -x1089 -x1087 -x1085 -x1083 -x1081 -x1079 -x1077 -x1075 -x1073 -x1071 -x1069 
84.27/84.39	v -x1067 -x1065 -x1063 -x1061 -x1059 -x1057 -x1055 -x1053 -x1051 -x1049 -x1047 -x1045 -x1043 -x1041 -x1039 -x1037 -x1035 -x1033 
84.27/84.39	v -x1031 -x1029 -x1027 -x1025 -x1023 -x1021 -x1019 -x1017 -x1015 -x1013 -x1011 -x1009 -x1007 -x1005 -x1003 -x1001 -x999 -x997 
84.27/84.39	v -x995 -x993 -x991 -x989 -x987 -x985 -x983 -x981 -x979 -x977 -x975 -x973 -x971 -x969 -x967 -x965 -x963 -x961 -x959 -x957 -x955 
84.27/84.39	v -x953 -x951 -x949 -x947 -x945 -x943 -x941 -x939 -x937 -x935 -x933 -x931 -x929 -x927 -x925 -x923 -x921 -x919 -x917 -x915 -x913 
84.27/84.39	v -x911 -x909 -x907 -x905 -x903 -x901 -x899 -x897 -x895 -x893 -x891 -x889 -x887 -x885 -x883 -x881 -x879 -x877 -x875 -x873 
84.27/84.39	v -x871 -x869 -x867 -x865 -x863 -x861 -x859 -x857 -x855 -x853 -x851 -x849 -x847 -x845 -x843 -x841 -x839 -x837 -x835 -x833 -x831 
84.27/84.39	v -x829 -x827 -x825 -x823 -x821 -x819 -x817 -x815 -x813 -x811 -x809 -x807 -x805 -x803 -x801 -x799 -x797 -x795 -x793 -x791 -x789 
84.27/84.39	v -x787 -x785 -x783 -x781 -x779 -x777 -x775 -x773 -x771 -x769 -x767 -x765 -x763 -x761 -x759 -x757 -x755 -x753 -x751 -x749 -x747 
84.27/84.39	v -x745 -x743 -x741 -x739 -x737 -x735 -x733 -x731 -x729 -x727 -x725 -x723 -x721 -x719 -x717 -x715 -x713 -x711 -x709 -x707 -x705 
84.27/84.39	v -x703 -x701 -x699 -x697 -x695 -x693 -x691 -x689 -x687 -x685 -x683 -x681 -x679 -x677 -x675 -x673 -x671 -x669 -x667 -x665 -x663 
84.27/84.39	v -x661 -x659 -x657 -x655 -x653 -x651 -x649 -x647 -x645 -x643 -x641 -x639 -x637 -x635 -x633 -x631 -x629 -x627 -x625 -x623 
84.27/84.39	v -x621 -x619 -x617 -x615 -x613 -x611 -x609 -x607 -x605 -x603 -x601 -x599 -x597 -x595 -x593 -x591 -x589 -x587 -x585 -x583 -x582 
84.27/84.39	v -x580 -x578 -x576 -x574 -x572 -x570 -x568 -x566 -x564 -x562 -x560 -x558 -x556 -x554 -x552 -x550 -x548 -x546 -x544 -x542 -x540 
84.27/84.39	v -x538 -x536 -x534 -x532 -x530 -x528 -x526 -x524 -x522 -x520 -x518 -x516 -x514 -x512 -x510 -x508 -x506 -x504 -x502 -x500 -x498 
84.27/84.39	v -x496 -x494 -x492 -x490 -x488 -x486 -x484 -x482 -x480 -x478 -x476 -x474 -x472 -x470 -x468 -x466 -x464 -x462 -x460 -x458 -x456 
84.27/84.39	v -x454 -x452 -x450 -x448 -x446 -x444 -x442 -x440 -x438 -x436 -x434 -x432 -x430 -x428 -x426 -x424 -x422 -x420 -x418 -x416 -x414 
84.27/84.39	v -x412 -x410 -x408 -x406 -x404 -x402 -x400 -x398 -x396 -x394 -x392 -x390 -x388 -x386 -x384 -x382 -x380 -x378 -x376 -x374 
84.27/84.39	v -x372 -x370 -x368 -x366 -x364 -x362 -x360 -x358 -x356 -x354 -x352 -x350 -x348 -x346 -x344 -x342 -x340 -x338 -x336 -x334 -x332 
84.27/84.39	v -x330 -x328 -x326 -x324 -x322 -x320 -x318 -x316 -x314 -x312 -x310 -x308 -x306 -x304 -x302 -x300 -x298 -x296 -x294 -x292 -x290 
84.27/84.39	v -x288 -x286 -x284 -x282 -x280 -x278 -x276 -x274 -x272 -x270 -x268 -x266 -x264 x262 -x260 -x258 
84.27/84.39	c SCIP Status        : problem is solved [optimal solution found]
84.27/84.39	c Solving Time       :      83.39
84.27/84.39	c Original Problem   :
84.27/84.39	c   Problem name     : HOME/instance-1869659-1245182252.opb
84.27/84.39	c   Variables        : 8805 (8805 binary, 0 integer, 0 implicit integer, 0 continuous)
84.27/84.39	c   Constraints      : 27496 initial, 27496 maximal
84.27/84.39	c Presolved Problem  :
84.27/84.39	c   Problem name     : t_HOME/instance-1869659-1245182252.opb
84.27/84.39	c   Variables        : 69 (69 binary, 0 integer, 0 implicit integer, 0 continuous)
84.27/84.39	c   Constraints      : 117 initial, 117 maximal
84.27/84.39	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
84.27/84.39	c   trivial          :       0.02       3750          0          0          0          0          0          0          0
84.27/84.39	c   dualfix          :       0.00          6          0          0          0          0          0          0          0
84.27/84.39	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
84.27/84.39	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
84.27/84.39	c   implics          :       0.00          0         18          0          0          0          0          0          0
84.27/84.39	c   probing          :       0.13          0          0          0          0          0          0          0          0
84.27/84.39	c   knapsack         :       0.25          0          0          0          0          0          0          1         89
84.27/84.39	c   setppc           :       0.01          0          0          0          0          0          4          0          0
84.27/84.39	c   linear           :       0.28        682       4267          0        682          0      11909          2          2
84.27/84.39	c   logicor          :       0.26         13          0          0          3          0      11752          0          0
84.27/84.39	c   root node        :          -       3747          -          -       3747          -          -          -          -
84.27/84.39	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
84.27/84.39	c   integral         :          0          0          0         36          0          0        151          0          0          0
84.27/84.39	c   knapsack         :         12          7         55          0          0          0          0          1          0          0
84.27/84.39	c   setppc           :          5          7         55          0          0          0          2          0          0          0
84.27/84.39	c   logicor          :        100         18        248          4          0          0        543          0          0          0
84.27/84.39	c   countsols        :          0          0          0          4          0          0          0          0          0          0
84.27/84.39	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
84.27/84.39	c   integral         :      34.34       0.00       0.00      34.34       0.00
84.27/84.39	c   knapsack         :       0.01       0.01       0.00       0.00       0.00
84.27/84.39	c   setppc           :       0.00       0.00       0.00       0.00       0.00
84.27/84.39	c   logicor          :       0.12       0.08       0.04       0.00       0.00
84.27/84.39	c   countsols        :       0.00       0.00       0.00       0.00       0.00
84.27/84.39	c Propagators        :       Time      Calls    Cutoffs    DomReds
84.27/84.39	c   rootredcost      :       0.00          0          0          0
84.27/84.39	c   pseudoobj        :       0.00        105          0          0
84.27/84.39	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
84.27/84.39	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
84.27/84.39	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
84.27/84.39	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
84.27/84.39	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
84.27/84.39	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
84.27/84.39	c   applied globally :          -          -          -          0        0.0          -          -          -
84.27/84.39	c   applied locally  :          -          -          -          0        0.0          -          -          -
84.27/84.39	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
84.27/84.39	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
84.27/84.39	c   redcost          :       0.01         18          0       3051          0          0
84.27/84.39	c   impliedbounds    :       0.00         15          0          0          0          0
84.27/84.39	c   intobj           :       0.00          0          0          0          0          0
84.27/84.39	c   gomory           :      22.73         18          0          0       1656          0
84.27/84.39	c   strongcg         :      15.78         18          0          0       3987          0
84.27/84.39	c   cmir             :       2.89         17          0          0          1          0
84.27/84.39	c   flowcover        :       3.12         17          0          0          2          0
84.27/84.39	c   clique           :       0.03         18          0          0         58          0
84.27/84.39	c   zerohalf         :       0.00          0          0          0          0          0
84.27/84.39	c   mcf              :       0.04          8          0          0          0          0
84.27/84.39	c Pricers            :       Time      Calls       Vars
84.27/84.39	c   problem variables:       0.00          0          0
84.27/84.39	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
84.27/84.39	c   relpscost        :      34.34         32          0        151          0          0          0
84.27/84.39	c   pscost           :       0.00          0          0          0          0          0          0
84.27/84.39	c   inference        :       0.00          0          0          0          0          0          0
84.27/84.39	c   mostinf          :       0.00          0          0          0          0          0          0
84.27/84.39	c   leastinf         :       0.00          0          0          0          0          0          0
84.27/84.39	c   fullstrong       :       0.00          0          0          0          0          0          0
84.27/84.39	c   allfullstrong    :       0.00          0          0          0          0          0          0
84.27/84.39	c   random           :       0.00          0          0          0          0          0          0
84.27/84.39	c Primal Heuristics  :       Time      Calls      Found
84.27/84.39	c   LP solutions     :       0.00          -          1
84.27/84.39	c   pseudo solutions :       0.00          -          0
84.27/84.39	c   simplerounding   :       0.00          0          0
84.27/84.39	c   rounding         :       0.08         45          2
84.27/84.39	c   shifting         :       0.04         45          2
84.27/84.39	c   intshifting      :       0.00          0          0
84.27/84.39	c   oneopt           :       0.01          1          0
84.27/84.39	c   fixandinfer      :       0.00          0          0
84.27/84.39	c   feaspump         :       0.00          0          0
84.27/84.39	c   coefdiving       :       0.00          0          0
84.27/84.39	c   pscostdiving     :       0.00          0          0
84.27/84.39	c   fracdiving       :       0.00          0          0
84.27/84.39	c   veclendiving     :       0.00          0          0
84.27/84.39	c   intdiving        :       0.00          0          0
84.27/84.39	c   actconsdiving    :       0.00          0          0
84.27/84.39	c   objpscostdiving  :       0.00          0          0
84.27/84.39	c   rootsoldiving    :       0.00          0          0
84.27/84.39	c   linesearchdiving :       0.00          0          0
84.27/84.39	c   guideddiving     :       0.00          0          0
84.27/84.39	c   octane           :       0.00          0          0
84.27/84.39	c   rens             :       0.31          1          1
84.27/84.39	c   rins             :       0.00          0          0
84.27/84.39	c   localbranching   :       0.00          0          0
84.27/84.39	c   mutation         :       0.00          0          0
84.27/84.39	c   crossover        :       0.00          0          0
84.27/84.39	c   dins             :       0.00          0          0
84.27/84.39	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
84.27/84.39	c   primal LP        :       0.16          0          0       0.00       0.00
84.27/84.39	c   dual LP          :       2.29         49       5102     104.12    2227.95
84.27/84.39	c   barrier LP       :       0.00          0          0       0.00          -
84.27/84.39	c   diving/probing LP:       0.00          0          0       0.00          -
84.27/84.39	c   strong branching :      34.32        326      79677     244.41    2321.59
84.27/84.39	c     (at root node) :          -        326      79677     244.41          -
84.27/84.39	c   conflict analysis:       0.00          0          0       0.00          -
84.27/84.39	c B&B Tree           :
84.27/84.39	c   number of runs   :          8
84.27/84.39	c   nodes            :          1
84.27/84.39	c   nodes (total)    :          8
84.27/84.39	c   nodes left       :          0
84.27/84.39	c   max depth        :          0
84.27/84.39	c   max depth (total):          0
84.27/84.39	c   backtracks       :          0 (0.0%)
84.27/84.39	c   delayed cutoffs  :          0
84.27/84.39	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
84.27/84.39	c   avg switch length:       2.00
84.27/84.39	c   switching time   :       0.00
84.27/84.39	c Solution           :
84.27/84.39	c   Solutions found  :          6 (4 improvements)
84.27/84.39	c   Primal Bound     : +2.50000000000000e+01   (in run 8, after 1 nodes, 83.39 seconds, depth 0, found by <relaxation>)
84.27/84.39	c   Dual Bound       : +2.50000000000000e+01
84.27/84.39	c   Gap              :       0.00 %
84.27/84.39	c   Root Dual Bound  : +2.50000000000000e+01
84.35/84.46	c Time complete: 84.42.

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-1869659-1245182252/watcher-1869659-1245182252 -o /tmp/evaluation-result-1869659-1245182252/solver-1869659-1245182252 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869659-1245182252.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


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

[startup+0.070993 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5434
/proc/meminfo: memFree=1891128/2055920 swapFree=4191900/4192956
[pid=5434] ppid=5432 vsize=18460 CPUtime=0.06
/proc/5434/stat : 5434 (pbscip.linux.x8) R 5432 5434 5132 0 -1 4194304 3612 0 0 0 5 1 0 0 18 0 1 0 185826117 18903040 3596 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0
/proc/5434/statm: 4615 3596 378 1256 0 3354 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 18460

[startup+0.102995 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5434
/proc/meminfo: memFree=1891128/2055920 swapFree=4191900/4192956
[pid=5434] ppid=5432 vsize=19196 CPUtime=0.09
/proc/5434/stat : 5434 (pbscip.linux.x8) R 5432 5434 5132 0 -1 4194304 3805 0 0 0 8 1 0 0 18 0 1 0 185826117 19656704 3789 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/5434/statm: 4799 3789 378 1256 0 3538 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19196

[startup+0.302012 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5434
/proc/meminfo: memFree=1891128/2055920 swapFree=4191900/4192956
[pid=5434] ppid=5432 vsize=24772 CPUtime=0.29
/proc/5434/stat : 5434 (pbscip.linux.x8) R 5432 5434 5132 0 -1 4194304 5183 0 0 0 27 2 0 0 19 0 1 0 185826117 25366528 5167 1992294400 4194304 9342243 548682068736 18446744073709551615 8247758 0 0 4096 0 0 0 0 17 1 0 0
/proc/5434/statm: 6193 5167 378 1256 0 4932 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24772

[startup+0.70105 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5434
/proc/meminfo: memFree=1891128/2055920 swapFree=4191900/4192956
[pid=5434] ppid=5432 vsize=57372 CPUtime=0.69
/proc/5434/stat : 5434 (pbscip.linux.x8) R 5432 5434 5132 0 -1 4194304 13484 0 0 0 63 6 0 0 22 0 1 0 185826117 58748928 13094 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5434/statm: 14343 13094 468 1256 0 13082 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 57372

[startup+1.50112 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5435
/proc/meminfo: memFree=1832880/2055920 swapFree=4191900/4192956
[pid=5434] ppid=5432 vsize=86496 CPUtime=1.49
/proc/5434/stat : 5434 (pbscip.linux.x8) R 5432 5434 5132 0 -1 4194304 19599 0 0 0 136 13 0 0 25 0 1 0 185826117 88571904 19104 1992294400 4194304 9342243 548682068736 18446744073709551615 6968236 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5434/statm: 21624 19104 615 1256 0 20363 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 86496

[startup+3.10127 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5435
/proc/meminfo: memFree=1807792/2055920 swapFree=4191900/4192956
[pid=5434] ppid=5432 vsize=99312 CPUtime=3.09
/proc/5434/stat : 5434 (pbscip.linux.x8) R 5432 5434 5132 0 -1 4194304 23564 0 0 0 293 16 0 0 25 0 1 0 185826117 101695488 22814 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5434/statm: 24828 22814 658 1256 0 23567 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 99312

[startup+6.30157 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5435
/proc/meminfo: memFree=1799408/2055920 swapFree=4191900/4192956
[pid=5434] ppid=5432 vsize=106904 CPUtime=6.29
/proc/5434/stat : 5434 (pbscip.linux.x8) R 5432 5434 5132 0 -1 4194304 25506 0 0 0 609 20 0 0 25 0 1 0 185826117 109469696 24756 1992294400 4194304 9342243 548682068736 18446744073709551615 6938963 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5434/statm: 26726 24756 658 1256 0 25465 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 106904

[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5435
/proc/meminfo: memFree=1786288/2055920 swapFree=4191900/4192956
[pid=5434] ppid=5432 vsize=115720 CPUtime=12.69
/proc/5434/stat : 5434 (pbscip.linux.x8) R 5432 5434 5132 0 -1 4194304 27519 0 0 0 1245 24 0 0 25 0 1 0 185826117 118497280 26769 1992294400 4194304 9342243 548682068736 18446744073709551615 4338438 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5434/statm: 28930 26769 658 1256 0 27669 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 115720

[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5435
/proc/meminfo: memFree=1783792/2055920 swapFree=4191900/4192956
[pid=5434] ppid=5432 vsize=116304 CPUtime=25.48
/proc/5434/stat : 5434 (pbscip.linux.x8) R 5432 5434 5132 0 -1 4194304 28139 0 0 0 2518 30 0 0 25 0 1 0 185826117 119095296 27384 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5434/statm: 29076 27384 658 1256 0 27815 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 116304

[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5435
/proc/meminfo: memFree=1781296/2055920 swapFree=4191900/4192956
[pid=5434] ppid=5432 vsize=116880 CPUtime=51.07
/proc/5434/stat : 5434 (pbscip.linux.x8) R 5432 5434 5132 0 -1 4194304 35530 0 0 0 5064 43 0 0 25 0 1 0 185826117 119685120 28048 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5434/statm: 29220 28048 699 1256 0 27959 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 116880

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

[startup+63.9019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5435
/proc/meminfo: memFree=1781296/2055920 swapFree=4191900/4192956
[pid=5434] ppid=5432 vsize=116880 CPUtime=63.88
/proc/5434/stat : 5434 (pbscip.linux.x8) R 5432 5434 5132 0 -1 4194304 35573 0 0 0 6341 47 0 0 25 0 1 0 185826117 119685120 28067 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5434/statm: 29220 28067 701 1256 0 27959 0
Current children cumulated CPU time (s) 63.88
Current children cumulated vsize (KiB) 116880

[startup+76.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5435
/proc/meminfo: memFree=1781296/2055920 swapFree=4191900/4192956
[pid=5434] ppid=5432 vsize=116880 CPUtime=76.67
/proc/5434/stat : 5434 (pbscip.linux.x8) R 5432 5434 5132 0 -1 4194304 35573 0 0 0 7618 49 0 0 25 0 1 0 185826117 119685120 28067 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5434/statm: 29220 28067 701 1256 0 27959 0
Current children cumulated CPU time (s) 76.67
Current children cumulated vsize (KiB) 116880

[startup+79.9014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5435
/proc/meminfo: memFree=1781296/2055920 swapFree=4191900/4192956
[pid=5434] ppid=5432 vsize=116880 CPUtime=79.87
/proc/5434/stat : 5434 (pbscip.linux.x8) R 5432 5434 5132 0 -1 4194304 35573 0 0 0 7937 50 0 0 25 0 1 0 185826117 119685120 28067 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5434/statm: 29220 28067 701 1256 0 27959 0
Current children cumulated CPU time (s) 79.87
Current children cumulated vsize (KiB) 116880

[startup+81.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5435
/proc/meminfo: memFree=1781232/2055920 swapFree=4191900/4192956
[pid=5434] ppid=5432 vsize=116880 CPUtime=81.47
/proc/5434/stat : 5434 (pbscip.linux.x8) R 5432 5434 5132 0 -1 4194304 35573 0 0 0 8097 50 0 0 25 0 1 0 185826117 119685120 28067 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5434/statm: 29220 28067 701 1256 0 27959 0
Current children cumulated CPU time (s) 81.47
Current children cumulated vsize (KiB) 116880

[startup+83.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5435
/proc/meminfo: memFree=1781232/2055920 swapFree=4191900/4192956
[pid=5434] ppid=5432 vsize=116880 CPUtime=83.06
/proc/5434/stat : 5434 (pbscip.linux.x8) R 5432 5434 5132 0 -1 4194304 35573 0 0 0 8255 51 0 0 25 0 1 0 185826117 119685120 28067 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5434/statm: 29220 28067 701 1256 0 27959 0
Current children cumulated CPU time (s) 83.06
Current children cumulated vsize (KiB) 116880

[startup+83.9018 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5435
/proc/meminfo: memFree=1781232/2055920 swapFree=4191900/4192956
[pid=5434] ppid=5432 vsize=116880 CPUtime=83.87
/proc/5434/stat : 5434 (pbscip.linux.x8) R 5432 5434 5132 0 -1 4194304 35573 0 0 0 8335 52 0 0 25 0 1 0 185826117 119685120 28067 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5434/statm: 29220 28067 701 1256 0 27959 0
Current children cumulated CPU time (s) 83.87
Current children cumulated vsize (KiB) 116880

[startup+84.3018 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5435
/proc/meminfo: memFree=1781232/2055920 swapFree=4191900/4192956
[pid=5434] ppid=5432 vsize=116880 CPUtime=84.27
/proc/5434/stat : 5434 (pbscip.linux.x8) R 5432 5434 5132 0 -1 4194304 35573 0 0 0 8374 53 0 0 25 0 1 0 185826117 119685120 28067 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5434/statm: 29220 28067 701 1256 0 27959 0
Current children cumulated CPU time (s) 84.27
Current children cumulated vsize (KiB) 116880

[startup+84.4018 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5435
/proc/meminfo: memFree=1781232/2055920 swapFree=4191900/4192956
[pid=5434] ppid=5432 vsize=116880 CPUtime=84.35
/proc/5434/stat : 5434 (pbscip.linux.x8) R 5432 5434 5132 0 -1 4194304 35574 0 0 0 8382 53 0 0 25 0 1 0 185826117 119685120 28068 1992294400 4194304 9342243 548682068736 18446744073709551615 4240638 0 0 4096 0 0 0 0 17 1 0 0
/proc/5434/statm: 29220 28068 702 1256 0 27959 0
Current children cumulated CPU time (s) 84.35
Current children cumulated vsize (KiB) 116880

Child status: 0
Real time (s): 84.4667
CPU time (s): 84.4282
CPU user time (s): 83.8732
CPU system time (s): 0.554915
CPU usage (%): 99.9544
Max. virtual memory (cumulated for all children) (KiB): 146088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 83.8732
system time used= 0.554915
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35577
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= 15
involuntary context switches= 372

runsolver used 0.071989 second user time and 0.204968 second system time

The end

Launcher Data 

Begin job on node14 at 2009-06-16 21:57:32
IDJOB=1869659
IDBENCH=24992
IDSOLVER=684
FILE ID=node14/1869659-1245182252
PBS_JOBID= 9363914
Free space on /tmp= 66372 MiB

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

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

MD5SUM BENCH= 1b0ac127de7b79f6251c1506cbcbe6c3
RANDOM SEED=616969692

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1891608 kB
Buffers:         42408 kB
Cached:          66888 kB
SwapCached:        388 kB
Active:          57960 kB
Inactive:        64788 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1891608 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:           12536 kB
Writeback:           0 kB
Mapped:          21800 kB
Slab:            27552 kB
Committed_AS:   181732 kB
PageTables:       1452 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66364 MiB
End job on node14 at 2009-06-16 21:58:56