Trace number 2665546

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
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solverOPT939 17.1554 17.1599

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

Verifier Data 

OK	939

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.07 1.07 1.01 3/106 28583
/proc/meminfo: memFree=1823724/2059040 swapFree=4140108/4192956
[pid=28583] ppid=28581 vsize=8260 CPUtime=0
/proc/28583/stat : 28583 (pbscip.linux.x8) R 28581 28583 27567 0 -1 4202496 1010 0 0 0 0 0 0 0 20 0 1 0 24114226 8458240 930 1992294400 4194304 9819077 140735335132992 18446744073709551615 8718976 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28583/statm: 2065 931 366 1374 0 686 0

[startup+0.046504 s]
/proc/loadavg: 1.07 1.07 1.01 3/106 28583
/proc/meminfo: memFree=1823724/2059040 swapFree=4140108/4192956
[pid=28583] ppid=28581 vsize=17472 CPUtime=0.04
/proc/28583/stat : 28583 (pbscip.linux.x8) R 28581 28583 27567 0 -1 4202496 3333 0 0 0 3 1 0 0 20 0 1 0 24114226 17891328 3252 1992294400 4194304 9819077 140735335132992 18446744073709551615 8655842 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28583/statm: 4368 3252 388 1374 0 2989 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 17472

[startup+0.10151 s]
/proc/loadavg: 1.07 1.07 1.01 3/106 28583
/proc/meminfo: memFree=1823724/2059040 swapFree=4140108/4192956
[pid=28583] ppid=28581 vsize=18544 CPUtime=0.09
/proc/28583/stat : 28583 (pbscip.linux.x8) R 28581 28583 27567 0 -1 4202496 3615 0 0 0 8 1 0 0 20 0 1 0 24114226 18989056 3534 1992294400 4194304 9819077 140735335132992 18446744073709551615 8671395 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28583/statm: 4636 3534 388 1374 0 3257 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18544

[startup+0.301534 s]
/proc/loadavg: 1.07 1.07 1.01 3/106 28583
/proc/meminfo: memFree=1823724/2059040 swapFree=4140108/4192956
[pid=28583] ppid=28581 vsize=36912 CPUtime=0.29
/proc/28583/stat : 28583 (pbscip.linux.x8) R 28581 28583 27567 0 -1 4202496 8583 0 0 0 26 3 0 0 20 0 1 0 24114226 37797888 8148 1992294400 4194304 9819077 140735335132992 18446744073709551615 6181137 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28583/statm: 9228 8148 429 1374 0 7849 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36912

[startup+0.70158 s]
/proc/loadavg: 1.07 1.07 1.01 3/106 28583
/proc/meminfo: memFree=1823724/2059040 swapFree=4140108/4192956
[pid=28583] ppid=28581 vsize=54660 CPUtime=0.69
/proc/28583/stat : 28583 (pbscip.linux.x8) R 28581 28583 27567 0 -1 4202496 14921 0 0 0 61 8 0 0 20 0 1 0 24114226 55971840 12373 1992294400 4194304 9819077 140735335132992 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28583/statm: 13665 12373 511 1374 0 12286 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 54660

[startup+1.50167 s]
/proc/loadavg: 1.07 1.07 1.01 2/107 28584
/proc/meminfo: memFree=1775976/2059040 swapFree=4140108/4192956
[pid=28583] ppid=28581 vsize=75752 CPUtime=1.49
/proc/28583/stat : 28583 (pbscip.linux.x8) R 28581 28583 27567 0 -1 4202496 19969 0 0 0 139 10 0 0 22 0 1 0 24114226 77570048 16511 1992294400 4194304 9819077 140735335132992 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28583/statm: 18938 16511 633 1374 0 17559 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 75752

[startup+3.10186 s]
/proc/loadavg: 1.07 1.07 1.01 2/107 28584
/proc/meminfo: memFree=1759484/2059040 swapFree=4140108/4192956
[pid=28583] ppid=28581 vsize=76100 CPUtime=3.09
/proc/28583/stat : 28583 (pbscip.linux.x8) R 28581 28583 27567 0 -1 4202496 22971 0 0 0 297 12 0 0 25 0 1 0 24114226 77926400 16561 1992294400 4194304 9819077 140735335132992 18446744073709551615 7294660 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28583/statm: 19025 16561 635 1374 0 17646 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 76100

[startup+6.30123 s]
/proc/loadavg: 1.06 1.07 1.01 2/107 28584
/proc/meminfo: memFree=1756260/2059040 swapFree=4140108/4192956
[pid=28583] ppid=28581 vsize=80756 CPUtime=6.29
/proc/28583/stat : 28583 (pbscip.linux.x8) R 28581 28583 27567 0 -1 4202496 33188 0 0 0 611 18 0 0 25 0 1 0 24114226 82694144 17616 1992294400 4194304 9819077 140735335132992 18446744073709551615 4482881 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28583/statm: 20189 17616 676 1374 0 18810 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 80756

[startup+12.701 s]
/proc/loadavg: 1.06 1.07 1.01 2/107 28584
/proc/meminfo: memFree=1753036/2059040 swapFree=4140108/4192956
[pid=28583] ppid=28581 vsize=84108 CPUtime=12.69
/proc/28583/stat : 28583 (pbscip.linux.x8) R 28581 28583 27567 0 -1 4202496 39288 0 0 0 1240 29 0 0 25 0 1 0 24114226 86126592 18084 1992294400 4194304 9819077 140735335132992 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28583/statm: 21027 18084 695 1374 0 19648 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84108

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

[startup+14.3082 s]
/proc/loadavg: 1.05 1.07 1.01 2/107 28584
/proc/meminfo: memFree=1753408/2059040 swapFree=4140108/4192956
[pid=28583] ppid=28581 vsize=84416 CPUtime=14.3
/proc/28583/stat : 28583 (pbscip.linux.x8) R 28581 28583 27567 0 -1 4202496 40650 0 0 0 1399 31 0 0 25 0 1 0 24114226 86441984 18136 1992294400 4194304 9819077 140735335132992 18446744073709551615 7311733 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28583/statm: 21104 18136 694 1374 0 19725 0
Current children cumulated CPU time (s) 14.3
Current children cumulated vsize (KiB) 84416

[startup+15.9013 s]
/proc/loadavg: 1.05 1.07 1.01 2/107 28584
/proc/meminfo: memFree=1753284/2059040 swapFree=4140108/4192956
[pid=28583] ppid=28581 vsize=84944 CPUtime=15.89
/proc/28583/stat : 28583 (pbscip.linux.x8) R 28581 28583 27567 0 -1 4202496 43729 0 0 0 1553 36 0 0 25 0 1 0 24114226 86982656 18241 1992294400 4194304 9819077 140735335132992 18446744073709551615 4482881 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28583/statm: 21236 18241 698 1374 0 19857 0
Current children cumulated CPU time (s) 15.89
Current children cumulated vsize (KiB) 84944

[startup+16.7014 s]
/proc/loadavg: 1.05 1.07 1.01 2/107 28584
/proc/meminfo: memFree=1752416/2059040 swapFree=4140108/4192956
[pid=28583] ppid=28581 vsize=85440 CPUtime=16.69
/proc/28583/stat : 28583 (pbscip.linux.x8) R 28581 28583 27567 0 -1 4202496 45995 0 0 0 1630 39 0 0 25 0 1 0 24114226 87490560 18385 1992294400 4194304 9819077 140735335132992 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28583/statm: 21360 18385 698 1374 0 19981 0
Current children cumulated CPU time (s) 16.69
Current children cumulated vsize (KiB) 85440

[startup+17.1015 s]
/proc/loadavg: 1.05 1.07 1.01 2/107 28584
/proc/meminfo: memFree=1752416/2059040 swapFree=4140108/4192956
[pid=28583] ppid=28581 vsize=77648 CPUtime=17.09
/proc/28583/stat : 28583 (pbscip.linux.x8) R 28581 28583 27567 0 -1 4202496 47005 0 0 0 1668 41 0 0 25 0 1 0 24114226 79511552 16820 1992294400 4194304 9819077 140735335132992 18446744073709551615 4699932 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28583/statm: 19412 16820 694 1374 0 18033 0
Current children cumulated CPU time (s) 17.09
Current children cumulated vsize (KiB) 77648

Child status: 0
Real time (s): 17.1599
CPU time (s): 17.1554
CPU user time (s): 16.7345
CPU system time (s): 0.420936
CPU usage (%): 99.9736
Max. virtual memory (cumulated for all children) (KiB): 85564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.7345
system time used= 0.420936
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47016
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 50

runsolver used 0.025996 second user time and 0.099984 second system time

The end

Launcher Data 

Begin job on node006 at 2010-06-14 05:11:46
IDJOB=2665546
IDBENCH=2233
IDSOLVER=1168
FILE ID=node006/2665546-1276485105
PBS_JOBID= 11173379
Free space on /tmp= 62472 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
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/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665546-1276485105/watcher-2665546-1276485105 -o /tmp/evaluation-result-2665546-1276485105/solver-2665546-1276485105 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665546-1276485105.opb -t 1800 -m 1800

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

MD5SUM BENCH= f480d2d56550630df651872786c078c9
RANDOM SEED=166222030

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

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1824128 kB
Buffers:         51200 kB
Cached:         103248 kB
SwapCached:       6484 kB
Active:          95060 kB
Inactive:        73056 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1824128 kB
SwapTotal:     4192956 kB
SwapFree:      4140108 kB
Dirty:            6708 kB
Writeback:           0 kB
AnonPages:       11948 kB
Mapped:          12916 kB
Slab:            44936 kB
PageTables:       3976 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181708 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62468 MiB
End job on node006 at 2010-06-14 05:12:03