Trace number 3692123

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP spx E SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixedOPT939 299.855 299.907

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

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-3692123-1338031822/watcher-3692123-1338031822 -o /tmp/evaluation-result-3692123-1338031822/solver-3692123-1338031822 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692123-1338031822.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 1.93 3/177 1543
/proc/meminfo: memFree=29587076/32873844 swapFree=6868/6868
[pid=1543] ppid=1538 vsize=12032 CPUtime=0 cores=0,2,4,6
/proc/1543/stat : 1543 (scip-2.1.1.4exp) R 1538 1543 31651 0 -1 4202496 1863 0 0 0 0 0 0 0 20 0 1 0 269249212 12320768 1818 33554432000 4194304 10219143 140735704377408 140733360206472 7123344 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1543/statm: 3008 1819 400 1471 0 1528 0

[startup+0.0075701 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 1543
/proc/meminfo: memFree=29587076/32873844 swapFree=6868/6868
[pid=1543] ppid=1538 vsize=14516 CPUtime=0 cores=0,2,4,6
/proc/1543/stat : 1543 (scip-2.1.1.4exp) R 1538 1543 31651 0 -1 4202496 2362 0 0 0 0 0 0 0 20 0 1 0 269249212 14864384 2318 33554432000 4194304 10219143 140735704377408 140733360206472 7589947 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1543/statm: 3629 2328 413 1471 0 2149 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 14516

[startup+0.100239 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 1543
/proc/meminfo: memFree=29587076/32873844 swapFree=6868/6868
[pid=1543] ppid=1538 vsize=48908 CPUtime=0.09 cores=0,2,4,6
/proc/1543/stat : 1543 (scip-2.1.1.4exp) R 1538 1543 31651 0 -1 4202496 10641 0 0 0 8 1 0 0 20 0 1 0 269249212 50081792 10596 33554432000 4194304 10219143 140735704377408 140733360206472 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1543/statm: 12227 10596 562 1471 0 10747 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 48908

[startup+0.300275 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 1543
/proc/meminfo: memFree=29587076/32873844 swapFree=6868/6868
[pid=1543] ppid=1538 vsize=58828 CPUtime=0.29 cores=0,2,4,6
/proc/1543/stat : 1543 (scip-2.1.1.4exp) R 1538 1543 31651 0 -1 4202496 13932 0 0 0 21 8 0 0 20 0 1 0 269249212 60239872 13210 33554432000 4194304 10219143 140735704377408 140733360206472 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1543/statm: 14707 13211 626 1471 0 13227 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 58828

[startup+0.700201 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 1543
/proc/meminfo: memFree=29587076/32873844 swapFree=6868/6868
[pid=1543] ppid=1538 vsize=83616 CPUtime=0.69 cores=0,2,4,6
/proc/1543/stat : 1543 (scip-2.1.1.4exp) R 1538 1543 31651 0 -1 4202496 20359 0 0 0 58 11 0 0 20 0 1 0 269249212 85622784 18982 33554432000 4194304 10219143 140735704377408 140735704371048 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1543/statm: 20904 18982 750 1471 0 19424 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83616

[startup+1.5002 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 1545
/proc/meminfo: memFree=29512420/32873844 swapFree=6868/6868
[pid=1543] ppid=1538 vsize=84688 CPUtime=1.49 cores=0,2,4,6
/proc/1543/stat : 1543 (scip-2.1.1.4exp) R 1538 1543 31651 0 -1 4202496 20910 0 0 0 137 12 0 0 20 0 1 0 269249212 86720512 19527 33554432000 4194304 10219143 140735704377408 140735704371048 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1543/statm: 21172 19527 750 1471 0 19692 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84688

[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 1545
/proc/meminfo: memFree=29511676/32873844 swapFree=6868/6868
[pid=1543] ppid=1538 vsize=85656 CPUtime=3.09 cores=0,2,4,6
/proc/1543/stat : 1543 (scip-2.1.1.4exp) R 1538 1543 31651 0 -1 4202496 21706 0 0 0 293 16 0 0 20 0 1 0 269249212 87711744 20079 33554432000 4194304 10219143 140735704377408 140735704368568 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1543/statm: 21414 20079 798 1471 0 19934 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 85656

[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 1545
/proc/meminfo: memFree=29506716/32873844 swapFree=6868/6868
[pid=1543] ppid=1538 vsize=89948 CPUtime=6.29 cores=0,2,4,6
/proc/1543/stat : 1543 (scip-2.1.1.4exp) R 1538 1543 31651 0 -1 4202496 22685 0 0 0 605 24 0 0 20 0 1 0 269249212 92106752 21058 33554432000 4194304 10219143 140735704377408 140735704370712 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1543/statm: 22487 21058 808 1471 0 21007 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 89948

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 1545
/proc/meminfo: memFree=29503764/32873844 swapFree=6868/6868
[pid=1543] ppid=1538 vsize=92084 CPUtime=12.69 cores=0,2,4,6
/proc/1543/stat : 1543 (scip-2.1.1.4exp) R 1538 1543 31651 0 -1 4202496 34125 0 0 0 1235 34 0 0 20 0 1 0 269249212 94294016 21408 33554432000 4194304 10219143 140735704377408 140735704370584 7955772 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1543/statm: 23021 21408 839 1471 0 21541 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 92084

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 1546
/proc/meminfo: memFree=29502852/32873844 swapFree=6868/6868
[pid=1543] ppid=1538 vsize=93628 CPUtime=25.49 cores=0,2,4,6
/proc/1543/stat : 1543 (scip-2.1.1.4exp) R 1538 1543 31651 0 -1 4202496 34529 0 0 0 2511 38 0 0 20 0 1 0 269249212 95875072 21812 33554432000 4194304 10219143 140735704377408 140735704371240 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1543/statm: 23407 21812 839 1471 0 21927 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 93628

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 1546
/proc/meminfo: memFree=29500912/32873844 swapFree=6868/6868
[pid=1543] ppid=1538 vsize=94204 CPUtime=51.08 cores=0,2,4,6
/proc/1543/stat : 1543 (scip-2.1.1.4exp) R 1538 1543 31651 0 -1 4202496 34692 0 0 0 5062 46 0 0 20 0 1 0 269249212 96464896 22074 33554432000 4194304 10219143 140735704377408 140735704371320 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1543/statm: 23551 22074 840 1471 0 22071 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 94204

[startup+102.307 s]
/proc/loadavg: 2.04 2.01 1.94 3/177 1546
/proc/meminfo: memFree=29499136/32873844 swapFree=6868/6868
[pid=1543] ppid=1538 vsize=94860 CPUtime=102.27 cores=0,2,4,6
/proc/1543/stat : 1543 (scip-2.1.1.4exp) R 1538 1543 31651 0 -1 4202496 34834 0 0 0 10167 60 0 0 20 0 1 0 269249212 97136640 22479 33554432000 4194304 10219143 140735704377408 140735704370584 8091593 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1543/statm: 23715 22479 840 1471 0 22235 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 94860

[startup+162.3 s]
/proc/loadavg: 2.07 2.02 1.94 3/177 1587
/proc/meminfo: memFree=29351144/32873844 swapFree=6868/6868
[pid=1543] ppid=1538 vsize=97072 CPUtime=162.26 cores=0,2,4,6
/proc/1543/stat : 1543 (scip-2.1.1.4exp) R 1538 1543 31651 0 -1 4202496 35388 0 0 0 16147 79 0 0 20 0 1 0 269249212 99401728 23032 33554432000 4194304 10219143 140735704377408 140735704371240 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1543/statm: 24268 23032 840 1471 0 22788 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 97072

[startup+222.3 s]
/proc/loadavg: 2.02 2.02 1.94 3/177 1587
/proc/meminfo: memFree=29345484/32873844 swapFree=6868/6868
[pid=1543] ppid=1538 vsize=102044 CPUtime=222.25 cores=0,2,4,6
/proc/1543/stat : 1543 (scip-2.1.1.4exp) R 1538 1543 31651 0 -1 4202496 36630 0 0 0 22123 102 0 0 20 0 1 0 269249212 104493056 24274 33554432000 4194304 10219143 140735704377408 140735704369992 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1543/statm: 25511 24274 840 1471 0 24031 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 102044

[startup+282.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/177 1587
/proc/meminfo: memFree=29333220/32873844 swapFree=6868/6868
[pid=1543] ppid=1538 vsize=104460 CPUtime=282.24 cores=0,2,4,6
/proc/1543/stat : 1543 (scip-2.1.1.4exp) R 1538 1543 31651 0 -1 4202496 37236 0 0 0 28098 126 0 0 20 0 1 0 269249212 106967040 24879 33554432000 4194304 10219143 140735704377408 140735704370696 8090840 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1543/statm: 26115 24879 840 1471 0 24635 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 104460

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

[startup+287.9 s]
/proc/loadavg: 2.01 2.01 1.94 3/177 1587
/proc/meminfo: memFree=29332848/32873844 swapFree=6868/6868
[pid=1543] ppid=1538 vsize=104460 CPUtime=287.84 cores=0,2,4,6
/proc/1543/stat : 1543 (scip-2.1.1.4exp) R 1538 1543 31651 0 -1 4202496 37238 0 0 0 28655 129 0 0 20 0 1 0 269249212 106967040 24881 33554432000 4194304 10219143 140735704377408 140735704370728 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1543/statm: 26115 24881 840 1471 0 24635 0
Current children cumulated CPU time (s) 287.84
Current children cumulated vsize (KiB) 104460

[startup+294.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/177 1587
/proc/meminfo: memFree=29343016/32873844 swapFree=6868/6868
[pid=1543] ppid=1538 vsize=104460 CPUtime=294.24 cores=0,2,4,6
/proc/1543/stat : 1543 (scip-2.1.1.4exp) R 1538 1543 31651 0 -1 4202496 37238 0 0 0 29292 132 0 0 20 0 1 0 269249212 106967040 24881 33554432000 4194304 10219143 140735704377408 140735704370760 8082547 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1543/statm: 26115 24881 840 1471 0 24635 0
Current children cumulated CPU time (s) 294.24
Current children cumulated vsize (KiB) 104460

[startup+297.5 s]
/proc/loadavg: 2.00 2.01 1.94 3/177 1587
/proc/meminfo: memFree=29343140/32873844 swapFree=6868/6868
[pid=1543] ppid=1538 vsize=104460 CPUtime=297.44 cores=0,2,4,6
/proc/1543/stat : 1543 (scip-2.1.1.4exp) R 1538 1543 31651 0 -1 4202496 37238 0 0 0 29611 133 0 0 20 0 1 0 269249212 106967040 24881 33554432000 4194304 10219143 140735704377408 140735704370360 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1543/statm: 26115 24881 840 1471 0 24635 0
Current children cumulated CPU time (s) 297.44
Current children cumulated vsize (KiB) 104460

[startup+299.1 s]
/proc/loadavg: 2.00 2.01 1.94 3/177 1587
/proc/meminfo: memFree=29343140/32873844 swapFree=6868/6868
[pid=1543] ppid=1538 vsize=104460 CPUtime=299.05 cores=0,2,4,6
/proc/1543/stat : 1543 (scip-2.1.1.4exp) R 1538 1543 31651 0 -1 4202496 37238 0 0 0 29771 134 0 0 20 0 1 0 269249212 106967040 24881 33554432000 4194304 10219143 140735704377408 140735704370360 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1543/statm: 26115 24881 840 1471 0 24635 0
Current children cumulated CPU time (s) 299.05
Current children cumulated vsize (KiB) 104460

[startup+299.5 s]
/proc/loadavg: 2.00 2.01 1.94 3/177 1587
/proc/meminfo: memFree=29343140/32873844 swapFree=6868/6868
[pid=1543] ppid=1538 vsize=104460 CPUtime=299.44 cores=0,2,4,6
/proc/1543/stat : 1543 (scip-2.1.1.4exp) R 1538 1543 31651 0 -1 4202496 37238 0 0 0 29810 134 0 0 20 0 1 0 269249212 106967040 24881 33554432000 4194304 10219143 140735704377408 140735704370360 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1543/statm: 26115 24881 840 1471 0 24635 0
Current children cumulated CPU time (s) 299.44
Current children cumulated vsize (KiB) 104460

[startup+299.9 s]
/proc/loadavg: 2.00 2.01 1.94 3/177 1587
/proc/meminfo: memFree=29343140/32873844 swapFree=6868/6868
[pid=1543] ppid=1538 vsize=82056 CPUtime=299.83 cores=0,2,4,6
/proc/1543/stat : 1543 (scip-2.1.1.4exp) R 1538 1543 31651 0 -1 4202496 37241 0 0 0 29849 134 0 0 20 0 1 0 269249212 84025344 19799 33554432000 4194304 10219143 140735704377408 140735704370648 7589262 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1543/statm: 20514 19799 843 1471 0 19034 0
Current children cumulated CPU time (s) 299.83
Current children cumulated vsize (KiB) 82056

Child status: 0
Real time (s): 299.907
CPU time (s): 299.855
CPU user time (s): 298.501
CPU system time (s): 1.35479
CPU usage (%): 99.9827
Max. virtual memory (cumulated for all children) (KiB): 132496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 298.501
system time used= 1.35479
maximum resident set size= 126480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37243
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= 15
involuntary context switches= 308

runsolver used 0.464929 second user time and 1.18282 second system time

The end

Launcher Data

Begin job on node105 at 2012-05-26 13:30:22
IDJOB=3692123
IDBENCH=2233
IDSOLVER=2271
FILE ID=node105/3692123-1338031822
RUNJOBID= node105-1338028215-1093
PBS_JOBID= 14624366
Free space on /tmp= 71512 MiB

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

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

MD5SUM BENCH= f480d2d56550630df651872786c078c9
RANDOM SEED=1584918698

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:        29587604 kB
Buffers:          214400 kB
Cached:          2251216 kB
SwapCached:         6340 kB
Active:           797172 kB
Inactive:        1719636 kB
Active(anon):      39244 kB
Inactive(anon):    14612 kB
Active(file):     757928 kB
Inactive(file):  1705024 kB
Unevictable:        6868 kB
Mlocked:            6868 kB
SwapTotal:      67108856 kB
SwapFree:       67101824 kB
Dirty:             14052 kB
Writeback:             0 kB
AnonPages:         52036 kB
Mapped:            18016 kB
Shmem:                 8 kB
Slab:             632200 kB
SReclaimable:      73920 kB
SUnreclaim:       558280 kB
KernelStack:        1480 kB
PageTables:         4344 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     163008 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71496 MiB
End job on node105 at 2012-05-26 13:35:22