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/349294-1176693501/instance-349294-1176693501.opb
0.00/0.00	c File size is 33059696 bytes.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.02/0.02	c Coefficients are big enough for not using lower bounding.
0.02/0.02	c Coefficients are big enough for not using lower bounding.
0.02/0.03	c Coefficients are big enough for not using lower bounding.
0.02/0.03	c Coefficients are big enough for not using lower bounding.
0.02/0.04	c Coefficients are big enough for not using lower bounding.
0.02/0.04	c Coefficients are big enough for not using lower bounding.
0.02/0.04	c Coefficients are big enough for not using lower bounding.
0.02/0.05	c Coefficients are big enough for not using lower bounding.
0.02/0.05	c Coefficients are big enough for not using lower bounding.
0.02/0.05	c Coefficients are big enough for not using lower bounding.
0.02/0.06	c Coefficients are big enough for not using lower bounding.
0.02/0.06	c Coefficients are big enough for not using lower bounding.
0.02/0.06	c Coefficients are big enough for not using lower bounding.
0.02/0.07	c Coefficients are big enough for not using lower bounding.
0.02/0.07	c Coefficients are big enough for not using lower bounding.
0.02/0.07	c Coefficients are big enough for not using lower bounding.
0.02/0.08	c Coefficients are big enough for not using lower bounding.
0.02/0.08	c Coefficients are big enough for not using lower bounding.
0.02/0.08	c Coefficients are big enough for not using lower bounding.
0.02/0.09	c Coefficients are big enough for not using lower bounding.
0.02/0.09	c Coefficients are big enough for not using lower bounding.
0.02/0.09	c Coefficients are big enough for not using lower bounding.
0.02/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.10	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Coefficients are big enough for not using lower bounding.
0.09/0.13	c Coefficients are big enough for not using lower bounding.
0.09/0.13	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.14	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.15	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.16	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.17	c Coefficients are big enough for not using lower bounding.
0.09/0.18	c Coefficients are big enough for not using lower bounding.
0.09/0.18	c Coefficients are big enough for not using lower bounding.
0.09/0.18	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	c Coefficients are big enough for not using lower bounding.
0.09/0.19	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.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.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.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.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.29/0.30	c Coefficients are big enough for not using lower bounding.
0.29/0.30	c Coefficients are big enough for not using lower bounding.
0.29/0.30	c Coefficients are big enough for not using lower bounding.
0.29/0.31	c Coefficients are big enough for not using lower bounding.
0.29/0.31	c Coefficients are big enough for not using lower bounding.
0.29/0.32	c Coefficients are big enough for not using lower bounding.
0.29/0.32	c Coefficients are big enough for not using lower bounding.
0.29/0.32	c Coefficients are big enough for not using lower bounding.
0.29/0.33	c Coefficients are big enough for not using lower bounding.
0.29/0.33	c Coefficients are big enough for not using lower bounding.
0.29/0.33	c Coefficients are big enough for not using lower bounding.
0.29/0.34	c Coefficients are big enough for not using lower bounding.
0.29/0.34	c Coefficients are big enough for not using lower bounding.
0.29/0.34	c Coefficients are big enough for not using lower bounding.
0.29/0.35	c Coefficients are big enough for not using lower bounding.
0.29/0.35	c Coefficients are big enough for not using lower bounding.
0.29/0.35	c Coefficients are big enough for not using lower bounding.
0.29/0.36	c Coefficients are big enough for not using lower bounding.
0.29/0.36	c Coefficients are big enough for not using lower bounding.
0.29/0.36	c Coefficients are big enough for not using lower bounding.
0.29/0.37	c Coefficients are big enough for not using lower bounding.
0.29/0.37	c Coefficients are big enough for not using lower bounding.
0.29/0.38	c Coefficients are big enough for not using lower bounding.
0.29/0.38	c Coefficients are big enough for not using lower bounding.
0.29/0.38	c Coefficients are big enough for not using lower bounding.
0.29/0.39	c Coefficients are big enough for not using lower bounding.
0.29/0.39	c Coefficients are big enough for not using lower bounding.
0.29/0.39	c Coefficients are big enough for not using lower bounding.
0.39/0.40	c Coefficients are big enough for not using lower bounding.
0.39/0.40	c Coefficients are big enough for not using lower bounding.
0.39/0.40	c Coefficients are big enough for not using lower bounding.
0.39/0.41	c Coefficients are big enough for not using lower bounding.
0.39/0.41	c Coefficients are big enough for not using lower bounding.
0.39/0.41	c Coefficients are big enough for not using lower bounding.
0.39/0.42	c Coefficients are big enough for not using lower bounding.
0.39/0.42	c Coefficients are big enough for not using lower bounding.
0.39/0.42	c Coefficients are big enough for not using lower bounding.
0.39/0.43	c Coefficients are big enough for not using lower bounding.
0.39/0.43	c Coefficients are big enough for not using lower bounding.
0.39/0.43	c Coefficients are big enough for not using lower bounding.
0.39/0.44	c Coefficients are big enough for not using lower bounding.
0.39/0.44	c Coefficients are big enough for not using lower bounding.
0.39/0.45	c Coefficients are big enough for not using lower bounding.
0.39/0.45	c Coefficients are big enough for not using lower bounding.
0.39/0.45	c Coefficients are big enough for not using lower bounding.
0.39/0.46	c Coefficients are big enough for not using lower bounding.
0.39/0.46	c Coefficients are big enough for not using lower bounding.
0.39/0.46	c Coefficients are big enough for not using lower bounding.
0.39/0.47	c Coefficients are big enough for not using lower bounding.
0.39/0.48	c Coefficients are big enough for not using lower bounding.
0.39/0.48	c Coefficients are big enough for not using lower bounding.
0.39/0.49	c Coefficients are big enough for not using lower bounding.
0.39/0.49	c Coefficients are big enough for not using lower bounding.
0.39/0.49	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.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.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.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.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.60	c Coefficients are big enough for not using lower bounding.
0.59/0.60	c Coefficients are big enough for not using lower bounding.
0.59/0.60	c Coefficients are big enough for not using lower bounding.
0.59/0.61	c Coefficients are big enough for not using lower bounding.
0.59/0.61	c Coefficients are big enough for not using lower bounding.
0.59/0.61	c Coefficients are big enough for not using lower bounding.
0.59/0.62	c Coefficients are big enough for not using lower bounding.
0.59/0.62	c Coefficients are big enough for not using lower bounding.
0.59/0.62	c Coefficients are big enough for not using lower bounding.
0.59/0.63	c Coefficients are big enough for not using lower bounding.
0.59/0.63	c Coefficients are big enough for not using lower bounding.
0.59/0.64	c Coefficients are big enough for not using lower bounding.
0.59/0.64	c Coefficients are big enough for not using lower bounding.
0.59/0.64	c Coefficients are big enough for not using lower bounding.
0.59/0.65	c Coefficients are big enough for not using lower bounding.
0.59/0.65	c Coefficients are big enough for not using lower bounding.
0.59/0.65	c Coefficients are big enough for not using lower bounding.
0.59/0.66	c Coefficients are big enough for not using lower bounding.
0.59/0.66	c Coefficients are big enough for not using lower bounding.
0.59/0.67	c Coefficients are big enough for not using lower bounding.
0.59/0.67	c Coefficients are big enough for not using lower bounding.
0.59/0.67	c Coefficients are big enough for not using lower bounding.
0.59/0.68	c Coefficients are big enough for not using lower bounding.
0.59/0.68	c Coefficients are big enough for not using lower bounding.
0.59/0.68	c Coefficients are big enough for not using lower bounding.
0.59/0.69	c Coefficients are big enough for not using lower bounding.
0.59/0.69	c Coefficients are big enough for not using lower bounding.
0.59/0.69	c Coefficients are big enough for not using lower bounding.
0.68/0.70	c Coefficients are big enough for not using lower bounding.
0.68/0.70	c Coefficients are big enough for not using lower bounding.
0.68/0.70	c Coefficients are big enough for not using lower bounding.
0.68/0.71	c Coefficients are big enough for not using lower bounding.
0.68/0.71	c Coefficients are big enough for not using lower bounding.
0.68/0.72	c Coefficients are big enough for not using lower bounding.
0.68/0.72	c Coefficients are big enough for not using lower bounding.
0.68/0.72	c Coefficients are big enough for not using lower bounding.
0.68/0.73	c Coefficients are big enough for not using lower bounding.
0.68/0.73	c Coefficients are big enough for not using lower bounding.
0.68/0.73	c Coefficients are big enough for not using lower bounding.
0.68/0.74	c Coefficients are big enough for not using lower bounding.
0.68/0.74	c Coefficients are big enough for not using lower bounding.
0.68/0.75	c Coefficients are big enough for not using lower bounding.
0.68/0.75	c Coefficients are big enough for not using lower bounding.
0.68/0.75	c Coefficients are big enough for not using lower bounding.
0.68/0.76	c Coefficients are big enough for not using lower bounding.
0.68/0.76	c Coefficients are big enough for not using lower bounding.
0.68/0.76	c Coefficients are big enough for not using lower bounding.
0.68/0.77	c Coefficients are big enough for not using lower bounding.
0.68/0.77	c Coefficients are big enough for not using lower bounding.
0.68/0.77	c Coefficients are big enough for not using lower bounding.
0.68/0.78	c Coefficients are big enough for not using lower bounding.
0.68/0.78	c Coefficients are big enough for not using lower bounding.
0.68/0.78	c Coefficients are big enough for not using lower bounding.
0.68/0.79	c Coefficients are big enough for not using lower bounding.
0.68/0.79	c Coefficients are big enough for not using lower bounding.
0.79/0.80	c Coefficients are big enough for not using lower bounding.
0.79/0.80	c Coefficients are big enough for not using lower bounding.
0.79/0.81	c Coefficients are big enough for not using lower bounding.
0.79/0.81	c Coefficients are big enough for not using lower bounding.
0.79/0.81	c Coefficients are big enough for not using lower bounding.
0.79/0.82	c Coefficients are big enough for not using lower bounding.
0.79/0.82	c Coefficients are big enough for not using lower bounding.
0.79/0.83	c Coefficients are big enough for not using lower bounding.
0.79/0.83	c Coefficients are big enough for not using lower bounding.
0.79/0.83	c Coefficients are big enough for not using lower bounding.
0.79/0.84	c Coefficients are big enough for not using lower bounding.
0.79/0.84	c Coefficients are big enough for not using lower bounding.
0.79/0.84	c Coefficients are big enough for not using lower bounding.
0.79/0.85	c Coefficients are big enough for not using lower bounding.
0.79/0.85	c Coefficients are big enough for not using lower bounding.
0.79/0.85	c Coefficients are big enough for not using lower bounding.
0.79/0.86	c Coefficients are big enough for not using lower bounding.
0.79/0.86	c Coefficients are big enough for not using lower bounding.
0.79/0.87	c Coefficients are big enough for not using lower bounding.
0.79/0.87	c Coefficients are big enough for not using lower bounding.
0.79/0.87	c Coefficients are big enough for not using lower bounding.
0.79/0.88	c Coefficients are big enough for not using lower bounding.
0.79/0.88	c Coefficients are big enough for not using lower bounding.
0.79/0.88	c Coefficients are big enough for not using lower bounding.
0.79/0.89	c Coefficients are big enough for not using lower bounding.
0.79/0.89	c Coefficients are big enough for not using lower bounding.
0.79/0.90	c Coefficients are big enough for not using lower bounding.
0.88/0.90	c Coefficients are big enough for not using lower bounding.
0.88/0.90	c Coefficients are big enough for not using lower bounding.
0.88/0.91	c Coefficients are big enough for not using lower bounding.
0.88/0.91	c Coefficients are big enough for not using lower bounding.
0.88/0.92	c Coefficients are big enough for not using lower bounding.
0.88/0.92	c Coefficients are big enough for not using lower bounding.
0.88/0.92	c Coefficients are big enough for not using lower bounding.
0.88/0.93	c Coefficients are big enough for not using lower bounding.
0.88/0.93	c Coefficients are big enough for not using lower bounding.
0.88/0.93	c Coefficients are big enough for not using lower bounding.
0.88/0.94	c Coefficients are big enough for not using lower bounding.
0.88/0.94	c Coefficients are big enough for not using lower bounding.
0.88/0.94	c Coefficients are big enough for not using lower bounding.
0.88/0.95	c Coefficients are big enough for not using lower bounding.
0.88/0.95	c Coefficients are big enough for not using lower bounding.
0.88/0.96	c Coefficients are big enough for not using lower bounding.
0.88/0.96	c Coefficients are big enough for not using lower bounding.
0.88/0.96	c Coefficients are big enough for not using lower bounding.
0.88/0.97	c Coefficients are big enough for not using lower bounding.
0.88/0.97	c Coefficients are big enough for not using lower bounding.
0.88/0.98	c Coefficients are big enough for not using lower bounding.
0.88/0.98	c Coefficients are big enough for not using lower bounding.
0.88/0.98	c Coefficients are big enough for not using lower bounding.
0.88/0.99	c Coefficients are big enough for not using lower bounding.
0.88/0.99	c Coefficients are big enough for not using lower bounding.
0.88/1.00	c Coefficients are big enough for not using lower bounding.
0.88/1.00	c Coefficients are big enough for not using lower bounding.
0.99/1.00	c Coefficients are big enough for not using lower bounding.
0.99/1.01	c Coefficients are big enough for not using lower bounding.
0.99/1.01	c Coefficients are big enough for not using lower bounding.
0.99/1.02	c Coefficients are big enough for not using lower bounding.
0.99/1.04	c Coefficients are big enough for not using lower bounding.
0.99/1.04	c Coefficients are big enough for not using lower bounding.
0.99/1.04	c Coefficients are big enough for not using lower bounding.
0.99/1.05	c Coefficients are big enough for not using lower bounding.
0.99/1.05	c Coefficients are big enough for not using lower bounding.
0.99/1.06	c Coefficients are big enough for not using lower bounding.
0.99/1.06	c Coefficients are big enough for not using lower bounding.
0.99/1.07	c Coefficients are big enough for not using lower bounding.
0.99/1.07	c Coefficients are big enough for not using lower bounding.
0.99/1.08	c Coefficients are big enough for not using lower bounding.
0.99/1.08	c Coefficients are big enough for not using lower bounding.
0.99/1.09	c Coefficients are big enough for not using lower bounding.
0.99/1.09	c Coefficients are big enough for not using lower bounding.
0.99/1.10	c Coefficients are big enough for not using lower bounding.
1.09/1.10	c Coefficients are big enough for not using lower bounding.
1.09/1.11	c Coefficients are big enough for not using lower bounding.
1.09/1.11	c Coefficients are big enough for not using lower bounding.
1.09/1.11	c Coefficients are big enough for not using lower bounding.
1.09/1.12	c Coefficients are big enough for not using lower bounding.
1.09/1.12	c Coefficients are big enough for not using lower bounding.
1.09/1.13	c Coefficients are big enough for not using lower bounding.
1.09/1.13	c Coefficients are big enough for not using lower bounding.
1.09/1.14	c Coefficients are big enough for not using lower bounding.
1.09/1.14	c Coefficients are big enough for not using lower bounding.
1.09/1.15	c Coefficients are big enough for not using lower bounding.
1.09/1.15	c Coefficients are big enough for not using lower bounding.
1.09/1.15	c Coefficients are big enough for not using lower bounding.
1.09/1.16	c Coefficients are big enough for not using lower bounding.
1.09/1.16	c Coefficients are big enough for not using lower bounding.
1.09/1.17	c Coefficients are big enough for not using lower bounding.
1.09/1.17	c Coefficients are big enough for not using lower bounding.
1.09/1.18	c Coefficients are big enough for not using lower bounding.
1.09/1.18	c Coefficients are big enough for not using lower bounding.
1.09/1.19	c Coefficients are big enough for not using lower bounding.
1.09/1.19	c Coefficients are big enough for not using lower bounding.
1.09/1.19	c Coefficients are big enough for not using lower bounding.
1.18/1.20	c Coefficients are big enough for not using lower bounding.
1.18/1.20	c Coefficients are big enough for not using lower bounding.
1.18/1.21	c Coefficients are big enough for not using lower bounding.
1.18/1.21	c Coefficients are big enough for not using lower bounding.
1.18/1.21	c Coefficients are big enough for not using lower bounding.
1.18/1.22	c Coefficients are big enough for not using lower bounding.
1.18/1.22	c Coefficients are big enough for not using lower bounding.
1.18/1.23	c Coefficients are big enough for not using lower bounding.
1.18/1.23	c Coefficients are big enough for not using lower bounding.
1.18/1.23	c Coefficients are big enough for not using lower bounding.
1.18/1.24	c Coefficients are big enough for not using lower bounding.
1.18/1.24	c Coefficients are big enough for not using lower bounding.
1.18/1.25	c Coefficients are big enough for not using lower bounding.
1.18/1.25	c Coefficients are big enough for not using lower bounding.
1.18/1.25	c Coefficients are big enough for not using lower bounding.
1.18/1.26	c Coefficients are big enough for not using lower bounding.
1.18/1.26	c Coefficients are big enough for not using lower bounding.
1.18/1.26	c Coefficients are big enough for not using lower bounding.
1.18/1.27	c Coefficients are big enough for not using lower bounding.
1.18/1.27	c Coefficients are big enough for not using lower bounding.
1.18/1.28	c Coefficients are big enough for not using lower bounding.
1.18/1.28	c Coefficients are big enough for not using lower bounding.
1.18/1.28	c Coefficients are big enough for not using lower bounding.
1.18/1.29	c Coefficients are big enough for not using lower bounding.
1.18/1.29	c Coefficients are big enough for not using lower bounding.
1.18/1.29	c Coefficients are big enough for not using lower bounding.
1.28/1.30	c Coefficients are big enough for not using lower bounding.
1.28/1.30	c Coefficients are big enough for not using lower bounding.
1.28/1.31	c Coefficients are big enough for not using lower bounding.
1.28/1.31	c Coefficients are big enough for not using lower bounding.
1.28/1.31	c Coefficients are big enough for not using lower bounding.
1.28/1.32	c Coefficients are big enough for not using lower bounding.
1.28/1.32	c Coefficients are big enough for not using lower bounding.
1.28/1.33	c Coefficients are big enough for not using lower bounding.
1.28/1.33	c Coefficients are big enough for not using lower bounding.
1.28/1.33	c Coefficients are big enough for not using lower bounding.
1.28/1.34	c Coefficients are big enough for not using lower bounding.
1.28/1.34	c Coefficients are big enough for not using lower bounding.
1.28/1.34	c Coefficients are big enough for not using lower bounding.
1.28/1.35	c Coefficients are big enough for not using lower bounding.
1.28/1.35	c Coefficients are big enough for not using lower bounding.
1.28/1.35	c Coefficients are big enough for not using lower bounding.
1.28/1.36	c Coefficients are big enough for not using lower bounding.
1.28/1.36	c Coefficients are big enough for not using lower bounding.
1.28/1.37	c Coefficients are big enough for not using lower bounding.
1.28/1.37	c Coefficients are big enough for not using lower bounding.
1.28/1.37	c Coefficients are big enough for not using lower bounding.
1.28/1.38	c Coefficients are big enough for not using lower bounding.
1.28/1.38	c Coefficients are big enough for not using lower bounding.
1.28/1.39	c Coefficients are big enough for not using lower bounding.
1.28/1.39	c Coefficients are big enough for not using lower bounding.
1.28/1.39	c Coefficients are big enough for not using lower bounding.
1.39/1.40	c Coefficients are big enough for not using lower bounding.
1.39/1.40	c Coefficients are big enough for not using lower bounding.
1.39/1.40	c Coefficients are big enough for not using lower bounding.
1.39/1.41	c Coefficients are big enough for not using lower bounding.
1.39/1.41	c Coefficients are big enough for not using lower bounding.
1.39/1.41	c Coefficients are big enough for not using lower bounding.
1.39/1.42	c Coefficients are big enough for not using lower bounding.
1.39/1.42	c Coefficients are big enough for not using lower bounding.
1.39/1.43	c Coefficients are big enough for not using lower bounding.
1.39/1.43	c Coefficients are big enough for not using lower bounding.
1.39/1.43	c Coefficients are big enough for not using lower bounding.
1.39/1.44	c Coefficients are big enough for not using lower bounding.
1.39/1.44	c Coefficients are big enough for not using lower bounding.
1.39/1.44	c Coefficients are big enough for not using lower bounding.
1.39/1.45	c Coefficients are big enough for not using lower bounding.
1.39/1.45	c Coefficients are big enough for not using lower bounding.
1.39/1.46	c Coefficients are big enough for not using lower bounding.
1.39/1.46	c Coefficients are big enough for not using lower bounding.
1.39/1.46	c Coefficients are big enough for not using lower bounding.
1.39/1.47	c Coefficients are big enough for not using lower bounding.
1.39/1.47	c Coefficients are big enough for not using lower bounding.
1.39/1.48	c Coefficients are big enough for not using lower bounding.
1.39/1.48	c Coefficients are big enough for not using lower bounding.
1.39/1.48	c Coefficients are big enough for not using lower bounding.
1.39/1.49	c Coefficients are big enough for not using lower bounding.
1.39/1.49	c Coefficients are big enough for not using lower bounding.
1.39/1.49	c Coefficients are big enough for not using lower bounding.
1.48/1.50	c Coefficients are big enough for not using lower bounding.
1.48/1.50	c Coefficients are big enough for not using lower bounding.
1.48/1.51	c Coefficients are big enough for not using lower bounding.
1.48/1.51	c Coefficients are big enough for not using lower bounding.
1.48/1.51	c Coefficients are big enough for not using lower bounding.
1.48/1.52	c Coefficients are big enough for not using lower bounding.
1.48/1.52	c Coefficients are big enough for not using lower bounding.
1.48/1.52	c Coefficients are big enough for not using lower bounding.
1.48/1.53	c Coefficients are big enough for not using lower bounding.
1.48/1.53	c Coefficients are big enough for not using lower bounding.
1.48/1.54	c Coefficients are big enough for not using lower bounding.
1.48/1.54	c Coefficients are big enough for not using lower bounding.
1.48/1.54	c Coefficients are big enough for not using lower bounding.
1.48/1.55	c Coefficients are big enough for not using lower bounding.
1.48/1.55	c Coefficients are big enough for not using lower bounding.
1.48/1.56	c Coefficients are big enough for not using lower bounding.
1.48/1.56	c Coefficients are big enough for not using lower bounding.
1.48/1.56	c Coefficients are big enough for not using lower bounding.
1.48/1.57	c Coefficients are big enough for not using lower bounding.
1.48/1.57	c Coefficients are big enough for not using lower bounding.
1.48/1.58	c Coefficients are big enough for not using lower bounding.
1.48/1.58	c Coefficients are big enough for not using lower bounding.
1.48/1.58	c Coefficients are big enough for not using lower bounding.
1.48/1.59	c Coefficients are big enough for not using lower bounding.
1.48/1.59	c Coefficients are big enough for not using lower bounding.
1.58/1.60	c Coefficients are big enough for not using lower bounding.
1.58/1.60	c Coefficients are big enough for not using lower bounding.
1.58/1.61	c Coefficients are big enough for not using lower bounding.
1.58/1.61	c Coefficients are big enough for not using lower bounding.
1.58/1.61	c Coefficients are big enough for not using lower bounding.
1.58/1.62	c Coefficients are big enough for not using lower bounding.
1.58/1.62	c Coefficients are big enough for not using lower bounding.
1.58/1.63	c Coefficients are big enough for not using lower bounding.
1.58/1.63	c Coefficients are big enough for not using lower bounding.
1.58/1.64	c Coefficients are big enough for not using lower bounding.
1.58/1.64	c Coefficients are big enough for not using lower bounding.
1.58/1.65	c Coefficients are big enough for not using lower bounding.
1.58/1.65	c Coefficients are big enough for not using lower bounding.
1.58/1.66	c Coefficients are big enough for not using lower bounding.
1.58/1.66	c Coefficients are big enough for not using lower bounding.
1.58/1.66	c Coefficients are big enough for not using lower bounding.
1.58/1.67	c Coefficients are big enough for not using lower bounding.
1.58/1.67	c Coefficients are big enough for not using lower bounding.
1.58/1.68	c Coefficients are big enough for not using lower bounding.
1.58/1.68	c Coefficients are big enough for not using lower bounding.
1.58/1.69	c Coefficients are big enough for not using lower bounding.
1.58/1.69	c Coefficients are big enough for not using lower bounding.
1.58/1.69	c Coefficients are big enough for not using lower bounding.
1.68/1.70	c Coefficients are big enough for not using lower bounding.
1.68/1.70	c Coefficients are big enough for not using lower bounding.
1.68/1.71	c Coefficients are big enough for not using lower bounding.
1.68/1.71	c Coefficients are big enough for not using lower bounding.
1.68/1.72	c Coefficients are big enough for not using lower bounding.
1.68/1.72	c Coefficients are big enough for not using lower bounding.
1.68/1.73	c Coefficients are big enough for not using lower bounding.
1.68/1.73	c Coefficients are big enough for not using lower bounding.
1.68/1.74	c Coefficients are big enough for not using lower bounding.
1.68/1.74	c Coefficients are big enough for not using lower bounding.
1.68/1.75	c Coefficients are big enough for not using lower bounding.
1.68/1.75	c Coefficients are big enough for not using lower bounding.
1.68/1.76	c Coefficients are big enough for not using lower bounding.
1.68/1.76	c Coefficients are big enough for not using lower bounding.
1.68/1.77	c Coefficients are big enough for not using lower bounding.
1.68/1.77	c Coefficients are big enough for not using lower bounding.
1.68/1.78	c Coefficients are big enough for not using lower bounding.
1.68/1.78	c Coefficients are big enough for not using lower bounding.
1.68/1.79	c Coefficients are big enough for not using lower bounding.
1.68/1.79	c Coefficients are big enough for not using lower bounding.
1.78/1.80	c Coefficients are big enough for not using lower bounding.
1.78/1.80	c Coefficients are big enough for not using lower bounding.
1.78/1.81	c Coefficients are big enough for not using lower bounding.
1.78/1.81	c Coefficients are big enough for not using lower bounding.
1.78/1.81	c Coefficients are big enough for not using lower bounding.
1.78/1.82	c Coefficients are big enough for not using lower bounding.
1.78/1.82	c Coefficients are big enough for not using lower bounding.
1.78/1.83	c Coefficients are big enough for not using lower bounding.
1.78/1.83	c Coefficients are big enough for not using lower bounding.
1.78/1.84	c Coefficients are big enough for not using lower bounding.
1.78/1.84	c Coefficients are big enough for not using lower bounding.
1.78/1.85	c Coefficients are big enough for not using lower bounding.
1.78/1.85	c Coefficients are big enough for not using lower bounding.
1.78/1.86	c Coefficients are big enough for not using lower bounding.
1.78/1.86	c Coefficients are big enough for not using lower bounding.
1.78/1.86	c Coefficients are big enough for not using lower bounding.
1.78/1.87	c Coefficients are big enough for not using lower bounding.
1.78/1.87	c Coefficients are big enough for not using lower bounding.
1.78/1.88	c Coefficients are big enough for not using lower bounding.
1.78/1.88	c Coefficients are big enough for not using lower bounding.
1.78/1.89	c Coefficients are big enough for not using lower bounding.
1.78/1.89	c Coefficients are big enough for not using lower bounding.
1.78/1.90	c Coefficients are big enough for not using lower bounding.
1.88/1.90	c Coefficients are big enough for not using lower bounding.
1.88/1.90	c Coefficients are big enough for not using lower bounding.
1.88/1.91	c Coefficients are big enough for not using lower bounding.
1.88/1.91	c Coefficients are big enough for not using lower bounding.
1.88/1.92	c Coefficients are big enough for not using lower bounding.
1.88/1.92	c Coefficients are big enough for not using lower bounding.
1.88/1.92	c Coefficients are big enough for not using lower bounding.
1.88/1.93	c Coefficients are big enough for not using lower bounding.
1.88/1.93	c Coefficients are big enough for not using lower bounding.
1.88/1.94	c Coefficients are big enough for not using lower bounding.
1.88/1.94	c Coefficients are big enough for not using lower bounding.
1.88/1.94	c Coefficients are big enough for not using lower bounding.
1.88/1.95	c Coefficients are big enough for not using lower bounding.
1.88/1.95	c Coefficients are big enough for not using lower bounding.
1.88/1.96	c Coefficients are big enough for not using lower bounding.
1.88/1.96	c Coefficients are big enough for not using lower bounding.
1.88/1.96	c Coefficients are big enough for not using lower bounding.
1.88/1.97	c Coefficients are big enough for not using lower bounding.
1.88/1.97	c Coefficients are big enough for not using lower bounding.
1.88/1.98	c Coefficients are big enough for not using lower bounding.
1.88/1.98	c Coefficients are big enough for not using lower bounding.
1.88/1.98	c Coefficients are big enough for not using lower bounding.
1.88/1.99	c Coefficients are big enough for not using lower bounding.
1.88/1.99	c Coefficients are big enough for not using lower bounding.
1.88/1.99	c Coefficients are big enough for not using lower bounding.
1.98/2.00	c Coefficients are big enough for not using lower bounding.
1.98/2.00	c Coefficients are big enough for not using lower bounding.
1.98/2.00	c Coefficients are big enough for not using lower bounding.
1.98/2.01	c Coefficients are big enough for not using lower bounding.
1.98/2.01	c Coefficients are big enough for not using lower bounding.
1.98/2.02	c Coefficients are big enough for not using lower bounding.
1.98/2.02	c Coefficients are big enough for not using lower bounding.
1.98/2.02	c Coefficients are big enough for not using lower bounding.
1.98/2.03	c Coefficients are big enough for not using lower bounding.
1.98/2.03	c Coefficients are big enough for not using lower bounding.
1.98/2.03	c Coefficients are big enough for not using lower bounding.
1.98/2.04	c Coefficients are big enough for not using lower bounding.
1.98/2.04	c Coefficients are big enough for not using lower bounding.
1.98/2.05	c Coefficients are big enough for not using lower bounding.
1.98/2.05	c Coefficients are big enough for not using lower bounding.
1.98/2.05	c Coefficients are big enough for not using lower bounding.
1.98/2.06	c Coefficients are big enough for not using lower bounding.
1.98/2.06	c Coefficients are big enough for not using lower bounding.
1.98/2.06	c Coefficients are big enough for not using lower bounding.
1.98/2.07	c Coefficients are big enough for not using lower bounding.
1.98/2.07	c Coefficients are big enough for not using lower bounding.
1.98/2.08	c Coefficients are big enough for not using lower bounding.
1.98/2.08	c Coefficients are big enough for not using lower bounding.
1.98/2.08	c Coefficients are big enough for not using lower bounding.
1.98/2.09	c Coefficients are big enough for not using lower bounding.
1.98/2.09	c Coefficients are big enough for not using lower bounding.
1.98/2.09	c Coefficients are big enough for not using lower bounding.
1.98/2.10	c Coefficients are big enough for not using lower bounding.
2.08/2.10	c Coefficients are big enough for not using lower bounding.
2.08/2.11	c Coefficients are big enough for not using lower bounding.
2.08/2.11	c Coefficients are big enough for not using lower bounding.
2.08/2.11	c Coefficients are big enough for not using lower bounding.
2.08/2.12	c Coefficients are big enough for not using lower bounding.
2.08/2.12	c Coefficients are big enough for not using lower bounding.
2.08/2.12	c Coefficients are big enough for not using lower bounding.
2.08/2.13	c Coefficients are big enough for not using lower bounding.
2.08/2.13	c Coefficients are big enough for not using lower bounding.
2.08/2.14	c Coefficients are big enough for not using lower bounding.
2.08/2.14	c Coefficients are big enough for not using lower bounding.
2.08/2.14	c Coefficients are big enough for not using lower bounding.
2.08/2.15	c Coefficients are big enough for not using lower bounding.
2.08/2.15	c Coefficients are big enough for not using lower bounding.
2.08/2.15	c Coefficients are big enough for not using lower bounding.
2.08/2.16	c Coefficients are big enough for not using lower bounding.
2.08/2.16	c Coefficients are big enough for not using lower bounding.
2.08/2.16	c Coefficients are big enough for not using lower bounding.
2.08/2.16	c Coefficients are big enough for not using lower bounding.
2.08/2.16	c Coefficients are big enough for not using lower bounding.
2.08/2.16	c Coefficients are big enough for not using lower bounding.
2.08/2.16	c Coefficients are big enough for not using lower bounding.
2.08/2.16	c Coefficients are big enough for not using lower bounding.
2.08/2.16	c Coefficients are big enough for not using lower bounding.
2.08/2.16	c Coefficients are big enough for not using lower bounding.
2.08/2.16	c Coefficients are big enough for not using lower bounding.
2.08/2.16	c Coefficients are big enough for not using lower bounding.
2.08/2.16	c Coefficients are big enough for not using lower bounding.
2.08/2.16	c Coefficients are big enough for not using lower bounding.
2.08/2.16	c Coefficients are big enough for not using lower bounding.
2.08/2.16	c Coefficients are big enough for not using lower bounding.
2.08/2.16	c Coefficients are big enough for not using lower bounding.
2.08/2.16	c Coefficients are big enough for not using lower bounding.
2.08/2.16	c Coefficients are big enough for not using lower bounding.
2.08/2.16	c Coefficients are big enough for not using lower bounding.
2.08/2.16	c Coefficients are big enough for not using lower bounding.
2.08/2.16	c Coefficients are big enough for not using lower bounding.
2.08/2.16	c Coefficients are big enough for not using lower bounding.
2.08/2.16	c Coefficients are big enough for not using lower bounding.
2.08/2.16	c Coefficients are big enough for not using lower bounding.
2.08/2.16	c Coefficients are big enough for not using lower bounding.
2.08/2.16	c Coefficients are big enough for not using lower bounding.
2.08/2.16	c Coefficients are big enough for not using lower bounding.
2.08/2.16	c Coefficients are big enough for not using lower bounding.
2.08/2.16	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.17	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.18	c Coefficients are big enough for not using lower bounding.
2.08/2.19	c Coefficients are big enough for not using lower bounding.
2.08/2.19	c Coefficients are big enough for not using lower bounding.
2.08/2.19	c Coefficients are big enough for not using lower bounding.
2.08/2.19	c Coefficients are big enough for not using lower bounding.
2.08/2.19	c Coefficients are big enough for not using lower bounding.
2.08/2.19	c Coefficients are big enough for not using lower bounding.
2.08/2.19	c Coefficients are big enough for not using lower bounding.
2.08/2.19	c Coefficients are big enough for not using lower bounding.
2.08/2.19	c Coefficients are big enough for not using lower bounding.
2.08/2.19	c Coefficients are big enough for not using lower bounding.
2.08/2.19	c Coefficients are big enough for not using lower bounding.
2.08/2.19	c Coefficients are big enough for not using lower bounding.
2.08/2.19	c Coefficients are big enough for not using lower bounding.
2.08/2.19	c Coefficients are big enough for not using lower bounding.
2.08/2.19	c Coefficients are big enough for not using lower bounding.
2.08/2.19	c Coefficients are big enough for not using lower bounding.
2.08/2.19	c Coefficients are big enough for not using lower bounding.
2.08/2.19	c Coefficients are big enough for not using lower bounding.
2.08/2.19	c Coefficients are big enough for not using lower bounding.
2.08/2.19	c Coefficients are big enough for not using lower bounding.
2.08/2.19	c Coefficients are big enough for not using lower bounding.
2.08/2.19	c Coefficients are big enough for not using lower bounding.
2.08/2.19	c Coefficients are big enough for not using lower bounding.
2.08/2.19	c Coefficients are big enough for not using lower bounding.
2.08/2.19	c Coefficients are big enough for not using lower bounding.
2.08/2.19	c Coefficients are big enough for not using lower bounding.
2.08/2.19	c Coefficients are big enough for not using lower bounding.
2.08/2.19	c Coefficients are big enough for not using lower bounding.
2.08/2.19	c Coefficients are big enough for not using lower bounding.
2.08/2.19	c Coefficients are big enough for not using lower bounding.
2.08/2.19	c Coefficients are big enough for not using lower bounding.
2.08/2.19	c Coefficients are big enough for not using lower bounding.
2.08/2.19	c Coefficients are big enough for not using lower bounding.
2.08/2.19	c Coefficients are big enough for not using lower bounding.
2.08/2.19	c Coefficients are big enough for not using lower bounding.
2.08/2.19	c Coefficients are big enough for not using lower bounding.
2.08/2.19	c Coefficients are big enough for not using lower bounding.
2.08/2.19	c Coefficients are big enough for not using lower bounding.
2.08/2.19	c Coefficients are big enough for not using lower bounding.
2.08/2.19	c Coefficients are big enough for not using lower bounding.
2.08/2.19	c Coefficients are big enough for not using lower bounding.
2.08/2.19	c Coefficients are big enough for not using lower bounding.
2.08/2.19	c Coefficients are big enough for not using lower bounding.
2.08/2.19	c Coefficients are big enough for not using lower bounding.
2.08/2.19	c Coefficients are big enough for not using lower bounding.
2.08/2.19	c Coefficients are big enough for not using lower bounding.
2.08/2.19	c Coefficients are big enough for not using lower bounding.
2.08/2.19	c Coefficients are big enough for not using lower bounding.
2.18/2.23	c Coefficients are big enough for not using lower bounding.
2.18/2.23	c Coefficients are big enough for not using lower bounding.
2.18/2.23	c Coefficients are big enough for not using lower bounding.
2.18/2.23	c Coefficients are big enough for not using lower bounding.
2.18/2.23	c Coefficients are big enough for not using lower bounding.
2.18/2.23	c Coefficients are big enough for not using lower bounding.
2.18/2.23	c Coefficients are big enough for not using lower bounding.
2.18/2.23	c Coefficients are big enough for not using lower bounding.
2.18/2.23	c Coefficients are big enough for not using lower bounding.
2.18/2.23	c Coefficients are big enough for not using lower bounding.
2.18/2.23	c Coefficients are big enough for not using lower bounding.
2.18/2.23	c Coefficients are big enough for not using lower bounding.
2.18/2.23	c Coefficients are big enough for not using lower bounding.
2.18/2.23	c Coefficients are big enough for not using lower bounding.
2.18/2.23	c Coefficients are big enough for not using lower bounding.
2.18/2.23	c Coefficients are big enough for not using lower bounding.
2.18/2.23	c Coefficients are big enough for not using lower bounding.
2.18/2.23	c Coefficients are big enough for not using lower bounding.
2.18/2.23	c Coefficients are big enough for not using lower bounding.
2.18/2.23	c Coefficients are big enough for not using lower bounding.
2.18/2.23	c Coefficients are big enough for not using lower bounding.
2.18/2.23	c Coefficients are big enough for not using lower bounding.
2.18/2.23	c Coefficients are big enough for not using lower bounding.
2.18/2.23	c Coefficients are big enough for not using lower bounding.
2.18/2.23	c Coefficients are big enough for not using lower bounding.
2.18/2.23	c Coefficients are big enough for not using lower bounding.
2.18/2.23	c Coefficients are big enough for not using lower bounding.
2.18/2.23	c Coefficients are big enough for not using lower bounding.
2.18/2.23	c Coefficients are big enough for not using lower bounding.
2.18/2.23	c Coefficients are big enough for not using lower bounding.
2.18/2.23	c Coefficients are big enough for not using lower bounding.
2.18/2.23	c Coefficients are big enough for not using lower bounding.
2.18/2.23	c Coefficients are big enough for not using lower bounding.
2.18/2.23	c Coefficients are big enough for not using lower bounding.
2.18/2.23	c Coefficients are big enough for not using lower bounding.
2.18/2.23	c Coefficients are big enough for not using lower bounding.
2.18/2.23	c Coefficients are big enough for not using lower bounding.
2.18/2.23	c Coefficients are big enough for not using lower bounding.
2.18/2.23	c Coefficients are big enough for not using lower bounding.
2.18/2.23	c Coefficients are big enough for not using lower bounding.
2.18/2.23	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.24	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.25	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.26	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.27	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.28	c Coefficients are big enough for not using lower bounding.
2.18/2.29	c Coefficients are big enough for not using lower bounding.
2.18/2.29	c Coefficients are big enough for not using lower bounding.
2.18/2.29	c Coefficients are big enough for not using lower bounding.
2.18/2.29	c Coefficients are big enough for not using lower bounding.
2.18/2.29	c Coefficients are big enough for not using lower bounding.
2.18/2.29	c Coefficients are big enough for not using lower bounding.
2.18/2.29	c Coefficients are big enough for not using lower bounding.
2.18/2.29	c Coefficients are big enough for not using lower bounding.
2.18/2.29	c Coefficients are big enough for not using lower bounding.
2.18/2.29	c Coefficients are big enough for not using lower bounding.
2.18/2.29	c Coefficients are big enough for not using lower bounding.
2.18/2.29	c Coefficients are big enough for not using lower bounding.
2.18/2.29	c Coefficients are big enough for not using lower bounding.
2.18/2.29	c Coefficients are big enough for not using lower bounding.
2.18/2.29	c Coefficients are big enough for not using lower bounding.
2.18/2.29	c Coefficients are big enough for not using lower bounding.
2.18/2.29	c Coefficients are big enough for not using lower bounding.
2.18/2.29	c Coefficients are big enough for not using lower bounding.
2.18/2.29	c Coefficients are big enough for not using lower bounding.
2.18/2.29	c Coefficients are big enough for not using lower bounding.
2.18/2.29	c Coefficients are big enough for not using lower bounding.
2.18/2.29	c Coefficients are big enough for not using lower bounding.
2.18/2.29	c Coefficients are big enough for not using lower bounding.
2.18/2.29	c Coefficients are big enough for not using lower bounding.
2.18/2.29	c Coefficients are big enough for not using lower bounding.
2.18/2.29	c Coefficients are big enough for not using lower bounding.
2.18/2.29	c Coefficients are big enough for not using lower bounding.
2.18/2.29	c Coefficients are big enough for not using lower bounding.
2.18/2.29	c Coefficients are big enough for not using lower bounding.
2.18/2.29	c Coefficients are big enough for not using lower bounding.
2.18/2.29	c Coefficients are big enough for not using lower bounding.
2.18/2.29	c Coefficients are big enough for not using lower bounding.
2.18/2.29	c Coefficients are big enough for not using lower bounding.
2.18/2.29	c Coefficients are big enough for not using lower bounding.
2.18/2.29	c Coefficients are big enough for not using lower bounding.
2.18/2.29	c Coefficients are big enough for not using lower bounding.
2.18/2.29	c Coefficients are big enough for not using lower bounding.
2.18/2.29	c Coefficients are big enough for not using lower bounding.
2.18/2.29	c Coefficients are big enough for not using lower bounding.
2.18/2.29	c Coefficients are big enough for not using lower bounding.
2.18/2.29	c Coefficients are big enough for not using lower bounding.
2.18/2.29	c Coefficients are big enough for not using lower bounding.
2.18/2.29	c Coefficients are big enough for not using lower bounding.
2.18/2.29	c Coefficients are big enough for not using lower bounding.
2.18/2.30	c Coefficients are big enough for not using lower bounding.
2.18/2.30	c Coefficients are big enough for not using lower bounding.
2.18/2.30	c Coefficients are big enough for not using lower bounding.
2.18/2.30	c Coefficients are big enough for not using lower bounding.
2.18/2.30	c Coefficients are big enough for not using lower bounding.
2.18/2.30	c Coefficients are big enough for not using lower bounding.
2.18/2.30	c Coefficients are big enough for not using lower bounding.
2.18/2.30	c Coefficients are big enough for not using lower bounding.
2.26/2.30	c Coefficients are big enough for not using lower bounding.
2.26/2.30	c Coefficients are big enough for not using lower bounding.
2.26/2.30	c Coefficients are big enough for not using lower bounding.
2.26/2.30	c Coefficients are big enough for not using lower bounding.
2.26/2.30	c Coefficients are big enough for not using lower bounding.
2.26/2.30	c Coefficients are big enough for not using lower bounding.
2.26/2.30	c Coefficients are big enough for not using lower bounding.
2.26/2.30	c Coefficients are big enough for not using lower bounding.
2.26/2.30	c Coefficients are big enough for not using lower bounding.
2.26/2.30	c Coefficients are big enough for not using lower bounding.
2.26/2.30	c Coefficients are big enough for not using lower bounding.
2.26/2.30	c Coefficients are big enough for not using lower bounding.
2.26/2.30	c Coefficients are big enough for not using lower bounding.
2.26/2.30	c Coefficients are big enough for not using lower bounding.
2.26/2.30	c Coefficients are big enough for not using lower bounding.
2.26/2.30	c Coefficients are big enough for not using lower bounding.
2.26/2.30	c Coefficients are big enough for not using lower bounding.
2.26/2.30	c Coefficients are big enough for not using lower bounding.
2.26/2.30	c Coefficients are big enough for not using lower bounding.
2.26/2.30	c Coefficients are big enough for not using lower bounding.
2.26/2.30	c Coefficients are big enough for not using lower bounding.
2.26/2.30	c Coefficients are big enough for not using lower bounding.
2.26/2.30	c Coefficients are big enough for not using lower bounding.
2.26/2.30	c Coefficients are big enough for not using lower bounding.
2.26/2.30	c Coefficients are big enough for not using lower bounding.
2.26/2.30	c Coefficients are big enough for not using lower bounding.
2.26/2.30	c Coefficients are big enough for not using lower bounding.
2.26/2.30	c Coefficients are big enough for not using lower bounding.
2.26/2.30	c Coefficients are big enough for not using lower bounding.
2.26/2.30	c Coefficients are big enough for not using lower bounding.
2.26/2.30	c Coefficients are big enough for not using lower bounding.
2.26/2.30	c Coefficients are big enough for not using lower bounding.
2.26/2.30	c Coefficients are big enough for not using lower bounding.
2.26/2.30	c Coefficients are big enough for not using lower bounding.
2.26/2.30	c Coefficients are big enough for not using lower bounding.
2.26/2.30	c Coefficients are big enough for not using lower bounding.
2.26/2.30	c Coefficients are big enough for not using lower bounding.
2.26/2.30	c Coefficients are big enough for not using lower bounding.
2.26/2.30	c Coefficients are big enough for not using lower bounding.
2.26/2.30	c Coefficients are big enough for not using lower bounding.
2.26/2.30	c Coefficients are big enough for not using lower bounding.
2.26/2.30	c Coefficients are big enough for not using lower bounding.
2.26/2.30	c Coefficients are big enough for not using lower bounding.
2.26/2.31	c Coefficients are big enough for not using lower bounding.
2.26/2.31	c Coefficients are big enough for not using lower bounding.
2.26/2.31	c Coefficients are big enough for not using lower bounding.
2.26/2.31	c Coefficients are big enough for not using lower bounding.
2.26/2.31	c Coefficients are big enough for not using lower bounding.
2.26/2.31	c Coefficients are big enough for not using lower bounding.
2.26/2.31	c Coefficients are big enough for not using lower bounding.
2.26/2.31	c Coefficients are big enough for not using lower bounding.
2.26/2.31	c Coefficients are big enough for not using lower bounding.
2.26/2.31	c Coefficients are big enough for not using lower bounding.
2.26/2.31	c Coefficients are big enough for not using lower bounding.
2.26/2.31	c Coefficients are big enough for not using lower bounding.
2.26/2.31	c Coefficients are big enough for not using lower bounding.
2.26/2.31	c Coefficients are big enough for not using lower bounding.
2.26/2.31	c Coefficients are big enough for not using lower bounding.
2.26/2.31	c Coefficients are big enough for not using lower bounding.
2.26/2.31	c Coefficients are big enough for not using lower bounding.
2.26/2.31	c Coefficients are big enough for not using lower bounding.
2.26/2.31	c Coefficients are big enough for not using lower bounding.
2.26/2.31	c Coefficients are big enough for not using lower bounding.
2.26/2.31	c Coefficients are big enough for not using lower bounding.
2.26/2.31	c Coefficients are big enough for not using lower bounding.
2.26/2.31	c Coefficients are big enough for not using lower bounding.
2.26/2.31	c Coefficients are big enough for not using lower bounding.
2.26/2.31	c Coefficients are big enough for not using lower bounding.
2.26/2.31	c Coefficients are big enough for not using lower bounding.
2.26/2.31	c Coefficients are big enough for not using lower bounding.
2.26/2.31	c Coefficients are big enough for not using lower bounding.
2.26/2.31	c Coefficients are big enough for not using lower bounding.
2.26/2.31	c Coefficients are big enough for not using lower bounding.
2.26/2.31	c Coefficients are big enough for not using lower bounding.
2.26/2.31	c Coefficients are big enough for not using lower bounding.
2.26/2.31	c Coefficients are big enough for not using lower bounding.
2.26/2.31	c Coefficients are big enough for not using lower bounding.
2.26/2.31	c Coefficients are big enough for not using lower bounding.
2.26/2.31	c Coefficients are big enough for not using lower bounding.
2.26/2.31	c Coefficients are big enough for not using lower bounding.
2.26/2.31	c Coefficients are big enough for not using lower bounding.
2.26/2.31	c Coefficients are big enough for not using lower bounding.
2.26/2.31	c Coefficients are big enough for not using lower bounding.
2.26/2.31	c Coefficients are big enough for not using lower bounding.
2.26/2.31	c Coefficients are big enough for not using lower bounding.
2.26/2.31	c Coefficients are big enough for not using lower bounding.
2.26/2.31	c Coefficients are big enough for not using lower bounding.
2.26/2.31	c Coefficients are big enough for not using lower bounding.
2.26/2.31	c Coefficients are big enough for not using lower bounding.
2.26/2.31	c Coefficients are big enough for not using lower bounding.
2.26/2.31	c Coefficients are big enough for not using lower bounding.
2.26/2.32	c Coefficients are big enough for not using lower bounding.
2.26/2.32	c Coefficients are big enough for not using lower bounding.
2.26/2.32	c Coefficients are big enough for not using lower bounding.
2.26/2.32	c Coefficients are big enough for not using lower bounding.
2.26/2.32	c Coefficients are big enough for not using lower bounding.
2.26/2.32	c Coefficients are big enough for not using lower bounding.
2.26/2.32	c Coefficients are big enough for not using lower bounding.
2.26/2.32	c Coefficients are big enough for not using lower bounding.
2.26/2.32	c Coefficients are big enough for not using lower bounding.
2.26/2.32	c Coefficients are big enough for not using lower bounding.
2.26/2.32	c Coefficients are big enough for not using lower bounding.
2.26/2.32	c Coefficients are big enough for not using lower bounding.
2.26/2.32	c Coefficients are big enough for not using lower bounding.
2.26/2.32	c Coefficients are big enough for not using lower bounding.
2.26/2.32	c Coefficients are big enough for not using lower bounding.
2.26/2.32	c Coefficients are big enough for not using lower bounding.
2.26/2.32	c Coefficients are big enough for not using lower bounding.
2.26/2.32	c Coefficients are big enough for not using lower bounding.
2.26/2.32	c Coefficients are big enough for not using lower bounding.
2.26/2.32	c Coefficients are big enough for not using lower bounding.
2.26/2.32	c Coefficients are big enough for not using lower bounding.
2.26/2.32	c Coefficients are big enough for not using lower bounding.
2.26/2.32	c Coefficients are big enough for not using lower bounding.
2.26/2.32	c Coefficients are big enough for not using lower bounding.
2.26/2.32	c Coefficients are big enough for not using lower bounding.
2.26/2.32	c Coefficients are big enough for not using lower bounding.
2.26/2.32	c Coefficients are big enough for not using lower bounding.
2.26/2.32	c Coefficients are big enough for not using lower bounding.
2.26/2.32	c Coefficients are big enough for not using lower bounding.
2.26/2.32	c Coefficients are big enough for not using lower bounding.
2.26/2.32	c Coefficients are big enough for not using lower bounding.
2.26/2.32	c Coefficients are big enough for not using lower bounding.
2.26/2.32	c Coefficients are big enough for not using lower bounding.
2.26/2.32	c Coefficients are big enough for not using lower bounding.
2.26/2.32	c Coefficients are big enough for not using lower bounding.
2.26/2.32	c Coefficients are big enough for not using lower bounding.
2.26/2.32	c Coefficients are big enough for not using lower bounding.
2.26/2.32	c Coefficients are big enough for not using lower bounding.
2.26/2.32	c Coefficients are big enough for not using lower bounding.
2.26/2.32	c Coefficients are big enough for not using lower bounding.
2.26/2.32	c Coefficients are big enough for not using lower bounding.
2.26/2.32	c Coefficients are big enough for not using lower bounding.
2.26/2.32	c Coefficients are big enough for not using lower bounding.
2.26/2.32	c Coefficients are big enough for not using lower bounding.
2.26/2.32	c Coefficients are big enough for not using lower bounding.
2.26/2.32	c Coefficients are big enough for not using lower bounding.
2.26/2.33	c Coefficients are big enough for not using lower bounding.
2.26/2.33	c Coefficients are big enough for not using lower bounding.
2.26/2.33	c Coefficients are big enough for not using lower bounding.
2.26/2.33	c Coefficients are big enough for not using lower bounding.
2.26/2.33	c Coefficients are big enough for not using lower bounding.
2.26/2.33	c Coefficients are big enough for not using lower bounding.
2.26/2.33	c Coefficients are big enough for not using lower bounding.
2.26/2.33	c Coefficients are big enough for not using lower bounding.
2.26/2.33	c Coefficients are big enough for not using lower bounding.
2.26/2.33	c Coefficients are big enough for not using lower bounding.
2.26/2.33	c Coefficients are big enough for not using lower bounding.
2.26/2.33	c Coefficients are big enough for not using lower bounding.
2.26/2.33	c Coefficients are big enough for not using lower bounding.
2.26/2.33	c Coefficients are big enough for not using lower bounding.
2.26/2.33	c Coefficients are big enough for not using lower bounding.
2.26/2.33	c Coefficients are big enough for not using lower bounding.
2.26/2.33	c Coefficients are big enough for not using lower bounding.
2.26/2.33	c Coefficients are big enough for not using lower bounding.
2.26/2.33	c Coefficients are big enough for not using lower bounding.
2.26/2.33	c Coefficients are big enough for not using lower bounding.
2.26/2.33	c Coefficients are big enough for not using lower bounding.
2.26/2.33	c Coefficients are big enough for not using lower bounding.
2.26/2.33	c Coefficients are big enough for not using lower bounding.
2.26/2.33	c Coefficients are big enough for not using lower bounding.
2.26/2.33	c Coefficients are big enough for not using lower bounding.
2.26/2.33	c Coefficients are big enough for not using lower bounding.
2.26/2.33	c Coefficients are big enough for not using lower bounding.
2.26/2.33	c Coefficients are big enough for not using lower bounding.
2.26/2.33	c Coefficients are big enough for not using lower bounding.
2.26/2.33	c Coefficients are big enough for not using lower bounding.
2.26/2.33	c Coefficients are big enough for not using lower bounding.
2.26/2.33	c Coefficients are big enough for not using lower bounding.
2.26/2.33	c Coefficients are big enough for not using lower bounding.
2.26/2.33	c Coefficients are big enough for not using lower bounding.
2.26/2.33	c Coefficients are big enough for not using lower bounding.
2.26/2.33	c Coefficients are big enough for not using lower bounding.
2.26/2.33	c Coefficients are big enough for not using lower bounding.
2.26/2.33	c Coefficients are big enough for not using lower bounding.
2.26/2.33	c Coefficients are big enough for not using lower bounding.
2.26/2.33	c Coefficients are big enough for not using lower bounding.
2.26/2.33	c Coefficients are big enough for not using lower bounding.
2.26/2.33	c Coefficients are big enough for not using lower bounding.
2.26/2.33	c Coefficients are big enough for not using lower bounding.
2.26/2.33	c Coefficients are big enough for not using lower bounding.
2.26/2.33	c Coefficients are big enough for not using lower bounding.
2.26/2.33	c Coefficients are big enough for not using lower bounding.
2.26/2.33	c Coefficients are big enough for not using lower bounding.
2.26/2.33	c Coefficients are big enough for not using lower bounding.
2.26/2.33	c Coefficients are big enough for not using lower bounding.
2.26/2.33	c Coefficients are big enough for not using lower bounding.
2.26/2.34	c Coefficients are big enough for not using lower bounding.
2.26/2.34	c Coefficients are big enough for not using lower bounding.
2.26/2.34	c Coefficients are big enough for not using lower bounding.
2.26/2.34	c Coefficients are big enough for not using lower bounding.
2.26/2.34	c Coefficients are big enough for not using lower bounding.
2.26/2.34	c Coefficients are big enough for not using lower bounding.
2.26/2.34	c Coefficients are big enough for not using lower bounding.
2.26/2.34	c Coefficients are big enough for not using lower bounding.
2.26/2.34	c Coefficients are big enough for not using lower bounding.
2.26/2.34	c Coefficients are big enough for not using lower bounding.
2.26/2.34	c Coefficients are big enough for not using lower bounding.
2.26/2.34	c Coefficients are big enough for not using lower bounding.
2.26/2.34	c Coefficients are big enough for not using lower bounding.
2.26/2.34	c Coefficients are big enough for not using lower bounding.
2.26/2.34	c Coefficients are big enough for not using lower bounding.
2.26/2.34	c Coefficients are big enough for not using lower bounding.
2.26/2.34	c Coefficients are big enough for not using lower bounding.
2.26/2.34	c Coefficients are big enough for not using lower bounding.
2.26/2.34	c Coefficients are big enough for not using lower bounding.
2.26/2.34	c Coefficients are big enough for not using lower bounding.
2.26/2.34	c Coefficients are big enough for not using lower bounding.
2.26/2.34	c Coefficients are big enough for not using lower bounding.
2.26/2.34	c Coefficients are big enough for not using lower bounding.
2.26/2.34	c Coefficients are big enough for not using lower bounding.
2.26/2.34	c Coefficients are big enough for not using lower bounding.
2.26/2.34	c Coefficients are big enough for not using lower bounding.
2.26/2.34	c Coefficients are big enough for not using lower bounding.
2.26/2.34	c Coefficients are big enough for not using lower bounding.
2.26/2.34	c Coefficients are big enough for not using lower bounding.
2.26/2.34	c Coefficients are big enough for not using lower bounding.
2.26/2.34	c Coefficients are big enough for not using lower bounding.
2.26/2.34	c Coefficients are big enough for not using lower bounding.
2.26/2.34	c Coefficients are big enough for not using lower bounding.
2.26/2.34	c Coefficients are big enough for not using lower bounding.
2.26/2.34	c Coefficients are big enough for not using lower bounding.
2.26/2.34	c Coefficients are big enough for not using lower bounding.
2.26/2.34	c Coefficients are big enough for not using lower bounding.
2.26/2.34	c Coefficients are big enough for not using lower bounding.
2.26/2.34	c Coefficients are big enough for not using lower bounding.
2.26/2.34	c Coefficients are big enough for not using lower bounding.
2.26/2.34	c Coefficients are big enough for not using lower bounding.
2.26/2.34	c Coefficients are big enough for not using lower bounding.
2.26/2.34	c Coefficients are big enough for not using lower bounding.
2.26/2.34	c Coefficients are big enough for not using lower bounding.
2.26/2.34	c Coefficients are big enough for not using lower bounding.
2.26/2.34	c Coefficients are big enough for not using lower bounding.
2.26/2.34	c Coefficients are big enough for not using lower bounding.
2.26/2.34	c Coefficients are big enough for not using lower bounding.
2.26/2.34	c Coefficients are big enough for not using lower bounding.
2.26/2.34	c Coefficients are big enough for not using lower bounding.
2.26/2.35	c Coefficients are big enough for not using lower bounding.
2.26/2.35	c Coefficients are big enough for not using lower bounding.
2.26/2.35	c Coefficients are big enough for not using lower bounding.
2.26/2.35	c Coefficients are big enough for not using lower bounding.
2.26/2.35	c Coefficients are big enough for not using lower bounding.
2.26/2.35	c Coefficients are big enough for not using lower bounding.
2.26/2.35	c Coefficients are big enough for not using lower bounding.
2.26/2.35	c Coefficients are big enough for not using lower bounding.
2.26/2.35	c Coefficients are big enough for not using lower bounding.
2.26/2.35	c Coefficients are big enough for not using lower bounding.
2.26/2.35	c Coefficients are big enough for not using lower bounding.
2.26/2.35	c Coefficients are big enough for not using lower bounding.
2.26/2.35	c Coefficients are big enough for not using lower bounding.
2.26/2.35	c Coefficients are big enough for not using lower bounding.
2.26/2.35	c Coefficients are big enough for not using lower bounding.
2.26/2.35	c Coefficients are big enough for not using lower bounding.
2.26/2.35	c Coefficients are big enough for not using lower bounding.
2.26/2.35	c Coefficients are big enough for not using lower bounding.
2.26/2.35	c Coefficients are big enough for not using lower bounding.
2.26/2.35	c Coefficients are big enough for not using lower bounding.
2.26/2.35	c Coefficients are big enough for not using lower bounding.
2.26/2.35	c Coefficients are big enough for not using lower bounding.
2.26/2.35	c Coefficients are big enough for not using lower bounding.
2.26/2.35	c Coefficients are big enough for not using lower bounding.
2.26/2.35	c Coefficients are big enough for not using lower bounding.
2.26/2.35	c Coefficients are big enough for not using lower bounding.
2.26/2.35	c Coefficients are big enough for not using lower bounding.
2.26/2.35	c Coefficients are big enough for not using lower bounding.
2.26/2.35	c Coefficients are big enough for not using lower bounding.
2.26/2.35	c Coefficients are big enough for not using lower bounding.
2.26/2.35	c Coefficients are big enough for not using lower bounding.
2.26/2.35	c Coefficients are big enough for not using lower bounding.
2.26/2.35	c Coefficients are big enough for not using lower bounding.
2.26/2.35	c Coefficients are big enough for not using lower bounding.
2.26/2.35	c Coefficients are big enough for not using lower bounding.
2.26/2.35	c Coefficients are big enough for not using lower bounding.
2.26/2.35	c Coefficients are big enough for not using lower bounding.
2.26/2.35	c Coefficients are big enough for not using lower bounding.
2.26/2.35	c Coefficients are big enough for not using lower bounding.
2.26/2.35	c Coefficients are big enough for not using lower bounding.
2.26/2.35	c Coefficients are big enough for not using lower bounding.
2.26/2.35	c Coefficients are big enough for not using lower bounding.
2.26/2.35	c Coefficients are big enough for not using lower bounding.
2.26/2.35	c Coefficients are big enough for not using lower bounding.
2.26/2.35	c Coefficients are big enough for not using lower bounding.
2.26/2.35	c Coefficients are big enough for not using lower bounding.
2.26/2.35	c Coefficients are big enough for not using lower bounding.
2.26/2.35	c Coefficients are big enough for not using lower bounding.
2.26/2.35	c Coefficients are big enough for not using lower bounding.
2.26/2.35	c Coefficients are big enough for not using lower bounding.
2.26/2.36	c Coefficients are big enough for not using lower bounding.
2.26/2.36	c Coefficients are big enough for not using lower bounding.
2.26/2.36	c Coefficients are big enough for not using lower bounding.
2.26/2.36	c Coefficients are big enough for not using lower bounding.
2.26/2.36	c Coefficients are big enough for not using lower bounding.
2.26/2.36	c Coefficients are big enough for not using lower bounding.
2.26/2.36	c Coefficients are big enough for not using lower bounding.
2.26/2.36	c Coefficients are big enough for not using lower bounding.
2.26/2.36	c Coefficients are big enough for not using lower bounding.
2.26/2.36	c Coefficients are big enough for not using lower bounding.
2.26/2.36	c Coefficients are big enough for not using lower bounding.
2.26/2.36	c Coefficients are big enough for not using lower bounding.
2.26/2.36	c Coefficients are big enough for not using lower bounding.
2.26/2.36	c Coefficients are big enough for not using lower bounding.
2.26/2.36	c Coefficients are big enough for not using lower bounding.
2.26/2.36	c Coefficients are big enough for not using lower bounding.
2.26/2.36	c Coefficients are big enough for not using lower bounding.
2.26/2.36	c Coefficients are big enough for not using lower bounding.
2.26/2.36	c Coefficients are big enough for not using lower bounding.
2.26/2.36	c Coefficients are big enough for not using lower bounding.
2.26/2.36	c Coefficients are big enough for not using lower bounding.
2.26/2.36	c Coefficients are big enough for not using lower bounding.
2.26/2.36	c Coefficients are big enough for not using lower bounding.
2.26/2.36	c Coefficients are big enough for not using lower bounding.
2.26/2.36	c Coefficients are big enough for not using lower bounding.
2.26/2.36	c Coefficients are big enough for not using lower bounding.
2.26/2.36	c Coefficients are big enough for not using lower bounding.
2.26/2.36	c Coefficients are big enough for not using lower bounding.
2.26/2.36	c Coefficients are big enough for not using lower bounding.
2.26/2.36	c Coefficients are big enough for not using lower bounding.
2.26/2.36	c Coefficients are big enough for not using lower bounding.
2.26/2.36	c Coefficients are big enough for not using lower bounding.
2.26/2.36	c Coefficients are big enough for not using lower bounding.
2.26/2.36	c Coefficients are big enough for not using lower bounding.
2.26/2.36	c Coefficients are big enough for not using lower bounding.
2.26/2.36	c Coefficients are big enough for not using lower bounding.
2.26/2.36	c Coefficients are big enough for not using lower bounding.
2.26/2.36	c Coefficients are big enough for not using lower bounding.
2.26/2.36	c Coefficients are big enough for not using lower bounding.
2.26/2.36	c Coefficients are big enough for not using lower bounding.
2.26/2.36	c Coefficients are big enough for not using lower bounding.
2.26/2.36	c Coefficients are big enough for not using lower bounding.
2.26/2.36	c Coefficients are big enough for not using lower bounding.
2.26/2.36	c Coefficients are big enough for not using lower bounding.
2.26/2.36	c Coefficients are big enough for not using lower bounding.
2.26/2.36	c Coefficients are big enough for not using lower bounding.
2.26/2.36	c Coefficients are big enough for not using lower bounding.
2.26/2.36	c Coefficients are big enough for not using lower bounding.
2.26/2.36	c Coefficients are big enough for not using lower bounding.
2.26/2.36	c Coefficients are big enough for not using lower bounding.
2.26/2.36	c Coefficients are big enough for not using lower bounding.
2.26/2.36	c Coefficients are big enough for not using lower bounding.
2.26/2.37	c Coefficients are big enough for not using lower bounding.
2.26/2.37	c Coefficients are big enough for not using lower bounding.
2.26/2.37	c Coefficients are big enough for not using lower bounding.
2.26/2.37	c Coefficients are big enough for not using lower bounding.
2.26/2.37	c Coefficients are big enough for not using lower bounding.
2.26/2.37	c Coefficients are big enough for not using lower bounding.
2.26/2.37	c Coefficients are big enough for not using lower bounding.
2.26/2.37	c Coefficients are big enough for not using lower bounding.
2.26/2.37	c Coefficients are big enough for not using lower bounding.
2.26/2.37	c Coefficients are big enough for not using lower bounding.
2.26/2.37	c Coefficients are big enough for not using lower bounding.
2.26/2.37	c Coefficients are big enough for not using lower bounding.
2.26/2.37	c Coefficients are big enough for not using lower bounding.
2.26/2.37	c Coefficients are big enough for not using lower bounding.
2.26/2.37	c Coefficients are big enough for not using lower bounding.
2.26/2.37	c Coefficients are big enough for not using lower bounding.
2.26/2.37	c Coefficients are big enough for not using lower bounding.
2.26/2.37	c Coefficients are big enough for not using lower bounding.
2.26/2.37	c Coefficients are big enough for not using lower bounding.
2.26/2.37	c Coefficients are big enough for not using lower bounding.
2.26/2.37	c Coefficients are big enough for not using lower bounding.
2.26/2.37	c Coefficients are big enough for not using lower bounding.
2.26/2.37	c Coefficients are big enough for not using lower bounding.
2.26/2.37	c Coefficients are big enough for not using lower bounding.
2.26/2.37	c Coefficients are big enough for not using lower bounding.
2.26/2.37	c Coefficients are big enough for not using lower bounding.
2.26/2.37	c Coefficients are big enough for not using lower bounding.
2.26/2.37	c Coefficients are big enough for not using lower bounding.
2.26/2.37	c Coefficients are big enough for not using lower bounding.
2.26/2.37	c Coefficients are big enough for not using lower bounding.
2.26/2.37	c Coefficients are big enough for not using lower bounding.
2.26/2.37	c Coefficients are big enough for not using lower bounding.
2.26/2.37	c Coefficients are big enough for not using lower bounding.
2.26/2.37	c Coefficients are big enough for not using lower bounding.
2.26/2.37	c Coefficients are big enough for not using lower bounding.
2.26/2.37	c Coefficients are big enough for not using lower bounding.
2.26/2.37	c Coefficients are big enough for not using lower bounding.
2.26/2.37	c Coefficients are big enough for not using lower bounding.
2.26/2.37	c Coefficients are big enough for not using lower bounding.
2.26/2.37	c Coefficients are big enough for not using lower bounding.
2.26/2.37	c Coefficients are big enough for not using lower bounding.
2.26/2.37	c Coefficients are big enough for not using lower bounding.
2.26/2.37	c Coefficients are big enough for not using lower bounding.
2.26/2.37	c Coefficients are big enough for not using lower bounding.
2.26/2.37	c Coefficients are big enough for not using lower bounding.
2.26/2.37	c Coefficients are big enough for not using lower bounding.
2.26/2.37	c Coefficients are big enough for not using lower bounding.
2.26/2.37	c Coefficients are big enough for not using lower bounding.
2.26/2.37	c Coefficients are big enough for not using lower bounding.
2.26/2.37	c Coefficients are big enough for not using lower bounding.
2.26/2.37	c Coefficients are big enough for not using lower bounding.
2.26/2.37	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.38	c Coefficients are big enough for not using lower bounding.
2.26/2.39	c Coefficients are big enough for not using lower bounding.
2.26/2.39	c Coefficients are big enough for not using lower bounding.
2.26/2.39	c Coefficients are big enough for not using lower bounding.
2.26/2.39	c Coefficients are big enough for not using lower bounding.
2.26/2.39	c Coefficients are big enough for not using lower bounding.
2.26/2.39	c Coefficients are big enough for not using lower bounding.
2.26/2.39	c Coefficients are big enough for not using lower bounding.
2.26/2.39	c Coefficients are big enough for not using lower bounding.
2.26/2.39	c Coefficients are big enough for not using lower bounding.
2.26/2.39	c Coefficients are big enough for not using lower bounding.
2.26/2.39	c Coefficients are big enough for not using lower bounding.
2.26/2.39	c Coefficients are big enough for not using lower bounding.
2.26/2.39	c Coefficients are big enough for not using lower bounding.
2.26/2.39	c Coefficients are big enough for not using lower bounding.
2.26/2.39	c Coefficients are big enough for not using lower bounding.
2.26/2.39	c Coefficients are big enough for not using lower bounding.
2.26/2.39	c Coefficients are big enough for not using lower bounding.
2.26/2.39	c Coefficients are big enough for not using lower bounding.
2.26/2.39	c Coefficients are big enough for not using lower bounding.
2.26/2.39	c Coefficients are big enough for not using lower bounding.
2.26/2.39	c Coefficients are big enough for not using lower bounding.
2.26/2.39	c Coefficients are big enough for not using lower bounding.
2.26/2.39	c Coefficients are big enough for not using lower bounding.
2.26/2.39	c Coefficients are big enough for not using lower bounding.
2.26/2.39	c Coefficients are big enough for not using lower bounding.
2.26/2.39	c Coefficients are big enough for not using lower bounding.
2.26/2.39	c Coefficients are big enough for not using lower bounding.
2.26/2.39	c Coefficients are big enough for not using lower bounding.
2.26/2.39	c Coefficients are big enough for not using lower bounding.
2.26/2.39	c Coefficients are big enough for not using lower bounding.
2.26/2.39	c Coefficients are big enough for not using lower bounding.
2.26/2.39	c Coefficients are big enough for not using lower bounding.
2.26/2.39	c Coefficients are big enough for not using lower bounding.
2.26/2.39	c Coefficients are big enough for not using lower bounding.
2.26/2.39	c Coefficients are big enough for not using lower bounding.
2.26/2.39	c Coefficients are big enough for not using lower bounding.
2.36/2.40	c Coefficients are big enough for not using lower bounding.
2.36/2.40	c Coefficients are big enough for not using lower bounding.
2.36/2.40	c Coefficients are big enough for not using lower bounding.
2.36/2.40	c Coefficients are big enough for not using lower bounding.
2.36/2.41	c Coefficients are big enough for not using lower bounding.
2.36/2.41	c Coefficients are big enough for not using lower bounding.
2.36/2.41	c Coefficients are big enough for not using lower bounding.
2.36/2.41	c Coefficients are big enough for not using lower bounding.
2.36/2.42	c Coefficients are big enough for not using lower bounding.
2.36/2.42	c Coefficients are big enough for not using lower bounding.
2.36/2.42	c Coefficients are big enough for not using lower bounding.
2.36/2.42	c Coefficients are big enough for not using lower bounding.
2.36/2.43	c Coefficients are big enough for not using lower bounding.
2.36/2.43	c Coefficients are big enough for not using lower bounding.
2.36/2.43	c Coefficients are big enough for not using lower bounding.
2.36/2.43	c Coefficients are big enough for not using lower bounding.
2.36/2.44	c Coefficients are big enough for not using lower bounding.
2.36/2.44	c Coefficients are big enough for not using lower bounding.
2.36/2.44	c Coefficients are big enough for not using lower bounding.
2.36/2.44	c Coefficients are big enough for not using lower bounding.
2.36/2.44	c Coefficients are big enough for not using lower bounding.
2.36/2.45	c Coefficients are big enough for not using lower bounding.
2.36/2.45	c Coefficients are big enough for not using lower bounding.
2.36/2.45	c Coefficients are big enough for not using lower bounding.
2.36/2.45	c Coefficients are big enough for not using lower bounding.
2.36/2.46	c Coefficients are big enough for not using lower bounding.
2.36/2.46	c Coefficients are big enough for not using lower bounding.
2.36/2.46	c Coefficients are big enough for not using lower bounding.
2.36/2.46	c Coefficients are big enough for not using lower bounding.
2.36/2.47	c Coefficients are big enough for not using lower bounding.
2.36/2.47	c Coefficients are big enough for not using lower bounding.
2.36/2.47	c Coefficients are big enough for not using lower bounding.
2.36/2.47	c Coefficients are big enough for not using lower bounding.
2.36/2.48	c Coefficients are big enough for not using lower bounding.
2.36/2.48	c Coefficients are big enough for not using lower bounding.
2.36/2.48	c Coefficients are big enough for not using lower bounding.
2.36/2.48	c Coefficients are big enough for not using lower bounding.
2.36/2.48	c Coefficients are big enough for not using lower bounding.
2.36/2.49	c Coefficients are big enough for not using lower bounding.
2.36/2.49	c Coefficients are big enough for not using lower bounding.
2.36/2.49	c Coefficients are big enough for not using lower bounding.
2.36/2.49	c Coefficients are big enough for not using lower bounding.
2.36/2.50	c Coefficients are big enough for not using lower bounding.
2.46/2.50	c Coefficients are big enough for not using lower bounding.
2.46/2.50	c Coefficients are big enough for not using lower bounding.
2.46/2.50	c Coefficients are big enough for not using lower bounding.
2.46/2.51	c Coefficients are big enough for not using lower bounding.
2.46/2.51	c Coefficients are big enough for not using lower bounding.
2.46/2.51	c Coefficients are big enough for not using lower bounding.
2.46/2.51	c Coefficients are big enough for not using lower bounding.
2.46/2.52	c Coefficients are big enough for not using lower bounding.
2.46/2.52	c Coefficients are big enough for not using lower bounding.
2.46/2.52	c Coefficients are big enough for not using lower bounding.
2.46/2.52	c Coefficients are big enough for not using lower bounding.
2.46/2.52	c Coefficients are big enough for not using lower bounding.
2.46/2.53	c Coefficients are big enough for not using lower bounding.
2.46/2.53	c Coefficients are big enough for not using lower bounding.
2.46/2.53	c Coefficients are big enough for not using lower bounding.
2.46/2.53	c Coefficients are big enough for not using lower bounding.
2.46/2.54	c Coefficients are big enough for not using lower bounding.
2.46/2.54	c Coefficients are big enough for not using lower bounding.
2.46/2.54	c Coefficients are big enough for not using lower bounding.
2.46/2.54	c Coefficients are big enough for not using lower bounding.
2.46/2.55	c Coefficients are big enough for not using lower bounding.
2.46/2.55	c Coefficients are big enough for not using lower bounding.
2.46/2.55	c Coefficients are big enough for not using lower bounding.
2.46/2.55	c Coefficients are big enough for not using lower bounding.
2.46/2.55	c Coefficients are big enough for not using lower bounding.
2.46/2.56	c Coefficients are big enough for not using lower bounding.
2.46/2.56	c Coefficients are big enough for not using lower bounding.
2.46/2.56	c Coefficients are big enough for not using lower bounding.
2.46/2.56	c Coefficients are big enough for not using lower bounding.
2.46/2.57	c Coefficients are big enough for not using lower bounding.
2.46/2.57	c Coefficients are big enough for not using lower bounding.
2.46/2.57	c Coefficients are big enough for not using lower bounding.
2.46/2.57	c Coefficients are big enough for not using lower bounding.
2.46/2.58	c Coefficients are big enough for not using lower bounding.
2.46/2.58	c Coefficients are big enough for not using lower bounding.
2.46/2.58	c Coefficients are big enough for not using lower bounding.
2.46/2.58	c Coefficients are big enough for not using lower bounding.
2.46/2.59	c Coefficients are big enough for not using lower bounding.
2.46/2.59	c Coefficients are big enough for not using lower bounding.
2.46/2.59	c Coefficients are big enough for not using lower bounding.
2.46/2.59	c Coefficients are big enough for not using lower bounding.
2.46/2.60	c Coefficients are big enough for not using lower bounding.
2.57/2.60	c Coefficients are big enough for not using lower bounding.
2.57/2.60	c Coefficients are big enough for not using lower bounding.
2.57/2.60	c Coefficients are big enough for not using lower bounding.
2.57/2.60	c Coefficients are big enough for not using lower bounding.
2.57/2.61	c Coefficients are big enough for not using lower bounding.
2.57/2.61	c Coefficients are big enough for not using lower bounding.
2.57/2.61	c Coefficients are big enough for not using lower bounding.
2.57/2.61	c Coefficients are big enough for not using lower bounding.
2.57/2.62	c Coefficients are big enough for not using lower bounding.
2.57/2.62	c Coefficients are big enough for not using lower bounding.
2.57/2.62	c Coefficients are big enough for not using lower bounding.
2.57/2.62	c Coefficients are big enough for not using lower bounding.
2.57/2.63	c Coefficients are big enough for not using lower bounding.
2.57/2.63	c Coefficients are big enough for not using lower bounding.
2.57/2.63	c Coefficients are big enough for not using lower bounding.
2.57/2.63	c Coefficients are big enough for not using lower bounding.
2.57/2.64	c Coefficients are big enough for not using lower bounding.
2.57/2.64	c Coefficients are big enough for not using lower bounding.
2.57/2.64	c Coefficients are big enough for not using lower bounding.
2.57/2.64	c Coefficients are big enough for not using lower bounding.
2.57/2.65	c Coefficients are big enough for not using lower bounding.
2.57/2.65	c Coefficients are big enough for not using lower bounding.
2.57/2.65	c Coefficients are big enough for not using lower bounding.
2.57/2.65	c Coefficients are big enough for not using lower bounding.
2.57/2.65	c Coefficients are big enough for not using lower bounding.
2.57/2.66	c Coefficients are big enough for not using lower bounding.
2.57/2.66	c Coefficients are big enough for not using lower bounding.
2.57/2.66	c Coefficients are big enough for not using lower bounding.
2.57/2.66	c Coefficients are big enough for not using lower bounding.
2.57/2.67	c Coefficients are big enough for not using lower bounding.
2.57/2.67	c Coefficients are big enough for not using lower bounding.
2.57/2.67	c Coefficients are big enough for not using lower bounding.
2.57/2.67	c Coefficients are big enough for not using lower bounding.
2.57/2.68	c Coefficients are big enough for not using lower bounding.
2.57/2.68	c Coefficients are big enough for not using lower bounding.
2.57/2.68	c Coefficients are big enough for not using lower bounding.
2.57/2.68	c Coefficients are big enough for not using lower bounding.
2.57/2.69	c Coefficients are big enough for not using lower bounding.
2.57/2.69	c Coefficients are big enough for not using lower bounding.
2.57/2.69	c Coefficients are big enough for not using lower bounding.
2.57/2.69	c Coefficients are big enough for not using lower bounding.
2.57/2.70	c Coefficients are big enough for not using lower bounding.
2.67/2.70	c Coefficients are big enough for not using lower bounding.
2.67/2.70	c Coefficients are big enough for not using lower bounding.
2.67/2.70	c Coefficients are big enough for not using lower bounding.
2.67/2.71	c Coefficients are big enough for not using lower bounding.
2.67/2.71	c Coefficients are big enough for not using lower bounding.
2.67/2.71	c Coefficients are big enough for not using lower bounding.
2.67/2.71	c Coefficients are big enough for not using lower bounding.
2.67/2.71	c Coefficients are big enough for not using lower bounding.
2.67/2.72	c Coefficients are big enough for not using lower bounding.
2.67/2.72	c Coefficients are big enough for not using lower bounding.
2.67/2.72	c Coefficients are big enough for not using lower bounding.
2.67/2.72	c Coefficients are big enough for not using lower bounding.
2.67/2.73	c Coefficients are big enough for not using lower bounding.
2.67/2.73	c Coefficients are big enough for not using lower bounding.
2.67/2.73	c Coefficients are big enough for not using lower bounding.
2.67/2.73	c Coefficients are big enough for not using lower bounding.
2.67/2.74	c Coefficients are big enough for not using lower bounding.
2.67/2.74	c Coefficients are big enough for not using lower bounding.
2.67/2.74	c Coefficients are big enough for not using lower bounding.
2.67/2.74	c Coefficients are big enough for not using lower bounding.
2.67/2.75	c Coefficients are big enough for not using lower bounding.
2.67/2.75	c Coefficients are big enough for not using lower bounding.
2.67/2.75	c Coefficients are big enough for not using lower bounding.
2.67/2.75	c Coefficients are big enough for not using lower bounding.
2.67/2.76	c Coefficients are big enough for not using lower bounding.
2.67/2.76	c Coefficients are big enough for not using lower bounding.
2.67/2.76	c Coefficients are big enough for not using lower bounding.
2.67/2.76	c Coefficients are big enough for not using lower bounding.
2.67/2.76	c Coefficients are big enough for not using lower bounding.
2.67/2.77	c Coefficients are big enough for not using lower bounding.
2.67/2.77	c Coefficients are big enough for not using lower bounding.
2.67/2.77	c Coefficients are big enough for not using lower bounding.
2.67/2.77	c Coefficients are big enough for not using lower bounding.
2.67/2.78	c Coefficients are big enough for not using lower bounding.
2.67/2.78	c Coefficients are big enough for not using lower bounding.
2.67/2.78	c Coefficients are big enough for not using lower bounding.
2.67/2.78	c Coefficients are big enough for not using lower bounding.
2.67/2.79	c Coefficients are big enough for not using lower bounding.
2.67/2.79	c Coefficients are big enough for not using lower bounding.
2.67/2.79	c Coefficients are big enough for not using lower bounding.
2.67/2.79	c Coefficients are big enough for not using lower bounding.
2.67/2.80	c Coefficients are big enough for not using lower bounding.
2.77/2.80	c Coefficients are big enough for not using lower bounding.
2.77/2.80	c Coefficients are big enough for not using lower bounding.
2.77/2.80	c Coefficients are big enough for not using lower bounding.
2.77/2.81	c Coefficients are big enough for not using lower bounding.
2.77/2.81	c Coefficients are big enough for not using lower bounding.
2.77/2.81	c Coefficients are big enough for not using lower bounding.
2.77/2.81	c Coefficients are big enough for not using lower bounding.
2.77/2.81	c Coefficients are big enough for not using lower bounding.
2.77/2.82	c Coefficients are big enough for not using lower bounding.
2.77/2.82	c Coefficients are big enough for not using lower bounding.
2.77/2.82	c Coefficients are big enough for not using lower bounding.
2.77/2.82	c Coefficients are big enough for not using lower bounding.
2.77/2.83	c Coefficients are big enough for not using lower bounding.
2.77/2.83	c Coefficients are big enough for not using lower bounding.
2.77/2.83	c Coefficients are big enough for not using lower bounding.
2.77/2.83	c Coefficients are big enough for not using lower bounding.
2.77/2.84	c Coefficients are big enough for not using lower bounding.
2.77/2.84	c Coefficients are big enough for not using lower bounding.
2.77/2.84	c Coefficients are big enough for not using lower bounding.
2.77/2.84	c Coefficients are big enough for not using lower bounding.
2.77/2.85	c Coefficients are big enough for not using lower bounding.
2.77/2.85	c Coefficients are big enough for not using lower bounding.
2.77/2.85	c Coefficients are big enough for not using lower bounding.
2.77/2.85	c Coefficients are big enough for not using lower bounding.
2.77/2.85	c Coefficients are big enough for not using lower bounding.
2.77/2.86	c Coefficients are big enough for not using lower bounding.
2.77/2.86	c Coefficients are big enough for not using lower bounding.
2.77/2.86	c Coefficients are big enough for not using lower bounding.
2.77/2.86	c Coefficients are big enough for not using lower bounding.
2.77/2.87	c Coefficients are big enough for not using lower bounding.
2.77/2.87	c Coefficients are big enough for not using lower bounding.
2.77/2.87	c Coefficients are big enough for not using lower bounding.
2.77/2.87	c Coefficients are big enough for not using lower bounding.
2.77/2.88	c Coefficients are big enough for not using lower bounding.
2.77/2.88	c Coefficients are big enough for not using lower bounding.
2.77/2.88	c Coefficients are big enough for not using lower bounding.
2.77/2.88	c Coefficients are big enough for not using lower bounding.
2.77/2.89	c Coefficients are big enough for not using lower bounding.
2.77/2.89	c Coefficients are big enough for not using lower bounding.
2.77/2.89	c Coefficients are big enough for not using lower bounding.
2.77/2.89	c Coefficients are big enough for not using lower bounding.
2.77/2.89	c Coefficients are big enough for not using lower bounding.
2.86/2.90	c Coefficients are big enough for not using lower bounding.
2.86/2.90	c Coefficients are big enough for not using lower bounding.
2.86/2.90	c Coefficients are big enough for not using lower bounding.
2.86/2.90	c Coefficients are big enough for not using lower bounding.
2.86/2.91	c Coefficients are big enough for not using lower bounding.
2.86/2.91	c Coefficients are big enough for not using lower bounding.
2.86/2.91	c Coefficients are big enough for not using lower bounding.
2.86/2.91	c Coefficients are big enough for not using lower bounding.
2.86/2.92	c Coefficients are big enough for not using lower bounding.
2.86/2.92	c Coefficients are big enough for not using lower bounding.
2.86/2.92	c Coefficients are big enough for not using lower bounding.
2.86/2.92	c Coefficients are big enough for not using lower bounding.
2.86/2.93	c Coefficients are big enough for not using lower bounding.
2.86/2.93	c Coefficients are big enough for not using lower bounding.
2.86/2.93	c Coefficients are big enough for not using lower bounding.
2.86/2.93	c Coefficients are big enough for not using lower bounding.
2.86/2.93	c Coefficients are big enough for not using lower bounding.
2.86/2.94	c Coefficients are big enough for not using lower bounding.
2.86/2.94	c Coefficients are big enough for not using lower bounding.
2.86/2.94	c Coefficients are big enough for not using lower bounding.
2.86/2.94	c Coefficients are big enough for not using lower bounding.
2.86/2.95	c Coefficients are big enough for not using lower bounding.
2.86/2.95	c Coefficients are big enough for not using lower bounding.
2.86/2.95	c Coefficients are big enough for not using lower bounding.
2.86/2.95	c Coefficients are big enough for not using lower bounding.
2.86/2.96	c Coefficients are big enough for not using lower bounding.
2.86/2.96	c Coefficients are big enough for not using lower bounding.
2.86/2.96	c Coefficients are big enough for not using lower bounding.
2.86/2.96	c Coefficients are big enough for not using lower bounding.
2.86/2.97	c Coefficients are big enough for not using lower bounding.
2.86/2.97	c Coefficients are big enough for not using lower bounding.
2.86/2.97	c Coefficients are big enough for not using lower bounding.
2.86/2.97	c Coefficients are big enough for not using lower bounding.
2.86/2.98	c Coefficients are big enough for not using lower bounding.
2.86/2.98	c Coefficients are big enough for not using lower bounding.
2.86/2.98	c Coefficients are big enough for not using lower bounding.
2.86/2.98	c Coefficients are big enough for not using lower bounding.
2.86/2.98	c Coefficients are big enough for not using lower bounding.
2.86/2.99	c Coefficients are big enough for not using lower bounding.
2.86/2.99	c Coefficients are big enough for not using lower bounding.
2.86/2.99	c Coefficients are big enough for not using lower bounding.
2.86/2.99	c Coefficients are big enough for not using lower bounding.
2.86/3.00	c Coefficients are big enough for not using lower bounding.
2.96/3.00	c Coefficients are big enough for not using lower bounding.
2.96/3.00	c Coefficients are big enough for not using lower bounding.
2.96/3.00	c Coefficients are big enough for not using lower bounding.
2.96/3.01	c Coefficients are big enough for not using lower bounding.
2.96/3.01	c Coefficients are big enough for not using lower bounding.
2.96/3.01	c Coefficients are big enough for not using lower bounding.
2.96/3.01	c Coefficients are big enough for not using lower bounding.
2.96/3.02	c Coefficients are big enough for not using lower bounding.
2.96/3.02	c Coefficients are big enough for not using lower bounding.
2.96/3.02	c Coefficients are big enough for not using lower bounding.
2.96/3.02	c Coefficients are big enough for not using lower bounding.
2.96/3.02	c Coefficients are big enough for not using lower bounding.
2.96/3.03	c Coefficients are big enough for not using lower bounding.
2.96/3.03	c Coefficients are big enough for not using lower bounding.
2.96/3.03	c Coefficients are big enough for not using lower bounding.
2.96/3.03	c Coefficients are big enough for not using lower bounding.
2.96/3.04	c Coefficients are big enough for not using lower bounding.
2.96/3.04	c Coefficients are big enough for not using lower bounding.
2.96/3.04	c Coefficients are big enough for not using lower bounding.
2.96/3.04	c Coefficients are big enough for not using lower bounding.
2.96/3.05	c Coefficients are big enough for not using lower bounding.
2.96/3.05	c Coefficients are big enough for not using lower bounding.
2.96/3.05	c Coefficients are big enough for not using lower bounding.
2.96/3.05	c Coefficients are big enough for not using lower bounding.
2.96/3.05	c Coefficients are big enough for not using lower bounding.
2.96/3.06	c Coefficients are big enough for not using lower bounding.
2.96/3.06	c Coefficients are big enough for not using lower bounding.
2.96/3.06	c Coefficients are big enough for not using lower bounding.
2.96/3.06	c Coefficients are big enough for not using lower bounding.
2.96/3.07	c Coefficients are big enough for not using lower bounding.
2.96/3.07	c Coefficients are big enough for not using lower bounding.
2.96/3.07	c Coefficients are big enough for not using lower bounding.
2.96/3.07	c Coefficients are big enough for not using lower bounding.
2.96/3.08	c Coefficients are big enough for not using lower bounding.
2.96/3.08	c Coefficients are big enough for not using lower bounding.
2.96/3.08	c Coefficients are big enough for not using lower bounding.
2.96/3.08	c Coefficients are big enough for not using lower bounding.
2.96/3.09	c Coefficients are big enough for not using lower bounding.
2.96/3.09	c Coefficients are big enough for not using lower bounding.
2.96/3.09	c Coefficients are big enough for not using lower bounding.
2.96/3.09	c Coefficients are big enough for not using lower bounding.
2.96/3.09	c Coefficients are big enough for not using lower bounding.
3.06/3.10	c Coefficients are big enough for not using lower bounding.
3.06/3.10	c Coefficients are big enough for not using lower bounding.
3.06/3.10	c Coefficients are big enough for not using lower bounding.
3.06/3.10	c Coefficients are big enough for not using lower bounding.
3.06/3.11	c Coefficients are big enough for not using lower bounding.
3.06/3.11	c Coefficients are big enough for not using lower bounding.
3.06/3.11	c Coefficients are big enough for not using lower bounding.
3.06/3.11	c Coefficients are big enough for not using lower bounding.
3.06/3.12	c Coefficients are big enough for not using lower bounding.
3.06/3.12	c Coefficients are big enough for not using lower bounding.
3.06/3.12	c Coefficients are big enough for not using lower bounding.
3.06/3.12	c Coefficients are big enough for not using lower bounding.
3.06/3.13	c Coefficients are big enough for not using lower bounding.
3.06/3.13	c Coefficients are big enough for not using lower bounding.
3.06/3.13	c Coefficients are big enough for not using lower bounding.
3.06/3.13	c Coefficients are big enough for not using lower bounding.
3.06/3.13	c Coefficients are big enough for not using lower bounding.
3.06/3.14	c Coefficients are big enough for not using lower bounding.
3.06/3.14	c Coefficients are big enough for not using lower bounding.
3.06/3.14	c Coefficients are big enough for not using lower bounding.
3.06/3.14	c Coefficients are big enough for not using lower bounding.
3.06/3.15	c Coefficients are big enough for not using lower bounding.
3.06/3.15	c Coefficients are big enough for not using lower bounding.
3.06/3.15	c Coefficients are big enough for not using lower bounding.
3.06/3.15	c Coefficients are big enough for not using lower bounding.
3.06/3.16	c Coefficients are big enough for not using lower bounding.
3.06/3.16	c Coefficients are big enough for not using lower bounding.
3.06/3.16	c Coefficients are big enough for not using lower bounding.
3.06/3.16	c Coefficients are big enough for not using lower bounding.
3.06/3.16	c Coefficients are big enough for not using lower bounding.
3.06/3.17	c Coefficients are big enough for not using lower bounding.
3.06/3.17	c Coefficients are big enough for not using lower bounding.
3.06/3.17	c Coefficients are big enough for not using lower bounding.
3.06/3.17	c Coefficients are big enough for not using lower bounding.
3.06/3.18	c Coefficients are big enough for not using lower bounding.
3.06/3.18	c Coefficients are big enough for not using lower bounding.
3.06/3.18	c Coefficients are big enough for not using lower bounding.
3.06/3.18	c Coefficients are big enough for not using lower bounding.
3.06/3.19	c Coefficients are big enough for not using lower bounding.
3.06/3.19	c Coefficients are big enough for not using lower bounding.
3.06/3.19	c Coefficients are big enough for not using lower bounding.
3.06/3.19	c Coefficients are big enough for not using lower bounding.
3.06/3.20	c Coefficients are big enough for not using lower bounding.
3.16/3.20	c Coefficients are big enough for not using lower bounding.
3.16/3.20	c Coefficients are big enough for not using lower bounding.
3.16/3.21	c Coefficients are big enough for not using lower bounding.
3.16/3.21	c Coefficients are big enough for not using lower bounding.
3.16/3.21	c Coefficients are big enough for not using lower bounding.
3.16/3.21	c Coefficients are big enough for not using lower bounding.
3.16/3.22	c Coefficients are big enough for not using lower bounding.
3.16/3.22	c Coefficients are big enough for not using lower bounding.
3.16/3.22	c Coefficients are big enough for not using lower bounding.
3.16/3.23	c Coefficients are big enough for not using lower bounding.
3.16/3.23	c Coefficients are big enough for not using lower bounding.
3.16/3.23	c Coefficients are big enough for not using lower bounding.
3.16/3.23	c Coefficients are big enough for not using lower bounding.
3.16/3.24	c Coefficients are big enough for not using lower bounding.
3.16/3.24	c Coefficients are big enough for not using lower bounding.
3.16/3.24	c Coefficients are big enough for not using lower bounding.
3.16/3.24	c Coefficients are big enough for not using lower bounding.
3.16/3.25	c Coefficients are big enough for not using lower bounding.
3.16/3.25	c Coefficients are big enough for not using lower bounding.
3.16/3.25	c Coefficients are big enough for not using lower bounding.
3.16/3.25	c Coefficients are big enough for not using lower bounding.
3.16/3.26	c Coefficients are big enough for not using lower bounding.
3.16/3.26	c Coefficients are big enough for not using lower bounding.
3.16/3.26	c Coefficients are big enough for not using lower bounding.
3.16/3.26	c Coefficients are big enough for not using lower bounding.
3.16/3.27	c Coefficients are big enough for not using lower bounding.
3.16/3.27	c Coefficients are big enough for not using lower bounding.
3.16/3.27	c Coefficients are big enough for not using lower bounding.
3.16/3.27	c Coefficients are big enough for not using lower bounding.
3.16/3.28	c Coefficients are big enough for not using lower bounding.
3.16/3.28	c Coefficients are big enough for not using lower bounding.
3.16/3.28	c Coefficients are big enough for not using lower bounding.
3.16/3.28	c Coefficients are big enough for not using lower bounding.
3.16/3.29	c Coefficients are big enough for not using lower bounding.
3.16/3.29	c Coefficients are big enough for not using lower bounding.
3.16/3.29	c Coefficients are big enough for not using lower bounding.
3.16/3.29	c Coefficients are big enough for not using lower bounding.
3.16/3.30	c Coefficients are big enough for not using lower bounding.
3.16/3.30	c Coefficients are big enough for not using lower bounding.
3.27/3.30	c Coefficients are big enough for not using lower bounding.
3.27/3.30	c Coefficients are big enough for not using lower bounding.
3.27/3.31	c Coefficients are big enough for not using lower bounding.
3.27/3.31	c Coefficients are big enough for not using lower bounding.
3.27/3.31	c Coefficients are big enough for not using lower bounding.
3.27/3.31	c Coefficients are big enough for not using lower bounding.
3.27/3.32	c Coefficients are big enough for not using lower bounding.
3.27/3.32	c Coefficients are big enough for not using lower bounding.
3.27/3.32	c Coefficients are big enough for not using lower bounding.
3.27/3.32	c Coefficients are big enough for not using lower bounding.
3.27/3.33	c Coefficients are big enough for not using lower bounding.
3.27/3.33	c Coefficients are big enough for not using lower bounding.
3.27/3.33	c Coefficients are big enough for not using lower bounding.
3.27/3.33	c Coefficients are big enough for not using lower bounding.
3.27/3.34	c Coefficients are big enough for not using lower bounding.
3.27/3.34	c Coefficients are big enough for not using lower bounding.
3.27/3.34	c Coefficients are big enough for not using lower bounding.
3.27/3.34	c Coefficients are big enough for not using lower bounding.
3.27/3.35	c Coefficients are big enough for not using lower bounding.
3.27/3.35	c Coefficients are big enough for not using lower bounding.
3.27/3.35	c Coefficients are big enough for not using lower bounding.
3.27/3.35	c Coefficients are big enough for not using lower bounding.
3.27/3.36	c Coefficients are big enough for not using lower bounding.
3.27/3.36	c Coefficients are big enough for not using lower bounding.
3.27/3.36	c Coefficients are big enough for not using lower bounding.
3.27/3.36	c Coefficients are big enough for not using lower bounding.
3.27/3.37	c Coefficients are big enough for not using lower bounding.
3.27/3.37	c Coefficients are big enough for not using lower bounding.
3.27/3.37	c Coefficients are big enough for not using lower bounding.
3.27/3.37	c Coefficients are big enough for not using lower bounding.
3.27/3.38	c Coefficients are big enough for not using lower bounding.
3.27/3.38	c Coefficients are big enough for not using lower bounding.
3.27/3.38	c Coefficients are big enough for not using lower bounding.
3.27/3.38	c Coefficients are big enough for not using lower bounding.
3.27/3.39	c Coefficients are big enough for not using lower bounding.
3.27/3.39	c Coefficients are big enough for not using lower bounding.
3.27/3.39	c Coefficients are big enough for not using lower bounding.
3.27/3.39	c Coefficients are big enough for not using lower bounding.
3.36/3.40	c Coefficients are big enough for not using lower bounding.
3.36/3.40	c Coefficients are big enough for not using lower bounding.
3.36/3.40	c Coefficients are big enough for not using lower bounding.
3.36/3.41	c Coefficients are big enough for not using lower bounding.
3.36/3.41	c Coefficients are big enough for not using lower bounding.
3.36/3.41	c Coefficients are big enough for not using lower bounding.
3.36/3.41	c Coefficients are big enough for not using lower bounding.
3.36/3.42	c Coefficients are big enough for not using lower bounding.
3.36/3.42	c Coefficients are big enough for not using lower bounding.
3.36/3.42	c Coefficients are big enough for not using lower bounding.
3.36/3.42	c Coefficients are big enough for not using lower bounding.
3.36/3.43	c Coefficients are big enough for not using lower bounding.
3.36/3.43	c Coefficients are big enough for not using lower bounding.
3.36/3.43	c Coefficients are big enough for not using lower bounding.
3.36/3.43	c Coefficients are big enough for not using lower bounding.
3.36/3.44	c Coefficients are big enough for not using lower bounding.
3.36/3.44	c Coefficients are big enough for not using lower bounding.
3.36/3.44	c Coefficients are big enough for not using lower bounding.
3.36/3.44	c Coefficients are big enough for not using lower bounding.
3.36/3.45	c Coefficients are big enough for not using lower bounding.
3.36/3.45	c Coefficients are big enough for not using lower bounding.
3.36/3.45	c Coefficients are big enough for not using lower bounding.
3.36/3.45	c Coefficients are big enough for not using lower bounding.
3.36/3.46	c Coefficients are big enough for not using lower bounding.
3.36/3.46	c Coefficients are big enough for not using lower bounding.
3.36/3.46	c Coefficients are big enough for not using lower bounding.
3.36/3.46	c Coefficients are big enough for not using lower bounding.
3.36/3.47	c Coefficients are big enough for not using lower bounding.
3.36/3.47	c Coefficients are big enough for not using lower bounding.
3.36/3.47	c Coefficients are big enough for not using lower bounding.
3.36/3.47	c Coefficients are big enough for not using lower bounding.
3.36/3.48	c Coefficients are big enough for not using lower bounding.
3.36/3.48	c Coefficients are big enough for not using lower bounding.
3.36/3.48	c Coefficients are big enough for not using lower bounding.
3.36/3.48	c Coefficients are big enough for not using lower bounding.
3.36/3.49	c Coefficients are big enough for not using lower bounding.
3.36/3.49	c Coefficients are big enough for not using lower bounding.
3.36/3.49	c Coefficients are big enough for not using lower bounding.
3.36/3.49	c Coefficients are big enough for not using lower bounding.
3.36/3.50	c Coefficients are big enough for not using lower bounding.
3.46/3.50	c Coefficients are big enough for not using lower bounding.
3.46/3.50	c Coefficients are big enough for not using lower bounding.
3.46/3.50	c Coefficients are big enough for not using lower bounding.
3.46/3.51	c Coefficients are big enough for not using lower bounding.
3.46/3.51	c Coefficients are big enough for not using lower bounding.
3.46/3.51	c Coefficients are big enough for not using lower bounding.
3.46/3.51	c Coefficients are big enough for not using lower bounding.
3.46/3.52	c Coefficients are big enough for not using lower bounding.
3.46/3.52	c Coefficients are big enough for not using lower bounding.
3.46/3.52	c Coefficients are big enough for not using lower bounding.
3.46/3.52	c Coefficients are big enough for not using lower bounding.
3.46/3.53	c Coefficients are big enough for not using lower bounding.
3.46/3.53	c Coefficients are big enough for not using lower bounding.
3.46/3.53	c Coefficients are big enough for not using lower bounding.
3.46/3.53	c Coefficients are big enough for not using lower bounding.
3.46/3.54	c Coefficients are big enough for not using lower bounding.
3.46/3.54	c Coefficients are big enough for not using lower bounding.
3.46/3.54	c Coefficients are big enough for not using lower bounding.
3.46/3.54	c Coefficients are big enough for not using lower bounding.
3.46/3.55	c Coefficients are big enough for not using lower bounding.
3.46/3.55	c Coefficients are big enough for not using lower bounding.
3.46/3.55	c Coefficients are big enough for not using lower bounding.
3.46/3.55	c Coefficients are big enough for not using lower bounding.
3.46/3.56	c Coefficients are big enough for not using lower bounding.
3.46/3.56	c Coefficients are big enough for not using lower bounding.
3.46/3.56	c Coefficients are big enough for not using lower bounding.
3.46/3.56	c Coefficients are big enough for not using lower bounding.
3.46/3.57	c Coefficients are big enough for not using lower bounding.
3.46/3.57	c Coefficients are big enough for not using lower bounding.
3.46/3.57	c Coefficients are big enough for not using lower bounding.
3.46/3.57	c Coefficients are big enough for not using lower bounding.
3.46/3.58	c Coefficients are big enough for not using lower bounding.
3.46/3.58	c Coefficients are big enough for not using lower bounding.
3.46/3.58	c Coefficients are big enough for not using lower bounding.
3.46/3.58	c Coefficients are big enough for not using lower bounding.
3.46/3.59	c Coefficients are big enough for not using lower bounding.
3.46/3.59	c Coefficients are big enough for not using lower bounding.
3.46/3.59	c Coefficients are big enough for not using lower bounding.
3.46/3.59	c Coefficients are big enough for not using lower bounding.
3.56/3.60	c Coefficients are big enough for not using lower bounding.
3.56/3.60	c Coefficients are big enough for not using lower bounding.
3.56/3.60	c Coefficients are big enough for not using lower bounding.
3.56/3.60	c Coefficients are big enough for not using lower bounding.
3.56/3.61	c Coefficients are big enough for not using lower bounding.
3.56/3.61	c Coefficients are big enough for not using lower bounding.
3.56/3.61	c Coefficients are big enough for not using lower bounding.
3.56/3.61	c Coefficients are big enough for not using lower bounding.
3.56/3.62	c Coefficients are big enough for not using lower bounding.
3.56/3.62	c Coefficients are big enough for not using lower bounding.
3.56/3.62	c Coefficients are big enough for not using lower bounding.
3.56/3.62	c Coefficients are big enough for not using lower bounding.
3.56/3.63	c Coefficients are big enough for not using lower bounding.
3.56/3.63	c Coefficients are big enough for not using lower bounding.
3.56/3.63	c Coefficients are big enough for not using lower bounding.
3.56/3.63	c Coefficients are big enough for not using lower bounding.
3.56/3.64	c Coefficients are big enough for not using lower bounding.
3.56/3.64	c Coefficients are big enough for not using lower bounding.
3.56/3.64	c Coefficients are big enough for not using lower bounding.
3.56/3.65	c Coefficients are big enough for not using lower bounding.
3.56/3.65	c Coefficients are big enough for not using lower bounding.
3.56/3.65	c Coefficients are big enough for not using lower bounding.
3.56/3.65	c Coefficients are big enough for not using lower bounding.
3.56/3.66	c Coefficients are big enough for not using lower bounding.
3.56/3.66	c Coefficients are big enough for not using lower bounding.
3.56/3.66	c Coefficients are big enough for not using lower bounding.
3.56/3.66	c Coefficients are big enough for not using lower bounding.
3.56/3.67	c Coefficients are big enough for not using lower bounding.
3.56/3.67	c Coefficients are big enough for not using lower bounding.
3.56/3.67	c Coefficients are big enough for not using lower bounding.
3.56/3.67	c Coefficients are big enough for not using lower bounding.
3.56/3.68	c Coefficients are big enough for not using lower bounding.
3.56/3.68	c Coefficients are big enough for not using lower bounding.
3.56/3.68	c Coefficients are big enough for not using lower bounding.
3.56/3.68	c Coefficients are big enough for not using lower bounding.
3.56/3.69	c Coefficients are big enough for not using lower bounding.
3.56/3.69	c Coefficients are big enough for not using lower bounding.
3.56/3.69	c Coefficients are big enough for not using lower bounding.
3.56/3.69	c Coefficients are big enough for not using lower bounding.
3.56/3.70	c Coefficients are big enough for not using lower bounding.
3.66/3.70	c Coefficients are big enough for not using lower bounding.
3.66/3.70	c Coefficients are big enough for not using lower bounding.
3.66/3.70	c Coefficients are big enough for not using lower bounding.
3.66/3.71	c Coefficients are big enough for not using lower bounding.
3.66/3.71	c Coefficients are big enough for not using lower bounding.
3.66/3.71	c Coefficients are big enough for not using lower bounding.
3.66/3.71	c Coefficients are big enough for not using lower bounding.
3.66/3.72	c Coefficients are big enough for not using lower bounding.
3.66/3.72	c Coefficients are big enough for not using lower bounding.
3.66/3.72	c Coefficients are big enough for not using lower bounding.
3.66/3.72	c Coefficients are big enough for not using lower bounding.
3.66/3.73	c Coefficients are big enough for not using lower bounding.
3.66/3.73	c Coefficients are big enough for not using lower bounding.
3.66/3.73	c Coefficients are big enough for not using lower bounding.
3.66/3.73	c Coefficients are big enough for not using lower bounding.
3.66/3.74	c Coefficients are big enough for not using lower bounding.
3.66/3.74	c Coefficients are big enough for not using lower bounding.
3.66/3.74	c Coefficients are big enough for not using lower bounding.
3.66/3.74	c Coefficients are big enough for not using lower bounding.
3.66/3.75	c Coefficients are big enough for not using lower bounding.
3.66/3.75	c Coefficients are big enough for not using lower bounding.
3.66/3.75	c Coefficients are big enough for not using lower bounding.
3.66/3.75	c Coefficients are big enough for not using lower bounding.
3.66/3.76	c Coefficients are big enough for not using lower bounding.
3.66/3.76	c Coefficients are big enough for not using lower bounding.
3.66/3.76	c Coefficients are big enough for not using lower bounding.
3.66/3.76	c Coefficients are big enough for not using lower bounding.
3.66/3.77	c Coefficients are big enough for not using lower bounding.
3.66/3.77	c Coefficients are big enough for not using lower bounding.
3.66/3.77	c Coefficients are big enough for not using lower bounding.
3.66/3.77	c Coefficients are big enough for not using lower bounding.
3.66/3.78	c Coefficients are big enough for not using lower bounding.
3.66/3.78	c Coefficients are big enough for not using lower bounding.
3.66/3.78	c Coefficients are big enough for not using lower bounding.
3.66/3.78	c Coefficients are big enough for not using lower bounding.
3.66/3.79	c Coefficients are big enough for not using lower bounding.
3.66/3.79	c Coefficients are big enough for not using lower bounding.
3.66/3.79	c Coefficients are big enough for not using lower bounding.
3.66/3.79	c Coefficients are big enough for not using lower bounding.
3.66/3.80	c Coefficients are big enough for not using lower bounding.
3.76/3.84	c Coefficients are big enough for not using lower bounding.
3.76/3.88	c Coefficients are big enough for not using lower bounding.
3.85/3.93	c Coefficients are big enough for not using lower bounding.
3.85/3.97	c Coefficients are big enough for not using lower bounding.
3.95/4.02	c Coefficients are big enough for not using lower bounding.
3.95/4.07	c Coefficients are big enough for not using lower bounding.
4.05/4.11	c Coefficients are big enough for not using lower bounding.
4.05/4.16	c Coefficients are big enough for not using lower bounding.
4.15/4.21	c Coefficients are big enough for not using lower bounding.
4.15/4.26	c Coefficients are big enough for not using lower bounding.
4.27/4.32	c Coefficients are big enough for not using lower bounding.
4.27/4.37	c Coefficients are big enough for not using lower bounding.
4.36/4.44	c Coefficients are big enough for not using lower bounding.
4.36/4.50	c Coefficients are big enough for not using lower bounding.
4.46/4.56	c Coefficients are big enough for not using lower bounding.
4.55/4.61	c Coefficients are big enough for not using lower bounding.
4.55/4.67	c Coefficients are big enough for not using lower bounding.
4.65/4.72	c Coefficients are big enough for not using lower bounding.
4.65/4.78	c Coefficients are big enough for not using lower bounding.
4.76/4.85	c Coefficients are big enough for not using lower bounding.
4.86/4.91	c Coefficients are big enough for not using lower bounding.
4.86/4.96	c Coefficients are big enough for not using lower bounding.
4.96/5.01	c Coefficients are big enough for not using lower bounding.
4.96/5.06	c Coefficients are big enough for not using lower bounding.
4.96/5.09	c Coefficients are big enough for not using lower bounding.
4.96/5.09	c Coefficients are big enough for not using lower bounding.
4.96/5.09	c Coefficients are big enough for not using lower bounding.
4.96/5.09	c Coefficients are big enough for not using lower bounding.
4.96/5.09	c Coefficients are big enough for not using lower bounding.
4.96/5.09	c Coefficients are big enough for not using lower bounding.
4.96/5.10	c Coefficients are big enough for not using lower bounding.
5.06/5.10	c Coefficients are big enough for not using lower bounding.
5.06/5.10	c Coefficients are big enough for not using lower bounding.
5.06/5.10	c Coefficients are big enough for not using lower bounding.
5.06/5.10	c Coefficients are big enough for not using lower bounding.
5.06/5.10	c Coefficients are big enough for not using lower bounding.
5.06/5.10	c Coefficients are big enough for not using lower bounding.
5.06/5.11	c Coefficients are big enough for not using lower bounding.
5.06/5.11	c Coefficients are big enough for not using lower bounding.
5.06/5.11	c Coefficients are big enough for not using lower bounding.
5.06/5.11	c Coefficients are big enough for not using lower bounding.
5.06/5.11	c Coefficients are big enough for not using lower bounding.
5.06/5.11	c Coefficients are big enough for not using lower bounding.
5.06/5.12	c Coefficients are big enough for not using lower bounding.
5.06/5.12	c Coefficients are big enough for not using lower bounding.
5.06/5.12	c Coefficients are big enough for not using lower bounding.
5.06/5.12	c Coefficients are big enough for not using lower bounding.
5.06/5.12	c Coefficients are big enough for not using lower bounding.
5.06/5.13	c Coefficients are big enough for not using lower bounding.
5.06/5.13	c Coefficients are big enough for not using lower bounding.
5.06/5.13	c Coefficients are big enough for not using lower bounding.
5.06/5.13	c Coefficients are big enough for not using lower bounding.
5.06/5.13	c Coefficients are big enough for not using lower bounding.
5.06/5.13	c Coefficients are big enough for not using lower bounding.
5.06/5.14	c Coefficients are big enough for not using lower bounding.
5.06/5.14	c Coefficients are big enough for not using lower bounding.
5.06/5.14	c Coefficients are big enough for not using lower bounding.
5.06/5.14	c Coefficients are big enough for not using lower bounding.
5.06/5.14	c Coefficients are big enough for not using lower bounding.
5.06/5.14	c Coefficients are big enough for not using lower bounding.
5.06/5.15	c Coefficients are big enough for not using lower bounding.
5.06/5.15	c Coefficients are big enough for not using lower bounding.
5.06/5.15	c Coefficients are big enough for not using lower bounding.
5.06/5.15	c Coefficients are big enough for not using lower bounding.
5.06/5.15	c Coefficients are big enough for not using lower bounding.
5.06/5.16	c Coefficients are big enough for not using lower bounding.
5.06/5.16	c Coefficients are big enough for not using lower bounding.
5.06/5.16	c Coefficients are big enough for not using lower bounding.
5.06/5.16	c Coefficients are big enough for not using lower bounding.
5.06/5.16	c Coefficients are big enough for not using lower bounding.
5.06/5.16	c Coefficients are big enough for not using lower bounding.
5.06/5.17	c Coefficients are big enough for not using lower bounding.
5.06/5.17	c Coefficients are big enough for not using lower bounding.
5.06/5.17	c Coefficients are big enough for not using lower bounding.
5.06/5.17	c Coefficients are big enough for not using lower bounding.
5.06/5.17	c Coefficients are big enough for not using lower bounding.
5.06/5.17	c Coefficients are big enough for not using lower bounding.
5.06/5.18	c Coefficients are big enough for not using lower bounding.
5.06/5.18	c Coefficients are big enough for not using lower bounding.
5.06/5.18	c Coefficients are big enough for not using lower bounding.
5.06/5.18	c Coefficients are big enough for not using lower bounding.
5.06/5.18	c Coefficients are big enough for not using lower bounding.
5.06/5.18	c Coefficients are big enough for not using lower bounding.
5.06/5.19	c Coefficients are big enough for not using lower bounding.
5.06/5.19	c Coefficients are big enough for not using lower bounding.
5.06/5.19	c Coefficients are big enough for not using lower bounding.
5.06/5.19	c Coefficients are big enough for not using lower bounding.
5.06/5.19	c Coefficients are big enough for not using lower bounding.
5.06/5.19	c Coefficients are big enough for not using lower bounding.
5.06/5.20	c Coefficients are big enough for not using lower bounding.
5.15/5.20	c Coefficients are big enough for not using lower bounding.
5.15/5.20	c Coefficients are big enough for not using lower bounding.
5.15/5.20	c Coefficients are big enough for not using lower bounding.
5.15/5.20	c Coefficients are big enough for not using lower bounding.
5.15/5.21	c Coefficients are big enough for not using lower bounding.
5.15/5.21	c Coefficients are big enough for not using lower bounding.
5.15/5.21	c Coefficients are big enough for not using lower bounding.
5.15/5.21	c Coefficients are big enough for not using lower bounding.
5.15/5.21	c Coefficients are big enough for not using lower bounding.
5.15/5.21	c Coefficients are big enough for not using lower bounding.
5.15/5.22	c Coefficients are big enough for not using lower bounding.
5.15/5.22	c Coefficients are big enough for not using lower bounding.
5.15/5.22	c Coefficients are big enough for not using lower bounding.
5.15/5.22	c Coefficients are big enough for not using lower bounding.
5.15/5.22	c Coefficients are big enough for not using lower bounding.
5.15/5.23	c Coefficients are big enough for not using lower bounding.
5.15/5.23	c Coefficients are big enough for not using lower bounding.
5.15/5.23	c Coefficients are big enough for not using lower bounding.
5.15/5.23	c Coefficients are big enough for not using lower bounding.
5.15/5.23	c Coefficients are big enough for not using lower bounding.
5.15/5.23	c Coefficients are big enough for not using lower bounding.
5.15/5.24	c Coefficients are big enough for not using lower bounding.
5.15/5.24	c Coefficients are big enough for not using lower bounding.
5.15/5.24	c Coefficients are big enough for not using lower bounding.
5.15/5.24	c Coefficients are big enough for not using lower bounding.
5.15/5.24	c Coefficients are big enough for not using lower bounding.
5.15/5.24	c Coefficients are big enough for not using lower bounding.
5.15/5.25	c Coefficients are big enough for not using lower bounding.
5.15/5.25	c Coefficients are big enough for not using lower bounding.
5.15/5.25	c Coefficients are big enough for not using lower bounding.
5.15/5.25	c Coefficients are big enough for not using lower bounding.
5.15/5.25	c Coefficients are big enough for not using lower bounding.
5.15/5.25	c Coefficients are big enough for not using lower bounding.
5.15/5.26	c Coefficients are big enough for not using lower bounding.
5.15/5.26	c Coefficients are big enough for not using lower bounding.
5.15/5.26	c Coefficients are big enough for not using lower bounding.
5.15/5.26	c Coefficients are big enough for not using lower bounding.
5.15/5.26	c Coefficients are big enough for not using lower bounding.
5.15/5.27	c Coefficients are big enough for not using lower bounding.
5.15/5.27	c Coefficients are big enough for not using lower bounding.
5.15/5.27	c Coefficients are big enough for not using lower bounding.
5.15/5.27	c Coefficients are big enough for not using lower bounding.
5.15/5.27	c Coefficients are big enough for not using lower bounding.
5.15/5.27	c Coefficients are big enough for not using lower bounding.
5.15/5.28	c Coefficients are big enough for not using lower bounding.
5.15/5.28	c Coefficients are big enough for not using lower bounding.
5.15/5.28	c Coefficients are big enough for not using lower bounding.
5.15/5.28	c Coefficients are big enough for not using lower bounding.
5.15/5.28	c Coefficients are big enough for not using lower bounding.
5.15/5.29	c Coefficients are big enough for not using lower bounding.
5.15/5.29	c Coefficients are big enough for not using lower bounding.
5.15/5.29	c Coefficients are big enough for not using lower bounding.
5.15/5.29	c Coefficients are big enough for not using lower bounding.
5.15/5.29	c Coefficients are big enough for not using lower bounding.
5.15/5.30	c Coefficients are big enough for not using lower bounding.
5.25/5.30	c Coefficients are big enough for not using lower bounding.
5.25/5.30	c Coefficients are big enough for not using lower bounding.
5.25/5.30	c Coefficients are big enough for not using lower bounding.
5.25/5.30	c Coefficients are big enough for not using lower bounding.
5.25/5.31	c Coefficients are big enough for not using lower bounding.
5.25/5.31	c Coefficients are big enough for not using lower bounding.
5.25/5.31	c Coefficients are big enough for not using lower bounding.
5.25/5.31	c Coefficients are big enough for not using lower bounding.
5.25/5.31	c Coefficients are big enough for not using lower bounding.
5.25/5.31	c Coefficients are big enough for not using lower bounding.
5.25/5.32	c Coefficients are big enough for not using lower bounding.
5.25/5.32	c Coefficients are big enough for not using lower bounding.
5.25/5.32	c Coefficients are big enough for not using lower bounding.
5.25/5.32	c Coefficients are big enough for not using lower bounding.
5.25/5.32	c Coefficients are big enough for not using lower bounding.
5.25/5.33	c Coefficients are big enough for not using lower bounding.
5.25/5.33	c Coefficients are big enough for not using lower bounding.
5.25/5.33	c Coefficients are big enough for not using lower bounding.
5.25/5.33	c Coefficients are big enough for not using lower bounding.
5.25/5.34	c Coefficients are big enough for not using lower bounding.
5.25/5.34	c Coefficients are big enough for not using lower bounding.
5.25/5.34	c Coefficients are big enough for not using lower bounding.
5.25/5.34	c Coefficients are big enough for not using lower bounding.
5.25/5.35	c Coefficients are big enough for not using lower bounding.
5.25/5.35	c Coefficients are big enough for not using lower bounding.
5.25/5.35	c Coefficients are big enough for not using lower bounding.
5.25/5.35	c Coefficients are big enough for not using lower bounding.
5.25/5.36	c Coefficients are big enough for not using lower bounding.
5.25/5.36	c Coefficients are big enough for not using lower bounding.
5.25/5.36	c Coefficients are big enough for not using lower bounding.
5.25/5.36	c Coefficients are big enough for not using lower bounding.
5.25/5.36	c Coefficients are big enough for not using lower bounding.
5.25/5.37	c Coefficients are big enough for not using lower bounding.
5.25/5.37	c Coefficients are big enough for not using lower bounding.
5.25/5.37	c Coefficients are big enough for not using lower bounding.
5.25/5.37	c Coefficients are big enough for not using lower bounding.
5.25/5.38	c Coefficients are big enough for not using lower bounding.
5.25/5.38	c Coefficients are big enough for not using lower bounding.
5.25/5.38	c Coefficients are big enough for not using lower bounding.
5.25/5.38	c Coefficients are big enough for not using lower bounding.
5.25/5.39	c Coefficients are big enough for not using lower bounding.
5.25/5.39	c Coefficients are big enough for not using lower bounding.
5.25/5.39	c Coefficients are big enough for not using lower bounding.
5.25/5.39	c Coefficients are big enough for not using lower bounding.
5.25/5.39	c Coefficients are big enough for not using lower bounding.
5.25/5.40	c Coefficients are big enough for not using lower bounding.
5.25/5.40	c Coefficients are big enough for not using lower bounding.
5.36/5.40	c Coefficients are big enough for not using lower bounding.
5.36/5.40	c Coefficients are big enough for not using lower bounding.
5.36/5.41	c Coefficients are big enough for not using lower bounding.
5.36/5.41	c Coefficients are big enough for not using lower bounding.
5.36/5.41	c Coefficients are big enough for not using lower bounding.
5.36/5.41	c Coefficients are big enough for not using lower bounding.
5.36/5.41	c Coefficients are big enough for not using lower bounding.
5.36/5.42	c Coefficients are big enough for not using lower bounding.
5.36/5.42	c Coefficients are big enough for not using lower bounding.
5.36/5.42	c Coefficients are big enough for not using lower bounding.
5.36/5.42	c Coefficients are big enough for not using lower bounding.
5.36/5.42	c Coefficients are big enough for not using lower bounding.
5.36/5.43	c Coefficients are big enough for not using lower bounding.
5.36/5.43	c Coefficients are big enough for not using lower bounding.
5.36/5.43	c Coefficients are big enough for not using lower bounding.
5.36/5.43	c Coefficients are big enough for not using lower bounding.
5.36/5.44	c Coefficients are big enough for not using lower bounding.
5.36/5.44	c Coefficients are big enough for not using lower bounding.
5.36/5.44	c Coefficients are big enough for not using lower bounding.
5.36/5.44	c Coefficients are big enough for not using lower bounding.
5.36/5.45	c Coefficients are big enough for not using lower bounding.
5.36/5.45	c Coefficients are big enough for not using lower bounding.
5.36/5.45	c Coefficients are big enough for not using lower bounding.
5.36/5.45	c Coefficients are big enough for not using lower bounding.
5.36/5.46	c Coefficients are big enough for not using lower bounding.
5.36/5.46	c Coefficients are big enough for not using lower bounding.
5.36/5.46	c Coefficients are big enough for not using lower bounding.
5.36/5.46	c Coefficients are big enough for not using lower bounding.
5.36/5.47	c Coefficients are big enough for not using lower bounding.
5.36/5.47	c Coefficients are big enough for not using lower bounding.
5.36/5.47	c Coefficients are big enough for not using lower bounding.
5.36/5.47	c Coefficients are big enough for not using lower bounding.
5.36/5.48	c Coefficients are big enough for not using lower bounding.
5.36/5.48	c Coefficients are big enough for not using lower bounding.
5.36/5.48	c Coefficients are big enough for not using lower bounding.
5.36/5.48	c Coefficients are big enough for not using lower bounding.
5.36/5.49	c Coefficients are big enough for not using lower bounding.
5.36/5.49	c Coefficients are big enough for not using lower bounding.
5.36/5.49	c Coefficients are big enough for not using lower bounding.
5.36/5.49	c Coefficients are big enough for not using lower bounding.
5.36/5.50	c Coefficients are big enough for not using lower bounding.
5.36/5.50	c Coefficients are big enough for not using lower bounding.
5.45/5.50	c Coefficients are big enough for not using lower bounding.
5.45/5.50	c Coefficients are big enough for not using lower bounding.
5.45/5.51	c Coefficients are big enough for not using lower bounding.
5.45/5.51	c Coefficients are big enough for not using lower bounding.
5.45/5.51	c Coefficients are big enough for not using lower bounding.
5.45/5.51	c Coefficients are big enough for not using lower bounding.
5.45/5.52	c Coefficients are big enough for not using lower bounding.
5.45/5.52	c Coefficients are big enough for not using lower bounding.
5.45/5.52	c Coefficients are big enough for not using lower bounding.
5.45/5.52	c Coefficients are big enough for not using lower bounding.
5.45/5.52	c Coefficients are big enough for not using lower bounding.
5.45/5.53	c Coefficients are big enough for not using lower bounding.
5.45/5.53	c Coefficients are big enough for not using lower bounding.
5.45/5.53	c Coefficients are big enough for not using lower bounding.
5.45/5.53	c Coefficients are big enough for not using lower bounding.
5.45/5.54	c Coefficients are big enough for not using lower bounding.
5.45/5.54	c Coefficients are big enough for not using lower bounding.
5.45/5.54	c Coefficients are big enough for not using lower bounding.
5.45/5.54	c Coefficients are big enough for not using lower bounding.
5.45/5.54	c Coefficients are big enough for not using lower bounding.
5.45/5.55	c Coefficients are big enough for not using lower bounding.
5.45/5.55	c Coefficients are big enough for not using lower bounding.
5.45/5.55	c Coefficients are big enough for not using lower bounding.
5.45/5.55	c Coefficients are big enough for not using lower bounding.
5.45/5.56	c Coefficients are big enough for not using lower bounding.
5.45/5.56	c Coefficients are big enough for not using lower bounding.
5.45/5.56	c Coefficients are big enough for not using lower bounding.
5.45/5.56	c Coefficients are big enough for not using lower bounding.
5.45/5.56	c Coefficients are big enough for not using lower bounding.
5.45/5.57	c Coefficients are big enough for not using lower bounding.
5.45/5.57	c Coefficients are big enough for not using lower bounding.
5.45/5.57	c Coefficients are big enough for not using lower bounding.
5.45/5.57	c Coefficients are big enough for not using lower bounding.
5.45/5.58	c Coefficients are big enough for not using lower bounding.
5.45/5.58	c Coefficients are big enough for not using lower bounding.
5.45/5.58	c Coefficients are big enough for not using lower bounding.
5.45/5.58	c Coefficients are big enough for not using lower bounding.
5.45/5.58	c Coefficients are big enough for not using lower bounding.
5.45/5.59	c Coefficients are big enough for not using lower bounding.
5.45/5.59	c Coefficients are big enough for not using lower bounding.
5.45/5.59	c Coefficients are big enough for not using lower bounding.
5.45/5.59	c Coefficients are big enough for not using lower bounding.
5.45/5.60	c Coefficients are big enough for not using lower bounding.
5.55/5.60	c Coefficients are big enough for not using lower bounding.
5.55/5.60	c Coefficients are big enough for not using lower bounding.
5.55/5.60	c Coefficients are big enough for not using lower bounding.
5.55/5.60	c Coefficients are big enough for not using lower bounding.
5.55/5.61	c Coefficients are big enough for not using lower bounding.
5.55/5.61	c Coefficients are big enough for not using lower bounding.
5.55/5.61	c Coefficients are big enough for not using lower bounding.
5.55/5.61	c Coefficients are big enough for not using lower bounding.
5.55/5.62	c Coefficients are big enough for not using lower bounding.
5.55/5.62	c Coefficients are big enough for not using lower bounding.
5.55/5.62	c Coefficients are big enough for not using lower bounding.
5.55/5.62	c Coefficients are big enough for not using lower bounding.
5.55/5.63	c Coefficients are big enough for not using lower bounding.
5.55/5.63	c Coefficients are big enough for not using lower bounding.
5.55/5.63	c Coefficients are big enough for not using lower bounding.
5.55/5.63	c Coefficients are big enough for not using lower bounding.
5.55/5.64	c Coefficients are big enough for not using lower bounding.
5.55/5.64	c Coefficients are big enough for not using lower bounding.
5.55/5.64	c Coefficients are big enough for not using lower bounding.
5.55/5.64	c Coefficients are big enough for not using lower bounding.
5.55/5.65	c Coefficients are big enough for not using lower bounding.
5.55/5.65	c Coefficients are big enough for not using lower bounding.
5.55/5.65	c Coefficients are big enough for not using lower bounding.
5.55/5.65	c Coefficients are big enough for not using lower bounding.
5.55/5.65	c Coefficients are big enough for not using lower bounding.
5.55/5.66	c Coefficients are big enough for not using lower bounding.
5.55/5.66	c Coefficients are big enough for not using lower bounding.
5.55/5.66	c Coefficients are big enough for not using lower bounding.
5.55/5.66	c Coefficients are big enough for not using lower bounding.
5.55/5.67	c Coefficients are big enough for not using lower bounding.
5.55/5.67	c Coefficients are big enough for not using lower bounding.
5.55/5.67	c Coefficients are big enough for not using lower bounding.
5.55/5.67	c Coefficients are big enough for not using lower bounding.
5.55/5.68	c Coefficients are big enough for not using lower bounding.
5.55/5.68	c Coefficients are big enough for not using lower bounding.
5.55/5.68	c Coefficients are big enough for not using lower bounding.
5.55/5.68	c Coefficients are big enough for not using lower bounding.
5.55/5.69	c Coefficients are big enough for not using lower bounding.
5.55/5.69	c Coefficients are big enough for not using lower bounding.
5.55/5.69	c Coefficients are big enough for not using lower bounding.
5.55/5.69	c Coefficients are big enough for not using lower bounding.
5.65/5.70	c Coefficients are big enough for not using lower bounding.
5.65/5.70	c Coefficients are big enough for not using lower bounding.
5.65/5.70	c Coefficients are big enough for not using lower bounding.
5.65/5.70	c Coefficients are big enough for not using lower bounding.
5.65/5.71	c Coefficients are big enough for not using lower bounding.
5.65/5.71	c Coefficients are big enough for not using lower bounding.
5.65/5.71	c Coefficients are big enough for not using lower bounding.
5.65/5.71	c Coefficients are big enough for not using lower bounding.
5.65/5.72	c Coefficients are big enough for not using lower bounding.
5.65/5.72	c Coefficients are big enough for not using lower bounding.
5.65/5.72	c Coefficients are big enough for not using lower bounding.
5.65/5.72	c Coefficients are big enough for not using lower bounding.
5.65/5.73	c Coefficients are big enough for not using lower bounding.
5.65/5.73	c Coefficients are big enough for not using lower bounding.
5.65/5.73	c Coefficients are big enough for not using lower bounding.
5.65/5.73	c Coefficients are big enough for not using lower bounding.
5.65/5.74	c Coefficients are big enough for not using lower bounding.
5.65/5.74	c Coefficients are big enough for not using lower bounding.
5.65/5.74	c Coefficients are big enough for not using lower bounding.
5.65/5.74	c Coefficients are big enough for not using lower bounding.
5.65/5.75	c Coefficients are big enough for not using lower bounding.
5.65/5.75	c Coefficients are big enough for not using lower bounding.
5.65/5.75	c Coefficients are big enough for not using lower bounding.
5.65/5.75	c Coefficients are big enough for not using lower bounding.
5.65/5.75	c Coefficients are big enough for not using lower bounding.
5.65/5.76	c Coefficients are big enough for not using lower bounding.
5.65/5.76	c Coefficients are big enough for not using lower bounding.
5.65/5.76	c Coefficients are big enough for not using lower bounding.
5.65/5.76	c Coefficients are big enough for not using lower bounding.
5.65/5.76	c Coefficients are big enough for not using lower bounding.
5.65/5.76	c Coefficients are big enough for not using lower bounding.
5.65/5.77	c Coefficients are big enough for not using lower bounding.
5.65/5.77	c Coefficients are big enough for not using lower bounding.
5.65/5.77	c Coefficients are big enough for not using lower bounding.
5.65/5.77	c Coefficients are big enough for not using lower bounding.
5.65/5.77	c Coefficients are big enough for not using lower bounding.
5.65/5.78	c Coefficients are big enough for not using lower bounding.
5.65/5.78	c Coefficients are big enough for not using lower bounding.
5.65/5.78	c Coefficients are big enough for not using lower bounding.
5.65/5.78	c Coefficients are big enough for not using lower bounding.
5.65/5.78	c Coefficients are big enough for not using lower bounding.
5.65/5.79	c Coefficients are big enough for not using lower bounding.
5.65/5.79	c Coefficients are big enough for not using lower bounding.
5.65/5.79	c Coefficients are big enough for not using lower bounding.
5.65/5.79	c Coefficients are big enough for not using lower bounding.
5.65/5.79	c Coefficients are big enough for not using lower bounding.
5.65/5.79	c Coefficients are big enough for not using lower bounding.
5.65/5.80	c Coefficients are big enough for not using lower bounding.
5.75/5.80	c Coefficients are big enough for not using lower bounding.
5.75/5.80	c Coefficients are big enough for not using lower bounding.
5.75/5.80	c Coefficients are big enough for not using lower bounding.
5.75/5.80	c Coefficients are big enough for not using lower bounding.
5.75/5.81	c Coefficients are big enough for not using lower bounding.
5.75/5.81	c Coefficients are big enough for not using lower bounding.
5.75/5.81	c Coefficients are big enough for not using lower bounding.
5.75/5.81	c Coefficients are big enough for not using lower bounding.
5.75/5.81	c Coefficients are big enough for not using lower bounding.
5.75/5.82	c Coefficients are big enough for not using lower bounding.
5.75/5.82	c Coefficients are big enough for not using lower bounding.
5.75/5.82	c Coefficients are big enough for not using lower bounding.
5.75/5.82	c Coefficients are big enough for not using lower bounding.
5.75/5.83	c Coefficients are big enough for not using lower bounding.
5.75/5.83	c Coefficients are big enough for not using lower bounding.
5.75/5.83	c Coefficients are big enough for not using lower bounding.
5.75/5.84	c Coefficients are big enough for not using lower bounding.
5.75/5.84	c Coefficients are big enough for not using lower bounding.
5.75/5.84	c Coefficients are big enough for not using lower bounding.
5.75/5.84	c Coefficients are big enough for not using lower bounding.
5.75/5.85	c Coefficients are big enough for not using lower bounding.
5.75/5.85	c Coefficients are big enough for not using lower bounding.
5.75/5.85	c Coefficients are big enough for not using lower bounding.
5.75/5.85	c Coefficients are big enough for not using lower bounding.
5.75/5.85	c Coefficients are big enough for not using lower bounding.
5.75/5.86	c Coefficients are big enough for not using lower bounding.
5.75/5.86	c Coefficients are big enough for not using lower bounding.
5.75/5.86	c Coefficients are big enough for not using lower bounding.
5.75/5.86	c Coefficients are big enough for not using lower bounding.
5.75/5.87	c Coefficients are big enough for not using lower bounding.
5.75/5.87	c Coefficients are big enough for not using lower bounding.
5.75/5.87	c Coefficients are big enough for not using lower bounding.
5.75/5.87	c Coefficients are big enough for not using lower bounding.
5.75/5.87	c Coefficients are big enough for not using lower bounding.
5.75/5.87	c Coefficients are big enough for not using lower bounding.
5.75/5.87	c Coefficients are big enough for not using lower bounding.
5.75/5.87	c Coefficients are big enough for not using lower bounding.
5.75/5.87	c Coefficients are big enough for not using lower bounding.
5.75/5.87	c Coefficients are big enough for not using lower bounding.
5.75/5.87	c Coefficients are big enough for not using lower bounding.
5.75/5.87	c Coefficients are big enough for not using lower bounding.
5.75/5.87	c Coefficients are big enough for not using lower bounding.
5.75/5.87	c Coefficients are big enough for not using lower bounding.
5.75/5.87	c Coefficients are big enough for not using lower bounding.
5.75/5.87	c Coefficients are big enough for not using lower bounding.
5.75/5.87	c Coefficients are big enough for not using lower bounding.
5.75/5.87	c Coefficients are big enough for not using lower bounding.
5.75/5.87	c Coefficients are big enough for not using lower bounding.
5.75/5.87	c Coefficients are big enough for not using lower bounding.
5.75/5.87	c Coefficients are big enough for not using lower bounding.
5.75/5.87	c Coefficients are big enough for not using lower bounding.
5.75/5.87	c Coefficients are big enough for not using lower bounding.
5.75/5.87	c Coefficients are big enough for not using lower bounding.
5.75/5.87	c Coefficients are big enough for not using lower bounding.
5.75/5.87	c Coefficients are big enough for not using lower bounding.
5.75/5.87	c Coefficients are big enough for not using lower bounding.
5.75/5.87	c Coefficients are big enough for not using lower bounding.
5.75/5.87	c Coefficients are big enough for not using lower bounding.
5.75/5.87	c Coefficients are big enough for not using lower bounding.
5.75/5.87	c Coefficients are big enough for not using lower bounding.
5.75/5.87	c Coefficients are big enough for not using lower bounding.
5.75/5.88	c Coefficients are big enough for not using lower bounding.
5.75/5.88	c Coefficients are big enough for not using lower bounding.
5.75/5.88	c Coefficients are big enough for not using lower bounding.
5.75/5.88	c Coefficients are big enough for not using lower bounding.
5.75/5.88	c Coefficients are big enough for not using lower bounding.
5.75/5.88	c Coefficients are big enough for not using lower bounding.
5.75/5.88	c Coefficients are big enough for not using lower bounding.
5.75/5.88	c Coefficients are big enough for not using lower bounding.
5.75/5.88	c Coefficients are big enough for not using lower bounding.
5.75/5.88	c Coefficients are big enough for not using lower bounding.
5.75/5.88	c Coefficients are big enough for not using lower bounding.
5.75/5.88	c Coefficients are big enough for not using lower bounding.
5.75/5.88	c Coefficients are big enough for not using lower bounding.
5.75/5.88	c Coefficients are big enough for not using lower bounding.
5.75/5.88	c Coefficients are big enough for not using lower bounding.
5.75/5.88	c Coefficients are big enough for not using lower bounding.
5.75/5.88	c Coefficients are big enough for not using lower bounding.
5.75/5.88	c Coefficients are big enough for not using lower bounding.
5.75/5.88	c Coefficients are big enough for not using lower bounding.
5.75/5.88	c Coefficients are big enough for not using lower bounding.
5.75/5.88	c Coefficients are big enough for not using lower bounding.
5.75/5.88	c Coefficients are big enough for not using lower bounding.
5.75/5.88	c Coefficients are big enough for not using lower bounding.
5.75/5.88	c Coefficients are big enough for not using lower bounding.
5.75/5.88	c Coefficients are big enough for not using lower bounding.
5.75/5.88	c Coefficients are big enough for not using lower bounding.
5.75/5.88	c Coefficients are big enough for not using lower bounding.
5.75/5.88	c Coefficients are big enough for not using lower bounding.
5.75/5.88	c Coefficients are big enough for not using lower bounding.
5.75/5.88	c Coefficients are big enough for not using lower bounding.
5.75/5.88	c Coefficients are big enough for not using lower bounding.
5.75/5.88	c Coefficients are big enough for not using lower bounding.
5.75/5.88	c Coefficients are big enough for not using lower bounding.
5.75/5.88	c Coefficients are big enough for not using lower bounding.
5.75/5.89	c Coefficients are big enough for not using lower bounding.
5.75/5.89	c Coefficients are big enough for not using lower bounding.
5.75/5.89	c Coefficients are big enough for not using lower bounding.
5.75/5.89	c Coefficients are big enough for not using lower bounding.
5.75/5.89	c Coefficients are big enough for not using lower bounding.
5.75/5.89	c Coefficients are big enough for not using lower bounding.
5.75/5.89	c Coefficients are big enough for not using lower bounding.
5.75/5.89	c Coefficients are big enough for not using lower bounding.
5.75/5.89	c Coefficients are big enough for not using lower bounding.
5.75/5.89	c Coefficients are big enough for not using lower bounding.
5.75/5.89	c Coefficients are big enough for not using lower bounding.
5.75/5.89	c Coefficients are big enough for not using lower bounding.
5.75/5.89	c Coefficients are big enough for not using lower bounding.
5.75/5.89	c Coefficients are big enough for not using lower bounding.
5.75/5.89	c Coefficients are big enough for not using lower bounding.
5.75/5.89	c Coefficients are big enough for not using lower bounding.
5.75/5.89	c Coefficients are big enough for not using lower bounding.
5.75/5.89	c Coefficients are big enough for not using lower bounding.
5.75/5.89	c Coefficients are big enough for not using lower bounding.
5.75/5.89	c Coefficients are big enough for not using lower bounding.
5.75/5.89	c Coefficients are big enough for not using lower bounding.
5.75/5.89	c Coefficients are big enough for not using lower bounding.
5.75/5.89	c Coefficients are big enough for not using lower bounding.
5.75/5.89	c Coefficients are big enough for not using lower bounding.
5.75/5.89	c Coefficients are big enough for not using lower bounding.
5.75/5.89	c Coefficients are big enough for not using lower bounding.
5.75/5.89	c Coefficients are big enough for not using lower bounding.
5.75/5.89	c Coefficients are big enough for not using lower bounding.
5.75/5.89	c Coefficients are big enough for not using lower bounding.
5.75/5.89	c Coefficients are big enough for not using lower bounding.
5.75/5.89	c Coefficients are big enough for not using lower bounding.
5.75/5.89	c Coefficients are big enough for not using lower bounding.
5.75/5.89	c Coefficients are big enough for not using lower bounding.
5.75/5.89	c Coefficients are big enough for not using lower bounding.
5.75/5.89	c Coefficients are big enough for not using lower bounding.
5.75/5.89	c Coefficients are big enough for not using lower bounding.
5.75/5.89	c Coefficients are big enough for not using lower bounding.
5.75/5.89	c Coefficients are big enough for not using lower bounding.
5.75/5.89	c Coefficients are big enough for not using lower bounding.
5.75/5.89	c Coefficients are big enough for not using lower bounding.
5.75/5.89	c Coefficients are big enough for not using lower bounding.
5.75/5.90	c Coefficients are big enough for not using lower bounding.
5.75/5.90	c Coefficients are big enough for not using lower bounding.
5.75/5.90	c Coefficients are big enough for not using lower bounding.
5.75/5.90	c Coefficients are big enough for not using lower bounding.
5.75/5.90	c Coefficients are big enough for not using lower bounding.
5.75/5.90	c Coefficients are big enough for not using lower bounding.
5.75/5.90	c Coefficients are big enough for not using lower bounding.
5.75/5.90	c Coefficients are big enough for not using lower bounding.
5.75/5.90	c Coefficients are big enough for not using lower bounding.
5.85/5.90	c Coefficients are big enough for not using lower bounding.
5.85/5.90	c Coefficients are big enough for not using lower bounding.
5.85/5.90	c Coefficients are big enough for not using lower bounding.
5.85/5.90	c Coefficients are big enough for not using lower bounding.
5.85/5.90	c Coefficients are big enough for not using lower bounding.
5.85/5.90	c Coefficients are big enough for not using lower bounding.
5.85/5.90	c Coefficients are big enough for not using lower bounding.
5.85/5.90	c Coefficients are big enough for not using lower bounding.
5.85/5.90	c Coefficients are big enough for not using lower bounding.
5.85/5.90	c Coefficients are big enough for not using lower bounding.
5.85/5.90	c Coefficients are big enough for not using lower bounding.
5.85/5.90	c Coefficients are big enough for not using lower bounding.
5.85/5.90	c Coefficients are big enough for not using lower bounding.
5.85/5.90	c Coefficients are big enough for not using lower bounding.
5.85/5.90	c Coefficients are big enough for not using lower bounding.
5.85/5.90	c Coefficients are big enough for not using lower bounding.
5.85/5.90	c Coefficients are big enough for not using lower bounding.
5.85/5.90	c Coefficients are big enough for not using lower bounding.
5.85/5.90	c Coefficients are big enough for not using lower bounding.
5.85/5.90	c Coefficients are big enough for not using lower bounding.
5.85/5.90	c Coefficients are big enough for not using lower bounding.
5.85/5.90	c Coefficients are big enough for not using lower bounding.
5.85/5.90	c Coefficients are big enough for not using lower bounding.
5.85/5.90	c Coefficients are big enough for not using lower bounding.
5.85/5.90	c Coefficients are big enough for not using lower bounding.
5.85/5.90	c Coefficients are big enough for not using lower bounding.
5.85/5.90	c Coefficients are big enough for not using lower bounding.
5.85/5.90	c Coefficients are big enough for not using lower bounding.
5.85/5.90	c Coefficients are big enough for not using lower bounding.
5.85/5.90	c Coefficients are big enough for not using lower bounding.
5.85/5.90	c Coefficients are big enough for not using lower bounding.
5.85/5.90	c Coefficients are big enough for not using lower bounding.
5.85/5.91	c Coefficients are big enough for not using lower bounding.
5.85/5.91	c Coefficients are big enough for not using lower bounding.
5.85/5.91	c Coefficients are big enough for not using lower bounding.
5.85/5.91	c Coefficients are big enough for not using lower bounding.
5.85/5.91	c Coefficients are big enough for not using lower bounding.
5.85/5.91	c Coefficients are big enough for not using lower bounding.
5.85/5.91	c Coefficients are big enough for not using lower bounding.
5.85/5.91	c Coefficients are big enough for not using lower bounding.
5.85/5.91	c Coefficients are big enough for not using lower bounding.
5.85/5.91	c Coefficients are big enough for not using lower bounding.
5.85/5.91	c Coefficients are big enough for not using lower bounding.
5.85/5.91	c Coefficients are big enough for not using lower bounding.
5.85/5.91	c Coefficients are big enough for not using lower bounding.
5.85/5.91	c Coefficients are big enough for not using lower bounding.
5.85/5.91	c Coefficients are big enough for not using lower bounding.
5.85/5.91	c Coefficients are big enough for not using lower bounding.
5.85/5.91	c Coefficients are big enough for not using lower bounding.
5.85/5.91	c Coefficients are big enough for not using lower bounding.
5.85/5.91	c Coefficients are big enough for not using lower bounding.
5.85/5.91	c Coefficients are big enough for not using lower bounding.
5.85/5.91	c Coefficients are big enough for not using lower bounding.
5.85/5.91	c Coefficients are big enough for not using lower bounding.
5.85/5.91	c Coefficients are big enough for not using lower bounding.
5.85/5.91	c Coefficients are big enough for not using lower bounding.
5.85/5.91	c Coefficients are big enough for not using lower bounding.
5.85/5.91	c Coefficients are big enough for not using lower bounding.
5.85/5.91	c Coefficients are big enough for not using lower bounding.
5.85/5.91	c Coefficients are big enough for not using lower bounding.
5.85/5.91	c Coefficients are big enough for not using lower bounding.
5.85/5.91	c Coefficients are big enough for not using lower bounding.
5.85/5.91	c Coefficients are big enough for not using lower bounding.
5.85/5.91	c Coefficients are big enough for not using lower bounding.
5.85/5.91	c Coefficients are big enough for not using lower bounding.
5.85/5.91	c Coefficients are big enough for not using lower bounding.
5.85/5.91	c Coefficients are big enough for not using lower bounding.
5.85/5.91	c Coefficients are big enough for not using lower bounding.
5.85/5.91	c Coefficients are big enough for not using lower bounding.
5.85/5.91	c Coefficients are big enough for not using lower bounding.
5.85/5.91	c Coefficients are big enough for not using lower bounding.
5.85/5.92	c Coefficients are big enough for not using lower bounding.
5.85/5.92	c Coefficients are big enough for not using lower bounding.
5.85/5.92	c Coefficients are big enough for not using lower bounding.
5.85/5.92	c Coefficients are big enough for not using lower bounding.
5.85/5.92	c Coefficients are big enough for not using lower bounding.
5.85/5.92	c Coefficients are big enough for not using lower bounding.
5.85/5.93	c Coefficients are big enough for not using lower bounding.
5.85/5.93	c Coefficients are big enough for not using lower bounding.
5.85/5.93	c Coefficients are big enough for not using lower bounding.
5.85/5.93	c Coefficients are big enough for not using lower bounding.
5.85/5.93	c Coefficients are big enough for not using lower bounding.
5.85/5.93	c Coefficients are big enough for not using lower bounding.
5.85/5.94	c Coefficients are big enough for not using lower bounding.
5.85/5.94	c Coefficients are big enough for not using lower bounding.
5.85/5.94	c Coefficients are big enough for not using lower bounding.
5.85/5.94	c Coefficients are big enough for not using lower bounding.
5.85/5.94	c Coefficients are big enough for not using lower bounding.
5.85/5.94	c Coefficients are big enough for not using lower bounding.
5.85/5.95	c Coefficients are big enough for not using lower bounding.
5.85/5.95	c Coefficients are big enough for not using lower bounding.
5.85/5.95	c Coefficients are big enough for not using lower bounding.
5.85/5.95	c Coefficients are big enough for not using lower bounding.
5.85/5.95	c Coefficients are big enough for not using lower bounding.
5.85/5.95	c Coefficients are big enough for not using lower bounding.
5.85/5.96	c Coefficients are big enough for not using lower bounding.
5.85/5.96	c Coefficients are big enough for not using lower bounding.
5.85/5.96	c Coefficients are big enough for not using lower bounding.
5.85/5.96	c Coefficients are big enough for not using lower bounding.
5.85/5.96	c Coefficients are big enough for not using lower bounding.
5.85/5.96	c Coefficients are big enough for not using lower bounding.
5.85/5.97	c Coefficients are big enough for not using lower bounding.
5.85/5.97	c Coefficients are big enough for not using lower bounding.
5.85/5.97	c Coefficients are big enough for not using lower bounding.
5.85/5.97	c Coefficients are big enough for not using lower bounding.
5.85/5.97	c Coefficients are big enough for not using lower bounding.
5.85/5.97	c Coefficients are big enough for not using lower bounding.
5.85/5.98	c Coefficients are big enough for not using lower bounding.
5.85/5.98	c Coefficients are big enough for not using lower bounding.
5.85/5.98	c Coefficients are big enough for not using lower bounding.
5.85/5.98	c Coefficients are big enough for not using lower bounding.
5.85/5.98	c Coefficients are big enough for not using lower bounding.
5.85/5.98	c Coefficients are big enough for not using lower bounding.
5.85/5.99	c Coefficients are big enough for not using lower bounding.
5.85/5.99	c Coefficients are big enough for not using lower bounding.
5.85/5.99	c Coefficients are big enough for not using lower bounding.
5.85/5.99	c Coefficients are big enough for not using lower bounding.
5.85/5.99	c Coefficients are big enough for not using lower bounding.
5.85/6.00	c Coefficients are big enough for not using lower bounding.
5.94/6.00	c Coefficients are big enough for not using lower bounding.
5.94/6.00	c Coefficients are big enough for not using lower bounding.
5.94/6.00	c Coefficients are big enough for not using lower bounding.
5.94/6.00	c Coefficients are big enough for not using lower bounding.
5.94/6.00	c Coefficients are big enough for not using lower bounding.
5.94/6.01	c Coefficients are big enough for not using lower bounding.
5.94/6.01	c Coefficients are big enough for not using lower bounding.
5.94/6.01	c Coefficients are big enough for not using lower bounding.
5.94/6.01	c Coefficients are big enough for not using lower bounding.
5.94/6.01	c Coefficients are big enough for not using lower bounding.
5.94/6.02	c Coefficients are big enough for not using lower bounding.
5.94/6.02	c Coefficients are big enough for not using lower bounding.
5.94/6.02	c Coefficients are big enough for not using lower bounding.
5.94/6.02	c Coefficients are big enough for not using lower bounding.
5.94/6.03	c Coefficients are big enough for not using lower bounding.
5.94/6.03	c Coefficients are big enough for not using lower bounding.
5.94/6.03	c Coefficients are big enough for not using lower bounding.
5.94/6.03	c Coefficients are big enough for not using lower bounding.
5.94/6.03	c Coefficients are big enough for not using lower bounding.
5.94/6.04	c Coefficients are big enough for not using lower bounding.
5.94/6.04	c Coefficients are big enough for not using lower bounding.
5.94/6.04	c Coefficients are big enough for not using lower bounding.
5.94/6.04	c Coefficients are big enough for not using lower bounding.
5.94/6.05	c Coefficients are big enough for not using lower bounding.
5.94/6.05	c Coefficients are big enough for not using lower bounding.
5.94/6.05	c Coefficients are big enough for not using lower bounding.
5.94/6.05	c Coefficients are big enough for not using lower bounding.
5.94/6.05	c Coefficients are big enough for not using lower bounding.
5.94/6.06	c Coefficients are big enough for not using lower bounding.
5.94/6.06	c Coefficients are big enough for not using lower bounding.
5.94/6.06	c Coefficients are big enough for not using lower bounding.
5.94/6.06	c Coefficients are big enough for not using lower bounding.
5.94/6.06	c Coefficients are big enough for not using lower bounding.
5.94/6.07	c Coefficients are big enough for not using lower bounding.
5.94/6.07	c Coefficients are big enough for not using lower bounding.
5.94/6.07	c Coefficients are big enough for not using lower bounding.
5.94/6.07	c Coefficients are big enough for not using lower bounding.
5.94/6.08	c Coefficients are big enough for not using lower bounding.
5.94/6.08	c Coefficients are big enough for not using lower bounding.
5.94/6.08	c Coefficients are big enough for not using lower bounding.
5.94/6.08	c Coefficients are big enough for not using lower bounding.
5.94/6.09	c Coefficients are big enough for not using lower bounding.
5.94/6.09	c Coefficients are big enough for not using lower bounding.
5.94/6.09	c Coefficients are big enough for not using lower bounding.
5.94/6.09	c Coefficients are big enough for not using lower bounding.
5.94/6.10	c Coefficients are big enough for not using lower bounding.
6.04/6.10	c Coefficients are big enough for not using lower bounding.
6.04/6.10	c Coefficients are big enough for not using lower bounding.
6.04/6.10	c Coefficients are big enough for not using lower bounding.
6.04/6.10	c Coefficients are big enough for not using lower bounding.
6.04/6.11	c Coefficients are big enough for not using lower bounding.
6.04/6.11	c Coefficients are big enough for not using lower bounding.
6.04/6.11	c Coefficients are big enough for not using lower bounding.
6.04/6.11	c Coefficients are big enough for not using lower bounding.
6.04/6.12	c Coefficients are big enough for not using lower bounding.
6.04/6.12	c Coefficients are big enough for not using lower bounding.
6.04/6.12	c Coefficients are big enough for not using lower bounding.
6.04/6.12	c Coefficients are big enough for not using lower bounding.
6.04/6.12	c Coefficients are big enough for not using lower bounding.
6.04/6.13	c Coefficients are big enough for not using lower bounding.
6.04/6.13	c Coefficients are big enough for not using lower bounding.
6.04/6.13	c Coefficients are big enough for not using lower bounding.
6.04/6.13	c Coefficients are big enough for not using lower bounding.
6.04/6.13	c Coefficients are big enough for not using lower bounding.
6.04/6.14	c Coefficients are big enough for not using lower bounding.
6.04/6.14	c Coefficients are big enough for not using lower bounding.
6.04/6.14	c Coefficients are big enough for not using lower bounding.
6.04/6.14	c Coefficients are big enough for not using lower bounding.
6.04/6.15	c Coefficients are big enough for not using lower bounding.
6.04/6.15	c Coefficients are big enough for not using lower bounding.
6.04/6.15	c Coefficients are big enough for not using lower bounding.
6.04/6.15	c Coefficients are big enough for not using lower bounding.
6.04/6.15	c Coefficients are big enough for not using lower bounding.
6.04/6.16	c Coefficients are big enough for not using lower bounding.
6.04/6.16	c Coefficients are big enough for not using lower bounding.
6.04/6.16	c Coefficients are big enough for not using lower bounding.
6.04/6.16	c Coefficients are big enough for not using lower bounding.
6.04/6.17	c Coefficients are big enough for not using lower bounding.
6.04/6.17	c Coefficients are big enough for not using lower bounding.
6.04/6.17	c Coefficients are big enough for not using lower bounding.
6.04/6.17	c Coefficients are big enough for not using lower bounding.
6.04/6.18	c Coefficients are big enough for not using lower bounding.
6.04/6.18	c Coefficients are big enough for not using lower bounding.
6.04/6.18	c Coefficients are big enough for not using lower bounding.
6.04/6.18	c Coefficients are big enough for not using lower bounding.
6.04/6.19	c Coefficients are big enough for not using lower bounding.
6.04/6.19	c Coefficients are big enough for not using lower bounding.
6.04/6.19	c Coefficients are big enough for not using lower bounding.
6.04/6.19	c Coefficients are big enough for not using lower bounding.
6.04/6.20	c Coefficients are big enough for not using lower bounding.
6.14/6.20	c Coefficients are big enough for not using lower bounding.
6.14/6.20	c Coefficients are big enough for not using lower bounding.
6.14/6.20	c Coefficients are big enough for not using lower bounding.
6.14/6.21	c Coefficients are big enough for not using lower bounding.
6.14/6.21	c Coefficients are big enough for not using lower bounding.
6.14/6.21	c Coefficients are big enough for not using lower bounding.
6.14/6.21	c Coefficients are big enough for not using lower bounding.
6.14/6.22	c Coefficients are big enough for not using lower bounding.
6.14/6.22	c Coefficients are big enough for not using lower bounding.
6.14/6.22	c Coefficients are big enough for not using lower bounding.
6.14/6.22	c Coefficients are big enough for not using lower bounding.
6.14/6.22	c Coefficients are big enough for not using lower bounding.
6.14/6.23	c Coefficients are big enough for not using lower bounding.
6.14/6.23	c Coefficients are big enough for not using lower bounding.
6.14/6.23	c Coefficients are big enough for not using lower bounding.
6.14/6.23	c Coefficients are big enough for not using lower bounding.
6.14/6.23	c Coefficients are big enough for not using lower bounding.
6.14/6.23	c Coefficients are big enough for not using lower bounding.
6.14/6.24	c Coefficients are big enough for not using lower bounding.
6.14/6.24	c Coefficients are big enough for not using lower bounding.
6.14/6.24	c Coefficients are big enough for not using lower bounding.
6.14/6.24	c Coefficients are big enough for not using lower bounding.
6.14/6.25	c Coefficients are big enough for not using lower bounding.
6.14/6.25	c Coefficients are big enough for not using lower bounding.
6.14/6.25	c Coefficients are big enough for not using lower bounding.
6.14/6.26	c Coefficients are big enough for not using lower bounding.
6.14/6.26	c Coefficients are big enough for not using lower bounding.
6.14/6.26	c Coefficients are big enough for not using lower bounding.
6.14/6.27	c Coefficients are big enough for not using lower bounding.
6.14/6.27	c Coefficients are big enough for not using lower bounding.
6.14/6.28	c Coefficients are big enough for not using lower bounding.
6.14/6.28	c Coefficients are big enough for not using lower bounding.
6.14/6.28	c Coefficients are big enough for not using lower bounding.
6.14/6.29	c Coefficients are big enough for not using lower bounding.
6.14/6.29	c Coefficients are big enough for not using lower bounding.
6.14/6.29	c Coefficients are big enough for not using lower bounding.
6.24/6.30	c Coefficients are big enough for not using lower bounding.
6.24/6.30	c Coefficients are big enough for not using lower bounding.
6.24/6.31	c Coefficients are big enough for not using lower bounding.
6.24/6.31	c Coefficients are big enough for not using lower bounding.
6.24/6.31	c Coefficients are big enough for not using lower bounding.
6.24/6.32	c Coefficients are big enough for not using lower bounding.
6.24/6.32	c Coefficients are big enough for not using lower bounding.
6.24/6.32	c Coefficients are big enough for not using lower bounding.
6.24/6.33	c Coefficients are big enough for not using lower bounding.
6.24/6.33	c Coefficients are big enough for not using lower bounding.
6.24/6.33	c Coefficients are big enough for not using lower bounding.
6.24/6.34	c Coefficients are big enough for not using lower bounding.
6.24/6.34	c Coefficients are big enough for not using lower bounding.
6.24/6.35	c Coefficients are big enough for not using lower bounding.
6.24/6.35	c Coefficients are big enough for not using lower bounding.
6.24/6.35	c Coefficients are big enough for not using lower bounding.
6.24/6.36	c Coefficients are big enough for not using lower bounding.
6.24/6.36	c Coefficients are big enough for not using lower bounding.
6.24/6.37	c Coefficients are big enough for not using lower bounding.
6.24/6.37	c Coefficients are big enough for not using lower bounding.
6.24/6.37	c Coefficients are big enough for not using lower bounding.
6.24/6.38	c Coefficients are big enough for not using lower bounding.
6.24/6.38	c Coefficients are big enough for not using lower bounding.
6.24/6.39	c Coefficients are big enough for not using lower bounding.
6.24/6.39	c Coefficients are big enough for not using lower bounding.
6.24/6.39	c Coefficients are big enough for not using lower bounding.
6.24/6.40	c Coefficients are big enough for not using lower bounding.
6.34/6.40	c Coefficients are big enough for not using lower bounding.
6.34/6.40	c Coefficients are big enough for not using lower bounding.
6.34/6.41	c Coefficients are big enough for not using lower bounding.
6.34/6.41	c Coefficients are big enough for not using lower bounding.
6.34/6.41	c Coefficients are big enough for not using lower bounding.
6.34/6.42	c Coefficients are big enough for not using lower bounding.
6.34/6.42	c Coefficients are big enough for not using lower bounding.
6.34/6.43	c Coefficients are big enough for not using lower bounding.
6.34/6.43	c Coefficients are big enough for not using lower bounding.
6.34/6.43	c Coefficients are big enough for not using lower bounding.
6.34/6.44	c Coefficients are big enough for not using lower bounding.
6.34/6.44	c Coefficients are big enough for not using lower bounding.
6.34/6.44	c Coefficients are big enough for not using lower bounding.
6.34/6.45	c Coefficients are big enough for not using lower bounding.
6.34/6.45	c Coefficients are big enough for not using lower bounding.
6.34/6.46	c Coefficients are big enough for not using lower bounding.
6.34/6.46	c Coefficients are big enough for not using lower bounding.
6.34/6.46	c Coefficients are big enough for not using lower bounding.
6.34/6.47	c Coefficients are big enough for not using lower bounding.
6.34/6.47	c Coefficients are big enough for not using lower bounding.
6.34/6.48	c Coefficients are big enough for not using lower bounding.
6.34/6.48	c Coefficients are big enough for not using lower bounding.
6.34/6.48	c Coefficients are big enough for not using lower bounding.
6.34/6.49	c Coefficients are big enough for not using lower bounding.
6.34/6.49	c Coefficients are big enough for not using lower bounding.
6.34/6.50	c Coefficients are big enough for not using lower bounding.
6.45/6.50	c Coefficients are big enough for not using lower bounding.
6.45/6.51	c Coefficients are big enough for not using lower bounding.
6.45/6.51	c Coefficients are big enough for not using lower bounding.
6.45/6.52	c Coefficients are big enough for not using lower bounding.
6.45/6.52	c Coefficients are big enough for not using lower bounding.
6.45/6.53	c Coefficients are big enough for not using lower bounding.
6.45/6.53	c Coefficients are big enough for not using lower bounding.
6.45/6.54	c Coefficients are big enough for not using lower bounding.
6.45/6.54	c Coefficients are big enough for not using lower bounding.
6.45/6.55	c Coefficients are big enough for not using lower bounding.
6.45/6.55	c Coefficients are big enough for not using lower bounding.
6.45/6.56	c Coefficients are big enough for not using lower bounding.
6.45/6.56	c Coefficients are big enough for not using lower bounding.
6.45/6.57	c Coefficients are big enough for not using lower bounding.
6.45/6.57	c Coefficients are big enough for not using lower bounding.
6.45/6.58	c Coefficients are big enough for not using lower bounding.
6.45/6.58	c Coefficients are big enough for not using lower bounding.
6.45/6.59	c Coefficients are big enough for not using lower bounding.
6.45/6.59	c Coefficients are big enough for not using lower bounding.
6.45/6.60	c Coefficients are big enough for not using lower bounding.
6.45/6.60	c Coefficients are big enough for not using lower bounding.
6.55/6.60	c Coefficients are big enough for not using lower bounding.
6.55/6.61	c Coefficients are big enough for not using lower bounding.
6.55/6.61	c Coefficients are big enough for not using lower bounding.
6.55/6.62	c Coefficients are big enough for not using lower bounding.
6.55/6.62	c Coefficients are big enough for not using lower bounding.
6.55/6.63	c Coefficients are big enough for not using lower bounding.
6.55/6.63	c Coefficients are big enough for not using lower bounding.
6.55/6.64	c Coefficients are big enough for not using lower bounding.
6.55/6.64	c Coefficients are big enough for not using lower bounding.
6.55/6.65	c Coefficients are big enough for not using lower bounding.
6.55/6.66	c Coefficients are big enough for not using lower bounding.
6.55/6.66	c Coefficients are big enough for not using lower bounding.
6.55/6.67	c Coefficients are big enough for not using lower bounding.
6.55/6.67	c Coefficients are big enough for not using lower bounding.
6.55/6.68	c Coefficients are big enough for not using lower bounding.
6.55/6.68	c Coefficients are big enough for not using lower bounding.
6.55/6.69	c Coefficients are big enough for not using lower bounding.
6.55/6.69	c Coefficients are big enough for not using lower bounding.
6.55/6.70	c Coefficients are big enough for not using lower bounding.
6.64/6.70	c Coefficients are big enough for not using lower bounding.
6.64/6.71	c Coefficients are big enough for not using lower bounding.
6.64/6.71	c Coefficients are big enough for not using lower bounding.
6.64/6.72	c Coefficients are big enough for not using lower bounding.
6.64/6.72	c Coefficients are big enough for not using lower bounding.
6.64/6.73	c Coefficients are big enough for not using lower bounding.
6.64/6.73	c Coefficients are big enough for not using lower bounding.
6.64/6.74	c Coefficients are big enough for not using lower bounding.
6.64/6.74	c Coefficients are big enough for not using lower bounding.
6.64/6.75	c Coefficients are big enough for not using lower bounding.
6.64/6.75	c Coefficients are big enough for not using lower bounding.
6.64/6.76	c Coefficients are big enough for not using lower bounding.
6.64/6.76	c Coefficients are big enough for not using lower bounding.
6.64/6.77	c Coefficients are big enough for not using lower bounding.
6.64/6.77	c Coefficients are big enough for not using lower bounding.
6.64/6.78	c Coefficients are big enough for not using lower bounding.
6.64/6.78	c Coefficients are big enough for not using lower bounding.
6.64/6.79	c Coefficients are big enough for not using lower bounding.
6.64/6.79	c Coefficients are big enough for not using lower bounding.
6.74/6.80	c Coefficients are big enough for not using lower bounding.
6.74/6.80	c Coefficients are big enough for not using lower bounding.
6.74/6.81	c Coefficients are big enough for not using lower bounding.
6.74/6.81	c Coefficients are big enough for not using lower bounding.
6.74/6.82	c Coefficients are big enough for not using lower bounding.
6.74/6.82	c Coefficients are big enough for not using lower bounding.
6.74/6.83	c Coefficients are big enough for not using lower bounding.
6.74/6.83	c Coefficients are big enough for not using lower bounding.
6.74/6.84	c Coefficients are big enough for not using lower bounding.
6.74/6.84	c Coefficients are big enough for not using lower bounding.
6.74/6.85	c Coefficients are big enough for not using lower bounding.
6.74/6.85	c Coefficients are big enough for not using lower bounding.
6.74/6.86	c Coefficients are big enough for not using lower bounding.
6.74/6.86	c Coefficients are big enough for not using lower bounding.
6.74/6.87	c Coefficients are big enough for not using lower bounding.
6.74/6.87	c Coefficients are big enough for not using lower bounding.
6.74/6.88	c Coefficients are big enough for not using lower bounding.
6.74/6.88	c Coefficients are big enough for not using lower bounding.
6.74/6.89	c Coefficients are big enough for not using lower bounding.
6.74/6.89	c Coefficients are big enough for not using lower bounding.
6.85/6.90	c Coefficients are big enough for not using lower bounding.
6.85/6.91	c Coefficients are big enough for not using lower bounding.
6.85/6.91	c Coefficients are big enough for not using lower bounding.
6.85/6.92	c Coefficients are big enough for not using lower bounding.
6.85/6.92	c Coefficients are big enough for not using lower bounding.
6.85/6.93	c Coefficients are big enough for not using lower bounding.
6.85/6.93	c Coefficients are big enough for not using lower bounding.
6.85/6.94	c Coefficients are big enough for not using lower bounding.
6.85/6.94	c Coefficients are big enough for not using lower bounding.
6.85/6.95	c Coefficients are big enough for not using lower bounding.
6.85/6.95	c Coefficients are big enough for not using lower bounding.
6.85/6.96	c Coefficients are big enough for not using lower bounding.
6.85/6.96	c Coefficients are big enough for not using lower bounding.
6.85/6.97	c Coefficients are big enough for not using lower bounding.
6.85/6.97	c Coefficients are big enough for not using lower bounding.
6.85/6.98	c Coefficients are big enough for not using lower bounding.
6.85/6.98	c Coefficients are big enough for not using lower bounding.
6.85/6.99	c Coefficients are big enough for not using lower bounding.
6.85/6.99	c Coefficients are big enough for not using lower bounding.
6.85/7.00	c Coefficients are big enough for not using lower bounding.
6.94/7.00	c Coefficients are big enough for not using lower bounding.
6.94/7.00	c Coefficients are big enough for not using lower bounding.
6.94/7.01	c Coefficients are big enough for not using lower bounding.
6.94/7.01	c Coefficients are big enough for not using lower bounding.
6.94/7.02	c Coefficients are big enough for not using lower bounding.
6.94/7.02	c Coefficients are big enough for not using lower bounding.
6.94/7.02	c Coefficients are big enough for not using lower bounding.
6.94/7.03	c Coefficients are big enough for not using lower bounding.
6.94/7.03	c Coefficients are big enough for not using lower bounding.
6.94/7.04	c Coefficients are big enough for not using lower bounding.
6.94/7.04	c Coefficients are big enough for not using lower bounding.
6.94/7.04	c Coefficients are big enough for not using lower bounding.
6.94/7.05	c Coefficients are big enough for not using lower bounding.
6.94/7.05	c Coefficients are big enough for not using lower bounding.
6.94/7.05	c Highest Coefficient sum: 5.69083e+11
6.94/7.05	c Parsing was ok!!
6.94/7.05	c Total parsing time: 7.006 s
7.14/7.24	c Var: 404566 Constr: 4910 0/8/4902 Lit: 3825538 Watch. Lit: 323625
7.14/7.24	c Obj. Vars: 30 (0.00741535 % of total variables)
191.47/191.62	c Pre-processing Time: 191.507 s
1800.06/1800.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.06/1800.60	c        0 271922     4895  3824953  781  3226692  500000      0      0 191.51
1800.06/1800.60	c      101 271922     4996  3826713  765  3227054  550001    101      0 192.38
1800.06/1800.60	c      251 271922     5146  3829269  744  3227426  605002    251      1 194.69
1800.06/1800.60	c      477 271922     5372  3833656  713  3227744  665503    477      2 197.55
1800.06/1800.60	c      815 271922     5710  3839104  672  3228076  732054    815      4 203.72
1800.06/1800.60	c     1323 271922     6218  3882220  624  3229616  805260   1323      3 369.67
1800.06/1800.60	c     2089 271922     6984  4168729  596  3232936  885787   2089      4 446.37
1800.06/1800.60	c     3235 271922     8130  4608332  566  3235228  974366   3235      4 668.18
1800.06/1800.60	c     4956 271922     9851  5141075  521  3238669  500000   4956      5 971.98
1800.06/1800.60	c     7541 271922    12436  5992399  481  3243839  550001   7541      4 1538.91
1800.06/1800.60	c Caught signal: 15
1800.06/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.06/1800.61	c    9     9338   1380    29799    14233  6503553   9338      5 1800.07
1800.06/1800.61	s UNKNOWN
1800.06/1800.61	c Total time: 1800.07 s

ERROR: no interpretation found !

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

command line: runsolver --timestamp -w ROOT/results/node57/watcher-349294-1176693501 -o ROOT/results/node57/solver-349294-1176693501 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349294-1176693501/instance-349294-1176693501.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.04 1.00 3/64 25226
/proc/meminfo: memFree=1797144/2055920 swapFree=4184644/4192956
[pid=25226] ppid=25224 vsize=44024 CPUtime=0
/proc/25226/stat : 25226 (bsolo3.0.16) R 25224 25226 24905 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 110486157 45080576 336 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7829115 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25226/statm: 11006 337 282 324 0 2003 0

[startup+0.0241209 s]
/proc/loadavg: 1.03 1.04 1.00 3/64 25226
/proc/meminfo: memFree=1797144/2055920 swapFree=4184644/4192956
[pid=25226] ppid=25224 vsize=36936 CPUtime=0.02
/proc/25226/stat : 25226 (bsolo3.0.16) R 25224 25226 24905 0 -1 4194304 561 0 0 0 2 0 0 0 18 0 1 0 110486157 37822464 529 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25226/statm: 9234 529 310 324 0 231 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 36936

[startup+0.101127 s]
/proc/loadavg: 1.03 1.04 1.00 3/64 25226
/proc/meminfo: memFree=1797144/2055920 swapFree=4184644/4192956
[pid=25226] ppid=25224 vsize=38960 CPUtime=0.09
/proc/25226/stat : 25226 (bsolo3.0.16) R 25224 25226 24905 0 -1 4194304 1160 0 0 0 9 0 0 0 18 0 1 0 110486157 39895040 1088 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134538841 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25226/statm: 9740 1096 413 324 0 737 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38960

[startup+0.301144 s]
/proc/loadavg: 1.03 1.04 1.00 3/64 25226
/proc/meminfo: memFree=1797144/2055920 swapFree=4184644/4192956
[pid=25226] ppid=25224 vsize=43384 CPUtime=0.29
/proc/25226/stat : 25226 (bsolo3.0.16) R 25224 25226 24905 0 -1 4194304 2681 0 0 0 28 1 0 0 19 0 1 0 110486157 44425216 2481 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7829115 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25226/statm: 10846 2481 667 324 0 1843 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43384

[startup+0.701179 s]
/proc/loadavg: 1.03 1.04 1.00 3/64 25226
/proc/meminfo: memFree=1797144/2055920 swapFree=4184644/4192956
[pid=25226] ppid=25224 vsize=52112 CPUtime=0.68
/proc/25226/stat : 25226 (bsolo3.0.16) R 25224 25226 24905 0 -1 4194304 5633 0 0 0 66 2 0 0 23 0 1 0 110486157 53362688 5179 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25226/statm: 13028 5179 1191 324 0 4025 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 52112

[startup+1.50125 s]
/proc/loadavg: 1.03 1.04 1.00 2/65 25227
/proc/meminfo: memFree=1773840/2055920 swapFree=4184644/4192956
[pid=25226] ppid=25224 vsize=67832 CPUtime=1.48
/proc/25226/stat : 25226 (bsolo3.0.16) R 25224 25226 24905 0 -1 4194304 11005 0 0 0 143 5 0 0 25 0 1 0 110486157 69459968 10045 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134541250 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25226/statm: 16958 10045 2174 324 0 7955 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 67832

[startup+3.1014 s]
/proc/loadavg: 1.03 1.04 1.00 2/65 25227
/proc/meminfo: memFree=1754064/2055920 swapFree=4184644/4192956
[pid=25226] ppid=25224 vsize=90240 CPUtime=3.06
/proc/25226/stat : 25226 (bsolo3.0.16) R 25224 25226 24905 0 -1 4194304 19037 0 0 0 297 9 0 0 25 0 1 0 110486157 92405760 17066 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7853856 0 0 4096 16384 0 0 0 17 0 0 0
/proc/25226/statm: 22560 17066 3970 324 0 13557 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 90240

[startup+6.30166 s]
/proc/loadavg: 1.03 1.04 1.00 2/65 25227
/proc/meminfo: memFree=1727888/2055920 swapFree=4184644/4192956
[pid=25226] ppid=25224 vsize=110932 CPUtime=6.24
/proc/25226/stat : 25226 (bsolo3.0.16) R 25224 25226 24905 0 -1 4194304 28760 0 0 0 611 13 0 0 25 0 1 0 110486157 113594368 25806 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134525046 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25226/statm: 27733 25806 7518 324 0 18730 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 110932

[startup+12.7012 s]
/proc/loadavg: 1.02 1.03 1.00 2/65 25227
/proc/meminfo: memFree=1623760/2055920 swapFree=4184644/4192956
[pid=25226] ppid=25224 vsize=184816 CPUtime=12.64
/proc/25226/stat : 25226 (bsolo3.0.16) R 25224 25226 24905 0 -1 4194304 54634 0 0 0 1240 24 0 0 25 0 1 0 110486157 189251584 43608 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25226/statm: 46204 43608 306 324 0 45273 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 184816

[startup+25.5013 s]
/proc/loadavg: 1.02 1.03 1.00 2/65 25227
/proc/meminfo: memFree=1621776/2055920 swapFree=4184644/4192956
[pid=25226] ppid=25224 vsize=186928 CPUtime=25.43
/proc/25226/stat : 25226 (bsolo3.0.16) R 25224 25226 24905 0 -1 4194304 55156 0 0 0 2518 25 0 0 25 0 1 0 110486157 191414272 44130 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25226/statm: 46732 44130 306 324 0 45801 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 186928

[startup+51.1016 s]
/proc/loadavg: 1.01 1.03 1.00 2/65 25227
/proc/meminfo: memFree=1621584/2055920 swapFree=4184644/4192956
[pid=25226] ppid=25224 vsize=186928 CPUtime=51.01
/proc/25226/stat : 25226 (bsolo3.0.16) R 25224 25226 24905 0 -1 4194304 55156 0 0 0 5066 35 0 0 25 0 1 0 110486157 191414272 44130 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25226/statm: 46732 44130 306 324 0 45801 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 186928

[startup+102.305 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 25227
/proc/meminfo: memFree=1621712/2055920 swapFree=4184644/4192956
[pid=25226] ppid=25224 vsize=186928 CPUtime=102.2
/proc/25226/stat : 25226 (bsolo3.0.16) R 25224 25226 24905 0 -1 4194304 55156 0 0 0 10170 50 0 0 25 0 1 0 110486157 191414272 44130 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25226/statm: 46732 44130 306 324 0 45801 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 186928

[startup+162.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 25227
/proc/meminfo: memFree=1568592/2055920 swapFree=4184644/4192956
[pid=25226] ppid=25224 vsize=240116 CPUtime=162.18
/proc/25226/stat : 25226 (bsolo3.0.16) R 25224 25226 24905 0 -1 4194304 72394 0 0 0 16158 60 0 0 25 0 1 0 110486157 245878784 57415 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134540874 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25226/statm: 60029 57415 308 324 0 59098 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 240116

[startup+222.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 25227
/proc/meminfo: memFree=1606928/2055920 swapFree=4184644/4192956
[pid=25226] ppid=25224 vsize=201664 CPUtime=222.17
/proc/25226/stat : 25226 (bsolo3.0.16) R 25224 25226 24905 0 -1 4194304 73377 0 0 0 22154 63 0 0 25 0 1 0 110486157 206503936 47816 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25226/statm: 50416 47816 312 324 0 49485 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 201664

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25227
/proc/meminfo: memFree=1603472/2055920 swapFree=4184644/4192956
[pid=25226] ppid=25224 vsize=205096 CPUtime=282.16
/proc/25226/stat : 25226 (bsolo3.0.16) R 25224 25226 24905 0 -1 4194304 74240 0 0 0 28150 66 0 0 25 0 1 0 110486157 210018304 48679 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25226/statm: 51274 48679 312 324 0 50343 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 205096

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25227
/proc/meminfo: memFree=1601808/2055920 swapFree=4184644/4192956
[pid=25226] ppid=25224 vsize=206684 CPUtime=342.14
/proc/25226/stat : 25226 (bsolo3.0.16) R 25224 25226 24905 0 -1 4194304 74648 0 0 0 34148 66 0 0 25 0 1 0 110486157 211644416 49087 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25226/statm: 51671 49087 312 324 0 50740 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 206684

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25227
/proc/meminfo: memFree=1601872/2055920 swapFree=4184644/4192956
[pid=25226] ppid=25224 vsize=206684 CPUtime=402.12
/proc/25226/stat : 25226 (bsolo3.0.16) R 25224 25226 24905 0 -1 4194304 74649 0 0 0 40146 66 0 0 25 0 1 0 110486157 211644416 49088 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25226/statm: 51671 49088 312 324 0 50740 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 206684

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25227
/proc/meminfo: memFree=1601808/2055920 swapFree=4184644/4192956
[pid=25226] ppid=25224 vsize=206684 CPUtime=462.1
/proc/25226/stat : 25226 (bsolo3.0.16) R 25224 25226 24905 0 -1 4194304 74649 0 0 0 46144 66 0 0 25 0 1 0 110486157 211644416 49088 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25226/statm: 51671 49088 312 324 0 50740 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 206684

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25227
/proc/meminfo: memFree=1601808/2055920 swapFree=4184644/4192956
[pid=25226] ppid=25224 vsize=206688 CPUtime=522.08
/proc/25226/stat : 25226 (bsolo3.0.16) R 25224 25226 24905 0 -1 4194304 74650 0 0 0 52142 66 0 0 25 0 1 0 110486157 211648512 49089 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25226/statm: 51672 49089 312 324 0 50741 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 206688

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25229
/proc/meminfo: memFree=1601744/2055920 swapFree=4184644/4192956
[pid=25226] ppid=25224 vsize=206688 CPUtime=582.08
/proc/25226/stat : 25226 (bsolo3.0.16) R 25224 25226 24905 0 -1 4194304 74650 0 0 0 58141 67 0 0 25 0 1 0 110486157 211648512 49089 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25226/statm: 51672 49089 312 324 0 50741 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 206688

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25229
/proc/meminfo: memFree=1600400/2055920 swapFree=4184644/4192956
[pid=25226] ppid=25224 vsize=208136 CPUtime=642.06
/proc/25226/stat : 25226 (bsolo3.0.16) R 25224 25226 24905 0 -1 4194304 74991 0 0 0 64139 67 0 0 25 0 1 0 110486157 213131264 49430 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25226/statm: 52034 49430 312 324 0 51103 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 208136


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

[startup+822.302 s]
/proc/loadavg: 1.06 1.03 1.00 2/65 25229
/proc/meminfo: memFree=1595664/2055920 swapFree=4184644/4192956
[pid=25226] ppid=25224 vsize=212712 CPUtime=822.01
/proc/25226/stat : 25226 (bsolo3.0.16) R 25224 25226 24905 0 -1 4194304 76150 0 0 0 82132 69 0 0 25 0 1 0 110486157 217817088 50589 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25226/statm: 53178 50589 312 324 0 52247 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 212712

[startup+882.302 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 25229
/proc/meminfo: memFree=1594512/2055920 swapFree=4184644/4192956
[pid=25226] ppid=25224 vsize=213904 CPUtime=881.99
/proc/25226/stat : 25226 (bsolo3.0.16) R 25224 25226 24905 0 -1 4194304 76446 0 0 0 88130 69 0 0 25 0 1 0 110486157 219037696 50885 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25226/statm: 53476 50885 312 324 0 52545 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 213904

[startup+942.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 25229
/proc/meminfo: memFree=1593424/2055920 swapFree=4184644/4192956
[pid=25226] ppid=25224 vsize=215092 CPUtime=941.97
/proc/25226/stat : 25226 (bsolo3.0.16) R 25224 25226 24905 0 -1 4194304 76720 0 0 0 94128 69 0 0 25 0 1 0 110486157 220254208 51159 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25226/statm: 53773 51159 312 324 0 52842 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 215092

[startup+1002.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 25229
/proc/meminfo: memFree=1591824/2055920 swapFree=4184644/4192956
[pid=25226] ppid=25224 vsize=216660 CPUtime=1001.96
/proc/25226/stat : 25226 (bsolo3.0.16) R 25224 25226 24905 0 -1 4194304 77120 0 0 0 100125 71 0 0 25 0 1 0 110486157 221859840 51559 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25226/statm: 54165 51559 312 324 0 53234 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 216660

[startup+1062.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 25229
/proc/meminfo: memFree=1590672/2055920 swapFree=4184644/4192956
[pid=25226] ppid=25224 vsize=217720 CPUtime=1061.95
/proc/25226/stat : 25226 (bsolo3.0.16) R 25224 25226 24905 0 -1 4194304 77407 0 0 0 106124 71 0 0 25 0 1 0 110486157 222945280 51846 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25226/statm: 54430 51846 312 324 0 53499 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 217720

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25229
/proc/meminfo: memFree=1589584/2055920 swapFree=4184644/4192956
[pid=25226] ppid=25224 vsize=218776 CPUtime=1121.93
/proc/25226/stat : 25226 (bsolo3.0.16) R 25224 25226 24905 0 -1 4194304 77666 0 0 0 112122 71 0 0 25 0 1 0 110486157 224026624 52105 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551989 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25226/statm: 54694 52105 312 324 0 53763 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 218776

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25229
/proc/meminfo: memFree=1588496/2055920 swapFree=4184644/4192956
[pid=25226] ppid=25224 vsize=219832 CPUtime=1181.91
/proc/25226/stat : 25226 (bsolo3.0.16) R 25224 25226 24905 0 -1 4194304 77937 0 0 0 118120 71 0 0 25 0 1 0 110486157 225107968 52376 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25226/statm: 54958 52376 312 324 0 54027 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 219832

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25229
/proc/meminfo: memFree=1587216/2055920 swapFree=4184644/4192956
[pid=25226] ppid=25224 vsize=221148 CPUtime=1241.9
/proc/25226/stat : 25226 (bsolo3.0.16) R 25224 25226 24905 0 -1 4194304 78257 0 0 0 124118 72 0 0 25 0 1 0 110486157 226455552 52696 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25226/statm: 55287 52696 312 324 0 54356 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 221148

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25229
/proc/meminfo: memFree=1586000/2055920 swapFree=4184644/4192956
[pid=25226] ppid=25224 vsize=222340 CPUtime=1301.89
/proc/25226/stat : 25226 (bsolo3.0.16) R 25224 25226 24905 0 -1 4194304 78540 0 0 0 130117 72 0 0 25 0 1 0 110486157 227676160 52979 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551560 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25226/statm: 55585 52979 312 324 0 54654 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 222340

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25229
/proc/meminfo: memFree=1584720/2055920 swapFree=4184644/4192956
[pid=25226] ppid=25224 vsize=223652 CPUtime=1361.86
/proc/25226/stat : 25226 (bsolo3.0.16) R 25224 25226 24905 0 -1 4194304 78864 0 0 0 136114 72 0 0 25 0 1 0 110486157 229019648 53303 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25226/statm: 55913 53303 312 324 0 54982 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 223652

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25229
/proc/meminfo: memFree=1583504/2055920 swapFree=4184644/4192956
[pid=25226] ppid=25224 vsize=224828 CPUtime=1421.86
/proc/25226/stat : 25226 (bsolo3.0.16) R 25224 25226 24905 0 -1 4194304 79161 0 0 0 142113 73 0 0 25 0 1 0 110486157 230223872 53600 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25226/statm: 56207 53600 312 324 0 55276 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 224828

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25229
/proc/meminfo: memFree=1582608/2055920 swapFree=4184644/4192956
[pid=25226] ppid=25224 vsize=225744 CPUtime=1481.84
/proc/25226/stat : 25226 (bsolo3.0.16) R 25224 25226 24905 0 -1 4194304 79383 0 0 0 148111 73 0 0 25 0 1 0 110486157 231161856 53822 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25226/statm: 56436 53822 312 324 0 55505 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 225744

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25229
/proc/meminfo: memFree=1581520/2055920 swapFree=4184644/4192956
[pid=25226] ppid=25224 vsize=226796 CPUtime=1541.82
/proc/25226/stat : 25226 (bsolo3.0.16) R 25224 25226 24905 0 -1 4194304 79647 0 0 0 154109 73 0 0 25 0 1 0 110486157 232239104 54086 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25226/statm: 56699 54086 312 324 0 55768 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 226796

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25229
/proc/meminfo: memFree=1580432/2055920 swapFree=4184644/4192956
[pid=25226] ppid=25224 vsize=227848 CPUtime=1601.81
/proc/25226/stat : 25226 (bsolo3.0.16) R 25224 25226 24905 0 -1 4194304 79912 0 0 0 160107 74 0 0 25 0 1 0 110486157 233316352 54351 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25226/statm: 56962 54351 312 324 0 56031 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 227848

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25229
/proc/meminfo: memFree=1578000/2055920 swapFree=4184644/4192956
[pid=25226] ppid=25224 vsize=230172 CPUtime=1661.78
/proc/25226/stat : 25226 (bsolo3.0.16) R 25224 25226 24905 0 -1 4194304 80513 0 0 0 166104 74 0 0 25 0 1 0 110486157 235696128 54952 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25226/statm: 57543 54952 312 324 0 56612 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 230172

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25229
/proc/meminfo: memFree=1576656/2055920 swapFree=4184644/4192956
[pid=25226] ppid=25224 vsize=231488 CPUtime=1721.78
/proc/25226/stat : 25226 (bsolo3.0.16) R 25224 25226 24905 0 -1 4194304 80846 0 0 0 172103 75 0 0 25 0 1 0 110486157 237043712 55285 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25226/statm: 57872 55285 312 324 0 56941 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 231488

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25229
/proc/meminfo: memFree=1575184/2055920 swapFree=4184644/4192956
[pid=25226] ppid=25224 vsize=232932 CPUtime=1781.76
/proc/25226/stat : 25226 (bsolo3.0.16) R 25224 25226 24905 0 -1 4194304 81210 0 0 0 178101 75 0 0 25 0 1 0 110486157 238522368 55649 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25226/statm: 58233 55649 312 324 0 57302 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 232932



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25229
/proc/meminfo: memFree=1574736/2055920 swapFree=4184644/4192956
[pid=25226] ppid=25224 vsize=233460 CPUtime=1800.06
/proc/25226/stat : 25226 (bsolo3.0.16) R 25224 25226 24905 0 -1 4194304 81327 0 0 0 179931 75 0 0 25 0 1 0 110486157 239063040 55766 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25226/statm: 58365 55766 312 324 0 57434 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 233460

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

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

Child status: 15
Real time (s): 1800.65
CPU time (s): 1800.11
CPU user time (s): 1799.32
CPU system time (s): 0.791879
CPU usage (%): 99.9699
Max. virtual memory (cumulated for all children) (KiB): 246036

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

runsolver used 1.17882 second user time and 3.81442 second system time

The end

Begin job on node57 on Mon Apr 16 03:18:22 UTC 2007

IDJOB= 349294
IDBENCH= 2336
IDSOLVER= 163
FILE ID= node57/349294-1176693501

PBS_JOBID= 4560017

Free space on /tmp= 66507 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-dano3_4.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349294-1176693501/instance-349294-1176693501.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node57/watcher-349294-1176693501 -o ROOT/results/node57/solver-349294-1176693501 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349294-1176693501/instance-349294-1176693501.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  77442b3482c8e96813b174683c20fffc

RANDOM SEED= 29760778

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node57.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.239
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.239
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:       1797552 kB
Buffers:         10640 kB
Cached:         176108 kB
SwapCached:       2768 kB
Active:         104976 kB
Inactive:        92300 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1797552 kB
SwapTotal:     4192956 kB
SwapFree:      4184644 kB
Dirty:           36664 kB
Writeback:           0 kB
Mapped:          17120 kB
Slab:            47160 kB
Committed_AS:   786376 kB
PageTables:       1408 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= 66507 MiB

End job on node57 on Mon Apr 16 03:48:25 UTC 2007