Trace number 2663940

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)35 1800.31 1800.81

General information on the benchmark

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

Verifier Data 

OK	35

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11543
/proc/meminfo: memFree=1830648/2059040 swapFree=4164936/4192956
[pid=11543] ppid=11541 vsize=5556 CPUtime=0
/proc/11543/stat : 11543 (pbscip.linux.x8) R 11541 11543 11326 0 -1 4202496 889 0 0 0 0 0 0 0 18 0 1 0 4854537 5689344 812 1992294400 4194304 7136930 140733682475744 18446744073709551615 6357120 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11543/statm: 1389 813 249 719 0 668 0

[startup+0.03195 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11543
/proc/meminfo: memFree=1830648/2059040 swapFree=4164936/4192956
[pid=11543] ppid=11541 vsize=12716 CPUtime=0.02
/proc/11543/stat : 11543 (pbscip.linux.x8) R 11541 11543 11326 0 -1 4202496 2676 0 0 0 2 0 0 0 20 0 1 0 4854537 13021184 2598 1992294400 4194304 7136930 140733682475744 18446744073709551615 6303897 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11543/statm: 3179 2598 271 719 0 2458 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12716

[startup+0.10196 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11543
/proc/meminfo: memFree=1830648/2059040 swapFree=4164936/4192956
[pid=11543] ppid=11541 vsize=16564 CPUtime=0.09
/proc/11543/stat : 11543 (pbscip.linux.x8) R 11541 11543 11326 0 -1 4202496 3664 0 0 0 9 0 0 0 20 0 1 0 4854537 16961536 3586 1992294400 4194304 7136930 140733682475744 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11543/statm: 4141 3586 271 719 0 3420 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16564

[startup+0.300979 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11543
/proc/meminfo: memFree=1830648/2059040 swapFree=4164936/4192956
[pid=11543] ppid=11541 vsize=22816 CPUtime=0.29
/proc/11543/stat : 11543 (pbscip.linux.x8) R 11541 11543 11326 0 -1 4202496 5220 0 0 0 28 1 0 0 20 0 1 0 4854537 23363584 5142 1992294400 4194304 7136930 140733682475744 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11543/statm: 5704 5142 271 719 0 4983 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22816

[startup+0.701023 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11543
/proc/meminfo: memFree=1830648/2059040 swapFree=4164936/4192956
[pid=11543] ppid=11541 vsize=48424 CPUtime=0.69
/proc/11543/stat : 11543 (pbscip.linux.x8) R 11541 11543 11326 0 -1 4202496 11981 0 0 0 65 4 0 0 21 0 1 0 4854537 49586176 11549 1992294400 4194304 7136930 140733682475744 18446744073709551615 4668045 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11543/statm: 12106 11549 283 719 0 11385 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48424

[startup+1.50111 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11544
/proc/meminfo: memFree=1766408/2059040 swapFree=4164936/4192956
[pid=11543] ppid=11541 vsize=78548 CPUtime=1.49
/proc/11543/stat : 11543 (pbscip.linux.x8) R 11541 11543 11326 0 -1 4202496 21483 0 0 0 133 16 0 0 23 0 1 0 4854537 80433152 18683 1992294400 4194304 7136930 140733682475744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11543/statm: 19637 18683 355 719 0 18916 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 78548

[startup+3.10028 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11544
/proc/meminfo: memFree=1754008/2059040 swapFree=4164936/4192956
[pid=11543] ppid=11541 vsize=80856 CPUtime=3.09
/proc/11543/stat : 11543 (pbscip.linux.x8) R 11541 11543 11326 0 -1 4202496 23771 0 0 0 289 20 0 0 25 0 1 0 4854537 82796544 19394 1992294400 4194304 7136930 140733682475744 18446744073709551615 5507327 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11543/statm: 20214 19394 389 719 0 19493 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 80856

[startup+6.30063 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11544
/proc/meminfo: memFree=1754008/2059040 swapFree=4164936/4192956
[pid=11543] ppid=11541 vsize=80856 CPUtime=6.29
/proc/11543/stat : 11543 (pbscip.linux.x8) R 11541 11543 11326 0 -1 4202496 23772 0 0 0 603 26 0 0 25 0 1 0 4854537 82796544 19395 1992294400 4194304 7136930 140733682475744 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11543/statm: 20214 19395 390 719 0 19493 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 80856

[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11544
/proc/meminfo: memFree=1753884/2059040 swapFree=4164936/4192956
[pid=11543] ppid=11541 vsize=80856 CPUtime=12.69
/proc/11543/stat : 11543 (pbscip.linux.x8) R 11541 11543 11326 0 -1 4202496 23772 0 0 0 1231 38 0 0 25 0 1 0 4854537 82796544 19395 1992294400 4194304 7136930 140733682475744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11543/statm: 20214 19395 390 719 0 19493 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 80856

[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11544
/proc/meminfo: memFree=1753760/2059040 swapFree=4164936/4192956
[pid=11543] ppid=11541 vsize=81124 CPUtime=25.48
/proc/11543/stat : 11543 (pbscip.linux.x8) R 11541 11543 11326 0 -1 4202496 23826 0 0 0 2489 59 0 0 25 0 1 0 4854537 83070976 19449 1992294400 4194304 7136930 140733682475744 18446744073709551615 4999902 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11543/statm: 20281 19449 390 719 0 19560 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 81124

[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11553
/proc/meminfo: memFree=1753016/2059040 swapFree=4164936/4192956
[pid=11543] ppid=11541 vsize=81396 CPUtime=51.06
/proc/11543/stat : 11543 (pbscip.linux.x8) R 11541 11543 11326 0 -1 4202496 23881 0 0 0 5004 102 0 0 25 0 1 0 4854537 83349504 19504 1992294400 4194304 7136930 140733682475744 18446744073709551615 5507381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11543/statm: 20349 19504 390 719 0 19628 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 81396

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11555
/proc/meminfo: memFree=1752892/2059040 swapFree=4164936/4192956
[pid=11543] ppid=11541 vsize=81528 CPUtime=102.25
/proc/11543/stat : 11543 (pbscip.linux.x8) R 11541 11543 11326 0 -1 4202496 23927 0 0 0 10036 189 0 0 25 0 1 0 4854537 83484672 19550 1992294400 4194304 7136930 140733682475744 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11543/statm: 20382 19550 390 719 0 19661 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 81528

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11557
/proc/meminfo: memFree=1752768/2059040 swapFree=4164936/4192956
[pid=11543] ppid=11541 vsize=81660 CPUtime=162.23
/proc/11543/stat : 11543 (pbscip.linux.x8) R 11541 11543 11326 0 -1 4202496 23946 0 0 0 15934 289 0 0 25 0 1 0 4854537 83619840 19569 1992294400 4194304 7136930 140733682475744 18446744073709551615 5507437 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11543/statm: 20415 19569 390 719 0 19694 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 81660

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11559
/proc/meminfo: memFree=1752768/2059040 swapFree=4164936/4192956
[pid=11543] ppid=11541 vsize=81660 CPUtime=222.21
/proc/11543/stat : 11543 (pbscip.linux.x8) R 11541 11543 11326 0 -1 4202496 23960 0 0 0 21838 383 0 0 25 0 1 0 4854537 83619840 19583 1992294400 4194304 7136930 140733682475744 18446744073709551615 5917627 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11543/statm: 20415 19583 390 719 0 19694 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 81660

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11559
/proc/meminfo: memFree=1752768/2059040 swapFree=4164936/4192956
[pid=11543] ppid=11541 vsize=81792 CPUtime=282.2
/proc/11543/stat : 11543 (pbscip.linux.x8) R 11541 11543 11326 0 -1 4202496 23987 0 0 0 27738 482 0 0 25 0 1 0 4854537 83755008 19610 1992294400 4194304 7136930 140733682475744 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11543/statm: 20448 19610 390 719 0 19727 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 81792

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11561
/proc/meminfo: memFree=1752644/2059040 swapFree=4164936/4192956
[pid=11543] ppid=11541 vsize=81792 CPUtime=342.18
/proc/11543/stat : 11543 (pbscip.linux.x8) R 11541 11543 11326 0 -1 4202496 23999 0 0 0 33637 581 0 0 25 0 1 0 4854537 83755008 19622 1992294400 4194304 7136930 140733682475744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11543/statm: 20448 19622 390 719 0 19727 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 81792

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11563
/proc/meminfo: memFree=1752644/2059040 swapFree=4164936/4192956
[pid=11543] ppid=11541 vsize=81792 CPUtime=402.16
/proc/11543/stat : 11543 (pbscip.linux.x8) R 11541 11543 11326 0 -1 4202496 24003 0 0 0 39537 679 0 0 25 0 1 0 4854537 83755008 19626 1992294400 4194304 7136930 140733682475744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11543/statm: 20448 19626 390 719 0 19727 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 81792

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11565
/proc/meminfo: memFree=1752520/2059040 swapFree=4164936/4192956
[pid=11543] ppid=11541 vsize=81924 CPUtime=462.15
/proc/11543/stat : 11543 (pbscip.linux.x8) R 11541 11543 11326 0 -1 4202496 24019 0 0 0 45435 780 0 0 25 0 1 0 4854537 83890176 19642 1992294400 4194304 7136930 140733682475744 18446744073709551615 5507163 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11543/statm: 20481 19642 390 719 0 19760 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 81924

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11567
/proc/meminfo: memFree=1752520/2059040 swapFree=4164936/4192956
[pid=11543] ppid=11541 vsize=81924 CPUtime=522.13
/proc/11543/stat : 11543 (pbscip.linux.x8) R 11541 11543 11326 0 -1 4202496 24020 0 0 0 51336 877 0 0 25 0 1 0 4854537 83890176 19643 1992294400 4194304 7136930 140733682475744 18446744073709551615 5507255 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11543/statm: 20481 19643 390 719 0 19760 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 81924

[startup+582.302 s]
/proc/loadavg: 1.06 1.01 1.00 2/107 11567
/proc/meminfo: memFree=1752396/2059040 swapFree=4164936/4192956
[pid=11543] ppid=11541 vsize=81924 CPUtime=582.12
/proc/11543/stat : 11543 (pbscip.linux.x8) R 11541 11543 11326 0 -1 4202496 24024 0 0 0 57236 976 0 0 25 0 1 0 4854537 83890176 19647 1992294400 4194304 7136930 140733682475744 18446744073709551615 5955601 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11543/statm: 20481 19647 390 719 0 19760 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 81924

[startup+642.301 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 11569
/proc/meminfo: memFree=1752396/2059040 swapFree=4164936/4192956
[pid=11543] ppid=11541 vsize=81924 CPUtime=642.11
/proc/11543/stat : 11543 (pbscip.linux.x8) R 11541 11543 11326 0 -1 4202496 24033 0 0 0 63138 1073 0 0 25 0 1 0 4854537 83890176 19656 1992294400 4194304 7136930 140733682475744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11543/statm: 20481 19656 390 719 0 19760 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 81924

[startup+702.302 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11575
/proc/meminfo: memFree=1752148/2059040 swapFree=4164936/4192956
[pid=11543] ppid=11541 vsize=82064 CPUtime=882.04
/proc/11543/stat : 11543 (pbscip.linux.x8) R 11541 11543 11326 0 -1 4202496 24066 0 0 0 86739 1465 0 0 25 0 1 0 4854537 84033536 19689 1992294400 4194304 7136930 140733682475744 18446744073709551615 4652809 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11543/statm: 20516 19689 390 719 0 19795 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 82064

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 11577
/proc/meminfo: memFree=1752024/2059040 swapFree=4164936/4192956
[pid=11543] ppid=11541 vsize=82196 CPUtime=942.03
/proc/11543/stat : 11543 (pbscip.linux.x8) R 11541 11543 11326 0 -1 4202496 24092 0 0 0 92639 1564 0 0 25 0 1 0 4854537 84168704 19715 1992294400 4194304 7136930 140733682475744 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11543/statm: 20549 19715 390 719 0 19828 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 82196

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11579
/proc/meminfo: memFree=1751900/2059040 swapFree=4164936/4192956
[pid=11543] ppid=11541 vsize=82196 CPUtime=1002
/proc/11543/stat : 11543 (pbscip.linux.x8) R 11541 11543 11326 0 -1 4202496 24094 0 0 0 98536 1664 0 0 25 0 1 0 4854537 84168704 19717 1992294400 4194304 7136930 140733682475744 18446744073709551615 5507212 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11543/statm: 20549 19717 390 719 0 19828 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 82196

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11581
/proc/meminfo: memFree=1751900/2059040 swapFree=4164936/4192956
[pid=11543] ppid=11541 vsize=82196 CPUtime=1061.99
/proc/11543/stat : 11543 (pbscip.linux.x8) R 11541 11543 11326 0 -1 4202496 24095 0 0 0 104432 1767 0 0 25 0 1 0 4854537 84168704 19718 1992294400 4194304 7136930 140733682475744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11543/statm: 20549 19718 390 719 0 19828 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 82196

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11583
/proc/meminfo: memFree=1751776/2059040 swapFree=4164936/4192956
[pid=11543] ppid=11541 vsize=82196 CPUtime=1121.97
/proc/11543/stat : 11543 (pbscip.linux.x8) R 11541 11543 11326 0 -1 4202496 24096 0 0 0 110332 1865 0 0 25 0 1 0 4854537 84168704 19719 1992294400 4194304 7136930 140733682475744 18446744073709551615 5506161 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11543/statm: 20549 19719 390 719 0 19828 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 82196

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11583
/proc/meminfo: memFree=1751776/2059040 swapFree=4164936/4192956
[pid=11543] ppid=11541 vsize=82196 CPUtime=1181.96
/proc/11543/stat : 11543 (pbscip.linux.x8) R 11541 11543 11326 0 -1 4202496 24096 0 0 0 116233 1963 0 0 25 0 1 0 4854537 84168704 19719 1992294400 4194304 7136930 140733682475744 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11543/statm: 20549 19719 390 719 0 19828 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 82196

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11585
/proc/meminfo: memFree=1751652/2059040 swapFree=4164936/4192956
[pid=11543] ppid=11541 vsize=82196 CPUtime=1241.94
/proc/11543/stat : 11543 (pbscip.linux.x8) R 11541 11543 11326 0 -1 4202496 24097 0 0 0 122134 2060 0 0 25 0 1 0 4854537 84168704 19720 1992294400 4194304 7136930 140733682475744 18446744073709551615 5506161 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11543/statm: 20549 19720 390 719 0 19828 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 82196

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11587
/proc/meminfo: memFree=1751528/2059040 swapFree=4164936/4192956
[pid=11543] ppid=11541 vsize=82196 CPUtime=1301.93
/proc/11543/stat : 11543 (pbscip.linux.x8) R 11541 11543 11326 0 -1 4202496 24098 0 0 0 128034 2159 0 0 25 0 1 0 4854537 84168704 19721 1992294400 4194304 7136930 140733682475744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11543/statm: 20549 19721 390 719 0 19828 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 82196

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11589
/proc/meminfo: memFree=1751528/2059040 swapFree=4164936/4192956
[pid=11543] ppid=11541 vsize=82196 CPUtime=1361.91
/proc/11543/stat : 11543 (pbscip.linux.x8) R 11541 11543 11326 0 -1 4202496 24098 0 0 0 133941 2250 0 0 25 0 1 0 4854537 84168704 19721 1992294400 4194304 7136930 140733682475744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11543/statm: 20549 19721 390 719 0 19828 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 82196

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11591
/proc/meminfo: memFree=1751528/2059040 swapFree=4164936/4192956
[pid=11543] ppid=11541 vsize=82196 CPUtime=1421.9
/proc/11543/stat : 11543 (pbscip.linux.x8) R 11541 11543 11326 0 -1 4202496 24098 0 0 0 139853 2337 0 0 25 0 1 0 4854537 84168704 19721 1992294400 4194304 7136930 140733682475744 18446744073709551615 5507425 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11543/statm: 20549 19721 390 719 0 19828 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 82196

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11591
/proc/meminfo: memFree=1751528/2059040 swapFree=4164936/4192956
[pid=11543] ppid=11541 vsize=82196 CPUtime=1481.87
/proc/11543/stat : 11543 (pbscip.linux.x8) R 11541 11543 11326 0 -1 4202496 24103 0 0 0 145756 2431 0 0 25 0 1 0 4854537 84168704 19726 1992294400 4194304 7136930 140733682475744 18446744073709551615 5506849 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11543/statm: 20549 19726 390 719 0 19828 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 82196

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11593
/proc/meminfo: memFree=1751404/2059040 swapFree=4164936/4192956
[pid=11543] ppid=11541 vsize=82196 CPUtime=1541.86
/proc/11543/stat : 11543 (pbscip.linux.x8) R 11541 11543 11326 0 -1 4202496 24103 0 0 0 151662 2524 0 0 25 0 1 0 4854537 84168704 19726 1992294400 4194304 7136930 140733682475744 18446744073709551615 5507381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11543/statm: 20549 19726 390 719 0 19828 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 82196

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11595
/proc/meminfo: memFree=1751404/2059040 swapFree=4164936/4192956
[pid=11543] ppid=11541 vsize=82196 CPUtime=1601.85
/proc/11543/stat : 11543 (pbscip.linux.x8) R 11541 11543 11326 0 -1 4202496 24103 0 0 0 157565 2620 0 0 25 0 1 0 4854537 84168704 19726 1992294400 4194304 7136930 140733682475744 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11543/statm: 20549 19726 390 719 0 19828 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 82196

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11597
/proc/meminfo: memFree=1751404/2059040 swapFree=4164936/4192956
[pid=11543] ppid=11541 vsize=82196 CPUtime=1661.83
/proc/11543/stat : 11543 (pbscip.linux.x8) R 11541 11543 11326 0 -1 4202496 24107 0 0 0 163474 2709 0 0 25 0 1 0 4854537 84168704 19730 1992294400 4194304 7136930 140733682475744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11543/statm: 20549 19730 390 719 0 19828 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 82196

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11599
/proc/meminfo: memFree=1751280/2059040 swapFree=4164936/4192956
[pid=11543] ppid=11541 vsize=82196 CPUtime=1721.82
/proc/11543/stat : 11543 (pbscip.linux.x8) R 11541 11543 11326 0 -1 4202496 24115 0 0 0 169377 2805 0 0 25 0 1 0 4854537 84168704 19738 1992294400 4194304 7136930 140733682475744 18446744073709551615 5506785 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11543/statm: 20549 19738 390 719 0 19828 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 82196

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11599
/proc/meminfo: memFree=1751032/2059040 swapFree=4164936/4192956
[pid=11543] ppid=11541 vsize=82332 CPUtime=1781.8
/proc/11543/stat : 11543 (pbscip.linux.x8) R 11541 11543 11326 0 -1 4202496 24129 0 0 0 175281 2899 0 0 25 0 1 0 4854537 84307968 19752 1992294400 4194304 7136930 140733682475744 18446744073709551615 5506109 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11543/statm: 20583 19752 390 719 0 19862 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 82332



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11601
/proc/meminfo: memFree=1751032/2059040 swapFree=4164936/4192956
[pid=11543] ppid=11541 vsize=82332 CPUtime=1800.11
/proc/11543/stat : 11543 (pbscip.linux.x8) R 11541 11543 11326 0 -1 4202496 24129 0 0 0 177083 2928 0 0 25 0 1 0 4854537 84307968 19752 1992294400 4194304 7136930 140733682475744 18446744073709551615 5506161 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11543/statm: 20583 19752 390 719 0 19862 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 82332

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

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

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11601
/proc/meminfo: memFree=1751032/2059040 swapFree=4164936/4192956
[pid=11543] ppid=11541 vsize=28872 CPUtime=1800.29
/proc/11543/stat : 11543 (pbscip.linux.x8) R 11541 11543 11326 0 -1 4202496 24155 0 0 0 177100 2929 0 0 25 0 1 0 4854537 29564928 6687 1992294400 4194304 7136930 140733682475744 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11543/statm: 7218 6687 396 719 0 6497 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 28872

Child status: 0
Real time (s): 1800.81
CPU time (s): 1800.31
CPU user time (s): 1771.01
CPU system time (s): 29.2995
CPU usage (%): 99.9724
Max. virtual memory (cumulated for all children) (KiB): 82332

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

runsolver used 3.08553 second user time and 8.41472 second system time

The end

Launcher Data 

Begin job on node038 at 2010-06-15 23:00:18
IDJOB=2663940
IDBENCH=24995
IDSOLVER=1167
FILE ID=node038/2663940-1276635618
PBS_JOBID= 11172387
Free space on /tmp= 62476 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_007_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-2663940-1276635618/watcher-2663940-1276635618 -o /tmp/evaluation-result-2663940-1276635618/solver-2663940-1276635618 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663940-1276635618.opb -t 1800 -m 1800

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

MD5SUM BENCH= 22488dc65cdc0686edc96d304bd4d620
RANDOM SEED=1345653602

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1831176 kB
Buffers:         29140 kB
Cached:         101432 kB
SwapCached:       1476 kB
Active:          73496 kB
Inactive:        90232 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1831176 kB
SwapTotal:     4192956 kB
SwapFree:      4164936 kB
Dirty:            4260 kB
Writeback:           0 kB
AnonPages:       31676 kB
Mapped:          14896 kB
Slab:            42348 kB
PageTables:       3956 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181388 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= 62472 MiB
End job on node038 at 2010-06-15 23:30:20