Trace number 1869205

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 NameAnswerobjCPU timeWall clock time
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2OPT939 18.9801 19.0056

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

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-1869205-1245163485/watcher-1869205-1245163485 -o /tmp/evaluation-result-1869205-1245163485/solver-1869205-1245163485 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869205-1245163485.opb 

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.79 1.93 1.94 4/73 2080
/proc/meminfo: memFree=1824408/2055920 swapFree=4192948/4192956
[pid=2080] ppid=2078 vsize=9740 CPUtime=0
/proc/2080/stat : 2080 (pbscip.linux.x8) R 2078 2080 1946 0 -1 4194304 1446 0 0 0 0 0 0 0 19 0 1 0 183947105 9973760 1430 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/2080/statm: 2435 1430 363 1256 0 1174 0

[startup+0.109586 s]
/proc/loadavg: 1.79 1.93 1.94 4/73 2080
/proc/meminfo: memFree=1824408/2055920 swapFree=4192948/4192956
[pid=2080] ppid=2078 vsize=18988 CPUtime=0.1
/proc/2080/stat : 2080 (pbscip.linux.x8) R 2078 2080 1946 0 -1 4194304 3741 0 0 0 9 1 0 0 20 0 1 0 183947105 19443712 3725 1992294400 4194304 9342243 548682068736 18446744073709551615 8236933 0 0 4096 0 0 0 0 17 1 0 0
/proc/2080/statm: 4747 3725 378 1256 0 3486 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 18988

[startup+0.207349 s]
/proc/loadavg: 1.79 1.93 1.94 4/73 2080
/proc/meminfo: memFree=1824408/2055920 swapFree=4192948/4192956
[pid=2080] ppid=2078 vsize=22624 CPUtime=0.19
/proc/2080/stat : 2080 (pbscip.linux.x8) R 2078 2080 1946 0 -1 4194304 4678 0 0 0 18 1 0 0 20 0 1 0 183947105 23166976 4662 1992294400 4194304 9342243 548682068736 18446744073709551615 5542574 0 0 4096 0 0 0 0 17 1 0 0
/proc/2080/statm: 5656 4662 378 1256 0 4395 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 22624

[startup+0.306381 s]
/proc/loadavg: 1.79 1.93 1.94 4/73 2080
/proc/meminfo: memFree=1824408/2055920 swapFree=4192948/4192956
[pid=2080] ppid=2078 vsize=40700 CPUtime=0.29
/proc/2080/stat : 2080 (pbscip.linux.x8) R 2078 2080 1946 0 -1 4194304 9560 0 0 0 26 3 0 0 21 0 1 0 183947105 41676800 9190 1992294400 4194304 9342243 548682068736 18446744073709551615 4685941 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2080/statm: 10175 9190 426 1256 0 8914 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40700

[startup+0.701406 s]
/proc/loadavg: 1.79 1.93 1.94 4/73 2080
/proc/meminfo: memFree=1824408/2055920 swapFree=4192948/4192956
[pid=2080] ppid=2078 vsize=54084 CPUtime=0.69
/proc/2080/stat : 2080 (pbscip.linux.x8) R 2078 2080 1946 0 -1 4194304 12787 0 0 0 63 6 0 0 25 0 1 0 183947105 55382016 12417 1992294400 4194304 9342243 548682068736 18446744073709551615 5061266 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2080/statm: 13521 12417 492 1256 0 12260 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 54084

[startup+1.50376 s]
/proc/loadavg: 1.79 1.93 1.94 2/74 2081
/proc/meminfo: memFree=1763664/2055920 swapFree=4192948/4192956
[pid=2080] ppid=2078 vsize=72644 CPUtime=1.49
/proc/2080/stat : 2080 (pbscip.linux.x8) R 2078 2080 1946 0 -1 4194304 16421 0 0 0 141 8 0 0 25 0 1 0 183947105 74387456 16034 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2080/statm: 18161 16034 617 1256 0 16900 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 72644

[startup+3.10568 s]
/proc/loadavg: 1.73 1.92 1.93 3/74 2081
/proc/meminfo: memFree=1761680/2055920 swapFree=4192948/4192956
[pid=2080] ppid=2078 vsize=73012 CPUtime=3.09
/proc/2080/stat : 2080 (pbscip.linux.x8) R 2078 2080 1946 0 -1 4194304 16822 0 0 0 300 9 0 0 25 0 1 0 183947105 74764288 16435 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2080/statm: 18253 16435 619 1256 0 16992 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 73012

[startup+6.30105 s]
/proc/loadavg: 1.73 1.92 1.93 4/74 2081
/proc/meminfo: memFree=1758672/2055920 swapFree=4192948/4192956
[pid=2080] ppid=2078 vsize=76192 CPUtime=6.28
/proc/2080/stat : 2080 (pbscip.linux.x8) R 2078 2080 1946 0 -1 4194304 17595 0 0 0 619 9 0 0 25 0 1 0 183947105 78020608 17205 1992294400 4194304 9342243 548682068736 18446744073709551615 6939160 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2080/statm: 19048 17205 646 1256 0 17787 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 76192

[startup+12.7019 s]
/proc/loadavg: 1.77 1.92 1.93 2/74 2081
/proc/meminfo: memFree=1754704/2055920 swapFree=4192948/4192956
[pid=2080] ppid=2078 vsize=81676 CPUtime=12.68
/proc/2080/stat : 2080 (pbscip.linux.x8) R 2078 2080 1946 0 -1 4194304 19407 0 0 0 1254 14 0 0 25 0 1 0 183947105 83636224 18251 1992294400 4194304 9342243 548682068736 18446744073709551615 6952849 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2080/statm: 20419 18251 681 1256 0 19158 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 81676

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

[startup+12.8029 s]
/proc/loadavg: 1.77 1.92 1.93 2/74 2081
/proc/meminfo: memFree=1754704/2055920 swapFree=4192948/4192956
[pid=2080] ppid=2078 vsize=81676 CPUtime=12.78
/proc/2080/stat : 2080 (pbscip.linux.x8) R 2078 2080 1946 0 -1 4194304 19407 0 0 0 1264 14 0 0 25 0 1 0 183947105 83636224 18251 1992294400 4194304 9342243 548682068736 18446744073709551615 6952990 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2080/statm: 20419 18251 681 1256 0 19158 0
Current children cumulated CPU time (s) 12.78
Current children cumulated vsize (KiB) 81676

[startup+16.0012 s]
/proc/loadavg: 1.77 1.92 1.93 3/74 2081
/proc/meminfo: memFree=1754000/2055920 swapFree=4192948/4192956
[pid=2080] ppid=2078 vsize=82660 CPUtime=15.98
/proc/2080/stat : 2080 (pbscip.linux.x8) R 2078 2080 1946 0 -1 4194304 19878 0 0 0 1580 18 0 0 25 0 1 0 183947105 84643840 18271 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2080/statm: 20665 18271 681 1256 0 19404 0
Current children cumulated CPU time (s) 15.98
Current children cumulated vsize (KiB) 82660

[startup+17.6015 s]
/proc/loadavg: 1.87 1.94 1.94 4/74 2081
/proc/meminfo: memFree=1753040/2055920 swapFree=4192948/4192956
[pid=2080] ppid=2078 vsize=83616 CPUtime=17.58
/proc/2080/stat : 2080 (pbscip.linux.x8) R 2078 2080 1946 0 -1 4194304 20340 0 0 0 1739 19 0 0 25 0 1 0 183947105 85622784 18530 1992294400 4194304 9342243 548682068736 18446744073709551615 6342056 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2080/statm: 20904 18530 681 1256 0 19643 0
Current children cumulated CPU time (s) 17.58
Current children cumulated vsize (KiB) 83616

[startup+18.4016 s]
/proc/loadavg: 1.87 1.94 1.94 4/74 2081
/proc/meminfo: memFree=1753040/2055920 swapFree=4192948/4192956
[pid=2080] ppid=2078 vsize=83580 CPUtime=18.38
/proc/2080/stat : 2080 (pbscip.linux.x8) R 2078 2080 1946 0 -1 4194304 20849 0 0 0 1816 22 0 0 25 0 1 0 183947105 85585920 18756 1992294400 4194304 9342243 548682068736 18446744073709551615 6960228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2080/statm: 20895 18756 684 1256 0 19634 0
Current children cumulated CPU time (s) 18.38
Current children cumulated vsize (KiB) 83580

[startup+18.8104 s]
/proc/loadavg: 1.87 1.94 1.94 2/74 2081
/proc/meminfo: memFree=1751952/2055920 swapFree=4192948/4192956
[pid=2080] ppid=2078 vsize=83580 CPUtime=18.79
/proc/2080/stat : 2080 (pbscip.linux.x8) R 2078 2080 1946 0 -1 4194304 20953 0 0 0 1856 23 0 0 25 0 1 0 183947105 85585920 18860 1992294400 4194304 9342243 548682068736 18446744073709551615 6262071 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2080/statm: 20895 18860 684 1256 0 19634 0
Current children cumulated CPU time (s) 18.79
Current children cumulated vsize (KiB) 83580

[startup+19.0025 s]
/proc/loadavg: 1.87 1.94 1.94 2/74 2081
/proc/meminfo: memFree=1751952/2055920 swapFree=4192948/4192956
[pid=2080] ppid=2078 vsize=45076 CPUtime=18.97
/proc/2080/stat : 2080 (pbscip.linux.x8) R 2078 2080 1946 0 -1 4194304 20958 0 0 0 1873 24 0 0 25 0 1 0 183947105 46157824 10405 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 1 0 0
/proc/2080/statm: 11269 10405 7469 1256 0 10008 0
Current children cumulated CPU time (s) 18.97
Current children cumulated vsize (KiB) 45076

Child status: 0
Real time (s): 19.0056
CPU time (s): 18.9801
CPU user time (s): 18.7332
CPU system time (s): 0.246962
CPU usage (%): 99.8656
Max. virtual memory (cumulated for all children) (KiB): 83616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.7332
system time used= 0.246962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20963
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= 13
involuntary context switches= 198

runsolver used 0.020996 second user time and 0.093985 second system time

The end

Launcher Data 

Begin job on node85 at 2009-06-16 16:44:45
IDJOB=1869205
IDBENCH=2233
IDSOLVER=684
FILE ID=node85/1869205-1245163485
PBS_JOBID= 9363859
Free space on /tmp= 126844 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
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-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1869205-1245163485/watcher-1869205-1245163485 -o /tmp/evaluation-result-1869205-1245163485/solver-1869205-1245163485 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869205-1245163485.opb

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

MD5SUM BENCH= f480d2d56550630df651872786c078c9
RANDOM SEED=371350304

node85.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.213
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5931.00
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.213
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1825272 kB
Buffers:         24108 kB
Cached:         106512 kB
SwapCached:          8 kB
Active:          58680 kB
Inactive:       101748 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1825272 kB
SwapTotal:     4192956 kB
SwapFree:      4192948 kB
Dirty:           12268 kB
Writeback:           0 kB
Mapped:          41264 kB
Slab:            55192 kB
Committed_AS:   584848 kB
PageTables:       2048 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 126832 MiB
End job on node85 at 2009-06-16 16:45:05