Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? (TO) | 1800.11 | 1800.95 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-dano3mip.opb |
MD5SUM | 97b175564b36442f64835a62ac7058b3 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 399966 |
Total number of constraints | 3226 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 48 |
Number of constraints which are nor clauses,nor cardinality constraints | 3178 |
Minimum length of a constraint | 21 |
Maximum length of a constraint | 15900 |
Number of terms in the objective function | 30 |
Biggest coefficient in the objective function | 536870912 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 1073741823 |
Number of bits of the sum of numbers in the objective function | 30 |
Biggest number in a constraint | 67108864000 |
Number of bits of the biggest number in a constraint | 36 |
Biggest sum of numbers in a constraint | 569083166190 |
Number of bits of the biggest sum of numbers | 40 |
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/0.04 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.04 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.04 c type "bsolo -h" for help 0.00/0.04 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.04 c Time Limit set to 1800 0.00/0.04 c Memory Limit set to 1800 MB 0.00/0.04 c Instance file /tmp/evaluation/349574-1176709222/instance-349574-1176709222.opb 0.00/0.04 c File size is 32138337 bytes. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.07 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.08 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.09 c Coefficients are big enough for not using lower bounding. 0.03/0.10 c Coefficients are big enough for not using lower bounding. 0.06/0.10 c Coefficients are big enough for not using lower bounding. 0.06/0.10 c Coefficients are big enough for not using lower bounding. 0.06/0.10 c Coefficients are big enough for not using lower bounding. 0.06/0.10 c Coefficients are big enough for not using lower bounding. 0.06/0.10 c Coefficients are big enough for not using lower bounding. 0.06/0.11 c Coefficients are big enough for not using lower bounding. 0.06/0.11 c Coefficients are big enough for not using lower bounding. 0.06/0.11 c Coefficients are big enough for not using lower bounding. 0.06/0.11 c Coefficients are big enough for not using lower bounding. 0.06/0.11 c Coefficients are big enough for not using lower bounding. 0.06/0.11 c Coefficients are big enough for not using lower bounding. 0.06/0.11 c Coefficients are big enough for not using lower bounding. 0.06/0.12 c Coefficients are big enough for not using lower bounding. 0.06/0.12 c Coefficients are big enough for not using lower bounding. 0.06/0.12 c Coefficients are big enough for not using lower bounding. 0.06/0.12 c Coefficients are big enough for not using lower bounding. 0.06/0.12 c Coefficients are big enough for not using lower bounding. 0.06/0.12 c Coefficients are big enough for not using lower bounding. 0.06/0.12 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.13 c Coefficients are big enough for not using lower bounding. 0.06/0.14 c Coefficients are big enough for not using lower bounding. 0.06/0.14 c Coefficients are big enough for not using lower bounding. 0.06/0.14 c Coefficients are big enough for not using lower bounding. 0.06/0.14 c Coefficients are big enough for not using lower bounding. 0.06/0.14 c Coefficients are big enough for not using lower bounding. 0.06/0.15 c Coefficients are big enough for not using lower bounding. 0.06/0.15 c Coefficients are big enough for not using lower bounding. 0.06/0.15 c Coefficients are big enough for not using lower bounding. 0.06/0.15 c Coefficients are big enough for not using lower bounding. 0.06/0.15 c Coefficients are big enough for not using lower bounding. 0.06/0.15 c Coefficients are big enough for not using lower bounding. 0.06/0.16 c Coefficients are big enough for not using lower bounding. 0.06/0.16 c Coefficients are big enough for not using lower bounding. 0.06/0.16 c Coefficients are big enough for not using lower bounding. 0.06/0.16 c Coefficients are big enough for not using lower bounding. 0.06/0.16 c Coefficients are big enough for not using lower bounding. 0.06/0.16 c Coefficients are big enough for not using lower bounding. 0.06/0.16 c Coefficients are big enough for not using lower bounding. 0.06/0.17 c Coefficients are big enough for not using lower bounding. 0.06/0.17 c Coefficients are big enough for not using lower bounding. 0.06/0.17 c Coefficients are big enough for not using lower bounding. 0.06/0.17 c Coefficients are big enough for not using lower bounding. 0.06/0.17 c Coefficients are big enough for not using lower bounding. 0.06/0.17 c Coefficients are big enough for not using lower bounding. 0.06/0.17 c Coefficients are big enough for not using lower bounding. 0.06/0.18 c Coefficients are big enough for not using lower bounding. 0.06/0.18 c Coefficients are big enough for not using lower bounding. 0.06/0.18 c Coefficients are big enough for not using lower bounding. 0.06/0.18 c Coefficients are big enough for not using lower bounding. 0.06/0.18 c Coefficients are big enough for not using lower bounding. 0.06/0.18 c Coefficients are big enough for not using lower bounding. 0.06/0.19 c Coefficients are big enough for not using lower bounding. 0.06/0.19 c Coefficients are big enough for not using lower bounding. 0.06/0.19 c Coefficients are big enough for not using lower bounding. 0.06/0.19 c Coefficients are big enough for not using lower bounding. 0.06/0.19 c Coefficients are big enough for not using lower bounding. 0.06/0.19 c Coefficients are big enough for not using lower bounding. 0.06/0.20 c Coefficients are big enough for not using lower bounding. 0.15/0.20 c Coefficients are big enough for not using lower bounding. 0.15/0.20 c Coefficients are big enough for not using lower bounding. 0.15/0.21 c Coefficients are big enough for not using lower bounding. 0.15/0.21 c Coefficients are big enough for not using lower bounding. 0.15/0.21 c Coefficients are big enough for not using lower bounding. 0.15/0.21 c Coefficients are big enough for not using lower bounding. 0.15/0.22 c Coefficients are big enough for not using lower bounding. 0.15/0.22 c Coefficients are big enough for not using lower bounding. 0.15/0.23 c Coefficients are big enough for not using lower bounding. 0.15/0.23 c Coefficients are big enough for not using lower bounding. 0.15/0.23 c Coefficients are big enough for not using lower bounding. 0.15/0.24 c Coefficients are big enough for not using lower bounding. 0.15/0.24 c Coefficients are big enough for not using lower bounding. 0.15/0.24 c Coefficients are big enough for not using lower bounding. 0.15/0.24 c Coefficients are big enough for not using lower bounding. 0.15/0.25 c Coefficients are big enough for not using lower bounding. 0.15/0.25 c Coefficients are big enough for not using lower bounding. 0.15/0.25 c Coefficients are big enough for not using lower bounding. 0.15/0.26 c Coefficients are big enough for not using lower bounding. 0.15/0.26 c Coefficients are big enough for not using lower bounding. 0.15/0.26 c Coefficients are big enough for not using lower bounding. 0.15/0.26 c Coefficients are big enough for not using lower bounding. 0.15/0.27 c Coefficients are big enough for not using lower bounding. 0.15/0.27 c Coefficients are big enough for not using lower bounding. 0.15/0.27 c Coefficients are big enough for not using lower bounding. 0.15/0.28 c Coefficients are big enough for not using lower bounding. 0.15/0.28 c Coefficients are big enough for not using lower bounding. 0.15/0.28 c Coefficients are big enough for not using lower bounding. 0.15/0.29 c Coefficients are big enough for not using lower bounding. 0.15/0.29 c Coefficients are big enough for not using lower bounding. 0.15/0.29 c Coefficients are big enough for not using lower bounding. 0.15/0.30 c Coefficients are big enough for not using lower bounding. 0.25/0.30 c Coefficients are big enough for not using lower bounding. 0.25/0.31 c Coefficients are big enough for not using lower bounding. 0.25/0.31 c Coefficients are big enough for not using lower bounding. 0.25/0.32 c Coefficients are big enough for not using lower bounding. 0.25/0.32 c Coefficients are big enough for not using lower bounding. 0.25/0.32 c Coefficients are big enough for not using lower bounding. 0.25/0.33 c Coefficients are big enough for not using lower bounding. 0.25/0.33 c Coefficients are big enough for not using lower bounding. 0.25/0.33 c Coefficients are big enough for not using lower bounding. 0.25/0.34 c Coefficients are big enough for not using lower bounding. 0.25/0.34 c Coefficients are big enough for not using lower bounding. 0.25/0.34 c Coefficients are big enough for not using lower bounding. 0.25/0.34 c Coefficients are big enough for not using lower bounding. 0.25/0.35 c Coefficients are big enough for not using lower bounding. 0.25/0.35 c Coefficients are big enough for not using lower bounding. 0.25/0.35 c Coefficients are big enough for not using lower bounding. 0.25/0.36 c Coefficients are big enough for not using lower bounding. 0.25/0.36 c Coefficients are big enough for not using lower bounding. 0.25/0.36 c Coefficients are big enough for not using lower bounding. 0.25/0.37 c Coefficients are big enough for not using lower bounding. 0.25/0.37 c Coefficients are big enough for not using lower bounding. 0.25/0.37 c Coefficients are big enough for not using lower bounding. 0.25/0.38 c Coefficients are big enough for not using lower bounding. 0.25/0.38 c Coefficients are big enough for not using lower bounding. 0.25/0.38 c Coefficients are big enough for not using lower bounding. 0.25/0.39 c Coefficients are big enough for not using lower bounding. 0.25/0.39 c Coefficients are big enough for not using lower bounding. 0.25/0.39 c Coefficients are big enough for not using lower bounding. 0.25/0.40 c Coefficients are big enough for not using lower bounding. 0.36/0.40 c Coefficients are big enough for not using lower bounding. 0.36/0.40 c Coefficients are big enough for not using lower bounding. 0.36/0.41 c Coefficients are big enough for not using lower bounding. 0.36/0.41 c Coefficients are big enough for not using lower bounding. 0.36/0.41 c Coefficients are big enough for not using lower bounding. 0.36/0.42 c Coefficients are big enough for not using lower bounding. 0.36/0.42 c Coefficients are big enough for not using lower bounding. 0.36/0.42 c Coefficients are big enough for not using lower bounding. 0.36/0.43 c Coefficients are big enough for not using lower bounding. 0.36/0.43 c Coefficients are big enough for not using lower bounding. 0.36/0.43 c Coefficients are big enough for not using lower bounding. 0.36/0.43 c Coefficients are big enough for not using lower bounding. 0.36/0.44 c Coefficients are big enough for not using lower bounding. 0.36/0.44 c Coefficients are big enough for not using lower bounding. 0.36/0.44 c Coefficients are big enough for not using lower bounding. 0.36/0.45 c Coefficients are big enough for not using lower bounding. 0.36/0.45 c Coefficients are big enough for not using lower bounding. 0.36/0.45 c Coefficients are big enough for not using lower bounding. 0.36/0.46 c Coefficients are big enough for not using lower bounding. 0.36/0.46 c Coefficients are big enough for not using lower bounding. 0.36/0.46 c Coefficients are big enough for not using lower bounding. 0.36/0.47 c Coefficients are big enough for not using lower bounding. 0.36/0.47 c Coefficients are big enough for not using lower bounding. 0.36/0.47 c Coefficients are big enough for not using lower bounding. 0.36/0.48 c Coefficients are big enough for not using lower bounding. 0.36/0.48 c Coefficients are big enough for not using lower bounding. 0.36/0.48 c Coefficients are big enough for not using lower bounding. 0.36/0.49 c Coefficients are big enough for not using lower bounding. 0.36/0.49 c Coefficients are big enough for not using lower bounding. 0.36/0.49 c Coefficients are big enough for not using lower bounding. 0.46/0.50 c Coefficients are big enough for not using lower bounding. 0.46/0.50 c Coefficients are big enough for not using lower bounding. 0.46/0.50 c Coefficients are big enough for not using lower bounding. 0.46/0.51 c Coefficients are big enough for not using lower bounding. 0.46/0.51 c Coefficients are big enough for not using lower bounding. 0.46/0.51 c Coefficients are big enough for not using lower bounding. 0.46/0.52 c Coefficients are big enough for not using lower bounding. 0.46/0.52 c Coefficients are big enough for not using lower bounding. 0.46/0.52 c Coefficients are big enough for not using lower bounding. 0.46/0.53 c Coefficients are big enough for not using lower bounding. 0.46/0.53 c Coefficients are big enough for not using lower bounding. 0.46/0.53 c Coefficients are big enough for not using lower bounding. 0.46/0.53 c Coefficients are big enough for not using lower bounding. 0.46/0.54 c Coefficients are big enough for not using lower bounding. 0.46/0.54 c Coefficients are big enough for not using lower bounding. 0.46/0.55 c Coefficients are big enough for not using lower bounding. 0.46/0.55 c Coefficients are big enough for not using lower bounding. 0.46/0.55 c Coefficients are big enough for not using lower bounding. 0.46/0.56 c Coefficients are big enough for not using lower bounding. 0.46/0.56 c Coefficients are big enough for not using lower bounding. 0.46/0.56 c Coefficients are big enough for not using lower bounding. 0.46/0.57 c Coefficients are big enough for not using lower bounding. 0.46/0.57 c Coefficients are big enough for not using lower bounding. 0.46/0.57 c Coefficients are big enough for not using lower bounding. 0.46/0.58 c Coefficients are big enough for not using lower bounding. 0.46/0.58 c Coefficients are big enough for not using lower bounding. 0.46/0.58 c Coefficients are big enough for not using lower bounding. 0.46/0.59 c Coefficients are big enough for not using lower bounding. 0.46/0.59 c Coefficients are big enough for not using lower bounding. 0.46/0.59 c Coefficients are big enough for not using lower bounding. 0.46/0.60 c Coefficients are big enough for not using lower bounding. 0.56/0.60 c Coefficients are big enough for not using lower bounding. 0.56/0.60 c Coefficients are big enough for not using lower bounding. 0.56/0.61 c Coefficients are big enough for not using lower bounding. 0.56/0.61 c Coefficients are big enough for not using lower bounding. 0.56/0.61 c Coefficients are big enough for not using lower bounding. 0.56/0.62 c Coefficients are big enough for not using lower bounding. 0.56/0.62 c Coefficients are big enough for not using lower bounding. 0.56/0.62 c Coefficients are big enough for not using lower bounding. 0.56/0.63 c Coefficients are big enough for not using lower bounding. 0.56/0.63 c Coefficients are big enough for not using lower bounding. 0.56/0.64 c Coefficients are big enough for not using lower bounding. 0.56/0.64 c Coefficients are big enough for not using lower bounding. 0.56/0.64 c Coefficients are big enough for not using lower bounding. 0.56/0.65 c Coefficients are big enough for not using lower bounding. 0.56/0.65 c Coefficients are big enough for not using lower bounding. 0.56/0.65 c Coefficients are big enough for not using lower bounding. 0.56/0.66 c Coefficients are big enough for not using lower bounding. 0.56/0.66 c Coefficients are big enough for not using lower bounding. 0.56/0.66 c Coefficients are big enough for not using lower bounding. 0.56/0.67 c Coefficients are big enough for not using lower bounding. 0.56/0.67 c Coefficients are big enough for not using lower bounding. 0.56/0.67 c Coefficients are big enough for not using lower bounding. 0.56/0.68 c Coefficients are big enough for not using lower bounding. 0.56/0.68 c Coefficients are big enough for not using lower bounding. 0.56/0.68 c Coefficients are big enough for not using lower bounding. 0.56/0.69 c Coefficients are big enough for not using lower bounding. 0.56/0.69 c Coefficients are big enough for not using lower bounding. 0.56/0.69 c Coefficients are big enough for not using lower bounding. 0.56/0.69 c Coefficients are big enough for not using lower bounding. 0.65/0.70 c Coefficients are big enough for not using lower bounding. 0.65/0.70 c Coefficients are big enough for not using lower bounding. 0.65/0.71 c Coefficients are big enough for not using lower bounding. 0.65/0.71 c Coefficients are big enough for not using lower bounding. 0.65/0.71 c Coefficients are big enough for not using lower bounding. 0.65/0.72 c Coefficients are big enough for not using lower bounding. 0.65/0.72 c Coefficients are big enough for not using lower bounding. 0.65/0.72 c Coefficients are big enough for not using lower bounding. 0.65/0.73 c Coefficients are big enough for not using lower bounding. 0.65/0.73 c Coefficients are big enough for not using lower bounding. 0.65/0.74 c Coefficients are big enough for not using lower bounding. 0.65/0.74 c Coefficients are big enough for not using lower bounding. 0.65/0.74 c Coefficients are big enough for not using lower bounding. 0.65/0.75 c Coefficients are big enough for not using lower bounding. 0.65/0.75 c Coefficients are big enough for not using lower bounding. 0.65/0.75 c Coefficients are big enough for not using lower bounding. 0.65/0.76 c Coefficients are big enough for not using lower bounding. 0.65/0.76 c Coefficients are big enough for not using lower bounding. 0.65/0.76 c Coefficients are big enough for not using lower bounding. 0.65/0.77 c Coefficients are big enough for not using lower bounding. 0.65/0.77 c Coefficients are big enough for not using lower bounding. 0.65/0.77 c Coefficients are big enough for not using lower bounding. 0.65/0.78 c Coefficients are big enough for not using lower bounding. 0.65/0.78 c Coefficients are big enough for not using lower bounding. 0.65/0.78 c Coefficients are big enough for not using lower bounding. 0.65/0.79 c Coefficients are big enough for not using lower bounding. 0.65/0.79 c Coefficients are big enough for not using lower bounding. 0.65/0.79 c Coefficients are big enough for not using lower bounding. 0.76/0.80 c Coefficients are big enough for not using lower bounding. 0.76/0.80 c Coefficients are big enough for not using lower bounding. 0.76/0.80 c Coefficients are big enough for not using lower bounding. 0.76/0.81 c Coefficients are big enough for not using lower bounding. 0.76/0.81 c Coefficients are big enough for not using lower bounding. 0.76/0.82 c Coefficients are big enough for not using lower bounding. 0.76/0.84 c Coefficients are big enough for not using lower bounding. 0.76/0.84 c Coefficients are big enough for not using lower bounding. 0.76/0.84 c Coefficients are big enough for not using lower bounding. 0.76/0.85 c Coefficients are big enough for not using lower bounding. 0.76/0.85 c Coefficients are big enough for not using lower bounding. 0.76/0.86 c Coefficients are big enough for not using lower bounding. 0.76/0.86 c Coefficients are big enough for not using lower bounding. 0.76/0.86 c Coefficients are big enough for not using lower bounding. 0.76/0.87 c Coefficients are big enough for not using lower bounding. 0.76/0.87 c Coefficients are big enough for not using lower bounding. 0.76/0.87 c Coefficients are big enough for not using lower bounding. 0.76/0.88 c Coefficients are big enough for not using lower bounding. 0.76/0.88 c Coefficients are big enough for not using lower bounding. 0.76/0.88 c Coefficients are big enough for not using lower bounding. 0.76/0.89 c Coefficients are big enough for not using lower bounding. 0.76/0.89 c Coefficients are big enough for not using lower bounding. 0.76/0.89 c Coefficients are big enough for not using lower bounding. 0.76/0.90 c Coefficients are big enough for not using lower bounding. 0.86/0.90 c Coefficients are big enough for not using lower bounding. 0.86/0.90 c Coefficients are big enough for not using lower bounding. 0.86/0.91 c Coefficients are big enough for not using lower bounding. 0.86/0.91 c Coefficients are big enough for not using lower bounding. 0.86/0.92 c Coefficients are big enough for not using lower bounding. 0.86/0.92 c Coefficients are big enough for not using lower bounding. 0.86/0.93 c Coefficients are big enough for not using lower bounding. 0.86/0.93 c Coefficients are big enough for not using lower bounding. 0.86/0.93 c Coefficients are big enough for not using lower bounding. 0.86/0.94 c Coefficients are big enough for not using lower bounding. 0.86/0.94 c Coefficients are big enough for not using lower bounding. 0.86/0.94 c Coefficients are big enough for not using lower bounding. 0.86/0.95 c Coefficients are big enough for not using lower bounding. 0.86/0.95 c Coefficients are big enough for not using lower bounding. 0.86/0.95 c Coefficients are big enough for not using lower bounding. 0.86/0.96 c Coefficients are big enough for not using lower bounding. 0.86/0.96 c Coefficients are big enough for not using lower bounding. 0.86/0.96 c Coefficients are big enough for not using lower bounding. 0.86/0.97 c Coefficients are big enough for not using lower bounding. 0.86/0.97 c Coefficients are big enough for not using lower bounding. 0.86/0.97 c Coefficients are big enough for not using lower bounding. 0.86/0.98 c Coefficients are big enough for not using lower bounding. 0.86/0.98 c Coefficients are big enough for not using lower bounding. 0.86/0.98 c Coefficients are big enough for not using lower bounding. 0.86/0.99 c Coefficients are big enough for not using lower bounding. 0.86/0.99 c Coefficients are big enough for not using lower bounding. 0.86/1.00 c Coefficients are big enough for not using lower bounding. 0.95/1.00 c Coefficients are big enough for not using lower bounding. 0.95/1.01 c Coefficients are big enough for not using lower bounding. 0.95/1.01 c Coefficients are big enough for not using lower bounding. 0.95/1.02 c Coefficients are big enough for not using lower bounding. 0.95/1.02 c Coefficients are big enough for not using lower bounding. 0.95/1.03 c Coefficients are big enough for not using lower bounding. 0.95/1.03 c Coefficients are big enough for not using lower bounding. 0.95/1.04 c Coefficients are big enough for not using lower bounding. 0.95/1.04 c Coefficients are big enough for not using lower bounding. 0.95/1.04 c Coefficients are big enough for not using lower bounding. 0.95/1.05 c Coefficients are big enough for not using lower bounding. 0.95/1.05 c Coefficients are big enough for not using lower bounding. 0.95/1.06 c Coefficients are big enough for not using lower bounding. 0.95/1.06 c Coefficients are big enough for not using lower bounding. 0.95/1.06 c Coefficients are big enough for not using lower bounding. 0.95/1.07 c Coefficients are big enough for not using lower bounding. 0.95/1.07 c Coefficients are big enough for not using lower bounding. 0.95/1.07 c Coefficients are big enough for not using lower bounding. 0.95/1.08 c Coefficients are big enough for not using lower bounding. 0.95/1.08 c Coefficients are big enough for not using lower bounding. 0.95/1.09 c Coefficients are big enough for not using lower bounding. 0.95/1.09 c Coefficients are big enough for not using lower bounding. 0.95/1.09 c Coefficients are big enough for not using lower bounding. 0.95/1.10 c Coefficients are big enough for not using lower bounding. 1.05/1.10 c Coefficients are big enough for not using lower bounding. 1.05/1.11 c Coefficients are big enough for not using lower bounding. 1.05/1.11 c Coefficients are big enough for not using lower bounding. 1.05/1.12 c Coefficients are big enough for not using lower bounding. 1.05/1.12 c Coefficients are big enough for not using lower bounding. 1.05/1.12 c Coefficients are big enough for not using lower bounding. 1.05/1.13 c Coefficients are big enough for not using lower bounding. 1.05/1.13 c Coefficients are big enough for not using lower bounding. 1.05/1.14 c Coefficients are big enough for not using lower bounding. 1.05/1.14 c Coefficients are big enough for not using lower bounding. 1.05/1.15 c Coefficients are big enough for not using lower bounding. 1.05/1.15 c Coefficients are big enough for not using lower bounding. 1.05/1.16 c Coefficients are big enough for not using lower bounding. 1.05/1.16 c Coefficients are big enough for not using lower bounding. 1.05/1.16 c Coefficients are big enough for not using lower bounding. 1.05/1.17 c Coefficients are big enough for not using lower bounding. 1.05/1.17 c Coefficients are big enough for not using lower bounding. 1.05/1.18 c Coefficients are big enough for not using lower bounding. 1.05/1.18 c Coefficients are big enough for not using lower bounding. 1.05/1.18 c Coefficients are big enough for not using lower bounding. 1.05/1.19 c Coefficients are big enough for not using lower bounding. 1.05/1.19 c Coefficients are big enough for not using lower bounding. 1.05/1.19 c Coefficients are big enough for not using lower bounding. 1.15/1.20 c Coefficients are big enough for not using lower bounding. 1.15/1.20 c Coefficients are big enough for not using lower bounding. 1.15/1.21 c Coefficients are big enough for not using lower bounding. 1.15/1.21 c Coefficients are big enough for not using lower bounding. 1.15/1.22 c Coefficients are big enough for not using lower bounding. 1.15/1.22 c Coefficients are big enough for not using lower bounding. 1.15/1.23 c Coefficients are big enough for not using lower bounding. 1.15/1.23 c Coefficients are big enough for not using lower bounding. 1.15/1.24 c Coefficients are big enough for not using lower bounding. 1.15/1.24 c Coefficients are big enough for not using lower bounding. 1.15/1.24 c Coefficients are big enough for not using lower bounding. 1.15/1.25 c Coefficients are big enough for not using lower bounding. 1.15/1.25 c Coefficients are big enough for not using lower bounding. 1.15/1.26 c Coefficients are big enough for not using lower bounding. 1.15/1.26 c Coefficients are big enough for not using lower bounding. 1.15/1.27 c Coefficients are big enough for not using lower bounding. 1.15/1.27 c Coefficients are big enough for not using lower bounding. 1.15/1.27 c Coefficients are big enough for not using lower bounding. 1.15/1.28 c Coefficients are big enough for not using lower bounding. 1.15/1.28 c Coefficients are big enough for not using lower bounding. 1.15/1.29 c Coefficients are big enough for not using lower bounding. 1.15/1.29 c Coefficients are big enough for not using lower bounding. 1.15/1.29 c Coefficients are big enough for not using lower bounding. 1.25/1.30 c Coefficients are big enough for not using lower bounding. 1.25/1.30 c Coefficients are big enough for not using lower bounding. 1.25/1.30 c Coefficients are big enough for not using lower bounding. 1.25/1.31 c Coefficients are big enough for not using lower bounding. 1.25/1.31 c Coefficients are big enough for not using lower bounding. 1.25/1.32 c Coefficients are big enough for not using lower bounding. 1.25/1.32 c Coefficients are big enough for not using lower bounding. 1.25/1.33 c Coefficients are big enough for not using lower bounding. 1.25/1.33 c Coefficients are big enough for not using lower bounding. 1.25/1.34 c Coefficients are big enough for not using lower bounding. 1.25/1.34 c Coefficients are big enough for not using lower bounding. 1.25/1.35 c Coefficients are big enough for not using lower bounding. 1.25/1.35 c Coefficients are big enough for not using lower bounding. 1.25/1.36 c Coefficients are big enough for not using lower bounding. 1.25/1.36 c Coefficients are big enough for not using lower bounding. 1.25/1.37 c Coefficients are big enough for not using lower bounding. 1.25/1.37 c Coefficients are big enough for not using lower bounding. 1.25/1.37 c Coefficients are big enough for not using lower bounding. 1.25/1.38 c Coefficients are big enough for not using lower bounding. 1.25/1.38 c Coefficients are big enough for not using lower bounding. 1.25/1.39 c Coefficients are big enough for not using lower bounding. 1.25/1.39 c Coefficients are big enough for not using lower bounding. 1.25/1.39 c Coefficients are big enough for not using lower bounding. 1.35/1.40 c Coefficients are big enough for not using lower bounding. 1.35/1.40 c Coefficients are big enough for not using lower bounding. 1.35/1.41 c Coefficients are big enough for not using lower bounding. 1.35/1.41 c Coefficients are big enough for not using lower bounding. 1.35/1.41 c Coefficients are big enough for not using lower bounding. 1.35/1.42 c Coefficients are big enough for not using lower bounding. 1.35/1.42 c Coefficients are big enough for not using lower bounding. 1.35/1.43 c Coefficients are big enough for not using lower bounding. 1.35/1.43 c Coefficients are big enough for not using lower bounding. 1.35/1.44 c Coefficients are big enough for not using lower bounding. 1.35/1.44 c Coefficients are big enough for not using lower bounding. 1.35/1.45 c Coefficients are big enough for not using lower bounding. 1.35/1.45 c Coefficients are big enough for not using lower bounding. 1.35/1.46 c Coefficients are big enough for not using lower bounding. 1.35/1.46 c Coefficients are big enough for not using lower bounding. 1.35/1.47 c Coefficients are big enough for not using lower bounding. 1.35/1.47 c Coefficients are big enough for not using lower bounding. 1.35/1.47 c Coefficients are big enough for not using lower bounding. 1.35/1.48 c Coefficients are big enough for not using lower bounding. 1.35/1.48 c Coefficients are big enough for not using lower bounding. 1.35/1.49 c Coefficients are big enough for not using lower bounding. 1.35/1.49 c Coefficients are big enough for not using lower bounding. 1.35/1.50 c Coefficients are big enough for not using lower bounding. 1.45/1.50 c Coefficients are big enough for not using lower bounding. 1.45/1.50 c Coefficients are big enough for not using lower bounding. 1.45/1.51 c Coefficients are big enough for not using lower bounding. 1.45/1.51 c Coefficients are big enough for not using lower bounding. 1.45/1.52 c Coefficients are big enough for not using lower bounding. 1.45/1.52 c Coefficients are big enough for not using lower bounding. 1.45/1.52 c Coefficients are big enough for not using lower bounding. 1.45/1.53 c Coefficients are big enough for not using lower bounding. 1.45/1.53 c Coefficients are big enough for not using lower bounding. 1.45/1.54 c Coefficients are big enough for not using lower bounding. 1.45/1.54 c Coefficients are big enough for not using lower bounding. 1.45/1.55 c Coefficients are big enough for not using lower bounding. 1.45/1.55 c Coefficients are big enough for not using lower bounding. 1.45/1.56 c Coefficients are big enough for not using lower bounding. 1.45/1.56 c Coefficients are big enough for not using lower bounding. 1.45/1.57 c Coefficients are big enough for not using lower bounding. 1.45/1.57 c Coefficients are big enough for not using lower bounding. 1.45/1.58 c Coefficients are big enough for not using lower bounding. 1.45/1.58 c Coefficients are big enough for not using lower bounding. 1.45/1.59 c Coefficients are big enough for not using lower bounding. 1.45/1.59 c Coefficients are big enough for not using lower bounding. 1.45/1.59 c Coefficients are big enough for not using lower bounding. 1.54/1.60 c Coefficients are big enough for not using lower bounding. 1.54/1.60 c Coefficients are big enough for not using lower bounding. 1.54/1.61 c Coefficients are big enough for not using lower bounding. 1.54/1.61 c Coefficients are big enough for not using lower bounding. 1.54/1.61 c Coefficients are big enough for not using lower bounding. 1.54/1.62 c Coefficients are big enough for not using lower bounding. 1.54/1.62 c Coefficients are big enough for not using lower bounding. 1.54/1.63 c Coefficients are big enough for not using lower bounding. 1.54/1.63 c Coefficients are big enough for not using lower bounding. 1.54/1.64 c Coefficients are big enough for not using lower bounding. 1.54/1.64 c Coefficients are big enough for not using lower bounding. 1.54/1.64 c Coefficients are big enough for not using lower bounding. 1.54/1.65 c Coefficients are big enough for not using lower bounding. 1.54/1.65 c Coefficients are big enough for not using lower bounding. 1.54/1.66 c Coefficients are big enough for not using lower bounding. 1.54/1.66 c Coefficients are big enough for not using lower bounding. 1.54/1.67 c Coefficients are big enough for not using lower bounding. 1.54/1.67 c Coefficients are big enough for not using lower bounding. 1.54/1.68 c Coefficients are big enough for not using lower bounding. 1.54/1.69 c Coefficients are big enough for not using lower bounding. 1.54/1.69 c Coefficients are big enough for not using lower bounding. 1.54/1.70 c Coefficients are big enough for not using lower bounding. 1.65/1.70 c Coefficients are big enough for not using lower bounding. 1.65/1.71 c Coefficients are big enough for not using lower bounding. 1.65/1.71 c Coefficients are big enough for not using lower bounding. 1.65/1.72 c Coefficients are big enough for not using lower bounding. 1.65/1.72 c Coefficients are big enough for not using lower bounding. 1.65/1.72 c Coefficients are big enough for not using lower bounding. 1.65/1.73 c Coefficients are big enough for not using lower bounding. 1.65/1.73 c Coefficients are big enough for not using lower bounding. 1.65/1.74 c Coefficients are big enough for not using lower bounding. 1.65/1.74 c Coefficients are big enough for not using lower bounding. 1.65/1.74 c Coefficients are big enough for not using lower bounding. 1.65/1.75 c Coefficients are big enough for not using lower bounding. 1.65/1.75 c Coefficients are big enough for not using lower bounding. 1.65/1.76 c Coefficients are big enough for not using lower bounding. 1.65/1.76 c Coefficients are big enough for not using lower bounding. 1.65/1.77 c Coefficients are big enough for not using lower bounding. 1.65/1.77 c Coefficients are big enough for not using lower bounding. 1.65/1.78 c Coefficients are big enough for not using lower bounding. 1.65/1.78 c Coefficients are big enough for not using lower bounding. 1.65/1.79 c Coefficients are big enough for not using lower bounding. 1.65/1.79 c Coefficients are big enough for not using lower bounding. 1.65/1.80 c Coefficients are big enough for not using lower bounding. 1.75/1.80 c Coefficients are big enough for not using lower bounding. 1.75/1.81 c Coefficients are big enough for not using lower bounding. 1.75/1.81 c Coefficients are big enough for not using lower bounding. 1.75/1.82 c Coefficients are big enough for not using lower bounding. 1.75/1.82 c Coefficients are big enough for not using lower bounding. 1.75/1.83 c Coefficients are big enough for not using lower bounding. 1.75/1.83 c Coefficients are big enough for not using lower bounding. 1.75/1.84 c Coefficients are big enough for not using lower bounding. 1.75/1.84 c Coefficients are big enough for not using lower bounding. 1.75/1.85 c Coefficients are big enough for not using lower bounding. 1.75/1.85 c Coefficients are big enough for not using lower bounding. 1.75/1.85 c Coefficients are big enough for not using lower bounding. 1.75/1.86 c Coefficients are big enough for not using lower bounding. 1.75/1.86 c Coefficients are big enough for not using lower bounding. 1.75/1.87 c Coefficients are big enough for not using lower bounding. 1.75/1.87 c Coefficients are big enough for not using lower bounding. 1.75/1.87 c Coefficients are big enough for not using lower bounding. 1.75/1.88 c Coefficients are big enough for not using lower bounding. 1.75/1.88 c Coefficients are big enough for not using lower bounding. 1.75/1.89 c Coefficients are big enough for not using lower bounding. 1.75/1.89 c Coefficients are big enough for not using lower bounding. 1.84/1.90 c Coefficients are big enough for not using lower bounding. 1.84/1.90 c Coefficients are big enough for not using lower bounding. 1.84/1.91 c Coefficients are big enough for not using lower bounding. 1.84/1.91 c Coefficients are big enough for not using lower bounding. 1.84/1.92 c Coefficients are big enough for not using lower bounding. 1.84/1.92 c Coefficients are big enough for not using lower bounding. 1.84/1.93 c Coefficients are big enough for not using lower bounding. 1.84/1.94 c Coefficients are big enough for not using lower bounding. 1.84/1.94 c Coefficients are big enough for not using lower bounding. 1.84/1.95 c Coefficients are big enough for not using lower bounding. 1.84/1.95 c Coefficients are big enough for not using lower bounding. 1.84/1.95 c Coefficients are big enough for not using lower bounding. 1.84/1.96 c Coefficients are big enough for not using lower bounding. 1.84/1.96 c Coefficients are big enough for not using lower bounding. 1.84/1.97 c Coefficients are big enough for not using lower bounding. 1.84/1.97 c Coefficients are big enough for not using lower bounding. 1.84/1.98 c Coefficients are big enough for not using lower bounding. 1.84/1.98 c Coefficients are big enough for not using lower bounding. 1.84/1.99 c Coefficients are big enough for not using lower bounding. 1.84/1.99 c Coefficients are big enough for not using lower bounding. 1.84/2.00 c Coefficients are big enough for not using lower bounding. 1.94/2.00 c Coefficients are big enough for not using lower bounding. 1.94/2.00 c Coefficients are big enough for not using lower bounding. 1.94/2.01 c Coefficients are big enough for not using lower bounding. 1.94/2.01 c Coefficients are big enough for not using lower bounding. 1.94/2.02 c Coefficients are big enough for not using lower bounding. 1.94/2.02 c Coefficients are big enough for not using lower bounding. 1.94/2.03 c Coefficients are big enough for not using lower bounding. 1.94/2.04 c Coefficients are big enough for not using lower bounding. 1.94/2.04 c Coefficients are big enough for not using lower bounding. 1.94/2.05 c Coefficients are big enough for not using lower bounding. 1.94/2.05 c Coefficients are big enough for not using lower bounding. 1.94/2.06 c Coefficients are big enough for not using lower bounding. 1.94/2.06 c Coefficients are big enough for not using lower bounding. 1.94/2.07 c Coefficients are big enough for not using lower bounding. 1.94/2.07 c Coefficients are big enough for not using lower bounding. 1.94/2.08 c Coefficients are big enough for not using lower bounding. 1.94/2.08 c Coefficients are big enough for not using lower bounding. 1.94/2.09 c Coefficients are big enough for not using lower bounding. 1.94/2.09 c Coefficients are big enough for not using lower bounding. 1.94/2.10 c Coefficients are big enough for not using lower bounding. 2.04/2.10 c Coefficients are big enough for not using lower bounding. 2.04/2.11 c Coefficients are big enough for not using lower bounding. 2.04/2.11 c Coefficients are big enough for not using lower bounding. 2.04/2.11 c Coefficients are big enough for not using lower bounding. 2.04/2.12 c Coefficients are big enough for not using lower bounding. 2.04/2.12 c Coefficients are big enough for not using lower bounding. 2.04/2.13 c Coefficients are big enough for not using lower bounding. 2.04/2.13 c Coefficients are big enough for not using lower bounding. 2.04/2.14 c Coefficients are big enough for not using lower bounding. 2.04/2.14 c Coefficients are big enough for not using lower bounding. 2.04/2.15 c Coefficients are big enough for not using lower bounding. 2.04/2.16 c Coefficients are big enough for not using lower bounding. 2.04/2.16 c Coefficients are big enough for not using lower bounding. 2.04/2.17 c Coefficients are big enough for not using lower bounding. 2.04/2.17 c Coefficients are big enough for not using lower bounding. 2.04/2.18 c Coefficients are big enough for not using lower bounding. 2.04/2.18 c Coefficients are big enough for not using lower bounding. 2.04/2.19 c Coefficients are big enough for not using lower bounding. 2.04/2.19 c Coefficients are big enough for not using lower bounding. 2.04/2.20 c Coefficients are big enough for not using lower bounding. 2.15/2.20 c Coefficients are big enough for not using lower bounding. 2.15/2.21 c Coefficients are big enough for not using lower bounding. 2.15/2.21 c Coefficients are big enough for not using lower bounding. 2.15/2.22 c Coefficients are big enough for not using lower bounding. 2.15/2.22 c Coefficients are big enough for not using lower bounding. 2.15/2.23 c Coefficients are big enough for not using lower bounding. 2.15/2.23 c Coefficients are big enough for not using lower bounding. 2.15/2.24 c Coefficients are big enough for not using lower bounding. 2.15/2.24 c Coefficients are big enough for not using lower bounding. 2.15/2.24 c Coefficients are big enough for not using lower bounding. 2.15/2.25 c Coefficients are big enough for not using lower bounding. 2.15/2.26 c Coefficients are big enough for not using lower bounding. 2.15/2.26 c Coefficients are big enough for not using lower bounding. 2.15/2.27 c Coefficients are big enough for not using lower bounding. 2.15/2.27 c Coefficients are big enough for not using lower bounding. 2.15/2.28 c Coefficients are big enough for not using lower bounding. 2.15/2.28 c Coefficients are big enough for not using lower bounding. 2.15/2.29 c Coefficients are big enough for not using lower bounding. 2.15/2.29 c Coefficients are big enough for not using lower bounding. 2.24/2.30 c Coefficients are big enough for not using lower bounding. 2.24/2.30 c Coefficients are big enough for not using lower bounding. 2.24/2.31 c Coefficients are big enough for not using lower bounding. 2.24/2.32 c Coefficients are big enough for not using lower bounding. 2.24/2.32 c Coefficients are big enough for not using lower bounding. 2.24/2.33 c Coefficients are big enough for not using lower bounding. 2.24/2.33 c Coefficients are big enough for not using lower bounding. 2.24/2.34 c Coefficients are big enough for not using lower bounding. 2.24/2.34 c Coefficients are big enough for not using lower bounding. 2.24/2.35 c Coefficients are big enough for not using lower bounding. 2.24/2.35 c Coefficients are big enough for not using lower bounding. 2.24/2.35 c Coefficients are big enough for not using lower bounding. 2.24/2.36 c Coefficients are big enough for not using lower bounding. 2.24/2.36 c Coefficients are big enough for not using lower bounding. 2.24/2.37 c Coefficients are big enough for not using lower bounding. 2.24/2.37 c Coefficients are big enough for not using lower bounding. 2.24/2.38 c Coefficients are big enough for not using lower bounding. 2.24/2.38 c Coefficients are big enough for not using lower bounding. 2.24/2.39 c Coefficients are big enough for not using lower bounding. 2.24/2.39 c Coefficients are big enough for not using lower bounding. 2.34/2.40 c Coefficients are big enough for not using lower bounding. 2.34/2.40 c Coefficients are big enough for not using lower bounding. 2.34/2.41 c Coefficients are big enough for not using lower bounding. 2.34/2.41 c Coefficients are big enough for not using lower bounding. 2.34/2.42 c Coefficients are big enough for not using lower bounding. 2.34/2.43 c Coefficients are big enough for not using lower bounding. 2.34/2.43 c Coefficients are big enough for not using lower bounding. 2.34/2.44 c Coefficients are big enough for not using lower bounding. 2.34/2.44 c Coefficients are big enough for not using lower bounding. 2.34/2.45 c Coefficients are big enough for not using lower bounding. 2.34/2.45 c Coefficients are big enough for not using lower bounding. 2.34/2.46 c Coefficients are big enough for not using lower bounding. 2.34/2.46 c Coefficients are big enough for not using lower bounding. 2.34/2.47 c Coefficients are big enough for not using lower bounding. 2.34/2.47 c Coefficients are big enough for not using lower bounding. 2.34/2.48 c Coefficients are big enough for not using lower bounding. 2.34/2.48 c Coefficients are big enough for not using lower bounding. 2.34/2.49 c Coefficients are big enough for not using lower bounding. 2.34/2.49 c Coefficients are big enough for not using lower bounding. 2.44/2.50 c Coefficients are big enough for not using lower bounding. 2.44/2.50 c Coefficients are big enough for not using lower bounding. 2.44/2.50 c Coefficients are big enough for not using lower bounding. 2.44/2.51 c Coefficients are big enough for not using lower bounding. 2.44/2.51 c Coefficients are big enough for not using lower bounding. 2.44/2.52 c Coefficients are big enough for not using lower bounding. 2.44/2.52 c Coefficients are big enough for not using lower bounding. 2.44/2.53 c Coefficients are big enough for not using lower bounding. 2.44/2.54 c Coefficients are big enough for not using lower bounding. 2.44/2.54 c Coefficients are big enough for not using lower bounding. 2.44/2.55 c Coefficients are big enough for not using lower bounding. 2.44/2.55 c Coefficients are big enough for not using lower bounding. 2.44/2.56 c Coefficients are big enough for not using lower bounding. 2.44/2.56 c Coefficients are big enough for not using lower bounding. 2.44/2.57 c Coefficients are big enough for not using lower bounding. 2.44/2.57 c Coefficients are big enough for not using lower bounding. 2.44/2.58 c Coefficients are big enough for not using lower bounding. 2.44/2.58 c Coefficients are big enough for not using lower bounding. 2.44/2.59 c Coefficients are big enough for not using lower bounding. 2.44/2.59 c Coefficients are big enough for not using lower bounding. 2.54/2.60 c Coefficients are big enough for not using lower bounding. 2.54/2.60 c Coefficients are big enough for not using lower bounding. 2.54/2.61 c Coefficients are big enough for not using lower bounding. 2.54/2.61 c Coefficients are big enough for not using lower bounding. 2.54/2.62 c Coefficients are big enough for not using lower bounding. 2.54/2.62 c Coefficients are big enough for not using lower bounding. 2.54/2.63 c Coefficients are big enough for not using lower bounding. 2.54/2.63 c Coefficients are big enough for not using lower bounding. 2.54/2.64 c Coefficients are big enough for not using lower bounding. 2.54/2.64 c Coefficients are big enough for not using lower bounding. 2.54/2.65 c Coefficients are big enough for not using lower bounding. 2.54/2.65 c Coefficients are big enough for not using lower bounding. 2.54/2.66 c Coefficients are big enough for not using lower bounding. 2.54/2.66 c Coefficients are big enough for not using lower bounding. 2.54/2.67 c Coefficients are big enough for not using lower bounding. 2.54/2.67 c Coefficients are big enough for not using lower bounding. 2.54/2.68 c Coefficients are big enough for not using lower bounding. 2.54/2.68 c Coefficients are big enough for not using lower bounding. 2.54/2.69 c Coefficients are big enough for not using lower bounding. 2.54/2.69 c Coefficients are big enough for not using lower bounding. 2.64/2.70 c Coefficients are big enough for not using lower bounding. 2.64/2.71 c Coefficients are big enough for not using lower bounding. 2.64/2.71 c Coefficients are big enough for not using lower bounding. 2.64/2.72 c Coefficients are big enough for not using lower bounding. 2.64/2.72 c Coefficients are big enough for not using lower bounding. 2.64/2.73 c Coefficients are big enough for not using lower bounding. 2.64/2.73 c Coefficients are big enough for not using lower bounding. 2.64/2.74 c Coefficients are big enough for not using lower bounding. 2.64/2.74 c Coefficients are big enough for not using lower bounding. 2.64/2.75 c Coefficients are big enough for not using lower bounding. 2.64/2.75 c Coefficients are big enough for not using lower bounding. 2.64/2.75 c Coefficients are big enough for not using lower bounding. 2.64/2.76 c Coefficients are big enough for not using lower bounding. 2.64/2.76 c Coefficients are big enough for not using lower bounding. 2.64/2.76 c Coefficients are big enough for not using lower bounding. 2.64/2.76 c Coefficients are big enough for not using lower bounding. 2.64/2.76 c Coefficients are big enough for not using lower bounding. 2.64/2.77 c Coefficients are big enough for not using lower bounding. 2.64/2.77 c Coefficients are big enough for not using lower bounding. 2.64/2.77 c Coefficients are big enough for not using lower bounding. 2.64/2.77 c Coefficients are big enough for not using lower bounding. 2.64/2.77 c Coefficients are big enough for not using lower bounding. 2.64/2.77 c Coefficients are big enough for not using lower bounding. 2.64/2.77 c Coefficients are big enough for not using lower bounding. 2.64/2.77 c Coefficients are big enough for not using lower bounding. 2.64/2.77 c Coefficients are big enough for not using lower bounding. 2.64/2.77 c Coefficients are big enough for not using lower bounding. 2.64/2.77 c Coefficients are big enough for not using lower bounding. 2.64/2.77 c Coefficients are big enough for not using lower bounding. 2.64/2.77 c Coefficients are big enough for not using lower bounding. 2.64/2.77 c Coefficients are big enough for not using lower bounding. 2.64/2.77 c Coefficients are big enough for not using lower bounding. 2.64/2.77 c Coefficients are big enough for not using lower bounding. 2.64/2.77 c Coefficients are big enough for not using lower bounding. 2.64/2.77 c Coefficients are big enough for not using lower bounding. 2.64/2.77 c Coefficients are big enough for not using lower bounding. 2.64/2.77 c Coefficients are big enough for not using lower bounding. 2.64/2.77 c Coefficients are big enough for not using lower bounding. 2.64/2.77 c Coefficients are big enough for not using lower bounding. 2.64/2.78 c Coefficients are big enough for not using lower bounding. 2.64/2.78 c Coefficients are big enough for not using lower bounding. 2.64/2.78 c Coefficients are big enough for not using lower bounding. 2.64/2.78 c Coefficients are big enough for not using lower bounding. 2.64/2.78 c Coefficients are big enough for not using lower bounding. 2.64/2.78 c Coefficients are big enough for not using lower bounding. 2.64/2.78 c Coefficients are big enough for not using lower bounding. 2.64/2.78 c Coefficients are big enough for not using lower bounding. 2.64/2.78 c Coefficients are big enough for not using lower bounding. 2.64/2.78 c Coefficients are big enough for not using lower bounding. 2.64/2.78 c Coefficients are big enough for not using lower bounding. 2.64/2.78 c Coefficients are big enough for not using lower bounding. 2.64/2.78 c Coefficients are big enough for not using lower bounding. 2.64/2.78 c Coefficients are big enough for not using lower bounding. 2.64/2.78 c Coefficients are big enough for not using lower bounding. 2.64/2.78 c Coefficients are big enough for not using lower bounding. 2.64/2.78 c Coefficients are big enough for not using lower bounding. 2.64/2.78 c Coefficients are big enough for not using lower bounding. 2.64/2.78 c Coefficients are big enough for not using lower bounding. 2.64/2.78 c Coefficients are big enough for not using lower bounding. 2.64/2.78 c Coefficients are big enough for not using lower bounding. 2.64/2.78 c Coefficients are big enough for not using lower bounding. 2.64/2.79 c Coefficients are big enough for not using lower bounding. 2.64/2.79 c Coefficients are big enough for not using lower bounding. 2.64/2.79 c Coefficients are big enough for not using lower bounding. 2.64/2.79 c Coefficients are big enough for not using lower bounding. 2.64/2.79 c Coefficients are big enough for not using lower bounding. 2.64/2.79 c Coefficients are big enough for not using lower bounding. 2.64/2.79 c Coefficients are big enough for not using lower bounding. 2.64/2.79 c Coefficients are big enough for not using lower bounding. 2.64/2.79 c Coefficients are big enough for not using lower bounding. 2.64/2.79 c Coefficients are big enough for not using lower bounding. 2.64/2.79 c Coefficients are big enough for not using lower bounding. 2.64/2.79 c Coefficients are big enough for not using lower bounding. 2.64/2.79 c Coefficients are big enough for not using lower bounding. 2.64/2.79 c Coefficients are big enough for not using lower bounding. 2.64/2.79 c Coefficients are big enough for not using lower bounding. 2.64/2.79 c Coefficients are big enough for not using lower bounding. 2.64/2.79 c Coefficients are big enough for not using lower bounding. 2.64/2.79 c Coefficients are big enough for not using lower bounding. 2.64/2.79 c Coefficients are big enough for not using lower bounding. 2.64/2.79 c Coefficients are big enough for not using lower bounding. 2.64/2.79 c Coefficients are big enough for not using lower bounding. 2.64/2.79 c Coefficients are big enough for not using lower bounding. 2.64/2.79 c Coefficients are big enough for not using lower bounding. 2.64/2.79 c Coefficients are big enough for not using lower bounding. 2.64/2.79 c Coefficients are big enough for not using lower bounding. 2.64/2.79 c Coefficients are big enough for not using lower bounding. 2.64/2.79 c Coefficients are big enough for not using lower bounding. 2.64/2.80 c Coefficients are big enough for not using lower bounding. 2.64/2.80 c Coefficients are big enough for not using lower bounding. 2.64/2.80 c Coefficients are big enough for not using lower bounding. 2.64/2.80 c Coefficients are big enough for not using lower bounding. 2.64/2.80 c Coefficients are big enough for not using lower bounding. 2.64/2.80 c Coefficients are big enough for not using lower bounding. 2.74/2.80 c Coefficients are big enough for not using lower bounding. 2.74/2.80 c Coefficients are big enough for not using lower bounding. 2.74/2.80 c Coefficients are big enough for not using lower bounding. 2.74/2.80 c Coefficients are big enough for not using lower bounding. 2.74/2.80 c Coefficients are big enough for not using lower bounding. 2.74/2.80 c Coefficients are big enough for not using lower bounding. 2.74/2.80 c Coefficients are big enough for not using lower bounding. 2.74/2.80 c Coefficients are big enough for not using lower bounding. 2.74/2.80 c Coefficients are big enough for not using lower bounding. 2.74/2.80 c Coefficients are big enough for not using lower bounding. 2.74/2.80 c Coefficients are big enough for not using lower bounding. 2.74/2.80 c Coefficients are big enough for not using lower bounding. 2.74/2.80 c Coefficients are big enough for not using lower bounding. 2.74/2.80 c Coefficients are big enough for not using lower bounding. 2.74/2.80 c Coefficients are big enough for not using lower bounding. 2.74/2.80 c Coefficients are big enough for not using lower bounding. 2.74/2.80 c Coefficients are big enough for not using lower bounding. 2.74/2.80 c Coefficients are big enough for not using lower bounding. 2.74/2.80 c Coefficients are big enough for not using lower bounding. 2.74/2.80 c Coefficients are big enough for not using lower bounding. 2.74/2.80 c Coefficients are big enough for not using lower bounding. 2.74/2.80 c Coefficients are big enough for not using lower bounding. 2.74/2.81 c Coefficients are big enough for not using lower bounding. 2.74/2.81 c Coefficients are big enough for not using lower bounding. 2.74/2.81 c Coefficients are big enough for not using lower bounding. 2.74/2.81 c Coefficients are big enough for not using lower bounding. 2.74/2.81 c Coefficients are big enough for not using lower bounding. 2.74/2.81 c Coefficients are big enough for not using lower bounding. 2.74/2.81 c Coefficients are big enough for not using lower bounding. 2.74/2.81 c Coefficients are big enough for not using lower bounding. 2.74/2.81 c Coefficients are big enough for not using lower bounding. 2.74/2.81 c Coefficients are big enough for not using lower bounding. 2.74/2.81 c Coefficients are big enough for not using lower bounding. 2.74/2.81 c Coefficients are big enough for not using lower bounding. 2.74/2.81 c Coefficients are big enough for not using lower bounding. 2.74/2.81 c Coefficients are big enough for not using lower bounding. 2.74/2.81 c Coefficients are big enough for not using lower bounding. 2.74/2.81 c Coefficients are big enough for not using lower bounding. 2.74/2.81 c Coefficients are big enough for not using lower bounding. 2.74/2.81 c Coefficients are big enough for not using lower bounding. 2.74/2.81 c Coefficients are big enough for not using lower bounding. 2.74/2.81 c Coefficients are big enough for not using lower bounding. 2.74/2.81 c Coefficients are big enough for not using lower bounding. 2.74/2.81 c Coefficients are big enough for not using lower bounding. 2.74/2.82 c Coefficients are big enough for not using lower bounding. 2.74/2.82 c Coefficients are big enough for not using lower bounding. 2.74/2.82 c Coefficients are big enough for not using lower bounding. 2.74/2.82 c Coefficients are big enough for not using lower bounding. 2.74/2.82 c Coefficients are big enough for not using lower bounding. 2.74/2.82 c Coefficients are big enough for not using lower bounding. 2.74/2.82 c Coefficients are big enough for not using lower bounding. 2.74/2.82 c Coefficients are big enough for not using lower bounding. 2.74/2.82 c Coefficients are big enough for not using lower bounding. 2.74/2.82 c Coefficients are big enough for not using lower bounding. 2.74/2.82 c Coefficients are big enough for not using lower bounding. 2.74/2.82 c Coefficients are big enough for not using lower bounding. 2.74/2.82 c Coefficients are big enough for not using lower bounding. 2.74/2.82 c Coefficients are big enough for not using lower bounding. 2.74/2.82 c Coefficients are big enough for not using lower bounding. 2.74/2.82 c Coefficients are big enough for not using lower bounding. 2.74/2.82 c Coefficients are big enough for not using lower bounding. 2.74/2.82 c Coefficients are big enough for not using lower bounding. 2.74/2.82 c Coefficients are big enough for not using lower bounding. 2.74/2.82 c Coefficients are big enough for not using lower bounding. 2.74/2.82 c Coefficients are big enough for not using lower bounding. 2.74/2.82 c Coefficients are big enough for not using lower bounding. 2.74/2.82 c Coefficients are big enough for not using lower bounding. 2.74/2.83 c Coefficients are big enough for not using lower bounding. 2.74/2.83 c Coefficients are big enough for not using lower bounding. 2.74/2.83 c Coefficients are big enough for not using lower bounding. 2.74/2.83 c Coefficients are big enough for not using lower bounding. 2.74/2.83 c Coefficients are big enough for not using lower bounding. 2.74/2.83 c Coefficients are big enough for not using lower bounding. 2.74/2.83 c Coefficients are big enough for not using lower bounding. 2.74/2.83 c Coefficients are big enough for not using lower bounding. 2.74/2.83 c Coefficients are big enough for not using lower bounding. 2.74/2.83 c Coefficients are big enough for not using lower bounding. 2.74/2.83 c Coefficients are big enough for not using lower bounding. 2.74/2.83 c Coefficients are big enough for not using lower bounding. 2.74/2.83 c Coefficients are big enough for not using lower bounding. 2.74/2.83 c Coefficients are big enough for not using lower bounding. 2.74/2.83 c Coefficients are big enough for not using lower bounding. 2.74/2.83 c Coefficients are big enough for not using lower bounding. 2.74/2.83 c Coefficients are big enough for not using lower bounding. 2.74/2.83 c Coefficients are big enough for not using lower bounding. 2.74/2.83 c Coefficients are big enough for not using lower bounding. 2.74/2.83 c Coefficients are big enough for not using lower bounding. 2.74/2.83 c Coefficients are big enough for not using lower bounding. 2.74/2.83 c Coefficients are big enough for not using lower bounding. 2.74/2.83 c Coefficients are big enough for not using lower bounding. 2.74/2.83 c Coefficients are big enough for not using lower bounding. 2.74/2.83 c Coefficients are big enough for not using lower bounding. 2.74/2.83 c Coefficients are big enough for not using lower bounding. 2.74/2.83 c Coefficients are big enough for not using lower bounding. 2.74/2.84 c Coefficients are big enough for not using lower bounding. 2.74/2.84 c Coefficients are big enough for not using lower bounding. 2.74/2.84 c Coefficients are big enough for not using lower bounding. 2.74/2.84 c Coefficients are big enough for not using lower bounding. 2.74/2.84 c Coefficients are big enough for not using lower bounding. 2.74/2.84 c Coefficients are big enough for not using lower bounding. 2.74/2.84 c Coefficients are big enough for not using lower bounding. 2.74/2.84 c Coefficients are big enough for not using lower bounding. 2.74/2.84 c Coefficients are big enough for not using lower bounding. 2.74/2.84 c Coefficients are big enough for not using lower bounding. 2.74/2.84 c Coefficients are big enough for not using lower bounding. 2.74/2.84 c Coefficients are big enough for not using lower bounding. 2.74/2.84 c Coefficients are big enough for not using lower bounding. 2.74/2.84 c Coefficients are big enough for not using lower bounding. 2.74/2.84 c Coefficients are big enough for not using lower bounding. 2.74/2.84 c Coefficients are big enough for not using lower bounding. 2.74/2.84 c Coefficients are big enough for not using lower bounding. 2.74/2.84 c Coefficients are big enough for not using lower bounding. 2.74/2.84 c Coefficients are big enough for not using lower bounding. 2.74/2.84 c Coefficients are big enough for not using lower bounding. 2.74/2.84 c Coefficients are big enough for not using lower bounding. 2.74/2.84 c Coefficients are big enough for not using lower bounding. 2.74/2.84 c Coefficients are big enough for not using lower bounding. 2.74/2.84 c Coefficients are big enough for not using lower bounding. 2.74/2.84 c Coefficients are big enough for not using lower bounding. 2.74/2.84 c Coefficients are big enough for not using lower bounding. 2.74/2.84 c Coefficients are big enough for not using lower bounding. 2.74/2.85 c Coefficients are big enough for not using lower bounding. 2.74/2.85 c Coefficients are big enough for not using lower bounding. 2.74/2.85 c Coefficients are big enough for not using lower bounding. 2.74/2.85 c Coefficients are big enough for not using lower bounding. 2.74/2.85 c Coefficients are big enough for not using lower bounding. 2.74/2.85 c Coefficients are big enough for not using lower bounding. 2.74/2.85 c Coefficients are big enough for not using lower bounding. 2.74/2.85 c Coefficients are big enough for not using lower bounding. 2.74/2.85 c Coefficients are big enough for not using lower bounding. 2.74/2.85 c Coefficients are big enough for not using lower bounding. 2.74/2.85 c Coefficients are big enough for not using lower bounding. 2.74/2.85 c Coefficients are big enough for not using lower bounding. 2.74/2.85 c Coefficients are big enough for not using lower bounding. 2.74/2.85 c Coefficients are big enough for not using lower bounding. 2.74/2.85 c Coefficients are big enough for not using lower bounding. 2.74/2.85 c Coefficients are big enough for not using lower bounding. 2.74/2.85 c Coefficients are big enough for not using lower bounding. 2.74/2.85 c Coefficients are big enough for not using lower bounding. 2.74/2.85 c Coefficients are big enough for not using lower bounding. 2.74/2.85 c Coefficients are big enough for not using lower bounding. 2.74/2.85 c Coefficients are big enough for not using lower bounding. 2.74/2.85 c Coefficients are big enough for not using lower bounding. 2.74/2.85 c Coefficients are big enough for not using lower bounding. 2.74/2.85 c Coefficients are big enough for not using lower bounding. 2.74/2.86 c Coefficients are big enough for not using lower bounding. 2.74/2.86 c Coefficients are big enough for not using lower bounding. 2.74/2.86 c Coefficients are big enough for not using lower bounding. 2.74/2.86 c Coefficients are big enough for not using lower bounding. 2.74/2.86 c Coefficients are big enough for not using lower bounding. 2.74/2.86 c Coefficients are big enough for not using lower bounding. 2.74/2.86 c Coefficients are big enough for not using lower bounding. 2.74/2.86 c Coefficients are big enough for not using lower bounding. 2.74/2.86 c Coefficients are big enough for not using lower bounding. 2.74/2.86 c Coefficients are big enough for not using lower bounding. 2.74/2.86 c Coefficients are big enough for not using lower bounding. 2.74/2.86 c Coefficients are big enough for not using lower bounding. 2.74/2.86 c Coefficients are big enough for not using lower bounding. 2.74/2.86 c Coefficients are big enough for not using lower bounding. 2.74/2.86 c Coefficients are big enough for not using lower bounding. 2.74/2.86 c Coefficients are big enough for not using lower bounding. 2.74/2.86 c Coefficients are big enough for not using lower bounding. 2.74/2.86 c Coefficients are big enough for not using lower bounding. 2.74/2.86 c Coefficients are big enough for not using lower bounding. 2.74/2.86 c Coefficients are big enough for not using lower bounding. 2.74/2.86 c Coefficients are big enough for not using lower bounding. 2.74/2.86 c Coefficients are big enough for not using lower bounding. 2.74/2.86 c Coefficients are big enough for not using lower bounding. 2.74/2.86 c Coefficients are big enough for not using lower bounding. 2.74/2.86 c Coefficients are big enough for not using lower bounding. 2.74/2.86 c Coefficients are big enough for not using lower bounding. 2.74/2.86 c Coefficients are big enough for not using lower bounding. 2.74/2.86 c Coefficients are big enough for not using lower bounding. 2.74/2.86 c Coefficients are big enough for not using lower bounding. 2.74/2.86 c Coefficients are big enough for not using lower bounding. 2.74/2.86 c Coefficients are big enough for not using lower bounding. 2.74/2.87 c Coefficients are big enough for not using lower bounding. 2.74/2.87 c Coefficients are big enough for not using lower bounding. 2.74/2.87 c Coefficients are big enough for not using lower bounding. 2.74/2.87 c Coefficients are big enough for not using lower bounding. 2.74/2.87 c Coefficients are big enough for not using lower bounding. 2.74/2.87 c Coefficients are big enough for not using lower bounding. 2.74/2.87 c Coefficients are big enough for not using lower bounding. 2.74/2.87 c Coefficients are big enough for not using lower bounding. 2.74/2.87 c Coefficients are big enough for not using lower bounding. 2.74/2.87 c Coefficients are big enough for not using lower bounding. 2.74/2.87 c Coefficients are big enough for not using lower bounding. 2.74/2.87 c Coefficients are big enough for not using lower bounding. 2.74/2.87 c Coefficients are big enough for not using lower bounding. 2.74/2.87 c Coefficients are big enough for not using lower bounding. 2.74/2.87 c Coefficients are big enough for not using lower bounding. 2.74/2.87 c Coefficients are big enough for not using lower bounding. 2.74/2.87 c Coefficients are big enough for not using lower bounding. 2.74/2.87 c Coefficients are big enough for not using lower bounding. 2.74/2.87 c Coefficients are big enough for not using lower bounding. 2.74/2.87 c Coefficients are big enough for not using lower bounding. 2.74/2.87 c Coefficients are big enough for not using lower bounding. 2.74/2.87 c Coefficients are big enough for not using lower bounding. 2.74/2.88 c Coefficients are big enough for not using lower bounding. 2.74/2.88 c Coefficients are big enough for not using lower bounding. 2.74/2.88 c Coefficients are big enough for not using lower bounding. 2.74/2.88 c Coefficients are big enough for not using lower bounding. 2.74/2.88 c Coefficients are big enough for not using lower bounding. 2.74/2.88 c Coefficients are big enough for not using lower bounding. 2.74/2.88 c Coefficients are big enough for not using lower bounding. 2.74/2.88 c Coefficients are big enough for not using lower bounding. 2.74/2.88 c Coefficients are big enough for not using lower bounding. 2.74/2.88 c Coefficients are big enough for not using lower bounding. 2.74/2.88 c Coefficients are big enough for not using lower bounding. 2.74/2.88 c Coefficients are big enough for not using lower bounding. 2.74/2.88 c Coefficients are big enough for not using lower bounding. 2.74/2.88 c Coefficients are big enough for not using lower bounding. 2.74/2.88 c Coefficients are big enough for not using lower bounding. 2.74/2.88 c Coefficients are big enough for not using lower bounding. 2.74/2.88 c Coefficients are big enough for not using lower bounding. 2.74/2.88 c Coefficients are big enough for not using lower bounding. 2.74/2.88 c Coefficients are big enough for not using lower bounding. 2.74/2.88 c Coefficients are big enough for not using lower bounding. 2.74/2.88 c Coefficients are big enough for not using lower bounding. 2.74/2.88 c Coefficients are big enough for not using lower bounding. 2.74/2.88 c Coefficients are big enough for not using lower bounding. 2.74/2.88 c Coefficients are big enough for not using lower bounding. 2.74/2.88 c Coefficients are big enough for not using lower bounding. 2.74/2.88 c Coefficients are big enough for not using lower bounding. 2.74/2.88 c Coefficients are big enough for not using lower bounding. 2.74/2.88 c Coefficients are big enough for not using lower bounding. 2.74/2.88 c Coefficients are big enough for not using lower bounding. 2.74/2.88 c Coefficients are big enough for not using lower bounding. 2.74/2.89 c Coefficients are big enough for not using lower bounding. 2.74/2.89 c Coefficients are big enough for not using lower bounding. 2.74/2.89 c Coefficients are big enough for not using lower bounding. 2.74/2.89 c Coefficients are big enough for not using lower bounding. 2.74/2.89 c Coefficients are big enough for not using lower bounding. 2.74/2.89 c Coefficients are big enough for not using lower bounding. 2.74/2.89 c Coefficients are big enough for not using lower bounding. 2.74/2.89 c Coefficients are big enough for not using lower bounding. 2.74/2.89 c Coefficients are big enough for not using lower bounding. 2.74/2.89 c Coefficients are big enough for not using lower bounding. 2.74/2.89 c Coefficients are big enough for not using lower bounding. 2.74/2.89 c Coefficients are big enough for not using lower bounding. 2.74/2.89 c Coefficients are big enough for not using lower bounding. 2.74/2.89 c Coefficients are big enough for not using lower bounding. 2.74/2.89 c Coefficients are big enough for not using lower bounding. 2.74/2.89 c Coefficients are big enough for not using lower bounding. 2.74/2.89 c Coefficients are big enough for not using lower bounding. 2.74/2.89 c Coefficients are big enough for not using lower bounding. 2.74/2.89 c Coefficients are big enough for not using lower bounding. 2.74/2.89 c Coefficients are big enough for not using lower bounding. 2.74/2.89 c Coefficients are big enough for not using lower bounding. 2.74/2.89 c Coefficients are big enough for not using lower bounding. 2.74/2.89 c Coefficients are big enough for not using lower bounding. 2.74/2.89 c Coefficients are big enough for not using lower bounding. 2.74/2.89 c Coefficients are big enough for not using lower bounding. 2.83/2.90 c Coefficients are big enough for not using lower bounding. 2.83/2.90 c Coefficients are big enough for not using lower bounding. 2.83/2.90 c Coefficients are big enough for not using lower bounding. 2.83/2.90 c Coefficients are big enough for not using lower bounding. 2.83/2.90 c Coefficients are big enough for not using lower bounding. 2.83/2.90 c Coefficients are big enough for not using lower bounding. 2.83/2.90 c Coefficients are big enough for not using lower bounding. 2.83/2.90 c Coefficients are big enough for not using lower bounding. 2.83/2.90 c Coefficients are big enough for not using lower bounding. 2.83/2.90 c Coefficients are big enough for not using lower bounding. 2.83/2.90 c Coefficients are big enough for not using lower bounding. 2.83/2.90 c Coefficients are big enough for not using lower bounding. 2.83/2.90 c Coefficients are big enough for not using lower bounding. 2.83/2.90 c Coefficients are big enough for not using lower bounding. 2.83/2.90 c Coefficients are big enough for not using lower bounding. 2.83/2.90 c Coefficients are big enough for not using lower bounding. 2.83/2.90 c Coefficients are big enough for not using lower bounding. 2.83/2.90 c Coefficients are big enough for not using lower bounding. 2.83/2.90 c Coefficients are big enough for not using lower bounding. 2.83/2.90 c Coefficients are big enough for not using lower bounding. 2.83/2.90 c Coefficients are big enough for not using lower bounding. 2.83/2.90 c Coefficients are big enough for not using lower bounding. 2.83/2.91 c Coefficients are big enough for not using lower bounding. 2.83/2.91 c Coefficients are big enough for not using lower bounding. 2.83/2.91 c Coefficients are big enough for not using lower bounding. 2.83/2.91 c Coefficients are big enough for not using lower bounding. 2.83/2.91 c Coefficients are big enough for not using lower bounding. 2.83/2.91 c Coefficients are big enough for not using lower bounding. 2.83/2.91 c Coefficients are big enough for not using lower bounding. 2.83/2.91 c Coefficients are big enough for not using lower bounding. 2.83/2.91 c Coefficients are big enough for not using lower bounding. 2.83/2.91 c Coefficients are big enough for not using lower bounding. 2.83/2.91 c Coefficients are big enough for not using lower bounding. 2.83/2.91 c Coefficients are big enough for not using lower bounding. 2.83/2.91 c Coefficients are big enough for not using lower bounding. 2.83/2.91 c Coefficients are big enough for not using lower bounding. 2.83/2.91 c Coefficients are big enough for not using lower bounding. 2.83/2.91 c Coefficients are big enough for not using lower bounding. 2.83/2.91 c Coefficients are big enough for not using lower bounding. 2.83/2.91 c Coefficients are big enough for not using lower bounding. 2.83/2.91 c Coefficients are big enough for not using lower bounding. 2.83/2.91 c Coefficients are big enough for not using lower bounding. 2.83/2.91 c Coefficients are big enough for not using lower bounding. 2.83/2.91 c Coefficients are big enough for not using lower bounding. 2.83/2.92 c Coefficients are big enough for not using lower bounding. 2.83/2.92 c Coefficients are big enough for not using lower bounding. 2.83/2.92 c Coefficients are big enough for not using lower bounding. 2.83/2.92 c Coefficients are big enough for not using lower bounding. 2.83/2.92 c Coefficients are big enough for not using lower bounding. 2.83/2.92 c Coefficients are big enough for not using lower bounding. 2.83/2.92 c Coefficients are big enough for not using lower bounding. 2.83/2.92 c Coefficients are big enough for not using lower bounding. 2.83/2.92 c Coefficients are big enough for not using lower bounding. 2.83/2.92 c Coefficients are big enough for not using lower bounding. 2.83/2.92 c Coefficients are big enough for not using lower bounding. 2.83/2.92 c Coefficients are big enough for not using lower bounding. 2.83/2.92 c Coefficients are big enough for not using lower bounding. 2.83/2.92 c Coefficients are big enough for not using lower bounding. 2.83/2.92 c Coefficients are big enough for not using lower bounding. 2.83/2.92 c Coefficients are big enough for not using lower bounding. 2.83/2.92 c Coefficients are big enough for not using lower bounding. 2.83/2.92 c Coefficients are big enough for not using lower bounding. 2.83/2.92 c Coefficients are big enough for not using lower bounding. 2.83/2.92 c Coefficients are big enough for not using lower bounding. 2.83/2.92 c Coefficients are big enough for not using lower bounding. 2.83/2.92 c Coefficients are big enough for not using lower bounding. 2.83/2.92 c Coefficients are big enough for not using lower bounding. 2.83/2.92 c Coefficients are big enough for not using lower bounding. 2.83/2.93 c Coefficients are big enough for not using lower bounding. 2.83/2.93 c Coefficients are big enough for not using lower bounding. 2.83/2.93 c Coefficients are big enough for not using lower bounding. 2.83/2.93 c Coefficients are big enough for not using lower bounding. 2.83/2.93 c Coefficients are big enough for not using lower bounding. 2.83/2.93 c Coefficients are big enough for not using lower bounding. 2.83/2.93 c Coefficients are big enough for not using lower bounding. 2.83/2.93 c Coefficients are big enough for not using lower bounding. 2.83/2.93 c Coefficients are big enough for not using lower bounding. 2.83/2.93 c Coefficients are big enough for not using lower bounding. 2.83/2.93 c Coefficients are big enough for not using lower bounding. 2.83/2.93 c Coefficients are big enough for not using lower bounding. 2.83/2.93 c Coefficients are big enough for not using lower bounding. 2.83/2.93 c Coefficients are big enough for not using lower bounding. 2.83/2.93 c Coefficients are big enough for not using lower bounding. 2.83/2.93 c Coefficients are big enough for not using lower bounding. 2.83/2.93 c Coefficients are big enough for not using lower bounding. 2.83/2.93 c Coefficients are big enough for not using lower bounding. 2.83/2.93 c Coefficients are big enough for not using lower bounding. 2.83/2.93 c Coefficients are big enough for not using lower bounding. 2.83/2.93 c Coefficients are big enough for not using lower bounding. 2.83/2.93 c Coefficients are big enough for not using lower bounding. 2.83/2.93 c Coefficients are big enough for not using lower bounding. 2.83/2.93 c Coefficients are big enough for not using lower bounding. 2.83/2.93 c Coefficients are big enough for not using lower bounding. 2.83/2.93 c Coefficients are big enough for not using lower bounding. 2.83/2.94 c Coefficients are big enough for not using lower bounding. 2.83/2.94 c Coefficients are big enough for not using lower bounding. 2.83/2.94 c Coefficients are big enough for not using lower bounding. 2.83/2.94 c Coefficients are big enough for not using lower bounding. 2.83/2.94 c Coefficients are big enough for not using lower bounding. 2.83/2.94 c Coefficients are big enough for not using lower bounding. 2.83/2.94 c Coefficients are big enough for not using lower bounding. 2.83/2.94 c Coefficients are big enough for not using lower bounding. 2.83/2.94 c Coefficients are big enough for not using lower bounding. 2.83/2.94 c Coefficients are big enough for not using lower bounding. 2.83/2.94 c Coefficients are big enough for not using lower bounding. 2.83/2.94 c Coefficients are big enough for not using lower bounding. 2.83/2.94 c Coefficients are big enough for not using lower bounding. 2.83/2.94 c Coefficients are big enough for not using lower bounding. 2.83/2.94 c Coefficients are big enough for not using lower bounding. 2.83/2.94 c Coefficients are big enough for not using lower bounding. 2.83/2.94 c Coefficients are big enough for not using lower bounding. 2.83/2.94 c Coefficients are big enough for not using lower bounding. 2.83/2.94 c Coefficients are big enough for not using lower bounding. 2.83/2.94 c Coefficients are big enough for not using lower bounding. 2.83/2.94 c Coefficients are big enough for not using lower bounding. 2.83/2.94 c Coefficients are big enough for not using lower bounding. 2.83/2.94 c Coefficients are big enough for not using lower bounding. 2.83/2.94 c Coefficients are big enough for not using lower bounding. 2.83/2.95 c Coefficients are big enough for not using lower bounding. 2.83/2.95 c Coefficients are big enough for not using lower bounding. 2.83/2.95 c Coefficients are big enough for not using lower bounding. 2.83/2.95 c Coefficients are big enough for not using lower bounding. 2.83/2.95 c Coefficients are big enough for not using lower bounding. 2.83/2.95 c Coefficients are big enough for not using lower bounding. 2.83/2.95 c Coefficients are big enough for not using lower bounding. 2.83/2.95 c Coefficients are big enough for not using lower bounding. 2.83/2.95 c Coefficients are big enough for not using lower bounding. 2.83/2.95 c Coefficients are big enough for not using lower bounding. 2.83/2.95 c Coefficients are big enough for not using lower bounding. 2.83/2.95 c Coefficients are big enough for not using lower bounding. 2.83/2.95 c Coefficients are big enough for not using lower bounding. 2.83/2.95 c Coefficients are big enough for not using lower bounding. 2.83/2.95 c Coefficients are big enough for not using lower bounding. 2.83/2.95 c Coefficients are big enough for not using lower bounding. 2.83/2.95 c Coefficients are big enough for not using lower bounding. 2.83/2.95 c Coefficients are big enough for not using lower bounding. 2.83/2.95 c Coefficients are big enough for not using lower bounding. 2.83/2.95 c Coefficients are big enough for not using lower bounding. 2.83/2.95 c Coefficients are big enough for not using lower bounding. 2.83/2.95 c Coefficients are big enough for not using lower bounding. 2.83/2.95 c Coefficients are big enough for not using lower bounding. 2.83/2.95 c Coefficients are big enough for not using lower bounding. 2.83/2.95 c Coefficients are big enough for not using lower bounding. 2.83/2.96 c Coefficients are big enough for not using lower bounding. 2.83/2.96 c Coefficients are big enough for not using lower bounding. 2.83/2.96 c Coefficients are big enough for not using lower bounding. 2.83/2.96 c Coefficients are big enough for not using lower bounding. 2.83/2.96 c Coefficients are big enough for not using lower bounding. 2.83/2.96 c Coefficients are big enough for not using lower bounding. 2.83/2.96 c Coefficients are big enough for not using lower bounding. 2.83/2.96 c Coefficients are big enough for not using lower bounding. 2.83/2.96 c Coefficients are big enough for not using lower bounding. 2.83/2.96 c Coefficients are big enough for not using lower bounding. 2.83/2.96 c Coefficients are big enough for not using lower bounding. 2.83/2.96 c Coefficients are big enough for not using lower bounding. 2.83/2.96 c Coefficients are big enough for not using lower bounding. 2.83/2.96 c Coefficients are big enough for not using lower bounding. 2.83/2.96 c Coefficients are big enough for not using lower bounding. 2.83/2.96 c Coefficients are big enough for not using lower bounding. 2.83/2.96 c Coefficients are big enough for not using lower bounding. 2.83/2.96 c Coefficients are big enough for not using lower bounding. 2.83/2.96 c Coefficients are big enough for not using lower bounding. 2.83/2.96 c Coefficients are big enough for not using lower bounding. 2.83/2.96 c Coefficients are big enough for not using lower bounding. 2.83/2.96 c Coefficients are big enough for not using lower bounding. 2.83/2.97 c Coefficients are big enough for not using lower bounding. 2.83/2.97 c Coefficients are big enough for not using lower bounding. 2.83/2.97 c Coefficients are big enough for not using lower bounding. 2.83/2.97 c Coefficients are big enough for not using lower bounding. 2.83/2.97 c Coefficients are big enough for not using lower bounding. 2.83/2.97 c Coefficients are big enough for not using lower bounding. 2.83/2.97 c Coefficients are big enough for not using lower bounding. 2.83/2.97 c Coefficients are big enough for not using lower bounding. 2.83/2.97 c Coefficients are big enough for not using lower bounding. 2.83/2.97 c Coefficients are big enough for not using lower bounding. 2.83/2.97 c Coefficients are big enough for not using lower bounding. 2.83/2.97 c Coefficients are big enough for not using lower bounding. 2.83/2.97 c Coefficients are big enough for not using lower bounding. 2.83/2.97 c Coefficients are big enough for not using lower bounding. 2.83/2.97 c Coefficients are big enough for not using lower bounding. 2.83/2.97 c Coefficients are big enough for not using lower bounding. 2.83/2.97 c Coefficients are big enough for not using lower bounding. 2.83/2.97 c Coefficients are big enough for not using lower bounding. 2.83/2.97 c Coefficients are big enough for not using lower bounding. 2.83/2.97 c Coefficients are big enough for not using lower bounding. 2.83/2.97 c Coefficients are big enough for not using lower bounding. 2.83/2.97 c Coefficients are big enough for not using lower bounding. 2.83/2.98 c Coefficients are big enough for not using lower bounding. 2.83/2.98 c Coefficients are big enough for not using lower bounding. 2.83/2.98 c Coefficients are big enough for not using lower bounding. 2.83/2.98 c Coefficients are big enough for not using lower bounding. 2.83/2.98 c Coefficients are big enough for not using lower bounding. 2.83/2.98 c Coefficients are big enough for not using lower bounding. 2.83/2.98 c Coefficients are big enough for not using lower bounding. 2.83/2.98 c Coefficients are big enough for not using lower bounding. 2.83/2.98 c Coefficients are big enough for not using lower bounding. 2.83/2.98 c Coefficients are big enough for not using lower bounding. 2.83/2.98 c Coefficients are big enough for not using lower bounding. 2.83/2.98 c Coefficients are big enough for not using lower bounding. 2.83/2.98 c Coefficients are big enough for not using lower bounding. 2.83/2.98 c Coefficients are big enough for not using lower bounding. 2.83/2.98 c Coefficients are big enough for not using lower bounding. 2.83/2.98 c Coefficients are big enough for not using lower bounding. 2.83/2.98 c Coefficients are big enough for not using lower bounding. 2.83/2.98 c Coefficients are big enough for not using lower bounding. 2.83/2.98 c Coefficients are big enough for not using lower bounding. 2.83/2.98 c Coefficients are big enough for not using lower bounding. 2.83/2.98 c Coefficients are big enough for not using lower bounding. 2.83/2.98 c Coefficients are big enough for not using lower bounding. 2.83/2.99 c Coefficients are big enough for not using lower bounding. 2.83/2.99 c Coefficients are big enough for not using lower bounding. 2.83/2.99 c Coefficients are big enough for not using lower bounding. 2.83/2.99 c Coefficients are big enough for not using lower bounding. 2.83/2.99 c Coefficients are big enough for not using lower bounding. 2.83/2.99 c Coefficients are big enough for not using lower bounding. 2.83/2.99 c Coefficients are big enough for not using lower bounding. 2.83/2.99 c Coefficients are big enough for not using lower bounding. 2.83/2.99 c Coefficients are big enough for not using lower bounding. 2.83/2.99 c Coefficients are big enough for not using lower bounding. 2.83/2.99 c Coefficients are big enough for not using lower bounding. 2.83/2.99 c Coefficients are big enough for not using lower bounding. 2.83/2.99 c Coefficients are big enough for not using lower bounding. 2.83/2.99 c Coefficients are big enough for not using lower bounding. 2.83/2.99 c Coefficients are big enough for not using lower bounding. 2.83/2.99 c Coefficients are big enough for not using lower bounding. 2.83/2.99 c Coefficients are big enough for not using lower bounding. 2.83/2.99 c Coefficients are big enough for not using lower bounding. 2.83/2.99 c Coefficients are big enough for not using lower bounding. 2.83/2.99 c Coefficients are big enough for not using lower bounding. 2.83/2.99 c Coefficients are big enough for not using lower bounding. 2.83/2.99 c Coefficients are big enough for not using lower bounding. 2.83/3.00 c Coefficients are big enough for not using lower bounding. 2.83/3.00 c Coefficients are big enough for not using lower bounding. 2.83/3.00 c Coefficients are big enough for not using lower bounding. 2.83/3.00 c Coefficients are big enough for not using lower bounding. 2.83/3.00 c Coefficients are big enough for not using lower bounding. 2.83/3.00 c Coefficients are big enough for not using lower bounding. 2.83/3.00 c Coefficients are big enough for not using lower bounding. 2.83/3.00 c Coefficients are big enough for not using lower bounding. 2.93/3.00 c Coefficients are big enough for not using lower bounding. 2.93/3.00 c Coefficients are big enough for not using lower bounding. 2.93/3.00 c Coefficients are big enough for not using lower bounding. 2.93/3.00 c Coefficients are big enough for not using lower bounding. 2.93/3.00 c Coefficients are big enough for not using lower bounding. 2.93/3.00 c Coefficients are big enough for not using lower bounding. 2.93/3.00 c Coefficients are big enough for not using lower bounding. 2.93/3.00 c Coefficients are big enough for not using lower bounding. 2.93/3.00 c Coefficients are big enough for not using lower bounding. 2.93/3.00 c Coefficients are big enough for not using lower bounding. 2.93/3.00 c Coefficients are big enough for not using lower bounding. 2.93/3.00 c Coefficients are big enough for not using lower bounding. 2.93/3.00 c Coefficients are big enough for not using lower bounding. 2.93/3.00 c Coefficients are big enough for not using lower bounding. 2.93/3.00 c Coefficients are big enough for not using lower bounding. 2.93/3.00 c Coefficients are big enough for not using lower bounding. 2.93/3.00 c Coefficients are big enough for not using lower bounding. 2.93/3.01 c Coefficients are big enough for not using lower bounding. 2.93/3.01 c Coefficients are big enough for not using lower bounding. 2.93/3.01 c Coefficients are big enough for not using lower bounding. 2.93/3.01 c Coefficients are big enough for not using lower bounding. 2.93/3.01 c Coefficients are big enough for not using lower bounding. 2.93/3.01 c Coefficients are big enough for not using lower bounding. 2.93/3.01 c Coefficients are big enough for not using lower bounding. 2.93/3.01 c Coefficients are big enough for not using lower bounding. 2.93/3.01 c Coefficients are big enough for not using lower bounding. 2.93/3.01 c Coefficients are big enough for not using lower bounding. 2.93/3.01 c Coefficients are big enough for not using lower bounding. 2.93/3.01 c Coefficients are big enough for not using lower bounding. 2.93/3.01 c Coefficients are big enough for not using lower bounding. 2.93/3.01 c Coefficients are big enough for not using lower bounding. 2.93/3.01 c Coefficients are big enough for not using lower bounding. 2.93/3.01 c Coefficients are big enough for not using lower bounding. 2.93/3.01 c Coefficients are big enough for not using lower bounding. 2.93/3.01 c Coefficients are big enough for not using lower bounding. 2.93/3.01 c Coefficients are big enough for not using lower bounding. 2.93/3.01 c Coefficients are big enough for not using lower bounding. 2.93/3.01 c Coefficients are big enough for not using lower bounding. 2.93/3.01 c Coefficients are big enough for not using lower bounding. 2.93/3.01 c Coefficients are big enough for not using lower bounding. 2.93/3.02 c Coefficients are big enough for not using lower bounding. 2.93/3.02 c Coefficients are big enough for not using lower bounding. 2.93/3.02 c Coefficients are big enough for not using lower bounding. 2.93/3.02 c Coefficients are big enough for not using lower bounding. 2.93/3.02 c Coefficients are big enough for not using lower bounding. 2.93/3.02 c Coefficients are big enough for not using lower bounding. 2.93/3.02 c Coefficients are big enough for not using lower bounding. 2.93/3.02 c Coefficients are big enough for not using lower bounding. 2.93/3.02 c Coefficients are big enough for not using lower bounding. 2.93/3.02 c Coefficients are big enough for not using lower bounding. 2.93/3.02 c Coefficients are big enough for not using lower bounding. 2.93/3.02 c Coefficients are big enough for not using lower bounding. 2.93/3.02 c Coefficients are big enough for not using lower bounding. 2.93/3.02 c Coefficients are big enough for not using lower bounding. 2.93/3.02 c Coefficients are big enough for not using lower bounding. 2.93/3.02 c Coefficients are big enough for not using lower bounding. 2.93/3.02 c Coefficients are big enough for not using lower bounding. 2.93/3.02 c Coefficients are big enough for not using lower bounding. 2.93/3.02 c Coefficients are big enough for not using lower bounding. 2.93/3.02 c Coefficients are big enough for not using lower bounding. 2.93/3.02 c Coefficients are big enough for not using lower bounding. 2.93/3.02 c Coefficients are big enough for not using lower bounding. 2.93/3.02 c Coefficients are big enough for not using lower bounding. 2.93/3.02 c Coefficients are big enough for not using lower bounding. 2.93/3.02 c Coefficients are big enough for not using lower bounding. 2.93/3.03 c Coefficients are big enough for not using lower bounding. 2.93/3.03 c Coefficients are big enough for not using lower bounding. 2.93/3.03 c Coefficients are big enough for not using lower bounding. 2.93/3.03 c Coefficients are big enough for not using lower bounding. 2.93/3.03 c Coefficients are big enough for not using lower bounding. 2.93/3.03 c Coefficients are big enough for not using lower bounding. 2.93/3.03 c Coefficients are big enough for not using lower bounding. 2.93/3.03 c Coefficients are big enough for not using lower bounding. 2.93/3.03 c Coefficients are big enough for not using lower bounding. 2.93/3.03 c Coefficients are big enough for not using lower bounding. 2.93/3.03 c Coefficients are big enough for not using lower bounding. 2.93/3.03 c Coefficients are big enough for not using lower bounding. 2.93/3.03 c Coefficients are big enough for not using lower bounding. 2.93/3.03 c Coefficients are big enough for not using lower bounding. 2.93/3.03 c Coefficients are big enough for not using lower bounding. 2.93/3.03 c Coefficients are big enough for not using lower bounding. 2.93/3.03 c Coefficients are big enough for not using lower bounding. 2.93/3.03 c Coefficients are big enough for not using lower bounding. 2.93/3.03 c Coefficients are big enough for not using lower bounding. 2.93/3.03 c Coefficients are big enough for not using lower bounding. 2.93/3.03 c Coefficients are big enough for not using lower bounding. 2.93/3.03 c Coefficients are big enough for not using lower bounding. 2.93/3.03 c Coefficients are big enough for not using lower bounding. 2.93/3.03 c Coefficients are big enough for not using lower bounding. 2.93/3.03 c Coefficients are big enough for not using lower bounding. 2.93/3.03 c Coefficients are big enough for not using lower bounding. 2.93/3.04 c Coefficients are big enough for not using lower bounding. 2.93/3.04 c Coefficients are big enough for not using lower bounding. 2.93/3.04 c Coefficients are big enough for not using lower bounding. 2.93/3.04 c Coefficients are big enough for not using lower bounding. 2.93/3.04 c Coefficients are big enough for not using lower bounding. 2.93/3.04 c Coefficients are big enough for not using lower bounding. 2.93/3.04 c Coefficients are big enough for not using lower bounding. 2.93/3.04 c Coefficients are big enough for not using lower bounding. 2.93/3.04 c Coefficients are big enough for not using lower bounding. 2.93/3.04 c Coefficients are big enough for not using lower bounding. 2.93/3.04 c Coefficients are big enough for not using lower bounding. 2.93/3.04 c Coefficients are big enough for not using lower bounding. 2.93/3.04 c Coefficients are big enough for not using lower bounding. 2.93/3.04 c Coefficients are big enough for not using lower bounding. 2.93/3.04 c Coefficients are big enough for not using lower bounding. 2.93/3.04 c Coefficients are big enough for not using lower bounding. 2.93/3.04 c Coefficients are big enough for not using lower bounding. 2.93/3.04 c Coefficients are big enough for not using lower bounding. 2.93/3.04 c Coefficients are big enough for not using lower bounding. 2.93/3.04 c Coefficients are big enough for not using lower bounding. 2.93/3.04 c Coefficients are big enough for not using lower bounding. 2.93/3.04 c Coefficients are big enough for not using lower bounding. 2.93/3.05 c Coefficients are big enough for not using lower bounding. 2.93/3.05 c Coefficients are big enough for not using lower bounding. 2.93/3.05 c Coefficients are big enough for not using lower bounding. 2.93/3.05 c Coefficients are big enough for not using lower bounding. 2.93/3.05 c Coefficients are big enough for not using lower bounding. 2.93/3.05 c Coefficients are big enough for not using lower bounding. 2.93/3.05 c Coefficients are big enough for not using lower bounding. 2.93/3.05 c Coefficients are big enough for not using lower bounding. 2.93/3.05 c Coefficients are big enough for not using lower bounding. 2.93/3.05 c Coefficients are big enough for not using lower bounding. 2.93/3.05 c Coefficients are big enough for not using lower bounding. 2.93/3.05 c Coefficients are big enough for not using lower bounding. 2.93/3.05 c Coefficients are big enough for not using lower bounding. 2.93/3.05 c Coefficients are big enough for not using lower bounding. 2.93/3.05 c Coefficients are big enough for not using lower bounding. 2.93/3.05 c Coefficients are big enough for not using lower bounding. 2.93/3.05 c Coefficients are big enough for not using lower bounding. 2.93/3.05 c Coefficients are big enough for not using lower bounding. 2.93/3.05 c Coefficients are big enough for not using lower bounding. 2.93/3.05 c Coefficients are big enough for not using lower bounding. 2.93/3.05 c Coefficients are big enough for not using lower bounding. 2.93/3.05 c Coefficients are big enough for not using lower bounding. 2.93/3.06 c Coefficients are big enough for not using lower bounding. 2.93/3.06 c Coefficients are big enough for not using lower bounding. 2.93/3.06 c Coefficients are big enough for not using lower bounding. 2.93/3.06 c Coefficients are big enough for not using lower bounding. 2.93/3.06 c Coefficients are big enough for not using lower bounding. 2.93/3.06 c Coefficients are big enough for not using lower bounding. 2.93/3.06 c Coefficients are big enough for not using lower bounding. 2.93/3.06 c Coefficients are big enough for not using lower bounding. 2.93/3.06 c Coefficients are big enough for not using lower bounding. 2.93/3.06 c Coefficients are big enough for not using lower bounding. 2.93/3.06 c Coefficients are big enough for not using lower bounding. 2.93/3.06 c Coefficients are big enough for not using lower bounding. 2.93/3.06 c Coefficients are big enough for not using lower bounding. 2.93/3.06 c Coefficients are big enough for not using lower bounding. 2.93/3.06 c Coefficients are big enough for not using lower bounding. 2.93/3.06 c Coefficients are big enough for not using lower bounding. 2.93/3.06 c Coefficients are big enough for not using lower bounding. 2.93/3.06 c Coefficients are big enough for not using lower bounding. 2.93/3.06 c Coefficients are big enough for not using lower bounding. 2.93/3.06 c Coefficients are big enough for not using lower bounding. 2.93/3.06 c Coefficients are big enough for not using lower bounding. 2.93/3.06 c Coefficients are big enough for not using lower bounding. 2.93/3.07 c Coefficients are big enough for not using lower bounding. 2.93/3.07 c Coefficients are big enough for not using lower bounding. 2.93/3.07 c Coefficients are big enough for not using lower bounding. 2.93/3.07 c Coefficients are big enough for not using lower bounding. 2.93/3.07 c Coefficients are big enough for not using lower bounding. 2.93/3.07 c Coefficients are big enough for not using lower bounding. 2.93/3.07 c Coefficients are big enough for not using lower bounding. 2.93/3.07 c Coefficients are big enough for not using lower bounding. 2.93/3.07 c Coefficients are big enough for not using lower bounding. 2.93/3.07 c Coefficients are big enough for not using lower bounding. 2.93/3.07 c Coefficients are big enough for not using lower bounding. 2.93/3.07 c Coefficients are big enough for not using lower bounding. 2.93/3.07 c Coefficients are big enough for not using lower bounding. 2.93/3.07 c Coefficients are big enough for not using lower bounding. 2.93/3.07 c Coefficients are big enough for not using lower bounding. 2.93/3.07 c Coefficients are big enough for not using lower bounding. 2.93/3.07 c Coefficients are big enough for not using lower bounding. 2.93/3.07 c Coefficients are big enough for not using lower bounding. 2.93/3.07 c Coefficients are big enough for not using lower bounding. 2.93/3.07 c Coefficients are big enough for not using lower bounding. 2.93/3.07 c Coefficients are big enough for not using lower bounding. 2.93/3.07 c Coefficients are big enough for not using lower bounding. 2.93/3.08 c Coefficients are big enough for not using lower bounding. 2.93/3.08 c Coefficients are big enough for not using lower bounding. 2.93/3.08 c Coefficients are big enough for not using lower bounding. 2.93/3.08 c Coefficients are big enough for not using lower bounding. 2.93/3.08 c Coefficients are big enough for not using lower bounding. 2.93/3.08 c Coefficients are big enough for not using lower bounding. 2.93/3.08 c Coefficients are big enough for not using lower bounding. 2.93/3.08 c Coefficients are big enough for not using lower bounding. 2.93/3.08 c Coefficients are big enough for not using lower bounding. 2.93/3.08 c Coefficients are big enough for not using lower bounding. 2.93/3.08 c Coefficients are big enough for not using lower bounding. 2.93/3.08 c Coefficients are big enough for not using lower bounding. 2.93/3.08 c Coefficients are big enough for not using lower bounding. 2.93/3.08 c Coefficients are big enough for not using lower bounding. 2.93/3.08 c Coefficients are big enough for not using lower bounding. 2.93/3.08 c Coefficients are big enough for not using lower bounding. 2.93/3.08 c Coefficients are big enough for not using lower bounding. 2.93/3.08 c Coefficients are big enough for not using lower bounding. 2.93/3.08 c Coefficients are big enough for not using lower bounding. 2.93/3.08 c Coefficients are big enough for not using lower bounding. 2.93/3.08 c Coefficients are big enough for not using lower bounding. 2.93/3.08 c Coefficients are big enough for not using lower bounding. 2.93/3.08 c Coefficients are big enough for not using lower bounding. 2.93/3.08 c Coefficients are big enough for not using lower bounding. 2.93/3.08 c Coefficients are big enough for not using lower bounding. 2.93/3.08 c Coefficients are big enough for not using lower bounding. 2.93/3.08 c Coefficients are big enough for not using lower bounding. 2.93/3.08 c Coefficients are big enough for not using lower bounding. 2.93/3.08 c Coefficients are big enough for not using lower bounding. 2.93/3.08 c Coefficients are big enough for not using lower bounding. 2.93/3.09 c Coefficients are big enough for not using lower bounding. 2.93/3.09 c Coefficients are big enough for not using lower bounding. 2.93/3.09 c Coefficients are big enough for not using lower bounding. 2.93/3.09 c Coefficients are big enough for not using lower bounding. 2.93/3.09 c Coefficients are big enough for not using lower bounding. 2.93/3.09 c Coefficients are big enough for not using lower bounding. 2.93/3.09 c Coefficients are big enough for not using lower bounding. 2.93/3.09 c Coefficients are big enough for not using lower bounding. 2.93/3.09 c Coefficients are big enough for not using lower bounding. 2.93/3.09 c Coefficients are big enough for not using lower bounding. 2.93/3.09 c Coefficients are big enough for not using lower bounding. 2.93/3.09 c Coefficients are big enough for not using lower bounding. 2.93/3.09 c Coefficients are big enough for not using lower bounding. 2.93/3.09 c Coefficients are big enough for not using lower bounding. 2.93/3.09 c Coefficients are big enough for not using lower bounding. 2.93/3.09 c Coefficients are big enough for not using lower bounding. 2.93/3.09 c Coefficients are big enough for not using lower bounding. 2.93/3.09 c Coefficients are big enough for not using lower bounding. 2.93/3.09 c Coefficients are big enough for not using lower bounding. 2.93/3.09 c Coefficients are big enough for not using lower bounding. 2.93/3.09 c Coefficients are big enough for not using lower bounding. 2.93/3.09 c Coefficients are big enough for not using lower bounding. 2.93/3.09 c Coefficients are big enough for not using lower bounding. 2.93/3.09 c Coefficients are big enough for not using lower bounding. 2.93/3.09 c Coefficients are big enough for not using lower bounding. 3.02/3.10 c Coefficients are big enough for not using lower bounding. 3.02/3.10 c Coefficients are big enough for not using lower bounding. 3.02/3.10 c Coefficients are big enough for not using lower bounding. 3.02/3.10 c Coefficients are big enough for not using lower bounding. 3.02/3.10 c Coefficients are big enough for not using lower bounding. 3.02/3.10 c Coefficients are big enough for not using lower bounding. 3.02/3.10 c Coefficients are big enough for not using lower bounding. 3.02/3.10 c Coefficients are big enough for not using lower bounding. 3.02/3.10 c Coefficients are big enough for not using lower bounding. 3.02/3.10 c Coefficients are big enough for not using lower bounding. 3.02/3.10 c Coefficients are big enough for not using lower bounding. 3.02/3.10 c Coefficients are big enough for not using lower bounding. 3.02/3.10 c Coefficients are big enough for not using lower bounding. 3.02/3.10 c Coefficients are big enough for not using lower bounding. 3.02/3.10 c Coefficients are big enough for not using lower bounding. 3.02/3.10 c Coefficients are big enough for not using lower bounding. 3.02/3.10 c Coefficients are big enough for not using lower bounding. 3.02/3.10 c Coefficients are big enough for not using lower bounding. 3.02/3.10 c Coefficients are big enough for not using lower bounding. 3.02/3.10 c Coefficients are big enough for not using lower bounding. 3.02/3.10 c Coefficients are big enough for not using lower bounding. 3.02/3.14 c Coefficients are big enough for not using lower bounding. 3.02/3.15 c Coefficients are big enough for not using lower bounding. 3.02/3.15 c Coefficients are big enough for not using lower bounding. 3.02/3.15 c Coefficients are big enough for not using lower bounding. 3.02/3.15 c Coefficients are big enough for not using lower bounding. 3.02/3.15 c Coefficients are big enough for not using lower bounding. 3.02/3.15 c Coefficients are big enough for not using lower bounding. 3.02/3.15 c Coefficients are big enough for not using lower bounding. 3.02/3.15 c Coefficients are big enough for not using lower bounding. 3.02/3.15 c Coefficients are big enough for not using lower bounding. 3.02/3.15 c Coefficients are big enough for not using lower bounding. 3.02/3.15 c Coefficients are big enough for not using lower bounding. 3.02/3.15 c Coefficients are big enough for not using lower bounding. 3.02/3.15 c Coefficients are big enough for not using lower bounding. 3.02/3.15 c Coefficients are big enough for not using lower bounding. 3.02/3.15 c Coefficients are big enough for not using lower bounding. 3.02/3.15 c Coefficients are big enough for not using lower bounding. 3.02/3.15 c Coefficients are big enough for not using lower bounding. 3.02/3.15 c Coefficients are big enough for not using lower bounding. 3.02/3.15 c Coefficients are big enough for not using lower bounding. 3.02/3.15 c Coefficients are big enough for not using lower bounding. 3.02/3.15 c Coefficients are big enough for not using lower bounding. 3.02/3.15 c Coefficients are big enough for not using lower bounding. 3.02/3.15 c Coefficients are big enough for not using lower bounding. 3.02/3.15 c Coefficients are big enough for not using lower bounding. 3.02/3.15 c Coefficients are big enough for not using lower bounding. 3.02/3.15 c Coefficients are big enough for not using lower bounding. 3.02/3.15 c Coefficients are big enough for not using lower bounding. 3.02/3.15 c Coefficients are big enough for not using lower bounding. 3.02/3.16 c Coefficients are big enough for not using lower bounding. 3.02/3.16 c Coefficients are big enough for not using lower bounding. 3.02/3.16 c Coefficients are big enough for not using lower bounding. 3.02/3.16 c Coefficients are big enough for not using lower bounding. 3.02/3.16 c Coefficients are big enough for not using lower bounding. 3.02/3.16 c Coefficients are big enough for not using lower bounding. 3.02/3.16 c Coefficients are big enough for not using lower bounding. 3.02/3.16 c Coefficients are big enough for not using lower bounding. 3.02/3.16 c Coefficients are big enough for not using lower bounding. 3.02/3.16 c Coefficients are big enough for not using lower bounding. 3.02/3.16 c Coefficients are big enough for not using lower bounding. 3.02/3.16 c Coefficients are big enough for not using lower bounding. 3.02/3.16 c Coefficients are big enough for not using lower bounding. 3.02/3.16 c Coefficients are big enough for not using lower bounding. 3.02/3.16 c Coefficients are big enough for not using lower bounding. 3.02/3.16 c Coefficients are big enough for not using lower bounding. 3.02/3.16 c Coefficients are big enough for not using lower bounding. 3.02/3.16 c Coefficients are big enough for not using lower bounding. 3.02/3.16 c Coefficients are big enough for not using lower bounding. 3.02/3.16 c Coefficients are big enough for not using lower bounding. 3.02/3.16 c Coefficients are big enough for not using lower bounding. 3.02/3.16 c Coefficients are big enough for not using lower bounding. 3.02/3.16 c Coefficients are big enough for not using lower bounding. 3.02/3.16 c Coefficients are big enough for not using lower bounding. 3.02/3.16 c Coefficients are big enough for not using lower bounding. 3.02/3.16 c Coefficients are big enough for not using lower bounding. 3.02/3.16 c Coefficients are big enough for not using lower bounding. 3.02/3.17 c Coefficients are big enough for not using lower bounding. 3.02/3.17 c Coefficients are big enough for not using lower bounding. 3.02/3.17 c Coefficients are big enough for not using lower bounding. 3.02/3.17 c Coefficients are big enough for not using lower bounding. 3.02/3.17 c Coefficients are big enough for not using lower bounding. 3.02/3.17 c Coefficients are big enough for not using lower bounding. 3.02/3.17 c Coefficients are big enough for not using lower bounding. 3.02/3.17 c Coefficients are big enough for not using lower bounding. 3.02/3.17 c Coefficients are big enough for not using lower bounding. 3.02/3.17 c Coefficients are big enough for not using lower bounding. 3.02/3.17 c Coefficients are big enough for not using lower bounding. 3.02/3.17 c Coefficients are big enough for not using lower bounding. 3.02/3.17 c Coefficients are big enough for not using lower bounding. 3.02/3.17 c Coefficients are big enough for not using lower bounding. 3.02/3.17 c Coefficients are big enough for not using lower bounding. 3.02/3.17 c Coefficients are big enough for not using lower bounding. 3.02/3.17 c Coefficients are big enough for not using lower bounding. 3.02/3.17 c Coefficients are big enough for not using lower bounding. 3.02/3.17 c Coefficients are big enough for not using lower bounding. 3.02/3.17 c Coefficients are big enough for not using lower bounding. 3.02/3.17 c Coefficients are big enough for not using lower bounding. 3.02/3.17 c Coefficients are big enough for not using lower bounding. 3.02/3.18 c Coefficients are big enough for not using lower bounding. 3.02/3.18 c Coefficients are big enough for not using lower bounding. 3.02/3.18 c Coefficients are big enough for not using lower bounding. 3.02/3.18 c Coefficients are big enough for not using lower bounding. 3.02/3.18 c Coefficients are big enough for not using lower bounding. 3.02/3.18 c Coefficients are big enough for not using lower bounding. 3.02/3.18 c Coefficients are big enough for not using lower bounding. 3.02/3.18 c Coefficients are big enough for not using lower bounding. 3.02/3.18 c Coefficients are big enough for not using lower bounding. 3.02/3.18 c Coefficients are big enough for not using lower bounding. 3.02/3.18 c Coefficients are big enough for not using lower bounding. 3.02/3.18 c Coefficients are big enough for not using lower bounding. 3.02/3.18 c Coefficients are big enough for not using lower bounding. 3.02/3.18 c Coefficients are big enough for not using lower bounding. 3.02/3.18 c Coefficients are big enough for not using lower bounding. 3.02/3.18 c Coefficients are big enough for not using lower bounding. 3.02/3.18 c Coefficients are big enough for not using lower bounding. 3.02/3.18 c Coefficients are big enough for not using lower bounding. 3.02/3.18 c Coefficients are big enough for not using lower bounding. 3.02/3.18 c Coefficients are big enough for not using lower bounding. 3.02/3.18 c Coefficients are big enough for not using lower bounding. 3.02/3.18 c Coefficients are big enough for not using lower bounding. 3.02/3.18 c Coefficients are big enough for not using lower bounding. 3.02/3.18 c Coefficients are big enough for not using lower bounding. 3.02/3.18 c Coefficients are big enough for not using lower bounding. 3.02/3.18 c Coefficients are big enough for not using lower bounding. 3.02/3.18 c Coefficients are big enough for not using lower bounding. 3.02/3.18 c Coefficients are big enough for not using lower bounding. 3.02/3.18 c Coefficients are big enough for not using lower bounding. 3.02/3.18 c Coefficients are big enough for not using lower bounding. 3.02/3.19 c Coefficients are big enough for not using lower bounding. 3.02/3.19 c Coefficients are big enough for not using lower bounding. 3.02/3.19 c Coefficients are big enough for not using lower bounding. 3.02/3.19 c Coefficients are big enough for not using lower bounding. 3.02/3.19 c Coefficients are big enough for not using lower bounding. 3.02/3.19 c Coefficients are big enough for not using lower bounding. 3.02/3.19 c Coefficients are big enough for not using lower bounding. 3.02/3.19 c Coefficients are big enough for not using lower bounding. 3.02/3.19 c Coefficients are big enough for not using lower bounding. 3.02/3.19 c Coefficients are big enough for not using lower bounding. 3.02/3.19 c Coefficients are big enough for not using lower bounding. 3.02/3.19 c Coefficients are big enough for not using lower bounding. 3.02/3.19 c Coefficients are big enough for not using lower bounding. 3.02/3.19 c Coefficients are big enough for not using lower bounding. 3.02/3.19 c Coefficients are big enough for not using lower bounding. 3.02/3.19 c Coefficients are big enough for not using lower bounding. 3.02/3.19 c Coefficients are big enough for not using lower bounding. 3.02/3.19 c Coefficients are big enough for not using lower bounding. 3.02/3.19 c Coefficients are big enough for not using lower bounding. 3.02/3.19 c Coefficients are big enough for not using lower bounding. 3.02/3.19 c Coefficients are big enough for not using lower bounding. 3.02/3.19 c Coefficients are big enough for not using lower bounding. 3.02/3.19 c Coefficients are big enough for not using lower bounding. 3.02/3.19 c Coefficients are big enough for not using lower bounding. 3.02/3.19 c Coefficients are big enough for not using lower bounding. 3.02/3.20 c Coefficients are big enough for not using lower bounding. 3.02/3.20 c Coefficients are big enough for not using lower bounding. 3.02/3.20 c Coefficients are big enough for not using lower bounding. 3.02/3.20 c Coefficients are big enough for not using lower bounding. 3.02/3.20 c Coefficients are big enough for not using lower bounding. 3.02/3.20 c Coefficients are big enough for not using lower bounding. 3.02/3.20 c Coefficients are big enough for not using lower bounding. 3.02/3.20 c Coefficients are big enough for not using lower bounding. 3.02/3.20 c Coefficients are big enough for not using lower bounding. 3.02/3.20 c Coefficients are big enough for not using lower bounding. 3.02/3.20 c Coefficients are big enough for not using lower bounding. 3.02/3.20 c Coefficients are big enough for not using lower bounding. 3.12/3.20 c Coefficients are big enough for not using lower bounding. 3.12/3.20 c Coefficients are big enough for not using lower bounding. 3.12/3.20 c Coefficients are big enough for not using lower bounding. 3.12/3.20 c Coefficients are big enough for not using lower bounding. 3.12/3.20 c Coefficients are big enough for not using lower bounding. 3.12/3.20 c Coefficients are big enough for not using lower bounding. 3.12/3.20 c Coefficients are big enough for not using lower bounding. 3.12/3.20 c Coefficients are big enough for not using lower bounding. 3.12/3.20 c Coefficients are big enough for not using lower bounding. 3.12/3.20 c Coefficients are big enough for not using lower bounding. 3.12/3.21 c Coefficients are big enough for not using lower bounding. 3.12/3.21 c Coefficients are big enough for not using lower bounding. 3.12/3.21 c Coefficients are big enough for not using lower bounding. 3.12/3.21 c Coefficients are big enough for not using lower bounding. 3.12/3.21 c Coefficients are big enough for not using lower bounding. 3.12/3.21 c Coefficients are big enough for not using lower bounding. 3.12/3.21 c Coefficients are big enough for not using lower bounding. 3.12/3.21 c Coefficients are big enough for not using lower bounding. 3.12/3.21 c Coefficients are big enough for not using lower bounding. 3.12/3.21 c Coefficients are big enough for not using lower bounding. 3.12/3.21 c Coefficients are big enough for not using lower bounding. 3.12/3.21 c Coefficients are big enough for not using lower bounding. 3.12/3.21 c Coefficients are big enough for not using lower bounding. 3.12/3.21 c Coefficients are big enough for not using lower bounding. 3.12/3.21 c Coefficients are big enough for not using lower bounding. 3.12/3.21 c Coefficients are big enough for not using lower bounding. 3.12/3.21 c Coefficients are big enough for not using lower bounding. 3.12/3.21 c Coefficients are big enough for not using lower bounding. 3.12/3.21 c Coefficients are big enough for not using lower bounding. 3.12/3.21 c Coefficients are big enough for not using lower bounding. 3.12/3.21 c Coefficients are big enough for not using lower bounding. 3.12/3.21 c Coefficients are big enough for not using lower bounding. 3.12/3.22 c Coefficients are big enough for not using lower bounding. 3.12/3.22 c Coefficients are big enough for not using lower bounding. 3.12/3.22 c Coefficients are big enough for not using lower bounding. 3.12/3.22 c Coefficients are big enough for not using lower bounding. 3.12/3.22 c Coefficients are big enough for not using lower bounding. 3.12/3.22 c Coefficients are big enough for not using lower bounding. 3.12/3.22 c Coefficients are big enough for not using lower bounding. 3.12/3.22 c Coefficients are big enough for not using lower bounding. 3.12/3.22 c Coefficients are big enough for not using lower bounding. 3.12/3.22 c Coefficients are big enough for not using lower bounding. 3.12/3.22 c Coefficients are big enough for not using lower bounding. 3.12/3.22 c Coefficients are big enough for not using lower bounding. 3.12/3.22 c Coefficients are big enough for not using lower bounding. 3.12/3.22 c Coefficients are big enough for not using lower bounding. 3.12/3.22 c Coefficients are big enough for not using lower bounding. 3.12/3.22 c Coefficients are big enough for not using lower bounding. 3.12/3.22 c Coefficients are big enough for not using lower bounding. 3.12/3.22 c Coefficients are big enough for not using lower bounding. 3.12/3.22 c Coefficients are big enough for not using lower bounding. 3.12/3.22 c Coefficients are big enough for not using lower bounding. 3.12/3.22 c Coefficients are big enough for not using lower bounding. 3.12/3.22 c Coefficients are big enough for not using lower bounding. 3.12/3.22 c Coefficients are big enough for not using lower bounding. 3.12/3.22 c Coefficients are big enough for not using lower bounding. 3.12/3.22 c Coefficients are big enough for not using lower bounding. 3.12/3.22 c Coefficients are big enough for not using lower bounding. 3.12/3.22 c Coefficients are big enough for not using lower bounding. 3.12/3.23 c Coefficients are big enough for not using lower bounding. 3.12/3.23 c Coefficients are big enough for not using lower bounding. 3.12/3.23 c Coefficients are big enough for not using lower bounding. 3.12/3.23 c Coefficients are big enough for not using lower bounding. 3.12/3.23 c Coefficients are big enough for not using lower bounding. 3.12/3.23 c Coefficients are big enough for not using lower bounding. 3.12/3.23 c Coefficients are big enough for not using lower bounding. 3.12/3.23 c Coefficients are big enough for not using lower bounding. 3.12/3.23 c Coefficients are big enough for not using lower bounding. 3.12/3.23 c Coefficients are big enough for not using lower bounding. 3.12/3.23 c Coefficients are big enough for not using lower bounding. 3.12/3.23 c Coefficients are big enough for not using lower bounding. 3.12/3.23 c Coefficients are big enough for not using lower bounding. 3.12/3.23 c Coefficients are big enough for not using lower bounding. 3.12/3.23 c Coefficients are big enough for not using lower bounding. 3.12/3.23 c Coefficients are big enough for not using lower bounding. 3.12/3.23 c Coefficients are big enough for not using lower bounding. 3.12/3.23 c Coefficients are big enough for not using lower bounding. 3.12/3.23 c Coefficients are big enough for not using lower bounding. 3.12/3.23 c Coefficients are big enough for not using lower bounding. 3.12/3.23 c Coefficients are big enough for not using lower bounding. 3.12/3.23 c Coefficients are big enough for not using lower bounding. 3.12/3.23 c Coefficients are big enough for not using lower bounding. 3.12/3.23 c Coefficients are big enough for not using lower bounding. 3.12/3.23 c Coefficients are big enough for not using lower bounding. 3.12/3.23 c Coefficients are big enough for not using lower bounding. 3.12/3.23 c Coefficients are big enough for not using lower bounding. 3.12/3.24 c Coefficients are big enough for not using lower bounding. 3.12/3.24 c Coefficients are big enough for not using lower bounding. 3.12/3.24 c Coefficients are big enough for not using lower bounding. 3.12/3.24 c Coefficients are big enough for not using lower bounding. 3.12/3.24 c Coefficients are big enough for not using lower bounding. 3.12/3.24 c Coefficients are big enough for not using lower bounding. 3.12/3.24 c Coefficients are big enough for not using lower bounding. 3.12/3.24 c Coefficients are big enough for not using lower bounding. 3.12/3.24 c Coefficients are big enough for not using lower bounding. 3.12/3.24 c Coefficients are big enough for not using lower bounding. 3.12/3.24 c Coefficients are big enough for not using lower bounding. 3.12/3.24 c Coefficients are big enough for not using lower bounding. 3.12/3.24 c Coefficients are big enough for not using lower bounding. 3.12/3.24 c Coefficients are big enough for not using lower bounding. 3.12/3.24 c Coefficients are big enough for not using lower bounding. 3.12/3.24 c Coefficients are big enough for not using lower bounding. 3.12/3.24 c Coefficients are big enough for not using lower bounding. 3.12/3.24 c Coefficients are big enough for not using lower bounding. 3.12/3.24 c Coefficients are big enough for not using lower bounding. 3.12/3.24 c Coefficients are big enough for not using lower bounding. 3.12/3.24 c Coefficients are big enough for not using lower bounding. 3.12/3.24 c Coefficients are big enough for not using lower bounding. 3.12/3.24 c Coefficients are big enough for not using lower bounding. 3.12/3.25 c Coefficients are big enough for not using lower bounding. 3.12/3.25 c Coefficients are big enough for not using lower bounding. 3.12/3.25 c Coefficients are big enough for not using lower bounding. 3.12/3.25 c Coefficients are big enough for not using lower bounding. 3.12/3.25 c Coefficients are big enough for not using lower bounding. 3.12/3.25 c Coefficients are big enough for not using lower bounding. 3.12/3.25 c Coefficients are big enough for not using lower bounding. 3.12/3.25 c Coefficients are big enough for not using lower bounding. 3.12/3.25 c Coefficients are big enough for not using lower bounding. 3.12/3.25 c Coefficients are big enough for not using lower bounding. 3.12/3.25 c Coefficients are big enough for not using lower bounding. 3.12/3.25 c Coefficients are big enough for not using lower bounding. 3.12/3.25 c Coefficients are big enough for not using lower bounding. 3.12/3.25 c Coefficients are big enough for not using lower bounding. 3.12/3.25 c Coefficients are big enough for not using lower bounding. 3.12/3.25 c Coefficients are big enough for not using lower bounding. 3.12/3.25 c Coefficients are big enough for not using lower bounding. 3.12/3.25 c Coefficients are big enough for not using lower bounding. 3.12/3.25 c Coefficients are big enough for not using lower bounding. 3.12/3.25 c Coefficients are big enough for not using lower bounding. 3.12/3.25 c Coefficients are big enough for not using lower bounding. 3.12/3.25 c Coefficients are big enough for not using lower bounding. 3.12/3.26 c Coefficients are big enough for not using lower bounding. 3.12/3.26 c Coefficients are big enough for not using lower bounding. 3.12/3.26 c Coefficients are big enough for not using lower bounding. 3.12/3.26 c Coefficients are big enough for not using lower bounding. 3.12/3.26 c Coefficients are big enough for not using lower bounding. 3.12/3.26 c Coefficients are big enough for not using lower bounding. 3.12/3.26 c Coefficients are big enough for not using lower bounding. 3.12/3.26 c Coefficients are big enough for not using lower bounding. 3.12/3.26 c Coefficients are big enough for not using lower bounding. 3.12/3.26 c Coefficients are big enough for not using lower bounding. 3.12/3.26 c Coefficients are big enough for not using lower bounding. 3.12/3.26 c Coefficients are big enough for not using lower bounding. 3.12/3.26 c Coefficients are big enough for not using lower bounding. 3.12/3.26 c Coefficients are big enough for not using lower bounding. 3.12/3.26 c Coefficients are big enough for not using lower bounding. 3.12/3.26 c Coefficients are big enough for not using lower bounding. 3.12/3.26 c Coefficients are big enough for not using lower bounding. 3.12/3.26 c Coefficients are big enough for not using lower bounding. 3.12/3.26 c Coefficients are big enough for not using lower bounding. 3.12/3.26 c Coefficients are big enough for not using lower bounding. 3.12/3.26 c Coefficients are big enough for not using lower bounding. 3.12/3.26 c Coefficients are big enough for not using lower bounding. 3.12/3.26 c Coefficients are big enough for not using lower bounding. 3.12/3.26 c Coefficients are big enough for not using lower bounding. 3.12/3.26 c Coefficients are big enough for not using lower bounding. 3.12/3.26 c Coefficients are big enough for not using lower bounding. 3.12/3.27 c Coefficients are big enough for not using lower bounding. 3.12/3.27 c Coefficients are big enough for not using lower bounding. 3.12/3.27 c Coefficients are big enough for not using lower bounding. 3.12/3.27 c Coefficients are big enough for not using lower bounding. 3.12/3.27 c Coefficients are big enough for not using lower bounding. 3.12/3.27 c Coefficients are big enough for not using lower bounding. 3.12/3.27 c Coefficients are big enough for not using lower bounding. 3.12/3.27 c Coefficients are big enough for not using lower bounding. 3.12/3.27 c Coefficients are big enough for not using lower bounding. 3.12/3.27 c Coefficients are big enough for not using lower bounding. 3.12/3.27 c Coefficients are big enough for not using lower bounding. 3.12/3.27 c Coefficients are big enough for not using lower bounding. 3.12/3.27 c Coefficients are big enough for not using lower bounding. 3.12/3.27 c Coefficients are big enough for not using lower bounding. 3.12/3.27 c Coefficients are big enough for not using lower bounding. 3.12/3.27 c Coefficients are big enough for not using lower bounding. 3.12/3.27 c Coefficients are big enough for not using lower bounding. 3.12/3.27 c Coefficients are big enough for not using lower bounding. 3.12/3.27 c Coefficients are big enough for not using lower bounding. 3.12/3.27 c Coefficients are big enough for not using lower bounding. 3.12/3.27 c Coefficients are big enough for not using lower bounding. 3.12/3.27 c Coefficients are big enough for not using lower bounding. 3.12/3.27 c Coefficients are big enough for not using lower bounding. 3.12/3.27 c Coefficients are big enough for not using lower bounding. 3.12/3.27 c Coefficients are big enough for not using lower bounding. 3.12/3.27 c Coefficients are big enough for not using lower bounding. 3.12/3.27 c Coefficients are big enough for not using lower bounding. 3.12/3.27 c Coefficients are big enough for not using lower bounding. 3.12/3.27 c Coefficients are big enough for not using lower bounding. 3.12/3.28 c Coefficients are big enough for not using lower bounding. 3.12/3.28 c Coefficients are big enough for not using lower bounding. 3.12/3.28 c Coefficients are big enough for not using lower bounding. 3.12/3.28 c Coefficients are big enough for not using lower bounding. 3.12/3.28 c Coefficients are big enough for not using lower bounding. 3.12/3.28 c Coefficients are big enough for not using lower bounding. 3.12/3.28 c Coefficients are big enough for not using lower bounding. 3.12/3.28 c Coefficients are big enough for not using lower bounding. 3.12/3.28 c Coefficients are big enough for not using lower bounding. 3.12/3.28 c Coefficients are big enough for not using lower bounding. 3.12/3.28 c Coefficients are big enough for not using lower bounding. 3.12/3.28 c Coefficients are big enough for not using lower bounding. 3.12/3.28 c Coefficients are big enough for not using lower bounding. 3.12/3.28 c Coefficients are big enough for not using lower bounding. 3.12/3.28 c Coefficients are big enough for not using lower bounding. 3.12/3.28 c Coefficients are big enough for not using lower bounding. 3.12/3.28 c Coefficients are big enough for not using lower bounding. 3.12/3.28 c Coefficients are big enough for not using lower bounding. 3.12/3.28 c Coefficients are big enough for not using lower bounding. 3.12/3.28 c Coefficients are big enough for not using lower bounding. 3.12/3.28 c Coefficients are big enough for not using lower bounding. 3.12/3.28 c Coefficients are big enough for not using lower bounding. 3.12/3.29 c Coefficients are big enough for not using lower bounding. 3.12/3.29 c Coefficients are big enough for not using lower bounding. 3.12/3.29 c Coefficients are big enough for not using lower bounding. 3.12/3.29 c Coefficients are big enough for not using lower bounding. 3.12/3.29 c Coefficients are big enough for not using lower bounding. 3.12/3.29 c Coefficients are big enough for not using lower bounding. 3.12/3.29 c Coefficients are big enough for not using lower bounding. 3.12/3.29 c Coefficients are big enough for not using lower bounding. 3.12/3.29 c Coefficients are big enough for not using lower bounding. 3.12/3.29 c Coefficients are big enough for not using lower bounding. 3.12/3.29 c Coefficients are big enough for not using lower bounding. 3.12/3.29 c Coefficients are big enough for not using lower bounding. 3.12/3.29 c Coefficients are big enough for not using lower bounding. 3.12/3.29 c Coefficients are big enough for not using lower bounding. 3.12/3.29 c Coefficients are big enough for not using lower bounding. 3.12/3.29 c Coefficients are big enough for not using lower bounding. 3.12/3.29 c Coefficients are big enough for not using lower bounding. 3.12/3.29 c Coefficients are big enough for not using lower bounding. 3.12/3.29 c Coefficients are big enough for not using lower bounding. 3.12/3.29 c Coefficients are big enough for not using lower bounding. 3.12/3.29 c Coefficients are big enough for not using lower bounding. 3.12/3.29 c Coefficients are big enough for not using lower bounding. 3.12/3.30 c Coefficients are big enough for not using lower bounding. 3.12/3.30 c Coefficients are big enough for not using lower bounding. 3.12/3.30 c Coefficients are big enough for not using lower bounding. 3.12/3.30 c Coefficients are big enough for not using lower bounding. 3.12/3.30 c Coefficients are big enough for not using lower bounding. 3.12/3.30 c Coefficients are big enough for not using lower bounding. 3.12/3.30 c Coefficients are big enough for not using lower bounding. 3.12/3.30 c Coefficients are big enough for not using lower bounding. 3.12/3.30 c Coefficients are big enough for not using lower bounding. 3.12/3.30 c Coefficients are big enough for not using lower bounding. 3.12/3.30 c Coefficients are big enough for not using lower bounding. 3.12/3.30 c Coefficients are big enough for not using lower bounding. 3.12/3.30 c Coefficients are big enough for not using lower bounding. 3.12/3.30 c Coefficients are big enough for not using lower bounding. 3.12/3.30 c Coefficients are big enough for not using lower bounding. 3.12/3.30 c Coefficients are big enough for not using lower bounding. 3.12/3.30 c Coefficients are big enough for not using lower bounding. 3.12/3.30 c Coefficients are big enough for not using lower bounding. 3.23/3.30 c Coefficients are big enough for not using lower bounding. 3.23/3.30 c Coefficients are big enough for not using lower bounding. 3.23/3.30 c Coefficients are big enough for not using lower bounding. 3.23/3.30 c Coefficients are big enough for not using lower bounding. 3.23/3.30 c Coefficients are big enough for not using lower bounding. 3.23/3.30 c Coefficients are big enough for not using lower bounding. 3.23/3.30 c Coefficients are big enough for not using lower bounding. 3.23/3.30 c Coefficients are big enough for not using lower bounding. 3.23/3.30 c Coefficients are big enough for not using lower bounding. 3.23/3.31 c Coefficients are big enough for not using lower bounding. 3.23/3.31 c Coefficients are big enough for not using lower bounding. 3.23/3.31 c Coefficients are big enough for not using lower bounding. 3.23/3.31 c Coefficients are big enough for not using lower bounding. 3.23/3.31 c Coefficients are big enough for not using lower bounding. 3.23/3.31 c Coefficients are big enough for not using lower bounding. 3.23/3.31 c Coefficients are big enough for not using lower bounding. 3.23/3.31 c Coefficients are big enough for not using lower bounding. 3.23/3.31 c Coefficients are big enough for not using lower bounding. 3.23/3.31 c Coefficients are big enough for not using lower bounding. 3.23/3.31 c Coefficients are big enough for not using lower bounding. 3.23/3.31 c Coefficients are big enough for not using lower bounding. 3.23/3.31 c Coefficients are big enough for not using lower bounding. 3.23/3.31 c Coefficients are big enough for not using lower bounding. 3.23/3.31 c Coefficients are big enough for not using lower bounding. 3.23/3.31 c Coefficients are big enough for not using lower bounding. 3.23/3.31 c Coefficients are big enough for not using lower bounding. 3.23/3.31 c Coefficients are big enough for not using lower bounding. 3.23/3.31 c Coefficients are big enough for not using lower bounding. 3.23/3.31 c Coefficients are big enough for not using lower bounding. 3.23/3.31 c Coefficients are big enough for not using lower bounding. 3.23/3.31 c Coefficients are big enough for not using lower bounding. 3.23/3.31 c Coefficients are big enough for not using lower bounding. 3.23/3.31 c Coefficients are big enough for not using lower bounding. 3.23/3.31 c Coefficients are big enough for not using lower bounding. 3.23/3.31 c Coefficients are big enough for not using lower bounding. 3.23/3.31 c Coefficients are big enough for not using lower bounding. 3.23/3.31 c Coefficients are big enough for not using lower bounding. 3.23/3.32 c Coefficients are big enough for not using lower bounding. 3.23/3.32 c Coefficients are big enough for not using lower bounding. 3.23/3.32 c Coefficients are big enough for not using lower bounding. 3.23/3.32 c Coefficients are big enough for not using lower bounding. 3.23/3.32 c Coefficients are big enough for not using lower bounding. 3.23/3.32 c Coefficients are big enough for not using lower bounding. 3.23/3.32 c Coefficients are big enough for not using lower bounding. 3.23/3.32 c Coefficients are big enough for not using lower bounding. 3.23/3.32 c Coefficients are big enough for not using lower bounding. 3.23/3.32 c Coefficients are big enough for not using lower bounding. 3.23/3.32 c Coefficients are big enough for not using lower bounding. 3.23/3.32 c Coefficients are big enough for not using lower bounding. 3.23/3.32 c Coefficients are big enough for not using lower bounding. 3.23/3.32 c Coefficients are big enough for not using lower bounding. 3.23/3.32 c Coefficients are big enough for not using lower bounding. 3.23/3.32 c Coefficients are big enough for not using lower bounding. 3.23/3.32 c Coefficients are big enough for not using lower bounding. 3.23/3.32 c Coefficients are big enough for not using lower bounding. 3.23/3.32 c Coefficients are big enough for not using lower bounding. 3.23/3.32 c Coefficients are big enough for not using lower bounding. 3.23/3.32 c Coefficients are big enough for not using lower bounding. 3.23/3.32 c Coefficients are big enough for not using lower bounding. 3.23/3.33 c Coefficients are big enough for not using lower bounding. 3.23/3.33 c Coefficients are big enough for not using lower bounding. 3.23/3.33 c Coefficients are big enough for not using lower bounding. 3.23/3.33 c Coefficients are big enough for not using lower bounding. 3.23/3.33 c Coefficients are big enough for not using lower bounding. 3.23/3.33 c Coefficients are big enough for not using lower bounding. 3.23/3.33 c Coefficients are big enough for not using lower bounding. 3.23/3.33 c Coefficients are big enough for not using lower bounding. 3.23/3.33 c Coefficients are big enough for not using lower bounding. 3.23/3.33 c Coefficients are big enough for not using lower bounding. 3.23/3.33 c Coefficients are big enough for not using lower bounding. 3.23/3.33 c Coefficients are big enough for not using lower bounding. 3.23/3.33 c Coefficients are big enough for not using lower bounding. 3.23/3.33 c Coefficients are big enough for not using lower bounding. 3.23/3.33 c Coefficients are big enough for not using lower bounding. 3.23/3.33 c Coefficients are big enough for not using lower bounding. 3.23/3.33 c Coefficients are big enough for not using lower bounding. 3.23/3.33 c Coefficients are big enough for not using lower bounding. 3.23/3.33 c Coefficients are big enough for not using lower bounding. 3.23/3.34 c Coefficients are big enough for not using lower bounding. 3.23/3.34 c Coefficients are big enough for not using lower bounding. 3.23/3.34 c Coefficients are big enough for not using lower bounding. 3.23/3.34 c Coefficients are big enough for not using lower bounding. 3.23/3.34 c Coefficients are big enough for not using lower bounding. 3.23/3.34 c Coefficients are big enough for not using lower bounding. 3.23/3.34 c Coefficients are big enough for not using lower bounding. 3.23/3.34 c Coefficients are big enough for not using lower bounding. 3.23/3.34 c Coefficients are big enough for not using lower bounding. 3.23/3.34 c Coefficients are big enough for not using lower bounding. 3.23/3.34 c Coefficients are big enough for not using lower bounding. 3.23/3.34 c Coefficients are big enough for not using lower bounding. 3.23/3.34 c Coefficients are big enough for not using lower bounding. 3.23/3.34 c Coefficients are big enough for not using lower bounding. 3.23/3.34 c Coefficients are big enough for not using lower bounding. 3.23/3.34 c Coefficients are big enough for not using lower bounding. 3.23/3.34 c Coefficients are big enough for not using lower bounding. 3.23/3.34 c Coefficients are big enough for not using lower bounding. 3.23/3.34 c Coefficients are big enough for not using lower bounding. 3.23/3.34 c Coefficients are big enough for not using lower bounding. 3.23/3.34 c Coefficients are big enough for not using lower bounding. 3.23/3.34 c Coefficients are big enough for not using lower bounding. 3.23/3.34 c Coefficients are big enough for not using lower bounding. 3.23/3.34 c Coefficients are big enough for not using lower bounding. 3.23/3.34 c Coefficients are big enough for not using lower bounding. 3.23/3.35 c Coefficients are big enough for not using lower bounding. 3.23/3.35 c Coefficients are big enough for not using lower bounding. 3.23/3.35 c Coefficients are big enough for not using lower bounding. 3.23/3.35 c Coefficients are big enough for not using lower bounding. 3.23/3.35 c Coefficients are big enough for not using lower bounding. 3.23/3.35 c Coefficients are big enough for not using lower bounding. 3.23/3.35 c Coefficients are big enough for not using lower bounding. 3.23/3.35 c Coefficients are big enough for not using lower bounding. 3.23/3.35 c Coefficients are big enough for not using lower bounding. 3.23/3.35 c Coefficients are big enough for not using lower bounding. 3.23/3.35 c Coefficients are big enough for not using lower bounding. 3.23/3.35 c Coefficients are big enough for not using lower bounding. 3.23/3.35 c Coefficients are big enough for not using lower bounding. 3.23/3.35 c Coefficients are big enough for not using lower bounding. 3.23/3.36 c Coefficients are big enough for not using lower bounding. 3.23/3.36 c Coefficients are big enough for not using lower bounding. 3.23/3.36 c Coefficients are big enough for not using lower bounding. 3.23/3.37 c Coefficients are big enough for not using lower bounding. 3.23/3.37 c Coefficients are big enough for not using lower bounding. 3.23/3.37 c Coefficients are big enough for not using lower bounding. 3.23/3.37 c Coefficients are big enough for not using lower bounding. 3.23/3.37 c Coefficients are big enough for not using lower bounding. 3.23/3.38 c Coefficients are big enough for not using lower bounding. 3.23/3.38 c Coefficients are big enough for not using lower bounding. 3.23/3.38 c Coefficients are big enough for not using lower bounding. 3.23/3.38 c Coefficients are big enough for not using lower bounding. 3.23/3.39 c Coefficients are big enough for not using lower bounding. 3.23/3.39 c Coefficients are big enough for not using lower bounding. 3.23/3.39 c Coefficients are big enough for not using lower bounding. 3.23/3.40 c Coefficients are big enough for not using lower bounding. 3.32/3.40 c Coefficients are big enough for not using lower bounding. 3.32/3.40 c Coefficients are big enough for not using lower bounding. 3.32/3.40 c Coefficients are big enough for not using lower bounding. 3.32/3.41 c Coefficients are big enough for not using lower bounding. 3.32/3.41 c Coefficients are big enough for not using lower bounding. 3.32/3.41 c Coefficients are big enough for not using lower bounding. 3.32/3.41 c Coefficients are big enough for not using lower bounding. 3.32/3.41 c Coefficients are big enough for not using lower bounding. 3.32/3.42 c Coefficients are big enough for not using lower bounding. 3.32/3.42 c Coefficients are big enough for not using lower bounding. 3.32/3.42 c Coefficients are big enough for not using lower bounding. 3.32/3.42 c Coefficients are big enough for not using lower bounding. 3.32/3.43 c Coefficients are big enough for not using lower bounding. 3.32/3.43 c Coefficients are big enough for not using lower bounding. 3.32/3.43 c Coefficients are big enough for not using lower bounding. 3.32/3.43 c Coefficients are big enough for not using lower bounding. 3.32/3.44 c Coefficients are big enough for not using lower bounding. 3.32/3.44 c Coefficients are big enough for not using lower bounding. 3.32/3.44 c Coefficients are big enough for not using lower bounding. 3.32/3.44 c Coefficients are big enough for not using lower bounding. 3.32/3.44 c Coefficients are big enough for not using lower bounding. 3.32/3.45 c Coefficients are big enough for not using lower bounding. 3.32/3.45 c Coefficients are big enough for not using lower bounding. 3.32/3.45 c Coefficients are big enough for not using lower bounding. 3.32/3.45 c Coefficients are big enough for not using lower bounding. 3.32/3.46 c Coefficients are big enough for not using lower bounding. 3.32/3.46 c Coefficients are big enough for not using lower bounding. 3.32/3.46 c Coefficients are big enough for not using lower bounding. 3.32/3.46 c Coefficients are big enough for not using lower bounding. 3.32/3.47 c Coefficients are big enough for not using lower bounding. 3.32/3.47 c Coefficients are big enough for not using lower bounding. 3.32/3.47 c Coefficients are big enough for not using lower bounding. 3.32/3.47 c Coefficients are big enough for not using lower bounding. 3.32/3.47 c Coefficients are big enough for not using lower bounding. 3.32/3.48 c Coefficients are big enough for not using lower bounding. 3.32/3.48 c Coefficients are big enough for not using lower bounding. 3.32/3.48 c Coefficients are big enough for not using lower bounding. 3.32/3.48 c Coefficients are big enough for not using lower bounding. 3.32/3.49 c Coefficients are big enough for not using lower bounding. 3.32/3.49 c Coefficients are big enough for not using lower bounding. 3.32/3.49 c Coefficients are big enough for not using lower bounding. 3.32/3.49 c Coefficients are big enough for not using lower bounding. 3.32/3.50 c Coefficients are big enough for not using lower bounding. 3.42/3.50 c Coefficients are big enough for not using lower bounding. 3.42/3.50 c Coefficients are big enough for not using lower bounding. 3.42/3.50 c Coefficients are big enough for not using lower bounding. 3.42/3.51 c Coefficients are big enough for not using lower bounding. 3.42/3.51 c Coefficients are big enough for not using lower bounding. 3.42/3.51 c Coefficients are big enough for not using lower bounding. 3.42/3.51 c Coefficients are big enough for not using lower bounding. 3.42/3.52 c Coefficients are big enough for not using lower bounding. 3.42/3.52 c Coefficients are big enough for not using lower bounding. 3.42/3.52 c Coefficients are big enough for not using lower bounding. 3.42/3.52 c Coefficients are big enough for not using lower bounding. 3.42/3.52 c Coefficients are big enough for not using lower bounding. 3.42/3.53 c Coefficients are big enough for not using lower bounding. 3.42/3.53 c Coefficients are big enough for not using lower bounding. 3.42/3.53 c Coefficients are big enough for not using lower bounding. 3.42/3.54 c Coefficients are big enough for not using lower bounding. 3.42/3.54 c Coefficients are big enough for not using lower bounding. 3.42/3.54 c Coefficients are big enough for not using lower bounding. 3.42/3.54 c Coefficients are big enough for not using lower bounding. 3.42/3.55 c Coefficients are big enough for not using lower bounding. 3.42/3.55 c Coefficients are big enough for not using lower bounding. 3.42/3.55 c Coefficients are big enough for not using lower bounding. 3.42/3.55 c Coefficients are big enough for not using lower bounding. 3.42/3.56 c Coefficients are big enough for not using lower bounding. 3.42/3.56 c Coefficients are big enough for not using lower bounding. 3.42/3.56 c Coefficients are big enough for not using lower bounding. 3.42/3.56 c Coefficients are big enough for not using lower bounding. 3.42/3.57 c Coefficients are big enough for not using lower bounding. 3.42/3.57 c Coefficients are big enough for not using lower bounding. 3.42/3.57 c Coefficients are big enough for not using lower bounding. 3.42/3.58 c Coefficients are big enough for not using lower bounding. 3.42/3.58 c Coefficients are big enough for not using lower bounding. 3.42/3.58 c Coefficients are big enough for not using lower bounding. 3.42/3.58 c Coefficients are big enough for not using lower bounding. 3.42/3.58 c Coefficients are big enough for not using lower bounding. 3.42/3.59 c Coefficients are big enough for not using lower bounding. 3.42/3.59 c Coefficients are big enough for not using lower bounding. 3.42/3.59 c Coefficients are big enough for not using lower bounding. 3.42/3.59 c Coefficients are big enough for not using lower bounding. 3.52/3.60 c Coefficients are big enough for not using lower bounding. 3.52/3.60 c Coefficients are big enough for not using lower bounding. 3.52/3.60 c Coefficients are big enough for not using lower bounding. 3.52/3.60 c Coefficients are big enough for not using lower bounding. 3.52/3.61 c Coefficients are big enough for not using lower bounding. 3.52/3.61 c Coefficients are big enough for not using lower bounding. 3.52/3.61 c Coefficients are big enough for not using lower bounding. 3.52/3.62 c Coefficients are big enough for not using lower bounding. 3.52/3.62 c Coefficients are big enough for not using lower bounding. 3.52/3.62 c Coefficients are big enough for not using lower bounding. 3.52/3.62 c Coefficients are big enough for not using lower bounding. 3.52/3.63 c Coefficients are big enough for not using lower bounding. 3.52/3.63 c Coefficients are big enough for not using lower bounding. 3.52/3.63 c Coefficients are big enough for not using lower bounding. 3.52/3.64 c Coefficients are big enough for not using lower bounding. 3.52/3.64 c Coefficients are big enough for not using lower bounding. 3.52/3.64 c Coefficients are big enough for not using lower bounding. 3.52/3.64 c Coefficients are big enough for not using lower bounding. 3.52/3.65 c Coefficients are big enough for not using lower bounding. 3.52/3.65 c Coefficients are big enough for not using lower bounding. 3.52/3.65 c Coefficients are big enough for not using lower bounding. 3.52/3.66 c Coefficients are big enough for not using lower bounding. 3.52/3.66 c Coefficients are big enough for not using lower bounding. 3.52/3.66 c Coefficients are big enough for not using lower bounding. 3.52/3.66 c Coefficients are big enough for not using lower bounding. 3.52/3.67 c Coefficients are big enough for not using lower bounding. 3.52/3.67 c Coefficients are big enough for not using lower bounding. 3.52/3.67 c Coefficients are big enough for not using lower bounding. 3.52/3.67 c Coefficients are big enough for not using lower bounding. 3.52/3.68 c Coefficients are big enough for not using lower bounding. 3.52/3.68 c Coefficients are big enough for not using lower bounding. 3.52/3.68 c Coefficients are big enough for not using lower bounding. 3.52/3.68 c Coefficients are big enough for not using lower bounding. 3.52/3.69 c Coefficients are big enough for not using lower bounding. 3.52/3.69 c Coefficients are big enough for not using lower bounding. 3.52/3.69 c Coefficients are big enough for not using lower bounding. 3.52/3.69 c Coefficients are big enough for not using lower bounding. 3.62/3.70 c Coefficients are big enough for not using lower bounding. 3.62/3.70 c Coefficients are big enough for not using lower bounding. 3.62/3.70 c Coefficients are big enough for not using lower bounding. 3.62/3.70 c Coefficients are big enough for not using lower bounding. 3.62/3.71 c Coefficients are big enough for not using lower bounding. 3.62/3.71 c Coefficients are big enough for not using lower bounding. 3.62/3.71 c Coefficients are big enough for not using lower bounding. 3.62/3.72 c Coefficients are big enough for not using lower bounding. 3.62/3.72 c Coefficients are big enough for not using lower bounding. 3.62/3.72 c Coefficients are big enough for not using lower bounding. 3.62/3.72 c Coefficients are big enough for not using lower bounding. 3.62/3.73 c Coefficients are big enough for not using lower bounding. 3.62/3.73 c Coefficients are big enough for not using lower bounding. 3.62/3.73 c Coefficients are big enough for not using lower bounding. 3.62/3.73 c Coefficients are big enough for not using lower bounding. 3.62/3.74 c Coefficients are big enough for not using lower bounding. 3.62/3.74 c Coefficients are big enough for not using lower bounding. 3.62/3.74 c Coefficients are big enough for not using lower bounding. 3.62/3.74 c Coefficients are big enough for not using lower bounding. 3.62/3.75 c Coefficients are big enough for not using lower bounding. 3.62/3.75 c Coefficients are big enough for not using lower bounding. 3.62/3.75 c Coefficients are big enough for not using lower bounding. 3.62/3.75 c Coefficients are big enough for not using lower bounding. 3.62/3.75 c Coefficients are big enough for not using lower bounding. 3.62/3.76 c Coefficients are big enough for not using lower bounding. 3.62/3.76 c Coefficients are big enough for not using lower bounding. 3.62/3.76 c Coefficients are big enough for not using lower bounding. 3.62/3.76 c Coefficients are big enough for not using lower bounding. 3.62/3.77 c Coefficients are big enough for not using lower bounding. 3.62/3.77 c Coefficients are big enough for not using lower bounding. 3.62/3.77 c Coefficients are big enough for not using lower bounding. 3.62/3.77 c Coefficients are big enough for not using lower bounding. 3.62/3.78 c Coefficients are big enough for not using lower bounding. 3.62/3.78 c Coefficients are big enough for not using lower bounding. 3.62/3.78 c Coefficients are big enough for not using lower bounding. 3.62/3.78 c Coefficients are big enough for not using lower bounding. 3.62/3.79 c Coefficients are big enough for not using lower bounding. 3.62/3.79 c Coefficients are big enough for not using lower bounding. 3.62/3.79 c Coefficients are big enough for not using lower bounding. 3.62/3.79 c Coefficients are big enough for not using lower bounding. 3.62/3.80 c Coefficients are big enough for not using lower bounding. 3.71/3.80 c Coefficients are big enough for not using lower bounding. 3.71/3.81 c Coefficients are big enough for not using lower bounding. 3.71/3.81 c Coefficients are big enough for not using lower bounding. 3.71/3.82 c Coefficients are big enough for not using lower bounding. 3.71/3.82 c Coefficients are big enough for not using lower bounding. 3.71/3.83 c Coefficients are big enough for not using lower bounding. 3.71/3.83 c Coefficients are big enough for not using lower bounding. 3.71/3.84 c Coefficients are big enough for not using lower bounding. 3.71/3.84 c Coefficients are big enough for not using lower bounding. 3.71/3.84 c Coefficients are big enough for not using lower bounding. 3.71/3.85 c Coefficients are big enough for not using lower bounding. 3.71/3.85 c Coefficients are big enough for not using lower bounding. 3.71/3.86 c Coefficients are big enough for not using lower bounding. 3.71/3.86 c Coefficients are big enough for not using lower bounding. 3.71/3.87 c Coefficients are big enough for not using lower bounding. 3.71/3.87 c Coefficients are big enough for not using lower bounding. 3.71/3.88 c Coefficients are big enough for not using lower bounding. 3.71/3.88 c Coefficients are big enough for not using lower bounding. 3.71/3.88 c Coefficients are big enough for not using lower bounding. 3.71/3.89 c Coefficients are big enough for not using lower bounding. 3.71/3.89 c Coefficients are big enough for not using lower bounding. 3.81/3.90 c Coefficients are big enough for not using lower bounding. 3.81/3.90 c Coefficients are big enough for not using lower bounding. 3.81/3.91 c Coefficients are big enough for not using lower bounding. 3.81/3.91 c Coefficients are big enough for not using lower bounding. 3.81/3.91 c Coefficients are big enough for not using lower bounding. 3.81/3.92 c Coefficients are big enough for not using lower bounding. 3.81/3.92 c Coefficients are big enough for not using lower bounding. 3.81/3.93 c Coefficients are big enough for not using lower bounding. 3.81/3.93 c Coefficients are big enough for not using lower bounding. 3.81/3.94 c Coefficients are big enough for not using lower bounding. 3.81/3.94 c Coefficients are big enough for not using lower bounding. 3.81/3.94 c Coefficients are big enough for not using lower bounding. 3.81/3.95 c Coefficients are big enough for not using lower bounding. 3.81/3.95 c Coefficients are big enough for not using lower bounding. 3.81/3.96 c Coefficients are big enough for not using lower bounding. 3.81/3.96 c Coefficients are big enough for not using lower bounding. 3.81/3.97 c Coefficients are big enough for not using lower bounding. 3.81/3.97 c Coefficients are big enough for not using lower bounding. 3.81/3.98 c Coefficients are big enough for not using lower bounding. 3.81/3.98 c Coefficients are big enough for not using lower bounding. 3.81/3.98 c Coefficients are big enough for not using lower bounding. 3.81/3.99 c Coefficients are big enough for not using lower bounding. 3.81/3.99 c Coefficients are big enough for not using lower bounding. 3.81/4.00 c Coefficients are big enough for not using lower bounding. 3.91/4.00 c Coefficients are big enough for not using lower bounding. 3.91/4.01 c Coefficients are big enough for not using lower bounding. 3.91/4.01 c Coefficients are big enough for not using lower bounding. 3.91/4.01 c Coefficients are big enough for not using lower bounding. 3.91/4.02 c Coefficients are big enough for not using lower bounding. 3.91/4.02 c Coefficients are big enough for not using lower bounding. 3.91/4.03 c Coefficients are big enough for not using lower bounding. 3.91/4.03 c Coefficients are big enough for not using lower bounding. 3.91/4.03 c Coefficients are big enough for not using lower bounding. 3.91/4.04 c Coefficients are big enough for not using lower bounding. 3.91/4.04 c Coefficients are big enough for not using lower bounding. 3.91/4.05 c Coefficients are big enough for not using lower bounding. 3.91/4.05 c Coefficients are big enough for not using lower bounding. 3.91/4.06 c Coefficients are big enough for not using lower bounding. 3.91/4.06 c Coefficients are big enough for not using lower bounding. 3.91/4.07 c Coefficients are big enough for not using lower bounding. 3.91/4.07 c Coefficients are big enough for not using lower bounding. 3.91/4.07 c Coefficients are big enough for not using lower bounding. 3.91/4.08 c Coefficients are big enough for not using lower bounding. 3.91/4.08 c Coefficients are big enough for not using lower bounding. 3.91/4.09 c Coefficients are big enough for not using lower bounding. 3.91/4.09 c Coefficients are big enough for not using lower bounding. 4.01/4.10 c Coefficients are big enough for not using lower bounding. 4.01/4.11 c Coefficients are big enough for not using lower bounding. 4.01/4.11 c Coefficients are big enough for not using lower bounding. 4.01/4.12 c Coefficients are big enough for not using lower bounding. 4.01/4.12 c Coefficients are big enough for not using lower bounding. 4.01/4.12 c Coefficients are big enough for not using lower bounding. 4.01/4.13 c Coefficients are big enough for not using lower bounding. 4.01/4.13 c Coefficients are big enough for not using lower bounding. 4.01/4.14 c Coefficients are big enough for not using lower bounding. 4.01/4.14 c Coefficients are big enough for not using lower bounding. 4.01/4.15 c Coefficients are big enough for not using lower bounding. 4.01/4.15 c Coefficients are big enough for not using lower bounding. 4.01/4.16 c Coefficients are big enough for not using lower bounding. 4.01/4.16 c Coefficients are big enough for not using lower bounding. 4.01/4.16 c Coefficients are big enough for not using lower bounding. 4.01/4.17 c Coefficients are big enough for not using lower bounding. 4.01/4.18 c Coefficients are big enough for not using lower bounding. 4.01/4.18 c Coefficients are big enough for not using lower bounding. 4.01/4.18 c Coefficients are big enough for not using lower bounding. 4.01/4.19 c Coefficients are big enough for not using lower bounding. 4.01/4.19 c Coefficients are big enough for not using lower bounding. 4.10/4.20 c Coefficients are big enough for not using lower bounding. 4.10/4.20 c Coefficients are big enough for not using lower bounding. 4.10/4.21 c Coefficients are big enough for not using lower bounding. 4.10/4.21 c Coefficients are big enough for not using lower bounding. 4.10/4.22 c Coefficients are big enough for not using lower bounding. 4.10/4.22 c Coefficients are big enough for not using lower bounding. 4.10/4.23 c Coefficients are big enough for not using lower bounding. 4.10/4.23 c Coefficients are big enough for not using lower bounding. 4.10/4.24 c Coefficients are big enough for not using lower bounding. 4.10/4.24 c Coefficients are big enough for not using lower bounding. 4.10/4.25 c Coefficients are big enough for not using lower bounding. 4.10/4.25 c Coefficients are big enough for not using lower bounding. 4.10/4.26 c Coefficients are big enough for not using lower bounding. 4.10/4.26 c Coefficients are big enough for not using lower bounding. 4.10/4.27 c Coefficients are big enough for not using lower bounding. 4.10/4.27 c Coefficients are big enough for not using lower bounding. 4.10/4.27 c Coefficients are big enough for not using lower bounding. 4.10/4.28 c Coefficients are big enough for not using lower bounding. 4.10/4.29 c Coefficients are big enough for not using lower bounding. 4.10/4.29 c Coefficients are big enough for not using lower bounding. 4.10/4.29 c Coefficients are big enough for not using lower bounding. 4.10/4.30 c Coefficients are big enough for not using lower bounding. 4.21/4.30 c Coefficients are big enough for not using lower bounding. 4.21/4.31 c Coefficients are big enough for not using lower bounding. 4.21/4.31 c Coefficients are big enough for not using lower bounding. 4.21/4.32 c Coefficients are big enough for not using lower bounding. 4.21/4.32 c Coefficients are big enough for not using lower bounding. 4.21/4.33 c Coefficients are big enough for not using lower bounding. 4.21/4.33 c Coefficients are big enough for not using lower bounding. 4.21/4.34 c Coefficients are big enough for not using lower bounding. 4.21/4.34 c Coefficients are big enough for not using lower bounding. 4.21/4.34 c Coefficients are big enough for not using lower bounding. 4.21/4.35 c Coefficients are big enough for not using lower bounding. 4.21/4.35 c Coefficients are big enough for not using lower bounding. 4.21/4.36 c Coefficients are big enough for not using lower bounding. 4.21/4.36 c Coefficients are big enough for not using lower bounding. 4.21/4.37 c Coefficients are big enough for not using lower bounding. 4.21/4.37 c Coefficients are big enough for not using lower bounding. 4.21/4.38 c Coefficients are big enough for not using lower bounding. 4.21/4.38 c Coefficients are big enough for not using lower bounding. 4.21/4.39 c Coefficients are big enough for not using lower bounding. 4.21/4.39 c Coefficients are big enough for not using lower bounding. 4.21/4.40 c Coefficients are big enough for not using lower bounding. 4.31/4.40 c Coefficients are big enough for not using lower bounding. 4.31/4.41 c Coefficients are big enough for not using lower bounding. 4.31/4.41 c Coefficients are big enough for not using lower bounding. 4.31/4.42 c Coefficients are big enough for not using lower bounding. 4.31/4.42 c Coefficients are big enough for not using lower bounding. 4.31/4.43 c Coefficients are big enough for not using lower bounding. 4.31/4.43 c Coefficients are big enough for not using lower bounding. 4.31/4.44 c Coefficients are big enough for not using lower bounding. 4.31/4.44 c Coefficients are big enough for not using lower bounding. 4.31/4.45 c Coefficients are big enough for not using lower bounding. 4.31/4.45 c Coefficients are big enough for not using lower bounding. 4.31/4.46 c Coefficients are big enough for not using lower bounding. 4.31/4.46 c Coefficients are big enough for not using lower bounding. 4.31/4.47 c Coefficients are big enough for not using lower bounding. 4.31/4.47 c Coefficients are big enough for not using lower bounding. 4.31/4.48 c Coefficients are big enough for not using lower bounding. 4.31/4.48 c Coefficients are big enough for not using lower bounding. 4.31/4.49 c Coefficients are big enough for not using lower bounding. 4.31/4.49 c Coefficients are big enough for not using lower bounding. 4.31/4.50 c Coefficients are big enough for not using lower bounding. 4.40/4.50 c Coefficients are big enough for not using lower bounding. 4.40/4.50 c Coefficients are big enough for not using lower bounding. 4.40/4.51 c Coefficients are big enough for not using lower bounding. 4.40/4.51 c Coefficients are big enough for not using lower bounding. 4.40/4.52 c Coefficients are big enough for not using lower bounding. 4.40/4.52 c Coefficients are big enough for not using lower bounding. 4.40/4.53 c Coefficients are big enough for not using lower bounding. 4.40/4.53 c Coefficients are big enough for not using lower bounding. 4.40/4.54 c Coefficients are big enough for not using lower bounding. 4.40/4.54 c Coefficients are big enough for not using lower bounding. 4.40/4.55 c Coefficients are big enough for not using lower bounding. 4.40/4.55 c Coefficients are big enough for not using lower bounding. 4.40/4.55 c Coefficients are big enough for not using lower bounding. 4.40/4.56 c Coefficients are big enough for not using lower bounding. 4.40/4.56 c Coefficients are big enough for not using lower bounding. 4.40/4.57 c Coefficients are big enough for not using lower bounding. 4.40/4.57 c Coefficients are big enough for not using lower bounding. 4.40/4.58 c Coefficients are big enough for not using lower bounding. 4.40/4.58 c Coefficients are big enough for not using lower bounding. 4.40/4.59 c Coefficients are big enough for not using lower bounding. 4.40/4.59 c Coefficients are big enough for not using lower bounding. 4.50/4.60 c Coefficients are big enough for not using lower bounding. 4.50/4.60 c Coefficients are big enough for not using lower bounding. 4.50/4.61 c Coefficients are big enough for not using lower bounding. 4.50/4.61 c Coefficients are big enough for not using lower bounding. 4.50/4.62 c Coefficients are big enough for not using lower bounding. 4.50/4.62 c Coefficients are big enough for not using lower bounding. 4.50/4.62 c Coefficients are big enough for not using lower bounding. 4.50/4.63 c Coefficients are big enough for not using lower bounding. 4.50/4.63 c Coefficients are big enough for not using lower bounding. 4.50/4.64 c Coefficients are big enough for not using lower bounding. 4.50/4.64 c Coefficients are big enough for not using lower bounding. 4.50/4.65 c Coefficients are big enough for not using lower bounding. 4.50/4.65 c Coefficients are big enough for not using lower bounding. 4.50/4.65 c Coefficients are big enough for not using lower bounding. 4.50/4.66 c Coefficients are big enough for not using lower bounding. 4.50/4.66 c Coefficients are big enough for not using lower bounding. 4.50/4.67 c Coefficients are big enough for not using lower bounding. 4.50/4.67 c Coefficients are big enough for not using lower bounding. 4.50/4.68 c Coefficients are big enough for not using lower bounding. 4.50/4.68 c Coefficients are big enough for not using lower bounding. 4.50/4.69 c Coefficients are big enough for not using lower bounding. 4.50/4.69 c Coefficients are big enough for not using lower bounding. 4.50/4.70 c Coefficients are big enough for not using lower bounding. 4.60/4.70 c Coefficients are big enough for not using lower bounding. 4.60/4.70 c Coefficients are big enough for not using lower bounding. 4.60/4.71 c Coefficients are big enough for not using lower bounding. 4.60/4.71 c Coefficients are big enough for not using lower bounding. 4.60/4.72 c Coefficients are big enough for not using lower bounding. 4.60/4.72 c Coefficients are big enough for not using lower bounding. 4.60/4.72 c Coefficients are big enough for not using lower bounding. 4.60/4.72 c Coefficients are big enough for not using lower bounding. 4.60/4.73 c Coefficients are big enough for not using lower bounding. 4.60/4.73 c Coefficients are big enough for not using lower bounding. 4.60/4.73 c Coefficients are big enough for not using lower bounding. 4.60/4.74 c Coefficients are big enough for not using lower bounding. 4.60/4.74 c Coefficients are big enough for not using lower bounding. 4.60/4.74 c Coefficients are big enough for not using lower bounding. 4.60/4.74 c Coefficients are big enough for not using lower bounding. 4.60/4.75 c Coefficients are big enough for not using lower bounding. 4.60/4.75 c Coefficients are big enough for not using lower bounding. 4.60/4.75 c Coefficients are big enough for not using lower bounding. 4.60/4.76 c Coefficients are big enough for not using lower bounding. 4.60/4.76 c Coefficients are big enough for not using lower bounding. 4.60/4.76 c Coefficients are big enough for not using lower bounding. 4.60/4.76 c Coefficients are big enough for not using lower bounding. 4.60/4.77 c Coefficients are big enough for not using lower bounding. 4.60/4.77 c Coefficients are big enough for not using lower bounding. 4.60/4.77 c Coefficients are big enough for not using lower bounding. 4.60/4.78 c Coefficients are big enough for not using lower bounding. 4.60/4.78 c Coefficients are big enough for not using lower bounding. 4.60/4.78 c Coefficients are big enough for not using lower bounding. 4.60/4.78 c Coefficients are big enough for not using lower bounding. 4.60/4.79 c Coefficients are big enough for not using lower bounding. 4.60/4.79 c Coefficients are big enough for not using lower bounding. 4.60/4.79 c Coefficients are big enough for not using lower bounding. 4.60/4.80 c Coefficients are big enough for not using lower bounding. 4.70/4.80 c Coefficients are big enough for not using lower bounding. 4.70/4.80 c Coefficients are big enough for not using lower bounding. 4.70/4.81 c Coefficients are big enough for not using lower bounding. 4.70/4.81 c Coefficients are big enough for not using lower bounding. 4.70/4.81 c Coefficients are big enough for not using lower bounding. 4.70/4.81 c Coefficients are big enough for not using lower bounding. 4.70/4.82 c Coefficients are big enough for not using lower bounding. 4.70/4.82 c Coefficients are big enough for not using lower bounding. 4.70/4.82 c Coefficients are big enough for not using lower bounding. 4.70/4.83 c Coefficients are big enough for not using lower bounding. 4.70/4.83 c Coefficients are big enough for not using lower bounding. 4.70/4.83 c Coefficients are big enough for not using lower bounding. 4.70/4.83 c Coefficients are big enough for not using lower bounding. 4.70/4.84 c Coefficients are big enough for not using lower bounding. 4.70/4.84 c Coefficients are big enough for not using lower bounding. 4.70/4.84 c Coefficients are big enough for not using lower bounding. 4.70/4.85 c Coefficients are big enough for not using lower bounding. 4.70/4.85 c Coefficients are big enough for not using lower bounding. 4.70/4.85 c Coefficients are big enough for not using lower bounding. 4.70/4.85 c Coefficients are big enough for not using lower bounding. 4.70/4.86 c Coefficients are big enough for not using lower bounding. 4.70/4.86 c Coefficients are big enough for not using lower bounding. 4.70/4.86 c Coefficients are big enough for not using lower bounding. 4.70/4.87 c Coefficients are big enough for not using lower bounding. 4.70/4.87 c Coefficients are big enough for not using lower bounding. 4.70/4.87 c Coefficients are big enough for not using lower bounding. 4.70/4.87 c Coefficients are big enough for not using lower bounding. 4.70/4.88 c Coefficients are big enough for not using lower bounding. 4.70/4.88 c Coefficients are big enough for not using lower bounding. 4.70/4.88 c Coefficients are big enough for not using lower bounding. 4.70/4.88 c Coefficients are big enough for not using lower bounding. 4.70/4.89 c Coefficients are big enough for not using lower bounding. 4.70/4.89 c Coefficients are big enough for not using lower bounding. 4.70/4.89 c Coefficients are big enough for not using lower bounding. 4.70/4.90 c Coefficients are big enough for not using lower bounding. 4.80/4.90 c Coefficients are big enough for not using lower bounding. 4.80/4.90 c Coefficients are big enough for not using lower bounding. 4.80/4.90 c Coefficients are big enough for not using lower bounding. 4.80/4.90 c Coefficients are big enough for not using lower bounding. 4.80/4.91 c Coefficients are big enough for not using lower bounding. 4.80/4.91 c Coefficients are big enough for not using lower bounding. 4.80/4.91 c Coefficients are big enough for not using lower bounding. 4.80/4.91 c Coefficients are big enough for not using lower bounding. 4.80/4.92 c Coefficients are big enough for not using lower bounding. 4.80/4.92 c Coefficients are big enough for not using lower bounding. 4.80/4.92 c Coefficients are big enough for not using lower bounding. 4.80/4.92 c Coefficients are big enough for not using lower bounding. 4.80/4.92 c Coefficients are big enough for not using lower bounding. 4.80/4.93 c Coefficients are big enough for not using lower bounding. 4.80/4.93 c Coefficients are big enough for not using lower bounding. 4.80/4.93 c Coefficients are big enough for not using lower bounding. 4.80/4.93 c Coefficients are big enough for not using lower bounding. 4.80/4.94 c Coefficients are big enough for not using lower bounding. 4.80/4.94 c Coefficients are big enough for not using lower bounding. 4.80/4.94 c Coefficients are big enough for not using lower bounding. 4.80/4.94 c Coefficients are big enough for not using lower bounding. 4.80/4.94 c Coefficients are big enough for not using lower bounding. 4.80/4.95 c Coefficients are big enough for not using lower bounding. 4.80/4.95 c Coefficients are big enough for not using lower bounding. 4.80/4.95 c Coefficients are big enough for not using lower bounding. 4.80/4.95 c Coefficients are big enough for not using lower bounding. 4.80/4.96 c Coefficients are big enough for not using lower bounding. 4.80/4.96 c Coefficients are big enough for not using lower bounding. 4.80/4.96 c Coefficients are big enough for not using lower bounding. 4.80/4.96 c Coefficients are big enough for not using lower bounding. 4.80/4.96 c Coefficients are big enough for not using lower bounding. 4.80/4.97 c Coefficients are big enough for not using lower bounding. 4.80/4.97 c Coefficients are big enough for not using lower bounding. 4.80/4.97 c Coefficients are big enough for not using lower bounding. 4.80/4.97 c Coefficients are big enough for not using lower bounding. 4.80/4.98 c Coefficients are big enough for not using lower bounding. 4.80/4.98 c Coefficients are big enough for not using lower bounding. 4.80/4.98 c Coefficients are big enough for not using lower bounding. 4.80/4.98 c Coefficients are big enough for not using lower bounding. 4.80/4.98 c Coefficients are big enough for not using lower bounding. 4.80/4.99 c Coefficients are big enough for not using lower bounding. 4.80/4.99 c Coefficients are big enough for not using lower bounding. 4.80/4.99 c Coefficients are big enough for not using lower bounding. 4.80/4.99 c Coefficients are big enough for not using lower bounding. 4.80/4.99 c Coefficients are big enough for not using lower bounding. 4.80/5.00 c Coefficients are big enough for not using lower bounding. 4.90/5.00 c Coefficients are big enough for not using lower bounding. 4.90/5.00 c Coefficients are big enough for not using lower bounding. 4.90/5.00 c Coefficients are big enough for not using lower bounding. 4.90/5.01 c Coefficients are big enough for not using lower bounding. 4.90/5.01 c Coefficients are big enough for not using lower bounding. 4.90/5.01 c Coefficients are big enough for not using lower bounding. 4.90/5.01 c Coefficients are big enough for not using lower bounding. 4.90/5.01 c Coefficients are big enough for not using lower bounding. 4.90/5.01 c Coefficients are big enough for not using lower bounding. 4.90/5.02 c Coefficients are big enough for not using lower bounding. 4.90/5.02 c Coefficients are big enough for not using lower bounding. 4.90/5.02 c Coefficients are big enough for not using lower bounding. 4.90/5.02 c Coefficients are big enough for not using lower bounding. 4.90/5.02 c Coefficients are big enough for not using lower bounding. 4.90/5.03 c Coefficients are big enough for not using lower bounding. 4.90/5.03 c Coefficients are big enough for not using lower bounding. 4.90/5.03 c Coefficients are big enough for not using lower bounding. 4.90/5.03 c Coefficients are big enough for not using lower bounding. 4.90/5.03 c Coefficients are big enough for not using lower bounding. 4.90/5.03 c Coefficients are big enough for not using lower bounding. 4.90/5.04 c Coefficients are big enough for not using lower bounding. 4.90/5.04 c Coefficients are big enough for not using lower bounding. 4.90/5.04 c Coefficients are big enough for not using lower bounding. 4.90/5.04 c Coefficients are big enough for not using lower bounding. 4.90/5.04 c Coefficients are big enough for not using lower bounding. 4.90/5.04 c Coefficients are big enough for not using lower bounding. 4.90/5.05 c Coefficients are big enough for not using lower bounding. 4.90/5.05 c Coefficients are big enough for not using lower bounding. 4.90/5.05 c Coefficients are big enough for not using lower bounding. 4.90/5.05 c Coefficients are big enough for not using lower bounding. 4.90/5.05 c Coefficients are big enough for not using lower bounding. 4.90/5.06 c Coefficients are big enough for not using lower bounding. 4.90/5.06 c Coefficients are big enough for not using lower bounding. 4.90/5.06 c Coefficients are big enough for not using lower bounding. 4.90/5.06 c Coefficients are big enough for not using lower bounding. 4.90/5.06 c Coefficients are big enough for not using lower bounding. 4.90/5.07 c Coefficients are big enough for not using lower bounding. 4.90/5.07 c Coefficients are big enough for not using lower bounding. 4.90/5.07 c Coefficients are big enough for not using lower bounding. 4.90/5.07 c Coefficients are big enough for not using lower bounding. 4.90/5.07 c Coefficients are big enough for not using lower bounding. 4.90/5.08 c Coefficients are big enough for not using lower bounding. 4.90/5.08 c Coefficients are big enough for not using lower bounding. 4.90/5.08 c Coefficients are big enough for not using lower bounding. 4.90/5.08 c Coefficients are big enough for not using lower bounding. 4.90/5.09 c Coefficients are big enough for not using lower bounding. 4.90/5.09 c Coefficients are big enough for not using lower bounding. 4.90/5.09 c Coefficients are big enough for not using lower bounding. 4.90/5.09 c Coefficients are big enough for not using lower bounding. 4.90/5.09 c Coefficients are big enough for not using lower bounding. 4.90/5.10 c Coefficients are big enough for not using lower bounding. 5.00/5.10 c Coefficients are big enough for not using lower bounding. 5.00/5.10 c Coefficients are big enough for not using lower bounding. 5.00/5.10 c Coefficients are big enough for not using lower bounding. 5.00/5.10 c Coefficients are big enough for not using lower bounding. 5.00/5.11 c Coefficients are big enough for not using lower bounding. 5.00/5.11 c Coefficients are big enough for not using lower bounding. 5.00/5.11 c Coefficients are big enough for not using lower bounding. 5.00/5.11 c Coefficients are big enough for not using lower bounding. 5.00/5.12 c Coefficients are big enough for not using lower bounding. 5.00/5.12 c Coefficients are big enough for not using lower bounding. 5.00/5.12 c Coefficients are big enough for not using lower bounding. 5.00/5.12 c Coefficients are big enough for not using lower bounding. 5.00/5.12 c Coefficients are big enough for not using lower bounding. 5.00/5.13 c Coefficients are big enough for not using lower bounding. 5.00/5.13 c Coefficients are big enough for not using lower bounding. 5.00/5.13 c Coefficients are big enough for not using lower bounding. 5.00/5.13 c Coefficients are big enough for not using lower bounding. 5.00/5.13 c Coefficients are big enough for not using lower bounding. 5.00/5.14 c Coefficients are big enough for not using lower bounding. 5.00/5.14 c Coefficients are big enough for not using lower bounding. 5.00/5.14 c Coefficients are big enough for not using lower bounding. 5.00/5.14 c Coefficients are big enough for not using lower bounding. 5.00/5.15 c Coefficients are big enough for not using lower bounding. 5.00/5.15 c Coefficients are big enough for not using lower bounding. 5.00/5.15 c Coefficients are big enough for not using lower bounding. 5.00/5.15 c Coefficients are big enough for not using lower bounding. 5.00/5.15 c Coefficients are big enough for not using lower bounding. 5.00/5.16 c Coefficients are big enough for not using lower bounding. 5.00/5.16 c Coefficients are big enough for not using lower bounding. 5.00/5.16 c Coefficients are big enough for not using lower bounding. 5.00/5.16 c Coefficients are big enough for not using lower bounding. 5.00/5.17 c Coefficients are big enough for not using lower bounding. 5.00/5.17 c Coefficients are big enough for not using lower bounding. 5.00/5.17 c Coefficients are big enough for not using lower bounding. 5.00/5.17 c Coefficients are big enough for not using lower bounding. 5.00/5.17 c Coefficients are big enough for not using lower bounding. 5.00/5.18 c Coefficients are big enough for not using lower bounding. 5.00/5.18 c Coefficients are big enough for not using lower bounding. 5.00/5.18 c Coefficients are big enough for not using lower bounding. 5.00/5.18 c Coefficients are big enough for not using lower bounding. 5.00/5.19 c Coefficients are big enough for not using lower bounding. 5.00/5.19 c Coefficients are big enough for not using lower bounding. 5.00/5.19 c Coefficients are big enough for not using lower bounding. 5.00/5.19 c Coefficients are big enough for not using lower bounding. 5.00/5.19 c Coefficients are big enough for not using lower bounding. 5.00/5.20 c Coefficients are big enough for not using lower bounding. 5.10/5.20 c Coefficients are big enough for not using lower bounding. 5.10/5.20 c Coefficients are big enough for not using lower bounding. 5.10/5.20 c Coefficients are big enough for not using lower bounding. 5.10/5.21 c Coefficients are big enough for not using lower bounding. 5.10/5.21 c Coefficients are big enough for not using lower bounding. 5.10/5.21 c Coefficients are big enough for not using lower bounding. 5.10/5.21 c Coefficients are big enough for not using lower bounding. 5.10/5.21 c Coefficients are big enough for not using lower bounding. 5.10/5.22 c Coefficients are big enough for not using lower bounding. 5.10/5.22 c Coefficients are big enough for not using lower bounding. 5.10/5.22 c Coefficients are big enough for not using lower bounding. 5.10/5.22 c Coefficients are big enough for not using lower bounding. 5.10/5.23 c Coefficients are big enough for not using lower bounding. 5.10/5.23 c Coefficients are big enough for not using lower bounding. 5.10/5.23 c Coefficients are big enough for not using lower bounding. 5.10/5.23 c Coefficients are big enough for not using lower bounding. 5.10/5.23 c Coefficients are big enough for not using lower bounding. 5.10/5.24 c Coefficients are big enough for not using lower bounding. 5.10/5.24 c Coefficients are big enough for not using lower bounding. 5.10/5.24 c Coefficients are big enough for not using lower bounding. 5.10/5.24 c Coefficients are big enough for not using lower bounding. 5.10/5.25 c Coefficients are big enough for not using lower bounding. 5.10/5.25 c Coefficients are big enough for not using lower bounding. 5.10/5.25 c Coefficients are big enough for not using lower bounding. 5.10/5.25 c Coefficients are big enough for not using lower bounding. 5.10/5.25 c Coefficients are big enough for not using lower bounding. 5.10/5.26 c Coefficients are big enough for not using lower bounding. 5.10/5.26 c Coefficients are big enough for not using lower bounding. 5.10/5.26 c Coefficients are big enough for not using lower bounding. 5.10/5.26 c Coefficients are big enough for not using lower bounding. 5.10/5.27 c Coefficients are big enough for not using lower bounding. 5.10/5.27 c Coefficients are big enough for not using lower bounding. 5.10/5.27 c Coefficients are big enough for not using lower bounding. 5.10/5.27 c Coefficients are big enough for not using lower bounding. 5.10/5.27 c Coefficients are big enough for not using lower bounding. 5.10/5.28 c Coefficients are big enough for not using lower bounding. 5.10/5.28 c Coefficients are big enough for not using lower bounding. 5.10/5.28 c Coefficients are big enough for not using lower bounding. 5.10/5.28 c Coefficients are big enough for not using lower bounding. 5.10/5.29 c Coefficients are big enough for not using lower bounding. 5.10/5.29 c Coefficients are big enough for not using lower bounding. 5.10/5.29 c Coefficients are big enough for not using lower bounding. 5.10/5.29 c Coefficients are big enough for not using lower bounding. 5.10/5.29 c Coefficients are big enough for not using lower bounding. 5.10/5.30 c Coefficients are big enough for not using lower bounding. 5.20/5.30 c Coefficients are big enough for not using lower bounding. 5.20/5.30 c Coefficients are big enough for not using lower bounding. 5.20/5.30 c Coefficients are big enough for not using lower bounding. 5.20/5.30 c Coefficients are big enough for not using lower bounding. 5.20/5.30 c Coefficients are big enough for not using lower bounding. 5.20/5.31 c Coefficients are big enough for not using lower bounding. 5.20/5.31 c Coefficients are big enough for not using lower bounding. 5.20/5.31 c Coefficients are big enough for not using lower bounding. 5.20/5.31 c Coefficients are big enough for not using lower bounding. 5.20/5.32 c Coefficients are big enough for not using lower bounding. 5.20/5.32 c Coefficients are big enough for not using lower bounding. 5.20/5.32 c Coefficients are big enough for not using lower bounding. 5.20/5.32 c Coefficients are big enough for not using lower bounding. 5.20/5.32 c Coefficients are big enough for not using lower bounding. 5.20/5.33 c Coefficients are big enough for not using lower bounding. 5.20/5.33 c Coefficients are big enough for not using lower bounding. 5.20/5.33 c Coefficients are big enough for not using lower bounding. 5.20/5.33 c Coefficients are big enough for not using lower bounding. 5.20/5.34 c Coefficients are big enough for not using lower bounding. 5.20/5.34 c Coefficients are big enough for not using lower bounding. 5.20/5.34 c Coefficients are big enough for not using lower bounding. 5.20/5.34 c Coefficients are big enough for not using lower bounding. 5.20/5.34 c Coefficients are big enough for not using lower bounding. 5.20/5.35 c Coefficients are big enough for not using lower bounding. 5.20/5.35 c Coefficients are big enough for not using lower bounding. 5.20/5.35 c Coefficients are big enough for not using lower bounding. 5.20/5.35 c Coefficients are big enough for not using lower bounding. 5.20/5.36 c Coefficients are big enough for not using lower bounding. 5.20/5.36 c Coefficients are big enough for not using lower bounding. 5.20/5.36 c Coefficients are big enough for not using lower bounding. 5.20/5.36 c Coefficients are big enough for not using lower bounding. 5.20/5.37 c Coefficients are big enough for not using lower bounding. 5.20/5.37 c Coefficients are big enough for not using lower bounding. 5.20/5.37 c Coefficients are big enough for not using lower bounding. 5.20/5.37 c Coefficients are big enough for not using lower bounding. 5.20/5.37 c Coefficients are big enough for not using lower bounding. 5.20/5.38 c Coefficients are big enough for not using lower bounding. 5.20/5.38 c Coefficients are big enough for not using lower bounding. 5.20/5.38 c Coefficients are big enough for not using lower bounding. 5.20/5.38 c Coefficients are big enough for not using lower bounding. 5.30/5.45 c Coefficients are big enough for not using lower bounding. 5.40/5.51 c Coefficients are big enough for not using lower bounding. 5.40/5.57 c Coefficients are big enough for not using lower bounding. 5.49/5.63 c Coefficients are big enough for not using lower bounding. 5.49/5.69 c Coefficients are big enough for not using lower bounding. 5.59/5.75 c Coefficients are big enough for not using lower bounding. 5.69/5.80 c Coefficients are big enough for not using lower bounding. 5.69/5.86 c Coefficients are big enough for not using lower bounding. 5.80/5.93 c Coefficients are big enough for not using lower bounding. 5.80/5.93 c Coefficients are big enough for not using lower bounding. 5.80/6.00 c Coefficients are big enough for not using lower bounding. 5.90/6.06 c Coefficients are big enough for not using lower bounding. 6.00/6.13 c Coefficients are big enough for not using lower bounding. 6.00/6.19 c Coefficients are big enough for not using lower bounding. 6.10/6.26 c Coefficients are big enough for not using lower bounding. 6.19/6.33 c Coefficients are big enough for not using lower bounding. 6.19/6.39 c Coefficients are big enough for not using lower bounding. 6.29/6.46 c Coefficients are big enough for not using lower bounding. 6.40/6.52 c Coefficients are big enough for not using lower bounding. 6.40/6.59 c Coefficients are big enough for not using lower bounding. 6.40/6.59 c Coefficients are big enough for not using lower bounding. 6.49/6.66 c Coefficients are big enough for not using lower bounding. 6.59/6.72 c Coefficients are big enough for not using lower bounding. 6.59/6.78 c Coefficients are big enough for not using lower bounding. 6.69/6.85 c Coefficients are big enough for not using lower bounding. 6.79/6.91 c Coefficients are big enough for not using lower bounding. 6.79/6.91 c Coefficients are big enough for not using lower bounding. 6.79/6.91 c Coefficients are big enough for not using lower bounding. 6.79/6.91 c Coefficients are big enough for not using lower bounding. 6.79/6.91 c Coefficients are big enough for not using lower bounding. 6.79/6.91 c Coefficients are big enough for not using lower bounding. 6.79/6.91 c Coefficients are big enough for not using lower bounding. 6.79/6.91 c Coefficients are big enough for not using lower bounding. 6.79/6.91 c Coefficients are big enough for not using lower bounding. 6.79/6.91 c Coefficients are big enough for not using lower bounding. 6.79/6.91 c Coefficients are big enough for not using lower bounding. 6.79/6.92 c Coefficients are big enough for not using lower bounding. 6.79/6.92 c Coefficients are big enough for not using lower bounding. 6.79/6.92 c Coefficients are big enough for not using lower bounding. 6.79/6.92 c Coefficients are big enough for not using lower bounding. 6.79/6.92 c Coefficients are big enough for not using lower bounding. 6.79/6.92 c Coefficients are big enough for not using lower bounding. 6.79/6.92 c Coefficients are big enough for not using lower bounding. 6.79/6.92 c Coefficients are big enough for not using lower bounding. 6.79/6.92 c Coefficients are big enough for not using lower bounding. 6.79/6.92 c Coefficients are big enough for not using lower bounding. 6.79/6.92 c Coefficients are big enough for not using lower bounding. 6.79/6.92 c Coefficients are big enough for not using lower bounding. 6.79/6.92 c Coefficients are big enough for not using lower bounding. 6.79/6.92 c Coefficients are big enough for not using lower bounding. 6.79/6.92 c Coefficients are big enough for not using lower bounding. 6.79/6.92 c Coefficients are big enough for not using lower bounding. 6.79/6.92 c Coefficients are big enough for not using lower bounding. 6.79/6.93 c Coefficients are big enough for not using lower bounding. 6.79/6.93 c Coefficients are big enough for not using lower bounding. 6.79/6.93 c Coefficients are big enough for not using lower bounding. 6.79/6.93 c Coefficients are big enough for not using lower bounding. 6.79/6.93 c Coefficients are big enough for not using lower bounding. 6.79/6.93 c Coefficients are big enough for not using lower bounding. 6.79/6.94 c Coefficients are big enough for not using lower bounding. 6.79/6.94 c Coefficients are big enough for not using lower bounding. 6.79/6.94 c Coefficients are big enough for not using lower bounding. 6.79/6.94 c Coefficients are big enough for not using lower bounding. 6.79/6.94 c Coefficients are big enough for not using lower bounding. 6.79/6.95 c Coefficients are big enough for not using lower bounding. 6.79/6.95 c Coefficients are big enough for not using lower bounding. 6.79/6.95 c Coefficients are big enough for not using lower bounding. 6.79/6.95 c Coefficients are big enough for not using lower bounding. 6.79/6.95 c Coefficients are big enough for not using lower bounding. 6.79/6.95 c Coefficients are big enough for not using lower bounding. 6.79/6.96 c Coefficients are big enough for not using lower bounding. 6.79/6.96 c Coefficients are big enough for not using lower bounding. 6.79/6.96 c Coefficients are big enough for not using lower bounding. 6.79/6.96 c Coefficients are big enough for not using lower bounding. 6.79/6.97 c Coefficients are big enough for not using lower bounding. 6.79/6.97 c Coefficients are big enough for not using lower bounding. 6.79/6.97 c Coefficients are big enough for not using lower bounding. 6.79/6.97 c Coefficients are big enough for not using lower bounding. 6.79/6.97 c Coefficients are big enough for not using lower bounding. 6.79/6.98 c Coefficients are big enough for not using lower bounding. 6.79/6.98 c Coefficients are big enough for not using lower bounding. 6.79/6.98 c Coefficients are big enough for not using lower bounding. 6.79/6.98 c Coefficients are big enough for not using lower bounding. 6.79/6.98 c Coefficients are big enough for not using lower bounding. 6.79/6.98 c Coefficients are big enough for not using lower bounding. 6.79/6.99 c Coefficients are big enough for not using lower bounding. 6.79/6.99 c Coefficients are big enough for not using lower bounding. 6.79/6.99 c Coefficients are big enough for not using lower bounding. 6.79/6.99 c Coefficients are big enough for not using lower bounding. 6.79/6.99 c Coefficients are big enough for not using lower bounding. 6.79/6.99 c Coefficients are big enough for not using lower bounding. 6.79/6.99 c Coefficients are big enough for not using lower bounding. 6.79/6.99 c Coefficients are big enough for not using lower bounding. 6.79/6.99 c Coefficients are big enough for not using lower bounding. 6.89/7.00 c Coefficients are big enough for not using lower bounding. 6.89/7.00 c Coefficients are big enough for not using lower bounding. 6.89/7.00 c Coefficients are big enough for not using lower bounding. 6.89/7.00 c Coefficients are big enough for not using lower bounding. 6.89/7.00 c Coefficients are big enough for not using lower bounding. 6.89/7.00 c Coefficients are big enough for not using lower bounding. 6.89/7.00 c Coefficients are big enough for not using lower bounding. 6.89/7.01 c Coefficients are big enough for not using lower bounding. 6.89/7.01 c Coefficients are big enough for not using lower bounding. 6.89/7.01 c Coefficients are big enough for not using lower bounding. 6.89/7.01 c Coefficients are big enough for not using lower bounding. 6.89/7.01 c Coefficients are big enough for not using lower bounding. 6.89/7.01 c Coefficients are big enough for not using lower bounding. 6.89/7.01 c Coefficients are big enough for not using lower bounding. 6.89/7.02 c Coefficients are big enough for not using lower bounding. 6.89/7.02 c Coefficients are big enough for not using lower bounding. 6.89/7.02 c Coefficients are big enough for not using lower bounding. 6.89/7.02 c Coefficients are big enough for not using lower bounding. 6.89/7.02 c Coefficients are big enough for not using lower bounding. 6.89/7.02 c Coefficients are big enough for not using lower bounding. 6.89/7.03 c Coefficients are big enough for not using lower bounding. 6.89/7.03 c Coefficients are big enough for not using lower bounding. 6.89/7.03 c Coefficients are big enough for not using lower bounding. 6.89/7.03 c Coefficients are big enough for not using lower bounding. 6.89/7.03 c Coefficients are big enough for not using lower bounding. 6.89/7.04 c Coefficients are big enough for not using lower bounding. 6.89/7.04 c Coefficients are big enough for not using lower bounding. 6.89/7.04 c Coefficients are big enough for not using lower bounding. 6.89/7.04 c Coefficients are big enough for not using lower bounding. 6.89/7.04 c Coefficients are big enough for not using lower bounding. 6.89/7.04 c Coefficients are big enough for not using lower bounding. 6.89/7.05 c Coefficients are big enough for not using lower bounding. 6.89/7.05 c Coefficients are big enough for not using lower bounding. 6.89/7.05 c Coefficients are big enough for not using lower bounding. 6.89/7.05 c Coefficients are big enough for not using lower bounding. 6.89/7.05 c Coefficients are big enough for not using lower bounding. 6.89/7.05 c Coefficients are big enough for not using lower bounding. 6.89/7.05 c Coefficients are big enough for not using lower bounding. 6.89/7.06 c Coefficients are big enough for not using lower bounding. 6.89/7.06 c Coefficients are big enough for not using lower bounding. 6.89/7.06 c Coefficients are big enough for not using lower bounding. 6.89/7.06 c Coefficients are big enough for not using lower bounding. 6.89/7.06 c Coefficients are big enough for not using lower bounding. 6.89/7.06 c Coefficients are big enough for not using lower bounding. 6.89/7.07 c Coefficients are big enough for not using lower bounding. 6.89/7.07 c Coefficients are big enough for not using lower bounding. 6.89/7.07 c Coefficients are big enough for not using lower bounding. 6.89/7.07 c Coefficients are big enough for not using lower bounding. 6.89/7.07 c Coefficients are big enough for not using lower bounding. 6.89/7.08 c Coefficients are big enough for not using lower bounding. 6.89/7.08 c Coefficients are big enough for not using lower bounding. 6.89/7.08 c Coefficients are big enough for not using lower bounding. 6.89/7.08 c Coefficients are big enough for not using lower bounding. 6.89/7.08 c Coefficients are big enough for not using lower bounding. 6.89/7.08 c Coefficients are big enough for not using lower bounding. 6.89/7.09 c Coefficients are big enough for not using lower bounding. 6.89/7.09 c Coefficients are big enough for not using lower bounding. 6.89/7.09 c Coefficients are big enough for not using lower bounding. 6.89/7.09 c Coefficients are big enough for not using lower bounding. 6.89/7.09 c Coefficients are big enough for not using lower bounding. 6.89/7.10 c Coefficients are big enough for not using lower bounding. 6.89/7.10 c Coefficients are big enough for not using lower bounding. 6.99/7.10 c Coefficients are big enough for not using lower bounding. 6.99/7.10 c Coefficients are big enough for not using lower bounding. 6.99/7.10 c Coefficients are big enough for not using lower bounding. 6.99/7.10 c Coefficients are big enough for not using lower bounding. 6.99/7.11 c Coefficients are big enough for not using lower bounding. 6.99/7.11 c Coefficients are big enough for not using lower bounding. 6.99/7.11 c Coefficients are big enough for not using lower bounding. 6.99/7.12 c Coefficients are big enough for not using lower bounding. 6.99/7.12 c Coefficients are big enough for not using lower bounding. 6.99/7.12 c Coefficients are big enough for not using lower bounding. 6.99/7.13 c Coefficients are big enough for not using lower bounding. 6.99/7.13 c Coefficients are big enough for not using lower bounding. 6.99/7.13 c Coefficients are big enough for not using lower bounding. 6.99/7.13 c Coefficients are big enough for not using lower bounding. 6.99/7.13 c Coefficients are big enough for not using lower bounding. 6.99/7.14 c Coefficients are big enough for not using lower bounding. 6.99/7.14 c Coefficients are big enough for not using lower bounding. 6.99/7.14 c Coefficients are big enough for not using lower bounding. 6.99/7.14 c Coefficients are big enough for not using lower bounding. 6.99/7.15 c Coefficients are big enough for not using lower bounding. 6.99/7.15 c Coefficients are big enough for not using lower bounding. 6.99/7.15 c Coefficients are big enough for not using lower bounding. 6.99/7.16 c Coefficients are big enough for not using lower bounding. 6.99/7.16 c Coefficients are big enough for not using lower bounding. 6.99/7.16 c Coefficients are big enough for not using lower bounding. 6.99/7.16 c Coefficients are big enough for not using lower bounding. 6.99/7.17 c Coefficients are big enough for not using lower bounding. 6.99/7.17 c Coefficients are big enough for not using lower bounding. 6.99/7.17 c Coefficients are big enough for not using lower bounding. 6.99/7.17 c Coefficients are big enough for not using lower bounding. 6.99/7.17 c Coefficients are big enough for not using lower bounding. 6.99/7.18 c Coefficients are big enough for not using lower bounding. 6.99/7.18 c Coefficients are big enough for not using lower bounding. 6.99/7.18 c Coefficients are big enough for not using lower bounding. 6.99/7.18 c Coefficients are big enough for not using lower bounding. 6.99/7.19 c Coefficients are big enough for not using lower bounding. 6.99/7.19 c Coefficients are big enough for not using lower bounding. 6.99/7.19 c Coefficients are big enough for not using lower bounding. 6.99/7.19 c Coefficients are big enough for not using lower bounding. 7.09/7.20 c Coefficients are big enough for not using lower bounding. 7.09/7.20 c Coefficients are big enough for not using lower bounding. 7.09/7.20 c Coefficients are big enough for not using lower bounding. 7.09/7.20 c Coefficients are big enough for not using lower bounding. 7.09/7.21 c Coefficients are big enough for not using lower bounding. 7.09/7.21 c Coefficients are big enough for not using lower bounding. 7.09/7.21 c Coefficients are big enough for not using lower bounding. 7.09/7.21 c Coefficients are big enough for not using lower bounding. 7.09/7.21 c Coefficients are big enough for not using lower bounding. 7.09/7.22 c Coefficients are big enough for not using lower bounding. 7.09/7.22 c Coefficients are big enough for not using lower bounding. 7.09/7.22 c Coefficients are big enough for not using lower bounding. 7.09/7.22 c Coefficients are big enough for not using lower bounding. 7.09/7.22 c Coefficients are big enough for not using lower bounding. 7.09/7.23 c Coefficients are big enough for not using lower bounding. 7.09/7.23 c Coefficients are big enough for not using lower bounding. 7.09/7.23 c Coefficients are big enough for not using lower bounding. 7.09/7.23 c Coefficients are big enough for not using lower bounding. 7.09/7.24 c Coefficients are big enough for not using lower bounding. 7.09/7.24 c Coefficients are big enough for not using lower bounding. 7.09/7.24 c Coefficients are big enough for not using lower bounding. 7.09/7.25 c Coefficients are big enough for not using lower bounding. 7.09/7.25 c Coefficients are big enough for not using lower bounding. 7.09/7.25 c Coefficients are big enough for not using lower bounding. 7.09/7.25 c Coefficients are big enough for not using lower bounding. 7.09/7.26 c Coefficients are big enough for not using lower bounding. 7.09/7.26 c Coefficients are big enough for not using lower bounding. 7.09/7.26 c Coefficients are big enough for not using lower bounding. 7.09/7.26 c Coefficients are big enough for not using lower bounding. 7.09/7.26 c Coefficients are big enough for not using lower bounding. 7.09/7.27 c Coefficients are big enough for not using lower bounding. 7.09/7.27 c Coefficients are big enough for not using lower bounding. 7.09/7.27 c Coefficients are big enough for not using lower bounding. 7.09/7.27 c Coefficients are big enough for not using lower bounding. 7.09/7.28 c Coefficients are big enough for not using lower bounding. 7.09/7.28 c Coefficients are big enough for not using lower bounding. 7.09/7.28 c Coefficients are big enough for not using lower bounding. 7.09/7.28 c Coefficients are big enough for not using lower bounding. 7.09/7.29 c Coefficients are big enough for not using lower bounding. 7.09/7.29 c Coefficients are big enough for not using lower bounding. 7.09/7.29 c Coefficients are big enough for not using lower bounding. 7.09/7.29 c Coefficients are big enough for not using lower bounding. 7.09/7.29 c Coefficients are big enough for not using lower bounding. 7.19/7.30 c Coefficients are big enough for not using lower bounding. 7.19/7.30 c Coefficients are big enough for not using lower bounding. 7.19/7.30 c Coefficients are big enough for not using lower bounding. 7.19/7.30 c Coefficients are big enough for not using lower bounding. 7.19/7.31 c Coefficients are big enough for not using lower bounding. 7.19/7.31 c Coefficients are big enough for not using lower bounding. 7.19/7.31 c Coefficients are big enough for not using lower bounding. 7.19/7.32 c Coefficients are big enough for not using lower bounding. 7.19/7.32 c Coefficients are big enough for not using lower bounding. 7.19/7.32 c Coefficients are big enough for not using lower bounding. 7.19/7.32 c Coefficients are big enough for not using lower bounding. 7.19/7.33 c Coefficients are big enough for not using lower bounding. 7.19/7.33 c Coefficients are big enough for not using lower bounding. 7.19/7.33 c Coefficients are big enough for not using lower bounding. 7.19/7.33 c Coefficients are big enough for not using lower bounding. 7.19/7.33 c Coefficients are big enough for not using lower bounding. 7.19/7.34 c Coefficients are big enough for not using lower bounding. 7.19/7.34 c Coefficients are big enough for not using lower bounding. 7.19/7.34 c Coefficients are big enough for not using lower bounding. 7.19/7.34 c Coefficients are big enough for not using lower bounding. 7.19/7.35 c Coefficients are big enough for not using lower bounding. 7.19/7.35 c Coefficients are big enough for not using lower bounding. 7.19/7.35 c Coefficients are big enough for not using lower bounding. 7.19/7.35 c Coefficients are big enough for not using lower bounding. 7.19/7.36 c Coefficients are big enough for not using lower bounding. 7.19/7.36 c Coefficients are big enough for not using lower bounding. 7.19/7.36 c Coefficients are big enough for not using lower bounding. 7.19/7.36 c Coefficients are big enough for not using lower bounding. 7.19/7.37 c Coefficients are big enough for not using lower bounding. 7.19/7.37 c Coefficients are big enough for not using lower bounding. 7.19/7.37 c Coefficients are big enough for not using lower bounding. 7.19/7.37 c Coefficients are big enough for not using lower bounding. 7.19/7.37 c Coefficients are big enough for not using lower bounding. 7.19/7.38 c Coefficients are big enough for not using lower bounding. 7.19/7.38 c Coefficients are big enough for not using lower bounding. 7.19/7.38 c Coefficients are big enough for not using lower bounding. 7.19/7.39 c Coefficients are big enough for not using lower bounding. 7.19/7.39 c Coefficients are big enough for not using lower bounding. 7.19/7.39 c Coefficients are big enough for not using lower bounding. 7.19/7.39 c Coefficients are big enough for not using lower bounding. 7.29/7.40 c Coefficients are big enough for not using lower bounding. 7.29/7.40 c Coefficients are big enough for not using lower bounding. 7.29/7.40 c Coefficients are big enough for not using lower bounding. 7.29/7.40 c Coefficients are big enough for not using lower bounding. 7.29/7.41 c Coefficients are big enough for not using lower bounding. 7.29/7.41 c Coefficients are big enough for not using lower bounding. 7.29/7.41 c Coefficients are big enough for not using lower bounding. 7.29/7.41 c Coefficients are big enough for not using lower bounding. 7.29/7.41 c Coefficients are big enough for not using lower bounding. 7.29/7.42 c Coefficients are big enough for not using lower bounding. 7.29/7.42 c Coefficients are big enough for not using lower bounding. 7.29/7.42 c Coefficients are big enough for not using lower bounding. 7.29/7.43 c Coefficients are big enough for not using lower bounding. 7.29/7.43 c Coefficients are big enough for not using lower bounding. 7.29/7.43 c Coefficients are big enough for not using lower bounding. 7.29/7.44 c Coefficients are big enough for not using lower bounding. 7.29/7.44 c Coefficients are big enough for not using lower bounding. 7.29/7.44 c Coefficients are big enough for not using lower bounding. 7.29/7.44 c Coefficients are big enough for not using lower bounding. 7.29/7.45 c Coefficients are big enough for not using lower bounding. 7.29/7.45 c Coefficients are big enough for not using lower bounding. 7.29/7.45 c Coefficients are big enough for not using lower bounding. 7.29/7.45 c Coefficients are big enough for not using lower bounding. 7.29/7.45 c Coefficients are big enough for not using lower bounding. 7.29/7.46 c Coefficients are big enough for not using lower bounding. 7.29/7.46 c Coefficients are big enough for not using lower bounding. 7.29/7.46 c Coefficients are big enough for not using lower bounding. 7.29/7.46 c Coefficients are big enough for not using lower bounding. 7.29/7.47 c Coefficients are big enough for not using lower bounding. 7.29/7.47 c Coefficients are big enough for not using lower bounding. 7.29/7.47 c Coefficients are big enough for not using lower bounding. 7.29/7.47 c Coefficients are big enough for not using lower bounding. 7.29/7.48 c Coefficients are big enough for not using lower bounding. 7.29/7.48 c Coefficients are big enough for not using lower bounding. 7.29/7.48 c Coefficients are big enough for not using lower bounding. 7.29/7.48 c Coefficients are big enough for not using lower bounding. 7.29/7.49 c Coefficients are big enough for not using lower bounding. 7.29/7.49 c Coefficients are big enough for not using lower bounding. 7.29/7.49 c Coefficients are big enough for not using lower bounding. 7.29/7.49 c Coefficients are big enough for not using lower bounding. 7.29/7.49 c Coefficients are big enough for not using lower bounding. 7.39/7.50 c Coefficients are big enough for not using lower bounding. 7.39/7.50 c Coefficients are big enough for not using lower bounding. 7.39/7.50 c Coefficients are big enough for not using lower bounding. 7.39/7.50 c Coefficients are big enough for not using lower bounding. 7.39/7.51 c Coefficients are big enough for not using lower bounding. 7.39/7.51 c Coefficients are big enough for not using lower bounding. 7.39/7.51 c Coefficients are big enough for not using lower bounding. 7.39/7.52 c Coefficients are big enough for not using lower bounding. 7.39/7.52 c Coefficients are big enough for not using lower bounding. 7.39/7.52 c Coefficients are big enough for not using lower bounding. 7.39/7.52 c Coefficients are big enough for not using lower bounding. 7.39/7.53 c Coefficients are big enough for not using lower bounding. 7.39/7.53 c Coefficients are big enough for not using lower bounding. 7.39/7.53 c Coefficients are big enough for not using lower bounding. 7.39/7.53 c Coefficients are big enough for not using lower bounding. 7.39/7.53 c Coefficients are big enough for not using lower bounding. 7.39/7.54 c Coefficients are big enough for not using lower bounding. 7.39/7.54 c Coefficients are big enough for not using lower bounding. 7.39/7.54 c Coefficients are big enough for not using lower bounding. 7.39/7.54 c Coefficients are big enough for not using lower bounding. 7.39/7.55 c Coefficients are big enough for not using lower bounding. 7.39/7.55 c Coefficients are big enough for not using lower bounding. 7.39/7.55 c Coefficients are big enough for not using lower bounding. 7.39/7.56 c Coefficients are big enough for not using lower bounding. 7.39/7.56 c Coefficients are big enough for not using lower bounding. 7.39/7.56 c Coefficients are big enough for not using lower bounding. 7.39/7.57 c Coefficients are big enough for not using lower bounding. 7.39/7.57 c Coefficients are big enough for not using lower bounding. 7.39/7.57 c Coefficients are big enough for not using lower bounding. 7.39/7.57 c Coefficients are big enough for not using lower bounding. 7.39/7.58 c Coefficients are big enough for not using lower bounding. 7.39/7.58 c Coefficients are big enough for not using lower bounding. 7.39/7.58 c Coefficients are big enough for not using lower bounding. 7.39/7.58 c Coefficients are big enough for not using lower bounding. 7.39/7.58 c Coefficients are big enough for not using lower bounding. 7.39/7.59 c Coefficients are big enough for not using lower bounding. 7.39/7.59 c Coefficients are big enough for not using lower bounding. 7.39/7.59 c Coefficients are big enough for not using lower bounding. 7.39/7.59 c Coefficients are big enough for not using lower bounding. 7.39/7.60 c Coefficients are big enough for not using lower bounding. 7.49/7.60 c Coefficients are big enough for not using lower bounding. 7.49/7.60 c Coefficients are big enough for not using lower bounding. 7.49/7.61 c Coefficients are big enough for not using lower bounding. 7.49/7.61 c Coefficients are big enough for not using lower bounding. 7.49/7.61 c Coefficients are big enough for not using lower bounding. 7.49/7.61 c Coefficients are big enough for not using lower bounding. 7.49/7.61 c Coefficients are big enough for not using lower bounding. 7.49/7.62 c Coefficients are big enough for not using lower bounding. 7.49/7.62 c Coefficients are big enough for not using lower bounding. 7.49/7.62 c Coefficients are big enough for not using lower bounding. 7.49/7.62 c Coefficients are big enough for not using lower bounding. 7.49/7.63 c Coefficients are big enough for not using lower bounding. 7.49/7.63 c Coefficients are big enough for not using lower bounding. 7.49/7.63 c Coefficients are big enough for not using lower bounding. 7.49/7.64 c Coefficients are big enough for not using lower bounding. 7.49/7.64 c Coefficients are big enough for not using lower bounding. 7.49/7.64 c Coefficients are big enough for not using lower bounding. 7.49/7.64 c Coefficients are big enough for not using lower bounding. 7.49/7.65 c Coefficients are big enough for not using lower bounding. 7.49/7.65 c Coefficients are big enough for not using lower bounding. 7.49/7.65 c Coefficients are big enough for not using lower bounding. 7.49/7.65 c Coefficients are big enough for not using lower bounding. 7.49/7.66 c Coefficients are big enough for not using lower bounding. 7.49/7.66 c Coefficients are big enough for not using lower bounding. 7.49/7.66 c Coefficients are big enough for not using lower bounding. 7.49/7.66 c Coefficients are big enough for not using lower bounding. 7.49/7.66 c Coefficients are big enough for not using lower bounding. 7.49/7.67 c Coefficients are big enough for not using lower bounding. 7.49/7.67 c Coefficients are big enough for not using lower bounding. 7.49/7.67 c Coefficients are big enough for not using lower bounding. 7.49/7.68 c Coefficients are big enough for not using lower bounding. 7.49/7.68 c Coefficients are big enough for not using lower bounding. 7.49/7.68 c Coefficients are big enough for not using lower bounding. 7.49/7.69 c Coefficients are big enough for not using lower bounding. 7.49/7.69 c Coefficients are big enough for not using lower bounding. 7.49/7.69 c Coefficients are big enough for not using lower bounding. 7.49/7.69 c Coefficients are big enough for not using lower bounding. 7.49/7.69 c Coefficients are big enough for not using lower bounding. 7.49/7.70 c Coefficients are big enough for not using lower bounding. 7.49/7.70 c Coefficients are big enough for not using lower bounding. 7.49/7.70 c Coefficients are big enough for not using lower bounding. 7.59/7.70 c Coefficients are big enough for not using lower bounding. 7.59/7.71 c Coefficients are big enough for not using lower bounding. 7.59/7.71 c Coefficients are big enough for not using lower bounding. 7.59/7.71 c Coefficients are big enough for not using lower bounding. 7.59/7.72 c Coefficients are big enough for not using lower bounding. 7.59/7.72 c Coefficients are big enough for not using lower bounding. 7.59/7.72 c Coefficients are big enough for not using lower bounding. 7.59/7.72 c Coefficients are big enough for not using lower bounding. 7.59/7.73 c Coefficients are big enough for not using lower bounding. 7.59/7.73 c Coefficients are big enough for not using lower bounding. 7.59/7.73 c Coefficients are big enough for not using lower bounding. 7.59/7.73 c Coefficients are big enough for not using lower bounding. 7.59/7.74 c Coefficients are big enough for not using lower bounding. 7.59/7.74 c Coefficients are big enough for not using lower bounding. 7.59/7.74 c Coefficients are big enough for not using lower bounding. 7.59/7.75 c Coefficients are big enough for not using lower bounding. 7.59/7.75 c Coefficients are big enough for not using lower bounding. 7.59/7.75 c Coefficients are big enough for not using lower bounding. 7.59/7.76 c Coefficients are big enough for not using lower bounding. 7.59/7.76 c Coefficients are big enough for not using lower bounding. 7.59/7.76 c Coefficients are big enough for not using lower bounding. 7.59/7.76 c Coefficients are big enough for not using lower bounding. 7.59/7.77 c Coefficients are big enough for not using lower bounding. 7.59/7.77 c Coefficients are big enough for not using lower bounding. 7.59/7.77 c Coefficients are big enough for not using lower bounding. 7.59/7.77 c Coefficients are big enough for not using lower bounding. 7.59/7.77 c Coefficients are big enough for not using lower bounding. 7.59/7.78 c Coefficients are big enough for not using lower bounding. 7.59/7.78 c Coefficients are big enough for not using lower bounding. 7.59/7.78 c Coefficients are big enough for not using lower bounding. 7.59/7.79 c Coefficients are big enough for not using lower bounding. 7.59/7.79 c Coefficients are big enough for not using lower bounding. 7.59/7.79 c Coefficients are big enough for not using lower bounding. 7.59/7.80 c Coefficients are big enough for not using lower bounding. 7.68/7.80 c Coefficients are big enough for not using lower bounding. 7.68/7.80 c Coefficients are big enough for not using lower bounding. 7.68/7.81 c Coefficients are big enough for not using lower bounding. 7.68/7.81 c Coefficients are big enough for not using lower bounding. 7.68/7.81 c Highest Coefficient sum: 5.69083e+11 7.68/7.81 c Parsing was ok!! 7.68/7.81 c Total parsing time: 7.705 s 7.89/8.01 c Var: 399966 Constr: 4450 0/96/4354 Lit: 3755448 Watch. Lit: 309369 7.89/8.01 c Obj. Vars: 30 (0.00750064 % of total variables) 193.40/193.68 c Pre-processing Time: 193.49 s 1800.06/1800.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.06/1800.90 c 0 267322 4435 3754983 846 3182482 500000 0 0 193.49 1800.06/1800.90 c 100 267322 4535 3773107 831 3181737 550001 100 0 223.78 1800.06/1800.90 c 260 267322 4695 3810461 811 3178237 605002 260 1 229.86 1800.06/1800.90 c 485 267322 4920 3857749 784 3178397 665503 485 2 236.89 1800.06/1800.90 c 825 267322 5260 3933695 747 3178957 732054 825 3 246.84 1800.06/1800.90 c 1333 267322 5768 4055646 703 3180038 805260 1333 5 258.71 1800.06/1800.90 c 2113 267322 6548 4251336 649 3181316 885787 2113 7 283.30 1800.06/1800.90 c 3261 267322 7696 4522923 587 3183593 974366 3261 10 318.83 1800.06/1800.90 c 4982 267322 9417 4934116 523 3186811 500000 4982 12 405.37 1800.06/1800.90 c 7567 267322 12002 5551161 462 3191741 550001 7567 14 531.29 1800.06/1800.90 c 11446 267322 15881 6517815 410 3199071 605002 11446 14 796.62 1800.06/1800.90 c 17279 267322 21714 8153861 375 3209646 665503 17279 12 1419.28 1800.06/1800.90 c Caught signal: 15 1800.06/1800.90 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.06/1800.90 c 11 18772 1315 35213 23207 8670179 18772 10 1800.07 1800.06/1800.90 s UNKNOWN 1800.06/1800.90 c Total time: 1800.07 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node58/watcher-349574-1176709222 -o ROOT/results/node58/solver-349574-1176709222 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349574-1176709222/instance-349574-1176709222.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/64 29424 /proc/meminfo: memFree=1499640/2055920 swapFree=4184484/4192956 [pid=29424] ppid=29422 vsize=1408 CPUtime=0 /proc/29424/stat : 29424 (bsolo3.0.16) D 29422 29424 29013 0 -1 4194304 41 0 0 0 0 0 0 0 18 0 1 0 118831951 1441792 25 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4870948 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/29424/statm: 352 25 20 324 0 2 0 [startup+0.0760811 s] /proc/loadavg: 0.92 0.98 0.99 3/64 29424 /proc/meminfo: memFree=1499640/2055920 swapFree=4184484/4192956 [pid=29424] ppid=29422 vsize=44560 CPUtime=0.03 /proc/29424/stat : 29424 (bsolo3.0.16) R 29422 29424 29013 0 -1 4194304 786 0 0 0 3 0 0 0 18 0 1 0 118831951 45629440 754 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134524167 0 0 4096 16384 0 0 0 17 0 0 0 /proc/29424/statm: 11140 754 350 324 0 2362 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 44560 [startup+0.102088 s] /proc/loadavg: 0.92 0.98 0.99 3/64 29424 /proc/meminfo: memFree=1499640/2055920 swapFree=4184484/4192956 [pid=29424] ppid=29422 vsize=45608 CPUtime=0.06 /proc/29424/stat : 29424 (bsolo3.0.16) R 29422 29424 29013 0 -1 4194304 1118 0 0 0 6 0 0 0 18 0 1 0 118831951 46702592 1046 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5330854 0 0 4096 16384 0 0 0 17 0 0 0 /proc/29424/statm: 11402 1046 392 324 0 2624 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 45608 [startup+0.302121 s] /proc/loadavg: 0.92 0.98 0.99 3/64 29424 /proc/meminfo: memFree=1499640/2055920 swapFree=4184484/4192956 [pid=29424] ppid=29422 vsize=43980 CPUtime=0.25 /proc/29424/stat : 29424 (bsolo3.0.16) R 29422 29424 29013 0 -1 4194304 3154 0 0 0 25 0 0 0 19 0 1 0 118831951 45035520 2797 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134536937 0 0 4096 16384 0 0 0 17 0 0 0 /proc/29424/statm: 10995 2797 701 324 0 2217 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 43980 [startup+0.702185 s] /proc/loadavg: 0.92 0.98 0.99 3/64 29424 /proc/meminfo: memFree=1499640/2055920 swapFree=4184484/4192956 [pid=29424] ppid=29422 vsize=53288 CPUtime=0.65 /proc/29424/stat : 29424 (bsolo3.0.16) R 29422 29424 29013 0 -1 4194304 6301 0 0 0 64 1 0 0 23 0 1 0 118831951 54566912 5534 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134524167 0 0 4096 16384 0 0 0 17 0 0 0 /proc/29424/statm: 13322 5534 1251 324 0 4544 0 Current children cumulated CPU time (s) 0.65 Current children cumulated vsize (KiB) 53288 [startup+1.50131 s] /proc/loadavg: 0.92 0.98 0.99 2/65 29425 /proc/meminfo: memFree=1475888/2055920 swapFree=4184484/4192956 [pid=29424] ppid=29422 vsize=66776 CPUtime=1.45 /proc/29424/stat : 29424 (bsolo3.0.16) R 29422 29424 29013 0 -1 4194304 10992 0 0 0 142 3 0 0 25 0 1 0 118831951 68378624 10032 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29424/statm: 16694 10032 2150 324 0 7916 0 Current children cumulated CPU time (s) 1.45 Current children cumulated vsize (KiB) 66776 [startup+3.10158 s] /proc/loadavg: 0.92 0.98 0.99 2/65 29425 /proc/meminfo: memFree=1459952/2055920 swapFree=4184484/4192956 [pid=29424] ppid=29422 vsize=84676 CPUtime=3.02 /proc/29424/stat : 29424 (bsolo3.0.16) R 29422 29424 29013 0 -1 4194304 17171 0 0 0 296 6 0 0 25 0 1 0 118831951 86708224 15585 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5336674 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29424/statm: 21169 15585 3669 324 0 12391 0 Current children cumulated CPU time (s) 3.02 Current children cumulated vsize (KiB) 84676 [startup+6.30112 s] /proc/loadavg: 0.93 0.98 0.99 2/65 29425 /proc/meminfo: memFree=1438384/2055920 swapFree=4184484/4192956 [pid=29424] ppid=29422 vsize=104024 CPUtime=6.19 /proc/29424/stat : 29424 (bsolo3.0.16) R 29422 29424 29013 0 -1 4194304 26174 0 0 0 610 9 0 0 25 0 1 0 118831951 106520576 23505 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5330719 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29424/statm: 26006 23505 6733 324 0 17228 0 Current children cumulated CPU time (s) 6.19 Current children cumulated vsize (KiB) 104024 [startup+12.7012 s] /proc/loadavg: 0.93 0.98 0.99 2/65 29425 /proc/meminfo: memFree=1330416/2055920 swapFree=4184484/4192956 [pid=29424] ppid=29422 vsize=178508 CPUtime=12.58 /proc/29424/stat : 29424 (bsolo3.0.16) R 29422 29424 29013 0 -1 4194304 53878 0 0 0 1239 19 0 0 25 0 1 0 118831951 182792192 42759 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29424/statm: 44627 42759 306 324 0 43696 0 Current children cumulated CPU time (s) 12.58 Current children cumulated vsize (KiB) 178508 [startup+25.5013 s] /proc/loadavg: 0.95 0.98 0.99 2/65 29425 /proc/meminfo: memFree=1326576/2055920 swapFree=4184484/4192956 [pid=29424] ppid=29422 vsize=184592 CPUtime=25.37 /proc/29424/stat : 29424 (bsolo3.0.16) R 29422 29424 29013 0 -1 4194304 54656 0 0 0 2514 23 0 0 25 0 1 0 118831951 189022208 43537 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29424/statm: 46148 43537 306 324 0 45217 0 Current children cumulated CPU time (s) 25.37 Current children cumulated vsize (KiB) 184592 [startup+51.1016 s] /proc/loadavg: 0.96 0.98 0.99 2/65 29425 /proc/meminfo: memFree=1326576/2055920 swapFree=4184484/4192956 [pid=29424] ppid=29422 vsize=184592 CPUtime=50.94 /proc/29424/stat : 29424 (bsolo3.0.16) R 29422 29424 29013 0 -1 4194304 54656 0 0 0 5063 31 0 0 25 0 1 0 118831951 189022208 43537 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29424/statm: 46148 43537 306 324 0 45217 0 Current children cumulated CPU time (s) 50.94 Current children cumulated vsize (KiB) 184592 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/65 29425 /proc/meminfo: memFree=1326640/2055920 swapFree=4184484/4192956 [pid=29424] ppid=29422 vsize=184592 CPUtime=102.13 /proc/29424/stat : 29424 (bsolo3.0.16) R 29422 29424 29013 0 -1 4194304 54656 0 0 0 10166 47 0 0 25 0 1 0 118831951 189022208 43537 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29424/statm: 46148 43537 306 324 0 45217 0 Current children cumulated CPU time (s) 102.13 Current children cumulated vsize (KiB) 184592 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 29425 /proc/meminfo: memFree=1274672/2055920 swapFree=4184484/4192956 [pid=29424] ppid=29422 vsize=236332 CPUtime=162.11 /proc/29424/stat : 29424 (bsolo3.0.16) R 29422 29424 29013 0 -1 4194304 71514 0 0 0 16153 58 0 0 25 0 1 0 118831951 242003968 56487 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29424/statm: 59083 56487 308 324 0 58152 0 Current children cumulated CPU time (s) 162.11 Current children cumulated vsize (KiB) 236332 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 29425 /proc/meminfo: memFree=1309552/2055920 swapFree=4184484/4192956 [pid=29424] ppid=29422 vsize=201432 CPUtime=222.09 /proc/29424/stat : 29424 (bsolo3.0.16) R 29422 29424 29013 0 -1 4194304 73094 0 0 0 22148 61 0 0 25 0 1 0 118831951 206266368 47761 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29424/statm: 50358 47761 312 324 0 49427 0 Current children cumulated CPU time (s) 222.09 Current children cumulated vsize (KiB) 201432 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 29425 /proc/meminfo: memFree=1309488/2055920 swapFree=4184484/4192956 [pid=29424] ppid=29422 vsize=201440 CPUtime=282.07 /proc/29424/stat : 29424 (bsolo3.0.16) R 29422 29424 29013 0 -1 4194304 73096 0 0 0 28146 61 0 0 25 0 1 0 118831951 206274560 47763 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29424/statm: 50360 47763 312 324 0 49429 0 Current children cumulated CPU time (s) 282.07 Current children cumulated vsize (KiB) 201440 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 29425 /proc/meminfo: memFree=1304048/2055920 swapFree=4184484/4192956 [pid=29424] ppid=29422 vsize=206968 CPUtime=342.05 /proc/29424/stat : 29424 (bsolo3.0.16) R 29422 29424 29013 0 -1 4194304 74473 0 0 0 34142 63 0 0 25 0 1 0 118831951 211935232 49140 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551554 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29424/statm: 51742 49140 312 324 0 50811 0 Current children cumulated CPU time (s) 342.05 Current children cumulated vsize (KiB) 206968 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 29425 /proc/meminfo: memFree=1300720/2055920 swapFree=4184484/4192956 [pid=29424] ppid=29422 vsize=210388 CPUtime=402.02 /proc/29424/stat : 29424 (bsolo3.0.16) R 29422 29424 29013 0 -1 4194304 75315 0 0 0 40139 63 0 0 25 0 1 0 118831951 215437312 49982 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29424/statm: 52597 49982 312 324 0 51666 0 Current children cumulated CPU time (s) 402.02 Current children cumulated vsize (KiB) 210388 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 29425 /proc/meminfo: memFree=1297264/2055920 swapFree=4184484/4192956 [pid=29424] ppid=29422 vsize=213664 CPUtime=462 /proc/29424/stat : 29424 (bsolo3.0.16) R 29422 29424 29013 0 -1 4194304 76159 0 0 0 46135 65 0 0 25 0 1 0 118831951 218791936 50826 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551296 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29424/statm: 53416 50826 312 324 0 52485 0 Current children cumulated CPU time (s) 462 Current children cumulated vsize (KiB) 213664 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 29425 /proc/meminfo: memFree=1293104/2055920 swapFree=4184484/4192956 [pid=29424] ppid=29422 vsize=217876 CPUtime=521.98 /proc/29424/stat : 29424 (bsolo3.0.16) R 29422 29424 29013 0 -1 4194304 77187 0 0 0 52132 66 0 0 25 0 1 0 118831951 223105024 51854 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29424/statm: 54469 51854 312 324 0 53538 0 Current children cumulated CPU time (s) 521.98 Current children cumulated vsize (KiB) 217876 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 29425 /proc/meminfo: memFree=1289648/2055920 swapFree=4184484/4192956 [pid=29424] ppid=29422 vsize=221300 CPUtime=581.96 /proc/29424/stat : 29424 (bsolo3.0.16) R 29422 29424 29013 0 -1 4194304 78048 0 0 0 58129 67 0 0 25 0 1 0 118831951 226611200 52715 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29424/statm: 55325 52715 312 324 0 54394 0 Current children cumulated CPU time (s) 581.96 Current children cumulated vsize (KiB) 221300 [startup+642.302 s] /proc/loadavg: 1.03 1.00 1.00 2/65 29425 /proc/meminfo: memFree=1286448/2055920 swapFree=4184484/4192956 [pid=29424] ppid=29422 vsize=224436 CPUtime=641.95 /proc/29424/stat : 29424 (bsolo3.0.16) R 29422 29424 29013 0 -1 4194304 78845 0 0 0 64127 68 0 0 25 0 1 0 118831951 229822464 53512 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29424/statm: 56109 53512 312 324 0 55178 0 Current children cumulated CPU time (s) 641.95 Current children cumulated vsize (KiB) 224436 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29425 /proc/meminfo: memFree=1275888/2055920 swapFree=4184484/4192956 [pid=29424] ppid=29422 vsize=234948 CPUtime=881.86 /proc/29424/stat : 29424 (bsolo3.0.16) R 29422 29424 29013 0 -1 4194304 81473 0 0 0 88116 70 0 0 25 0 1 0 118831951 240586752 56140 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29424/statm: 58737 56140 312 324 0 57806 0 Current children cumulated CPU time (s) 881.86 Current children cumulated vsize (KiB) 234948 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29425 /proc/meminfo: memFree=1271984/2055920 swapFree=4184484/4192956 [pid=29424] ppid=29422 vsize=238896 CPUtime=941.84 /proc/29424/stat : 29424 (bsolo3.0.16) R 29422 29424 29013 0 -1 4194304 82446 0 0 0 94113 71 0 0 25 0 1 0 118831951 244629504 57113 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29424/statm: 59724 57113 312 324 0 58793 0 Current children cumulated CPU time (s) 941.84 Current children cumulated vsize (KiB) 238896 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29425 /proc/meminfo: memFree=1269104/2055920 swapFree=4184484/4192956 [pid=29424] ppid=29422 vsize=241640 CPUtime=1001.82 /proc/29424/stat : 29424 (bsolo3.0.16) R 29422 29424 29013 0 -1 4194304 83153 0 0 0 100110 72 0 0 25 0 1 0 118831951 247439360 57820 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551551 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29424/statm: 60410 57820 312 324 0 59479 0 Current children cumulated CPU time (s) 1001.82 Current children cumulated vsize (KiB) 241640 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29425 /proc/meminfo: memFree=1266160/2055920 swapFree=4184484/4192956 [pid=29424] ppid=29422 vsize=244664 CPUtime=1061.8 /proc/29424/stat : 29424 (bsolo3.0.16) R 29422 29424 29013 0 -1 4194304 83881 0 0 0 106107 73 0 0 25 0 1 0 118831951 250535936 58548 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29424/statm: 61166 58548 312 324 0 60235 0 Current children cumulated CPU time (s) 1061.8 Current children cumulated vsize (KiB) 244664 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29425 /proc/meminfo: memFree=1265072/2055920 swapFree=4184484/4192956 [pid=29424] ppid=29422 vsize=245588 CPUtime=1121.78 /proc/29424/stat : 29424 (bsolo3.0.16) R 29422 29424 29013 0 -1 4194304 84139 0 0 0 112105 73 0 0 25 0 1 0 118831951 251482112 58806 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551108 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29424/statm: 61397 58806 312 324 0 60466 0 Current children cumulated CPU time (s) 1121.78 Current children cumulated vsize (KiB) 245588 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29425 /proc/meminfo: memFree=1262512/2055920 swapFree=4184484/4192956 [pid=29424] ppid=29422 vsize=248244 CPUtime=1181.76 /proc/29424/stat : 29424 (bsolo3.0.16) R 29422 29424 29013 0 -1 4194304 84786 0 0 0 118102 74 0 0 25 0 1 0 118831951 254201856 59453 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29424/statm: 62061 59453 312 324 0 61130 0 Current children cumulated CPU time (s) 1181.76 Current children cumulated vsize (KiB) 248244 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/71 29491 /proc/meminfo: memFree=1259584/2055920 swapFree=4184484/4192956 [pid=29424] ppid=29422 vsize=249820 CPUtime=1241.71 /proc/29424/stat : 29424 (bsolo3.0.16) R 29422 29424 29013 0 -1 4194304 85184 0 0 0 124096 75 0 0 25 0 1 0 118831951 255815680 59851 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29424/statm: 62455 59851 312 324 0 61524 0 Current children cumulated CPU time (s) 1241.71 Current children cumulated vsize (KiB) 249820 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29623 /proc/meminfo: memFree=1258288/2055920 swapFree=4184484/4192956 [pid=29424] ppid=29422 vsize=251932 CPUtime=1301.63 /proc/29424/stat : 29424 (bsolo3.0.16) R 29422 29424 29013 0 -1 4194304 85721 0 0 0 130087 76 0 0 25 0 1 0 118831951 257978368 60388 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29424/statm: 62983 60388 312 324 0 62052 0 Current children cumulated CPU time (s) 1301.63 Current children cumulated vsize (KiB) 251932 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29623 /proc/meminfo: memFree=1257200/2055920 swapFree=4184484/4192956 [pid=29424] ppid=29422 vsize=253256 CPUtime=1361.61 /proc/29424/stat : 29424 (bsolo3.0.16) R 29422 29424 29013 0 -1 4194304 86028 0 0 0 136084 77 0 0 25 0 1 0 118831951 259334144 60695 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29424/statm: 63314 60695 312 324 0 62383 0 Current children cumulated CPU time (s) 1361.61 Current children cumulated vsize (KiB) 253256 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29623 /proc/meminfo: memFree=1256688/2055920 swapFree=4184484/4192956 [pid=29424] ppid=29422 vsize=253784 CPUtime=1421.59 /proc/29424/stat : 29424 (bsolo3.0.16) R 29422 29424 29013 0 -1 4194304 86164 0 0 0 142082 77 0 0 25 0 1 0 118831951 259874816 60831 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29424/statm: 63446 60831 312 324 0 62515 0 Current children cumulated CPU time (s) 1421.59 Current children cumulated vsize (KiB) 253784 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29623 /proc/meminfo: memFree=1254384/2055920 swapFree=4184484/4192956 [pid=29424] ppid=29422 vsize=256028 CPUtime=1481.57 /proc/29424/stat : 29424 (bsolo3.0.16) R 29422 29424 29013 0 -1 4194304 86729 0 0 0 148079 78 0 0 25 0 1 0 118831951 262172672 61396 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29424/statm: 64007 61396 312 324 0 63076 0 Current children cumulated CPU time (s) 1481.57 Current children cumulated vsize (KiB) 256028 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29623 /proc/meminfo: memFree=1252976/2055920 swapFree=4184484/4192956 [pid=29424] ppid=29422 vsize=257480 CPUtime=1541.54 /proc/29424/stat : 29424 (bsolo3.0.16) R 29422 29424 29013 0 -1 4194304 87084 0 0 0 154076 78 0 0 25 0 1 0 118831951 263659520 61751 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29424/statm: 64370 61751 312 324 0 63439 0 Current children cumulated CPU time (s) 1541.54 Current children cumulated vsize (KiB) 257480 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29623 /proc/meminfo: memFree=1252144/2055920 swapFree=4184484/4192956 [pid=29424] ppid=29422 vsize=258264 CPUtime=1601.52 /proc/29424/stat : 29424 (bsolo3.0.16) R 29422 29424 29013 0 -1 4194304 87300 0 0 0 160073 79 0 0 25 0 1 0 118831951 264462336 61967 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29424/statm: 64566 61967 312 324 0 63635 0 Current children cumulated CPU time (s) 1601.52 Current children cumulated vsize (KiB) 258264 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29623 /proc/meminfo: memFree=1251760/2055920 swapFree=4184484/4192956 [pid=29424] ppid=29422 vsize=258784 CPUtime=1661.5 /proc/29424/stat : 29424 (bsolo3.0.16) R 29422 29424 29013 0 -1 4194304 87417 0 0 0 166071 79 0 0 25 0 1 0 118831951 264994816 62084 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29424/statm: 64696 62084 312 324 0 63765 0 Current children cumulated CPU time (s) 1661.5 Current children cumulated vsize (KiB) 258784 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29623 /proc/meminfo: memFree=1251248/2055920 swapFree=4184484/4192956 [pid=29424] ppid=29422 vsize=259176 CPUtime=1721.48 /proc/29424/stat : 29424 (bsolo3.0.16) R 29422 29424 29013 0 -1 4194304 87531 0 0 0 172069 79 0 0 25 0 1 0 118831951 265396224 62198 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29424/statm: 64794 62198 312 324 0 63863 0 Current children cumulated CPU time (s) 1721.48 Current children cumulated vsize (KiB) 259176 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29623 /proc/meminfo: memFree=1250608/2055920 swapFree=4184484/4192956 [pid=29424] ppid=29422 vsize=259836 CPUtime=1781.46 /proc/29424/stat : 29424 (bsolo3.0.16) R 29422 29424 29013 0 -1 4194304 87680 0 0 0 178067 79 0 0 25 0 1 0 118831951 266072064 62347 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29424/statm: 64959 62347 312 324 0 64028 0 Current children cumulated CPU time (s) 1781.46 Current children cumulated vsize (KiB) 259836 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29623 /proc/meminfo: memFree=1249968/2055920 swapFree=4184484/4192956 [pid=29424] ppid=29422 vsize=260364 CPUtime=1800.06 /proc/29424/stat : 29424 (bsolo3.0.16) R 29422 29424 29013 0 -1 4194304 87831 0 0 0 179927 79 0 0 25 0 1 0 118831951 266612736 62498 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551454 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29424/statm: 65091 62498 312 324 0 64160 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 260364 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29623 /proc/meminfo: memFree=1249968/2055920 swapFree=4184484/4192956 [pid=29424] ppid=29422 vsize=260364 CPUtime=1800.06 /proc/29424/stat : 29424 (bsolo3.0.16) R 29422 29424 29013 0 -1 4194304 87831 0 0 0 179927 79 0 0 25 0 1 0 118831951 266612736 62498 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551454 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29424/statm: 65091 62498 312 324 0 64160 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 260364 Child status: 15 Real time (s): 1800.95 CPU time (s): 1800.11 CPU user time (s): 1799.28 CPU system time (s): 0.835872 CPU usage (%): 99.9533 Max. virtual memory (cumulated for all children) (KiB): 260364 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.28 system time used= 0.835872 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 87832 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12 involuntary context switches= 7180 runsolver used 1.24981 second user time and 3.81142 second system time The end
Begin job on node58 on Mon Apr 16 07:40:23 UTC 2007 IDJOB= 349574 IDBENCH= 2525 IDSOLVER= 163 FILE ID= node58/349574-1176709222 PBS_JOBID= 4560050 Free space on /tmp= 66472 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-dano3mip.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349574-1176709222/instance-349574-1176709222.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-349574-1176709222 -o ROOT/results/node58/solver-349574-1176709222 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349574-1176709222/instance-349574-1176709222.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 97b175564b36442f64835a62ac7058b3 RANDOM SEED= 194837475 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node58.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.265 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.265 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: 1499984 kB Buffers: 20152 kB Cached: 466284 kB SwapCached: 2416 kB Active: 109684 kB Inactive: 386716 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1499984 kB SwapTotal: 4192956 kB SwapFree: 4184484 kB Dirty: 35764 kB Writeback: 0 kB Mapped: 16160 kB Slab: 45552 kB Committed_AS: 882556 kB PageTables: 1380 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66472 MiB End job on node58 on Mon Apr 16 08:10:26 UTC 2007