Trace number 2663918

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)39 1800.2 1800.7

General information on the benchmark

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

Verifier Data 

OK	39

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663918-1276630305/watcher-2663918-1276630305 -o /tmp/evaluation-result-2663918-1276630305/solver-2663918-1276630305 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663918-1276630305.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.97 0.99 2/105 12992
/proc/meminfo: memFree=1842652/2059040 swapFree=4164960/4192956
[pid=12992] ppid=12990 vsize=5556 CPUtime=0
/proc/12992/stat : 12992 (pbscip.linux.x8) R 12990 12992 12967 0 -1 4202496 889 0 0 0 0 0 0 0 22 0 1 0 4324009 5689344 812 1992294400 4194304 7136930 140736619890928 18446744073709551615 6349764 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12992/statm: 1389 812 249 719 0 668 0

[startup+0.0689271 s]
/proc/loadavg: 0.85 0.97 0.99 2/105 12992
/proc/meminfo: memFree=1842652/2059040 swapFree=4164960/4192956
[pid=12992] ppid=12990 vsize=15716 CPUtime=0.06
/proc/12992/stat : 12992 (pbscip.linux.x8) R 12990 12992 12967 0 -1 4202496 3440 0 0 0 5 1 0 0 25 0 1 0 4324009 16093184 3362 1992294400 4194304 7136930 140736619890928 18446744073709551615 6340353 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12992/statm: 3929 3362 271 719 0 3208 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15716

[startup+0.10093 s]
/proc/loadavg: 0.85 0.97 0.99 2/105 12992
/proc/meminfo: memFree=1842652/2059040 swapFree=4164960/4192956
[pid=12992] ppid=12990 vsize=17592 CPUtime=0.09
/proc/12992/stat : 12992 (pbscip.linux.x8) R 12990 12992 12967 0 -1 4202496 3921 0 0 0 8 1 0 0 25 0 1 0 4324009 18014208 3843 1992294400 4194304 7136930 140736619890928 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12992/statm: 4398 3843 271 719 0 3677 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17592

[startup+0.300952 s]
/proc/loadavg: 0.85 0.97 0.99 2/105 12992
/proc/meminfo: memFree=1842652/2059040 swapFree=4164960/4192956
[pid=12992] ppid=12990 vsize=23872 CPUtime=0.29
/proc/12992/stat : 12992 (pbscip.linux.x8) R 12990 12992 12967 0 -1 4202496 5487 0 0 0 28 1 0 0 25 0 1 0 4324009 24444928 5409 1992294400 4194304 7136930 140736619890928 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12992/statm: 5968 5409 271 719 0 5247 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23872

[startup+0.700997 s]
/proc/loadavg: 0.85 0.97 0.99 2/105 12992
/proc/meminfo: memFree=1842652/2059040 swapFree=4164960/4192956
[pid=12992] ppid=12990 vsize=58900 CPUtime=0.69
/proc/12992/stat : 12992 (pbscip.linux.x8) R 12990 12992 12967 0 -1 4202496 14601 0 0 0 64 5 0 0 25 0 1 0 4324009 60313600 14142 1992294400 4194304 7136930 140736619890928 18446744073709551615 6166784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12992/statm: 14725 14142 292 719 0 14004 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 58900

[startup+1.50109 s]
/proc/loadavg: 0.85 0.97 0.99 2/106 12993
/proc/meminfo: memFree=1777296/2059040 swapFree=4164960/4192956
[pid=12992] ppid=12990 vsize=81296 CPUtime=1.49
/proc/12992/stat : 12992 (pbscip.linux.x8) R 12990 12992 12967 0 -1 4202496 22972 0 0 0 132 17 0 0 25 0 1 0 4324009 83247104 19363 1992294400 4194304 7136930 140736619890928 18446744073709551615 6166894 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12992/statm: 20324 19363 355 719 0 19603 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 81296

[startup+3.10027 s]
/proc/loadavg: 0.85 0.97 0.99 2/106 12993
/proc/meminfo: memFree=1766260/2059040 swapFree=4164960/4192956
[pid=12992] ppid=12990 vsize=80852 CPUtime=3.09
/proc/12992/stat : 12992 (pbscip.linux.x8) R 12990 12992 12967 0 -1 4202496 23768 0 0 0 290 19 0 0 25 0 1 0 4324009 82792448 19402 1992294400 4194304 7136930 140736619890928 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12992/statm: 20213 19402 390 719 0 19492 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 80852

[startup+6.30062 s]
/proc/loadavg: 0.86 0.97 0.99 2/106 12993
/proc/meminfo: memFree=1766012/2059040 swapFree=4164960/4192956
[pid=12992] ppid=12990 vsize=80852 CPUtime=6.29
/proc/12992/stat : 12992 (pbscip.linux.x8) R 12990 12992 12967 0 -1 4202496 23768 0 0 0 605 24 0 0 25 0 1 0 4324009 82792448 19402 1992294400 4194304 7136930 140736619890928 18446744073709551615 5507206 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12992/statm: 20213 19402 390 719 0 19492 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 80852

[startup+12.7003 s]
/proc/loadavg: 0.87 0.97 0.99 2/106 12993
/proc/meminfo: memFree=1765764/2059040 swapFree=4164960/4192956
[pid=12992] ppid=12990 vsize=81120 CPUtime=12.68
/proc/12992/stat : 12992 (pbscip.linux.x8) R 12990 12992 12967 0 -1 4202496 23834 0 0 0 1233 35 0 0 25 0 1 0 4324009 83066880 19468 1992294400 4194304 7136930 140736619890928 18446744073709551615 5507737 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12992/statm: 20280 19468 390 719 0 19559 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 81120

[startup+25.5018 s]
/proc/loadavg: 0.90 0.97 0.99 2/106 12993
/proc/meminfo: memFree=1765764/2059040 swapFree=4164960/4192956
[pid=12992] ppid=12990 vsize=81252 CPUtime=25.49
/proc/12992/stat : 12992 (pbscip.linux.x8) R 12990 12992 12967 0 -1 4202496 23865 0 0 0 2493 56 0 0 25 0 1 0 4324009 83202048 19499 1992294400 4194304 7136930 140736619890928 18446744073709551615 5507149 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12992/statm: 20313 19499 390 719 0 19592 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 81252

[startup+51.1016 s]
/proc/loadavg: 0.93 0.97 0.99 2/106 12995
/proc/meminfo: memFree=1765144/2059040 swapFree=4164960/4192956
[pid=12992] ppid=12990 vsize=81724 CPUtime=51.07
/proc/12992/stat : 12992 (pbscip.linux.x8) R 12990 12992 12967 0 -1 4202496 23929 0 0 0 5007 100 0 0 25 0 1 0 4324009 83685376 19563 1992294400 4194304 7136930 140736619890928 18446744073709551615 5506768 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12992/statm: 20431 19563 390 719 0 19710 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 81724

[startup+102.308 s]
/proc/loadavg: 0.97 0.97 0.99 2/106 12998
/proc/meminfo: memFree=1764896/2059040 swapFree=4164960/4192956
[pid=12992] ppid=12990 vsize=81872 CPUtime=102.27
/proc/12992/stat : 12992 (pbscip.linux.x8) R 12990 12992 12967 0 -1 4202496 23959 0 0 0 10043 184 0 0 25 0 1 0 4324009 83836928 19593 1992294400 4194304 7136930 140736619890928 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12992/statm: 20468 19593 390 719 0 19747 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 81872

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 13000
/proc/meminfo: memFree=1764896/2059040 swapFree=4164960/4192956
[pid=12992] ppid=12990 vsize=81872 CPUtime=162.25
/proc/12992/stat : 12992 (pbscip.linux.x8) R 12990 12992 12967 0 -1 4202496 23971 0 0 0 15942 283 0 0 25 0 1 0 4324009 83836928 19605 1992294400 4194304 7136930 140736619890928 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12992/statm: 20468 19605 390 719 0 19747 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 81872

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 13002
/proc/meminfo: memFree=1764772/2059040 swapFree=4164960/4192956
[pid=12992] ppid=12990 vsize=81872 CPUtime=222.23
/proc/12992/stat : 12992 (pbscip.linux.x8) R 12990 12992 12967 0 -1 4202496 23991 0 0 0 21841 382 0 0 25 0 1 0 4324009 83836928 19625 1992294400 4194304 7136930 140736619890928 18446744073709551615 5507163 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12992/statm: 20468 19625 390 719 0 19747 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 81872

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 13002
/proc/meminfo: memFree=1764772/2059040 swapFree=4164960/4192956
[pid=12992] ppid=12990 vsize=82004 CPUtime=282.21
/proc/12992/stat : 12992 (pbscip.linux.x8) R 12990 12992 12967 0 -1 4202496 23994 0 0 0 27742 479 0 0 25 0 1 0 4324009 83972096 19628 1992294400 4194304 7136930 140736619890928 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12992/statm: 20501 19628 390 719 0 19780 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 82004

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 13004
/proc/meminfo: memFree=1764648/2059040 swapFree=4164960/4192956
[pid=12992] ppid=12990 vsize=82004 CPUtime=342.2
/proc/12992/stat : 12992 (pbscip.linux.x8) R 12990 12992 12967 0 -1 4202496 24007 0 0 0 33642 578 0 0 25 0 1 0 4324009 83972096 19641 1992294400 4194304 7136930 140736619890928 18446744073709551615 4999902 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12992/statm: 20501 19641 390 719 0 19780 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 82004

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 13006
/proc/meminfo: memFree=1764648/2059040 swapFree=4164960/4192956
[pid=12992] ppid=12990 vsize=82004 CPUtime=402.18
/proc/12992/stat : 12992 (pbscip.linux.x8) R 12990 12992 12967 0 -1 4202496 24018 0 0 0 39540 678 0 0 25 0 1 0 4324009 83972096 19652 1992294400 4194304 7136930 140736619890928 18446744073709551615 5506140 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12992/statm: 20501 19652 390 719 0 19780 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 82004

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 13008
/proc/meminfo: memFree=1764648/2059040 swapFree=4164960/4192956
[pid=12992] ppid=12990 vsize=82004 CPUtime=462.17
/proc/12992/stat : 12992 (pbscip.linux.x8) R 12990 12992 12967 0 -1 4202496 24024 0 0 0 45436 781 0 0 25 0 1 0 4324009 83972096 19658 1992294400 4194304 7136930 140736619890928 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12992/statm: 20501 19658 390 719 0 19780 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 82004

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 13010
/proc/meminfo: memFree=1764648/2059040 swapFree=4164960/4192956
[pid=12992] ppid=12990 vsize=82140 CPUtime=522.15
/proc/12992/stat : 12992 (pbscip.linux.x8) R 12990 12992 12967 0 -1 4202496 24029 0 0 0 51336 879 0 0 25 0 1 0 4324009 84111360 19663 1992294400 4194304 7136930 140736619890928 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12992/statm: 20535 19663 390 719 0 19814 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 82140

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 13010
/proc/meminfo: memFree=1764400/2059040 swapFree=4164960/4192956
[pid=12992] ppid=12990 vsize=82140 CPUtime=582.13
/proc/12992/stat : 12992 (pbscip.linux.x8) R 12990 12992 12967 0 -1 4202496 24039 0 0 0 57234 979 0 0 25 0 1 0 4324009 84111360 19673 1992294400 4194304 7136930 140736619890928 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12992/statm: 20535 19673 390 719 0 19814 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 82140

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 13012
/proc/meminfo: memFree=1764276/2059040 swapFree=4164960/4192956
[pid=12992] ppid=12990 vsize=82140 CPUtime=642.13
/proc/12992/stat : 12992 (pbscip.linux.x8) R 12990 12992 12967 0 -1 4202496 24053 0 0 0 63133 1080 0 0 25 0 1 0 4324009 84111360 19687 1992294400 4194304 7136930 140736619890928 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12992/statm: 20535 19687 390 719 0 19814 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 82140

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 13018
/proc/meminfo: memFree=1763904/2059040 swapFree=4164960/4192956
[pid=12992] ppid=12990 vsize=82272 CPUtime=882.05
/proc/12992/stat : 12992 (pbscip.linux.x8) R 12990 12992 12967 0 -1 4202496 24062 0 0 0 86731 1474 0 0 25 0 1 0 4324009 84246528 19696 1992294400 4194304 7136930 140736619890928 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12992/statm: 20568 19696 390 719 0 19847 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 82272

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 13020
/proc/meminfo: memFree=1763904/2059040 swapFree=4164960/4192956
[pid=12992] ppid=12990 vsize=82272 CPUtime=942.04
/proc/12992/stat : 12992 (pbscip.linux.x8) R 12990 12992 12967 0 -1 4202496 24067 0 0 0 92628 1576 0 0 25 0 1 0 4324009 84246528 19701 1992294400 4194304 7136930 140736619890928 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12992/statm: 20568 19701 390 719 0 19847 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 82272

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 13022
/proc/meminfo: memFree=1763780/2059040 swapFree=4164960/4192956
[pid=12992] ppid=12990 vsize=82272 CPUtime=1002.03
/proc/12992/stat : 12992 (pbscip.linux.x8) R 12990 12992 12967 0 -1 4202496 24067 0 0 0 98526 1677 0 0 25 0 1 0 4324009 84246528 19701 1992294400 4194304 7136930 140736619890928 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12992/statm: 20568 19701 390 719 0 19847 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 82272

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 13024
/proc/meminfo: memFree=1763780/2059040 swapFree=4164960/4192956
[pid=12992] ppid=12990 vsize=82272 CPUtime=1062.01
/proc/12992/stat : 12992 (pbscip.linux.x8) R 12990 12992 12967 0 -1 4202496 24067 0 0 0 104428 1773 0 0 25 0 1 0 4324009 84246528 19701 1992294400 4194304 7136930 140736619890928 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12992/statm: 20568 19701 390 719 0 19847 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 82272

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 13026
/proc/meminfo: memFree=1763656/2059040 swapFree=4164960/4192956
[pid=12992] ppid=12990 vsize=82272 CPUtime=1121.99
/proc/12992/stat : 12992 (pbscip.linux.x8) R 12990 12992 12967 0 -1 4202496 24068 0 0 0 110329 1870 0 0 25 0 1 0 4324009 84246528 19702 1992294400 4194304 7136930 140736619890928 18446744073709551615 5506869 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12992/statm: 20568 19702 390 719 0 19847 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 82272

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 13026
/proc/meminfo: memFree=1763532/2059040 swapFree=4164960/4192956
[pid=12992] ppid=12990 vsize=82272 CPUtime=1181.98
/proc/12992/stat : 12992 (pbscip.linux.x8) R 12990 12992 12967 0 -1 4202496 24071 0 0 0 116230 1968 0 0 25 0 1 0 4324009 84246528 19705 1992294400 4194304 7136930 140736619890928 18446744073709551615 4703869 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12992/statm: 20568 19705 390 719 0 19847 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 82272

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 13028
/proc/meminfo: memFree=1763284/2059040 swapFree=4164960/4192956
[pid=12992] ppid=12990 vsize=82272 CPUtime=1241.96
/proc/12992/stat : 12992 (pbscip.linux.x8) R 12990 12992 12967 0 -1 4202496 24074 0 0 0 122132 2064 0 0 25 0 1 0 4324009 84246528 19708 1992294400 4194304 7136930 140736619890928 18446744073709551615 5507449 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12992/statm: 20568 19708 390 719 0 19847 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 82272

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 13030
/proc/meminfo: memFree=1763160/2059040 swapFree=4164960/4192956
[pid=12992] ppid=12990 vsize=82272 CPUtime=1301.95
/proc/12992/stat : 12992 (pbscip.linux.x8) R 12990 12992 12967 0 -1 4202496 24074 0 0 0 128034 2161 0 0 25 0 1 0 4324009 84246528 19708 1992294400 4194304 7136930 140736619890928 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12992/statm: 20568 19708 390 719 0 19847 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 82272

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 13032
/proc/meminfo: memFree=1763160/2059040 swapFree=4164960/4192956
[pid=12992] ppid=12990 vsize=82272 CPUtime=1361.92
/proc/12992/stat : 12992 (pbscip.linux.x8) R 12990 12992 12967 0 -1 4202496 24077 0 0 0 133934 2258 0 0 25 0 1 0 4324009 84246528 19711 1992294400 4194304 7136930 140736619890928 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12992/statm: 20568 19711 390 719 0 19847 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 82272

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 13034
/proc/meminfo: memFree=1763160/2059040 swapFree=4164960/4192956
[pid=12992] ppid=12990 vsize=82272 CPUtime=1421.92
/proc/12992/stat : 12992 (pbscip.linux.x8) R 12990 12992 12967 0 -1 4202496 24077 0 0 0 139837 2355 0 0 25 0 1 0 4324009 84246528 19711 1992294400 4194304 7136930 140736619890928 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12992/statm: 20568 19711 390 719 0 19847 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 82272

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 13034
/proc/meminfo: memFree=1763036/2059040 swapFree=4164960/4192956
[pid=12992] ppid=12990 vsize=82272 CPUtime=1481.89
/proc/12992/stat : 12992 (pbscip.linux.x8) R 12990 12992 12967 0 -1 4202496 24077 0 0 0 145739 2450 0 0 25 0 1 0 4324009 84246528 19711 1992294400 4194304 7136930 140736619890928 18446744073709551615 4240377 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12992/statm: 20568 19711 390 719 0 19847 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 82272

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 13036
/proc/meminfo: memFree=1763036/2059040 swapFree=4164960/4192956
[pid=12992] ppid=12990 vsize=82272 CPUtime=1541.88
/proc/12992/stat : 12992 (pbscip.linux.x8) R 12990 12992 12967 0 -1 4202496 24077 0 0 0 151638 2550 0 0 25 0 1 0 4324009 84246528 19711 1992294400 4194304 7136930 140736619890928 18446744073709551615 4704395 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12992/statm: 20568 19711 390 719 0 19847 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 82272

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 13038
/proc/meminfo: memFree=1763036/2059040 swapFree=4164960/4192956
[pid=12992] ppid=12990 vsize=82272 CPUtime=1601.87
/proc/12992/stat : 12992 (pbscip.linux.x8) R 12990 12992 12967 0 -1 4202496 24080 0 0 0 157541 2646 0 0 25 0 1 0 4324009 84246528 19714 1992294400 4194304 7136930 140736619890928 18446744073709551615 5905985 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12992/statm: 20568 19714 390 719 0 19847 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 82272

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 13040
/proc/meminfo: memFree=1762912/2059040 swapFree=4164960/4192956
[pid=12992] ppid=12990 vsize=82272 CPUtime=1661.85
/proc/12992/stat : 12992 (pbscip.linux.x8) R 12990 12992 12967 0 -1 4202496 24084 0 0 0 163439 2746 0 0 25 0 1 0 4324009 84246528 19718 1992294400 4194304 7136930 140736619890928 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12992/statm: 20568 19718 390 719 0 19847 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 82272

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 13042
/proc/meminfo: memFree=1762788/2059040 swapFree=4164960/4192956
[pid=12992] ppid=12990 vsize=82272 CPUtime=1721.83
/proc/12992/stat : 12992 (pbscip.linux.x8) R 12990 12992 12967 0 -1 4202496 24084 0 0 0 169342 2841 0 0 25 0 1 0 4324009 84246528 19718 1992294400 4194304 7136930 140736619890928 18446744073709551615 5507309 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12992/statm: 20568 19718 390 719 0 19847 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 82272

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 13051
/proc/meminfo: memFree=1761672/2059040 swapFree=4164960/4192956
[pid=12992] ppid=12990 vsize=82272 CPUtime=1781.8
/proc/12992/stat : 12992 (pbscip.linux.x8) R 12990 12992 12967 0 -1 4202496 24084 0 0 0 175235 2945 0 0 25 0 1 0 4324009 84246528 19718 1992294400 4194304 7136930 140736619890928 18446744073709551615 5507381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12992/statm: 20568 19718 390 719 0 19847 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 82272



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 13053
/proc/meminfo: memFree=1761672/2059040 swapFree=4164960/4192956
[pid=12992] ppid=12990 vsize=82272 CPUtime=1800
/proc/12992/stat : 12992 (pbscip.linux.x8) R 12990 12992 12967 0 -1 4202496 24084 0 0 0 177027 2973 0 0 25 0 1 0 4324009 84246528 19718 1992294400 4194304 7136930 140736619890928 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12992/statm: 20568 19718 390 719 0 19847 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 82272

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: 0.99 0.97 0.99 2/107 13054
/proc/meminfo: memFree=1763276/2059040 swapFree=4164960/4192956
[pid=12992] ppid=12990 vsize=80540 CPUtime=1800.11
/proc/12992/stat : 12992 (pbscip.linux.x8) R 12990 12992 12967 0 -1 4202496 24110 0 0 0 177038 2973 0 0 18 0 1 0 4324009 82472960 19279 1992294400 4194304 7136930 140736619890928 18446744073709551615 4668100 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12992/statm: 20135 19279 396 719 0 19414 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 80540

Child status: 0
Real time (s): 1800.7
CPU time (s): 1800.2
CPU user time (s): 1770.45
CPU system time (s): 29.7505
CPU usage (%): 99.9727
Max. virtual memory (cumulated for all children) (KiB): 82272

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

runsolver used 2.93455 second user time and 8.5697 second system time

The end

Launcher Data 

Begin job on node087 at 2010-06-15 21:31:45
IDJOB=2663918
IDBENCH=24973
IDSOLVER=1167
FILE ID=node087/2663918-1276630305
PBS_JOBID= 11172370
Free space on /tmp= 62552 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_001_area_delay.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-2663918-1276630305/watcher-2663918-1276630305 -o /tmp/evaluation-result-2663918-1276630305/solver-2663918-1276630305 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663918-1276630305.opb -t 1800 -m 1800

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

MD5SUM BENCH= f1fcceba4d2ff597685b8a775178b9b4
RANDOM SEED=209348752

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

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1843180 kB
Buffers:         12124 kB
Cached:          96000 kB
SwapCached:        768 kB
Active:          21352 kB
Inactive:       119380 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1843180 kB
SwapTotal:     4192956 kB
SwapFree:      4164960 kB
Dirty:            4552 kB
Writeback:           0 kB
AnonPages:       31764 kB
Mapped:          14568 kB
Slab:            53416 kB
PageTables:       4064 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181160 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 node087 at 2010-06-15 22:01:47