0.00/0.00	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/349539-1176707043/instance-349539-1176707043.opb
0.00/0.00	c File size is 4990137 bytes.
0.08/0.09	c Coefficients are big enough for not using lower bounding.
0.08/0.09	c Coefficients are big enough for not using lower bounding.
0.08/0.09	c Coefficients are big enough for not using lower bounding.
0.08/0.09	c Coefficients are big enough for not using lower bounding.
0.08/0.09	c Coefficients are big enough for not using lower bounding.
0.08/0.09	c Coefficients are big enough for not using lower bounding.
0.08/0.09	c Coefficients are big enough for not using lower bounding.
0.08/0.09	c Coefficients are big enough for not using lower bounding.
0.08/0.09	c Coefficients are big enough for not using lower bounding.
0.08/0.09	c Coefficients are big enough for not using lower bounding.
0.08/0.09	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.10	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.11	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.12	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.13	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.14	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.15	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.16	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.17	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.18	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.19	c Coefficients are big enough for not using lower bounding.
0.08/0.20	c Coefficients are big enough for not using lower bounding.
0.08/0.20	c Coefficients are big enough for not using lower bounding.
0.08/0.20	c Coefficients are big enough for not using lower bounding.
0.08/0.20	c Coefficients are big enough for not using lower bounding.
0.08/0.20	c Coefficients are big enough for not using lower bounding.
0.08/0.20	c Coefficients are big enough for not using lower bounding.
0.08/0.20	c Coefficients are big enough for not using lower bounding.
0.08/0.20	c Coefficients are big enough for not using lower bounding.
0.08/0.20	c Coefficients are big enough for not using lower bounding.
0.08/0.20	c Coefficients are big enough for not using lower bounding.
0.08/0.20	c Coefficients are big enough for not using lower bounding.
0.08/0.20	c Coefficients are big enough for not using lower bounding.
0.08/0.20	c Coefficients are big enough for not using lower bounding.
0.08/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.28	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.29	c Coefficients are big enough for not using lower bounding.
0.18/0.30	c Coefficients are big enough for not using lower bounding.
0.18/0.30	c Coefficients are big enough for not using lower bounding.
0.18/0.30	c Coefficients are big enough for not using lower bounding.
0.18/0.30	c Coefficients are big enough for not using lower bounding.
0.18/0.30	c Coefficients are big enough for not using lower bounding.
0.18/0.30	c Coefficients are big enough for not using lower bounding.
0.18/0.30	c Coefficients are big enough for not using lower bounding.
0.18/0.30	c Coefficients are big enough for not using lower bounding.
0.18/0.30	c Coefficients are big enough for not using lower bounding.
0.18/0.30	c Coefficients are big enough for not using lower bounding.
0.18/0.30	c Coefficients are big enough for not using lower bounding.
0.28/0.30	c Coefficients are big enough for not using lower bounding.
0.28/0.30	c Coefficients are big enough for not using lower bounding.
0.28/0.30	c Coefficients are big enough for not using lower bounding.
0.28/0.30	c Coefficients are big enough for not using lower bounding.
0.28/0.30	c Coefficients are big enough for not using lower bounding.
0.28/0.30	c Coefficients are big enough for not using lower bounding.
0.28/0.30	c Coefficients are big enough for not using lower bounding.
0.28/0.30	c Coefficients are big enough for not using lower bounding.
0.28/0.30	c Coefficients are big enough for not using lower bounding.
0.28/0.30	c Coefficients are big enough for not using lower bounding.
0.28/0.30	c Coefficients are big enough for not using lower bounding.
0.28/0.30	c Coefficients are big enough for not using lower bounding.
0.28/0.30	c Coefficients are big enough for not using lower bounding.
0.28/0.30	c Coefficients are big enough for not using lower bounding.
0.28/0.30	c Coefficients are big enough for not using lower bounding.
0.28/0.30	c Coefficients are big enough for not using lower bounding.
0.28/0.30	c Coefficients are big enough for not using lower bounding.
0.28/0.30	c Coefficients are big enough for not using lower bounding.
0.28/0.30	c Coefficients are big enough for not using lower bounding.
0.28/0.30	c Coefficients are big enough for not using lower bounding.
0.28/0.30	c Coefficients are big enough for not using lower bounding.
0.28/0.30	c Coefficients are big enough for not using lower bounding.
0.28/0.30	c Coefficients are big enough for not using lower bounding.
0.28/0.30	c Coefficients are big enough for not using lower bounding.
0.28/0.30	c Coefficients are big enough for not using lower bounding.
0.28/0.30	c Coefficients are big enough for not using lower bounding.
0.28/0.30	c Coefficients are big enough for not using lower bounding.
0.28/0.30	c Coefficients are big enough for not using lower bounding.
0.28/0.30	c Coefficients are big enough for not using lower bounding.
0.28/0.30	c Coefficients are big enough for not using lower bounding.
0.28/0.30	c Coefficients are big enough for not using lower bounding.
0.28/0.30	c Coefficients are big enough for not using lower bounding.
0.28/0.30	c Coefficients are big enough for not using lower bounding.
0.28/0.30	c Coefficients are big enough for not using lower bounding.
0.28/0.30	c Coefficients are big enough for not using lower bounding.
0.28/0.30	c Coefficients are big enough for not using lower bounding.
0.28/0.30	c Coefficients are big enough for not using lower bounding.
0.28/0.30	c Coefficients are big enough for not using lower bounding.
0.28/0.30	c Coefficients are big enough for not using lower bounding.
0.28/0.30	c Coefficients are big enough for not using lower bounding.
0.28/0.30	c Coefficients are big enough for not using lower bounding.
0.28/0.30	c Coefficients are big enough for not using lower bounding.
0.28/0.30	c Coefficients are big enough for not using lower bounding.
0.28/0.30	c Coefficients are big enough for not using lower bounding.
0.28/0.30	c Coefficients are big enough for not using lower bounding.
0.28/0.30	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.31	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.32	c Coefficients are big enough for not using lower bounding.
0.28/0.33	c Coefficients are big enough for not using lower bounding.
0.28/0.33	c Coefficients are big enough for not using lower bounding.
0.28/0.33	c Coefficients are big enough for not using lower bounding.
0.28/0.33	c Coefficients are big enough for not using lower bounding.
0.28/0.33	c Coefficients are big enough for not using lower bounding.
0.28/0.33	c Coefficients are big enough for not using lower bounding.
0.28/0.33	c Coefficients are big enough for not using lower bounding.
0.28/0.33	c Coefficients are big enough for not using lower bounding.
0.28/0.33	c Coefficients are big enough for not using lower bounding.
0.28/0.33	c Coefficients are big enough for not using lower bounding.
0.28/0.33	c Coefficients are big enough for not using lower bounding.
0.28/0.33	c Coefficients are big enough for not using lower bounding.
0.28/0.33	c Coefficients are big enough for not using lower bounding.
0.28/0.33	c Coefficients are big enough for not using lower bounding.
0.28/0.33	c Coefficients are big enough for not using lower bounding.
0.28/0.33	c Coefficients are big enough for not using lower bounding.
0.28/0.33	c Coefficients are big enough for not using lower bounding.
0.28/0.33	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.34	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.35	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.36	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.37	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.38	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.39	c Coefficients are big enough for not using lower bounding.
0.28/0.40	c Coefficients are big enough for not using lower bounding.
0.28/0.40	c Coefficients are big enough for not using lower bounding.
0.28/0.40	c Coefficients are big enough for not using lower bounding.
0.28/0.40	c Coefficients are big enough for not using lower bounding.
0.28/0.40	c Coefficients are big enough for not using lower bounding.
0.28/0.40	c Coefficients are big enough for not using lower bounding.
0.28/0.40	c Coefficients are big enough for not using lower bounding.
0.28/0.40	c Coefficients are big enough for not using lower bounding.
0.28/0.40	c Coefficients are big enough for not using lower bounding.
0.28/0.40	c Coefficients are big enough for not using lower bounding.
0.28/0.40	c Coefficients are big enough for not using lower bounding.
0.28/0.40	c Coefficients are big enough for not using lower bounding.
0.28/0.40	c Coefficients are big enough for not using lower bounding.
0.28/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.40	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.41	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.42	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.43	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.44	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.45	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.46	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.47	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.48	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.49	c Coefficients are big enough for not using lower bounding.
0.37/0.50	c Coefficients are big enough for not using lower bounding.
0.37/0.50	c Coefficients are big enough for not using lower bounding.
0.37/0.50	c Coefficients are big enough for not using lower bounding.
0.37/0.50	c Coefficients are big enough for not using lower bounding.
0.37/0.50	c Coefficients are big enough for not using lower bounding.
0.37/0.50	c Coefficients are big enough for not using lower bounding.
0.37/0.50	c Coefficients are big enough for not using lower bounding.
0.37/0.50	c Coefficients are big enough for not using lower bounding.
0.37/0.50	c Coefficients are big enough for not using lower bounding.
0.37/0.50	c Coefficients are big enough for not using lower bounding.
0.37/0.50	c Coefficients are big enough for not using lower bounding.
0.37/0.50	c Coefficients are big enough for not using lower bounding.
0.37/0.50	c Coefficients are big enough for not using lower bounding.
0.37/0.50	c Coefficients are big enough for not using lower bounding.
0.37/0.50	c Coefficients are big enough for not using lower bounding.
0.37/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.50	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.51	c Coefficients are big enough for not using lower bounding.
0.48/0.52	c Coefficients are big enough for not using lower bounding.
0.48/0.52	c Coefficients are big enough for not using lower bounding.
0.48/0.52	c Coefficients are big enough for not using lower bounding.
0.48/0.52	c Coefficients are big enough for not using lower bounding.
0.48/0.52	c Coefficients are big enough for not using lower bounding.
0.48/0.52	c Coefficients are big enough for not using lower bounding.
0.48/0.52	c Coefficients are big enough for not using lower bounding.
0.48/0.52	c Coefficients are big enough for not using lower bounding.
0.48/0.52	c Coefficients are big enough for not using lower bounding.
0.48/0.52	c Coefficients are big enough for not using lower bounding.
0.48/0.52	c Coefficients are big enough for not using lower bounding.
0.48/0.52	c Coefficients are big enough for not using lower bounding.
0.48/0.52	c Coefficients are big enough for not using lower bounding.
0.48/0.53	c Coefficients are big enough for not using lower bounding.
0.48/0.53	c Coefficients are big enough for not using lower bounding.
0.48/0.53	c Coefficients are big enough for not using lower bounding.
0.48/0.53	c Coefficients are big enough for not using lower bounding.
0.48/0.53	c Coefficients are big enough for not using lower bounding.
0.48/0.53	c Coefficients are big enough for not using lower bounding.
0.48/0.54	c Coefficients are big enough for not using lower bounding.
0.48/0.54	c Coefficients are big enough for not using lower bounding.
0.48/0.54	c Coefficients are big enough for not using lower bounding.
0.48/0.54	c Coefficients are big enough for not using lower bounding.
0.48/0.54	c Coefficients are big enough for not using lower bounding.
0.48/0.54	c Coefficients are big enough for not using lower bounding.
0.48/0.54	c Coefficients are big enough for not using lower bounding.
0.48/0.55	c Coefficients are big enough for not using lower bounding.
0.48/0.55	c Coefficients are big enough for not using lower bounding.
0.48/0.55	c Coefficients are big enough for not using lower bounding.
0.48/0.55	c Coefficients are big enough for not using lower bounding.
0.48/0.55	c Coefficients are big enough for not using lower bounding.
0.48/0.56	c Coefficients are big enough for not using lower bounding.
0.48/0.56	c Coefficients are big enough for not using lower bounding.
0.48/0.56	c Coefficients are big enough for not using lower bounding.
0.48/0.56	c Coefficients are big enough for not using lower bounding.
0.48/0.56	c Coefficients are big enough for not using lower bounding.
0.48/0.56	c Coefficients are big enough for not using lower bounding.
0.48/0.57	c Coefficients are big enough for not using lower bounding.
0.48/0.57	c Coefficients are big enough for not using lower bounding.
0.48/0.57	c Coefficients are big enough for not using lower bounding.
0.48/0.57	c Coefficients are big enough for not using lower bounding.
0.48/0.57	c Coefficients are big enough for not using lower bounding.
0.48/0.58	c Coefficients are big enough for not using lower bounding.
0.48/0.58	c Coefficients are big enough for not using lower bounding.
0.48/0.58	c Coefficients are big enough for not using lower bounding.
0.48/0.58	c Coefficients are big enough for not using lower bounding.
0.48/0.58	c Coefficients are big enough for not using lower bounding.
0.48/0.58	c Coefficients are big enough for not using lower bounding.
0.48/0.58	c Coefficients are big enough for not using lower bounding.
0.48/0.58	c Coefficients are big enough for not using lower bounding.
0.48/0.58	c Coefficients are big enough for not using lower bounding.
0.48/0.58	c Coefficients are big enough for not using lower bounding.
0.48/0.58	c Coefficients are big enough for not using lower bounding.
0.48/0.59	c Coefficients are big enough for not using lower bounding.
0.48/0.59	c Coefficients are big enough for not using lower bounding.
0.48/0.59	c Coefficients are big enough for not using lower bounding.
0.48/0.59	c Coefficients are big enough for not using lower bounding.
0.48/0.59	c Coefficients are big enough for not using lower bounding.
0.48/0.59	c Coefficients are big enough for not using lower bounding.
0.48/0.59	c Coefficients are big enough for not using lower bounding.
0.48/0.59	c Coefficients are big enough for not using lower bounding.
0.48/0.59	c Coefficients are big enough for not using lower bounding.
0.48/0.59	c Coefficients are big enough for not using lower bounding.
0.48/0.59	c Coefficients are big enough for not using lower bounding.
0.48/0.59	c Coefficients are big enough for not using lower bounding.
0.48/0.59	c Coefficients are big enough for not using lower bounding.
0.48/0.59	c Coefficients are big enough for not using lower bounding.
0.48/0.59	c Coefficients are big enough for not using lower bounding.
0.48/0.59	c Coefficients are big enough for not using lower bounding.
0.48/0.60	c Coefficients are big enough for not using lower bounding.
0.48/0.60	c Coefficients are big enough for not using lower bounding.
0.57/0.60	c Coefficients are big enough for not using lower bounding.
0.57/0.60	c Coefficients are big enough for not using lower bounding.
0.57/0.60	c Coefficients are big enough for not using lower bounding.
0.57/0.60	c Coefficients are big enough for not using lower bounding.
0.57/0.60	c Coefficients are big enough for not using lower bounding.
0.57/0.60	c Coefficients are big enough for not using lower bounding.
0.57/0.60	c Coefficients are big enough for not using lower bounding.
0.57/0.60	c Coefficients are big enough for not using lower bounding.
0.57/0.60	c Coefficients are big enough for not using lower bounding.
0.57/0.60	c Coefficients are big enough for not using lower bounding.
0.57/0.60	c Coefficients are big enough for not using lower bounding.
0.57/0.60	c Coefficients are big enough for not using lower bounding.
0.57/0.60	c Coefficients are big enough for not using lower bounding.
0.57/0.60	c Coefficients are big enough for not using lower bounding.
0.57/0.60	c Coefficients are big enough for not using lower bounding.
0.57/0.60	c Coefficients are big enough for not using lower bounding.
0.57/0.60	c Coefficients are big enough for not using lower bounding.
0.57/0.61	c Coefficients are big enough for not using lower bounding.
0.57/0.61	c Coefficients are big enough for not using lower bounding.
0.57/0.61	c Coefficients are big enough for not using lower bounding.
0.57/0.61	c Coefficients are big enough for not using lower bounding.
0.57/0.61	c Coefficients are big enough for not using lower bounding.
0.57/0.61	c Coefficients are big enough for not using lower bounding.
0.57/0.61	c Coefficients are big enough for not using lower bounding.
0.57/0.61	c Coefficients are big enough for not using lower bounding.
0.57/0.61	c Coefficients are big enough for not using lower bounding.
0.57/0.61	c Coefficients are big enough for not using lower bounding.
0.57/0.61	c Coefficients are big enough for not using lower bounding.
0.57/0.61	c Coefficients are big enough for not using lower bounding.
0.57/0.61	c Coefficients are big enough for not using lower bounding.
0.57/0.61	c Coefficients are big enough for not using lower bounding.
0.57/0.61	c Coefficients are big enough for not using lower bounding.
0.57/0.61	c Coefficients are big enough for not using lower bounding.
0.57/0.61	c Coefficients are big enough for not using lower bounding.
0.57/0.61	c Coefficients are big enough for not using lower bounding.
0.57/0.61	c Coefficients are big enough for not using lower bounding.
0.57/0.61	c Coefficients are big enough for not using lower bounding.
0.57/0.61	c Coefficients are big enough for not using lower bounding.
0.57/0.61	c Coefficients are big enough for not using lower bounding.
0.57/0.61	c Coefficients are big enough for not using lower bounding.
0.57/0.61	c Coefficients are big enough for not using lower bounding.
0.57/0.61	c Coefficients are big enough for not using lower bounding.
0.57/0.61	c Coefficients are big enough for not using lower bounding.
0.57/0.61	c Coefficients are big enough for not using lower bounding.
0.57/0.61	c Coefficients are big enough for not using lower bounding.
0.57/0.61	c Coefficients are big enough for not using lower bounding.
0.57/0.61	c Coefficients are big enough for not using lower bounding.
0.57/0.61	c Coefficients are big enough for not using lower bounding.
0.57/0.61	c Coefficients are big enough for not using lower bounding.
0.57/0.61	c Coefficients are big enough for not using lower bounding.
0.57/0.61	c Coefficients are big enough for not using lower bounding.
0.57/0.61	c Coefficients are big enough for not using lower bounding.
0.57/0.61	c Coefficients are big enough for not using lower bounding.
0.57/0.61	c Coefficients are big enough for not using lower bounding.
0.57/0.61	c Coefficients are big enough for not using lower bounding.
0.57/0.61	c Coefficients are big enough for not using lower bounding.
0.57/0.61	c Coefficients are big enough for not using lower bounding.
0.57/0.61	c Coefficients are big enough for not using lower bounding.
0.57/0.61	c Coefficients are big enough for not using lower bounding.
0.57/0.61	c Coefficients are big enough for not using lower bounding.
0.57/0.62	c Coefficients are big enough for not using lower bounding.
0.57/0.62	c Coefficients are big enough for not using lower bounding.
0.57/0.62	c Coefficients are big enough for not using lower bounding.
0.57/0.62	c Coefficients are big enough for not using lower bounding.
0.57/0.62	c Coefficients are big enough for not using lower bounding.
0.57/0.62	c Coefficients are big enough for not using lower bounding.
0.57/0.62	c Coefficients are big enough for not using lower bounding.
0.57/0.62	c Coefficients are big enough for not using lower bounding.
0.57/0.62	c Coefficients are big enough for not using lower bounding.
0.57/0.62	c Coefficients are big enough for not using lower bounding.
0.57/0.62	c Coefficients are big enough for not using lower bounding.
0.57/0.62	c Coefficients are big enough for not using lower bounding.
0.57/0.62	c Coefficients are big enough for not using lower bounding.
0.57/0.62	c Coefficients are big enough for not using lower bounding.
0.57/0.62	c Coefficients are big enough for not using lower bounding.
0.57/0.62	c Coefficients are big enough for not using lower bounding.
0.57/0.62	c Coefficients are big enough for not using lower bounding.
0.57/0.62	c Coefficients are big enough for not using lower bounding.
0.57/0.62	c Coefficients are big enough for not using lower bounding.
0.57/0.62	c Coefficients are big enough for not using lower bounding.
0.57/0.62	c Coefficients are big enough for not using lower bounding.
0.57/0.62	c Coefficients are big enough for not using lower bounding.
0.57/0.62	c Coefficients are big enough for not using lower bounding.
0.57/0.62	c Coefficients are big enough for not using lower bounding.
0.57/0.62	c Coefficients are big enough for not using lower bounding.
0.57/0.62	c Coefficients are big enough for not using lower bounding.
0.57/0.62	c Coefficients are big enough for not using lower bounding.
0.57/0.62	c Coefficients are big enough for not using lower bounding.
0.57/0.62	c Coefficients are big enough for not using lower bounding.
0.57/0.62	c Coefficients are big enough for not using lower bounding.
0.57/0.62	c Coefficients are big enough for not using lower bounding.
0.57/0.62	c Coefficients are big enough for not using lower bounding.
0.57/0.62	c Coefficients are big enough for not using lower bounding.
0.57/0.63	c Coefficients are big enough for not using lower bounding.
0.57/0.63	c Coefficients are big enough for not using lower bounding.
0.57/0.63	c Coefficients are big enough for not using lower bounding.
0.57/0.63	c Coefficients are big enough for not using lower bounding.
0.57/0.63	c Coefficients are big enough for not using lower bounding.
0.57/0.63	c Coefficients are big enough for not using lower bounding.
0.57/0.63	c Coefficients are big enough for not using lower bounding.
0.57/0.63	c Coefficients are big enough for not using lower bounding.
0.57/0.63	c Coefficients are big enough for not using lower bounding.
0.57/0.63	c Coefficients are big enough for not using lower bounding.
0.57/0.63	c Coefficients are big enough for not using lower bounding.
0.57/0.63	c Coefficients are big enough for not using lower bounding.
0.57/0.63	c Coefficients are big enough for not using lower bounding.
0.57/0.63	c Coefficients are big enough for not using lower bounding.
0.57/0.63	c Coefficients are big enough for not using lower bounding.
0.57/0.63	c Coefficients are big enough for not using lower bounding.
0.57/0.63	c Coefficients are big enough for not using lower bounding.
0.57/0.63	c Coefficients are big enough for not using lower bounding.
0.57/0.63	c Coefficients are big enough for not using lower bounding.
0.57/0.63	c Coefficients are big enough for not using lower bounding.
0.57/0.63	c Coefficients are big enough for not using lower bounding.
0.57/0.63	c Coefficients are big enough for not using lower bounding.
0.57/0.63	c Coefficients are big enough for not using lower bounding.
0.57/0.63	c Coefficients are big enough for not using lower bounding.
0.57/0.63	c Coefficients are big enough for not using lower bounding.
0.57/0.63	c Coefficients are big enough for not using lower bounding.
0.57/0.63	c Coefficients are big enough for not using lower bounding.
0.57/0.63	c Coefficients are big enough for not using lower bounding.
0.57/0.63	c Coefficients are big enough for not using lower bounding.
0.57/0.63	c Coefficients are big enough for not using lower bounding.
0.57/0.64	c Coefficients are big enough for not using lower bounding.
0.57/0.64	c Coefficients are big enough for not using lower bounding.
0.57/0.64	c Coefficients are big enough for not using lower bounding.
0.57/0.64	c Coefficients are big enough for not using lower bounding.
0.57/0.64	c Coefficients are big enough for not using lower bounding.
0.57/0.64	c Coefficients are big enough for not using lower bounding.
0.57/0.64	c Coefficients are big enough for not using lower bounding.
0.57/0.64	c Coefficients are big enough for not using lower bounding.
0.57/0.64	c Coefficients are big enough for not using lower bounding.
0.57/0.64	c Coefficients are big enough for not using lower bounding.
0.57/0.64	c Coefficients are big enough for not using lower bounding.
0.57/0.64	c Coefficients are big enough for not using lower bounding.
0.57/0.64	c Coefficients are big enough for not using lower bounding.
0.57/0.64	c Coefficients are big enough for not using lower bounding.
0.57/0.64	c Coefficients are big enough for not using lower bounding.
0.57/0.64	c Coefficients are big enough for not using lower bounding.
0.57/0.64	c Coefficients are big enough for not using lower bounding.
0.57/0.64	c Coefficients are big enough for not using lower bounding.
0.57/0.64	c Coefficients are big enough for not using lower bounding.
0.57/0.64	c Coefficients are big enough for not using lower bounding.
0.57/0.64	c Coefficients are big enough for not using lower bounding.
0.57/0.64	c Coefficients are big enough for not using lower bounding.
0.57/0.64	c Coefficients are big enough for not using lower bounding.
0.57/0.64	c Coefficients are big enough for not using lower bounding.
0.57/0.64	c Coefficients are big enough for not using lower bounding.
0.57/0.64	c Coefficients are big enough for not using lower bounding.
0.57/0.64	c Coefficients are big enough for not using lower bounding.
0.57/0.64	c Coefficients are big enough for not using lower bounding.
0.57/0.64	c Coefficients are big enough for not using lower bounding.
0.57/0.64	c Coefficients are big enough for not using lower bounding.
0.57/0.64	c Coefficients are big enough for not using lower bounding.
0.57/0.64	c Coefficients are big enough for not using lower bounding.
0.57/0.64	c Coefficients are big enough for not using lower bounding.
0.57/0.65	c Coefficients are big enough for not using lower bounding.
0.57/0.65	c Coefficients are big enough for not using lower bounding.
0.57/0.65	c Coefficients are big enough for not using lower bounding.
0.57/0.65	c Coefficients are big enough for not using lower bounding.
0.57/0.65	c Coefficients are big enough for not using lower bounding.
0.57/0.65	c Coefficients are big enough for not using lower bounding.
0.57/0.65	c Coefficients are big enough for not using lower bounding.
0.57/0.65	c Coefficients are big enough for not using lower bounding.
0.57/0.65	c Coefficients are big enough for not using lower bounding.
0.57/0.65	c Coefficients are big enough for not using lower bounding.
0.57/0.65	c Coefficients are big enough for not using lower bounding.
0.57/0.65	c Coefficients are big enough for not using lower bounding.
0.57/0.65	c Coefficients are big enough for not using lower bounding.
0.57/0.65	c Coefficients are big enough for not using lower bounding.
0.57/0.65	c Coefficients are big enough for not using lower bounding.
0.57/0.65	c Coefficients are big enough for not using lower bounding.
0.57/0.65	c Coefficients are big enough for not using lower bounding.
0.57/0.65	c Coefficients are big enough for not using lower bounding.
0.57/0.65	c Coefficients are big enough for not using lower bounding.
0.57/0.65	c Coefficients are big enough for not using lower bounding.
0.57/0.65	c Coefficients are big enough for not using lower bounding.
0.57/0.65	c Coefficients are big enough for not using lower bounding.
0.57/0.65	c Coefficients are big enough for not using lower bounding.
0.57/0.65	c Coefficients are big enough for not using lower bounding.
0.57/0.65	c Coefficients are big enough for not using lower bounding.
0.57/0.65	c Coefficients are big enough for not using lower bounding.
0.57/0.65	c Coefficients are big enough for not using lower bounding.
0.57/0.65	c Coefficients are big enough for not using lower bounding.
0.57/0.65	c Coefficients are big enough for not using lower bounding.
0.57/0.65	c Coefficients are big enough for not using lower bounding.
0.57/0.65	c Coefficients are big enough for not using lower bounding.
0.57/0.65	c Coefficients are big enough for not using lower bounding.
0.57/0.65	c Coefficients are big enough for not using lower bounding.
0.57/0.65	c Coefficients are big enough for not using lower bounding.
0.57/0.66	c Coefficients are big enough for not using lower bounding.
0.57/0.66	c Coefficients are big enough for not using lower bounding.
0.57/0.66	c Coefficients are big enough for not using lower bounding.
0.57/0.66	c Coefficients are big enough for not using lower bounding.
0.57/0.66	c Coefficients are big enough for not using lower bounding.
0.57/0.66	c Coefficients are big enough for not using lower bounding.
0.57/0.66	c Coefficients are big enough for not using lower bounding.
0.57/0.66	c Coefficients are big enough for not using lower bounding.
0.57/0.66	c Coefficients are big enough for not using lower bounding.
0.57/0.66	c Coefficients are big enough for not using lower bounding.
0.57/0.66	c Coefficients are big enough for not using lower bounding.
0.57/0.66	c Coefficients are big enough for not using lower bounding.
0.57/0.66	c Coefficients are big enough for not using lower bounding.
0.57/0.66	c Coefficients are big enough for not using lower bounding.
0.57/0.66	c Coefficients are big enough for not using lower bounding.
0.57/0.66	c Coefficients are big enough for not using lower bounding.
0.57/0.66	c Coefficients are big enough for not using lower bounding.
0.57/0.66	c Coefficients are big enough for not using lower bounding.
0.57/0.66	c Coefficients are big enough for not using lower bounding.
0.57/0.66	c Coefficients are big enough for not using lower bounding.
0.57/0.66	c Coefficients are big enough for not using lower bounding.
0.57/0.66	c Coefficients are big enough for not using lower bounding.
0.57/0.66	c Coefficients are big enough for not using lower bounding.
0.57/0.66	c Coefficients are big enough for not using lower bounding.
0.57/0.66	c Coefficients are big enough for not using lower bounding.
0.57/0.66	c Coefficients are big enough for not using lower bounding.
0.57/0.66	c Coefficients are big enough for not using lower bounding.
0.57/0.66	c Coefficients are big enough for not using lower bounding.
0.57/0.66	c Coefficients are big enough for not using lower bounding.
0.57/0.66	c Coefficients are big enough for not using lower bounding.
0.57/0.66	c Coefficients are big enough for not using lower bounding.
0.57/0.66	c Coefficients are big enough for not using lower bounding.
0.57/0.66	c Coefficients are big enough for not using lower bounding.
0.57/0.66	c Coefficients are big enough for not using lower bounding.
0.57/0.66	c Coefficients are big enough for not using lower bounding.
0.57/0.67	c Coefficients are big enough for not using lower bounding.
0.57/0.67	c Coefficients are big enough for not using lower bounding.
0.57/0.67	c Coefficients are big enough for not using lower bounding.
0.57/0.67	c Coefficients are big enough for not using lower bounding.
0.57/0.67	c Coefficients are big enough for not using lower bounding.
0.57/0.67	c Coefficients are big enough for not using lower bounding.
0.57/0.67	c Coefficients are big enough for not using lower bounding.
0.57/0.67	c Coefficients are big enough for not using lower bounding.
0.57/0.67	c Coefficients are big enough for not using lower bounding.
0.57/0.67	c Coefficients are big enough for not using lower bounding.
0.57/0.67	c Coefficients are big enough for not using lower bounding.
0.57/0.67	c Coefficients are big enough for not using lower bounding.
0.57/0.67	c Coefficients are big enough for not using lower bounding.
0.57/0.67	c Coefficients are big enough for not using lower bounding.
0.57/0.67	c Coefficients are big enough for not using lower bounding.
0.57/0.67	c Coefficients are big enough for not using lower bounding.
0.57/0.67	c Coefficients are big enough for not using lower bounding.
0.57/0.67	c Coefficients are big enough for not using lower bounding.
0.57/0.67	c Coefficients are big enough for not using lower bounding.
0.57/0.67	c Coefficients are big enough for not using lower bounding.
0.57/0.67	c Coefficients are big enough for not using lower bounding.
0.57/0.67	c Coefficients are big enough for not using lower bounding.
0.57/0.67	c Coefficients are big enough for not using lower bounding.
0.57/0.67	c Coefficients are big enough for not using lower bounding.
0.57/0.67	c Coefficients are big enough for not using lower bounding.
0.57/0.67	c Coefficients are big enough for not using lower bounding.
0.57/0.67	c Coefficients are big enough for not using lower bounding.
0.57/0.67	c Coefficients are big enough for not using lower bounding.
0.57/0.67	c Coefficients are big enough for not using lower bounding.
0.57/0.67	c Coefficients are big enough for not using lower bounding.
0.57/0.67	c Coefficients are big enough for not using lower bounding.
0.57/0.67	c Coefficients are big enough for not using lower bounding.
0.57/0.67	c Coefficients are big enough for not using lower bounding.
0.57/0.67	c Coefficients are big enough for not using lower bounding.
0.57/0.67	c Coefficients are big enough for not using lower bounding.
0.57/0.68	c Coefficients are big enough for not using lower bounding.
0.57/0.68	c Coefficients are big enough for not using lower bounding.
0.57/0.68	c Coefficients are big enough for not using lower bounding.
0.57/0.68	c Coefficients are big enough for not using lower bounding.
0.57/0.68	c Coefficients are big enough for not using lower bounding.
0.57/0.68	c Coefficients are big enough for not using lower bounding.
0.57/0.68	c Coefficients are big enough for not using lower bounding.
0.57/0.68	c Coefficients are big enough for not using lower bounding.
0.57/0.68	c Coefficients are big enough for not using lower bounding.
0.57/0.68	c Coefficients are big enough for not using lower bounding.
0.57/0.68	c Coefficients are big enough for not using lower bounding.
0.57/0.68	c Coefficients are big enough for not using lower bounding.
0.57/0.68	c Coefficients are big enough for not using lower bounding.
0.57/0.68	c Coefficients are big enough for not using lower bounding.
0.57/0.68	c Coefficients are big enough for not using lower bounding.
0.57/0.68	c Coefficients are big enough for not using lower bounding.
0.57/0.68	c Coefficients are big enough for not using lower bounding.
0.57/0.68	c Coefficients are big enough for not using lower bounding.
0.57/0.68	c Coefficients are big enough for not using lower bounding.
0.57/0.68	c Coefficients are big enough for not using lower bounding.
0.57/0.68	c Coefficients are big enough for not using lower bounding.
0.57/0.68	c Coefficients are big enough for not using lower bounding.
0.57/0.68	c Coefficients are big enough for not using lower bounding.
0.57/0.68	c Coefficients are big enough for not using lower bounding.
0.57/0.68	c Coefficients are big enough for not using lower bounding.
0.57/0.68	c Coefficients are big enough for not using lower bounding.
0.57/0.68	c Coefficients are big enough for not using lower bounding.
0.57/0.68	c Coefficients are big enough for not using lower bounding.
0.57/0.68	c Coefficients are big enough for not using lower bounding.
0.57/0.68	c Coefficients are big enough for not using lower bounding.
0.57/0.68	c Coefficients are big enough for not using lower bounding.
0.57/0.68	c Coefficients are big enough for not using lower bounding.
0.57/0.68	c Coefficients are big enough for not using lower bounding.
0.57/0.68	c Coefficients are big enough for not using lower bounding.
0.57/0.68	c Coefficients are big enough for not using lower bounding.
0.57/0.69	c Coefficients are big enough for not using lower bounding.
0.57/0.69	c Coefficients are big enough for not using lower bounding.
0.57/0.69	c Coefficients are big enough for not using lower bounding.
0.57/0.69	c Coefficients are big enough for not using lower bounding.
0.57/0.69	c Coefficients are big enough for not using lower bounding.
0.57/0.69	c Coefficients are big enough for not using lower bounding.
0.57/0.69	c Coefficients are big enough for not using lower bounding.
0.57/0.69	c Coefficients are big enough for not using lower bounding.
0.57/0.69	c Coefficients are big enough for not using lower bounding.
0.57/0.69	c Coefficients are big enough for not using lower bounding.
0.57/0.69	c Coefficients are big enough for not using lower bounding.
0.57/0.69	c Coefficients are big enough for not using lower bounding.
0.57/0.69	c Coefficients are big enough for not using lower bounding.
0.57/0.69	c Coefficients are big enough for not using lower bounding.
0.57/0.69	c Coefficients are big enough for not using lower bounding.
0.57/0.69	c Coefficients are big enough for not using lower bounding.
0.57/0.69	c Coefficients are big enough for not using lower bounding.
0.57/0.69	c Coefficients are big enough for not using lower bounding.
0.57/0.69	c Coefficients are big enough for not using lower bounding.
0.57/0.69	c Coefficients are big enough for not using lower bounding.
0.57/0.69	c Coefficients are big enough for not using lower bounding.
0.57/0.69	c Coefficients are big enough for not using lower bounding.
0.57/0.69	c Coefficients are big enough for not using lower bounding.
0.57/0.69	c Coefficients are big enough for not using lower bounding.
0.57/0.69	c Coefficients are big enough for not using lower bounding.
0.57/0.69	c Coefficients are big enough for not using lower bounding.
0.57/0.69	c Coefficients are big enough for not using lower bounding.
0.57/0.69	c Coefficients are big enough for not using lower bounding.
0.57/0.69	c Coefficients are big enough for not using lower bounding.
0.57/0.69	c Coefficients are big enough for not using lower bounding.
0.57/0.69	c Coefficients are big enough for not using lower bounding.
0.57/0.69	c Coefficients are big enough for not using lower bounding.
0.57/0.70	c Coefficients are big enough for not using lower bounding.
0.57/0.70	c Coefficients are big enough for not using lower bounding.
0.57/0.70	c Coefficients are big enough for not using lower bounding.
0.57/0.70	c Coefficients are big enough for not using lower bounding.
0.67/0.70	c Coefficients are big enough for not using lower bounding.
0.67/0.70	c Coefficients are big enough for not using lower bounding.
0.67/0.70	c Coefficients are big enough for not using lower bounding.
0.67/0.70	c Coefficients are big enough for not using lower bounding.
0.67/0.70	c Coefficients are big enough for not using lower bounding.
0.67/0.70	c Coefficients are big enough for not using lower bounding.
0.67/0.70	c Coefficients are big enough for not using lower bounding.
0.67/0.70	c Coefficients are big enough for not using lower bounding.
0.67/0.70	c Coefficients are big enough for not using lower bounding.
0.67/0.70	c Coefficients are big enough for not using lower bounding.
0.67/0.70	c Coefficients are big enough for not using lower bounding.
0.67/0.70	c Coefficients are big enough for not using lower bounding.
0.67/0.70	c Coefficients are big enough for not using lower bounding.
0.67/0.70	c Coefficients are big enough for not using lower bounding.
0.67/0.70	c Coefficients are big enough for not using lower bounding.
0.67/0.70	c Coefficients are big enough for not using lower bounding.
0.67/0.70	c Coefficients are big enough for not using lower bounding.
0.67/0.70	c Coefficients are big enough for not using lower bounding.
0.67/0.70	c Coefficients are big enough for not using lower bounding.
0.67/0.70	c Coefficients are big enough for not using lower bounding.
0.67/0.70	c Coefficients are big enough for not using lower bounding.
0.67/0.70	c Coefficients are big enough for not using lower bounding.
0.67/0.70	c Coefficients are big enough for not using lower bounding.
0.67/0.70	c Coefficients are big enough for not using lower bounding.
0.67/0.70	c Coefficients are big enough for not using lower bounding.
0.67/0.70	c Coefficients are big enough for not using lower bounding.
0.67/0.70	c Coefficients are big enough for not using lower bounding.
0.67/0.70	c Coefficients are big enough for not using lower bounding.
0.67/0.71	c Coefficients are big enough for not using lower bounding.
0.67/0.71	c Coefficients are big enough for not using lower bounding.
0.67/0.71	c Coefficients are big enough for not using lower bounding.
0.67/0.71	c Coefficients are big enough for not using lower bounding.
0.67/0.71	c Coefficients are big enough for not using lower bounding.
0.67/0.71	c Coefficients are big enough for not using lower bounding.
0.67/0.71	c Coefficients are big enough for not using lower bounding.
0.67/0.71	c Coefficients are big enough for not using lower bounding.
0.67/0.71	c Coefficients are big enough for not using lower bounding.
0.67/0.71	c Coefficients are big enough for not using lower bounding.
0.67/0.71	c Coefficients are big enough for not using lower bounding.
0.67/0.71	c Coefficients are big enough for not using lower bounding.
0.67/0.71	c Coefficients are big enough for not using lower bounding.
0.67/0.71	c Coefficients are big enough for not using lower bounding.
0.67/0.71	c Coefficients are big enough for not using lower bounding.
0.67/0.71	c Coefficients are big enough for not using lower bounding.
0.67/0.71	c Coefficients are big enough for not using lower bounding.
0.67/0.71	c Coefficients are big enough for not using lower bounding.
0.67/0.71	c Coefficients are big enough for not using lower bounding.
0.67/0.71	c Coefficients are big enough for not using lower bounding.
0.67/0.71	c Coefficients are big enough for not using lower bounding.
0.67/0.71	c Coefficients are big enough for not using lower bounding.
0.67/0.71	c Coefficients are big enough for not using lower bounding.
0.67/0.71	c Coefficients are big enough for not using lower bounding.
0.67/0.71	c Coefficients are big enough for not using lower bounding.
0.67/0.71	c Coefficients are big enough for not using lower bounding.
0.67/0.71	c Coefficients are big enough for not using lower bounding.
0.67/0.71	c Coefficients are big enough for not using lower bounding.
0.67/0.71	c Coefficients are big enough for not using lower bounding.
0.67/0.71	c Coefficients are big enough for not using lower bounding.
0.67/0.71	c Coefficients are big enough for not using lower bounding.
0.67/0.71	c Coefficients are big enough for not using lower bounding.
0.67/0.71	c Coefficients are big enough for not using lower bounding.
0.67/0.72	c Coefficients are big enough for not using lower bounding.
0.67/0.72	c Coefficients are big enough for not using lower bounding.
0.67/0.72	c Coefficients are big enough for not using lower bounding.
0.67/0.72	c Coefficients are big enough for not using lower bounding.
0.67/0.72	c Coefficients are big enough for not using lower bounding.
0.67/0.72	c Coefficients are big enough for not using lower bounding.
0.67/0.72	c Coefficients are big enough for not using lower bounding.
0.67/0.72	c Coefficients are big enough for not using lower bounding.
0.67/0.72	c Coefficients are big enough for not using lower bounding.
0.67/0.72	c Coefficients are big enough for not using lower bounding.
0.67/0.72	c Coefficients are big enough for not using lower bounding.
0.67/0.72	c Coefficients are big enough for not using lower bounding.
0.67/0.72	c Coefficients are big enough for not using lower bounding.
0.67/0.72	c Coefficients are big enough for not using lower bounding.
0.67/0.72	c Coefficients are big enough for not using lower bounding.
0.67/0.72	c Coefficients are big enough for not using lower bounding.
0.67/0.72	c Coefficients are big enough for not using lower bounding.
0.67/0.72	c Coefficients are big enough for not using lower bounding.
0.67/0.72	c Coefficients are big enough for not using lower bounding.
0.67/0.72	c Coefficients are big enough for not using lower bounding.
0.67/0.72	c Coefficients are big enough for not using lower bounding.
0.67/0.72	c Coefficients are big enough for not using lower bounding.
0.67/0.72	c Coefficients are big enough for not using lower bounding.
0.67/0.72	c Coefficients are big enough for not using lower bounding.
0.67/0.72	c Coefficients are big enough for not using lower bounding.
0.67/0.72	c Coefficients are big enough for not using lower bounding.
0.67/0.72	c Coefficients are big enough for not using lower bounding.
0.67/0.72	c Coefficients are big enough for not using lower bounding.
0.67/0.72	c Coefficients are big enough for not using lower bounding.
0.67/0.72	c Coefficients are big enough for not using lower bounding.
0.67/0.72	c Coefficients are big enough for not using lower bounding.
0.67/0.72	c Coefficients are big enough for not using lower bounding.
0.67/0.73	c Coefficients are big enough for not using lower bounding.
0.67/0.73	c Coefficients are big enough for not using lower bounding.
0.67/0.73	c Coefficients are big enough for not using lower bounding.
0.67/0.73	c Coefficients are big enough for not using lower bounding.
0.67/0.73	c Coefficients are big enough for not using lower bounding.
0.67/0.73	c Coefficients are big enough for not using lower bounding.
0.67/0.73	c Coefficients are big enough for not using lower bounding.
0.67/0.73	c Coefficients are big enough for not using lower bounding.
0.67/0.73	c Coefficients are big enough for not using lower bounding.
0.67/0.73	c Coefficients are big enough for not using lower bounding.
0.67/0.73	c Coefficients are big enough for not using lower bounding.
0.67/0.73	c Coefficients are big enough for not using lower bounding.
0.67/0.73	c Coefficients are big enough for not using lower bounding.
0.67/0.73	c Coefficients are big enough for not using lower bounding.
0.67/0.73	c Coefficients are big enough for not using lower bounding.
0.67/0.73	c Coefficients are big enough for not using lower bounding.
0.67/0.73	c Coefficients are big enough for not using lower bounding.
0.67/0.73	c Coefficients are big enough for not using lower bounding.
0.67/0.73	c Coefficients are big enough for not using lower bounding.
0.67/0.73	c Coefficients are big enough for not using lower bounding.
0.67/0.73	c Coefficients are big enough for not using lower bounding.
0.67/0.73	c Coefficients are big enough for not using lower bounding.
0.67/0.73	c Coefficients are big enough for not using lower bounding.
0.67/0.73	c Coefficients are big enough for not using lower bounding.
0.67/0.73	c Coefficients are big enough for not using lower bounding.
0.67/0.73	c Coefficients are big enough for not using lower bounding.
0.67/0.73	c Coefficients are big enough for not using lower bounding.
0.67/0.73	c Coefficients are big enough for not using lower bounding.
0.67/0.73	c Coefficients are big enough for not using lower bounding.
0.67/0.73	c Coefficients are big enough for not using lower bounding.
0.67/0.73	c Coefficients are big enough for not using lower bounding.
0.67/0.73	c Coefficients are big enough for not using lower bounding.
0.67/0.73	c Coefficients are big enough for not using lower bounding.
0.67/0.74	c Coefficients are big enough for not using lower bounding.
0.67/0.74	c Coefficients are big enough for not using lower bounding.
0.67/0.74	c Coefficients are big enough for not using lower bounding.
0.67/0.74	c Coefficients are big enough for not using lower bounding.
0.67/0.74	c Coefficients are big enough for not using lower bounding.
0.67/0.74	c Coefficients are big enough for not using lower bounding.
0.67/0.74	c Coefficients are big enough for not using lower bounding.
0.67/0.74	c Coefficients are big enough for not using lower bounding.
0.67/0.74	c Coefficients are big enough for not using lower bounding.
0.67/0.74	c Coefficients are big enough for not using lower bounding.
0.67/0.74	c Coefficients are big enough for not using lower bounding.
0.67/0.74	c Coefficients are big enough for not using lower bounding.
0.67/0.74	c Coefficients are big enough for not using lower bounding.
0.67/0.74	c Coefficients are big enough for not using lower bounding.
0.67/0.74	c Coefficients are big enough for not using lower bounding.
0.67/0.74	c Coefficients are big enough for not using lower bounding.
0.67/0.74	c Coefficients are big enough for not using lower bounding.
0.67/0.74	c Coefficients are big enough for not using lower bounding.
0.67/0.74	c Coefficients are big enough for not using lower bounding.
0.67/0.74	c Coefficients are big enough for not using lower bounding.
0.67/0.74	c Coefficients are big enough for not using lower bounding.
0.67/0.74	c Coefficients are big enough for not using lower bounding.
0.67/0.74	c Coefficients are big enough for not using lower bounding.
0.67/0.74	c Coefficients are big enough for not using lower bounding.
0.67/0.74	c Coefficients are big enough for not using lower bounding.
0.67/0.74	c Coefficients are big enough for not using lower bounding.
0.67/0.74	c Coefficients are big enough for not using lower bounding.
0.67/0.74	c Coefficients are big enough for not using lower bounding.
0.67/0.74	c Coefficients are big enough for not using lower bounding.
0.67/0.74	c Coefficients are big enough for not using lower bounding.
0.67/0.74	c Coefficients are big enough for not using lower bounding.
0.67/0.74	c Coefficients are big enough for not using lower bounding.
0.67/0.74	c Coefficients are big enough for not using lower bounding.
0.67/0.74	c Coefficients are big enough for not using lower bounding.
0.67/0.75	c Coefficients are big enough for not using lower bounding.
0.67/0.75	c Coefficients are big enough for not using lower bounding.
0.67/0.75	c Coefficients are big enough for not using lower bounding.
0.67/0.75	c Coefficients are big enough for not using lower bounding.
0.67/0.75	c Coefficients are big enough for not using lower bounding.
0.67/0.75	c Coefficients are big enough for not using lower bounding.
0.67/0.75	c Coefficients are big enough for not using lower bounding.
0.67/0.75	c Coefficients are big enough for not using lower bounding.
0.67/0.75	c Coefficients are big enough for not using lower bounding.
0.67/0.75	c Coefficients are big enough for not using lower bounding.
0.67/0.75	c Coefficients are big enough for not using lower bounding.
0.67/0.75	c Coefficients are big enough for not using lower bounding.
0.67/0.75	c Coefficients are big enough for not using lower bounding.
0.67/0.75	c Coefficients are big enough for not using lower bounding.
0.67/0.75	c Coefficients are big enough for not using lower bounding.
0.67/0.75	c Coefficients are big enough for not using lower bounding.
0.67/0.75	c Coefficients are big enough for not using lower bounding.
0.67/0.75	c Coefficients are big enough for not using lower bounding.
0.67/0.75	c Coefficients are big enough for not using lower bounding.
0.67/0.75	c Coefficients are big enough for not using lower bounding.
0.67/0.75	c Coefficients are big enough for not using lower bounding.
0.67/0.75	c Coefficients are big enough for not using lower bounding.
0.67/0.75	c Coefficients are big enough for not using lower bounding.
0.67/0.75	c Coefficients are big enough for not using lower bounding.
0.67/0.75	c Coefficients are big enough for not using lower bounding.
0.67/0.75	c Coefficients are big enough for not using lower bounding.
0.67/0.75	c Coefficients are big enough for not using lower bounding.
0.67/0.75	c Coefficients are big enough for not using lower bounding.
0.67/0.75	c Coefficients are big enough for not using lower bounding.
0.67/0.75	c Coefficients are big enough for not using lower bounding.
0.67/0.75	c Coefficients are big enough for not using lower bounding.
0.67/0.75	c Coefficients are big enough for not using lower bounding.
0.67/0.76	c Coefficients are big enough for not using lower bounding.
0.67/0.76	c Coefficients are big enough for not using lower bounding.
0.67/0.76	c Coefficients are big enough for not using lower bounding.
0.67/0.76	c Coefficients are big enough for not using lower bounding.
0.67/0.76	c Coefficients are big enough for not using lower bounding.
0.67/0.76	c Coefficients are big enough for not using lower bounding.
0.67/0.76	c Coefficients are big enough for not using lower bounding.
0.67/0.76	c Coefficients are big enough for not using lower bounding.
0.67/0.76	c Coefficients are big enough for not using lower bounding.
0.67/0.76	c Coefficients are big enough for not using lower bounding.
0.67/0.76	c Coefficients are big enough for not using lower bounding.
0.67/0.76	c Coefficients are big enough for not using lower bounding.
0.67/0.76	c Coefficients are big enough for not using lower bounding.
0.67/0.76	c Coefficients are big enough for not using lower bounding.
0.67/0.76	c Coefficients are big enough for not using lower bounding.
0.67/0.76	c Coefficients are big enough for not using lower bounding.
0.67/0.76	c Coefficients are big enough for not using lower bounding.
0.67/0.76	c Coefficients are big enough for not using lower bounding.
0.67/0.76	c Coefficients are big enough for not using lower bounding.
0.67/0.76	c Coefficients are big enough for not using lower bounding.
0.67/0.76	c Coefficients are big enough for not using lower bounding.
0.67/0.76	c Coefficients are big enough for not using lower bounding.
0.67/0.76	c Coefficients are big enough for not using lower bounding.
0.67/0.76	c Coefficients are big enough for not using lower bounding.
0.67/0.76	c Coefficients are big enough for not using lower bounding.
0.67/0.76	c Coefficients are big enough for not using lower bounding.
0.67/0.76	c Coefficients are big enough for not using lower bounding.
0.67/0.76	c Coefficients are big enough for not using lower bounding.
0.67/0.76	c Coefficients are big enough for not using lower bounding.
0.67/0.76	c Coefficients are big enough for not using lower bounding.
0.67/0.76	c Coefficients are big enough for not using lower bounding.
0.67/0.76	c Coefficients are big enough for not using lower bounding.
0.67/0.76	c Coefficients are big enough for not using lower bounding.
0.67/0.76	c Coefficients are big enough for not using lower bounding.
0.67/0.77	c Coefficients are big enough for not using lower bounding.
0.67/0.77	c Coefficients are big enough for not using lower bounding.
0.67/0.77	c Coefficients are big enough for not using lower bounding.
0.67/0.77	c Coefficients are big enough for not using lower bounding.
0.67/0.77	c Coefficients are big enough for not using lower bounding.
0.67/0.77	c Coefficients are big enough for not using lower bounding.
0.67/0.77	c Coefficients are big enough for not using lower bounding.
0.67/0.77	c Coefficients are big enough for not using lower bounding.
0.67/0.77	c Coefficients are big enough for not using lower bounding.
0.67/0.77	c Coefficients are big enough for not using lower bounding.
0.67/0.77	c Coefficients are big enough for not using lower bounding.
0.67/0.77	c Coefficients are big enough for not using lower bounding.
0.67/0.77	c Coefficients are big enough for not using lower bounding.
0.67/0.77	c Coefficients are big enough for not using lower bounding.
0.67/0.77	c Coefficients are big enough for not using lower bounding.
0.67/0.77	c Coefficients are big enough for not using lower bounding.
0.67/0.77	c Coefficients are big enough for not using lower bounding.
0.67/0.77	c Coefficients are big enough for not using lower bounding.
0.67/0.77	c Coefficients are big enough for not using lower bounding.
0.67/0.77	c Coefficients are big enough for not using lower bounding.
0.67/0.77	c Coefficients are big enough for not using lower bounding.
0.67/0.77	c Coefficients are big enough for not using lower bounding.
0.67/0.77	c Coefficients are big enough for not using lower bounding.
0.67/0.77	c Coefficients are big enough for not using lower bounding.
0.67/0.77	c Coefficients are big enough for not using lower bounding.
0.67/0.77	c Coefficients are big enough for not using lower bounding.
0.67/0.77	c Coefficients are big enough for not using lower bounding.
0.67/0.77	c Coefficients are big enough for not using lower bounding.
0.67/0.77	c Coefficients are big enough for not using lower bounding.
0.67/0.77	c Coefficients are big enough for not using lower bounding.
0.67/0.77	c Coefficients are big enough for not using lower bounding.
0.67/0.77	c Coefficients are big enough for not using lower bounding.
0.67/0.77	c Coefficients are big enough for not using lower bounding.
0.67/0.78	c Coefficients are big enough for not using lower bounding.
0.67/0.78	c Coefficients are big enough for not using lower bounding.
0.67/0.78	c Coefficients are big enough for not using lower bounding.
0.67/0.78	c Coefficients are big enough for not using lower bounding.
0.67/0.78	c Coefficients are big enough for not using lower bounding.
0.67/0.78	c Coefficients are big enough for not using lower bounding.
0.67/0.78	c Coefficients are big enough for not using lower bounding.
0.67/0.78	c Coefficients are big enough for not using lower bounding.
0.67/0.78	c Coefficients are big enough for not using lower bounding.
0.67/0.78	c Coefficients are big enough for not using lower bounding.
0.67/0.78	c Coefficients are big enough for not using lower bounding.
0.67/0.78	c Coefficients are big enough for not using lower bounding.
0.67/0.78	c Coefficients are big enough for not using lower bounding.
0.67/0.78	c Coefficients are big enough for not using lower bounding.
0.67/0.78	c Coefficients are big enough for not using lower bounding.
0.67/0.78	c Coefficients are big enough for not using lower bounding.
0.67/0.78	c Coefficients are big enough for not using lower bounding.
0.67/0.78	c Coefficients are big enough for not using lower bounding.
0.67/0.78	c Coefficients are big enough for not using lower bounding.
0.67/0.78	c Coefficients are big enough for not using lower bounding.
0.67/0.78	c Coefficients are big enough for not using lower bounding.
0.67/0.78	c Coefficients are big enough for not using lower bounding.
0.67/0.78	c Coefficients are big enough for not using lower bounding.
0.67/0.78	c Coefficients are big enough for not using lower bounding.
0.67/0.78	c Coefficients are big enough for not using lower bounding.
0.67/0.78	c Coefficients are big enough for not using lower bounding.
0.67/0.78	c Coefficients are big enough for not using lower bounding.
0.67/0.78	c Coefficients are big enough for not using lower bounding.
0.67/0.78	c Coefficients are big enough for not using lower bounding.
0.67/0.78	c Coefficients are big enough for not using lower bounding.
0.67/0.78	c Coefficients are big enough for not using lower bounding.
0.67/0.78	c Coefficients are big enough for not using lower bounding.
0.67/0.78	c Coefficients are big enough for not using lower bounding.
0.67/0.78	c Coefficients are big enough for not using lower bounding.
0.67/0.79	c Coefficients are big enough for not using lower bounding.
0.67/0.79	c Coefficients are big enough for not using lower bounding.
0.67/0.79	c Coefficients are big enough for not using lower bounding.
0.67/0.79	c Coefficients are big enough for not using lower bounding.
0.67/0.79	c Coefficients are big enough for not using lower bounding.
0.67/0.79	c Coefficients are big enough for not using lower bounding.
0.67/0.79	c Coefficients are big enough for not using lower bounding.
0.67/0.79	c Coefficients are big enough for not using lower bounding.
0.67/0.79	c Coefficients are big enough for not using lower bounding.
0.67/0.79	c Coefficients are big enough for not using lower bounding.
0.67/0.79	c Coefficients are big enough for not using lower bounding.
0.67/0.79	c Coefficients are big enough for not using lower bounding.
0.67/0.79	c Coefficients are big enough for not using lower bounding.
0.67/0.79	c Coefficients are big enough for not using lower bounding.
0.67/0.79	c Coefficients are big enough for not using lower bounding.
0.67/0.79	c Coefficients are big enough for not using lower bounding.
0.67/0.79	c Coefficients are big enough for not using lower bounding.
0.67/0.79	c Coefficients are big enough for not using lower bounding.
0.67/0.79	c Coefficients are big enough for not using lower bounding.
0.67/0.79	c Coefficients are big enough for not using lower bounding.
0.67/0.79	c Coefficients are big enough for not using lower bounding.
0.67/0.79	c Coefficients are big enough for not using lower bounding.
0.67/0.79	c Coefficients are big enough for not using lower bounding.
0.67/0.79	c Coefficients are big enough for not using lower bounding.
0.67/0.79	c Coefficients are big enough for not using lower bounding.
0.67/0.79	c Coefficients are big enough for not using lower bounding.
0.67/0.79	c Coefficients are big enough for not using lower bounding.
0.67/0.79	c Coefficients are big enough for not using lower bounding.
0.67/0.79	c Coefficients are big enough for not using lower bounding.
0.67/0.79	c Coefficients are big enough for not using lower bounding.
0.67/0.79	c Coefficients are big enough for not using lower bounding.
0.67/0.79	c Coefficients are big enough for not using lower bounding.
0.67/0.79	c Coefficients are big enough for not using lower bounding.
0.67/0.79	c Coefficients are big enough for not using lower bounding.
0.67/0.80	c Coefficients are big enough for not using lower bounding.
0.67/0.80	c Coefficients are big enough for not using lower bounding.
0.67/0.80	c Coefficients are big enough for not using lower bounding.
0.67/0.80	c Coefficients are big enough for not using lower bounding.
0.78/0.80	c Coefficients are big enough for not using lower bounding.
0.78/0.80	c Coefficients are big enough for not using lower bounding.
0.78/0.80	c Coefficients are big enough for not using lower bounding.
0.78/0.80	c Coefficients are big enough for not using lower bounding.
0.78/0.80	c Coefficients are big enough for not using lower bounding.
0.78/0.80	c Coefficients are big enough for not using lower bounding.
0.78/0.80	c Coefficients are big enough for not using lower bounding.
0.78/0.80	c Coefficients are big enough for not using lower bounding.
0.78/0.80	c Coefficients are big enough for not using lower bounding.
0.78/0.80	c Coefficients are big enough for not using lower bounding.
0.78/0.80	c Coefficients are big enough for not using lower bounding.
0.78/0.80	c Coefficients are big enough for not using lower bounding.
0.78/0.80	c Coefficients are big enough for not using lower bounding.
0.78/0.80	c Coefficients are big enough for not using lower bounding.
0.78/0.80	c Coefficients are big enough for not using lower bounding.
0.78/0.80	c Coefficients are big enough for not using lower bounding.
0.78/0.80	c Coefficients are big enough for not using lower bounding.
0.78/0.80	c Coefficients are big enough for not using lower bounding.
0.78/0.80	c Coefficients are big enough for not using lower bounding.
0.78/0.80	c Coefficients are big enough for not using lower bounding.
0.78/0.80	c Coefficients are big enough for not using lower bounding.
0.78/0.80	c Coefficients are big enough for not using lower bounding.
0.78/0.80	c Coefficients are big enough for not using lower bounding.
0.78/0.80	c Coefficients are big enough for not using lower bounding.
0.78/0.80	c Coefficients are big enough for not using lower bounding.
0.78/0.80	c Coefficients are big enough for not using lower bounding.
0.78/0.80	c Coefficients are big enough for not using lower bounding.
0.78/0.80	c Coefficients are big enough for not using lower bounding.
0.78/0.80	c Coefficients are big enough for not using lower bounding.
0.78/0.81	c Coefficients are big enough for not using lower bounding.
0.78/0.81	c Coefficients are big enough for not using lower bounding.
0.78/0.81	c Coefficients are big enough for not using lower bounding.
0.78/0.81	c Coefficients are big enough for not using lower bounding.
0.78/0.81	c Coefficients are big enough for not using lower bounding.
0.78/0.81	c Coefficients are big enough for not using lower bounding.
0.78/0.81	c Coefficients are big enough for not using lower bounding.
0.78/0.81	c Coefficients are big enough for not using lower bounding.
0.78/0.81	c Coefficients are big enough for not using lower bounding.
0.78/0.81	c Coefficients are big enough for not using lower bounding.
0.78/0.81	c Coefficients are big enough for not using lower bounding.
0.78/0.81	c Coefficients are big enough for not using lower bounding.
0.78/0.81	c Coefficients are big enough for not using lower bounding.
0.78/0.81	c Coefficients are big enough for not using lower bounding.
0.78/0.81	c Coefficients are big enough for not using lower bounding.
0.78/0.81	c Coefficients are big enough for not using lower bounding.
0.78/0.81	c Coefficients are big enough for not using lower bounding.
0.78/0.81	c Coefficients are big enough for not using lower bounding.
0.78/0.81	c Coefficients are big enough for not using lower bounding.
0.78/0.81	c Coefficients are big enough for not using lower bounding.
0.78/0.81	c Coefficients are big enough for not using lower bounding.
0.78/0.81	c Coefficients are big enough for not using lower bounding.
0.78/0.81	c Coefficients are big enough for not using lower bounding.
0.78/0.81	c Coefficients are big enough for not using lower bounding.
0.78/0.81	c Coefficients are big enough for not using lower bounding.
0.78/0.81	c Coefficients are big enough for not using lower bounding.
0.78/0.81	c Coefficients are big enough for not using lower bounding.
0.78/0.81	c Coefficients are big enough for not using lower bounding.
0.78/0.81	c Coefficients are big enough for not using lower bounding.
0.78/0.81	c Coefficients are big enough for not using lower bounding.
0.78/0.81	c Coefficients are big enough for not using lower bounding.
0.78/0.81	c Coefficients are big enough for not using lower bounding.
0.78/0.82	c Coefficients are big enough for not using lower bounding.
0.78/0.82	c Coefficients are big enough for not using lower bounding.
0.78/0.82	c Coefficients are big enough for not using lower bounding.
0.78/0.82	c Coefficients are big enough for not using lower bounding.
0.78/0.82	c Coefficients are big enough for not using lower bounding.
0.78/0.82	c Coefficients are big enough for not using lower bounding.
0.78/0.82	c Coefficients are big enough for not using lower bounding.
0.78/0.82	c Coefficients are big enough for not using lower bounding.
0.78/0.82	c Coefficients are big enough for not using lower bounding.
0.78/0.82	c Coefficients are big enough for not using lower bounding.
0.78/0.82	c Coefficients are big enough for not using lower bounding.
0.78/0.82	c Coefficients are big enough for not using lower bounding.
0.78/0.82	c Coefficients are big enough for not using lower bounding.
0.78/0.82	c Coefficients are big enough for not using lower bounding.
0.78/0.82	c Coefficients are big enough for not using lower bounding.
0.78/0.82	c Coefficients are big enough for not using lower bounding.
0.78/0.82	c Coefficients are big enough for not using lower bounding.
0.78/0.82	c Coefficients are big enough for not using lower bounding.
0.78/0.82	c Coefficients are big enough for not using lower bounding.
0.78/0.82	c Coefficients are big enough for not using lower bounding.
0.78/0.82	c Coefficients are big enough for not using lower bounding.
0.78/0.82	c Coefficients are big enough for not using lower bounding.
0.78/0.82	c Coefficients are big enough for not using lower bounding.
0.78/0.82	c Coefficients are big enough for not using lower bounding.
0.78/0.82	c Coefficients are big enough for not using lower bounding.
0.78/0.82	c Coefficients are big enough for not using lower bounding.
0.78/0.82	c Coefficients are big enough for not using lower bounding.
0.78/0.82	c Coefficients are big enough for not using lower bounding.
0.78/0.82	c Coefficients are big enough for not using lower bounding.
0.78/0.82	c Coefficients are big enough for not using lower bounding.
0.78/0.82	c Coefficients are big enough for not using lower bounding.
0.78/0.82	c Coefficients are big enough for not using lower bounding.
0.78/0.82	c Coefficients are big enough for not using lower bounding.
0.78/0.83	c Coefficients are big enough for not using lower bounding.
0.78/0.83	c Coefficients are big enough for not using lower bounding.
0.78/0.83	c Coefficients are big enough for not using lower bounding.
0.78/0.83	c Coefficients are big enough for not using lower bounding.
0.78/0.83	c Coefficients are big enough for not using lower bounding.
0.78/0.83	c Coefficients are big enough for not using lower bounding.
0.78/0.83	c Coefficients are big enough for not using lower bounding.
0.78/0.83	c Coefficients are big enough for not using lower bounding.
0.78/0.83	c Coefficients are big enough for not using lower bounding.
0.78/0.83	c Coefficients are big enough for not using lower bounding.
0.78/0.83	c Coefficients are big enough for not using lower bounding.
0.78/0.83	c Coefficients are big enough for not using lower bounding.
0.78/0.83	c Coefficients are big enough for not using lower bounding.
0.78/0.83	c Coefficients are big enough for not using lower bounding.
0.78/0.83	c Coefficients are big enough for not using lower bounding.
0.78/0.83	c Coefficients are big enough for not using lower bounding.
0.78/0.83	c Coefficients are big enough for not using lower bounding.
0.78/0.83	c Coefficients are big enough for not using lower bounding.
0.78/0.83	c Coefficients are big enough for not using lower bounding.
0.78/0.83	c Coefficients are big enough for not using lower bounding.
0.78/0.83	c Coefficients are big enough for not using lower bounding.
0.78/0.83	c Coefficients are big enough for not using lower bounding.
0.78/0.83	c Coefficients are big enough for not using lower bounding.
0.78/0.83	c Coefficients are big enough for not using lower bounding.
0.78/0.83	c Coefficients are big enough for not using lower bounding.
0.78/0.83	c Coefficients are big enough for not using lower bounding.
0.78/0.83	c Coefficients are big enough for not using lower bounding.
0.78/0.83	c Coefficients are big enough for not using lower bounding.
0.78/0.83	c Coefficients are big enough for not using lower bounding.
0.78/0.83	c Coefficients are big enough for not using lower bounding.
0.78/0.83	c Coefficients are big enough for not using lower bounding.
0.78/0.83	c Coefficients are big enough for not using lower bounding.
0.78/0.83	c Coefficients are big enough for not using lower bounding.
0.78/0.83	c Coefficients are big enough for not using lower bounding.
0.78/0.84	c Coefficients are big enough for not using lower bounding.
0.78/0.84	c Coefficients are big enough for not using lower bounding.
0.78/0.84	c Coefficients are big enough for not using lower bounding.
0.78/0.84	c Coefficients are big enough for not using lower bounding.
0.78/0.84	c Coefficients are big enough for not using lower bounding.
0.78/0.84	c Coefficients are big enough for not using lower bounding.
0.78/0.84	c Coefficients are big enough for not using lower bounding.
0.78/0.84	c Coefficients are big enough for not using lower bounding.
0.78/0.84	c Coefficients are big enough for not using lower bounding.
0.78/0.84	c Coefficients are big enough for not using lower bounding.
0.78/0.84	c Coefficients are big enough for not using lower bounding.
0.78/0.84	c Coefficients are big enough for not using lower bounding.
0.78/0.84	c Coefficients are big enough for not using lower bounding.
0.78/0.84	c Coefficients are big enough for not using lower bounding.
0.78/0.84	c Coefficients are big enough for not using lower bounding.
0.78/0.84	c Coefficients are big enough for not using lower bounding.
0.78/0.84	c Coefficients are big enough for not using lower bounding.
0.78/0.84	c Coefficients are big enough for not using lower bounding.
0.78/0.84	c Coefficients are big enough for not using lower bounding.
0.78/0.84	c Coefficients are big enough for not using lower bounding.
0.78/0.84	c Coefficients are big enough for not using lower bounding.
0.78/0.84	c Coefficients are big enough for not using lower bounding.
0.78/0.84	c Coefficients are big enough for not using lower bounding.
0.78/0.84	c Coefficients are big enough for not using lower bounding.
0.78/0.84	c Coefficients are big enough for not using lower bounding.
0.78/0.84	c Coefficients are big enough for not using lower bounding.
0.78/0.84	c Coefficients are big enough for not using lower bounding.
0.78/0.84	c Coefficients are big enough for not using lower bounding.
0.78/0.84	c Coefficients are big enough for not using lower bounding.
0.78/0.84	c Coefficients are big enough for not using lower bounding.
0.78/0.84	c Coefficients are big enough for not using lower bounding.
0.78/0.84	c Coefficients are big enough for not using lower bounding.
0.78/0.84	c Coefficients are big enough for not using lower bounding.
0.78/0.84	c Coefficients are big enough for not using lower bounding.
0.78/0.84	c Coefficients are big enough for not using lower bounding.
0.78/0.85	c Coefficients are big enough for not using lower bounding.
0.78/0.85	c Coefficients are big enough for not using lower bounding.
0.78/0.85	c Coefficients are big enough for not using lower bounding.
0.78/0.85	c Coefficients are big enough for not using lower bounding.
0.78/0.85	c Coefficients are big enough for not using lower bounding.
0.78/0.85	c Coefficients are big enough for not using lower bounding.
0.78/0.85	c Coefficients are big enough for not using lower bounding.
0.78/0.85	c Coefficients are big enough for not using lower bounding.
0.78/0.85	c Coefficients are big enough for not using lower bounding.
0.78/0.85	c Coefficients are big enough for not using lower bounding.
0.78/0.85	c Coefficients are big enough for not using lower bounding.
0.78/0.85	c Coefficients are big enough for not using lower bounding.
0.78/0.85	c Coefficients are big enough for not using lower bounding.
0.78/0.85	c Highest Coefficient sum: 2.60296e+17
0.78/0.85	c Parsing was ok!!
0.78/0.85	c Total parsing time: 0.836 s
0.78/0.89	c Var: 107520 Constr: 4560 0/0/4560 Lit: 438520 Watch. Lit: 64453
0.78/0.89	c Obj. Vars: 41280 (38.3929 % of total variables)
3.27/3.31	c Pre-processing Time: 3.285 s
1800.04/1800.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.04/1800.70	c        0  73244     4560   436055   95   359763  872110      0      0 3.29
1800.04/1800.70	c      101  73244     4661   440439   94   367207  959322    101     29 3.41
1800.04/1800.70	c      251  73244     4811   443941   92   367439  500000    251     72 3.44
1800.04/1800.70	c      476  73244     5036   457041   90   368024  550001    476    126 3.77
1800.04/1800.70	c      815  73244     5375   484857   90   368619  605002    815    201 4.04
1800.04/1800.70	c     1324  73244     5884   520838   88   369461  665503   1324    298 4.44
1800.04/1800.70	c     2088  73244     6648   564374   84   371042  732054   2088    428 4.88
1800.04/1800.70	c     3235  73244     7795   637337   81   378189  805260   3235    589 5.49
1800.04/1800.70	c     4956  73244     9516   827600   86   381623  885787   4956    765 6.47
1800.04/1800.70	c     7540  73244    12100  1026920   84   386704  974366   7540   1030 7.32
1800.04/1800.70	c    11419  73244    15979  1267356   79   394386  500000  11419   1168 9.77
1800.04/1800.70	c    17241  73244    21801  2247360  103   406121  550001  17241   1342 12.84
1800.04/1800.70	c    25978  73244    30538  2756105   90   425357  605002  25978   1474 17.62
1800.04/1800.70	c    39088  73244    43648  4099173   93   451699  665503  39088   1619 24.13
1800.04/1800.70	c    58758  73244    63318  5497240   86   491040  732054  58758   1359 43.23
1800.04/1800.70	c    88269  73244    92829 13400634  144   552200  805260  88269    876 100.74
1800.04/1800.70	c   132539  73244   137099 20787301  151   641054  885787 132539    934 141.87
1800.04/1800.70	c   198950  73244   203510 28672718  140   772083  974366 198950    964 206.29
1800.04/1800.70	c   298570  73244   303130 39183219  129   968935  500000 298570    710 420.10
1800.04/1800.70	c   448006  73241   452566 49273588  108  1267147  550001 448006    370 1210.22
1800.04/1800.70	c Caught signal: 15
1800.04/1800.70	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.04/1800.70	c   19   588576  39740  3606685   433622 48398380 429062    326 1800.05
1800.04/1800.70	s UNKNOWN
1800.04/1800.70	c Total time: 1800.05 s

ERROR: no interpretation found !

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node66/watcher-349539-1176707043 -o ROOT/results/node66/solver-349539-1176707043 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349539-1176707043/instance-349539-1176707043.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: 1.03 1.05 1.03 3/64 32233
/proc/meminfo: memFree=1805616/2055920 swapFree=4184568/4192956
[pid=32233] ppid=32231 vsize=24424 CPUtime=0
/proc/32233/stat : 32233 (bsolo3.0.16) R 32231 32233 31910 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 146693879 25010176 332 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10274427 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32233/statm: 6106 332 280 324 0 3956 0

[startup+0.094933 s]
/proc/loadavg: 1.03 1.05 1.03 3/64 32233
/proc/meminfo: memFree=1805616/2055920 swapFree=4184568/4192956
[pid=32233] ppid=32231 vsize=20064 CPUtime=0.08
/proc/32233/stat : 32233 (bsolo3.0.16) R 32231 32233 31910 0 -1 4194304 1399 0 0 0 8 0 0 0 18 0 1 0 146693879 20545536 1248 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134529483 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32233/statm: 5016 1254 462 324 0 2866 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 20064

[startup+0.101933 s]
/proc/loadavg: 1.03 1.05 1.03 3/64 32233
/proc/meminfo: memFree=1805616/2055920 swapFree=4184568/4192956
[pid=32233] ppid=32231 vsize=20524 CPUtime=0.08
/proc/32233/stat : 32233 (bsolo3.0.16) R 32231 32233 31910 0 -1 4194304 1579 0 0 0 8 0 0 0 18 0 1 0 146693879 21016576 1428 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32233/statm: 5131 1428 470 324 0 2981 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 20524

[startup+0.301981 s]
/proc/loadavg: 1.03 1.05 1.03 3/64 32233
/proc/meminfo: memFree=1805616/2055920 swapFree=4184568/4192956
[pid=32233] ppid=32231 vsize=17268 CPUtime=0.28
/proc/32233/stat : 32233 (bsolo3.0.16) R 32231 32233 31910 0 -1 4194304 3130 0 0 0 26 2 0 0 19 0 1 0 146693879 17682432 2773 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10305151 0 0 4096 16384 0 0 0 17 0 0 0
/proc/32233/statm: 4317 2773 742 324 0 2167 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 17268

[startup+0.701059 s]
/proc/loadavg: 1.03 1.05 1.03 3/64 32233
/proc/meminfo: memFree=1805616/2055920 swapFree=4184568/4192956
[pid=32233] ppid=32231 vsize=21364 CPUtime=0.67
/proc/32233/stat : 32233 (bsolo3.0.16) R 32231 32233 31910 0 -1 4194304 4829 0 0 0 64 3 0 0 23 0 1 0 146693879 21876736 4375 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10161877 0 0 4096 16384 0 0 0 17 0 0 0
/proc/32233/statm: 5341 4375 1298 324 0 3191 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 21364

[startup+1.50122 s]
/proc/loadavg: 1.03 1.05 1.03 2/65 32234
/proc/meminfo: memFree=1777064/2055920 swapFree=4184568/4192956
[pid=32233] ppid=32231 vsize=35968 CPUtime=1.47
/proc/32233/stat : 32233 (bsolo3.0.16) R 32231 32233 31910 0 -1 4194304 9698 0 0 0 139 8 0 0 25 0 1 0 146693879 36831232 7944 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134568374 0 0 4096 16384 0 0 0 17 0 0 0
/proc/32233/statm: 8992 7944 306 324 0 8061 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 35968

[startup+3.10153 s]
/proc/loadavg: 1.03 1.05 1.03 2/65 32234
/proc/meminfo: memFree=1774440/2055920 swapFree=4184568/4192956
[pid=32233] ppid=32231 vsize=40960 CPUtime=3.06
/proc/32233/stat : 32233 (bsolo3.0.16) R 32231 32233 31910 0 -1 4194304 12019 0 0 0 292 14 0 0 25 0 1 0 146693879 41943040 9212 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32233/statm: 10240 9212 308 324 0 9309 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 40960

[startup+6.30117 s]
/proc/loadavg: 1.03 1.05 1.03 2/65 32234
/proc/meminfo: memFree=1769584/2055920 swapFree=4184568/4192956
[pid=32233] ppid=32231 vsize=40976 CPUtime=6.26
/proc/32233/stat : 32233 (bsolo3.0.16) R 32231 32233 31910 0 -1 4194304 12045 0 0 0 602 24 0 0 25 0 1 0 146693879 41959424 9238 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32233/statm: 10244 9238 312 324 0 9313 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 40976

[startup+12.7014 s]
/proc/loadavg: 1.02 1.05 1.03 2/65 32234
/proc/meminfo: memFree=1753008/2055920 swapFree=4184568/4192956
[pid=32233] ppid=32231 vsize=60728 CPUtime=12.66
/proc/32233/stat : 32233 (bsolo3.0.16) R 32231 32233 31910 0 -1 4194304 16961 0 0 0 1233 33 0 0 25 0 1 0 146693879 62185472 14154 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10285880 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32233/statm: 15182 14154 312 324 0 14251 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 60728

[startup+25.502 s]
/proc/loadavg: 1.02 1.05 1.03 2/65 32234
/proc/meminfo: memFree=1721072/2055920 swapFree=4184568/4192956
[pid=32233] ppid=32231 vsize=90636 CPUtime=25.46
/proc/32233/stat : 32233 (bsolo3.0.16) R 32231 32233 31910 0 -1 4194304 24467 0 0 0 2493 53 0 0 25 0 1 0 146693879 92811264 21660 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32233/statm: 22659 21660 312 324 0 21728 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 90636

[startup+51.1011 s]
/proc/loadavg: 1.01 1.04 1.02 2/65 32234
/proc/meminfo: memFree=1675952/2055920 swapFree=4184568/4192956
[pid=32233] ppid=32231 vsize=136132 CPUtime=51.05
/proc/32233/stat : 32233 (bsolo3.0.16) R 32231 32233 31910 0 -1 4194304 35837 0 0 0 5040 65 0 0 25 0 1 0 146693879 139399168 33030 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10280677 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32233/statm: 34033 33030 312 324 0 33102 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 136132

[startup+102.305 s]
/proc/loadavg: 1.00 1.03 1.02 2/65 32234
/proc/meminfo: memFree=1595952/2055920 swapFree=4184568/4192956
[pid=32233] ppid=32231 vsize=214496 CPUtime=102.23
/proc/32233/stat : 32233 (bsolo3.0.16) R 32231 32233 31910 0 -1 4194304 55444 0 0 0 10143 80 0 0 25 0 1 0 146693879 219643904 52637 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551869 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32233/statm: 53624 52637 312 324 0 52693 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 214496

[startup+162.301 s]
/proc/loadavg: 1.00 1.02 1.01 2/65 32234
/proc/meminfo: memFree=1465520/2055920 swapFree=4184568/4192956
[pid=32233] ppid=32231 vsize=345236 CPUtime=162.21
/proc/32233/stat : 32233 (bsolo3.0.16) R 32231 32233 31910 0 -1 4194304 88107 0 0 0 16104 117 0 0 25 0 1 0 146693879 353521664 85300 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32233/statm: 86309 85300 312 324 0 85378 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 345236

[startup+222.301 s]
/proc/loadavg: 1.00 1.02 1.01 2/65 32234
/proc/meminfo: memFree=1369392/2055920 swapFree=4184568/4192956
[pid=32233] ppid=32231 vsize=440488 CPUtime=222.18
/proc/32233/stat : 32233 (bsolo3.0.16) R 32231 32233 31910 0 -1 4194304 111942 0 0 0 22018 200 0 0 25 0 1 0 146693879 451059712 109135 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32233/statm: 110122 109135 312 324 0 109191 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 440488

[startup+282.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 32234
/proc/meminfo: memFree=1318576/2055920 swapFree=4184568/4192956
[pid=32233] ppid=32231 vsize=492220 CPUtime=282.17
/proc/32233/stat : 32233 (bsolo3.0.16) R 32231 32233 31910 0 -1 4194304 124875 0 0 0 27991 226 0 0 25 0 1 0 146693879 504033280 122068 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32233/statm: 123055 122068 312 324 0 122124 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 492220

[startup+342.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 32234
/proc/meminfo: memFree=1275824/2055920 swapFree=4184568/4192956
[pid=32233] ppid=32231 vsize=533880 CPUtime=342.15
/proc/32233/stat : 32233 (bsolo3.0.16) R 32231 32233 31910 0 -1 4194304 135295 0 0 0 33974 241 0 0 25 0 1 0 146693879 546693120 132488 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32233/statm: 133470 132488 312 324 0 132539 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 533880

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32234
/proc/meminfo: memFree=1253232/2055920 swapFree=4184568/4192956
[pid=32233] ppid=32231 vsize=556608 CPUtime=402.12
/proc/32233/stat : 32233 (bsolo3.0.16) R 32231 32233 31910 0 -1 4194304 140965 0 0 0 39964 248 0 0 25 0 1 0 146693879 569966592 138158 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551507 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32233/statm: 139152 138158 312 324 0 138221 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 556608

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32234
/proc/meminfo: memFree=1204656/2055920 swapFree=4184568/4192956
[pid=32233] ppid=32231 vsize=604816 CPUtime=462.1
/proc/32233/stat : 32233 (bsolo3.0.16) R 32231 32233 31910 0 -1 4194304 153025 0 0 0 45918 292 0 0 25 0 1 0 146693879 619331584 150218 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32233/statm: 151204 150218 312 324 0 150273 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 604816

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32234
/proc/meminfo: memFree=1190960/2055920 swapFree=4184568/4192956
[pid=32233] ppid=32231 vsize=618760 CPUtime=522.08
/proc/32233/stat : 32233 (bsolo3.0.16) R 32231 32233 31910 0 -1 4194304 156509 0 0 0 51909 299 0 0 25 0 1 0 146693879 633610240 153702 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32233/statm: 154690 153702 312 324 0 153759 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 618760

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32234
/proc/meminfo: memFree=1175024/2055920 swapFree=4184568/4192956
[pid=32233] ppid=32231 vsize=634404 CPUtime=582.05
/proc/32233/stat : 32233 (bsolo3.0.16) R 32231 32233 31910 0 -1 4194304 160422 0 0 0 57900 305 0 0 25 0 1 0 146693879 649629696 157615 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32233/statm: 158601 157615 312 324 0 157670 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 634404

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32234
/proc/meminfo: memFree=1164848/2055920 swapFree=4184568/4192956
[pid=32233] ppid=32231 vsize=644348 CPUtime=642.04
/proc/32233/stat : 32233 (bsolo3.0.16) R 32231 32233 31910 0 -1 4194304 162933 0 0 0 63894 310 0 0 25 0 1 0 146693879 659812352 160126 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32233/statm: 161087 160126 312 324 0 160156 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 644348


################
# More data... #
################

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32234
/proc/meminfo: memFree=1138480/2055920 swapFree=4184568/4192956
[pid=32233] ppid=32231 vsize=670852 CPUtime=881.95
/proc/32233/stat : 32233 (bsolo3.0.16) R 32231 32233 31910 0 -1 4194304 169530 0 0 0 87870 325 0 0 25 0 1 0 146693879 686952448 166723 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32233/statm: 167713 166723 312 324 0 166782 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 670852

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32234
/proc/meminfo: memFree=1133040/2055920 swapFree=4184568/4192956
[pid=32233] ppid=32231 vsize=676256 CPUtime=941.94
/proc/32233/stat : 32233 (bsolo3.0.16) R 32231 32233 31910 0 -1 4194304 170888 0 0 0 93867 327 0 0 25 0 1 0 146693879 692486144 168081 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10274427 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32233/statm: 169064 168081 312 324 0 168133 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 676256

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32234
/proc/meminfo: memFree=1127152/2055920 swapFree=4184568/4192956
[pid=32233] ppid=32231 vsize=682084 CPUtime=1001.91
/proc/32233/stat : 32233 (bsolo3.0.16) R 32231 32233 31910 0 -1 4194304 172341 0 0 0 99861 330 0 0 25 0 1 0 146693879 698454016 169534 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32233/statm: 170521 169534 312 324 0 169590 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 682084

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32234
/proc/meminfo: memFree=1121712/2055920 swapFree=4184568/4192956
[pid=32233] ppid=32231 vsize=687512 CPUtime=1061.89
/proc/32233/stat : 32233 (bsolo3.0.16) R 32231 32233 31910 0 -1 4194304 173707 0 0 0 105856 333 0 0 25 0 1 0 146693879 704012288 170900 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551838 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32233/statm: 171878 170900 312 324 0 170947 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 687512

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32234
/proc/meminfo: memFree=1116080/2055920 swapFree=4184568/4192956
[pid=32233] ppid=32231 vsize=693076 CPUtime=1121.87
/proc/32233/stat : 32233 (bsolo3.0.16) R 32231 32233 31910 0 -1 4194304 175099 0 0 0 111852 335 0 0 25 0 1 0 146693879 709709824 172292 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32233/statm: 173269 172292 312 324 0 172338 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 693076

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32234
/proc/meminfo: memFree=1105072/2055920 swapFree=4184568/4192956
[pid=32233] ppid=32231 vsize=704312 CPUtime=1181.85
/proc/32233/stat : 32233 (bsolo3.0.16) R 32231 32233 31910 0 -1 4194304 177909 0 0 0 117844 341 0 0 25 0 1 0 146693879 721215488 175102 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32233/statm: 176078 175102 312 324 0 175147 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 704312

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32234
/proc/meminfo: memFree=1080560/2055920 swapFree=4184568/4192956
[pid=32233] ppid=32231 vsize=728720 CPUtime=1241.83
/proc/32233/stat : 32233 (bsolo3.0.16) R 32231 32233 31910 0 -1 4194304 184021 0 0 0 123814 369 0 0 25 0 1 0 146693879 746209280 181214 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32233/statm: 182180 181214 312 324 0 181249 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 728720

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32234
/proc/meminfo: memFree=1064048/2055920 swapFree=4184568/4192956
[pid=32233] ppid=32231 vsize=744920 CPUtime=1301.82
/proc/32233/stat : 32233 (bsolo3.0.16) R 32231 32233 31910 0 -1 4194304 188071 0 0 0 129803 379 0 0 25 0 1 0 146693879 762798080 185264 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32233/statm: 186230 185264 312 324 0 185299 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 744920

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32234
/proc/meminfo: memFree=1057008/2055920 swapFree=4184568/4192956
[pid=32233] ppid=32231 vsize=752072 CPUtime=1361.79
/proc/32233/stat : 32233 (bsolo3.0.16) R 32231 32233 31910 0 -1 4194304 189840 0 0 0 135795 384 0 0 25 0 1 0 146693879 770121728 187033 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32233/statm: 188018 187033 312 324 0 187087 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 752072

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32234
/proc/meminfo: memFree=1025008/2055920 swapFree=4184568/4192956
[pid=32233] ppid=32231 vsize=784016 CPUtime=1421.76
/proc/32233/stat : 32233 (bsolo3.0.16) R 32231 32233 31910 0 -1 4194304 197836 0 0 0 141777 399 0 0 25 0 1 0 146693879 802832384 195029 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10274427 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32233/statm: 196004 195029 312 324 0 195073 0
Current children cumulated CPU time (s) 1421.76
Current children cumulated vsize (KiB) 784016

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32234
/proc/meminfo: memFree=989680/2055920 swapFree=4184568/4192956
[pid=32233] ppid=32231 vsize=819428 CPUtime=1481.75
/proc/32233/stat : 32233 (bsolo3.0.16) R 32231 32233 31910 0 -1 4194304 206687 0 0 0 147763 412 0 0 25 0 1 0 146693879 839094272 203880 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32233/statm: 204857 203880 312 324 0 203926 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 819428

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32234
/proc/meminfo: memFree=968880/2055920 swapFree=4184568/4192956
[pid=32233] ppid=32231 vsize=839996 CPUtime=1541.73
/proc/32233/stat : 32233 (bsolo3.0.16) R 32231 32233 31910 0 -1 4194304 211847 0 0 0 153752 421 0 0 25 0 1 0 146693879 860155904 209040 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32233/statm: 209999 209040 312 324 0 209068 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 839996

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32234
/proc/meminfo: memFree=945904/2055920 swapFree=4184568/4192956
[pid=32233] ppid=32231 vsize=862988 CPUtime=1601.7
/proc/32233/stat : 32233 (bsolo3.0.16) R 32231 32233 31910 0 -1 4194304 217597 0 0 0 159741 429 0 0 25 0 1 0 146693879 883699712 214790 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10274427 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32233/statm: 215747 214790 312 324 0 214816 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 862988

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32234
/proc/meminfo: memFree=924720/2055920 swapFree=4184568/4192956
[pid=32233] ppid=32231 vsize=883944 CPUtime=1661.68
/proc/32233/stat : 32233 (bsolo3.0.16) R 32231 32233 31910 0 -1 4194304 222831 0 0 0 165734 434 0 0 25 0 1 0 146693879 905158656 220024 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32233/statm: 220986 220024 312 324 0 220055 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 883944

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32234
/proc/meminfo: memFree=919728/2055920 swapFree=4184568/4192956
[pid=32233] ppid=32231 vsize=888720 CPUtime=1721.66
/proc/32233/stat : 32233 (bsolo3.0.16) R 32231 32233 31910 0 -1 4194304 224591 0 0 0 171729 437 0 0 25 0 1 0 146693879 910049280 221209 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32233/statm: 222180 221209 312 324 0 221249 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 888720

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32234
/proc/meminfo: memFree=919728/2055920 swapFree=4184568/4192956
[pid=32233] ppid=32231 vsize=888720 CPUtime=1781.64
/proc/32233/stat : 32233 (bsolo3.0.16) R 32231 32233 31910 0 -1 4194304 224591 0 0 0 177727 437 0 0 25 0 1 0 146693879 910049280 221209 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32233/statm: 222180 221209 312 324 0 221249 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 888720



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32234
/proc/meminfo: memFree=919728/2055920 swapFree=4184568/4192956
[pid=32233] ppid=32231 vsize=888720 CPUtime=1800.04
/proc/32233/stat : 32233 (bsolo3.0.16) R 32231 32233 31910 0 -1 4194304 224591 0 0 0 179567 437 0 0 25 0 1 0 146693879 910049280 221209 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32233/statm: 222180 221209 312 324 0 221249 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 888720

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32234
/proc/meminfo: memFree=919728/2055920 swapFree=4184568/4192956
[pid=32233] ppid=32231 vsize=0 CPUtime=1800.13
/proc/32233/stat : 32233 (bsolo3.0.16) R 32231 32233 31910 0 -1 4194308 224592 0 0 0 179567 446 0 0 25 0 1 0 146693879 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/32233/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.86
CPU time (s): 1800.19
CPU user time (s): 1795.68
CPU system time (s): 4.51131
CPU usage (%): 99.9631
Max. virtual memory (cumulated for all children) (KiB): 891020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.68
system time used= 4.51131
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 224592
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= 2171

runsolver used 1.36379 second user time and 3.63645 second system time

The end

Begin job on node66 on Mon Apr 16 07:04:03 UTC 2007

IDJOB= 349539
IDBENCH= 2504
IDSOLVER= 163
FILE ID= node66/349539-1176707043

PBS_JOBID= 4560064

Free space on /tmp= 66492 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-a1c1s1.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349539-1176707043/instance-349539-1176707043.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node66/watcher-349539-1176707043 -o ROOT/results/node66/solver-349539-1176707043 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349539-1176707043/instance-349539-1176707043.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  daeaeaee67028e931b0f5195f178e9b3

RANDOM SEED= 639253051

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node66.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.281
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.281
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:       1806216 kB
Buffers:         20156 kB
Cached:         151996 kB
SwapCached:       2132 kB
Active:          50148 kB
Inactive:       133264 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1806216 kB
SwapTotal:     4192956 kB
SwapFree:      4184568 kB
Dirty:            9288 kB
Writeback:           0 kB
Mapped:          16712 kB
Slab:            52404 kB
Committed_AS:   728876 kB
PageTables:       1376 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66492 MiB

End job on node66 on Mon Apr 16 07:34:06 UTC 2007