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 (TO) | -7904 | 1800.48 | 1801.28 |
| Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-mzzv11.opb |
| MD5SUM | a74bcf40291587dc368e3a23fd278be9 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -7904 |
| Best CPU time to get the best result obtained on this benchmark | 1800.48 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -10639 |
| Optimality of the best value was proved | NO |
| Number of variables | 11247 |
| Total number of constraints | 9744 |
| Number of constraints which are clauses | 77 |
| Number of constraints which are cardinality constraints (but not clauses) | 5755 |
| Number of constraints which are nor clauses,nor cardinality constraints | 3912 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 68 |
| Number of terms in the objective function | 773 |
| Biggest coefficient in the objective function | 1000 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 76861 |
| Number of bits of the sum of numbers in the objective function | 17 |
| Biggest number in a constraint | 1999 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 76861 |
| Number of bits of the biggest sum of numbers | 17 |
| 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.09 c INFO: OSL Context initialized. 0.82 c Initial problem consists of 11247 variables and 13116 constraints. 0.95 c No problem reductions applied in OPT. instance. 0.95 c preprocess terminated. Elapsed time: 0.855 0.95 c After prepocess the problem consists of 11247 variables and 13116 constraints. 0.95 c Initial Lower Bound: -13489 1.75 c Restart #1 #Var: 11247 LB: -13489 @ 1.657 3.88 c Restart #2 #Var: 11247 LB: -13489 @ 3.786 5.07 c Restart #3 #Var: 11247 LB: -13489 @ 4.978 7.35 c Restart #4 #Var: 11247 LB: -13489 @ 7.252 13.12 c Restart #5 #Var: 11247 LB: -13489 @ 13.018 20.34 c Restart #6 #Var: 11245 LB: -13489 @ 20.233 26.01 c Restart #7 #Var: 11164 LB: -13239 @ 25.905 30.51 c Restart #8 #Var: 11151 LB: -13239 @ 30.4 35.91 c Restart #9 #Var: 11144 LB: -13239 @ 35.803 36.98 c Sol. found (all assignments made)... 36.98 o -1750 36.98 c NEW SOLUTION FOUND: -1750 @ 36.873 36.98 c Sol. found (all assignments made)... 36.98 o -1870 36.98 c NEW SOLUTION FOUND: -1870 @ 36.875 36.98 c Sol. found (all assignments made)... 36.98 o -1990 36.98 c NEW SOLUTION FOUND: -1990 @ 36.877 36.99 c Sol. found (all assignments made)... 36.99 o -2110 36.99 c NEW SOLUTION FOUND: -2110 @ 36.881 36.99 c Sol. found (all assignments made)... 36.99 o -2118 36.99 c NEW SOLUTION FOUND: -2118 @ 36.885 37.00 c Sol. found (all assignments made)... 37.00 o -2238 37.00 c NEW SOLUTION FOUND: -2238 @ 36.888 37.01 c Sol. found (all assignments made)... 37.01 o -2278 37.01 c NEW SOLUTION FOUND: -2278 @ 36.898 37.02 c Sol. found (all assignments made)... 37.02 o -2318 37.02 c NEW SOLUTION FOUND: -2318 @ 36.911 37.03 c Sol. found (all assignments made)... 37.03 o -2338 37.03 c NEW SOLUTION FOUND: -2338 @ 36.921 37.03 c Sol. found (all assignments made)... 37.03 o -2378 37.03 c NEW SOLUTION FOUND: -2378 @ 36.924 37.05 c Sol. found (all assignments made)... 37.05 o -2418 37.05 c NEW SOLUTION FOUND: -2418 @ 36.941 37.07 c Sol. found (all assignments made)... 37.07 o -2438 37.07 c NEW SOLUTION FOUND: -2438 @ 36.961 37.07 c Sol. found (all assignments made)... 37.07 o -2478 37.07 c NEW SOLUTION FOUND: -2478 @ 36.966 37.09 c Sol. found (all assignments made)... 37.09 o -2498 37.09 c NEW SOLUTION FOUND: -2498 @ 36.983 37.09 c Sol. found (all assignments made)... 37.09 o -2538 37.09 c NEW SOLUTION FOUND: -2538 @ 36.986 37.12 c Sol. found (all assignments made)... 37.12 o -2558 37.12 c NEW SOLUTION FOUND: -2558 @ 37.015 37.13 c Sol. found (all assignments made)... 37.13 o -2598 37.13 c NEW SOLUTION FOUND: -2598 @ 37.02 37.15 c Sol. found (all assignments made)... 37.15 o -2602 37.15 c NEW SOLUTION FOUND: -2602 @ 37.042 37.16 c Sol. found (all assignments made)... 37.16 o -2622 37.16 c NEW SOLUTION FOUND: -2622 @ 37.055 37.17 c Sol. found (all assignments made)... 37.17 o -2662 37.17 c NEW SOLUTION FOUND: -2662 @ 37.061 37.20 c Sol. found (all assignments made)... 37.20 o -2666 37.20 c NEW SOLUTION FOUND: -2666 @ 37.09 37.22 c Sol. found (all assignments made)... 37.22 o -2686 37.22 c NEW SOLUTION FOUND: -2686 @ 37.115 37.23 c Sol. found (all assignments made)... 37.23 o -2726 37.23 c NEW SOLUTION FOUND: -2726 @ 37.124 37.33 c Sol. found (all assignments made)... 37.33 o -2736 37.33 c NEW SOLUTION FOUND: -2736 @ 37.22 37.50 c Sol. found (all assignments made)... 37.50 o -2752 37.50 c NEW SOLUTION FOUND: -2752 @ 37.391 37.57 c Sol. found (all assignments made)... 37.57 o -2756 37.57 c NEW SOLUTION FOUND: -2756 @ 37.458 37.58 c Sol. found (all assignments made)... 37.58 o -2776 37.58 c NEW SOLUTION FOUND: -2776 @ 37.476 37.60 c Sol. found (all assignments made)... 37.60 o -2816 37.60 c NEW SOLUTION FOUND: -2816 @ 37.492 38.01 c Sol. found (all assignments made)... 38.01 o -2832 38.01 c NEW SOLUTION FOUND: -2832 @ 37.903 38.14 c Sol. found (all assignments made)... 38.14 o -2856 38.14 c NEW SOLUTION FOUND: -2856 @ 38.03 38.18 c Sol. found (all assignments made)... 38.18 o -2896 38.18 c NEW SOLUTION FOUND: -2896 @ 38.077 38.95 c Restart #10 #Var: 11144 LB: -13239 @ 38.847 52.92 c Restart #11 #Var: 11050 LB: -12989 @ 52.81 56.41 c Sol. found (all assignments made)... 56.41 o -2945 56.41 c NEW SOLUTION FOUND: -2945 @ 56.296 56.41 c Sol. found (all assignments made)... 56.41 o -2965 56.41 c NEW SOLUTION FOUND: -2965 @ 56.299 56.42 c Sol. found (all assignments made)... 56.42 c Sol. found (all assignments made)... 56.42 o -3025 56.42 c NEW SOLUTION FOUND: -3025 @ 56.302 56.42 c Sol. found (all assignments made)... 56.42 o -3065 56.42 c NEW SOLUTION FOUND: -3065 @ 56.305 56.42 c Sol. found (all assignments made)... 56.42 o -3085 56.42 c NEW SOLUTION FOUND: -3085 @ 56.309 56.43 c Sol. found (all assignments made)... 56.43 o -3105 56.43 c NEW SOLUTION FOUND: -3105 @ 56.316 56.43 c Sol. found (all assignments made)... 56.43 o -3125 56.43 c NEW SOLUTION FOUND: -3125 @ 56.319 56.44 c Sol. found (all assignments made)... 56.44 o -3135 56.44 c NEW SOLUTION FOUND: -3135 @ 56.323 56.44 c Sol. found (all assignments made)... 56.44 o -3155 56.44 c NEW SOLUTION FOUND: -3155 @ 56.325 56.54 c Sol. found (all assignments made)... 56.54 o -3165 56.54 c NEW SOLUTION FOUND: -3165 @ 56.421 56.61 c Sol. found (all assignments made)... 56.61 o -3175 56.61 c NEW SOLUTION FOUND: -3175 @ 56.494 56.62 c Sol. found (all assignments made)... 56.62 o -3190 56.62 c NEW SOLUTION FOUND: -3190 @ 56.507 56.64 c Sol. found (all assignments made)... 56.64 o -3205 56.64 c NEW SOLUTION FOUND: -3205 @ 56.527 56.70 c Sol. found (all assignments made)... 56.70 o -3215 56.70 c NEW SOLUTION FOUND: -3215 @ 56.581 56.70 c Sol. found (all assignments made)... 56.70 o -3230 56.70 c NEW SOLUTION FOUND: -3230 @ 56.589 56.71 c Sol. found (all assignments made)... 56.71 o -3245 56.71 c NEW SOLUTION FOUND: -3245 @ 56.599 57.01 c Sol. found (all assignments made)... 57.01 o -3250 57.01 c NEW SOLUTION FOUND: -3250 @ 56.896 57.02 c Sol. found (all assignments made)... 57.02 o -3260 57.02 c NEW SOLUTION FOUND: -3260 @ 56.909 57.03 c Sol. found (all assignments made)... 57.03 o -3265 57.03 c NEW SOLUTION FOUND: -3265 @ 56.92 57.37 c Sol. found (all assignments made)... 57.37 o -3270 57.37 c NEW SOLUTION FOUND: -3270 @ 57.26 57.38 c Sol. found (all assignments made)... 57.38 o -3275 57.38 c NEW SOLUTION FOUND: -3275 @ 57.266 74.03 c Restart #12 #Var: 11048 LB: -12989 @ 73.912 86.43 c Restart #13 #Var: 11020 LB: -12989 @ 86.306 107.54 c Restart #14 #Var: 11013 LB: -12989 @ 107.4 122.75 c Restart #15 #Var: 11011 LB: -12989 @ 122.61 140.78 c Sol. found (all assignments made)... 140.78 o -3289 140.78 c NEW SOLUTION FOUND: -3289 @ 140.63 140.79 c Sol. found (all assignments made)... 140.79 o -3319 140.79 c NEW SOLUTION FOUND: -3319 @ 140.64 140.79 c Sol. found (all assignments made)... 140.79 o -3339 140.79 c NEW SOLUTION FOUND: -3339 @ 140.65 140.80 c Sol. found (all assignments made)... 140.80 o -3359 140.80 c NEW SOLUTION FOUND: -3359 @ 140.66 140.81 c Sol. found (all assignments made)... 140.81 o -3389 140.81 c NEW SOLUTION FOUND: -3389 @ 140.67 140.81 c Sol. found (all assignments made)... 140.81 o -3409 140.81 c NEW SOLUTION FOUND: -3409 @ 140.67 140.83 c Sol. found (all assignments made)... 140.83 o -3419 140.83 c NEW SOLUTION FOUND: -3419 @ 140.69 140.83 c Sol. found (all assignments made)... 140.83 o -3449 140.83 c NEW SOLUTION FOUND: -3449 @ 140.69 140.84 c Sol. found (all assignments made)... 140.84 o -3469 140.84 c NEW SOLUTION FOUND: -3469 @ 140.7 140.86 c Sol. found (all assignments made)... 140.86 o -3489 140.86 c NEW SOLUTION FOUND: -3489 @ 140.72 140.87 c Sol. found (all assignments made)... 140.87 o -3509 140.87 c NEW SOLUTION FOUND: -3509 @ 140.73 140.91 c Sol. found (all assignments made)... 140.91 o -3529 140.91 c NEW SOLUTION FOUND: -3529 @ 140.76 140.91 c Sol. found (all assignments made)... 140.91 o -3549 140.91 c NEW SOLUTION FOUND: -3549 @ 140.77 140.98 c Sol. found (all assignments made)... 140.98 o -3559 140.98 c NEW SOLUTION FOUND: -3559 @ 140.84 141.07 c Sol. found (all assignments made)... 141.07 o -3569 141.07 c NEW SOLUTION FOUND: -3569 @ 140.93 141.96 c Sol. found (all assignments made)... 141.96 o -3599 141.96 c NEW SOLUTION FOUND: -3599 @ 141.82 141.96 c Sol. found (all assignments made)... 141.96 o -3649 141.96 c NEW SOLUTION FOUND: -3649 @ 141.82 141.97 c Sol. found (all assignments made)... 141.97 o -3689 141.97 c NEW SOLUTION FOUND: -3689 @ 141.82 141.97 c Sol. found (all assignments made)... 141.97 o -3699 141.97 c NEW SOLUTION FOUND: -3699 @ 141.83 141.97 c Sol. found (all assignments made)... 141.97 o -3749 141.97 c NEW SOLUTION FOUND: -3749 @ 141.83 141.98 c Sol. found (all assignments made)... 141.98 o -3759 141.98 c NEW SOLUTION FOUND: -3759 @ 141.83 141.98 c Sol. found (all assignments made)... 141.98 o -3799 141.98 c NEW SOLUTION FOUND: -3799 @ 141.84 141.98 c Sol. found (all assignments made)... 141.98 o -3819 141.98 c NEW SOLUTION FOUND: -3819 @ 141.84 141.98 c Sol. found (all assignments made)... 141.98 o -3839 141.98 c NEW SOLUTION FOUND: -3839 @ 141.84 141.99 c Sol. found (all assignments made)... 141.99 o -3864 141.99 c NEW SOLUTION FOUND: -3864 @ 141.85 142.00 c Sol. found (all assignments made)... 142.00 o -3869 142.00 c NEW SOLUTION FOUND: -3869 @ 141.86 142.01 c Sol. found (all assignments made)... 142.01 o -3874 142.01 c NEW SOLUTION FOUND: -3874 @ 141.86 142.01 c Sol. found (all assignments made)... 142.01 o -3879 142.01 c NEW SOLUTION FOUND: -3879 @ 141.87 142.01 c Sol. found (all assignments made)... 142.01 o -3884 142.01 c NEW SOLUTION FOUND: -3884 @ 141.87 142.02 c Sol. found (all assignments made)... 142.02 o -3904 142.02 c NEW SOLUTION FOUND: -3904 @ 141.87 142.02 c Sol. found (all assignments made)... 142.02 o -3909 142.02 c NEW SOLUTION FOUND: -3909 @ 141.88 142.02 c Sol. found (all assignments made)... 142.02 o -3914 142.02 c NEW SOLUTION FOUND: -3914 @ 141.88 142.02 c Sol. found (all assignments made)... 142.02 o -3919 142.02 c NEW SOLUTION FOUND: -3919 @ 141.88 142.03 c Sol. found (all assignments made)... 142.03 o -3929 142.03 c NEW SOLUTION FOUND: -3929 @ 141.89 142.04 c Sol. found (all assignments made)... 142.04 o -3954 142.04 c NEW SOLUTION FOUND: -3954 @ 141.89 142.04 c Sol. found (all assignments made)... 142.04 o -3969 142.04 c NEW SOLUTION FOUND: -3969 @ 141.9 142.04 c Sol. found (all assignments made)... 142.04 o -3979 142.04 c NEW SOLUTION FOUND: -3979 @ 141.9 159.35 c Restart #16 #Var: 10942 LB: -12989 @ 159.2 165.49 c Restart #17 #Var: 10937 LB: -12989 @ 165.33 176.37 c Sol. found (all assignments made)... 176.37 o -3980 176.37 c NEW SOLUTION FOUND: -3980 @ 176.22 176.63 c Sol. found (all assignments made)... 176.63 o -4073 176.63 c NEW SOLUTION FOUND: -4073 @ 176.48 176.64 c Sol. found (all assignments made)... 176.64 o -4093 176.64 c NEW SOLUTION FOUND: -4093 @ 176.48 176.64 c Sol. found (all assignments made)... 176.64 o -4108 176.64 c NEW SOLUTION FOUND: -4108 @ 176.49 176.65 c Sol. found (all assignments made)... 176.65 o -4118 176.65 c NEW SOLUTION FOUND: -4118 @ 176.49 194.43 c Sol. found (all assignments made)... 194.43 c Sol. found (all assignments made)... 194.43 c Sol. found (all assignments made)... 194.43 o -4120 194.43 c NEW SOLUTION FOUND: -4120 @ 194.27 194.43 c Sol. found (all assignments made)... 194.43 o -4155 194.43 c NEW SOLUTION FOUND: -4155 @ 194.27 194.44 c Sol. found (all assignments made)... 194.44 c Sol. found (all assignments made)... 194.44 o -4190 194.44 c NEW SOLUTION FOUND: -4190 @ 194.28 194.45 c Sol. found (all assignments made)... 194.45 o -4205 194.45 c NEW SOLUTION FOUND: -4205 @ 194.29 194.46 c Sol. found (all assignments made)... 194.46 o -4210 194.46 c NEW SOLUTION FOUND: -4210 @ 194.3 194.47 c Sol. found (all assignments made)... 194.47 o -4225 194.47 c NEW SOLUTION FOUND: -4225 @ 194.31 194.47 c Sol. found (all assignments made)... 194.47 o -4230 194.47 c NEW SOLUTION FOUND: -4230 @ 194.31 194.48 c Sol. found (all assignments made)... 194.48 o -4235 194.48 c NEW SOLUTION FOUND: -4235 @ 194.32 194.49 c Sol. found (all assignments made)... 194.49 o -4240 194.49 c NEW SOLUTION FOUND: -4240 @ 194.33 194.50 c Sol. found (all assignments made)... 194.50 o -4245 194.50 c NEW SOLUTION FOUND: -4245 @ 194.34 194.51 c Sol. found (all assignments made)... 194.51 o -4250 194.51 c NEW SOLUTION FOUND: -4250 @ 194.35 194.52 c Sol. found (all assignments made)... 194.52 o -4260 194.52 c NEW SOLUTION FOUND: -4260 @ 194.36 194.53 c Sol. found (all assignments made)... 194.53 o -4265 194.53 c NEW SOLUTION FOUND: -4265 @ 194.37 194.53 c Sol. found (all assignments made)... 194.53 o -4270 194.53 c NEW SOLUTION FOUND: -4270 @ 194.37 194.54 c Sol. found (all assignments made)... 194.54 o -4275 194.54 c NEW SOLUTION FOUND: -4275 @ 194.38 194.55 c Sol. found (all assignments made)... 194.55 o -4280 194.55 c NEW SOLUTION FOUND: -4280 @ 194.39 194.56 c Sol. found (all assignments made)... 194.56 o -4300 194.56 c NEW SOLUTION FOUND: -4300 @ 194.4 194.56 c Sol. found (all assignments made)... 194.56 o -4310 194.56 c NEW SOLUTION FOUND: -4310 @ 194.4 194.58 c Sol. found (all assignments made)... 194.58 o -4315 194.58 c NEW SOLUTION FOUND: -4315 @ 194.41 194.59 c Sol. found (all assignments made)... 194.59 o -4320 194.59 c NEW SOLUTION FOUND: -4320 @ 194.43 194.61 c Sol. found (all assignments made)... 194.61 o -4330 194.61 c NEW SOLUTION FOUND: -4330 @ 194.45 194.62 c Sol. found (all assignments made)... 194.62 o -4340 194.62 c NEW SOLUTION FOUND: -4340 @ 194.46 194.68 c Sol. found (all assignments made)... 194.68 o -4345 194.68 c NEW SOLUTION FOUND: -4345 @ 194.52 194.69 c Sol. found (all assignments made)... 194.69 o -4350 194.69 c NEW SOLUTION FOUND: -4350 @ 194.53 194.70 c Sol. found (all assignments made)... 194.70 o -4355 194.70 c NEW SOLUTION FOUND: -4355 @ 194.54 194.71 c Sol. found (all assignments made)... 194.71 o -4360 194.71 c NEW SOLUTION FOUND: -4360 @ 194.55 194.74 c Sol. found (all assignments made)... 194.74 o -4365 194.74 c NEW SOLUTION FOUND: -4365 @ 194.58 194.75 c Sol. found (all assignments made)... 194.75 o -4370 194.75 c NEW SOLUTION FOUND: -4370 @ 194.59 194.77 c Sol. found (all assignments made)... 194.77 o -4375 194.77 c NEW SOLUTION FOUND: -4375 @ 194.61 194.78 c Sol. found (all assignments made)... 194.78 o -4380 194.78 c NEW SOLUTION FOUND: -4380 @ 194.62 194.79 c Sol. found (all assignments made)... 194.79 o -4385 194.79 c NEW SOLUTION FOUND: -4385 @ 194.63 194.80 c Sol. found (all assignments made)... 194.80 o -4390 194.80 c NEW SOLUTION FOUND: -4390 @ 194.64 194.81 c Sol. found (all assignments made)... 194.81 o -4395 194.81 c NEW SOLUTION FOUND: -4395 @ 194.65 194.84 c Sol. found (all assignments made)... 194.84 o -4400 194.84 c NEW SOLUTION FOUND: -4400 @ 194.68 198.11 c Restart #18 #Var: 10934 LB: -12989 @ 197.95 204.86 c Sol. found (all assignments made)... 204.86 o -4409 204.86 c NEW SOLUTION FOUND: -4409 @ 204.69 204.87 c Sol. found (all assignments made)... 204.87 o -4414 204.87 c NEW SOLUTION FOUND: -4414 @ 204.71 204.90 c Sol. found (all assignments made)... 204.90 o -4424 204.90 c NEW SOLUTION FOUND: -4424 @ 204.74 204.92 c Sol. found (all assignments made)... 204.92 o -4429 204.92 c NEW SOLUTION FOUND: -4429 @ 204.75 204.94 c Sol. found (all assignments made)... 204.94 o -4434 204.94 c NEW SOLUTION FOUND: -4434 @ 204.77 204.95 c Sol. found (all assignments made)... 204.95 o -4439 204.95 c NEW SOLUTION FOUND: -4439 @ 204.78 204.96 c Sol. found (all assignments made)... 204.96 o -4444 204.96 c NEW SOLUTION FOUND: -4444 @ 204.8 204.97 c Sol. found (all assignments made)... 204.97 o -4449 204.97 c NEW SOLUTION FOUND: -4449 @ 204.81 204.99 c Sol. found (all assignments made)... 204.99 o -4454 204.99 c NEW SOLUTION FOUND: -4454 @ 204.82 205.00 c Sol. found (all assignments made)... 205.00 o -4459 205.00 c NEW SOLUTION FOUND: -4459 @ 204.84 205.01 c Sol. found (all assignments made)... 205.01 o -4464 205.01 c NEW SOLUTION FOUND: -4464 @ 204.85 205.03 c Sol. found (all assignments made)... 205.03 o -4469 205.03 c NEW SOLUTION FOUND: -4469 @ 204.87 205.04 c Sol. found (all assignments made)... 205.04 o -4474 205.04 c NEW SOLUTION FOUND: -4474 @ 204.88 205.06 c Sol. found (all assignments made)... 205.06 o -4479 205.06 c NEW SOLUTION FOUND: -4479 @ 204.9 205.08 c Sol. found (all assignments made)... 205.08 o -4484 205.08 c NEW SOLUTION FOUND: -4484 @ 204.92 205.09 c Sol. found (all assignments made)... 205.10 o -4489 205.10 c NEW SOLUTION FOUND: -4489 @ 204.93 205.11 c Sol. found (all assignments made)... 205.11 o -4494 205.11 c NEW SOLUTION FOUND: -4494 @ 204.94 205.12 c Sol. found (all assignments made)... 205.12 o -4499 205.12 c NEW SOLUTION FOUND: -4499 @ 204.96 205.14 c Sol. found (all assignments made)... 205.14 o -4504 205.14 c NEW SOLUTION FOUND: -4504 @ 204.98 205.15 c Sol. found (all assignments made)... 205.15 o -4509 205.15 c NEW SOLUTION FOUND: -4509 @ 204.99 205.17 c Sol. found (all assignments made)... 205.17 o -4514 205.17 c NEW SOLUTION FOUND: -4514 @ 205 205.18 c Sol. found (all assignments made)... 205.18 o -4519 205.18 c NEW SOLUTION FOUND: -4519 @ 205.02 205.20 c Sol. found (all assignments made)... 205.20 o -4524 205.20 c NEW SOLUTION FOUND: -4524 @ 205.03 205.21 c Sol. found (all assignments made)... 205.21 o -4529 205.21 c NEW SOLUTION FOUND: -4529 @ 205.04 205.22 c Sol. found (all assignments made)... 205.22 o -4534 205.22 c NEW SOLUTION FOUND: -4534 @ 205.06 205.27 c Sol. found (all assignments made)... 205.27 o -4539 205.27 c NEW SOLUTION FOUND: -4539 @ 205.11 205.28 c Sol. found (all assignments made)... 205.28 o -4544 205.28 c NEW SOLUTION FOUND: -4544 @ 205.12 205.30 c Sol. found (all assignments made)... 205.30 o -4549 205.30 c NEW SOLUTION FOUND: -4549 @ 205.14 205.32 c Sol. found (all assignments made)... 205.32 o -4554 205.32 c NEW SOLUTION FOUND: -4554 @ 205.15 205.33 c Sol. found (all assignments made)... 205.33 o -4559 205.33 c NEW SOLUTION FOUND: -4559 @ 205.17 205.34 c Sol. found (all assignments made)... 205.34 o -4564 205.34 c NEW SOLUTION FOUND: -4564 @ 205.18 214.12 c Restart #19 #Var: 10934 LB: -12989 @ 213.96 219.41 c Sol. found (all assignments made)... 219.41 o -4593 219.41 c NEW SOLUTION FOUND: -4593 @ 219.24 219.42 c Sol. found (all assignments made)... 219.42 o -4613 219.42 c NEW SOLUTION FOUND: -4613 @ 219.25 219.43 c Sol. found (all assignments made)... 219.43 o -4625 219.43 c NEW SOLUTION FOUND: -4625 @ 219.27 219.53 c Sol. found (all assignments made)... 219.53 o -4630 219.53 c NEW SOLUTION FOUND: -4630 @ 219.36 237.95 c Sol. found (all assignments made)... 238.06 c Sol. found (all assignments made)... 238.06 o -4633 238.06 c NEW SOLUTION FOUND: -4633 @ 237.88 238.08 c Sol. found (all assignments made)... 238.08 o -4638 238.08 c NEW SOLUTION FOUND: -4638 @ 237.91 238.13 c Sol. found (all assignments made)... 238.13 o -4648 238.13 c NEW SOLUTION FOUND: -4648 @ 237.95 238.14 c Sol. found (all assignments made)... 238.14 o -4653 238.14 c NEW SOLUTION FOUND: -4653 @ 237.97 238.37 c Sol. found (all assignments made)... 238.37 o -4658 238.37 c NEW SOLUTION FOUND: -4658 @ 238.19 238.38 c Sol. found (all assignments made)... 238.38 o -4663 238.38 c NEW SOLUTION FOUND: -4663 @ 238.21 238.41 c Sol. found (all assignments made)... 238.41 o -4668 238.41 c NEW SOLUTION FOUND: -4668 @ 238.24 238.97 c Sol. found (all assignments made)... 238.97 o -4673 238.97 c NEW SOLUTION FOUND: -4673 @ 238.8 239.42 c Sol. found (all assignments made)... 239.45 c Sol. found (all assignments made)... 239.45 o -4678 239.45 c NEW SOLUTION FOUND: -4678 @ 239.28 240.67 c Restart #20 #Var: 10933 LB: -12989 @ 240.49 269.49 c Restart #21 #Var: 10898 LB: -12989 @ 269.31 283.64 c Restart #22 #Var: 10897 LB: -12989 @ 283.45 297.47 c Sol. found (all assignments made)... 297.47 o -4785 297.47 c NEW SOLUTION FOUND: -4785 @ 297.27 297.47 c Sol. found (all assignments made)... 297.47 o -4827 297.47 c NEW SOLUTION FOUND: -4827 @ 297.27 297.47 c Sol. found (all assignments made)... 297.47 c Sol. found (all assignments made)... 297.47 o -4849 297.47 c NEW SOLUTION FOUND: -4849 @ 297.28 297.47 c Sol. found (all assignments made)... 297.47 o -4877 297.47 c NEW SOLUTION FOUND: -4877 @ 297.28 297.48 c Sol. found (all assignments made)... 297.48 o -4881 297.48 c NEW SOLUTION FOUND: -4881 @ 297.28 297.48 c Sol. found (all assignments made)... 297.48 o -4897 297.48 c NEW SOLUTION FOUND: -4897 @ 297.28 297.48 c Sol. found (all assignments made)... 297.48 o -4902 297.48 c NEW SOLUTION FOUND: -4902 @ 297.29 297.48 c Sol. found (all assignments made)... 297.48 o -4917 297.48 c NEW SOLUTION FOUND: -4917 @ 297.29 297.49 c Sol. found (all assignments made)... 297.49 o -4937 297.49 c NEW SOLUTION FOUND: -4937 @ 297.29 297.49 c Sol. found (all assignments made)... 297.49 o -4942 297.49 c NEW SOLUTION FOUND: -4942 @ 297.29 297.49 c Sol. found (all assignments made)... 297.49 o -4947 297.49 c NEW SOLUTION FOUND: -4947 @ 297.3 297.49 c Sol. found (all assignments made)... 297.49 o -4952 297.49 c NEW SOLUTION FOUND: -4952 @ 297.3 297.50 c Sol. found (all assignments made)... 297.50 o -4984 297.50 c NEW SOLUTION FOUND: -4984 @ 297.31 297.50 c Sol. found (all assignments made)... 297.50 o -5048 297.50 c NEW SOLUTION FOUND: -5048 @ 297.31 297.51 c Sol. found (all assignments made)... 297.51 o -5078 297.51 c NEW SOLUTION FOUND: -5078 @ 297.31 297.51 c Sol. found (all assignments made)... 297.51 o -5088 297.51 c NEW SOLUTION FOUND: -5088 @ 297.32 297.51 c Sol. found (all assignments made)... 297.51 o -5104 297.51 c NEW SOLUTION FOUND: -5104 @ 297.32 297.52 c Sol. found (all assignments made)... 297.52 o -5136 297.52 c NEW SOLUTION FOUND: -5136 @ 297.32 297.52 c Sol. found (all assignments made)... 297.52 o -5152 297.52 c NEW SOLUTION FOUND: -5152 @ 297.33 297.53 c Sol. found (all assignments made)... 297.53 o -5182 297.53 c NEW SOLUTION FOUND: -5182 @ 297.33 297.53 c Sol. found (all assignments made)... 297.53 o -5192 297.53 c NEW SOLUTION FOUND: -5192 @ 297.34 297.55 c Sol. found (all assignments made)... 297.55 o -5194 297.55 c NEW SOLUTION FOUND: -5194 @ 297.35 297.56 c Sol. found (all assignments made)... 297.56 o -5206 297.56 c NEW SOLUTION FOUND: -5206 @ 297.36 297.56 c Sol. found (all assignments made)... 297.56 o -5226 297.56 c NEW SOLUTION FOUND: -5226 @ 297.37 297.57 c Sol. found (all assignments made)... 297.57 o -5242 297.57 c NEW SOLUTION FOUND: -5242 @ 297.38 297.58 c Sol. found (all assignments made)... 297.58 o -5252 297.58 c NEW SOLUTION FOUND: -5252 @ 297.39 297.60 c Sol. found (all assignments made)... 297.60 o -5262 297.60 c NEW SOLUTION FOUND: -5262 @ 297.4 297.70 c Sol. found (all assignments made)... 297.70 o -5270 297.70 c NEW SOLUTION FOUND: -5270 @ 297.5 297.71 c Sol. found (all assignments made)... 297.71 o -5276 297.71 c NEW SOLUTION FOUND: -5276 @ 297.51 297.72 c Sol. found (all assignments made)... 297.72 o -5286 297.72 c NEW SOLUTION FOUND: -5286 @ 297.52 297.73 c Sol. found (all assignments made)... 297.73 o -5292 297.73 c NEW SOLUTION FOUND: -5292 @ 297.54 297.75 c Sol. found (all assignments made)... 297.75 o -5302 297.75 c NEW SOLUTION FOUND: -5302 @ 297.55 297.78 c Sol. found (all assignments made)... 297.78 o -5312 297.78 c NEW SOLUTION FOUND: -5312 @ 297.58 297.92 c Sol. found (all assignments made)... 297.92 o -5316 297.92 c NEW SOLUTION FOUND: -5316 @ 297.73 297.94 c Sol. found (all assignments made)... 297.94 o -5326 297.94 c NEW SOLUTION FOUND: -5326 @ 297.74 297.96 c Sol. found (all assignments made)... 297.96 o -5332 297.96 c NEW SOLUTION FOUND: -5332 @ 297.76 297.97 c Sol. found (all assignments made)... 297.97 o -5342 297.97 c NEW SOLUTION FOUND: -5342 @ 297.77 298.02 c Sol. found (all assignments made)... 298.02 o -5352 298.02 c NEW SOLUTION FOUND: -5352 @ 297.83 298.72 c Sol. found (all assignments made)... 298.72 o -5357 298.72 c NEW SOLUTION FOUND: -5357 @ 298.53 299.02 c Sol. found (all assignments made)... 299.02 o -5362 299.02 c NEW SOLUTION FOUND: -5362 @ 298.83 299.68 c Sol. found (all assignments made)... 299.68 o -5367 299.68 c NEW SOLUTION FOUND: -5367 @ 299.49 299.70 c Sol. found (all assignments made)... 299.70 o -5372 299.70 c NEW SOLUTION FOUND: -5372 @ 299.51 299.79 c Sol. found (all assignments made)... 299.79 o -5377 299.79 c NEW SOLUTION FOUND: -5377 @ 299.6 299.81 c Sol. found (all assignments made)... 299.81 o -5382 299.81 c NEW SOLUTION FOUND: -5382 @ 299.62 300.19 c Sol. found (all assignments made)... 300.19 o -5387 300.19 c NEW SOLUTION FOUND: -5387 @ 299.99 300.22 c Sol. found (all assignments made)... 300.22 o -5392 300.22 c NEW SOLUTION FOUND: -5392 @ 300.03 302.27 c Restart #23 #Var: 10847 LB: -12989 @ 302.08 328.69 c Restart #24 #Var: 10829 LB: -12989 @ 328.49 340.66 c Sol. found (all assignments made)... 340.66 o -5395 340.66 c NEW SOLUTION FOUND: -5395 @ 340.45 340.69 c Sol. found (all assignments made)... 340.69 o -5400 340.69 c NEW SOLUTION FOUND: -5400 @ 340.48 340.82 c Sol. found (all assignments made)... 340.82 o -5405 340.82 c NEW SOLUTION FOUND: -5405 @ 340.61 340.84 c Sol. found (all assignments made)... 340.84 o -5410 340.84 c NEW SOLUTION FOUND: -5410 @ 340.63 340.92 c Sol. found (all assignments made)... 340.92 o -5415 340.92 c NEW SOLUTION FOUND: -5415 @ 340.72 340.94 c Sol. found (all assignments made)... 340.94 o -5420 340.94 c NEW SOLUTION FOUND: -5420 @ 340.73 340.96 c Sol. found (all assignments made)... 340.96 o -5425 340.96 c NEW SOLUTION FOUND: -5425 @ 340.75 340.98 c Sol. found (all assignments made)... 340.98 o -5430 340.98 c NEW SOLUTION FOUND: -5430 @ 340.77 340.99 c Sol. found (all assignments made)... 340.99 o -5435 340.99 c NEW SOLUTION FOUND: -5435 @ 340.79 341.03 c Sol. found (all assignments made)... 341.03 o -5440 341.03 c NEW SOLUTION FOUND: -5440 @ 340.82 341.05 c Sol. found (all assignments made)... 341.05 o -5445 341.05 c NEW SOLUTION FOUND: -5445 @ 340.84 341.12 c Sol. found (all assignments made)... 341.12 o -5450 341.12 c NEW SOLUTION FOUND: -5450 @ 340.91 342.00 c Sol. found (all assignments made)... 342.00 o -5455 342.00 c NEW SOLUTION FOUND: -5455 @ 341.79 342.13 c Sol. found (all assignments made)... 342.13 o -5460 342.13 c NEW SOLUTION FOUND: -5460 @ 341.92 344.62 c Sol. found (all assignments made)... 344.62 o -5465 344.62 c NEW SOLUTION FOUND: -5465 @ 344.41 346.28 c Sol. found (all assignments made)... 346.28 o -5470 346.28 c NEW SOLUTION FOUND: -5470 @ 346.07 346.85 c Sol. found (all assignments made)... 346.85 o -5475 346.85 c NEW SOLUTION FOUND: -5475 @ 346.64 347.02 c Sol. found (all assignments made)... 347.02 o -5480 347.02 c NEW SOLUTION FOUND: -5480 @ 346.81 347.05 c Sol. found (all assignments made)... 347.05 o -5485 347.05 c NEW SOLUTION FOUND: -5485 @ 346.84 347.08 c Sol. found (all assignments made)... 347.08 o -5490 347.08 c NEW SOLUTION FOUND: -5490 @ 346.87 347.11 c Sol. found (all assignments made)... 347.11 o -5495 347.11 c NEW SOLUTION FOUND: -5495 @ 346.9 347.17 c Sol. found (all assignments made)... 347.17 o -5500 347.17 c NEW SOLUTION FOUND: -5500 @ 346.96 347.23 c Sol. found (all assignments made)... 347.23 o -5505 347.23 c NEW SOLUTION FOUND: -5505 @ 347.02 347.26 c Sol. found (all assignments made)... 347.26 o -5510 347.26 c NEW SOLUTION FOUND: -5510 @ 347.05 347.81 c Sol. found (all assignments made)... 347.81 o -5515 347.81 c NEW SOLUTION FOUND: -5515 @ 347.6 347.84 c Sol. found (all assignments made)... 347.84 o -5520 347.84 c NEW SOLUTION FOUND: -5520 @ 347.63 349.75 c Restart #25 #Var: 10829 LB: -12989 @ 349.54 387.32 c Restart #26 #Var: 10788 LB: -12989 @ 387.1 404.58 c Restart #27 #Var: 10777 LB: -12989 @ 404.35 431.67 c Restart #28 #Var: 10762 LB: -12989 @ 431.43 441.71 c Sol. found (all assignments made)... 441.71 o -5533 441.71 c NEW SOLUTION FOUND: -5533 @ 441.46 441.71 c Sol. found (all assignments made)... 441.71 o -5538 441.71 c NEW SOLUTION FOUND: -5538 @ 441.47 441.71 c Sol. found (all assignments made)... 441.71 o -5543 441.71 c NEW SOLUTION FOUND: -5543 @ 441.47 441.81 c Sol. found (all assignments made)... 441.81 o -5553 441.81 c NEW SOLUTION FOUND: -5553 @ 441.57 441.88 c Sol. found (all assignments made)... 441.88 o -5558 441.88 c NEW SOLUTION FOUND: -5558 @ 441.64 442.01 c Sol. found (all assignments made)... 442.01 o -5563 442.01 c NEW SOLUTION FOUND: -5563 @ 441.77 442.05 c Sol. found (all assignments made)... 442.05 o -5568 442.05 c NEW SOLUTION FOUND: -5568 @ 441.81 442.08 c Sol. found (all assignments made)... 442.08 o -5573 442.08 c NEW SOLUTION FOUND: -5573 @ 441.84 442.12 c Sol. found (all assignments made)... 442.12 o -5578 442.12 c NEW SOLUTION FOUND: -5578 @ 441.88 442.16 c Sol. found (all assignments made)... 442.16 o -5583 442.16 c NEW SOLUTION FOUND: -5583 @ 441.91 442.19 c Sol. found (all assignments made)... 442.19 o -5588 442.19 c NEW SOLUTION FOUND: -5588 @ 441.94 442.22 c Sol. found (all assignments made)... 442.22 o -5598 442.22 c NEW SOLUTION FOUND: -5598 @ 441.98 442.25 c Sol. found (all assignments made)... 442.25 o -5608 442.25 c NEW SOLUTION FOUND: -5608 @ 442.01 442.32 c Sol. found (all assignments made)... 442.32 o -5618 442.32 c NEW SOLUTION FOUND: -5618 @ 442.07 443.67 c Sol. found (all assignments made)... 443.67 o -5623 443.67 c NEW SOLUTION FOUND: -5623 @ 443.43 443.70 c Sol. found (all assignments made)... 443.70 o -5627 443.70 c NEW SOLUTION FOUND: -5627 @ 443.46 443.75 c Sol. found (all assignments made)... 443.75 o -5647 443.75 c NEW SOLUTION FOUND: -5647 @ 443.51 443.83 c Sol. found (all assignments made)... 443.83 o -5657 443.83 c NEW SOLUTION FOUND: -5657 @ 443.58 443.90 c Sol. found (all assignments made)... 443.90 o -5662 443.90 c NEW SOLUTION FOUND: -5662 @ 443.65 443.94 c Sol. found (all assignments made)... 443.94 o -5667 443.94 c NEW SOLUTION FOUND: -5667 @ 443.7 443.98 c Sol. found (all assignments made)... 443.98 o -5672 443.98 c NEW SOLUTION FOUND: -5672 @ 443.74 444.02 c Sol. found (all assignments made)... 444.02 o -5677 444.02 c NEW SOLUTION FOUND: -5677 @ 443.77 444.05 c Sol. found (all assignments made)... 444.05 o -5682 444.05 c NEW SOLUTION FOUND: -5682 @ 443.81 444.09 c Sol. found (all assignments made)... 444.09 o -5683 444.09 c NEW SOLUTION FOUND: -5683 @ 443.85 444.20 c Sol. found (all assignments made)... 444.20 o -5687 444.20 c NEW SOLUTION FOUND: -5687 @ 443.96 444.26 c Sol. found (all assignments made)... 444.26 o -5691 444.26 c NEW SOLUTION FOUND: -5691 @ 444.02 444.30 c Sol. found (all assignments made)... 444.30 o -5693 444.30 c NEW SOLUTION FOUND: -5693 @ 444.06 444.36 c Sol. found (all assignments made)... 444.36 o -5697 444.36 c NEW SOLUTION FOUND: -5697 @ 444.12 444.40 c Sol. found (all assignments made)... 444.40 o -5701 444.40 c NEW SOLUTION FOUND: -5701 @ 444.16 465.78 c Sol. found (all assignments made)... 465.78 o -5704 465.78 c NEW SOLUTION FOUND: -5704 @ 465.53 465.87 c Sol. found (all assignments made)... 465.87 o -5709 465.87 c NEW SOLUTION FOUND: -5709 @ 465.62 465.92 c Sol. found (all assignments made)... 465.92 o -5714 465.92 c NEW SOLUTION FOUND: -5714 @ 465.67 466.73 c Sol. found (all assignments made)... 466.73 o -5724 466.73 c NEW SOLUTION FOUND: -5724 @ 466.48 466.84 c Sol. found (all assignments made)... 466.84 o -5729 466.84 c NEW SOLUTION FOUND: -5729 @ 466.59 466.85 c Sol. found (all assignments made)... 466.85 o -5734 466.85 c NEW SOLUTION FOUND: -5734 @ 466.6 466.93 c Sol. found (all assignments made)... 466.93 o -5739 466.93 c NEW SOLUTION FOUND: -5739 @ 466.68 466.95 c Sol. found (all assignments made)... 466.95 o -5774 466.95 c NEW SOLUTION FOUND: -5774 @ 466.7 466.99 c Sol. found (all assignments made)... 466.99 o -5784 466.99 c NEW SOLUTION FOUND: -5784 @ 466.74 467.02 c Sol. found (all assignments made)... 467.02 o -5829 467.02 c NEW SOLUTION FOUND: -5829 @ 466.77 467.05 c Sol. found (all assignments made)... 467.05 o -5864 467.05 c NEW SOLUTION FOUND: -5864 @ 466.8 467.09 c Sol. found (all assignments made)... 467.09 o -5874 467.09 c NEW SOLUTION FOUND: -5874 @ 466.84 467.11 c Sol. found (all assignments made)... 467.11 o -5879 467.11 c NEW SOLUTION FOUND: -5879 @ 466.86 467.13 c Sol. found (all assignments made)... 467.13 o -5884 467.13 c NEW SOLUTION FOUND: -5884 @ 466.88 467.15 c Sol. found (all assignments made)... 467.15 o -5899 467.15 c NEW SOLUTION FOUND: -5899 @ 466.89 467.17 c Sol. found (all assignments made)... 467.17 o -5909 467.17 c NEW SOLUTION FOUND: -5909 @ 466.92 467.19 c Sol. found (all assignments made)... 467.19 o -5924 467.19 c NEW SOLUTION FOUND: -5924 @ 466.94 467.22 c Sol. found (all assignments made)... 467.22 o -5929 467.22 c NEW SOLUTION FOUND: -5929 @ 466.97 467.24 c Sol. found (all assignments made)... 467.24 o -5934 467.24 c NEW SOLUTION FOUND: -5934 @ 466.99 467.37 c Sol. found (all assignments made)... 467.37 o -5944 467.37 c NEW SOLUTION FOUND: -5944 @ 467.12 467.40 c Sol. found (all assignments made)... 467.40 o -5964 467.40 c NEW SOLUTION FOUND: -5964 @ 467.15 467.43 c Sol. found (all assignments made)... 467.43 o -5974 467.43 c NEW SOLUTION FOUND: -5974 @ 467.18 467.51 c Sol. found (all assignments made)... 467.51 o -5984 467.51 c NEW SOLUTION FOUND: -5984 @ 467.25 467.57 c Sol. found (all assignments made)... 467.57 o -5994 467.57 c NEW SOLUTION FOUND: -5994 @ 467.32 490.11 c Restart #29 #Var: 10681 LB: -12989 @ 489.85 514.12 c Restart #30 #Var: 10680 LB: -12989 @ 513.86 526.56 c Restart #31 #Var: 10675 LB: -12989 @ 526.29 538.71 c Sol. found (all assignments made)... 538.71 o -6000 538.71 c NEW SOLUTION FOUND: -6000 @ 538.43 538.77 c Sol. found (all assignments made)... 538.77 o -6010 538.77 c NEW SOLUTION FOUND: -6010 @ 538.5 538.87 c Sol. found (all assignments made)... 538.87 o -6020 538.87 c NEW SOLUTION FOUND: -6020 @ 538.59 539.13 c Sol. found (all assignments made)... 539.13 o -6030 539.13 c NEW SOLUTION FOUND: -6030 @ 538.86 539.19 c Sol. found (all assignments made)... 539.19 o -6040 539.19 c NEW SOLUTION FOUND: -6040 @ 538.91 539.39 c Sol. found (all assignments made)... 539.39 o -6045 539.39 c NEW SOLUTION FOUND: -6045 @ 539.12 539.45 c Sol. found (all assignments made)... 539.45 o -6050 539.45 c NEW SOLUTION FOUND: -6050 @ 539.17 539.50 c Sol. found (all assignments made)... 539.50 o -6055 539.50 c NEW SOLUTION FOUND: -6055 @ 539.23 539.62 c Sol. found (all assignments made)... 539.62 o -6065 539.62 c NEW SOLUTION FOUND: -6065 @ 539.34 539.67 c Sol. found (all assignments made)... 539.67 o -6075 539.67 c NEW SOLUTION FOUND: -6075 @ 539.4 539.75 c Sol. found (all assignments made)... 539.75 o -6085 539.75 c NEW SOLUTION FOUND: -6085 @ 539.48 539.82 c Sol. found (all assignments made)... 539.82 o -6095 539.82 c NEW SOLUTION FOUND: -6095 @ 539.54 540.70 c Sol. found (all assignments made)... 540.70 o -6100 540.70 c NEW SOLUTION FOUND: -6100 @ 540.42 549.88 c Sol. found (all assignments made)... 549.88 o -6105 549.88 c NEW SOLUTION FOUND: -6105 @ 549.6 549.89 c Sol. found (all assignments made)... 549.89 o -6110 549.89 c NEW SOLUTION FOUND: -6110 @ 549.61 549.90 c Sol. found (all assignments made)... 549.90 o -6115 549.90 c NEW SOLUTION FOUND: -6115 @ 549.62 549.92 c Sol. found (all assignments made)... 549.92 o -6120 549.92 c NEW SOLUTION FOUND: -6120 @ 549.64 549.93 c Sol. found (all assignments made)... 549.93 o -6125 549.93 c NEW SOLUTION FOUND: -6125 @ 549.65 549.94 c Sol. found (all assignments made)... 549.94 o -6130 549.94 c NEW SOLUTION FOUND: -6130 @ 549.67 549.96 c Sol. found (all assignments made)... 549.96 o -6135 549.96 c NEW SOLUTION FOUND: -6135 @ 549.68 549.97 c Sol. found (all assignments made)... 549.97 o -6140 549.97 c NEW SOLUTION FOUND: -6140 @ 549.69 550.04 c Sol. found (all assignments made)... 550.04 o -6145 550.04 c NEW SOLUTION FOUND: -6145 @ 549.76 550.05 c Sol. found (all assignments made)... 550.05 o -6150 550.05 c NEW SOLUTION FOUND: -6150 @ 549.77 550.07 c Sol. found (all assignments made)... 550.07 o -6155 550.07 c NEW SOLUTION FOUND: -6155 @ 549.79 550.08 c Sol. found (all assignments made)... 550.08 o -6160 550.08 c NEW SOLUTION FOUND: -6160 @ 549.8 550.10 c Sol. found (all assignments made)... 550.10 o -6165 550.10 c NEW SOLUTION FOUND: -6165 @ 549.82 550.11 c Sol. found (all assignments made)... 550.11 o -6170 550.11 c NEW SOLUTION FOUND: -6170 @ 549.84 550.13 c Sol. found (all assignments made)... 550.13 o -6175 550.13 c NEW SOLUTION FOUND: -6175 @ 549.85 550.14 c Sol. found (all assignments made)... 550.14 o -6180 550.14 c NEW SOLUTION FOUND: -6180 @ 549.87 566.70 c Restart #32 #Var: 10675 LB: -12989 @ 566.42 570.80 c Sol. found (all assignments made)... 570.82 c Sol. found (all assignments made)... 570.82 o -6189 570.82 c NEW SOLUTION FOUND: -6189 @ 570.53 570.89 c Sol. found (all assignments made)... 570.89 o -6194 570.89 c NEW SOLUTION FOUND: -6194 @ 570.6 570.91 c Sol. found (all assignments made)... 570.91 o -6199 570.91 c NEW SOLUTION FOUND: -6199 @ 570.63 570.98 c Sol. found (all assignments made)... 570.98 o -6209 570.98 c NEW SOLUTION FOUND: -6209 @ 570.7 571.06 c Sol. found (all assignments made)... 571.06 o -6219 571.06 c NEW SOLUTION FOUND: -6219 @ 570.77 571.13 c Sol. found (all assignments made)... 571.13 o -6224 571.13 c NEW SOLUTION FOUND: -6224 @ 570.84 571.47 c Sol. found (all assignments made)... 571.47 o -6234 571.47 c NEW SOLUTION FOUND: -6234 @ 571.18 571.52 c Sol. found (all assignments made)... 571.52 o -6239 571.52 c NEW SOLUTION FOUND: -6239 @ 571.23 572.04 c Sol. found (all assignments made)... 572.04 o -6244 572.04 c NEW SOLUTION FOUND: -6244 @ 571.76 572.10 c Sol. found (all assignments made)... 572.10 o -6249 572.10 c NEW SOLUTION FOUND: -6249 @ 571.82 599.20 c Restart #33 #Var: 10668 LB: -12989 @ 598.91 607.53 c Sol. found (all assignments made)... 607.69 c Sol. found (all assignments made)... 607.69 o -6250 607.69 c NEW SOLUTION FOUND: -6250 @ 607.39 607.74 c Sol. found (all assignments made)... 607.74 o -6255 607.74 c NEW SOLUTION FOUND: -6255 @ 607.44 607.79 c Sol. found (all assignments made)... 607.79 o -6260 607.79 c NEW SOLUTION FOUND: -6260 @ 607.49 607.92 c Sol. found (all assignments made)... 607.92 o -6265 607.92 c NEW SOLUTION FOUND: -6265 @ 607.62 607.98 c Sol. found (all assignments made)... 607.98 o -6270 607.98 c NEW SOLUTION FOUND: -6270 @ 607.68 608.10 c Sol. found (all assignments made)... 608.10 o -6275 608.10 c NEW SOLUTION FOUND: -6275 @ 607.81 608.16 c Sol. found (all assignments made)... 608.16 o -6280 608.16 c NEW SOLUTION FOUND: -6280 @ 607.86 608.21 c Sol. found (all assignments made)... 608.21 o -6285 608.21 c NEW SOLUTION FOUND: -6285 @ 607.91 608.26 c Sol. found (all assignments made)... 608.26 o -6290 608.26 c NEW SOLUTION FOUND: -6290 @ 607.96 608.38 c Sol. found (all assignments made)... 608.38 o -6295 608.38 c NEW SOLUTION FOUND: -6295 @ 608.08 608.43 c Sol. found (all assignments made)... 608.43 o -6300 608.43 c NEW SOLUTION FOUND: -6300 @ 608.13 608.60 c Sol. found (all assignments made)... 608.60 o -6305 608.60 c NEW SOLUTION FOUND: -6305 @ 608.3 608.65 c Sol. found (all assignments made)... 608.65 o -6310 608.65 c NEW SOLUTION FOUND: -6310 @ 608.35 608.70 c Sol. found (all assignments made)... 608.70 o -6315 608.70 c NEW SOLUTION FOUND: -6315 @ 608.4 608.77 c Sol. found (all assignments made)... 608.77 o -6320 608.77 c NEW SOLUTION FOUND: -6320 @ 608.47 608.92 c Sol. found (all assignments made)... 608.92 o -6325 608.92 c NEW SOLUTION FOUND: -6325 @ 608.62 608.98 c Sol. found (all assignments made)... 608.98 o -6330 608.98 c NEW SOLUTION FOUND: -6330 @ 608.68 609.14 c Sol. found (all assignments made)... 609.14 o -6335 609.14 c NEW SOLUTION FOUND: -6335 @ 608.85 609.21 c Sol. found (all assignments made)... 609.21 o -6340 609.21 c NEW SOLUTION FOUND: -6340 @ 608.91 609.56 c Sol. found (all assignments made)... 609.56 o -6345 609.56 c NEW SOLUTION FOUND: -6345 @ 609.26 609.65 c Sol. found (all assignments made)... 609.65 o -6350 609.65 c NEW SOLUTION FOUND: -6350 @ 609.35 609.72 c Sol. found (all assignments made)... 609.72 o -6355 609.72 c NEW SOLUTION FOUND: -6355 @ 609.42 609.92 c Sol. found (all assignments made)... 609.92 o -6360 609.92 c NEW SOLUTION FOUND: -6360 @ 609.63 610.02 c Sol. found (all assignments made)... 610.02 o -6365 610.02 c NEW SOLUTION FOUND: -6365 @ 609.72 610.09 c Sol. found (all assignments made)... 610.09 o -6370 610.09 c NEW SOLUTION FOUND: -6370 @ 609.79 610.18 c Sol. found (all assignments made)... 610.18 o -6375 610.18 c NEW SOLUTION FOUND: -6375 @ 609.88 611.13 c Sol. found (all assignments made)... 611.13 o -6380 611.13 c NEW SOLUTION FOUND: -6380 @ 610.83 611.24 c Sol. found (all assignments made)... 611.24 o -6385 611.24 c NEW SOLUTION FOUND: -6385 @ 610.95 611.39 c Sol. found (all assignments made)... 611.39 o -6390 611.39 c NEW SOLUTION FOUND: -6390 @ 611.09 611.61 c Sol. found (all assignments made)... 611.61 o -6395 611.61 c NEW SOLUTION FOUND: -6395 @ 611.31 611.70 c Sol. found (all assignments made)... 611.70 o -6400 611.70 c NEW SOLUTION FOUND: -6400 @ 611.4 611.91 c Sol. found (all assignments made)... 611.91 o -6405 611.91 c NEW SOLUTION FOUND: -6405 @ 611.61 611.96 c Sol. found (all assignments made)... 611.96 o -6410 611.96 c NEW SOLUTION FOUND: -6410 @ 611.66 613.57 c Sol. found (all assignments made)... 613.57 o -6415 613.57 c NEW SOLUTION FOUND: -6415 @ 613.27 613.65 c Sol. found (all assignments made)... 613.65 o -6420 613.65 c NEW SOLUTION FOUND: -6420 @ 613.35 614.13 c Sol. found (all assignments made)... 614.13 o -6425 614.13 c NEW SOLUTION FOUND: -6425 @ 613.83 614.20 c Sol. found (all assignments made)... 614.20 o -6430 614.20 c NEW SOLUTION FOUND: -6430 @ 613.9 614.44 c Sol. found (all assignments made)... 614.44 o -6435 614.44 c NEW SOLUTION FOUND: -6435 @ 614.14 614.51 c Sol. found (all assignments made)... 614.51 o -6440 614.51 c NEW SOLUTION FOUND: -6440 @ 614.21 624.02 c Restart #34 #Var: 10668 LB: -12989 @ 623.72 641.15 c Restart #35 #Var: 10646 LB: -12989 @ 640.84 690.04 c Sol. found (all assignments made)... 690.04 o -6443 690.04 c NEW SOLUTION FOUND: -6443 @ 689.71 690.50 c Sol. found (all assignments made)... 690.50 o -6453 690.50 c NEW SOLUTION FOUND: -6453 @ 690.17 690.63 c Sol. found (all assignments made)... 690.63 o -6458 690.63 c NEW SOLUTION FOUND: -6458 @ 690.3 690.69 c Sol. found (all assignments made)... 690.69 o -6463 690.69 c NEW SOLUTION FOUND: -6463 @ 690.37 690.82 c Sol. found (all assignments made)... 690.88 c Sol. found (all assignments made)... 690.88 o -6468 690.88 c NEW SOLUTION FOUND: -6468 @ 690.55 690.94 c Sol. found (all assignments made)... 690.94 o -6473 690.94 c NEW SOLUTION FOUND: -6473 @ 690.62 691.02 c Sol. found (all assignments made)... 691.02 o -6478 691.02 c NEW SOLUTION FOUND: -6478 @ 690.7 691.09 c Sol. found (all assignments made)... 691.09 o -6483 691.09 c NEW SOLUTION FOUND: -6483 @ 690.76 691.25 c Sol. found (all assignments made)... 691.25 o -6488 691.25 c NEW SOLUTION FOUND: -6488 @ 690.92 691.32 c Sol. found (all assignments made)... 691.32 o -6493 691.32 c NEW SOLUTION FOUND: -6493 @ 690.99 691.40 c Sol. found (all assignments made)... 691.40 o -6503 691.40 c NEW SOLUTION FOUND: -6503 @ 691.07 691.47 c Sol. found (all assignments made)... 691.47 o -6508 691.47 c NEW SOLUTION FOUND: -6508 @ 691.14 691.54 c Sol. found (all assignments made)... 691.54 o -6518 691.54 c NEW SOLUTION FOUND: -6518 @ 691.21 691.61 c Sol. found (all assignments made)... 691.61 o -6523 691.61 c NEW SOLUTION FOUND: -6523 @ 691.28 691.68 c Sol. found (all assignments made)... 691.68 o -6528 691.68 c NEW SOLUTION FOUND: -6528 @ 691.36 691.75 c Sol. found (all assignments made)... 691.75 o -6533 691.75 c NEW SOLUTION FOUND: -6533 @ 691.43 691.85 c Sol. found (all assignments made)... 691.85 o -6538 691.85 c NEW SOLUTION FOUND: -6538 @ 691.53 691.93 c Sol. found (all assignments made)... 691.93 o -6543 691.93 c NEW SOLUTION FOUND: -6543 @ 691.6 692.00 c Sol. found (all assignments made)... 692.00 o -6548 692.00 c NEW SOLUTION FOUND: -6548 @ 691.68 692.08 c Sol. found (all assignments made)... 692.08 o -6558 692.08 c NEW SOLUTION FOUND: -6558 @ 691.75 692.21 c Sol. found (all assignments made)... 692.21 o -6563 692.21 c NEW SOLUTION FOUND: -6563 @ 691.89 692.29 c Sol. found (all assignments made)... 692.29 o -6568 692.29 c NEW SOLUTION FOUND: -6568 @ 691.97 692.36 c Sol. found (all assignments made)... 692.36 o -6573 692.36 c NEW SOLUTION FOUND: -6573 @ 692.04 692.48 c Sol. found (all assignments made)... 692.48 o -6578 692.48 c NEW SOLUTION FOUND: -6578 @ 692.15 692.55 c Sol. found (all assignments made)... 692.55 o -6583 692.55 c NEW SOLUTION FOUND: -6583 @ 692.22 692.63 c Sol. found (all assignments made)... 692.63 o -6588 692.63 c NEW SOLUTION FOUND: -6588 @ 692.3 692.70 c Sol. found (all assignments made)... 692.70 o -6598 692.70 c NEW SOLUTION FOUND: -6598 @ 692.37 692.77 c Sol. found (all assignments made)... 692.77 o -6603 692.77 c NEW SOLUTION FOUND: -6603 @ 692.44 692.84 c Sol. found (all assignments made)... 692.84 o -6608 692.84 c NEW SOLUTION FOUND: -6608 @ 692.52 692.92 c Sol. found (all assignments made)... 692.92 o -6613 692.92 c NEW SOLUTION FOUND: -6613 @ 692.59 700.03 c Sol. found (all assignments made)... 700.03 o -6614 700.03 c NEW SOLUTION FOUND: -6614 @ 699.71 700.13 c Sol. found (all assignments made)... 700.13 o -6619 700.13 c NEW SOLUTION FOUND: -6619 @ 699.8 701.22 c Sol. found (all assignments made)... 701.22 o -6624 701.22 c NEW SOLUTION FOUND: -6624 @ 700.9 701.91 c Sol. found (all assignments made)... 701.91 o -6629 701.91 c NEW SOLUTION FOUND: -6629 @ 701.58 707.53 c Sol. found (all assignments made)... 707.53 o -6634 707.53 c NEW SOLUTION FOUND: -6634 @ 707.19 707.62 c Sol. found (all assignments made)... 707.62 o -6644 707.62 c NEW SOLUTION FOUND: -6644 @ 707.28 707.75 c Sol. found (all assignments made)... 707.75 o -6654 707.75 c NEW SOLUTION FOUND: -6654 @ 707.42 725.97 c Restart #36 #Var: 10634 LB: -12989 @ 725.63 734.51 c Sol. found (all assignments made)... 734.51 c Sol. found (all assignments made)... 734.65 c Sol. found (all assignments made)... 734.65 o -6664 734.65 c NEW SOLUTION FOUND: -6664 @ 734.31 735.27 c Sol. found (all assignments made)... 735.27 o -6679 735.27 c NEW SOLUTION FOUND: -6679 @ 734.93 735.40 c Sol. found (all assignments made)... 735.40 o -6684 735.40 c NEW SOLUTION FOUND: -6684 @ 735.06 735.49 c Sol. found (all assignments made)... 735.49 o -6694 735.49 c NEW SOLUTION FOUND: -6694 @ 735.15 735.63 c Sol. found (all assignments made)... 735.63 o -6704 735.63 c NEW SOLUTION FOUND: -6704 @ 735.29 735.97 c Sol. found (all assignments made)... 735.97 o -6724 735.97 c NEW SOLUTION FOUND: -6724 @ 735.63 736.11 c Sol. found (all assignments made)... 736.11 o -6734 736.11 c NEW SOLUTION FOUND: -6734 @ 735.77 736.20 c Sol. found (all assignments made)... 736.20 o -6744 736.20 c NEW SOLUTION FOUND: -6744 @ 735.86 768.31 c Restart #37 #Var: 10634 LB: -12989 @ 767.96 777.30 c Restart #38 #Var: 10634 LB: -12989 @ 776.94 794.68 c Sol. found (all assignments made)... 794.95 c Sol. found (all assignments made)... 794.95 o -6749 794.95 c NEW SOLUTION FOUND: -6749 @ 794.6 795.16 c Sol. found (all assignments made)... 795.22 c Sol. found (all assignments made)... 795.22 o -6759 795.22 c NEW SOLUTION FOUND: -6759 @ 794.86 796.38 c Sol. found (all assignments made)... 796.38 o -6769 796.38 c NEW SOLUTION FOUND: -6769 @ 796.02 796.50 c Sol. found (all assignments made)... 796.50 o -6774 796.50 c NEW SOLUTION FOUND: -6774 @ 796.14 799.50 c Sol. found (all assignments made)... 799.50 o -6779 799.50 c NEW SOLUTION FOUND: -6779 @ 799.13 799.79 c Sol. found (all assignments made)... 799.79 o -6789 799.79 c NEW SOLUTION FOUND: -6789 @ 799.42 800.01 c Sol. found (all assignments made)... 800.01 o -6794 800.01 c NEW SOLUTION FOUND: -6794 @ 799.65 800.60 c Sol. found (all assignments made)... 800.60 o -6799 800.60 c NEW SOLUTION FOUND: -6799 @ 800.24 800.91 c Sol. found (all assignments made)... 800.91 o -6809 800.91 c NEW SOLUTION FOUND: -6809 @ 800.55 800.99 c Sol. found (all assignments made)... 800.99 o -6814 800.99 c NEW SOLUTION FOUND: -6814 @ 800.63 830.51 c Restart #39 #Var: 10621 LB: -12989 @ 830.13 850.53 c Sol. found (all assignments made)... 850.53 o -6819 850.53 c NEW SOLUTION FOUND: -6819 @ 850.09 850.71 c Sol. found (all assignments made)... 850.71 o -6824 850.71 c NEW SOLUTION FOUND: -6824 @ 850.27 851.38 c Sol. found (all assignments made)... 851.38 o -6825 851.38 c NEW SOLUTION FOUND: -6825 @ 850.94 851.68 c Sol. found (all assignments made)... 851.68 o -6829 851.68 c NEW SOLUTION FOUND: -6829 @ 851.24 853.78 c Sol. found (all assignments made)... 853.78 o -6839 853.78 c NEW SOLUTION FOUND: -6839 @ 853.34 854.14 c Sol. found (all assignments made)... 854.14 o -6849 854.14 c NEW SOLUTION FOUND: -6849 @ 853.7 854.39 c Sol. found (all assignments made)... 854.39 o -6854 854.39 c NEW SOLUTION FOUND: -6854 @ 853.95 854.45 c Sol. found (all assignments made)... 854.46 o -6859 854.46 c NEW SOLUTION FOUND: -6859 @ 854.01 854.64 c Sol. found (all assignments made)... 854.64 o -6864 854.64 c NEW SOLUTION FOUND: -6864 @ 854.19 854.70 c Sol. found (all assignments made)... 854.70 o -6869 854.70 c NEW SOLUTION FOUND: -6869 @ 854.26 854.89 c Sol. found (all assignments made)... 854.89 o -6874 854.89 c NEW SOLUTION FOUND: -6874 @ 854.45 854.95 c Sol. found (all assignments made)... 854.95 o -6879 854.95 c NEW SOLUTION FOUND: -6879 @ 854.51 855.05 c Sol. found (all assignments made)... 855.05 o -6884 855.05 c NEW SOLUTION FOUND: -6884 @ 854.61 855.13 c Sol. found (all assignments made)... 855.13 o -6889 855.13 c NEW SOLUTION FOUND: -6889 @ 854.68 855.19 c Sol. found (all assignments made)... 855.19 o -6899 855.19 c NEW SOLUTION FOUND: -6899 @ 854.75 855.29 c Sol. found (all assignments made)... 855.29 o -6904 855.29 c NEW SOLUTION FOUND: -6904 @ 854.84 855.40 c Sol. found (all assignments made)... 855.40 o -6914 855.40 c NEW SOLUTION FOUND: -6914 @ 854.96 856.52 c Sol. found (all assignments made)... 856.52 o -6919 856.52 c NEW SOLUTION FOUND: -6919 @ 856.07 856.65 c Sol. found (all assignments made)... 856.65 o -6959 856.65 c NEW SOLUTION FOUND: -6959 @ 856.2 856.71 c Sol. found (all assignments made)... 856.71 o -7024 856.71 c NEW SOLUTION FOUND: -7024 @ 856.26 857.60 c Sol. found (all assignments made)... 857.60 o -7029 857.60 c NEW SOLUTION FOUND: -7029 @ 857.15 857.83 c Sol. found (all assignments made)... 857.83 o -7034 857.83 c NEW SOLUTION FOUND: -7034 @ 857.38 857.97 c Sol. found (all assignments made)... 857.97 o -7039 857.97 c NEW SOLUTION FOUND: -7039 @ 857.52 858.06 c Sol. found (all assignments made)... 858.06 o -7044 858.06 c NEW SOLUTION FOUND: -7044 @ 857.62 858.20 c Sol. found (all assignments made)... 858.20 o -7049 858.20 c NEW SOLUTION FOUND: -7049 @ 857.75 858.32 c Sol. found (all assignments made)... 858.32 o -7079 858.32 c NEW SOLUTION FOUND: -7079 @ 857.87 858.46 c Sol. found (all assignments made)... 858.46 o -7084 858.46 c NEW SOLUTION FOUND: -7084 @ 858.01 858.66 c Sol. found (all assignments made)... 858.66 o -7099 858.66 c NEW SOLUTION FOUND: -7099 @ 858.22 858.80 c Sol. found (all assignments made)... 858.80 o -7109 858.80 c NEW SOLUTION FOUND: -7109 @ 858.36 858.92 c Sol. found (all assignments made)... 858.92 o -7134 858.92 c NEW SOLUTION FOUND: -7134 @ 858.48 859.04 c Sol. found (all assignments made)... 859.04 o -7149 859.04 c NEW SOLUTION FOUND: -7149 @ 858.59 860.71 c Sol. found (all assignments made)... 860.71 o -7154 860.71 c NEW SOLUTION FOUND: -7154 @ 860.27 861.05 c Sol. found (all assignments made)... 861.05 o -7159 861.05 c NEW SOLUTION FOUND: -7159 @ 860.6 861.29 c Sol. found (all assignments made)... 861.29 o -7164 861.29 c NEW SOLUTION FOUND: -7164 @ 860.85 861.51 c Sol. found (all assignments made)... 861.51 o -7174 861.51 c NEW SOLUTION FOUND: -7174 @ 861.07 861.73 c Sol. found (all assignments made)... 861.73 o -7179 861.73 c NEW SOLUTION FOUND: -7179 @ 861.29 861.96 c Sol. found (all assignments made)... 861.96 o -7204 861.96 c NEW SOLUTION FOUND: -7204 @ 861.51 862.07 c Sol. found (all assignments made)... 862.07 o -7214 862.07 c NEW SOLUTION FOUND: -7214 @ 861.62 862.23 c Sol. found (all assignments made)... 862.23 o -7219 862.23 c NEW SOLUTION FOUND: -7219 @ 861.78 862.40 c Sol. found (all assignments made)... 862.40 o -7229 862.40 c NEW SOLUTION FOUND: -7229 @ 861.96 862.55 c Sol. found (all assignments made)... 862.55 o -7234 862.55 c NEW SOLUTION FOUND: -7234 @ 862.1 862.65 c Sol. found (all assignments made)... 862.65 o -7239 862.65 c NEW SOLUTION FOUND: -7239 @ 862.21 862.76 c Sol. found (all assignments made)... 862.76 o -7244 862.76 c NEW SOLUTION FOUND: -7244 @ 862.31 862.88 c Sol. found (all assignments made)... 862.88 o -7249 862.88 c NEW SOLUTION FOUND: -7249 @ 862.44 863.03 c Sol. found (all assignments made)... 863.03 o -7254 863.03 c NEW SOLUTION FOUND: -7254 @ 862.58 863.13 c Sol. found (all assignments made)... 863.13 o -7259 863.13 c NEW SOLUTION FOUND: -7259 @ 862.68 863.23 c Sol. found (all assignments made)... 863.23 o -7264 863.23 c NEW SOLUTION FOUND: -7264 @ 862.78 863.33 c Sol. found (all assignments made)... 863.33 o -7269 863.33 c NEW SOLUTION FOUND: -7269 @ 862.89 863.44 c Sol. found (all assignments made)... 863.44 o -7274 863.44 c NEW SOLUTION FOUND: -7274 @ 863 863.54 c Sol. found (all assignments made)... 863.54 o -7279 863.54 c NEW SOLUTION FOUND: -7279 @ 863.09 863.64 c Sol. found (all assignments made)... 863.64 o -7284 863.64 c NEW SOLUTION FOUND: -7284 @ 863.2 863.88 c Sol. found (all assignments made)... 863.88 o -7304 863.88 c NEW SOLUTION FOUND: -7304 @ 863.43 863.99 c Sol. found (all assignments made)... 863.99 o -7319 863.99 c NEW SOLUTION FOUND: -7319 @ 863.55 864.09 c Sol. found (all assignments made)... 864.09 o -7339 864.09 c NEW SOLUTION FOUND: -7339 @ 863.64 864.24 c Sol. found (all assignments made)... 864.24 o -7399 864.24 c NEW SOLUTION FOUND: -7399 @ 863.79 864.44 c Sol. found (all assignments made)... 864.44 o -7404 864.44 c NEW SOLUTION FOUND: -7404 @ 863.99 864.54 c Sol. found (all assignments made)... 864.54 o -7429 864.54 c NEW SOLUTION FOUND: -7429 @ 864.09 864.63 c Sol. found (all assignments made)... 864.63 o -7464 864.63 c NEW SOLUTION FOUND: -7464 @ 864.19 864.78 c Sol. found (all assignments made)... 864.78 o -7469 864.78 c NEW SOLUTION FOUND: -7469 @ 864.34 864.90 c Sol. found (all assignments made)... 864.90 o -7474 864.90 c NEW SOLUTION FOUND: -7474 @ 864.46 865.02 c Sol. found (all assignments made)... 865.02 o -7504 865.02 c NEW SOLUTION FOUND: -7504 @ 864.57 865.13 c Sol. found (all assignments made)... 865.13 o -7534 865.13 c NEW SOLUTION FOUND: -7534 @ 864.68 865.23 c Sol. found (all assignments made)... 865.23 o -7544 865.23 c NEW SOLUTION FOUND: -7544 @ 864.78 865.34 c Sol. found (all assignments made)... 865.34 o -7599 865.34 c NEW SOLUTION FOUND: -7599 @ 864.89 865.44 c Sol. found (all assignments made)... 865.44 o -7609 865.44 c NEW SOLUTION FOUND: -7609 @ 864.99 865.55 c Sol. found (all assignments made)... 865.55 o -7614 865.55 c NEW SOLUTION FOUND: -7614 @ 865.1 865.65 c Sol. found (all assignments made)... 865.65 o -7669 865.65 c NEW SOLUTION FOUND: -7669 @ 865.21 865.75 c Sol. found (all assignments made)... 865.75 o -7679 865.75 c NEW SOLUTION FOUND: -7679 @ 865.3 865.85 c Sol. found (all assignments made)... 865.85 o -7684 865.85 c NEW SOLUTION FOUND: -7684 @ 865.41 865.96 c Sol. found (all assignments made)... 865.96 o -7689 865.96 c NEW SOLUTION FOUND: -7689 @ 865.51 866.06 c Sol. found (all assignments made)... 866.06 o -7694 866.06 c NEW SOLUTION FOUND: -7694 @ 865.61 866.17 c Sol. found (all assignments made)... 866.17 o -7699 866.17 c NEW SOLUTION FOUND: -7699 @ 865.73 866.37 c Sol. found (all assignments made)... 866.37 o -7704 866.37 c NEW SOLUTION FOUND: -7704 @ 865.92 866.48 c Sol. found (all assignments made)... 866.48 o -7709 866.48 c NEW SOLUTION FOUND: -7709 @ 866.04 866.58 c Sol. found (all assignments made)... 866.58 o -7714 866.58 c NEW SOLUTION FOUND: -7714 @ 866.13 866.68 c Sol. found (all assignments made)... 866.68 o -7719 866.68 c NEW SOLUTION FOUND: -7719 @ 866.23 866.85 c Sol. found (all assignments made)... 866.85 o -7724 866.85 c NEW SOLUTION FOUND: -7724 @ 866.41 866.96 c Sol. found (all assignments made)... 866.96 o -7729 866.96 c NEW SOLUTION FOUND: -7729 @ 866.52 867.10 c Sol. found (all assignments made)... 867.10 o -7739 867.10 c NEW SOLUTION FOUND: -7739 @ 866.65 867.21 c Sol. found (all assignments made)... 867.21 o -7744 867.21 c NEW SOLUTION FOUND: -7744 @ 866.76 867.31 c Sol. found (all assignments made)... 867.31 o -7749 867.31 c NEW SOLUTION FOUND: -7749 @ 866.86 867.41 c Sol. found (all assignments made)... 867.41 o -7754 867.41 c NEW SOLUTION FOUND: -7754 @ 866.97 867.53 c Sol. found (all assignments made)... 867.53 o -7764 867.53 c NEW SOLUTION FOUND: -7764 @ 867.08 868.21 c Sol. found (all assignments made)... 868.21 o -7769 868.21 c NEW SOLUTION FOUND: -7769 @ 867.76 868.37 c Sol. found (all assignments made)... 868.37 o -7779 868.37 c NEW SOLUTION FOUND: -7779 @ 867.92 868.54 c Sol. found (all assignments made)... 868.54 o -7784 868.54 c NEW SOLUTION FOUND: -7784 @ 868.09 868.66 c Sol. found (all assignments made)... 868.66 o -7789 868.66 c NEW SOLUTION FOUND: -7789 @ 868.21 868.82 c Sol. found (all assignments made)... 868.82 o -7794 868.82 c NEW SOLUTION FOUND: -7794 @ 868.37 869.05 c Sol. found (all assignments made)... 869.05 o -7804 869.05 c NEW SOLUTION FOUND: -7804 @ 868.6 869.24 c Sol. found (all assignments made)... 869.24 o -7814 869.24 c NEW SOLUTION FOUND: -7814 @ 868.79 869.56 c Sol. found (all assignments made)... 869.56 o -7819 869.56 c NEW SOLUTION FOUND: -7819 @ 869.11 869.67 c Sol. found (all assignments made)... 869.67 o -7824 869.67 c NEW SOLUTION FOUND: -7824 @ 869.23 869.97 c Sol. found (all assignments made)... 869.97 o -7829 869.97 c NEW SOLUTION FOUND: -7829 @ 869.52 870.09 c Sol. found (all assignments made)... 870.09 o -7834 870.09 c NEW SOLUTION FOUND: -7834 @ 869.64 870.33 c Sol. found (all assignments made)... 870.33 o -7844 870.33 c NEW SOLUTION FOUND: -7844 @ 869.88 870.57 c Sol. found (all assignments made)... 870.57 o -7854 870.57 c NEW SOLUTION FOUND: -7854 @ 870.12 870.82 c Sol. found (all assignments made)... 870.82 o -7864 870.82 c NEW SOLUTION FOUND: -7864 @ 870.37 871.22 c Sol. found (all assignments made)... 871.22 o -7874 871.22 c NEW SOLUTION FOUND: -7874 @ 870.77 876.79 c Sol. found (all assignments made)... 876.79 o -7879 876.79 c NEW SOLUTION FOUND: -7879 @ 876.34 876.91 c Sol. found (all assignments made)... 876.91 o -7889 876.91 c NEW SOLUTION FOUND: -7889 @ 876.46 877.03 c Sol. found (all assignments made)... 877.03 o -7894 877.03 c NEW SOLUTION FOUND: -7894 @ 876.58 878.98 c Sol. found (all assignments made)... 878.98 o -7899 878.98 c NEW SOLUTION FOUND: -7899 @ 878.52 879.44 c Sol. found (all assignments made)... 879.44 o -7904 879.44 c NEW SOLUTION FOUND: -7904 @ 878.99 952.00 c Restart #40 #Var: 10590 LB: -12989 @ 951.52 989.71 c Restart #41 #Var: 10582 LB: -12989 @ 989.22 1040.22 c Restart #42 #Var: 10582 LB: -12989 @ 1039.7 1073.53 c Restart #43 #Var: 10569 LB: -12989 @ 1073 1801.16 c Caught signal: 15 1801.16 s SATISFIABLE 1801.16 c Cost: -7904 1801.16 v x1 x1754 x3245 x4356 x5483 -x6648 x7809 x8958 x10107 x2 x461 x602 x755 x902 x1037 x1168 x1307 x1454 x1617 x1755 x1905 -x2064 1801.16 v -x2217 x2368 x2519 x2657 -x2801 -x2958 -x3114 -x3246 x3357 x3468 -x3579 -x3690 x3801 x3912 x4023 x4134 x4245 x4357 x4468 1801.16 v -x4579 x4690 x4801 x4912 -x5023 -x5024 -x5025 -x5026 -x5027 -x5138 -x5139 -x5140 -x5141 -x5142 -x5253 -x5254 -x5255 -x5256 1801.16 v -x5257 -x5368 -x5369 -x5370 -x5371 -x5372 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5600 -x5601 -x5602 -x5603 -x5604 1801.16 v -x5605 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5948 -x5949 -x5950 -x5951 1801.16 v -x5952 -x5953 -x5954 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 1801.16 v -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6532 -x6533 -x6534 -x6535 1801.16 v -x6536 -x6537 -x6649 -x6650 x6651 -x6652 -x6653 -x6654 -x6765 x6766 x6767 -x6768 -x6769 x6770 -x6881 -x6882 -x6883 -x6884 1801.16 v -x6885 -x6886 -x6887 -x6888 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7117 -x7118 -x7119 -x7120 -x7121 1801.16 v -x7122 -x7123 -x7124 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7353 -x7354 -x7355 -x7356 -x7467 -x7468 1801.16 v -x7469 -x7470 -x7581 -x7582 -x7583 -x7584 -x7695 -x7696 -x7697 -x7698 -x7810 -x7811 -x7812 -x7813 -x7814 -x7925 -x7926 1801.16 v -x7927 -x7928 -x7929 -x8040 -x8041 -x8042 -x8043 -x8044 -x8155 -x8156 -x8157 -x8158 -x8159 -x8270 -x8271 -x8272 -x8273 1801.16 v -x8274 -x8385 -x8386 -x8387 -x8388 -x8389 -x8500 -x8501 -x8502 -x8503 -x8504 -x8615 -x8616 -x8617 -x8618 -x8619 -x8730 1801.16 v -x8731 -x8732 -x8733 -x8844 -x8845 -x8846 -x8847 -x8959 -x8960 -x8961 -x8962 -x9073 -x9074 -x9075 -x9076 -x9187 -x9188 1801.16 v -x9189 -x9190 -x9191 -x9302 -x9303 -x9304 -x9305 -x9306 -x9417 -x9418 -x9419 -x9420 -x9421 -x9532 -x9533 -x9534 -x9535 1801.16 v -x9536 -x9647 -x9648 -x9649 -x9650 -x9651 -x9762 -x9763 -x9764 -x9765 -x9766 -x9877 -x9878 -x9879 -x9880 -x9881 -x9992 1801.16 v -x9993 -x9994 -x9995 -x9996 -x10108 -x10109 -x10110 -x10111 -x10222 -x10223 -x10224 -x10225 -x10336 -x10337 -x10338 1801.16 v -x10339 -x10450 -x10451 -x10452 -x10453 -x10564 -x10565 -x10566 -x10567 -x10678 -x10679 -x10680 -x10681 -x10792 -x10793 1801.16 v -x10794 -x10795 -x10906 -x10907 -x10908 -x10909 x11020 -x11021 -x11022 -x11023 -x11134 -x11135 -x11136 -x11137 x3 -x4 1801.16 v -x5 -x6 -x117 -x118 -x119 -x120 -x231 -x232 -x233 -x234 -x363 -x364 -x365 -x366 -x377 -x378 -x379 -x380 -x391 -x392 -x393 1801.16 v -x394 -x405 -x406 -x407 -x408 -x419 -x420 -x421 -x422 -x433 -x434 -x435 -x436 -x447 -x448 -x449 -x450 -x462 -x463 -x464 -x465 1801.16 v -x476 -x477 -x478 -x479 -x490 -x491 -x492 -x493 -x504 -x505 -x506 -x507 -x518 -x519 -x520 -x521 -x532 -x533 -x534 -x535 -x546 1801.16 v -x547 -x548 -x549 -x560 -x561 -x562 -x563 -x574 -x575 -x576 -x577 -x588 -x589 -x590 -x591 -x603 -x604 -x605 -x606 -x617 -x618 1801.16 v -x619 -x620 x631 -x632 -x633 -x634 -x635 -x636 -x647 -x648 -x649 -x650 -x651 -x652 -x663 -x664 -x665 -x666 -x667 -x668 -x679 1801.16 v -x680 -x681 x682 -x683 -x684 -x695 -x696 -x697 x698 -x699 -x710 -x711 -x712 -x713 x714 -x725 -x726 -x727 -x728 -x729 -x740 1801.16 v -x741 -x742 -x743 -x744 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x790 -x791 -x792 1801.16 v -x793 -x794 -x795 -x796 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x824 -x825 -x826 -x837 -x838 -x839 -x850 -x851 -x852 -x863 1801.16 v -x864 -x865 -x876 -x877 -x878 -x889 -x890 -x891 -x903 -x904 -x905 -x916 -x917 -x918 -x929 -x930 -x931 -x942 -x943 -x944 -x955 1801.16 v -x956 -x957 -x968 -x969 -x970 -x981 -x982 -x983 -x984 -x995 -x996 -x997 -x998 -x1009 -x1010 -x1011 -x1012 -x1023 -x1024 1801.16 v -x1025 -x1026 -x1038 -x1039 -x1040 -x1051 -x1052 -x1053 x1064 -x1065 -x1066 -x1077 -x1078 -x1079 -x1090 -x1091 -x1092 1801.16 v -x1103 -x1104 -x1105 -x1116 -x1117 x1118 -x1129 -x1130 -x1131 -x1142 -x1143 -x1144 -x1155 -x1156 -x1157 -x1169 -x1170 1801.16 v -x1171 -x1182 -x1183 -x1184 -x1195 -x1196 -x1197 -x1208 -x1209 -x1210 -x1221 -x1222 -x1223 -x1234 -x1235 -x1236 -x1247 1801.16 v -x1248 x1249 -x1250 -x1251 -x1262 -x1263 -x1264 -x1265 -x1266 -x1277 -x1278 -x1279 x1280 -x1281 -x1292 -x1293 -x1294 -x1295 1801.16 v -x1296 -x1308 -x1309 -x1310 -x1311 -x1322 -x1323 -x1324 x1325 -x1336 -x1337 -x1338 -x1339 -x1350 -x1351 -x1352 -x1353 1801.16 v -x1364 -x1365 -x1366 -x1367 -x1378 -x1379 -x1380 -x1381 -x1392 -x1393 x1394 -x1395 -x1406 -x1407 -x1408 -x1409 -x1420 1801.16 v -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1455 -x1456 -x1457 -x1458 1801.16 v -x1459 -x1460 -x1461 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1505 1801.16 v x1506 -x1507 -x1508 -x1509 -x1510 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 1801.16 v -x1553 x1554 x1555 x1556 -x1557 -x1558 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 x1585 -x1586 x1587 x1588 -x1589 x1590 1801.16 v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1618 -x1619 -x1620 -x1631 -x1632 -x1633 -x1644 -x1645 -x1646 -x1657 -x1658 1801.16 v -x1659 x1670 x1671 x1672 -x1673 -x1684 -x1685 -x1686 -x1687 x1698 -x1699 -x1700 -x1701 -x1712 -x1713 -x1714 -x1715 -x1726 1801.16 v -x1727 -x1728 -x1729 x1740 -x1741 -x1742 -x1743 -x1756 -x1757 x1758 -x1759 -x1770 -x1771 -x1772 -x1773 -x1784 -x1785 -x1786 1801.16 v -x1787 x1798 -x1799 -x1800 -x1801 -x1812 -x1813 x1814 -x1815 -x1826 -x1827 -x1828 -x1829 x1840 x1841 x1842 x1843 -x1844 1801.16 v -x1845 -x1856 x1857 x1858 x1859 x1860 -x1861 -x1862 -x1873 -x1874 x1875 -x1876 x1877 -x1878 -x1879 -x1890 x1891 x1892 -x1893 1801.16 v -x1894 -x1928 x1929 x1930 -x1931 -x1932 -x1933 x1934 -x1945 x1946 -x1947 -x1948 -x1949 -x1950 x1951 -x1962 x1963 x1964 1801.16 v x1965 x1966 x1967 -x1968 -x1979 x1980 x1981 -x1982 -x1983 -x1984 x1985 -x1996 x1997 -x1998 -x1999 -x2000 -x2001 x2002 -x2013 1801.16 v x2014 x2015 x2016 x2017 x2018 -x2019 -x2030 -x2031 -x2032 -x2033 x2034 -x2035 x2036 x2047 x2048 -x2049 x2050 -x2051 -x2052 1801.16 v x2053 x2065 x2066 x2067 -x2068 -x2069 -x2070 x2071 -x2082 -x2083 -x2084 -x2085 x2086 -x2087 x2088 x2099 x2100 -x2101 x2102 1801.16 v -x2103 -x2104 x2105 -x2116 x2117 x2118 -x2119 -x2120 -x2121 x2122 -x2133 -x2134 -x2135 -x2136 -x2137 -x2148 -x2149 -x2150 1801.16 v -x2151 -x2152 -x2163 -x2164 -x2165 -x2166 x2167 -x2168 x2179 -x2180 x2181 x2182 -x2183 -x2184 -x2229 -x2230 -x2231 -x2232 1801.16 v -x2233 -x2234 -x2245 -x2246 -x2247 -x2248 -x2249 -x2260 -x2261 -x2262 -x2263 -x2264 -x2275 -x2276 -x2277 -x2278 -x2279 1801.16 v -x2290 x2291 -x2292 -x2293 -x2294 x2295 -x2306 -x2307 x2308 x2309 x2310 -x2311 -x2322 -x2323 -x2324 -x2325 -x2326 -x2337 1801.16 v -x2338 -x2339 -x2340 -x2341 -x2352 x2353 -x2354 -x2355 x2356 -x2357 -x2369 -x2370 -x2371 x2372 -x2373 -x2384 -x2385 x2386 1801.16 v -x2387 x2388 -x2399 -x2400 x2401 -x2402 x2403 -x2404 -x2405 x2416 x2417 x2418 -x2419 -x2420 -x2421 -x2432 x2433 -x2434 1801.16 v -x2435 -x2436 x2437 -x2438 -x2449 -x2450 x2451 -x2452 -x2463 -x2464 -x2465 -x2466 x2467 x2478 x2479 -x2480 x2481 -x2482 1801.16 v -x2493 -x2494 -x2495 x2496 -x2497 -x2564 x2565 x2566 x2567 x2568 -x2569 x2580 x2581 x2582 -x2583 x2584 x2595 x2596 x2597 1801.16 v -x2598 x2599 -x2610 -x2611 x2612 -x2613 -x2614 x2615 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2642 x2643 -x2644 x2645 1801.16 v x2646 -x2658 x2659 -x2660 x2661 x2662 -x2663 x2674 -x2675 x2676 x2677 x2678 -x2679 -x2690 x2691 -x2692 x2693 x2694 -x2705 1801.16 v x2706 -x2707 x2708 x2709 x2720 -x2721 x2722 x2723 x2724 -x2725 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2831 -x2832 1801.16 v -x2833 -x2834 -x2835 -x2836 x2847 -x2848 x2849 x2850 -x2851 x2852 -x2863 -x2864 -x2865 x2866 -x2867 x2868 -x2879 -x2880 1801.16 v -x2881 x2882 x2883 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2926 -x2927 -x2928 1801.16 v -x2929 -x2930 -x2931 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 x2959 x2960 x2961 -x2962 x2963 x2974 x2975 x2976 -x2977 1801.16 v x2978 -x2989 -x2990 -x2991 -x2992 -x2993 -x3004 -x3005 -x3006 -x3007 -x3008 -x3019 -x3020 x3021 -x3022 x3023 -x3034 -x3035 1801.16 v -x3036 -x3037 -x3038 x3039 -x3050 x3051 -x3052 x3053 x3054 -x3065 -x3066 x3067 x3068 x3069 x3070 -x3071 x3082 x3083 x3084 1801.16 v -x3085 x3086 x3087 -x3098 x3099 -x3100 x3101 x3102 x3103 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 x3131 -x3132 -x3133 1801.16 v x3134 -x3135 x3136 x3147 -x3148 -x3149 x3150 -x3151 x3152 -x3163 -x3164 x3165 x3166 -x3167 x3168 -x266 -x267 x268 x269 x270 1801.16 v -x271 -x272 -x273 x274 x275 -x276 x277 x278 -x279 -x281 -x282 -x283 -x284 -x285 x286 -x287 x288 -x289 -x290 -x291 -x292 x293 1801.16 v x294 x295 -x296 x297 -x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 x306 x307 -x308 -x309 x310 x311 x312 -x313 x314 x315 x316 1801.16 v -x317 x318 x319 -x320 x321 -x322 -x323 -x324 -x325 -x326 x327 x328 -x329 -x330 x331 x332 x333 -x334 x335 x336 x337 -x338 x339 1801.16 v x340 -x341 x342 -x343 -x344 -x345 -x346 -x347 -x348 x349 -x351 -x352 x353 x354 -x355 -x356 x357 -x2443 -x2446 -x2447 -x2448 1801.16 v -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 1801.16 v -x2475 -x2476 -x2477 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2498 -x2499 -x2500 -x2501 1801.16 v -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2521 1801.16 v -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 x2532 x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 1801.16 v -x2541 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 1801.16 v -x2560 -x2561 -x2562 -x2563 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2585 -x2586 -x2587 1801.16 v -x2588 -x2589 -x2590 -x2591 -x2441 -x2592 -x2593 -x2594 -x2600 -x2440 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 1801.16 v -x2608 -x2609 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2632 -x2531 -x2542 -x2553 -x2633 1801.16 v -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 1801.16 v -x2444 -x2656 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2680 -x2681 -x2682 -x2683 -x2684 1801.16 v -x2685 -x2686 -x2687 -x2688 -x2689 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2710 -x2711 1801.16 v -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 x2718 -x2442 -x2719 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 1801.16 v -x2734 -x2735 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 x2747 -x2748 -x2752 -x2753 -x2754 -x2755 -x2756 1801.16 v -x2757 -x2758 -x2759 -x2760 -x2761 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2778 -x2779 1801.16 v -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 1801.16 v -x2800 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 1801.16 v -x2827 -x2828 -x2829 -x2830 -x2837 x2838 -x2839 -x2840 x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2853 -x2854 -x2855 -x2856 1801.16 v -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2884 1801.16 v -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 1801.16 v -x2908 -x2909 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2932 -x2933 -x2934 -x2935 -x2936 1801.16 v x2937 -x2938 -x2939 -x2940 -x2941 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2964 -x2965 1801.16 v -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 x2985 -x2986 -x2987 1801.16 v -x2988 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 1801.16 v -x3015 -x3016 -x3017 -x3018 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 x3031 -x3032 x3033 -x3040 -x3041 x3042 -x3043 1801.16 v -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3072 1801.16 v -x3073 -x3074 x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 1801.16 v -x3096 -x3097 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 x3121 x3122 -x3123 -x3124 -x3125 -x3126 1801.16 v -x3127 -x3128 -x3129 -x3130 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3153 -x3154 -x3155 1801.16 v -x3156 x3157 x3158 -x3159 -x3160 -x3161 -x3162 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3180 1801.16 v -x3181 x3182 -x3183 -x3184 x3185 -x3186 -x3187 -x3188 -x3189 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 1801.16 v -x3200 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3213 -x3214 -x3215 -x3216 x3217 x3218 -x3219 1801.16 v -x3220 -x3221 -x3222 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3235 -x3236 -x3237 -x3238 1801.16 v -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3248 -x3249 -x3250 -x3251 -x3252 x3253 -x3254 -x3255 x3256 -x3257 -x3259 -x3260 1801.16 v -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3270 -x3271 -x3272 -x3273 -x3274 x3275 x3276 -x3277 -x3278 -x3279 1801.16 v -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 1801.16 v -x3299 -x3300 -x3301 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 x3310 -x3311 x3312 -x3314 -x3315 -x3316 -x3317 -x3318 1801.16 v -x3319 -x3320 -x3321 -x3322 -x3323 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 x3333 -x3334 -x3336 -x3337 1801.16 v -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 1801.16 v -x3356 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 x3368 -x3370 x3371 -x3372 -x3373 -x3374 -x3375 -x3376 1801.16 v -x3377 -x3378 -x3379 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 x3390 x3392 -x3393 x3394 -x3395 -x3396 1801.16 v -x3397 -x3398 -x3399 -x3400 -x3401 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3414 -x3415 1801.16 v -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 1801.16 v -x3434 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 1801.16 v -x3453 -x3454 -x3455 -x3456 -x3458 x3459 -x3460 -x3461 x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3470 -x3471 -x3472 -x3473 1801.16 v -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3492 1801.16 v -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 1801.16 v -x3511 -x3512 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 x3522 -x3523 -x3525 -x3526 -x3527 -x3528 -x3529 1801.16 v -x3530 -x3531 -x3532 -x3533 -x3534 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3547 -x3548 1801.16 v -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 1801.16 v -x3567 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 1801.16 v -x3587 -x3588 -x3589 -x3590 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3603 -x3604 -x3605 1801.16 v -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 1801.16 v -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 1801.16 v -x3643 -x3644 -x3645 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3658 -x3659 -x3660 -x3661 1801.16 v -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3680 1801.16 v -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 1801.16 v -x3700 -x3701 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3714 -x3715 -x3716 -x3717 -x3718 1801.16 v -x3719 -x3720 -x3721 -x3722 -x3723 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3736 -x3737 1801.16 v -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 1801.16 v -x3756 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 x3766 -x3767 -x3769 x3770 -x3771 -x3772 -x3773 -x3774 -x3775 1801.16 v -x3776 -x3777 -x3778 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3791 -x3792 -x3793 -x3794 1801.16 v -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3803 -x3804 -x3805 -x3806 x2736 -x2737 x2738 -x3807 -x3808 -x3809 -x3810 -x3811 1801.16 v -x3812 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 1801.16 v -x3831 -x3832 -x3833 -x3834 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3847 -x3848 -x3849 1801.16 v -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 1801.16 v -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 1801.16 v -x3887 x2749 -x2750 x2751 -x3888 -x3889 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3902 -x3903 1801.16 v -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 1801.16 v -x3923 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 1801.16 v -x3942 -x3943 -x3944 -x3945 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3958 -x3959 -x2762 1801.16 v x2763 x2764 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 1801.16 v -x3977 -x3978 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3991 -x3992 -x3993 -x3994 -x3995 1801.16 v -x3996 -x3997 -x3998 -x3999 -x4000 -x4002 -x4003 -x4004 x2775 -x2776 x2777 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 1801.16 v -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 1801.16 v -x4032 -x4033 -x4034 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4047 -x4048 -x4049 -x4050 1801.16 v -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4069 1801.16 v -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 x2788 -x2789 1801.16 v x2790 -x4086 -x4087 -x4088 -x4089 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4102 -x4103 1801.16 v -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4113 -x4114 -x4115 -x4116 x4117 -x4118 x4119 -x4120 -x4121 -x4122 1801.16 v -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 1801.16 v -x4143 -x4144 -x4145 -x4147 -x4148 -x4149 x2802 -x2803 x2804 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4158 -x4159 1801.16 v -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 1801.16 v -x4178 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 1801.16 v -x4197 -x4198 -x4199 -x4200 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4213 -x4214 -x4215 1801.16 v -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 1801.16 v -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 1801.16 v -x4254 -x4255 -x4256 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4269 -x4270 -x4271 -x4272 1801.16 v -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4291 1801.16 v -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 1801.16 v -x4310 -x4311 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4324 -x4325 -x4326 -x4327 -x4328 1801.16 v -x4329 -x4330 -x4331 -x4332 -x4333 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4346 -x4347 1801.16 v -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4359 -x4360 -x4361 -x4362 x4363 -x4364 -x4365 -x4366 x4367 -x4368 1801.16 v -x4370 -x4371 -x4372 x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 1801.16 v -x4389 -x4390 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4403 -x4404 -x4405 -x4406 -x4407 1801.16 v -x4408 -x4409 -x4410 -x4411 -x4412 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4425 -x4426 1801.16 v -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 1801.16 v -x4445 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 1801.16 v -x4464 -x4465 -x4466 -x4467 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4481 -x4482 -x4483 1801.16 v -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 1801.16 v -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 1801.16 v -x4521 -x4522 -x4523 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4536 -x4537 -x4538 -x4539 1801.16 v -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4558 1801.16 v -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 1801.16 v -x4577 -x4578 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4592 -x4593 -x4594 -x4595 -x4596 1801.16 v -x4597 -x4598 -x4599 -x4600 -x4601 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4614 -x4615 1801.16 v -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 1801.16 v -x4634 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 1801.16 v -x4653 -x4654 -x4655 -x4656 -x4658 x4659 -x4660 x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4669 -x4670 -x4671 -x4672 1801.16 v -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4692 1801.16 v -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 1801.16 v -x4711 -x4712 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4725 -x4726 -x4727 -x4728 -x4729 1801.16 v -x4730 -x4731 -x4732 -x4733 -x4734 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4747 -x4748 1801.16 v -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 1801.16 v -x4767 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 1801.16 v -x4786 -x4787 -x4788 -x4789 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4803 -x4804 -x4805 1801.16 v -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 1801.16 v -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4836 -x4837 x4838 x4839 -x4840 -x4841 -x4842 -x4843 1801.16 v -x4844 -x4845 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4858 -x4859 -x4860 -x4861 -x4862 1801.16 v -x4863 -x4864 -x4865 -x4866 -x4867 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4880 -x4881 1801.16 v -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 1801.16 v -x4900 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 1801.16 v -x4920 -x4921 -x4922 -x4923 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4936 -x4937 x4938 1801.16 v -x4939 -x4940 x4941 -x4942 x4943 -x4944 -x4945 -x4947 x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4958 1801.16 v -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 1801.16 v -x4977 -x4978 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4991 -x4992 -x4993 -x4994 -x4995 1801.16 v -x4996 -x4997 -x4998 -x4999 -x5000 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x2195 -x5008 -x5009 -x5010 -x5011 -x2206 1801.16 v x5013 x5014 -x2218 x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 1801.16 v -x5036 -x5037 -x5038 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5051 -x5052 -x5053 -x5054 1801.16 v -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5073 1801.16 v -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 1801.16 v -x5092 -x5093 -x5095 -x5096 -x5097 -x5098 -x5099 x5100 -x5101 x5102 -x5103 -x5104 x5106 -x5107 -x5108 -x5109 -x5110 x5111 1801.16 v -x5112 -x5113 x5114 -x5115 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5128 -x5129 -x5130 1801.16 v -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 1801.16 v -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5166 -x5167 x5168 -x5169 -x5170 -x5171 -x5172 1801.16 v -x5173 -x5174 -x5175 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5188 -x5189 -x5190 -x5191 1801.16 v -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5210 1801.16 v -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 1801.16 v -x5229 -x5230 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5243 -x5244 -x5245 -x5246 -x5247 1801.16 v -x5248 -x5249 -x5250 -x5251 -x5252 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5270 -x5271 1801.16 v -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 1801.16 v -x5290 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 1801.16 v -x5309 -x5310 -x5311 -x5312 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5325 -x5326 -x5327 1801.16 v -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 1801.16 v -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 1801.16 v -x5365 -x5366 -x5367 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5385 -x5386 -x5387 -x5388 1801.16 v -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5407 1801.16 v -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 1801.16 v -x5426 -x5427 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5440 -x5441 -x5442 -x5443 -x5444 1801.16 v -x5445 -x5446 -x5447 -x5448 -x5449 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5462 -x5463 1801.16 v -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 1801.16 v -x5482 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 1801.16 v -x5508 -x5509 -x5510 -x5511 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5524 -x5525 -x5526 1801.16 v -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 1801.16 v -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 1801.16 v -x5564 -x5565 -x5566 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5579 -x5580 -x5581 -x5582 1801.16 v -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5607 1801.16 v -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 1801.16 v -x5626 -x5627 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5640 -x5641 -x5642 -x5643 -x5644 1801.16 v -x5645 -x5646 -x5647 -x5648 -x5649 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5662 -x5663 1801.16 v -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 1801.16 v -x5682 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 1801.16 v -x5701 -x5702 -x5703 -x5704 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5723 -x5724 -x5725 1801.16 v -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 1801.16 v -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 1801.16 v -x5763 -x5764 -x5765 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5778 -x5779 -x5780 -x5781 1801.16 v -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 x5798 -x5800 1801.16 v x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 x5809 -x5811 -x5812 -x5813 -x5814 -x5815 x5816 -x5817 x5818 -x5819 1801.16 v -x5820 -x5822 -x5823 -x5824 -x5825 -x5826 x5827 -x5828 -x5829 -x5830 -x5831 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 1801.16 v -x5845 -x5846 -x5847 -x5848 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5861 -x5862 -x5863 1801.16 v -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 1801.16 v -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 1801.16 v -x5901 -x5902 -x5903 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5916 -x5917 -x5918 -x5919 1801.16 v -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5938 1801.16 v -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 1801.16 v -x5964 x5965 -x5967 x5968 x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 1801.16 v -x5984 -x5985 -x5986 -x5987 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x6000 -x6001 -x6002 1801.16 v -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 1801.16 v -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 1801.16 v -x6040 -x6041 -x6042 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6055 -x6056 -x6057 -x6058 1801.16 v -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6084 1801.16 v -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 1801.16 v -x6103 -x6104 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6117 -x6118 -x6119 -x6120 -x6121 1801.16 v -x6122 -x6123 -x6124 -x6125 -x6126 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6139 -x6140 1801.16 v -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 1801.16 v -x6159 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 1801.16 v -x6178 -x6179 -x6180 -x6181 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6201 -x6202 -x6203 1801.16 v -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 1801.16 v -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 1801.16 v -x6241 -x6242 -x6243 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6256 -x6257 -x6258 -x6259 1801.16 v -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 x6275 -x6276 x6278 -x6279 1801.16 v -x3179 -x3190 -x3201 -x3212 x3223 -x3234 -x3247 -x3258 -x3269 -x3280 -x3291 -x3302 -x6280 -x6281 -x6282 -x6283 -x6284 1801.16 v -x6285 -x6286 -x6287 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6307 -x6308 -x6309 -x6310 1801.16 v -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x3313 -x3324 x3335 -x3346 -x3358 1801.16 v -x3369 -x6324 -x6325 -x6326 -x6327 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6340 -x6341 1801.16 v -x6342 -x6343 -x6344 -x6345 -x6346 -x3380 -x3391 -x3402 -x3413 -x3424 x3435 -x6347 -x6348 -x6349 -x6351 -x6352 -x6353 1801.16 v -x3446 -x3457 -x3469 -x3480 -x3491 x3502 -x3513 -x3524 -x3535 -x3546 -x3557 x3568 -x3580 -x3591 -x3602 -x3613 -x3624 x3635 1801.16 v -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 1801.16 v -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 1801.16 v -x6391 -x6392 x6393 x6395 -x3646 -x3657 -x3668 -x3679 -x3691 x3702 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 1801.16 v -x6404 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 1801.16 v -x6429 -x6430 -x6431 -x6432 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x3713 -x3724 -x3735 1801.16 v -x3746 -x3757 x3768 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 x6456 x6457 -x6458 -x6459 -x6460 1801.16 v -x6461 -x6462 -x6463 -x6464 -x6465 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x3779 -x3790 -x3802 x3813 -x3824 -x3835 1801.16 v -x3846 -x3857 -x3868 -x3879 -x3890 -x3901 x6473 -x6474 -x6475 -x6476 -x6478 -x6479 -x6480 -x3913 -x3924 -x3935 -x3946 1801.16 v -x3957 x3968 -x6481 -x6482 -x6483 -x6484 x6485 -x6486 -x6487 x6489 -x6490 x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 1801.16 v -x6498 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 1801.16 v -x6517 -x6518 -x6519 -x6520 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x3979 -x3990 -x4001 -x4012 -x4024 -x4035 -x4046 1801.16 v x4057 -x4068 -x6528 -x6529 -x6530 -x6531 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6550 1801.16 v -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 1801.16 v -x6569 -x6570 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6583 -x6584 -x6585 -x6586 -x6587 1801.16 v -x6588 -x4079 -x4090 -x4101 -x4112 -x4123 x4135 -x6589 -x6590 -x6591 -x6592 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 1801.16 v -x6600 -x6601 -x6602 -x6603 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6616 -x6617 -x6618 1801.16 v -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x4146 -x4157 -x4168 -x4179 1801.16 v x4190 -x4201 -x6633 -x6634 -x6635 -x6636 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6656 1801.16 v -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x4212 1801.16 v -x4223 -x4234 -x4246 x4257 -x4268 -x6674 -x6675 -x6676 -x6678 -x6679 -x6680 -x6681 x6682 -x6683 -x6684 -x6685 -x6686 -x6687 1801.16 v -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x4279 -x4290 -x4301 -x4312 x4323 -x4334 -x6696 -x6697 -x6698 -x6700 1801.16 v -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x4345 1801.16 v -x4358 -x4369 -x4380 x4391 -x4402 -x6718 -x6719 -x6720 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 1801.16 v -x4413 -x4424 -x4435 -x4446 -x4457 -x4469 -x4480 -x4491 -x6731 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 1801.16 v -x6741 -x6742 -x6744 -x6745 -x6746 -x6747 -x6748 -x4502 -x4513 -x4524 -x4535 -x4546 -x4557 -x6749 -x6750 -x6751 -x6752 1801.16 v -x6753 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6772 -x6773 -x6774 -x4568 -x4580 -x4591 1801.16 v -x4602 -x4613 -x4624 x6775 -x6776 x6777 x6778 -x6779 -x6780 x6781 -x6783 -x6784 x6785 -x6786 -x6787 -x6788 -x6789 -x6790 1801.16 v -x6791 -x6792 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6805 -x6806 -x6807 -x6808 -x4635 1801.16 v -x4646 -x4657 -x4668 -x4679 -x4691 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 1801.16 v -x6822 -x6823 x6824 x6825 -x6827 -x4702 -x4713 -x4724 -x4735 -x4746 -x4757 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 1801.16 v -x6835 -x6836 -x6838 -x4768 -x4779 -x4790 -x4802 -x4813 -x4824 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 1801.16 v -x6847 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 1801.16 v -x4835 -x4846 -x4857 -x4868 -x4879 -x4890 -x6866 -x6867 -x6868 -x6869 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 1801.16 v -x6878 -x6879 -x6880 -x6890 -x6891 x6892 -x6893 -x6894 x6895 -x6896 -x6897 -x6898 -x6899 -x6901 -x6902 -x6903 -x6904 -x6905 1801.16 v -x6906 -x6907 -x6908 -x6909 -x6910 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x4901 -x4913 1801.16 v -x4924 -x4935 -x4946 -x4957 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x4968 -x6929 -x6930 -x6931 -x4979 -x5012 -x6932 1801.16 v -x6934 -x6935 x4990 x5028 -x6936 -x6937 -x6938 -x5001 -x5039 -x6939 x6940 -x6941 -x5050 -x6942 -x6943 -x6945 -x6946 -x6947 1801.16 v -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 1801.16 v -x6967 -x6968 -x5061 -x5072 -x5083 -x5094 -x5105 -x5116 -x5127 -x5143 x5154 -x5165 -x6969 -x6970 -x6971 -x6972 x6973 -x6974 1801.16 v -x6975 -x6976 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6989 -x6990 -x6991 -x6992 -x6993 1801.16 v -x6994 x5176 -x5187 -x5198 -x5209 -x5220 -x5231 -x5242 -x5258 -x6995 -x6996 -x6997 -x6998 -x7008 -x7009 -x7010 -x7011 1801.16 v -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7030 1801.16 v -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7041 -x7042 -x7043 -x7044 -x5269 -x5280 -x5291 -x5302 1801.16 v x5313 -x5324 -x5335 -x5346 -x7045 x7046 -x7047 -x7048 -x7049 -x7050 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 1801.16 v -x7060 -x7061 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7074 -x7075 x7076 -x7077 -x7078 1801.16 v -x7079 -x7080 -x5357 -x5373 -x5384 -x5395 -x7081 -x7082 -x7083 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 1801.16 v -x7093 -x7094 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7107 -x7108 -x7109 -x7110 -x7111 1801.16 v -x7112 -x7113 -x7114 -x7115 -x7116 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x5406 -x5417 -x5428 -x5439 1801.16 v -x5450 -x7134 -x7135 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7148 -x7149 -x7150 -x7151 1801.16 v -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7159 -x7160 -x7161 -x5461 -x5472 -x5490 -x5501 -x5512 -x5523 -x7162 -x7163 1801.16 v -x7164 -x7165 -x7166 -x7167 -x7168 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7181 -x7182 1801.16 v -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7192 x7193 x7194 -x5534 -x5545 -x5556 -x5567 -x7195 -x7196 -x7197 1801.16 v -x7198 -x7199 x7200 -x7201 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x5578 -x5589 -x5606 -x5617 1801.16 v -x7212 x7214 -x7215 x7216 -x7217 x7218 -x7219 x7220 -x7221 x7222 -x7223 x7225 -x7226 x7227 x7228 -x7229 -x7230 -x7231 -x7232 1801.16 v -x7233 -x5628 -x5639 -x5650 -x5661 -x7234 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7255 1801.16 v -x7256 -x7257 -x5672 -x5683 -x5694 -x5705 -x7258 -x7259 -x5722 -x5733 -x5744 -x5755 -x5766 -x7260 -x7261 -x7262 -x7263 1801.16 v -x7264 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7277 -x7278 -x7279 -x7280 -x7281 -x5777 1801.16 v -x5788 -x5799 -x5810 -x5821 -x7282 -x7283 -x7284 -x7285 -x7286 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 1801.16 v -x7296 -x7297 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7310 -x7311 -x7312 -x7313 -x7314 1801.16 v -x7315 -x7316 x7317 -x7318 -x7319 x7321 -x7322 x7323 -x7324 -x7325 -x7326 -x7327 -x7328 x7329 -x7330 -x7332 -x7333 -x5838 1801.16 v -x5849 -x5860 -x5871 -x5882 -x5893 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7343 -x7344 -x7345 -x7346 1801.16 v -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7369 1801.16 v -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 1801.16 v -x5904 -x5915 -x5926 -x5937 -x5955 -x5966 -x7388 -x7389 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 1801.16 v -x7400 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 1801.16 v -x7419 -x7420 -x7421 -x7422 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x5977 -x5988 -x5999 -x6010 -x6021 -x7430 -x7431 1801.16 v -x7432 -x7433 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7446 -x7447 -x7448 -x7449 -x7450 1801.16 v -x7451 -x7452 -x7453 -x7454 -x7455 -x7457 -x6032 -x6043 -x6054 -x6072 -x6083 -x6094 -x7458 -x7459 -x7460 -x7461 -x7462 1801.16 v -x7463 -x7464 -x7465 -x7466 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7483 -x6105 -x6116 1801.16 v -x6127 -x6138 -x6149 -x6160 x7484 -x7485 -x7486 x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7494 -x7495 -x7496 -x7497 -x7498 1801.16 v -x7499 -x7500 -x7501 -x7502 -x6171 -x6189 x6200 -x6211 x6222 -x6233 -x7503 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 1801.16 v -x7512 -x7513 -x6244 -x6255 -x6266 -x6277 -x6288 -x6306 -x7514 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 1801.16 v -x7524 -x7525 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x6317 -x6328 -x7536 -x7538 -x7539 -x7540 1801.16 v -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 1801.16 v -x7560 -x7561 -x6339 -x6350 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7571 -x7572 -x7573 -x7574 -x7575 1801.16 v -x7576 -x7577 x7578 -x7579 x7580 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x6361 -x6372 -x7597 1801.16 v -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x6383 -x6394 -x7608 -x7609 -x7610 -x7611 x7612 x7613 -x7614 1801.16 v -x7615 -x7616 -x7617 -x6405 -x6422 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7630 -x7631 1801.16 v -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 1801.16 v -x7650 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 1801.16 v -x7669 -x7670 -x7671 -x7672 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7685 -x7686 -x7687 1801.16 v -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 1801.16 v -x7711 -x7712 -x7713 -x7714 -x7715 -x6433 -x6444 -x7716 -x7717 -x7718 -x7719 -x7720 -x7722 -x7723 -x7724 -x7725 -x7726 1801.16 v -x7727 -x7728 -x7729 -x7730 -x7731 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7744 -x7745 1801.16 v -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 1801.16 v -x7764 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 1801.16 v -x7783 -x7784 -x7785 -x7786 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x6455 -x6466 -x7797 -x7799 1801.16 v -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 1801.16 v -x7824 -x7825 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7838 -x7839 -x7840 -x7841 -x7842 1801.16 v -x7843 -x7844 -x7845 -x7846 -x7847 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7860 -x7861 1801.16 v -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7871 -x7872 -x7873 -x6477 -x6488 -x7874 -x7875 -x7876 -x7877 1801.16 v -x7878 -x7879 -x7880 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7893 -x7894 -x7895 -x7896 1801.16 v -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7915 1801.16 v -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 1801.16 v -x7939 -x7940 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7953 -x7954 -x7955 -x7956 -x7957 1801.16 v -x7958 -x7959 -x7960 -x7961 -x7962 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7975 -x7976 1801.16 v -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 1801.16 v -x6499 -x6510 -x7995 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8008 -x8009 -x8010 -x8011 1801.16 v -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8030 1801.16 v -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 1801.16 v -x8054 -x8055 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8068 -x8069 -x8070 -x8071 -x8072 1801.16 v -x8073 -x8074 -x8075 -x8076 x8077 -x8079 -x8080 x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8090 -x8091 -x8092 1801.16 v -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8101 -x6521 -x6538 x6549 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 1801.16 v -x8108 -x8109 -x8110 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8123 -x8124 -x8125 -x8126 1801.16 v -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8134 -x8135 -x8136 -x8137 x8138 x8139 -x8140 -x8141 -x8142 -x8143 -x8145 -x8146 1801.16 v -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 1801.16 v -x8170 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 1801.16 v -x8189 -x8190 -x8191 -x8192 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8205 -x8206 -x8207 1801.16 v -x8208 -x8209 -x8210 -x6560 -x6571 -x6582 -x8211 -x8212 -x8213 -x8214 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 1801.16 v -x8223 -x8224 -x8225 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8238 -x8239 -x8240 -x8241 1801.16 v -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8260 1801.16 v -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 1801.16 v -x8284 -x8285 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8298 -x8299 -x8300 -x8301 -x8302 1801.16 v -x8303 -x8304 -x8305 -x8306 -x8307 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8320 -x8321 1801.16 v -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x6593 -x6604 1801.16 v -x6615 -x6626 -x8338 -x8339 -x8340 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8353 -x8354 1801.16 v -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 1801.16 v -x8373 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 1801.16 v -x8397 -x8398 -x8399 -x8400 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8413 -x8414 -x8415 1801.16 v -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 1801.16 v -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 1801.16 v -x8453 -x8454 -x8455 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8468 -x8469 -x8470 -x8471 1801.16 v -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8490 1801.16 v -x8491 -x8492 -x8493 -x6637 -x6655 -x6666 -x6677 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8506 -x8507 -x8508 -x8509 1801.16 v -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8528 1801.16 v -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 1801.16 v -x8547 -x8548 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8561 -x8562 -x8563 -x8564 -x8565 1801.16 v -x8566 -x8567 -x8568 -x8569 -x8570 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8583 -x8584 1801.16 v -x8585 -x8586 -x8587 -x6688 -x6699 -x6710 -x6721 -x8588 -x8589 -x8590 -x8591 -x8592 -x8594 -x8595 -x8596 -x8597 -x8598 1801.16 v -x8599 -x8600 -x8601 -x8602 -x8603 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8621 -x8622 1801.16 v -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 1801.16 v -x8641 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 1801.16 v -x8660 -x8661 -x8662 -x8663 -x8665 -x8666 -x8667 -x8668 -x8669 -x6732 -x6743 -x8670 -x8671 -x8672 -x8673 -x8674 -x8676 1801.16 v -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 1801.16 v -x8695 -x8696 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8709 -x8710 -x8711 -x8712 -x8713 1801.16 v -x8714 -x8715 -x8716 -x8717 -x8718 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8735 -x8736 1801.16 v -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 1801.16 v -x8755 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8768 -x8769 x8770 -x8771 -x8772 -x8773 1801.16 v -x8774 -x8775 x8776 -x8777 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x6754 -x6771 -x8788 -x8790 1801.16 v -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 1801.16 v -x8809 -x8810 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8823 -x8824 -x8825 -x8826 -x8827 1801.16 v -x8828 -x8829 -x8830 -x8831 -x8832 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8849 -x8850 1801.16 v -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 1801.16 v -x8869 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x6782 -x6793 -x8877 -x8878 -x8879 -x8880 -x8882 -x8883 -x8884 -x8885 1801.16 v -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8904 1801.16 v -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 1801.16 v -x8923 -x8924 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 x6804 -x6815 -x8933 -x8934 -x8935 -x8937 -x8938 -x8939 1801.16 v -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 1801.16 v -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8975 -x8976 -x6826 -x6837 -x8977 -x8978 -x8979 1801.16 v -x8980 -x8981 -x8982 -x8983 -x8984 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8997 -x8998 1801.16 v -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 1801.16 v -x9017 -x9019 -x6848 -x6859 -x6870 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9030 -x9031 -x9032 1801.16 v -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 1801.16 v -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9063 -x9064 -x9065 -x9066 -x9067 -x6889 -x6900 1801.16 v -x6911 -x9068 -x9069 -x9070 -x9071 -x9072 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9089 1801.16 v -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 1801.16 v -x9108 -x9109 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9122 -x9123 -x9124 -x9125 -x9126 1801.16 v -x9127 -x9128 -x9129 -x9130 -x9131 x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x6922 -x6933 -x9140 -x9141 -x9142 1801.16 v -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 1801.16 v -x9162 -x9163 -x9164 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9177 -x9178 -x9179 -x9180 1801.16 v -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9204 1801.16 v -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 1801.16 v -x9223 -x9224 -x6944 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9237 -x9238 -x9239 -x9240 1801.16 v -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9259 1801.16 v -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9270 -x9271 -x6955 -x9272 -x9273 -x9274 -x9275 -x9276 1801.16 v -x9277 -x9278 -x9279 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9292 -x9293 -x9294 -x9295 1801.16 v -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9319 1801.16 v -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 1801.16 v -x9338 -x9339 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9352 -x9353 -x9354 -x9355 -x9356 1801.16 v -x9357 -x9358 -x9359 -x9360 -x9361 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9374 -x9375 1801.16 v -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 1801.16 v -x9394 -x9396 -x9397 -x9398 -x9399 -x9400 -x6966 -x6977 -x6988 -x7007 -x9401 -x9402 -x9403 -x9404 -x9405 -x9407 -x9408 1801.16 v -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9423 -x9424 -x9425 x9426 -x9427 x9428 -x9429 -x9430 -x9431 -x9432 1801.16 v x9434 -x9435 -x9436 -x9437 -x9438 -x9439 x9440 -x9441 -x9442 -x9443 -x9445 -x9446 x9447 -x9448 -x9449 -x9450 -x9451 x9452 1801.16 v -x9453 -x9454 -x9456 -x9457 -x9458 x9459 -x9460 -x9461 -x9462 -x9463 -x9464 x9465 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 1801.16 v x9473 -x9474 -x9475 -x7018 -x7029 -x7040 -x7051 -x9476 -x9478 -x9479 -x9480 x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 1801.16 v x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 x9496 -x9497 -x9498 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 1801.16 v -x9508 -x9509 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9522 -x9523 -x9524 -x9525 -x9526 1801.16 v -x9527 -x9528 -x9529 -x9530 -x9531 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9549 -x9550 1801.16 v -x9551 -x9552 -x9553 -x9554 -x7062 -x7073 -x7084 -x7095 -x7106 -x7125 -x7136 -x9555 -x9556 -x9557 -x9558 -x9560 -x9561 1801.16 v -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 1801.16 v -x9580 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 1801.16 v -x9599 -x9600 -x9601 -x9602 -x9604 -x9605 -x9606 -x9607 -x9608 -x7147 -x7158 -x7169 -x7180 -x7191 -x7202 -x7213 -x9609 1801.16 v -x9610 -x9611 -x9612 -x9613 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9626 -x9627 -x9628 1801.16 v -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x7224 1801.16 v -x7243 -x7254 -x7265 -x7276 -x9646 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9664 -x9665 1801.16 v -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 1801.16 v -x9684 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 1801.16 v -x9703 -x9704 -x9705 -x9706 -x9708 -x9709 -x9710 -x9711 -x7287 -x7298 -x7309 -x7320 -x7331 -x7342 -x9712 -x9713 -x9714 1801.16 v -x9715 -x9716 -x9717 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9730 -x9731 -x9732 -x9733 1801.16 v -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9752 1801.16 v -x9753 -x7357 -x7368 -x7379 -x7390 -x7401 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9768 -x9769 -x9770 1801.16 v -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 1801.16 v -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 1801.16 v -x9808 -x9809 -x9810 -x9812 -x7412 -x7423 -x7434 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9823 1801.16 v -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 1801.16 v -x9842 -x9843 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9856 -x9857 -x9858 -x9859 -x9860 1801.16 v -x9861 -x9862 -x9863 -x9864 -x9865 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x7445 -x7456 -x7471 -x7482 1801.16 v -x7493 -x9875 -x9876 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9894 -x9895 -x9896 -x9897 1801.16 v -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9916 1801.16 v -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 1801.16 v -x9935 -x7504 -x7515 -x7526 -x7537 -x9936 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9949 1801.16 v -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 1801.16 v -x9968 -x9969 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9982 -x9983 -x9984 -x7548 -x7559 1801.16 v -x7570 -x7585 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 1801.16 v -x10005 -x10006 -x10007 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10020 -x10021 1801.16 v -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x7596 1801.16 v -x7607 -x7618 -x7629 -x7640 -x10037 -x10038 -x10039 -x10040 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 1801.16 v -x10049 -x10050 -x10051 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10064 -x10065 1801.16 v -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 1801.16 v -x10082 -x10083 -x10084 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10097 -x10098 1801.16 v -x10099 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 1801.16 v -x7651 -x7662 -x7673 -x7684 -x7699 -x10120 -x10121 -x10122 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 1801.16 v -x10132 -x10133 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10146 -x10147 -x10148 1801.16 v -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 1801.16 v -x10165 -x10166 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10179 -x10180 -x7710 1801.16 v -x7721 -x7732 -x7743 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10190 -x10191 -x10192 -x10193 1801.16 v -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x7754 1801.16 v -x7765 x7776 x7787 -x10209 -x10210 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10227 1801.16 v -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 1801.16 v -x10244 -x10245 -x10246 -x10247 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256 -x10257 -x7798 -x7815 1801.16 v -x7826 -x7837 -x10258 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10271 -x10272 1801.16 v -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10282 -x10283 -x10284 -x10285 -x10286 -x10287 -x7848 1801.16 v -x7859 -x7870 -x7881 -x10288 -x7892 -x7903 -x7914 -x7930 -x7941 -x10289 -x7952 -x7963 -x7974 -x7985 -x7996 -x8007 -x8018 1801.16 v -x8029 -x8045 -x8056 -x8067 -x8078 -x8089 -x8100 -x8111 -x8122 -x8133 -x8144 -x8160 -x8171 -x8182 -x8193 x8204 x8215 -x8226 1801.16 v -x8237 -x8248 -x8259 -x8275 -x8286 -x8297 -x8308 -x8319 -x8330 -x8341 -x8352 -x8363 -x10290 -x10291 -x10293 -x10294 -x10295 1801.16 v -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 1801.16 v -x10312 -x10313 -x10315 -x10316 -x10317 -x10318 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10326 -x10327 -x10328 1801.16 v -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 1801.16 v -x10349 -x10350 -x10352 -x8374 -x8390 -x8401 -x8412 -x8423 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 1801.16 v -x10361 -x10363 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10374 -x10375 -x10376 -x10377 1801.16 v -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 1801.16 v -x10394 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x8434 -x8445 -x8456 -x8467 -x8478 -x10402 -x10403 -x10404 -x10405 1801.16 v -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10418 -x10419 -x10420 -x10421 -x10422 1801.16 v -x10423 -x10424 -x10425 -x10426 -x10427 -x10429 -x8489 -x8505 -x8516 -x8527 -x8538 -x10430 -x10431 -x10432 -x10433 -x10434 1801.16 v -x10435 -x10436 -x10437 -x10438 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10446 -x10447 -x10448 -x10449 -x10455 1801.16 v -x8549 -x8560 -x8571 -x8582 -x8593 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10466 -x10467 1801.16 v -x10468 -x10469 -x10470 -x10471 -x10472 -x10473 -x10474 -x8604 -x8620 -x8631 -x8642 -x8653 -x10475 -x8664 -x8675 -x8686 1801.16 v -x8697 -x8708 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10488 -x10489 -x10490 1801.16 v -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10499 -x10500 -x10501 -x10502 -x10503 -x10504 -x8719 -x8734 1801.16 v -x8745 -x8756 -x8767 -x10505 -x10506 -x10507 -x10508 -x10510 -x10511 -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 1801.16 v -x10518 -x10519 -x10521 -x10522 -x10523 -x10524 -x10525 -x10526 -x10527 -x10528 -x10529 -x10530 -x10532 -x10533 -x10534 1801.16 v -x10535 -x10536 x10537 -x10538 -x10539 x10540 -x10541 -x10543 -x10544 -x10545 -x10546 -x10547 -x10548 -x10549 -x10550 1801.16 v -x10551 -x10552 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x10560 -x10561 -x10562 -x10563 -x10569 -x10570 -x10571 1801.16 v -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10578 -x10580 -x10581 -x10582 -x10583 -x8778 -x8789 -x8800 -x8811 1801.16 v -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x10591 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 1801.16 v -x10600 -x10602 -x10603 -x10604 -x10605 -x10606 -x10607 -x10608 -x10609 -x10610 -x10611 -x10613 -x10614 -x10615 -x10616 1801.16 v -x10617 -x10618 -x10619 -x10620 -x10621 -x10622 -x10624 -x10625 -x10626 -x10627 -x10628 -x10629 -x10630 -x10631 -x10632 1801.16 v -x10633 -x10635 -x10636 -x10637 -x10638 -x10639 -x10640 -x8822 -x8833 -x8848 -x8859 -x10641 -x10642 -x10643 -x10644 1801.16 v -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 -x10652 -x10653 -x10654 -x10655 -x10657 -x10658 -x10659 -x10660 -x10661 1801.16 v -x10662 -x10663 -x10664 -x10665 -x10666 -x10668 -x10669 -x10670 -x10671 -x10672 -x10673 -x10674 -x10675 -x10676 -x10677 1801.16 v -x10683 -x10684 -x10685 -x10686 -x10687 -x10688 -x10689 -x10690 -x10691 -x10692 -x10694 -x10695 -x10696 -x10697 -x10698 1801.16 v -x10699 -x8870 x8881 -x8892 x8903 -x10700 -x10701 -x10702 -x10703 -x10705 -x10706 -x10707 -x10708 -x10709 -x10710 -x10711 1801.16 v -x10712 -x10713 -x10714 -x10716 -x10717 -x10718 -x10719 -x10720 -x10721 -x10722 -x10723 -x10724 -x10725 -x10727 -x10728 1801.16 v -x10729 -x10730 -x10731 -x10732 -x10733 -x10734 -x10735 -x10736 -x10738 -x10739 -x10740 -x10741 -x10742 -x10743 -x10744 1801.16 v -x10745 -x10746 -x10747 -x10749 -x10750 -x10751 -x10752 -x10753 -x10754 -x10755 -x10756 -x10757 -x8914 -x8925 x8936 1801.16 v -x8947 -x10758 -x10760 -x10761 -x10762 -x10763 -x10764 -x10765 -x10766 -x10767 -x10768 -x10769 -x10771 -x10772 -x10773 1801.16 v -x10774 -x10775 -x10776 -x10777 -x10778 -x10779 -x10780 -x10782 x10783 -x10784 -x10785 -x10786 -x10787 -x10788 -x10789 1801.16 v -x10790 -x10791 -x10797 -x10798 -x10799 -x10800 -x10801 -x10802 -x10803 -x8963 -x8974 -x8985 -x8996 -x10804 -x10805 1801.16 v -x10806 -x10808 -x10809 -x10810 -x10811 -x10812 -x10813 -x10814 -x10815 -x10816 -x10817 -x10819 -x10820 -x10821 -x10822 1801.16 v -x10823 -x10824 -x10825 -x10826 -x10827 -x10828 -x10830 -x10831 -x10832 -x10833 -x10834 -x10835 -x10836 -x10837 -x10838 1801.16 v -x9007 -x9018 -x9029 -x10839 -x10841 -x10842 -x10843 -x10844 -x10845 -x10846 -x10847 -x10848 x10849 -x10850 -x10852 1801.16 v -x10853 -x10854 -x10855 -x10856 -x10857 -x10858 -x10859 -x9040 -x9051 -x9062 -x10860 -x10861 -x10863 -x10864 -x10865 1801.16 v -x10866 -x10867 -x10868 -x10869 -x10870 -x10871 -x10872 -x10874 -x10875 -x10876 -x10877 -x10878 -x10879 -x10880 -x10881 1801.16 v -x9077 -x9088 -x10882 -x10883 -x9099 -x9110 -x10885 -x9121 -x9132 -x9143 -x9154 -x9165 -x9176 -x9192 -x9203 -x10886 -x10887 1801.16 v -x10888 -x10889 -x10890 -x10891 -x10892 -x10893 -x10894 -x10896 -x10897 -x10898 -x10899 -x10900 -x10901 -x10902 -x10903 1801.16 v -x10904 -x10905 -x10911 -x10912 -x10913 -x10914 -x10915 -x10916 -x10917 -x10918 -x10919 -x10920 -x10922 -x10923 -x10924 1801.16 v -x10925 -x10926 -x10927 -x10928 -x10929 -x10930 -x10931 -x10933 -x10934 -x10935 -x10936 -x10937 -x10938 -x10939 -x10940 1801.16 v -x10941 -x10942 -x10944 -x10945 -x10946 -x10947 -x10948 -x10949 -x10950 -x10951 -x10952 -x10953 -x10955 -x10956 -x10957 1801.16 v -x10958 -x10959 -x10960 -x10961 -x10962 -x10963 -x10964 -x10966 -x10967 -x10968 -x10969 -x10970 -x10971 -x10972 -x10973 1801.16 v -x10974 -x10975 -x10977 -x10978 -x10979 -x10980 -x10981 -x10982 -x10983 -x10984 -x10985 -x10986 -x10988 -x10989 -x10990 1801.16 v -x10991 -x10992 -x10993 -x10994 -x10995 -x10996 -x10997 -x10999 -x11000 -x11001 -x11002 -x11003 -x11004 -x11005 -x11006 1801.16 v -x11007 -x11008 -x11010 -x11011 -x11012 -x11013 -x11014 -x11015 -x11016 -x11017 -x11018 -x11019 -x11025 x11026 -x11027 1801.16 v x11028 -x11029 -x11030 -x11031 -x11032 -x11033 -x11034 -x11036 -x11037 -x11038 -x11039 -x11040 -x11041 -x11042 -x11043 1801.16 v -x11044 -x11045 -x11047 -x11048 -x11049 -x11050 -x11051 -x11052 -x11053 -x11054 -x11055 -x11056 -x11058 -x11059 -x11060 1801.16 v -x11061 -x11062 -x11063 -x11064 -x11065 -x11066 -x11067 -x11069 -x11070 -x11071 -x11072 -x11073 -x11074 -x11075 -x11076 1801.16 v -x11077 -x11078 -x11080 -x11081 -x11082 -x11083 -x11084 -x11085 -x11086 -x11087 -x11088 -x11089 -x9214 -x9225 -x11091 1801.16 v -x11092 -x11093 -x11094 -x11095 -x11096 -x11097 -x11098 -x11099 -x11100 -x11102 -x11103 -x11104 -x11105 -x11106 -x11107 1801.16 v -x11108 -x11109 -x11110 -x11111 -x11113 -x11114 -x11115 -x11116 -x11117 -x11118 -x11119 -x11120 -x11121 -x11122 -x11124 1801.16 v -x11125 -x11126 -x11127 -x11128 -x11129 -x11130 -x11131 -x11132 -x11133 -x11139 -x11140 -x9236 -x9247 -x11141 -x11142 1801.16 v -x11143 -x11144 -x11145 -x11146 -x11147 -x11148 -x11150 -x11151 -x11152 -x11153 -x11154 -x11155 -x11156 -x11157 -x11158 1801.16 v x11159 -x11161 x9258 -x9269 -x11162 -x11163 -x11164 -x11165 -x11166 -x11167 -x11168 -x11169 -x11170 -x11172 -x11173 1801.16 v -x11174 -x11175 -x11176 -x11177 -x11178 -x11179 -x11180 -x11181 -x11183 -x11184 -x11185 -x9280 -x9291 -x11186 -x11187 1801.16 v -x11188 -x11189 -x11190 -x11191 -x11192 -x11194 -x11195 -x11196 -x11197 -x11198 -x11199 -x11200 -x11201 x11202 -x11203 1801.16 v -x11205 -x11206 -x11207 -x9307 -x9318 -x11208 -x11209 -x11210 -x11211 -x11212 -x11213 -x11214 -x11216 -x9329 -x9340 1801.16 v -x11217 -x11218 -x11219 -x9351 -x9362 -x9373 -x9384 -x9395 -x9406 -x9422 -x9433 -x9444 -x11220 -x11221 -x11222 -x11223 1801.16 v -x9455 -x9466 -x9477 -x9488 -x9499 -x11224 -x11225 -x11227 -x11228 -x11229 -x11230 -x11231 -x11232 -x11233 -x11234 -x11235 1801.16 v -x11236 -x11238 -x11239 -x11240 -x11241 -x11242 -x11243 -x11244 -x11245 -x11246 -x11247 -x8 -x9 -x10 -x11 -x12 -x13 -x14 1801.16 v -x15 -x16 -x17 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x41 -x42 -x43 1801.16 v -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x52 -x53 -x9510 -x9521 -x9537 -x9548 -x9559 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x63 1801.16 v -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x74 x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x85 -x86 -x87 -x88 -x89 -x90 -x91 1801.16 v -x92 -x93 -x94 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x9570 -x9581 1801.16 v -x9592 -x9603 -x9614 -x114 -x115 -x116 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x133 -x134 -x135 -x136 1801.16 v -x137 -x138 -x139 -x140 -x141 -x142 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x155 -x156 -x157 -x158 -x159 1801.16 v -x160 -x161 -x162 -x163 -x164 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x9625 -x9636 -x9652 -x9663 -x9674 -x173 -x174 -x175 1801.16 v -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x199 1801.16 v x200 -x9685 -x9696 -x9707 -x9718 -x9729 -x201 x202 -x203 x204 x205 -x206 -x207 -x208 -x210 -x211 -x212 -x213 -x214 -x215 1801.16 v -x216 -x217 -x218 -x219 -x221 -x222 -x223 -x224 -x9740 -x9751 -x9767 -x9778 -x9789 -x225 -x226 -x227 -x228 -x229 -x230 -x236 1801.16 v -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 x245 -x247 -x248 -x249 -x250 -x9800 -x9811 x9822 -x9833 x9844 -x251 -x252 1801.16 v -x253 -x254 -x255 -x256 -x258 -x259 -x260 -x261 -x262 -x263 -x9855 -x9866 -x9882 -x9893 -x9904 -x264 -x9915 -x9926 -x9937 1801.16 v -x9948 -x9959 -x9970 -x9981 -x9997 -x10008 -x10019 -x265 -x862 -x868 -x871 -x874 -x880 -x883 -x886 -x892 -x895 -x10030 1801.16 v -x10041 -x10052 -x10063 -x10074 -x898 -x901 -x908 -x911 -x914 -x920 -x923 -x926 -x932 -x935 -x10085 -x10096 -x938 -x941 1801.16 v x946 -x10112 -x10123 -x10134 -x10145 -x10156 -x10167 -x10178 -x10189 -x10200 -x10211 -x10226 -x10237 -x10248 -x10259 1801.16 v -x10270 -x10281 -x10292 -x10303 -x10314 -x10325 -x10340 x10351 -x10362 -x10373 -x10384 -x10395 -x10406 -x10417 -x10428 1801.16 v -x10439 -x10454 -x10465 -x10476 -x10487 -x10498 -x10509 -x10520 -x10531 -x10542 -x10553 -x10568 -x10579 -x10590 -x10601 1801.16 v -x10612 -x10623 -x10634 -x10645 -x10656 -x10667 -x10682 -x10693 -x2314 -x2318 -x2319 -x2328 -x2329 -x2333 -x2334 -x2343 1801.16 v -x2344 -x2367 -x2380 -x10704 -x10715 -x1418 -x1419 -x1431 -x1432 -x1433 -x1446 -x1447 -x1448 -x1462 -x1463 -x1464 -x1470 1801.16 v -x10726 -x10737 -x1471 -x1479 -x1485 -x1486 -x1487 -x1499 -x1298 -x1302 -x1500 -x1501 -x1709 -x1303 -x1312 -x1520 -x1717 1801.16 v -x1719 -x1313 -x1317 -x1527 -x1528 -x1723 -x1318 -x1326 -x1731 -x1732 -x1734 -x2076 -x2080 -x1327 -x1340 -x1739 -x1744 1801.16 v -x1746 -x2081 -x2092 -x1345 -x1751 -x1752 -x1760 -x2093 -x2097 -x1583 -x1764 -x1766 -x2098 -x2109 -x10748 -x10759 -x1584 1801.16 v -x1591 -x1599 -x2110 -x2114 -x1600 -x1607 -x1615 -x2115 -x2127 -x1616 -x1621 -x1628 -x2128 -x2138 -x1629 -x1630 -x1638 1801.16 v -x2139 -x2143 -x1107 -x1639 -x1640 -x1649 -x2144 -x2147 -x1110 -x1650 -x1651 -x1660 x2153 -x2157 -x1113 -x1661 -x1662 1801.16 v -x1668 -x2158 -x2162 -x1115 -x1669 -x1674 -x1680 -x2169 -x2173 -x1681 -x1682 -x1811 -x2174 -x2178 -x1821 -x1822 -x2185 1801.16 v -x2188 -x10770 -x10781 -x2189 -x10796 x10807 -x367 -x371 -x372 -x376 -x381 -x385 -x386 -x390 -x10818 -x10829 -x395 -x399 1801.16 v -x404 -x400 -x413 -x409 -x418 -x10840 -x10851 -x414 -x427 -x686 -x423 -x676 -x432 -x691 -x428 -x687 -x441 -x701 -x10862 1801.16 v -x10873 -x437 -x692 -x446 -x706 -x442 -x702 -x455 -x716 -x451 -x707 -x460 -x721 -x456 -x717 -x10884 -x10895 -x10910 -x578 1801.16 v -x802 -x466 -x722 -x10932 -x582 -x806 -x10976 -x586 -x817 -x10921 -x10943 -x10998 x11009 -x592 -x593 -x818 -x819 -x11024 1801.16 v -x11035 -x594 -x820 -x595 -x821 -x11046 -x11057 -x596 -x597 -x822 -x823 x10954 -x10965 -x11068 x598 -x827 -x599 -x11090 1801.16 v -x601 -x607 -x829 -x11101 -x11112 -x608 -x609 -x830 -x831 -x10987 -x11123 -x610 -x832 -x11138 -x611 -x833 -x11149 x612 1801.16 v -x834 -x11171 -x614 -x836 -x11182 -x11193 -x615 -x616 -x840 -x841 -x11204 -x11215 -x621 -x622 -x842 -x843 -x11226 x623 1801.16 v -x844 -x7 -x625 -x846 -x18 -x29 -x626 -x627 -x847 -x848 -x40 -x51 -x628 -x629 -x849 -x853 -x62 -x515 x637 -x782 -x854 -x523 1801.16 v -x527 -x95 -x528 -x536 -x154 -x537 -x642 -x653 -x1106 -x1109 -x1112 -x1114 -x11079 -x1434 -x1449 -x1465 -x1562 -x1576 -x1592 1801.16 v -x1641 -x1652 -x1663 -x1480 -x1488 -x1502 -x1514 -x1529 -x1536 -x1549 -x1563 -x1577 -x1593 -x1608 -x1609 -x1675 -x1622 1801.16 v x1623 -x1634 -x1635 -x1642 -x1643 -x1653 -x1654 -x2154 -x1664 -x1665 -x2159 -x1683 -x11160 -x1676 -x1677 -x2170 -x1853 1801.16 v -x1688 -x1897 -x2175 -x2186 -x1689 -x11237 -x73 x84 -x106 x121 -x132 x143 x165 -x176 -x187 -x198 -x209 -x220 -x235 -x246 1801.16 v -x257 -x280 -x350 -x358 -x359 -x1127 -x949 -x1128 -x950 -x951 -x953 -x1132 -x1134 -x1135 -x360 -x361 -x362 -x954 -x1137 1801.16 v -x368 -x369 -x370 -x959 -x1138 -x960 -x963 -x1140 -x1141 -x373 -x374 -x375 -x964 -x1146 -x965 -x971 -x974 -x1147 -x1150 1801.16 v -x1151 -x382 -x383 -x384 -x387 -x388 -x389 -x977 -x1152 -x396 -x397 -x398 -x980 -x1158 -x987 -x1161 -x990 -x1164 -x401 -x402 1801.16 v -x403 -x993 x1261 -x1000 -x1003 -x1006 -x1013 x1015 -x1018 -x1021 -x1027 -x1029 -x1217 -x1219 -x1224 -x1226 -x1228 -x410 1801.16 v -x411 -x412 -x1031 -x1033 -x1230 -x1232 -x1035 -x1237 -x1041 -x1239 -x415 -x416 -x417 -x1043 -x1241 -x1045 -x1243 -x1047 1801.16 v -x1245 -x424 -x425 -x426 -x1049 -x1252 -x1054 -x1254 -x429 -x430 -x431 -x1056 -x1256 -x1058 -x1258 -x438 -x439 -x440 -x1060 1801.16 v -x1260 -x443 -x444 -x445 -x1062 x1267 -x1067 -x452 -x453 -x454 -x1069 -x1906 -x1917 -x457 -x458 -x459 -x1071 -x1073 -x467 1801.16 v -x468 x1074 -x1166 -x1173 -x1176 -x1179 -x1185 -x1188 -x469 -x470 -x1191 -x1194 -x1199 -x1202 -x1203 -x1204 -x1206 -x1207 1801.16 v -x1211 x1213 -x471 -x472 -x1214 -x1215 x473 -x474 -x475 -x480 -x481 -x482 -x483 x484 -x485 -x486 -x487 -x488 -x489 -x494 1801.16 v -x1329 -x1691 -x1693 -x1695 -x1697 -x1702 -x1704 -x1707 -x1711 -x1736 -x1748 -x1761 -x1705 -x1708 -x1331 -x1333 -x1335 1801.16 v -x1349 -x1357 -x1716 -x1721 -x1722 -x1725 -x1730 -x1737 -x1738 -x1910 -x1913 -x2192 -x1342 -x1361 -x1749 -x1750 -x1916 1801.16 v -x2194 x495 -x1346 -x1762 -x1763 -x1961 -x2197 -x1354 -x1938 -x2199 -x1358 -x1369 -x1920 -x1942 -x1975 -x2201 -x2205 -x496 1801.16 v -x497 -x498 x1362 -x1373 -x1923 -x1953 -x1989 -x2203 -x2210 -x1120 -x1370 -x1377 -x1926 -x1958 -x1995 -x2207 -x2214 -x499 1801.16 v -x500 -x1122 -x1374 -x1794 -x1972 -x2008 -x2021 -x2211 -x2219 -x1124 -x1382 -x1803 -x1986 -x2215 -x2222 -x501 -x502 -x1125 1801.16 v -x1795 -x1796 x2220 -x1808 -x2225 -x503 x508 -x509 -x1804 -x1805 -x1818 -x2223 -x2228 -x1809 -x1810 -x1824 -x2226 -x2237 1801.16 v x510 -x511 -x512 -x513 -x514 -x1819 -x1820 -x2235 -x2239 -x1825 -x1830 -x2238 -x516 -x517 -x522 -x524 -x525 -x526 -x529 1801.16 v -x530 -x531 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x564 1801.16 v -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x579 -x580 -x581 -x583 -x584 -x585 -x587 -x600 -x613 -x624 -x630 -x638 1801.16 v -x639 -x640 -x641 -x643 -x644 -x645 -x646 -x654 -x655 x656 -x657 -x658 -x659 -x660 -x661 -x662 -x669 -x670 -x2305 -x2313 1801.16 v -x2315 -x2317 -x2320 -x2327 -x2330 -x2332 -x2335 -x2342 -x2410 -x1414 -x1415 -x1417 -x1427 -x1428 -x1430 -x1435 -x1436 1801.16 v -x1445 -x1450 -x1451 -x1453 -x1466 -x1467 -x1469 -x1481 -x1482 -x1484 -x1290 -x1297 -x1495 -x1496 -x1498 -x1299 -x1301 1801.16 v -x1503 -x1504 -x1512 -x1304 -x1306 -x1515 -x1516 -x1519 -x1314 -x1316 -x1530 -x1531 -x1534 -x2073 -x2075 -x1319 -x1321 1801.16 v -x1543 -x1544 -x1547 -x2077 -x2079 -x1375 -x1550 -x1551 -x1560 -x2089 -x2091 -x1564 -x1565 -x1568 -x2094 -x2096 -x1578 1801.16 v -x1579 -x1582 -x2106 -x2108 -x1594 -x1595 -x1598 -x2111 -x2113 -x1610 -x1611 -x1614 -x2123 -x2126 -x1624 -x1627 -x2129 1801.16 v -x2132 -x2142 -x673 -x675 -x677 -x685 -x688 -x690 -x693 -x700 -x703 -x705 -x708 -x715 -x718 -x720 -x860 -x724 -x730 -x731 1801.16 v -x732 -x733 -x734 -x736 -x737 -x738 -x739 -x745 -x746 -x748 -x749 -x750 -x751 -x752 -x753 -x671 -x763 -x764 -x765 -x766 -x767 1801.16 v -x768 -x769 -x771 -x772 -x780 -x781 -x672 -x674 -x678 -x689 -x694 -x704 -x709 -x719 -x723 -x735 -x747 -x754 -x770 -x783 -x784 1801.16 v -x785 -x786 -x787 -x788 -x789 -x797 -x798 -x799 -x800 -x801 -x803 -x804 -x805 -x814 -x815 -x816 -x828 -x835 -x845 -x855 -x856 1801.16 v -x857 -x858 -x2508 -x859 -x2520 -x861 -x866 -x867 -x869 -x870 -x872 -x873 -x875 -x879 -x881 -x882 -x884 -x885 -x887 -x888 1801.16 v -x893 -x894 -x896 -x897 -x899 -x900 -x906 -x907 -x909 -x910 -x912 -x913 -x915 -x919 -x921 -x922 -x924 -x925 -x927 -x928 -x933 1801.16 v -x934 -x936 -x937 -x939 -x940 -x945 x947 -x948 -x952 -x958 -x961 -x962 -x966 -x967 -x972 -x973 -x975 -x976 -x978 -x979 -x985 1801.16 v -x986 -x988 -x989 -x991 -x992 -x994 -x999 -x1001 -x1002 -x1004 -x1005 -x1007 -x1008 x1014 -x1016 -x1017 -x1019 -x1020 -x1022 1801.16 v -x1028 -x1030 -x1032 -x1034 -x1036 -x1042 -x1044 -x1046 -x1048 -x1050 -x1055 -x1057 -x1059 -x1061 -x1063 -x1068 -x1070 1801.16 v -x1072 -x1075 -x1076 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1093 -x1094 -x1095 -x1096 1801.16 v -x1097 -x2345 -x2347 -x2349 -x2351 -x2359 -x2361 -x2365 -x2363 -x2376 -x2374 -x2381 -x2389 -x2392 x2395 -x1098 -x2378 1801.16 v -x2398 -x2408 -x2411 -x1099 -x1100 -x1101 -x1102 -x1108 -x1111 -x1119 -x1121 -x1123 -x1126 -x1133 -x1136 -x1139 -x1145 1801.16 v -x1148 -x1149 -x1153 -x1154 -x1832 -x1835 -x1836 -x1838 -x1839 -x1847 -x1848 -x1850 -x1851 -x1855 -x1866 -x1870 -x1852 1801.16 v -x1159 -x1160 -x1863 -x1864 -x1881 -x1867 -x1868 -x1871 -x1872 -x1885 -x2242 -x1882 -x1883 -x1889 -x2244 -x2253 -x1886 1801.16 v -x1887 -x1899 -x2251 -x2256 -x1895 -x1896 -x1927 -x2254 -x2267 -x1162 -x1163 -x1900 -x1901 -x1937 -x2257 -x1941 -x1954 1801.16 v -x1969 -x2280 -x1952 -x1959 -x1976 -x1957 -x1973 x1990 -x1971 -x1987 -x2003 -x1165 -x1167 -x1978 -x1993 -x2009 -x1992 1801.16 v -x2006 -x2022 -x2005 -x2012 -x2026 -x2011 -x2024 -x2037 -x2028 -x2041 -x1172 -x1174 -x2039 -x2044 -x1175 -x1177 -x1178 1801.16 v -x1180 -x1181 -x1186 -x1187 -x1189 -x1190 -x1192 -x1193 -x1198 x1200 x1201 x1205 -x1212 -x1216 -x1218 -x1220 -x1225 -x1227 1801.16 v -x1229 -x1231 -x1233 -x1238 -x1240 -x1242 -x1244 -x1246 -x1253 -x1255 -x2190 -x1257 -x2055 -x1259 -x1268 -x1269 -x1270 1801.16 v -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1282 -x2240 -x1283 -x1284 -x1285 -x1286 -x1287 x1288 x1289 -x1291 -x1300 -x1305 1801.16 v -x1315 -x1320 -x1328 -x1330 -x1332 -x1334 -x1341 -x1343 -x1344 -x1347 -x1348 -x1355 -x1356 x1359 -x1360 -x1363 -x1368 1801.16 v -x1371 -x1372 -x1376 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1396 -x1397 -x1398 -x1399 -x1400 1801.16 v x1401 x1402 -x1403 -x1404 -x1405 -x1410 -x1411 -x1412 -x1413 -x1416 -x1429 -x1444 -x1452 -x1468 -x1483 -x1497 -x1511 -x1513 1801.16 v -x1517 -x1518 -x1532 -x1533 -x1535 -x1545 -x1546 -x1548 -x1552 -x1559 -x1561 -x1566 -x1567 -x1575 -x1580 -x1581 -x1596 1801.16 v -x1597 x1612 -x1613 -x1625 -x1626 -x1636 -x1637 -x1647 -x1648 -x1655 -x1656 -x1666 -x1667 -x1678 -x1679 -x1690 -x1692 1801.16 v -x1694 -x1696 -x1703 -x1706 -x1710 -x1718 -x1720 -x1724 -x1733 -x1735 -x1745 -x1747 -x1753 -x1765 -x1767 -x1768 -x1769 1801.16 v -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1797 1801.16 v -x1802 -x1806 -x1807 -x1816 -x1817 -x1823 -x1831 -x1833 -x1834 -x1837 -x1846 -x1849 -x1854 -x1865 -x1869 -x1880 -x1884 1801.16 v -x1888 -x1898 -x1902 -x1903 -x1904 -x1907 -x1908 -x1909 -x1911 -x1912 -x1914 -x1915 -x1918 -x1919 -x1921 -x1922 -x2312 1801.16 v -x2316 -x2321 -x2331 -x1924 -x1925 -x1935 -x1936 -x1939 -x1940 -x2074 -x2078 -x2090 -x2095 -x2107 -x2112 -x2125 -x2131 1801.16 v -x2141 x2146 -x1943 -x1944 -x2156 -x2161 -x2054 -x2172 -x2177 -x1955 -x1956 -x1960 -x1970 -x1974 -x1977 -x1988 x1991 -x1994 1801.16 v -x2004 -x2007 -x2010 -x2346 -x2358 -x2350 -x2362 -x2360 -x2366 -x2364 -x2377 -x2375 -x2382 -x2379 -x2390 -x2383 x2393 1801.16 v -x2020 -x2023 x2391 -x2396 -x2394 -x2406 -x2397 -x2409 -x2407 -x2412 -x2025 -x2027 -x2029 -x2038 -x2191 -x2193 -x2196 1801.16 v -x2198 -x2200 -x2202 -x2204 -x2209 -x2208 -x2213 -x2212 -x2216 -x2040 -x2042 -x2221 -x2224 -x2227 -x2236 -x2043 -x2045 1801.16 v -x2046 -x2241 -x2243 -x2250 -x2252 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2072 -x2259 -x2258 -x2266 1801.16 v -x2265 -x2269 -x2268 -x2271 -x2270 -x2273 -x2272 -x2281 -x2274 -x2283 -x2282 -x2285 -x2284 -x2287 -x2286 x2289 -x2288 1801.16 v -x2297 -x2296 -x2299 -x2298 -x2301 -x2300 -x2303 -x2302 -x2304 -x2413 -x2415 -x2423 -x2425 -x2427 -x2429 -x2439 -x2124 1801.16 v -x2130 -x2140 -x2145 x2155 -x2160 -x2171 -x2176 -x2187 -x2348 -x2445 -x2414 -x2422 -x2424 x2426 -x2428 -x2430 -x2255 -x2336 1801.16 v -x2431 1801.17 c Exit Code: 10
OK -7904
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/node36/watcher-40123-1149371235 -o ROOT/results/node36/solver-40123-1149371235 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node36/40123-1149371235/instance-40123-1149371235.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.98 2/64 7055 /proc/meminfo: memFree=1756432/2055920 swapFree=4181452/4192956 [pid=7055] ppid=7053 vsize=4664 CPUtime=0 /proc/7055/stat : 7055 (bsolo) R 7053 7055 7009 0 -1 0 164 0 0 0 0 0 0 0 19 0 1 0 202789606 4775936 144 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1498401 0 0 4096 0 0 0 0 17 1 0 0 /proc/7055/statm: 1166 147 109 55 0 46 0 [startup+10.0029 s] /proc/loadavg: 0.93 0.97 0.98 2/64 7055 /proc/meminfo: memFree=1729944/2055920 swapFree=4181452/4192956 [pid=7055] ppid=7053 vsize=31256 CPUtime=9.9 /proc/7055/stat : 7055 (bsolo) R 7053 7055 7009 0 -1 0 6996 0 0 0 979 11 0 0 25 0 1 0 202789606 32006144 6911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7055/statm: 7814 6911 297 55 0 6706 0 Current children cumulated CPU time (s) 9.9 Current children cumulated vsize (Kb) 31256 [startup+20.0097 s] /proc/loadavg: 0.94 0.97 0.98 2/64 7055 /proc/meminfo: memFree=1729368/2055920 swapFree=4181452/4192956 [pid=7055] ppid=7053 vsize=31912 CPUtime=19.9 /proc/7055/stat : 7055 (bsolo) R 7053 7055 7009 0 -1 0 7148 0 0 0 1973 17 0 0 25 0 1 0 202789606 32677888 7063 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7055/statm: 7978 7063 297 55 0 6870 0 Current children cumulated CPU time (s) 19.9 Current children cumulated vsize (Kb) 31912 [startup+30.0165 s] /proc/loadavg: 0.95 0.97 0.98 2/64 7055 /proc/meminfo: memFree=1728408/2055920 swapFree=4181452/4192956 [pid=7055] ppid=7053 vsize=32836 CPUtime=29.9 /proc/7055/stat : 7055 (bsolo) R 7053 7055 7009 0 -1 0 7379 0 0 0 2970 20 0 0 25 0 1 0 202789606 33624064 7294 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7055/statm: 8209 7294 297 55 0 7101 0 Current children cumulated CPU time (s) 29.9 Current children cumulated vsize (Kb) 32836 [startup+40.0233 s] /proc/loadavg: 0.95 0.97 0.98 2/64 7055 /proc/meminfo: memFree=1703384/2055920 swapFree=4181452/4192956 [pid=7055] ppid=7053 vsize=57824 CPUtime=39.91 /proc/7055/stat : 7055 (bsolo) R 7053 7055 7009 0 -1 0 13636 0 0 0 3965 26 0 0 25 0 1 0 202789606 59211776 13551 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7055/statm: 14456 13551 298 55 0 13348 0 Current children cumulated CPU time (s) 39.91 Current children cumulated vsize (Kb) 57824 [startup+50.0301 s] /proc/loadavg: 0.96 0.97 0.98 2/64 7055 /proc/meminfo: memFree=1702808/2055920 swapFree=4181452/4192956 [pid=7055] ppid=7053 vsize=58480 CPUtime=49.91 /proc/7055/stat : 7055 (bsolo) R 7053 7055 7009 0 -1 0 13790 0 0 0 4964 27 0 0 25 0 1 0 202789606 59883520 13705 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7055/statm: 14620 13705 298 55 0 13512 0 Current children cumulated CPU time (s) 49.91 Current children cumulated vsize (Kb) 58480 [startup+60.0359 s] /proc/loadavg: 0.97 0.97 0.98 2/64 7055 /proc/meminfo: memFree=1679832/2055920 swapFree=4181452/4192956 [pid=7055] ppid=7053 vsize=81452 CPUtime=59.91 /proc/7055/stat : 7055 (bsolo) R 7053 7055 7009 0 -1 0 19519 0 0 0 5959 32 0 0 25 0 1 0 202789606 83406848 19434 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7055/statm: 20363 19434 298 55 0 19255 0 Current children cumulated CPU time (s) 59.91 Current children cumulated vsize (Kb) 81452 [startup+70.0427 s] /proc/loadavg: 0.97 0.97 0.98 2/64 7055 /proc/meminfo: memFree=1679064/2055920 swapFree=4181452/4192956 [pid=7055] ppid=7053 vsize=82244 CPUtime=69.92 /proc/7055/stat : 7055 (bsolo) R 7053 7055 7009 0 -1 0 19714 0 0 0 6959 33 0 0 25 0 1 0 202789606 84217856 19629 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537786 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7055/statm: 20561 19629 298 55 0 19453 0 Current children cumulated CPU time (s) 69.92 Current children cumulated vsize (Kb) 82244 [startup+80.0495 s] /proc/loadavg: 0.98 0.97 0.98 2/64 7055 /proc/meminfo: memFree=1678360/2055920 swapFree=4181452/4192956 [pid=7055] ppid=7053 vsize=82900 CPUtime=79.92 /proc/7055/stat : 7055 (bsolo) R 7053 7055 7009 0 -1 0 19888 0 0 0 7958 34 0 0 25 0 1 0 202789606 84889600 19803 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7055/statm: 20725 19803 298 55 0 19617 0 Current children cumulated CPU time (s) 79.92 Current children cumulated vsize (Kb) 82900 [startup+90.0554 s] /proc/loadavg: 0.98 0.97 0.98 2/64 7055 /proc/meminfo: memFree=1677912/2055920 swapFree=4181452/4192956 [pid=7055] ppid=7053 vsize=83428 CPUtime=89.92 /proc/7055/stat : 7055 (bsolo) R 7053 7055 7009 0 -1 0 20005 0 0 0 8957 35 0 0 25 0 1 0 202789606 85430272 19920 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541336 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7055/statm: 20857 19920 298 55 0 19749 0 Current children cumulated CPU time (s) 89.92 Current children cumulated vsize (Kb) 83428 [startup+100.061 s] /proc/loadavg: 0.98 0.97 0.98 2/64 7055 /proc/meminfo: memFree=1677592/2055920 swapFree=4181452/4192956 [pid=7055] ppid=7053 vsize=83692 CPUtime=99.92 /proc/7055/stat : 7055 (bsolo) R 7053 7055 7009 0 -1 0 20084 0 0 0 9957 35 0 0 25 0 1 0 202789606 85700608 19999 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7055/statm: 20923 19999 298 55 0 19815 0 Current children cumulated CPU time (s) 99.92 Current children cumulated vsize (Kb) 83692 [startup+110.067 s] /proc/loadavg: 0.98 0.97 0.98 2/64 7055 /proc/meminfo: memFree=1676376/2055920 swapFree=4181452/4192956 [pid=7055] ppid=7053 vsize=84880 CPUtime=109.93 /proc/7055/stat : 7055 (bsolo) R 7053 7055 7009 0 -1 0 20375 0 0 0 10956 37 0 0 25 0 1 0 202789606 86917120 20290 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551610 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7055/statm: 21220 20290 298 55 0 20112 0 Current children cumulated CPU time (s) 109.93 Current children cumulated vsize (Kb) 84880 [startup+120.073 s] /proc/loadavg: 0.99 0.97 0.98 2/64 7055 /proc/meminfo: memFree=1675736/2055920 swapFree=4181452/4192956 [pid=7055] ppid=7053 vsize=85540 CPUtime=119.93 /proc/7055/stat : 7055 (bsolo) R 7053 7055 7009 0 -1 0 20538 0 0 0 11955 38 0 0 25 0 1 0 202789606 87592960 20453 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7055/statm: 21385 20453 298 55 0 20277 0 Current children cumulated CPU time (s) 119.93 Current children cumulated vsize (Kb) 85540 [startup+130.079 s] /proc/loadavg: 0.99 0.97 0.98 2/64 7055 /proc/meminfo: memFree=1675096/2055920 swapFree=4181452/4192956 [pid=7055] ppid=7053 vsize=86196 CPUtime=129.93 /proc/7055/stat : 7055 (bsolo) R 7053 7055 7009 0 -1 0 20708 0 0 0 12954 39 0 0 25 0 1 0 202789606 88264704 20623 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719388 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7055/statm: 21549 20623 298 55 0 20441 0 Current children cumulated CPU time (s) 129.93 Current children cumulated vsize (Kb) 86196 [startup+140.084 s] /proc/loadavg: 0.99 0.97 0.98 2/64 7055 /proc/meminfo: memFree=1674456/2055920 swapFree=4181452/4192956 [pid=7055] ppid=7053 vsize=86856 CPUtime=139.93 /proc/7055/stat : 7055 (bsolo) R 7053 7055 7009 0 -1 0 20866 0 0 0 13953 40 0 0 25 0 1 0 202789606 88940544 20781 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7055/statm: 21714 20781 298 55 0 20606 0 Current children cumulated CPU time (s) 139.93 Current children cumulated vsize (Kb) 86856 [startup+150.09 s] /proc/loadavg: 0.99 0.97 0.98 2/64 7055 /proc/meminfo: memFree=1660376/2055920 swapFree=4181452/4192956 [pid=7055] ppid=7053 vsize=100848 CPUtime=149.93 /proc/7055/stat : 7055 (bsolo) R 7053 7055 7009 0 -1 0 24374 0 0 0 14950 43 0 0 25 0 1 0 202789606 103268352 24289 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542153 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7055/statm: 25212 24289 298 55 0 24104 0 Current children cumulated CPU time (s) 149.93 Current children cumulated vsize (Kb) 100848 [startup+160.096 s] /proc/loadavg: 0.99 0.97 0.98 2/64 7055 /proc/meminfo: memFree=1659608/2055920 swapFree=4181452/4192956 [pid=7055] ppid=7053 vsize=101640 CPUtime=159.94 /proc/7055/stat : 7055 (bsolo) R 7053 7055 7009 0 -1 0 24573 0 0 0 15948 46 0 0 25 0 1 0 202789606 104079360 24488 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541333 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7055/statm: 25410 24488 298 55 0 24302 0 Current children cumulated CPU time (s) 159.94 Current children cumulated vsize (Kb) 101640 [startup+170.102 s] /proc/loadavg: 0.99 0.97 0.98 2/64 7055 /proc/meminfo: memFree=1652248/2055920 swapFree=4181452/4192956 [pid=7055] ppid=7053 vsize=108900 CPUtime=169.94 /proc/7055/stat : 7055 (bsolo) R 7053 7055 7009 0 -1 0 26401 0 0 0 16946 48 0 0 25 0 1 0 202789606 111513600 26316 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528717 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7055/statm: 27225 26316 298 55 0 26117 0 Current children cumulated CPU time (s) 169.94 Current children cumulated vsize (Kb) 108900 [startup+180.108 s] /proc/loadavg: 0.99 0.97 0.98 2/64 7055 /proc/meminfo: memFree=1647896/2055920 swapFree=4181452/4192956 [pid=7055] ppid=7053 vsize=113260 CPUtime=179.94 /proc/7055/stat : 7055 (bsolo) R 7053 7055 7009 0 -1 0 27491 0 0 0 17944 50 0 0 25 0 1 0 202789606 115978240 27406 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540813 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7055/statm: 28315 27406 298 55 0 27207 0 Current children cumulated CPU time (s) 179.94 Current children cumulated vsize (Kb) 113260 [startup+190.113 s] /proc/loadavg: 0.99 0.97 0.98 2/64 7055 /proc/meminfo: memFree=1647320/2055920 swapFree=4181452/4192956 [pid=7055] ppid=7053 vsize=113920 CPUtime=189.95 /proc/7055/stat : 7055 (bsolo) R 7053 7055 7009 0 -1 0 27634 0 0 0 18944 51 0 0 25 0 1 0 202789606 116654080 27549 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7055/statm: 28480 27549 298 55 0 27372 0 Current children cumulated CPU time (s) 189.95 Current children cumulated vsize (Kb) 113920 [startup+200.119 s] /proc/loadavg: 0.99 0.97 0.98 2/64 7055 /proc/meminfo: memFree=1630616/2055920 swapFree=4181452/4192956 [pid=7055] ppid=7053 vsize=130556 CPUtime=199.95 /proc/7055/stat : 7055 (bsolo) R 7053 7055 7009 0 -1 0 31794 0 0 0 19941 54 0 0 25 0 1 0 202789606 133689344 31709 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537593 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7055/statm: 32639 31709 298 55 0 31531 0 Current children cumulated CPU time (s) 199.95 Current children cumulated vsize (Kb) 130556 [startup+210.125 s] /proc/loadavg: 0.99 0.97 0.98 2/64 7055 /proc/meminfo: memFree=1617240/2055920 swapFree=4181452/4192956 ################ # More data... # ################ [pid=7055] ppid=7053 vsize=640232 CPUtime=1781.26 /proc/7055/stat : 7055 (bsolo) R 7053 7055 7009 0 -1 0 168437 0 10 0 177863 263 0 0 25 0 1 0 202789606 655597568 158335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159498794 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7055/statm: 160058 158335 446 55 0 158950 0 Current children cumulated CPU time (s) 1781.26 Current children cumulated vsize (Kb) 640232 [startup+1783.07 s] /proc/loadavg: 0.99 0.97 0.98 2/64 7250 /proc/meminfo: memFree=1121112/2055920 swapFree=4181452/4192956 [pid=7055] ppid=7053 vsize=640232 CPUtime=1782.27 /proc/7055/stat : 7055 (bsolo) R 7053 7055 7009 0 -1 0 168437 0 10 0 177964 263 0 0 25 0 1 0 202789606 655597568 158335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159498697 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7055/statm: 160058 158335 446 55 0 158950 0 Current children cumulated CPU time (s) 1782.27 Current children cumulated vsize (Kb) 640232 [startup+1784.08 s] /proc/loadavg: 0.99 0.97 0.98 2/64 7250 /proc/meminfo: memFree=1121112/2055920 swapFree=4181452/4192956 [pid=7055] ppid=7053 vsize=640232 CPUtime=1783.27 /proc/7055/stat : 7055 (bsolo) R 7053 7055 7009 0 -1 0 168437 0 10 0 178064 263 0 0 25 0 1 0 202789606 655597568 158335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159498716 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7055/statm: 160058 158335 446 55 0 158950 0 Current children cumulated CPU time (s) 1783.27 Current children cumulated vsize (Kb) 640232 [startup+1785.08 s] /proc/loadavg: 0.99 0.97 0.98 2/64 7250 /proc/meminfo: memFree=1121112/2055920 swapFree=4181452/4192956 [pid=7055] ppid=7053 vsize=640232 CPUtime=1784.28 /proc/7055/stat : 7055 (bsolo) R 7053 7055 7009 0 -1 0 168437 0 10 0 178165 263 0 0 25 0 1 0 202789606 655597568 158335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159499080 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7055/statm: 160058 158335 446 55 0 158950 0 Current children cumulated CPU time (s) 1784.28 Current children cumulated vsize (Kb) 640232 [startup+1786.09 s] /proc/loadavg: 0.99 0.97 0.98 2/64 7250 /proc/meminfo: memFree=1121112/2055920 swapFree=4181452/4192956 [pid=7055] ppid=7053 vsize=640232 CPUtime=1785.28 /proc/7055/stat : 7055 (bsolo) R 7053 7055 7009 0 -1 0 168437 0 10 0 178265 263 0 0 25 0 1 0 202789606 655597568 158335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159470781 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7055/statm: 160058 158335 446 55 0 158950 0 Current children cumulated CPU time (s) 1785.28 Current children cumulated vsize (Kb) 640232 [startup+1787.09 s] /proc/loadavg: 0.99 0.97 0.98 2/64 7250 /proc/meminfo: memFree=1121112/2055920 swapFree=4181452/4192956 [pid=7055] ppid=7053 vsize=640232 CPUtime=1786.29 /proc/7055/stat : 7055 (bsolo) R 7053 7055 7009 0 -1 0 168437 0 10 0 178366 263 0 0 25 0 1 0 202789606 655597568 158335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159498792 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7055/statm: 160058 158335 446 55 0 158950 0 Current children cumulated CPU time (s) 1786.29 Current children cumulated vsize (Kb) 640232 [startup+1788.1 s] /proc/loadavg: 0.99 0.97 0.98 2/64 7250 /proc/meminfo: memFree=1121112/2055920 swapFree=4181452/4192956 [pid=7055] ppid=7053 vsize=640232 CPUtime=1787.29 /proc/7055/stat : 7055 (bsolo) R 7053 7055 7009 0 -1 0 168437 0 10 0 178466 263 0 0 25 0 1 0 202789606 655597568 158335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159170014 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7055/statm: 160058 158335 446 55 0 158950 0 Current children cumulated CPU time (s) 1787.29 Current children cumulated vsize (Kb) 640232 [startup+1789.1 s] /proc/loadavg: 0.99 0.97 0.98 2/64 7250 /proc/meminfo: memFree=1121112/2055920 swapFree=4181452/4192956 [pid=7055] ppid=7053 vsize=640232 CPUtime=1788.29 /proc/7055/stat : 7055 (bsolo) R 7053 7055 7009 0 -1 0 168437 0 10 0 178566 263 0 0 25 0 1 0 202789606 655597568 158335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159498939 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7055/statm: 160058 158335 446 55 0 158950 0 Current children cumulated CPU time (s) 1788.29 Current children cumulated vsize (Kb) 640232 [startup+1790.11 s] /proc/loadavg: 0.99 0.97 0.98 2/64 7250 /proc/meminfo: memFree=1121112/2055920 swapFree=4181452/4192956 [pid=7055] ppid=7053 vsize=640232 CPUtime=1789.3 /proc/7055/stat : 7055 (bsolo) R 7053 7055 7009 0 -1 0 168437 0 10 0 178667 263 0 0 25 0 1 0 202789606 655597568 158335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159003256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7055/statm: 160058 158335 446 55 0 158950 0 Current children cumulated CPU time (s) 1789.3 Current children cumulated vsize (Kb) 640232 [startup+1791.11 s] /proc/loadavg: 0.99 0.97 0.98 2/64 7250 /proc/meminfo: memFree=1121112/2055920 swapFree=4181452/4192956 [pid=7055] ppid=7053 vsize=640232 CPUtime=1790.3 /proc/7055/stat : 7055 (bsolo) R 7053 7055 7009 0 -1 0 168437 0 10 0 178767 263 0 0 25 0 1 0 202789606 655597568 158335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159343092 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7055/statm: 160058 158335 446 55 0 158950 0 Current children cumulated CPU time (s) 1790.3 Current children cumulated vsize (Kb) 640232 [startup+1792.12 s] /proc/loadavg: 0.99 0.97 0.98 2/64 7250 /proc/meminfo: memFree=1121112/2055920 swapFree=4181452/4192956 [pid=7055] ppid=7053 vsize=640232 CPUtime=1791.31 /proc/7055/stat : 7055 (bsolo) R 7053 7055 7009 0 -1 0 168437 0 10 0 178868 263 0 0 25 0 1 0 202789606 655597568 158335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159176750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7055/statm: 160058 158335 446 55 0 158950 0 Current children cumulated CPU time (s) 1791.31 Current children cumulated vsize (Kb) 640232 [startup+1793.12 s] /proc/loadavg: 0.99 0.97 0.98 2/64 7250 /proc/meminfo: memFree=1121112/2055920 swapFree=4181452/4192956 [pid=7055] ppid=7053 vsize=640232 CPUtime=1792.31 /proc/7055/stat : 7055 (bsolo) R 7053 7055 7009 0 -1 0 168437 0 10 0 178968 263 0 0 25 0 1 0 202789606 655597568 158335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159498688 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7055/statm: 160058 158335 446 55 0 158950 0 Current children cumulated CPU time (s) 1792.31 Current children cumulated vsize (Kb) 640232 [startup+1794.13 s] /proc/loadavg: 0.99 0.97 0.98 2/64 7250 /proc/meminfo: memFree=1121112/2055920 swapFree=4181452/4192956 [pid=7055] ppid=7053 vsize=640232 CPUtime=1793.32 /proc/7055/stat : 7055 (bsolo) R 7053 7055 7009 0 -1 0 168437 0 10 0 179069 263 0 0 25 0 1 0 202789606 655597568 158335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159502201 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7055/statm: 160058 158335 446 55 0 158950 0 Current children cumulated CPU time (s) 1793.32 Current children cumulated vsize (Kb) 640232 [startup+1795.13 s] /proc/loadavg: 0.99 0.97 0.98 2/64 7250 /proc/meminfo: memFree=1121112/2055920 swapFree=4181452/4192956 [pid=7055] ppid=7053 vsize=640232 CPUtime=1794.32 /proc/7055/stat : 7055 (bsolo) R 7053 7055 7009 0 -1 0 168437 0 10 0 179169 263 0 0 25 0 1 0 202789606 655597568 158335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159498679 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7055/statm: 160058 158335 446 55 0 158950 0 Current children cumulated CPU time (s) 1794.32 Current children cumulated vsize (Kb) 640232 [startup+1796.14 s] /proc/loadavg: 0.99 0.97 0.98 2/64 7250 /proc/meminfo: memFree=1121112/2055920 swapFree=4181452/4192956 [pid=7055] ppid=7053 vsize=640232 CPUtime=1795.33 /proc/7055/stat : 7055 (bsolo) R 7053 7055 7009 0 -1 0 168437 0 10 0 179270 263 0 0 25 0 1 0 202789606 655597568 158335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159498675 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7055/statm: 160058 158335 446 55 0 158950 0 Current children cumulated CPU time (s) 1795.33 Current children cumulated vsize (Kb) 640232 [startup+1797.14 s] /proc/loadavg: 0.99 0.97 0.98 2/64 7250 /proc/meminfo: memFree=1121112/2055920 swapFree=4181452/4192956 [pid=7055] ppid=7053 vsize=640232 CPUtime=1796.33 /proc/7055/stat : 7055 (bsolo) R 7053 7055 7009 0 -1 0 168437 0 10 0 179370 263 0 0 25 0 1 0 202789606 655597568 158335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159498697 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7055/statm: 160058 158335 446 55 0 158950 0 Current children cumulated CPU time (s) 1796.33 Current children cumulated vsize (Kb) 640232 [startup+1798.15 s] /proc/loadavg: 0.99 0.97 0.98 2/64 7250 /proc/meminfo: memFree=1121112/2055920 swapFree=4181452/4192956 [pid=7055] ppid=7053 vsize=640232 CPUtime=1797.34 /proc/7055/stat : 7055 (bsolo) R 7053 7055 7009 0 -1 0 168437 0 10 0 179471 263 0 0 25 0 1 0 202789606 655597568 158335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159498939 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7055/statm: 160058 158335 446 55 0 158950 0 Current children cumulated CPU time (s) 1797.34 Current children cumulated vsize (Kb) 640232 [startup+1799.15 s] /proc/loadavg: 0.99 0.97 0.98 2/64 7250 /proc/meminfo: memFree=1121112/2055920 swapFree=4181452/4192956 [pid=7055] ppid=7053 vsize=640232 CPUtime=1798.34 /proc/7055/stat : 7055 (bsolo) R 7053 7055 7009 0 -1 0 168437 0 10 0 179571 263 0 0 25 0 1 0 202789606 655597568 158335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159498949 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7055/statm: 160058 158335 446 55 0 158950 0 Current children cumulated CPU time (s) 1798.34 Current children cumulated vsize (Kb) 640232 [startup+1800.16 s] /proc/loadavg: 0.99 0.97 0.98 2/64 7250 /proc/meminfo: memFree=1121112/2055920 swapFree=4181452/4192956 [pid=7055] ppid=7053 vsize=640232 CPUtime=1799.34 /proc/7055/stat : 7055 (bsolo) R 7053 7055 7009 0 -1 0 168437 0 10 0 179671 263 0 0 25 0 1 0 202789606 655597568 158335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160273176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7055/statm: 160058 158335 446 55 0 158950 0 Current children cumulated CPU time (s) 1799.34 Current children cumulated vsize (Kb) 640232 [startup+1801.16 s] /proc/loadavg: 0.99 0.97 0.98 2/64 7250 /proc/meminfo: memFree=1121112/2055920 swapFree=4181452/4192956 [pid=7055] ppid=7053 vsize=640232 CPUtime=1800.35 /proc/7055/stat : 7055 (bsolo) R 7053 7055 7009 0 -1 0 168437 0 10 0 179772 263 0 0 25 0 1 0 202789606 655597568 158335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159498792 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7055/statm: 160058 158335 446 55 0 158950 0 Current children cumulated CPU time (s) 1800.35 Current children cumulated vsize (Kb) 640232 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.17 s] /proc/loadavg: 0.99 0.97 0.98 2/64 7250 /proc/meminfo: memFree=1121112/2055920 swapFree=4181452/4192956 [pid=7055] ppid=7053 vsize=640232 CPUtime=1800.35 /proc/7055/stat : 7055 (bsolo) R 7053 7055 7009 0 -1 0 168437 0 10 0 179772 263 0 0 25 0 1 0 202789606 655597568 158335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159343062 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7055/statm: 160058 158335 446 55 0 158950 0 Current children cumulated CPU time (s) 1800.35 Current children cumulated vsize (Kb) 640232 Sending SIGTERM to -7055 Sleeping 2 seconds Child status: 10 Real time (s): 1801.28 CPU time (s): 1800.48 CPU user time (s): 1797.74 CPU system time (s): 2.73958 CPU usage (%): 99.9554 Max. virtual memory (cumulated for all children) (Kb): 640232
Begin job on node36 on Sat Jun 3 21:47:15 UTC 2006 FILE ID= 40123-1149371235 PBS_JOBID= 312207 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv11.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node36/40123-1149371235/instance-40123-1149371235.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node36/watcher-40123-1149371235 -o ROOT/results/node36/solver-40123-1149371235 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node36/40123-1149371235/instance-40123-1149371235.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= a74bcf40291587dc368e3a23fd278be9 RANDOM SEED= 26842394 /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.284 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.284 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: 1756584 kB Buffers: 23728 kB Cached: 209524 kB SwapCached: 3320 kB Active: 50464 kB Inactive: 191648 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1756584 kB SwapTotal: 4192956 kB SwapFree: 4181452 kB Dirty: 192 kB Writeback: 0 kB Mapped: 14932 kB Slab: 43260 kB Committed_AS: 326024 kB PageTables: 1428 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node36 on Sat Jun 3 22:17:16 UTC 2006