Trace number 3690972

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixedSAT17 1796.82 1797.11

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:70:4.5:0.95:98.opb
MD5SUMdae2a99f19ab3cbb5b0fd1a29cad1e80
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark20.7099
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 203
Optimality of the best value was proved NO
Number of variables10989
Total number of constraints12472
Number of constraints which are clauses10469
Number of constraints which are cardinality constraints (but not clauses)2003
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint25
Number of terms in the objective function 10989
Biggest coefficient in the objective function 5985
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 32028
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 5985
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 32028
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

0.00/0.00	c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00	c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3690972-1338018753.opb>
0.00/0.05	c original problem has 10989 variables (10989 bin, 0 int, 0 impl, 0 cont) and 12472 constraints
0.00/0.05	c problem read in 0.05
0.09/0.12	o 20058
0.09/0.13	c feasible solution found by trivial heuristic, objective value  2.005800e+04
0.09/0.13	c presolving:
0.09/0.18	c (round 1) 70 del vars, 70 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 51474 impls, 14 clqs
0.19/0.25	c (round 2) 70 del vars, 71 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 12321 upgd conss, 51474 impls, 14 clqs
0.29/0.30	c (round 3) 70 del vars, 74 del conss, 4 add conss, 1 chg bounds, 3 chg sides, 5 chg coeffs, 12401 upgd conss, 51510 impls, 14 clqs
0.29/0.37	c    (0.4s) probing: 57/10919 (0.5%) - 0 fixings, 0 aggregations, 8 implications, 0 bound changes
0.29/0.37	c    (0.4s) probing aborted: 50/50 successive totally useless probings
0.29/0.38	c presolving (4 rounds):
0.29/0.38	c  70 deleted vars, 74 deleted constraints, 4 added constraints, 1 tightened bounds, 0 added holes, 3 changed sides, 5 changed coefficients
0.29/0.38	c  51558 implications, 14 cliques
0.29/0.38	c presolved problem has 10919 variables (10919 bin, 0 int, 0 impl, 0 cont) and 12402 constraints
0.29/0.38	c    1987 constraints of type <knapsack>
0.29/0.38	c   10396 constraints of type <setppc>
0.29/0.38	c      19 constraints of type <logicor>
0.29/0.38	c transformed objective value is always integral (scale: 1)
0.29/0.38	c Presolving Time: 0.30
0.29/0.38	c - non default parameters ----------------------------------------------------------------------
0.29/0.38	c # SCIP version 2.1.1.4
0.29/0.38	c 
0.29/0.38	c # maximal time in seconds to run
0.29/0.38	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.38	c limits/time = 1797
0.29/0.38	c 
0.29/0.38	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.38	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.38	c limits/memory = 13950
0.29/0.38	c 
0.29/0.38	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.29/0.38	c # [type: int, range: [1,2], default: 1]
0.29/0.38	c timing/clocktype = 2
0.29/0.38	c 
0.29/0.38	c # belongs reading time to solving time?
0.29/0.38	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.38	c timing/reading = TRUE
0.29/0.38	c 
0.29/0.38	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.29/0.38	c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.38	c separating/rapidlearning/freq = 0
0.29/0.38	c 
0.29/0.38	c -----------------------------------------------------------------------------------------------
0.29/0.38	c start solving
0.29/0.40	c 
0.39/0.40	o 20045
0.39/0.40	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.39/0.40	c t 0.4s|     1 |     0 |     0 |     - |  41M|   0 |   - |  10k|  12k|   0 |   0 |   0 |   0 |   0 |      --      | 2.004500e+04 |    Inf 
0.39/0.45	o 9986
0.39/0.45	c b 0.5s|     1 |     0 |     0 |     - |  52M|   0 |   - |  10k|  12k|  10k|  12k|   0 |   0 |   0 |      --      | 9.986000e+03 |    Inf 
17.39/17.49	c  17.5s|     1 |     0 | 19802 |     - |  52M|   0 |3286 |  10k|  12k|  10k|  12k|   0 |   0 |   0 | 1.150000e+01 | 9.986000e+03 |  Large 
17.69/17.78	o 3975
17.69/17.78	c R17.8s|     1 |     0 | 19802 |     - |  52M|   0 |3286 |  10k|  12k|  10k|  12k|   0 |   0 |   0 | 1.150000e+01 | 3.975000e+03 |  Large 
17.99/18.08	o 3974
17.99/18.08	c s18.1s|     1 |     0 | 19802 |     - |  52M|   0 |3286 |  10k|  12k|  10k|  12k|   0 |   0 |   0 | 1.150000e+01 | 3.974000e+03 |  Large 
17.99/18.09	o 1096
17.99/18.09	c b18.1s|     1 |     0 | 19802 |     - |  52M|   0 |3286 |  10k|  12k|  10k|  12k|   0 |   0 |   0 | 1.150000e+01 | 1.096000e+03 |9430.43%
20.19/20.25	c  20.2s|     1 |     0 | 21061 |     - |  55M|   0 |3317 |  10k|  12k|  10k|  12k|  11 |   0 |   0 | 1.200000e+01 | 1.096000e+03 |9033.33%
20.49/20.57	o 527
20.49/20.57	c b20.6s|     1 |     0 | 21061 |     - |  56M|   0 |3317 |  10k|  12k|  10k|  12k|  11 |   0 |   0 | 1.200000e+01 | 5.270000e+02 |4291.67%
22.58/22.60	c  22.6s|     1 |     0 | 21497 |     - |  60M|   0 |3390 |  10k|  12k|  10k|  12k|  17 |   0 |   0 | 1.200000e+01 | 5.270000e+02 |4291.67%
22.88/22.90	o 411
22.88/22.90	c b22.9s|     1 |     0 | 21497 |     - |  60M|   0 |3390 |  10k|  12k|  10k|  12k|  17 |   0 |   0 | 1.200000e+01 | 4.110000e+02 |3325.00%
25.49/25.52	c  25.5s|     1 |     0 | 21647 |     - |  60M|   0 |3449 |  10k|  12k|  10k|  12k|  19 |   0 |   0 | 1.200000e+01 | 4.110000e+02 |3325.00%
25.78/25.82	o 390
25.78/25.82	c b25.8s|     1 |     0 | 21647 |     - |  60M|   0 |3449 |  10k|  12k|  10k|  12k|  19 |   0 |   0 | 1.200000e+01 | 3.900000e+02 |3150.00%
85.68/85.77	o 22
85.68/85.77	c E85.8s|     1 |     0 | 21647 |     - |  60M|   0 |3449 |  10k|  12k|  10k|  12k|  19 |   0 |   0 | 1.200000e+01 | 2.200000e+01 |  83.33%
85.78/85.82	c  85.8s|     1 |     0 | 21647 |     - |  60M|   0 |3449 |  10k|  12k|  10k|  12k|  19 |   0 |   0 | 1.200000e+01 | 2.200000e+01 |  83.33%
85.78/85.82	o 18
85.78/85.82	c b85.8s|     1 |     0 | 21647 |     - |  60M|   0 |3449 |  10k|  12k|  10k|  12k|  19 |   0 |   0 | 1.200000e+01 | 1.800000e+01 |  50.00%
98.27/98.37	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
98.27/98.37	c  98.4s|     1 |     2 | 21647 |     - |  60M|   0 |3449 |  10k|  12k|  10k|  12k|  19 |   0 |  21 | 1.200000e+01 | 1.800000e+01 |  50.00%
388.43/388.59	c   389s|   100 |   101 |115838 | 951.4 |  63M|  19 |3640 |  10k|  12k|  10k|  12k|  19 |   0 | 264 | 1.200000e+01 | 1.800000e+01 |  50.00%
536.92/537.06	c   537s|   200 |   201 |187571 | 833.8 |  64M|  29 |3717 |  10k|  12k|  10k|  12k|  19 |   0 | 344 | 1.200000e+01 | 1.800000e+01 |  50.00%
537.61/537.71	o 17
537.61/537.71	c C 538s|   201 |   202 |187795 | 830.7 |  64M|  29 |3674 |  10k|  12k|  10k|  12k|  19 |   0 | 344 | 1.200000e+01 | 1.700000e+01 |  41.67%
672.38/672.55	c   673s|   300 |   301 |241575 | 735.5 |  65M|  33 |3549 |  10k|  12k|  10k|  12k|  19 |   0 | 424 | 1.200000e+01 | 1.700000e+01 |  41.67%
730.97/731.13	c   731s|   400 |   401 |263859 | 607.0 |  66M|  33 |3556 |  10k|  12k|  10k|  12k|  19 |   0 | 520 | 1.200000e+01 | 1.700000e+01 |  41.67%
809.56/809.76	c   810s|   500 |   501 |294987 | 547.8 |  67M|  33 |3518 |  10k|  12k|  10k|  12k|  19 |   0 | 616 | 1.200000e+01 | 1.700000e+01 |  41.67%
872.74/872.94	c   873s|   600 |   601 |319464 | 497.2 |  67M|  33 |3621 |  10k|  12k|  10k|  12k|  19 |   0 | 712 | 1.200000e+01 | 1.700000e+01 |  41.67%
933.84/934.02	c   934s|   700 |   701 |340556 | 456.2 |  68M|  33 |3646 |  10k|  12k|  10k|  12k|  19 |   0 | 788 | 1.200000e+01 | 1.700000e+01 |  41.67%
1048.22/1048.47	c  1048s|   800 |   801 |407531 | 483.0 |  68M|  33 |3673 |  10k|  12k|  10k|  12k|  19 |   0 | 863 | 1.200000e+01 | 1.700000e+01 |  41.67%
1103.11/1103.38	c  1103s|   900 |   901 |426672 | 450.5 |  69M|  37 |3821 |  10k|  12k|  10k|  12k|  19 |   0 | 938 | 1.200000e+01 | 1.700000e+01 |  41.67%
1222.19/1222.50	c  1222s|  1000 |  1001 |488636 | 467.5 |  70M|  37 |3678 |  10k|  12k|  10k|  12k|  19 |   0 |1013 | 1.200000e+01 | 1.700000e+01 |  41.67%
1291.89/1292.11	c  1292s|  1100 |  1101 |515494 | 449.4 |  70M|  37 |3827 |  10k|  12k|  10k|  12k|  19 |   0 |1103 | 1.200000e+01 | 1.700000e+01 |  41.67%
1349.97/1350.27	c  1350s|  1200 |  1201 |536967 | 429.8 |  71M|  37 |3649 |  10k|  12k|  10k|  12k|  19 |   0 |1193 | 1.200000e+01 | 1.700000e+01 |  41.67%
1390.16/1390.45	c  1390s|  1300 |  1301 |554562 | 410.3 |  71M|  37 |3702 |  10k|  12k|  10k|  12k|  19 |   0 |1265 | 1.200000e+01 | 1.700000e+01 |  41.67%
1481.85/1482.10	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1481.85/1482.10	c  1482s|  1400 |  1401 |592501 | 408.0 |  72M|  37 |3766 |  10k|  12k|  10k|  12k|  19 |   0 |1352 | 1.200000e+01 | 1.700000e+01 |  41.67%
1524.14/1524.44	c  1524s|  1500 |  1501 |609310 | 392.0 |  72M|  37 |3641 |  10k|  12k|  10k|  12k|  19 |   0 |1436 | 1.200000e+01 | 1.700000e+01 |  41.67%
1574.34/1574.64	c  1575s|  1600 |  1601 |632432 | 382.0 |  73M|  37 |3745 |  10k|  12k|  10k|  12k|  19 |   0 |1534 | 1.200000e+01 | 1.700000e+01 |  41.67%
1651.92/1652.23	c  1652s|  1700 |  1701 |665113 | 378.7 |  74M|  44 |3853 |  10k|  12k|  10k|  12k|  19 |   0 |1618 | 1.200000e+01 | 1.700000e+01 |  41.67%
1741.31/1741.64	c  1742s|  1800 |  1801 |707574 | 381.3 |  74M|  54 |3751 |  10k|  12k|  10k|  12k|  19 |   0 |1660 | 1.200000e+01 | 1.700000e+01 |  41.67%
1783.21/1783.57	c  1784s|  1900 |  1901 |723117 | 369.4 |  75M|  54 |3841 |  10k|  12k|  10k|  12k|  19 |   0 |1744 | 1.200000e+01 | 1.700000e+01 |  41.67%
1796.70/1797.00	c 
1796.70/1797.00	c SCIP Status        : solving was interrupted [time limit reached]
1796.70/1797.00	c Solving Time (sec) : 1797.00
1796.70/1797.00	c Solving Nodes      : 1909
1796.70/1797.00	c Primal Bound       : +1.70000000000000e+01 (15 solutions)
1796.70/1797.00	c Dual Bound         : +1.20000000000082e+01
1796.70/1797.00	c Gap                : 41.67 %
1796.70/1797.01	s SATISFIABLE
1796.70/1797.01	v x1 x10059 x10058 x10989 x10988 x4331 -x5267 x10049 x4325 x5255 -x5779 x9175 -x10316 x4326 x5259 -x9174 x10303 -x4822 x5252 -x5778 
1796.70/1797.01	v -x6699 x10302 -x10459 -x4821 x5253 x7260 -x10301 -x4823 -x6698 x7248 -x10458 x4807 -x5782 x6701 x7252 -x2505 -x5783 -x6702 
1796.70/1797.01	v -x7245 -x7246 -x10462 x2504 -x9513 -x10463 x2507 x9512 x2508 x4590 x9514 x4577 x9498 x3652 -x4576 x3639 -x4575 x3638 x9792 x2995 
1796.70/1797.01	v x3637 x9791 x10987 x2987 x3893 x7672 x5975 x7671 x7674 -x7675 x10950 x6191 -x3189 x6179 x10949 x5978 x6183 -x5979 -x6176 
1796.70/1797.01	v -x6177 x7544 -x10953 x616 -x3596 x7532 -x10954 -x3192 x3583 -x7536 -x3193 x3582 -x5111 -x7529 x3581 x4780 -x7530 x4768 x5110 
1796.70/1797.01	v -x619 -x4772 -x620 x4765 x4766 x5114 -x4709 x5115 x8822 x8809 x4708 -x5828 x8808 -x8807 x594 x8219 -x4712 x8206 x593 -x4713 
1796.70/1797.01	v x8205 -x596 x5831 x8204 -x597 -x5832 x9105 -x10385 x3612 x9104 -x1806 x3600 x9106 -x10384 -x1805 x3604 x9090 x1807 x3597 x1791 
1796.70/1797.01	v x3598 -x10388 -x4288 -x6245 -x8022 -x9167 -x10389 -x6244 -x4287 x6246 x6357 -x9166 x1674 x4290 -x6229 x6356 x1670 x4291 x6358 
1796.70/1797.01	v -x8026 -x9171 -x3498 -x5264 x4335 -x5266 x9183 x10053 -x10314 x4330 -x5263 x9179 -x10048 x10315 -x7257 -x10046 x10311 -x4327 
1796.70/1797.01	v -x5258 -x5780 x6721 x7259 -x9172 x10307 x4820 -x5781 -x9173 x4808 x5254 -x5784 -x6700 -x7256 -x10299 -x10460 x4812 x5764 x6685 
1796.70/1797.01	v -x10300 -x10461 -x1289 -x4806 x6684 -x7251 -x10464 -x4804 x6683 -x6724 -x10444 x2506 -x6725 -x7247 x2491 -x3168 -x4588 x9511 
1796.70/1797.01	v x2490 x4589 x9499 -x1292 x2489 -x3650 -x4585 x9503 -x569 -x1293 -x3651 -x4581 x9497 -x2992 -x3647 -x6775 -x9495 x2994 x3643 
1796.70/1797.01	v -x4573 -x4574 -x9790 x2991 x3635 -x572 -x3043 x3636 x9782 -x573 x2986 -x5533 -x358 -x354 -x3336 -x10986 -x3897 x3892 -x7146 
1796.70/1797.01	v -x3890 x10101 x5974 x7673 x10102 -x3339 x6188 x7658 -x3340 x5976 x6190 -x7657 x5981 -x7149 -x7656 -x3188 x5980 x6187 -x7150 
1796.70/1797.01	v x10951 -x7541 x10952 -x3190 x6182 -x7543 x10955 x3195 -x3594 x10935 x615 x3194 -x3595 -x6178 -x7540 -x3591 x4777 x617 x3587 
1796.70/1797.01	v x4779 -x7535 -x622 -x8802 -x621 x3579 x4776 x5112 -x7531 x3580 x5113 -x4771 x5116 x5096 x8820 x4767 x8821 x8817 x4710 -x5827 
1796.70/1797.01	v x6119 -x8813 x4711 -x8217 -x4714 -x5829 x8218 -x8805 x4694 x5834 -x8214 -x8806 x595 x5833 -x8210 x580 x3609 -x6122 x579 x3611 
1796.70/1797.01	v -x6123 x8202 x578 -x8203 -x9103 -x9976 x3608 x9091 -x10386 -x1804 x9095 -x10387 x1792 x3603 x9089 -x10390 -x1796 x9087 x10370 
1796.70/1797.01	v x1790 x3599 -x8021 -x1671 -x1788 x6243 x1673 x4289 x6231 -x8023 -x9168 x4273 x6235 -x6355 x8027 -x9169 -x1669 x4274 -x6230 
1796.70/1797.01	v x6351 -x8025 x9170 -x9776 -x3497 -x5155 -x5265 -x10313 x4334 -x5754 x10057 -x10312 -x3501 x9182 -x4328 -x5262 -x7258 x9178 x10052 
1796.70/1797.01	v -x4817 -x5159 x10310 -x3164 -x4819 -x5256 x6720 -x10047 x10306 -x5757 -x5777 -x6696 -x3163 -x4816 -x5758 x5765 -x6697 x6722 
1796.70/1797.01	v -x7255 x5769 -x6693 x6727 -x10457 -x1288 -x4811 x5763 -x6689 -x6726 -x6771 -x7249 -x9724 x10445 x2502 -x3169 -x4587 x5761 
1796.70/1797.01	v -x9508 -x10449 -x544 -x1290 x2503 -x3167 -x4586 -x4805 x6681 -x6770 -x9510 -x10443 -x248 -x1295 -x2499 -x3649 x6682 -x10441 
1796.70/1797.01	v -x1294 x2495 x3039 -x3648 x9507 -x4584 -x6776 -x9727 -x568 x2487 -x2993 x3038 -x4580 -x5529 -x6774 -x9502 -x9728 -x547 x2488 
1796.70/1797.01	v -x3646 -x9787 -x548 -x570 x3642 -x4220 -x5528 -x9496 -x9789 -x575 x3044 -x574 x2990 x3042 -x4219 -x9786 -x5534 -x2984 -x5532 
1796.70/1797.01	v x9781 -x10985 -x6975 -x2527 x8561 -x2075 x8560 -x357 -x353 -x2530 -x2531 -x3335 x3901 x10104 x3337 -x3896 -x7145 x10103 x3342 
1796.70/1797.01	v x7669 x3341 -x3891 x6189 -x7147 x7670 -x7152 x7666 x5977 -x7151 x7662 x5961 -x8467 x5960 x6186 -x7542 -x7654 -x8798 -x1563 
1796.70/1797.01	v -x3593 x5959 -x7655 x10948 -x495 -x3191 -x3592 x6180 -x8797 x10936 x3175 x10940 x3174 x4778 -x7539 -x9558 -x10934 -x3173 -x3590 
1796.70/1797.01	v -x8803 -x10932 x618 -x3586 -x7533 -x8801 x498 x602 -x499 x601 -x4775 -x600 x5109 x8819 -x9561 -x4769 x5097 x8818 -x9562 x5101 
1796.70/1797.01	v -x5733 x5095 x5093 x5583 -x8216 x8816 x6118 -x8215 -x8812 -x9972 x4707 x4695 -x5830 x6120 -x9971 -x10170 x591 -x4699 x5814 
1796.70/1797.01	v x6125 -x8213 x592 -x3610 x4693 x5813 -x6124 -x8209 -x588 -x4691 x5812 -x9100 -x9977 x584 -x9102 -x9975 -x1801 -x10173 x576 
1796.70/1797.01	v -x1803 x3607 x9099 -x10174 x577 -x10383 -x1800 x3601 x9094 -x9772 x10371 -x6240 x10375 -x1672 -x1795 -x6242 x9088 x9771 -x10369 
1796.70/1797.01	v -x4285 -x6352 -x10367 -x1789 x4286 -x6239 -x6354 x8024 x4282 x8007 x9165 -x9777 -x1668 -x2684 x4278 -x5413 -x6234 -x6350 x8008 
1796.70/1797.01	v x9161 -x9775 x3499 x5154 x1768 -x3502 -x1769 -x3500 x4332 -x5286 -x5753 x10056 x5160 -x9180 -x4329 -x4818 -x5158 -x5260 
1796.70/1797.01	v x5755 x9176 -x10050 -x5760 -x5774 -x6695 x10308 -x244 -x5257 -x5759 -x5776 -x6694 x10304 x5289 -x10454 -x243 -x3165 -x4815 -x5290 
1796.70/1797.01	v x5773 x6723 -x7253 -x10456 -x2501 x3166 -x6692 x6707 x2500 -x3170 -x4809 -x5768 -x6688 x6706 -x7250 -x9509 -x9723 x10453 
1796.70/1797.01	v -x249 x3149 x6705 -x247 -x543 x1291 x5762 -x6772 -x9725 -x10448 x1275 -x2498 -x6773 x9730 -x545 -x761 x1274 x2494 -x6777 x9506 
1796.70/1797.01	v -x9729 -x10442 x550 x1273 -x4582 -x6756 -x549 x3040 -x4578 -x6971 -x7844 -x9500 -x9788 x3041 -x3644 -x7200 x571 -x2071 x3045 
1796.70/1797.01	v x3640 -x5530 -x6970 x555 -x764 x3024 -x5531 x554 -x765 -x2070 x2988 -x4221 -x5535 -x8363 -x9785 x553 -x4222 -x5514 -x6976 
1796.70/1797.01	v -x7847 -x2985 -x6974 -x7848 x9779 -x2076 x4206 -x4871 -x2074 -x2526 x7450 -x8366 -x2528 -x8367 x8562 -x10850 -x355 -x2533 x8563 
1796.70/1797.01	v -x351 -x2532 -x9030 -x7453 x8547 x3900 -x7454 -x8463 x7668 -x10853 -x1559 x3338 -x3894 x7667 -x8462 x10088 -x10854 x3322 -x9033 
1796.70/1797.01	v x10087 x1558 x3321 x7148 -x9034 x3320 -x5972 x7132 -x7665 -x8468 -x5973 x7131 -x7402 x7661 -x8466 -x1564 -x5969 -x7130 
1796.70/1797.01	v x10945 -x1562 -x5965 -x6184 x10947 -x3186 x494 -x3187 x5957 -x6181 -x8799 x10944 x3183 -x5958 -x6073 -x7405 -x8800 x496 -x3179 
1796.70/1797.01	v -x5729 -x7406 -x7537 -x8804 x9557 x10939 x501 x613 -x3588 -x8783 x500 x614 -x3171 -x3584 -x5579 -x5728 -x7534 x9559 -x10933 
1796.70/1797.01	v x610 -x3172 -x5106 x9564 -x606 -x4773 x5108 -x5578 x9563 x5734 -x598 -x4770 -x5105 x5732 -x599 x5584 x5100 x5582 -x2259 -x4704 
1796.70/1797.01	v x8814 -x4566 x4706 x5094 -x8810 x590 -x5825 x589 x4703 -x5826 x6121 -x9973 -x10169 x5822 x6105 -x8211 x9974 -x4698 x5818 x6104 
1796.70/1797.01	v -x8207 -x9101 x9978 -x10171 -x587 -x4569 x6103 x9957 -x10176 -x583 -x1802 -x4570 -x4692 -x5810 -x10175 -x5811 -x7823 -x10380 
1796.70/1797.01	v -x1064 x3605 x9098 -x10382 -x7893 -x1799 -x3602 -x5409 -x6241 x9092 x10379 -x4284 -x1793 -x4283 -x5408 -x6353 x9773 -x10374 
1796.70/1797.01	v -x1067 x8019 -x8959 x9162 x9774 -x1068 -x6238 x8020 x9164 -x9778 -x10368 x4281 -x5414 x8016 -x9756 -x1666 -x2683 x4277 -x5412 
1796.70/1797.01	v -x6232 -x6349 x8012 x9160 x1770 x3503 x5156 x3488 x5157 -x4333 x5161 -x5285 x10054 x5145 -x9181 -x5261 -x5287 x5756 -x5775 
1796.70/1797.01	v x9177 -x10051 x5292 x5740 -x10309 x5291 -x5739 x10305 -x10455 -x5738 -x6718 -x245 -x4813 x5772 -x6719 -x7254 x246 -x3162 -x6690 
1796.70/1797.01	v x6715 -x250 x3150 -x4810 -x5766 -x6686 -x6711 x7196 x10452 x229 -x1286 x3154 x1287 -x3148 -x6703 x7195 -x9726 -x10446 -x1283 
1796.70/1797.01	v -x2496 -x3146 -x6704 -x6769 x9710 -x546 -x760 x1279 x2492 -x6757 -x9504 x9709 x530 -x3018 -x4583 -x6761 -x7201 -x9708 -x529 
1796.70/1797.01	v -x762 x1271 -x4579 -x4867 -x6755 -x7199 -x7843 -x9501 -x10220 -x528 -x566 -x767 x1272 -x3037 -x3645 -x6753 x567 -x766 x3025 
1796.70/1797.01	v -x3641 -x4866 x6972 -x7845 -x563 x3029 -x5527 x6973 x7850 -x559 -x2072 -x2989 x3023 x5515 x6977 -x7849 -x8362 -x9783 -x2073 
1796.70/1797.01	v -x2831 x3021 x4218 -x4872 -x5519 -x6956 -x10223 -x120 x551 -x2077 -x4870 -x5513 -x8364 -x9780 -x10224 x552 -x2056 x4210 -x5511 
1796.70/1797.01	v -x8369 x4205 x7449 -x8368 x4203 -x6825 -x2529 x7451 x10849 -x123 -x356 -x2513 -x7456 x8559 -x124 -x352 -x2512 -x7455 -x9029 
1796.70/1797.01	v -x9080 x10851 -x715 -x2511 x8551 x10099 x10856 -x3898 x8546 -x9031 x10100 x10855 -x3333 -x8544 -x9036 x10096 x3334 -x3895 
1796.70/1797.01	v -x8464 -x9035 -x10092 x3330 -x5971 -x7143 -x8465 x9083 x1560 x3326 -x5970 -x6069 x7144 -x8469 -x9084 -x10085 -x10875 x1561 x7140 
1796.70/1797.01	v -x7663 -x8448 -x10086 -x1565 -x3318 -x6068 -x7136 x7401 x7659 x10946 -x1544 -x3185 -x3319 -x5968 -x3184 -x5964 -x6185 -x7128 
1796.70/1797.01	v x7403 -x6074 -x7129 x7408 -x7773 -x10878 -x6072 x7407 -x10879 x10943 -x612 x3182 x8796 x497 -x611 -x3178 -x7538 x8784 -x10937 
1796.70/1797.01	v x481 -x3589 -x8788 -x480 -x2255 -x3585 -x5107 x5730 -x8782 x9560 -x479 x609 x5731 -x8780 x9544 -x605 -x2254 -x3547 -x4774 
1796.70/1797.01	v x5580 x5735 x9543 x5581 x5714 x9542 -x5104 x5585 -x2260 x5564 -x2258 -x4705 x5098 -x3550 -x5824 -x8815 -x3551 -x4565 -x5180 
1796.70/1797.01	v -x5823 -x7819 -x8811 -x6116 -x4567 x4702 -x6117 -x7818 -x7889 -x4572 -x5821 x6113 -x8212 x9970 -x4571 -x4696 -x5817 x6109 x7888 
1796.70/1797.01	v -x8208 x9958 -x10172 -x585 -x5183 -x7824 -x9962 x10156 -x581 -x4758 -x5184 x6101 -x7822 -x8955 x9956 x10155 -x10381 x6102 
1796.70/1797.01	v -x7894 -x9954 x10154 -x1063 x3606 -x7892 x8954 -x9096 -x9202 -x9059 -x1065 -x1797 x9093 -x10378 x1070 x4761 -x5508 -x8018 -x8960 
1796.70/1797.01	v x1069 -x1794 -x2680 -x4762 -x5410 x8017 -x8958 -x9163 -x10372 -x5411 -x9205 x9770 -x2679 -x5415 -x6236 -x9206 x9758 -x4279 
1796.70/1797.01	v -x5393 x8015 x9762 -x1667 -x2092 -x2685 x4275 -x6233 -x6347 -x7476 x8011 x9159 -x9757 -x1759 x3492 x3487 -x10055 x3485 x5149 
1796.70/1797.01	v x5751 x5144 x5288 x5752 -x5142 x5272 -x5748 -x6717 x5271 -x5744 -x6716 -x3159 x5270 -x3014 -x3161 -x4814 -x5736 x5770 -x242 
1796.70/1797.01	v -x1285 -x5737 -x6691 -x6714 x230 -x1284 -x3013 x3158 -x5767 -x6687 -x6710 x10450 -x234 -x6766 -x9721 -x228 -x3153 -x6768 x7197 
1796.70/1797.01	v x9722 -x10447 -x226 x541 -x1282 -x2497 -x3019 x7198 x9718 x542 x1278 -x2493 x2827 -x3017 -x3147 -x6765 -x7202 -x9505 -x9714 
1796.70/1797.01	v -x538 -x565 -x3034 -x7181 -x534 -x564 -x763 x2826 -x3036 -x6760 -x9706 -x10219 -x747 -x5524 -x9707 -x526 -x746 x3033 -x4868 
1796.70/1797.01	v -x5526 -x6754 -x6821 x7846 -x10221 -x527 -x562 -x745 -x2832 -x4215 -x4869 x6969 x7830 -x10226 -x558 -x2830 x3028 -x4217 -x4873 
1796.70/1797.01	v -x5523 -x6820 x6957 x7829 -x9784 -x10225 -x2069 -x4852 x6961 x7828 -x119 -x711 x2057 -x3022 x4214 -x5518 -x6955 -x8365 -x2061 
1796.70/1797.01	v -x6826 -x6953 x8349 -x121 -x710 -x2055 x4209 -x5512 -x6824 -x8348 -x126 -x2053 -x2524 x6875 -x8347 x8556 -x125 -x2525 -x4204 
1796.70/1797.01	v x7452 x8558 -x716 -x2521 x7436 x10098 -x714 -x2517 x7435 -x8555 -x9079 x10097 x10852 -x3332 -x7434 x10836 -x2509 -x3331 
1796.70/1797.01	v -x3899 -x8550 -x9032 x9081 x10835 -x2510 -x7142 -x9016 x9086 x10095 x10834 -x7141 -x7769 -x8545 -x9015 x9085 -x10091 x3329 -x8461 
1796.70/1797.01	v -x9014 x3325 -x6402 -x7768 -x8449 -x10874 x1557 x7139 -x7664 -x8453 x1545 -x2952 -x6070 -x7135 x7660 -x8447 -x10876 x1549 
1796.70/1797.01	v -x5966 -x6071 -x7774 -x8445 -x10881 -x1543 -x5962 -x6075 x7404 -x7772 -x10880 -x1541 -x6054 -x6405 x7388 -x8793 -x4366 -x6406 
1796.70/1797.01	v -x7387 -x8795 x10941 -x492 -x2955 x3180 -x7386 -x493 -x2956 -x3176 -x8792 -x10938 x489 -x9555 -x485 -x8787 x9556 x607 -x4369 
1796.70/1797.01	v x5727 x9552 -x477 -x603 -x2256 -x2280 -x3546 -x4370 x5715 -x8781 x9548 -x478 -x2257 x5577 x5719 -x2261 -x3548 -x5102 x5565 
1796.70/1797.01	v x5713 x9540 -x2240 -x3553 x5569 -x5711 -x9541 -x3552 x5099 x5563 x2283 x5561 -x6115 x2284 x5179 -x6114 -x8673 x9967 -x4568 
1796.70/1797.01	v x4700 x5181 -x7820 -x9055 x9969 -x4552 -x5186 -x5819 -x6112 -x7821 -x10167 -x4551 -x4697 -x5185 -x5504 -x5815 x6108 -x7825 x7890 
1796.70/1797.01	v -x9054 -x9966 x10168 -x586 -x4550 -x7804 x7891 -x8676 -x10164 -x582 -x4757 -x5503 -x7895 -x8677 -x9961 x10160 x7874 -x8934 
1796.70/1797.01	v x9060 -x4759 x8956 -x9058 -x9097 -x9201 -x9955 x10152 x4764 x5509 x8957 -x10153 -x1066 -x1798 x4763 -x5507 x8961 -x9203 -x10376 
1796.70/1797.01	v x1050 -x8940 -x9208 x9767 -x1049 -x7472 -x9207 x9769 -x10373 -x1048 -x5407 -x2681 -x5395 -x6237 -x9766 -x2682 -x4280 -x5399 
1796.70/1797.01	v x8013 -x2091 x2686 -x4276 -x5394 -x6348 -x7475 -x8009 x9157 x9761 x1767 -x3628 x1763 x3496 -x9297 -x5750 -x1757 x3491 x5153 
1796.70/1797.01	v -x5749 -x1758 x5283 -x3486 x5148 x5284 -x5280 -x5747 -x3160 -x5143 -x5276 -x5743 -x239 -x4245 -x241 x5268 x5771 -x5269 -x6712 
1796.70/1797.01	v -x9720 x10082 x238 -x3015 -x3157 -x6708 -x6767 -x9719 x10451 -x540 x3016 -x233 x539 x3020 -x3151 -x1280 x2999 x7194 -x7604 
1796.70/1797.01	v x9717 -x227 x1276 -x3035 -x6764 x7182 -x9713 -x537 -x758 -x7186 -x533 -x759 x2828 -x5525 -x6758 -x7180 -x755 x2829 x6966 -x7178 
1796.70/1797.01	v -x7841 -x751 -x2833 -x3032 -x4216 -x6871 x6968 x7842 -x10222 -x560 -x2066 -x2812 -x4865 -x4996 -x7838 -x10206 -x556 -x743 
1796.70/1797.01	v -x2068 -x3026 -x4853 -x5522 -x6822 -x6870 -x6965 -x7834 -x10205 -x744 -x2784 -x4857 x6823 -x8360 -x10204 x2065 x4213 -x4851 
1796.70/1797.01	v -x5516 -x6827 -x6960 -x7826 -x8361 -x2523 -x4849 x6806 x6876 -x7827 -x8357 -x122 -x712 -x2060 -x2522 -x4207 x6874 -x6954 -x8353 
1796.70/1797.01	v x8557 x106 -x713 -x7447 -x105 -x717 -x2054 x7448 -x8345 -x104 x696 -x2520 x7444 -x8346 -x10847 -x2516 x7440 -x8554 -x10848 
1796.70/1797.01	v -x9027 x10844 -x7432 -x8548 -x9028 x9082 x10840 -x7433 -x8458 -x9024 x9066 x10093 -x5853 -x8460 -x9020 -x9065 -x10089 -x10832 
1796.70/1797.01	v x1554 -x3327 -x9064 -x9914 -x10833 x1556 x3323 -x6401 -x7770 -x8457 -x9012 -x10925 x7137 -x7771 -x9013 x1553 x2951 -x6403 
1796.70/1797.01	v -x7133 -x7775 -x8452 -x10877 -x5856 -x5967 -x6067 -x6408 -x7399 -x7501 -x7754 x10861 x1548 x2953 -x5857 -x5963 -x6055 -x6407 
1796.70/1797.01	v -x7400 -x8446 -x8794 x10860 -x449 -x491 -x2958 -x6059 x7396 x10859 -x10928 -x490 -x1542 -x2957 x4365 -x6053 -x7392 -x10929 x10942 
1796.70/1797.01	v -x3181 -x6051 -x9554 -x3177 x4367 -x7384 -x8791 -x9553 x488 -x4372 x5724 -x7385 -x484 -x4371 x5726 -x8785 x608 -x5574 x9551 
1796.70/1797.01	v -x604 -x2279 x5576 x5723 x9547 x2253 x2241 -x2281 x3549 -x5103 x5573 -x5718 -x8773 -x2245 x2286 x3533 -x2239 x2285 x3532 
1796.70/1797.01	v x5568 -x5712 -x2237 -x3531 -x5562 -x8672 -x8930 x9968 -x4563 x8776 -x10166 -x4564 -x4701 x5182 x8674 -x8777 -x8929 -x10165 -x4560 
1796.70/1797.01	v x5166 -x5820 -x6110 x7817 -x8679 -x4556 x5165 -x5816 x6106 x7805 -x8678 -x9056 -x9965 x5164 x7809 -x7887 -x8935 -x9057 -x10163 
1796.70/1797.01	v -x4266 -x4548 -x5505 -x7803 x7875 -x8933 x9061 -x9959 x10159 -x4549 -x5506 -x7801 x7879 -x9040 -x4760 x5510 -x7873 -x1061 
1796.70/1797.01	v x4744 -x5489 -x7871 -x8953 -x1062 x4743 x8941 -x9204 x9768 -x9885 -x10377 x1058 -x4269 x4742 -x5404 -x8945 x9188 x1054 -x2088 
1796.70/1797.01	v -x4270 -x5406 -x7471 -x8939 x9187 -x8937 x9186 -x1046 -x2087 -x5403 -x7473 -x9765 -x1047 x2678 -x7478 x8014 -x9888 -x2093 
1796.70/1797.01	v x2674 -x5398 -x7477 -x8010 x9158 x9759 -x9889 -x10043 x1766 -x3627 -x5925 -x1762 x3495 -x4171 -x4241 -x9296 x5282 -x3489 -x4240 
1796.70/1797.01	v x5152 x5281 x10078 -x10701 -x3632 -x9300 x5146 -x9301 x10077 x4246 -x5279 -x5745 -x240 -x4244 -x5275 -x5741 -x7600 x10083 
1796.70/1797.01	v x10704 -x7599 x10081 x10705 -x6713 x7000 x237 -x3155 -x6709 -x10601 -x1318 x3012 -x7191 x7605 -x231 x3000 -x3152 -x4992 -x7193 
1796.70/1797.01	v x7603 -x757 -x1281 -x3004 x9715 -x756 x1277 -x2780 x2998 -x4991 -x6762 -x7190 -x9711 -x535 x2996 -x7840 -x10604 -x531 -x2779 
1796.70/1797.01	v x2927 -x6759 x6967 -x7185 -x7839 -x10605 -x754 x2825 -x4862 -x4997 -x10217 -x750 -x2067 x2813 -x3030 -x4864 -x4995 -x7179 
1796.70/1797.01	v -x10218 -x561 x2785 -x2817 -x7837 -x8359 -x10214 -x557 -x1996 -x2783 -x2811 -x3027 -x4861 -x5520 x6872 -x6964 -x7833 -x8358 
1796.70/1797.01	v -x10210 -x2809 -x2930 x6819 x6873 x2064 -x2931 -x4211 -x4856 -x5517 x6807 x6877 -x6958 -x10202 x117 -x6811 x6856 -x7446 -x8356 
1796.70/1797.01	v -x10203 x118 -x2058 -x4208 -x4850 x6805 -x7445 -x8352 x114 -x709 -x1999 x6803 -x10846 -x110 x697 -x2000 -x8905 -x9910 -x10845 
1796.70/1797.01	v x701 -x2518 -x7443 -x9026 -x102 x695 -x2514 x7439 -x8552 -x9025 -x9909 -x103 -x693 x9077 -x10843 -x7497 -x8459 -x8549 x9078 
1796.70/1797.01	v -x10839 -x8908 -x9023 x9074 -x9915 -x10094 -x445 x1555 -x5852 -x7496 -x8909 -x9019 -x9070 -x9913 -x10090 -x3328 -x444 x3324 
1796.70/1797.01	v -x5854 -x8456 -x9062 -x10924 -x223 -x5859 -x6064 x7138 -x7398 -x7502 x7767 -x9063 x10872 -x1552 -x5858 -x6066 -x6404 -x7134 
1796.70/1797.01	v -x7397 -x7500 x7755 -x8450 x10873 x10926 -x450 x6388 -x7759 -x10869 -x10931 -x448 x1546 x2954 -x6063 -x6387 -x7753 -x10865 -x10930 
1796.70/1797.01	v x2938 -x6386 x7395 -x7751 x2937 -x6058 -x7391 -x8000 x10857 x2936 x10858 x4368 x5725 -x6052 -x8789 -x486 x4352 -x482 x4351 
1796.70/1797.01	v -x5575 -x8786 -x2250 x4350 -x8003 x9549 -x2252 -x5722 -x8004 -x9545 x3544 -x8125 x2249 -x2282 x3545 x5572 -x5716 -x8772 x2266 
1796.70/1797.01	v x3541 -x2244 x2265 x3537 x5566 -x8774 x2264 -x4562 x8779 -x2238 -x3529 -x4561 x8778 -x3530 -x5177 x7814 -x994 -x5178 x7816 
1796.70/1797.01	v x8675 -x8931 -x4559 x5174 -x6111 -x7884 x8659 -x8932 -x4555 x5170 -x6107 x7813 -x7886 x8658 -x8936 -x9963 x8657 -x8915 -x9053 
1796.70/1797.01	v -x10161 -x4265 -x5162 x7808 -x7883 x9041 -x9960 x10157 -x997 -x1060 x4755 -x5163 x5502 -x8950 -x9045 -x998 -x1059 -x4267 
1796.70/1797.01	v x4756 x5490 -x7802 -x7878 -x8952 -x9039 x4272 -x4752 x5494 -x9037 x9199 x4271 x4748 -x5405 -x5488 -x7872 -x8949 x9200 -x9884 
1796.70/1797.01	v -x1057 -x5486 x9196 -x9401 -x1053 x4740 -x8944 x9192 x9886 x2675 -x4741 x9891 -x2089 x2677 -x5402 -x7474 -x8938 x9184 -x9763 
1796.70/1797.01	v x9890 x2090 x7457 -x9185 -x2094 x2673 -x5396 x7458 -x9760 x10042 x1764 x3629 -x5924 -x194 -x1760 x3493 -x4170 -x9298 -x3633 -x9303 
1796.70/1797.01	v -x3490 -x3631 -x4242 x5150 -x6996 -x9302 -x10700 -x4174 -x4243 x5929 -x1314 -x4175 x4247 -x5147 -x6315 -x6995 x10079 x10702 
1796.70/1797.01	v -x197 -x4226 -x5277 -x5746 x10080 x10707 -x198 -x1313 -x5273 -x5742 x10084 x10706 x7001 -x7175 -x10063 x6999 x7601 -x973 
1796.70/1797.01	v -x1319 x3009 -x6318 x7602 -x235 -x1317 x3011 -x3156 -x6319 -x7192 x7606 -x10600 x7585 -x232 -x3008 x10602 -x9716 x10607 -x3003 
1796.70/1797.01	v -x4993 -x6763 -x7189 -x9712 x10606 -x424 -x536 x2822 -x4994 -x10216 -x532 x2781 x2824 x2926 -x2997 -x4863 -x4998 -x7183 -x10215 
1796.70/1797.01	v -x10801 -x752 x2782 -x4977 -x748 x2786 -x2821 x2928 -x3031 x2765 x2933 -x6816 -x7835 -x10213 -x1995 -x2816 -x2932 -x4860 
1796.70/1797.01	v -x5521 x6818 -x6962 -x7831 -x10209 -x116 -x6869 -x10804 -x115 -x1997 x2062 -x2810 -x4212 -x4854 x6815 x6857 -x6959 -x10805 
1796.70/1797.01	v -x706 -x1975 x2002 x6861 -x8354 -x708 x2001 -x2059 -x6810 x6855 -x8350 x113 -x2759 x6853 -x109 -x705 -x5386 x6804 -x8904 -x2519 
1796.70/1797.01	v -x7441 x9076 -x219 -x700 -x2515 x3264 x7437 -x8553 -x8906 x9075 -x9911 -x8911 -x9912 -x10841 -x218 -x694 -x8910 -x9916 -x10837 
1796.70/1797.01	v -x5389 -x8442 -x9021 x9073 x9895 -x5390 -x7498 -x9017 -x9069 -x224 x3267 -x7499 x7764 -x10871 -x222 -x446 x3268 -x5855 -x6065 
1796.70/1797.01	v -x7503 x7766 -x8454 -x10870 x447 -x2409 x5839 -x6399 -x7482 -x451 -x1550 -x3139 x5838 x6400 -x7763 -x8451 x10927 -x430 
1796.70/1797.01	v -x2949 -x4688 -x5837 x6396 -x10868 x10911 x1547 -x2950 -x6062 -x6392 -x7758 -x10409 -x10864 x10910 x2946 -x6750 x7393 -x10909 
1796.70/1797.01	v -x2942 -x6056 -x6384 -x7389 -x7752 -x7999 -x8121 -x3142 x4363 -x6385 -x2934 -x3143 x4364 x8001 x8120 -x8790 -x487 -x2935 x4360 
1796.70/1797.01	v x8006 -x10412 -x483 -x2251 x4356 -x8005 -x10413 -x3543 x8126 x9550 -x3542 -x4348 -x5720 x8124 -x9546 -x2277 -x4349 -x8492 
1796.70/1797.01	v x2248 -x2278 -x5570 -x5717 -x2274 x3540 -x70 -x2242 x2270 -x3536 x5567 x8775 -x5176 x8759 x2262 -x5175 -x7815 x8758 -x2263 -x8670 
1796.70/1797.01	v x8757 -x993 -x7885 -x8671 x73 -x4557 x5173 -x8667 -x8928 -x9050 -x74 -x995 -x4553 -x5169 -x7812 -x8663 -x8916 -x9052 -x9397 
1796.70/1797.01	v -x9964 -x1000 -x4754 -x5499 -x8920 -x10162 -x999 -x4753 -x5501 x7806 -x7882 -x8655 -x8914 -x8951 x9049 -x9396 -x10158 -x8656 
1796.70/1797.01	v -x8912 -x9198 x4268 x5498 -x7071 -x7876 -x9044 x9197 x4252 -x4751 -x9402 -x4251 -x4747 x5493 -x8948 -x9038 -x9400 -x1055 
1796.70/1797.01	v -x4250 x9195 -x1051 -x2676 -x5487 -x8942 x9191 x9887 -x10039 x7074 -x7469 x9871 -x5400 -x7075 -x7470 -x9764 x9870 -x10038 x2086 
1796.70/1797.01	v x7466 x9868 x2082 -x2672 -x5397 x7462 x10044 -x1765 x3630 -x4123 x5926 -x193 -x1761 -x3494 -x3634 -x4172 x7171 -x8839 -x9299 
1796.70/1797.01	v -x3616 -x4177 x5930 -x9285 -x195 -x969 -x4176 x5151 x5928 x7170 -x9284 x200 -x4239 -x9283 -x199 -x968 x4227 -x6314 x6997 x10703 
1796.70/1797.01	v -x4231 -x5278 x6998 -x7176 x10076 x10687 -x1315 -x4225 -x5274 -x6316 x7002 -x7174 x10064 x10686 -x974 -x1316 -x4223 x6321 
1796.70/1797.01	v -x6981 x10068 x10685 x420 -x972 -x1320 -x3010 x6320 -x10062 x1299 x7598 -x10060 -x236 x419 x7586 x7590 -x3007 x7584 x10603 
1796.70/1797.01	v -x425 x7582 x10587 -x423 -x2823 -x3001 -x7187 -x10586 x1243 -x4990 -x10585 x1971 -x4978 -x7184 -x9150 -x10800 -x753 x2778 -x4982 
1796.70/1797.01	v -x749 -x1921 x1970 -x2755 x2766 -x2820 x2929 -x4976 -x6817 -x10802 -x2770 x2913 -x4974 -x6866 -x7836 -x10211 -x10807 -x2754 
1796.70/1797.01	v -x2764 -x2814 x2912 -x4858 -x6868 -x6963 -x7832 -x10207 -x10806 x1976 -x2762 -x2911 -x9153 -x707 x1974 -x1998 x2063 -x4855 
1796.70/1797.01	v x6814 -x6865 -x9154 -x1924 x1982 -x2760 -x8355 -x1925 -x1981 -x2758 -x6808 x6860 -x8351 x8438 x111 -x1980 -x107 -x704 -x5385 
1796.70/1797.01	v x6854 x8437 -x7442 -x698 -x2405 x3263 -x5387 x7438 -x8907 -x2734 -x5392 -x8443 x8891 -x9908 -x10842 -x220 -x2404 x3265 -x4684 
1796.70/1797.01	v -x5391 -x8441 -x8890 x9896 -x10838 -x221 x3270 -x8889 -x9022 x9071 -x9900 -x225 x3269 -x4683 -x5950 -x6746 x7765 -x9018 -x9067 
1796.70/1797.01	v x9894 x204 -x2410 -x5850 -x6398 -x7495 -x9892 -x2408 -x5851 -x6397 -x6745 x7483 -x8455 -x443 -x2948 -x4689 x5847 -x7487 
1796.70/1797.01	v x10922 x431 -x1551 -x2947 -x3138 -x4687 -x5843 -x7481 -x7762 x10923 x435 -x5953 x6395 -x6751 -x7479 -x10866 x10919 -x429 -x3140 
1796.70/1797.01	v -x5835 -x5954 -x6060 -x6391 -x6749 -x7756 -x10408 -x10862 -x10915 -x427 -x2945 x3145 -x4362 -x5836 -x7394 -x2941 x3144 -x4361 
1796.70/1797.01	v -x6057 -x7390 -x8488 x10410 -x10907 -x10415 -x10908 x8002 x8122 -x8487 -x10414 x4359 x7986 x8123 -x4355 x7985 x8127 -x2276 
1796.70/1797.01	v -x5658 x7984 x8106 x8493 -x2275 -x5721 -x8491 x2246 -x5571 -x2273 x3538 x8770 x69 -x2243 x2269 -x3534 x8771 -x1043 -x8669 x8767 
1796.70/1797.01	v x71 -x8668 x8763 x76 -x8925 x75 -x1384 x8755 -x8927 -x9051 -x4558 x5171 -x8666 x8756 x996 -x4554 -x5167 -x5500 -x7810 -x8662 
1796.70/1797.01	v -x8924 x980 -x2556 x979 -x7807 -x7880 -x8919 x9048 -x9398 x978 -x1387 x4263 -x8752 x9399 -x1388 x4264 x5497 x7070 -x7877 
1796.70/1797.01	v -x8913 -x9042 -x9403 -x4260 -x4749 x9382 x4256 -x4745 x5491 x7072 -x8946 -x1056 x7077 -x7468 -x9193 -x9882 -x1052 -x4248 x7076 
1796.70/1797.01	v -x7467 -x8943 x9189 -x9883 -x2083 -x4249 x9879 x2085 -x5401 x9875 -x10040 x7465 -x10041 x2081 -x2670 -x7217 x7461 -x9869 x10045 
1796.70/1797.01	v -x3626 -x4122 x5927 x7622 -x9295 x3617 -x4173 x5931 -x8838 -x9294 x3621 x4079 -x4159 -x4236 -x5913 -x9293 x196 -x3615 x4080 
1796.70/1797.01	v -x4158 -x4238 x7172 -x9289 x180 -x3613 -x4127 -x4157 x7173 -x8842 -x10073 -x10698 x179 -x970 -x4235 -x7177 -x8843 -x9281 
1796.70/1797.01	v -x10075 x10699 -x178 x971 -x6994 x7156 -x9282 -x10695 x975 -x4230 x6317 x6982 -x10072 -x10691 -x954 -x1312 x6301 x6986 -x7595 
1796.70/1797.01	v -x1239 x1300 -x4224 -x6300 -x6980 -x7597 x10067 x10683 -x1304 -x6299 -x6978 -x10684 x421 -x1238 -x1298 x7594 -x10061 x422 -x1296 
1796.70/1797.01	v x10598 -x426 -x3005 x7589 x10599 x405 x1244 -x4987 -x5041 x10595 x1242 -x3002 -x4989 -x7188 x7583 -x10591 x2775 x2777 -x4986 
1796.70/1797.01	v -x9149 -x10583 x2924 -x3093 -x10584 -x1920 x1972 x2774 -x2818 x2925 -x4981 -x6867 -x9151 -x10803 x1973 -x2921 x9156 -x10212 
1796.70/1797.01	v x10787 -x1922 x1977 x2756 -x2769 -x2815 -x2917 -x4859 -x4975 x9155 -x10208 -x10786 x1927 x1956 -x1993 x2757 -x10785 -x1926 
1796.70/1797.01	v -x1994 -x2730 x2761 -x2763 -x2909 x6812 -x6864 -x1990 x2740 -x2910 -x1986 -x2729 -x6809 x6858 -x112 -x3700 -x108 -x702 -x1978 
1796.70/1797.01	v x8096 x8439 -x1979 x2735 x8440 -x8902 -x9905 -x699 x2733 -x5388 -x8444 x8903 -x9907 -x5372 -x8423 x8899 x2406 x3266 -x5371 
1796.70/1797.01	v -x8338 -x8895 -x9904 x217 x2407 x3250 -x5370 -x5849 -x6553 -x7492 -x8099 -x9072 x205 x2411 x3249 -x4685 -x5848 -x5949 -x7494 
1796.70/1797.01	v -x8100 -x8887 -x9068 -x9899 -x209 -x440 -x1754 -x2390 x3248 -x4686 -x8888 x10921 x203 -x442 -x4690 -x5951 -x6747 -x7491 -x9893 
1796.70/1797.01	v x10920 -x201 -x4669 x5846 -x5956 x6748 -x8341 x439 -x5842 -x5955 x6752 -x7486 -x7760 -x8342 x6393 x6731 -x10867 -x10918 -x434 
1796.70/1797.01	v x3141 -x5654 -x6061 -x6389 -x7480 -x7757 -x10863 -x10914 -x2943 x3125 -x428 -x2939 x3124 -x5653 x10411 -x3123 -x7997 x10395 
1796.70/1797.01	v x7998 -x8489 x10394 -x4357 x5659 -x7994 x8119 x8490 -x10393 -x10904 -x1039 -x4353 -x5657 -x7990 x8107 x8494 x8111 x8473 -x1038 
1796.70/1797.01	v -x3671 x7982 x8105 -x7983 -x8103 x8769 -x2247 x8768 -x1044 -x2271 x3539 -x1042 x2267 -x2552 -x3535 -x3674 x8766 x72 -x2551 
1796.70/1797.01	v -x3675 -x8748 x8762 -x8926 x56 x55 -x1383 -x7279 -x8747 x54 -x991 x2557 -x5172 -x8664 x992 -x1385 -x2555 -x5135 -x5168 -x7811 
1796.70/1797.01	v -x8660 -x8923 -x988 x1390 -x2142 x4262 -x8753 x984 -x1389 x4261 -x7881 -x8751 -x8917 -x9046 -x99 -x7282 x9395 -x976 -x5495 
1796.70/1797.01	v -x7283 -x9043 x9383 -x977 -x4259 -x4750 -x5138 x9387 -x9881 x4255 -x4746 -x5139 x5492 x7073 -x8512 -x8947 -x9381 -x9880 x7057 
1796.70/1797.01	v -x8636 -x9194 -x9379 -x2084 x7056 -x9190 x7055 x9878 x9874 x7463 -x8515 x10037 x2080 -x2671 -x7216 -x7381 x7459 -x8516 x10033 
1796.70/1797.01	v x4082 -x4124 -x4169 x5923 x7621 x3625 x4081 -x4168 -x4237 x5914 -x8840 -x191 -x4128 -x4167 x5918 x8845 -x9292 -x10697 x192 
1796.70/1797.01	v x3620 -x4126 -x4163 -x5912 x8844 -x9288 -x10074 -x10696 x188 -x5910 -x6991 -x7169 -x7626 x184 -x3614 -x4155 -x4234 -x6993 
1796.70/1797.01	v x7157 -x967 -x1309 -x4156 x6312 -x7161 -x10694 -x176 x955 -x1311 -x4228 -x5037 x6313 x6990 -x7155 -x7596 -x10071 -x10690 -x177 
1796.70/1797.01	v x959 x6309 -x7153 -x953 -x1308 -x5036 x6305 -x6985 x10065 -x951 -x10597 -x1240 -x1303 -x3089 -x6297 -x6979 x7593 x10596 x418 
1796.70/1797.01	v x1241 -x5042 -x6298 x406 x1245 -x1297 -x3006 -x3088 -x4148 -x4988 -x5040 -x7587 -x410 x1224 x10594 -x404 x2776 -x9861 -x10590 
1796.70/1797.01	v -x402 x2923 x3094 x2922 -x3092 -x4985 x4151 x10798 -x2773 -x2819 -x3696 -x4152 -x4979 -x9152 x10799 x1969 -x1992 -x2920 x9136 
1796.70/1797.01	v -x9864 -x10795 x1923 x1957 -x1991 -x2767 -x2916 -x3695 -x9135 -x9865 -x10791 x1907 -x1961 -x2753 -x8868 -x9134 -x1906 x1955 
1796.70/1797.01	v x2741 -x6813 -x6862 -x10783 -x1905 x1953 -x1989 x2745 -x3701 -x10530 -x10784 -x1985 x2731 x2739 -x3699 -x6549 -x6859 -x1218 
1796.70/1797.01	v x2732 -x2737 -x8901 -x703 -x1750 x2736 -x6548 x8095 -x8900 -x9906 x2715 -x5383 x8436 -x1749 -x5384 x8097 x8424 x214 -x3261 
1796.70/1797.01	v -x5380 -x6554 x8102 -x8428 -x8898 x216 x3262 -x5376 -x6377 -x6552 -x7493 -x8101 -x8337 -x8422 -x8894 -x9903 x1755 -x2403 x3258 
1796.70/1797.01	v -x5907 -x8420 -x213 -x441 -x1753 x2391 -x3254 -x3411 -x5368 -x8339 -x9897 -x2395 -x4682 -x5369 -x8344 -x208 -x2389 -x3246 -x4670 
1796.70/1797.01	v x5952 -x7490 -x8343 -x2387 -x3247 -x4674 x5844 x5936 -x6380 x6744 -x202 x438 -x4668 -x5840 x5935 -x6381 x6732 -x7484 -x7761 
1796.70/1797.01	v -x10900 -x3136 -x3414 -x4666 x5934 -x6394 x6736 -x9587 -x10916 -x432 -x3137 -x3415 -x6390 x6730 x10899 -x10912 -x2944 x3133 
1796.70/1797.01	v -x3576 x6728 -x7996 -x10406 -x2940 -x3129 x5655 -x7995 x10407 x5656 -x8116 x10403 -x10905 -x3121 x5660 -x8118 -x10399 -x10903 
1796.70/1797.01	v -x3122 -x4358 x5639 -x7993 x8486 -x4354 -x7989 x8115 x8474 -x10391 -x4846 x8478 -x10392 -x1040 x3670 -x8110 x8472 -x1041 
1796.70/1797.01	v x8470 x9612 x1045 x3672 -x8104 -x1024 -x2272 x3677 -x2138 x2268 -x3676 x67 -x7954 x8764 x68 -x95 -x2137 -x2553 x8760 x64 -x990 
1796.70/1797.01	v -x2554 x60 -x94 -x989 x2558 -x7278 -x8749 -x2143 x2537 -x8665 -x8750 x52 -x1386 -x2141 -x5134 x7280 -x8632 -x8661 -x8754 -x8921 
1796.70/1797.01	v -x53 -x100 -x987 x1370 -x7285 x8733 x9392 -x98 -x983 x1369 -x5136 -x7284 -x8631 -x8918 -x9047 x9394 x1368 -x5141 -x5140 
1796.70/1797.01	v -x5496 x9391 -x4257 x7068 -x8637 -x2230 -x4253 x7069 -x7377 x8511 -x8635 x9386 x7065 -x7061 -x7213 x7376 x8513 -x9380 x8518 
1796.70/1797.01	v x9876 -x10034 -x7053 -x7212 -x8517 -x9872 -x10036 -x2233 -x7054 -x7382 -x7464 x2078 -x2234 -x7218 -x7380 -x7429 -x7460 x10032 
1796.70/1797.01	v -x190 x4070 -x4125 x7623 -x189 -x3624 -x4069 -x4129 -x5922 -x8841 -x4068 x4111 -x4166 -x7166 -x7627 x8827 -x9290 x3618 -x4162 
1796.70/1797.01	v -x5917 -x6992 -x7168 -x7625 -x8826 -x9286 x187 -x964 x6311 -x8825 x183 -x966 -x1310 -x4232 -x5911 x6310 -x7165 -x10692 x963 
1796.70/1797.01	v -x4229 x6989 -x7160 -x10069 -x10688 x6308 x958 -x1307 -x5038 x6304 -x6983 -x7154 -x9274 -x10066 x415 -x5039 x417 -x952 -x1301 
1796.70/1797.01	v -x5043 x7591 -x10974 -x1237 x5022 -x10199 -x414 x1225 -x3090 -x4147 -x7588 -x1229 -x3091 -x3526 -x9277 x10592 -x409 x1223 x3095 
1796.70/1797.01	v -x3436 -x4149 -x8864 -x9278 -x9860 -x10588 -x1221 -x3074 x4154 -x10797 x10977 -x403 x4153 -x4983 -x8863 -x9862 -x10526 -x10796 
1796.70/1797.01	v -x10978 x1966 -x9147 x9867 -x1214 x1968 -x2771 -x4980 -x8582 -x9148 -x9866 -x10525 x1918 -x2750 -x2918 -x3439 -x8869 x9144 
1796.70/1797.01	v -x10794 -x1213 x1919 -x1965 -x2752 -x2768 -x2914 -x3440 -x3697 -x7021 -x8867 x9140 -x10790 -x1915 -x3698 -x9703 x10531 -x1911 
1796.70/1797.01	v -x1960 -x2749 -x3702 -x6863 -x9132 x10529 -x1219 -x1987 x3681 x8585 -x9133 -x1217 -x1903 x1954 -x1983 -x2744 -x5903 -x8586 
1796.70/1797.01	v -x1904 x2728 -x5382 -x5807 -x7024 x8433 x2716 -x2738 -x5381 -x5902 -x6550 -x7025 x8435 x2720 -x3260 -x6551 -x215 -x1751 x2714 
1796.70/1797.01	v -x3259 -x6555 x8098 x8432 -x1752 -x2400 x2712 -x5379 -x5908 -x6534 x8082 -x8896 x1756 -x2402 -x5375 -x5906 -x6376 x8081 
1796.70/1797.01	v -x8427 -x8892 -x9583 -x9901 x1735 -x3257 -x4679 x8080 -x212 -x2399 -x3253 -x3410 -x3572 -x4681 -x5311 -x6378 x8340 -x8421 -x9582 
1796.70/1797.01	v -x9898 -x2384 x5947 -x6383 -x6741 x8324 -x206 -x2394 -x3412 -x3571 -x4678 x5948 -x6382 -x6743 -x7488 -x8323 -x3135 -x3417 
1796.70/1797.01	v x5845 x5944 -x8322 -x9588 -x436 -x2388 -x3134 -x3416 -x4673 -x5841 x5940 x6740 -x7485 -x9586 x3577 -x5314 -x7723 -x10405 -x10917 
1796.70/1797.01	v -x433 -x3575 -x4667 -x4842 -x5315 x5932 x6735 -x10404 x10901 -x10913 -x3132 -x5933 x10902 -x3128 -x4841 x6729 -x8117 -x9608 
1796.70/1797.01	v x10906 -x5652 x8483 x10402 -x10885 x5640 x8485 -x9607 -x10398 x4847 -x5644 -x7991 x4845 -x5638 -x7950 -x7987 -x8114 x8482 
1796.70/1797.01	v -x2981 -x5636 x9613 -x7949 -x8108 x8477 x9611 x1037 -x1880 x1025 x3673 -x8471 x66 -x1029 x3657 x7955 x65 -x1023 x3656 x7953 
1796.70/1797.01	v -x1021 x3655 -x8765 -x2139 x8761 x63 -x2140 x2550 -x59 x96 -x2144 x2538 x97 -x1381 -x2123 x2542 x8746 -x101 -x1382 -x2536 x7281 
1796.70/1797.01	v x8734 -x8922 x9393 x80 -x985 -x1378 -x2534 x7265 -x8738 -x981 -x1374 -x5137 -x7264 x8633 x8732 -x740 x5121 -x7067 -x7263 x8634 
1796.70/1797.01	v x8730 x1366 x5120 x7066 -x8313 -x8638 -x9390 -x1367 -x4258 x5119 -x8617 -x2229 -x4254 -x7425 -x9384 x7064 x2231 -x7060 x7378 
1796.70/1797.01	v -x7424 x8514 -x10035 -x2236 x7379 -x8316 x8498 -x9877 -x2235 x7214 -x7383 -x8317 x8497 -x9873 x7215 -x7361 -x7430 x8495 
1796.70/1797.01	v -x2079 x7219 -x7428 x10031 x4078 -x4121 x7624 -x8837 -x3622 -x4074 x4112 -x5921 -x7167 -x7628 x8836 x3481 -x4116 -x4164 -x7610 
1796.70/1797.01	v x8835 -x9291 -x965 -x3482 x3619 -x4066 x4110 -x4160 -x5915 x8831 -x9287 -x185 -x4067 -x4108 x181 -x4233 -x7164 -x8823 -x10195 
1796.70/1797.01	v -x8824 -x10693 x962 -x3522 -x6987 -x7158 -x8388 -x10070 -x10194 -x10689 -x6306 -x416 x956 -x1305 -x3521 -x6302 -x6984 -x9273 
1796.70/1797.01	v -x1234 -x2210 x5035 x10200 -x1236 -x1302 x5023 -x7592 -x9275 x10198 -x10973 x3527 -x5027 -x8391 x9280 -x413 -x1233 x3525 x5021 
1796.70/1797.01	v -x8392 x9279 -x10975 -x3087 x5019 -x10593 x10980 -x407 -x1228 x3075 x3435 -x4150 -x9699 -x10589 x10979 -x3079 x4134 -x9146 
1796.70/1797.01	v -x1222 x1967 -x3073 x3437 -x4133 -x4984 -x8865 -x9145 -x9698 -x9863 -x1917 -x3071 x3442 -x4132 -x8866 x9847 x1916 -x2751 -x2772 
1796.70/1797.01	v x3441 -x5803 -x8581 -x8870 -x9846 -x10527 -x2919 -x8849 -x9143 x9704 -x9845 x10528 -x10792 -x1215 -x1964 -x2915 -x5802 
1796.70/1797.01	v -x7020 -x8583 x9139 x9702 x10532 -x10788 x1216 -x1914 x3694 -x6478 x8588 -x10511 -x1220 -x1910 -x1958 -x2748 x3682 -x7022 x8587 
1796.70/1797.01	v -x10776 x1199 -x1988 x2725 -x3390 x3686 -x5808 -x7027 -x1984 x2727 -x2742 x3680 -x5336 -x5806 -x7026 -x8434 x3678 -x9951 -x2380 
1796.70/1797.01	v -x2724 -x5904 -x5905 -x6547 x8093 -x10779 x2379 -x2401 -x2719 -x5909 -x6535 x8094 x8431 -x10780 -x1748 -x5339 -x5377 x5888 
1796.70/1797.01	v -x6539 x8090 -x8897 x1736 -x2713 -x4680 -x4967 -x5340 -x5373 -x6533 -x7719 x8086 -x8425 -x8893 -x9902 x1740 x2385 -x3255 
1796.70/1797.01	v -x5946 -x6531 -x8335 -x210 x1734 x2383 -x2398 -x3251 -x5310 -x5945 -x6379 -x6742 -x7718 x8078 -x8336 -x9584 x1732 -x3243 -x6363 
1796.70/1797.01	v -x8079 x8332 -x9585 -x207 -x2392 -x3413 -x3573 -x4677 -x5312 -x6362 -x7489 x8328 -x9589 x3397 -x3574 -x4520 -x4970 -x5317 
1796.70/1797.01	v x5943 -x6361 -x7724 -x9568 -x437 -x3396 x3578 -x4671 -x4971 -x5316 x5939 x6739 -x7722 -x8320 -x3395 x3557 -x8321 -x2977 -x5361 
1796.70/1797.01	v x6733 -x3130 -x5649 -x10898 -x1876 -x2976 -x3126 -x4843 -x5651 -x8484 x10886 -x4844 x10400 -x10890 -x1634 x1875 x4848 -x5648 
1796.70/1797.01	v -x9609 -x10396 -x10884 -x2982 x4827 x5364 -x7992 -x9610 -x10882 -x2980 -x5365 -x5643 -x7988 -x8112 x8481 x9614 -x1034 -x1881 
1796.70/1797.01	v -x9593 -x1036 -x1879 -x5637 x7951 -x8109 -x8475 x1637 -x3668 x7952 -x9492 x1033 x1638 -x3669 x7956 -x9633 x3665 x7935 -x1028 
1796.70/1797.01	v x3661 -x2547 -x736 -x1022 -x2549 x3653 x61 -x1380 x2136 x3654 -x8743 -x9636 -x57 -x735 -x1379 x2124 x2546 x8745 -x9637 x93 
1796.70/1797.01	v x2128 -x7276 x81 -x2122 x2541 x7277 -x8742 -x85 -x741 -x986 -x1377 -x2120 x5132 x7273 x79 -x739 -x982 -x1373 -x2535 x5133 x7269 
1796.70/1797.01	v -x8737 -x9322 -x77 -x3743 -x5129 x8630 x5125 -x7261 -x8312 x8618 -x8731 -x9388 -x7262 x8622 -x5117 x8314 -x8616 -x9385 -x5118 
1796.70/1797.01	v x7062 x8319 -x8509 -x8614 -x9325 x2232 -x7058 -x7426 x8318 x8510 -x9326 x2216 -x7375 x7427 x8506 x2215 x7363 -x7431 -x8502 
1796.70/1797.01	v -x2213 x7211 x7367 -x7409 -x4322 x7207 -x7362 x8496 x10029 x3484 x4077 -x7620 x3483 -x3623 -x4073 -x4120 -x5919 x7611 -x4165 
1796.70/1797.01	v -x7615 x8834 -x2206 x3289 -x4115 -x4161 -x5916 -x7609 x8830 -x186 -x7607 x182 -x2205 -x4109 -x7162 x960 -x6222 -x6988 -x7159 
1796.70/1797.01	v x8387 -x10196 -x2211 x3292 -x5032 -x6307 x10197 -x957 -x1235 -x1306 -x2209 x3293 -x3523 -x5034 -x6303 x8389 x10201 x3524 x8394 
1796.70/1797.01	v x10180 x3528 -x5031 x8393 -x9276 -x3084 x3507 -x6225 -x7979 x9260 -x411 -x1232 -x3086 -x5026 -x6226 -x9259 -x10976 x4145 
1796.70/1797.01	v -x9258 x10960 -x408 -x1226 -x3083 x4146 -x5020 -x6474 x10959 x4142 -x9858 x10958 -x3078 -x3386 x3438 x4138 -x6473 -x9700 -x9859 
1796.70/1797.01	v x3422 -x8862 -x9701 x9855 -x1509 -x3072 -x3385 -x3421 -x4130 x8850 x9705 -x9851 -x9947 -x3420 -x3691 -x4131 -x6479 -x8854 
1796.70/1797.01	v -x9141 x9684 x10524 -x10793 -x1962 -x3693 -x5804 -x6477 -x8584 -x8848 -x9137 -x9843 -x9946 x10512 -x10789 x1212 -x1912 -x3391 
1796.70/1797.01	v -x5805 x8568 -x8846 -x9844 x10516 x1200 -x1908 -x1959 x2726 -x2746 -x3389 -x3690 -x5809 x7023 -x8567 -x10510 -x10775 -x1204 
1796.70/1797.01	v -x1512 -x5788 x7007 -x8566 -x9952 -x10508 x1198 -x1513 -x2743 x3685 x5335 -x7006 -x9950 -x10777 -x1196 -x6544 -x7005 -x8092 x10782 
1796.70/1797.01	v -x2723 -x3239 -x3679 x5337 -x6546 -x7575 x8091 x10781 -x1745 -x5342 -x5901 -x1747 x2381 -x2717 -x3238 -x4516 -x5341 x5889 
1796.70/1797.01	v -x6543 x8429 x2382 -x5378 x5893 -x8089 -x8334 -x1744 x2386 -x4515 -x4966 -x5374 -x5887 -x6538 x8085 -x8333 -x8426 -x2365 -x2709 
1796.70/1797.01	v x3244 -x3256 -x5885 -x6374 -x7578 -x211 x1739 -x2396 -x3242 -x3252 x4968 -x6375 -x6532 -x7579 -x7720 -x3408 -x4200 x4521 
1796.70/1797.01	v -x4973 -x6371 -x7721 -x8331 -x9581 x1733 -x2393 -x3409 -x4519 -x4675 -x4972 -x5313 -x6367 -x7725 x8327 -x9569 x3405 x3570 -x5297 
1796.70/1797.01	v -x5941 x7704 -x9573 -x3401 x3558 -x4672 -x5296 x5937 -x6359 -x6737 -x9567 x3562 -x5295 -x6360 -x9565 -x10895 -x3393 -x3556 
1796.70/1797.02	v -x5360 -x5650 x6734 -x7121 -x10897 -x3131 -x3394 -x3554 -x2978 -x3127 -x5362 -x9488 x10894 x2979 -x4840 x5367 x10401 -x1633 
1796.70/1797.02	v x1877 -x2983 x4828 x5366 -x5647 -x9487 -x10397 -x10889 x1878 x2962 -x4832 -x7124 -x9606 -x1035 -x1635 -x1882 x4826 -x5641 
1796.70/1797.02	v -x7125 -x8113 -x8479 x9594 -x10883 x1640 -x1861 -x3667 -x4824 -x9493 -x9598 x1639 -x3666 -x8476 -x9491 -x9592 x7948 -x9590 x1032 
1796.70/1797.02	v x7936 -x9632 -x3664 -x7940 -x1026 -x2548 x3660 x7934 x9634 -x2133 x7932 x9639 x2135 -x3739 -x8744 -x9638 x62 -x90 -x7275 
1796.70/1797.02	v -x58 -x92 -x737 -x2132 -x2545 -x3738 -x7274 -x738 -x5131 -x89 -x742 x2127 x2539 -x5130 -x8741 x721 -x1375 -x3744 x7272 -x8627 
1796.70/1797.02	v -x84 -x1371 -x2121 -x3742 x7268 -x8629 -x8735 x9321 -x5128 -x78 -x5124 x8626 x9323 -x9389 -x8508 x9328 x8315 -x8507 -x8621 -x9327 
1796.70/1797.02	v x2227 -x7063 -x7372 x8299 x2228 -x7059 -x7374 x8298 -x8615 -x2224 -x2309 -x7208 x7423 -x8297 x8505 x2220 -x7210 x7371 x7411 
1796.70/1797.02	v -x8501 x7415 -x2214 -x4321 x7206 x7366 -x7410 x10030 x3472 x4075 -x10120 x3471 -x4071 -x4119 -x4797 -x5920 -x7619 x3470 
1796.70/1797.02	v x8832 x3288 -x4113 -x7614 -x7694 x8828 x2207 x3290 -x6674 -x7163 -x7608 -x7975 x2208 x3295 -x961 x2212 x3294 -x5033 -x6221 -x7974 
1796.70/1797.02	v -x2191 -x4896 -x7697 -x10193 -x869 -x6223 -x7698 x8390 x10181 x3520 -x6228 -x6677 -x7980 x8374 -x9271 -x10185 -x3085 x3508 
1796.70/1797.02	v -x5030 -x6227 -x6678 -x7978 -x8373 x9272 x10179 x3512 -x4144 -x8372 -x9268 x10177 -x10971 -x412 -x1230 -x3506 -x4143 -x5024 
1796.70/1797.02	v x9264 -x10972 -x872 -x3504 -x9857 -x10968 -x873 -x1227 -x1484 -x3082 -x9256 -x9856 x10964 x3433 -x3768 x4141 -x8859 -x9257 
1796.70/1797.02	v -x3076 x3434 -x4137 -x6475 -x8861 -x10956 -x3430 -x6476 -x9697 x9854 x10521 -x10957 -x1508 -x3387 -x3426 -x3692 -x6480 x8858 
1796.70/1797.02	v x9685 -x9850 x10523 x1209 -x1487 x3388 -x6459 -x8579 -x9142 -x9689 x1211 -x1488 -x1510 -x1963 -x3392 -x3418 -x8146 x8580 -x8853 
1796.70/1797.02	v -x9138 x9683 -x9948 -x10520 -x1515 -x1913 x3371 -x3419 x5801 -x7018 -x7100 x8576 -x9681 -x9949 -x1208 -x1514 -x1909 -x2747 
1796.70/1797.02	v -x3689 x5789 -x7019 -x8572 -x8847 x9953 -x10515 -x5793 -x7015 x9932 -x1203 -x2705 -x3683 -x5787 -x6545 -x7011 -x8564 -x10509 
1796.70/1797.02	v -x10778 -x5785 -x5898 -x8149 -x8565 x10762 -x1197 -x1746 -x2704 -x2721 -x4196 x5338 -x5900 -x7003 -x7574 -x8150 -x8980 x10761 
1796.70/1797.02	v -x4495 x5322 -x7004 -x10760 -x2718 -x3240 x4195 -x5321 x5897 -x6542 -x6921 -x7576 -x8430 x2378 -x2710 -x3241 -x5320 -x6373 
1796.70/1797.02	v -x7581 -x8087 -x1743 x2366 -x2708 x3245 -x4517 x5892 -x6372 -x6536 -x7580 -x8083 x2370 -x3224 -x3407 -x3887 -x4201 -x4518 -x8983 
1796.70/1797.02	v -x9578 x1737 -x2364 -x2397 -x3406 -x4199 x4522 x4969 -x5886 -x8984 -x9580 -x2362 x3567 -x4501 x4953 -x5308 -x6370 -x6924 
1796.70/1797.02	v x7717 -x8329 x3569 -x4676 -x4952 -x5309 -x6366 -x6925 x7705 -x8325 -x9577 x3404 -x4951 -x5305 -x5942 x7709 -x3400 -x3566 -x5301 
1796.70/1797.02	v x5938 -x6738 x7703 -x9572 -x10896 -x7701 -x3561 -x5293 x7120 -x9566 -x4837 -x5294 -x3555 -x4839 -x5363 x7122 x10893 x2975 
1796.70/1797.02	v x5347 x7127 -x9603 x2963 -x4836 x5346 -x5645 -x7126 -x9489 -x9605 -x10576 -x10887 x1874 -x2967 x5345 -x9490 -x1636 x1862 x2961 
1796.70/1797.02	v -x4831 -x5642 -x8480 -x9494 x9602 -x10726 x1620 -x1866 x2959 x7945 -x9473 x1619 -x1860 -x4825 x7947 -x9597 x1618 -x1858 -x3465 
1796.70/1797.02	v -x10579 -x1030 -x4466 x7944 -x9591 -x10580 -x3662 x10729 -x1027 -x2134 x3658 -x7939 x9635 -x10730 x9619 -x91 -x7933 x9618 
1796.70/1797.02	v -x4469 x9617 -x2131 -x2543 -x3740 -x4470 x734 x3741 -x5090 -x88 x722 x2125 -x2540 -x3745 -x8628 -x8739 x726 -x1376 -x3724 x7270 
1796.70/1797.02	v -x82 x720 -x1372 -x2305 x7266 -x8736 -x718 -x5126 -x2304 -x5122 x8625 x9324 x2226 -x8310 x9308 x2225 -x7373 x8311 -x8619 
1796.70/1797.02	v -x9307 x2310 -x7420 x8307 -x9306 x2308 -x4318 -x7209 -x7422 x8303 -x2223 -x8503 -x2219 -x4317 x7370 -x7419 -x8295 -x8499 -x8296 
1796.70/1797.02	v x4323 x7205 -x7364 x7414 -x3480 -x4076 -x10119 -x169 x3476 -x4072 -x4117 -x4796 -x4892 -x7618 x8833 x3468 -x4114 -x4891 -x7238 
1796.70/1797.02	v -x7612 -x7693 x8829 x3469 -x4800 x10124 x3291 -x4801 x6673 -x7695 -x10145 -x172 x2204 x3275 -x4897 -x7700 -x10190 -x173 
1796.70/1797.02	v x2192 x3274 -x4895 x6675 -x7699 -x7976 -x10192 -x815 -x2196 -x3273 -x3517 -x6680 -x7241 x7977 -x8385 -x9270 -x868 -x2190 x3519 
1796.70/1797.02	v -x3764 -x6224 -x6679 -x7242 -x7981 -x8386 -x9269 x10189 -x2188 x6208 x7960 -x8382 -x10148 -x10970 -x870 -x3516 -x3763 -x5028 
1796.70/1797.02	v x6207 x8378 -x10149 -x10184 -x10969 x875 x6206 -x9267 -x874 -x1231 -x3511 -x5025 -x8370 x9263 -x10178 -x3432 x3769 -x8371 -x10967 
1796.70/1797.02	v -x1483 -x3080 x3431 -x3505 x3767 -x7096 -x8860 -x10963 -x4139 -x9694 -x1485 -x3077 -x4135 -x7095 -x9696 x10522 -x1490 
1796.70/1797.02	v -x3429 x6472 -x8578 x9852 -x836 -x1210 -x1489 -x3425 x6460 -x8577 x8857 x9693 -x9848 -x3068 x3384 -x5798 x6464 -x7017 -x7101 
1796.70/1797.02	v -x1511 x3372 -x4491 -x5800 -x6458 -x7016 -x7099 -x8145 -x8851 -x9688 -x10519 x1495 -x3376 -x6456 x8575 x9945 -x1207 -x1459 -x1494 
1796.70/1797.02	v x3370 -x3687 -x4490 x5797 -x8147 -x8571 -x9682 x9933 -x10513 -x839 -x1493 x3368 -x7014 -x8152 -x9937 x10773 -x840 -x1201 
1796.70/1797.02	v -x3684 -x3883 -x5792 -x5899 -x7010 -x8151 -x9931 x10774 x4496 x5333 -x9929 -x10770 -x2706 -x2722 -x3882 -x4494 x5334 -x5786 
1796.70/1797.02	v -x8979 -x10022 x10766 x1462 -x2375 -x2707 -x5330 x1463 x2377 -x2711 x4197 -x5326 -x5896 -x6540 -x6920 -x7577 -x8981 -x10758 -x2690 
1796.70/1797.02	v -x3237 -x3888 x4198 x7561 -x8088 -x8986 -x10759 -x1741 -x2374 x3225 -x3886 -x4202 -x5318 x5890 -x6537 -x6922 x7560 -x8084 
1796.70/1797.02	v -x8985 -x9579 -x49 -x3229 -x4181 x4514 -x4964 -x5307 -x5319 -x6927 -x7559 -x7714 -x10025 -x1738 x2369 -x3223 -x3568 x4502 
1796.70/1797.02	v -x4965 -x5306 -x6926 -x7716 -x10026 -x3221 -x4506 -x4961 -x6368 -x8330 -x2363 -x4500 x4957 -x6364 x7713 -x8326 -x9576 -x3402 
1796.70/1797.02	v -x4498 -x5304 -x6098 -x3398 -x3565 -x4949 -x5300 x7708 -x9570 -x3840 -x4950 -x3559 -x4838 -x7702 x2972 x4105 -x5358 -x1826 x2974 
1796.70/1797.02	v -x3461 -x5359 x7123 -x9604 x10891 -x1871 -x2334 x5355 x7107 x1873 x2971 -x3460 -x4835 -x5351 -x5646 -x7106 -x10575 -x10888 
1796.70/1797.02	v -x348 -x1631 -x7105 -x9486 -x1632 x1870 -x2966 -x4829 -x5343 -x7946 x9474 x9601 -x10577 -x10725 x1628 -x1829 -x3466 -x5344 
1796.70/1797.02	v -x8611 x9478 x10582 -x1434 x1624 -x1830 -x1865 x2960 -x3464 -x9472 -x9595 -x10581 -x10727 -x9470 x10732 -x1031 x1616 -x1859 -x4465 
1796.70/1797.02	v -x5086 x7943 x10731 x1617 -x3663 -x9630 x3659 -x4467 -x5085 -x7937 x9631 x1437 -x4472 x9627 x1438 -x4471 x9623 -x731 x5091 
1796.70/1797.02	v -x6800 -x733 -x2129 -x2544 x5089 -x9615 x3737 -x9616 -x86 x730 -x2126 x3725 -x8740 -x1663 x3729 -x7271 -x83 x725 -x3723 x7267 
1796.70/1797.02	v -x3721 -x5127 -x8309 x9319 -x719 -x1725 x2306 -x5123 -x8308 x8623 x9320 x2307 x9316 x2311 -x5061 -x7421 -x8620 x9312 x2290 
1796.70/1797.02	v -x8306 x8302 -x9304 x1728 -x2221 -x8504 -x9305 -x1729 -x2217 x4319 x7368 -x7418 -x8500 x4320 -x5064 -x5209 -x3862 x4324 -x5065 
1796.70/1797.02	v x7203 -x7365 x7412 x2802 -x3479 x10121 -x168 -x811 x3475 -x4118 x4798 -x7616 -x9997 x4803 x10125 -x170 -x810 -x4802 -x4893 
1796.70/1797.02	v x7237 -x7613 x10123 x175 -x2201 -x3286 -x4894 -x174 -x2203 x3287 -x4898 x7239 x7696 -x10144 -x10191 -x816 x3283 -x4877 -x7244 
1796.70/1797.02	v x7680 -x8384 -x10000 -x814 -x2200 -x3279 -x3518 x6676 -x7243 x7679 -x8383 -x10001 -x10146 -x6219 x6660 x7678 -x7973 -x10151 
1796.70/1797.02	v -x2195 -x3271 -x6220 -x6659 x7961 -x10150 x10188 -x3272 -x6216 -x6658 x7965 -x8381 -x871 -x2189 -x3515 -x3765 -x5029 x6212 
1796.70/1797.02	v x7959 -x8377 -x10182 x855 -x3766 -x7957 -x9265 x854 -x3064 -x3509 x3770 x6204 -x9261 x853 x3749 x6205 -x10965 -x3063 -x3081 
1796.70/1797.02	v -x9695 -x10961 -x4140 -x6469 x1486 -x4136 x6471 -x7097 -x298 x1470 -x3069 -x3381 -x3427 x7098 -x9853 -x835 x1469 -x3067 -x3383 
1796.70/1797.02	v -x3423 -x5799 -x6468 x7102 -x8855 x9692 -x9849 -x1468 -x1506 x7081 x9942 -x837 x1507 -x3380 x6463 -x8852 -x9686 x9944 -x10517 
1796.70/1797.02	v -x842 x1503 -x8573 -x10772 -x841 -x1205 x1458 x1499 -x3375 -x3688 -x4492 -x5796 -x6457 -x8148 -x8569 x9941 -x10514 -x10771 
1796.70/1797.02	v -x923 x4493 -x5332 -x7012 x8132 -x45 -x1202 x1460 -x1491 -x2647 -x3369 x4497 -x5331 -x5790 -x7008 x8131 -x9936 x1465 -x1492 
1796.70/1797.02	v x4476 -x8130 -x10769 -x44 -x1409 x1464 -x2376 -x3884 -x9930 -x10021 x10765 -x2703 -x3234 -x3885 -x5329 x7572 -x2691 -x3236 -x3889 
1796.70/1797.02	v -x5325 -x5894 -x6094 -x6541 x7573 -x8982 x10023 -x50 -x2650 -x2695 -x3868 -x4194 -x4511 -x4963 -x7569 -x8966 -x10028 -x48 
1796.70/1797.02	v -x1742 -x2373 -x2651 -x2689 x3233 -x3836 x4182 -x4513 -x4962 x5891 -x6093 -x6923 -x7565 -x7715 -x8965 -x10027 -x1412 -x2687 
1796.70/1797.02	v x4186 x6907 -x8964 -x1413 x2367 -x3228 -x3835 -x4101 -x4180 -x4510 x6906 -x7557 -x4178 -x4960 x6099 -x6369 -x6578 x6905 -x7558 
1796.70/1797.02	v x2330 -x3222 -x4100 -x4505 -x4956 -x6097 -x6365 x7712 -x9574 -x3403 -x3841 -x5302 -x344 x2329 -x3399 -x3563 -x3839 -x4499 
1796.70/1797.02	v -x5298 -x6290 -x7706 -x9571 x4106 -x5357 -x343 -x944 x2973 -x3560 x4104 -x5356 -x8607 -x2335 x7118 -x1825 -x1872 -x2333 x7119 
1796.70/1797.02	v -x8606 -x10892 -x349 -x474 -x1630 x5354 -x6293 -x7115 -x9483 -x347 -x1629 -x1827 x2970 -x3462 -x4833 -x5350 -x6294 x7111 -x9485 
1796.70/1797.02	v -x947 -x1832 -x3118 x3463 -x8612 -x948 -x1831 x1869 -x2964 -x3467 -x4830 -x7103 -x8610 -x9482 x9599 -x10578 -x1627 -x3446 
1796.70/1797.02	v -x7104 x10562 -x1433 x1623 -x1863 -x6796 -x9477 -x9596 x10561 x10728 -x9629 -x10560 x10712 -x1435 -x5479 x6795 x7941 -x9471 
1796.70/1797.02	v -x9628 -x10711 x1440 -x10710 x1439 -x1659 x4468 x5087 -x7938 -x4420 x4452 x5088 -x6801 -x9626 -x732 x1658 x4451 x5092 -x6799 
1796.70/1797.02	v -x9622 x3734 -x4450 x5071 -x5482 -x319 -x2130 x3736 -x5483 x1664 -x87 -x729 x1662 x3733 -x6846 -x9318 x723 -x3728 -x9317 x322 
1796.70/1797.02	v x323 x1724 -x3722 -x5205 -x8624 x2303 -x6849 x9315 x1726 x2291 -x5060 -x5204 -x6850 x9311 -x645 x1731 x2295 -x8304 x1730 x2289 
1796.70/1797.02	v -x3858 -x5062 -x8300 -x2222 x2287 -x5067 -x5210 -x2218 -x5066 -x5208 -x7369 -x7416 -x4316 x3861 x4312 -x7204 x7413 x2801 -x3477 
1796.70/1797.02	v -x3786 x10122 -x3473 x4799 -x7617 x9996 x10126 -x10551 -x3285 x4785 x10108 -x171 x812 -x2202 -x3284 -x4784 x9998 x155 x813 
1796.70/1797.02	v -x2806 -x4783 -x4890 -x7691 -x10003 -x154 -x817 x4878 x7240 -x7692 -x10002 -x153 x796 x3282 -x4882 -x6218 -x6671 x7224 -x7688 
1796.70/1797.02	v -x7970 -x10554 -x2199 -x3278 -x4876 -x6217 -x6672 -x7223 x7684 -x7972 -x10147 -x10555 -x4874 -x6668 -x7222 x10131 -x2193 
1796.70/1797.02	v -x6664 x7676 -x7969 x10130 x10186 -x866 -x6215 x7677 -x8379 x10129 -x294 -x867 -x3513 x6211 -x6656 x7964 -x8375 -x10183 -x863 
1796.70/1797.02	v -x3762 -x6657 -x9266 -x10630 -x293 x859 -x3510 x3750 -x4942 -x7958 -x9262 x3754 -x10966 x851 -x3065 -x3748 -x6470 -x10962 x299 
1796.70/1797.02	v -x852 x1481 -x3066 -x3746 -x5234 x297 -x919 x1482 -x3070 -x3382 x1478 -x1505 -x3049 -x3428 -x4945 -x7094 x10339 -x918 -x1474 
1796.70/1797.02	v -x1504 -x3424 -x4946 -x6467 x7082 -x8856 x9690 -x9943 -x2185 x7086 x838 -x1466 -x3379 x6461 -x7080 -x9687 -x10518 x822 -x924 
1796.70/1797.02	v -x1467 x1502 -x7078 -x8143 -x8574 x821 -x922 -x1206 -x1498 -x3373 -x5794 x8144 -x8570 -x9940 -x820 x4489 -x7013 x8140 -x8417 
1796.70/1797.02	v x1461 -x2113 -x2646 x4477 -x5791 -x7009 x8136 -x9934 x1445 -x2700 -x4481 -x7571 -x10767 -x46 -x1408 -x1444 -x2648 -x2702 
1796.70/1797.02	v -x3235 x4475 -x6574 -x7570 -x8128 x10763 x47 -x1443 -x2653 -x3881 -x4191 -x4473 -x5327 -x8129 -x8977 -x51 -x1410 -x2652 -x2699 
1796.70/1797.02	v -x3869 -x4193 -x4512 -x5323 -x5895 -x6573 -x8978 x10024 -x30 -x1415 -x2116 -x3873 -x6918 -x7568 -x8974 x10008 -x1414 -x2117 
1796.70/1797.02	v -x2371 -x2694 x3232 -x3867 -x4190 -x6095 x6919 -x7564 -x8046 -x8970 x10007 -x3865 -x6096 -x6579 x6915 -x10006 -x2368 -x2688 
1796.70/1797.02	v -x3226 -x3837 x4185 -x4509 x6100 -x6577 x6911 -x8962 x3838 -x4958 x6079 -x8963 -x470 -x3842 -x4102 -x4179 -x4503 -x4954 x6903 
1796.70/1797.02	v -x7710 -x9575 -x3821 -x4103 -x5303 x6904 x8049 -x469 x2331 -x3114 -x3564 x4107 -x5299 -x6289 -x7707 -x8050 -x8723 x2332 x4086 
1796.70/1797.02	v x7117 -x345 -x943 x2336 -x3113 -x6291 x7116 -x346 -x475 -x2315 x6296 -x350 -x473 x945 x6295 -x8608 -x9484 x329 x950 -x3119 
1796.70/1797.02	v -x5352 -x7114 -x8609 -x8726 -x949 -x1828 x2968 -x3117 -x4834 -x5348 -x7110 x8613 -x8727 -x1812 -x3459 -x8592 -x10573 -x1534 -x1811 
1796.70/1797.02	v x1867 -x2965 x3447 -x4416 -x9481 -x9600 -x10574 -x1625 -x1810 -x3451 x10570 -x10680 x10723 -x894 x1621 -x1864 -x3445 -x4415 
1796.70/1797.02	v -x9475 -x10566 x10724 -x3443 -x8242 -x10720 -x1436 -x5478 x6797 -x7942 -x10558 x10716 -x1363 x1420 -x1537 -x4421 -x4463 
1796.70/1797.02	v x6798 -x10559 -x1419 -x1538 -x4419 -x4464 -x5480 -x6802 -x10708 -x897 -x1418 -x4460 -x5084 -x5485 x6781 -x9624 -x10709 -x898 
1796.70/1797.02	v x1660 -x3735 -x4456 x5072 -x5484 -x9620 x1661 x5076 -x7651 -x318 x1665 -x4448 x5070 x1644 -x4449 x5068 -x320 -x641 -x727 -x1584 
1796.70/1797.02	v -x3732 x6845 x325 x324 x640 -x724 -x3726 x6847 -x2300 x6852 -x2302 -x4441 -x6851 -x646 -x1587 x9313 -x644 -x1588 x1727 x2299 
1796.70/1797.02	v -x5206 x8170 -x9309 x1711 -x5207 -x8305 x1710 x2294 -x3857 -x5063 -x5211 -x8301 x1709 -x4313 -x4444 -x5047 -x5190 x2288 -x3859 
1796.70/1797.02	v -x4315 -x4445 -x5046 -x7417 x3864 -x5044 x8173 x3863 x4311 x8174 x2803 -x3478 -x3785 -x4795 x10118 -x519 -x3474 -x4794 x10109 
1796.70/1797.02	v -x10550 -x166 x2807 -x4793 -x4887 -x7690 x10113 -x167 -x2805 -x4789 -x4889 -x7689 x9999 x10107 -x10552 -x163 -x809 -x3790 
1796.70/1797.02	v -x6670 -x7235 x9983 -x10105 -x10557 -x159 x797 -x4781 x4886 -x6669 -x7236 -x7971 -x9982 -x10556 -x10626 -x523 -x801 x3280 
1796.70/1797.02	v -x4782 x7232 -x7687 -x9981 -x10142 -x151 x795 -x2197 -x2902 -x3276 -x4881 x7228 x7683 -x10143 -x10625 -x152 -x793 -x865 -x6667 
1796.70/1797.02	v -x9840 x10139 -x864 -x2194 -x4875 -x5230 -x6663 -x7220 -x7968 -x10135 x10187 -x3759 -x6213 -x7221 -x8380 x10631 -x3514 -x3761 
1796.70/1797.02	v -x5229 x6209 x7962 -x8376 -x9658 x10127 -x10335 -x10629 -x862 -x2905 x10128 x295 -x858 -x2181 -x2906 -x3758 -x4941 -x10334 
1796.70/1797.02	v x296 -x1480 -x5235 x300 -x1479 -x2180 x3753 -x4943 -x5233 x279 -x3062 -x4948 -x7091 -x9661 x10340 x3050 -x3747 -x4947 -x7093 
1796.70/1797.02	v -x8413 -x9662 x10338 -x1477 -x2186 x3054 -x377 -x920 -x1473 -x2184 -x3048 -x6465 -x7090 -x8412 -x9691 -x833 -x921 -x3046 -x8142 
1796.70/1797.02	v x834 x925 -x3377 -x6462 -x7085 -x8141 -x830 -x904 x1500 -x4486 -x8418 x826 -x1496 -x3374 -x4488 -x5795 -x7079 -x8416 -x9938 
1796.70/1797.02	v -x380 x1456 x8139 -x381 -x818 x1457 -x2112 -x2701 -x4485 x8135 -x9935 -x819 -x1453 -x3878 -x8976 -x10768 -x1449 -x2114 -x2649 
1796.70/1797.02	v -x3880 -x4192 -x4480 -x8975 x10764 -x43 -x2119 x2633 -x5328 -x6917 x10019 x31 -x1411 -x1441 -x2118 x2632 -x2698 -x3877 -x4474 
1796.70/1797.02	v -x5324 -x6575 -x6916 x10020 -x35 -x1395 -x1442 x2631 -x6576 -x7358 -x7566 -x8973 x10016 -x29 -x1394 -x2372 -x2692 x3230 
1796.70/1797.02	v -x3872 -x4189 -x6580 -x7562 -x8045 -x8969 x10012 -x27 -x1393 -x6092 -x6559 x6914 -x3227 -x3866 -x4183 -x4507 x6080 -x6910 x8047 
1796.70/1797.02	v -x10004 x3834 -x4959 x6084 x8052 -x10005 x3822 -x4504 -x4955 x6078 -x7711 x8051 -x3826 -x4099 x6076 -x471 -x3820 x4087 -x8722 
1796.70/1797.02	v -x472 x2328 -x3818 -x4091 -x476 x2316 -x3115 x4085 -x6292 x8724 -x10676 -x342 x455 -x2320 -x3116 -x4083 x6276 -x8729 x330 
1796.70/1797.02	v x946 -x2314 -x3120 -x6275 -x8238 -x8728 -x10675 x334 x930 -x1823 -x2312 -x3099 -x3456 -x5353 -x6274 -x7112 x8605 -x10572 -x328 
1796.70/1797.02	v x929 -x1359 -x1824 x2969 -x3458 -x5349 -x7108 -x8237 x8593 -x10571 -x326 x928 -x1820 -x8597 -x10681 x10722 -x1358 -x1533 -x1816 
1796.70/1797.02	v x1868 -x3455 -x8591 -x9479 -x10360 -x10679 x10721 -x1626 -x8243 -x8589 x10569 -x893 x1535 -x1622 -x1808 -x3450 -x4417 x7647 
1796.70/1797.02	v -x8241 -x9476 -x10565 -x1364 x1431 x1540 -x1809 -x4418 -x4462 -x10719 -x895 -x1362 x1432 x1539 -x3444 -x4422 -x4461 -x7522 
1796.70/1797.02	v x7646 -x10715 -x900 x1428 x4401 -x5081 -x6794 -x9351 -x10363 -x899 x1424 -x5083 -x5481 x6782 -x10364 -x4459 x5465 -x6528 -x6786 
1796.70/1797.02	v -x7652 -x9625 -x1416 -x4455 -x5080 x5464 -x6780 -x7650 -x9621 -x1417 x1657 x5463 -x6653 -x6778 -x7525 x1645 x5075 -x7526 
1796.70/1797.02	v x1649 -x9376 -x321 -x728 -x1583 x1643 -x3730 x5069 x305 -x1641 x304 x642 -x1585 -x2301 -x3727 x6848 -x303 x643 x1590 -x4545 
1796.70/1797.02	v x6832 x647 x1589 -x4440 x6831 -x626 -x1722 -x6830 -x9314 x1723 x2298 -x3960 -x4442 x8169 -x9310 -x1719 -x4447 -x5058 -x5203 
1796.70/1797.02	v -x1715 x2292 -x4314 -x4446 -x5059 -x5191 x8171 -x5055 -x5195 x8176 x1707 -x3860 -x5051 -x5189 x8175 -x1708 x3843 -x3963 -x5187 
1796.70/1797.02	v x3844 -x3964 x4310 -x5045 -x10296 -x165 x2804 x3787 -x164 -x518 x2808 -x4888 -x8071 -x9836 x10117 -x806 x1784 x2790 -x3791 
1796.70/1797.02	v -x4792 -x7234 -x9994 -x808 x1785 -x3789 -x4788 -x7233 -x9835 -x9995 -x10112 -x10553 -x162 -x524 -x9991 -x10141 x10537 -x158 -x522 
1796.70/1797.02	v -x805 -x4885 x9987 -x10106 -x10140 x10536 x3281 -x7231 -x7685 -x8074 -x9841 x10535 -x800 -x2198 x2901 -x3277 -x4879 x7227 
1796.70/1797.02	v -x7681 -x8075 -x9839 -x9979 -x10627 -x6665 -x9980 x10138 -x10628 -x794 x2903 -x3760 -x6661 -x7966 -x10134 x10632 x2908 -x6214 
1796.70/1797.02	v x10611 x2907 -x5231 x6210 -x6624 -x7963 -x9657 -x860 -x5232 -x856 -x3757 -x5236 -x9659 x10336 -x292 -x3059 x5215 -x9664 x10337 
1796.70/1797.02	v x280 -x2182 -x3061 x3751 -x4944 -x7092 -x9663 x10341 -x284 -x2183 x4928 -x6627 -x10320 x278 -x2187 x3058 x4917 -x4927 -x6628 
1796.70/1797.02	v x276 -x832 -x1475 x2166 -x2856 -x4926 -x376 -x831 -x1471 -x3053 -x6466 -x7089 -x8414 -x917 x8415 -x378 x905 -x3047 -x3378 
1796.70/1797.02	v -x4487 -x7083 -x8419 -x383 -x829 -x909 x1455 x1501 -x2025 x4920 -x8398 -x382 x825 -x903 x1454 -x1497 -x4921 -x7354 -x9939 -x901 
1796.70/1797.02	v x8137 -x3879 -x4484 -x4733 -x7353 x8133 -x40 -x1452 x2644 -x8292 x10018 -x42 -x1448 -x2115 x2645 -x4478 x10017 -x1406 x2099 
1796.70/1797.02	v x2641 -x7359 -x39 -x1407 x2098 x2637 -x2696 -x3876 -x7357 -x1403 x2097 -x4736 -x6089 -x6572 -x7567 -x8971 x10015 -x34 -x1399 
1796.70/1797.02	v -x2622 -x2629 -x2693 -x3231 -x3870 -x4187 -x4737 -x6091 -x6560 -x7563 -x8967 -x10011 -x2630 x3831 -x6564 -x6912 -x28 -x1391 
1796.70/1797.02	v x3833 -x4184 -x4508 x6088 -x6558 -x6908 x8048 -x1392 -x4096 -x6556 x8032 x3830 -x4098 x6083 -x6599 x8031 -x1168 -x2325 -x2625 
1796.70/1797.02	v x8030 -x2327 -x2626 -x3825 -x4095 x6077 -x7794 -x339 x468 -x6287 -x341 x456 -x2324 -x3819 -x4090 -x6288 x8725 -x460 -x941 
1796.70/1797.02	v -x1822 x3112 -x6284 -x6602 x8602 x8709 -x338 -x454 x942 -x1821 -x2319 x3100 -x3457 -x4084 -x6280 -x6603 x8604 -x8708 -x10677 
1796.70/1797.02	v -x452 -x938 -x3104 -x5558 -x7113 -x7797 -x8707 -x10678 x333 -x934 -x2313 -x3098 -x6272 -x7109 -x7798 -x8239 x8601 -x9347 -x10682 
1796.70/1797.02	v -x1819 -x3096 -x6273 x8240 x10661 -x327 -x926 -x1360 -x1815 -x3454 -x6524 -x8244 -x8596 -x9346 -x9480 -x10359 -x927 -x1361 
1796.70/1797.02	v x1430 -x8199 x8223 -x10567 -x1365 x1429 x1536 -x3448 -x6523 -x6649 -x8590 -x10361 -x10563 -x1344 x1520 -x4414 -x6791 -x9352 
1796.70/1797.02	v -x10366 -x10717 -x10755 -x896 -x1519 x4402 -x5082 -x6648 -x6793 -x7521 x7648 -x9350 -x9372 -x10365 -x10713 -x880 x1427 -x1518 
1796.70/1797.02	v -x3218 x4406 -x5476 -x6529 x7649 -x879 -x1423 x4400 -x5477 -x6527 x6790 -x7523 x7653 -x9371 -x878 x1654 x4398 -x4457 -x5473 
1796.70/1797.02	v -x6654 x7528 -x7632 x1656 -x4453 -x4541 -x5079 x5469 -x6652 -x6785 -x7527 -x9377 -x1653 -x4540 x5073 x5461 -x6779 -x9375 -x316 
1796.70/1797.02	v x5462 -x317 -x1648 -x3731 -x313 x4546 -x6843 -x9467 x309 -x1586 -x1642 x4544 -x6844 x639 x1570 -x1721 x6840 -x301 x627 x1569 
1796.70/1797.02	v -x1720 x6836 -x302 x631 -x1568 -x5057 -x5200 -x6148 x144 -x625 -x2296 -x3959 x4443 -x5056 -x5202 -x6828 -x623 -x1718 x4427 
1796.70/1797.02	v -x6829 -x1714 -x2293 x3961 -x4426 -x5199 x8172 -x10292 -x3855 x3966 -x4425 -x5054 x8156 -x3856 x3965 -x5050 -x5194 x8155 -x147 
1796.70/1797.02	v -x3852 x8153 -x148 -x3848 x4308 -x5188 -x10295 x1787 -x2800 x3788 -x9993 -x520 -x807 x1786 x2791 -x3792 -x4034 x8070 -x9992 
1796.70/1797.02	v -x10116 -x521 x2795 x3774 -x4790 -x10548 -x525 x2789 -x3811 -x4786 x8072 -x9837 -x10110 x10549 -x160 -x505 x2787 x8077 -x9838 
1796.70/1797.02	v -x9990 x10545 -x156 -x804 -x4883 x8076 -x9842 -x9986 x10541 -x4038 -x7229 -x7686 x9821 -x798 -x4880 x7225 -x7682 -x10533 
1796.70/1797.02	v -x3814 -x6666 x10136 -x10534 x10624 x2904 -x3815 -x6662 -x7967 -x10132 x10612 x2888 x10616 -x2852 x2887 -x6623 x10610 -x289 -x861 
1796.70/1797.02	v -x2050 x2886 -x5228 x10608 -x291 -x857 -x2851 -x3060 -x3755 x5216 -x6625 -x9660 -x4939 -x5220 -x6630 -x9644 -x10333 -x288 
1796.70/1797.02	v -x2021 -x3752 -x4940 -x5214 -x6629 -x9643 x10321 x2179 -x2857 -x4936 -x5212 -x5458 -x9642 x10325 -x283 -x2020 x2167 -x2855 
1796.70/1797.02	v x3057 x4916 -x4932 -x10319 -x914 -x1476 x2171 -x10317 x277 -x916 -x1472 x2165 -x3051 x4918 -x4924 -x7087 -x8288 -x2026 x2163 
1796.70/1797.02	v x4923 -x4925 -x8411 -x379 x913 -x1114 -x2024 x4922 -x7084 -x8287 x8399 x363 -x827 x8403 x362 -x823 -x908 -x8397 -x9125 x361 -x2643 
1796.70/1797.02	v -x8138 x8293 -x8395 -x41 -x902 -x1089 x2642 -x4482 -x4732 -x7355 x8134 -x8291 -x1117 -x1405 -x1450 -x2110 -x7356 -x1118 
1796.70/1797.02	v -x1404 -x1446 x2111 -x4479 -x4734 x7360 -x2107 -x2640 x4739 -x6569 -x7339 -x9128 -x38 -x1164 x2103 x2636 -x2697 -x3874 -x4738 
1796.70/1797.02	v -x6090 -x6571 -x9129 -x9438 -x1092 -x1402 -x8972 x10013 -x32 -x1093 x1163 -x1398 -x2095 -x2621 -x3832 -x3871 -x4188 -x6568 
1796.70/1797.02	v -x8968 -x10009 -x2096 -x6913 -x8043 -x2623 -x4097 x6087 -x6563 -x6909 -x8044 x1169 -x2628 -x8040 -x9441 -x1167 -x2326 -x2627 
1796.70/1797.02	v x3829 -x5554 x6081 -x6557 -x6598 x8036 -x9442 -x465 -x790 -x6286 -x340 -x467 -x3823 -x4094 -x5553 -x6285 -x6600 -x7793 x8028 
1796.70/1797.02	v -x8537 -x940 x3109 -x6605 -x8029 x8720 x464 -x939 -x2323 x3111 -x4088 -x6604 -x7795 -x8195 -x8603 x8721 -x5559 -x6283 -x7800 
1796.70/1797.02	v x8717 -x337 -x459 -x2317 -x3108 -x5557 -x6279 -x7799 -x8194 x8713 x10751 -x937 -x8540 -x10674 -x331 -x453 -x933 -x3103 -x3214 
1796.70/1797.02	v -x8541 x8600 -x8705 x10662 x10750 -x1817 -x8200 x8236 -x8706 x10666 -x1813 -x3097 -x3213 -x3452 -x8198 x8224 -x8594 x9348 -x10660 
1796.70/1797.02	v x1357 -x1531 -x2459 -x4411 -x8228 x9349 -x10568 -x10658 -x10756 x1345 -x1532 -x3449 -x4413 -x6525 -x6792 -x8222 -x9353 
1796.70/1797.02	v x10362 -x10564 -x10754 -x891 x1349 -x1528 -x3219 -x5475 -x6526 -x8220 -x9332 x10346 -x10718 -x892 -x1343 x1524 -x3217 -x4410 
1796.70/1797.02	v -x5474 -x6530 -x6650 -x10345 -x10714 -x888 -x1341 x1425 x5608 -x6509 -x6651 -x7645 -x10344 -x884 -x1421 -x1516 -x1655 x4405 -x6655 
1796.70/1797.02	v -x6789 x7524 x7633 -x9373 -x9463 -x1517 -x4458 -x5472 -x6634 -x6900 x7508 -x7637 -x9374 -x876 x4399 -x4454 -x5077 -x5468 
1796.70/1797.02	v -x6783 x7507 -x7631 -x9378 x9462 -x315 -x877 x7506 -x7629 -x9357 -x314 -x1652 -x4542 x5074 x6144 x4543 -x6842 -x9468 -x1646 
1796.70/1797.02	v x4547 x6143 -x6841 -x9466 -x312 -x636 -x1581 -x4526 -x308 x638 x1582 -x1578 -x6149 x6839 x635 x1139 -x1574 -x5201 -x6147 -x6835 
1796.70/1797.02	v -x4438 -x10505 x143 x630 -x1566 -x2297 -x4439 -x1567 -x1716 -x3854 x4435 -x8167 x145 -x624 -x1712 -x3853 x3962 x4431 -x5198 
1796.70/1797.02	v -x8168 -x10291 x150 -x1142 x3946 -x5052 x8164 x149 -x1143 x3945 -x4423 -x5048 -x5192 x8160 -x10293 -x3851 x3943 -x4424 -x10298 
1796.70/1797.02	v -x3847 x4309 x8154 -x10297 x1775 -x3784 -x10547 -x20 -x1774 x2799 x3775 -x4033 -x10114 -x10546 -x517 -x1773 x3779 -x4791 
1796.70/1797.02	v -x506 x2794 -x3773 -x3810 -x4787 x8073 -x10111 -x161 -x510 -x3771 x4039 x8057 -x9834 -x9988 -x10544 -x157 -x504 -x802 -x2046 
1796.70/1797.02	v -x2788 -x3812 -x4037 -x4884 x8056 x9822 -x9984 x10540 -x23 -x502 -x3817 -x7230 -x8055 -x9826 -x10621 -x24 -x799 -x2045 -x3816 
1796.70/1797.02	v x7226 -x9820 x10623 -x2899 -x9818 x10137 x2900 -x4059 x5454 -x10133 x10620 -x2051 x2896 -x5225 -x290 -x2049 x2892 -x5227 x5453 
1796.70/1797.02	v x10615 -x4938 -x9655 -x10330 -x2853 x2884 -x3756 -x4937 x5224 -x6626 -x7046 -x9656 -x10332 x10609 -x2176 -x2854 -x2885 -x4062 
1796.70/1797.02	v -x5459 -x6610 -x9652 -x287 x2178 x2858 -x4063 -x5219 -x5457 -x6609 -x9648 x10329 x2837 -x4935 -x6269 -x6608 -x281 -x915 
1796.70/1797.02	v -x2022 -x2175 -x2355 x3055 -x4931 -x5213 -x9640 -x10324 -x2023 -x7049 -x8408 -x9641 x2027 -x2170 -x3052 x4919 -x7050 -x7088 -x8410 
1796.70/1797.02	v -x10318 -x374 -x2006 x4903 -x10655 x375 x912 -x1113 -x2164 x4902 -x8289 -x8407 -x371 -x828 -x2358 x4901 x8290 -x9815 -x367 
1796.70/1797.02	v -x824 -x906 -x1115 -x2359 x8294 x8402 -x9124 x1120 -x2109 -x2881 x8273 x359 -x1088 -x1119 -x2108 -x4483 -x8396 -x9126 -x360 
1796.70/1797.02	v -x1451 x7352 -x9131 -x1090 -x1447 x4735 -x6499 -x6570 x7340 -x9130 -x1095 -x2106 -x2638 x4719 -x7344 -x36 -x786 -x1094 -x2102 
1796.70/1797.02	v x2634 -x3875 -x4718 -x7338 -x9437 -x1400 -x4717 -x7336 -x8042 x10014 -x33 -x785 x1165 -x1396 -x6567 -x8041 -x9439 -x10010 
1796.70/1797.02	v x1166 -x6502 -x9444 x1170 -x2624 x6085 -x6503 -x6561 -x9443 -x791 x1149 -x2608 -x8039 -x466 -x789 -x2607 x3827 x6082 -x8035 
1796.70/1797.02	v -x2606 -x6431 x8719 -x3110 -x3824 -x4092 -x5555 -x6601 -x8536 x8718 -x5556 x6585 x463 -x2321 -x2455 -x4089 -x5560 x6584 -x7796 
1796.70/1797.02	v -x8538 -x5539 -x6281 x6583 x7780 -x8543 x8716 -x10671 -x335 -x457 -x2318 -x2454 -x3107 -x4391 -x6277 x7779 -x8196 -x8542 x8712 
1796.70/1797.02	v -x10673 -x935 -x7778 -x8197 -x8233 -x332 -x931 -x3101 -x5604 -x8201 -x8235 x8598 -x10670 x10752 -x1354 -x1530 -x1818 -x2460 
1796.70/1797.02	v -x8180 x10753 x1356 -x1529 -x1814 -x2458 -x3215 -x3453 -x4412 x5603 -x6896 -x8232 -x8595 x10665 -x10757 -x890 -x3216 -x4394 
1796.70/1797.02	v -x9345 -x10357 -x10736 -x889 -x1353 -x3220 -x4395 -x6895 -x8227 x9333 -x10358 -x10659 -x1527 -x3199 x5609 x6522 -x7642 -x7748 
1796.70/1797.02	v x9337 -x10354 -x1348 -x1523 -x4409 x5607 x6510 -x7644 -x8221 -x9331 -x10350 -x887 -x1426 x6514 x6647 -x6901 -x7519 -x9329 
1796.70/1797.02	v -x883 -x1342 -x1422 -x2577 x4403 -x6508 x6635 -x6787 -x6899 -x7520 x7641 -x10342 -x1613 -x5470 -x6506 -x6639 -x7516 -x9370 -x10343 
1796.70/1797.02	v -x5078 -x5466 -x6633 -x6784 x7512 -x7636 -x9358 x9464 -x9749 -x6631 -x9362 x9465 -x686 -x1650 x7504 -x7630 -x9356 -x9469 
1796.70/1797.02	v x10501 -x1580 -x2580 x4539 -x7505 -x9354 x9448 -x637 -x1579 -x1647 -x2581 x4527 x6145 x10500 -x310 -x4531 -x4638 x6146 -x9752 
1796.70/1797.02	v -x306 -x4525 x6150 -x9753 -x689 -x1577 -x4437 -x4523 -x6129 x6837 x10506 x634 -x690 x1138 -x1573 -x1851 -x4436 -x6833 -x10504 
1796.70/1797.02	v -x8166 x628 x1140 -x8165 -x1145 -x1717 -x3957 -x4434 x4663 x146 -x1144 -x1713 -x3958 -x4430 -x5196 x130 -x1854 -x3954 -x5053 
1796.70/1797.02	v x8163 -x129 -x1855 x3950 -x5049 -x5193 x8159 -x10294 -x127 -x2484 -x3849 x10277 -x3845 x3944 x6201 x10278 -x516 x1783 -x19 
1796.70/1797.02	v -x515 -x1779 -x2663 x2798 x3783 -x4035 -x10115 x4036 x8068 -x9831 -x21 -x514 -x1771 -x2792 -x3778 x4040 x8069 -x9833 x26 -x1772 
1796.70/1797.02	v -x4020 -x8065 -x9989 -x10542 x25 -x509 -x803 -x3772 -x3813 x8061 x9830 -x9985 -x10538 -x10622 -x2667 -x2898 x3797 -x503 
1796.70/1797.02	v -x2047 -x2897 x3796 -x3920 -x8053 -x9825 x2048 -x3795 -x8054 x2052 -x4058 -x5226 -x6265 -x9819 x10619 -x2031 x2895 -x9654 -x2891 
1796.70/1797.02	v -x4060 x5455 x6264 -x9653 -x10331 x10613 -x3923 x4065 x5456 -x6621 -x2177 -x3924 -x4064 -x5223 -x5460 -x6622 -x7045 -x10651 
1796.70/1797.02	v x2850 -x5439 -x6270 -x6618 -x9651 -x285 x2838 -x5217 -x6268 -x6614 x7047 -x9647 -x9811 -x10328 x10650 -x2842 -x4933 x7052 
1796.70/1797.02	v -x282 -x2174 -x2354 x2836 -x2877 -x3056 -x4929 -x6606 -x7051 -x8409 -x9810 -x10322 -x373 x2019 x2834 -x4914 -x6607 x10656 -x372 
1796.70/1797.02	v x2007 -x2168 -x2356 -x2876 -x4915 x10654 -x2011 -x2361 x4911 -x9816 x910 -x2005 -x2360 x4907 -x6169 -x8406 -x9814 -x370 -x2003 
1796.70/1797.02	v -x2882 -x3365 x8286 -x366 -x907 x1116 -x2880 x4899 -x7304 x8274 -x8400 x1100 x4900 -x7349 -x8278 x1099 -x7351 x8272 -x9127 
1796.70/1797.02	v x1098 -x2434 x4730 -x6172 -x8270 x9111 -x1091 x4731 -x6173 -x6498 -x7348 x9110 x1075 -x2104 -x2639 -x4727 -x6004 -x7307 x9109 
1796.70/1797.02	v -x37 -x1074 -x2100 x2635 x4723 -x6427 -x6500 -x7308 -x7329 -x7343 -x1073 -x1401 -x6505 -x787 -x1397 -x4715 x6426 -x6504 -x6565 
1796.70/1797.02	v -x7337 -x9440 -x788 -x1162 -x2619 -x4716 x5683 -x9424 -x792 x1150 -x2620 -x5878 -x6086 -x6562 -x9423 x771 -x1154 -x2616 
1796.70/1797.02	v x6432 -x7332 -x8037 -x9422 x10274 x1148 -x2612 -x3828 x6430 -x7333 -x8033 -x1146 x6596 -x2604 -x4093 x6597 -x2605 -x5552 x5881 
1796.70/1797.02	v x6593 -x7791 x461 -x2322 -x5540 x5882 x6589 -x7792 -x8539 -x10672 -x3989 -x5544 -x6282 x7788 x8523 -x8714 -x336 -x458 -x2456 
1796.70/1797.02	v -x3105 -x4390 -x5538 -x6278 -x6581 -x7744 x7784 -x8234 x8522 x8710 -x936 -x2457 -x5536 -x6582 -x8193 x8521 -x932 -x1355 x2461 
1796.70/1797.02	v -x3102 -x4392 -x7743 -x7776 -x8181 x8599 -x10669 x2440 -x4397 -x7777 -x8185 -x9342 -x10356 -x10749 -x1609 -x4396 x5605 -x8179 
1796.70/1797.02	v -x8231 -x9344 -x10355 x10663 x10737 -x3212 x5606 -x6519 -x7749 -x8177 x10741 -x1352 -x1608 -x3200 x5610 x6521 -x6897 -x7643 
1796.70/1797.02	v -x7747 -x8225 -x9341 -x10735 -x1525 -x3204 -x5589 -x6644 x6898 -x7518 -x10353 -x10733 -x1346 -x1521 -x3198 -x4407 x6518 x6646 
1796.70/1797.02	v x6902 -x7517 -x9249 -x9336 -x10349 -x885 -x1614 -x3196 x6881 -x9367 -x881 -x1612 -x2576 x4404 -x4634 x6513 -x6643 -x6788 
1796.70/1797.02	v -x7640 -x9330 -x9369 -x5471 -x7515 -x2578 -x4633 -x5467 -x6507 -x6638 x7511 -x7634 -x9366 -x9748 -x2583 -x4536 -x9252 x9461 
1796.70/1797.02	v -x685 -x1651 -x2582 x4538 -x6632 -x9253 -x9361 x9449 x9750 -x273 -x4639 -x9453 x9755 -x687 x4535 -x4637 -x4659 -x9355 -x9447 
1796.70/1797.02	v -x9754 x10502 -x311 -x692 -x4613 -x6142 -x9445 x10503 -x307 -x691 -x4530 -x4658 x6130 x10507 -x1575 x6134 -x6838 -x10486 -x632 
1796.70/1797.02	v -x1571 -x1850 -x2480 -x4010 -x4524 -x6128 -x6834 -x3956 x4664 -x6126 -x9009 x629 x1141 -x1852 -x2479 -x3955 x4662 -x10825 x141 
1796.70/1797.02	v x1125 -x1857 -x4432 x142 x1124 -x1856 -x4428 -x5197 x138 x1123 x2485 -x3953 -x4013 -x5633 -x8161 -x10289 x134 -x2483 x3949 
1796.70/1797.02	v -x4014 -x8157 -x10290 -x3850 x10286 -x10828 -x128 -x3846 x6200 x10282 -x10829 x1782 x8067 -x1778 -x2662 x2796 -x3782 x4301 
1796.70/1797.02	v x8066 -x9832 x4032 -x22 -x513 -x1946 -x2793 -x3776 x4021 x6 -x2668 -x3808 -x4025 -x8064 -x10543 x5 -x507 -x2666 -x3809 -x4019 
1796.70/1797.02	v -x8060 x9829 -x10539 x4 -x3805 -x4017 x4305 x3801 -x3919 -x9823 -x1949 -x2044 -x1950 x2032 -x3793 x3921 x10617 -x1268 -x2036 
1796.70/1797.02	v -x2893 -x3794 -x3926 -x6620 -x2030 -x2889 -x3925 x4061 x6266 -x6619 -x10614 -x2028 -x2847 x4045 x5452 x6267 -x2849 x4044 -x5221 
1796.70/1797.02	v x5440 x6271 -x4043 x5444 x6250 -x6617 -x9649 -x286 x2846 -x3361 -x5218 -x5438 -x6613 x7048 -x9645 -x10326 x10652 x2016 -x4913 
1796.70/1797.02	v -x4934 -x5436 x7032 x10653 x2018 -x2172 -x2841 -x3360 -x4912 -x4930 -x6340 x7031 -x9812 -x10323 x10657 -x7030 -x9813 -x10636 
1796.70/1797.02	v -x2015 -x2169 x2357 -x2430 -x2835 -x2878 x9817 x2341 -x2879 -x3366 x4910 x8283 -x9796 x911 -x2010 -x2340 -x2429 -x2883 -x3364 
1796.70/1797.02	v x4906 -x6000 -x6168 x8285 -x8404 -x8698 -x368 x1111 -x2339 -x2862 -x6343 -x364 x1112 -x2004 -x5999 -x6170 -x6344 -x7303 
1796.70/1797.02	v -x7350 x8282 -x8401 -x1108 -x2435 -x4729 x6175 -x9122 -x1104 -x2433 x4728 -x5679 x6174 -x7305 -x8277 x9123 -x1086 -x6005 x7310 
1796.70/1797.02	v -x8701 x9119 x1087 x1096 -x5678 -x6003 -x7309 -x7347 -x8271 -x8702 -x9115 -x10270 -x1083 x1097 -x2105 -x4726 -x1079 -x2101 
1796.70/1797.02	v -x4722 x6501 -x7328 -x7341 -x9107 -x10269 -x1159 -x2618 x5684 x6485 -x9108 -x9435 -x1071 -x1161 -x2617 x5682 x6428 -x6484 -x6566 
1796.70/1797.02	v -x7330 -x9436 -x784 -x1072 x6429 -x6483 -x7335 -x9432 x10275 x772 -x1158 -x3985 -x5877 x6433 -x7334 -x9428 x10273 -x776 
1796.70/1797.02	v -x2615 x6412 -x6595 -x8038 x770 -x1153 -x2611 -x3984 -x5879 -x6594 -x8034 -x9420 -x768 -x5549 x5884 -x7790 -x9421 -x1147 -x5551 
1796.70/1797.02	v x5883 -x7789 -x3990 x6592 x8534 -x462 -x1189 -x3988 -x5548 -x6588 x8535 x7787 -x8190 x8531 -x8715 -x3106 -x5543 x7783 -x8192 
1796.70/1797.02	v x8527 -x8711 -x2453 -x10746 x2441 -x4393 -x5537 -x6946 -x7745 -x8189 -x8519 -x9343 -x10667 -x10748 x1192 -x2445 -x3209 x4377 
1796.70/1797.02	v -x7746 -x8520 -x1193 -x2439 -x3211 x4376 -x6520 x7750 -x8184 -x8229 -x10664 -x10745 -x2437 -x4375 -x5602 x7729 x9537 -x1350 
1796.70/1797.02	v -x1610 -x3208 x5590 -x6645 -x8178 -x8226 -x9340 -x10740 -x1526 -x1611 -x5594 -x6894 x6949 -x10351 -x269 -x1347 -x1522 -x1615 
1796.70/1797.02	v -x3203 -x4408 -x5588 -x6517 x6882 x6950 -x9248 -x9334 -x9368 -x10347 -x10734 -x886 x1594 -x5586 x6886 -x268 -x882 -x3197 x4609 
1796.70/1797.02	v -x6511 -x6642 x6880 -x7638 -x9250 -x5708 x6878 -x7513 -x9255 x9458 x2579 -x4537 x4608 -x4635 -x6636 -x7509 -x7635 -x9254 
1796.70/1797.02	v -x9365 x9460 -x274 x2563 -x4636 -x10249 -x272 -x2562 -x4640 x9005 -x9359 -x9457 x9751 -x2561 -x4614 -x4619 -x6139 x9735 -x688 
1796.70/1797.02	v x4534 -x4612 -x6141 x9004 -x9452 x9734 -x10434 x672 x9733 -x10499 x671 -x4528 -x4660 -x5629 -x6138 -x9446 x10487 x670 -x1576 
1796.70/1797.02	v -x4661 -x9010 x10491 -x633 -x1572 -x4009 x4665 -x5628 -x6133 -x8263 -x9008 -x10485 -x140 x1136 -x4644 -x10437 -x10483 -x139 
1796.70/1797.02	v x1137 x1853 x2481 -x4011 -x6127 -x10438 -x10824 -x1133 x1837 x2482 -x4016 -x4433 -x5634 -x10288 x1129 x1836 x2486 -x4015 -x4429 
1796.70/1797.02	v -x5632 -x6197 -x10287 -x10826 -x137 -x1835 x2465 -x3951 -x8162 -x8266 x10831 -x133 x1121 x3947 -x6196 -x8158 -x8267 -x10830 
1796.70/1797.02	v -x1018 x1122 x10285 x6202 x10281 x1780 -x4031 -x1776 -x2664 -x2797 -x3780 -x4030 x4300 -x17 x2665 -x3807 -x18 -x511 -x1264 
1796.70/1797.02	v -x1945 -x2669 -x3777 -x3806 x4029 -x14 x2657 x4306 -x8062 -x10 -x508 -x1263 -x1947 -x4024 x4304 -x8058 x9827 -x1952 -x2041 -x3804 
1796.70/1797.02	v x2 -x1951 -x2043 -x3800 -x4018 -x9824 x3 x1269 -x3315 -x1267 -x2040 x3922 x10618 -x2894 x3906 -x4056 -x5449 -x2035 -x2848 
1796.70/1797.02	v -x2890 x3905 -x4057 x5451 -x3904 x4053 -x6263 -x2029 -x4049 -x5222 x5448 x6251 x6255 -x6615 -x7043 -x9650 -x2017 x2845 -x4041 
1796.70/1797.02	v x5443 -x6249 -x6611 x7044 -x9646 -x10327 -x4042 -x6247 -x7040 -x7911 x10649 -x2173 -x2839 x3362 -x5437 -x6339 -x7036 x10637 
1796.70/1797.02	v -x2352 x3363 -x9809 -x10641 -x2014 -x2353 -x3367 -x6341 -x7028 -x8284 x9797 -x10635 -x1110 -x2349 x2875 -x3346 x4908 x6346 
1796.70/1797.02	v -x7029 -x9801 -x10633 -x1109 -x2008 x2345 -x2431 x2863 x4904 -x6345 -x8405 -x8697 -x9795 -x369 x2432 -x2867 -x6453 -x9121 -x9793 
1796.70/1797.02	v -x365 -x2337 -x2436 -x2861 -x6001 -x6171 x8281 -x8699 -x9120 -x1085 -x1107 -x2338 -x2415 -x2859 -x6002 x6155 -x8704 -x1084 
1796.70/1797.02	v -x1103 -x6006 x6154 x7306 -x8275 -x8703 -x5985 x6153 x7290 -x9118 x5680 x7289 -x7345 -x9114 -x1082 -x4724 x5681 -x6496 x7288 
1796.70/1797.02	v -x9434 -x1078 -x1160 -x4720 x5685 x6497 -x7342 -x9433 -x10271 -x781 x5664 -x6493 -x10272 -x783 -x6489 x7331 x10276 -x6425 x7315 
1796.70/1797.02	v -x9431 x10255 -x780 -x1157 x6413 -x6481 x7314 -x9427 -x2613 x6417 -x6482 x7313 -x775 -x1151 -x2609 -x3986 -x5550 -x5880 
1796.70/1797.02	v x6411 -x3987 x5864 x6409 -x8533 -x769 -x3991 x5863 x8532 -x3970 x5862 x6590 -x1188 -x5547 -x6586 -x8191 -x9533 -x2450 -x7785 
1796.70/1797.02	v x8530 x1190 -x2452 -x5541 -x7781 x8526 -x9532 -x10747 x1195 x4388 x1194 -x2449 -x3210 x4389 -x6945 -x8188 -x10668 -x4385 -x5599 
1796.70/1797.02	v x7742 x9538 -x2444 -x4381 -x5601 -x5704 -x6947 x7730 -x8182 -x8230 x9536 -x10744 -x6891 x6952 x7734 -x9228 -x1351 -x2438 -x3207 
1796.70/1797.02	v -x4373 x5598 -x5703 -x6893 x6951 x7728 -x9338 -x10245 -x10738 -x1607 -x4374 x7726 -x10352 x1595 -x3201 -x5593 -x6515 -x6890 
1796.70/1797.02	v -x9335 -x10244 -x10348 -x1599 x5709 -x270 x1593 -x5587 x5707 -x6512 -x6640 x6885 -x7639 -x9251 -x9459 -x271 -x1591 -x2574 
1796.70/1797.02	v -x7514 -x9235 -x10250 x275 x2575 x4610 -x6637 -x6879 -x7510 -x9234 -x9363 -x10248 x254 x2571 x4611 -x4632 -x9233 -x9746 x2567 
1796.70/1797.02	v -x4615 -x4620 -x6140 -x9360 -x9456 x9747 -x683 -x4594 -x4624 x9743 -x10496 x684 -x2559 x4532 -x4618 -x6024 x9006 -x9450 -x9739 
1796.70/1797.02	v -x10433 -x10498 x680 -x2560 -x4616 x9007 x676 -x4529 -x6137 -x9011 x9731 -x10435 x10495 -x1135 -x4657 -x8990 x9732 -x10440 
1796.70/1797.02	v x668 -x1014 x1134 x4645 -x5630 -x6131 -x8262 -x10439 -x10490 -x669 x1848 -x4649 -x5631 -x6027 -x1013 x1849 -x4012 -x4643 -x5635 
1796.70/1797.02	v -x6028 -x8264 -x10484 -x1132 -x1845 -x2478 -x3996 -x4641 x5614 -x8269 -x1128 -x1841 x2466 -x3995 -x8268 -x10827 -x135 -x1019 
1796.70/1797.02	v -x2470 -x3952 -x3994 x10811 -x131 -x1017 -x1833 -x2464 -x3948 -x6198 x10810 -x1834 -x2462 -x6199 x10283 x10808 -x4345 x6203 
1796.70/1797.02	v -x10279 -x16 -x1781 -x15 -x10984 -x1777 -x3311 -x3781 x4302 x4303 -x512 -x3310 x4028 x4307 -x13 x2661 x4295 -x8063 -x9 -x661 
1796.70/1797.02	v x1265 -x1948 -x2042 -x2656 -x4022 -x8059 x9828 x1266 -x1932 -x2654 x3316 -x3802 x1270 -x1931 x3314 -x3798 x1249 -x1930 x3917 
1796.70/1797.02	v -x4055 -x2039 x3918 -x4054 -x5450 -x7907 -x664 x3914 -x6260 -x7929 -x665 -x2033 x3910 -x6262 -x7906 -x4052 -x7042 x10480 
1796.70/1797.02	v -x3902 -x4048 x5447 x6259 -x7041 -x3903 -x6616 -x7912 x9926 -x10646 x2843 x5441 x6254 -x6449 -x6612 -x7910 -x10648 -x2351 -x7039 
1796.70/1797.02	v -x8652 -x9806 -x2350 -x2840 -x6248 -x6448 -x7035 -x9808 x10645 x2872 x3359 -x2012 x2874 x3347 -x6342 -x9805 -x10640 -x2348 
1796.70/1797.02	v -x3351 x4909 x6326 -x6454 -x2009 -x2344 -x2871 -x3345 x4905 x6325 -x6452 -x9800 -x10634 -x2428 -x3343 -x6166 x6324 x2416 -x2866 
1796.70/1797.02	v -x6167 -x8279 -x8700 -x9794 -x1105 -x2420 -x5998 -x6163 -x7301 x8684 -x1101 -x2414 -x2860 -x5986 -x6044 -x6159 x7302 -x8276 
1796.70/1797.02	v -x8683 -x2412 -x5990 -x6495 x7298 -x8682 -x9116 -x5984 x6151 -x6494 x7294 -x7346 -x9112 -x1080 x2160 -x4725 -x5677 -x5982 
1796.70/1797.02	v -x6152 -x782 -x1076 -x4721 x5665 x7286 -x5669 x6047 -x6422 -x6492 x7287 x7326 -x10268 x5663 -x6048 -x6424 -x6488 x7327 x10256 
1796.70/1797.02	v x5661 -x7323 -x9429 x10260 -x779 -x1155 x6421 x7319 -x9425 x10254 -x2614 -x5875 x10252 -x773 -x1152 -x2610 x5876 x6416 x7311 
1796.70/1797.02	v -x3983 x5872 -x7312 x1334 x3971 -x5868 -x6410 x3975 x6591 -x2451 -x3969 -x5545 x5860 -x6587 -x9224 -x3967 x4387 -x5861 -x7786 
1796.70/1797.02	v -x8528 x1191 x4386 -x5542 -x7782 -x8524 x9223 -x9534 x1175 -x1337 -x7739 x9535 x1174 -x1338 -x2448 -x5600 -x7741 -x8186 x9539 
1796.70/1797.02	v x1173 -x4384 -x9229 -x9518 -x2442 -x4380 -x6892 x6948 -x7738 -x7864 -x8183 -x9227 -x10742 -x1604 x6932 -x1606 -x3205 x5597 
1796.70/1797.02	v -x5705 x6931 x7733 -x9339 -x10739 x5706 x6930 x1603 -x1896 -x3202 -x5591 x5710 -x6516 -x6889 -x7727 -x10246 -x2573 -x5689 
1796.70/1797.02	v x7867 -x9246 x10247 -x1598 -x2572 -x6641 -x6883 x7868 -x9247 x10251 -x267 -x4629 -x9243 -x9745 x10230 x255 -x1592 -x4631 -x5429 
1796.70/1797.02	v -x9239 -x9364 -x9744 x259 -x682 -x1899 x2570 -x4607 -x253 -x681 -x1900 x2566 x4595 -x4628 -x5012 -x9231 -x9454 -x10497 -x251 
1796.70/1797.02	v -x399 x4599 -x9232 x9742 x4533 -x4593 -x4623 -x6023 -x9451 -x9738 x679 -x4591 -x4654 -x5432 x9003 x675 -x2597 -x4617 -x4656 
1796.70/1797.02	v -x5433 -x6025 -x6135 x8991 -x10436 x10494 -x1847 -x3718 -x5015 -x6030 -x8995 x10420 -x1846 -x4653 -x5016 -x6029 -x6132 -x8989 
1796.70/1797.02	v x10419 -x10488 -x2475 -x4007 -x5627 -x8987 x10418 -x1015 -x2477 -x4008 -x4648 x5615 -x8265 -x1016 -x1130 -x1844 -x2600 -x4004 
1796.70/1797.02	v -x5619 x8249 x10822 -x1020 -x1126 -x1840 -x2474 -x2601 -x4000 -x4341 -x4642 x5613 x8248 x10823 -x136 x1004 -x5611 x8247 x10819 
1796.70/1797.02	v -x132 -x2469 -x3992 -x10815 -x3993 -x6195 x10284 -x2463 -x4344 -x10280 x10809 -x3312 x4026 -x7925 -x8880 -x11 -x847 -x1943 
1796.70/1797.02	v -x3313 x4299 -x7 -x660 -x848 -x1944 x2660 x3317 -x4023 -x4294 -x7924 -x9674 -x10476 x1262 -x1940 x3299 -x3803 x3916 -x4292 
1796.70/1797.02	v -x662 x1250 -x1936 -x2655 -x3799 x3915 -x9922 -x10475 x667 x1254 -x7930 -x8883 -x666 x1248 -x1928 -x2037 -x6261 -x7928 -x8648 
1796.70/1797.02	v -x8884 -x9921 x1246 -x1929 -x3913 -x9677 x10481 -x2034 -x3909 -x7908 -x8647 -x9678 x10479 -x4050 -x7909 x9927 -x4046 -x5445 
1796.70/1797.02	v x6258 x7913 x9925 -x10647 -x7899 -x8653 -x2844 -x5442 x6252 -x8651 -x9807 x3356 -x7037 -x2873 x3358 -x6450 -x7033 -x9413 x10644 
1796.70/1797.02	v x6337 x6451 -x2013 -x3355 x6338 x6455 -x9804 -x10638 -x2346 -x2425 -x6165 x6334 -x6437 -x2156 -x2342 -x2427 -x2870 -x3350 
1796.70/1797.02	v x3936 -x6164 -x6330 -x9798 -x5995 -x7300 x8695 x9416 -x2155 -x2424 -x2864 -x3344 -x5997 x6322 -x7299 -x8280 x8696 -x9417 -x1106 
1796.70/1797.02	v -x6162 x6323 x8692 -x1102 -x1684 -x2419 -x5994 -x6043 -x6158 x8688 x2161 x3939 -x5674 -x7297 -x9117 x2159 -x2413 x3940 -x5676 
1796.70/1797.02	v -x5989 -x6045 x7293 -x8680 -x9113 -x1081 x6050 -x7325 -x8681 -x10265 -x1077 -x5673 -x5983 x6049 -x6423 -x7324 -x10267 -x1687 
1796.70/1797.02	v -x6490 -x1688 -x5245 -x5668 -x6486 x10264 -x5874 -x7322 -x9430 -x777 -x1156 -x5662 -x5873 x6420 x7318 -x9426 x10259 -x3980 
1796.70/1797.02	v -x774 -x3982 x6414 -x7550 -x10253 -x5248 x5871 x1333 x3979 -x5249 -x5867 x1335 x3974 -x5546 x1186 x1340 -x7553 -x8529 x1187 
1796.70/1797.02	v -x1339 -x3968 -x7554 -x7740 -x8525 x9225 -x1183 x9226 x9531 -x1179 -x2446 -x8187 x9230 x9519 -x4382 x6943 -x9212 x9523 x1171 
1796.70/1797.02	v -x1605 -x2443 -x4378 x6944 -x7737 -x7863 -x9517 -x10743 -x1172 x6940 -x9515 -x3206 x5595 x6936 -x7731 x7865 x5702 x7870 -x9245 
1796.70/1797.02	v -x395 -x1602 x1895 -x5592 x5690 -x6887 -x6928 x7869 -x9244 -x264 -x5694 -x6929 x10243 -x266 -x394 -x1596 x1897 -x4630 -x5688 
1796.70/1797.02	v -x6884 x10231 -x1902 -x4604 -x5686 -x9242 x10235 x263 -x1901 -x3714 -x4606 -x5428 -x9238 x10229 -x400 x2568 -x10227 x258 
1796.70/1797.02	v -x398 -x2564 -x3713 x4603 -x4627 -x5011 -x5430 -x9455 -x5435 -x9000 x9740 -x252 x4598 -x4621 -x4655 -x5013 -x5434 -x9002 -x9736 
1796.70/1797.02	v x677 -x3719 -x5018 x10431 x673 -x1700 -x2596 -x3717 -x4592 -x5017 -x6026 -x6136 x8999 x10432 -x10492 -x4006 -x5624 x6011 
1796.70/1797.02	v -x10428 -x2476 -x2598 -x4005 -x4652 -x5626 x6010 -x8994 -x10424 -x10489 -x2603 -x6009 x8260 x10821 -x2602 -x4646 -x5623 x8261 
1796.70/1797.02	v -x8988 x10416 x10820 -x1012 -x1131 -x1703 -x1842 -x4003 -x8257 x10417 -x1127 -x1704 -x1838 -x2473 -x3999 -x4340 -x5618 -x8253 
1796.70/1797.02	v -x6192 x10818 x1003 -x2467 x4342 -x5612 -x6194 x8245 -x10814 x1001 x4347 -x8246 x4346 x850 -x1942 x849 -x1941 -x4027 -x8879 
1796.70/1797.02	v -x12 x1259 -x3309 -x8 x1261 -x2658 x3300 x4298 -x7926 -x8881 -x9673 -x1939 -x3303 -x7927 -x8886 -x663 x1258 -x1935 x3298 -x4293 
1796.70/1797.02	v -x7931 -x8885 x9675 -x10477 x652 x3296 -x7917 -x9680 -x10478 -x651 x1253 -x2038 -x9679 -x9923 x10482 -x650 -x3911 -x9924 
1796.70/1797.02	v x10468 -x1247 -x3907 x8649 x9928 -x4051 x7905 x8650 -x4047 -x5446 x6256 -x8654 x8642 -x3357 -x6253 -x7898 -x6336 -x7038 -x7896 
1796.70/1797.02	v x6335 -x7034 x9412 x10642 x6447 -x2426 -x3354 x6438 x9414 -x9802 -x10639 -x2347 x6333 -x6441 -x8694 x9419 -x2343 -x2868 -x3348 
1796.70/1797.02	v x3935 -x5996 -x6329 -x6436 x8693 x9418 -x9799 -x6434 -x2157 -x2423 -x2865 x3937 -x2158 x3942 -x6160 x8691 -x1683 x2162 -x2417 
1796.70/1797.02	v x3941 -x5675 -x5993 -x6156 x8687 x2148 -x7295 -x1685 -x5987 -x6046 x7291 -x10266 -x1690 x6035 -x1689 -x5672 x6034 x6033 
1796.70/1797.02	v -x6491 -x5244 -x5666 -x6487 -x10263 -x7320 -x778 -x3981 -x5246 x6418 x7316 x10257 -x5251 -x5250 -x6415 x7549 -x5869 x3978 -x5865 
1796.70/1797.02	v x7551 -x1185 x7556 x1184 x1336 x3972 -x7555 x1325 -x9528 -x1324 x9530 -x1182 -x1323 -x6942 x9222 -x1178 -x2447 x6941 x9213 
1796.70/1797.02	v x9527 -x4383 -x9216 -x4379 -x7735 -x9211 x9522 -x5699 x6939 -x9209 x5596 -x5701 x6935 -x7732 x7866 -x9516 x7855 -x10240 -x265 
1796.70/1797.02	v -x1600 x5698 -x6888 x7854 -x10242 x7853 -x396 -x1597 x1898 -x4605 -x5693 x10239 -x397 x1887 -x9240 x262 -x401 -x1886 -x5687 
1796.70/1797.02	v -x9236 x10234 -x387 -x1885 -x2569 x256 -x2565 -x3715 x4602 -x4625 x5431 -x9001 -x10228 -x3716 x5420 -x9741 -x10430 -x3720 -x4596 
1796.70/1797.02	v -x4622 -x5014 -x5419 -x9737 x10429 -x678 x3706 x5003 -x5418 -x6021 -x674 x1699 -x5002 -x5625 x6022 x8998 -x10493 -x5001 
1796.70/1797.02	v x6018 x8259 -x10427 x1701 -x2599 -x4650 x6015 x8258 -x8992 -x10423 -x1009 x1706 x2588 -x1011 x1705 x2587 -x4647 -x5622 -x6007 
1796.70/1797.02	v -x1843 x2586 -x4001 -x6008 -x8256 -x1008 -x1839 -x2471 -x3997 -x5616 -x6193 -x8252 x10816 -x2468 x4343 -x10812 x1002 x10983 
1796.70/1797.02	v -x3307 -x3306 -x8878 -x846 -x1260 -x3308 -x7921 -x8877 -x657 -x845 -x1256 -x1938 -x3305 -x7920 x8876 x9672 -x656 -x843 -x2659 
1796.70/1797.02	v -x3304 x4296 -x7922 x8882 x9671 -x10472 -x658 -x844 -x1255 -x1937 -x7923 x8875 x9670 x10471 -x659 -x1257 -x1933 -x3301 -x4297 
1796.70/1797.02	v -x7918 x8874 x9676 -x9918 x10473 -x655 -x3302 -x7919 -x8873 x9669 -x9917 x10474 -x653 x1251 -x1934 -x3297 x7903 -x7916 -x8644 
1796.70/1797.02	v -x8871 -x9668 -x9919 x10469 -x654 -x3912 x7902 -x7914 -x8643 -x8872 -x9667 x9920 -x10470 -x648 x1252 -x3908 x7904 -x7915 
1796.70/1797.02	v -x8645 -x9665 -x10467 -x649 -x7901 -x8646 -x9666 -x10465 -x6257 x7900 -x10466 -x6445 x8641 x10982 -x6444 x10981 x8639 x9411 -x6446 
1796.70/1797.02	v -x7897 -x8640 x9410 x10643 -x3353 x6332 x6443 x9409 -x3352 x6442 x9415 -x9803 x3934 x6331 x9408 -x2152 -x2869 -x3349 x3933 
1796.70/1797.02	v -x6327 -x6439 x9407 -x2151 -x2422 x3932 -x6440 x8690 x9406 -x2153 -x2421 x3938 -x6328 -x6435 x9404 x1682 -x2154 x3931 -x5992 
1796.70/1797.02	v -x6040 -x6161 x8689 -x9405 x1681 x2149 -x2418 -x3930 -x5991 -x6039 -x6157 x8685 x1680 x2150 -x3929 x6041 -x7296 -x1686 x2147 
1796.70/1797.02	v -x3927 -x5988 x6042 x7292 -x8686 x1679 x2145 -x3928 -x5671 x6038 x1678 x2146 -x5670 x6036 x1677 x5243 x6037 -x10262 x1675 
1796.70/1797.02	v x5242 -x5667 x6031 -x10261 x1676 x5241 -x6032 -x7321 x5247 x6419 -x7317 x10258 x5240 -x1330 x3977 x5239 -x5870 -x1329 x3976 
1796.70/1797.02	v x5237 -x5866 x7552 -x1331 x5238 x1332 x3973 x7548 -x9220 -x9529 -x1181 x1328 x7547 -x9219 x9525 x1326 x7545 -x9221 -x1180 -x1327 
1796.70/1797.02	v x7546 x9218 x9524 -x1176 -x1321 x9217 x9526 -x1322 x6938 x7860 -x1177 -x5700 -x7736 x7859 -x9214 x9520 x5696 x6937 x7861 
1796.70/1797.02	v -x9215 x6933 x7862 -x9210 -x9521 -x10241 -x1892 x5695 x7858 x10237 -x391 -x1601 -x1891 x5697 -x6934 x7856 x390 -x1893 x7857 x10236 
1796.70/1797.02	v x392 -x1894 -x5691 x7851 x10238 -x261 x393 -x1890 -x5425 x7852 -x9241 -x260 x388 -x1888 -x3710 x5424 -x5692 -x9237 x10232 
1796.70/1797.02	v -x389 -x1889 -x3709 -x4601 -x5008 x5426 x257 -x386 -x1883 -x3711 -x4600 -x4626 -x5007 x5427 x10233 -x384 -x1884 -x3712 -x5009 
1796.70/1797.02	v -x5423 -x6020 -x385 x3707 -x4597 -x5010 x5421 -x6019 -x1698 -x2593 -x3708 x5006 -x5422 x6017 x8997 -x10426 -x1697 -x2592 
1796.70/1797.02	v -x3705 x5004 -x5416 x8996 x1696 -x2594 -x3703 x5005 -x5417 x6016 -x10425 -x1010 x1702 x2595 -x3704 -x4651 -x4999 x6014 -x8993 
1796.70/1797.02	v -x10421 -x1006 x1695 x2591 -x5000 -x5621 -x8255 x1694 x2589 -x5620 x6012 -x10422 -x1005 x1693 x2590 -x4002 -x4337 x6013 -x8254 
1796.70/1797.02	v -x1007 -x1691 -x2472 x2584 -x3998 x4336 -x5617 -x8250 -x1692 -x2585 x4338 x10817 x4339 -x8251 -x10813 
1796.70/1797.02	c SCIP Status        : solving was interrupted [time limit reached]
1796.70/1797.02	c Total Time         :    1797.00
1796.70/1797.02	c   solving          :    1797.00
1796.70/1797.02	c   presolving       :       0.30 (included in solving)
1796.70/1797.02	c   reading          :       0.05 (included in solving)
1796.70/1797.02	c   copying          :       0.18 (5 #copies) (minimal 0.03, maximal 0.04, average 0.04)
1796.70/1797.02	c Original Problem   :
1796.70/1797.02	c   Problem name     : HOME/instance-3690972-1338018753.opb
1796.70/1797.02	c   Variables        : 10989 (10989 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.02	c   Constraints      : 12472 initial, 12472 maximal
1796.70/1797.02	c   Objective sense  : minimize
1796.70/1797.02	c Presolved Problem  :
1796.70/1797.02	c   Problem name     : t_HOME/instance-3690972-1338018753.opb
1796.70/1797.02	c   Variables        : 10919 (10919 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.02	c   Constraints      : 12402 initial, 12402 maximal
1796.70/1797.02	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1796.70/1797.02	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.02	c   trivial          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.02	c   dualfix          :       0.00       0.00         10          0          0          0          0          0          0          0          0
1796.70/1797.02	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.02	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.02	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.02	c   gateextraction   :       0.01       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.02	c   implics          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.02	c   components       :       0.01       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.02	c   pseudoobj        :       0.00       0.01          0          0          0          0          0          0          0          0          0
1796.70/1797.02	c   probing          :       0.05       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.02	c   knapsack         :       0.03       0.00          0          0          0          0          0          1          4          3          5
1796.70/1797.02	c   setppc           :       0.02       0.00          0          0          0          0          0          2          0          0          0
1796.70/1797.02	c   linear           :       0.11       0.00          1         59          0          1          0         71          0          0          0
1796.70/1797.02	c   logicor          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.70/1797.02	c   root node        :          -          -          0          -          -          0          -          -          -          -          -
1796.70/1797.02	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
1796.70/1797.02	c   integral         :          0          0          0          0       1909          0         20          0          0          0          0          0       3818
1796.70/1797.02	c   knapsack         :       1987       1987          4      47161          0          0         16          0          0         22          0          0          0
1796.70/1797.02	c   setppc           :      10396      10396          4      47161          0          0         15          0          0       7499          0          0          0
1796.70/1797.02	c   logicor          :         19         19          4        149          0          0         14          0          0          0          0          0          0
1796.70/1797.02	c   countsols        :          0          0          0          0          0          0         17          0          0          0          0          0          0
1796.70/1797.02	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
1796.70/1797.02	c   integral         :     369.51       0.00       0.00       0.00     369.51       0.00       0.00       0.00
1796.70/1797.02	c   knapsack         :       2.39       0.00       0.10       2.27       0.00       0.00       0.02       0.00
1796.70/1797.02	c   setppc           :      12.06       0.00       0.00      12.04       0.00       0.00       0.02       0.00
1796.70/1797.02	c   logicor          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1796.70/1797.02	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1796.70/1797.02	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
1796.70/1797.02	c   rootredcost      :          2          0          0          0
1796.70/1797.02	c   pseudoobj        :      48958          0          0          0
1796.70/1797.02	c   vbounds          :          0          0          0          0
1796.70/1797.02	c   redcost          :       1915          0          0          2
1796.70/1797.02	c   probing          :          0          0          0          0
1796.70/1797.02	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
1796.70/1797.02	c   rootredcost      :       0.03       0.00       0.00       0.03       0.00
1796.70/1797.02	c   pseudoobj        :       0.13       0.01       0.00       0.11       0.00
1796.70/1797.02	c   vbounds          :       0.02       0.00       0.00       0.02       0.00
1796.70/1797.02	c   redcost          :       0.41       0.00       0.00       0.41       0.00
1796.70/1797.02	c   probing          :       0.05       0.00       0.05       0.00       0.00
1796.70/1797.02	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.70/1797.02	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1796.70/1797.02	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1796.70/1797.02	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.70/1797.02	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.70/1797.02	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.70/1797.02	c   applied globally :          -          -          -          0        0.0          -          -          -
1796.70/1797.02	c   applied locally  :          -          -          -          0        0.0          -          -          -
1796.70/1797.02	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
1796.70/1797.02	c   cut pool         :       0.00                     3          -          -         17          -    (maximal pool size: 304)
1796.70/1797.02	c   closecuts        :       0.00       0.00          0          0          0          0          0
1796.70/1797.02	c   impliedbounds    :       0.01       0.00          5          0          0          0          0
1796.70/1797.02	c   intobj           :       0.00       0.00          0          0          0          0          0
1796.70/1797.02	c   gomory           :       3.93       0.00          5          0          0        100          0
1796.70/1797.02	c   cgmip            :       0.00       0.00          0          0          0          0          0
1796.70/1797.02	c   strongcg         :       5.55       0.00          5          0          0       1000          0
1796.70/1797.02	c   cmir             :       0.39       0.00          5          0          0          0          0
1796.70/1797.02	c   flowcover        :       0.31       0.00          5          0          0          0          0
1796.70/1797.02	c   clique           :       0.02       0.00          5          0          0          0          0
1796.70/1797.02	c   zerohalf         :       0.00       0.00          0          0          0          0          0
1796.70/1797.02	c   mcf              :       0.01       0.00          1          0          0          0          0
1796.70/1797.02	c   oddcycle         :       0.00       0.00          0          0          0          0          0
1796.70/1797.02	c   rapidlearning    :       0.00       0.00          0          0          0          0          0
1796.70/1797.02	c Pricers            :   ExecTime  SetupTime      Calls       Vars
1796.70/1797.02	c   problem variables:       0.00          -          0          0
1796.70/1797.02	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1796.70/1797.02	c   relpscost        :     369.50       0.00       1909          0          0          0          0       3818
1796.70/1797.02	c   pscost           :       0.00       0.00          0          0          0          0          0          0
1796.70/1797.02	c   inference        :       0.00       0.00          0          0          0          0          0          0
1796.70/1797.02	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
1796.70/1797.02	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
1796.70/1797.02	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
1796.70/1797.02	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
1796.70/1797.02	c   random           :       0.00       0.00          0          0          0          0          0          0
1796.70/1797.02	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
1796.70/1797.02	c   LP solutions     :       0.00          -          -          0
1796.70/1797.02	c   pseudo solutions :       0.00          -          -          0
1796.70/1797.02	c   oneopt           :       0.08       0.00          8          6
1796.70/1797.02	c   crossover        :       0.85       0.00          4          4
1796.70/1797.02	c   smallcard        :       0.00       0.00          0          0
1796.70/1797.02	c   trivial          :       0.02       0.00          2          2
1796.70/1797.02	c   shiftandpropagate:       0.00       0.00          0          0
1796.70/1797.02	c   simplerounding   :       0.00       0.00          0          0
1796.70/1797.02	c   zirounding       :       1.00       0.00       1000          0
1796.70/1797.02	c   rounding         :     212.49       0.00       1556          1
1796.70/1797.02	c   shifting         :      27.65       0.00        198          1
1796.70/1797.02	c   intshifting      :       0.00       0.00          0          0
1796.70/1797.02	c   twoopt           :       0.00       0.00          0          0
1796.70/1797.02	c   indoneopt        :       0.00       0.00          0          0
1796.70/1797.02	c   indtwoopt        :       0.00       0.00          0          0
1796.70/1797.02	c   fixandinfer      :       0.00       0.00          0          0
1796.70/1797.02	c   feaspump         :       0.00       0.00          0          0
1796.70/1797.02	c   clique           :       0.00       0.00          0          0
1796.70/1797.02	c   coefdiving       :     109.94       0.00          2          0
1796.70/1797.02	c   indcoefdiving    :       0.00       0.00          0          0
1796.70/1797.02	c   indrounding      :       0.00       0.00          0          0
1796.70/1797.02	c   pscostdiving     :      94.89       0.00          9          0
1796.70/1797.02	c   fracdiving       :     100.07       0.00         12          0
1796.70/1797.02	c   nlpdiving        :       0.00       0.00          0          0
1796.70/1797.02	c   veclendiving     :     114.30       0.00          3          0
1796.70/1797.02	c   intdiving        :       0.00       0.00          0          0
1796.70/1797.02	c   actconsdiving    :       0.00       0.00          0          0
1796.70/1797.02	c   objpscostdiving  :       8.33       0.00          8          0
1796.70/1797.02	c   rootsoldiving    :      20.49       0.00          2          0
1796.70/1797.02	c   linesearchdiving :      88.74       0.00          8          0
1796.70/1797.02	c   guideddiving     :     148.26       0.00         11          0
1796.70/1797.02	c   octane           :       0.00       0.00          0          0
1796.70/1797.02	c   rens             :      57.36       0.00          1          1
1796.70/1797.02	c   rins             :       0.00       0.00          0          0
1796.70/1797.02	c   localbranching   :       0.00       0.00          0          0
1796.70/1797.02	c   mutation         :       0.00       0.00          0          0
1796.70/1797.02	c   dins             :       0.00       0.00          0          0
1796.70/1797.02	c   vbounds          :       0.00       0.00          0          0
1796.70/1797.02	c   undercover       :       0.00       0.00          0          0
1796.70/1797.02	c   subnlp           :       0.00       0.00          0          0
1796.70/1797.02	c   trysol           :       0.00       0.00          0          0
1796.70/1797.02	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
1796.70/1797.02	c   primal LP        :       0.01          1          0       0.00          -       0.01          1
1796.70/1797.02	c   dual LP          :     423.48       1924     354744     185.54     837.68       0.12         12
1796.70/1797.02	c   lex dual LP      :       0.00          0          0       0.00          -
1796.70/1797.02	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
1796.70/1797.02	c   diving/probing LP:     599.22      22676     374130      16.50     624.36
1796.70/1797.02	c   strong branching :     367.44       1744     286047     164.02     778.50
1796.70/1797.02	c     (at root node) :          -         21       8497     404.62          -
1796.70/1797.02	c   conflict analysis:       0.00          0          0       0.00          -
1796.70/1797.02	c B&B Tree           :
1796.70/1797.02	c   number of runs   :          1
1796.70/1797.02	c   nodes            :       1909
1796.70/1797.02	c   nodes (total)    :       1909
1796.70/1797.02	c   nodes left       :       1910
1796.70/1797.02	c   max depth        :         54
1796.70/1797.02	c   max depth (total):         54
1796.70/1797.02	c   backtracks       :        398 (20.8%)
1796.70/1797.02	c   delayed cutoffs  :          0
1796.70/1797.02	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1796.70/1797.02	c   avg switch length:       5.14
1796.70/1797.02	c   switching time   :       0.74
1796.70/1797.02	c Solution           :
1796.70/1797.02	c   Solutions found  :         15 (12 improvements)
1796.70/1797.02	c   First Solution   : +2.00580000000000e+04   (in run 1, after 0 nodes, 0.12 seconds, depth 0, found by <trivial>)
1796.70/1797.02	c   Primal Bound     : +1.70000000000000e+01   (in run 1, after 201 nodes, 537.71 seconds, depth 28, found by <crossover>)
1796.70/1797.02	c   Dual Bound       : +1.20000000000082e+01
1796.70/1797.02	c   Gap              :      41.67 %
1796.70/1797.02	c   Root Dual Bound  : +1.20000000000082e+01
1796.70/1797.02	c   Root Iterations  :      21647
1796.80/1797.11	c Time complete: 1796.81.

Verifier Data

OK	17

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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

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


[startup+0 s]
/proc/loadavg: 1.96 2.01 1.81 3/176 7336
/proc/meminfo: memFree=27176104/32873648 swapFree=6596/6596
[pid=7336] ppid=7334 vsize=11140 CPUtime=0 cores=0,2,4,6
/proc/7336/stat : 7336 (scip-2.1.1.4fix) R 7334 7336 6744 0 -1 4202496 1506 0 0 0 0 0 0 0 20 0 1 0 267999792 11407360 1461 33554432000 4194304 10173063 140736032595808 140735913636440 7545739 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7336/statm: 2785 1462 408 1460 0 1316 0

[startup+0.100701 s]
/proc/loadavg: 1.96 2.01 1.81 3/176 7336
/proc/meminfo: memFree=27176104/32873648 swapFree=6596/6596
[pid=7336] ppid=7334 vsize=47252 CPUtime=0.09 cores=0,2,4,6
/proc/7336/stat : 7336 (scip-2.1.1.4fix) R 7334 7336 6744 0 -1 4202496 10357 0 0 0 8 1 0 0 20 0 1 0 267999792 48386048 10308 33554432000 4194304 10173063 140736032595808 140735913636440 8824519 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7336/statm: 11813 10308 515 1460 0 10344 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 47252

[startup+0.200304 s]
/proc/loadavg: 1.96 2.01 1.81 3/176 7336
/proc/meminfo: memFree=27176104/32873648 swapFree=6596/6596
[pid=7336] ppid=7334 vsize=60264 CPUtime=0.19 cores=0,2,4,6
/proc/7336/stat : 7336 (scip-2.1.1.4fix) R 7334 7336 6744 0 -1 4202496 14105 0 0 0 17 2 0 0 20 0 1 0 267999792 61710336 13446 33554432000 4194304 10173063 140736032595808 140735913636440 8963895 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7336/statm: 15066 13446 582 1460 0 13597 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 60264

[startup+0.300301 s]
/proc/loadavg: 1.96 2.01 1.81 3/176 7336
/proc/meminfo: memFree=27176104/32873648 swapFree=6596/6596
[pid=7336] ppid=7334 vsize=73544 CPUtime=0.29 cores=0,2,4,6
/proc/7336/stat : 7336 (scip-2.1.1.4fix) R 7334 7336 6744 0 -1 4202496 17581 0 0 0 26 3 0 0 20 0 1 0 267999792 75309056 16786 33554432000 4194304 10173063 140736032595808 140735913636440 8963895 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7336/statm: 18386 16786 602 1460 0 16917 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 73544

[startup+0.700258 s]
/proc/loadavg: 1.96 2.01 1.81 3/176 7336
/proc/meminfo: memFree=27176104/32873648 swapFree=6596/6596
[pid=7336] ppid=7334 vsize=107488 CPUtime=0.69 cores=0,2,4,6
/proc/7336/stat : 7336 (scip-2.1.1.4fix) R 7334 7336 6744 0 -1 4202496 26176 0 0 0 64 5 0 0 20 0 1 0 267999792 110067712 25022 33554432000 4194304 10173063 140736032595808 140736032589064 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7336/statm: 26872 25022 771 1460 0 25403 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 107488

[startup+1.50027 s]
/proc/loadavg: 1.96 2.01 1.81 3/177 7337
/proc/meminfo: memFree=27077616/32873648 swapFree=6596/6596
[pid=7336] ppid=7334 vsize=108308 CPUtime=1.49 cores=0,2,4,6
/proc/7336/stat : 7336 (scip-2.1.1.4fix) R 7334 7336 6744 0 -1 4202496 26542 0 0 0 143 6 0 0 20 0 1 0 267999792 110907392 25388 33554432000 4194304 10173063 140736032595808 140736032589160 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7336/statm: 27077 25388 771 1460 0 25608 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 108308

[startup+3.10029 s]
/proc/loadavg: 1.96 2.01 1.81 3/177 7337
/proc/meminfo: memFree=27076392/32873648 swapFree=6596/6596
[pid=7336] ppid=7334 vsize=108692 CPUtime=3.09 cores=0,2,4,6
/proc/7336/stat : 7336 (scip-2.1.1.4fix) R 7334 7336 6744 0 -1 4202496 26715 0 0 0 303 6 0 0 20 0 1 0 267999792 111300608 25561 33554432000 4194304 10173063 140736032595808 140736032589064 8012066 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7336/statm: 27173 25561 771 1460 0 25704 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 108692

[startup+6.30031 s]
/proc/loadavg: 1.96 2.01 1.81 3/177 7337
/proc/meminfo: memFree=27074936/32873648 swapFree=6596/6596
[pid=7336] ppid=7334 vsize=110496 CPUtime=6.28 cores=0,2,4,6
/proc/7336/stat : 7336 (scip-2.1.1.4fix) R 7334 7336 6744 0 -1 4202496 27116 0 0 0 622 6 0 0 20 0 1 0 267999792 113147904 25961 33554432000 4194304 10173063 140736032595808 140736032588984 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7336/statm: 27624 25961 775 1460 0 26155 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 110496

[startup+12.7003 s]
/proc/loadavg: 1.96 2.00 1.82 3/177 7337
/proc/meminfo: memFree=27073416/32873648 swapFree=6596/6596
[pid=7336] ppid=7334 vsize=111512 CPUtime=12.69 cores=0,2,4,6
/proc/7336/stat : 7336 (scip-2.1.1.4fix) R 7334 7336 6744 0 -1 4202496 27424 0 0 0 1262 7 0 0 20 0 1 0 267999792 114188288 26269 33554432000 4194304 10173063 140736032595808 140736032589432 8012598 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7336/statm: 27878 26269 775 1460 0 26409 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 111512

[startup+25.5067 s]
/proc/loadavg: 1.97 2.00 1.82 3/177 7337
/proc/meminfo: memFree=27047640/32873648 swapFree=6596/6596
[pid=7336] ppid=7334 vsize=140680 CPUtime=25.49 cores=0,2,4,6
/proc/7336/stat : 7336 (scip-2.1.1.4fix) R 7334 7336 6744 0 -1 4202496 34446 0 0 0 2537 12 0 0 20 0 1 0 267999792 144056320 33087 33554432000 4194304 10173063 140736032595808 140736032590648 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7336/statm: 35170 33087 820 1460 0 33701 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 140680

[startup+51.1003 s]
/proc/loadavg: 1.98 2.00 1.82 3/177 7337
/proc/meminfo: memFree=26985008/32873648 swapFree=6596/6596
[pid=7336] ppid=7334 vsize=204656 CPUtime=51.08 cores=0,2,4,6
/proc/7336/stat : 7336 (scip-2.1.1.4fix) R 7334 7336 6744 0 -1 4202496 50153 0 0 0 5082 26 0 0 20 0 1 0 267999792 209567744 48683 33554432000 4194304 10173063 140736032595808 140736032588936 8045037 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7336/statm: 51164 48683 836 1460 0 49695 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 204656

[startup+102.3 s]
/proc/loadavg: 1.99 2.00 1.83 3/177 7337
/proc/meminfo: memFree=27045360/32873648 swapFree=6596/6596
[pid=7336] ppid=7334 vsize=140124 CPUtime=102.27 cores=0,2,4,6
/proc/7336/stat : 7336 (scip-2.1.1.4fix) R 7334 7336 6744 0 -1 4202496 55397 0 0 0 10185 42 0 0 20 0 1 0 267999792 143486976 33043 33554432000 4194304 10173063 140736032595808 140736032588984 7986112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7336/statm: 35031 33043 859 1460 0 33562 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 140124

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 1.83 3/177 7337
/proc/meminfo: memFree=27022228/32873648 swapFree=6596/6596
[pid=7336] ppid=7334 vsize=138492 CPUtime=162.26 cores=0,2,4,6
/proc/7336/stat : 7336 (scip-2.1.1.4fix) R 7334 7336 6744 0 -1 4202496 107066 0 0 0 16165 61 0 0 20 0 1 0 267999792 141815808 32420 33554432000 4194304 10173063 140736032595808 140736032589352 7682827 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7336/statm: 34623 32420 859 1460 0 33154 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 138492

[startup+222.3 s]
/proc/loadavg: 1.99 2.00 1.84 3/177 7338
/proc/meminfo: memFree=27015304/32873648 swapFree=6596/6596
[pid=7336] ppid=7334 vsize=139316 CPUtime=222.26 cores=0,2,4,6
/proc/7336/stat : 7336 (scip-2.1.1.4fix) R 7334 7336 6744 0 -1 4202496 176964 0 0 0 22144 82 0 0 20 0 1 0 267999792 142659584 32843 33554432000 4194304 10173063 140736032595808 140736032589304 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7336/statm: 34829 32843 859 1460 0 33360 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 139316

[startup+282.3 s]
/proc/loadavg: 1.99 2.00 1.84 3/177 7338
/proc/meminfo: memFree=27027492/32873648 swapFree=6596/6596
[pid=7336] ppid=7334 vsize=144588 CPUtime=282.25 cores=0,2,4,6
/proc/7336/stat : 7336 (scip-2.1.1.4fix) R 7334 7336 6744 0 -1 4202496 187365 0 0 0 28132 93 0 0 20 0 1 0 267999792 148058112 34090 33554432000 4194304 10173063 140736032595808 140736032588248 7910616 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7336/statm: 36147 34090 859 1460 0 34678 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 144588

[startup+342.307 s]
/proc/loadavg: 1.99 2.00 1.85 3/177 7338
/proc/meminfo: memFree=27024724/32873648 swapFree=6596/6596
[pid=7336] ppid=7334 vsize=146360 CPUtime=342.24 cores=0,2,4,6
/proc/7336/stat : 7336 (scip-2.1.1.4fix) R 7334 7336 6744 0 -1 4202496 189005 0 0 0 34125 99 0 0 20 0 1 0 267999792 149872640 34604 33554432000 4194304 10173063 140736032595808 140736032588824 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7336/statm: 36590 34604 859 1460 0 35121 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 146360

[startup+402.3 s]
/proc/loadavg: 1.99 2.00 1.86 3/177 7338
/proc/meminfo: memFree=27024176/32873648 swapFree=6596/6596
[pid=7336] ppid=7334 vsize=146372 CPUtime=402.23 cores=0,2,4,6
/proc/7336/stat : 7336 (scip-2.1.1.4fix) R 7334 7336 6744 0 -1 4202496 193340 0 0 0 40116 107 0 0 20 0 1 0 267999792 149884928 34454 33554432000 4194304 10173063 140736032595808 140736032588760 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7336/statm: 36593 34454 859 1460 0 35124 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 146372

[startup+462.3 s]
/proc/loadavg: 1.99 2.00 1.86 3/178 7341
/proc/meminfo: memFree=27020040/32873648 swapFree=6596/6596
[pid=7336] ppid=7334 vsize=148172 CPUtime=462.21 cores=0,2,4,6
/proc/7336/stat : 7336 (scip-2.1.1.4fix) R 7334 7336 6744 0 -1 4202496 196477 0 0 0 46107 114 0 0 20 0 1 0 267999792 151728128 34831 33554432000 4194304 10173063 140736032595808 140736032588728 8012398 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7336/statm: 37043 34831 859 1460 0 35574 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 148172

[startup+522.3 s]
/proc/loadavg: 1.99 2.00 1.87 3/178 7365
/proc/meminfo: memFree=27017724/32873648 swapFree=6596/6596
[pid=7336] ppid=7334 vsize=150072 CPUtime=522.21 cores=0,2,4,6
/proc/7336/stat : 7336 (scip-2.1.1.4fix) R 7334 7336 6744 0 -1 4202496 200086 0 0 0 52097 124 0 0 20 0 1 0 267999792 153673728 35221 33554432000 4194304 10173063 140736032595808 140736032588680 8963895 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7336/statm: 37518 35221 859 1460 0 36049 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 150072

[startup+582.3 s]
/proc/loadavg: 1.99 2.00 1.87 3/177 7365
/proc/meminfo: memFree=27015252/32873648 swapFree=6596/6596
[pid=7336] ppid=7334 vsize=152372 CPUtime=582.2 cores=0,2,4,6
/proc/7336/stat : 7336 (scip-2.1.1.4fix) R 7334 7336 6744 0 -1 4202496 216196 0 0 0 58088 132 0 0 20 0 1 0 267999792 156028928 35889 33554432000 4194304 10173063 140736032595808 140736032590856 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7336/statm: 38093 35889 863 1460 0 36624 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 152372

[startup+642.3 s]

################
# More data... #
################

/proc/meminfo: memFree=28350468/32873648 swapFree=6596/6596
[pid=7336] ppid=7334 vsize=162860 CPUtime=1062.12 cores=0,2,4,6
/proc/7336/stat : 7336 (scip-2.1.1.4fix) R 7334 7336 6744 0 -1 4202496 252895 0 0 0 106023 189 0 0 20 0 1 0 267999792 166768640 39734 33554432000 4194304 10173063 140736032595808 140736032589448 8012441 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7336/statm: 40715 39734 863 1460 0 39246 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 162860

[startup+1122.3 s]
/proc/loadavg: 2.07 2.05 1.93 3/177 7446
/proc/meminfo: memFree=28272428/32873648 swapFree=6596/6596
[pid=7336] ppid=7334 vsize=160336 CPUtime=1122.11 cores=0,2,4,6
/proc/7336/stat : 7336 (scip-2.1.1.4fix) R 7334 7336 6744 0 -1 4202496 258514 0 0 0 112016 195 0 0 20 0 1 0 267999792 164184064 39415 33554432000 4194304 10173063 140736032595808 140736032589144 7971233 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7336/statm: 40084 39415 863 1460 0 38615 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 160336

[startup+1182.3 s]
/proc/loadavg: 2.06 2.05 1.94 3/177 7446
/proc/meminfo: memFree=28198264/32873648 swapFree=6596/6596
[pid=7336] ppid=7334 vsize=162824 CPUtime=1182.1 cores=0,2,4,6
/proc/7336/stat : 7336 (scip-2.1.1.4fix) R 7334 7336 6744 0 -1 4202496 270497 0 0 0 118008 202 0 0 20 0 1 0 267999792 166731776 40038 33554432000 4194304 10173063 140736032595808 140736032589112 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7336/statm: 40706 40038 863 1460 0 39237 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 162824

[startup+1242.3 s]
/proc/loadavg: 2.02 2.04 1.94 3/177 7446
/proc/meminfo: memFree=28141852/32873648 swapFree=6596/6596
[pid=7336] ppid=7334 vsize=155416 CPUtime=1242.09 cores=0,2,4,6
/proc/7336/stat : 7336 (scip-2.1.1.4fix) R 7334 7336 6744 0 -1 4202496 273658 0 0 0 124000 209 0 0 20 0 1 0 267999792 159145984 38187 33554432000 4194304 10173063 140736032595808 140736032589064 7911519 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7336/statm: 38854 38187 863 1460 0 37385 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 155416

[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 1.94 3/177 7446
/proc/meminfo: memFree=28078612/32873648 swapFree=6596/6596
[pid=7336] ppid=7334 vsize=155408 CPUtime=1302.08 cores=0,2,4,6
/proc/7336/stat : 7336 (scip-2.1.1.4fix) R 7334 7336 6744 0 -1 4202496 277855 0 0 0 129991 217 0 0 20 0 1 0 267999792 159137792 38184 33554432000 4194304 10173063 140736032595808 140736032591848 8631890 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7336/statm: 38852 38184 863 1460 0 37383 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 155408

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/177 7446
/proc/meminfo: memFree=28012148/32873648 swapFree=6596/6596
[pid=7336] ppid=7334 vsize=158284 CPUtime=1362.07 cores=0,2,4,6
/proc/7336/stat : 7336 (scip-2.1.1.4fix) R 7334 7336 6744 0 -1 4202496 283330 0 0 0 135983 224 0 0 20 0 1 0 267999792 162082816 38778 33554432000 4194304 10173063 140736032595808 140736032589448 7986142 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7336/statm: 39571 38778 863 1460 0 38102 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 158284

[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/177 7447
/proc/meminfo: memFree=27940472/32873648 swapFree=6596/6596
[pid=7336] ppid=7334 vsize=158908 CPUtime=1422.06 cores=0,2,4,6
/proc/7336/stat : 7336 (scip-2.1.1.4fix) R 7334 7336 6744 0 -1 4202496 285224 0 0 0 141977 229 0 0 20 0 1 0 267999792 162721792 39020 33554432000 4194304 10173063 140736032595808 140736032590776 7396628 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7336/statm: 39727 39020 863 1460 0 38258 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 158908

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/177 7447
/proc/meminfo: memFree=27875672/32873648 swapFree=6596/6596
[pid=7336] ppid=7334 vsize=159940 CPUtime=1482.05 cores=0,2,4,6
/proc/7336/stat : 7336 (scip-2.1.1.4fix) R 7334 7336 6744 0 -1 4202496 293339 0 0 0 147969 236 0 0 20 0 1 0 267999792 163778560 39287 33554432000 4194304 10173063 140736032595808 140736032591608 5760629 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7336/statm: 39985 39287 863 1460 0 38516 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 159940

[startup+1542.3 s]
/proc/loadavg: 2.05 2.02 1.94 3/177 7447
/proc/meminfo: memFree=27817072/32873648 swapFree=6596/6596
[pid=7336] ppid=7334 vsize=158700 CPUtime=1542.05 cores=0,2,4,6
/proc/7336/stat : 7336 (scip-2.1.1.4fix) R 7334 7336 6744 0 -1 4202496 304107 0 0 0 153962 243 0 0 20 0 1 0 267999792 162508800 39037 33554432000 4194304 10173063 140736032595808 140736032589064 5293568 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7336/statm: 39675 39037 863 1460 0 38206 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 158700

[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 1.94 3/177 7447
/proc/meminfo: memFree=27756460/32873648 swapFree=6596/6596
[pid=7336] ppid=7334 vsize=159976 CPUtime=1602.03 cores=0,2,4,6
/proc/7336/stat : 7336 (scip-2.1.1.4fix) R 7334 7336 6744 0 -1 4202496 326834 0 0 0 159948 255 0 0 20 0 1 0 267999792 163815424 39140 33554432000 4194304 10173063 140736032595808 140736032589640 7981150 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7336/statm: 39994 39140 863 1460 0 38525 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 159976

[startup+1662.31 s]
/proc/loadavg: 2.04 2.02 1.95 3/178 7450
/proc/meminfo: memFree=27697772/32873648 swapFree=6596/6596
[pid=7336] ppid=7334 vsize=160004 CPUtime=1662.03 cores=0,2,4,6
/proc/7336/stat : 7336 (scip-2.1.1.4fix) R 7334 7336 6744 0 -1 4202496 330415 0 0 0 165942 261 0 0 20 0 1 0 267999792 163844096 39199 33554432000 4194304 10173063 140736032595808 140736032591176 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7336/statm: 40001 39199 863 1460 0 38532 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 160004

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 1.95 3/176 7450
/proc/meminfo: memFree=27626796/32873648 swapFree=6596/6596
[pid=7336] ppid=7334 vsize=173052 CPUtime=1722.01 cores=0,2,4,6
/proc/7336/stat : 7336 (scip-2.1.1.4fix) R 7334 7336 6744 0 -1 4202496 333728 0 0 0 171931 270 0 0 20 0 1 0 267999792 177205248 42512 33554432000 4194304 10173063 140736032595808 140736032590776 7986018 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7336/statm: 43263 42512 863 1460 0 41794 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 173052

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/177 7451
/proc/meminfo: memFree=27562644/32873648 swapFree=6596/6596
[pid=7336] ppid=7334 vsize=173052 CPUtime=1782.01 cores=0,2,4,6
/proc/7336/stat : 7336 (scip-2.1.1.4fix) R 7334 7336 6744 0 -1 4202496 333728 0 0 0 177925 276 0 0 20 0 1 0 267999792 177205248 42512 33554432000 4194304 10173063 140736032595808 140736032589352 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7336/statm: 43263 42512 863 1460 0 41794 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 173052

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

[startup+1785.7 s]
/proc/loadavg: 2.00 2.01 1.95 3/177 7451
/proc/meminfo: memFree=27559528/32873648 swapFree=6596/6596
[pid=7336] ppid=7334 vsize=173052 CPUtime=1785.4 cores=0,2,4,6
/proc/7336/stat : 7336 (scip-2.1.1.4fix) R 7334 7336 6744 0 -1 4202496 333728 0 0 0 178264 276 0 0 20 0 1 0 267999792 177205248 42512 33554432000 4194304 10173063 140736032595808 140736032589160 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7336/statm: 43263 42512 863 1460 0 41794 0
Current children cumulated CPU time (s) 1785.4
Current children cumulated vsize (KiB) 173052

[startup+1792.11 s]
/proc/loadavg: 2.00 2.01 1.95 3/177 7451
/proc/meminfo: memFree=27553328/32873648 swapFree=6596/6596
[pid=7336] ppid=7334 vsize=173052 CPUtime=1791.81 cores=0,2,4,6
/proc/7336/stat : 7336 (scip-2.1.1.4fix) R 7334 7336 6744 0 -1 4202496 333728 0 0 0 178903 278 0 0 20 0 1 0 267999792 177205248 42512 33554432000 4194304 10173063 140736032595808 140736032588456 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7336/statm: 43263 42512 863 1460 0 41794 0
Current children cumulated CPU time (s) 1791.81
Current children cumulated vsize (KiB) 173052

[startup+1795.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/177 7451
/proc/meminfo: memFree=27549468/32873648 swapFree=6596/6596
[pid=7336] ppid=7334 vsize=173052 CPUtime=1795.01 cores=0,2,4,6
/proc/7336/stat : 7336 (scip-2.1.1.4fix) R 7334 7336 6744 0 -1 4202496 333728 0 0 0 179223 278 0 0 20 0 1 0 267999792 177205248 42512 33554432000 4194304 10173063 140736032595808 140736032588456 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7336/statm: 43263 42512 863 1460 0 41794 0
Current children cumulated CPU time (s) 1795.01
Current children cumulated vsize (KiB) 173052

[startup+1796.1 s]
/proc/loadavg: 2.00 2.01 1.95 3/177 7451
/proc/meminfo: memFree=27549468/32873648 swapFree=6596/6596
[pid=7336] ppid=7334 vsize=173052 CPUtime=1795.8 cores=0,2,4,6
/proc/7336/stat : 7336 (scip-2.1.1.4fix) R 7334 7336 6744 0 -1 4202496 333728 0 0 0 179302 278 0 0 20 0 1 0 267999792 177205248 42512 33554432000 4194304 10173063 140736032595808 140736032588728 8007135 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7336/statm: 43263 42512 863 1460 0 41794 0
Current children cumulated CPU time (s) 1795.8
Current children cumulated vsize (KiB) 173052

[startup+1796.9 s]
/proc/loadavg: 2.00 2.01 1.95 3/177 7451
/proc/meminfo: memFree=27548848/32873648 swapFree=6596/6596
[pid=7336] ppid=7334 vsize=173052 CPUtime=1796.6 cores=0,2,4,6
/proc/7336/stat : 7336 (scip-2.1.1.4fix) R 7334 7336 6744 0 -1 4202496 333728 0 0 0 179382 278 0 0 20 0 1 0 267999792 177205248 42512 33554432000 4194304 10173063 140736032595808 140736032588824 8055645 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7336/statm: 43263 42512 863 1460 0 41794 0
Current children cumulated CPU time (s) 1796.6
Current children cumulated vsize (KiB) 173052

[startup+1797.1 s]
/proc/loadavg: 2.00 2.01 1.95 3/177 7451
/proc/meminfo: memFree=27548848/32873648 swapFree=6596/6596
[pid=7336] ppid=7334 vsize=156848 CPUtime=1796.8 cores=0,2,4,6
/proc/7336/stat : 7336 (scip-2.1.1.4fix) R 7334 7336 6744 0 -1 4202496 333730 0 0 0 179402 278 0 0 20 0 1 0 267999792 160612352 38463 33554432000 4194304 10173063 140736032595808 140736032592680 8992599 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7336/statm: 39212 38463 865 1460 0 37743 0
Current children cumulated CPU time (s) 1796.8
Current children cumulated vsize (KiB) 156848

Child status: 0
Real time (s): 1797.11
CPU time (s): 1796.82
CPU user time (s): 1794.03
CPU system time (s): 2.79457
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 210436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.03
system time used= 2.79458
maximum resident set size= 206416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 333732
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= 23
involuntary context switches= 2352

runsolver used 7.94879 second user time and 17.2644 second system time

The end

Launcher Data

Begin job on node148 at 2012-05-26 09:52:33
IDJOB=3690972
IDBENCH=2220
IDSOLVER=2270
FILE ID=node148/3690972-1338018753
RUNJOBID= node148-1338016921-6760
PBS_JOBID= 14624327
Free space on /tmp= 71660 MiB

SOLVER NAME= SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.95:98.opb
COMMAND LINE= HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3690972-1338018753/watcher-3690972-1338018753 -o /tmp/evaluation-result-3690972-1338018753/solver-3690972-1338018753 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690972-1338018753.opb -t 1800 -m 15500

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

MD5SUM BENCH= dae2a99f19ab3cbb5b0fd1a29cad1e80
RANDOM SEED=1666225064

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        27176104 kB
Buffers:          264852 kB
Cached:          2929516 kB
SwapCached:            0 kB
Active:          2235808 kB
Inactive:        2669812 kB
Active(anon):    1713888 kB
Inactive(anon):        0 kB
Active(file):     521920 kB
Inactive(file):  2669812 kB
Unevictable:        6596 kB
Mlocked:            6596 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             14228 kB
Writeback:             0 kB
AnonPages:       1717572 kB
Mapped:            17548 kB
Shmem:               200 kB
Slab:             649332 kB
SReclaimable:      92888 kB
SUnreclaim:       556444 kB
KernelStack:        1448 kB
PageTables:         7836 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1894748 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    917504 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71656 MiB
End job on node148 at 2012-05-26 10:22:30