Trace number 3450769

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
SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4OPT24 37.6393 37.6423

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

Verifier Data

OK	24

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3450769-1307099262/watcher-3450769-1307099262 -o /tmp/evaluation-result-3450769-1307099262/solver-3450769-1307099262 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450769-1307099262.opb -t 1800 -m 15500 

running on 4 cores: 0,2,4,6

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.02 2.00 2/441 10448
/proc/meminfo: memFree=31426104/32950928 swapFree=34365992/67111528
[pid=10448] ppid=10446 vsize=13016 CPUtime=0 cores=0,2,4,6
/proc/10448/stat : 10448 (scip-2.0.1.4b.l) R 10446 10448 10081 0 -1 4202496 2246 0 0 0 0 0 0 0 25 0 1 0 821524956 13328384 2198 33554432000 4194304 9163163 140735174982256 18446744073709551615 8013931 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10448/statm: 3254 2199 389 1214 0 2036 0

[startup+0.0842709 s]
/proc/loadavg: 2.00 2.02 2.00 2/441 10448
/proc/meminfo: memFree=31426104/32950928 swapFree=34365992/67111528
[pid=10448] ppid=10446 vsize=24556 CPUtime=0.07 cores=0,2,4,6
/proc/10448/stat : 10448 (scip-2.0.1.4b.l) R 10446 10448 10081 0 -1 4202496 5128 0 0 0 7 0 0 0 25 0 1 0 821524956 25145344 5080 33554432000 4194304 9163163 140735174982256 18446744073709551615 8041864 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10448/statm: 6139 5080 395 1214 0 4921 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 24556

[startup+0.101201 s]
/proc/loadavg: 2.00 2.02 2.00 2/441 10448
/proc/meminfo: memFree=31426104/32950928 swapFree=34365992/67111528
[pid=10448] ppid=10446 vsize=25716 CPUtime=0.09 cores=0,2,4,6
/proc/10448/stat : 10448 (scip-2.0.1.4b.l) R 10446 10448 10081 0 -1 4202496 5442 0 0 0 9 0 0 0 25 0 1 0 821524956 26333184 5394 33554432000 4194304 9163163 140735174982256 18446744073709551615 8041874 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10448/statm: 6429 5394 395 1214 0 5211 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25716

[startup+0.300213 s]
/proc/loadavg: 2.00 2.02 2.00 2/441 10448
/proc/meminfo: memFree=31426104/32950928 swapFree=34365992/67111528
[pid=10448] ppid=10446 vsize=64012 CPUtime=0.29 cores=0,2,4,6
/proc/10448/stat : 10448 (scip-2.0.1.4b.l) R 10446 10448 10081 0 -1 4202496 14621 0 0 0 28 1 0 0 25 0 1 0 821524956 65548288 14540 33554432000 4194304 9163163 140735174982256 18446744073709551615 4350704 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10448/statm: 16003 14540 509 1214 0 14785 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 64012

[startup+0.701177 s]
/proc/loadavg: 2.00 2.02 2.00 2/441 10448
/proc/meminfo: memFree=31426104/32950928 swapFree=34365992/67111528
[pid=10448] ppid=10446 vsize=96628 CPUtime=0.68 cores=0,2,4,6
/proc/10448/stat : 10448 (scip-2.0.1.4b.l) R 10446 10448 10081 0 -1 4202496 23546 0 0 0 67 1 0 0 18 0 1 0 821524956 98947072 22158 33554432000 4194304 9163163 140735174982256 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10448/statm: 24157 22158 659 1214 0 22939 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 96628

[startup+1.50103 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 10457
/proc/meminfo: memFree=31249232/32950928 swapFree=34365992/67111528
[pid=10448] ppid=10446 vsize=103652 CPUtime=1.49 cores=0,2,4,6
/proc/10448/stat : 10448 (scip-2.0.1.4b.l) R 10446 10448 10081 0 -1 4202496 26114 0 0 0 147 2 0 0 19 0 1 0 821524956 106139648 24556 33554432000 4194304 9163163 140735174982256 18446744073709551615 6286063 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10448/statm: 25913 24556 685 1214 0 24695 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 103652

[startup+3.10074 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 10457
/proc/meminfo: memFree=31059164/32950928 swapFree=34365992/67111528
[pid=10448] ppid=10446 vsize=108936 CPUtime=3.09 cores=0,2,4,6
/proc/10448/stat : 10448 (scip-2.0.1.4b.l) R 10446 10448 10081 0 -1 4202496 27066 0 0 0 307 2 0 0 22 0 1 0 821524956 111550464 25377 33554432000 4194304 9163163 140735174982256 18446744073709551615 6254766 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10448/statm: 27234 25377 697 1214 0 26016 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 108936

[startup+6.30011 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 10457
/proc/meminfo: memFree=30907276/32950928 swapFree=34365992/67111528
[pid=10448] ppid=10446 vsize=116636 CPUtime=6.29 cores=0,2,4,6
/proc/10448/stat : 10448 (scip-2.0.1.4b.l) R 10446 10448 10081 0 -1 4202496 29140 0 0 0 626 3 0 0 25 0 1 0 821524956 119435264 27450 33554432000 4194304 9163163 140735174982256 18446744073709551615 6681648 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10448/statm: 29159 27450 696 1214 0 27941 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 116636

[startup+12.701 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 10457
/proc/meminfo: memFree=30905208/32950928 swapFree=34365992/67111528
[pid=10448] ppid=10446 vsize=117232 CPUtime=12.69 cores=0,2,4,6
/proc/10448/stat : 10448 (scip-2.0.1.4b.l) R 10446 10448 10081 0 -1 4202496 29377 0 0 0 1265 4 0 0 25 0 1 0 821524956 120045568 27675 33554432000 4194304 9163163 140735174982256 18446744073709551615 7447536 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10448/statm: 29308 27675 700 1214 0 28090 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 117232

[startup+25.5007 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 10457
/proc/meminfo: memFree=30813804/32950928 swapFree=34365992/67111528
[pid=10448] ppid=10446 vsize=121416 CPUtime=25.49 cores=0,2,4,6
/proc/10448/stat : 10448 (scip-2.0.1.4b.l) R 10446 10448 10081 0 -1 4202496 30272 0 0 0 2541 8 0 0 25 0 1 0 821524956 124329984 28566 33554432000 4194304 9163163 140735174982256 18446744073709551615 6611588 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10448/statm: 30354 28566 696 1214 0 29136 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 121416

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

[startup+31.9165 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 10458
/proc/meminfo: memFree=30809580/32950928 swapFree=34365992/67111528
[pid=10448] ppid=10446 vsize=123084 CPUtime=31.9 cores=0,2,4,6
/proc/10448/stat : 10448 (scip-2.0.1.4b.l) R 10446 10448 10081 0 -1 4202496 38547 0 0 0 3179 11 0 0 25 0 1 0 821524956 126038016 29411 33554432000 4194304 9163163 140735174982256 18446744073709551615 8045195 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10448/statm: 30771 29411 728 1214 0 29553 0
Current children cumulated CPU time (s) 31.9
Current children cumulated vsize (KiB) 123084

[startup+35.1011 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 10458
/proc/meminfo: memFree=30808956/32950928 swapFree=34365992/67111528
[pid=10448] ppid=10446 vsize=124284 CPUtime=35.1 cores=0,2,4,6
/proc/10448/stat : 10448 (scip-2.0.1.4b.l) R 10446 10448 10081 0 -1 4202496 41310 0 0 0 3496 14 0 0 25 0 1 0 821524956 127266816 29864 33554432000 4194304 9163163 140735174982256 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10448/statm: 31071 29864 979 1214 0 29853 0
Current children cumulated CPU time (s) 35.1
Current children cumulated vsize (KiB) 124284

[startup+36.7008 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 10458
/proc/meminfo: memFree=30802212/32950928 swapFree=34365992/67111528
[pid=10448] ppid=10446 vsize=131544 CPUtime=36.68 cores=0,2,4,6
/proc/10448/stat : 10448 (scip-2.0.1.4b.l) R 10446 10448 10081 0 -1 4202496 43152 0 0 0 3653 15 0 0 25 0 1 0 821524956 134701056 31526 33554432000 4194304 9163163 140735174982256 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10448/statm: 32886 31526 802 1214 0 31668 0
Current children cumulated CPU time (s) 36.68
Current children cumulated vsize (KiB) 131544

[startup+37.1008 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 10458
/proc/meminfo: memFree=30802212/32950928 swapFree=34365992/67111528
[pid=10448] ppid=10446 vsize=131544 CPUtime=37.09 cores=0,2,4,6
/proc/10448/stat : 10448 (scip-2.0.1.4b.l) R 10446 10448 10081 0 -1 4202496 43152 0 0 0 3693 16 0 0 25 0 1 0 821524956 134701056 31526 33554432000 4194304 9163163 140735174982256 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10448/statm: 32886 31526 802 1214 0 31668 0
Current children cumulated CPU time (s) 37.09
Current children cumulated vsize (KiB) 131544

[startup+37.5007 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 10458
/proc/meminfo: memFree=30801468/32950928 swapFree=34365992/67111528
[pid=10448] ppid=10446 vsize=135272 CPUtime=37.49 cores=0,2,4,6
/proc/10448/stat : 10448 (scip-2.0.1.4b.l) R 10446 10448 10081 0 -1 4202496 44109 0 0 0 3733 16 0 0 25 0 1 0 821524956 138518528 32455 33554432000 4194304 9163163 140735174982256 18446744073709551615 6676863 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10448/statm: 33818 32455 774 1214 0 32600 0
Current children cumulated CPU time (s) 37.49
Current children cumulated vsize (KiB) 135272

[startup+37.6007 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 10458
/proc/meminfo: memFree=30801468/32950928 swapFree=34365992/67111528
[pid=10448] ppid=10446 vsize=135272 CPUtime=37.59 cores=0,2,4,6
/proc/10448/stat : 10448 (scip-2.0.1.4b.l) R 10446 10448 10081 0 -1 4202496 44231 0 0 0 3743 16 0 0 25 0 1 0 821524956 138518528 32577 33554432000 4194304 9163163 140735174982256 18446744073709551615 4684122 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10448/statm: 33818 32577 774 1214 0 32600 0
Current children cumulated CPU time (s) 37.59
Current children cumulated vsize (KiB) 135272

Child status: 0
Real time (s): 37.6423
CPU time (s): 37.6393
CPU user time (s): 37.4673
CPU system time (s): 0.171973
CPU usage (%): 99.9919
Max. virtual memory (cumulated for all children) (KiB): 154348

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

runsolver used 0.169974 second user time and 0.394939 second system time

The end

Launcher Data

Begin job on node120 at 2011-06-03 13:07:42
IDJOB=3450769
IDBENCH=24975
IDSOLVER=1948
FILE ID=node120/3450769-1307099262
RUNJOBID= node120-1307093855-10099
PBS_JOBID= 13498002
Free space on /tmp= 73812 MiB

SOLVER NAME= SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4
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.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3450769-1307099262/watcher-3450769-1307099262 -o /tmp/evaluation-result-3450769-1307099262/solver-3450769-1307099262 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450769-1307099262.opb -t 1800 -m 15500

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

MD5SUM BENCH= 5c1765191809ee7ecd7781ce5c7fb9aa
RANDOM SEED=1277311753

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31426268 kB
Buffers:        257856 kB
Cached:         956068 kB
SwapCached:      12852 kB
Active:         312584 kB
Inactive:       920872 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31426268 kB
SwapTotal:    67111528 kB
SwapFree:     34365992 kB
Dirty:           12864 kB
Writeback:           0 kB
AnonPages:       17288 kB
Mapped:           8832 kB
Slab:           131868 kB
PageTables:      91284 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 105370384 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73784 MiB
End job on node120 at 2011-06-03 13:08:20