Trace number 2703672

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
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverSAT488 1796.5 1797.08

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_14.opb.PB06.opb
MD5SUM13c1b3915f4d316b882a7e551b1f0496
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark453
Best CPU time to get the best result obtained on this benchmark1802.16
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 502
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 498884
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 498884
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

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

Verifier Data

OK	488

Watcher Data

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.97 3/106 27662
/proc/meminfo: memFree=1694244/2059040 swapFree=4139756/4192956
[pid=27662] ppid=27660 vsize=7904 CPUtime=0
/proc/27662/stat : 27662 (pbscip.linux.x8) R 27660 27662 26473 0 -1 4202496 1118 0 0 0 0 0 0 0 20 0 1 0 23438720 8093696 1029 1992294400 4194304 8395647 140736395417632 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27662/statm: 1976 1038 365 1026 0 946 0

[startup+0.020296 s]
/proc/loadavg: 1.00 1.00 0.97 3/106 27662
/proc/meminfo: memFree=1694244/2059040 swapFree=4139756/4192956
[pid=27662] ppid=27660 vsize=10672 CPUtime=0.01
/proc/27662/stat : 27662 (pbscip.linux.x8) R 27660 27662 26473 0 -1 4202496 1947 0 0 0 1 0 0 0 20 0 1 0 23438720 10928128 1857 1992294400 4194304 8395647 140736395417632 18446744073709551615 7355228 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27662/statm: 2668 1858 387 1026 0 1638 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10672

[startup+0.101305 s]
/proc/loadavg: 1.00 1.00 0.97 3/106 27662
/proc/meminfo: memFree=1694244/2059040 swapFree=4139756/4192956
[pid=27662] ppid=27660 vsize=20044 CPUtime=0.09
/proc/27662/stat : 27662 (pbscip.linux.x8) R 27660 27662 26473 0 -1 4202496 4318 0 0 0 9 0 0 0 20 0 1 0 23438720 20525056 4223 1992294400 4194304 8395647 140736395417632 18446744073709551615 7382061 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27662/statm: 5011 4223 394 1026 0 3981 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20044

[startup+0.301325 s]
/proc/loadavg: 1.00 1.00 0.97 3/106 27662
/proc/meminfo: memFree=1694244/2059040 swapFree=4139756/4192956
[pid=27662] ppid=27660 vsize=25944 CPUtime=0.29
/proc/27662/stat : 27662 (pbscip.linux.x8) R 27660 27662 26473 0 -1 4202496 5786 0 0 0 28 1 0 0 20 0 1 0 23438720 26566656 5691 1992294400 4194304 8395647 140736395417632 18446744073709551615 7382031 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27662/statm: 6486 5691 394 1026 0 5456 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25944

[startup+0.701369 s]
/proc/loadavg: 1.00 1.00 0.97 3/106 27662
/proc/meminfo: memFree=1694244/2059040 swapFree=4139756/4192956
[pid=27662] ppid=27660 vsize=34792 CPUtime=0.7
/proc/27662/stat : 27662 (pbscip.linux.x8) R 27660 27662 26473 0 -1 4202496 8028 0 0 0 68 2 0 0 21 0 1 0 23438720 35627008 7933 1992294400 4194304 8395647 140736395417632 18446744073709551615 7382041 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27662/statm: 8698 7933 394 1026 0 7668 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 34792

[startup+1.50146 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 27663
/proc/meminfo: memFree=1657160/2059040 swapFree=4139756/4192956
[pid=27662] ppid=27660 vsize=53560 CPUtime=1.49
/proc/27662/stat : 27662 (pbscip.linux.x8) R 27660 27662 26473 0 -1 4202496 12697 0 0 0 146 3 0 0 23 0 1 0 23438720 54845440 12602 1992294400 4194304 8395647 140736395417632 18446744073709551615 7382056 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27662/statm: 13390 12602 394 1026 0 12360 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 53560

[startup+3.10163 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 27663
/proc/meminfo: memFree=1630624/2059040 swapFree=4139756/4192956
[pid=27662] ppid=27660 vsize=90356 CPUtime=3.09
/proc/27662/stat : 27662 (pbscip.linux.x8) R 27660 27662 26473 0 -1 4202496 21842 0 0 0 303 6 0 0 25 0 1 0 23438720 92524544 21747 1992294400 4194304 8395647 140736395417632 18446744073709551615 5755483 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27662/statm: 22589 21747 394 1026 0 21559 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 90356

[startup+6.30198 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 27663
/proc/meminfo: memFree=1554524/2059040 swapFree=4139756/4192956
[pid=27662] ppid=27660 vsize=165552 CPUtime=6.29
/proc/27662/stat : 27662 (pbscip.linux.x8) R 27660 27662 26473 0 -1 4202496 40616 0 0 0 615 14 0 0 25 0 1 0 23438720 169525248 40521 1992294400 4194304 8395647 140736395417632 18446744073709551615 7382061 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27662/statm: 41388 40521 394 1026 0 40358 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 165552

[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 27663
/proc/meminfo: memFree=1075972/2059040 swapFree=4139756/4192956
[pid=27662] ppid=27660 vsize=626396 CPUtime=12.69
/proc/27662/stat : 27662 (pbscip.linux.x8) R 27660 27662 26473 0 -1 4202496 155398 0 0 0 1214 55 0 0 25 0 1 0 23438720 641429504 154949 1992294400 4194304 8395647 140736395417632 18446744073709551615 4616780 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27662/statm: 156599 154949 464 1026 0 155569 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 626396

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 27663
/proc/meminfo: memFree=799204/2059040 swapFree=4139756/4192956
[pid=27662] ppid=27660 vsize=904496 CPUtime=25.49
/proc/27662/stat : 27662 (pbscip.linux.x8) R 27660 27662 26473 0 -1 4202496 239399 0 0 0 2464 85 0 0 25 0 1 0 23438720 926203904 223757 1992294400 4194304 8395647 140736395417632 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27662/statm: 226124 223757 517 1026 0 225094 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 904496

[startup+51.1009 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 27663
/proc/meminfo: memFree=447912/2059040 swapFree=4139756/4192956
[pid=27662] ppid=27660 vsize=1325336 CPUtime=51.06
/proc/27662/stat : 27662 (pbscip.linux.x8) R 27660 27662 26473 0 -1 4202496 347422 0 0 0 4983 123 0 0 25 0 1 0 23438720 1357144064 312371 1992294400 4194304 8395647 140736395417632 18446744073709551615 6696801 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27662/statm: 331334 312371 1498 1026 0 330304 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 1325336

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 27665
/proc/meminfo: memFree=408356/2059040 swapFree=4139756/4192956
[pid=27662] ppid=27660 vsize=1366856 CPUtime=102.24
/proc/27662/stat : 27662 (pbscip.linux.x8) R 27660 27662 26473 0 -1 4202496 358231 0 0 0 10096 128 0 0 25 0 1 0 23438720 1399660544 321990 1992294400 4194304 8395647 140736395417632 18446744073709551615 6696767 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27662/statm: 341714 321990 1288 1026 0 340684 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 1366856

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 27667
/proc/meminfo: memFree=394220/2059040 swapFree=4139756/4192956
[pid=27662] ppid=27660 vsize=1380048 CPUtime=162.22
/proc/27662/stat : 27662 (pbscip.linux.x8) R 27660 27662 26473 0 -1 4202496 363208 0 0 0 16090 132 0 0 25 0 1 0 23438720 1413169152 325367 1992294400 4194304 8395647 140736395417632 18446744073709551615 6709591 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27662/statm: 345012 325367 1134 1026 0 343982 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 1380048

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 27667
/proc/meminfo: memFree=393352/2059040 swapFree=4139756/4192956
[pid=27662] ppid=27660 vsize=1380524 CPUtime=222.19
/proc/27662/stat : 27662 (pbscip.linux.x8) R 27660 27662 26473 0 -1 4202496 365282 0 0 0 22085 134 0 0 25 0 1 0 23438720 1413656576 325385 1992294400 4194304 8395647 140736395417632 18446744073709551615 6708356 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27662/statm: 345131 325385 1093 1026 0 344101 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 1380524

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 27669
/proc/meminfo: memFree=392856/2059040 swapFree=4139756/4192956
[pid=27662] ppid=27660 vsize=1380524 CPUtime=282.18
/proc/27662/stat : 27662 (pbscip.linux.x8) R 27660 27662 26473 0 -1 4202496 366762 0 0 0 28082 136 0 0 25 0 1 0 23438720 1413656576 325481 1992294400 4194304 8395647 140736395417632 18446744073709551615 6708301 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27662/statm: 345131 325481 1053 1026 0 344101 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 1380524

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 27671
/proc/meminfo: memFree=392360/2059040 swapFree=4139756/4192956
[pid=27662] ppid=27660 vsize=1380588 CPUtime=342.16
/proc/27662/stat : 27662 (pbscip.linux.x8) R 27660 27662 26473 0 -1 4202496 368712 0 0 0 34078 138 0 0 25 0 1 0 23438720 1413722112 325610 1992294400 4194304 8395647 140736395417632 18446744073709551615 6637233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27662/statm: 345147 325610 1049 1026 0 344117 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 1380588

[startup+402.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 27673
/proc/meminfo: memFree=384672/2059040 swapFree=4139756/4192956
[pid=27662] ppid=27660 vsize=1389548 CPUtime=402.14
/proc/27662/stat : 27662 (pbscip.linux.x8) R 27660 27662 26473 0 -1 4202496 372814 0 0 0 40073 141 0 0 25 0 1 0 23438720 1422897152 327543 1992294400 4194304 8395647 140736395417632 18446744073709551615 6637037 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27662/statm: 347387 327543 1055 1026 0 346357 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 1389548

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 27675
/proc/meminfo: memFree=382068/2059040 swapFree=4139756/4192956
[pid=27662] ppid=27660 vsize=1391664 CPUtime=462.12
/proc/27662/stat : 27662 (pbscip.linux.x8) R 27660 27662 26473 0 -1 4202496 376143 0 0 0 46068 144 0 0 25 0 1 0 23438720 1425063936 328143 1992294400 4194304 8395647 140736395417632 18446744073709551615 6708425 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27662/statm: 347916 328143 1024 1026 0 346886 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 1391664

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 27675
/proc/meminfo: memFree=381820/2059040 swapFree=4139756/4192956
[pid=27662] ppid=27660 vsize=1391664 CPUtime=522.11
/proc/27662/stat : 27662 (pbscip.linux.x8) R 27660 27662 26473 0 -1 4202496 377924 0 0 0 52063 148 0 0 25 0 1 0 23438720 1425063936 328228 1992294400 4194304 8395647 140736395417632 18446744073709551615 6635121 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27662/statm: 347916 328228 1024 1026 0 346886 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 1391664

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 27677
/proc/meminfo: memFree=381572/2059040 swapFree=4139756/4192956
[pid=27662] ppid=27660 vsize=1391664 CPUtime=582.09
/proc/27662/stat : 27662 (pbscip.linux.x8) R 27660 27662 26473 0 -1 4202496 380519 0 0 0 58060 149 0 0 25 0 1 0 23438720 1425063936 328280 1992294400 4194304 8395647 140736395417632 18446744073709551615 6708033 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27662/statm: 347916 328280 1022 1026 0 346886 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 1391664

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/107 27679
/proc/meminfo: memFree=383680/2059040 swapFree=4139756/4192956
[pid=27662] ppid=27660 vsize=1385844 CPUtime=642.07
/proc/27662/stat : 27662 (pbscip.linux.x8) R 27660 27662 26473 0 -1 4202496 384642 0 0 0 64055 152 0 0 25 0 1 0 23438720 1419104256 327754 1992294400 4194304 8395647 140736395417632 18446744073709551615 6667655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27662/statm: 346461 327754 1008 1026 0 345431 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 1385844

[startup+702.301 s]

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

/proc/meminfo: memFree=308040/2059040 swapFree=4139756/4192956
[pid=27662] ppid=27660 vsize=1455288 CPUtime=1121.92
/proc/27662/stat : 27662 (pbscip.linux.x8) R 27660 27662 26473 0 -1 4202496 441620 0 0 0 112012 180 0 0 25 0 1 0 23438720 1490214912 347295 1992294400 4194304 8395647 140736395417632 18446744073709551615 6440490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27662/statm: 363822 347295 1588 1026 0 362792 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 1455288

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 27693
/proc/meminfo: memFree=264888/2059040 swapFree=4139756/4192956
[pid=27662] ppid=27660 vsize=1498352 CPUtime=1181.9
/proc/27662/stat : 27662 (pbscip.linux.x8) R 27660 27662 26473 0 -1 4202496 452386 0 0 0 118006 184 0 0 25 0 1 0 23438720 1534312448 358061 1992294400 4194304 8395647 140736395417632 18446744073709551615 5849644 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27662/statm: 374588 358061 1588 1026 0 373558 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 1498352

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 27695
/proc/meminfo: memFree=220744/2059040 swapFree=4139756/4192956
[pid=27662] ppid=27660 vsize=1542900 CPUtime=1241.88
/proc/27662/stat : 27662 (pbscip.linux.x8) R 27660 27662 26473 0 -1 4202496 463618 0 0 0 123999 189 0 0 25 0 1 0 23438720 1579929600 369189 1992294400 4194304 8395647 140736395417632 18446744073709551615 6697714 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27662/statm: 385725 369189 1740 1026 0 384695 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 1542900

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 27697
/proc/meminfo: memFree=220372/2059040 swapFree=4139756/4192956
[pid=27662] ppid=27660 vsize=1542900 CPUtime=1301.87
/proc/27662/stat : 27662 (pbscip.linux.x8) R 27660 27662 26473 0 -1 4202496 463916 0 0 0 129996 191 0 0 25 0 1 0 23438720 1579929600 369189 1992294400 4194304 8395647 140736395417632 18446744073709551615 7385977 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27662/statm: 385725 369189 1740 1026 0 384695 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1542900

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 27699
/proc/meminfo: memFree=220248/2059040 swapFree=4139756/4192956
[pid=27662] ppid=27660 vsize=1542900 CPUtime=1361.84
/proc/27662/stat : 27662 (pbscip.linux.x8) R 27660 27662 26473 0 -1 4202496 463916 0 0 0 135990 194 0 0 25 0 1 0 23438720 1579929600 369189 1992294400 4194304 8395647 140736395417632 18446744073709551615 7382147 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27662/statm: 385725 369189 1740 1026 0 384695 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1542900

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 27699
/proc/meminfo: memFree=220248/2059040 swapFree=4139756/4192956
[pid=27662] ppid=27660 vsize=1542900 CPUtime=1421.83
/proc/27662/stat : 27662 (pbscip.linux.x8) R 27660 27662 26473 0 -1 4202496 463916 0 0 0 141986 197 0 0 25 0 1 0 23438720 1579929600 369189 1992294400 4194304 8395647 140736395417632 18446744073709551615 6440644 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27662/statm: 385725 369189 1740 1026 0 384695 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1542900

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 27701
/proc/meminfo: memFree=220248/2059040 swapFree=4139756/4192956
[pid=27662] ppid=27660 vsize=1542900 CPUtime=1481.8
/proc/27662/stat : 27662 (pbscip.linux.x8) R 27660 27662 26473 0 -1 4202496 463916 0 0 0 147980 200 0 0 25 0 1 0 23438720 1579929600 369189 1992294400 4194304 8395647 140736395417632 18446744073709551615 6440503 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27662/statm: 385725 369189 1740 1026 0 384695 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1542900

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 27703
/proc/meminfo: memFree=220248/2059040 swapFree=4139756/4192956
[pid=27662] ppid=27660 vsize=1542900 CPUtime=1541.79
/proc/27662/stat : 27662 (pbscip.linux.x8) R 27660 27662 26473 0 -1 4202496 463916 0 0 0 153976 203 0 0 25 0 1 0 23438720 1579929600 369189 1992294400 4194304 8395647 140736395417632 18446744073709551615 6440880 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27662/statm: 385725 369189 1740 1026 0 384695 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1542900

[startup+1602.3 s]
/proc/loadavg: 1.06 1.02 0.98 2/107 27705
/proc/meminfo: memFree=220248/2059040 swapFree=4139756/4192956
[pid=27662] ppid=27660 vsize=1542900 CPUtime=1601.76
/proc/27662/stat : 27662 (pbscip.linux.x8) R 27660 27662 26473 0 -1 4202496 463916 0 0 0 159971 205 0 0 25 0 1 0 23438720 1579929600 369189 1992294400 4194304 8395647 140736395417632 18446744073709551615 6440490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27662/statm: 385725 369189 1740 1026 0 384695 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 1542900

[startup+1662.3 s]
/proc/loadavg: 1.02 1.01 0.98 2/107 27707
/proc/meminfo: memFree=220248/2059040 swapFree=4139756/4192956
[pid=27662] ppid=27660 vsize=1542900 CPUtime=1661.75
/proc/27662/stat : 27662 (pbscip.linux.x8) R 27660 27662 26473 0 -1 4202496 463916 0 0 0 165966 209 0 0 25 0 1 0 23438720 1579929600 369189 1992294400 4194304 8395647 140736395417632 18446744073709551615 7382142 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27662/statm: 385725 369189 1740 1026 0 384695 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 1542900

[startup+1722.3 s]
/proc/loadavg: 1.06 1.02 0.99 2/107 27707
/proc/meminfo: memFree=220248/2059040 swapFree=4139756/4192956
[pid=27662] ppid=27660 vsize=1542900 CPUtime=1721.73
/proc/27662/stat : 27662 (pbscip.linux.x8) R 27660 27662 26473 0 -1 4202496 463916 0 0 0 171962 211 0 0 25 0 1 0 23438720 1579929600 369189 1992294400 4194304 8395647 140736395417632 18446744073709551615 6440648 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27662/statm: 385725 369189 1740 1026 0 384695 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 1542900

[startup+1782.3 s]
/proc/loadavg: 1.07 1.03 1.00 2/107 27709
/proc/meminfo: memFree=220124/2059040 swapFree=4139756/4192956
[pid=27662] ppid=27660 vsize=1542900 CPUtime=1781.71
/proc/27662/stat : 27662 (pbscip.linux.x8) R 27660 27662 26473 0 -1 4202496 463916 0 0 0 177957 214 0 0 25 0 1 0 23438720 1579929600 369189 1992294400 4194304 8395647 140736395417632 18446744073709551615 6124447 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27662/statm: 385725 369189 1740 1026 0 384695 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 1542900

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

[startup+1785.5 s]
/proc/loadavg: 1.07 1.03 1.00 2/107 27709
/proc/meminfo: memFree=220124/2059040 swapFree=4139756/4192956
[pid=27662] ppid=27660 vsize=1542900 CPUtime=1784.91
/proc/27662/stat : 27662 (pbscip.linux.x8) R 27660 27662 26473 0 -1 4202496 463916 0 0 0 178277 214 0 0 25 0 1 0 23438720 1579929600 369189 1992294400 4194304 8395647 140736395417632 18446744073709551615 6440501 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27662/statm: 385725 369189 1740 1026 0 384695 0
Current children cumulated CPU time (s) 1784.91
Current children cumulated vsize (KiB) 1542900

[startup+1791.91 s]
/proc/loadavg: 1.06 1.03 1.00 2/107 27709
/proc/meminfo: memFree=194828/2059040 swapFree=4139756/4192956
[pid=27662] ppid=27660 vsize=1568560 CPUtime=1791.32
/proc/27662/stat : 27662 (pbscip.linux.x8) R 27660 27662 26473 0 -1 4202496 470337 0 0 0 178915 217 0 0 25 0 1 0 23438720 1606205440 375610 1992294400 4194304 8395647 140736395417632 18446744073709551615 6171738 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27662/statm: 392140 375610 1747 1026 0 391110 0
Current children cumulated CPU time (s) 1791.32
Current children cumulated vsize (KiB) 1568560

[startup+1795.1 s]
/proc/loadavg: 1.06 1.03 1.00 2/107 27709
/proc/meminfo: memFree=194828/2059040 swapFree=4139756/4192956
[pid=27662] ppid=27660 vsize=1568536 CPUtime=1794.52
/proc/27662/stat : 27662 (pbscip.linux.x8) R 27660 27662 26473 0 -1 4202496 470339 0 0 0 179235 217 0 0 25 0 1 0 23438720 1606180864 375608 1992294400 4194304 8395647 140736395417632 18446744073709551615 4220157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27662/statm: 392134 375608 1749 1026 0 391104 0
Current children cumulated CPU time (s) 1794.52
Current children cumulated vsize (KiB) 1568536

[startup+1795.9 s]
/proc/loadavg: 1.06 1.03 1.00 2/107 27709
/proc/meminfo: memFree=194828/2059040 swapFree=4139756/4192956
[pid=27662] ppid=27660 vsize=1568536 CPUtime=1795.31
/proc/27662/stat : 27662 (pbscip.linux.x8) R 27660 27662 26473 0 -1 4202496 470339 0 0 0 179314 217 0 0 25 0 1 0 23438720 1606180864 375608 1992294400 4194304 8395647 140736395417632 18446744073709551615 6063840 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27662/statm: 392134 375608 1749 1026 0 391104 0
Current children cumulated CPU time (s) 1795.31
Current children cumulated vsize (KiB) 1568536

[startup+1796.7 s]
/proc/loadavg: 1.05 1.03 1.00 2/107 27709
/proc/meminfo: memFree=194828/2059040 swapFree=4139756/4192956
[pid=27662] ppid=27660 vsize=1243108 CPUtime=1796.11
/proc/27662/stat : 27662 (pbscip.linux.x8) R 27660 27662 26473 0 -1 4202496 470339 0 0 0 179391 220 0 0 25 0 1 0 23438720 1272942592 304371 1992294400 4194304 8395647 140736395417632 18446744073709551615 6345173 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27662/statm: 310777 304371 1575 1026 0 309747 0
Current children cumulated CPU time (s) 1796.11
Current children cumulated vsize (KiB) 1243108

[startup+1796.9 s]
/proc/loadavg: 1.05 1.03 1.00 2/107 27709
/proc/meminfo: memFree=194828/2059040 swapFree=4139756/4192956
[pid=27662] ppid=27660 vsize=1137832 CPUtime=1796.31
/proc/27662/stat : 27662 (pbscip.linux.x8) R 27660 27662 26473 0 -1 4202496 470339 0 0 0 179410 221 0 0 25 0 1 0 23438720 1165139968 278052 1992294400 4194304 8395647 140736395417632 18446744073709551615 6345173 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27662/statm: 284458 278052 1575 1026 0 283428 0
Current children cumulated CPU time (s) 1796.31
Current children cumulated vsize (KiB) 1137832

[startup+1797 s]
/proc/loadavg: 1.05 1.03 1.00 2/107 27709
/proc/meminfo: memFree=194828/2059040 swapFree=4139756/4192956
[pid=27662] ppid=27660 vsize=983444 CPUtime=1796.41
/proc/27662/stat : 27662 (pbscip.linux.x8) R 27660 27662 26473 0 -1 4202496 470339 0 0 0 179417 224 0 0 25 0 1 0 23438720 1007046656 204750 1992294400 4194304 8395647 140736395417632 18446744073709551615 7602442 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27662/statm: 245861 204750 941 1026 0 244831 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 983444

Child status: 0
Real time (s): 1797.08
CPU time (s): 1796.5
CPU user time (s): 1794.18
CPU system time (s): 2.32265
CPU usage (%): 99.9675
Max. virtual memory (cumulated for all children) (KiB): 1568560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.18
system time used= 2.32265
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 470345
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 14115

runsolver used 2.93255 second user time and 8.5167 second system time

The end

Launcher Data

Begin job on node042 at 2010-07-08 03:25:13
IDJOB=2703672
IDBENCH=1973
IDSOLVER=1213
FILE ID=node042/2703672-1278552311
PBS_JOBID= 11239498
Free space on /tmp= 62444 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_14.opb.PB06.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2703672-1278552311/watcher-2703672-1278552311 -o /tmp/evaluation-result-2703672-1278552311/solver-2703672-1278552311 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703672-1278552311.opb -t 1800 -m 1800

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

MD5SUM BENCH= 13c1b3915f4d316b882a7e551b1f0496
RANDOM SEED=1375843638

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

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1694648 kB
Buffers:         62200 kB
Cached:         213340 kB
SwapCached:       7224 kB
Active:         168012 kB
Inactive:       121604 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1694648 kB
SwapTotal:     4192956 kB
SwapFree:      4139756 kB
Dirty:           27212 kB
Writeback:           0 kB
AnonPages:       11480 kB
Mapped:          11876 kB
Slab:            52764 kB
PageTables:       4184 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182076 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62436 MiB
End job on node042 at 2010-07-08 03:55:10