Trace number 1869624

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 NameAnswerobjCPU timeWall clock time
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)OPT24 59.8379 59.8658

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

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-1869624-1245181307/watcher-1869624-1245181307 -o /tmp/evaluation-result-1869624-1245181307/solver-1869624-1245181307 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869624-1245181307.opb 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 19039
/proc/meminfo: memFree=1815264/2055920 swapFree=4192812/4192956
[pid=19039] ppid=19037 vsize=6100 CPUtime=0
/proc/19039/stat : 19039 (pbscip.linux.x8) R 19037 19039 18894 0 -1 4194304 576 0 0 0 0 0 0 0 18 0 1 0 185729426 6246400 558 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/19039/statm: 1525 568 325 886 0 635 0

[startup+0.0992811 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 19039
/proc/meminfo: memFree=1815264/2055920 swapFree=4192812/4192956
[pid=19039] ppid=19037 vsize=17780 CPUtime=0.09
/proc/19039/stat : 19039 (pbscip.linux.x8) R 19037 19039 18894 0 -1 4194304 3771 0 0 0 8 1 0 0 18 0 1 0 185729426 18206720 3753 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/19039/statm: 4445 3753 354 886 0 3555 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17780

[startup+0.101243 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 19039
/proc/meminfo: memFree=1815264/2055920 swapFree=4192812/4192956
[pid=19039] ppid=19037 vsize=17780 CPUtime=0.09
/proc/19039/stat : 19039 (pbscip.linux.x8) R 19037 19039 18894 0 -1 4194304 3771 0 0 0 8 1 0 0 18 0 1 0 185729426 18206720 3753 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/19039/statm: 4445 3753 354 886 0 3555 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17780

[startup+0.301281 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 19039
/proc/meminfo: memFree=1815264/2055920 swapFree=4192812/4192956
[pid=19039] ppid=19037 vsize=23324 CPUtime=0.29
/proc/19039/stat : 19039 (pbscip.linux.x8) R 19037 19039 18894 0 -1 4194304 5162 0 0 0 28 1 0 0 19 0 1 0 185729426 23883776 5144 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/19039/statm: 5831 5144 354 886 0 4941 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23324

[startup+0.701362 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 19039
/proc/meminfo: memFree=1815264/2055920 swapFree=4192812/4192956
[pid=19039] ppid=19037 vsize=55388 CPUtime=0.69
/proc/19039/stat : 19039 (pbscip.linux.x8) R 19037 19039 18894 0 -1 4194304 13282 0 0 0 63 6 0 0 23 0 1 0 185729426 56717312 12910 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19039/statm: 13847 12910 432 886 0 12957 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 55388

[startup+1.50151 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19040
/proc/meminfo: memFree=1755928/2055920 swapFree=4192812/4192956
[pid=19039] ppid=19037 vsize=85000 CPUtime=1.49
/proc/19039/stat : 19039 (pbscip.linux.x8) R 19037 19039 18894 0 -1 4194304 20302 0 0 0 135 14 0 0 25 0 1 0 185729426 87040000 19635 1992294400 4194304 7823515 548682068736 18446744073709551615 6236722 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19039/statm: 21250 19635 517 886 0 20360 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 85000

[startup+3.10183 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19040
/proc/meminfo: memFree=1731160/2055920 swapFree=4192812/4192956
[pid=19039] ppid=19037 vsize=97320 CPUtime=3.09
/proc/19039/stat : 19039 (pbscip.linux.x8) R 19037 19039 18894 0 -1 4194304 23854 0 0 0 293 16 0 0 25 0 1 0 185729426 99655680 23181 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19039/statm: 24330 23181 546 886 0 23440 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 97320

[startup+6.3025 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19040
/proc/meminfo: memFree=1721048/2055920 swapFree=4192812/4192956
[pid=19039] ppid=19037 vsize=103676 CPUtime=6.29
/proc/19039/stat : 19039 (pbscip.linux.x8) R 19037 19039 18894 0 -1 4194304 25095 0 0 0 610 19 0 0 25 0 1 0 185729426 106164224 24347 1992294400 4194304 7823515 548682068736 18446744073709551615 4252331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19039/statm: 25919 24347 558 886 0 25029 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 103676

[startup+12.7017 s]
/proc/loadavg: 1.16 1.03 1.01 2/66 19040
/proc/meminfo: memFree=1717592/2055920 swapFree=4192812/4192956
[pid=19039] ppid=19037 vsize=105088 CPUtime=12.68
/proc/19039/stat : 19039 (pbscip.linux.x8) R 19037 19039 18894 0 -1 4194304 25535 0 0 0 1245 23 0 0 25 0 1 0 185729426 107610112 24776 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19039/statm: 26272 24776 558 886 0 25382 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 105088

[startup+25.5012 s]
/proc/loadavg: 1.41 1.10 1.03 2/66 19040
/proc/meminfo: memFree=1714328/2055920 swapFree=4192812/4192956
[pid=19039] ppid=19037 vsize=106472 CPUtime=25.49
/proc/19039/stat : 19039 (pbscip.linux.x8) R 19037 19039 18894 0 -1 4194304 26636 0 0 0 2517 32 0 0 25 0 1 0 185729426 109027328 25661 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19039/statm: 26618 25661 558 886 0 25728 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 106472

[startup+51.1013 s]
/proc/loadavg: 1.27 1.09 1.03 2/66 19040
/proc/meminfo: memFree=1709848/2055920 swapFree=4192812/4192956
[pid=19039] ppid=19037 vsize=137392 CPUtime=51.07
/proc/19039/stat : 19039 (pbscip.linux.x8) R 19037 19039 18894 0 -1 4194304 34103 0 0 0 5058 49 0 0 25 0 1 0 185729426 140689408 33128 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19039/statm: 34348 33128 571 886 0 33458 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 137392

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

[startup+54.3019 s]
/proc/loadavg: 1.25 1.08 1.03 2/66 19040
/proc/meminfo: memFree=1684504/2055920 swapFree=4192812/4192956
[pid=19039] ppid=19037 vsize=137392 CPUtime=54.27
/proc/19039/stat : 19039 (pbscip.linux.x8) R 19037 19039 18894 0 -1 4194304 34103 0 0 0 5376 51 0 0 25 0 1 0 185729426 140689408 33128 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19039/statm: 34348 33128 571 886 0 33458 0
Current children cumulated CPU time (s) 54.27
Current children cumulated vsize (KiB) 137392

[startup+57.5015 s]
/proc/loadavg: 1.25 1.08 1.03 2/66 19040
/proc/meminfo: memFree=1684504/2055920 swapFree=4192812/4192956
[pid=19039] ppid=19037 vsize=139980 CPUtime=57.47
/proc/19039/stat : 19039 (pbscip.linux.x8) R 19037 19039 18894 0 -1 4194304 34123 0 0 0 5693 54 0 0 25 0 1 0 185729426 143339520 33148 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19039/statm: 34995 33148 576 886 0 34105 0
Current children cumulated CPU time (s) 57.47
Current children cumulated vsize (KiB) 139980

[startup+59.1018 s]
/proc/loadavg: 1.23 1.08 1.03 2/66 19040
/proc/meminfo: memFree=1684440/2055920 swapFree=4192812/4192956
[pid=19039] ppid=19037 vsize=139980 CPUtime=59.06
/proc/19039/stat : 19039 (pbscip.linux.x8) R 19037 19039 18894 0 -1 4194304 34125 0 0 0 5851 55 0 0 25 0 1 0 185729426 143339520 33150 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19039/statm: 34995 33150 578 886 0 34105 0
Current children cumulated CPU time (s) 59.06
Current children cumulated vsize (KiB) 139980

[startup+59.5019 s]
/proc/loadavg: 1.23 1.08 1.03 2/66 19040
/proc/meminfo: memFree=1684440/2055920 swapFree=4192812/4192956
[pid=19039] ppid=19037 vsize=139980 CPUtime=59.47
/proc/19039/stat : 19039 (pbscip.linux.x8) R 19037 19039 18894 0 -1 4194304 34125 0 0 0 5891 56 0 0 25 0 1 0 185729426 143339520 33150 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19039/statm: 34995 33150 578 886 0 34105 0
Current children cumulated CPU time (s) 59.47
Current children cumulated vsize (KiB) 139980

[startup+59.7019 s]
/proc/loadavg: 1.23 1.08 1.03 2/66 19040
/proc/meminfo: memFree=1684440/2055920 swapFree=4192812/4192956
[pid=19039] ppid=19037 vsize=139980 CPUtime=59.66
/proc/19039/stat : 19039 (pbscip.linux.x8) R 19037 19039 18894 0 -1 4194304 34125 0 0 0 5910 56 0 0 25 0 1 0 185729426 143339520 33150 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19039/statm: 34995 33150 578 886 0 34105 0
Current children cumulated CPU time (s) 59.66
Current children cumulated vsize (KiB) 139980

[startup+59.802 s]
/proc/loadavg: 1.23 1.08 1.03 2/66 19040
/proc/meminfo: memFree=1684440/2055920 swapFree=4192812/4192956
[pid=19039] ppid=19037 vsize=139980 CPUtime=59.76
/proc/19039/stat : 19039 (pbscip.linux.x8) R 19037 19039 18894 0 -1 4194304 34127 0 0 0 5920 56 0 0 16 0 1 0 185729426 143339520 33152 1992294400 4194304 7823515 548682068736 18446744073709551615 5875083 0 0 4096 0 0 0 0 17 1 0 0
/proc/19039/statm: 34995 33152 580 886 0 34105 0
Current children cumulated CPU time (s) 59.76
Current children cumulated vsize (KiB) 139980

Child status: 0
Real time (s): 59.8658
CPU time (s): 59.8379
CPU user time (s): 59.245
CPU system time (s): 0.592909
CPU usage (%): 99.9535
Max. virtual memory (cumulated for all children) (KiB): 139980

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

runsolver used 0.057991 second user time and 0.169974 second system time

The end

Launcher Data

Begin job on node77 at 2009-06-16 21:41:47
IDJOB=1869624
IDBENCH=24975
IDSOLVER=683
FILE ID=node77/1869624-1245181307
PBS_JOBID= 9363946
Free space on /tmp= 66316 MiB

SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
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-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1869624-1245181307/watcher-1869624-1245181307 -o /tmp/evaluation-result-1869624-1245181307/solver-1869624-1245181307 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869624-1245181307.opb

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

MD5SUM BENCH= 5c1765191809ee7ecd7781ce5c7fb9aa
RANDOM SEED=271521012

node77.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.263
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.263
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1815680 kB
Buffers:         22772 kB
Cached:         140156 kB
SwapCached:          0 kB
Active:          53724 kB
Inactive:       122484 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1815680 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           10652 kB
Writeback:           0 kB
Mapped:          23044 kB
Slab:            50028 kB
Committed_AS:   113924 kB
PageTables:       1376 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66308 MiB
End job on node77 at 2009-06-16 21:42:47