Trace number 2663983

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIPnone SCIP 1.2.1.2 without any LP solverSAT (TO)24 1800.19 1800.68

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_opers/normalized-fir06_area_opers.opb
MD5SUM4b72d81adefd0ef56251a04b2b714e8c
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark23
Best CPU time to get the best result obtained on this benchmark3.38748
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 23
Optimality of the best value was proved YES
Number of variables11085
Total number of constraints23298
Number of constraints which are clauses23298
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 constraint1
Maximum length of a constraint127
Number of terms in the objective function 5533
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 5533
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5533
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

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

Verifier Data

OK	24

Watcher Data

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663983-1276643945/watcher-2663983-1276643945 -o /tmp/evaluation-result-2663983-1276643945/solver-2663983-1276643945 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663983-1276643945.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: 0.85 0.98 0.99 3/106 12191
/proc/meminfo: memFree=1809984/2059040 swapFree=4192956/4192956
[pid=12191] ppid=12189 vsize=5556 CPUtime=0
/proc/12191/stat : 12191 (pbscip.linux.x8) R 12189 12191 12166 0 -1 4202496 888 0 0 0 0 0 0 0 20 0 1 0 5689818 5689344 810 1992294400 4194304 7136930 140736977271760 18446744073709551615 6357120 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12191/statm: 1389 811 249 719 0 668 0

[startup+0.0977909 s]
/proc/loadavg: 0.85 0.98 0.99 3/106 12191
/proc/meminfo: memFree=1809984/2059040 swapFree=4192956/4192956
[pid=12191] ppid=12189 vsize=16488 CPUtime=0.09
/proc/12191/stat : 12191 (pbscip.linux.x8) R 12189 12191 12166 0 -1 4202496 3620 0 0 0 8 1 0 0 20 0 1 0 5689818 16883712 3541 1992294400 4194304 7136930 140736977271760 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12191/statm: 4122 3541 271 719 0 3401 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16488

[startup+0.100792 s]
/proc/loadavg: 0.85 0.98 0.99 3/106 12191
/proc/meminfo: memFree=1809984/2059040 swapFree=4192956/4192956
[pid=12191] ppid=12189 vsize=16488 CPUtime=0.09
/proc/12191/stat : 12191 (pbscip.linux.x8) R 12189 12191 12166 0 -1 4202496 3621 0 0 0 8 1 0 0 20 0 1 0 5689818 16883712 3542 1992294400 4194304 7136930 140736977271760 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12191/statm: 4122 3542 271 719 0 3401 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16488

[startup+0.300804 s]
/proc/loadavg: 0.85 0.98 0.99 3/106 12191
/proc/meminfo: memFree=1809984/2059040 swapFree=4192956/4192956
[pid=12191] ppid=12189 vsize=22868 CPUtime=0.29
/proc/12191/stat : 12191 (pbscip.linux.x8) R 12189 12191 12166 0 -1 4202496 5211 0 0 0 27 2 0 0 20 0 1 0 5689818 23416832 5132 1992294400 4194304 7136930 140736977271760 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12191/statm: 5717 5132 271 719 0 4996 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22868

[startup+0.70083 s]
/proc/loadavg: 0.85 0.98 0.99 3/106 12191
/proc/meminfo: memFree=1809984/2059040 swapFree=4192956/4192956
[pid=12191] ppid=12189 vsize=57248 CPUtime=0.69
/proc/12191/stat : 12191 (pbscip.linux.x8) R 12189 12191 12166 0 -1 4202496 13805 0 0 0 64 5 0 0 21 0 1 0 5689818 58621952 13372 1992294400 4194304 7136930 140736977271760 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12191/statm: 14312 13372 353 719 0 13591 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 57248

[startup+1.50088 s]
/proc/loadavg: 0.85 0.98 0.99 2/107 12192
/proc/meminfo: memFree=1751448/2059040 swapFree=4192956/4192956
[pid=12191] ppid=12189 vsize=67068 CPUtime=1.49
/proc/12191/stat : 12191 (pbscip.linux.x8) R 12189 12191 12166 0 -1 4202496 18466 0 0 0 137 12 0 0 23 0 1 0 5689818 68677632 15847 1992294400 4194304 7136930 140736977271760 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12191/statm: 16767 15847 384 719 0 16046 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 67068

[startup+3.10099 s]
/proc/loadavg: 0.85 0.98 0.99 2/107 12192
/proc/meminfo: memFree=1747852/2059040 swapFree=4192956/4192956
[pid=12191] ppid=12189 vsize=67068 CPUtime=3.09
/proc/12191/stat : 12191 (pbscip.linux.x8) R 12189 12191 12166 0 -1 4202496 18466 0 0 0 295 14 0 0 25 0 1 0 5689818 68677632 15847 1992294400 4194304 7136930 140736977271760 18446744073709551615 4643160 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12191/statm: 16767 15847 384 719 0 16046 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 67068

[startup+6.30019 s]
/proc/loadavg: 0.86 0.98 0.99 2/107 12192
/proc/meminfo: memFree=1747604/2059040 swapFree=4192956/4192956
[pid=12191] ppid=12189 vsize=67068 CPUtime=6.29
/proc/12191/stat : 12191 (pbscip.linux.x8) R 12189 12191 12166 0 -1 4202496 18469 0 0 0 614 15 0 0 25 0 1 0 5689818 68677632 15850 1992294400 4194304 7136930 140736977271760 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12191/statm: 16767 15850 384 719 0 16046 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 67068

[startup+12.7016 s]
/proc/loadavg: 0.87 0.98 0.99 2/107 12192
/proc/meminfo: memFree=1746736/2059040 swapFree=4192956/4192956
[pid=12191] ppid=12189 vsize=68144 CPUtime=12.69
/proc/12191/stat : 12191 (pbscip.linux.x8) R 12189 12191 12166 0 -1 4202496 18731 0 0 0 1251 18 0 0 25 0 1 0 5689818 69779456 16112 1992294400 4194304 7136930 140736977271760 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12191/statm: 17036 16112 384 719 0 16315 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 68144

[startup+25.5004 s]
/proc/loadavg: 0.90 0.98 0.99 2/107 12194
/proc/meminfo: memFree=1744628/2059040 swapFree=4192956/4192956
[pid=12191] ppid=12189 vsize=70172 CPUtime=25.49
/proc/12191/stat : 12191 (pbscip.linux.x8) R 12189 12191 12166 0 -1 4202496 19268 0 0 0 2515 34 0 0 25 0 1 0 5689818 71856128 16642 1992294400 4194304 7136930 140736977271760 18446744073709551615 5507212 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12191/statm: 17543 16642 390 719 0 16822 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 70172

[startup+51.1011 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 12194
/proc/meminfo: memFree=1743264/2059040 swapFree=4192956/4192956
[pid=12191] ppid=12189 vsize=71628 CPUtime=51.07
/proc/12191/stat : 12191 (pbscip.linux.x8) R 12189 12191 12166 0 -1 4202496 19607 0 0 0 5046 61 0 0 25 0 1 0 5689818 73347072 16981 1992294400 4194304 7136930 140736977271760 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12191/statm: 17907 16981 390 719 0 17186 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 71628

[startup+102.308 s]
/proc/loadavg: 0.97 0.98 0.99 2/107 12196
/proc/meminfo: memFree=1741404/2059040 swapFree=4192956/4192956
[pid=12191] ppid=12189 vsize=73272 CPUtime=102.27
/proc/12191/stat : 12191 (pbscip.linux.x8) R 12189 12191 12166 0 -1 4202496 20044 0 0 0 10109 118 0 0 25 0 1 0 5689818 75030528 17418 1992294400 4194304 7136930 140736977271760 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12191/statm: 18318 17418 390 719 0 17597 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 73272

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 12196
/proc/meminfo: memFree=1739792/2059040 swapFree=4192956/4192956
[pid=12191] ppid=12189 vsize=74756 CPUtime=162.25
/proc/12191/stat : 12191 (pbscip.linux.x8) R 12189 12191 12166 0 -1 4202496 20419 0 0 0 16045 180 0 0 25 0 1 0 5689818 76550144 17793 1992294400 4194304 7136930 140736977271760 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12191/statm: 18689 17793 390 719 0 17968 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 74756

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 12198
/proc/meminfo: memFree=1738304/2059040 swapFree=4192956/4192956
[pid=12191] ppid=12189 vsize=76304 CPUtime=222.23
/proc/12191/stat : 12191 (pbscip.linux.x8) R 12189 12191 12166 0 -1 4202496 20774 0 0 0 21982 241 0 0 25 0 1 0 5689818 78135296 18148 1992294400 4194304 7136930 140736977271760 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12191/statm: 19076 18148 390 719 0 18355 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 76304

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 12200
/proc/meminfo: memFree=1737560/2059040 swapFree=4192956/4192956
[pid=12191] ppid=12189 vsize=77144 CPUtime=282.21
/proc/12191/stat : 12191 (pbscip.linux.x8) R 12189 12191 12166 0 -1 4202496 20973 0 0 0 27921 300 0 0 25 0 1 0 5689818 78995456 18347 1992294400 4194304 7136930 140736977271760 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12191/statm: 19286 18347 390 719 0 18565 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 77144

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 12202
/proc/meminfo: memFree=1736568/2059040 swapFree=4192956/4192956
[pid=12191] ppid=12189 vsize=77948 CPUtime=342.21
/proc/12191/stat : 12191 (pbscip.linux.x8) R 12189 12191 12166 0 -1 4202496 21184 0 0 0 33856 365 0 0 25 0 1 0 5689818 79818752 18558 1992294400 4194304 7136930 140736977271760 18446744073709551615 5506155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12191/statm: 19487 18558 390 719 0 18766 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 77948

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 12204
/proc/meminfo: memFree=1735328/2059040 swapFree=4192956/4192956
[pid=12191] ppid=12189 vsize=79204 CPUtime=402.18
/proc/12191/stat : 12191 (pbscip.linux.x8) R 12189 12191 12166 0 -1 4202496 21500 0 0 0 39792 426 0 0 25 0 1 0 5689818 81104896 18874 1992294400 4194304 7136930 140736977271760 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12191/statm: 19801 18874 390 719 0 19080 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 79204

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 12204
/proc/meminfo: memFree=1734708/2059040 swapFree=4192956/4192956
[pid=12191] ppid=12189 vsize=79876 CPUtime=462.17
/proc/12191/stat : 12191 (pbscip.linux.x8) R 12189 12191 12166 0 -1 4202496 21638 0 0 0 45728 489 0 0 25 0 1 0 5689818 81793024 19012 1992294400 4194304 7136930 140736977271760 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12191/statm: 19969 19012 390 719 0 19248 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 79876

[startup+522.301 s]
/proc/loadavg: 1.05 0.99 0.99 2/107 12206
/proc/meminfo: memFree=1733840/2059040 swapFree=4192956/4192956
[pid=12191] ppid=12189 vsize=80556 CPUtime=522.16
/proc/12191/stat : 12191 (pbscip.linux.x8) R 12189 12191 12166 0 -1 4202496 21835 0 0 0 51666 550 0 0 25 0 1 0 5689818 82489344 19209 1992294400 4194304 7136930 140736977271760 18446744073709551615 5506163 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12191/statm: 20139 19209 390 719 0 19418 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 80556

[startup+582.301 s]
/proc/loadavg: 1.06 1.01 1.00 2/107 12208
/proc/meminfo: memFree=1733344/2059040 swapFree=4192956/4192956
[pid=12191] ppid=12189 vsize=81100 CPUtime=582.14
/proc/12191/stat : 12191 (pbscip.linux.x8) R 12189 12191 12166 0 -1 4202496 21948 0 0 0 57602 612 0 0 25 0 1 0 5689818 83046400 19322 1992294400 4194304 7136930 140736977271760 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12191/statm: 20275 19322 390 719 0 19554 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 81100

[startup+642.301 s]
/proc/loadavg: 1.02 1.00 1.00 2/107 12210
/proc/meminfo: memFree=1733096/2059040 swapFree=4192956/4192956
[pid=12191] ppid=12189 vsize=81368 CPUtime=642.13
/proc/12191/stat : 12191 (pbscip.linux.x8) R 12189 12191 12166 0 -1 4202496 22023 0 0 0 63539 674 0 0 25 0 1 0 5689818 83320832 19397 1992294400 4194304 7136930 140736977271760 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12191/statm: 20342 19397 390 719 0 19621 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 81368

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 12219
/proc/meminfo: memFree=1730492/2059040 swapFree=4192956/4192956
[pid=12191] ppid=12189 vsize=83216 CPUtime=882.05
/proc/12191/stat : 12191 (pbscip.linux.x8) R 12189 12191 12166 0 -1 4202496 22471 0 0 0 87267 938 0 0 25 0 1 0 5689818 85213184 19845 1992294400 4194304 7136930 140736977271760 18446744073709551615 5506849 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12191/statm: 20804 19845 390 719 0 20083 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 83216

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12221
/proc/meminfo: memFree=1730120/2059040 swapFree=4192956/4192956
[pid=12191] ppid=12189 vsize=83632 CPUtime=942.04
/proc/12191/stat : 12191 (pbscip.linux.x8) R 12189 12191 12166 0 -1 4202496 22558 0 0 0 93204 1000 0 0 25 0 1 0 5689818 85639168 19932 1992294400 4194304 7136930 140736977271760 18446744073709551615 4704769 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12191/statm: 20908 19932 390 719 0 20187 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 83632

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12223
/proc/meminfo: memFree=1729748/2059040 swapFree=4192956/4192956
[pid=12191] ppid=12189 vsize=83912 CPUtime=1002.01
/proc/12191/stat : 12191 (pbscip.linux.x8) R 12189 12191 12166 0 -1 4202496 22655 0 0 0 99144 1057 0 0 25 0 1 0 5689818 85925888 20029 1992294400 4194304 7136930 140736977271760 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12191/statm: 20978 20029 390 719 0 20257 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 83912

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12223
/proc/meminfo: memFree=1729624/2059040 swapFree=4192956/4192956
[pid=12191] ppid=12189 vsize=84180 CPUtime=1062.01
/proc/12191/stat : 12191 (pbscip.linux.x8) R 12189 12191 12166 0 -1 4202496 22695 0 0 0 105080 1121 0 0 25 0 1 0 5689818 86200320 20069 1992294400 4194304 7136930 140736977271760 18446744073709551615 5507437 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12191/statm: 21045 20069 390 719 0 20324 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 84180

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12225
/proc/meminfo: memFree=1729376/2059040 swapFree=4192956/4192956
[pid=12191] ppid=12189 vsize=84452 CPUtime=1121.98
/proc/12191/stat : 12191 (pbscip.linux.x8) R 12189 12191 12166 0 -1 4202496 22759 0 0 0 111014 1184 0 0 25 0 1 0 5689818 86478848 20133 1992294400 4194304 7136930 140736977271760 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12191/statm: 21113 20133 390 719 0 20392 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 84452

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12227
/proc/meminfo: memFree=1729252/2059040 swapFree=4192956/4192956
[pid=12191] ppid=12189 vsize=84620 CPUtime=1181.97
/proc/12191/stat : 12191 (pbscip.linux.x8) R 12189 12191 12166 0 -1 4202496 22813 0 0 0 116958 1239 0 0 25 0 1 0 5689818 86650880 20187 1992294400 4194304 7136930 140736977271760 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12191/statm: 21155 20187 390 719 0 20434 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 84620

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12229
/proc/meminfo: memFree=1729004/2059040 swapFree=4192956/4192956
[pid=12191] ppid=12189 vsize=84752 CPUtime=1241.96
/proc/12191/stat : 12191 (pbscip.linux.x8) R 12189 12191 12166 0 -1 4202496 22862 0 0 0 122898 1298 0 0 25 0 1 0 5689818 86786048 20236 1992294400 4194304 7136930 140736977271760 18446744073709551615 5506180 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12191/statm: 21188 20236 390 719 0 20467 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 84752

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12231
/proc/meminfo: memFree=1728756/2059040 swapFree=4192956/4192956
[pid=12191] ppid=12189 vsize=85036 CPUtime=1301.94
/proc/12191/stat : 12191 (pbscip.linux.x8) R 12189 12191 12166 0 -1 4202496 22914 0 0 0 128836 1358 0 0 25 0 1 0 5689818 87076864 20288 1992294400 4194304 7136930 140736977271760 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12191/statm: 21259 20288 390 719 0 20538 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 85036

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12231
/proc/meminfo: memFree=1728508/2059040 swapFree=4192956/4192956
[pid=12191] ppid=12189 vsize=85304 CPUtime=1361.92
/proc/12191/stat : 12191 (pbscip.linux.x8) R 12189 12191 12166 0 -1 4202496 22985 0 0 0 134771 1421 0 0 25 0 1 0 5689818 87351296 20359 1992294400 4194304 7136930 140736977271760 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12191/statm: 21326 20359 390 719 0 20605 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 85304

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12233
/proc/meminfo: memFree=1727516/2059040 swapFree=4192956/4192956
[pid=12191] ppid=12189 vsize=86404 CPUtime=1421.92
/proc/12191/stat : 12191 (pbscip.linux.x8) R 12189 12191 12166 0 -1 4202496 23238 0 0 0 140704 1488 0 0 25 0 1 0 5689818 88477696 20612 1992294400 4194304 7136930 140736977271760 18446744073709551615 5507437 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12191/statm: 21601 20612 390 719 0 20880 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 86404

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12235
/proc/meminfo: memFree=1726772/2059040 swapFree=4192956/4192956
[pid=12191] ppid=12189 vsize=87264 CPUtime=1481.89
/proc/12191/stat : 12191 (pbscip.linux.x8) R 12189 12191 12166 0 -1 4202496 23445 0 0 0 146642 1547 0 0 25 0 1 0 5689818 89358336 20819 1992294400 4194304 7136930 140736977271760 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12191/statm: 21816 20819 390 719 0 21095 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 87264

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12237
/proc/meminfo: memFree=1726524/2059040 swapFree=4192956/4192956
[pid=12191] ppid=12189 vsize=87264 CPUtime=1541.87
/proc/12191/stat : 12191 (pbscip.linux.x8) R 12189 12191 12166 0 -1 4202496 23458 0 0 0 152578 1609 0 0 25 0 1 0 5689818 89358336 20832 1992294400 4194304 7136930 140736977271760 18446744073709551615 4661024 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12191/statm: 21816 20832 390 719 0 21095 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 87264

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12239
/proc/meminfo: memFree=1725904/2059040 swapFree=4192956/4192956
[pid=12191] ppid=12189 vsize=87948 CPUtime=1601.86
/proc/12191/stat : 12191 (pbscip.linux.x8) R 12189 12191 12166 0 -1 4202496 23612 0 0 0 158510 1676 0 0 25 0 1 0 5689818 90058752 20986 1992294400 4194304 7136930 140736977271760 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12191/statm: 21987 20986 390 719 0 21266 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 87948

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12239
/proc/meminfo: memFree=1725656/2059040 swapFree=4192956/4192956
[pid=12191] ppid=12189 vsize=88232 CPUtime=1661.84
/proc/12191/stat : 12191 (pbscip.linux.x8) R 12189 12191 12166 0 -1 4202496 23694 0 0 0 164443 1741 0 0 25 0 1 0 5689818 90349568 21068 1992294400 4194304 7136930 140736977271760 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12191/statm: 22058 21068 390 719 0 21337 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 88232

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12241
/proc/meminfo: memFree=1724912/2059040 swapFree=4192956/4192956
[pid=12191] ppid=12189 vsize=88816 CPUtime=1721.83
/proc/12191/stat : 12191 (pbscip.linux.x8) R 12189 12191 12166 0 -1 4202496 23841 0 0 0 170383 1800 0 0 25 0 1 0 5689818 90947584 21215 1992294400 4194304 7136930 140736977271760 18446744073709551615 5507169 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12191/statm: 22204 21215 390 719 0 21483 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 88816

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12243
/proc/meminfo: memFree=1724540/2059040 swapFree=4192956/4192956
[pid=12191] ppid=12189 vsize=88980 CPUtime=1781.82
/proc/12191/stat : 12191 (pbscip.linux.x8) R 12189 12191 12166 0 -1 4202496 23883 0 0 0 176321 1861 0 0 25 0 1 0 5689818 91115520 21257 1992294400 4194304 7136930 140736977271760 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12191/statm: 22245 21257 390 719 0 21524 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 88980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12243
/proc/meminfo: memFree=1724416/2059040 swapFree=4192956/4192956
[pid=12191] ppid=12189 vsize=89120 CPUtime=1800.01
/proc/12191/stat : 12191 (pbscip.linux.x8) R 12189 12191 12166 0 -1 4202496 23907 0 0 0 178123 1878 0 0 25 0 1 0 5689818 91258880 21281 1992294400 4194304 7136930 140736977271760 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12191/statm: 22280 21281 390 719 0 21559 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 89120

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 12244
/proc/meminfo: memFree=1724904/2059040 swapFree=4192956/4192956
[pid=12191] ppid=12189 vsize=88004 CPUtime=1800.12
/proc/12191/stat : 12191 (pbscip.linux.x8) R 12189 12191 12166 0 -1 4202496 24115 0 0 0 178133 1879 0 0 18 0 1 0 5689818 90116096 21025 1992294400 4194304 7136930 140736977271760 18446744073709551615 5961760 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12191/statm: 22001 21025 398 719 0 21280 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 88004

Child status: 0
Real time (s): 1800.68
CPU time (s): 1800.19
CPU user time (s): 1781.39
CPU system time (s): 18.8021
CPU usage (%): 99.9729
Max. virtual memory (cumulated for all children) (KiB): 89120

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

runsolver used 2.94455 second user time and 8.5527 second system time

The end

Launcher Data

Begin job on node030 at 2010-06-16 01:19:05
IDJOB=2663983
IDBENCH=25038
IDSOLVER=1167
FILE ID=node030/2663983-1276643945
PBS_JOBID= 11172424
Free space on /tmp= 62556 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir06_area_opers.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2663983-1276643945/watcher-2663983-1276643945 -o /tmp/evaluation-result-2663983-1276643945/solver-2663983-1276643945 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663983-1276643945.opb -t 1800 -m 1800

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

MD5SUM BENCH= 4b72d81adefd0ef56251a04b2b714e8c
RANDOM SEED=1924877131

node030.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.244
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.48
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.244
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.52
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1810636 kB
Buffers:         22068 kB
Cached:         102748 kB
SwapCached:          0 kB
Active:         113292 kB
Inactive:        71080 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1810636 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            4280 kB
Writeback:           0 kB
AnonPages:       59544 kB
Mapped:          15384 kB
Slab:            42248 kB
PageTables:       3984 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180752 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= 62552 MiB
End job on node030 at 2010-06-16 01:49:07