Trace number 2666780

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverOPT24 66.6629 66.683

General information on the benchmark

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

Verifier Data 

OK	24

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666780-1276630726/watcher-2666780-1276630726 -o /tmp/evaluation-result-2666780-1276630726/solver-2666780-1276630726 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666780-1276630726.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.02 1.25 3/105 11323
/proc/meminfo: memFree=1825620/2059040 swapFree=4192956/4192956
[pid=11323] ppid=11321 vsize=6696 CPUtime=0
/proc/11323/stat : 11323 (pbscip.linux.x8) R 11321 11323 10844 0 -1 4202496 989 0 0 0 0 0 0 0 23 0 1 0 4366148 6856704 908 1992294400 4194304 8223781 140735242359856 18446744073709551615 7297360 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11323/statm: 1674 908 343 984 0 687 0

[startup+0.0159181 s]
/proc/loadavg: 1.00 1.02 1.25 3/105 11323
/proc/meminfo: memFree=1825620/2059040 swapFree=4192956/4192956
[pid=11323] ppid=11321 vsize=9652 CPUtime=0.01
/proc/11323/stat : 11323 (pbscip.linux.x8) R 11321 11323 10844 0 -1 4202496 1707 0 0 0 1 0 0 0 23 0 1 0 4366148 9883648 1625 1992294400 4194304 8223781 140735242359856 18446744073709551615 5652217 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11323/statm: 2413 1625 361 984 0 1426 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9652

[startup+0.101915 s]
/proc/loadavg: 1.00 1.02 1.25 3/105 11323
/proc/meminfo: memFree=1825620/2059040 swapFree=4192956/4192956
[pid=11323] ppid=11321 vsize=17804 CPUtime=0.09
/proc/11323/stat : 11323 (pbscip.linux.x8) R 11321 11323 10844 0 -1 4202496 3787 0 0 0 8 1 0 0 25 0 1 0 4366148 18231296 3705 1992294400 4194304 8223781 140735242359856 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11323/statm: 4451 3705 365 984 0 3464 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17804

[startup+0.301937 s]
/proc/loadavg: 1.00 1.02 1.25 3/105 11323
/proc/meminfo: memFree=1825620/2059040 swapFree=4192956/4192956
[pid=11323] ppid=11321 vsize=23000 CPUtime=0.29
/proc/11323/stat : 11323 (pbscip.linux.x8) R 11321 11323 10844 0 -1 4202496 5081 0 0 0 27 2 0 0 25 0 1 0 4366148 23552000 4999 1992294400 4194304 8223781 140735242359856 18446744073709551615 7297360 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11323/statm: 5750 4999 365 984 0 4763 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23000

[startup+0.700983 s]
/proc/loadavg: 1.00 1.02 1.25 3/105 11323
/proc/meminfo: memFree=1825620/2059040 swapFree=4192956/4192956
[pid=11323] ppid=11321 vsize=58012 CPUtime=0.69
/proc/11323/stat : 11323 (pbscip.linux.x8) R 11321 11323 10844 0 -1 4202496 13730 0 0 0 63 6 0 0 25 0 1 0 4366148 59404288 13284 1992294400 4194304 8223781 140735242359856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11323/statm: 14503 13284 441 984 0 13516 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 58012

[startup+1.50107 s]
/proc/loadavg: 1.00 1.02 1.25 2/106 11324
/proc/meminfo: memFree=1770308/2059040 swapFree=4192956/4192956
[pid=11323] ppid=11321 vsize=84980 CPUtime=1.49
/proc/11323/stat : 11323 (pbscip.linux.x8) R 11321 11323 10844 0 -1 4202496 22944 0 0 0 132 17 0 0 25 0 1 0 4366148 87019520 19877 1992294400 4194304 8223781 140735242359856 18446744073709551615 6450711 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11323/statm: 21245 19877 530 984 0 20258 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84980

[startup+3.10125 s]
/proc/loadavg: 1.00 1.02 1.25 2/106 11324
/proc/meminfo: memFree=1742408/2059040 swapFree=4192956/4192956
[pid=11323] ppid=11321 vsize=100168 CPUtime=3.09
/proc/11323/stat : 11323 (pbscip.linux.x8) R 11321 11323 10844 0 -1 4202496 63365 0 0 0 278 31 0 0 25 0 1 0 4366148 102572032 23560 1992294400 4194304 8223781 140735242359856 18446744073709551615 6020541 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11323/statm: 25042 23560 551 984 0 24055 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 100168

[startup+6.30162 s]
/proc/loadavg: 1.00 1.02 1.25 2/106 11324
/proc/meminfo: memFree=1730628/2059040 swapFree=4192956/4192956
[pid=11323] ppid=11321 vsize=103604 CPUtime=6.29
/proc/11323/stat : 11323 (pbscip.linux.x8) R 11321 11323 10844 0 -1 4202496 68586 0 0 0 592 37 0 0 25 0 1 0 4366148 106090496 24296 1992294400 4194304 8223781 140735242359856 18446744073709551615 6044826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11323/statm: 25901 24296 577 984 0 24914 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 103604

[startup+12.7013 s]
/proc/loadavg: 1.00 1.02 1.25 2/106 11324
/proc/meminfo: memFree=1728768/2059040 swapFree=4192956/4192956
[pid=11323] ppid=11321 vsize=105044 CPUtime=12.69
/proc/11323/stat : 11323 (pbscip.linux.x8) R 11321 11323 10844 0 -1 4202496 145338 0 0 0 1201 68 0 0 25 0 1 0 4366148 107565056 24629 1992294400 4194304 8223781 140735242359856 18446744073709551615 6299574 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11323/statm: 26261 24629 578 984 0 25274 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 105044

[startup+25.5018 s]
/proc/loadavg: 1.00 1.01 1.25 2/106 11324
/proc/meminfo: memFree=1728024/2059040 swapFree=4192956/4192956
[pid=11323] ppid=11321 vsize=105920 CPUtime=25.48
/proc/11323/stat : 11323 (pbscip.linux.x8) R 11321 11323 10844 0 -1 4202496 638583 0 0 0 2334 214 0 0 25 0 1 0 4366148 108462080 24764 1992294400 4194304 8223781 140735242359856 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11323/statm: 26480 24769 573 984 0 25493 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 105920

[startup+51.1017 s]
/proc/loadavg: 1.00 1.01 1.24 2/106 11324
/proc/meminfo: memFree=1727280/2059040 swapFree=4192956/4192956
[pid=11323] ppid=11321 vsize=106776 CPUtime=51.08
/proc/11323/stat : 11323 (pbscip.linux.x8) R 11321 11323 10844 0 -1 4202496 1434876 0 0 0 4652 456 0 0 25 0 1 0 4366148 109338624 24938 1992294400 4194304 8223781 140735242359856 18446744073709551615 5743112 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11323/statm: 26694 24938 572 984 0 25707 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 106776

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

[startup+57.5014 s]
/proc/loadavg: 1.00 1.01 1.24 2/106 11324
/proc/meminfo: memFree=1726536/2059040 swapFree=4192956/4192956
[pid=11323] ppid=11321 vsize=107784 CPUtime=57.47
/proc/11323/stat : 11323 (pbscip.linux.x8) R 11321 11323 10844 0 -1 4202496 1692938 0 0 0 5211 536 0 0 25 0 1 0 4366148 110370816 25102 1992294400 4194304 8223781 140735242359856 18446744073709551615 6299587 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11323/statm: 26946 25102 595 984 0 25959 0
Current children cumulated CPU time (s) 57.47
Current children cumulated vsize (KiB) 107784

[startup+60.7008 s]
/proc/loadavg: 1.00 1.01 1.23 2/106 11324
/proc/meminfo: memFree=1726536/2059040 swapFree=4192956/4192956
[pid=11323] ppid=11321 vsize=107784 CPUtime=60.67
/proc/11323/stat : 11323 (pbscip.linux.x8) R 11321 11323 10844 0 -1 4202496 1836374 0 0 0 5489 578 0 0 25 0 1 0 4366148 110370816 25087 1992294400 4194304 8223781 140735242359856 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11323/statm: 26946 25102 595 984 0 25959 0
Current children cumulated CPU time (s) 60.67
Current children cumulated vsize (KiB) 107784

[startup+63.9011 s]
/proc/loadavg: 1.00 1.01 1.23 2/106 11324
/proc/meminfo: memFree=1732364/2059040 swapFree=4192956/4192956
[pid=11323] ppid=11321 vsize=104076 CPUtime=63.87
/proc/11323/stat : 11323 (pbscip.linux.x8) R 11321 11323 10844 0 -1 4202496 1878323 0 0 0 5793 594 0 0 25 0 1 0 4366148 106573824 23878 1992294400 4194304 8223781 140735242359856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11323/statm: 26019 23878 597 984 0 25032 0
Current children cumulated CPU time (s) 63.87
Current children cumulated vsize (KiB) 104076

[startup+65.5013 s]
/proc/loadavg: 1.00 1.01 1.23 2/106 11324
/proc/meminfo: memFree=1731744/2059040 swapFree=4192956/4192956
[pid=11323] ppid=11321 vsize=103024 CPUtime=65.47
/proc/11323/stat : 11323 (pbscip.linux.x8) R 11321 11323 10844 0 -1 4202496 1880899 0 0 0 5950 597 0 0 25 0 1 0 4366148 105496576 23621 1992294400 4194304 8223781 140735242359856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11323/statm: 25756 23621 602 984 0 24769 0
Current children cumulated CPU time (s) 65.47
Current children cumulated vsize (KiB) 103024

[startup+66.3014 s]
/proc/loadavg: 1.00 1.01 1.23 2/106 11324
/proc/meminfo: memFree=1731620/2059040 swapFree=4192956/4192956
[pid=11323] ppid=11321 vsize=104456 CPUtime=66.28
/proc/11323/stat : 11323 (pbscip.linux.x8) R 11321 11323 10844 0 -1 4202496 1882466 0 0 0 6028 600 0 0 25 0 1 0 4366148 106962944 23899 1992294400 4194304 8223781 140735242359856 18446744073709551615 6569982 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11323/statm: 26114 23899 602 984 0 25127 0
Current children cumulated CPU time (s) 66.28
Current children cumulated vsize (KiB) 104456

[startup+66.5014 s]
/proc/loadavg: 1.00 1.01 1.23 2/106 11324
/proc/meminfo: memFree=1731620/2059040 swapFree=4192956/4192956
[pid=11323] ppid=11321 vsize=103428 CPUtime=66.47
/proc/11323/stat : 11323 (pbscip.linux.x8) R 11321 11323 10844 0 -1 4202496 1886578 0 0 0 6046 601 0 0 25 0 1 0 4366148 105910272 23642 1992294400 4194304 8223781 140735242359856 18446744073709551615 5970348 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11323/statm: 25857 23642 602 984 0 24870 0
Current children cumulated CPU time (s) 66.47
Current children cumulated vsize (KiB) 103428

[startup+66.6014 s]
/proc/loadavg: 1.00 1.01 1.23 2/106 11324
/proc/meminfo: memFree=1731620/2059040 swapFree=4192956/4192956
[pid=11323] ppid=11321 vsize=104440 CPUtime=66.57
/proc/11323/stat : 11323 (pbscip.linux.x8) R 11321 11323 10844 0 -1 4202496 1887110 0 0 0 6055 602 0 0 25 0 1 0 4366148 106946560 23913 1992294400 4194304 8223781 140735242359856 18446744073709551615 4965313 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11323/statm: 26110 23913 602 984 0 25123 0
Current children cumulated CPU time (s) 66.57
Current children cumulated vsize (KiB) 104440

Child status: 0
Real time (s): 66.683
CPU time (s): 66.6629
CPU user time (s): 60.6268
CPU system time (s): 6.03608
CPU usage (%): 99.9698
Max. virtual memory (cumulated for all children) (KiB): 140148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 60.6268
system time used= 6.03608
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1887116
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7
involuntary context switches= 880

runsolver used 0.102984 second user time and 0.342947 second system time

The end

Launcher Data 

Begin job on node088 at 2010-06-15 21:38:46
IDJOB=2666780
IDBENCH=24975
IDSOLVER=1169
FILE ID=node088/2666780-1276630726
PBS_JOBID= 11172357
Free space on /tmp= 62564 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_021_area_delay.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666780-1276630726/watcher-2666780-1276630726 -o /tmp/evaluation-result-2666780-1276630726/solver-2666780-1276630726 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666780-1276630726.opb -t 1800 -m 1800

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

MD5SUM BENCH= 5c1765191809ee7ecd7781ce5c7fb9aa
RANDOM SEED=62071130

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1826148 kB
Buffers:          6628 kB
Cached:         102192 kB
SwapCached:          0 kB
Active:          45244 kB
Inactive:       123508 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1826148 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            5364 kB
Writeback:           8 kB
AnonPages:       59856 kB
Mapped:          15560 kB
Slab:            42624 kB
PageTables:       4080 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180720 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= 62556 MiB
End job on node088 at 2010-06-15 21:39:53