Trace number 3693289

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 standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixedOPT939 322.286 322.345

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.85 3/176 1577
/proc/meminfo: memFree=28687892/32873844 swapFree=7100/7100
[pid=1577] ppid=1575 vsize=10456 CPUtime=0 cores=1,3,5,7
/proc/1577/stat : 1577 (scip-2.1.1.4sfi) R 1575 1577 32565 0 -1 4202496 1348 0 0 0 0 0 0 0 20 0 1 0 269275166 10706944 1302 33554432000 4194304 10169799 140735028696416 140735496776344 8724115 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1577/statm: 2678 1304 403 1459 0 1210 0

[startup+0.0678589 s]
/proc/loadavg: 2.00 2.00 1.85 3/176 1577
/proc/meminfo: memFree=28687892/32873844 swapFree=7100/7100
[pid=1577] ppid=1575 vsize=36232 CPUtime=0.06 cores=1,3,5,7
/proc/1577/stat : 1577 (scip-2.1.1.4sfi) R 1575 1577 32565 0 -1 4202496 7795 0 0 0 6 0 0 0 20 0 1 0 269275166 37101568 7750 33554432000 4194304 10169799 140735028696416 140735028562104 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1577/statm: 9058 7758 483 1459 0 7590 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 36232

[startup+0.100346 s]
/proc/loadavg: 2.00 2.00 1.85 3/176 1577
/proc/meminfo: memFree=28687892/32873844 swapFree=7100/7100
[pid=1577] ppid=1575 vsize=47128 CPUtime=0.09 cores=1,3,5,7
/proc/1577/stat : 1577 (scip-2.1.1.4sfi) R 1575 1577 32565 0 -1 4202496 10307 0 0 0 9 0 0 0 20 0 1 0 269275166 48259072 10261 33554432000 4194304 10169799 140735028696416 140735028562104 7547394 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1577/statm: 11782 10261 501 1459 0 10314 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 47128

[startup+0.300243 s]
/proc/loadavg: 2.00 2.00 1.85 3/176 1577
/proc/meminfo: memFree=28687892/32873844 swapFree=7100/7100
[pid=1577] ppid=1575 vsize=60436 CPUtime=0.29 cores=1,3,5,7
/proc/1577/stat : 1577 (scip-2.1.1.4sfi) R 1575 1577 32565 0 -1 4202496 14747 0 0 0 27 2 0 0 20 0 1 0 269275166 61886464 13653 33554432000 4194304 10169799 140735028696416 140735028562104 7543003 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1577/statm: 15109 13653 645 1459 0 13641 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 60436

[startup+0.70018 s]
/proc/loadavg: 2.00 2.00 1.85 3/176 1577
/proc/meminfo: memFree=28687892/32873844 swapFree=7100/7100
[pid=1577] ppid=1575 vsize=81412 CPUtime=0.69 cores=1,3,5,7
/proc/1577/stat : 1577 (scip-2.1.1.4sfi) R 1575 1577 32565 0 -1 4202496 20381 0 0 0 65 4 0 0 20 0 1 0 269275166 83365888 18583 33554432000 4194304 10169799 140735028696416 140735028562104 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1577/statm: 20353 18583 756 1459 0 18885 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 81412

[startup+1.50019 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 1578
/proc/meminfo: memFree=28615204/32873844 swapFree=7100/7100
[pid=1577] ppid=1575 vsize=82420 CPUtime=1.49 cores=1,3,5,7
/proc/1577/stat : 1577 (scip-2.1.1.4sfi) R 1575 1577 32565 0 -1 4202496 20889 0 0 0 145 4 0 0 20 0 1 0 269275166 84398080 19086 33554432000 4194304 10169799 140735028696416 140735028690872 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1577/statm: 20605 19086 756 1459 0 19137 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 82420

[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 1578
/proc/meminfo: memFree=28613832/32873844 swapFree=7100/7100
[pid=1577] ppid=1575 vsize=83984 CPUtime=3.09 cores=1,3,5,7
/proc/1577/stat : 1577 (scip-2.1.1.4sfi) R 1575 1577 32565 0 -1 4202496 22096 0 0 0 303 6 0 0 20 0 1 0 269275166 85999616 19605 33554432000 4194304 10169799 140735028696416 140735028690920 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1577/statm: 20996 19605 799 1459 0 19528 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83984

[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 1578
/proc/meminfo: memFree=28607260/32873844 swapFree=7100/7100
[pid=1577] ppid=1575 vsize=88448 CPUtime=6.29 cores=1,3,5,7
/proc/1577/stat : 1577 (scip-2.1.1.4sfi) R 1575 1577 32565 0 -1 4202496 23807 0 0 0 621 8 0 0 20 0 1 0 269275166 90570752 20637 33554432000 4194304 10169799 140735028696416 140735028692952 8035611 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1577/statm: 22112 20642 811 1459 0 20644 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 88448

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 1578
/proc/meminfo: memFree=28603232/32873844 swapFree=7100/7100
[pid=1577] ppid=1575 vsize=90512 CPUtime=12.69 cores=1,3,5,7
/proc/1577/stat : 1577 (scip-2.1.1.4sfi) R 1575 1577 32565 0 -1 4202496 33775 0 0 0 1257 12 0 0 20 0 1 0 269275166 92684288 21052 33554432000 4194304 10169799 140735028696416 140735028690744 8004368 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1577/statm: 22628 21052 849 1459 0 21160 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 90512

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 1578
/proc/meminfo: memFree=28599388/32873844 swapFree=7100/7100
[pid=1577] ppid=1575 vsize=91480 CPUtime=25.49 cores=1,3,5,7
/proc/1577/stat : 1577 (scip-2.1.1.4sfi) R 1575 1577 32565 0 -1 4202496 34001 0 0 0 2534 15 0 0 20 0 1 0 269275166 93675520 21278 33554432000 4194304 10169799 140735028696416 140735028690984 7707169 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1577/statm: 22870 21278 849 1459 0 21402 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 91480

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 1578
/proc/meminfo: memFree=28529344/32873844 swapFree=7100/7100
[pid=1577] ppid=1575 vsize=91852 CPUtime=51.08 cores=1,3,5,7
/proc/1577/stat : 1577 (scip-2.1.1.4sfi) R 1575 1577 32565 0 -1 4202496 34118 0 0 0 5086 22 0 0 20 0 1 0 269275166 94056448 21395 33554432000 4194304 10169799 140735028696416 140735028691400 7983272 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1577/statm: 22963 21395 849 1459 0 21495 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 91852

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.86 3/178 1579
/proc/meminfo: memFree=28521444/32873844 swapFree=7100/7100
[pid=1577] ppid=1575 vsize=92688 CPUtime=102.28 cores=1,3,5,7
/proc/1577/stat : 1577 (scip-2.1.1.4sfi) R 1575 1577 32565 0 -1 4202496 34329 0 0 0 10195 33 0 0 20 0 1 0 269275166 94912512 21606 33554432000 4194304 10169799 140735028696416 140735028692392 7908754 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1577/statm: 23172 21606 849 1459 0 21704 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 92688

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/176 1579
/proc/meminfo: memFree=28515992/32873844 swapFree=7100/7100
[pid=1577] ppid=1575 vsize=94924 CPUtime=162.26 cores=1,3,5,7
/proc/1577/stat : 1577 (scip-2.1.1.4sfi) R 1575 1577 32565 0 -1 4202496 34905 0 0 0 16179 47 0 0 20 0 1 0 269275166 97202176 22577 33554432000 4194304 10169799 140735028696416 140735028690696 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1577/statm: 23731 22577 849 1459 0 22263 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 94924

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/177 1580
/proc/meminfo: memFree=28586788/32873844 swapFree=7100/7100
[pid=1577] ppid=1575 vsize=97484 CPUtime=222.25 cores=1,3,5,7
/proc/1577/stat : 1577 (scip-2.1.1.4sfi) R 1575 1577 32565 0 -1 4202496 35533 0 0 0 22162 63 0 0 20 0 1 0 269275166 99823616 23205 33554432000 4194304 10169799 140735028696416 140735028692392 7983406 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1577/statm: 24371 23205 849 1459 0 22903 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 97484

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/177 1580
/proc/meminfo: memFree=28584364/32873844 swapFree=7100/7100
[pid=1577] ppid=1575 vsize=102132 CPUtime=282.24 cores=1,3,5,7
/proc/1577/stat : 1577 (scip-2.1.1.4sfi) R 1575 1577 32565 0 -1 4202496 36705 0 0 0 28148 76 0 0 20 0 1 0 269275166 104583168 24375 33554432000 4194304 10169799 140735028696416 140735028690968 8044420 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1577/statm: 25533 24375 849 1459 0 24065 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 102132

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

[startup+307.1 s]
/proc/loadavg: 2.00 2.00 1.88 3/177 1580
/proc/meminfo: memFree=28582752/32873844 swapFree=7100/7100
[pid=1577] ppid=1575 vsize=102340 CPUtime=307.03 cores=1,3,5,7
/proc/1577/stat : 1577 (scip-2.1.1.4sfi) R 1575 1577 32565 0 -1 4202496 36768 0 0 0 30622 81 0 0 20 0 1 0 269275166 104796160 24438 33554432000 4194304 10169799 140735028696416 140735028692616 5119491 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1577/statm: 25585 24438 849 1459 0 24117 0
Current children cumulated CPU time (s) 307.03
Current children cumulated vsize (KiB) 102340

[startup+313.507 s]
/proc/loadavg: 2.00 2.00 1.88 3/177 1580
/proc/meminfo: memFree=28583496/32873844 swapFree=7100/7100
[pid=1577] ppid=1575 vsize=102340 CPUtime=313.44 cores=1,3,5,7
/proc/1577/stat : 1577 (scip-2.1.1.4sfi) R 1575 1577 32565 0 -1 4202496 36768 0 0 0 31261 83 0 0 20 0 1 0 269275166 104796160 24438 33554432000 4194304 10169799 140735028696416 140735028690872 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1577/statm: 25585 24438 849 1459 0 24117 0
Current children cumulated CPU time (s) 313.44
Current children cumulated vsize (KiB) 102340

[startup+316.7 s]
/proc/loadavg: 2.00 2.00 1.88 3/177 1580
/proc/meminfo: memFree=28582876/32873844 swapFree=7100/7100
[pid=1577] ppid=1575 vsize=102340 CPUtime=316.64 cores=1,3,5,7
/proc/1577/stat : 1577 (scip-2.1.1.4sfi) R 1575 1577 32565 0 -1 4202496 36768 0 0 0 31580 84 0 0 20 0 1 0 269275166 104796160 24438 33554432000 4194304 10169799 140735028696416 140735028692936 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1577/statm: 25585 24438 849 1459 0 24117 0
Current children cumulated CPU time (s) 316.64
Current children cumulated vsize (KiB) 102340

[startup+319.9 s]
/proc/loadavg: 2.00 2.00 1.88 3/177 1580
/proc/meminfo: memFree=28583248/32873844 swapFree=7100/7100
[pid=1577] ppid=1575 vsize=102340 CPUtime=319.83 cores=1,3,5,7
/proc/1577/stat : 1577 (scip-2.1.1.4sfi) R 1575 1577 32565 0 -1 4202496 36768 0 0 0 31899 84 0 0 20 0 1 0 269275166 104796160 24438 33554432000 4194304 10169799 140735028696416 140735028690808 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1577/statm: 25585 24438 849 1459 0 24117 0
Current children cumulated CPU time (s) 319.83
Current children cumulated vsize (KiB) 102340

[startup+321.5 s]
/proc/loadavg: 2.00 2.00 1.88 3/177 1580
/proc/meminfo: memFree=28582752/32873844 swapFree=7100/7100
[pid=1577] ppid=1575 vsize=102340 CPUtime=321.43 cores=1,3,5,7
/proc/1577/stat : 1577 (scip-2.1.1.4sfi) R 1575 1577 32565 0 -1 4202496 36768 0 0 0 32058 85 0 0 20 0 1 0 269275166 104796160 24438 33554432000 4194304 10169799 140735028696416 140735028690840 5120223 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1577/statm: 25585 24438 849 1459 0 24117 0
Current children cumulated CPU time (s) 321.43
Current children cumulated vsize (KiB) 102340

[startup+321.9 s]
/proc/loadavg: 2.00 2.00 1.88 3/177 1580
/proc/meminfo: memFree=28582752/32873844 swapFree=7100/7100
[pid=1577] ppid=1575 vsize=102340 CPUtime=321.83 cores=1,3,5,7
/proc/1577/stat : 1577 (scip-2.1.1.4sfi) R 1575 1577 32565 0 -1 4202496 36768 0 0 0 32098 85 0 0 20 0 1 0 269275166 104796160 24438 33554432000 4194304 10169799 140735028696416 140735028690840 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1577/statm: 25585 24438 849 1459 0 24117 0
Current children cumulated CPU time (s) 321.83
Current children cumulated vsize (KiB) 102340

[startup+322.307 s]
/proc/loadavg: 2.00 2.00 1.88 3/177 1580
/proc/meminfo: memFree=28584612/32873844 swapFree=7100/7100
[pid=1577] ppid=1575 vsize=96712 CPUtime=322.24 cores=1,3,5,7
/proc/1577/stat : 1577 (scip-2.1.1.4sfi) R 1575 1577 32565 0 -1 4202496 36771 0 0 0 32139 85 0 0 20 0 1 0 269275166 99033088 23127 33554432000 4194304 10169799 140735028696416 140735028690840 5757893 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1577/statm: 24178 23127 852 1459 0 22710 0
Current children cumulated CPU time (s) 322.24
Current children cumulated vsize (KiB) 96712

Child status: 0
Real time (s): 322.345
CPU time (s): 322.286
CPU user time (s): 321.424
CPU system time (s): 0.861868
CPU usage (%): 99.9817
Max. virtual memory (cumulated for all children) (KiB): 127264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 321.424
system time used= 0.861868
maximum resident set size= 121400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36773
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= 18
involuntary context switches= 332

runsolver used 1.19582 second user time and 3.39148 second system time

The end

Launcher Data

Begin job on node103 at 2012-05-26 13:24:26
IDJOB=3693289
IDBENCH=2233
IDSOLVER=2272
FILE ID=node103/3693289-1338031466
RUNJOBID= node103-1338029661-1335
PBS_JOBID= 14624368
Free space on /tmp= 71560 MiB

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

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

MD5SUM BENCH= f480d2d56550630df651872786c078c9
RANDOM SEED=1193506404

node103.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.189
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	: 5332.37
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.189
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.189
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.92
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.189
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.189
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28688272 kB
Buffers:          244636 kB
Cached:          3057668 kB
SwapCached:            0 kB
Active:           994476 kB
Inactive:        2418416 kB
Active(anon):     113012 kB
Inactive(anon):        0 kB
Active(file):     881464 kB
Inactive(file):  2418416 kB
Unevictable:        7100 kB
Mlocked:            7100 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             28488 kB
Writeback:             0 kB
AnonPages:        117372 kB
Mapped:            17384 kB
Shmem:               200 kB
Slab:             633988 kB
SReclaimable:      76032 kB
SUnreclaim:       557956 kB
KernelStack:        1464 kB
PageTables:         4276 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     227876 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= 71548 MiB
End job on node103 at 2012-05-26 13:29:48