Trace number 3450772

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.4OPT25 34.1398 34.145

General information on the benchmark

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

Verifier Data

OK	25

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.03 2.00 3/575 24249
/proc/meminfo: memFree=22112900/32951124 swapFree=58940260/67111528
[pid=24249] ppid=24247 vsize=15372 CPUtime=0 cores=1,3,5,7
/proc/24249/stat : 24249 (scip-2.0.1.4b.l) R 24247 24249 23203 0 -1 4202496 2846 0 0 0 0 0 0 0 25 0 1 0 821527056 15740928 2798 33554432000 4194304 9163163 140737450088864 18446744073709551615 4337755 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24249/statm: 3843 2798 389 1214 0 2625 0

[startup+0.0745259 s]
/proc/loadavg: 2.00 2.03 2.00 3/575 24249
/proc/meminfo: memFree=22112900/32951124 swapFree=58940260/67111528
[pid=24249] ppid=24247 vsize=24560 CPUtime=0.06 cores=1,3,5,7
/proc/24249/stat : 24249 (scip-2.0.1.4b.l) R 24247 24249 23203 0 -1 4202496 5161 0 0 0 6 0 0 0 25 0 1 0 821527056 25149440 5113 33554432000 4194304 9163163 140737450088864 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24249/statm: 6140 5113 395 1214 0 4922 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 24560

[startup+0.100519 s]
/proc/loadavg: 2.00 2.03 2.00 3/575 24249
/proc/meminfo: memFree=22112900/32951124 swapFree=58940260/67111528
[pid=24249] ppid=24247 vsize=26768 CPUtime=0.09 cores=1,3,5,7
/proc/24249/stat : 24249 (scip-2.0.1.4b.l) R 24247 24249 23203 0 -1 4202496 5686 0 0 0 9 0 0 0 25 0 1 0 821527056 27410432 5638 33554432000 4194304 9163163 140737450088864 18446744073709551615 8041824 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24249/statm: 6692 5638 395 1214 0 5474 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26768

[startup+0.300488 s]
/proc/loadavg: 2.00 2.03 2.00 3/575 24249
/proc/meminfo: memFree=22112900/32951124 swapFree=58940260/67111528
[pid=24249] ppid=24247 vsize=66000 CPUtime=0.29 cores=1,3,5,7
/proc/24249/stat : 24249 (scip-2.0.1.4b.l) R 24247 24249 23203 0 -1 4202496 15138 0 0 0 28 1 0 0 25 0 1 0 821527056 67584000 15089 33554432000 4194304 9163163 140737450088864 18446744073709551615 5149104 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24249/statm: 16500 15089 515 1214 0 15282 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 66000

[startup+0.700413 s]
/proc/loadavg: 2.00 2.03 2.00 3/575 24249
/proc/meminfo: memFree=22112900/32951124 swapFree=58940260/67111528
[pid=24249] ppid=24247 vsize=100280 CPUtime=0.69 cores=1,3,5,7
/proc/24249/stat : 24249 (scip-2.0.1.4b.l) R 24247 24249 23203 0 -1 4202496 24363 0 0 0 67 2 0 0 25 0 1 0 821527056 102686720 22991 33554432000 4194304 9163163 140737450088864 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24249/statm: 25070 22991 657 1214 0 23852 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 100280

[startup+1.50027 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 24250
/proc/meminfo: memFree=22020856/32951124 swapFree=58940260/67111528
[pid=24249] ppid=24247 vsize=111588 CPUtime=1.48 cores=1,3,5,7
/proc/24249/stat : 24249 (scip-2.0.1.4b.l) R 24247 24249 23203 0 -1 4202496 27590 0 0 0 145 3 0 0 25 0 1 0 821527056 114266112 25981 33554432000 4194304 9163163 140737450088864 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24249/statm: 27897 25981 711 1214 0 26679 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 111588

[startup+3.10097 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 24250
/proc/meminfo: memFree=22005108/32951124 swapFree=58940260/67111528
[pid=24249] ppid=24247 vsize=122428 CPUtime=3.08 cores=1,3,5,7
/proc/24249/stat : 24249 (scip-2.0.1.4b.l) R 24247 24249 23203 0 -1 4202496 30508 0 0 0 304 4 0 0 25 0 1 0 821527056 125366272 28889 33554432000 4194304 9163163 140737450088864 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24249/statm: 30607 28889 701 1214 0 29389 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 122428

[startup+6.30038 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 24250
/proc/meminfo: memFree=21996696/32951124 swapFree=58940260/67111528
[pid=24249] ppid=24247 vsize=122736 CPUtime=6.29 cores=1,3,5,7
/proc/24249/stat : 24249 (scip-2.0.1.4b.l) R 24247 24249 23203 0 -1 4202496 30743 0 0 0 623 6 0 0 25 0 1 0 821527056 125681664 29124 33554432000 4194304 9163163 140737450088864 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24249/statm: 30684 29124 701 1214 0 29466 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 122736

[startup+12.7002 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 24250
/proc/meminfo: memFree=21993476/32951124 swapFree=58940260/67111528
[pid=24249] ppid=24247 vsize=130264 CPUtime=12.69 cores=1,3,5,7
/proc/24249/stat : 24249 (scip-2.0.1.4b.l) R 24247 24249 23203 0 -1 4202496 32704 0 0 0 1260 9 0 0 25 0 1 0 821527056 133390336 31085 33554432000 4194304 9163163 140737450088864 18446744073709551615 6668704 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24249/statm: 32566 31085 738 1214 0 31348 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 130264

[startup+25.5009 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 24251
/proc/meminfo: memFree=21988084/32951124 swapFree=58940260/67111528
[pid=24249] ppid=24247 vsize=131808 CPUtime=25.49 cores=1,3,5,7
/proc/24249/stat : 24249 (scip-2.0.1.4b.l) R 24247 24249 23203 0 -1 4202496 32999 0 0 0 2534 15 0 0 25 0 1 0 821527056 134971392 31380 33554432000 4194304 9163163 140737450088864 18446744073709551615 6674522 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24249/statm: 32952 31380 738 1214 0 31734 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 131808

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

[startup+28.7003 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 24251
/proc/meminfo: memFree=21987588/32951124 swapFree=58940260/67111528
[pid=24249] ppid=24247 vsize=130732 CPUtime=28.68 cores=1,3,5,7
/proc/24249/stat : 24249 (scip-2.0.1.4b.l) R 24247 24249 23203 0 -1 4202496 40970 0 0 0 2850 18 0 0 25 0 1 0 821527056 133869568 31215 33554432000 4194304 9163163 140737450088864 18446744073709551615 6611588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24249/statm: 32683 31215 733 1214 0 31465 0
Current children cumulated CPU time (s) 28.68
Current children cumulated vsize (KiB) 130732

[startup+31.9217 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 24251
/proc/meminfo: memFree=21984480/32951124 swapFree=58940260/67111528
[pid=24249] ppid=24247 vsize=134000 CPUtime=31.91 cores=1,3,5,7
/proc/24249/stat : 24249 (scip-2.0.1.4b.l) R 24247 24249 23203 0 -1 4202496 42793 0 0 0 3166 25 0 0 25 0 1 0 821527056 137216000 32292 33554432000 4194304 9163163 140737450088864 18446744073709551615 8034182 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24249/statm: 33500 32292 837 1214 0 32282 0
Current children cumulated CPU time (s) 31.91
Current children cumulated vsize (KiB) 134000

[startup+33.5004 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 24251
/proc/meminfo: memFree=21975052/32951124 swapFree=58940260/67111528
[pid=24249] ppid=24247 vsize=144472 CPUtime=33.49 cores=1,3,5,7
/proc/24249/stat : 24249 (scip-2.0.1.4b.l) R 24247 24249 23203 0 -1 4202496 45207 0 0 0 3319 30 0 0 25 0 1 0 821527056 147939328 34684 33554432000 4194304 9163163 140737450088864 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24249/statm: 36118 34684 818 1214 0 34900 0
Current children cumulated CPU time (s) 33.49
Current children cumulated vsize (KiB) 144472

[startup+33.9003 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 24251
/proc/meminfo: memFree=21975052/32951124 swapFree=58940260/67111528
[pid=24249] ppid=24247 vsize=144472 CPUtime=33.89 cores=1,3,5,7
/proc/24249/stat : 24249 (scip-2.0.1.4b.l) R 24247 24249 23203 0 -1 4202496 45503 0 0 0 3358 31 0 0 25 0 1 0 821527056 147939328 34915 33554432000 4194304 9163163 140737450088864 18446744073709551615 6611594 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24249/statm: 36118 34915 753 1214 0 34900 0
Current children cumulated CPU time (s) 33.89
Current children cumulated vsize (KiB) 144472

[startup+34.1223 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 24251
/proc/meminfo: memFree=21973936/32951124 swapFree=58940260/67111528
[pid=24249] ppid=24247 vsize=143696 CPUtime=34.11 cores=1,3,5,7
/proc/24249/stat : 24249 (scip-2.0.1.4b.l) R 24247 24249 23203 0 -1 4202496 45506 0 0 0 3380 31 0 0 18 0 1 0 821527056 147144704 34727 33554432000 4194304 9163163 140737450088864 18446744073709551615 4812730 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24249/statm: 35924 34727 756 1214 0 34706 0
Current children cumulated CPU time (s) 34.11
Current children cumulated vsize (KiB) 143696

Child status: 0
Real time (s): 34.145
CPU time (s): 34.1398
CPU user time (s): 33.8189
CPU system time (s): 0.320951
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 164676

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

runsolver used 0.198969 second user time and 0.481926 second system time

The end

Launcher Data

Begin job on node139 at 2011-06-03 13:08:13
IDJOB=3450772
IDBENCH=24978
IDSOLVER=1948
FILE ID=node139/3450772-1307099293
RUNJOBID= node139-1307093003-23222
PBS_JOBID= 13497985
Free space on /tmp= 73400 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_017_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-3450772-1307099293/watcher-3450772-1307099293 -o /tmp/evaluation-result-3450772-1307099293/solver-3450772-1307099293 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450772-1307099293.opb -t 1800 -m 15500

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

MD5SUM BENCH= 11f76d5c4a01da95c686f09380ec8e85
RANDOM SEED=2072250384

node139.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.852
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.70
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.852
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	: 5332.75
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.852
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.74
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.852
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.852
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	: 5321.49
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.852
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.852
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.852
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22113056 kB
Buffers:        239112 kB
Cached:         651024 kB
SwapCached:       3628 kB
Active:       10046108 kB
Inactive:       485820 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22113056 kB
SwapTotal:    67111528 kB
SwapFree:     58940260 kB
Dirty:           13004 kB
Writeback:           0 kB
AnonPages:     9640204 kB
Mapped:          35884 kB
Slab:           152368 kB
PageTables:      81976 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 172350384 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= 73388 MiB
End job on node139 at 2011-06-03 13:08:47