Trace number 3731364

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
PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)OPT7677 13.6809 13.6847

General information on the benchmark

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

Verifier Data

OK	7677

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20786
/proc/meminfo: memFree=27217320/32873844 swapFree=7116/7116
[pid=20786] ppid=20784 vsize=7152 CPUtime=0 cores=0,2,4,6
/proc/20786/stat : 20786 (pbscip.linux.x8) R 20784 20786 10620 0 -1 4202496 945 0 0 0 0 0 0 0 20 0 1 0 334836612 7323648 898 33554432000 4194304 7823515 140736625794832 140736625793784 4402248 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20786/statm: 1788 910 335 887 0 898 0

[startup+0.078019 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20786
/proc/meminfo: memFree=27217320/32873844 swapFree=7116/7116
[pid=20786] ppid=20784 vsize=32388 CPUtime=0.06 cores=0,2,4,6
/proc/20786/stat : 20786 (pbscip.linux.x8) R 20784 20786 10620 0 -1 4202496 7749 0 0 0 6 0 0 0 20 0 1 0 334836612 33165312 7343 33554432000 4194304 7823515 140736625794832 140736625793784 4685941 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20786/statm: 8097 7343 385 887 0 7207 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 32388

[startup+0.100346 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20786
/proc/meminfo: memFree=27217320/32873844 swapFree=7116/7116
[pid=20786] ppid=20784 vsize=35532 CPUtime=0.09 cores=0,2,4,6
/proc/20786/stat : 20786 (pbscip.linux.x8) R 20784 20786 10620 0 -1 4202496 8337 0 0 0 8 1 0 0 20 0 1 0 334836612 36384768 7931 33554432000 4194304 7823515 140736625794832 140736625793784 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20786/statm: 8883 7931 418 887 0 7993 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35532

[startup+0.300274 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20786
/proc/meminfo: memFree=27217320/32873844 swapFree=7116/7116
[pid=20786] ppid=20784 vsize=47804 CPUtime=0.29 cores=0,2,4,6
/proc/20786/stat : 20786 (pbscip.linux.x8) R 20784 20786 10620 0 -1 4202496 11530 0 0 0 28 1 0 0 20 0 1 0 334836612 48951296 11076 33554432000 4194304 7823515 140736625794832 140736625793784 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20786/statm: 11951 11076 456 887 0 11061 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 47804

[startup+0.700282 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20786
/proc/meminfo: memFree=27217320/32873844 swapFree=7116/7116
[pid=20786] ppid=20784 vsize=61344 CPUtime=0.69 cores=0,2,4,6
/proc/20786/stat : 20786 (pbscip.linux.x8) R 20784 20786 10620 0 -1 4202496 14871 0 0 0 67 2 0 0 20 0 1 0 334836612 62816256 14378 33554432000 4194304 7823515 140736625794832 140736625789512 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20786/statm: 15336 14378 539 887 0 14446 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 61344

[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20787
/proc/meminfo: memFree=27161364/32873844 swapFree=7116/7116
[pid=20786] ppid=20784 vsize=72016 CPUtime=1.49 cores=0,2,4,6
/proc/20786/stat : 20786 (pbscip.linux.x8) R 20784 20786 10620 0 -1 4202496 17424 0 0 0 146 3 0 0 20 0 1 0 334836612 73744384 16833 33554432000 4194304 7823515 140736625794832 140736625789512 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20786/statm: 18004 16833 569 887 0 17114 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 72016

[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20787
/proc/meminfo: memFree=27148484/32873844 swapFree=7116/7116
[pid=20786] ppid=20784 vsize=80124 CPUtime=3.09 cores=0,2,4,6
/proc/20786/stat : 20786 (pbscip.linux.x8) R 20784 20786 10620 0 -1 4202496 19326 0 0 0 305 4 0 0 20 0 1 0 334836612 82046976 18663 33554432000 4194304 7823515 140736625794832 140736625790632 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20786/statm: 20031 18663 569 887 0 19141 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 80124

[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20787
/proc/meminfo: memFree=27094852/32873844 swapFree=7116/7116
[pid=20786] ppid=20784 vsize=122080 CPUtime=6.29 cores=0,2,4,6
/proc/20786/stat : 20786 (pbscip.linux.x8) R 20784 20786 10620 0 -1 4202496 31074 0 0 0 621 8 0 0 20 0 1 0 334836612 125009920 28897 33554432000 4194304 7823515 140736625794832 140736625789992 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20786/statm: 30520 28897 578 887 0 29630 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 122080

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20787
/proc/meminfo: memFree=27099084/32873844 swapFree=7116/7116
[pid=20786] ppid=20784 vsize=129256 CPUtime=12.68 cores=0,2,4,6
/proc/20786/stat : 20786 (pbscip.linux.x8) R 20784 20786 10620 0 -1 4202496 31923 0 0 0 1255 13 0 0 20 0 1 0 334836612 132358144 29738 33554432000 4194304 7823515 140736625794832 140736625789880 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20786/statm: 32314 29738 578 887 0 31424 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 129256

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

[startup+13.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20787
/proc/meminfo: memFree=27098588/32873844 swapFree=7116/7116
[pid=20786] ppid=20784 vsize=129256 CPUtime=13.1 cores=0,2,4,6
/proc/20786/stat : 20786 (pbscip.linux.x8) R 20784 20786 10620 0 -1 4202496 32056 0 0 0 1296 14 0 0 20 0 1 0 334836612 132358144 29871 33554432000 4194304 7823515 140736625794832 140736625789880 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20786/statm: 32314 29871 578 887 0 31424 0
Current children cumulated CPU time (s) 13.1
Current children cumulated vsize (KiB) 129256

[startup+13.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20787
/proc/meminfo: memFree=27098588/32873844 swapFree=7116/7116
[pid=20786] ppid=20784 vsize=129256 CPUtime=13.48 cores=0,2,4,6
/proc/20786/stat : 20786 (pbscip.linux.x8) R 20784 20786 10620 0 -1 4202496 32056 0 0 0 1334 14 0 0 20 0 1 0 334836612 132358144 29871 33554432000 4194304 7823515 140736625794832 140736625789880 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20786/statm: 32314 29871 578 887 0 31424 0
Current children cumulated CPU time (s) 13.48
Current children cumulated vsize (KiB) 129256

[startup+13.6003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20787
/proc/meminfo: memFree=27098588/32873844 swapFree=7116/7116
[pid=20786] ppid=20784 vsize=129256 CPUtime=13.58 cores=0,2,4,6
/proc/20786/stat : 20786 (pbscip.linux.x8) R 20784 20786 10620 0 -1 4202496 32056 0 0 0 1344 14 0 0 20 0 1 0 334836612 132358144 29871 33554432000 4194304 7823515 140736625794832 140736625789992 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20786/statm: 32314 29871 578 887 0 31424 0
Current children cumulated CPU time (s) 13.58
Current children cumulated vsize (KiB) 129256

Child status: 0
Real time (s): 13.6847
CPU time (s): 13.6809
CPU user time (s): 13.5239
CPU system time (s): 0.156976
CPU usage (%): 99.9725
Max. virtual memory (cumulated for all children) (KiB): 129256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.5239
system time used= 0.156976
maximum resident set size= 123016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32062
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7
involuntary context switches= 16

runsolver used 0.032994 second user time and 0.076988 second system time

The end

Launcher Data

Begin job on node138 at 2012-06-03 03:31:55
IDJOB=3731364
IDBENCH=1882
IDSOLVER=2321
FILE ID=node138/3731364-1338687115
RUNJOBID= node138-1338679216-19462
PBS_JOBID= 14636675
Free space on /tmp= 70780 MiB

SOLVER NAME= PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mitre.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3731364-1338687115/watcher-3731364-1338687115 -o /tmp/evaluation-result-3731364-1338687115/solver-3731364-1338687115 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3731364-1338687115.opb

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

MD5SUM BENCH= 2b9af9044591fd3eb9f5def12c800cff
RANDOM SEED=1473194679

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27217964 kB
Buffers:          709476 kB
Cached:          3891268 kB
SwapCached:          208 kB
Active:          2472564 kB
Inactive:        2280816 kB
Active(anon):     137096 kB
Inactive(anon):    11388 kB
Active(file):    2335468 kB
Inactive(file):  2269428 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67108648 kB
Dirty:             10096 kB
Writeback:             0 kB
AnonPages:        140272 kB
Mapped:            16544 kB
Shmem:               200 kB
Slab:             763592 kB
SReclaimable:     205892 kB
SUnreclaim:       557700 kB
KernelStack:        1480 kB
PageTables:         4740 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     261752 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    110592 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70772 MiB
End job on node138 at 2012-06-03 03:32:09