Trace number 3731573

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
PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)SAT767 1799.3 1799.58

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb
MD5SUM751aa23355f7a016eeb9009a33a863ac
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark687
Best CPU time to get the best result obtained on this benchmark1800.04
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 436
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 494314
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 494314
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

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

Verifier Data

OK	767

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3731573-1338689937/watcher-3731573-1338689937 -o /tmp/evaluation-result-3731573-1338689937/solver-3731573-1338689937 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3731573-1338689937.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 14717
/proc/meminfo: memFree=29056716/32873648 swapFree=6860/6860
[pid=14717] ppid=14715 vsize=8236 CPUtime=0 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 4790 0 -1 4202496 1444 0 0 0 0 0 0 0 20 0 1 0 335119575 8433664 1396 33554432000 4194304 7823515 140735253040208 140734473133656 6289316 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14717/statm: 2059 1396 337 887 0 1169 0

[startup+0.105965 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 14717
/proc/meminfo: memFree=29056716/32873648 swapFree=6860/6860
[pid=14717] ppid=14715 vsize=22280 CPUtime=0.09 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 4790 0 -1 4202496 4920 0 0 0 9 0 0 0 20 0 1 0 335119575 22814720 4868 33554432000 4194304 7823515 140735253040208 140734473133656 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14717/statm: 5570 4868 354 887 0 4680 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22280

[startup+0.201093 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 14717
/proc/meminfo: memFree=29056716/32873648 swapFree=6860/6860
[pid=14717] ppid=14715 vsize=27728 CPUtime=0.19 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 4790 0 -1 4202496 6307 0 0 0 18 1 0 0 20 0 1 0 335119575 28393472 6255 33554432000 4194304 7823515 140735253040208 140734473133656 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14717/statm: 6932 6255 354 887 0 6042 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27728

[startup+0.300493 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 14717
/proc/meminfo: memFree=29056716/32873648 swapFree=6860/6860
[pid=14717] ppid=14715 vsize=34092 CPUtime=0.29 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 4790 0 -1 4202496 7901 0 0 0 28 1 0 0 20 0 1 0 335119575 34910208 7849 33554432000 4194304 7823515 140735253040208 140734473133656 6908052 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14717/statm: 8523 7849 354 887 0 7633 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34092

[startup+0.701078 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 14717
/proc/meminfo: memFree=29056716/32873648 swapFree=6860/6860
[pid=14717] ppid=14715 vsize=59648 CPUtime=0.69 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 4790 0 -1 4202496 14278 0 0 0 67 2 0 0 20 0 1 0 335119575 61079552 14226 33554432000 4194304 7823515 140735253040208 140734473133656 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14717/statm: 14912 14226 354 887 0 14022 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 59648

[startup+1.50107 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 14718
/proc/meminfo: memFree=28976952/32873648 swapFree=6860/6860
[pid=14717] ppid=14715 vsize=109352 CPUtime=1.49 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 4790 0 -1 4202496 26712 0 0 0 146 3 0 0 20 0 1 0 335119575 111976448 26660 33554432000 4194304 7823515 140735253040208 140735252906312 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14717/statm: 27338 26660 354 887 0 26448 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 109352

[startup+3.10108 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 14718
/proc/meminfo: memFree=28907280/32873648 swapFree=6860/6860
[pid=14717] ppid=14715 vsize=210056 CPUtime=3.09 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 4790 0 -1 4202496 51884 0 0 0 303 6 0 0 20 0 1 0 335119575 215097344 51832 33554432000 4194304 7823515 140735253040208 140735252906312 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14717/statm: 52514 51832 354 887 0 51624 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 210056

[startup+6.30054 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 14718
/proc/meminfo: memFree=28425156/32873648 swapFree=6860/6860
[pid=14717] ppid=14715 vsize=656328 CPUtime=6.29 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 4790 0 -1 4202496 162895 0 0 0 581 48 0 0 20 0 1 0 335119575 672079872 162489 33554432000 4194304 7823515 140735253040208 140735253037144 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14717/statm: 164082 162489 417 887 0 163192 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 656328

[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 14718
/proc/meminfo: memFree=27840124/32873648 swapFree=6860/6860
[pid=14717] ppid=14715 vsize=1297856 CPUtime=12.68 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 4790 0 -1 4202496 256690 0 0 0 1174 94 0 0 20 0 1 0 335119575 1329004544 306852 33554432000 4194304 7823515 140735253040208 140735253035896 6175240 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14717/statm: 324464 306852 507 887 0 323574 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1297856

[startup+25.5067 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 14718
/proc/meminfo: memFree=27790788/32873648 swapFree=6860/6860
[pid=14717] ppid=14715 vsize=1339720 CPUtime=25.49 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 4790 0 -1 4202496 260986 0 0 0 2451 98 0 0 20 0 1 0 335119575 1371873280 316436 33554432000 4194304 7823515 140735253040208 140735253034968 6149968 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14717/statm: 334930 316436 521 887 0 334040 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1339720

[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 14718
/proc/meminfo: memFree=27778476/32873648 swapFree=6860/6860
[pid=14717] ppid=14715 vsize=1352400 CPUtime=51.08 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 4790 0 -1 4202496 263398 0 0 0 5005 103 0 0 20 0 1 0 335119575 1384857600 319489 33554432000 4194304 7823515 140735253040208 140735253034968 6208911 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14717/statm: 338100 319489 521 887 0 337210 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1352400

[startup+102.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/178 14721
/proc/meminfo: memFree=27770832/32873648 swapFree=6860/6860
[pid=14717] ppid=14715 vsize=1360840 CPUtime=102.27 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 4790 0 -1 4202496 265460 0 0 0 10112 115 0 0 20 0 1 0 335119575 1393500160 321415 33554432000 4194304 7823515 140735253040208 140735253035016 6208630 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14717/statm: 340210 321415 521 887 0 339320 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1360840

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 14721
/proc/meminfo: memFree=27766732/32873648 swapFree=6860/6860
[pid=14717] ppid=14715 vsize=1364860 CPUtime=162.26 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 4790 0 -1 4202496 268533 0 0 0 16095 131 0 0 20 0 1 0 335119575 1397616640 322456 33554432000 4194304 7823515 140735253040208 140735253034888 6149993 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14717/statm: 341215 322456 521 887 0 340325 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1364860

[startup+222.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/177 14721
/proc/meminfo: memFree=27765864/32873648 swapFree=6860/6860
[pid=14717] ppid=14715 vsize=1364860 CPUtime=222.26 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 4790 0 -1 4202496 269242 0 0 0 22078 148 0 0 20 0 1 0 335119575 1397616640 322501 33554432000 4194304 7823515 140735253040208 140735253034968 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14717/statm: 341215 322501 521 887 0 340325 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1364860

[startup+282.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 14722
/proc/meminfo: memFree=27761540/32873648 swapFree=6860/6860
[pid=14717] ppid=14715 vsize=1365388 CPUtime=282.25 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 4790 0 -1 4202496 270296 0 0 0 28058 167 0 0 20 0 1 0 335119575 1398157312 323203 33554432000 4194304 7823515 140735253040208 140735253034888 6157608 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14717/statm: 341347 323203 521 887 0 340457 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 1365388

[startup+342.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 14722
/proc/meminfo: memFree=27752636/32873648 swapFree=6860/6860
[pid=14717] ppid=14715 vsize=1372504 CPUtime=342.24 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 4790 0 -1 4202496 274625 0 0 0 34049 175 0 0 20 0 1 0 335119575 1405444096 324957 33554432000 4194304 7823515 140735253040208 140735253035656 5597697 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14717/statm: 343126 324957 534 887 0 342236 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1372504

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14722
/proc/meminfo: memFree=27581132/32873648 swapFree=6860/6860
[pid=14717] ppid=14715 vsize=1532860 CPUtime=402.23 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 4790 0 -1 4202496 307651 0 0 0 40028 195 0 0 20 0 1 0 335119575 1569648640 367385 33554432000 4194304 7823515 140735253040208 140735253035544 6212176 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14717/statm: 383215 367385 550 887 0 382325 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1532860

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14722
/proc/meminfo: memFree=27565400/32873648 swapFree=6860/6860
[pid=14717] ppid=14715 vsize=1532860 CPUtime=462.22 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 4790 0 -1 4202496 307725 0 0 0 46023 199 0 0 20 0 1 0 335119575 1569648640 367385 33554432000 4194304 7823515 140735253040208 140735253036008 5597699 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14717/statm: 383215 367385 550 887 0 382325 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1532860

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14723
/proc/meminfo: memFree=27538556/32873648 swapFree=6860/6860
[pid=14717] ppid=14715 vsize=1567420 CPUtime=522.21 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 4790 0 -1 4202496 308794 0 0 0 52017 204 0 0 20 0 1 0 335119575 1605038080 374010 33554432000 4194304 7823515 140735253040208 140735253035304 5965373 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14717/statm: 391855 374010 550 887 0 390965 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1567420

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14724
/proc/meminfo: memFree=27537008/32873648 swapFree=6860/6860
[pid=14717] ppid=14715 vsize=1567420 CPUtime=582.2 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 4790 0 -1 4202496 308794 0 0 0 58013 207 0 0 20 0 1 0 335119575 1605038080 374010 33554432000 4194304 7823515 140735253040208 140735253035304 5965368 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14717/statm: 391855 374010 550 887 0 390965 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1567420

[startup+642.3 s]

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

/proc/meminfo: memFree=27538564/32873648 swapFree=6860/6860
[pid=14717] ppid=14715 vsize=1536628 CPUtime=1062.12 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 4790 0 -1 4202496 310123 0 0 0 105962 250 0 0 20 0 1 0 335119575 1573507072 366930 33554432000 4194304 7823515 140735253040208 140735253035352 6908173 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14717/statm: 384157 366930 550 887 0 383267 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 1536628

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14728
/proc/meminfo: memFree=27536592/32873648 swapFree=6860/6860
[pid=14717] ppid=14715 vsize=1536628 CPUtime=1122.12 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 4790 0 -1 4202496 310124 0 0 0 111955 257 0 0 20 0 1 0 335119575 1573507072 367440 33554432000 4194304 7823515 140735253040208 140735253035352 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14717/statm: 384157 367440 550 887 0 383267 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 1536628

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14729
/proc/meminfo: memFree=27536620/32873648 swapFree=6860/6860
[pid=14717] ppid=14715 vsize=1536628 CPUtime=1182.1 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 4790 0 -1 4202496 310128 0 0 0 117948 262 0 0 20 0 1 0 335119575 1573507072 367440 33554432000 4194304 7823515 140735253040208 140735253035352 5965820 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14717/statm: 384157 367440 550 887 0 383267 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 1536628

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14729
/proc/meminfo: memFree=27531308/32873648 swapFree=6860/6860
[pid=14717] ppid=14715 vsize=1536628 CPUtime=1242.09 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 4790 0 -1 4202496 310128 0 0 0 123942 267 0 0 20 0 1 0 335119575 1573507072 368732 33554432000 4194304 7823515 140735253040208 140735253035352 5965377 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14717/statm: 384157 368732 550 887 0 383267 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 1536628

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14732
/proc/meminfo: memFree=27529104/32873648 swapFree=6860/6860
[pid=14717] ppid=14715 vsize=1536628 CPUtime=1302.08 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 4790 0 -1 4202496 310128 0 0 0 129937 271 0 0 20 0 1 0 335119575 1573507072 369317 33554432000 4194304 7823515 140735253040208 140735253036008 5597699 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14717/statm: 384157 369317 550 887 0 383267 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1536628

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14732
/proc/meminfo: memFree=27507776/32873648 swapFree=6860/6860
[pid=14717] ppid=14715 vsize=1557160 CPUtime=1362.08 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 4790 0 -1 4202496 310884 0 0 0 135933 275 0 0 20 0 1 0 335119575 1594531840 374605 33554432000 4194304 7823515 140735253040208 140735253035304 5965385 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14717/statm: 389290 374605 550 887 0 388400 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1557160

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14732
/proc/meminfo: memFree=27504848/32873648 swapFree=6860/6860
[pid=14717] ppid=14715 vsize=1557160 CPUtime=1422.07 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 4790 0 -1 4202496 310884 0 0 0 141926 281 0 0 20 0 1 0 335119575 1594531840 375331 33554432000 4194304 7823515 140735253040208 140735253035304 5965816 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14717/statm: 389290 375331 550 887 0 388400 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 1557160

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14733
/proc/meminfo: memFree=27455944/32873648 swapFree=6860/6860
[pid=14717] ppid=14715 vsize=1557160 CPUtime=1482.06 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 4790 0 -1 4202496 310884 0 0 0 147919 287 0 0 20 0 1 0 335119575 1594531840 375989 33554432000 4194304 7823515 140735253040208 140735253035352 6912071 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14717/statm: 389290 375989 550 887 0 388400 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1557160

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14733
/proc/meminfo: memFree=27455972/32873648 swapFree=6860/6860
[pid=14717] ppid=14715 vsize=1557160 CPUtime=1542.06 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 4790 0 -1 4202496 310884 0 0 0 153914 292 0 0 20 0 1 0 335119575 1594531840 375989 33554432000 4194304 7823515 140735253040208 140735253035352 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14717/statm: 389290 375989 550 887 0 388400 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 1557160

[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 14771
/proc/meminfo: memFree=27749472/32873648 swapFree=6860/6860
[pid=14717] ppid=14715 vsize=1557160 CPUtime=1602.04 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 4790 0 -1 4202496 310884 0 0 0 159909 295 0 0 20 0 1 0 335119575 1594531840 375989 33554432000 4194304 7823515 140735253040208 140735253035352 6908153 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14717/statm: 389290 375989 550 887 0 388400 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 1557160

[startup+1662.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 14771
/proc/meminfo: memFree=27734552/32873648 swapFree=6860/6860
[pid=14717] ppid=14715 vsize=1557160 CPUtime=1662.04 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 4790 0 -1 4202496 310884 0 0 0 165904 300 0 0 20 0 1 0 335119575 1594531840 375989 33554432000 4194304 7823515 140735253040208 140735253035352 6911959 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14717/statm: 389290 375989 550 887 0 388400 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 1557160

[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 14771
/proc/meminfo: memFree=27733468/32873648 swapFree=6860/6860
[pid=14717] ppid=14715 vsize=1557160 CPUtime=1722.02 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 4790 0 -1 4202496 310884 0 0 0 171898 304 0 0 20 0 1 0 335119575 1594531840 375989 33554432000 4194304 7823515 140735253040208 140735253035352 5965385 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14717/statm: 389290 375989 550 887 0 388400 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 1557160

[startup+1782.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 14772
/proc/meminfo: memFree=27732068/32873648 swapFree=6860/6860
[pid=14717] ppid=14715 vsize=1557160 CPUtime=1782.02 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 4790 0 -1 4202496 310884 0 0 0 177893 309 0 0 20 0 1 0 335119575 1594531840 375989 33554432000 4194304 7823515 140735253040208 140735253035352 6908153 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14717/statm: 389290 375989 550 887 0 388400 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 1557160

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

[startup+1792.11 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 14772
/proc/meminfo: memFree=27731928/32873648 swapFree=6860/6860
[pid=14717] ppid=14715 vsize=1557160 CPUtime=1791.82 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 4790 0 -1 4202496 310884 0 0 0 178872 310 0 0 20 0 1 0 335119575 1594531840 375989 33554432000 4194304 7823515 140735253040208 140735253035400 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14717/statm: 389290 375989 550 887 0 388400 0
Current children cumulated CPU time (s) 1791.82
Current children cumulated vsize (KiB) 1557160

[startup+1795.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 14772
/proc/meminfo: memFree=27731912/32873648 swapFree=6860/6860
[pid=14717] ppid=14715 vsize=1557160 CPUtime=1795.02 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 4790 0 -1 4202496 310884 0 0 0 179192 310 0 0 20 0 1 0 335119575 1594531840 375989 33554432000 4194304 7823515 140735253040208 140735253035352 5965385 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14717/statm: 389290 375989 550 887 0 388400 0
Current children cumulated CPU time (s) 1795.02
Current children cumulated vsize (KiB) 1557160

[startup+1796.9 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 14772
/proc/meminfo: memFree=27731912/32873648 swapFree=6860/6860
[pid=14717] ppid=14715 vsize=1557160 CPUtime=1796.61 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 4790 0 -1 4202496 310884 0 0 0 179351 310 0 0 20 0 1 0 335119575 1594531840 375989 33554432000 4194304 7823515 140735253040208 140735253035400 4272736 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14717/statm: 389290 375989 550 887 0 388400 0
Current children cumulated CPU time (s) 1796.61
Current children cumulated vsize (KiB) 1557160

[startup+1798.5 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 14772
/proc/meminfo: memFree=27731912/32873648 swapFree=6860/6860
[pid=14717] ppid=14715 vsize=1582820 CPUtime=1798.21 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 4790 0 -1 4202496 311171 0 0 0 179511 310 0 0 20 0 1 0 335119575 1620807680 382919 33554432000 4194304 7823515 140735253040208 140735253035720 4301900 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14717/statm: 395705 382919 555 887 0 394815 0
Current children cumulated CPU time (s) 1798.21
Current children cumulated vsize (KiB) 1582820

[startup+1799.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 14772
/proc/meminfo: memFree=27704172/32873648 swapFree=6860/6860
[pid=14717] ppid=14715 vsize=1582820 CPUtime=1799.01 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 4790 0 -1 4202496 311171 0 0 0 179591 310 0 0 20 0 1 0 335119575 1620807680 382919 33554432000 4194304 7823515 140735253040208 140735253035720 5875083 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14717/statm: 395705 382919 555 887 0 394815 0
Current children cumulated CPU time (s) 1799.01
Current children cumulated vsize (KiB) 1582820

[startup+1799.5 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 14772
/proc/meminfo: memFree=27704172/32873648 swapFree=6860/6860
[pid=14717] ppid=14715 vsize=1132628 CPUtime=1799.21 cores=0,2,4,6
/proc/14717/stat : 14717 (pbscip.linux.x8) R 14715 14717 4790 0 -1 4202496 311171 0 0 0 179609 312 0 0 20 0 1 0 335119575 1159811072 279816 33554432000 4194304 7823515 140735253040208 140735253035720 5875138 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14717/statm: 283157 279816 555 887 0 282267 0
Current children cumulated CPU time (s) 1799.21
Current children cumulated vsize (KiB) 1132628

Child status: 0
Real time (s): 1799.58
CPU time (s): 1799.3
CPU user time (s): 1796.16
CPU system time (s): 3.13652
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 1608480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.16
system time used= 3.13652
maximum resident set size= 1533008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 311176
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= 17
involuntary context switches= 1849

runsolver used 5.81012 second user time and 14.8117 second system time

The end

Launcher Data

Begin job on node124 at 2012-06-03 04:18:57
IDJOB=3731573
IDBENCH=1966
IDSOLVER=2321
FILE ID=node124/3731573-1338689937
RUNJOBID= node124-1338679211-13479
PBS_JOBID= 14636689
Free space on /tmp= 70668 MiB

SOLVER NAME= PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3731573-1338689937/watcher-3731573-1338689937 -o /tmp/evaluation-result-3731573-1338689937/solver-3731573-1338689937 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3731573-1338689937.opb

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

MD5SUM BENCH= 751aa23355f7a016eeb9009a33a863ac
RANDOM SEED=249849986

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        29057508 kB
Buffers:          176856 kB
Cached:          1392636 kB
SwapCached:         8280 kB
Active:          1879580 kB
Inactive:        1163312 kB
Active(anon):    1457424 kB
Inactive(anon):    18448 kB
Active(file):     422156 kB
Inactive(file):  1144864 kB
Unevictable:        6860 kB
Mlocked:            6860 kB
SwapTotal:      67108856 kB
SwapFree:       67091572 kB
Dirty:             26524 kB
Writeback:             0 kB
AnonPages:       1474660 kB
Mapped:            11264 kB
Shmem:                 0 kB
Slab:             629752 kB
SReclaimable:      74040 kB
SUnreclaim:       555712 kB
KernelStack:        1440 kB
PageTables:         6756 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1651772 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    622592 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70656 MiB
End job on node124 at 2012-06-03 04:48:57