Trace number 2666786

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
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverOPT25 48.1007 48.1121

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_015_area_delay.opb
MD5SUM90acfb7d1c18536583ef7e2a90905f54
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark25
Best CPU time to get the best result obtained on this benchmark6.19506
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 25
Optimality of the best value was proved YES
Number of variables7798
Total number of constraints24318
Number of constraints which are clauses24318
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 3790
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 3790
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 3790
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

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

Verifier Data

OK	25

Watcher Data

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

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

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


[startup+0 s]
/proc/loadavg: 0.99 0.97 0.99 3/106 11213
/proc/meminfo: memFree=1861400/2059040 swapFree=4141108/4192956
[pid=11213] ppid=11211 vsize=6696 CPUtime=0
/proc/11213/stat : 11213 (pbscip.linux.x8) R 11211 11213 11155 0 -1 4202496 989 0 0 0 0 0 0 0 24 0 1 0 4513709 6856704 908 1992294400 4194304 8223781 140736825639184 18446744073709551615 7256628 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11213/statm: 1674 908 343 984 0 687 0

[startup+0.0871019 s]
/proc/loadavg: 0.99 0.97 0.99 3/106 11213
/proc/meminfo: memFree=1861400/2059040 swapFree=4141108/4192956
[pid=11213] ppid=11211 vsize=17564 CPUtime=0.08
/proc/11213/stat : 11213 (pbscip.linux.x8) R 11211 11213 11155 0 -1 4202496 3714 0 0 0 7 1 0 0 24 0 1 0 4513709 17985536 3632 1992294400 4194304 8223781 140736825639184 18446744073709551615 4680521 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11213/statm: 4391 3632 365 984 0 3404 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 17564

[startup+0.101103 s]
/proc/loadavg: 0.99 0.97 0.99 3/106 11213
/proc/meminfo: memFree=1861400/2059040 swapFree=4141108/4192956
[pid=11213] ppid=11211 vsize=17696 CPUtime=0.09
/proc/11213/stat : 11213 (pbscip.linux.x8) R 11211 11213 11155 0 -1 4202496 3731 0 0 0 8 1 0 0 24 0 1 0 4513709 18120704 3649 1992294400 4194304 8223781 140736825639184 18446744073709551615 7246918 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11213/statm: 4424 3649 365 984 0 3437 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17696

[startup+0.30112 s]
/proc/loadavg: 0.99 0.97 0.99 3/106 11213
/proc/meminfo: memFree=1861400/2059040 swapFree=4141108/4192956
[pid=11213] ppid=11211 vsize=21880 CPUtime=0.29
/proc/11213/stat : 11213 (pbscip.linux.x8) R 11211 11213 11155 0 -1 4202496 4776 0 0 0 28 1 0 0 24 0 1 0 4513709 22405120 4694 1992294400 4194304 8223781 140736825639184 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11213/statm: 5470 4694 365 984 0 4483 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21880

[startup+0.701155 s]
/proc/loadavg: 0.99 0.97 0.99 3/106 11213
/proc/meminfo: memFree=1861400/2059040 swapFree=4141108/4192956
[pid=11213] ppid=11211 vsize=52924 CPUtime=0.69
/proc/11213/stat : 11213 (pbscip.linux.x8) R 11211 11213 11155 0 -1 4202496 12501 0 0 0 64 5 0 0 25 0 1 0 4513709 54194176 12055 1992294400 4194304 8223781 140736825639184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11213/statm: 13231 12055 441 984 0 12244 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52924

[startup+1.50122 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 11214
/proc/meminfo: memFree=1807948/2059040 swapFree=4141108/4192956
[pid=11213] ppid=11211 vsize=76856 CPUtime=1.49
/proc/11213/stat : 11213 (pbscip.linux.x8) R 11211 11213 11155 0 -1 4202496 21215 0 0 0 136 13 0 0 25 0 1 0 4513709 78700544 17983 1992294400 4194304 8223781 140736825639184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11213/statm: 19214 17983 543 984 0 18227 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 76856

[startup+3.10137 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 11214
/proc/meminfo: memFree=1784884/2059040 swapFree=4141108/4192956
[pid=11213] ppid=11211 vsize=87224 CPUtime=3.09
/proc/11213/stat : 11213 (pbscip.linux.x8) R 11211 11213 11155 0 -1 4202496 24935 0 0 0 292 17 0 0 25 0 1 0 4513709 89317376 20515 1992294400 4194304 8223781 140736825639184 18446744073709551615 6031597 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11213/statm: 21806 20515 571 984 0 20819 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 87224

[startup+6.30065 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 11214
/proc/meminfo: memFree=1771492/2059040 swapFree=4141108/4192956
[pid=11213] ppid=11211 vsize=103776 CPUtime=6.29
/proc/11213/stat : 11213 (pbscip.linux.x8) R 11211 11213 11155 0 -1 4202496 30111 0 0 0 606 23 0 0 25 0 1 0 4513709 106266624 24679 1992294400 4194304 8223781 140736825639184 18446744073709551615 6009295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11213/statm: 25944 24679 573 984 0 24957 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 103776

[startup+12.7002 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 11214
/proc/meminfo: memFree=1761324/2059040 swapFree=4141108/4192956
[pid=11213] ppid=11211 vsize=106880 CPUtime=12.68
/proc/11213/stat : 11213 (pbscip.linux.x8) R 11211 11213 11155 0 -1 4202496 31961 0 0 0 1239 29 0 0 25 0 1 0 4513709 109445120 25336 1992294400 4194304 8223781 140736825639184 18446744073709551615 6044386 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11213/statm: 26720 25336 573 984 0 25733 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 106880

[startup+25.5013 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 11214
/proc/meminfo: memFree=1753016/2059040 swapFree=4141108/4192956
[pid=11213] ppid=11211 vsize=115508 CPUtime=25.48
/proc/11213/stat : 11213 (pbscip.linux.x8) R 11211 11213 11155 0 -1 4202496 35075 0 0 0 2510 38 0 0 25 0 1 0 4513709 118280192 27454 1992294400 4194304 8223781 140736825639184 18446744073709551615 6299558 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11213/statm: 28877 27454 573 984 0 27890 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 115508

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

[startup+38.3004 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 11214
/proc/meminfo: memFree=1747808/2059040 swapFree=4141108/4192956
[pid=11213] ppid=11211 vsize=125940 CPUtime=38.28
/proc/11213/stat : 11213 (pbscip.linux.x8) R 11211 11213 11155 0 -1 4202496 38790 0 0 0 3780 48 0 0 25 0 1 0 4513709 128962560 29816 1992294400 4194304 8223781 140736825639184 18446744073709551615 6205568 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11213/statm: 31485 29827 574 984 0 30498 0
Current children cumulated CPU time (s) 38.28
Current children cumulated vsize (KiB) 125940

[startup+44.701 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 11214
/proc/meminfo: memFree=1748924/2059040 swapFree=4141108/4192956
[pid=11213] ppid=11211 vsize=119988 CPUtime=44.68
/proc/11213/stat : 11213 (pbscip.linux.x8) R 11211 11213 11155 0 -1 4202496 48508 0 0 0 4410 58 0 0 25 0 1 0 4513709 122867712 28419 1992294400 4194304 8223781 140736825639184 18446744073709551615 6570097 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11213/statm: 29997 28419 595 984 0 29010 0
Current children cumulated CPU time (s) 44.68
Current children cumulated vsize (KiB) 119988

[startup+46.3012 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 11214
/proc/meminfo: memFree=1752396/2059040 swapFree=4141108/4192956
[pid=11213] ppid=11211 vsize=117120 CPUtime=46.28
/proc/11213/stat : 11213 (pbscip.linux.x8) R 11211 11213 11155 0 -1 4202496 51744 0 0 0 4567 61 0 0 25 0 1 0 4513709 119930880 27671 1992294400 4194304 8223781 140736825639184 18446744073709551615 6059637 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11213/statm: 29280 27671 602 984 0 28293 0
Current children cumulated CPU time (s) 46.28
Current children cumulated vsize (KiB) 117120

[startup+47.1002 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 11214
/proc/meminfo: memFree=1752396/2059040 swapFree=4141108/4192956
[pid=11213] ppid=11211 vsize=116840 CPUtime=47.07
/proc/11213/stat : 11213 (pbscip.linux.x8) R 11211 11213 11155 0 -1 4202496 51996 0 0 0 4645 62 0 0 25 0 1 0 4513709 119644160 27619 1992294400 4194304 8223781 140736825639184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11213/statm: 29210 27619 602 984 0 28223 0
Current children cumulated CPU time (s) 47.07
Current children cumulated vsize (KiB) 116840

[startup+47.9003 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 11214
/proc/meminfo: memFree=1752272/2059040 swapFree=4141108/4192956
[pid=11213] ppid=11211 vsize=116840 CPUtime=47.87
/proc/11213/stat : 11213 (pbscip.linux.x8) R 11211 11213 11155 0 -1 4202496 52215 0 0 0 4724 63 0 0 25 0 1 0 4513709 119644160 27619 1992294400 4194304 8223781 140736825639184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11213/statm: 29210 27619 602 984 0 28223 0
Current children cumulated CPU time (s) 47.87
Current children cumulated vsize (KiB) 116840

[startup+48.1003 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 11214
/proc/meminfo: memFree=1752272/2059040 swapFree=4141108/4192956
[pid=11213] ppid=11211 vsize=41220 CPUtime=48.08
/proc/11213/stat : 11213 (pbscip.linux.x8) R 11211 11213 11155 0 -1 4202496 52285 0 0 0 4744 64 0 0 25 0 1 0 4513709 42209280 9529 1992294400 4194304 8223781 140736825639184 18446744073709551615 6206542 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11213/statm: 10305 9529 604 984 0 9318 0
Current children cumulated CPU time (s) 48.08
Current children cumulated vsize (KiB) 41220

Child status: 0
Real time (s): 48.1121
CPU time (s): 48.1007
CPU user time (s): 47.4488
CPU system time (s): 0.6519
CPU usage (%): 99.9762
Max. virtual memory (cumulated for all children) (KiB): 150076

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

runsolver used 0.080987 second user time and 0.243962 second system time

The end

Launcher Data

Begin job on node050 at 2010-06-15 22:03:41
IDJOB=2666786
IDBENCH=24981
IDSOLVER=1169
FILE ID=node050/2666786-1276632221
PBS_JOBID= 11172388
Free space on /tmp= 62572 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_015_area_delay.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666786-1276632221/watcher-2666786-1276632221 -o /tmp/evaluation-result-2666786-1276632221/solver-2666786-1276632221 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666786-1276632221.opb -t 1800 -m 1800

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

MD5SUM BENCH= 90acfb7d1c18536583ef7e2a90905f54
RANDOM SEED=956904778

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

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1861804 kB
Buffers:          9644 kB
Cached:          98028 kB
SwapCached:       6544 kB
Active:          96996 kB
Inactive:        25044 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1861804 kB
SwapTotal:     4192956 kB
SwapFree:      4141108 kB
Dirty:            5284 kB
Writeback:           0 kB
AnonPages:       11740 kB
Mapped:          13004 kB
Slab:            53356 kB
PageTables:       3976 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180940 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62568 MiB
End job on node050 at 2010-06-15 22:04:29