Trace number 2703671

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 solverSAT419 1796.43 1796.91

General information on the benchmark

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

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

Verifier Data

OK	419

Watcher Data

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 28134
/proc/meminfo: memFree=1822152/2059040 swapFree=4097784/4192956
[pid=28134] ppid=28132 vsize=7904 CPUtime=0
/proc/28134/stat : 28134 (pbscip.linux.x8) R 28132 28134 27113 0 -1 4202496 1198 0 0 0 0 0 0 0 23 0 1 0 23434631 8093696 1109 1992294400 4194304 8395647 140735668256320 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28134/statm: 1976 1117 365 1026 0 946 0

[startup+0.0596869 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 28134
/proc/meminfo: memFree=1822152/2059040 swapFree=4097784/4192956
[pid=28134] ppid=28132 vsize=18808 CPUtime=0.05
/proc/28134/stat : 28134 (pbscip.linux.x8) R 28132 28134 27113 0 -1 4202496 4002 0 0 0 4 1 0 0 23 0 1 0 23434631 19259392 3907 1992294400 4194304 8395647 140735668256320 18446744073709551615 7382061 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28134/statm: 4702 3907 394 1026 0 3672 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 18808

[startup+0.10069 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 28134
/proc/meminfo: memFree=1822152/2059040 swapFree=4097784/4192956
[pid=28134] ppid=28132 vsize=20044 CPUtime=0.09
/proc/28134/stat : 28134 (pbscip.linux.x8) R 28132 28134 27113 0 -1 4202496 4318 0 0 0 8 1 0 0 23 0 1 0 23434631 20525056 4223 1992294400 4194304 8395647 140735668256320 18446744073709551615 7370465 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28134/statm: 5011 4223 394 1026 0 3981 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20044

[startup+0.300713 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 28134
/proc/meminfo: memFree=1822152/2059040 swapFree=4097784/4192956
[pid=28134] ppid=28132 vsize=26116 CPUtime=0.29
/proc/28134/stat : 28134 (pbscip.linux.x8) R 28132 28134 27113 0 -1 4202496 5825 0 0 0 27 2 0 0 23 0 1 0 23434631 26742784 5730 1992294400 4194304 8395647 140735668256320 18446744073709551615 6765631 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28134/statm: 6529 5730 394 1026 0 5499 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26116

[startup+0.700758 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 28134
/proc/meminfo: memFree=1822152/2059040 swapFree=4097784/4192956
[pid=28134] ppid=28132 vsize=36084 CPUtime=0.69
/proc/28134/stat : 28134 (pbscip.linux.x8) R 28132 28134 27113 0 -1 4202496 8341 0 0 0 66 3 0 0 25 0 1 0 23434631 36950016 8246 1992294400 4194304 8395647 140735668256320 18446744073709551615 7370176 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28134/statm: 9021 8246 394 1026 0 7991 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36084

[startup+1.50085 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28135
/proc/meminfo: memFree=1782960/2059040 swapFree=4097784/4192956
[pid=28134] ppid=28132 vsize=56900 CPUtime=1.49
/proc/28134/stat : 28134 (pbscip.linux.x8) R 28132 28134 27113 0 -1 4202496 13517 0 0 0 144 5 0 0 25 0 1 0 23434631 58265600 13422 1992294400 4194304 8395647 140735668256320 18446744073709551615 4246011 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28134/statm: 14225 13422 394 1026 0 13195 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 56900

[startup+3.10103 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28135
/proc/meminfo: memFree=1754068/2059040 swapFree=4097784/4192956
[pid=28134] ppid=28132 vsize=96972 CPUtime=3.09
/proc/28134/stat : 28134 (pbscip.linux.x8) R 28132 28134 27113 0 -1 4202496 23532 0 0 0 301 8 0 0 25 0 1 0 23434631 99299328 23437 1992294400 4194304 8395647 140735668256320 18446744073709551615 4685157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28134/statm: 24243 23437 394 1026 0 23213 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 96972

[startup+6.3004 s]
/proc/loadavg: 1.08 1.02 1.01 2/106 28135
/proc/meminfo: memFree=1671112/2059040 swapFree=4097784/4192956
[pid=28134] ppid=28132 vsize=178400 CPUtime=6.29
/proc/28134/stat : 28134 (pbscip.linux.x8) R 28132 28134 27113 0 -1 4202496 43902 0 0 0 613 16 0 0 25 0 1 0 23434631 182681600 43807 1992294400 4194304 8395647 140735668256320 18446744073709551615 7382061 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28134/statm: 44600 43807 394 1026 0 43570 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 178400

[startup+12.7011 s]
/proc/loadavg: 1.07 1.02 1.00 2/106 28135
/proc/meminfo: memFree=1201648/2059040 swapFree=4097784/4192956
[pid=28134] ppid=28132 vsize=629596 CPUtime=12.69
/proc/28134/stat : 28134 (pbscip.linux.x8) R 28132 28134 27113 0 -1 4202496 156166 0 0 0 1217 52 0 0 25 0 1 0 23434631 644706304 155717 1992294400 4194304 8395647 140735668256320 18446744073709551615 18446744073699065955 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28134/statm: 157399 155717 464 1026 0 156369 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 629596

[startup+25.5006 s]
/proc/loadavg: 1.06 1.01 1.00 2/106 28135
/proc/meminfo: memFree=927236/2059040 swapFree=4097784/4192956
[pid=28134] ppid=28132 vsize=904496 CPUtime=25.48
/proc/28134/stat : 28134 (pbscip.linux.x8) R 28132 28134 27113 0 -1 4202496 239399 0 0 0 2468 80 0 0 25 0 1 0 23434631 926203904 223757 1992294400 4194304 8395647 140735668256320 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28134/statm: 226124 223757 517 1026 0 225094 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 904496

[startup+51.1005 s]
/proc/loadavg: 1.04 1.01 1.00 2/106 28136
/proc/meminfo: memFree=576688/2059040 swapFree=4097784/4192956
[pid=28134] ppid=28132 vsize=1324864 CPUtime=51.07
/proc/28134/stat : 28134 (pbscip.linux.x8) R 28132 28134 27113 0 -1 4202496 347131 0 0 0 4992 115 0 0 25 0 1 0 23434631 1356660736 312194 1992294400 4194304 8395647 140735668256320 18446744073709551615 6697060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28134/statm: 331216 312194 1507 1026 0 330186 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1324864

[startup+102.308 s]
/proc/loadavg: 1.01 1.01 1.00 2/106 28137
/proc/meminfo: memFree=535768/2059040 swapFree=4097784/4192956
[pid=28134] ppid=28132 vsize=1366536 CPUtime=102.27
/proc/28134/stat : 28134 (pbscip.linux.x8) R 28132 28134 27113 0 -1 4202496 357942 0 0 0 10106 121 0 0 25 0 1 0 23434631 1399332864 321844 1992294400 4194304 8395647 140735668256320 18446744073709551615 6503567 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28134/statm: 341634 321844 988 1026 0 340604 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1366536

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28139
/proc/meminfo: memFree=524980/2059040 swapFree=4097784/4192956
[pid=28134] ppid=28132 vsize=1377736 CPUtime=162.25
/proc/28134/stat : 28134 (pbscip.linux.x8) R 28132 28134 27113 0 -1 4202496 361722 0 0 0 16100 125 0 0 25 0 1 0 23434631 1410801664 324503 1992294400 4194304 8395647 140735668256320 18446744073709551615 6635121 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28134/statm: 344434 324503 1033 1026 0 343404 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1377736

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28141
/proc/meminfo: memFree=524360/2059040 swapFree=4097784/4192956
[pid=28134] ppid=28132 vsize=1377944 CPUtime=222.23
/proc/28134/stat : 28134 (pbscip.linux.x8) R 28132 28134 27113 0 -1 4202496 362686 0 0 0 22097 126 0 0 25 0 1 0 23434631 1411014656 324641 1992294400 4194304 8395647 140735668256320 18446744073709551615 6635121 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28134/statm: 344486 324641 1031 1026 0 343456 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 1377944

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28143
/proc/meminfo: memFree=522004/2059040 swapFree=4097784/4192956
[pid=28134] ppid=28132 vsize=1380144 CPUtime=282.21
/proc/28134/stat : 28134 (pbscip.linux.x8) R 28132 28134 27113 0 -1 4202496 365113 0 0 0 28093 128 0 0 25 0 1 0 23434631 1413267456 325188 1992294400 4194304 8395647 140735668256320 18446744073709551615 6697060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28134/statm: 345036 325188 974 1026 0 344006 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 1380144

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28143
/proc/meminfo: memFree=517044/2059040 swapFree=4097784/4192956
[pid=28134] ppid=28132 vsize=1383224 CPUtime=342.2
/proc/28134/stat : 28134 (pbscip.linux.x8) R 28132 28134 27113 0 -1 4202496 368320 0 0 0 34089 131 0 0 25 0 1 0 23434631 1416421376 326436 1992294400 4194304 8395647 140735668256320 18446744073709551615 6708033 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28134/statm: 345806 326436 1008 1026 0 344776 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1383224

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28145
/proc/meminfo: memFree=516424/2059040 swapFree=4097784/4192956
[pid=28134] ppid=28132 vsize=1383224 CPUtime=402.19
/proc/28134/stat : 28134 (pbscip.linux.x8) R 28132 28134 27113 0 -1 4202496 370119 0 0 0 40084 135 0 0 25 0 1 0 23434631 1416421376 326599 1992294400 4194304 8395647 140735668256320 18446744073709551615 6696700 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28134/statm: 345806 326599 1008 1026 0 344776 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 1383224

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28147
/proc/meminfo: memFree=516052/2059040 swapFree=4097784/4192956
[pid=28134] ppid=28132 vsize=1383484 CPUtime=462.17
/proc/28134/stat : 28134 (pbscip.linux.x8) R 28132 28134 27113 0 -1 4202496 371816 0 0 0 46080 137 0 0 25 0 1 0 23434631 1416687616 326702 1992294400 4194304 8395647 140735668256320 18446744073709551615 6696686 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28134/statm: 345871 326702 1008 1026 0 344841 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 1383484

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28149
/proc/meminfo: memFree=515928/2059040 swapFree=4097784/4192956
[pid=28134] ppid=28132 vsize=1383484 CPUtime=522.15
/proc/28134/stat : 28134 (pbscip.linux.x8) R 28132 28134 27113 0 -1 4202496 373026 0 0 0 52076 139 0 0 25 0 1 0 23434631 1416687616 326755 1992294400 4194304 8395647 140735668256320 18446744073709551615 6709493 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28134/statm: 345871 326755 1008 1026 0 344841 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 1383484

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28151
/proc/meminfo: memFree=512084/2059040 swapFree=4097784/4192956
[pid=28134] ppid=28132 vsize=1389680 CPUtime=582.14
/proc/28134/stat : 28134 (pbscip.linux.x8) R 28132 28134 27113 0 -1 4202496 378967 0 0 0 58071 143 0 0 25 0 1 0 23434631 1423032320 327751 1992294400 4194304 8395647 140735668256320 18446744073709551615 6664892 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28134/statm: 347420 327751 916 1026 0 346390 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 1389680

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28152
/proc/meminfo: memFree=506504/2059040 swapFree=4097784/4192956
[pid=28134] ppid=28132 vsize=1394132 CPUtime=642.12
/proc/28134/stat : 28134 (pbscip.linux.x8) R 28132 28134 27113 0 -1 4202496 382231 0 0 0 64067 145 0 0 25 0 1 0 23434631 1427591168 328985 1992294400 4194304 8395647 140735668256320 18446744073709551615 6696653 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28134/statm: 348533 328985 900 1026 0 347503 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 1394132

[startup+702.301 s]

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

/proc/meminfo: memFree=451200/2059040 swapFree=4097784/4192956
[pid=28134] ppid=28132 vsize=1437020 CPUtime=1062.01
/proc/28134/stat : 28134 (pbscip.linux.x8) R 28132 28134 27113 0 -1 4202496 431659 0 0 0 106028 173 0 0 25 0 1 0 23434631 1471508480 342941 1992294400 4194304 8395647 140735668256320 18446744073709551615 6698349 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28134/statm: 359255 342941 964 1026 0 358225 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 1437020

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28165
/proc/meminfo: memFree=441156/2059040 swapFree=4097784/4192956
[pid=28134] ppid=28132 vsize=1448156 CPUtime=1121.98
/proc/28134/stat : 28134 (pbscip.linux.x8) R 28132 28134 27113 0 -1 4202496 434574 0 0 0 112022 176 0 0 25 0 1 0 23434631 1482911744 345467 1992294400 4194304 8395647 140735668256320 18446744073709551615 7382142 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28134/statm: 362039 345467 964 1026 0 361009 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 1448156

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28167
/proc/meminfo: memFree=441032/2059040 swapFree=4097784/4192956
[pid=28134] ppid=28132 vsize=1448156 CPUtime=1181.97
/proc/28134/stat : 28134 (pbscip.linux.x8) R 28132 28134 27113 0 -1 4202496 434574 0 0 0 118018 179 0 0 25 0 1 0 23434631 1482911744 345467 1992294400 4194304 8395647 140735668256320 18446744073709551615 6440501 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28134/statm: 362039 345467 964 1026 0 361009 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 1448156

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28167
/proc/meminfo: memFree=440784/2059040 swapFree=4097784/4192956
[pid=28134] ppid=28132 vsize=1448156 CPUtime=1241.96
/proc/28134/stat : 28134 (pbscip.linux.x8) R 28132 28134 27113 0 -1 4202496 434574 0 0 0 124012 184 0 0 25 0 1 0 23434631 1482911744 345467 1992294400 4194304 8395647 140735668256320 18446744073709551615 6440888 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28134/statm: 362039 345467 964 1026 0 361009 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 1448156

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28169
/proc/meminfo: memFree=440784/2059040 swapFree=4097784/4192956
[pid=28134] ppid=28132 vsize=1448156 CPUtime=1301.95
/proc/28134/stat : 28134 (pbscip.linux.x8) R 28132 28134 27113 0 -1 4202496 434574 0 0 0 130009 186 0 0 25 0 1 0 23434631 1482911744 345467 1992294400 4194304 8395647 140735668256320 18446744073709551615 7386019 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28134/statm: 362039 345467 964 1026 0 361009 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1448156

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28171
/proc/meminfo: memFree=440660/2059040 swapFree=4097784/4192956
[pid=28134] ppid=28132 vsize=1448156 CPUtime=1361.92
/proc/28134/stat : 28134 (pbscip.linux.x8) R 28132 28134 27113 0 -1 4202496 434592 0 0 0 136004 188 0 0 25 0 1 0 23434631 1482911744 345480 1992294400 4194304 8395647 140735668256320 18446744073709551615 6440503 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28134/statm: 362039 345480 959 1026 0 361009 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1448156

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28173
/proc/meminfo: memFree=440288/2059040 swapFree=4097784/4192956
[pid=28134] ppid=28132 vsize=1448156 CPUtime=1421.92
/proc/28134/stat : 28134 (pbscip.linux.x8) R 28132 28134 27113 0 -1 4202496 434664 0 0 0 142001 191 0 0 25 0 1 0 23434631 1482911744 345530 1992294400 4194304 8395647 140735668256320 18446744073709551615 6440894 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28134/statm: 362039 345530 937 1026 0 361009 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1448156

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28175
/proc/meminfo: memFree=440288/2059040 swapFree=4097784/4192956
[pid=28134] ppid=28132 vsize=1448156 CPUtime=1481.9
/proc/28134/stat : 28134 (pbscip.linux.x8) R 28132 28134 27113 0 -1 4202496 434664 0 0 0 147996 194 0 0 25 0 1 0 23434631 1482911744 345530 1992294400 4194304 8395647 140735668256320 18446744073709551615 6440501 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28134/statm: 362039 345530 937 1026 0 361009 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1448156

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28175
/proc/meminfo: memFree=440288/2059040 swapFree=4097784/4192956
[pid=28134] ppid=28132 vsize=1448156 CPUtime=1541.87
/proc/28134/stat : 28134 (pbscip.linux.x8) R 28132 28134 27113 0 -1 4202496 434664 0 0 0 153991 196 0 0 25 0 1 0 23434631 1482911744 345530 1992294400 4194304 8395647 140735668256320 18446744073709551615 5849675 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28134/statm: 362039 345530 937 1026 0 361009 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1448156

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28177
/proc/meminfo: memFree=440288/2059040 swapFree=4097784/4192956
[pid=28134] ppid=28132 vsize=1448156 CPUtime=1601.86
/proc/28134/stat : 28134 (pbscip.linux.x8) R 28132 28134 27113 0 -1 4202496 434664 0 0 0 159990 196 0 0 25 0 1 0 23434631 1482911744 345530 1992294400 4194304 8395647 140735668256320 18446744073709551615 5849677 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28134/statm: 362039 345530 937 1026 0 361009 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1448156

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28179
/proc/meminfo: memFree=409908/2059040 swapFree=4097784/4192956
[pid=28134] ppid=28132 vsize=1482436 CPUtime=1661.84
/proc/28134/stat : 28134 (pbscip.linux.x8) R 28132 28134 27113 0 -1 4202496 448913 0 0 0 165981 203 0 0 25 0 1 0 23434631 1518014464 352999 1992294400 4194304 8395647 140735668256320 18446744073709551615 7386019 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28134/statm: 370609 352999 933 1026 0 369579 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1482436

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28181
/proc/meminfo: memFree=409784/2059040 swapFree=4097784/4192956
[pid=28134] ppid=28132 vsize=1482436 CPUtime=1721.83
/proc/28134/stat : 28134 (pbscip.linux.x8) R 28132 28134 27113 0 -1 4202496 448913 0 0 0 171978 205 0 0 25 0 1 0 23434631 1518014464 352999 1992294400 4194304 8395647 140735668256320 18446744073709551615 6440503 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28134/statm: 370609 352999 933 1026 0 369579 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1482436

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28183
/proc/meminfo: memFree=409536/2059040 swapFree=4097784/4192956
[pid=28134] ppid=28132 vsize=1482436 CPUtime=1781.82
/proc/28134/stat : 28134 (pbscip.linux.x8) R 28132 28134 27113 0 -1 4202496 448913 0 0 0 177975 207 0 0 25 0 1 0 23434631 1518014464 352999 1992294400 4194304 8395647 140735668256320 18446744073709551615 6197315 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28134/statm: 370609 352999 933 1026 0 369579 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1482436

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

[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28183
/proc/meminfo: memFree=409536/2059040 swapFree=4097784/4192956
[pid=28134] ppid=28132 vsize=1482436 CPUtime=1785.01
/proc/28134/stat : 28134 (pbscip.linux.x8) R 28132 28134 27113 0 -1 4202496 448913 0 0 0 178294 207 0 0 25 0 1 0 23434631 1518014464 352999 1992294400 4194304 8395647 140735668256320 18446744073709551615 6440503 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28134/statm: 370609 352999 933 1026 0 369579 0
Current children cumulated CPU time (s) 1785.01
Current children cumulated vsize (KiB) 1482436

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28183
/proc/meminfo: memFree=384364/2059040 swapFree=4097784/4192956
[pid=28134] ppid=28132 vsize=1508096 CPUtime=1791.41
/proc/28134/stat : 28134 (pbscip.linux.x8) R 28132 28134 27113 0 -1 4202496 455334 0 0 0 178932 209 0 0 18 0 1 0 23434631 1544290304 359420 1992294400 4194304 8395647 140735668256320 18446744073709551615 6171586 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28134/statm: 377024 359420 940 1026 0 375994 0
Current children cumulated CPU time (s) 1791.41
Current children cumulated vsize (KiB) 1508096

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28183
/proc/meminfo: memFree=384364/2059040 swapFree=4097784/4192956
[pid=28134] ppid=28132 vsize=1508072 CPUtime=1794.61
/proc/28134/stat : 28134 (pbscip.linux.x8) R 28132 28134 27113 0 -1 4202496 455336 0 0 0 179252 209 0 0 25 0 1 0 23434631 1544265728 359418 1992294400 4194304 8395647 140735668256320 18446744073709551615 6063832 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28134/statm: 377018 359418 942 1026 0 375988 0
Current children cumulated CPU time (s) 1794.61
Current children cumulated vsize (KiB) 1508072

[startup+1795.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28183
/proc/meminfo: memFree=384364/2059040 swapFree=4097784/4192956
[pid=28134] ppid=28132 vsize=1508072 CPUtime=1795.41
/proc/28134/stat : 28134 (pbscip.linux.x8) R 28132 28134 27113 0 -1 4202496 455336 0 0 0 179332 209 0 0 25 0 1 0 23434631 1544265728 359418 1992294400 4194304 8395647 140735668256320 18446744073709551615 6063840 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28134/statm: 377018 359418 942 1026 0 375988 0
Current children cumulated CPU time (s) 1795.41
Current children cumulated vsize (KiB) 1508072

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28183
/proc/meminfo: memFree=384364/2059040 swapFree=4097784/4192956
[pid=28134] ppid=28132 vsize=1115204 CPUtime=1796.2
/proc/28134/stat : 28134 (pbscip.linux.x8) R 28132 28134 27113 0 -1 4202496 455336 0 0 0 179408 212 0 0 25 0 1 0 23434631 1141968896 273107 1992294400 4194304 8395647 140735668256320 18446744073709551615 6345173 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28134/statm: 278801 273107 942 1026 0 277771 0
Current children cumulated CPU time (s) 1796.2
Current children cumulated vsize (KiB) 1115204

[startup+1796.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28183
/proc/meminfo: memFree=384364/2059040 swapFree=4097784/4192956
[pid=28134] ppid=28132 vsize=478444 CPUtime=1796.41
/proc/28134/stat : 28134 (pbscip.linux.x8) R 28132 28134 27113 0 -1 4202496 455337 0 0 0 179419 222 0 0 25 0 1 0 23434631 489926656 25098 1992294400 4194304 8395647 140735668256320 18446744073709551615 7602442 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28134/statm: 119611 25098 631 1026 0 118581 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 478444

Child status: 0
Real time (s): 1796.91
CPU time (s): 1796.43
CPU user time (s): 1794.2
CPU system time (s): 2.23066
CPU usage (%): 99.973
Max. virtual memory (cumulated for all children) (KiB): 1508096

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

runsolver used 2.97055 second user time and 8.48171 second system time

The end

Launcher Data

Begin job on node088 at 2010-07-08 03:24:23
IDJOB=2703671
IDBENCH=1972
IDSOLVER=1213
FILE ID=node088/2703671-1278552262
PBS_JOBID= 11239475
Free space on /tmp= 62488 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_9.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-2703671-1278552262/watcher-2703671-1278552262 -o /tmp/evaluation-result-2703671-1278552262/solver-2703671-1278552262 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703671-1278552262.opb -t 1800 -m 1800

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

MD5SUM BENCH= 093efae700664f798191c0b27cec34af
RANDOM SEED=975940394

node088.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.245
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.49
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.245
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	: 5999.50
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1822680 kB
Buffers:          7932 kB
Cached:         123376 kB
SwapCached:      48448 kB
Active:         118152 kB
Inactive:        63556 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1822680 kB
SwapTotal:     4192956 kB
SwapFree:      4097784 kB
Dirty:           27188 kB
Writeback:           0 kB
AnonPages:       10504 kB
Mapped:           6816 kB
Slab:            32708 kB
PageTables:       4076 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179352 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= 62476 MiB
End job on node088 at 2010-07-08 03:54:20