Trace number 3731639

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)SAT426 1798.66 1798.96

General information on the benchmark

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

Solver Data

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

Verifier Data

OK	426

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-3731639-1338690735/watcher-3731639-1338690735 -o /tmp/evaluation-result-3731639-1338690735/solver-3731639-1338690735 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3731639-1338690735.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 21243
/proc/meminfo: memFree=25814228/32873844 swapFree=7116/7116
[pid=21243] ppid=21241 vsize=7152 CPUtime=0 cores=0,2,4,6
/proc/21243/stat : 21243 (pbscip.linux.x8) R 21241 21243 10620 0 -1 4202496 940 0 0 0 0 0 0 0 20 0 1 0 335198645 7323648 892 33554432000 4194304 7823515 140735037285472 140736151026712 4402248 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21243/statm: 1788 905 335 887 0 898 0

[startup+0.012125 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 21243
/proc/meminfo: memFree=25814228/32873844 swapFree=7116/7116
[pid=21243] ppid=21241 vsize=10960 CPUtime=0 cores=0,2,4,6
/proc/21243/stat : 21243 (pbscip.linux.x8) R 21241 21243 10620 0 -1 4202496 2111 0 0 0 0 0 0 0 20 0 1 0 335198645 11223040 2063 33554432000 4194304 7823515 140735037285472 140736151026712 5878822 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21243/statm: 2740 2063 349 887 0 1850 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10960

[startup+0.100332 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 21243
/proc/meminfo: memFree=25814228/32873844 swapFree=7116/7116
[pid=21243] ppid=21241 vsize=20992 CPUtime=0.09 cores=0,2,4,6
/proc/21243/stat : 21243 (pbscip.linux.x8) R 21241 21243 10620 0 -1 4202496 4629 0 0 0 9 0 0 0 20 0 1 0 335198645 21495808 4577 33554432000 4194304 7823515 140735037285472 140736151026712 5538288 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21243/statm: 5248 4577 354 887 0 4358 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20992

[startup+0.300327 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 21243
/proc/meminfo: memFree=25814228/32873844 swapFree=7116/7116
[pid=21243] ppid=21241 vsize=34092 CPUtime=0.29 cores=0,2,4,6
/proc/21243/stat : 21243 (pbscip.linux.x8) R 21241 21243 10620 0 -1 4202496 7901 0 0 0 28 1 0 0 20 0 1 0 335198645 34910208 7849 33554432000 4194304 7823515 140735037285472 140735037151576 6908062 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21243/statm: 8523 7849 354 887 0 7633 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34092

[startup+0.700328 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 21243
/proc/meminfo: memFree=25814228/32873844 swapFree=7116/7116
[pid=21243] ppid=21241 vsize=59648 CPUtime=0.69 cores=0,2,4,6
/proc/21243/stat : 21243 (pbscip.linux.x8) R 21241 21243 10620 0 -1 4202496 14278 0 0 0 67 2 0 0 20 0 1 0 335198645 61079552 14226 33554432000 4194304 7823515 140735037285472 140735037151576 6908072 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21243/statm: 14912 14226 354 887 0 14022 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 59648

[startup+1.50028 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 21244
/proc/meminfo: memFree=25739952/32873844 swapFree=7116/7116
[pid=21243] ppid=21241 vsize=109352 CPUtime=1.49 cores=0,2,4,6
/proc/21243/stat : 21243 (pbscip.linux.x8) R 21241 21243 10620 0 -1 4202496 26711 0 0 0 145 4 0 0 20 0 1 0 335198645 111976448 26659 33554432000 4194304 7823515 140735037285472 140735037151576 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21243/statm: 27338 26659 354 887 0 26448 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 109352

[startup+3.10029 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 21244
/proc/meminfo: memFree=25669892/32873844 swapFree=7116/7116
[pid=21243] ppid=21241 vsize=210056 CPUtime=3.09 cores=0,2,4,6
/proc/21243/stat : 21243 (pbscip.linux.x8) R 21241 21243 10620 0 -1 4202496 51883 0 0 0 301 8 0 0 20 0 1 0 335198645 215097344 51831 33554432000 4194304 7823515 140735037285472 140735037151576 4511625 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21243/statm: 52514 51831 354 887 0 51624 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 210056

[startup+6.30031 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 21244
/proc/meminfo: memFree=25192304/32873844 swapFree=7116/7116
[pid=21243] ppid=21241 vsize=654280 CPUtime=6.29 cores=0,2,4,6
/proc/21243/stat : 21243 (pbscip.linux.x8) R 21241 21243 10620 0 -1 4202496 162383 0 0 0 586 43 0 0 20 0 1 0 335198645 669982720 161977 33554432000 4194304 7823515 140735037285472 140735037282408 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21243/statm: 163570 161977 417 887 0 162680 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 654280

[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 21244
/proc/meminfo: memFree=24594224/32873844 swapFree=7116/7116
[pid=21243] ppid=21241 vsize=1287456 CPUtime=12.69 cores=0,2,4,6
/proc/21243/stat : 21243 (pbscip.linux.x8) R 21241 21243 10620 0 -1 4202496 253908 0 0 0 1172 97 0 0 20 0 1 0 335198645 1318354944 304905 33554432000 4194304 7823515 140735037285472 140735037281160 6109382 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21243/statm: 321864 304905 504 887 0 320974 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1287456

[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 21244
/proc/meminfo: memFree=24544648/32873844 swapFree=7116/7116
[pid=21243] ppid=21241 vsize=1337740 CPUtime=25.49 cores=0,2,4,6
/proc/21243/stat : 21243 (pbscip.linux.x8) R 21241 21243 10620 0 -1 4202496 258652 0 0 0 2448 101 0 0 20 0 1 0 335198645 1369845760 316954 33554432000 4194304 7823515 140735037285472 140735037280152 6217361 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21243/statm: 334435 316954 521 887 0 333545 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1337740

[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 21244
/proc/meminfo: memFree=24528072/32873844 swapFree=7116/7116
[pid=21243] ppid=21241 vsize=1350076 CPUtime=51.08 cores=0,2,4,6
/proc/21243/stat : 21243 (pbscip.linux.x8) R 21241 21243 10620 0 -1 4202496 260096 0 0 0 5003 105 0 0 20 0 1 0 335198645 1382477824 319683 33554432000 4194304 7823515 140735037285472 140735037280152 6149986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21243/statm: 337519 319683 521 887 0 336629 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1350076

[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 21245
/proc/meminfo: memFree=24522068/32873844 swapFree=7116/7116
[pid=21243] ppid=21241 vsize=1354288 CPUtime=102.28 cores=0,2,4,6
/proc/21243/stat : 21243 (pbscip.linux.x8) R 21241 21243 10620 0 -1 4202496 262090 0 0 0 10113 115 0 0 20 0 1 0 335198645 1386790912 320927 33554432000 4194304 7823515 140735037285472 140735037280232 6208682 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21243/statm: 338572 320927 521 887 0 337682 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1354288

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 21245
/proc/meminfo: memFree=24512028/32873844 swapFree=7116/7116
[pid=21243] ppid=21241 vsize=1364612 CPUtime=162.26 cores=0,2,4,6
/proc/21243/stat : 21243 (pbscip.linux.x8) R 21241 21243 10620 0 -1 4202496 264592 0 0 0 16097 129 0 0 20 0 1 0 335198645 1397362688 323401 33554432000 4194304 7823515 140735037285472 140735037280232 6149986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21243/statm: 341153 323401 521 887 0 340263 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1364612

[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 21246
/proc/meminfo: memFree=24512392/32873844 swapFree=7116/7116
[pid=21243] ppid=21241 vsize=1364128 CPUtime=222.25 cores=0,2,4,6
/proc/21243/stat : 21243 (pbscip.linux.x8) R 21241 21243 10620 0 -1 4202496 266092 0 0 0 22087 138 0 0 20 0 1 0 335198645 1396867072 323373 33554432000 4194304 7823515 140735037285472 140735037280232 6208530 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21243/statm: 341032 323373 521 887 0 340142 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1364128

[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 21246
/proc/meminfo: memFree=24491888/32873844 swapFree=7116/7116
[pid=21243] ppid=21241 vsize=1378828 CPUtime=282.24 cores=0,2,4,6
/proc/21243/stat : 21243 (pbscip.linux.x8) R 21241 21243 10620 0 -1 4202496 269290 0 0 0 28076 148 0 0 20 0 1 0 335198645 1411919872 327581 33554432000 4194304 7823515 140735037285472 140735037280280 6211131 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21243/statm: 344707 327581 521 887 0 343817 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1378828

[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 21246
/proc/meminfo: memFree=24491544/32873844 swapFree=7116/7116
[pid=21243] ppid=21241 vsize=1378828 CPUtime=342.24 cores=0,2,4,6
/proc/21243/stat : 21243 (pbscip.linux.x8) R 21241 21243 10620 0 -1 4202496 270525 0 0 0 34069 155 0 0 20 0 1 0 335198645 1411919872 327632 33554432000 4194304 7823515 140735037285472 140735037280152 6149968 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21243/statm: 344707 327632 521 887 0 343817 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1378828

[startup+402.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 21247
/proc/meminfo: memFree=24491404/32873844 swapFree=7116/7116
[pid=21243] ppid=21241 vsize=1378828 CPUtime=402.22 cores=0,2,4,6
/proc/21243/stat : 21243 (pbscip.linux.x8) R 21241 21243 10620 0 -1 4202496 271831 0 0 0 40058 164 0 0 20 0 1 0 335198645 1411919872 327647 33554432000 4194304 7823515 140735037285472 140735037280152 6149986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21243/statm: 344707 327647 521 887 0 343817 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1378828

[startup+462.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 21247
/proc/meminfo: memFree=24504772/32873844 swapFree=7116/7116
[pid=21243] ppid=21241 vsize=1358764 CPUtime=462.21 cores=0,2,4,6
/proc/21243/stat : 21243 (pbscip.linux.x8) R 21241 21243 10620 0 -1 4202496 274063 0 0 0 46050 171 0 0 20 0 1 0 335198645 1391374336 324466 33554432000 4194304 7823515 140735037285472 140735037281272 5597697 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21243/statm: 339691 324466 534 887 0 338801 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 1358764

[startup+522.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 21250
/proc/meminfo: memFree=24436308/32873844 swapFree=7116/7116
[pid=21243] ppid=21241 vsize=1429296 CPUtime=522.21 cores=0,2,4,6
/proc/21243/stat : 21243 (pbscip.linux.x8) R 21241 21243 10620 0 -1 4202496 284690 0 0 0 52030 191 0 0 20 0 1 0 335198645 1463599104 341587 33554432000 4194304 7823515 140735037285472 140735037280568 4338440 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21243/statm: 357324 341587 550 887 0 356434 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1429296

[startup+582.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 21250
/proc/meminfo: memFree=24436344/32873844 swapFree=7116/7116
[pid=21243] ppid=21241 vsize=1429296 CPUtime=582.2 cores=0,2,4,6
/proc/21243/stat : 21243 (pbscip.linux.x8) R 21241 21243 10620 0 -1 4202496 284692 0 0 0 58025 195 0 0 20 0 1 0 335198645 1463599104 341587 33554432000 4194304 7823515 140735037285472 140735037280616 6911959 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21243/statm: 357324 341587 550 887 0 356434 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1429296

[startup+642.3 s]

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

/proc/meminfo: memFree=24313792/32873844 swapFree=7116/7116
[pid=21243] ppid=21241 vsize=1487436 CPUtime=1062.11 cores=0,2,4,6
/proc/21243/stat : 21243 (pbscip.linux.x8) R 21241 21243 10620 0 -1 4202496 288252 0 0 0 105979 232 0 0 20 0 1 0 335198645 1523134464 358691 33554432000 4194304 7823515 140735037285472 140735037280568 5965825 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21243/statm: 371859 358691 550 887 0 370969 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 1487436

[startup+1122.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/178 21255
/proc/meminfo: memFree=24357380/32873844 swapFree=7116/7116
[pid=21243] ppid=21241 vsize=1487436 CPUtime=1122.1 cores=0,2,4,6
/proc/21243/stat : 21243 (pbscip.linux.x8) R 21241 21243 10620 0 -1 4202496 288252 0 0 0 111974 236 0 0 20 0 1 0 335198645 1523134464 359270 33554432000 4194304 7823515 140735037285472 140735037280568 6908148 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21243/statm: 371859 359270 550 887 0 370969 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 1487436

[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 21255
/proc/meminfo: memFree=24356552/32873844 swapFree=7116/7116
[pid=21243] ppid=21241 vsize=1487436 CPUtime=1182.09 cores=0,2,4,6
/proc/21243/stat : 21243 (pbscip.linux.x8) R 21241 21243 10620 0 -1 4202496 288252 0 0 0 117968 241 0 0 20 0 1 0 335198645 1523134464 359506 33554432000 4194304 7823515 140735037285472 140735037280568 5965926 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21243/statm: 371859 359506 550 887 0 370969 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 1487436

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21255
/proc/meminfo: memFree=24356532/32873844 swapFree=7116/7116
[pid=21243] ppid=21241 vsize=1487436 CPUtime=1242.08 cores=0,2,4,6
/proc/21243/stat : 21243 (pbscip.linux.x8) R 21241 21243 10620 0 -1 4202496 288252 0 0 0 123962 246 0 0 20 0 1 0 335198645 1523134464 359506 33554432000 4194304 7823515 140735037285472 140735037280616 5965398 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21243/statm: 371859 359506 550 887 0 370969 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 1487436

[startup+1302.3 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 21294
/proc/meminfo: memFree=25829256/32873844 swapFree=7116/7116
[pid=21243] ppid=21241 vsize=1487436 CPUtime=1302.08 cores=0,2,4,6
/proc/21243/stat : 21243 (pbscip.linux.x8) R 21241 21243 10620 0 -1 4202496 288253 0 0 0 129955 253 0 0 20 0 1 0 335198645 1523134464 359506 33554432000 4194304 7823515 140735037285472 140735037280616 6911959 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21243/statm: 371859 359506 550 887 0 370969 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1487436

[startup+1362.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 21294
/proc/meminfo: memFree=25828636/32873844 swapFree=7116/7116
[pid=21243] ppid=21241 vsize=1487436 CPUtime=1362.06 cores=0,2,4,6
/proc/21243/stat : 21243 (pbscip.linux.x8) R 21241 21243 10620 0 -1 4202496 288253 0 0 0 135949 257 0 0 20 0 1 0 335198645 1523134464 359506 33554432000 4194304 7823515 140735037285472 140735037280664 5965398 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21243/statm: 371859 359506 550 887 0 370969 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 1487436

[startup+1422.31 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 21294
/proc/meminfo: memFree=25827272/32873844 swapFree=7116/7116
[pid=21243] ppid=21241 vsize=1487436 CPUtime=1422.06 cores=0,2,4,6
/proc/21243/stat : 21243 (pbscip.linux.x8) R 21241 21243 10620 0 -1 4202496 288253 0 0 0 141944 262 0 0 20 0 1 0 335198645 1523134464 359506 33554432000 4194304 7823515 140735037285472 140735037280744 5965368 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21243/statm: 371859 359506 550 887 0 370969 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 1487436

[startup+1482.3 s]
/proc/loadavg: 2.05 2.00 2.00 3/177 21294
/proc/meminfo: memFree=25828636/32873844 swapFree=7116/7116
[pid=21243] ppid=21241 vsize=1487436 CPUtime=1482.04 cores=0,2,4,6
/proc/21243/stat : 21243 (pbscip.linux.x8) R 21241 21243 10620 0 -1 4202496 288253 0 0 0 147936 268 0 0 20 0 1 0 335198645 1523134464 359506 33554432000 4194304 7823515 140735037285472 140735037280616 6912101 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21243/statm: 371859 359506 550 887 0 370969 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 1487436

[startup+1542.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 21294
/proc/meminfo: memFree=25827396/32873844 swapFree=7116/7116
[pid=21243] ppid=21241 vsize=1487436 CPUtime=1542.03 cores=0,2,4,6
/proc/21243/stat : 21243 (pbscip.linux.x8) R 21241 21243 10620 0 -1 4202496 288253 0 0 0 153931 272 0 0 20 0 1 0 335198645 1523134464 359506 33554432000 4194304 7823515 140735037285472 140735037281272 5597699 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21243/statm: 371859 359506 550 887 0 370969 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 1487436

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21295
/proc/meminfo: memFree=25802884/32873844 swapFree=7116/7116
[pid=21243] ppid=21241 vsize=1513100 CPUtime=1602.03 cores=0,2,4,6
/proc/21243/stat : 21243 (pbscip.linux.x8) R 21241 21243 10620 0 -1 4202496 289127 0 0 0 159925 278 0 0 20 0 1 0 335198645 1549414400 365923 33554432000 4194304 7823515 140735037285472 140735037280744 5965825 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21243/statm: 378275 365923 550 887 0 377385 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 1513100

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21295
/proc/meminfo: memFree=25825968/32873844 swapFree=7116/7116
[pid=21243] ppid=21241 vsize=1486464 CPUtime=1662.02 cores=0,2,4,6
/proc/21243/stat : 21243 (pbscip.linux.x8) R 21241 21243 10620 0 -1 4202496 289200 0 0 0 165922 280 0 0 20 0 1 0 335198645 1522139136 359807 33554432000 4194304 7823515 140735037285472 140735037280616 5965555 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21243/statm: 371616 359807 550 887 0 370726 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 1486464

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21298
/proc/meminfo: memFree=25826084/32873844 swapFree=7116/7116
[pid=21243] ppid=21241 vsize=1486464 CPUtime=1722.01 cores=0,2,4,6
/proc/21243/stat : 21243 (pbscip.linux.x8) R 21241 21243 10620 0 -1 4202496 289200 0 0 0 171916 285 0 0 20 0 1 0 335198645 1522139136 359807 33554432000 4194304 7823515 140735037285472 140735037280616 6908173 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21243/statm: 371616 359807 550 887 0 370726 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 1486464

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21321
/proc/meminfo: memFree=25825588/32873844 swapFree=7116/7116
[pid=21243] ppid=21241 vsize=1486464 CPUtime=1782 cores=0,2,4,6
/proc/21243/stat : 21243 (pbscip.linux.x8) R 21241 21243 10620 0 -1 4202496 289200 0 0 0 177911 289 0 0 20 0 1 0 335198645 1522139136 359807 33554432000 4194304 7823515 140735037285472 140735037280616 5965373 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21243/statm: 371616 359807 550 887 0 370726 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 1486464

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21321
/proc/meminfo: memFree=25825720/32873844 swapFree=7116/7116
[pid=21243] ppid=21241 vsize=1486464 CPUtime=1791.61 cores=0,2,4,6
/proc/21243/stat : 21243 (pbscip.linux.x8) R 21241 21243 10620 0 -1 4202496 289200 0 0 0 178871 290 0 0 20 0 1 0 335198645 1522139136 359807 33554432000 4194304 7823515 140735037285472 140735037280568 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21243/statm: 371616 359807 550 887 0 370726 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 1486464

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21321
/proc/meminfo: memFree=25825720/32873844 swapFree=7116/7116
[pid=21243] ppid=21241 vsize=1486464 CPUtime=1794.8 cores=0,2,4,6
/proc/21243/stat : 21243 (pbscip.linux.x8) R 21241 21243 10620 0 -1 4202496 289200 0 0 0 179190 290 0 0 20 0 1 0 335198645 1522139136 359807 33554432000 4194304 7823515 140735037285472 140735037280568 6911721 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21243/statm: 371616 359807 550 887 0 370726 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 1486464

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21321
/proc/meminfo: memFree=25825720/32873844 swapFree=7116/7116
[pid=21243] ppid=21241 vsize=1486464 CPUtime=1796.4 cores=0,2,4,6
/proc/21243/stat : 21243 (pbscip.linux.x8) R 21241 21243 10620 0 -1 4202496 289200 0 0 0 179350 290 0 0 20 0 1 0 335198645 1522139136 359807 33554432000 4194304 7823515 140735037285472 140735037280616 5965385 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21243/statm: 371616 359807 550 887 0 370726 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 1486464

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21321
/proc/meminfo: memFree=25825720/32873844 swapFree=7116/7116
[pid=21243] ppid=21241 vsize=1512124 CPUtime=1798 cores=0,2,4,6
/proc/21243/stat : 21243 (pbscip.linux.x8) R 21241 21243 10620 0 -1 4202496 289456 0 0 0 179509 291 0 0 20 0 1 0 335198645 1548414976 366195 33554432000 4194304 7823515 140735037285472 140735037280984 4301900 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21243/statm: 378031 366195 555 887 0 377141 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 1512124

[startup+1798.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21321
/proc/meminfo: memFree=25800648/32873844 swapFree=7116/7116
[pid=21243] ppid=21241 vsize=1512124 CPUtime=1798.4 cores=0,2,4,6
/proc/21243/stat : 21243 (pbscip.linux.x8) R 21241 21243 10620 0 -1 4202496 289456 0 0 0 179549 291 0 0 20 0 1 0 335198645 1548414976 366195 33554432000 4194304 7823515 140735037285472 140735037280984 4539586 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21243/statm: 378031 366195 555 887 0 377141 0
Current children cumulated CPU time (s) 1798.4
Current children cumulated vsize (KiB) 1512124

[startup+1798.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21321
/proc/meminfo: memFree=25800648/32873844 swapFree=7116/7116
[pid=21243] ppid=21241 vsize=1102064 CPUtime=1798.6 cores=0,2,4,6
/proc/21243/stat : 21243 (pbscip.linux.x8) R 21241 21243 10620 0 -1 4202496 289456 0 0 0 179568 292 0 0 20 0 1 0 335198645 1128513536 273106 33554432000 4194304 7823515 140735037285472 140735037280984 5875143 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21243/statm: 275516 272897 555 887 0 274626 0
Current children cumulated CPU time (s) 1798.6
Current children cumulated vsize (KiB) 1102064

Child status: 0
Real time (s): 1798.96
CPU time (s): 1798.66
CPU user time (s): 1795.73
CPU system time (s): 2.93455
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 1554156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.73
system time used= 2.93455
maximum resident set size= 1500688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 289461
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= 30
involuntary context switches= 1934

runsolver used 5.9391 second user time and 18.4392 second system time

The end

Launcher Data

Begin job on node138 at 2012-06-03 04:32:16
IDJOB=3731639
IDBENCH=1972
IDSOLVER=2321
FILE ID=node138/3731639-1338690735
RUNJOBID= node138-1338679216-19462
PBS_JOBID= 14636675
Free space on /tmp= 70748 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_9.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-3731639-1338690735/watcher-3731639-1338690735 -o /tmp/evaluation-result-3731639-1338690735/solver-3731639-1338690735 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3731639-1338690735.opb

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

MD5SUM BENCH= 093efae700664f798191c0b27cec34af
RANDOM SEED=1453542964

node138.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.347
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.69
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.347
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
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.347
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
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.347
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        25814756 kB
Buffers:          709988 kB
Cached:          3926884 kB
SwapCached:          208 kB
Active:          3855448 kB
Inactive:        2295280 kB
Active(anon):    1486168 kB
Inactive(anon):    23640 kB
Active(file):    2369280 kB
Inactive(file):  2271640 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67108648 kB
Dirty:             26400 kB
Writeback:             0 kB
AnonPages:       1516088 kB
Mapped:            16516 kB
Shmem:               200 kB
Slab:             764128 kB
SReclaimable:     206212 kB
SUnreclaim:       557916 kB
KernelStack:        1432 kB
PageTables:         6948 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1684220 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1007616 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70756 MiB
End job on node138 at 2012-06-03 05:02:15