Trace number 3732987

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB11: SCIP spx E_2 2011-06-10 (fixed)OPT939 8.92564 8.92994

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-2.opb
MD5SUMf480d2d56550630df651872786c078c9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark939
Best CPU time to get the best result obtained on this benchmark5.37918
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 999
Optimality of the best value was proved NO
Number of variables8405
Total number of constraints10667
Number of constraints which are clauses9918
Number of constraints which are cardinality constraints (but not clauses)749
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint351
Number of terms in the objective function 6892
Biggest coefficient in the objective function 667
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 371779
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 667
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 371779
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	939

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 4879
/proc/meminfo: memFree=27769884/32873844 swapFree=7128/7128
[pid=4879] ppid=4877 vsize=9588 CPUtime=0 cores=0,2,4,6
/proc/4879/stat : 4879 (scip-2.0.1.4b_2) R 4877 4879 25330 0 -1 4202496 1505 0 0 0 0 0 0 0 20 0 1 0 336694702 9818112 1460 33554432000 4194304 9016284 140735369755824 140736784651464 7824814 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4879/statm: 2397 1461 311 1178 0 1215 0

[startup+0.012978 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 4879
/proc/meminfo: memFree=27769884/32873844 swapFree=7128/7128
[pid=4879] ppid=4877 vsize=15364 CPUtime=0 cores=0,2,4,6
/proc/4879/stat : 4879 (scip-2.0.1.4b_2) R 4877 4879 25330 0 -1 4202496 2814 0 0 0 0 0 0 0 20 0 1 0 336694702 15732736 2769 33554432000 4194304 9016284 140735369755824 140736784651464 7749335 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4879/statm: 3841 2769 353 1178 0 2659 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15364

[startup+0.100229 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 4879
/proc/meminfo: memFree=27769884/32873844 swapFree=7128/7128
[pid=4879] ppid=4877 vsize=35448 CPUtime=0.09 cores=0,2,4,6
/proc/4879/stat : 4879 (scip-2.0.1.4b_2) R 4877 4879 25330 0 -1 4202496 7840 0 0 0 8 1 0 0 20 0 1 0 336694702 36298752 7795 33554432000 4194304 9016284 140735369755824 140736784651464 6816901 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4879/statm: 8862 7795 406 1178 0 7680 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35448

[startup+0.300229 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 4879
/proc/meminfo: memFree=27769884/32873844 swapFree=7128/7128
[pid=4879] ppid=4877 vsize=54000 CPUtime=0.29 cores=0,2,4,6
/proc/4879/stat : 4879 (scip-2.0.1.4b_2) R 4877 4879 25330 0 -1 4202496 12977 0 0 0 28 1 0 0 20 0 1 0 336694702 55296000 12223 33554432000 4194304 9016284 140735369755824 140736784651464 4222927 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4879/statm: 13500 12223 511 1178 0 12318 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 54000

[startup+0.700185 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 4879
/proc/meminfo: memFree=27769884/32873844 swapFree=7128/7128
[pid=4879] ppid=4877 vsize=74072 CPUtime=0.69 cores=0,2,4,6
/proc/4879/stat : 4879 (scip-2.0.1.4b_2) R 4877 4879 25330 0 -1 4202496 18714 0 0 0 67 2 0 0 20 0 1 0 336694702 75849728 17358 33554432000 4194304 9016284 140735369755824 140735369750216 6422980 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4879/statm: 18518 17358 580 1178 0 17336 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 74072

[startup+1.50019 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4880
/proc/meminfo: memFree=27701932/32873844 swapFree=7128/7128
[pid=4879] ppid=4877 vsize=85012 CPUtime=1.49 cores=0,2,4,6
/proc/4879/stat : 4879 (scip-2.0.1.4b_2) R 4877 4879 25330 0 -1 4202496 21315 0 0 0 146 3 0 0 20 0 1 0 336694702 87052288 19854 33554432000 4194304 9016284 140735369755824 140735369750216 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4879/statm: 21253 19854 632 1178 0 20071 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 85012

[startup+3.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4880
/proc/meminfo: memFree=27691896/32873844 swapFree=7128/7128
[pid=4879] ppid=4877 vsize=84720 CPUtime=3.09 cores=0,2,4,6
/proc/4879/stat : 4879 (scip-2.0.1.4b_2) R 4877 4879 25330 0 -1 4202496 21880 0 0 0 304 5 0 0 20 0 1 0 336694702 86753280 19913 33554432000 4194304 9016284 140735369755824 140735369747960 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4879/statm: 21180 19913 645 1178 0 19998 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84720

[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4880
/proc/meminfo: memFree=27687680/32873844 swapFree=7128/7128
[pid=4879] ppid=4877 vsize=92228 CPUtime=6.29 cores=0,2,4,6
/proc/4879/stat : 4879 (scip-2.0.1.4b_2) R 4877 4879 25330 0 -1 4202496 24537 0 0 0 623 6 0 0 20 0 1 0 336694702 94441472 21709 33554432000 4194304 9016284 140735369755824 140735369750936 6255242 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4879/statm: 23057 21709 682 1178 0 21875 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 92228

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

[startup+7.90032 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4880
/proc/meminfo: memFree=27683712/32873844 swapFree=7128/7128
[pid=4879] ppid=4877 vsize=94360 CPUtime=7.88 cores=0,2,4,6
/proc/4879/stat : 4879 (scip-2.0.1.4b_2) R 4877 4879 25330 0 -1 4202496 25074 0 0 0 782 6 0 0 20 0 1 0 336694702 96624640 22246 33554432000 4194304 9016284 140735369755824 140735369750984 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4879/statm: 23590 22246 682 1178 0 22408 0
Current children cumulated CPU time (s) 7.88
Current children cumulated vsize (KiB) 94360

[startup+8.70029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4880
/proc/meminfo: memFree=27683844/32873844 swapFree=7128/7128
[pid=4879] ppid=4877 vsize=94480 CPUtime=8.7 cores=0,2,4,6
/proc/4879/stat : 4879 (scip-2.0.1.4b_2) R 4877 4879 25330 0 -1 4202496 25671 0 0 0 863 7 0 0 20 0 1 0 336694702 96747520 22145 33554432000 4194304 9016284 140735369755824 140735369750936 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4879/statm: 23620 22145 682 1178 0 22438 0
Current children cumulated CPU time (s) 8.7
Current children cumulated vsize (KiB) 94480

[startup+8.9003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4880
/proc/meminfo: memFree=27683844/32873844 swapFree=7128/7128
[pid=4879] ppid=4877 vsize=139216 CPUtime=8.89 cores=0,2,4,6
/proc/4879/stat : 4879 (scip-2.0.1.4b_2) R 4877 4879 25330 0 -1 4202496 36739 0 0 0 881 8 0 0 20 0 1 0 336694702 142557184 33114 33554432000 4194304 9016284 140735369755824 140735369750936 5518431 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4879/statm: 34804 33114 710 1178 0 33622 0
Current children cumulated CPU time (s) 8.89
Current children cumulated vsize (KiB) 139216

Child status: 0
Real time (s): 8.92994
CPU time (s): 8.92564
CPU user time (s): 8.83166
CPU system time (s): 0.093985
CPU usage (%): 99.9519
Max. virtual memory (cumulated for all children) (KiB): 139216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.83166
system time used= 0.093985
maximum resident set size= 132852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36744
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= 18

runsolver used 0.017997 second user time and 0.044993 second system time

The end

Launcher Data 

Begin job on node105 at 2012-06-03 08:51:17
IDJOB=3732987
IDBENCH=2233
IDSOLVER=2329
FILE ID=node105/3732987-1338706277
RUNJOBID= node105-1338679210-1717
PBS_JOBID= 14636708
Free space on /tmp= 71260 MiB

SOLVER NAME= PB11: SCIP spx E_2 2011-06-10 (fixed)
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb
COMMAND LINE= HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3732987-1338706277/watcher-3732987-1338706277 -o /tmp/evaluation-result-3732987-1338706277/solver-3732987-1338706277 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3732987-1338706277.opb -t 1800 -m 15500

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

MD5SUM BENCH= f480d2d56550630df651872786c078c9
RANDOM SEED=377759969

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27770528 kB
Buffers:          549672 kB
Cached:          3547912 kB
SwapCached:         1700 kB
Active:          1170968 kB
Inactive:        3050980 kB
Active(anon):     120584 kB
Inactive(anon):     4800 kB
Active(file):    1050384 kB
Inactive(file):  3046180 kB
Unevictable:        7128 kB
Mlocked:            7128 kB
SwapTotal:      67108856 kB
SwapFree:       67100456 kB
Dirty:             17088 kB
Writeback:             0 kB
AnonPages:        128632 kB
Mapped:            11332 kB
Shmem:                 0 kB
Slab:             741400 kB
SReclaimable:     182944 kB
SUnreclaim:       558456 kB
KernelStack:        1400 kB
PageTables:         4380 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     244960 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    108544 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71244 MiB
End job on node105 at 2012-06-03 08:51:26