Trace number 2664107

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
SCIPnone SCIP 1.2.1.2 without any LP solverSAT (TO)8716 1802.18 1802.69

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb
MD5SUM99680d01aa100bfba038606e315bf03d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark486
Best CPU time to get the best result obtained on this benchmark1795.97
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 431
Optimality of the best value was proved NO
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 497468
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 497468
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	8716

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 13746
/proc/meminfo: memFree=1837228/2059040 swapFree=4142016/4192956
[pid=13746] ppid=13744 vsize=5556 CPUtime=0
/proc/13746/stat : 13746 (pbscip.linux.x8) R 13744 13746 13543 0 -1 4202496 888 0 0 0 0 0 0 0 22 0 1 0 14090533 5689344 810 1992294400 4194304 7136930 140736996223776 18446744073709551615 6357120 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13746/statm: 1389 810 249 719 0 668 0

[startup+0.0110401 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 13746
/proc/meminfo: memFree=1837228/2059040 swapFree=4142016/4192956
[pid=13746] ppid=13744 vsize=5556 CPUtime=0
/proc/13746/stat : 13746 (pbscip.linux.x8) R 13744 13746 13543 0 -1 4202496 896 0 0 0 0 0 0 0 22 0 1 0 14090533 5689344 818 1992294400 4194304 7136930 140736996223776 18446744073709551615 6285680 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13746/statm: 1389 818 249 719 0 668 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5556

[startup+0.102046 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 13746
/proc/meminfo: memFree=1837228/2059040 swapFree=4142016/4192956
[pid=13746] ppid=13744 vsize=17672 CPUtime=0.09
/proc/13746/stat : 13746 (pbscip.linux.x8) R 13744 13746 13543 0 -1 4202496 3914 0 0 0 8 1 0 0 22 0 1 0 14090533 18096128 3831 1992294400 4194304 7136930 140736996223776 18446744073709551615 6178293 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13746/statm: 4418 3831 271 719 0 3697 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17672

[startup+0.301061 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 13746
/proc/meminfo: memFree=1837228/2059040 swapFree=4142016/4192956
[pid=13746] ppid=13744 vsize=22728 CPUtime=0.29
/proc/13746/stat : 13746 (pbscip.linux.x8) R 13744 13746 13543 0 -1 4202496 5194 0 0 0 28 1 0 0 22 0 1 0 14090533 23273472 5111 1992294400 4194304 7136930 140736996223776 18446744073709551615 6285680 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13746/statm: 5682 5111 271 719 0 4961 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22728

[startup+0.701094 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 13746
/proc/meminfo: memFree=1837228/2059040 swapFree=4142016/4192956
[pid=13746] ppid=13744 vsize=30460 CPUtime=0.69
/proc/13746/stat : 13746 (pbscip.linux.x8) R 13744 13746 13543 0 -1 4202496 7127 0 0 0 67 2 0 0 24 0 1 0 14090533 31191040 7044 1992294400 4194304 7136930 140736996223776 18446744073709551615 6166217 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13746/statm: 7615 7044 271 719 0 6894 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30460

[startup+1.50116 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13747
/proc/meminfo: memFree=1802500/2059040 swapFree=4142016/4192956
[pid=13746] ppid=13744 vsize=47888 CPUtime=1.49
/proc/13746/stat : 13746 (pbscip.linux.x8) R 13744 13746 13543 0 -1 4202496 11487 0 0 0 145 4 0 0 25 0 1 0 14090533 49037312 11404 1992294400 4194304 7136930 140736996223776 18446744073709551615 4240592 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13746/statm: 11972 11404 271 719 0 11251 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 47888

[startup+3.10129 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13747
/proc/meminfo: memFree=1779932/2059040 swapFree=4142016/4192956
[pid=13746] ppid=13744 vsize=82260 CPUtime=3.09
/proc/13746/stat : 13746 (pbscip.linux.x8) R 13744 13746 13543 0 -1 4202496 20080 0 0 0 302 7 0 0 25 0 1 0 14090533 84234240 19997 1992294400 4194304 7136930 140736996223776 18446744073709551615 5902349 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13746/statm: 20565 19997 271 719 0 19844 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 82260

[startup+6.30155 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13747
/proc/meminfo: memFree=1708880/2059040 swapFree=4142016/4192956
[pid=13746] ppid=13744 vsize=149972 CPUtime=6.29
/proc/13746/stat : 13746 (pbscip.linux.x8) R 13744 13746 13543 0 -1 4202496 36994 0 0 0 614 15 0 0 25 0 1 0 14090533 153571328 36911 1992294400 4194304 7136930 140736996223776 18446744073709551615 6166618 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13746/statm: 37493 36911 271 719 0 36772 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 149972

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13747
/proc/meminfo: memFree=1295464/2059040 swapFree=4142016/4192956
[pid=13746] ppid=13744 vsize=616132 CPUtime=12.69
/proc/13746/stat : 13746 (pbscip.linux.x8) R 13744 13746 13543 0 -1 4202496 153928 0 0 0 1213 56 0 0 25 0 1 0 14090533 630919168 152850 1992294400 4194304 7136930 140736996223776 18446744073709551615 4409086 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13746/statm: 154033 152850 292 719 0 153312 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 616132

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13749
/proc/meminfo: memFree=1181756/2059040 swapFree=4142016/4192956
[pid=13746] ppid=13744 vsize=603072 CPUtime=25.49
/proc/13746/stat : 13746 (pbscip.linux.x8) R 13744 13746 13543 0 -1 4202496 236334 0 0 0 2327 222 0 0 25 0 1 0 14090533 617545728 148558 1992294400 4194304 7136930 140736996223776 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13746/statm: 150768 148558 345 719 0 150047 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 603072

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13749
/proc/meminfo: memFree=1207548/2059040 swapFree=4142016/4192956
[pid=13746] ppid=13744 vsize=637232 CPUtime=51.07
/proc/13746/stat : 13746 (pbscip.linux.x8) R 13744 13746 13543 0 -1 4202496 260359 0 0 0 4844 263 0 0 25 0 1 0 14090533 652525568 157369 1992294400 4194304 7136930 140736996223776 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13746/statm: 159308 157369 383 719 0 158587 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 637232

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13751
/proc/meminfo: memFree=1195272/2059040 swapFree=4142016/4192956
[pid=13746] ppid=13744 vsize=653108 CPUtime=102.27
/proc/13746/stat : 13746 (pbscip.linux.x8) R 13744 13746 13543 0 -1 4202496 263424 0 0 0 9952 275 0 0 25 0 1 0 14090533 668782592 160431 1992294400 4194304 7136930 140736996223776 18446744073709551615 5909064 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13746/statm: 163277 160431 387 719 0 162556 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 653108

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13751
/proc/meminfo: memFree=1180516/2059040 swapFree=4142016/4192956
[pid=13746] ppid=13744 vsize=672932 CPUtime=162.24
/proc/13746/stat : 13746 (pbscip.linux.x8) R 13744 13746 13543 0 -1 4202496 267163 0 0 0 15943 281 0 0 25 0 1 0 14090533 689082368 164170 1992294400 4194304 7136930 140736996223776 18446744073709551615 5909091 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13746/statm: 168233 164170 387 719 0 167512 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 672932

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13753
/proc/meminfo: memFree=1174936/2059040 swapFree=4142016/4192956
[pid=13746] ppid=13744 vsize=680752 CPUtime=222.23
/proc/13746/stat : 13746 (pbscip.linux.x8) R 13744 13746 13543 0 -1 4202496 268515 0 0 0 21936 287 0 0 25 0 1 0 14090533 697090048 165522 1992294400 4194304 7136930 140736996223776 18446744073709551615 5905985 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13746/statm: 170188 165522 387 719 0 169467 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 680752

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13755
/proc/meminfo: memFree=1170720/2059040 swapFree=4142016/4192956
[pid=13746] ppid=13744 vsize=686936 CPUtime=282.21
/proc/13746/stat : 13746 (pbscip.linux.x8) R 13744 13746 13543 0 -1 4202496 269658 0 0 0 27929 292 0 0 25 0 1 0 14090533 703422464 166665 1992294400 4194304 7136930 140736996223776 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13746/statm: 171734 166665 387 719 0 171013 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 686936

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13757
/proc/meminfo: memFree=1166008/2059040 swapFree=4142016/4192956
[pid=13746] ppid=13744 vsize=692320 CPUtime=342.2
/proc/13746/stat : 13746 (pbscip.linux.x8) R 13744 13746 13543 0 -1 4202496 270726 0 0 0 33923 297 0 0 25 0 1 0 14090533 708935680 167733 1992294400 4194304 7136930 140736996223776 18446744073709551615 5909069 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13746/statm: 173080 167733 387 719 0 172359 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 692320

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13759
/proc/meminfo: memFree=1160676/2059040 swapFree=4142016/4192956
[pid=13746] ppid=13744 vsize=699924 CPUtime=402.17
/proc/13746/stat : 13746 (pbscip.linux.x8) R 13744 13746 13543 0 -1 4202496 272167 0 0 0 39915 302 0 0 25 0 1 0 14090533 716722176 169174 1992294400 4194304 7136930 140736996223776 18446744073709551615 5909091 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13746/statm: 174981 169174 387 719 0 174260 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 699924

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13759
/proc/meminfo: memFree=1153732/2059040 swapFree=4142016/4192956
[pid=13746] ppid=13744 vsize=708232 CPUtime=462.16
/proc/13746/stat : 13746 (pbscip.linux.x8) R 13744 13746 13543 0 -1 4202496 273812 0 0 0 45907 309 0 0 25 0 1 0 14090533 725229568 170819 1992294400 4194304 7136930 140736996223776 18446744073709551615 5909069 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13746/statm: 177058 170819 387 719 0 176337 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 708232

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13761
/proc/meminfo: memFree=1148772/2059040 swapFree=4142016/4192956
[pid=13746] ppid=13744 vsize=713984 CPUtime=522.14
/proc/13746/stat : 13746 (pbscip.linux.x8) R 13744 13746 13543 0 -1 4202496 274966 0 0 0 51900 314 0 0 25 0 1 0 14090533 731119616 171973 1992294400 4194304 7136930 140736996223776 18446744073709551615 5909091 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13746/statm: 178496 171973 387 719 0 177775 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 713984

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13763
/proc/meminfo: memFree=1143564/2059040 swapFree=4142016/4192956
[pid=13746] ppid=13744 vsize=720260 CPUtime=582.12
/proc/13746/stat : 13746 (pbscip.linux.x8) R 13744 13746 13543 0 -1 4202496 276298 0 0 0 57894 318 0 0 25 0 1 0 14090533 737546240 173303 1992294400 4194304 7136930 140736996223776 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13746/statm: 180065 173303 385 719 0 179344 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 720260

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13765
/proc/meminfo: memFree=1142200/2059040 swapFree=4142016/4192956
[pid=13746] ppid=13744 vsize=722632 CPUtime=642.11
/proc/13746/stat : 13746 (pbscip.linux.x8) R 13744 13746 13543 0 -1 4202496 276598 0 0 0 63889 322 0 0 25 0 1 0 14090533 739975168 173602 1992294400 4194304 7136930 140736996223776 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13746/statm: 180658 173602 384 719 0 179937 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 722632

[startup+702.302 s]

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

/proc/13746/stat : 13746 (pbscip.linux.x8) R 13744 13746 13543 0 -1 4202496 279763 0 0 0 99851 349 0 0 25 0 1 0 14090533 757137408 176767 1992294400 4194304 7136930 140736996223776 18446744073709551615 5909056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13746/statm: 184848 176767 384 719 0 184127 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 739392

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13775
/proc/meminfo: memFree=1128932/2059040 swapFree=4142016/4192956
[pid=13746] ppid=13744 vsize=739712 CPUtime=1061.98
/proc/13746/stat : 13746 (pbscip.linux.x8) R 13744 13746 13543 0 -1 4202496 279834 0 0 0 105845 353 0 0 25 0 1 0 14090533 757465088 176838 1992294400 4194304 7136930 140736996223776 18446744073709551615 5905997 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13746/statm: 184928 176838 384 719 0 184207 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 739712

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13777
/proc/meminfo: memFree=1124592/2059040 swapFree=4142016/4192956
[pid=13746] ppid=13744 vsize=746084 CPUtime=1121.97
/proc/13746/stat : 13746 (pbscip.linux.x8) R 13744 13746 13543 0 -1 4202496 280927 0 0 0 111841 356 0 0 25 0 1 0 14090533 763990016 177931 1992294400 4194304 7136930 140736996223776 18446744073709551615 5909078 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13746/statm: 186521 177931 384 719 0 185800 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 746084

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13779
/proc/meminfo: memFree=1119508/2059040 swapFree=4142016/4192956
[pid=13746] ppid=13744 vsize=752920 CPUtime=1181.95
/proc/13746/stat : 13746 (pbscip.linux.x8) R 13744 13746 13543 0 -1 4202496 282151 0 0 0 117835 360 0 0 25 0 1 0 14090533 770990080 179155 1992294400 4194304 7136930 140736996223776 18446744073709551615 5909091 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13746/statm: 188230 179155 384 719 0 187509 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 752920

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13781
/proc/meminfo: memFree=1116160/2059040 swapFree=4142016/4192956
[pid=13746] ppid=13744 vsize=757556 CPUtime=1241.94
/proc/13746/stat : 13746 (pbscip.linux.x8) R 13744 13746 13543 0 -1 4202496 282961 0 0 0 123829 365 0 0 25 0 1 0 14090533 775737344 179965 1992294400 4194304 7136930 140736996223776 18446744073709551615 5909091 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13746/statm: 189389 179965 384 719 0 188668 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 757556

[startup+1302.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 13783
/proc/meminfo: memFree=1103264/2059040 swapFree=4142016/4192956
[pid=13746] ppid=13744 vsize=774172 CPUtime=1301.93
/proc/13746/stat : 13746 (pbscip.linux.x8) R 13744 13746 13543 0 -1 4202496 286200 0 0 0 129823 370 0 0 25 0 1 0 14090533 792752128 183204 1992294400 4194304 7136930 140736996223776 18446744073709551615 5909086 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13746/statm: 193543 183204 384 719 0 192822 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 774172

[startup+1362.3 s]
/proc/loadavg: 1.12 1.04 1.01 2/107 13783
/proc/meminfo: memFree=1098676/2059040 swapFree=4142016/4192956
[pid=13746] ppid=13744 vsize=779860 CPUtime=1361.91
/proc/13746/stat : 13746 (pbscip.linux.x8) R 13744 13746 13543 0 -1 4202496 287329 0 0 0 135816 375 0 0 25 0 1 0 14090533 798576640 184333 1992294400 4194304 7136930 140736996223776 18446744073709551615 5905982 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13746/statm: 194965 184333 384 719 0 194244 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 779860

[startup+1422.31 s]
/proc/loadavg: 1.12 1.04 1.00 2/107 13785
/proc/meminfo: memFree=1091980/2059040 swapFree=4142016/4192956
[pid=13746] ppid=13744 vsize=788380 CPUtime=1421.9
/proc/13746/stat : 13746 (pbscip.linux.x8) R 13744 13746 13543 0 -1 4202496 289009 0 0 0 141810 380 0 0 25 0 1 0 14090533 807301120 186013 1992294400 4194304 7136930 140736996223776 18446744073709551615 4652809 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13746/statm: 197095 186013 384 719 0 196374 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 788380

[startup+1482.3 s]
/proc/loadavg: 1.08 1.05 1.00 2/107 13787
/proc/meminfo: memFree=1088508/2059040 swapFree=4142016/4192956
[pid=13746] ppid=13744 vsize=793228 CPUtime=1481.87
/proc/13746/stat : 13746 (pbscip.linux.x8) R 13744 13746 13543 0 -1 4202496 289834 0 0 0 147803 384 0 0 25 0 1 0 14090533 812265472 186838 1992294400 4194304 7136930 140736996223776 18446744073709551615 5909056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13746/statm: 198307 186838 384 719 0 197586 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 793228

[startup+1542.3 s]
/proc/loadavg: 1.03 1.04 1.00 2/107 13789
/proc/meminfo: memFree=1085656/2059040 swapFree=4142016/4192956
[pid=13746] ppid=13744 vsize=797516 CPUtime=1541.86
/proc/13746/stat : 13746 (pbscip.linux.x8) R 13744 13746 13543 0 -1 4202496 290560 0 0 0 153798 388 0 0 25 0 1 0 14090533 816656384 187564 1992294400 4194304 7136930 140736996223776 18446744073709551615 5909091 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13746/statm: 199379 187564 384 719 0 198658 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 797516

[startup+1602.3 s]
/proc/loadavg: 1.08 1.04 1.00 2/107 13791
/proc/meminfo: memFree=1084292/2059040 swapFree=4142016/4192956
[pid=13746] ppid=13744 vsize=799080 CPUtime=1601.84
/proc/13746/stat : 13746 (pbscip.linux.x8) R 13744 13746 13543 0 -1 4202496 290902 0 0 0 159792 392 0 0 25 0 1 0 14090533 818257920 187906 1992294400 4194304 7136930 140736996223776 18446744073709551615 4703869 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13746/statm: 199770 187906 384 719 0 199049 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 799080

[startup+1662.3 s]
/proc/loadavg: 1.03 1.03 1.00 2/107 13791
/proc/meminfo: memFree=1082432/2059040 swapFree=4142016/4192956
[pid=13746] ppid=13744 vsize=801124 CPUtime=1661.82
/proc/13746/stat : 13746 (pbscip.linux.x8) R 13744 13746 13543 0 -1 4202496 291367 0 0 0 165786 396 0 0 25 0 1 0 14090533 820350976 188371 1992294400 4194304 7136930 140736996223776 18446744073709551615 5909106 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13746/statm: 200281 188371 384 719 0 199560 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 801124

[startup+1722.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 13793
/proc/meminfo: memFree=1081936/2059040 swapFree=4142016/4192956
[pid=13746] ppid=13744 vsize=803052 CPUtime=1721.81
/proc/13746/stat : 13746 (pbscip.linux.x8) R 13744 13746 13543 0 -1 4202496 291467 0 0 0 171780 401 0 0 25 0 1 0 14090533 822325248 188471 1992294400 4194304 7136930 140736996223776 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13746/statm: 200763 188471 384 719 0 200042 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 803052

[startup+1782.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 13795
/proc/meminfo: memFree=1080820/2059040 swapFree=4142016/4192956
[pid=13746] ppid=13744 vsize=803896 CPUtime=1781.79
/proc/13746/stat : 13746 (pbscip.linux.x8) R 13744 13746 13543 0 -1 4202496 291675 0 0 0 177773 406 0 0 25 0 1 0 14090533 823189504 188679 1992294400 4194304 7136930 140736996223776 18446744073709551615 5909045 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13746/statm: 200974 188679 384 719 0 200253 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 803896



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 13795
/proc/meminfo: memFree=1080696/2059040 swapFree=4142016/4192956
[pid=13746] ppid=13744 vsize=804172 CPUtime=1800.09
/proc/13746/stat : 13746 (pbscip.linux.x8) R 13744 13746 13543 0 -1 4202496 291719 0 0 0 179601 408 0 0 25 0 1 0 14090533 823472128 188723 1992294400 4194304 7136930 140736996223776 18446744073709551615 5909091 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13746/statm: 201043 188723 384 719 0 200322 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 804172

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -13746

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 13795
/proc/meminfo: memFree=1080696/2059040 swapFree=4142016/4192956
[pid=13746] ppid=13744 vsize=804172 CPUtime=1800.88
/proc/13746/stat : 13746 (pbscip.linux.x8) R 13744 13746 13543 0 -1 4202496 291719 0 0 0 179680 408 0 0 25 0 1 0 14090533 823472128 188723 1992294400 4194304 7136930 140736996223776 18446744073709551615 4561370 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13746/statm: 201043 188723 384 719 0 200322 0
Current children cumulated CPU time (s) 1800.88
Current children cumulated vsize (KiB) 804172

[startup+1802.2 s]
/proc/loadavg: 1.00 1.02 1.00 2/108 13796
/proc/meminfo: memFree=1080688/2059040 swapFree=4142016/4192956
[pid=13746] ppid=13744 vsize=796468 CPUtime=1801.68
/proc/13746/stat : 13746 (pbscip.linux.x8) R 13744 13746 13543 0 -1 4202496 291958 0 0 0 179760 408 0 0 25 0 1 0 14090533 815583232 186824 1992294400 4194304 7136930 140736996223776 18446744073709551615 6166356 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13746/statm: 199117 186824 390 719 0 198396 0
Current children cumulated CPU time (s) 1801.68
Current children cumulated vsize (KiB) 796468

[startup+1802.6 s]
/proc/loadavg: 1.00 1.02 1.00 2/108 13796
/proc/meminfo: memFree=1080688/2059040 swapFree=4142016/4192956
[pid=13746] ppid=13744 vsize=772108 CPUtime=1802.08
/proc/13746/stat : 13746 (pbscip.linux.x8) R 13744 13746 13543 0 -1 4202496 291958 0 0 0 179800 408 0 0 25 0 1 0 14090533 790638592 180735 1992294400 4194304 7136930 140736996223776 18446744073709551615 4668514 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13746/statm: 193027 180735 390 719 0 192306 0
Current children cumulated CPU time (s) 1802.08
Current children cumulated vsize (KiB) 772108

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.69
CPU time (s): 1802.18
CPU user time (s): 1798.02
CPU system time (s): 4.16137
CPU usage (%): 99.9716
Max. virtual memory (cumulated for all children) (KiB): 822632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.02
system time used= 4.16137
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 291958
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= 5
involuntary context switches= 13344

runsolver used 3.05754 second user time and 8.44572 second system time

The end

Launcher Data 

Begin job on node003 at 2010-06-13 01:21:06
IDJOB=2664107
IDBENCH=1976
IDSOLVER=1167
FILE ID=node003/2664107-1276384865
PBS_JOBID= 11173250
Free space on /tmp= 62540 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2664107-1276384865/watcher-2664107-1276384865 -o /tmp/evaluation-result-2664107-1276384865/solver-2664107-1276384865 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664107-1276384865.opb -t 1800 -m 1800

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

MD5SUM BENCH= 99680d01aa100bfba038606e315bf03d
RANDOM SEED=196233762

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

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1837756 kB
Buffers:         24464 kB
Cached:         115728 kB
SwapCached:       5200 kB
Active:          95484 kB
Inactive:        58532 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1837756 kB
SwapTotal:     4192956 kB
SwapFree:      4142016 kB
Dirty:           20212 kB
Writeback:           0 kB
AnonPages:       11536 kB
Mapped:          13108 kB
Slab:            45560 kB
PageTables:       4060 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182096 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62536 MiB
End job on node003 at 2010-06-13 01:51:09