Trace number 3735576

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB11: SCIP spx E_2 2011-06-10 (fixed)OPT24 34.5447 34.5527

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_021_area_delay.opb
MD5SUM5c1765191809ee7ecd7781ce5c7fb9aa
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark3.79742
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved YES
Number of variables9333
Total number of constraints28773
Number of constraints which are clauses28773
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 4585
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 4585
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 4585
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

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

Verifier Data

OK	24

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3735576-1338719375/watcher-3735576-1338719375 -o /tmp/evaluation-result-3735576-1338719375/solver-3735576-1338719375 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3735576-1338719375.opb -t 1800 -m 15500 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15362
/proc/meminfo: memFree=27138916/32873844 swapFree=7632/7632
[pid=15362] ppid=15360 vsize=9588 CPUtime=0 cores=1,3,5,7
/proc/15362/stat : 15362 (scip-2.0.1.4b_2) R 15360 15362 12480 0 -1 4202496 1507 0 0 0 0 0 0 0 20 0 1 0 338061813 9818112 1461 33554432000 4194304 9016284 140733481699920 140736608116728 7824814 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15362/statm: 2397 1462 311 1178 0 1215 0

[startup+0.065424 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15362
/proc/meminfo: memFree=27138916/32873844 swapFree=7632/7632
[pid=15362] ppid=15360 vsize=23440 CPUtime=0.05 cores=1,3,5,7
/proc/15362/stat : 15362 (scip-2.0.1.4b_2) R 15360 15362 12480 0 -1 4202496 4865 0 0 0 5 0 0 0 20 0 1 0 338061813 24002560 4819 33554432000 4194304 9016284 140733481699920 140736608116728 7829200 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15362/statm: 5860 4819 360 1178 0 4678 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 23440

[startup+0.100345 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15362
/proc/meminfo: memFree=27138916/32873844 swapFree=7632/7632
[pid=15362] ppid=15360 vsize=25992 CPUtime=0.08 cores=1,3,5,7
/proc/15362/stat : 15362 (scip-2.0.1.4b_2) R 15360 15362 12480 0 -1 4202496 5509 0 0 0 8 0 0 0 20 0 1 0 338061813 26615808 5463 33554432000 4194304 9016284 140733481699920 140736608116728 4536486 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15362/statm: 6498 5463 360 1178 0 5316 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 25992

[startup+0.300309 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15362
/proc/meminfo: memFree=27138916/32873844 swapFree=7632/7632
[pid=15362] ppid=15360 vsize=64020 CPUtime=0.29 cores=1,3,5,7
/proc/15362/stat : 15362 (scip-2.0.1.4b_2) R 15360 15362 12480 0 -1 4202496 14597 0 0 0 27 2 0 0 20 0 1 0 338061813 65556480 14551 33554432000 4194304 9016284 140733481699920 140736608116728 6816944 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15362/statm: 16005 14551 484 1178 0 14823 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 64020

[startup+0.700315 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15362
/proc/meminfo: memFree=27138916/32873844 swapFree=7632/7632
[pid=15362] ppid=15360 vsize=97364 CPUtime=0.69 cores=1,3,5,7
/proc/15362/stat : 15362 (scip-2.0.1.4b_2) R 15360 15362 12480 0 -1 4202496 23627 0 0 0 66 3 0 0 20 0 1 0 338061813 99700736 22295 33554432000 4194304 9016284 140733481699920 140733481695736 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15362/statm: 24341 22295 636 1178 0 23159 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 97364

[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15363
/proc/meminfo: memFree=27047760/32873844 swapFree=7632/7632
[pid=15362] ppid=15360 vsize=108408 CPUtime=1.49 cores=1,3,5,7
/proc/15362/stat : 15362 (scip-2.0.1.4b_2) R 15360 15362 12480 0 -1 4202496 26916 0 0 0 145 4 0 0 20 0 1 0 338061813 111009792 25326 33554432000 4194304 9016284 140733481699920 140733481695736 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15362/statm: 27102 25326 673 1178 0 25920 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 108408

[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15363
/proc/meminfo: memFree=27040444/32873844 swapFree=7632/7632
[pid=15362] ppid=15360 vsize=108408 CPUtime=3.09 cores=1,3,5,7
/proc/15362/stat : 15362 (scip-2.0.1.4b_2) R 15360 15362 12480 0 -1 4202496 27078 0 0 0 305 4 0 0 20 0 1 0 338061813 111009792 25488 33554432000 4194304 9016284 140733481699920 140733481695080 6272167 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15362/statm: 27102 25488 673 1178 0 25920 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 108408

[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15363
/proc/meminfo: memFree=27032012/32873844 swapFree=7632/7632
[pid=15362] ppid=15360 vsize=116224 CPUtime=6.29 cores=1,3,5,7
/proc/15362/stat : 15362 (scip-2.0.1.4b_2) R 15360 15362 12480 0 -1 4202496 29000 0 0 0 623 6 0 0 20 0 1 0 338061813 119013376 27410 33554432000 4194304 9016284 140733481699920 140733481694984 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15362/statm: 29056 27410 673 1178 0 27874 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 116224

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15363
/proc/meminfo: memFree=27031408/32873844 swapFree=7632/7632
[pid=15362] ppid=15360 vsize=117020 CPUtime=12.69 cores=1,3,5,7
/proc/15362/stat : 15362 (scip-2.0.1.4b_2) R 15360 15362 12480 0 -1 4202496 29257 0 0 0 1261 8 0 0 20 0 1 0 338061813 119828480 27667 33554432000 4194304 9016284 140733481699920 140733481695032 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15362/statm: 29255 27667 673 1178 0 28073 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 117020

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15363
/proc/meminfo: memFree=27026020/32873844 swapFree=7632/7632
[pid=15362] ppid=15360 vsize=122564 CPUtime=25.49 cores=1,3,5,7
/proc/15362/stat : 15362 (scip-2.0.1.4b_2) R 15360 15362 12480 0 -1 4202496 30235 0 0 0 2537 12 0 0 20 0 1 0 338061813 125505536 29156 33554432000 4194304 9016284 140733481699920 140733481695032 6578058 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15362/statm: 30641 29156 673 1178 0 29459 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 122564

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

[startup+28.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15366
/proc/meminfo: memFree=27024880/32873844 swapFree=7632/7632
[pid=15362] ppid=15360 vsize=122564 CPUtime=28.69 cores=1,3,5,7
/proc/15362/stat : 15362 (scip-2.0.1.4b_2) R 15360 15362 12480 0 -1 4202496 37895 0 0 0 2854 15 0 0 20 0 1 0 338061813 125505536 29291 33554432000 4194304 9016284 140733481699920 140733481695080 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15362/statm: 30641 29291 697 1178 0 29459 0
Current children cumulated CPU time (s) 28.69
Current children cumulated vsize (KiB) 122564

[startup+31.9063 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15366
/proc/meminfo: memFree=27024896/32873844 swapFree=7632/7632
[pid=15362] ppid=15360 vsize=122564 CPUtime=31.89 cores=1,3,5,7
/proc/15362/stat : 15362 (scip-2.0.1.4b_2) R 15360 15362 12480 0 -1 4202496 37897 0 0 0 3171 18 0 0 20 0 1 0 338061813 125505536 29293 33554432000 4194304 9016284 140733481699920 140733481693768 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15362/statm: 30641 29293 698 1178 0 29459 0
Current children cumulated CPU time (s) 31.89
Current children cumulated vsize (KiB) 122564

[startup+33.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15366
/proc/meminfo: memFree=27016588/32873844 swapFree=7632/7632
[pid=15362] ppid=15360 vsize=131400 CPUtime=33.48 cores=1,3,5,7
/proc/15362/stat : 15362 (scip-2.0.1.4b_2) R 15360 15362 12480 0 -1 4202496 42727 0 0 0 3328 20 0 0 20 0 1 0 338061813 134553600 31498 33554432000 4194304 9016284 140733481699920 140733481693672 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15362/statm: 32850 31498 715 1178 0 31668 0
Current children cumulated CPU time (s) 33.48
Current children cumulated vsize (KiB) 131400

[startup+34.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15366
/proc/meminfo: memFree=27016588/32873844 swapFree=7632/7632
[pid=15362] ppid=15360 vsize=142156 CPUtime=34.28 cores=1,3,5,7
/proc/15362/stat : 15362 (scip-2.0.1.4b_2) R 15360 15362 12480 0 -1 4202496 43650 0 0 0 3407 21 0 0 20 0 1 0 338061813 145567744 34340 33554432000 4194304 9016284 140733481699920 140733481693768 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15362/statm: 35539 34340 715 1178 0 34357 0
Current children cumulated CPU time (s) 34.28
Current children cumulated vsize (KiB) 142156

[startup+34.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15366
/proc/meminfo: memFree=27016588/32873844 swapFree=7632/7632
[pid=15362] ppid=15360 vsize=135124 CPUtime=34.48 cores=1,3,5,7
/proc/15362/stat : 15362 (scip-2.0.1.4b_2) R 15360 15362 12480 0 -1 4202496 43671 0 0 0 3427 21 0 0 20 0 1 0 338061813 138366976 32621 33554432000 4194304 9016284 140733481699920 140733481693768 4786429 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15362/statm: 33781 32621 715 1178 0 32599 0
Current children cumulated CPU time (s) 34.48
Current children cumulated vsize (KiB) 135124

Child status: 0
Real time (s): 34.5527
CPU time (s): 34.5447
CPU user time (s): 34.3188
CPU system time (s): 0.225965
CPU usage (%): 99.9769
Max. virtual memory (cumulated for all children) (KiB): 154204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 34.3188
system time used= 0.225965
maximum resident set size= 147256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43678
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= 4
involuntary context switches= 36

runsolver used 0.039993 second user time and 0.153976 second system time

The end

Launcher Data

Begin job on node141 at 2012-06-03 12:29:35
IDJOB=3735576
IDBENCH=24975
IDSOLVER=2329
FILE ID=node141/3735576-1338719375
RUNJOBID= node141-1338702880-12497
PBS_JOBID= 14636716
Free space on /tmp= 70664 MiB

SOLVER NAME= PB11: SCIP spx E_2 2011-06-10 (fixed)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_021_area_delay.opb
COMMAND LINE= HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3735576-1338719375/watcher-3735576-1338719375 -o /tmp/evaluation-result-3735576-1338719375/solver-3735576-1338719375 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3735576-1338719375.opb -t 1800 -m 15500

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 5c1765191809ee7ecd7781ce5c7fb9aa
RANDOM SEED=1052078166

node141.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.744
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.744
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.744
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.744
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.744
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.744
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.744
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.744
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27139560 kB
Buffers:          412892 kB
Cached:          3251108 kB
SwapCached:          216 kB
Active:          2501212 kB
Inactive:        2338656 kB
Active(anon):    1166580 kB
Inactive(anon):    11288 kB
Active(file):    1334632 kB
Inactive(file):  2327368 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67108640 kB
Dirty:             17484 kB
Writeback:             0 kB
AnonPages:       1180388 kB
Mapped:            13488 kB
Shmem:               172 kB
Slab:             740624 kB
SReclaimable:     183036 kB
SUnreclaim:       557588 kB
KernelStack:        1480 kB
PageTables:         7104 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1313656 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    962560 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70644 MiB
End job on node141 at 2012-06-03 12:30:09