Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | Objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| bsolo 2006/05 | SAT | 567 | 1800.06 | 1800.61 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-30:70:4.5:0.5:100.opb |
| MD5SUM | 9d611ad786b3505d4cca46af1ba2bc6d |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 116 |
| Best CPU time to get the best result obtained on this benchmark | 1800.75 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 116 |
| Optimality of the best value was proved | NO |
| Number of variables | 10772 |
| Total number of constraints | 12051 |
| Number of constraints which are clauses | 10247 |
| Number of constraints which are cardinality constraints (but not clauses) | 1804 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 31 |
| Number of terms in the objective function | 10772 |
| Biggest coefficient in the objective function | 5356 |
| Number of bits for the biggest coefficient in the objective function | 13 |
| Sum of the numbers in the objective function | 30986 |
| Number of bits of the sum of numbers in the objective function | 15 |
| Biggest number in a constraint | 5356 |
| Number of bits of the biggest number in a constraint | 13 |
| Biggest sum of numbers in a constraint | 30986 |
| Number of bits of the biggest sum of numbers | 15 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.33 c Initial problem consists of 10772 variables and 12051 constraints. 0.38 c preprocess terminated. Elapsed time: 0.371 0.38 c After prepocess the problem consists of 10766 variables and 12031 constraints. 0.38 c Initial Lower Bound: -5351 7.09 c Sol. found (all assignments made)... 7.09 o 5328 7.09 c NEW SOLUTION FOUND: 5328 @ 7.082 7.10 c Sol. found (all assignments made)... 7.12 c Sol. found (all assignments made)... 7.12 o 5327 7.12 c NEW SOLUTION FOUND: 5327 @ 7.107 7.13 c Sol. found (all assignments made)... 7.14 c Sol. found (all assignments made)... 7.14 o 5326 7.14 c NEW SOLUTION FOUND: 5326 @ 7.135 7.16 c Sol. found (all assignments made)... 7.16 c Sol. found (all assignments made)... 7.18 c Sol. found (all assignments made)... 7.20 c Sol. found (all assignments made)... 7.21 c Sol. found (all assignments made)... 7.22 c Sol. found (all assignments made)... 7.22 o 5325 7.22 c NEW SOLUTION FOUND: 5325 @ 7.21 7.24 c Sol. found (all assignments made)... 7.25 c Sol. found (all assignments made)... 7.26 c Sol. found (all assignments made)... 7.27 c Sol. found (all assignments made)... 7.28 c Sol. found (all assignments made)... 7.31 c Sol. found (all assignments made)... 7.32 c Sol. found (all assignments made)... 7.34 c Sol. found (all assignments made)... 7.35 c Sol. found (all assignments made)... 7.36 c Sol. found (all assignments made)... 7.37 c Sol. found (all assignments made)... 7.39 c Sol. found (all assignments made)... 7.44 c Sol. found (all assignments made)... 7.54 c Sol. found (all assignments made)... 7.55 c Sol. found (all assignments made)... 7.56 c Sol. found (all assignments made)... 7.57 c Sol. found (all assignments made)... 7.59 c Sol. found (all assignments made)... 7.60 c Sol. found (all assignments made)... 7.62 c Sol. found (all assignments made)... 7.63 c Sol. found (all assignments made)... 7.65 c Sol. found (all assignments made)... 7.66 c Sol. found (all assignments made)... 7.67 c Sol. found (all assignments made)... 7.68 c Sol. found (all assignments made)... 7.71 c Sol. found (all assignments made)... 7.72 c Sol. found (all assignments made)... 7.75 c Sol. found (all assignments made)... 7.78 c Sol. found (all assignments made)... 7.81 c Sol. found (all assignments made)... 7.85 c Sol. found (all assignments made)... 7.86 c Sol. found (all assignments made)... 7.87 c Sol. found (all assignments made)... 7.88 c Sol. found (all assignments made)... 7.91 c Sol. found (all assignments made)... 7.92 c Sol. found (all assignments made)... 7.95 c Sol. found (all assignments made)... 7.96 c Sol. found (all assignments made)... 7.99 c Sol. found (all assignments made)... 8.00 c Sol. found (all assignments made)... 8.12 c Sol. found (all assignments made)... 8.13 c Sol. found (all assignments made)... 8.14 c Sol. found (all assignments made)... 8.15 c Sol. found (all assignments made)... 8.22 c Sol. found (all assignments made)... 8.22 o 5324 8.22 c NEW SOLUTION FOUND: 5324 @ 8.214 8.30 c Sol. found (all assignments made)... 8.31 c Sol. found (all assignments made)... 8.32 c Sol. found (all assignments made)... 8.33 c Sol. found (all assignments made)... 8.40 c Sol. found (all assignments made)... 8.41 c Sol. found (all assignments made)... 8.42 c Sol. found (all assignments made)... 8.43 c Sol. found (all assignments made)... 8.45 c Sol. found (all assignments made)... 8.46 c Sol. found (all assignments made)... 8.48 c Sol. found (all assignments made)... 8.49 c Sol. found (all assignments made)... 8.50 c Sol. found (all assignments made)... 8.51 c Sol. found (all assignments made)... 8.56 c Sol. found (all assignments made)... 8.57 c Sol. found (all assignments made)... 8.59 c Sol. found (all assignments made)... 8.60 c Sol. found (all assignments made)... 8.63 c Sol. found (all assignments made)... 8.64 c Sol. found (all assignments made)... 8.65 c Sol. found (all assignments made)... 8.66 c Sol. found (all assignments made)... 8.69 c Sol. found (all assignments made)... 8.70 c Sol. found (all assignments made)... 8.72 c Sol. found (all assignments made)... 8.72 c Sol. found (all assignments made)... 8.74 c Sol. found (all assignments made)... 8.75 c Sol. found (all assignments made)... 8.78 c Sol. found (all assignments made)... 8.79 c Sol. found (all assignments made)... 8.80 c Sol. found (all assignments made)... 8.81 c Sol. found (all assignments made)... 8.83 c Sol. found (all assignments made)... 8.84 c Sol. found (all assignments made)... 8.86 c Sol. found (all assignments made)... 8.87 c Sol. found (all assignments made)... 8.89 c Sol. found (all assignments made)... 8.89 c Sol. found (all assignments made)... 8.92 c Sol. found (all assignments made)... 8.93 c Sol. found (all assignments made)... 8.98 c Sol. found (all assignments made)... 8.99 c Sol. found (all assignments made)... 9.01 c Sol. found (all assignments made)... 9.01 c Sol. found (all assignments made)... 9.03 c Sol. found (all assignments made)... 9.04 c Sol. found (all assignments made)... 9.08 c Sol. found (all assignments made)... 9.08 o 5322 9.08 c NEW SOLUTION FOUND: 5322 @ 9.074 9.13 c Sol. found (all assignments made)... 9.14 c Sol. found (all assignments made)... 9.22 c Sol. found (all assignments made)... 9.27 c Sol. found (all assignments made)... 9.28 c Sol. found (all assignments made)... 9.29 c Sol. found (all assignments made)... 9.31 c Sol. found (all assignments made)... 9.32 c Sol. found (all assignments made)... 9.33 c Sol. found (all assignments made)... 9.34 c Sol. found (all assignments made)... 9.36 c Sol. found (all assignments made)... 9.37 c Sol. found (all assignments made)... 9.40 c Sol. found (all assignments made)... 9.41 c Sol. found (all assignments made)... 9.42 c Sol. found (all assignments made)... 9.46 c Sol. found (all assignments made)... 9.47 c Sol. found (all assignments made)... 9.48 c Sol. found (all assignments made)... 9.51 c Sol. found (all assignments made)... 9.52 c Sol. found (all assignments made)... 9.53 c Sol. found (all assignments made)... 9.55 c Sol. found (all assignments made)... 9.56 c Sol. found (all assignments made)... 9.58 c Sol. found (all assignments made)... 9.58 c Sol. found (all assignments made)... 9.60 c Sol. found (all assignments made)... 9.61 c Sol. found (all assignments made)... 9.64 c Sol. found (all assignments made)... 9.65 c Sol. found (all assignments made)... 9.66 c Sol. found (all assignments made)... 9.69 c Sol. found (all assignments made)... 9.70 c Sol. found (all assignments made)... 9.71 c Sol. found (all assignments made)... 9.74 c Sol. found (all assignments made)... 9.75 c Sol. found (all assignments made)... 9.76 c Sol. found (all assignments made)... 9.78 c Sol. found (all assignments made)... 9.79 c Sol. found (all assignments made)... 9.82 c Sol. found (all assignments made)... 9.83 c Sol. found (all assignments made)... 9.84 c Sol. found (all assignments made)... 9.87 c Sol. found (all assignments made)... 9.88 c Sol. found (all assignments made)... 9.89 c Sol. found (all assignments made)... 9.96 c Sol. found (all assignments made)... 9.96 o 5321 9.96 c NEW SOLUTION FOUND: 5321 @ 9.948 10.01 c Sol. found (all assignments made)... 10.02 c Sol. found (all assignments made)... 10.10 c Sol. found (all assignments made)... 10.38 c Sol. found (all assignments made)... 10.44 c Sol. found (all assignments made)... 10.45 c Sol. found (all assignments made)... 10.46 c Sol. found (all assignments made)... 10.49 c Sol. found (all assignments made)... 10.50 c Sol. found (all assignments made)... 10.51 c Sol. found (all assignments made)... 10.53 c Sol. found (all assignments made)... 10.54 c Sol. found (all assignments made)... 10.55 c Sol. found (all assignments made)... 10.59 c Sol. found (all assignments made)... 10.69 c Sol. found (all assignments made)... 10.70 c Sol. found (all assignments made)... 10.71 c Sol. found (all assignments made)... 10.73 c Sol. found (all assignments made)... 10.74 c Sol. found (all assignments made)... 10.75 c Sol. found (all assignments made)... 10.77 c Sol. found (all assignments made)... 10.78 c Sol. found (all assignments made)... 10.79 c Sol. found (all assignments made)... 10.83 c Sol. found (all assignments made)... 11.44 c Sol. found (all assignments made)... 11.45 c Sol. found (all assignments made)... 11.46 c Sol. found (all assignments made)... 11.48 c Sol. found (all assignments made)... 12.21 c Restart #1 #Var: 10766 LB: -5351 @ 12.19 20.86 c Sol. found (all assignments made)... 20.86 o 1222 20.86 c NEW SOLUTION FOUND: 1222 @ 20.818 20.87 c Sol. found (all assignments made)... 20.88 c Sol. found (all assignments made)... 20.88 o 1221 20.88 c NEW SOLUTION FOUND: 1221 @ 20.838 20.90 c Sol. found (all assignments made)... 20.91 c Sol. found (all assignments made)... 20.93 c Sol. found (all assignments made)... 20.93 c Sol. found (all assignments made)... 20.93 o 1220 20.93 c NEW SOLUTION FOUND: 1220 @ 20.887 20.95 c Sol. found (all assignments made)... 20.96 c Sol. found (all assignments made)... 20.98 c Sol. found (all assignments made)... 21.00 c Sol. found (all assignments made)... 21.02 c Sol. found (all assignments made)... 21.02 c Sol. found (all assignments made)... 21.05 c Sol. found (all assignments made)... 21.06 c Sol. found (all assignments made)... 21.07 c Sol. found (all assignments made)... 21.08 c Sol. found (all assignments made)... 21.11 c Sol. found (all assignments made)... 21.11 o 1219 21.11 c NEW SOLUTION FOUND: 1219 @ 21.065 21.12 c Sol. found (all assignments made)... 21.13 c Sol. found (all assignments made)... 21.15 c Sol. found (all assignments made)... 21.16 c Sol. found (all assignments made)... 21.17 c Sol. found (all assignments made)... 21.18 c Sol. found (all assignments made)... 21.20 c Sol. found (all assignments made)... 21.21 c Sol. found (all assignments made)... 21.23 c Sol. found (all assignments made)... 21.24 c Sol. found (all assignments made)... 21.27 c Sol. found (all assignments made)... 21.27 c Sol. found (all assignments made)... 21.29 c Sol. found (all assignments made)... 21.30 c Sol. found (all assignments made)... 21.32 c Sol. found (all assignments made)... 21.33 c Sol. found (all assignments made)... 21.36 c Sol. found (all assignments made)... 21.37 c Sol. found (all assignments made)... 21.44 c Sol. found (all assignments made)... 21.45 c Sol. found (all assignments made)... 21.48 c Sol. found (all assignments made)... 21.49 c Sol. found (all assignments made)... 21.51 c Sol. found (all assignments made)... 21.52 c Sol. found (all assignments made)... 21.55 c Sol. found (all assignments made)... 21.56 c Sol. found (all assignments made)... 21.59 c Sol. found (all assignments made)... 21.60 c Sol. found (all assignments made)... 21.62 c Sol. found (all assignments made)... 21.63 c Sol. found (all assignments made)... 21.66 c Sol. found (all assignments made)... 21.67 c Sol. found (all assignments made)... 21.69 c Sol. found (all assignments made)... 21.70 c Sol. found (all assignments made)... 21.71 c Sol. found (all assignments made)... 21.72 c Sol. found (all assignments made)... 21.74 c Sol. found (all assignments made)... 21.75 c Sol. found (all assignments made)... 21.78 c Sol. found (all assignments made)... 21.78 c Sol. found (all assignments made)... 21.81 c Sol. found (all assignments made)... 21.82 c Sol. found (all assignments made)... 21.84 c Sol. found (all assignments made)... 21.84 o 1218 21.84 c NEW SOLUTION FOUND: 1218 @ 21.79 21.85 c Sol. found (all assignments made)... 21.85 c Sol. found (all assignments made)... 21.89 c Sol. found (all assignments made)... 21.90 c Sol. found (all assignments made)... 21.92 c Sol. found (all assignments made)... 21.93 c Sol. found (all assignments made)... 21.95 c Sol. found (all assignments made)... 21.96 c Sol. found (all assignments made)... 21.98 c Sol. found (all assignments made)... 21.99 c Sol. found (all assignments made)... 22.01 c Sol. found (all assignments made)... 22.01 c Sol. found (all assignments made)... 22.07 c Sol. found (all assignments made)... 22.07 c Sol. found (all assignments made)... 22.11 c Sol. found (all assignments made)... 22.12 c Sol. found (all assignments made)... 22.14 c Sol. found (all assignments made)... 22.15 c Sol. found (all assignments made)... 22.17 c Sol. found (all assignments made)... 22.18 c Sol. found (all assignments made)... 22.20 c Sol. found (all assignments made)... 22.21 c Sol. found (all assignments made)... 22.23 c Sol. found (all assignments made)... 22.24 c Sol. found (all assignments made)... 22.27 c Sol. found (all assignments made)... 22.28 c Sol. found (all assignments made)... 22.30 c Sol. found (all assignments made)... 22.30 c Sol. found (all assignments made)... 22.33 c Sol. found (all assignments made)... 22.34 c Sol. found (all assignments made)... 22.36 c Sol. found (all assignments made)... 22.36 c Sol. found (all assignments made)... 22.41 c Sol. found (all assignments made)... 22.42 c Sol. found (all assignments made)... 22.52 c Sol. found (all assignments made)... 22.53 c Sol. found (all assignments made)... 22.56 c Sol. found (all assignments made)... 22.56 c Sol. found (all assignments made)... 22.59 c Sol. found (all assignments made)... 22.60 c Sol. found (all assignments made)... 22.62 c Sol. found (all assignments made)... 22.63 c Sol. found (all assignments made)... 22.65 c Sol. found (all assignments made)... 22.66 c Sol. found (all assignments made)... 22.70 c Sol. found (all assignments made)... 22.71 c Sol. found (all assignments made)... 22.74 c Sol. found (all assignments made)... 22.74 c Sol. found (all assignments made)... 22.77 c Sol. found (all assignments made)... 22.77 c Sol. found (all assignments made)... 22.82 c Sol. found (all assignments made)... 22.82 c Sol. found (all assignments made)... 22.85 c Sol. found (all assignments made)... 22.85 c Sol. found (all assignments made)... 22.88 c Sol. found (all assignments made)... 22.88 c Sol. found (all assignments made)... 22.91 c Sol. found (all assignments made)... 22.92 c Sol. found (all assignments made)... 22.94 c Sol. found (all assignments made)... 22.95 c Sol. found (all assignments made)... 22.97 c Sol. found (all assignments made)... 22.98 c Sol. found (all assignments made)... 23.00 c Sol. found (all assignments made)... 23.01 c Sol. found (all assignments made)... 23.05 c Sol. found (all assignments made)... 23.06 c Sol. found (all assignments made)... 23.08 c Sol. found (all assignments made)... 23.09 c Sol. found (all assignments made)... 23.11 c Sol. found (all assignments made)... 23.12 c Sol. found (all assignments made)... 23.30 c Sol. found (all assignments made)... 23.30 c Sol. found (all assignments made)... 23.33 c Sol. found (all assignments made)... 23.34 c Sol. found (all assignments made)... 23.36 c Sol. found (all assignments made)... 23.37 c Sol. found (all assignments made)... 23.44 c Sol. found (all assignments made)... 23.76 c Restart #2 #Var: 10766 LB: -5351 @ 23.686 34.24 c Sol. found (all assignments made)... 34.24 o 907 34.24 c NEW SOLUTION FOUND: 907 @ 34.161 34.25 c Sol. found (all assignments made)... 34.25 o 906 34.25 c NEW SOLUTION FOUND: 906 @ 34.174 34.27 c Sol. found (all assignments made)... 34.29 c Sol. found (all assignments made)... 34.29 o 905 34.29 c NEW SOLUTION FOUND: 905 @ 34.211 34.30 c Sol. found (all assignments made)... 34.31 c Sol. found (all assignments made)... 34.31 c Sol. found (all assignments made)... 34.33 c Sol. found (all assignments made)... 34.35 c Sol. found (all assignments made)... 34.37 c Sol. found (all assignments made)... 34.37 c Sol. found (all assignments made)... 34.38 c Sol. found (all assignments made)... 34.38 c Sol. found (all assignments made)... 34.44 c Sol. found (all assignments made)... 34.46 c Sol. found (all assignments made)... 34.47 c Sol. found (all assignments made)... 34.49 c Sol. found (all assignments made)... 34.51 c Sol. found (all assignments made)... 34.53 c Sol. found (all assignments made)... 34.55 c Sol. found (all assignments made)... 34.57 c Sol. found (all assignments made)... 34.61 c Sol. found (all assignments made)... 34.61 o 903 34.61 c NEW SOLUTION FOUND: 903 @ 34.526 34.63 c Sol. found (all assignments made)... 34.64 c Sol. found (all assignments made)... 34.66 c Sol. found (all assignments made)... 34.68 c Sol. found (all assignments made)... 34.68 o 902 34.68 c NEW SOLUTION FOUND: 902 @ 34.601 34.70 c Sol. found (all assignments made)... 34.72 c Sol. found (all assignments made)... 34.74 c Sol. found (all assignments made)... 34.79 c Sol. found (all assignments made)... 34.80 c Sol. found (all assignments made)... 34.81 c Sol. found (all assignments made)... 34.81 c Sol. found (all assignments made)... 34.87 c Sol. found (all assignments made)... 34.88 c Sol. found (all assignments made)... 34.89 c Sol. found (all assignments made)... 34.89 c Sol. found (all assignments made)... 34.91 c Sol. found (all assignments made)... 34.91 o 901 34.91 c NEW SOLUTION FOUND: 901 @ 34.831 34.92 c Sol. found (all assignments made)... 34.93 c Sol. found (all assignments made)... 34.94 c Sol. found (all assignments made)... 35.12 c Sol. found (all assignments made)... 35.13 c Sol. found (all assignments made)... 35.14 c Sol. found (all assignments made)... 35.14 c Sol. found (all assignments made)... 35.50 c Sol. found (all assignments made)... 35.51 c Sol. found (all assignments made)... 35.52 c Sol. found (all assignments made)... 35.52 c Sol. found (all assignments made)... 35.54 c Sol. found (all assignments made)... 35.54 c Sol. found (all assignments made)... 35.55 c Sol. found (all assignments made)... 35.56 c Sol. found (all assignments made)... 35.61 c Sol. found (all assignments made)... 35.62 c Sol. found (all assignments made)... 35.63 c Sol. found (all assignments made)... 35.63 c Sol. found (all assignments made)... 35.89 c Sol. found (all assignments made)... 35.90 c Sol. found (all assignments made)... 35.91 c Sol. found (all assignments made)... 35.91 c Sol. found (all assignments made)... 36.02 c Sol. found (all assignments made)... 36.02 o 900 36.02 c NEW SOLUTION FOUND: 900 @ 35.938 36.03 c Sol. found (all assignments made)... 36.04 c Sol. found (all assignments made)... 36.04 c Sol. found (all assignments made)... 36.06 c Sol. found (all assignments made)... 36.06 o 899 36.06 c NEW SOLUTION FOUND: 899 @ 35.974 36.06 c Sol. found (all assignments made)... 36.07 c Sol. found (all assignments made)... 36.08 c Sol. found (all assignments made)... 36.14 c Sol. found (all assignments made)... 36.15 c Sol. found (all assignments made)... 36.16 c Sol. found (all assignments made)... 36.16 c Sol. found (all assignments made)... 36.20 c Sol. found (all assignments made)... 36.21 c Sol. found (all assignments made)... 36.22 c Sol. found (all assignments made)... 36.22 c Sol. found (all assignments made)... 36.43 c Sol. found (all assignments made)... 36.43 c Sol. found (all assignments made)... 36.44 c Sol. found (all assignments made)... 36.45 c Sol. found (all assignments made)... 36.75 c Sol. found (all assignments made)... 36.76 c Sol. found (all assignments made)... 36.77 c Sol. found (all assignments made)... 36.78 c Sol. found (all assignments made)... 37.15 c Sol. found (all assignments made)... 37.15 c Sol. found (all assignments made)... 37.16 c Sol. found (all assignments made)... 37.17 c Sol. found (all assignments made)... 37.18 c Sol. found (all assignments made)... 37.18 o 898 37.18 c NEW SOLUTION FOUND: 898 @ 37.098 37.19 c Sol. found (all assignments made)... 37.20 c Sol. found (all assignments made)... 37.20 c Sol. found (all assignments made)... 37.27 c Sol. found (all assignments made)... 37.27 c Sol. found (all assignments made)... 37.28 c Sol. found (all assignments made)... 37.29 c Sol. found (all assignments made)... 37.31 c Sol. found (all assignments made)... 37.32 c Sol. found (all assignments made)... 37.33 c Sol. found (all assignments made)... 37.33 c Sol. found (all assignments made)... 37.35 c Sol. found (all assignments made)... 37.35 o 897 37.35 c NEW SOLUTION FOUND: 897 @ 37.263 37.35 c Sol. found (all assignments made)... 37.36 c Sol. found (all assignments made)... 37.37 c Sol. found (all assignments made)... 37.43 c Sol. found (all assignments made)... 37.44 c Sol. found (all assignments made)... 37.45 c Sol. found (all assignments made)... 37.45 c Sol. found (all assignments made)... 37.66 c Sol. found (all assignments made)... 37.67 c Sol. found (all assignments made)... 37.68 c Sol. found (all assignments made)... 37.68 c Sol. found (all assignments made)... 38.01 c Sol. found (all assignments made)... 38.01 c Sol. found (all assignments made)... 38.02 c Sol. found (all assignments made)... 38.03 c Sol. found (all assignments made)... 38.71 c Sol. found (all assignments made)... 38.71 c Sol. found (all assignments made)... 38.72 c Sol. found (all assignments made)... 38.73 c Sol. found (all assignments made)... 38.78 c Sol. found (all assignments made)... 38.79 c Sol. found (all assignments made)... 38.80 c Sol. found (all assignments made)... 38.80 c Sol. found (all assignments made)... 38.85 c Sol. found (all assignments made)... 38.85 c Sol. found (all assignments made)... 38.86 c Sol. found (all assignments made)... 38.87 c Sol. found (all assignments made)... 38.89 c Sol. found (all assignments made)... 38.90 c Sol. found (all assignments made)... 38.91 c Sol. found (all assignments made)... 38.91 c Sol. found (all assignments made)... 39.08 c Sol. found (all assignments made)... 39.09 c Sol. found (all assignments made)... 39.10 c Sol. found (all assignments made)... 39.10 c Sol. found (all assignments made)... 39.93 c Sol. found (all assignments made)... 39.94 c Sol. found (all assignments made)... 39.95 c Sol. found (all assignments made)... 39.96 c Sol. found (all assignments made)... 40.00 c Sol. found (all assignments made)... 40.01 c Sol. found (all assignments made)... 40.02 c Sol. found (all assignments made)... 40.02 c Sol. found (all assignments made)... 40.05 c Sol. found (all assignments made)... 40.05 c Sol. found (all assignments made)... 40.06 c Sol. found (all assignments made)... 40.07 c Sol. found (all assignments made)... 40.54 c Restart #3 #Var: 10766 LB: -5351 @ 40.456 53.43 c Restart #4 #Var: 10766 LB: -5351 @ 53.339 61.57 c Sol. found (all assignments made)... 61.57 o 858 61.57 c NEW SOLUTION FOUND: 858 @ 61.478 61.58 c Sol. found (all assignments made)... 61.58 o 855 61.58 c NEW SOLUTION FOUND: 855 @ 61.486 61.60 c Sol. found (all assignments made)... 61.60 o 848 61.60 c NEW SOLUTION FOUND: 848 @ 61.51 61.61 c Sol. found (all assignments made)... 61.63 c Sol. found (all assignments made)... 61.63 o 845 61.63 c NEW SOLUTION FOUND: 845 @ 61.537 61.64 c Sol. found (all assignments made)... 61.67 c Sol. found (all assignments made)... 61.67 o 843 61.67 c NEW SOLUTION FOUND: 843 @ 61.577 61.68 c Sol. found (all assignments made)... 61.69 c Sol. found (all assignments made)... 61.70 c Sol. found (all assignments made)... 61.71 c Sol. found (all assignments made)... 61.74 c Sol. found (all assignments made)... 61.76 c Sol. found (all assignments made)... 61.77 c Sol. found (all assignments made)... 61.78 c Sol. found (all assignments made)... 61.80 c Sol. found (all assignments made)... 61.82 c Sol. found (all assignments made)... 61.83 c Sol. found (all assignments made)... 61.84 c Sol. found (all assignments made)... 61.88 c Sol. found (all assignments made)... 61.90 c Sol. found (all assignments made)... 61.91 c Sol. found (all assignments made)... 61.92 c Sol. found (all assignments made)... 61.94 c Sol. found (all assignments made)... 61.96 c Sol. found (all assignments made)... 61.97 c Sol. found (all assignments made)... 61.98 c Sol. found (all assignments made)... 62.00 c Sol. found (all assignments made)... 62.02 c Sol. found (all assignments made)... 62.05 c Sol. found (all assignments made)... 62.12 c Sol. found (all assignments made)... 62.15 c Sol. found (all assignments made)... 62.18 c Sol. found (all assignments made)... 62.19 c Sol. found (all assignments made)... 62.22 c Sol. found (all assignments made)... 62.24 c Sol. found (all assignments made)... 62.25 c Sol. found (all assignments made)... 62.28 c Sol. found (all assignments made)... 62.32 c Sol. found (all assignments made)... 62.34 c Sol. found (all assignments made)... 62.35 c Sol. found (all assignments made)... 62.38 c Sol. found (all assignments made)... 62.40 c Sol. found (all assignments made)... 62.41 c Sol. found (all assignments made)... 62.44 c Sol. found (all assignments made)... 62.47 c Sol. found (all assignments made)... 62.49 c Sol. found (all assignments made)... 62.51 c Sol. found (all assignments made)... 62.56 c Sol. found (all assignments made)... 62.57 c Sol. found (all assignments made)... 62.59 c Sol. found (all assignments made)... 62.60 c Sol. found (all assignments made)... 62.63 c Sol. found (all assignments made)... 62.64 c Sol. found (all assignments made)... 62.66 c Sol. found (all assignments made)... 62.67 c Sol. found (all assignments made)... 62.67 c Sol. found (all assignments made)... 62.67 o 842 62.67 c NEW SOLUTION FOUND: 842 @ 62.585 62.70 c Sol. found (all assignments made)... 62.71 c Sol. found (all assignments made)... 62.72 c Sol. found (all assignments made)... 62.73 c Sol. found (all assignments made)... 62.76 c Sol. found (all assignments made)... 62.77 c Sol. found (all assignments made)... 62.79 c Sol. found (all assignments made)... 62.79 c Sol. found (all assignments made)... 62.84 c Sol. found (all assignments made)... 62.86 c Sol. found (all assignments made)... 62.87 c Sol. found (all assignments made)... 62.89 c Sol. found (all assignments made)... 62.91 c Sol. found (all assignments made)... 62.92 c Sol. found (all assignments made)... 62.95 c Sol. found (all assignments made)... 62.97 c Sol. found (all assignments made)... 62.98 c Sol. found (all assignments made)... 62.99 c Sol. found (all assignments made)... 63.01 c Sol. found (all assignments made)... 63.02 c Sol. found (all assignments made)... 63.03 c Sol. found (all assignments made)... 63.04 c Sol. found (all assignments made)... 63.07 c Sol. found (all assignments made)... 63.08 c Sol. found (all assignments made)... 63.09 c Sol. found (all assignments made)... 63.10 c Sol. found (all assignments made)... 63.13 c Sol. found (all assignments made)... 63.14 c Sol. found (all assignments made)... 63.15 c Sol. found (all assignments made)... 63.16 c Sol. found (all assignments made)... 63.18 c Sol. found (all assignments made)... 63.20 c Sol. found (all assignments made)... 63.21 c Sol. found (all assignments made)... 63.22 c Sol. found (all assignments made)... 63.24 c Sol. found (all assignments made)... 63.25 c Sol. found (all assignments made)... 63.27 c Sol. found (all assignments made)... 63.27 c Sol. found (all assignments made)... 63.52 c Sol. found (all assignments made)... 63.53 c Sol. found (all assignments made)... 63.54 c Sol. found (all assignments made)... 63.55 c Sol. found (all assignments made)... 63.58 c Sol. found (all assignments made)... 63.64 c Sol. found (all assignments made)... 63.74 c Sol. found (all assignments made)... 63.76 c Sol. found (all assignments made)... 63.86 c Sol. found (all assignments made)... 63.87 c Sol. found (all assignments made)... 63.94 c Sol. found (all assignments made)... 64.04 c Sol. found (all assignments made)... 64.05 c Sol. found (all assignments made)... 64.37 c Sol. found (all assignments made)... 64.54 c Sol. found (all assignments made)... 64.63 c Sol. found (all assignments made)... 64.79 c Sol. found (all assignments made)... 65.14 c Sol. found (all assignments made)... 65.15 c Sol. found (all assignments made)... 65.22 c Sol. found (all assignments made)... 65.32 c Sol. found (all assignments made)... 65.33 c Sol. found (all assignments made)... 65.37 c Sol. found (all assignments made)... 65.39 c Sol. found (all assignments made)... 65.40 c Sol. found (all assignments made)... 65.43 c Sol. found (all assignments made)... 65.46 c Sol. found (all assignments made)... 65.48 c Sol. found (all assignments made)... 65.48 c Sol. found (all assignments made)... 65.50 c Sol. found (all assignments made)... 65.51 c Sol. found (all assignments made)... 65.55 c Sol. found (all assignments made)... 65.60 c Sol. found (all assignments made)... 65.64 c Sol. found (all assignments made)... 65.68 c Sol. found (all assignments made)... 65.70 c Sol. found (all assignments made)... 65.72 c Sol. found (all assignments made)... 65.73 c Sol. found (all assignments made)... 65.75 c Sol. found (all assignments made)... 65.76 c Sol. found (all assignments made)... 65.80 c Sol. found (all assignments made)... 65.82 c Sol. found (all assignments made)... 65.83 c Sol. found (all assignments made)... 65.86 c Sol. found (all assignments made)... 65.88 c Sol. found (all assignments made)... 65.90 c Sol. found (all assignments made)... 65.91 c Sol. found (all assignments made)... 65.93 c Sol. found (all assignments made)... 65.94 c Sol. found (all assignments made)... 65.98 c Sol. found (all assignments made)... 66.03 c Sol. found (all assignments made)... 66.07 c Sol. found (all assignments made)... 66.10 c Sol. found (all assignments made)... 66.13 c Sol. found (all assignments made)... 66.15 c Sol. found (all assignments made)... 66.16 c Sol. found (all assignments made)... 66.18 c Sol. found (all assignments made)... 66.19 c Sol. found (all assignments made)... 66.24 c Sol. found (all assignments made)... 66.28 c Sol. found (all assignments made)... 66.31 c Sol. found (all assignments made)... 66.33 c Sol. found (all assignments made)... 66.41 c Sol. found (all assignments made)... 66.47 c Sol. found (all assignments made)... 66.51 c Sol. found (all assignments made)... 66.54 c Sol. found (all assignments made)... 66.58 c Sol. found (all assignments made)... 66.58 c Sol. found (all assignments made)... 66.62 c Sol. found (all assignments made)... 66.64 c Sol. found (all assignments made)... 66.68 c Sol. found (all assignments made)... 66.69 c Sol. found (all assignments made)... 66.73 c Sol. found (all assignments made)... 66.78 c Sol. found (all assignments made)... 66.80 c Sol. found (all assignments made)... 66.85 c Sol. found (all assignments made)... 66.87 c Sol. found (all assignments made)... 66.90 c Sol. found (all assignments made)... 66.93 c Sol. found (all assignments made)... 66.97 c Sol. found (all assignments made)... 66.98 c Sol. found (all assignments made)... 67.02 c Sol. found (all assignments made)... 67.03 c Sol. found (all assignments made)... 67.07 c Sol. found (all assignments made)... 67.08 c Sol. found (all assignments made)... 67.12 c Sol. found (all assignments made)... 67.17 c Sol. found (all assignments made)... 67.19 c Sol. found (all assignments made)... 67.20 c Sol. found (all assignments made)... 67.25 c Sol. found (all assignments made)... 67.26 c Sol. found (all assignments made)... 67.30 c Sol. found (all assignments made)... 67.31 c Sol. found (all assignments made)... 67.35 c Sol. found (all assignments made)... 67.40 c Sol. found (all assignments made)... 67.43 c Sol. found (all assignments made)... 67.46 c Sol. found (all assignments made)... 67.50 c Sol. found (all assignments made)... 67.51 c Sol. found (all assignments made)... 67.54 c Sol. found (all assignments made)... 67.56 c Sol. found (all assignments made)... 67.57 c Sol. found (all assignments made)... 67.62 c Sol. found (all assignments made)... 67.65 c Sol. found (all assignments made)... 67.68 c Sol. found (all assignments made)... 67.84 c Sol. found (all assignments made)... 67.92 c Sol. found (all assignments made)... 68.05 c Sol. found (all assignments made)... 68.06 c Sol. found (all assignments made)... 68.11 c Sol. found (all assignments made)... 68.13 c Sol. found (all assignments made)... 68.15 c Sol. found (all assignments made)... 68.17 c Sol. found (all assignments made)... 68.19 c Sol. found (all assignments made)... 68.27 c Sol. found (all assignments made)... 68.28 c Sol. found (all assignments made)... 68.58 c Restart #5 #Var: 10766 LB: -5351 @ 68.492 75.42 c Sol. found (all assignments made)... 75.42 o 678 75.42 c NEW SOLUTION FOUND: 678 @ 75.327 75.43 c Sol. found (all assignments made)... 75.43 c Sol. found (all assignments made)... 75.45 c Sol. found (all assignments made)... 75.45 o 674 75.45 c NEW SOLUTION FOUND: 674 @ 75.358 75.47 c Sol. found (all assignments made)... 75.49 c Sol. found (all assignments made)... 75.50 c Sol. found (all assignments made)... 75.53 c Sol. found (all assignments made)... 75.53 o 672 75.53 c NEW SOLUTION FOUND: 672 @ 75.441 75.55 c Sol. found (all assignments made)... 75.60 c Sol. found (all assignments made)... 75.63 c Sol. found (all assignments made)... 75.68 c Sol. found (all assignments made)... 75.68 o 669 75.68 c NEW SOLUTION FOUND: 669 @ 75.583 75.76 c Sol. found (all assignments made)... 75.76 o 667 75.76 c NEW SOLUTION FOUND: 667 @ 75.671 76.67 c Sol. found (all assignments made)... 78.00 c Sol. found (all assignments made)... 78.05 c Sol. found (all assignments made)... 80.88 c Sol. found (all assignments made)... 82.36 c Restart #6 #Var: 10766 LB: -5351 @ 82.266 110.32 c Restart #7 #Var: 10766 LB: -5351 @ 110.22 115.50 c Sol. found (all assignments made)... 115.50 o 585 115.50 c NEW SOLUTION FOUND: 585 @ 115.4 115.51 c Sol. found (all assignments made)... 115.52 c Sol. found (all assignments made)... 115.52 o 583 115.52 c NEW SOLUTION FOUND: 583 @ 115.42 115.54 c Sol. found (all assignments made)... 115.55 c Sol. found (all assignments made)... 115.57 c Sol. found (all assignments made)... 115.58 c Sol. found (all assignments made)... 115.60 c Sol. found (all assignments made)... 115.62 c Sol. found (all assignments made)... 115.62 o 581 115.62 c NEW SOLUTION FOUND: 581 @ 115.52 115.63 c Sol. found (all assignments made)... 115.63 o 579 115.63 c NEW SOLUTION FOUND: 579 @ 115.53 115.65 c Sol. found (all assignments made)... 115.66 c Sol. found (all assignments made)... 115.69 c Sol. found (all assignments made)... 115.70 c Sol. found (all assignments made)... 115.72 c Sol. found (all assignments made)... 115.74 c Sol. found (all assignments made)... 115.75 c Sol. found (all assignments made)... 115.75 o 578 115.75 c NEW SOLUTION FOUND: 578 @ 115.65 115.77 c Sol. found (all assignments made)... 115.78 c Sol. found (all assignments made)... 115.81 c Sol. found (all assignments made)... 115.82 c Sol. found (all assignments made)... 115.84 c Sol. found (all assignments made)... 115.86 c Sol. found (all assignments made)... 115.87 c Sol. found (all assignments made)... 115.87 o 576 115.87 c NEW SOLUTION FOUND: 576 @ 115.77 115.89 c Sol. found (all assignments made)... 115.90 c Sol. found (all assignments made)... 115.92 c Sol. found (all assignments made)... 115.93 c Sol. found (all assignments made)... 115.96 c Sol. found (all assignments made)... 115.97 c Sol. found (all assignments made)... 116.00 c Sol. found (all assignments made)... 116.01 c Sol. found (all assignments made)... 116.04 c Sol. found (all assignments made)... 116.06 c Sol. found (all assignments made)... 116.09 c Sol. found (all assignments made)... 116.10 c Sol. found (all assignments made)... 116.13 c Sol. found (all assignments made)... 116.14 c Sol. found (all assignments made)... 116.16 c Sol. found (all assignments made)... 116.18 c Sol. found (all assignments made)... 116.21 c Sol. found (all assignments made)... 116.23 c Sol. found (all assignments made)... 116.26 c Sol. found (all assignments made)... 116.27 c Sol. found (all assignments made)... 116.30 c Sol. found (all assignments made)... 116.32 c Sol. found (all assignments made)... 116.50 c Sol. found (all assignments made)... 116.51 c Sol. found (all assignments made)... 116.55 c Sol. found (all assignments made)... 116.57 c Sol. found (all assignments made)... 116.58 c Sol. found (all assignments made)... 116.61 c Sol. found (all assignments made)... 116.62 c Sol. found (all assignments made)... 116.64 c Sol. found (all assignments made)... 116.66 c Sol. found (all assignments made)... 116.67 c Sol. found (all assignments made)... 116.67 o 575 116.67 c NEW SOLUTION FOUND: 575 @ 116.56 116.69 c Sol. found (all assignments made)... 116.70 c Sol. found (all assignments made)... 116.72 c Sol. found (all assignments made)... 116.73 c Sol. found (all assignments made)... 116.76 c Sol. found (all assignments made)... 116.83 c Sol. found (all assignments made)... 116.85 c Sol. found (all assignments made)... 116.86 c Sol. found (all assignments made)... 116.89 c Sol. found (all assignments made)... 116.90 c Sol. found (all assignments made)... 116.92 c Sol. found (all assignments made)... 116.96 c Sol. found (all assignments made)... 116.98 c Sol. found (all assignments made)... 117.00 c Sol. found (all assignments made)... 117.00 o 574 117.00 c NEW SOLUTION FOUND: 574 @ 116.89 117.01 c Sol. found (all assignments made)... 117.01 o 572 117.01 c NEW SOLUTION FOUND: 572 @ 116.91 117.03 c Sol. found (all assignments made)... 117.04 c Sol. found (all assignments made)... 117.07 c Sol. found (all assignments made)... 117.08 c Sol. found (all assignments made)... 117.12 c Sol. found (all assignments made)... 117.25 c Sol. found (all assignments made)... 117.26 c Sol. found (all assignments made)... 117.31 c Sol. found (all assignments made)... 117.34 c Sol. found (all assignments made)... 117.35 c Sol. found (all assignments made)... 117.41 c Sol. found (all assignments made)... 117.42 c Sol. found (all assignments made)... 117.47 c Sol. found (all assignments made)... 117.51 c Sol. found (all assignments made)... 117.64 c Sol. found (all assignments made)... 117.68 c Sol. found (all assignments made)... 117.70 c Sol. found (all assignments made)... 117.79 c Sol. found (all assignments made)... 117.81 c Sol. found (all assignments made)... 117.86 c Sol. found (all assignments made)... 117.88 c Sol. found (all assignments made)... 117.89 c Sol. found (all assignments made)... 117.93 c Sol. found (all assignments made)... 117.95 c Sol. found (all assignments made)... 118.25 c Sol. found (all assignments made)... 118.34 c Sol. found (all assignments made)... 118.36 c Sol. found (all assignments made)... 118.37 c Sol. found (all assignments made)... 118.38 c Sol. found (all assignments made)... 118.38 o 570 118.38 c NEW SOLUTION FOUND: 570 @ 118.28 118.40 c Sol. found (all assignments made)... 118.41 c Sol. found (all assignments made)... 118.44 c Sol. found (all assignments made)... 118.45 c Sol. found (all assignments made)... 118.48 c Sol. found (all assignments made)... 118.49 c Sol. found (all assignments made)... 118.53 c Sol. found (all assignments made)... 118.54 c Sol. found (all assignments made)... 118.59 c Sol. found (all assignments made)... 118.62 c Sol. found (all assignments made)... 118.63 c Sol. found (all assignments made)... 118.75 c Sol. found (all assignments made)... 118.76 c Sol. found (all assignments made)... 118.85 c Sol. found (all assignments made)... 118.87 c Sol. found (all assignments made)... 118.91 c Sol. found (all assignments made)... 118.94 c Sol. found (all assignments made)... 118.95 c Sol. found (all assignments made)... 118.99 c Sol. found (all assignments made)... 118.99 c Sol. found (all assignments made)... 119.01 c Sol. found (all assignments made)... 119.01 o 568 119.01 c NEW SOLUTION FOUND: 568 @ 118.91 119.02 c Sol. found (all assignments made)... 119.03 c Sol. found (all assignments made)... 119.08 c Sol. found (all assignments made)... 119.12 c Sol. found (all assignments made)... 119.15 c Sol. found (all assignments made)... 119.16 c Sol. found (all assignments made)... 119.20 c Sol. found (all assignments made)... 119.28 c Sol. found (all assignments made)... 119.31 c Sol. found (all assignments made)... 119.35 c Sol. found (all assignments made)... 119.37 c Sol. found (all assignments made)... 119.41 c Sol. found (all assignments made)... 119.45 c Sol. found (all assignments made)... 119.47 c Sol. found (all assignments made)... 119.48 c Sol. found (all assignments made)... 119.51 c Sol. found (all assignments made)... 119.53 c Sol. found (all assignments made)... 119.55 c Sol. found (all assignments made)... 119.56 c Sol. found (all assignments made)... 119.59 c Sol. found (all assignments made)... 119.66 c Sol. found (all assignments made)... 119.81 c Sol. found (all assignments made)... 119.83 c Sol. found (all assignments made)... 119.87 c Sol. found (all assignments made)... 120.07 c Sol. found (all assignments made)... 120.11 c Sol. found (all assignments made)... 120.28 c Sol. found (all assignments made)... 120.33 c Sol. found (all assignments made)... 120.35 c Sol. found (all assignments made)... 120.38 c Sol. found (all assignments made)... 120.39 c Sol. found (all assignments made)... 120.42 c Sol. found (all assignments made)... 120.43 c Sol. found (all assignments made)... 120.48 c Sol. found (all assignments made)... 120.50 c Sol. found (all assignments made)... 120.52 c Sol. found (all assignments made)... 120.54 c Sol. found (all assignments made)... 120.56 c Sol. found (all assignments made)... 120.59 c Sol. found (all assignments made)... 120.63 c Sol. found (all assignments made)... 120.65 c Sol. found (all assignments made)... 120.67 c Sol. found (all assignments made)... 120.68 c Sol. found (all assignments made)... 120.71 c Sol. found (all assignments made)... 120.73 c Sol. found (all assignments made)... 120.75 c Sol. found (all assignments made)... 120.76 c Sol. found (all assignments made)... 120.79 c Sol. found (all assignments made)... 120.80 c Sol. found (all assignments made)... 120.83 c Sol. found (all assignments made)... 120.84 c Sol. found (all assignments made)... 120.87 c Sol. found (all assignments made)... 120.89 c Sol. found (all assignments made)... 120.93 c Sol. found (all assignments made)... 120.94 c Sol. found (all assignments made)... 120.97 c Sol. found (all assignments made)... 120.98 c Sol. found (all assignments made)... 121.01 c Sol. found (all assignments made)... 121.13 c Sol. found (all assignments made)... 121.16 c Sol. found (all assignments made)... 121.18 c Sol. found (all assignments made)... 121.20 c Sol. found (all assignments made)... 121.22 c Sol. found (all assignments made)... 121.24 c Sol. found (all assignments made)... 121.29 c Sol. found (all assignments made)... 121.31 c Sol. found (all assignments made)... 121.32 c Sol. found (all assignments made)... 121.35 c Sol. found (all assignments made)... 121.36 c Sol. found (all assignments made)... 121.62 c Sol. found (all assignments made)... 121.63 c Sol. found (all assignments made)... 121.66 c Sol. found (all assignments made)... 121.68 c Sol. found (all assignments made)... 121.71 c Sol. found (all assignments made)... 121.74 c Sol. found (all assignments made)... 121.78 c Sol. found (all assignments made)... 121.79 c Sol. found (all assignments made)... 121.82 c Sol. found (all assignments made)... 121.83 c Sol. found (all assignments made)... 121.85 c Sol. found (all assignments made)... 121.88 c Sol. found (all assignments made)... 121.90 c Sol. found (all assignments made)... 121.91 c Sol. found (all assignments made)... 121.99 c Sol. found (all assignments made)... 122.01 c Sol. found (all assignments made)... 122.05 c Sol. found (all assignments made)... 122.07 c Sol. found (all assignments made)... 122.22 c Sol. found (all assignments made)... 122.35 c Sol. found (all assignments made)... 122.39 c Sol. found (all assignments made)... 122.41 c Sol. found (all assignments made)... 122.45 c Sol. found (all assignments made)... 122.56 c Sol. found (all assignments made)... 122.67 c Sol. found (all assignments made)... 122.69 c Sol. found (all assignments made)... 122.76 c Sol. found (all assignments made)... 122.79 c Sol. found (all assignments made)... 122.82 c Sol. found (all assignments made)... 122.84 c Sol. found (all assignments made)... 122.91 c Sol. found (all assignments made)... 122.92 c Sol. found (all assignments made)... 122.94 c Sol. found (all assignments made)... 122.95 c Sol. found (all assignments made)... 122.99 c Sol. found (all assignments made)... 123.01 c Sol. found (all assignments made)... 123.12 c Sol. found (all assignments made)... 123.14 c Sol. found (all assignments made)... 123.17 c Sol. found (all assignments made)... 123.18 c Sol. found (all assignments made)... 123.20 c Sol. found (all assignments made)... 123.21 c Sol. found (all assignments made)... 123.24 c Sol. found (all assignments made)... 123.25 c Sol. found (all assignments made)... 123.28 c Sol. found (all assignments made)... 123.29 c Sol. found (all assignments made)... 123.33 c Sol. found (all assignments made)... 123.35 c Sol. found (all assignments made)... 123.39 c Sol. found (all assignments made)... 123.39 c Sol. found (all assignments made)... 123.42 c Sol. found (all assignments made)... 123.43 c Sol. found (all assignments made)... 123.46 c Sol. found (all assignments made)... 123.47 c Sol. found (all assignments made)... 123.49 c Sol. found (all assignments made)... 123.50 c Sol. found (all assignments made)... 123.56 c Sol. found (all assignments made)... 123.57 c Sol. found (all assignments made)... 123.59 c Sol. found (all assignments made)... 123.60 c Sol. found (all assignments made)... 123.64 c Sol. found (all assignments made)... 123.65 c Sol. found (all assignments made)... 123.67 c Sol. found (all assignments made)... 123.70 c Sol. found (all assignments made)... 123.73 c Sol. found (all assignments made)... 123.78 c Sol. found (all assignments made)... 123.81 c Sol. found (all assignments made)... 123.82 c Sol. found (all assignments made)... 123.85 c Sol. found (all assignments made)... 123.86 c Sol. found (all assignments made)... 123.89 c Sol. found (all assignments made)... 123.92 c Sol. found (all assignments made)... 123.95 c Sol. found (all assignments made)... 123.96 c Sol. found (all assignments made)... 123.98 c Sol. found (all assignments made)... 123.99 c Sol. found (all assignments made)... 124.03 c Sol. found (all assignments made)... 124.05 c Sol. found (all assignments made)... 124.09 c Sol. found (all assignments made)... 124.10 c Sol. found (all assignments made)... 124.12 c Sol. found (all assignments made)... 124.13 c Sol. found (all assignments made)... 124.17 c Sol. found (all assignments made)... 124.18 c Sol. found (all assignments made)... 124.20 c Sol. found (all assignments made)... 124.23 c Sol. found (all assignments made)... 124.26 c Sol. found (all assignments made)... 124.30 c Sol. found (all assignments made)... 124.35 c Sol. found (all assignments made)... 124.37 c Sol. found (all assignments made)... 124.45 c Sol. found (all assignments made)... 124.48 c Sol. found (all assignments made)... 124.51 c Sol. found (all assignments made)... 124.52 c Sol. found (all assignments made)... 124.57 c Sol. found (all assignments made)... 124.60 c Sol. found (all assignments made)... 124.63 c Sol. found (all assignments made)... 124.77 c Sol. found (all assignments made)... 124.80 c Sol. found (all assignments made)... 124.88 c Sol. found (all assignments made)... 124.97 c Sol. found (all assignments made)... 125.02 c Sol. found (all assignments made)... 125.04 c Sol. found (all assignments made)... 125.06 c Sol. found (all assignments made)... 125.08 c Sol. found (all assignments made)... 125.10 c Sol. found (all assignments made)... 125.13 c Sol. found (all assignments made)... 125.14 c Sol. found (all assignments made)... 125.17 c Sol. found (all assignments made)... 125.17 c Sol. found (all assignments made)... 125.20 c Sol. found (all assignments made)... 125.21 c Sol. found (all assignments made)... 125.24 c Sol. found (all assignments made)... 125.25 c Sol. found (all assignments made)... 125.27 c Sol. found (all assignments made)... 125.28 c Sol. found (all assignments made)... 125.32 c Sol. found (all assignments made)... 125.33 c Sol. found (all assignments made)... 125.35 c Sol. found (all assignments made)... 125.35 o 567 125.35 c NEW SOLUTION FOUND: 567 @ 125.25 125.36 c Sol. found (all assignments made)... 125.37 c Sol. found (all assignments made)... 125.39 c Sol. found (all assignments made)... 125.41 c Sol. found (all assignments made)... 125.43 c Sol. found (all assignments made)... 125.45 c Sol. found (all assignments made)... 125.47 c Sol. found (all assignments made)... 125.49 c Sol. found (all assignments made)... 125.51 c Sol. found (all assignments made)... 125.52 c Sol. found (all assignments made)... 125.54 c Sol. found (all assignments made)... 125.56 c Sol. found (all assignments made)... 125.58 c Sol. found (all assignments made)... 125.60 c Sol. found (all assignments made)... 125.62 c Sol. found (all assignments made)... 125.64 c Sol. found (all assignments made)... 125.67 c Sol. found (all assignments made)... 125.68 c Sol. found (all assignments made)... 125.70 c Sol. found (all assignments made)... 125.72 c Sol. found (all assignments made)... 125.74 c Sol. found (all assignments made)... 125.75 c Sol. found (all assignments made)... 125.78 c Sol. found (all assignments made)... 125.79 c Sol. found (all assignments made)... 125.81 c Sol. found (all assignments made)... 125.83 c Sol. found (all assignments made)... 125.85 c Sol. found (all assignments made)... 125.88 c Sol. found (all assignments made)... 125.92 c Sol. found (all assignments made)... 125.93 c Sol. found (all assignments made)... 125.96 c Sol. found (all assignments made)... 125.97 c Sol. found (all assignments made)... 125.99 c Sol. found (all assignments made)... 126.02 c Sol. found (all assignments made)... 126.05 c Sol. found (all assignments made)... 126.08 c Sol. found (all assignments made)... 126.12 c Sol. found (all assignments made)... 126.14 c Sol. found (all assignments made)... 126.16 c Sol. found (all assignments made)... 126.17 c Sol. found (all assignments made)... 126.19 c Sol. found (all assignments made)... 126.21 c Sol. found (all assignments made)... 126.23 c Sol. found (all assignments made)... 126.25 c Sol. found (all assignments made)... 126.27 c Sol. found (all assignments made)... 126.31 c Sol. found (all assignments made)... 126.33 c Sol. found (all assignments made)... 126.34 c Sol. found (all assignments made)... 126.36 c Sol. found (all assignments made)... 126.39 c Sol. found (all assignments made)... 126.42 c Sol. found (all assignments made)... 126.44 c Sol. found (all assignments made)... 126.46 c Sol. found (all assignments made)... 126.47 c Sol. found (all assignments made)... 126.49 c Sol. found (all assignments made)... 126.51 c Sol. found (all assignments made)... 126.53 c Sol. found (all assignments made)... 126.55 c Sol. found (all assignments made)... 126.57 c Sol. found (all assignments made)... 126.60 c Sol. found (all assignments made)... 126.62 c Sol. found (all assignments made)... 126.63 c Sol. found (all assignments made)... 126.65 c Sol. found (all assignments made)... 126.67 c Sol. found (all assignments made)... 126.69 c Sol. found (all assignments made)... 126.70 c Sol. found (all assignments made)... 126.73 c Sol. found (all assignments made)... 126.75 c Sol. found (all assignments made)... 126.77 c Sol. found (all assignments made)... 126.78 c Sol. found (all assignments made)... 126.80 c Sol. found (all assignments made)... 126.82 c Sol. found (all assignments made)... 126.84 c Sol. found (all assignments made)... 126.85 c Sol. found (all assignments made)... 126.88 c Sol. found (all assignments made)... 126.90 c Sol. found (all assignments made)... 126.92 c Sol. found (all assignments made)... 126.94 c Sol. found (all assignments made)... 126.96 c Sol. found (all assignments made)... 126.98 c Sol. found (all assignments made)... 127.00 c Sol. found (all assignments made)... 127.01 c Sol. found (all assignments made)... 127.03 c Sol. found (all assignments made)... 127.05 c Sol. found (all assignments made)... 127.07 c Sol. found (all assignments made)... 127.09 c Sol. found (all assignments made)... 127.11 c Sol. found (all assignments made)... 127.14 c Sol. found (all assignments made)... 127.18 c Sol. found (all assignments made)... 127.20 c Sol. found (all assignments made)... 127.24 c Sol. found (all assignments made)... 127.28 c Sol. found (all assignments made)... 127.31 c Sol. found (all assignments made)... 127.32 c Sol. found (all assignments made)... 127.35 c Sol. found (all assignments made)... 127.36 c Sol. found (all assignments made)... 127.39 c Sol. found (all assignments made)... 127.41 c Sol. found (all assignments made)... 127.45 c Sol. found (all assignments made)... 127.46 c Sol. found (all assignments made)... 127.49 c Sol. found (all assignments made)... 127.49 c Sol. found (all assignments made)... 127.53 c Sol. found (all assignments made)... 127.55 c Sol. found (all assignments made)... 127.57 c Sol. found (all assignments made)... 127.76 c Sol. found (all assignments made)... 127.79 c Sol. found (all assignments made)... 127.90 c Sol. found (all assignments made)... 128.06 c Sol. found (all assignments made)... 128.08 c Sol. found (all assignments made)... 128.20 c Sol. found (all assignments made)... 128.31 c Sol. found (all assignments made)... 128.34 c Sol. found (all assignments made)... 128.36 c Sol. found (all assignments made)... 128.45 c Sol. found (all assignments made)... 128.49 c Sol. found (all assignments made)... 128.51 c Sol. found (all assignments made)... 128.52 c Sol. found (all assignments made)... 128.55 c Sol. found (all assignments made)... 128.56 c Sol. found (all assignments made)... 128.59 c Sol. found (all assignments made)... 128.60 c Sol. found (all assignments made)... 128.64 c Sol. found (all assignments made)... 128.66 c Sol. found (all assignments made)... 128.70 c Sol. found (all assignments made)... 128.71 c Sol. found (all assignments made)... 128.73 c Sol. found (all assignments made)... 128.75 c Sol. found (all assignments made)... 128.79 c Sol. found (all assignments made)... 128.91 c Sol. found (all assignments made)... 129.00 c Sol. found (all assignments made)... 129.01 c Sol. found (all assignments made)... 129.04 c Sol. found (all assignments made)... 129.04 c Sol. found (all assignments made)... 129.08 c Sol. found (all assignments made)... 129.10 c Sol. found (all assignments made)... 129.13 c Sol. found (all assignments made)... 129.14 c Sol. found (all assignments made)... 129.17 c Sol. found (all assignments made)... 129.18 c Sol. found (all assignments made)... 129.21 c Sol. found (all assignments made)... 129.21 c Sol. found (all assignments made)... 129.24 c Sol. found (all assignments made)... 129.25 c Sol. found (all assignments made)... 129.29 c Sol. found (all assignments made)... 129.30 c Sol. found (all assignments made)... 129.33 c Sol. found (all assignments made)... 129.33 c Sol. found (all assignments made)... 129.36 c Sol. found (all assignments made)... 129.37 c Sol. found (all assignments made)... 129.40 c Sol. found (all assignments made)... 129.41 c Sol. found (all assignments made)... 129.44 c Sol. found (all assignments made)... 129.45 c Sol. found (all assignments made)... 129.47 c Sol. found (all assignments made)... 129.48 c Sol. found (all assignments made)... 129.51 c Sol. found (all assignments made)... 129.52 c Sol. found (all assignments made)... 129.55 c Sol. found (all assignments made)... 129.56 c Sol. found (all assignments made)... 129.60 c Sol. found (all assignments made)... 129.61 c Sol. found (all assignments made)... 129.63 c Sol. found (all assignments made)... 129.64 c Sol. found (all assignments made)... 129.67 c Sol. found (all assignments made)... 129.68 c Sol. found (all assignments made)... 129.71 c Sol. found (all assignments made)... 129.72 c Sol. found (all assignments made)... 129.75 c Sol. found (all assignments made)... 129.75 c Sol. found (all assignments made)... 129.78 c Sol. found (all assignments made)... 129.79 c Sol. found (all assignments made)... 129.83 c Sol. found (all assignments made)... 129.86 c Sol. found (all assignments made)... 129.90 c Sol. found (all assignments made)... 129.92 c Sol. found (all assignments made)... 129.97 c Sol. found (all assignments made)... 129.99 c Sol. found (all assignments made)... 130.01 c Sol. found (all assignments made)... 130.03 c Sol. found (all assignments made)... 130.05 c Sol. found (all assignments made)... 130.07 c Sol. found (all assignments made)... 130.11 c Sol. found (all assignments made)... 130.13 c Sol. found (all assignments made)... 130.15 c Sol. found (all assignments made)... 130.16 c Sol. found (all assignments made)... 130.19 c Sol. found (all assignments made)... 130.20 c Sol. found (all assignments made)... 130.23 c Sol. found (all assignments made)... 130.24 c Sol. found (all assignments made)... 130.26 c Sol. found (all assignments made)... 130.30 c Sol. found (all assignments made)... 130.32 c Sol. found (all assignments made)... 130.33 c Sol. found (all assignments made)... 130.36 c Sol. found (all assignments made)... 130.38 c Sol. found (all assignments made)... 130.41 c Sol. found (all assignments made)... 130.43 c Sol. found (all assignments made)... 130.45 c Sol. found (all assignments made)... 130.47 c Sol. found (all assignments made)... 130.49 c Sol. found (all assignments made)... 130.51 c Sol. found (all assignments made)... 130.53 c Sol. found (all assignments made)... 130.54 c Sol. found (all assignments made)... 130.56 c Sol. found (all assignments made)... 130.59 c Sol. found (all assignments made)... 130.61 c Sol. found (all assignments made)... 130.63 c Sol. found (all assignments made)... 130.65 c Sol. found (all assignments made)... 130.67 c Sol. found (all assignments made)... 130.69 c Sol. found (all assignments made)... 130.70 c Sol. found (all assignments made)... 130.72 c Sol. found (all assignments made)... 130.74 c Sol. found (all assignments made)... 130.76 c Sol. found (all assignments made)... 130.78 c Sol. found (all assignments made)... 130.80 c Sol. found (all assignments made)... 130.81 c Sol. found (all assignments made)... 130.84 c Sol. found (all assignments made)... 130.85 c Sol. found (all assignments made)... 130.87 c Sol. found (all assignments made)... 130.90 c Sol. found (all assignments made)... 130.92 c Sol. found (all assignments made)... 130.93 c Sol. found (all assignments made)... 130.96 c Sol. found (all assignments made)... 130.97 c Sol. found (all assignments made)... 131.00 c Sol. found (all assignments made)... 131.01 c Sol. found (all assignments made)... 131.03 c Sol. found (all assignments made)... 131.05 c Sol. found (all assignments made)... 131.07 c Sol. found (all assignments made)... 131.08 c Sol. found (all assignments made)... 131.11 c Sol. found (all assignments made)... 131.14 c Sol. found (all assignments made)... 131.17 c Sol. found (all assignments made)... 131.20 c Sol. found (all assignments made)... 131.23 c Sol. found (all assignments made)... 131.27 c Sol. found (all assignments made)... 131.31 c Sol. found (all assignments made)... 131.31 c Sol. found (all assignments made)... 131.34 c Sol. found (all assignments made)... 131.35 c Sol. found (all assignments made)... 131.39 c Sol. found (all assignments made)... 131.41 c Sol. found (all assignments made)... 131.44 c Sol. found (all assignments made)... 131.45 c Sol. found (all assignments made)... 131.48 c Sol. found (all assignments made)... 131.48 c Sol. found (all assignments made)... 131.51 c Sol. found (all assignments made)... 131.52 c Sol. found (all assignments made)... 131.55 c Sol. found (all assignments made)... 131.56 c Sol. found (all assignments made)... 131.72 c Sol. found (all assignments made)... 131.80 c Sol. found (all assignments made)... 131.83 c Sol. found (all assignments made)... 131.89 c Sol. found (all assignments made)... 131.95 c Sol. found (all assignments made)... 132.01 c Sol. found (all assignments made)... 132.04 c Sol. found (all assignments made)... 132.31 c Sol. found (all assignments made)... 132.41 c Sol. found (all assignments made)... 132.43 c Sol. found (all assignments made)... 132.50 c Sol. found (all assignments made)... 132.54 c Sol. found (all assignments made)... 132.61 c Sol. found (all assignments made)... 132.63 c Sol. found (all assignments made)... 132.89 c Sol. found (all assignments made)... 132.92 c Sol. found (all assignments made)... 132.95 c Sol. found (all assignments made)... 132.97 c Sol. found (all assignments made)... 133.04 c Sol. found (all assignments made)... 133.07 c Sol. found (all assignments made)... 133.14 c Sol. found (all assignments made)... 133.15 c Sol. found (all assignments made)... 133.18 c Sol. found (all assignments made)... 133.19 c Sol. found (all assignments made)... 133.22 c Sol. found (all assignments made)... 133.22 c Sol. found (all assignments made)... 133.43 c Restart #8 #Var: 10766 LB: -5351 @ 133.32 168.23 c Restart #9 #Var: 10766 LB: -5351 @ 168.12 184.31 c Restart #10 #Var: 10766 LB: -5351 @ 184.19 221.25 c Restart #11 #Var: 10766 LB: -5351 @ 221.12 329.08 c CHANGE to MIS mode... UB: 567 MIS: -3689 LPR: 6 (90.676) Diff: -614.83 329.08 c Restart #0 #Var: 10766 LB: -5351 @ 328.89 354.15 c Restart #1 #Var: 10766 LB: -3665 @ 353.96 370.86 c Restart #2 #Var: 10766 LB: -3688 @ 370.66 387.15 c Restart #3 #Var: 10766 LB: -3650 @ 386.95 403.54 c Restart #4 #Var: 10766 LB: -3672 @ 403.33 422.71 c Restart #5 #Var: 10766 LB: -3684 @ 422.5 444.05 c Restart #6 #Var: 10766 LB: -3671 @ 443.84 468.65 c Restart #7 #Var: 10766 LB: -3642 @ 468.43 493.90 c Restart #8 #Var: 10766 LB: -3672 @ 493.67 520.76 c Restart #9 #Var: 10766 LB: -3692 @ 520.53 550.79 c Restart #10 #Var: 10766 LB: -3691 @ 550.55 581.66 c Restart #11 #Var: 10766 LB: -3666 @ 581.41 617.06 c Restart #12 #Var: 10766 LB: -3681 @ 616.8 652.04 c Restart #13 #Var: 10766 LB: -3671 @ 651.77 692.18 c Restart #14 #Var: 10766 LB: -3709 @ 691.91 734.42 c Restart #15 #Var: 10766 LB: -3720 @ 734.13 779.48 c Restart #16 #Var: 10766 LB: -3675 @ 779.19 829.37 c Restart #17 #Var: 10766 LB: -3671 @ 829.07 878.50 c Restart #18 #Var: 10766 LB: -3688 @ 878.18 931.00 c Restart #19 #Var: 10766 LB: -3706 @ 930.67 984.08 c Restart #20 #Var: 10766 LB: -3673 @ 983.73 1045.36 c Restart #21 #Var: 10766 LB: -3692 @ 1045 1101.13 c Restart #22 #Var: 10766 LB: -3668 @ 1100.8 1171.82 c Restart #23 #Var: 10766 LB: -3678 @ 1171.4 1235.46 c Restart #24 #Var: 10766 LB: -3683 @ 1235.1 1305.04 c Restart #25 #Var: 10766 LB: -3676 @ 1304.6 1372.89 c Restart #26 #Var: 10766 LB: -3656 @ 1372.5 1446.72 c Restart #27 #Var: 10766 LB: -3682 @ 1446.3 1512.07 c Restart #28 #Var: 10766 LB: -3663 @ 1511.6 1585.74 c Restart #29 #Var: 10766 LB: -3670 @ 1585.2 1658.30 c Restart #30 #Var: 10766 LB: -3659 @ 1657.8 1740.12 c Restart #31 #Var: 10766 LB: -3680 @ 1739.6 1800.54 s SATISFIABLE 1800.54 c Cost: 567 1800.54 v -x9583 -x6786 x5147 x4651 x4504 -x3806 -x1035 -x879 x9585 -x5151 x4508 -x3805 -x1036 -x6785 x4652 x4507 -x3804 -x2193 -x1040 1800.54 v -x883 x9586 -x6788 x4653 x4509 -x3802 -x2198 -x1039 -x881 x4656 x4590 x4513 -x3803 -x2603 -x2197 -x1037 -x756 -x418 -x6789 1800.54 v x4654 x4589 x4512 -x2607 -x1038 -x882 -x9992 -x6791 -x6143 x4655 x4591 x4510 -x2200 -x886 -x755 -x6792 -x6147 x5269 x4594 1800.54 v x4511 -x2201 -x759 -x10458 -x9991 x6454 x5268 x4593 -x2204 -x9995 -x7679 x4598 -x2202 -x760 -x10726 -x10461 -x7678 x6453 1800.54 v x5270 x4597 -x2203 -x10462 -x9996 -x7680 x6457 x5272 x4595 -x1889 -x964 -x10725 -x7681 -x7009 -x6809 x5167 -x4596 -x3912 1800.54 v -x1888 -x1161 -x963 -x681 -x10729 -x7682 -x6813 x6458 x6089 -x5273 x5172 -x2083 -x1890 -x969 -x7689 -x7008 -x6531 x6404 1800.54 v x6088 -x5275 x5171 -x3915 -x2082 -x1891 -x968 -x680 -x10730 -x7683 -x6536 -x6408 x6090 x5946 -x5276 -x3916 -x2088 -x1892 1800.54 v -x970 -x684 -x7684 -x7014 -x6535 x6091 x5945 x5174 -x4131 -x2087 -x1899 -x974 -x7685 -x7012 x6092 x5175 -x4136 -x2089 -x1893 1800.54 v -x973 -x685 -x10357 -x6538 x6099 x5947 x5178 -x4976 -x4135 -x2093 -x1894 -x971 -x7326 -x7013 -x6539 x6093 x5949 x5176 -x4980 1800.54 v -x2092 -x1895 -x972 -x10356 -x8968 -x8775 -x7325 -x7017 -x6642 -x6542 x6094 -x5177 -x4138 -x2090 x1109 -x10360 -x9764 1800.54 v -x7331 -x6540 x6095 x5950 -x4139 -x2091 x1108 -x9763 -x8967 -x7632 -x7330 -x6645 -x6541 x5952 -x4630 -x4142 -x1828 x1799 1800.54 v x1110 -x10361 -x9769 x7743 -x7637 -x7332 -x6646 x5953 -x4629 -x4140 x1803 -x1113 -x9768 -x8973 -x8721 -x8203 x7742 -x7636 1800.54 v -x7336 -x4631 -x4141 x1112 x558 -x9770 -x8971 -x8726 -x8207 x7744 -x7335 -x4634 x1117 -x9774 -x8725 x7745 -x7639 -x7333 1800.54 v x5850 -x4633 -x3498 -x2390 -x1116 x557 x10159 -x9773 -x8972 x7746 -x7640 -x7334 -x4638 -x3503 -x2389 -x1114 x10158 -x9930 1800.54 v -x9771 -x8976 -x8728 x7753 -x7643 -x4637 -x3502 -x2391 -x1115 x563 x9934 -x9772 -x8729 -x7747 -x7641 -x4635 -x2394 x561 1800.54 v x10160 -x9338 -x8732 -x7748 -x7642 -x4636 -x3505 -x2393 -x153 x10162 -x8730 -x7749 -x6596 -x3506 -x2767 -x2398 x562 x158 1800.54 v -x9337 -x8918 -x8731 -x6595 -x4253 -x3509 -x2766 -x2698 -x2397 -x1400 x566 x157 x10163 x9341 -x6597 -x4252 -x3507 -x2703 1800.54 v -x2395 x10165 -x8921 -x6598 -x5999 -x4254 -x3508 x3289 -x2768 -x2702 -x2396 -x1399 -x160 x10166 x9342 -x8922 -x6599 -x4257 1800.54 v -x4087 -x2770 -x1403 -x161 -x7723 -x7520 -x6606 x5076 -x4256 -x4086 x3292 -x2705 x164 -x8352 -x7524 -x6600 -x4261 x3293 1800.54 v -x2771 -x2706 -x1404 x162 x9018 -x8351 -x7722 -x6621 -x6601 x5075 -x4260 -x4088 -x2773 -x2709 x583 x163 -x7726 -x6602 -x4258 1800.54 v -x4090 -x2774 -x2707 -x1844 x9017 -x8353 x5081 -x4259 -x2708 -x1843 -x1373 x582 -x9358 x9021 -x8355 -x7727 x5079 -x4091 1800.54 v -x1849 -x1378 -x9357 -x4093 -x1848 -x1377 x588 -x506 -x9363 x9022 -x8356 x5080 -x4094 -x1850 x586 -x511 -x9362 -x8358 x5084 1800.54 v -x1854 x1699 -x1380 -x1091 -x510 -x9364 -x8359 -x6329 x3595 -x1853 -x1381 -x1090 x587 x10233 -x9859 -x9368 -x7875 -x6328 1800.54 v x3594 -x1851 x1698 -x1384 -x1092 -x591 -x513 -x9367 -x7880 -x6687 -x6334 x3596 -x1852 x1702 -x1382 -x1095 -x514 x10232 1800.54 v -x9365 -x7879 -x6686 -x6333 -x5309 -x4321 x3597 -x3114 -x1383 -x1094 -x517 x10236 -x9366 -x6692 -x6335 -x4320 x3598 x1703 1800.54 v -x1099 -x515 -x7882 -x6691 -x6339 -x5308 -x4322 x3605 x3117 -x1098 -x516 x10237 -x8288 -x7883 -x6693 -x6338 -x5312 -x4325 1800.54 v x3599 x3118 -x1096 -x8287 -x7886 -x6697 -x6336 -x4393 -x4324 x3600 -x1574 -x1097 -x459 -x7884 -x6696 -x6337 -x5313 x4397 1800.54 v x4369 -x4329 x3601 -x464 x8893 -x8289 -x7885 -x6694 x4368 -x4328 -x2041 -x1573 -x463 -x245 -x8291 -x6695 -x4326 -x2045 1800.54 v x1577 x8892 -x6553 -x5101 x4370 -x4327 -x466 -x8292 -x6552 -x5105 x4372 x1578 -x467 x8898 -x8294 -x6554 -x470 -x9188 x8896 1800.54 v -x8295 x6557 x4373 -x468 -x9187 -x8451 x6556 x4375 -x469 -x9193 x8897 x6561 x4376 -x9192 -x8901 x8454 x6560 -x5974 x3690 1800.54 v -x9194 x8455 x6558 -x9198 -x6559 x3689 x2483 -x9197 x6500 x2487 -x9195 x6499 -x6074 x2486 -x9196 -x10433 -x9582 -x6782 1800.54 v x5146 x4648 -x3814 -x1034 -x878 -x10437 x9587 -x5150 x4650 x4503 -x3810 -x1033 -x6787 x4649 x4505 -x3809 -x1044 -x884 -x414 1800.54 v -x6790 x4657 x4506 -x2192 x9589 -x6794 -x4517 -x2602 -x2194 -x887 -x635 -x417 x9590 -x6793 -x2606 -x2199 -x885 -x8526 -x6888 1800.54 v -x6142 -x2196 -x757 -x8530 -x6146 -x5264 x4592 -x2205 -x761 -x10457 -x9993 -x8004 x5263 x4606 -x9997 -x8008 x4602 -x10463 1800.54 v x6455 x5271 x4601 -x1429 -x1157 -x763 x6459 x5274 -x764 -x10727 -x9999 -x9880 -x7692 -x7004 -x6808 -x5278 -x3911 -x1160 1800.54 v -x10731 -x10000 -x9884 -x7693 -x6812 -x5277 x5166 -x965 -x10466 -x7688 -x7010 -x6461 x6403 x5168 -x4905 -x3917 -x1902 1800.54 v -x966 -x682 -x6530 -x6462 x6407 -x5941 x5173 -x2084 -x1903 -x967 -x686 -x10733 -x7686 -x7015 -x6532 x6102 -x5940 x5170 1800.54 v -x2085 -x1898 -x978 -x10734 -x6537 x6103 x5179 -x4130 -x2086 -x8771 -x7018 -x6534 x6098 x5948 -x4975 -x4132 -x3920 -x2245 1800.54 v -x2097 -x1896 -x688 -x7016 -x6543 x5951 -x4979 -x4137 -x2249 -x689 -x10358 -x8963 -x8774 -x6641 x6096 x5955 -x4134 -x1824 1800.54 v -x10362 -x7327 x5954 -x4143 -x10109 -x8969 -x7328 -x6647 -x1827 x1798 -x10113 -x9765 -x7631 -x7329 x1802 x1111 -x10364 1800.54 v -x9766 -x8974 -x8202 -x7633 -x7340 -x5846 x1125 x553 -x10365 -x9767 -x8720 -x8206 -x7638 -x4632 -x1121 -x9778 -x8977 -x8722 1800.54 v x7756 -x7635 -x6650 x5849 -x4646 -x1120 x559 -x10154 -x8975 -x8727 x7757 -x7644 -x4642 -x3497 x10153 -x9929 -x8724 x7752 1800.54 v -x4641 -x3499 x564 x9933 -x8733 -x3504 -x2392 x10161 x7750 -x3501 -x2406 x567 x10164 -x3510 -x2762 -x2402 x565 -x152 x10168 1800.54 v -x9339 -x8917 -x5995 -x2761 -x2401 -x154 x10167 x9343 -x2697 x159 -x8923 -x6609 -x5998 x3288 -x2769 -x2699 -x1401 x156 1800.54 v -x6610 -x4255 -x4082 -x2772 -x2704 -x1405 x165 -x9345 -x7519 -x6617 -x6605 x5071 -x4269 -x4081 x3294 -x2776 -x2701 -x9346 1800.54 v -x8347 -x7523 -x4265 -x2775 -x2710 -x8926 -x8346 -x7724 -x6620 -x6603 x5077 -x4264 -x4089 -x1407 -x578 -x7728 -x4092 -x1408 1800.54 v -x9047 x9019 -x8354 -x8095 x5082 -x4096 -x3297 x584 x9023 -x8357 -x8099 -x4095 -x1845 -x1372 -x8361 -x7730 x5085 -x1846 1800.54 v -x1374 x589 -x9359 -x8360 -x7731 x5083 -x1847 -x1379 -x505 -x9855 -x9360 -x9025 -x2841 -x1858 -x1376 x592 -x507 -x9361 1800.54 v -x9026 -x2845 -x1385 x590 -x512 -x9858 -x9372 x1700 -x1454 -x509 -x7874 -x6330 x1704 -x1093 -x518 x10234 -x7876 -x6358 1800.54 v -x6331 -x3608 x3113 -x2345 -x1107 x10238 -x7881 -x6688 -x6332 -x3609 -x2349 -x1103 -x7878 -x6689 -x6343 -x5576 -x5310 1800.54 v x3604 x3119 -x1706 -x1102 -x8283 -x7887 -x6690 -x5314 -x4323 -x1707 x10240 -x8282 -x6701 -x4392 -x4337 x3602 -x1649 -x241 1800.54 v x10241 x4396 x4364 -x4333 -x1653 -x458 x8888 -x8290 -x5316 x4363 -x4332 -x3122 -x2040 -x1575 -x460 -x244 -x8293 -x5317 1800.54 v -x2044 x1579 -x465 -x9317 x8894 -x8297 -x5100 x4371 -x462 -x8296 -x5104 x4374 -x471 x8899 x4378 x1581 -x6555 x4377 x1582 1800.54 v x8902 -x8450 -x6569 -x5970 x4212 -x9189 x8900 -x6565 -x9190 x8456 -x6564 x5973 -x9191 -x9202 -x8501 -x6070 x3691 -x8505 1800.54 v x6496 x2482 -x8459 x6495 -x6073 x2484 -x1554 x2488 -x3693 x2750 -x3694 x2754 x10757 -x10432 -x9584 -x7615 x5148 -x3813 1800.54 v -x1047 -x876 -x10436 x9588 -x6781 -x5152 x4647 -x1048 -x880 x9592 -x6783 -x4665 x4520 -x3807 -x1043 -x877 -x631 x413 x9591 1800.54 v -x6784 -x4661 x4521 -x888 -x751 -x6884 -x6798 -x5154 -x4660 -x4516 -x3808 -x2604 -x2578 -x1041 -x750 -x634 x419 -x9987 1800.54 v -x5155 -x2608 x2582 -x2195 -x10453 -x9986 -x8525 -x6887 -x6144 -x4876 x4603 -x4514 -x2213 -x758 -x8529 x6449 -x6148 -x4880 1800.54 v x4605 -x2209 -x762 -x10459 -x9994 -x8003 x6448 -x5800 -x2610 -x2208 -x1425 -x766 -x422 -x10721 -x9998 -x8007 x5265 -x2611 1800.54 v -x765 -x10720 -x10464 -x10002 -x7691 x6456 -x6150 x5266 -x4599 -x3907 x3787 -x1428 -x1156 -x10001 -x7690 x6460 -x6151 1800.54 v x5267 -x676 -x10728 -x10467 -x9879 -x6810 -x6464 x5282 -x4901 -x4600 -x3913 -x1901 -x1162 -x675 -x10732 -x10465 -x9883 1800.54 v -x7003 -x6814 -x6463 -x1900 -x10736 -x7005 x6405 x6101 -x4904 -x4545 -x4162 -x3918 -x981 -x683 -x10735 -x7011 x6409 x6100 1800.54 v x5169 -x4549 -x982 -x687 -x7687 -x7007 -x6816 -x5244 x5187 -x3921 -x2100 -x1165 -x977 -x691 -x10352 -x7019 -x6817 -x6533 1800.54 v -x5942 x5248 -x5183 -x3919 -x2101 -x690 -x10351 -x8770 -x7983 -x6637 -x6551 x6411 -x5943 -x5182 -x4977 -x2244 -x2096 -x1897 1800.54 v -x975 -x6547 -x6412 x5944 -x4981 -x4133 -x2248 -x10359 -x8776 -x6643 -x6546 x6097 x5959 -x5825 -x4151 -x2094 -x1823 -x10363 1800.54 v -x8962 -x4147 -x10367 -x10108 -x8964 -x7343 -x6648 -x5395 -x4983 -x4146 -x1829 x1800 x1122 -x10366 -x10112 -x8970 -x7344 1800.54 v -x4984 x1804 x1124 -x9781 -x8966 -x8779 -x8204 x7755 -x7339 -x6651 -x5845 -x4643 -x9782 -x8978 -x8208 x7754 -x7634 -x6649 1800.54 v -x4645 x552 -x9777 -x7652 -x7337 x5851 -x1832 -x1806 -x1118 x554 -x8723 -x7648 -x1807 x560 -x9931 -x9775 -x8741 -x8210 1800.54 v -x7647 -x4639 -x2403 -x1119 x556 x10155 x9935 x9333 -x8737 -x8211 -x3500 -x2405 x568 x10156 x9332 -x8913 -x8736 x7751 -x7084 1800.54 v -x5854 -x4640 -x3518 x10157 -x7088 -x3514 -x1395 x10172 x9937 -x9340 -x8919 -x6608 -x5994 -x3513 -x3284 -x2399 -x1394 1800.54 v x1136 x9938 x9344 -x6607 -x2763 -x155 -x9348 -x8924 -x6000 -x4266 x3290 -x2764 -x2400 -x1402 x173 -x83 -x9347 -x7718 -x4268 1800.54 v -x2765 -x2700 -x1406 x169 -x87 -x8927 -x7717 -x7521 -x6616 x3295 -x2780 -x2718 -x1410 -x993 x168 x9013 -x8925 -x7525 x5070 1800.54 v -x4083 -x2714 -x1409 -x9043 x9012 -x7725 -x6622 -x6604 -x6003 x5072 -x4262 -x4084 -x3298 -x2713 -x8348 -x7729 x5078 -x4085 1800.54 v -x3296 x577 -x9046 x9020 -x8349 -x8094 -x7733 -x7527 x5074 -x4263 -x4100 x579 x9024 -x8350 -x8098 -x7732 -x7528 x5086 x585 1800.54 v -x9028 -x8365 -x6625 x3268 -x1861 x581 -x9027 -x1862 x1694 -x1375 x593 -x9854 -x9375 -x2840 -x1857 x1693 -x1450 -x1393 1800.54 v x10228 -x9376 -x2844 -x1389 -x508 x10227 -x9860 -x9371 -x6354 -x3607 x3109 -x1855 x1701 -x1453 -x1388 -x1104 -x526 -x5304 1800.54 v -x3606 x1705 -x1106 -x522 x10235 -x9369 -x6357 -x6346 -x5572 -x5303 x3115 -x2344 x1709 -x521 x10239 -x7877 -x6347 -x2348 1800.54 v x1708 x10243 -x9863 -x7895 -x6704 -x6342 -x5575 -x5311 -x4334 x3120 -x2941 -x1100 x10242 -x7891 -x6705 -x5315 -x4336 -x2945 1800.54 v -x1569 -x8555 -x7890 x7306 -x6700 -x6340 -x5319 -x4394 x3603 -x3123 -x1648 -x1568 -x1101 -x240 -x8284 -x7310 -x5318 x4398 1800.54 v -x3121 -x1652 -x9313 -x8285 -x6698 -x6168 -x4330 -x2042 -x1576 -x246 x8887 -x8286 -x6172 x4365 -x2046 x1580 -x461 -x9316 1800.54 v x8889 -x8301 -x5102 -x4400 x4366 -x4331 x1584 -x479 x8895 -x5106 -x4401 x4367 x1583 -x475 x8891 -x8446 -x6909 -x6566 x4382 1800.54 v -x4208 -x2048 -x474 -x249 x8903 -x6913 -x6568 -x2049 -x10258 -x8452 -x5969 -x5108 -x4955 x4211 x10262 -x5109 -x3686 -x9205 1800.54 v x8457 -x6562 x5975 -x3685 -x9206 -x9201 -x8500 -x8460 -x6563 -x6069 x3692 -x1550 -x8504 -x8458 -x9199 -x6075 x5978 -x3696 1800.54 v -x1553 x6497 -x3695 x2485 x7113 x6498 -x3821 x2749 -x2496 -x3825 x2753 x2492 -x10434 x9581 -x8604 -x7614 x5149 -x4662 -x4519 1800.54 v -x3811 -x1045 x409 -x10438 x9580 -x5153 -x4664 x4518 -x2598 -x875 x9596 -x6801 -x5157 -x2597 -x896 -x630 x415 -x6802 -x6138 1800.54 v -x5156 -x892 -x10440 -x6883 -x6797 -x6137 -x4658 -x2605 x2577 -x2210 -x2108 -x1042 -x891 -x636 x420 -x10441 x4604 -x2609 1800.54 v x2581 -x2212 -x2112 -x752 -x8527 -x6889 -x6795 -x6145 -x5796 -x4875 -x4659 -x4515 -x2613 -x753 x423 -x10452 -x9988 -x8531 1800.54 v -x6149 -x4879 -x2612 -x754 -x421 -x10454 -x9989 -x8005 -x6153 -x5799 x3783 -x2206 -x1424 -x1152 -x770 -x735 -x639 -x10460 1800.54 v -x9990 -x8009 -x6804 x6450 -x6152 -x10456 -x10006 -x8533 -x6892 -x6803 x6451 -x6122 x5285 x3786 -x2207 -x1430 -x1158 -x10722 1800.54 v -x10468 -x8534 x6452 -x6399 x5286 -x3906 -x10723 -x9881 -x8011 -x6811 -x6468 x6398 x5281 -x4900 -x4158 -x3908 -x1163 -x980 1800.54 v -x10724 -x9885 -x8012 -x6815 -x3914 -x979 -x677 -x10740 -x6819 x6406 x5279 x5184 -x4906 -x4544 -x4161 -x4111 -x3910 -x2099 1800.54 v -x1433 -x1166 -x678 -x7006 -x6818 x6410 x5186 -x4971 -x4548 -x4115 -x3922 -x2098 -x1164 -x679 -x9887 -x8766 -x7979 -x7027 1800.54 v -x6548 x6414 -x5243 -x4970 -x695 -x9888 -x7023 -x6550 x6413 x5247 -x8772 -x7982 -x7022 -x5962 -x5821 -x5180 -x4978 -x4909 1800.54 v -x4148 -x2246 -x1819 -x976 -x10353 -x6636 -x5963 -x4982 -x4150 -x2250 x1794 -x10354 x8993 -x8777 -x7342 -x6638 -x6544 1800.54 v x5958 -x5824 -x5391 -x5181 -x4986 -x2095 -x1825 x1793 -x10355 x8997 -x8198 -x7341 -x6644 -x4985 -x1123 -x10371 -x10110 1800.54 v -x9780 -x8780 -x8197 -x6640 -x6545 -x5956 x5841 -x5394 -x4144 -x2252 -x1830 x1801 -x10114 -x9779 -x8965 -x8778 -x6652 1800.54 v -x4644 -x2253 x1805 -x8986 -x8205 -x7649 x5847 -x4145 -x1833 -x1809 x9925 -x8982 -x8209 -x7651 -x1831 -x1808 -x10116 x9924 1800.54 v -x9242 -x8981 -x8738 -x8213 -x7338 x5852 -x10117 -x8740 -x8212 -x2404 x555 -x9932 -x9776 -x7645 -x5855 -x3515 x576 x9936 1800.54 v -x5853 -x3517 -x572 x10175 x9940 -x8734 -x7646 -x7083 -x5990 -x3966 -x1132 -x571 x10176 x9939 x9334 -x8912 -x7087 x10171 1800.54 v x9335 -x8914 -x8735 -x5996 -x3511 x1135 -x170 x9336 -x8920 -x7515 -x4267 -x3283 -x1396 -x172 x10169 -x9352 -x8916 -x7514 1800.54 v -x7135 -x6612 -x6001 -x3512 x3285 -x2783 -x2715 -x1397 -x989 -x82 -x8928 x3291 -x2784 -x2717 -x1398 -x86 -x9905 -x7522 1800.54 v -x6618 -x6004 -x3858 x3287 -x2779 -x1414 -x992 x166 -x9909 -x7719 -x7526 -x6002 -x3299 -x9042 -x7720 -x7530 -x6623 -x4103 1800.54 v -x2777 -x2711 x167 x9014 -x7721 -x7529 x5073 -x4104 -x9048 x9015 -x8368 -x8096 -x7737 -x6626 x5094 -x4099 -x3264 -x2712 1800.54 v -x1860 x9016 -x8369 -x8100 -x6624 x5090 -x1859 x580 -x9850 -x9374 -x9032 -x8364 -x6511 x5089 -x4097 x3267 -x1390 x601 -x9373 1800.54 v -x6515 -x1392 x597 -x9856 -x9051 -x8362 -x8102 -x2842 -x1449 x596 -x523 -x8 -x8103 -x2846 x1695 -x1105 -x525 -x12 -x9861 1800.54 v -x6353 -x6345 -x1856 x1696 -x1455 -x1386 x10229 -x6344 x3108 x1697 x10230 -x9864 -x9370 -x7892 -x6703 -x6359 -x5571 x3110 1800.54 v -x2848 -x2346 x1713 -x1387 -x519 x10231 -x9862 -x7894 -x6702 -x5305 -x4388 -x4335 x3116 -x2849 -x2350 -x10247 -x8551 -x5577 1800.54 v -x5306 -x4387 x3112 -x2940 -x1458 -x520 -x236 -x5307 -x3124 -x2944 -x2036 -x8554 -x7888 x7305 -x6362 -x6341 -x5323 x4395 1800.54 v -x2352 -x2035 -x1650 -x242 -x7309 -x5096 x4399 -x2353 -x1654 -x1570 -x9312 -x8304 -x7889 -x6699 -x6167 -x5580 -x5095 -x4403 1800.54 v -x2043 x1571 -x476 -x247 -x8305 -x6171 -x4402 -x2047 x1572 -x478 -x9318 -x8300 -x5103 x4385 -x2816 -x2051 -x1656 x1588 1800.54 v -x250 x8890 -x6567 -x5107 x4386 -x2820 -x2050 -x1657 -x248 x8911 -x8298 -x6908 x5965 -x5111 -x4951 x4381 -x4207 -x472 -x8907 1800.54 v x8445 -x6912 -x5110 -x10257 -x9321 -x9204 -x8906 x8447 -x5971 -x5026 -x4954 x4379 x4213 -x473 x10261 -x9203 -x8453 -x5030 1800.54 v x8449 -x6065 x5976 -x8461 -x3687 -x8502 -x6071 x5979 -x4216 -x3688 -x1549 -x8506 x5977 -x9200 x7109 -x6076 -x5701 -x3700 1800.54 v -x2493 -x1555 -x2495 -x8850 -x8508 x7112 -x6503 -x6077 x3820 x2751 -x8509 -x6504 -x6078 x3824 x2755 -x2491 -x10435 x9599 1800.54 v -x8603 -x7616 -x6800 x5145 -x4663 -x3812 -x1046 -x893 -x626 -x10439 x9600 -x6799 x5144 -x895 x408 -x10443 x9595 -x6879 1800.54 v x5161 -x632 x410 -x10442 -x8521 -x2599 -x2211 x416 x9593 -x8520 -x7620 -x6885 -x2600 x2579 -x2107 -x889 -x637 x412 -x7999 1800.54 v -x6139 -x2601 x2583 -x2111 x424 -x8528 -x7998 -x7206 -x6890 -x6796 -x6140 -x5795 -x4877 -x2617 -x1420 -x890 -x773 -x731 1800.54 v -x640 -x8532 -x7210 -x6141 -x4881 -x774 -x638 -x10009 -x8536 -x8006 -x6893 -x6157 -x6118 -x5801 -x5284 x3782 x2585 -x1426 1800.54 v -x769 -x734 -x10455 -x10010 -x9875 -x8535 -x8010 -x6891 x5283 x2586 -x1151 -x10476 -x10005 -x9874 -x8014 x6471 -x6121 1800.54 v -x4896 -x4883 x3788 -x1431 -x1153 -x767 -x10472 -x8013 -x6805 x6472 -x4884 -x1159 -x10743 -x10471 -x10003 -x9882 -x6806 1800.54 v -x6467 -x5804 -x4902 -x4157 -x1434 -x1155 -x10744 -x9886 -x6807 x6400 x5185 -x3909 -x1432 -x1167 -x10739 -x9890 -x7024 1800.54 v -x6823 -x6465 x6401 x5280 -x4907 -x4546 -x4163 -x4110 -x3930 -x3791 -x698 -x9889 -x7026 -x6549 x6402 -x4550 -x4114 -x3926 1800.54 v -x2240 -x699 -x10737 -x7978 x6418 -x5961 x5245 -x4910 -x4041 -x3925 -x2239 -x694 -x8765 -x5960 x5249 -x4972 -x4908 -x4149 1800.54 v -x8767 -x7984 -x7020 -x5820 -x5551 -x4973 -x4552 -x4166 -x2247 -x692 -x10104 -x8773 -x4974 -x4553 -x2251 -x1818 -x10374 1800.54 v -x10103 x8992 -x8769 -x7021 -x5826 -x5390 x5251 -x4990 -x3143 -x2255 -x1820 -x10375 x8996 -x8781 -x6639 x5252 -x2254 -x1826 1800.54 v x1795 -x10370 -x10111 -x8983 -x7987 -x6660 -x5957 -x5396 -x1822 x1796 -x10115 -x8985 -x8199 -x7650 -x6656 x5840 -x1834 1800.54 v x1797 -x10368 -x10119 -x9238 -x8200 -x6655 x5842 -x5829 x1813 -x10118 -x8739 -x8201 x5848 -x9241 -x8979 -x8217 x5844 -x5399 1800.54 v -x2270 x573 x9926 -x5856 -x3516 -x2274 x575 x10174 x9927 -x8980 -x7599 -x3962 x10173 x9928 x9944 -x7085 -x3965 -x1131 -x569 1800.54 v -x7089 -x5989 -x171 -x9355 -x7131 -x5991 -x2782 -x2438 x1137 -x570 -x9356 -x8915 -x5997 -x2781 -x2716 -x2442 -x10170 -x9351 1800.54 v -x8936 -x7134 -x7091 -x5993 x3854 -x1417 -x988 -x84 -x8932 -x7516 -x7092 -x6611 -x6005 x3286 -x1418 -x88 -x10299 -x9904 1800.54 v -x9349 -x9038 -x8931 -x7517 -x6613 -x4102 -x3857 x3307 -x1413 -x1140 -x994 -x10303 -x9908 -x8090 -x7518 -x6619 -x4101 1800.54 v x3303 x10021 -x9044 -x8367 -x8089 -x7740 -x7534 -x6615 x5091 x3302 -x2778 -x1411 -x90 -x8366 -x7741 -x6627 x5093 -x91 -x9049 1800.54 v x9035 -x8097 -x7736 -x7260 -x3263 -x997 x598 x9036 -x8101 -x2836 -x1391 x600 -x9052 -x9031 -x8105 -x7734 -x6510 x5087 -x4098 1800.54 v x3269 -x2835 -x1445 -x9849 -x9050 -x8104 -x6514 -x524 -x9851 -x9029 -x8363 -x6349 x5088 -x3193 -x2843 -x1451 x594 -x7 -x9857 1800.54 v -x2847 -x2340 -x11 -x9853 -x6355 -x5567 -x4930 x3272 -x2851 -x2339 x1716 -x1456 x595 -x9865 -x7893 -x2850 x1717 x10250 1800.54 v -x6360 -x5573 -x5223 -x2347 x1712 -x1459 x10251 x3111 -x2351 -x1644 -x1457 -x10246 -x8550 -x6363 -x5578 -x5326 x3132 -x2942 1800.54 v -x2355 x1710 -x1643 -x6361 -x5327 x4389 x3128 -x2946 -x2354 -x235 -x10244 -x10063 -x9308 -x8556 -x8303 x7307 -x6020 -x5581 1800.54 v -x5322 x4390 x3127 -x1651 -x237 -x8302 -x7311 -x6024 -x5579 x4391 -x2037 -x1655 -x477 -x243 -x9314 -x8680 -x6169 -x5320 1800.54 v x4407 -x4384 -x2948 -x2038 -x1659 x1591 -x239 -x6173 -x5097 x4383 -x2949 -x2039 -x1658 x1592 -x251 -x9319 -x8908 -x8559 1800.54 v x7313 -x5098 x4203 -x2815 -x2055 -x1587 x8910 x7314 -x5099 -x2819 -x9322 -x8299 -x6910 -x6175 -x5115 -x4950 -x4209 -x1585 1800.54 v -x9320 -x6914 -x6176 x5964 -x10259 -x8904 x5966 -x5025 -x4956 x4380 x4214 x10263 -x8496 x8448 -x5972 -x5029 -x8905 -x8495 1800.54 v -x8469 -x6916 x5968 -x4217 -x1545 x1186 x8465 -x6917 -x6064 x5980 -x4215 -x10265 -x8503 -x8464 -x6066 x5697 -x4959 -x3703 1800.54 v -x2895 -x1551 -x10266 -x8507 -x6072 -x3704 -x2745 -x2494 -x8846 -x8511 x7108 -x6502 -x6068 -x5700 -x3699 x2744 -x1556 1800.54 v -x8510 -x6501 -x6079 -x8849 x7114 x3822 -x3697 x2752 -x1557 x3826 x2756 -x2489 -x1558 -x10431 x9597 -x8605 -x7617 x5164 1800.54 v -x894 -x10430 x5165 -x2573 -x625 -x10447 -x7621 x5160 -x2572 -x627 -x7619 -x6878 -x4871 -x633 x411 x9594 -x8609 -x6880 1800.54 v -x5791 x5158 -x4870 -x2620 x2580 -x2109 -x772 -x629 x432 -x8522 -x6886 -x2621 x2584 -x2113 -x771 -x641 x428 -x10008 -x8523 1800.54 v -x8124 -x7205 -x6882 -x6160 -x5797 -x4878 x3778 -x2616 x2588 -x730 x427 -x10007 -x8524 -x8000 -x7209 -x6894 -x6161 -x4882 1800.54 v x2587 -x1419 -x10473 -x8540 -x8001 x6470 -x6156 -x6117 -x5802 -x4886 x3784 -x2614 -x2115 -x1421 -x736 -x10475 -x8002 x6469 1800.54 v -x4885 -x2116 -x1427 -x10742 -x8018 x6222 -x6154 -x6123 -x5805 -x4153 x3789 -x1423 -x768 -x10741 -x9876 -x5803 -x4895 1800.54 v -x4540 -x1435 -x1154 -x10469 -x10004 -x9877 -x6826 -x4897 -x4539 -x4159 -x3927 x3792 -x1175 -x739 -x697 -x9878 -x7025 1800.54 v -x6827 x5239 -x4903 -x3929 -x3790 -x1171 -x696 -x10470 -x9894 -x7974 x7768 -x6822 -x6466 x6421 -x6126 x5238 -x4899 -x4547 1800.54 v -x4164 -x4112 -x4037 -x1170 x6422 -x4911 -x4551 -x4116 -x10738 -x7980 -x6820 x6417 -x5816 -x5547 x5246 -x4555 -x4167 -x4040 1800.54 v -x3923 x5250 -x4554 -x4165 -x2241 -x10373 -x7985 x6415 -x5822 -x5550 -x5386 x5254 -x4993 -x4118 -x3924 -x3139 -x2242 -x693 1800.54 v -x10372 -x8768 x5253 -x4994 -x4119 -x2243 x8994 -x8789 -x7988 -x6657 -x5827 -x5392 -x4989 -x3142 -x2259 -x10105 x8998 1800.54 v -x8984 -x8785 -x7986 -x6659 -x1821 -x10106 -x8784 -x5830 -x5397 -x4987 -x1842 x1816 -x10107 -x5828 -x1838 x1817 -x10369 1800.54 v -x10123 -x9237 x9000 -x8220 -x6653 -x5400 -x1837 x1812 x9001 -x8221 x5843 -x5398 x574 -x9243 -x8216 -x7595 -x6654 -x6268 1800.54 v x5864 -x2269 -x1810 -x7079 -x6272 x5860 -x2273 x9947 -x8214 -x7598 -x7078 x5859 -x3961 x1127 x9948 x9943 -x9354 -x9246 1800.54 v -x7929 -x7086 -x3967 x1133 -x9353 -x7933 -x7090 -x78 x9941 -x9408 -x8933 -x7130 -x7094 -x2437 -x1416 x1138 -x984 -x77 -x9412 1800.54 v -x8935 -x7093 -x5992 -x2441 -x1415 -x7136 -x6013 -x3970 x3853 x3304 x1141 -x990 -x85 -x6009 x3306 -x1139 -x89 -x10298 x10017 1800.54 v -x9906 -x9350 -x8929 -x7739 -x7537 -x6762 -x6008 x3859 -x995 -x93 -x10302 -x9910 -x9037 -x7738 -x7538 -x6766 -x6614 x5092 1800.54 v -x92 x10020 -x9039 -x9034 -x8930 -x7533 -x7256 -x7139 -x6635 x3300 -x3259 -x1412 -x998 -x9045 -x9033 -x8091 -x6631 -x996 1800.54 v -x599 -x9912 -x9041 -x8092 -x7531 -x7259 -x6630 -x5750 x3862 x3301 -x3265 -x9913 -x9053 -x8093 -x8376 -x8109 -x7735 -x6512 1800.54 v x3579 x3270 -x3189 -x8380 -x6516 -x2837 -x1444 -x9030 -x4926 x3273 -x3192 -x2838 x1715 -x1446 -x9 -x9852 -x6348 x3271 -x2839 1800.54 v x1714 -x1452 -x13 x10249 -x9873 -x6518 -x6350 -x5219 -x4929 -x2855 -x1448 -x112 x10248 -x9869 -x6519 -x6356 -x5566 -x2936 1800.54 v -x2341 -x1460 -x9868 -x8546 -x6352 -x5568 -x5325 -x5222 x3129 -x2935 -x2342 -x1979 -x15 -x7301 -x6364 -x5574 -x5324 x3131 1800.54 v -x2343 -x1983 -x16 -x10059 -x8552 x7300 -x5570 -x2943 -x2359 x1711 -x6163 -x5582 -x2947 -x1645 -x10245 -x10062 -x8676 1800.54 v -x8557 x7308 -x6162 -x6019 x4410 x3125 -x2951 -x1646 -x1590 -x9307 -x7312 -x6023 x4411 -x2950 -x1647 x1589 -x238 -x9309 1800.54 v -x8679 -x8560 x7316 -x6170 -x5321 x4406 x3126 -x2058 -x1663 -x259 -x9315 -x8909 -x8558 x7315 -x6904 -x6174 -x2059 -x255 1800.54 v -x9311 -x6903 -x6178 -x5118 -x4946 x4404 -x3168 -x2817 -x2220 -x2054 -x254 -x10253 -x9323 -x6177 -x5119 x4202 -x2821 -x2224 1800.54 v x10252 -x6911 -x5114 -x4952 x4204 -x2052 -x1586 -x1504 -x6915 -x4210 -x10260 -x8466 -x6919 -x5112 -x5027 -x4957 x4206 1800.54 v -x2823 x1182 x10264 -x8468 -x6918 x5967 -x5031 -x4218 -x2824 -x10268 x5988 -x4960 -x3702 -x2891 -x2370 x1185 -x10267 -x8497 1800.54 v x5984 -x4958 -x3701 -x2374 -x1544 -x8498 -x8462 x7104 x5983 x5696 -x5033 -x2894 -x1546 -x8499 -x6067 -x5034 -x3816 -x1552 1800.54 v -x8845 -x8515 -x8463 x7110 -x6087 -x5702 -x3815 -x1548 -x341 -x6083 x2746 -x1559 -x345 -x8851 x7115 -x6082 x3823 -x3698 1800.54 v x2747 x3827 x2748 -x2490 -x10450 x9598 -x8606 x7618 x5162 -x10451 -x7622 -x2103 -x10446 -x8610 -x2619 -x2102 -x1054 x429 1800.54 v -x8608 -x2618 -x2574 x1058 -x628 x431 -x10444 -x8120 -x6159 x5159 -x2575 -x2110 -x726 -x649 -x6881 -x6158 -x5790 -x4872 1800.54 v x2576 -x2114 -x645 -x8543 -x8123 -x7207 -x6902 -x6113 -x5792 -x4873 -x3432 x2592 -x2118 -x732 -x644 x425 -x10474 -x8544 1800.54 v -x7211 -x6898 -x5798 -x4874 x3777 -x2117 -x8539 -x8021 -x6897 -x6218 -x6119 -x5794 -x4890 x3779 -x2615 -x737 x426 -x8022 1800.54 v -x5806 x3785 -x1422 -x8537 -x8017 -x7213 -x6825 x6221 -x6155 -x6124 x3781 -x3525 -x1443 -x1172 -x740 -x7214 -x6824 -x4152 1800.54 v -x4106 -x3928 x3793 -x3529 -x1439 -x1174 -x738 -x9897 -x8405 -x8015 x7764 x6420 -x6127 -x4154 -x4105 -x1438 -x9898 x6419 1800.54 v -x6125 -x4898 -x4541 -x4160 -x9893 x7767 -x4919 -x4542 -x4156 -x4113 -x4036 -x1168 -x7973 x5240 -x4915 -x4543 -x4168 -x4117 1800.54 v -x9891 -x7975 -x6821 -x5546 x5241 -x4992 -x4914 -x4559 -x4121 -x4042 -x1169 x8988 -x7981 -x5815 x5242 -x4991 -x4120 x8987 1800.54 v -x8786 x8630 -x7977 -x6416 -x5817 -x5647 -x5552 x5258 -x3138 -x2262 -x8788 -x7989 -x6658 -x5823 -x5651 -x5385 -x2263 x8995 1800.54 v -x5819 -x5387 -x4045 -x3144 -x2258 -x1839 x1815 -x1674 x8999 -x5831 -x5393 -x1841 x1814 -x1678 -x10126 -x9233 x9003 -x8782 1800.54 v -x8219 -x5555 -x5389 -x4988 -x3453 -x2256 -x10127 x9002 -x8218 -x5401 x3457 -x10122 -x9500 -x9239 -x8783 x5861 x3147 -x1835 1800.54 v x5863 -x10120 x9946 -x9244 -x7594 x6267 -x3957 -x2271 -x1836 -x1811 x9945 -x6271 -x2275 -x9247 -x8215 -x7600 x5857 -x3963 1800.54 v -x9245 -x7080 x1126 -x7928 -x7126 -x7081 x5858 -x3968 -x2277 x1128 -x8934 -x7932 -x7082 -x2278 x1134 x9942 -x9407 -x7603 1800.54 v -x7132 -x7098 -x6010 -x3971 x3849 -x2439 x1130 -x9900 -x9411 -x6012 -x3969 -x3305 -x2443 x1142 -x983 -x79 -x9899 x8825 1800.54 v -x7536 -x7137 x3855 -x985 -x80 -x7535 -x991 -x81 -x10300 x10016 -x9907 -x7140 -x6761 -x6632 -x6006 x3860 -x2445 -x987 -x97 1800.54 v -x10304 -x9911 -x7138 -x6765 -x6634 -x2446 -x999 x10022 -x9915 -x7255 -x6007 -x5746 -x5055 x3863 -x9914 -x9040 -x6506 1800.54 v x3861 -x3258 -x10306 -x9061 -x8112 -x7532 -x7261 -x6628 -x6505 -x5749 x3575 -x3260 -x10307 -x9057 -x8113 -x3266 -x3 x10025 1800.54 v -x9056 -x8375 -x8108 -x6629 -x6513 x3578 x3262 -x3188 -x2 -x8379 -x6517 x3274 -x9870 -x8106 -x7264 -x6521 -x4925 -x3194 1800.54 v -x2858 x108 -x10 -x9872 -x6520 -x2859 -x1447 -x14 -x5218 -x4931 -x2854 -x1468 x111 -x18 -x6351 x3130 -x1464 -x17 -x9866 1800.54 v -x6934 -x6372 -x5224 -x3197 -x2852 -x2362 -x1978 -x1463 -x8545 -x6938 -x6368 -x5569 -x2937 -x2363 -x1982 -x10058 -x9867 1800.54 v -x8547 -x8480 -x6367 -x6309 -x5590 -x4934 x4409 -x2938 -x2358 -x8553 x7302 -x6313 -x5586 x4408 -x2939 -x10064 -x9072 -x8675 1800.54 v -x8549 x7303 -x6021 -x5585 -x5522 -x5227 -x2955 -x2356 -x2057 -x1666 -x256 -x8561 x7304 -x6164 -x6025 -x5526 -x2811 -x2056 1800.54 v -x1667 -x258 -x8681 x7320 -x6165 x5363 -x5117 -x3616 -x3164 -x2810 -x1662 -x9310 -x6166 -x5116 -x3620 -x10067 -x9331 -x6182 1800.54 v -x6027 x4405 -x3167 -x2818 -x2219 -x1660 -x1500 -x252 -x9327 -x6905 -x6028 -x5021 -x4945 -x2822 -x2223 -x9326 -x8684 -x6906 1800.54 v -x5020 -x4947 -x2826 -x2657 -x2053 -x1724 -x1503 -x253 x10254 -x8467 -x6907 -x4953 x4205 -x2825 -x1728 x10255 -x6923 x5985 1800.54 v -x5113 -x5028 -x4949 x4226 x1181 x10256 x5987 -x5032 -x4961 -x4222 -x10272 -x5692 -x5036 x4726 -x4221 -x2890 -x2369 x1187 1800.54 v -x5035 -x2373 x8947 -x8841 -x8518 -x6084 x5981 x5698 -x2896 -x8519 x7103 -x6086 -x1547 -x8847 -x8514 x7105 x5982 -x5703 1800.54 v -x1567 -x1190 -x340 x7111 x3817 -x1563 -x344 -x8852 -x8512 x7107 -x6080 x5704 x3818 -x2899 -x2759 -x1562 x7116 x5705 x3819 1800.54 v -x2760 -x10448 x8607 x7630 x5163 -x8611 x7626 -x430 x7625 -x1206 x1053 -x646 -x7201 -x2104 -x1210 x1057 -x648 -x10445 -x8542 1800.54 v -x8119 -x7200 -x6899 -x6243 -x3428 x2595 -x2105 -x8541 -x6901 -x6247 x2596 -x2106 -x725 -x8125 -x8020 -x7208 -x4893 -x3431 1800.54 v x2591 -x2122 -x727 -x642 -x8019 -x7212 -x6112 -x5793 -x4894 -x733 -x7216 -x6895 x6217 -x6114 -x5814 -x4889 x2589 -x1440 1800.54 v -x729 -x643 -x7215 -x6120 -x5810 x3780 -x1442 -x1173 -x741 -x9896 -x8538 -x8401 -x8128 -x7834 -x6896 x6223 -x6116 -x5809 1800.54 v -x4887 x3801 -x3524 -x9895 -x6128 x3797 -x3528 -x8404 -x8016 x7763 -x5871 -x4916 -x4032 x3796 -x1436 -x5875 -x4918 -x4155 1800.54 v -x4107 x7769 -x6226 -x5542 -x4562 -x4176 -x4108 -x4038 -x1437 -x291 -x4563 -x4172 -x4109 -x295 -x9892 -x8626 -x5548 x5261 1800.54 v -x4912 -x4558 -x4171 -x4125 -x4043 -x3991 -x3550 x3134 -x2261 -x8787 -x7976 x5262 -x3554 -x2260 x8629 -x7997 -x7772 -x5646 1800.54 v -x5553 x5257 -x4913 -x4556 -x4046 -x3140 -x2004 x8989 -x7993 -x5818 -x5650 -x4044 -x2008 -x1840 -x10125 x8990 -x7992 -x5839 1800.54 v -x5556 x5255 -x3145 -x2532 -x1673 -x10124 x8991 -x5835 -x5554 -x5388 -x1677 -x9496 -x9007 -x6197 -x5834 -x5409 x3452 x3148 1800.54 v -x2257 -x9232 -x5862 -x5405 x3456 x3146 -x2265 -x10088 -x9499 -x9234 -x7590 -x5404 -x2264 -x9240 -x10121 -x9236 -x7596 1800.54 v -x6963 x6269 -x6045 -x2272 -x9248 x6273 -x6049 -x3956 -x2276 -x7601 -x3958 -x3243 -x2280 -x3964 -x2433 -x2279 -x7930 -x7604 1800.54 v -x7101 x6275 -x3960 -x2432 -x133 -x7934 -x7602 -x7125 -x7102 x6276 -x6011 -x3972 x1129 -x137 -x9409 x8821 -x7127 -x7097 1800.54 v -x2440 x1150 -x10294 -x9413 -x7133 x3848 -x2444 x1146 -x10293 -x10012 x8824 -x7936 -x7129 -x7095 x3850 -x2448 x1145 -x100 1800.54 v -x9901 -x7937 -x7141 -x6633 x3856 -x2447 -x986 -x101 -x10301 x10018 -x9902 -x9415 -x7251 -x6763 -x5051 x3852 -x1007 -x96 1800.54 v -x10305 -x9903 -x9416 -x6767 x3864 -x1003 -x10309 x10023 -x9919 -x9058 -x8111 -x7257 -x5745 -x5054 -x1002 -x94 -x10308 1800.54 v -x9060 -x8110 x10026 -x7574 -x7262 -x6769 -x5751 x3574 -x3184 x10024 -x6770 -x6507 x3261 -x9054 -x8377 -x8328 -x7265 -x6508 1800.54 v -x5447 -x4921 x3580 x3282 -x3190 -x2857 -x9871 -x8381 -x7263 -x6509 -x5451 x3278 -x2856 -x4 -x9055 -x8872 -x8107 -x6525 1800.54 v -x5754 -x5214 -x4927 x3277 -x3195 -x2295 -x1465 x107 -x5 -x2299 -x1467 -x6 -x8383 -x7545 -x6369 -x5220 -x4932 x3583 -x3198 1800.54 v -x2361 x113 -x22 -x8384 x7549 -x6371 -x3196 -x2360 -x10054 x8476 -x6933 -x5587 -x5225 -x4935 -x2853 -x2553 -x1980 -x1461 1800.54 v -x6937 -x6015 -x5589 -x4933 -x2557 -x1984 -x10060 -x9068 -x8671 x8479 -x6365 -x6308 -x6014 -x5228 -x2958 -x1665 -x1462 1800.54 v -x116 -x8548 -x6312 -x5226 -x2959 -x1664 -x257 -x10065 -x9071 -x8677 -x8569 x7323 -x6366 -x6022 -x5583 -x5521 x5359 -x2954 1800.54 v -x2357 -x1986 -x8565 x7324 -x6026 -x5525 -x1987 -x10068 -x9959 -x9328 -x8682 -x8564 x7319 -x6185 -x6030 -x5584 x5362 -x3615 1800.54 v -x3163 -x2952 -x10066 -x9330 -x6186 -x6029 -x3619 -x2812 -x9217 -x8685 x7317 -x6181 -x3169 -x2813 x2653 -x2221 -x1661 1800.54 v -x1499 -x8683 -x2814 -x2225 -x9324 -x6926 -x6179 x4223 -x2830 x2656 -x1723 -x1505 -x1303 -x1177 -x6927 -x5986 -x5022 -x4948 1800.54 v x4225 -x1727 -x1307 x10275 -x9325 -x6922 -x5023 -x4969 -x4722 -x3172 -x2886 -x2227 x1183 x10276 -x5024 -x4965 -x2228 -x10271 1800.54 v x8943 -x8517 -x6920 -x5040 -x4964 x4725 -x4219 -x2892 -x2371 -x1508 x1188 -x8516 -x6085 -x5691 -x2375 -x10269 x8946 -x5693 1800.54 v -x4220 -x2897 -x1564 -x1191 -x8840 x5699 -x1566 -x1189 -x8842 x5695 -x3016 -x2900 -x2758 -x2377 -x342 -x8848 x7106 x5706 1800.54 v -x3020 -x2898 -x2757 -x2378 -x346 -x8844 -x8513 x7124 -x6081 x3830 -x1560 -x8853 x7120 x3831 -x10449 x8619 x7629 -x8615 1800.54 v -x647 -x8614 -x8115 x7623 x2594 -x1205 x1055 -x6900 x2593 -x1209 x1059 -x8121 x7624 -x6242 -x4892 -x3427 -x2125 -x706 -x7202 1800.54 v -x6246 -x4891 -x2126 -x710 -x8126 -x7203 -x6213 -x5811 x3666 -x3433 -x2121 x1061 -x7204 -x5813 x3670 -x1441 -x1062 -x728 1800.54 v -x8129 -x7830 -x7220 x6219 -x3798 x2590 -x2119 -x749 -x8127 -x6115 x3800 -x745 -x8400 -x7833 x7759 x6224 -x6136 -x5807 1800.54 v -x4888 -x3526 -x3436 -x744 -x6132 -x4917 -x3530 -x8406 x7765 -x6227 -x6131 -x5870 -x5808 -x4561 -x4173 x3794 x2507 -x6225 1800.54 v -x5874 -x4560 -x4175 -x4031 x7770 x5260 -x4128 -x4033 -x3987 x3795 -x3532 -x290 -x5541 x5259 -x4129 -x4039 -x3533 -x294 1800.54 v x10134 x8625 -x8409 -x7994 -x7773 -x5543 -x4169 -x4124 -x4035 -x3990 -x3549 -x10138 -x7996 -x7771 -x5549 -x4047 -x3553 1800.54 v x3133 x8631 -x5836 -x5648 -x5545 -x4557 -x4170 -x4122 x3135 -x2528 -x2003 -x1353 -x5838 -x5652 -x5557 -x3141 -x2007 -x1357 1800.54 v -x9010 -x7990 -x6193 -x5406 x5256 x3137 -x2531 -x1675 -x9011 -x5408 x3149 -x1679 -x10084 -x9495 -x9006 x8634 -x7991 -x6196 1800.54 v -x5832 -x5654 x3454 x6263 -x5655 x3458 -x10087 -x9501 -x9004 -x6959 x6262 -x5833 -x5402 -x4066 -x1681 -x9235 -x7589 -x2266 1800.54 v -x1682 -x9256 -x7591 -x6962 x6270 -x6044 -x5403 x3460 x3239 -x2267 -x9252 -x7924 -x7597 x6274 -x6048 -x3461 -x2268 -x9504 1800.54 v -x9251 -x7923 -x7593 -x7100 x6278 x3242 -x2284 -x9403 -x7605 -x7099 x6277 -x3959 -x9402 -x7931 -x3980 x1147 -x132 -x58 1800.54 v -x7935 -x3976 -x2434 x1149 -x136 -x62 -x9410 x8820 -x7939 -x3975 -x2435 -x1014 -x99 -x9414 -x7938 -x7128 -x6757 -x2436 1800.54 v -x1018 -x98 -x9418 x8826 -x7149 -x7096 -x6756 -x2452 x1143 -x1004 -x10295 -x10011 -x9417 -x7145 x3851 -x1006 -x10296 -x10013 1800.54 v -x9922 -x7144 -x6764 -x5741 -x5050 x3872 x1144 -x10297 x10019 -x9923 -x9059 -x7250 -x6768 x3868 -x10313 x10015 -x9918 1800.54 v x8829 -x7570 -x7252 -x6772 -x5747 -x5056 x4237 x3867 -x3570 -x1000 -x95 x10027 -x8371 -x7258 -x6771 -x9916 -x8370 -x8324 1800.54 v -x7573 -x7254 -x5752 x3576 x3279 -x1001 -x7266 x3281 -x3183 -x8868 -x8378 -x8327 -x6528 -x5755 -x5446 -x5059 x3581 -x3185 1800.54 v x103 -x8382 -x6529 -x5753 -x5450 -x4920 -x3191 -x1466 -x8871 -x8386 -x6524 -x4922 -x4276 x3584 x3275 -x3187 -x2294 x109 1800.54 v -x25 -x8385 -x6370 -x5213 -x4928 -x4280 x3582 -x3199 -x2298 -x1974 -x26 -x7544 -x6522 -x5215 -x4924 x3276 -x1973 x114 -x21 1800.54 v x7548 -x5588 -x5221 -x4936 x8475 -x6935 -x5217 -x2957 -x2552 -x1981 x117 -x19 -x10053 -x6939 -x5229 -x2956 -x2556 -x1985 1800.54 v x115 -x10055 -x9067 -x8566 x8481 -x7322 -x6433 -x6310 -x1989 -x200 -x10061 -x8670 -x8568 x7321 -x6314 -x6016 -x1988 -x204 1800.54 v -x10057 -x9955 -x9073 -x8672 -x6941 -x6863 -x6184 -x6017 -x5523 x5358 -x3159 -x10069 -x9329 -x8678 -x6942 -x6183 -x6018 1800.54 v -x5527 -x2215 -x9958 -x9213 -x9172 -x8674 -x8562 -x8484 -x6316 -x6034 x5364 -x3617 -x3165 -x2953 -x2214 -x1495 -x8686 1800.54 v -x6317 -x3621 -x9216 -x9076 -x8563 x7318 -x6925 -x5529 -x3170 -x2833 x2652 -x2222 -x1501 -x6924 -x5530 x4224 -x2834 -x2226 1800.54 v x10274 -x6180 -x5367 -x4966 x3623 -x3173 -x2829 x2658 -x2230 -x1725 -x1506 -x1302 x10273 -x4968 x3624 -x3171 -x2365 -x2229 1800.54 v -x1729 -x1306 -x1176 -x5043 -x4721 -x2827 -x2364 -x2177 -x1509 -x1178 -x5044 -x2885 -x1507 x1184 x8942 -x6921 -x5039 -x4962 1800.54 v x4727 -x2887 -x2661 -x2372 -x1731 x1180 -x2893 -x2376 -x1732 -x1565 -x1192 -x336 -x10270 x8948 -x5037 -x4963 -x2889 -x2380 1800.54 v -x335 -x5694 -x2901 -x2379 x7121 x5714 -x4730 x3829 -x3015 -x343 -x8843 x7123 x5710 x3828 -x3019 -x347 -x8951 -x8861 x5709 1800.54 v -x4617 -x1561 -x348 -x8857 x7119 -x349 x8618 -x7627 x1278 x1050 x1282 -x9446 -x8612 -x3423 -x2124 -x1207 x1056 -x8114 -x2123 1800.54 v -x1211 x1060 -x8613 -x8116 -x6244 -x3429 x1064 -x705 -x8122 -x6248 -x5812 x1063 -x709 -x8118 -x7223 x3665 -x3434 -x1213 1800.54 v -x746 -x8130 -x7224 x6212 -x3799 x3669 -x3520 -x1214 -x748 -x8396 -x7829 -x7219 x6250 x6214 -x6133 -x3519 -x3437 -x2120 1800.54 v x6251 x6220 -x6135 -x3435 -x8402 -x7859 -x7835 -x7217 x6216 -x3527 -x2503 -x742 x7758 x6228 -x4174 -x3531 -x8407 x7760 1800.54 v -x6129 -x5872 -x4127 -x3535 x2506 -x743 x7766 -x5876 -x4126 -x3534 x8621 -x8410 -x7838 x7762 -x6130 -x3986 -x292 -x8408 1800.54 v -x7995 -x7774 -x5642 -x4034 -x296 x10133 x8627 -x5878 -x5641 -x4055 -x3992 -x3551 -x10137 -x5879 -x5837 -x5544 -x4051 1800.54 v -x3555 -x1669 -x9009 x8632 -x5649 -x5565 -x4123 -x4050 -x2527 -x2005 -x1668 -x1352 -x320 -x298 -x9008 -x5653 -x5561 -x5407 1800.54 v -x3448 x3136 -x2009 -x1356 -x299 -x9491 x8635 -x6192 -x5657 -x5560 -x4851 -x3995 x3557 x3447 x3157 -x2533 -x1676 x8633 1800.54 v -x5656 -x4855 -x3558 x3153 -x1680 -x10083 -x9497 -x9143 -x6198 -x4062 x3455 x3152 -x2011 -x1684 -x9147 x3459 -x2012 -x1683 1800.54 v -x10089 -x9502 -x9253 -x9005 -x8576 -x6958 -x4065 x3463 -x2536 -x9255 -x8580 x6264 x3462 -x9505 -x6964 x6265 -x6201 -x6046 1800.54 v x3314 x3238 -x2287 -x1529 -x9503 -x7592 x6266 -x6050 x3318 -x2288 -x10092 -x9249 -x7613 x6282 -x3977 x3244 -x2283 -x7925 1800.54 v -x7609 -x3979 x1148 -x9250 -x8816 -x7926 -x7608 -x6967 -x6052 -x2281 -x134 -x57 -x9404 -x7927 -x6053 -x138 -x61 -x9405 1800.54 v x8822 -x7943 -x7231 -x7146 -x3973 x3247 -x2455 -x1013 -x9406 -x7235 -x7148 -x2456 -x1017 -x1005 -x9921 -x9422 x8827 -x5046 1800.54 v -x3974 x3869 -x2451 -x140 -x9920 -x6758 x3871 -x141 -x10316 x8830 -x7142 -x6759 -x5052 x4233 -x2449 -x10317 -x10014 x8828 1800.54 v -x6760 -x5740 -x10312 -x10035 -x7569 -x7143 -x6776 -x5742 -x5057 x4236 x3865 -x1753 -x10031 -x7253 -x5748 -x3569 x3280 1800.54 v -x10310 -x10030 -x9917 -x8323 -x7575 -x7274 -x6527 -x5744 -x5060 x3866 x3571 x806 -x8372 -x7270 -x6526 -x5756 -x5058 x3577 1800.54 v -x810 -x8867 -x8373 -x8329 -x7269 -x5448 x3573 -x24 -x8374 -x5452 x3585 -x3186 x102 -x23 -x8873 -x8390 -x7578 -x4275 -x3207 1800.54 v -x2296 x104 -x6929 -x4923 -x4279 -x3203 -x2300 x110 x8471 -x8332 x7546 -x6928 -x6523 -x5454 -x4944 -x3202 -x1774 x106 x7550 1800.54 v -x6304 -x5455 -x5216 -x4940 -x1975 -x1778 x118 -x10603 -x9063 -x8876 x8477 -x6936 -x6429 -x6303 -x5237 -x4939 -x2554 -x2302 1800.54 v -x1976 -x20 -x10607 -x8567 -x6940 -x5517 -x5233 -x2558 -x2303 -x1977 -x9069 x8482 x7552 -x6944 -x6859 -x6432 -x6311 -x5516 1800.54 v x5354 -x5334 -x5232 -x1993 -x199 -x10056 -x7553 -x6943 -x6315 -x5338 x3611 -x203 -x10077 -x9954 -x9168 -x9074 x8485 -x8263 1800.54 v -x6862 -x6319 -x6037 -x5524 x5360 x3610 -x3218 -x2560 -x10073 -x8673 x8483 -x8267 -x6318 -x6038 -x5528 -x3158 -x2561 -x10072 1800.54 v -x9960 -x9212 -x9171 -x9077 -x8694 -x6033 -x5532 x5365 -x3618 -x3160 -x3093 -x2832 x2648 -x9075 -x8690 -x5531 -x3622 -x3166 1800.54 v -x2831 -x2216 -x1719 -x1494 -x9218 -x8689 -x6031 x5368 x3626 -x3162 x2654 -x2217 -x1718 -x1496 x5366 -x4967 x3625 -x3174 1800.54 v -x2218 -x1502 -x9963 -x5042 x4717 x2659 -x2234 -x2173 -x1726 -x1498 -x1304 -x5041 -x1730 -x1510 -x1308 -x9221 -x8938 -x4723 1800.54 v -x2828 x2662 -x2176 -x1734 x2660 -x2366 -x1733 -x1179 x8944 x4728 -x2367 -x1479 -x1310 x1200 -x2888 -x2368 -x1311 x1196 1800.54 v -x9263 x8949 x5711 -x5038 -x4731 -x2909 -x2384 x1195 -x9267 x7122 x5713 -x4729 -x2905 -x337 -x8952 -x8858 -x4613 x3405 1800.54 v -x3017 -x2904 -x338 -x8950 -x8860 -x3409 -x3021 -x339 x5707 -x4616 -x353 -x8856 x7117 -x9442 -x8616 -x7628 x1277 -x1202 1800.54 v x1074 -x6238 x1281 x1049 -x9445 x6237 -x1208 x1051 -x3422 -x1212 x1052 -x7222 -x6245 -x3424 -x1216 x1068 -x707 -x8117 -x7221 1800.54 v -x6249 -x3430 -x1215 -x747 -x711 -x8138 -x7825 x6253 x3667 -x3426 -x8134 x6252 -x6134 x3671 -x3438 -x8133 -x7855 -x7831 1800.54 v -x713 -x8395 x6215 -x5866 -x3521 -x714 -x8397 -x7858 -x7836 -x7218 -x6236 -x5865 x5601 x3673 -x3522 x2502 -x8403 x6232 1800.54 v x3674 -x3523 -x286 -x8399 -x7839 x6231 -x5873 -x3982 -x3539 x2508 -x285 -x8411 -x7837 x7761 -x5877 x3545 x7782 -x6576 -x5881 1800.54 v -x4052 -x3988 x3544 -x293 x8620 -x7778 -x6580 -x5880 -x4054 -x1999 -x297 x10135 x8622 -x7777 -x5562 -x3993 -x3552 -x2523 1800.54 v -x2511 -x1998 -x316 -x301 -x10139 x8628 -x5643 -x5564 -x3556 -x300 x8624 -x6188 -x5644 -x4187 -x4048 -x3996 x3560 x3154 1800.54 v -x2529 -x2006 -x1354 x319 x8636 -x5645 -x3994 x3559 x3156 -x2010 -x1670 -x1358 x10141 -x10079 -x6194 -x5661 -x5558 -x4850 1800.54 v -x4049 -x2534 -x2014 -x1671 -x10142 -x9490 -x4854 x3449 -x2013 -x1672 -x10085 -x9492 -x9142 -x6954 -x6199 -x5559 -x4061 1800.54 v x3450 x3150 -x2537 -x1688 -x1360 -x9498 -x9254 -x9146 -x6040 x3451 -x2535 -x1361 -x10090 -x9494 -x8575 -x6960 -x6202 -x6039 1800.54 v -x4067 -x3467 x3234 -x3151 -x2286 -x1525 -x9506 -x8579 -x6200 -x2285 -x10093 -x7610 -x6965 x6285 -x6047 x3313 x3240 -x3043 1800.54 v -x1528 -x10091 -x7612 x6286 -x6051 -x3978 x3317 -x128 -x9565 -x6968 x6281 -x6055 -x4070 x3245 -x127 -x6966 -x6054 -x7946 1800.54 v -x7606 x6279 x3248 -x2454 -x2282 -x135 -x59 x8815 -x7947 -x7147 x3246 -x2453 -x139 -x63 -x9425 x8817 -x7942 -x7607 -x7230 1800.54 v -x6988 -x1015 -x143 -x9426 x8823 x7234 -x3870 -x1019 -x142 -x10315 -x9421 x8819 -x7940 -x65 -x10314 x8831 -x5045 -x66 -x10032 1800.54 v -x9419 -x7565 -x6779 -x5047 x4232 -x2450 -x1749 -x1021 -x10034 -x6780 -x5053 -x1022 -x8319 -x7571 -x7271 -x6775 -x5049 1800.54 v x4238 x2152 -x1752 -x7273 -x5743 -x5442 -x5061 -x10311 -x10028 -x8863 -x8325 -x7576 -x6773 -x5764 -x5441 x805 -x5760 x3572 1800.54 v -x2290 x809 -x10029 -x8869 -x8393 -x8330 -x7579 -x7267 -x5759 -x5449 x4241 x3593 -x3204 -x2289 -x8394 -x7577 x7540 -x5453 1800.54 v -x3589 -x3206 -x8874 -x8389 -x8333 x7539 -x7268 -x5457 -x4941 -x4277 -x3588 -x2297 x1603 -x8331 -x5456 -x4943 -x4281 -x2548 1800.54 v -x2301 x105 -x8877 -x8387 x7547 -x5234 -x3200 -x2547 -x2305 -x1773 -x364 -x126 -x8875 x8470 x7551 -x6930 -x5236 -x2304 1800.54 v -x1777 -x368 x122 -x10602 x8472 x7555 -x6931 -x6428 -x4937 -x4283 -x3201 -x2555 -x1996 x121 -x10606 -x9062 x8478 x7554 1800.54 v -x6932 -x6305 -x4284 -x2559 -x1997 -x10074 -x9950 -x9656 -x9064 x8474 -x6948 -x6858 -x6434 -x6306 -x6036 -x5333 -x5230 1800.54 v -x4938 -x3214 -x2563 -x1992 -x201 -x10076 -x9070 x8486 -x6307 -x6035 -x5518 x5353 -x5337 -x2562 -x205 -x9956 -x9208 -x9167 1800.54 v -x9066 -x8691 -x8262 -x6864 -x6323 -x5519 x5355 -x5231 -x3217 -x3089 -x1990 -x1929 -x9078 -x8693 -x8266 -x5520 x5361 x3612 1800.54 v -x1933 -x10070 -x9961 -x9214 -x9173 -x6437 -x5536 x5357 -x4697 x3613 -x3092 -x207 x5369 -x4701 x3614 -x3161 x2647 -x1298 1800.54 v -x208 -x10071 -x9964 -x9219 -x8687 -x6867 -x6032 -x5896 x3630 -x3182 x2649 -x2237 -x1297 -x9962 -x5900 -x3178 x2655 -x2238 1800.54 v -x1720 -x1497 -x9222 -x9176 -x8688 -x3177 x2651 -x2233 -x2172 -x1721 -x1518 -x1305 -x9220 x4716 x2663 -x1722 -x1514 -x1309 1800.54 v x4718 -x2231 -x2178 -x1738 -x1513 -x1475 -x1313 x1197 -x8937 -x4724 -x1312 x1199 -x8939 x7663 x4720 -x2906 -x2387 -x1478 1800.54 v x8945 x5712 -x4732 -x3011 -x2908 -x2388 -x9262 x8941 -x3010 -x2383 -x2181 x1193 -x9266 -x8953 -x8859 -x4612 x3404 -x3018 1800.54 v -x2902 -x2381 x1194 -x356 x3408 -x3022 -x357 x6483 -x5708 -x4618 x4528 -x3023 -x2903 -x352 -x8854 x7118 x4532 -x3024 -x9441 1800.54 v -x8617 -x2063 x1279 x1073 -x2067 x1283 -x1201 -x701 -x9447 -x8750 -x1203 x1071 -x700 x6239 -x3661 -x1204 x1072 -x8135 -x6737 1800.54 v x6240 x3660 -x1285 -x1220 x1067 -x708 -x8137 -x6741 x6241 -x3425 -x1286 -x712 -x9450 x6257 x3668 -x3446 x1065 -x716 -x7824 1800.54 v x3672 -x3442 -x715 -x8131 -x7854 -x7826 -x7351 -x6233 -x5597 x3676 -x3441 x2498 -x7832 -x7355 -x6235 x3675 -x8132 -x7860 1800.54 v -x7828 x5600 -x3542 x2504 -x266 -x8398 -x7840 -x5867 -x3543 -x270 -x8419 x7779 -x6229 -x5868 -x3538 x2509 -x660 -x10129 1800.54 v -x8415 x7781 -x5869 -x4053 -x3981 -x287 -x10208 -x10128 -x8414 -x7863 -x6575 -x6230 -x5885 -x3983 -x3536 -x2512 -x1260 1800.54 v -x288 -x10212 -x6579 -x5563 -x3989 x3546 -x2510 -x1348 -x289 x10136 -x7775 -x5497 -x4183 -x3985 x3547 -x1347 x315 -x305 1800.54 v -x10140 x8623 x5501 -x3997 x3548 x3155 -x2522 -x2000 x10144 x8644 -x7776 -x5664 -x4186 x3564 -x2524 -x2001 -x1355 x321 1800.54 v x10143 x8640 -x6187 -x5665 -x2530 -x2002 -x1359 x8639 -x6189 -x5660 -x4852 -x4057 -x2526 -x2018 -x1691 -x1363 -x10078 1800.54 v -x6195 -x4856 -x2538 -x1692 -x1362 -x10080 -x9144 -x6191 -x5658 x5622 -x4063 x3470 -x1687 x324 -x10086 -x9493 -x9148 -x6953 1800.54 v -x6203 -x5626 x3471 -x10082 -x9514 -x8577 -x6955 x6284 -x4858 -x4463 -x4068 -x3466 -x3039 -x1685 -x1524 -x10094 -x9510 1800.54 v -x8581 -x7611 -x6961 x6283 -x6041 -x4859 x3233 -x9561 -x9509 -x9150 -x6957 -x6042 -x4071 -x3464 x3315 x3235 -x3042 -x2795 1800.54 v -x1530 -x9151 -x6969 -x6043 -x4069 x3319 x3241 -x53 -x9564 -x8583 -x7945 -x6059 x3237 -x52 -x8584 -x7944 x3249 -x1009 -x129 1800.54 v -x10705 -x9424 -x6984 x6280 x3321 -x1533 -x1008 -x130 -x60 -x9423 -x3322 -x131 -x64 -x8149 -x7232 -x6987 x1016 -x147 -x68 1800.54 v x8818 x7236 x1020 -x67 x8839 -x7941 -x6778 -x6379 -x4228 x1024 -x10033 x8835 -x6777 -x6383 -x1023 -x9420 x8834 -x7238 x4234 1800.54 v x2148 -x1748 -x1332 -x7564 -x7272 -x7239 -x5048 -x7566 -x5761 -x5069 x4239 x2151 -x1754 -x8318 -x7572 -x5763 -x5065 -x8392 1800.54 v -x8320 -x7568 -x6774 -x5064 x4242 -x3590 x807 -x8862 -x8391 -x8326 -x7580 -x5443 -x4271 x4240 x3592 -x3205 x811 -x8864 1800.54 v -x8322 -x5757 -x5444 -x4270 -x1757 -x1599 -x8870 -x8334 -x5445 -x4942 -x2291 -x9097 -x8866 -x5758 -x5461 -x4278 -x3586 1800.54 v -x2292 x1602 x813 -x123 -x8878 x7541 -x5235 -x4282 -x2293 x814 -x125 -x8388 x7542 -x6424 -x4286 -x3587 -x2309 -x1995 -x1775 1800.54 v -x363 x7543 -x4285 -x2549 -x1994 -x1779 -x367 -x195 -x10604 -x9652 x7559 -x7038 -x6951 -x6854 -x6430 -x2550 -x194 x119 1800.54 v -x10608 -x10075 x8473 -x6952 -x2551 -x9655 -x9163 -x8494 -x6947 -x6860 -x6435 -x6326 x5725 -x5335 -x3213 -x2567 -x1781 1800.54 v -x202 x120 -x9949 -x9065 -x8692 x8490 -x6327 -x5339 -x1782 -x206 -x10610 -x9951 -x9169 -x9086 x8489 -x8264 -x6945 -x6865 1800.54 v -x6438 -x6322 -x5539 -x3219 -x3088 -x1991 -x1928 -x210 -x10611 -x9957 -x9207 -x9082 -x8268 -x6436 -x5540 x5356 -x1932 1800.54 v -x209 -x9953 -x9209 -x9174 -x9081 -x6868 -x6320 -x5535 x5377 -x5341 -x4696 x3633 -x3179 -x3094 -x2236 -x1231 -x932 -x9965 1800.54 v -x9215 -x6866 x5373 -x5342 -x4700 x3634 -x3181 -x2235 -x1235 -x9211 -x9177 -x8270 -x5895 -x5533 x5372 x3629 -x3222 -x2168 1800.54 v -x1515 -x9223 -x9175 -x8271 -x5899 x2650 -x1517 -x1299 x3627 -x3175 -x3097 x2671 -x2174 -x1741 -x1300 x2667 -x1742 -x1301 1800.54 v x1198 -x7659 -x3176 x2666 -x2386 -x2232 -x2179 -x1737 -x1511 -x1474 -x1317 x4719 -x2907 -x2385 -x10660 x7662 x4740 -x2182 1800.54 v -x1735 -x1512 -x1480 -x8940 x4736 -x2180 -x9264 x8961 x4735 -x4608 -x3758 -x2995 -x355 -x9268 -x8957 -x3762 -x3012 -x354 1800.54 v -x8956 x6479 -x4614 x3406 -x3013 -x2382 -x1483 -x608 x3410 -x3014 -x612 -x9270 x6482 -x4619 x4527 -x3028 -x350 -x9271 -x8855 1800.54 v x4531 -x9443 -x8746 -x3733 -x2062 x1280 x1075 x1070 -x3737 -x2066 x1284 x1069 -x9448 -x8749 -x7702 -x1288 -x1223 -x8136 1800.54 v -x1287 -x1224 -x702 -x9451 -x6736 x6260 -x3443 -x1219 -x1079 -x703 -x33 -x9449 -x6740 x6261 x3662 -x3445 -x704 x37 -x7850 1800.54 v x6256 -x5001 -x4676 x3663 -x1217 x1066 -x720 -x6234 -x5005 x3664 -x7856 -x7350 -x7281 x6254 -x5596 x3680 -x3541 -x3439 1800.54 v -x7827 -x7354 -x7285 -x3540 x2497 -x8416 -x7861 -x7848 x5602 -x3440 x2499 -x656 -x265 -x8418 -x7844 x7780 x2505 -x269 -x7864 1800.54 v -x7843 -x5888 x2501 -x1256 -x659 -x7862 -x5889 -x2513 -x10207 -x8412 -x6577 -x5884 -x5605 -x3537 -x1259 -x311 -x308 -x10211 1800.54 v -x10130 -x6581 -x3984 -x309 -x10483 -x10131 x8641 -x8413 -x5882 -x5663 -x5496 -x4182 -x4005 x3567 x317 -x304 -x10487 x10132 1800.54 v x8643 -x5662 x5500 -x4846 -x4001 x3568 -x1349 x10148 -x6583 -x4845 -x4188 -x4000 x3563 -x2021 -x1690 -x1350 x322 -x302 1800.54 v -x9138 -x6584 -x2525 -x2022 -x1689 -x1351 -x9137 x8637 -x4853 x3561 x3469 -x2546 -x2017 -x1367 x325 -x8571 -x6190 -x4857 1800.54 v -x4056 x3468 -x2542 x323 -x9511 -x9145 -x8638 -x8570 -x6211 -x5659 x5621 -x4861 -x4459 -x4191 -x4058 -x2541 -x2015 -x1520 1800.54 v -x10081 -x9513 -x9149 -x6207 x5625 -x4860 -x4064 x3309 -x10102 -x9834 -x9153 -x8578 -x6206 -x4462 -x4060 x3308 -x3038 1800.54 v -x2791 -x1686 -x1526 -x10098 -x9152 -x8582 -x6956 -x4072 -x10097 -x9560 -x9507 -x8586 -x7417 -x6977 -x6062 -x3465 x3316 1800.54 v -x3044 -x2794 -x2467 -x1531 -x8585 -x7421 -x6973 -x6063 x3320 x3236 -x10701 -x9566 -x9508 -x6972 -x6058 x3324 x3257 -x1534 1800.54 v -x831 x7226 x3323 -x3253 -x1532 -x835 -x54 -x10704 x8145 x7225 -x6983 -x6056 -x3252 -x3047 -x150 -x55 -x1010 -x151 -x56 1800.54 v -x9569 x8836 -x8148 -x7233 -x6989 -x6671 x1011 -x146 -x72 x8838 x7237 x1012 -x7241 -x6378 -x1744 -x1328 x1028 -x144 -x7240 1800.54 v -x6382 x4227 x8832 -x6992 -x5066 x4229 -x3339 x2147 -x1750 -x1331 -x5762 -x5068 x4235 -x3343 -x801 x8833 -x7954 x4231 x2153 1800.54 v -x1755 x800 -x7958 -x7567 x4243 -x3591 -x7588 -x5672 -x5062 -x2920 -x1758 x808 -x8321 -x7584 -x5676 -x1756 x812 -x9093 1800.54 v -x8342 -x7583 -x5464 -x5063 x2156 x1598 x816 -x8865 -x8338 -x5465 -x4272 -x1769 x815 -x124 -x9096 -x8886 -x8337 -x7181 1800.54 v -x5460 -x4273 -x2312 -x1768 x1604 -x10598 -x8882 -x7185 -x4274 -x2313 -x10597 -x8881 x7562 -x7034 -x6950 -x5458 -x4290 1800.54 v -x2308 -x1776 -x365 x7563 -x6949 -x6423 -x5329 -x1780 -x369 -x10605 -x9651 -x8491 x7558 x7059 -x7037 -x6425 -x6325 -x5721 1800.54 v -x5328 -x3209 -x2570 -x2306 -x1784 -x1607 -x10609 -x8493 -x8258 x7063 -x6853 -x6431 -x6324 -x2571 -x1783 -x196 -x10613 1800.54 v -x9657 -x9083 -x8257 x7556 -x6855 -x6427 x5724 -x5538 -x5336 -x3215 -x3084 -x2566 -x537 -x371 -x197 -x10612 -x9162 -x9085 1800.54 v -x6861 -x6439 -x5537 -x5340 -x372 -x198 -x9164 x8487 -x8265 -x6946 -x6857 x5374 -x5344 -x3632 -x3364 -x3220 -x3090 -x2564 1800.54 v -x1930 -x928 -x214 -x9952 -x9170 -x8269 -x6869 x5376 -x5343 -x3631 x3368 -x3180 -x1934 -x9973 -x9660 -x9166 -x9079 -x8488 1800.54 v -x8273 -x6321 -x4698 -x4305 -x3223 -x3095 -x1230 -x931 -x9969 -x9210 -x9178 -x8272 -x4702 -x3221 -x1516 -x1234 -x9968 1800.54 v -x9231 -x9080 -x5925 -x5897 -x5534 x5370 -x3478 -x3098 x2668 -x1936 -x1740 -x9227 -x5901 -x3482 -x3096 x2670 -x2167 -x1937 1800.54 v -x1739 -x9226 x5371 -x4704 x3628 -x2169 -x1470 -x1320 -x4705 -x2175 -x1321 -x10656 -x7658 -x5903 x4737 x2664 -x2413 -x2171 1800.54 v x1958 -x1476 -x1316 -x9258 -x5904 x4739 -x2417 -x2183 -x10659 -x9257 x8958 x7664 -x2991 x2665 -x1736 -x1481 -x1314 x8960 1800.54 v -x3400 -x9265 x4733 -x3757 -x3399 -x2994 -x1484 -x9269 -x4607 -x3761 -x1482 -x9273 -x8954 x7667 x6478 -x4803 x4734 -x4609 1800.54 v x3407 -x3031 -x607 -x9272 -x4807 -x4615 x3411 -x3032 -x611 -x10042 -x8955 x6484 -x4611 x4529 x3412 -x3027 -x351 -x10046 1800.54 v -x4620 x4533 x3413 -x9439 -x8745 -x7698 x3732 -x2064 x1276 -x1222 x1076 -x948 -x9444 x3736 -x2068 x1275 -x1221 -x952 -x9440 1800.54 v -x8751 -x7701 -x6259 -x1292 x1080 -x9452 x6258 -x3444 x1078 -x9805 -x7160 -x6738 -x4672 -x2070 -x723 x32 -x9809 -x6742 1800.54 v -x2071 -x724 x36 -x8754 x5592 -x5000 -x4675 x3683 -x1218 -x719 -x7849 -x5004 x3684 -x7851 -x7845 -x7352 -x7280 -x6744 x6255 1800.54 v -x5598 x3679 -x717 -x8417 -x7857 -x7847 -x7356 -x7284 -x6745 -x7853 -x5887 x5603 -x4488 x3677 -x655 -x267 -x7865 -x6571 1800.54 v -x5886 x2500 -x271 -x10508 -x7841 -x7358 -x6570 x5606 x3715 x2521 -x1255 -x661 -x307 -x10512 -x7359 -x5604 x2517 -x306 1800.54 v -x10209 -x7842 -x6578 -x4178 -x4002 x3566 x2516 -x1261 -x273 -x10213 x8642 -x6582 -x4004 x3565 x310 -x274 -x10482 x10151 1800.54 v -x6586 -x5883 -x5498 -x4184 -x2020 -x664 x312 -x10486 x10152 -x6585 x5502 -x2019 x318 -x10215 x10147 -x4189 -x3998 -x2543 1800.54 v -x1370 -x1264 x314 -x303 -x10216 -x4847 -x2545 -x1371 x326 x10145 -x6208 x5504 -x4848 -x4348 -x4192 -x3999 x3562 -x1366 1800.54 v -x9512 -x9139 -x6210 x5505 -x4849 -x4190 -x10099 -x9830 -x9140 x5623 -x4865 -x4458 -x3034 -x2539 -x2016 -x1364 -x10101 1800.54 v -x9141 -x8572 x5627 -x4059 -x1519 -x10562 -x9833 -x9556 -x9157 -x8573 -x6974 -x6204 -x6061 -x4464 -x4080 -x3040 -x2790 1800.54 v -x2540 -x2463 -x1521 -x8574 -x6976 -x6060 -x4076 x3310 -x1527 -x10095 -x9562 -x8651 -x8590 -x7416 -x6716 -x6205 x5629 1800.54 v -x4075 x3311 x3254 -x3045 -x2796 -x2466 -x1523 -x8655 -x7420 x5630 x3312 x3256 -x1535 -x10700 -x10096 -x9567 -x6979 -x6970 1800.54 v -x4467 x3328 -x3048 -x830 -x149 -x3046 -x834 -x148 -x10706 -x9570 -x9118 x8144 -x6985 -x6971 -x6667 -x6057 -x5198 -x3250 1800.54 v -x2799 -x75 -x9568 -x9122 x8837 x7227 -x76 -x8150 x7228 -x6990 -x6670 -x3251 x1031 -x71 x7229 x1032 -x10709 x7245 -x6993 1800.54 v -x6380 -x2143 -x1327 x1027 -x145 -x69 -x6991 -x6384 -x5067 -x1743 -x8153 -x3338 x2149 -x1745 -x1333 x1025 x860 x4230 -x3342 1800.54 v -x1751 -x7953 -x7585 -x6386 x4251 -x2916 x2154 -x1747 -x7957 -x7587 -x6387 x4247 -x1759 x802 -x9292 -x8339 -x5671 -x5463 1800.54 v x4246 -x2919 x2157 x1594 -x1336 x803 -x8341 -x5675 -x5462 x2155 x804 -x9092 -x8883 -x7581 -x2311 x1600 -x820 -x8885 -x2310 1800.54 v -x359 -x9098 x8430 -x8335 -x7582 -x7561 -x7180 x5416 -x4293 x1605 -x358 x7560 -x7184 -x5420 -x4294 -x1770 -x9647 -x8879 1800.54 v -x8336 -x7033 -x5459 -x4289 -x2569 -x1771 x1608 -x366 -x10599 -x8492 -x2568 -x1772 -x1606 -x370 -x10600 -x9653 -x9101 1800.54 v -x8880 x7058 -x7039 x5720 -x4287 -x2307 -x1788 -x533 -x374 -x10601 -x9084 x7062 -x6426 -x5330 -x3208 -x1924 -x373 -x10617 1800.54 v -x9658 -x7557 -x6447 x5726 -x5331 -x3210 -x1923 x781 -x536 -x217 -x8259 -x6856 -x6443 -x5375 -x5332 -x4692 -x3216 -x3083 1800.54 v x785 -x218 -x9970 -x9661 -x8260 -x7042 -x6877 -x6442 -x5348 -x4691 -x4301 -x3363 -x3212 -x3085 -x2565 -x1931 -x927 -x213 1800.54 v -x9972 -x9659 -x9165 -x8261 -x6873 -x5891 x3367 -x3224 -x3091 -x1935 -x9228 -x9186 -x8277 -x6872 -x5921 -x5890 -x5729 1800.54 v -x4699 x4304 -x3087 -x1939 -x1232 -x933 -x211 -x9230 -x9182 -x4703 -x3099 x2669 -x1938 -x1236 -x9966 -x9181 -x5924 -x5898 1800.54 v -x4707 -x3477 -x1319 -x5902 -x4706 -x3481 -x1318 -x9967 -x9224 x7654 -x5906 x1954 -x1238 -x936 -x5905 x4738 -x2170 -x1469 1800.54 v -x1239 -x10655 -x9225 -x7660 -x2412 -x2191 x1957 -x1471 x8959 -x2416 -x2187 -x1477 -x10661 -x10187 x7665 -x2990 -x2186 1800.54 v -x1473 -x1315 -x9259 -x1485 -x9260 x7668 -x6474 -x3759 -x3030 -x2996 -x9261 x7666 -x4523 -x3763 -x3401 -x3029 -x10664 1800.54 v -x9277 x6480 -x5130 -x4802 -x4522 -x3402 x609 x4806 -x4610 x3403 -x613 -x10041 x6485 -x4628 x4530 -x3765 -x3417 -x3025 1800.54 v -x2999 -x228 -x10045 -x4624 x4534 -x3766 -x8747 -x7697 -x5288 x3734 -x2065 x1295 x1077 -x947 -x9438 -x6732 -x5292 x3738 1800.54 v -x2069 x1296 x1081 -x951 -x9460 -x8752 -x7703 -x7156 -x6731 -x2073 -x1291 -x722 -x9456 -x2072 -x721 -x10533 -x9804 -x9455 1800.54 v -x8755 -x7159 -x6739 -x4671 x3740 x3682 -x1289 x34 -x10537 -x9808 -x8753 -x7346 -x6743 x3741 x3681 x38 -x7706 -x7345 -x6747 1800.54 v -x5002 -x4677 -x7846 -x6746 x5591 -x5006 -x261 -x7353 -x7282 x5593 -x4484 -x718 -x651 -x260 x40 -x7852 -x7357 -x7286 -x5599 1800.54 v x41 -x7873 -x7483 -x7361 x5595 -x5008 -x4680 -x4487 -x3711 x3678 x2518 -x1251 -x657 -x268 -x10203 -x7869 -x7487 -x7360 1800.54 v x5607 -x5009 x2520 -x272 -x10507 -x10202 -x7868 -x7288 x3714 -x2320 -x1257 -x662 -x490 -x276 -x10511 -x7289 -x6572 x5492 1800.54 v -x4003 -x2324 -x275 -x10210 x10150 -x6573 x5491 x2514 -x1262 -x665 -x10214 x10149 -x6574 -x4177 -x663 -x10484 -x10218 1800.54 v -x6590 -x5499 -x4179 -x2515 -x1369 -x1265 -x10488 -x10217 x5503 -x4185 -x2544 -x1368 -x1263 x313 -x7376 x5507 -x4344 -x4181 1800.54 v -x334 -x7380 -x6209 -x5617 x5506 -x4193 -x330 x10490 x10146 -x5616 -x4868 -x4454 -x4347 -x329 x10491 -x10100 -x4869 -x10558 1800.54 v x9829 -x9160 x5624 -x4864 -x4460 -x4077 -x2786 -x1365 -x9161 -x6975 x5628 -x4079 -x3033 -x10561 -x9835 -x9156 -x8593 x6712 1800.54 v x5632 -x4862 -x4465 -x3035 -x2792 -x2462 -x9555 -x8594 x5631 x3255 -x3041 -x1522 -x10696 -x9557 -x9154 -x8650 -x8589 -x7418 1800.54 v -x6715 -x4468 -x4073 x3331 -x3037 -x2797 -x2729 -x2468 -x1543 -x9563 -x8654 -x7422 -x4466 x3332 -x3049 -x1539 -x10702 1800.54 v x9838 -x9559 -x8587 -x8140 -x5194 -x4074 x3327 -x2800 -x1538 -x832 -x74 -x9571 -x6978 -x2798 -x836 -x73 -x10707 -x9117 1800.54 v x8146 -x7424 -x6980 -x6666 -x5197 x3325 -x2471 -x1030 -x9121 -x7425 -x6986 -x6374 x1029 -x10710 x8151 x7248 -x6982 -x6672 1800.54 v -x6373 -x3937 -x1323 -x838 -x10708 x7249 -x6994 -x3941 -x839 -x8154 x7244 -x6381 -x1329 -x907 x856 -x70 -x8152 -x6385 x2142 1800.54 v x7242 -x6675 -x6389 -x4248 -x3340 -x2966 x2144 -x1334 x1026 x859 -x7586 -x6388 -x4250 -x3344 -x2970 x2150 -x1746 -x9288 1800.54 v -x7955 -x2915 x2146 -x1767 -x1337 -x8340 -x7959 x2158 -x1763 -x1335 -x9291 -x9088 -x5673 -x4244 -x3346 -x2921 -x1762 x823 1800.54 v -x8884 -x5677 -x3347 x1593 x824 -x9094 x8426 -x7961 -x7906 -x4292 -x4245 x1595 -x819 -x7962 -x4291 x1601 -x9099 x8429 -x7182 1800.54 v -x7029 -x5679 x5415 -x3645 -x2924 x1597 -x817 -x7186 -x5680 -x5419 x1609 -x360 -x9102 -x7035 -x5716 -x1791 -x361 -x9646 1800.54 v -x9100 -x1792 -x362 -x10620 -x9648 -x7188 x7060 -x7040 -x6444 x5722 -x4288 -x1787 -x532 -x378 -x216 -x10621 -x9654 -x7189 1800.54 v x7064 -x6446 -x215 -x10616 -x9650 -x7043 -x6874 x5727 -x5351 -x1785 -x923 x780 -x538 -x389 -x9971 -x9662 -x7041 -x6876 1800.54 v -x5352 -x3211 -x1925 -x1226 x784 -x393 -x10614 -x9183 -x8280 x7066 -x6440 -x5730 -x5347 x4300 -x3365 -x3232 -x1926 -x1225 1800.54 v -x929 -x9229 -x9185 -x8281 -x7067 -x5728 -x4693 x3369 -x3228 -x3086 -x1927 -x8276 -x6870 -x6441 -x5920 -x5345 -x4694 x4306 1800.54 v -x3227 -x3107 -x1943 -x1233 -x934 -x541 -x212 -x5892 -x4695 -x3103 -x1237 -x9179 -x8274 -x6871 -x5926 -x5893 -x4711 -x3479 1800.54 v x3371 -x3102 -x2632 -x1241 -x937 -x5894 -x3483 x3372 -x1240 -x935 -x10651 -x9180 -x5910 -x4309 -x2188 x1953 x7653 -x2190 1800.54 v -x10657 -x10183 x7655 -x5929 x4422 -x3485 -x2986 -x2414 x1959 x7661 -x3753 -x3486 -x2418 -x1472 -x10662 -x10186 x7657 1800.54 v -x3752 -x2992 -x2184 -x1493 x7669 -x1489 -x603 -x10665 -x9280 -x8178 x5126 -x3760 -x2997 -x2420 -x2185 -x1962 -x1488 -x602 1800.54 v -x10663 -x9281 -x8182 -x6473 -x3764 -x2421 -x9276 -x6475 -x5129 -x4804 -x4625 -x3768 x3420 -x3000 x610 -x224 x6481 x4808 1800.54 v -x4627 -x4524 -x3767 x3421 -x2998 -x614 -x10043 -x9274 x6477 -x4525 -x3416 -x3392 -x3026 x615 -x227 -x10047 -x6486 -x4623 1800.54 v x4526 x616 -x9457 -x8743 -x7699 -x5287 x3735 -x2061 x1293 x1089 -x949 -x9459 -x8748 -x5291 x3739 -x2060 x1085 -x953 -x28 1800.54 v -x8744 -x7704 -x7155 -x4667 x3743 -x2077 x1084 x27 -x8756 -x6733 -x4996 x3742 -x10532 -x9806 -x9453 -x7707 -x7161 -x6734 1800.54 v -x4995 -x4673 -x1290 x955 x35 -x10536 -x9810 -x7705 -x7276 -x6735 x956 x39 -x9454 -x7275 -x6751 -x5003 -x4678 -x4016 x43 1800.54 v -x7347 -x5007 x42 -x9812 -x7870 -x7348 -x7283 -x7164 -x5011 -x4681 -x4483 -x9813 -x7872 -x7349 -x7287 x5594 -x5010 -x4679 1800.54 v x2519 -x650 -x262 -x7482 -x7365 -x7291 x5615 -x4489 x3710 -x652 -x486 -x263 x7486 -x7290 -x5611 -x1250 -x658 -x264 -x10509 1800.54 v -x7866 -x5610 x3716 -x2319 -x1252 -x654 -x489 -x280 -x10513 -x10478 -x10204 -x2323 -x1258 -x666 -x10477 -x10324 -x10205 1800.54 v -x7867 -x6593 x4574 -x4492 -x1254 -x10328 -x10206 -x6594 x5493 -x1266 -x10515 x10485 -x10222 -x6589 x5494 x3719 -x331 1800.54 v -x10516 -x10489 x5495 -x4180 -x333 x10493 -x7375 -x6587 x5511 -x4867 -x4343 -x4201 x10492 -x7379 -x4866 -x4197 x9825 -x9159 1800.54 v -x7793 -x4349 -x4196 -x327 -x9158 -x5618 -x4453 -x4078 -x10557 x9831 -x8592 x5619 -x4455 -x2458 -x328 -x8591 -x7412 x5620 1800.54 v -x4461 -x2785 -x10563 -x9836 -x7411 x6711 x5636 -x4863 x4747 -x4457 -x4352 x3330 -x2787 -x2725 -x2464 -x1540 -x4751 -x4469 1800.54 v x3329 -x3036 -x2793 -x1542 -x826 x9839 -x9744 -x9155 -x8652 -x7419 -x6717 -x3057 -x2789 -x2728 -x2469 -x825 -x10695 x9837 1800.54 v -x9748 -x9558 -x8656 -x7423 -x3053 -x2801 -x10697 -x10566 -x9579 -x8588 -x7427 -x6834 x6662 -x5193 -x3052 -x2472 -x1536 1800.54 v -x833 -x10703 -x9575 x8139 -x7426 -x6838 -x2470 -x837 -x10699 -x9574 -x9119 -x8658 x8141 x7247 -x6720 -x6668 -x5199 x3326 1800.54 v -x1537 -x841 -x10711 -x9123 -x8659 x8147 x7246 -x6981 -x840 x8143 -x7002 -x6673 -x3936 x3879 -x903 -x8155 -x6998 -x6375 1800.54 v -x3940 -x3883 -x3334 -x1322 -x9125 -x6997 -x6676 -x6376 -x5202 -x3333 -x1324 -x906 x855 -x9126 -x7949 -x6674 -x6377 -x4249 1800.54 v -x1330 -x7948 x7243 -x6393 -x3341 -x2965 -x2911 -x2678 -x1764 -x1326 x861 -x5667 -x3345 -x2969 -x2682 x2145 -x1766 -x1338 1800.54 v -x9287 -x7956 -x5666 -x3349 -x3068 -x2917 x2166 x822 -x7960 -x3348 x2162 x821 -x9293 -x7964 -x7902 -x5674 -x2922 x2161 1800.54 v -x1760 x864 -x9087 -x7963 -x7176 -x5678 -x9089 x8425 -x7905 -x7175 -x5682 -x3641 -x2925 -x1761 -x9095 -x5681 -x2923 x1596 1800.54 v -x9296 -x9091 x8431 -x7183 x5417 -x3644 -x1790 x1617 -x818 -x9103 -x7187 x7054 -x7028 -x5421 -x1789 x1613 -x10619 -x7191 1800.54 v x7053 -x7030 x1612 -x528 -x381 -x10618 -x7190 -x7036 -x6445 -x5715 -x382 -x8434 x7061 -x7032 -x5717 x5423 -x5350 -x534 1800.54 v -x377 -x9649 x7065 -x7044 -x6875 x5723 -x5424 -x5349 -x3359 -x9670 x9383 -x8279 x7069 x5719 -x4296 -x3358 -x3229 -x1786 1800.54 v x782 -x539 -x388 -x375 -x9666 -x9387 -x9184 -x8278 x7068 -x5731 -x3231 -x922 x786 -x392 -x10615 -x10411 -x9665 -x5916 x4302 1800.54 v -x3366 -x3104 -x1946 -x924 -x542 -x10415 -x3473 x3370 -x3106 -x1947 -x1227 -x930 -x540 -x5922 -x5346 -x4714 x4307 -x3472 1800.54 v x3374 -x3225 x2628 -x1942 -x1228 -x926 -x788 -x4715 x3373 -x1229 -x938 -x789 -x8275 -x7446 -x5927 -x5913 -x4710 x4310 -x3480 1800.54 v -x3226 -x3100 x2631 -x1949 -x1940 -x1245 -x5914 x4308 -x3484 -x2408 -x2189 -x5930 -x5909 -x4708 x4418 -x3488 -x3101 -x2407 1800.54 v x1955 -x10650 -x5928 -x3487 -x10652 -x10182 -x5907 x4421 -x2415 x1960 -x1490 -x10658 x7656 -x2985 -x2419 -x1492 -x10654 1800.54 v -x10188 -x9279 x7677 -x2987 -x2423 x1963 -x10666 -x9278 x7673 -x4798 -x3754 -x2993 -x2422 x1961 -x9540 -x8177 x7672 x5125 1800.54 v -x4797 -x3755 x3419 -x2989 -x1486 -x10037 -x9544 -x8181 -x4626 -x3756 x3418 -x3001 -x604 x10191 -x10036 -x5131 -x4805 1800.54 v -x3772 -x3388 -x1487 -x605 -x223 -x6476 x4809 x606 -x10044 -x9275 x6494 x4810 -x4537 -x3414 -x3391 x620 -x229 -x10048 x6490 1800.54 v x4811 -x4621 -x4538 -x9458 -x7695 -x7151 -x5289 x3731 -x2080 x1294 x1088 -x950 -x9800 -x8742 -x7700 -x5293 x3730 -x2081 1800.54 v -x954 -x9799 -x8764 -x7696 -x7157 x3747 -x2076 -x1082 x958 -x8760 -x7708 -x4666 x957 x29 -x10534 -x9807 -x8759 -x7162 -x6754 1800.54 v -x5295 -x4668 -x4012 -x2074 -x1083 x30 -x10538 -x9811 -x6755 -x5296 -x4997 -x4674 x31 -x9815 -x7165 -x6750 -x4998 -x4670 1800.54 v -x4479 x4015 x47 -x9814 -x7871 -x7277 -x7163 -x4999 -x4682 x10540 -x8238 -x7368 -x7278 -x6748 -x5612 -x5015 -x4485 x3706 1800.54 v x10541 -x10503 -x8242 -x7369 -x7279 x5614 -x10502 x7484 -x7364 -x7295 -x4490 x3712 -x485 -x283 x7488 -x653 -x284 -x10510 1800.54 v -x7362 -x6592 -x5608 x4570 -x4493 x3717 -x2321 -x674 -x491 -x279 -x10514 -x6591 -x4491 -x2325 -x1253 -x670 -x10518 -x10323 1800.54 v -x10225 x7490 -x5609 x4573 x3720 -x1274 -x669 -x277 -x10517 -x10479 -x10327 -x10226 x7491 x3718 -x1270 -x332 -x10480 -x10221 1800.54 v x5514 -x4339 -x4198 -x2327 -x1269 -x494 x10481 x5515 -x4200 -x2328 x10497 -x10219 x7789 -x7377 -x6588 x5510 -x4345 -x7381 1800.54 v -x10553 -x7792 x5508 -x4350 -x4194 x9824 -x10559 x9826 -x7383 x6707 -x5639 -x4353 -x4195 x9832 -x8646 -x7384 -x5640 -x4456 1800.54 v -x4351 -x2457 -x1541 -x10564 x9828 -x8645 x6713 x5635 x4746 -x4477 -x3054 -x2724 -x2459 x9840 -x7413 -x4750 -x4473 -x3056 1800.54 v -x2788 -x2465 -x10567 -x9743 -x9576 -x8653 -x7414 -x6718 x5633 -x5189 -x4472 -x2809 -x2730 -x2461 -x10565 -x9747 -x9578 1800.54 v -x9113 -x8657 -x7415 -x2805 -x2473 -x827 -x9112 -x8661 -x7431 -x6833 -x6721 -x5195 -x3050 -x2804 -x828 -x10698 -x8660 1800.54 v -x6837 -x6719 x6661 -x829 -x10719 -x9572 -x9120 -x6999 x6663 -x5200 -x3051 -x2733 -x845 -x10715 -x9124 x8142 -x7001 -x6669 1800.54 v -x10714 -x9573 -x9128 x8163 x6665 -x5203 -x3938 x3878 -x902 x851 -x9127 x8159 -x6677 -x5201 -x3942 -x3882 x8158 -x6995 1800.54 v -x6396 -x908 x857 -x6397 -x3335 -x1765 -x1325 -x9283 -x6996 -x6392 -x3944 -x3336 x3064 -x2967 -x2677 x2163 -x1346 x862 1800.54 v -x7950 -x3945 -x3337 -x2971 -x2910 -x2681 x2165 -x1342 -x9289 -x7951 -x6390 -x3353 x3067 -x2912 -x1341 -x911 x865 -x7952 1800.54 v -x5668 -x2918 x863 -x9294 x8421 -x7968 -x7901 -x5669 -x2973 -x2914 x2159 -x5670 x5411 -x2974 -x2926 -x9297 x8427 -x7907 1800.54 v -x5686 x5410 -x3640 x2160 x1614 -x9295 -x9090 -x7177 x1616 -x9111 x8432 -x7178 x5418 -x3646 -x380 -x9107 -x7179 -x5422 1800.54 v -x379 -x9106 -x8435 -x7910 -x7195 x5426 x1610 -x8433 x7055 -x7031 x5425 -x776 -x527 -x9667 x7056 -x7052 -x3649 x1611 -x775 1800.54 v -x529 -x9669 x7057 -x7048 -x5718 -x3230 -x535 x9382 x7073 -x7047 x5739 -x1945 x783 -x531 -x390 -x376 x9386 -x5735 -x4295 1800.54 v -x3360 -x3105 -x1944 x787 -x543 -x394 -x10410 -x9663 -x5734 -x4713 -x4297 -x3361 -x791 -x10414 -x5915 -x4712 x4303 x3362 1800.54 v -x925 -x790 -x9664 -x7442 -x5917 -x5912 x4299 x3378 x2627 -x1248 -x946 -x396 -x5923 -x5911 x4311 -x3474 -x1249 -x942 -x397 1800.54 v x7445 -x5919 -x3475 x2633 -x1941 -x1244 -x941 -x5931 -x3476 x1948 -x10178 -x4709 x4417 -x3492 x1950 -x1242 -x2409 x1956 1800.54 v -x1491 -x10184 -x8705 x7674 -x5908 x4423 -x2636 -x2410 x1952 -x10653 x7676 -x2411 x1964 -x10674 -x10189 -x5121 -x2427 1800.54 v -x10670 -x2988 -x10669 x10192 -x9539 -x8179 x7670 x5127 -x4426 -x3775 -x3009 -x220 x10190 -x9543 -x8183 -x4799 -x3776 1800.54 v -x3005 x7671 -x6491 -x5132 -x4800 -x4536 -x3771 -x3387 -x3004 x623 -x225 -x10038 x6493 x4801 -x4535 x624 -x10039 -x8185 1800.54 v -x5133 x4815 -x3769 -x3415 -x3393 x619 -x230 -x10040 -x8186 x6489 -x5134 -x4622 -x8761 x5290 x3750 -x2078 x1086 -x10758 1800.54 v -x10528 -x8763 -x7694 -x7150 -x5294 x3751 x10527 -x7716 -x7152 -x6753 -x5298 x3746 -x962 -x9801 -x7712 -x7158 -x6752 -x5297 1800.54 v -x10535 -x9802 -x8757 -x7711 -x7154 x4011 x3744 -x2075 -x50 -x10539 -x9803 -x7166 -x4669 -x51 x10543 -x9819 -x8758 -x7367 1800.54 v -x5018 -x4690 x4017 x46 x10542 x7478 -x7366 -x5613 -x5019 -x4686 -x4478 -x8237 x7477 -x7298 -x6749 -x5014 -x4685 -x4480 1800.54 v -x1873 -x481 -x282 -x44 -x8241 -x7299 -x4486 x3705 -x2315 -x281 x7485 -x7294 -x5012 -x4482 -x4020 x3707 -x2314 -x671 -x487 1800.54 v -x10504 x7489 -x4494 x3713 -x673 -x10505 -x10224 x7493 -x7363 -x7292 x4569 x3709 -x2322 -x1271 -x492 -x10506 -x10223 x7492 1800.54 v x3721 -x2326 -x1273 -x10522 -x10325 -x5513 -x4776 x4575 -x2330 -x667 -x495 -x278 -x10329 -x7371 -x5512 -x4199 -x2329 -x493 1800.54 v -x10500 -x7370 -x1267 -x668 -x10501 -x4338 x10496 -x10331 -x10220 x7788 -x7378 -x4578 -x4340 -x1268 -x10332 -x7382 -x4346 1800.54 v x10494 -x7794 -x7386 -x5638 x5509 -x4342 -x10552 -x7385 -x5637 -x4354 -x10554 -x4474 -x2720 -x10560 x9827 x6706 -x4476 1800.54 v -x3055 -x10556 x9848 -x7797 x6708 x4748 -x2806 -x2726 -x10568 x9844 -x9577 -x8647 x6714 -x4752 -x2808 -x2460 x9843 -x9745 1800.54 v -x8648 -x7434 x6710 x5634 -x4470 -x2731 -x2481 -x9749 -x8649 -x7435 -x6722 -x5188 -x2477 -x10716 -x8665 -x7430 -x6835 1800.54 v -x5190 x4754 -x4471 -x2802 -x2734 -x2476 -x848 -x10718 -x9114 -x7000 -x6839 -x5196 -x4755 -x3932 -x2732 -x849 x9751 -x9115 1800.54 v x8160 -x7428 -x5192 -x3931 -x2803 -x898 -x844 x9752 -x9116 x8162 x6664 -x5204 -x10712 -x9132 -x6841 x6685 -x6395 -x3939 1800.54 v x3880 -x904 -x842 -x6842 x6681 -x6394 -x3943 -x3884 -x2961 x850 -x10713 x8156 x6680 -x5775 -x3947 -x2960 -x1343 -x909 x852 1800.54 v -x3946 x2164 -x1345 x858 -x8157 x3886 -x3356 x3063 -x2968 -x2679 -x912 x854 -x9282 x3887 -x3357 -x2972 -x2683 -x910 x866 1800.54 v -x9284 -x7971 -x7897 -x6391 -x3352 x3069 -x2976 -x1339 -x9290 -x7972 -x2975 -x2913 -x9286 -x7967 -x7903 -x5689 -x3636 1800.54 v -x3350 -x2934 -x2685 -x1340 -x9298 x8420 -x5690 -x2930 -x2686 x1615 -x9108 x8422 -x7965 -x7908 -x5685 -x3642 -x3072 -x2929 1800.54 v -x9110 x8428 x5412 x8424 -x7911 -x7198 -x5683 x5413 -x4830 -x3647 -x8436 -x7909 -x7199 x5414 -x9104 -x7194 -x7049 x5430 1800.54 v -x3650 -x9668 -x7051 -x3648 -x384 -x9105 -x7192 x7076 x5736 -x383 x7077 x5738 -x777 -x530 x9384 x7072 -x7045 -x778 -x551 1800.54 v -x391 x9388 x779 -x547 -x395 -x10412 x7070 -x7046 -x5732 x3381 -x2623 -x1247 -x943 x795 -x546 -x399 -x10416 -x4298 x3382 1800.54 v -x1246 -x945 -x398 -x9390 x7441 -x5733 -x4319 x3377 x2629 -x9391 -x5918 x4315 -x10586 -x10418 x7447 -x5939 x4413 x4314 1800.54 v -x3495 x3375 x2634 -x939 -x10419 -x5935 -x3496 -x8701 -x5934 x4419 -x3491 -x2637 -x1243 -x940 -x10177 x7675 -x2635 x1951 1800.54 v -x10671 -x10179 -x8704 x7450 x4424 -x3489 -x2430 x1972 -x10673 -x10185 -x8173 -x2431 x1968 x10181 -x8172 -x4427 -x3774 1800.54 v -x3006 -x2426 x1967 x10193 x5120 -x4425 -x3773 -x3008 -x10667 -x9541 -x8180 x5122 -x3384 -x2424 x622 -x9545 -x8184 -x6492 1800.54 v x5128 x621 -x219 -x10668 -x8188 x5124 x4818 -x3389 -x3002 -x221 -x8187 -x5135 x4819 -x226 -x10051 -x9547 x4814 -x3770 -x3394 1800.54 v -x3003 x617 -x10052 -x9548 x6487 -x10759 -x8762 -x7713 -x10760 x3748 -x2079 x1087 -x7715 -x5302 x4007 -x961 -x49 x10529 1800.54 v -x7153 -x48 x10530 -x9822 -x7709 -x7174 -x5017 -x4687 x4013 x3745 -x959 x10531 -x9823 -x7170 -x5016 -x4689 x10547 -x9818 1800.54 v -x7710 -x7297 -x7169 x4018 x2866 -x1869 -x7296 -x2870 -x9816 -x8239 -x4683 -x4021 -x1872 -x45 -x8243 x7479 -x4481 -x4019 1800.54 v -x672 -x480 -x8800 x7480 -x5013 -x4684 x4565 -x4502 -x482 -x10319 x7481 -x4498 x3708 -x2316 -x1272 -x488 -x10525 -x10318 1800.54 v -x8245 x7497 -x7293 -x4772 x4571 -x4497 x3729 -x2317 -x484 -x10526 -x8246 x3725 -x2318 -x496 -x10521 -x10499 -x10326 -x4775 1800.54 v x4576 x3724 -x2334 -x10498 -x10330 -x10519 -x10334 x9677 -x7784 x4579 -x10333 x9681 -x7372 x4577 x7790 x7404 -x7373 -x7374 1800.54 v -x4341 x10495 x7795 -x7390 -x4362 x4742 -x4475 -x4358 x9845 -x7798 x4741 -x4357 -x10555 x9847 x9739 -x7796 -x2807 -x2719 1800.54 v -x10576 x9738 -x7433 x4749 -x2721 -x2478 -x10572 -x7432 -x6829 x6709 -x4753 -x2727 -x2480 -x10571 x9841 -x9746 -x8668 1800.54 v -x6828 x6730 x4757 -x2723 -x847 -x10717 -x9750 -x8669 x6726 x4756 -x2735 -x846 -x9842 x9754 -x8664 -x6836 x6725 -x2474 1800.54 v x9753 x8161 -x6840 -x5191 -x3874 -x9135 -x8662 -x7429 -x6844 x6682 -x5212 -x3873 -x2475 -x9136 -x6843 x6684 -x5208 -x3933 1800.54 v -x897 -x9131 -x5771 -x5207 -x3934 x3881 -x899 -x843 -x3935 -x3885 -x2673 -x1344 -x905 -x9129 x6678 -x5774 -x3951 x3889 1800.54 v -x3355 x3059 -x2672 -x901 x3888 -x3354 -x2962 -x913 x853 -x9607 -x7970 x6679 x3065 -x2963 -x2680 x874 -x9611 -x7969 -x2964 1800.54 v -x2684 x870 -x5688 x3070 -x2980 -x2931 -x2688 x869 -x9285 -x7896 -x5687 -x2933 -x2687 -x9306 -x7898 -x3351 x3073 -x9302 1800.54 v -x9109 -x7904 -x3635 x3071 -x9301 -x7966 -x7900 -x7197 x4826 -x3637 -x2927 x8423 -x7912 -x7196 -x3643 x8444 -x5684 x5433 1800.54 v x4829 -x3639 -x2928 x8440 -x7050 x5434 -x3651 x8439 -x8033 x7075 x5429 -x9378 x7074 x5737 -x9377 -x7193 x5427 -x548 -x10406 1800.54 v -x550 -x385 -x10405 x9385 x3380 x798 -x386 x9389 x3379 -x944 x799 -x387 -x10413 -x9393 x7437 x7071 -x4316 x794 -x544 -x403 1800.54 v -x10417 -x9392 -x4318 -x2622 -x10582 -x10421 x7443 -x5936 -x3494 -x2624 x792 -x545 -x10420 -x5938 -x3493 x2630 -x10585 1800.54 v x7448 x4312 x3376 x2626 x4412 -x2638 -x8700 x7451 -x5932 x4414 x4313 -x2429 x1969 -x10672 x7449 x4420 -x2428 x1971 -x8706 1800.54 v -x5933 x4416 -x3490 -x10180 x9536 -x4428 -x3007 x10201 x9535 -x1965 x10197 -x8174 x10196 -x9542 -x8709 -x8175 x4817 -x2425 1800.54 v -x1966 -x9546 -x8176 x5123 x4816 -x3383 -x10050 -x9550 -x8192 x5143 -x3385 -x10049 -x9549 x5139 -x3390 -x222 x5138 x4812 1800.54 v -x618 -x234 -x6488 x10761 -x7714 x3749 -x9821 -x7171 -x5301 -x9820 -x7173 -x4688 x4006 x10550 -x5299 x4008 -x960 x10551 1800.54 v -x8233 x4014 x10546 -x8232 -x7167 x4010 x2865 -x1868 x4022 -x2869 x10544 -x9817 -x8796 -x8240 -x7168 -x4499 -x1874 -x8244 1800.54 v -x4501 -x10524 -x8799 -x8248 x7500 x3726 -x10523 -x8247 x7501 x4564 x3728 -x483 x7496 -x4771 x4566 -x4495 -x2337 -x1877 1800.54 v -x504 -x10320 x4572 -x2338 -x500 -x10321 x7494 -x4777 x4568 -x4496 -x3722 -x2333 -x499 -x10322 x4580 -x10520 -x10338 x9676 1800.54 v x7400 -x3723 -x2331 x9680 -x7783 x7785 x7403 -x7393 -x4780 -x4359 x7791 -x7394 -x4361 x7787 -x7389 x9846 x7799 -x10573 1800.54 v -x7387 -x4355 -x10575 x4743 -x2479 -x8667 x6727 x4744 -x4356 x9740 -x8666 x6729 x4745 -x2722 -x10569 x9741 -x9631 x4761 1800.54 v -x2743 x9742 -x9635 -x6830 -x2739 -x10570 x9758 -x9134 -x6831 x6723 -x5209 -x2738 -x9133 -x6832 x6683 -x5211 x9707 -x9471 1800.54 v -x8663 -x6848 x6724 -x9475 -x3875 -x5770 -x5205 -x3954 -x3876 -x3955 x3877 -x900 -x9130 x5776 -x5206 -x3950 -x3893 -x921 1800.54 v x871 x3058 -x2674 -x917 x873 -x9606 -x3948 x3060 -x2983 -x2675 -x916 -x9610 x3066 -x2984 -x2932 -x2676 -x9303 -x5779 x5472 1800.54 v x3062 -x2979 -x2692 x867 -x9305 x5476 x3074 -x2977 x868 -x7899 -x9299 x8441 -x7920 x5432 x4825 x8443 -x7916 x5431 -x3638 1800.54 v -x9300 -x8029 -x7915 x4831 -x3659 -x439 -x3655 -x443 x8437 x8032 -x3654 -x549 x8438 -x5428 x4834 x797 -x9379 x796 -x9524 1800.54 v -x9380 -x406 -x10407 x9381 -x4317 -x407 -x10408 -x9397 -x402 -x10409 x7436 -x5937 -x10581 -x10425 -x7817 x7438 x793 -x400 1800.54 v x7444 -x2625 -x10587 -x8696 x7440 x2646 x7452 x2642 -x1970 -x8702 x2641 x4415 x10590 x10198 -x8707 -x4436 x10200 x4432 1800.54 v -x8710 x4431 x9537 -x8708 x10194 x9538 -x8195 x5140 -x8196 x5142 x10195 -x8191 -x231 -x3386 -x233 -x8189 x5136 x4813 x3398 1800.54 v -x7172 x10549 x10548 -x3833 -x5300 -x1864 x4009 x4030 x2867 -x1870 -x8234 -x4500 x4026 -x2871 x10545 -x8795 -x8235 x7499 1800.54 v x4025 -x1875 -x8236 x7498 x3727 -x10394 -x8801 -x8252 -x4767 x2873 -x2336 -x1878 -x501 x10398 x2874 -x2335 -x1876 -x503 1800.54 v -x9792 -x4773 x4567 -x10341 -x8804 -x7495 -x4778 x4588 -x497 -x10342 x4584 -x10337 x9678 x7399 -x7392 -x4781 x4583 -x2332 1800.54 v -x498 x9682 -x7391 -x4779 -x4360 -x10335 x7405 x7786 x9684 x7807 -x1909 -x10574 x9685 x7803 -x1913 x7802 -x7388 x6728 x4764 1800.54 v -x2740 x4765 -x2742 -x10639 x9761 -x9630 x4760 -x10643 x9762 -x9634 -x5210 x9757 x9703 -x6851 x4758 -x2736 -x6852 x9755 1800.54 v x9706 -x9470 -x6847 x5766 -x3953 -x2737 -x9474 -x3952 -x6845 -x5772 x3896 -x918 x3897 -x920 x872 x5777 -x3892 -x2982 -x2981 1800.54 v -x9608 -x8054 -x5780 -x3949 -x3890 -x2695 -x914 -x9612 -x9304 x8058 -x5778 x3061 -x2696 x5471 x3082 -x2691 -x915 x5475 1800.54 v x3078 -x9614 -x7917 x4821 x3077 -x2978 -x2689 -x1624 -x9615 x8442 -x7919 x1628 x4827 -x3656 -x3658 -x8028 -x7913 x4832 1800.54 v -x438 -x442 x8034 -x7914 x4835 -x3652 x4833 x9520 -x3653 -x405 -x404 -x9723 -x9523 x9400 x8037 x9727 x9401 x10578 -x10428 1800.54 v -x9396 x7813 -x10429 -x10583 -x10424 -x9394 x7816 x2643 -x401 x7439 x2645 -x10588 -x10422 x7460 -x8695 x7456 x10591 -x8697 1800.54 v x7455 -x4433 x2639 x10589 x10199 -x8703 -x4435 -x8699 -x2640 -x8711 -x8194 x4429 -x8193 -x5141 x9553 x4430 x183 x9554 -x232 1800.54 v x3395 x3397 -x8190 x5137 x10762 -x3832 x2861 x4027 x2860 x4029 -x1863 -x8791 x2868 -x1865 x2872 -x1871 x10754 -x8797 -x8255 1800.54 v x4023 x2876 -x1867 -x8256 x2875 -x1879 -x502 -x10393 -x9788 -x8802 -x8251 x4024 x10397 -x4766 -x10340 -x9791 -x8805 -x8249 1800.54 v -x4768 x4585 -x10339 x9672 -x8803 -x4774 x4587 x9671 -x7396 -x4770 -x4782 -x10680 x9679 x7401 x4581 -x10684 x9683 -x10336 1800.54 v x9687 x7804 x7406 x4582 x9686 x7806 -x1908 -x1912 -x10380 x7800 x4763 -x10382 x4762 -x2741 x9760 x7801 x9759 -x10638 -x9632 1800.54 v -x6850 -x10642 -x9636 -x6849 x9702 x4759 x9756 x9708 -x9638 -x9472 -x7466 x3895 -x9639 -x9476 -x7470 x5765 x3894 -x919 1800.54 v -x6846 x5767 -x9602 x5773 x9711 -x9601 -x9478 x5769 -x2694 -x9479 -x5781 -x2693 -x9609 x8053 -x3891 x3079 -x9613 x8057 1800.54 v x3081 -x9617 x5473 -x9616 -x7918 x5477 x3075 -x2690 -x1623 x4820 -x3657 x1627 -x8078 -x8024 x6296 -x5479 x4822 x3076 -x8082 1800.54 v -x5480 x4828 -x8030 x4824 -x440 x4836 -x444 x8035 x9519 x9399 x8038 -x446 x9398 x8036 -x447 -x10427 -x9722 -x9525 -x10426 1800.54 v x9726 x7812 x10577 -x2644 x10579 -x9528 -x9395 x7818 x7457 -x10584 x7459 -x10423 x10592 -x4434 -x10625 x10763 x7453 x10627 1800.54 v -x8698 -x8719 x7454 -x8715 x9552 -x8714 x4438 -x179 x9551 x4442 x182 x3396 -x9462 x4028 -x3834 x2862 -x10750 -x8254 x3836 1800.54 v x2863 -x8790 -x8253 x3837 x2864 -x1866 x10753 -x8792 x2880 -x1887 -x8798 -x1883 x10395 -x9787 -x8794 -x1882 x10399 -x8806 1800.54 v x4586 x9793 -x8250 -x4769 x10401 -x4790 x10402 x9673 -x7395 -x4786 -x10679 x9796 x9674 -x7397 -x4785 x10683 x9675 -x7805 1800.54 v x7402 x9691 -x1910 -x1914 x10379 -x10381 x9627 x9626 x1916 x1917 -x10640 x9699 -x9633 -x10644 -x9637 -x9466 x9704 x9641 1800.54 v -x9465 x9640 x10646 x9709 -x9473 -x7465 -x10647 -x9477 -x7469 x9712 -x9481 x9710 -x9480 x5768 x5789 -x9603 x5785 -x5467 1800.54 v x3080 -x9604 x8055 x5784 -x5466 -x9605 x8059 -x9621 -x8311 x5474 x5478 -x8061 x6292 -x5482 -x1625 -x8062 -x5481 x1629 -x434 1800.54 v -x8077 x6295 -x433 -x8081 -x8023 x4823 -x8025 x4844 x1631 -x441 x8031 x4840 x1632 -x445 x9516 x8027 x4839 -x449 x8039 -x448 1800.54 v x9521 x9724 -x9526 -x7809 x9728 -x10282 -x9529 x7814 -x9527 x7458 x9730 x7819 x10580 x9731 x10596 -x10624 -x8716 x10626 1800.54 v -x8718 -x8712 x4437 x178 x4441 -x8713 x184 x7507 -x2132 -x9461 x3835 x5378 x3839 -x5379 x3838 -x10749 -x6109 x2883 -x1884 1800.54 v -x10390 x2884 -x1886 x10755 -x10389 x9784 x2879 -x8793 x10396 -x9789 -x8814 x2877 -x1880 x10400 -x8810 x10404 x9794 -x8809 1800.54 v -x4787 -x1881 x10403 -x4789 x9797 x9795 -x10681 x9694 -x4783 x2024 x10685 x9695 x7398 -x2028 -x1905 x9690 x7410 -x4784 1800.54 v -x1904 x10687 x9688 -x1911 x10688 -x1915 x10635 -x10383 x1918 x10634 x9628 x10641 -x10385 x9629 -x10645 -x10386 x9698 1800.54 v x10649 x9700 x9645 x10648 x9705 -x9467 -x9468 -x7467 x9713 -x9469 x7471 -x9485 x5786 -x8049 x5788 -x8048 x7473 x7474 -x9624 1800.54 v x8307 x8056 x5782 -x9625 x8060 -x5468 -x1619 -x9620 -x8310 -x8064 x5783 -x5469 -x1618 -x8063 x5470 -x9618 x6291 x5486 -x1626 1800.54 v x1630 -x8079 x6297 x4841 x1634 -x8083 x4843 x1633 -x435 -x436 -x8026 -x437 -x8085 -x8047 x6300 x4837 -x453 x9719 x9515 -x8086 1800.54 v x8043 x9718 x9517 x8042 x4838 x9522 x10278 x9725 x9729 -x9530 -x7808 -x10281 x9733 x7810 x9732 x7815 x10593 x10595 -x8717 1800.54 v x10628 x10764 x8596 -x175 x10630 x4439 x180 x10631 x4443 -x10344 x185 -x10348 x7506 x4445 -x2131 x4446 -x8344 -x9463 x5380 1800.54 v -x10746 x6105 x3843 -x2882 x2881 -x1885 -x10751 -x6108 x10756 -x8811 -x10391 x9783 -x8813 -x10392 x9785 x2878 -x9790 -x4788 1800.54 v -x8807 -x10676 x9798 -x10675 x9693 -x8808 x9692 -x10682 x7407 -x5436 x2023 x10686 x7409 -x5439 -x2027 x10690 x10689 -x10377 1800.54 v -x1906 -x10376 x9689 -x1907 -x10384 -x10388 x10636 -x10387 x10637 -x7462 x9644 -x7461 x9701 x9642 -x9488 -x7468 x9717 1800.54 v -x9489 x7472 x5787 x9716 -x9484 x7476 x7475 -x9623 -x9482 -x9622 -x8050 x8306 -x8223 x8051 x8227 x8052 -x8312 -x8068 x6288 1800.54 v x5489 x8074 x5490 -x1620 -x9619 x8073 x6293 x5485 -x1621 -x4842 x1622 -x8315 -x8080 x6298 x5483 x1638 -x8084 -x8088 -x8044 1800.54 v x6301 x4795 -x456 -x8087 -x8046 x6299 -x457 -x452 x8040 -x450 x9720 x9518 x10277 x9721 x8041 x9534 -x10283 x9737 x9533 x10594 1800.54 v x7811 x7823 -x10623 -x10622 x10286 -x10765 x10629 x10633 x8595 x10632 -x174 x4440 -x176 x4444 x181 -x10343 x4448 -x2128 1800.54 v -x10347 x4447 x7508 -x2133 -x8343 x10766 -x5384 x3846 -x9464 x3847 x6104 x3842 -x10745 -x10747 x6110 x3840 -x10752 -x8812 1800.54 v x9786 -x10677 x7408 -x10678 -x5435 x2025 -x5438 -x2029 x10694 -x2031 x1921 -x10378 -x2032 x1922 -x9487 -x9486 -x7463 x9643 1800.54 v -x7464 x9714 x10767 x9697 x9715 -x9483 x8308 -x8222 x8071 x5488 x8226 x8072 x5487 -x8313 -x8067 x6287 -x8316 -x8065 x6289 1800.54 v -x1641 -x8314 x8075 x6294 -x1642 x8076 -x5484 -x4792 x1637 -x455 -x8045 x6302 -x454 x4794 x1635 -x451 x10279 -x10284 x9736 1800.54 v x9531 -x8165 x7820 -x3899 -x8169 x7822 x10287 x9734 -x9532 -x9435 x10285 x8597 -x7503 -x177 -x10345 -x9975 x8600 -x7502 1800.54 v x4452 x193 -x10349 x9979 -x2127 x189 x7509 -x2129 x188 -x2134 x8345 -x3845 x3844 -x5383 x6106 -x5381 x6111 x3841 -x10748 1800.54 v -x5437 x2026 -x5440 -x2030 x10693 -x2034 x1920 -x2033 x1919 x10691 -x7922 x9696 x8070 x8069 -x8224 x8309 x8228 -x1640 -x8317 1800.54 v -x1639 x8230 -x8066 x8231 x6290 -x4791 x4796 x1636 -x10768 x10769 x10280 x7821 -x9431 -x8164 x3898 x10288 -x8168 x9735 1800.54 v x9434 x10770 x8598 x8601 -x190 x8599 x192 -x10346 -x9974 x4451 -x10350 x9978 -x7504 -x7505 x4449 -x186 -x2130 -x7513 x2141 1800.54 v -x187 -x5382 x6107 -x10692 x7921 -x8225 x8229 -x4793 -x9430 -x8166 x3900 -x10292 -x8170 -x10291 x9436 -x3903 x8602 -x191 1800.54 v -x9976 x9980 -x4450 x2138 x2140 x9982 -x7512 x9983 x2137 -x9429 x9432 -x8167 x3901 x8171 -x10289 x9437 x3904 x3902 -x10290 1800.54 v -x9977 x9981 x2139 x9985 x9984 -x7510 x2135 -x9428 -x9427 x9433 x3905 x10771 x10772 -x7511 x2136 x1 1800.55 c Exit Code: 10 1800.55 c Total time: 1800 s
OK 567
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node69/watcher-40472-1149289255 -o ROOT/results/node69/solver-40472-1149289255 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node69/40472-1149289255/instance-40472-1149289255.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.85 0.95 0.90 3/64 18468 /proc/meminfo: memFree=1816748/2055920 swapFree=4182216/4192956 [pid=18468] ppid=18466 vsize=4932 CPUtime=0 /proc/18468/stat : 18468 (bsolo) D 18466 18468 18422 0 -1 0 366 0 0 0 0 0 0 0 18 0 1 0 194595539 5050368 330 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 2147483391 4096 16384 18446744072099781622 0 0 17 1 0 0 /proc/18468/statm: 1233 330 226 55 0 125 0 [startup+10.0019 s] /proc/loadavg: 0.87 0.95 0.90 2/70 18523 /proc/meminfo: memFree=1516412/2055920 swapFree=4182216/4192956 [pid=18468] ppid=18466 vsize=314948 CPUtime=9.98 /proc/18468/stat : 18468 (bsolo) R 18466 18468 18422 0 -1 0 75873 0 0 0 969 29 0 0 25 0 1 0 194595539 322506752 74908 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18468/statm: 78737 74908 297 55 0 77629 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 314948 [startup+20.0087 s] /proc/loadavg: 0.89 0.96 0.91 2/70 18581 /proc/meminfo: memFree=1515900/2055920 swapFree=4182216/4192956 [pid=18468] ppid=18466 vsize=315536 CPUtime=19.96 /proc/18468/stat : 18468 (bsolo) R 18466 18468 18422 0 -1 0 76108 0 0 0 1962 34 0 0 25 0 1 0 194595539 323108864 75050 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649139 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18468/statm: 78884 75050 297 55 0 77776 0 Current children cumulated CPU time (s) 19.96 Current children cumulated vsize (Kb) 315536 [startup+30.0156 s] /proc/loadavg: 0.91 0.96 0.91 2/64 18663 /proc/meminfo: memFree=1516780/2055920 swapFree=4182216/4192956 [pid=18468] ppid=18466 vsize=315536 CPUtime=29.93 /proc/18468/stat : 18468 (bsolo) R 18466 18468 18422 0 -1 0 76108 0 0 0 2955 38 0 0 25 0 1 0 194595539 323108864 75050 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649082 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18468/statm: 78884 75050 297 55 0 77776 0 Current children cumulated CPU time (s) 29.93 Current children cumulated vsize (Kb) 315536 [startup+40.0214 s] /proc/loadavg: 0.92 0.96 0.91 2/64 18663 /proc/meminfo: memFree=1516852/2055920 swapFree=4182216/4192956 [pid=18468] ppid=18466 vsize=315536 CPUtime=39.95 /proc/18468/stat : 18468 (bsolo) R 18466 18468 18422 0 -1 0 76110 0 0 0 3957 38 0 0 25 0 1 0 194595539 323108864 75052 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134538656 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18468/statm: 78884 75052 297 55 0 77776 0 Current children cumulated CPU time (s) 39.95 Current children cumulated vsize (Kb) 315536 [startup+50.0513 s] /proc/loadavg: 0.93 0.96 0.91 2/64 18663 /proc/meminfo: memFree=1516916/2055920 swapFree=4182216/4192956 [pid=18468] ppid=18466 vsize=315536 CPUtime=49.96 /proc/18468/stat : 18468 (bsolo) R 18466 18468 18422 0 -1 0 76110 0 0 0 4957 39 0 0 25 0 1 0 194595539 323108864 75052 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18468/statm: 78884 75052 297 55 0 77776 0 Current children cumulated CPU time (s) 49.96 Current children cumulated vsize (Kb) 315536 [startup+60.0571 s] /proc/loadavg: 0.94 0.96 0.91 2/64 18663 /proc/meminfo: memFree=1516980/2055920 swapFree=4182216/4192956 [pid=18468] ppid=18466 vsize=315536 CPUtime=59.96 /proc/18468/stat : 18468 (bsolo) R 18466 18468 18422 0 -1 0 76110 0 0 0 5957 39 0 0 25 0 1 0 194595539 323108864 75052 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18468/statm: 78884 75052 297 55 0 77776 0 Current children cumulated CPU time (s) 59.96 Current children cumulated vsize (Kb) 315536 [startup+70.063 s] /proc/loadavg: 0.95 0.96 0.91 2/64 18663 /proc/meminfo: memFree=1516980/2055920 swapFree=4182216/4192956 [pid=18468] ppid=18466 vsize=315536 CPUtime=69.96 /proc/18468/stat : 18468 (bsolo) R 18466 18468 18422 0 -1 0 76110 0 0 0 6957 39 0 0 25 0 1 0 194595539 323108864 75052 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649082 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18468/statm: 78884 75052 297 55 0 77776 0 Current children cumulated CPU time (s) 69.96 Current children cumulated vsize (Kb) 315536 [startup+80.0688 s] /proc/loadavg: 0.96 0.96 0.91 2/64 18663 /proc/meminfo: memFree=1516980/2055920 swapFree=4182216/4192956 [pid=18468] ppid=18466 vsize=315536 CPUtime=79.97 /proc/18468/stat : 18468 (bsolo) R 18466 18468 18422 0 -1 0 76110 0 0 0 7957 40 0 0 25 0 1 0 194595539 323108864 75052 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12386412 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18468/statm: 78884 75052 297 55 0 77776 0 Current children cumulated CPU time (s) 79.97 Current children cumulated vsize (Kb) 315536 [startup+90.0747 s] /proc/loadavg: 0.96 0.96 0.91 2/64 18663 /proc/meminfo: memFree=1516980/2055920 swapFree=4182216/4192956 [pid=18468] ppid=18466 vsize=315536 CPUtime=89.97 /proc/18468/stat : 18468 (bsolo) R 18466 18468 18422 0 -1 0 76110 0 0 0 8957 40 0 0 25 0 1 0 194595539 323108864 75052 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535086 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18468/statm: 78884 75052 297 55 0 77776 0 Current children cumulated CPU time (s) 89.97 Current children cumulated vsize (Kb) 315536 [startup+100.08 s] /proc/loadavg: 0.97 0.96 0.91 2/64 18663 /proc/meminfo: memFree=1516980/2055920 swapFree=4182216/4192956 [pid=18468] ppid=18466 vsize=315536 CPUtime=99.97 /proc/18468/stat : 18468 (bsolo) R 18466 18468 18422 0 -1 0 76117 0 0 0 9957 40 0 0 25 0 1 0 194595539 323108864 75059 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533666 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18468/statm: 78884 75059 297 55 0 77776 0 Current children cumulated CPU time (s) 99.97 Current children cumulated vsize (Kb) 315536 [startup+110.086 s] /proc/loadavg: 0.97 0.96 0.91 2/64 18663 /proc/meminfo: memFree=1516980/2055920 swapFree=4182216/4192956 [pid=18468] ppid=18466 vsize=315536 CPUtime=109.98 /proc/18468/stat : 18468 (bsolo) R 18466 18468 18422 0 -1 0 76117 0 0 0 10957 41 0 0 25 0 1 0 194595539 323108864 75059 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533780 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18468/statm: 78884 75059 297 55 0 77776 0 Current children cumulated CPU time (s) 109.98 Current children cumulated vsize (Kb) 315536 [startup+120.092 s] /proc/loadavg: 0.98 0.97 0.91 2/64 18663 /proc/meminfo: memFree=1516980/2055920 swapFree=4182216/4192956 [pid=18468] ppid=18466 vsize=315536 CPUtime=119.98 /proc/18468/stat : 18468 (bsolo) R 18466 18468 18422 0 -1 0 76117 0 0 0 11957 41 0 0 25 0 1 0 194595539 323108864 75059 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18468/statm: 78884 75059 297 55 0 77776 0 Current children cumulated CPU time (s) 119.98 Current children cumulated vsize (Kb) 315536 [startup+130.098 s] /proc/loadavg: 0.98 0.97 0.91 2/64 18663 /proc/meminfo: memFree=1516980/2055920 swapFree=4182216/4192956 [pid=18468] ppid=18466 vsize=315536 CPUtime=129.98 /proc/18468/stat : 18468 (bsolo) R 18466 18468 18422 0 -1 0 76117 0 0 0 12957 41 0 0 25 0 1 0 194595539 323108864 75059 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533780 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18468/statm: 78884 75059 297 55 0 77776 0 Current children cumulated CPU time (s) 129.98 Current children cumulated vsize (Kb) 315536 [startup+140.104 s] /proc/loadavg: 0.98 0.97 0.91 2/64 18663 /proc/meminfo: memFree=1516980/2055920 swapFree=4182216/4192956 [pid=18468] ppid=18466 vsize=315536 CPUtime=139.99 /proc/18468/stat : 18468 (bsolo) R 18466 18468 18422 0 -1 0 76117 0 0 0 13957 42 0 0 25 0 1 0 194595539 323108864 75059 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649036 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18468/statm: 78884 75059 297 55 0 77776 0 Current children cumulated CPU time (s) 139.99 Current children cumulated vsize (Kb) 315536 [startup+150.111 s] /proc/loadavg: 0.98 0.97 0.91 2/64 18663 /proc/meminfo: memFree=1513780/2055920 swapFree=4182216/4192956 [pid=18468] ppid=18466 vsize=318904 CPUtime=150 /proc/18468/stat : 18468 (bsolo) R 18466 18468 18422 0 -1 0 77093 0 0 0 14957 43 0 0 25 0 1 0 194595539 326557696 75875 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649553 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18468/statm: 79726 75875 297 55 0 78618 0 Current children cumulated CPU time (s) 150 Current children cumulated vsize (Kb) 318904 [startup+160.117 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18663 /proc/meminfo: memFree=1510836/2055920 swapFree=4182216/4192956 [pid=18468] ppid=18466 vsize=321652 CPUtime=159.99 /proc/18468/stat : 18468 (bsolo) R 18466 18468 18422 0 -1 0 78555 0 0 0 15956 43 0 0 25 0 1 0 194595539 329371648 76561 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533780 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18468/statm: 80413 76561 297 55 0 79305 0 Current children cumulated CPU time (s) 159.99 Current children cumulated vsize (Kb) 321652 [startup+170.123 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18663 /proc/meminfo: memFree=1510836/2055920 swapFree=4182216/4192956 [pid=18468] ppid=18466 vsize=321652 CPUtime=169.99 /proc/18468/stat : 18468 (bsolo) R 18466 18468 18422 0 -1 0 78555 0 0 0 16956 43 0 0 25 0 1 0 194595539 329371648 76561 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18468/statm: 80413 76561 297 55 0 79305 0 Current children cumulated CPU time (s) 169.99 Current children cumulated vsize (Kb) 321652 [startup+180.128 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18663 /proc/meminfo: memFree=1510836/2055920 swapFree=4182216/4192956 [pid=18468] ppid=18466 vsize=321652 CPUtime=180 /proc/18468/stat : 18468 (bsolo) R 18466 18468 18422 0 -1 0 78555 0 0 0 17956 44 0 0 25 0 1 0 194595539 329371648 76561 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533780 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18468/statm: 80413 76561 297 55 0 79305 0 Current children cumulated CPU time (s) 180 Current children cumulated vsize (Kb) 321652 [startup+190.134 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18663 /proc/meminfo: memFree=1510900/2055920 swapFree=4182216/4192956 [pid=18468] ppid=18466 vsize=321652 CPUtime=190 /proc/18468/stat : 18468 (bsolo) R 18466 18468 18422 0 -1 0 78555 0 0 0 18956 44 0 0 25 0 1 0 194595539 329371648 76561 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649078 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18468/statm: 80413 76561 297 55 0 79305 0 Current children cumulated CPU time (s) 190 Current children cumulated vsize (Kb) 321652 [startup+200.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18663 /proc/meminfo: memFree=1510900/2055920 swapFree=4182216/4192956 [pid=18468] ppid=18466 vsize=321652 CPUtime=200.01 /proc/18468/stat : 18468 (bsolo) R 18466 18468 18422 0 -1 0 78555 0 0 0 19956 45 0 0 25 0 1 0 194595539 329371648 76561 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542173 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18468/statm: 80413 76561 297 55 0 79305 0 Current children cumulated CPU time (s) 200.01 Current children cumulated vsize (Kb) 321652 [startup+210.146 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18663 /proc/meminfo: memFree=1510900/2055920 swapFree=4182216/4192956 ################ # More data... # ################ /proc/18468/statm: 80413 76706 436 55 0 79305 0 Current children cumulated CPU time (s) 1760.5 Current children cumulated vsize (Kb) 321652 [startup+1771.05 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18663 /proc/meminfo: memFree=1508660/2055920 swapFree=4182216/4192956 [pid=18468] ppid=18466 vsize=321652 CPUtime=1770.5 /proc/18468/stat : 18468 (bsolo) R 18466 18468 18422 0 -1 0 78691 0 9 0 176970 80 0 0 25 0 1 0 194595539 329371648 76706 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533666 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18468/statm: 80413 76706 436 55 0 79305 0 Current children cumulated CPU time (s) 1770.5 Current children cumulated vsize (Kb) 321652 [startup+1781.05 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18663 /proc/meminfo: memFree=1508660/2055920 swapFree=4182216/4192956 [pid=18468] ppid=18466 vsize=321652 CPUtime=1780.51 /proc/18468/stat : 18468 (bsolo) R 18466 18468 18422 0 -1 0 78691 0 9 0 177971 80 0 0 25 0 1 0 194595539 329371648 76706 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649078 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18468/statm: 80413 76706 436 55 0 79305 0 Current children cumulated CPU time (s) 1780.51 Current children cumulated vsize (Kb) 321652 [startup+1782.06 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18663 /proc/meminfo: memFree=1508660/2055920 swapFree=4182216/4192956 [pid=18468] ppid=18466 vsize=321652 CPUtime=1781.51 /proc/18468/stat : 18468 (bsolo) R 18466 18468 18422 0 -1 0 78691 0 9 0 178071 80 0 0 25 0 1 0 194595539 329371648 76706 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18468/statm: 80413 76706 436 55 0 79305 0 Current children cumulated CPU time (s) 1781.51 Current children cumulated vsize (Kb) 321652 [startup+1783.06 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18663 /proc/meminfo: memFree=1508660/2055920 swapFree=4182216/4192956 [pid=18468] ppid=18466 vsize=321652 CPUtime=1782.52 /proc/18468/stat : 18468 (bsolo) R 18466 18468 18422 0 -1 0 78691 0 9 0 178172 80 0 0 25 0 1 0 194595539 329371648 76706 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533666 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18468/statm: 80413 76706 436 55 0 79305 0 Current children cumulated CPU time (s) 1782.52 Current children cumulated vsize (Kb) 321652 [startup+1784.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18663 /proc/meminfo: memFree=1508660/2055920 swapFree=4182216/4192956 [pid=18468] ppid=18466 vsize=321652 CPUtime=1783.52 /proc/18468/stat : 18468 (bsolo) R 18466 18468 18422 0 -1 0 78691 0 9 0 178272 80 0 0 25 0 1 0 194595539 329371648 76706 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134538516 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18468/statm: 80413 76706 436 55 0 79305 0 Current children cumulated CPU time (s) 1783.52 Current children cumulated vsize (Kb) 321652 [startup+1785.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18663 /proc/meminfo: memFree=1508660/2055920 swapFree=4182216/4192956 [pid=18468] ppid=18466 vsize=321652 CPUtime=1784.53 /proc/18468/stat : 18468 (bsolo) R 18466 18468 18422 0 -1 0 78691 0 9 0 178373 80 0 0 25 0 1 0 194595539 329371648 76706 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533780 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18468/statm: 80413 76706 436 55 0 79305 0 Current children cumulated CPU time (s) 1784.53 Current children cumulated vsize (Kb) 321652 [startup+1786.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18663 /proc/meminfo: memFree=1508660/2055920 swapFree=4182216/4192956 [pid=18468] ppid=18466 vsize=321652 CPUtime=1785.53 /proc/18468/stat : 18468 (bsolo) R 18466 18468 18422 0 -1 0 78691 0 9 0 178473 80 0 0 25 0 1 0 194595539 329371648 76706 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649078 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18468/statm: 80413 76706 436 55 0 79305 0 Current children cumulated CPU time (s) 1785.53 Current children cumulated vsize (Kb) 321652 [startup+1787.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18663 /proc/meminfo: memFree=1508660/2055920 swapFree=4182216/4192956 [pid=18468] ppid=18466 vsize=321652 CPUtime=1786.54 /proc/18468/stat : 18468 (bsolo) R 18466 18468 18422 0 -1 0 78691 0 9 0 178573 81 0 0 25 0 1 0 194595539 329371648 76706 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18468/statm: 80413 76706 436 55 0 79305 0 Current children cumulated CPU time (s) 1786.54 Current children cumulated vsize (Kb) 321652 [startup+1788.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18663 /proc/meminfo: memFree=1508660/2055920 swapFree=4182216/4192956 [pid=18468] ppid=18466 vsize=321652 CPUtime=1787.55 /proc/18468/stat : 18468 (bsolo) R 18466 18468 18422 0 -1 0 78691 0 9 0 178674 81 0 0 25 0 1 0 194595539 329371648 76706 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533593 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18468/statm: 80413 76706 436 55 0 79305 0 Current children cumulated CPU time (s) 1787.55 Current children cumulated vsize (Kb) 321652 [startup+1789.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18663 /proc/meminfo: memFree=1508660/2055920 swapFree=4182216/4192956 [pid=18468] ppid=18466 vsize=321652 CPUtime=1788.55 /proc/18468/stat : 18468 (bsolo) R 18466 18468 18422 0 -1 0 78691 0 9 0 178774 81 0 0 25 0 1 0 194595539 329371648 76706 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533593 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18468/statm: 80413 76706 436 55 0 79305 0 Current children cumulated CPU time (s) 1788.55 Current children cumulated vsize (Kb) 321652 [startup+1790.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18663 /proc/meminfo: memFree=1508660/2055920 swapFree=4182216/4192956 [pid=18468] ppid=18466 vsize=321652 CPUtime=1789.56 /proc/18468/stat : 18468 (bsolo) R 18466 18468 18422 0 -1 0 78691 0 9 0 178875 81 0 0 25 0 1 0 194595539 329371648 76706 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18468/statm: 80413 76706 436 55 0 79305 0 Current children cumulated CPU time (s) 1789.56 Current children cumulated vsize (Kb) 321652 [startup+1791.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18663 /proc/meminfo: memFree=1508660/2055920 swapFree=4182216/4192956 [pid=18468] ppid=18466 vsize=321652 CPUtime=1790.56 /proc/18468/stat : 18468 (bsolo) R 18466 18468 18422 0 -1 0 78691 0 9 0 178975 81 0 0 25 0 1 0 194595539 329371648 76706 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542143 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18468/statm: 80413 76706 436 55 0 79305 0 Current children cumulated CPU time (s) 1790.56 Current children cumulated vsize (Kb) 321652 [startup+1792.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18663 /proc/meminfo: memFree=1508660/2055920 swapFree=4182216/4192956 [pid=18468] ppid=18466 vsize=321652 CPUtime=1791.56 /proc/18468/stat : 18468 (bsolo) R 18466 18468 18422 0 -1 0 78691 0 9 0 179075 81 0 0 25 0 1 0 194595539 329371648 76706 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628950 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18468/statm: 80413 76706 436 55 0 79305 0 Current children cumulated CPU time (s) 1791.56 Current children cumulated vsize (Kb) 321652 [startup+1793.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18663 /proc/meminfo: memFree=1508660/2055920 swapFree=4182216/4192956 [pid=18468] ppid=18466 vsize=321652 CPUtime=1792.57 /proc/18468/stat : 18468 (bsolo) R 18466 18468 18422 0 -1 0 78691 0 9 0 179176 81 0 0 25 0 1 0 194595539 329371648 76706 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134629239 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18468/statm: 80413 76706 436 55 0 79305 0 Current children cumulated CPU time (s) 1792.57 Current children cumulated vsize (Kb) 321652 [startup+1794.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18663 /proc/meminfo: memFree=1508660/2055920 swapFree=4182216/4192956 [pid=18468] ppid=18466 vsize=321652 CPUtime=1793.57 /proc/18468/stat : 18468 (bsolo) R 18466 18468 18422 0 -1 0 78691 0 9 0 179276 81 0 0 25 0 1 0 194595539 329371648 76706 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533593 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18468/statm: 80413 76706 436 55 0 79305 0 Current children cumulated CPU time (s) 1793.57 Current children cumulated vsize (Kb) 321652 [startup+1795.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18663 /proc/meminfo: memFree=1508660/2055920 swapFree=4182216/4192956 [pid=18468] ppid=18466 vsize=321652 CPUtime=1794.58 /proc/18468/stat : 18468 (bsolo) R 18466 18468 18422 0 -1 0 78691 0 9 0 179377 81 0 0 25 0 1 0 194595539 329371648 76706 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533593 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18468/statm: 80413 76706 436 55 0 79305 0 Current children cumulated CPU time (s) 1794.58 Current children cumulated vsize (Kb) 321652 [startup+1796.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18663 /proc/meminfo: memFree=1508660/2055920 swapFree=4182216/4192956 [pid=18468] ppid=18466 vsize=321652 CPUtime=1795.58 /proc/18468/stat : 18468 (bsolo) R 18466 18468 18422 0 -1 0 78691 0 9 0 179477 81 0 0 25 0 1 0 194595539 329371648 76706 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18468/statm: 80413 76706 436 55 0 79305 0 Current children cumulated CPU time (s) 1795.58 Current children cumulated vsize (Kb) 321652 [startup+1797.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18663 /proc/meminfo: memFree=1508660/2055920 swapFree=4182216/4192956 [pid=18468] ppid=18466 vsize=321652 CPUtime=1796.59 /proc/18468/stat : 18468 (bsolo) R 18466 18468 18422 0 -1 0 78691 0 9 0 179578 81 0 0 25 0 1 0 194595539 329371648 76706 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533654 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18468/statm: 80413 76706 436 55 0 79305 0 Current children cumulated CPU time (s) 1796.59 Current children cumulated vsize (Kb) 321652 [startup+1798.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18663 /proc/meminfo: memFree=1508660/2055920 swapFree=4182216/4192956 [pid=18468] ppid=18466 vsize=321652 CPUtime=1797.59 /proc/18468/stat : 18468 (bsolo) R 18466 18468 18422 0 -1 0 78691 0 9 0 179678 81 0 0 25 0 1 0 194595539 329371648 76706 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533780 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18468/statm: 80413 76706 436 55 0 79305 0 Current children cumulated CPU time (s) 1797.59 Current children cumulated vsize (Kb) 321652 [startup+1799.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18663 /proc/meminfo: memFree=1508660/2055920 swapFree=4182216/4192956 [pid=18468] ppid=18466 vsize=321652 CPUtime=1798.6 /proc/18468/stat : 18468 (bsolo) R 18466 18468 18422 0 -1 0 78691 0 9 0 179779 81 0 0 25 0 1 0 194595539 329371648 76706 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134618181 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18468/statm: 80413 76706 436 55 0 79305 0 Current children cumulated CPU time (s) 1798.6 Current children cumulated vsize (Kb) 321652 [startup+1800.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18663 /proc/meminfo: memFree=1508660/2055920 swapFree=4182216/4192956 [pid=18468] ppid=18466 vsize=321652 CPUtime=1799.6 /proc/18468/stat : 18468 (bsolo) R 18466 18468 18422 0 -1 0 78691 0 9 0 179879 81 0 0 25 0 1 0 194595539 329371648 76706 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18468/statm: 80413 76706 436 55 0 79305 0 Current children cumulated CPU time (s) 1799.6 Current children cumulated vsize (Kb) 321652 Child status: 10 Real time (s): 1800.61 CPU time (s): 1800.06 CPU user time (s): 1799.2 CPU system time (s): 0.865868 CPU usage (%): 99.9696 Max. virtual memory (cumulated for all children) (Kb): 321652
Begin job on node69 on Fri Jun 2 23:00:55 UTC 2006 FILE ID= 40472-1149289255 PBS_JOBID= 306750 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.5:100.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node69/40472-1149289255/instance-40472-1149289255.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node69/watcher-40472-1149289255 -o ROOT/results/node69/solver-40472-1149289255 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node69/40472-1149289255/instance-40472-1149289255.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 9d611ad786b3505d4cca46af1ba2bc6d RANDOM SEED= 748052277 /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.232 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.232 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 : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1817156 kB Buffers: 23584 kB Cached: 148844 kB SwapCached: 2468 kB Active: 37108 kB Inactive: 144068 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1817156 kB SwapTotal: 4192956 kB SwapFree: 4182216 kB Dirty: 164 kB Writeback: 0 kB Mapped: 15444 kB Slab: 43564 kB Committed_AS: 312888 kB PageTables: 1496 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node69 on Fri Jun 2 23:30:56 UTC 2006