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/354390-1176707270/instance-354390-1176707270.opb
0.00/0.00	c File size is 1746600 bytes.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.02/0.10	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.02/0.10	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.02/0.10	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.02/0.10	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.02/0.10	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.02/0.10	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.02/0.10	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.02/0.10	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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.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.20	c Coefficients are big enough for not using lower bounding.
0.09/0.20	c Coefficients are big enough for not using lower bounding.
0.09/0.20	c Coefficients are big enough for not using lower bounding.
0.09/0.20	c Coefficients are big enough for not using lower bounding.
0.09/0.20	c Coefficients are big enough for not using lower bounding.
0.09/0.20	c Coefficients are big enough for not using lower bounding.
0.09/0.20	c Coefficients are big enough for not using lower bounding.
0.09/0.20	c Coefficients are big enough for not using lower bounding.
0.09/0.20	c Coefficients are big enough for not using lower bounding.
0.09/0.20	c Coefficients are big enough for not using lower bounding.
0.09/0.20	c Coefficients are big enough for not using lower bounding.
0.09/0.20	c Coefficients are big enough for not using lower bounding.
0.09/0.20	c Coefficients are big enough for not using lower bounding.
0.09/0.20	c Coefficients are big enough for not using lower bounding.
0.09/0.20	c Coefficients are big enough for not using lower bounding.
0.09/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.20	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.21	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.22	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.23	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.24	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.25	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.26	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Coefficients are big enough for not using lower bounding.
0.18/0.27	c Highest Coefficient sum: 2.18218e+09
0.18/0.27	c Parsing was ok!!
0.18/0.27	c Total parsing time: 0.269 s
0.18/0.27	c Var: 3097 Constr: 2178 0/0/2178 Lit: 136950 Watch. Lit: 10890
0.18/0.27	c Obj. Vars: 30 (0.968679 % of total variables)
0.39/0.44	c Pre-processing Time: 0.437 s
95.57/95.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
95.57/95.65	c        0   3097     2178   136950   62    33752  273900      0      0 0.44
95.57/95.65	c      100   3097     2278   142774   62   133124  301291    100    170 0.58
95.57/95.65	c      251   3097     2429   149587   61   133708  331421    251    337 0.74
95.57/95.65	c      477   3097     2655   158311   59   133870  364564    477    387 1.23
95.57/95.65	c      815   3097     2993   171183   57   134152  401021    815    356 2.29
95.57/95.65	c     1323   3097     3501   192531   54   134834  441124   1323    370 3.57
95.57/95.65	c     2087   3097     4265   228482   53   136083  485237   2087    400 5.22
95.57/95.65	c     3234   3097     5412   282717   52   138417  533761   3234    439 7.36
95.57/95.65	c     4955   3097     7133   379962   53   141344  587138   4955    495 10.01
95.57/95.65	c     7539   3097     9717   518339   53   146577  645852   7539    528 14.26
95.57/95.65	c    11419   3097    13597   758019   55   156137  710438  11419    577 19.78
95.57/95.65	c    17242   3097    19420  1102205   56   167576  781482  17242    586 29.38
95.57/95.65	c    25979   3097    28157  1654062   58   183784  859631  25979    599 43.36
95.57/95.65	c    39089   3097    41267  2459277   59   210743  945595  39089    568 68.73
95.57/95.65	o 268435456	95.624
159.55/159.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
159.55/159.69	c    51552   3097    53731  3286047   61   236861  273960  51553    539 95.64
159.55/159.69	c    51652   3097    53831  3293076   61   237112  301357  51653    539 95.81
159.55/159.69	c    51903   3097    54082  3305566   61   237688  331493  51904    537 96.62
159.55/159.69	c    52378   3097    54557  3328762   61   238264  364643  52379    534 97.94
159.55/159.69	c    53192   3097    55371  3377939   61   239559  401108  53193    536 99.23
159.55/159.69	c    54512   3097    56691  3445580   60   241903  441219  54513    527 103.25
159.55/159.69	c    56594   3097    58773  3590453   61   246627  485341  56595    543 104.14
159.55/159.69	c    59817   3030    61996  3783970   61   254437  533876  59818    544 109.77
159.55/159.69	c    64753   3030    66932  4069952   60   264245  587264  64754    537 120.36
159.55/159.69	c    72259   3030    74438  4501851   60   279129  645991  72260    521 138.52
159.55/159.69	o 67108864	159.645
167.85/167.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
167.85/167.96	c    81165   3030    83345  5036289   60   297130  273958  81167    508 159.66
167.85/167.96	c    81265   3030    83445  5040218   60   297328  301354  81267    507 160.13
167.85/167.96	c    81516   3030    83696  5051936   60   297768  331490  81518    508 160.34
167.85/167.96	c    81991   3030    84171  5076154   60   298554  364640  81993    505 162.07
167.85/167.96	c    82804   3030    84984  5119801   60   300472  401105  82806    504 164.15
167.85/167.96	o 33554432	167.918
269.12/269.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
269.12/269.26	c    83949   3030    86130  5186588   60   302631  273958  83952    499 167.93
269.12/269.26	c    84051   3030    86232  5191380   60   302929  301354  84054    499 168.35
269.12/269.26	c    84301   3030    86482  5203031   60   303239  331490  84304    498 169.15
269.12/269.26	c    84777   3030    86958  5228398   60   304287  364640  84780    497 170.42
269.12/269.26	c    85590   3030    87771  5276154   60   305753  401105  85593    495 172.76
269.12/269.26	c    86910   3030    89091  5350728   60   308649  441216  86913    492 176.34
269.12/269.26	c    88991   3030    91172  5460156   59   312775  485338  88994    489 181.82
269.12/269.26	c    92214   3030    94395  5630686   59   319129  533872  92217    482 191.12
269.12/269.26	c    97150   3030    99331  5912071   59   329161  587260  97153    469 206.89
269.12/269.26	c   104658   3030   106839  6387567   59   343983  645987 104661    454 230.45
269.12/269.26	c   116019   3030   118200  7058703   59   366673  710586 116022    438 264.78
269.12/269.26	o 16777216	269.19
359.40/359.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
359.40/359.58	c   116878   3030   119060  7101415   59   368614  273958 116882    434 269.20
359.40/359.58	c   116978   3030   119160  7105902   59   368653  301354 116982    433 269.55
359.40/359.58	c   117228   3030   119410  7119125   59   369346  331490 117232    434 270.00
359.40/359.58	c   117704   3030   119886  7141668   59   370192  364640 117708    432 272.16
359.40/359.58	c   118517   3030   120699  7181930   59   371892  401105 118521    431 274.56
359.40/359.58	c   119837   3030   122019  7246759   59   374564  441216 119841    429 279.05
359.40/359.58	c   121919   3030   124101  7355830   59   378728  485338 121923    426 286.19
359.40/359.58	c   125142   3029   127324  7548081   59   384949  533872 125146    422 296.19
359.40/359.58	c   130079   3029   132261  7845825   59   395015  587260 130083    414 313.66
359.40/359.58	c   137585   2961   139767  8275791   59   410121  645987 137589    408 337.03
359.40/359.58	o 10485760	359.491
369.00/369.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
369.00/369.18	c   143736   2695   145919  8594667   58   422445  273948 143741    399 359.50
369.00/369.18	c   143836   2695   146019  8598328   58   422645  301343 143841    399 359.89
369.00/369.18	c   144086   2695   146269  8606528   58   423145  331478 144091    398 361.23
369.00/369.18	c   144563   2695   146746  8624830   58   424099  364626 144568    398 362.69
369.00/369.18	c   145377   2695   147560  8653358   58   425727  401089 145382    397 365.69
369.00/369.18	o 8912896	369.092
400.19/400.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
400.19/400.39	c   146311   2695   148495  8689795   58   427619  273948 146317    396 369.10
400.19/400.39	c   146411   2695   148595  8692758   58   427819  301343 146417    396 369.66
400.19/400.39	c   146661   2695   148845  8701234   58   428319  331478 146667    395 370.38
400.19/400.39	c   147136   2695   149320  8717635   58   429269  364626 147142    394 372.54
400.19/400.39	c   147949   2695   150133  8747221   58   430895  401089 147955    395 374.38
400.19/400.39	c   149269   2695   151453  8794606   58   433535  441198 149275    394 378.79
400.19/400.39	c   151350   2695   153534  8873936   57   437697  485318 151356    391 386.23
400.19/400.39	o 8388608	400.294
415.88/416.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
415.88/416.07	c   154265   2695   156450  8981018   57   443551  273948 154272    385 400.31
415.88/416.07	c   154365   2628   156550  8984029   57   443750  301343 154372    385 400.66
415.88/416.07	c   154615   2628   156800  8991160   57   444234  331478 154622    385 401.46
415.88/416.07	c   155090   2628   157275  9006750   57   445184  364626 155097    385 402.41
415.88/416.07	c   155903   2628   158088  9035734   57   446810  401089 155910    385 404.44
415.88/416.07	c   157223   2628   159408  9076964   56   449448  441198 157230    383 409.98
415.88/416.07	o 4702208	415.961
429.38/429.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
429.38/429.55	c   158572   2628   160758  9120114   56   452169  273946 158580    381 415.97
429.38/429.55	c   158672   2628   160858  9123903   56   452369  301341 158680    381 416.31
429.38/429.55	c   158922   2628   161108  9131256   56   452869  331476 158930    381 417.02
429.38/429.55	c   159397   2628   161583  9145004   56   453819  364624 159405    380 418.96
429.38/429.55	c   160210   2628   162396  9172251   56   455445  401087 160218    379 421.62
429.38/429.55	c   161531   2628   163717  9215034   56   458087  441196 161539    379 425.49
429.38/429.55	o 4698112	429.439
445.97/446.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
445.97/446.10	c   162681   2628   164868  9251026   56   460406  273946 162690    378 429.45
445.97/446.10	c   162781   2628   164968  9254741   56   460610  301341 162790    378 429.86
445.97/446.10	c   163031   2628   165218  9262741   56   461110  331476 163040    378 430.81
445.97/446.10	c   163506   2628   165693  9278411   55   462060  364624 163515    377 433.01
445.97/446.10	c   164319   2628   166506  9305238   55   463686  401087 164328    377 435.68
445.97/446.10	c   165639   2628   167826  9354480   55   466326  441196 165648    376 440.50
445.97/446.10	o 4556800	445.99
453.58/453.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
453.58/453.79	c   167317   2628   169505  9412408   55   469705  273946 167327    375 446.00
453.58/453.79	c   167418   2628   169606  9415649   55   469907  301341 167428    375 446.41
453.58/453.79	c   167669   2628   169857  9423540   55   470409  331476 167679    374 447.16
453.58/453.79	c   168146   2628   170334  9441144   55   471363  364624 168156    374 448.96
453.58/453.79	c   168960   2628   171148  9472630   55   472991  401087 168970    373 452.20
453.58/453.79	o 4315136	453.681
508.26/508.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
508.26/508.47	c   169363   2628   171552  9485706   55   473820  273946 169374    373 453.69
508.26/508.47	c   169463   2627   171652  9488580   55   474019  301341 169474    373 453.98
508.26/508.47	c   169713   2623   171902  9494785   55   474515  331476 169724    373 454.72
508.26/508.47	c   170188   2615   172377  9509588   55   475457  364624 170199    373 455.65
508.26/508.47	c   171001   2606   173190  9533871   55   477074  401087 171012    373 458.10
508.26/508.47	c   172321   2594   174510  9567898   54   479702  441196 172332    372 463.07
508.26/508.47	c   174402   2584   176591  9624449   54   483854  485316 174413    371 469.64
508.26/508.47	c   177626   2578   179815  9715251   54   490296  533848 177637    370 479.94
508.26/508.47	c   182562   2573   184751  9866489   53   500163  587233 182573    366 497.57
508.26/508.47	o 4292608	508.347
523.85/524.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
523.85/524.04	c   185424   2573   187614  9940808   52   505909  273946 185436    364 508.36
523.85/524.04	c   185524   2573   187714  9943445   52   506110  301341 185536    364 508.76
523.85/524.04	c   185776   2572   187966  9949116   52   506613  331476 185788    364 509.44
523.85/524.04	c   186252   2572   188442  9961220   52   507565  364624 186264    364 511.43
523.85/524.04	c   187068   2572   189258  9982901   52   509197  401087 187080    364 513.40
523.85/524.04	c   188388   2572   190578 10020411   52   511837  441196 188400    363 518.12
523.85/524.04	o 4259840	523.91
576.14/576.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
576.14/576.40	c   189875   2571   192066 10062634   52   514833  273946 189888    362 523.92
576.14/576.40	c   189975   2571   192166 10065785   52   515033  301341 189988    362 524.36
576.14/576.40	c   190225   2569   192416 10072192   52   515531  331476 190238    361 525.62
576.14/576.40	c   190700   2569   192891 10087628   52   516481  364624 190713    361 527.24
576.14/576.40	c   191513   2566   193704 10109737   52   518104  401087 191526    360 530.69
576.14/576.40	c   192835   2566   195026 10148957   52   520748  441196 192848    360 534.97
576.14/576.40	c   194918   2565   197109 10218502   51   524913  485316 194931    359 541.97
576.14/576.40	c   198143   2565   200334 10314495   51   531363  533848 198156    357 554.61
576.14/576.40	c   203079   2564   205270 10474185   51   541234  587233 203092    354 573.08
576.14/576.40	o 4194304	576.254
601.64/601.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
601.64/601.88	c   203768   2564   205960 10493264   50   542635  273946 203782    353 576.26
601.64/601.88	c   203869   2564   206061 10496227   50   542837  301341 203883    353 576.74
601.64/601.88	c   204120   2561   206312 10503181   50   543338  331476 204134    353 578.03
601.64/601.88	c   204595   2561   206787 10516815   50   544288  364624 204609    352 580.27
601.64/601.88	c   205408   2561   207600 10542329   50   545914  401087 205422    351 583.67
601.64/601.88	c   206728   2561   208920 10587746   50   548554  441196 206742    352 586.90
601.64/601.88	c   208809   2561   211001 10648720   50   552716  485316 208823    350 595.22
601.64/601.88	o 3145728	601.728
611.64/611.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
611.64/611.87	c   210586   2561   212779 10703477   50   556292  273944 210601    349 601.74
611.64/611.87	c   210686   2561   212879 10706730   50   556489  301339 210701    349 602.12
611.64/611.87	c   210936   2561   213129 10714181   50   556989  331473 210951    349 603.15
611.64/611.87	c   211412   2561   213605 10728523   50   557941  364621 211427    349 604.45
611.64/611.87	c   212225   2561   214418 10749879   50   559552  401084 212240    349 607.87
611.64/611.87	o 3080192	611.711
622.73/622.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
622.73/622.92	c   213228   2561   215422 10780166   50   561580  273944 213244    348 611.72
622.73/622.92	c   213329   2561   215523 10782678   50   561782  301339 213345    348 612.18
622.73/622.92	c   213580   2561   215774 10790396   50   562284  331473 213596    348 613.27
622.73/622.92	c   214056   2561   216250 10804030   49   563236  364621 214072    347 615.48
622.73/622.92	c   214870   2561   217064 10828085   49   564848  401084 214886    347 618.25
622.73/622.92	o 3047424	622.76
643.93/644.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
643.93/644.13	c   216094   2561   218289 10864741   49   567318  273944 216111    346 622.77
643.93/644.13	c   216194   2561   218389 10867164   49   567518  301339 216211    346 623.21
643.93/644.13	c   216444   2561   218639 10874566   49   568018  331473 216461    346 624.08
643.93/644.13	c   216921   2561   219116 10890508   49   568972  364621 216938    347 624.92
643.93/644.13	c   217734   2561   219929 10917856   49   570598  401084 217751    346 627.53
643.93/644.13	c   219054   2561   221249 10965477   49   573234  441193 219071    347 631.12
643.93/644.13	c   221136   2561   223331 11033270   49   577402  485313 221153    346 638.38
643.93/644.13	o 3014656	643.966
683.02/683.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
683.02/683.20	c   222468   2561   224664 11077629   49   580088  273944 222486    345 643.97
683.02/683.20	c   222568   2561   224764 11080297   49   580288  301339 222586    345 644.37
683.02/683.20	c   222818   2561   225014 11088377   49   580772  331473 222836    345 645.41
683.02/683.20	c   223294   2561   225490 11105029   49   581740  364621 223312    345 646.88
683.02/683.20	c   224107   2561   226303 11130779   49   583366  401084 224125    345 649.12
683.02/683.20	c   225428   2561   227624 11170928   49   586008  441193 225446    344 654.21
683.02/683.20	c   227509   2561   229705 11234422   48   590170  485313 227527    343 662.39
683.02/683.20	c   230733   2561   232929 11350202   48   596618  533845 230751    341 675.68
683.02/683.20	o 2637824	683.031
689.31/689.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
689.31/689.59	c   232306   2561   234503 11397431   48   599786  273944 232325    340 683.04
689.31/689.59	c   232406   2561   234603 11400825   48   599986  301339 232425    340 683.45
689.31/689.59	c   232656   2561   234853 11410120   48   600486  331473 232675    340 684.17
689.31/689.59	c   233132   2561   235329 11424569   48   601438  364621 233151    340 685.68
689.31/689.59	o 2621440	689.42
712.81/713.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
712.81/713.07	c   233941   2561   236139 11450713   48   603078  273944 233961    339 689.43
712.81/713.07	c   234043   2561   236241 11453754   48   603282  301339 234063    339 690.10
712.81/713.07	c   234293   2561   236491 11461631   48   603782  331473 234313    339 691.03
712.81/713.07	c   234770   2561   236968 11474845   48   604736  364621 234790    338 692.58
712.81/713.07	c   235584   2561   237782 11499054   48   606364  401084 235604    338 696.26
712.81/713.07	c   236904   2561   239102 11546450   48   608996  441193 236924    337 701.07
712.81/713.07	c   238985   2561   241183 11610956   48   613118  485313 239005    336 710.08
712.81/713.07	o 2605056	712.888
735.50/735.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
735.50/735.74	c   239576   2561   241775 11627903   48   614370  273944 239597    336 712.90
735.50/735.74	c   239676   2561   241875 11630628   48   614570  301339 239697    335 713.47
735.50/735.74	c   239926   2561   242125 11638876   48   615065  331473 239947    335 714.44
735.50/735.74	c   240402   2561   242601 11653821   48   616022  364621 240423    335 716.03
735.50/735.74	c   241216   2561   243415 11677033   47   617646  401084 241237    335 719.43
735.50/735.74	c   242536   2561   244735 11715987   47   620290  441193 242557    334 725.12
735.50/735.74	c   244618   2561   246817 11785186   47   624453  485313 244639    333 732.55
735.50/735.74	o 2560000	735.553
756.99/757.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
756.99/757.26	c   245146   2561   247346 11801198   47   625532  273944 245168    333 735.56
756.99/757.26	c   245246   2561   247446 11804885   47   625700  301339 245268    333 736.15
756.99/757.26	c   245499   2561   247699 11811914   47   626184  331473 245521    333 737.20
756.99/757.26	c   245976   2561   248176 11827935   47   627138  364621 245998    332 738.77
756.99/757.26	c   246789   2561   248989 11852400   47   628756  401084 246811    332 742.05
756.99/757.26	c   248109   2561   250309 11897423   47   631410  441193 248131    332 746.39
756.99/757.26	c   250190   2561   252390 11957565   47   635619  485313 250212    331 754.09
756.99/757.26	o 2285568	757.066
771.69/771.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
771.69/771.94	c   250932   2561   253133 11978998   47   637121  273944 250955    331 757.07
771.69/771.94	c   251033   2561   253234 11982155   47   637279  301339 251056    331 757.77
771.69/771.94	c   251283   2561   253484 11988898   47   637828  331473 251306    331 758.78
771.69/771.94	c   251760   2561   253961 12006204   47   638782  364621 251783    331 760.55
771.69/771.94	c   252573   2561   254774 12032025   47   640403  401084 252596    330 763.41
771.69/771.94	c   253893   2561   256094 12074001   47   643048  441193 253916    330 769.00
771.69/771.94	o 2283520	771.75
789.89/790.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
789.89/790.15	c   254402   2561   256604 12091017   47   644088  273944 254426    329 771.76
789.89/790.15	c   254502   2561   256704 12093956   47   644283  301339 254526    329 772.19
789.89/790.15	c   254752   2561   256954 12102895   47   644788  331473 254776    329 772.95
789.89/790.15	c   255227   2561   257429 12115944   47   645737  364621 255251    329 775.44
789.89/790.15	c   256040   2561   258242 12141215   47   647364  401084 256064    329 777.96
789.89/790.15	c   257361   2561   259563 12181750   46   650006  441193 257385    328 782.82
789.89/790.15	o 2260992	789.952
836.58/836.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
836.58/836.88	c   259215   2561   261418 12244481   46   653700  273944 259240    328 789.96
836.58/836.88	c   259315   2560   261518 12247551   46   653935  301339 259340    328 790.39
836.58/836.88	c   259565   2560   261768 12255191   46   654435  331473 259590    328 791.33
836.58/836.88	c   260041   2559   262244 12269500   46   655386  364621 260066    328 792.75
836.58/836.88	c   260855   2558   263058 12295339   46   657013  401084 260880    328 795.22
836.58/836.88	c   262177   2558   264380 12344657   46   659653  441193 262202    327 800.08
836.58/836.88	c   264258   2558   266461 12412972   46   663819  485313 264283    326 809.39
836.58/836.88	c   267482   2558   269685 12516429   46   670249  533845 267507    324 823.16
836.58/836.88	o 2232320	836.671
871.17/871.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
871.17/871.44	c   271108   2558   273312 12653714   46   677541  273944 271134    324 836.68
871.17/871.44	c   271209   2558   273413 12656367   46   677719  301339 271235    323 837.13
871.17/871.44	c   271459   2556   273663 12663254   46   678241  331473 271485    323 838.04
871.17/871.44	c   271934   2554   274138 12679135   46   679189  364621 271960    323 839.97
871.17/871.44	c   272747   2554   274951 12704101   46   680815  401084 272773    323 843.08
871.17/871.44	c   274067   2554   276271 12743679   46   683401  441193 274093    323 847.44
871.17/871.44	c   276148   2553   278352 12805517   46   687616  485313 276174    322 856.38
871.17/871.44	c   279371   2550   281575 12918528   45   694059  533845 279397    321 868.49
871.17/871.44	o 2220032	871.219
925.35/925.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
925.35/925.64	c   279958   2547   282163 12936890   45   695252  273944 279985    321 871.23
925.35/925.64	c   280058   2547    19017   650874   34   168450  301339  16839    316 884.34
925.35/925.64	c   280308   2544    19267   656026   34   168947  331473  17089    316 884.77
925.35/925.64	c   280783   2538    19742   666307   33   169891  364621  17564    317 885.48
925.35/925.64	c   281596   2535    20555   685148   33   171514  401084  18377    317 886.84
925.35/925.64	c   282917   2532    21876   716176   32   174153  441193  19698    318 889.06
925.35/925.64	c   284998   2532    23957   774047   32   178315  485313  21779    319 892.21
925.35/925.64	c   288221   2532    27180   860375   31   184761  533845  25002    321 895.69
925.35/925.64	c   293157   2530    32116  1008675   31   194631  587230  29938    325 900.81
925.35/925.64	c   300663   2529    39622  1290404   32   209642  645954  37444    330 908.73
925.35/925.64	o 2217984	925.406
943.75/944.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
943.75/944.03	c   310306   2529    49266  1627527   33   228949  273944  47088    335 925.41
943.75/944.03	c   310406   2529    49366  1629983   33   229150  301339  47188    335 925.59
943.75/944.03	c   310658   2527    49618  1635506   32   229652  331473  47440    335 926.08
943.75/944.03	c   311133   2522    50093  1645136   32   230597  364621  47915    335 926.91
943.75/944.03	c   311948   2520    50908  1664717   32   232225  401084  48730    336 928.35
943.75/944.03	c   313271   2514    52231  1697845   32   234865  441193  50053    336 930.60
943.75/944.03	c   315355   2509    54315  1747026   32   239028  485313  52137    337 934.24
943.75/944.03	c   318578   2507    57538  1832212   31   245472  533845  55360    339 938.47
943.75/944.03	o 2197504	943.789
969.05/969.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
969.05/969.37	c   322769   2504    61730  1954268   31   253872  273944  59552    341 943.80
969.05/969.37	c   322871   2504    61832  1956623   31   254077  301339  59654    342 943.97
969.05/969.37	c   323121   2504    62082  1961997   31   254577  331473  59904    342 944.40
969.05/969.37	c   323596   2504    62557  1974299   31   255519  364621  60379    342 944.96
969.05/969.37	c   324409   2504    63370  1995429   31   257145  401084  61192    343 945.57
969.05/969.37	c   325729   2504    64690  2031886   31   259782  441193  62512    343 947.22
969.05/969.37	c   327811   2504    66772  2097278   31   263946  485313  64594    345 949.88
969.05/969.37	c   331034   2503    69995  2182666   31   270388  533845  67817    346 954.68
969.05/969.37	c   335970   2502    74931  2333138   31   280273  587230  72753    348 962.77
969.05/969.37	o 2195456	969.127
998.04/998.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
998.04/998.30	c   339680   2502    78642  2456294   31   287715  273944  76464    350 969.13
998.04/998.30	c   339783   2502    78745  2458710   31   287921  301339  76567    350 969.39
998.04/998.30	c   340033   2502    78995  2464157   31   288421  331473  76817    350 970.01
998.04/998.30	c   340508   2502    79470  2475608   31   289371  364621  77292    350 971.01
998.04/998.30	c   341321   2502    80283  2495081   31   290997  401084  78105    350 972.52
998.04/998.30	c   342641   2502    81603  2527682   30   293637  441193  79425    351 974.37
998.04/998.30	c   344722   2502    83684  2584310   30   297799  485313  81506    352 977.82
998.04/998.30	c   347946   2502    86908  2669176   30   304247  533845  84730    353 984.47
998.04/998.30	c   352882   2502    91844  2831380   30   314119  587230  89666    355 992.46
998.04/998.30	o 2183168	998.049
1030.33/1030.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1030.33/1030.67	c   355594   2502    94557  2902695   30   319565  273944  92379    356 998.06
1030.33/1030.67	c   355694   2501    94657  2904812   30   319764  301339  92479    356 998.39
1030.33/1030.67	c   355944   2500    94907  2911020   30   320263  331473  92729    356 998.84
1030.33/1030.67	c   356420   2500    95383  2924521   30   321215  364621  93205    356 999.80
1030.33/1030.67	c   357233   2498    96196  2943039   30   322839  401084  94018    356 1001.54
1030.33/1030.67	c   358555   2498    97518  2977198   30   325483  441193  95340    357 1003.95
1030.33/1030.67	c   360637   2498    99600  3032033   30   329628  485313  97422    357 1008.09
1030.33/1030.67	c   363860   2497   102823  3127374   30   336092  533845 100645    358 1014.10
1030.33/1030.67	c   368796   2497   107759  3290511   30   345944  587230 105581    360 1022.75
1030.33/1030.67	o 2097152	1030.41
1042.92/1043.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1042.92/1043.26	c   372951   2497   111915  3409492   30   354296  273944 109737    361 1030.42
1042.92/1043.26	c   373052   2497   112016  3412948   30   354498  301339 109838    361 1030.62
1042.92/1043.26	c   373302   2494   112266  3419237   30   354997  331473 110088    362 1031.14
1042.92/1043.26	c   373777   2494   112741  3433635   30   355925  364621 110563    362 1031.84
1042.92/1043.26	c   374590   2494   113554  3458148   30   357551  401084 111376    362 1033.13
1042.92/1043.26	c   375911   2494   114875  3494578   30   360193  441193 112697    362 1036.06
1042.92/1043.26	c   377993   2494   116957  3552743   30   364357  485313 114779    363 1040.03
1042.92/1043.26	o 2019328	1042.99
1090.72/1091.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1090.72/1091.07	c   379434   2494   118399  3600762   30   367257  273942 116221    363 1043.00
1090.72/1091.07	c   379535   2494   118500  3602975   30   367459  301337 116322    363 1043.38
1090.72/1091.07	c   379785   2494   118750  3609296   30   367957  331471 116572    363 1043.97
1090.72/1091.07	c   380260   2494   119225  3620062   30   368907  364619 117047    363 1044.99
1090.72/1091.07	c   381073   2494   120038  3642765   30   370531  401081 117860    364 1046.42
1090.72/1091.07	c   382393   2494   121358  3690076   30   373174  441190 119180    364 1048.44
1090.72/1091.07	c   384476   2494   123441  3765369   30   377338  485310 121263    365 1052.06
1090.72/1091.07	c   387699   2494   126664  3867577   30   383784  533842 124486    366 1058.38
1090.72/1091.07	c   392636   2494   131601  4038837   30   393658  587227 129423    368 1066.78
1090.72/1091.07	c   400142   2494   139107  4300458   30   408670  645950 136929    370 1080.16
1090.72/1091.07	o 1556480	1090.79
1121.80/1122.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1121.80/1122.12	c   405910   2494   144876  4559420   31   420227  273942 142698    372 1090.80
1121.80/1122.12	c   406010   2494   144976  4562076   31   420427  301337 142798    372 1091.09
1121.80/1122.12	c   406260   2494   145226  4568129   31   420927  331471 143048    372 1091.57
1121.80/1122.12	c   406735   2494   145701  4581728   31   421870  364619 143523    372 1092.47
1121.80/1122.12	c   407548   2494   146514  4602807   31   423503  401081 144336    372 1094.03
1121.80/1122.12	c   408868   2494   147834  4643495   31   426143  441190 145656    372 1096.48
1121.80/1122.12	c   410949   2494   149915  4721065   31   430305  485310 147737    373 1099.44
1121.80/1122.12	c   414172   2494   153138  4834819   31   436751  533842 150960    374 1104.83
1121.80/1122.12	c   419108   2494   158074  5004378   31   446623  587227 155896    376 1114.07
1121.80/1122.12	o 1540096	1121.83
1215.08/1215.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1215.08/1215.45	c   422516   2494   161483  5130097   31   453460  273942 159305    376 1121.84
1215.08/1215.45	c   422617   2494   161584  5133718   31   453662  301337 159406    376 1122.15
1215.08/1215.45	c   422867   2494   161834  5140788   31   454162  331471 159656    376 1122.63
1215.08/1215.45	c   423344   2494   162311  5154600   31   455116  364619 160133    376 1123.60
1215.08/1215.45	c   424159   2494   163126  5180185   31   456746  401081 160948    376 1125.28
1215.08/1215.45	c   425479   2494   164446  5230165   31   459386  441190 162268    377 1127.21
1215.08/1215.45	c   427560   2494   166527  5310355   31   463534  485310 164349    378 1130.15
1215.08/1215.45	c   430783   2494   169750  5434823   32   469980  533842 167572    379 1134.87
1215.08/1215.45	c   435720   2494   174687  5659435   32   479854  587227 172509    381 1141.68
1215.08/1215.45	c   443227   2494   182194  5942680   32   494860  645950 180016    383 1157.17
1215.08/1215.45	c   454588   2494   193555  6447167   33   517598  710546 191377    385 1179.32
1215.08/1215.45	o 1521664	1215.14
1303.96/1304.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1303.96/1304.32	c   470125   2494   209093  7033160   33   548693  273942 206915    386 1215.15
1303.96/1304.32	c   470226   2494   209194  7035927   33   548895  301337 207016    386 1215.55
1303.96/1304.32	c   470478   2494   209446  7042902   33   549399  331471 207268    386 1216.15
1303.96/1304.32	c   470953   2494   209921  7057152   33   550349  364619 207743    386 1217.29
1303.96/1304.32	c   471766   2494   210734  7082296   33   551975  401081 208556    386 1219.35
1303.96/1304.32	c   473086   2494   212054  7125303   33   554615  441190 209876    386 1222.53
1303.96/1304.32	c   475167   2494   214135  7195867   33   558756  485310 211957    387 1227.41
1303.96/1304.32	c   478390   2494   217358  7309929   33   565223  533842 215180    387 1234.90
1303.96/1304.32	c   483326   2494   222294  7466953   33   575095  587227 220116    387 1246.68
1303.96/1304.32	c   490832   2494   229800  7749350   33   590107  645950 227622    388 1262.97
1303.96/1304.32	c   502193   2494   241161  8228321   34   612829  710546 238983    390 1285.41
1303.96/1304.32	o 1308672	1303.99
1382.34/1382.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1382.34/1382.72	c   510711   2494   249680  8572464   34   629880  273942 247502    391 1304.00
1382.34/1382.72	c   510811   2494   249780  8575313   34   630080  301337 247602    391 1304.49
1382.34/1382.72	c   511061   2494   250030  8582253   34   630559  331471 247852    391 1305.24
1382.34/1382.72	c   511537   2494   250506  8596846   34   631511  364619 248328    391 1306.48
1382.34/1382.72	c   512350   2494   251319  8623294   34   633137  401081 249141    391 1308.50
1382.34/1382.72	c   513670   2494   252639  8667095   34   635798  441190 250461    391 1311.85
1382.34/1382.72	c   515751   2494   254720  8751115   34   639960  485310 252542    391 1316.57
1382.34/1382.72	c   518974   2494   257943  8916532   34   646385  533842 255765    391 1324.24
1382.34/1382.72	c   523910   2494   262879  9096809   34   656257  587227 260701    391 1337.96
1382.34/1382.72	c   531417   2494   270386  9405930   34   671271  645950 268208    391 1356.10
1382.34/1382.72	o 1300480	1382.38
1537.90/1538.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1537.90/1538.37	c   542229   2494   281199  9833087   34   692936  273942 279021    392 1382.38
1537.90/1538.37	c   542329   2494    18367   700684   38   167098  301337  16189    386 1402.59
1537.90/1538.37	c   542580   2494    18618   706906   37   167600  331471  16440    386 1402.92
1537.90/1538.37	c   543055   2494    19093   718256   37   168550  364619  16915    386 1403.87
1537.90/1538.37	c   543869   2494    19907   736055   36   170178  401081  17729    387 1405.08
1537.90/1538.37	c   545189   2494    21227   773403   36   172818  441190  19049    387 1406.29
1537.90/1538.37	c   547270   2494    23308   839960   36   176980  485310  21130    388 1408.38
1537.90/1538.37	c   550493   2494    26531   942342   35   183426  533842  24353    390 1411.31
1537.90/1538.37	c   555429   2494    31467  1114015   35   193298  587227  29289    392 1414.85
1537.90/1538.37	c   562935   2494    38973  1361580   34   208310  645950  36795    395 1422.80
1537.90/1538.37	c   574296   2494    50334  1730754   34   231032  710546  48156    400 1433.74
1537.90/1538.37	c   591440   2494    67478  2422109   35   265320  781601  65300    406 1456.23
1537.90/1538.37	c   617259   2494    93297  3657997   39   316958  859762  91119    414 1488.96
1537.90/1538.37	o 1234944	1537.98
1691.27/1691.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1691.27/1691.79	c   649006   2494   125045  5030308   40   380473  273942 122867    421 1537.99
1691.27/1691.79	c   649108   2492   125147  5032900   40   380675  301337 122969    421 1538.33
1691.27/1691.79	c   649359   2492   125398  5038986   40   381177  331471 123220    421 1538.90
1691.27/1691.79	c   649834   2492   125873  5051035   40   382127  364619 123695    421 1539.94
1691.27/1691.79	c   650647   2492   126686  5076826   40   383753  401081 124508    422 1540.98
1691.27/1691.79	c   651968   2492   128007  5125169   40   386395  441190 125829    422 1543.03
1691.27/1691.79	c   654050   2492   130089  5197631   39   390559  485310 127911    423 1546.12
1691.27/1691.79	c   657273   2491   133312  5297445   39   397004  533842 131134    423 1550.57
1691.27/1691.79	c   662211   2491   138250  5461583   39   406880  587227 136072    425 1557.22
1691.27/1691.79	c   669717   2490   145756  5728102   39   421891  645950 143578    427 1567.92
1691.27/1691.79	c   681078   2490   157117  6176836   39   444613  710546 154939    429 1586.88
1691.27/1691.79	c   698222   2490   174261  6924023   39   478901  781601 172083    433 1610.86
1691.27/1691.79	c   724042   2487   200081  8209724   41   530538  859762 197903    436 1658.68
1691.27/1691.79	o 1200128	1691.36
1799.94/1800.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.94/1800.46	c   743675   2487   219715  9081443   41   569821  273942 217537    439 1691.37
1799.94/1800.46	c   743775   2487   219815  9083953   41   570025  301337 217637    439 1691.75
1799.94/1800.46	c   744025   2487   220065  9090247   41   570525  331471 217887    439 1692.43
1799.94/1800.46	c   744500   2487   220540  9100930   41   571475  364619 218362    439 1693.55
1799.94/1800.46	c   745313   2487   221353  9124923   41   573101  401081 219175    439 1695.59
1799.94/1800.46	c   746633   2487   222673  9164712   41   575741  441190 220495    439 1697.64
1799.94/1800.46	c   748716   2487   224756  9232217   41   579907  485310 222578    439 1701.97
1799.94/1800.46	c   751940   2487   227980  9379207   41   586355  533842 225802    439 1709.14
1799.94/1800.46	c   756876   2487   232916  9528801   40   596222  587227 230738    439 1722.36
1799.94/1800.46	c   764384   2487   240424  9821611   40   611243  645950 238246    439 1738.03
1799.94/1800.46	c   775745   2487   251785 10218520   40   633965  710546 249607    439 1765.81
1799.94/1800.46	c Resources Exceeded
1799.94/1800.46	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 x15 -x16 -x17 x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29
1799.94/1800.46	v -x30 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 x1179 -x1180 -x1181 -x1182 -x1183
1799.94/1800.46	v x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1423 -x1650 -x1651 -x1652
1799.94/1800.46	v -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669
1799.94/1800.46	v -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 x1906 -x2133 -x880 -x881 -x882 -x883 -x884 -x885
1799.94/1800.46	v -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906
1799.94/1800.46	v -x907 -x908 -x909 -x1036 -x1105 -x1116 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597
1799.94/1800.46	v x2598 -x2599 x2600 x2601 -x2602 x2603 x2604 x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615
1799.94/1800.46	v -x565 -x566 x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585
1799.94/1800.46	v -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759
1799.94/1800.46	v -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776
1799.94/1800.46	v -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 x955
1799.94/1800.46	v x956 -x957 -x958 -x959 x960 x961 x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 x2132 -x2164 -x1680 -x1681
1799.94/1800.46	v -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 x1691 x1692 x1693 x1694 x1695 -x1696 -x1697 -x1698 -x1699
1799.94/1800.46	v x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1742 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980
1799.94/1800.46	v -x981 -x982 -x983 x984 x985 -x986 x987 x988 x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001
1799.94/1800.46	v -x1002 x2165 -x2166 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 x1017 x1018 -x1019
1799.94/1800.46	v x1020 -x1021 -x1022 x1023 x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1037 -x1038
1799.94/1800.46	v -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 x1048 -x1049 x1050 x1051 x1052 -x1053 -x1054 x1055 x1056
1799.94/1800.46	v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 x2167 -x2168 -x1069 -x1070 -x1071 -x1072 -x1073
1799.94/1800.46	v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 x1086 -x1087 x1088 x1089 -x1090 -x1091
1799.94/1800.46	v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801
1799.94/1800.46	v -x1802 -x1803 -x1804 x1805 -x1806 x1807 x1808 -x1809 x1810 -x1811 x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819
1799.94/1800.46	v -x1820 -x1821 -x1822 x1855 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 x1918 -x1919 x1920
1799.94/1800.46	v -x1921 x1922 x1923 x1924 x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 x2169 -x2170
1799.94/1800.46	v -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 x619
1799.94/1800.46	v -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x1969 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872
1799.94/1800.46	v -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 x1882 x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890
1799.94/1800.46	v -x1891 -x1892 -x1893 -x1894 -x1895 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 x1991
1799.94/1800.46	v -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008
1799.94/1800.46	v -x2009 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 x2034 -x2035
1799.94/1800.46	v x2036 -x2037 -x2038 x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 x2171 x2172 -x2082 -x2093
1799.94/1800.46	v -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110
1799.94/1800.46	v -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2134 -x2135 -x2136 -x2137 -x2138
1799.94/1800.46	v -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 x2148 -x2149 -x2150 -x2151 x2152 -x2153 -x2154 -x2155 -x2156
1799.94/1800.46	v -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 x2173 -x2175 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213
1799.94/1800.46	v -x2214 -x2215 -x2216 -x2217 x2218 x2219 -x2220 -x2221 -x2222 x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231
1799.94/1800.46	v -x2232 -x2233 -x2234 -x2235 x631 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 x2257 -x2258
1799.94/1800.46	v -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275
1799.94/1800.46	v -x2176 -x2177 -x2308 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 x2331 x2332 x2333
1799.94/1800.46	v x2334 x2335 -x2336 x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2360 -x2361 -x2362
1799.94/1800.46	v -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 x2374 x2375 x2376 x2377 -x2378 x2379 -x2380
1799.94/1800.46	v -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2178 x2179 -x2422 -x2433 -x2434 -x2435 -x2436 -x2437
1799.94/1800.46	v -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 x2444 x2445 -x2446 x2447 x2448 x2449 -x2450 x2451 -x2452 -x2453 -x2454 -x2455
1799.94/1800.46	v -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482
1799.94/1800.46	v -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499
1799.94/1800.46	v -x2500 -x2501 -x2502 x2180 -x2181 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646
1799.94/1800.46	v -x647 -x648 -x649 -x650 x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x2535 -x2546 -x2547 -x2548 -x2549
1799.94/1800.46	v -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 x2558 x2559 -x2560 -x2561 -x2562 x2563 -x2564 -x2565 -x2566 -x2567
1799.94/1800.46	v -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624
1799.94/1800.46	v -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641
1799.94/1800.46	v -x2642 -x2643 -x2644 -x2645 x2182 -x2183 -x2678 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698
1799.94/1800.46	v -x2699 -x2700 x2701 -x2702 -x2703 -x2704 x2705 -x2706 -x2707 x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716
1799.94/1800.46	v -x2717 -x2718 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 x2741 -x2742 x2743 x2744
1799.94/1800.46	v -x2745 x2746 -x2747 x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2184 x2186 -x2791 -x2802
1799.94/1800.46	v -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 x2813 x2814 -x2815 -x2816 -x2817 x2818 x2819 -x2820
1799.94/1800.46	v x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877
1799.94/1800.46	v -x2878 -x2879 -x2880 -x2881 -x2882 x2883 x2884 -x2885 -x2886 x2887 -x2888 -x2889 x2890 -x2891 -x2892 -x2893 -x2894 -x2895
1799.94/1800.46	v -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 x2187 -x2188 -x2934 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952
1799.94/1800.46	v -x2953 -x2954 -x2955 -x2956 x2957 -x2958 -x2959 -x2960 -x2961 -x2962 x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970
1799.94/1800.46	v -x2971 -x2972 -x2973 -x2974 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 x2996 -x2997
1799.94/1800.46	v x2998 x2999 x3000 x3001 x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x2189
1799.94/1800.46	v x2190 x3047 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 x3071 x3072 x3073
1799.94/1800.46	v -x3074 x3075 x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x61 -x62 -x63 -x64 -x65
1799.94/1800.46	v -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x2191
1799.94/1800.46	v -x2192 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 x677 x678 -x679 x680 -x681
1799.94/1800.46	v -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x123 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141
1799.94/1800.46	v -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162
1799.94/1800.46	v -x163 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 x187 x188 x189 x190 -x191 -x192 -x193
1799.94/1800.46	v -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 x2193 -x2194 -x236 -x247 -x248 -x249 -x250 -x251 -x252 -x253
1799.94/1800.46	v -x254 -x255 -x256 -x257 -x258 x259 x260 x261 x262 x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275
1799.94/1800.46	v -x276 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307
1799.94/1800.46	v -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 x2195 -x2196 -x350 -x361 -x362 -x363 -x364 -x365 -x366 -x367
1799.94/1800.46	v -x368 -x369 -x370 -x371 x372 -x373 -x374 x375 x376 -x377 x378 x379 x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389
1799.94/1800.46	v -x390 -x694 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 -x417 x418 x419
1799.94/1800.46	v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 x2197 -x2198 -x440 -x441 -x442 -x443 -x444 -x445 -x446
1799.94/1800.46	v -x447 -x448 -x449 -x450 -x451 -x452 x453 x454 -x455 -x456 -x457 x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467
1799.94/1800.46	v -x468 -x469 -x470 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 x488 -x489
1799.94/1800.46	v x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 x2199 -x2200 -x504 -x505 -x506 -x507 -x508 -x509 -x510
1799.94/1800.46	v -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 x525 -x526 -x527 -x528 -x529 -x530 -x531
1799.94/1800.46	v -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 x548 -x549 -x550 x551 x552
1799.94/1800.46	v x553 x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x2201 -x2202 -x695 -x696 -x697 -x698 -x699 -x700 -x701
1799.94/1800.46	v -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 x712 -x713 x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722
1799.94/1800.46	v -x723 -x724 -x2203 -x2204 x2205 -x2236 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768
1799.94/1800.46	v -x769 x770 x771 x772 x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 x2237 -x2238 -x787 -x788 -x789
1799.94/1800.46	v -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 x798 -x799 x800 x801 x802 -x803 x804 -x805 x806 -x807 -x808 -x809 -x810 -x811
1799.94/1800.46	v -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 x831 x832
1799.94/1800.46	v x833 x834 x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x2239 -x2240 x849 -x850 -x851 -x852 -x853
1799.94/1800.46	v -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 x864 -x865 x866 -x867 x868 x869 -x870 -x871 -x872 -x873 -x874
1799.94/1800.46	v -x875 -x876 -x877 -x878 -x879 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925
1799.94/1800.46	v -x926 -x927 -x928 x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x2241 x2242 -x785 -x786 x2243 -x2244
1799.94/1800.46	v -x2245 x2276 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 x1141 -x1142
1799.94/1800.46	v -x1143 -x1144 -x1145 -x1146 x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 x2277 x2278 x2279 -x2280
1799.94/1800.46	v -x2281 -x2282 -x2283 -x2284 x2285 -x2287 -x2288 x2289 -x2290 -x2291 x2292 -x2293 -x847 -x848 -x2294 x2295 x2296 -x2298
1799.94/1800.46	v x2299 -x2300 -x2301 x2302 x2303 x2304 x2305 -x2306 -x2307 -x2309 -x2310 -x2311 x2312 -x2313 -x2314 x2315 -x940 -x941 -x2316
1799.94/1800.46	v -x2317 -x2318 x2349 x2350 -x2351 -x2352 -x2353 x2354 -x2355 -x2356 -x2357 -x2358 x2390 x2391 -x2392 -x2393 x2394 -x2395
1799.94/1800.46	v x2396 x1003 x1004 x2397 -x2398 -x2399 x2401 x2402 -x2403 x2404 -x2405 x2406 -x2407 x2408 -x2409 -x2410 x2412 -x2413 -x2414
1799.94/1800.46	v -x2415 -x2416 x2417 -x2418 -x1067 -x1068 -x2419 x2420 -x2421 -x2423 -x2424 x2425 -x2426 x2427 -x2428 x2429 -x2430 -x2431
1799.94/1800.46	v -x2432 -x2463 x2464 -x2465 -x2466 -x2467 -x2468 -x2469 x2359 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43
1799.94/1800.46	v -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x1100 x1101 -x2470 x2471 -x2472 x2503 -x1197
1799.94/1800.46	v -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214
1799.94/1800.46	v -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1237 x1248 -x598 x2504 -x2505 -x2506
1799.94/1800.46	v x2507 x2508 -x2509 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 x2855 x2856
1799.94/1800.46	v -x2857 -x2858 x2859 x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x725 -x726 -x727
1799.94/1800.46	v -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748
1799.94/1800.46	v -x749 -x750 -x751 -x752 -x753 -x754 -x2510 -x2511 -x2512 x2514 -x2515 -x2516 -x2517 -x2518 -x2519 x2520 -x1102 -x1103 -x2521
1799.94/1800.46	v -x2522 -x2523 -x2525 -x2526 -x2527 -x2528 x2529 -x2530 -x2531 x2532 -x2533 x2534 -x2536 x2537 -x2538 -x2539 x2540 x2541
1799.94/1800.46	v -x2542 -x1104 x1106 x2543 -x2544 x2545 -x2576 x1259 x2577 -x2578 -x2579 x2580 x2581 -x2582 -x1270 -x1271 -x1272 -x1273
1799.94/1800.46	v -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 x1290 -x1291
1799.94/1800.46	v -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 x2583 -x2584 x2585 x2646 -x2647 x2648 -x2649 x2650 -x2651 x2652
1799.94/1800.46	v -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 x1324 -x1325 -x1326
1799.94/1800.46	v -x1327 x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1107 -x1108 -x2653 x2654 -x2655
1799.94/1800.46	v x2657 -x1372 x2658 -x2659 x2660 -x2661 x2662 -x2663 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392
1799.94/1800.46	v -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409
1799.94/1800.46	v -x1410 -x1411 -x1412 x2664 -x2665 -x2666 x2668 x2669 -x2670 x2671 -x2672 x2673 -x2674 -x1424 -x1425 -x1426 -x1427 -x1428
1799.94/1800.46	v -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445
1799.94/1800.46	v -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1109 x1110 x2675 -x2676 x2677 -x2679 x1486 x2680 -x2681 x2682
1799.94/1800.46	v -x2683 -x2684 -x2685 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 x1509 x1510 x1511
1799.94/1800.46	v x1512 x1513 x1514 -x1515 x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x2686 -x2687 x2688
1799.94/1800.46	v -x2719 x2720 -x2721 -x2722 -x2723 -x2724 x2725 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547
1799.94/1800.46	v x1548 x1549 x1550 x1551 x1552 x1553 -x1554 x1555 x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566
1799.94/1800.46	v -x1111 -x1112 x2726 -x2727 -x2728 x2759 -x1599 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x1610 -x1611 -x1612 -x1613 -x1614
1799.94/1800.46	v -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 x1621 -x1622 x1623 x1624 x1625 x1626 -x1627 x1628 -x1629 -x1630 -x1631 -x1632
1799.94/1800.46	v -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x2766 -x2767 -x2768 -x2770 -x2771 -x2772 -x2773 x2774 -x2775 -x2776
1799.94/1800.46	v -x1113 -x1114 -x2777 -x2778 -x2779 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2792 -x2793
1799.94/1800.46	v -x2794 -x2795 -x2796 -x2797 -x2798 -x1115 -x1117 x2799 -x2800 x2801 x2832 x2833 -x2834 x2835 -x2836 -x2837 x2838 x2839
1799.94/1800.46	v x2840 x2841 -x2902 -x2903 -x2904 -x2905 -x2906 x2907 -x2908 -x1118 -x1119 -x2909 x2910 -x2911 -x2913 -x2914 x2915 x2916
1799.94/1800.46	v -x2917 -x2918 -x2919 x2920 -x2921 x2922 x2924 x2925 -x2926 x2927 -x2928 x2929 -x2930 -x1120 -x1121 x2931 -x2932 x2933 -x2935
1799.94/1800.46	v x2936 x2937 -x2938 -x2939 x2940 -x2941 x2942 -x2943 -x2944 -x2975 -x2976 x2977 x2978 -x2979 -x2980 x2981 -x1122 -x1123
1799.94/1800.46	v -x2982 x2983 x2984 -x3015 -x1350 -x1361 x3016 -x3017 x3018 -x3019 x3020 x3021 -x3022 x3023 -x3024 -x3026 -x3027 -x3028
1799.94/1800.46	v -x3029 x3030 -x3031 x3032 -x1124 -x1125 -x3033 -x3034 -x3035 -x3037 x3038 -x3039 -x3040 -x3041 x3042 x3043 -x3044 x3045
1799.94/1800.46	v -x3046 x3048 x3049 x3050 -x3051 x3052 -x3053 -x3054 -x1126 -x1157 -x3055 -x3056 -x3057 x3088 -x3089 x3090 -x3091 -x3092
1799.94/1800.46	v -x3093 x3094 x3095 -x3096 -x3097 -x91 -x92 x93 x94 -x95 -x96 -x97 x1158 x1159 -x98 -x99 -x100 -x102 -x103 -x104 -x105 -x106
1799.94/1800.46	v -x107 -x108 -x109 -x110 -x111 -x113 -x114 x115 -x116 -x117 x118 -x119 -x1160 -x1161 -x120 -x121 -x122 -x124 -x125 -x126 -x127
1799.94/1800.46	v -x128 -x129 -x130 -x131 -x132 -x133 -x164 -x165 -x166 x167 x168 -x169 -x170 -x1162 -x1163 -x171 -x172 -x173 -x204 -x205 -x206
1799.94/1800.46	v -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x1164 -x1165 -x222 x223 -x224 -x226
1799.94/1800.46	v -x227 -x228 -x229 x230 -x231 x232 -x233 -x234 -x235 x237 x238 -x239 -x240 -x241 -x242 -x243 -x1166 -x1227 -x244 -x245 x246
1799.94/1800.46	v x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x318 -x319 x320 x321 -x322 x323 -x324 -x1228 -x1229 -x325 x326
1799.94/1800.46	v -x327 x329 -x330 x331 -x332 x333 x334 -x335 x336 -x337 -x338 x340 x341 -x342 x343 -x344 x345 -x346 -x1230 -x1231 -x347 -x348
1799.94/1800.46	v -x349 -x351 -x352 -x353 x354 -x355 -x356 -x357 -x358 -x359 -x360 x391 x392 -x393 -x394 -x395 x396 -x397 -x1232 x1233 x398
1799.94/1800.46	v -x399 x400 -x431 x1464 x1475 x432 -x433 -x434 -x435 -x436 -x437 -x1234 -x1235 -x1236 -x1238 -x1239 -x1240 -x1241 -x1242
1799.94/1800.46	v -x1243 -x1244 -x1245 -x1246 -x1247 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1577 -x1588 -x1256 -x1257 -x1258
1799.94/1800.46	v x1260 -x1261 -x1262 -x1263 x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1720
1799.94/1800.46	v -x1731 -x1307 -x1308 -x1309 -x1340 -x1341 x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1351 -x1352 -x1353
1799.94/1800.46	v -x1354 x1355 -x1356 x1357 -x1833 -x1844 -x1358 -x1359 -x1360 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370
1799.94/1800.46	v -x1371 -x1373 -x1374 -x1375 -x1376 x1377 -x1378 -x1379 -x1947 -x1958 x1380 -x1381 x1382 x1413 x1414 -x1415 x1416 x1417
1799.94/1800.46	v -x1418 -x1419 x1420 x1421 x1422 x1454 x1455 x1456 x1457 -x1458 x1459 x1460 -x2060 -x2071 x1461 x1462 x1463 -x1465 x1466
1799.94/1800.46	v x1467 x1468 x1469 x1470 -x1471 x1472 x1473 x1474 -x1476 x1477 -x1478 x1479 -x1480 x1481 x1482 -x2174 -x2185 x1483 -x1484
1799.94/1800.46	v x1485 x1487 x1488 x1489 x1490 -x1491 x1492 x1493 x1494 x1495 x1496 x1527 x1528 -x1529 x1530 x1531 x1532 x1533 -x2286 -x2297
1799.94/1800.46	v x1534 x1535 -x1536 -x1567 x287 -x471 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 x1576 x1578 -x1579 -x1580
1799.94/1800.46	v -x1581 -x1582 x1583 x1584 -x2400 -x2411 -x1585 -x1586 -x1587 -x1589 x1590 x1591 x1592 x1593 x1594 x1595 x1596 x1597 x1598
1799.94/1800.46	v x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 x2513 -x2524 -x1607 -x1608 -x1609 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645
1799.94/1800.46	v -x1646 x1647 x1648 -x1649 -x1710 -x1711 x1712 -x1713 -x1714 -x1715 -x1716 -x2656 -x2667 -x1717 -x1718 -x1719 x1721 -x1722
1799.94/1800.46	v -x1723 -x1724 x1725 -x1726 -x1727 -x1728 -x1729 x1730 -x1732 -x1733 x1734 -x1735 -x1736 -x1737 x1738 -x2769 -x2780 -x1739
1799.94/1800.46	v x1740 x1741 -x1743 -x1744 x1745 x1746 -x1747 -x1748 x1749 -x1750 x1751 -x1752 -x1783 -x1784 -x1785 -x1786 x1787 -x1788
1799.94/1800.46	v x1789 -x2912 -x2923 -x1790 -x1791 -x1792 x1823 -x1824 x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1834 -x1835
1799.94/1800.46	v -x1836 -x1837 -x1838 x1839 x1840 -x3025 -x3036 -x1841 -x1842 -x1843 -x1845 x1846 x1847 -x1848 -x1849 -x1850 -x1851 x1852
1799.94/1800.46	v x1853 x1854 x1856 x1857 x1858 x1859 x1860 -x1861 x1862 x101 x112 -x1863 -x1864 -x1865 x1896 -x1897 -x1898 -x1899 -x1900
1799.94/1800.46	v -x1901 -x1902 -x1903 -x1904 -x1905 -x1937 -x1938 -x1939 x1940 x1941 -x1942 -x1943 x214 x225 -x1944 -x1945 x1946 -x1948
1799.94/1800.46	v x1949 -x1950 x1951 x1952 x1953 -x1954 -x1955 -x1956 x1957 -x1959 x1960 -x1961 x1962 -x1963 -x1964 x1965 x328 -x339 x1966
1799.94/1800.46	v -x1967 x1968 -x1970 x1971 -x1972 x1973 -x1974 -x1975 x1976 x1977 -x1978 x1979 -x2010 x2011 x2012 -x2013 -x2014 x2015 -x2016
1799.94/1800.46	v -x438 -x439 x2017 -x2018 -x2019 x2050 x2051 -x2052 x2053 -x2054 -x2055 x2056 x2057 -x2058 -x2059 x2061 x2062 -x2063 x2064
1799.94/1800.46	v -x2065 -x2066 x2067 -x502 -x503 -x2068 x2069 x2070 -x2072 -x2073 x2074 x2075 -x2076 x2077 -x2078 x2079 -x2080 x2081 -x2083
1799.94/1800.46	v x2084 -x2085 x2086 -x2087 x2088 -x2089 -x2090 x2091 x2092 -x2123 -x2124 x2125 x2126 -x2127 -x2128 x2129 -x2130 x2131
1799.94/1800.46	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.94/1800.46	c  333   792023 391455 12702029   268063 10891059 265885    440 1800.00
1799.94/1800.46	c Objective: 1200128
1799.94/1800.46	s SATISFIABLE
1799.94/1800.46	c Total time: 1800 s

OK	1200128

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

command line: runsolver --timestamp -w ROOT/results/node45/watcher-354390-1176707270 -o ROOT/results/node45/solver-354390-1176707270 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354390-1176707270/instance-354390-1176707270.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.77 0.92 0.97 3/64 6269
/proc/meminfo: memFree=1788336/2055920 swapFree=4184868/4192956
[pid=6269] ppid=6267 vsize=13444 CPUtime=0
/proc/6269/stat : 6269 (bsolo3.0.16) R 6267 6269 6209 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 25572653 13766656 335 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6269/statm: 3361 335 282 324 0 2003 0

[startup+0.0338879 s]
/proc/loadavg: 0.77 0.92 0.97 3/64 6269
/proc/meminfo: memFree=1788336/2055920 swapFree=4184868/4192956
[pid=6269] ppid=6267 vsize=5892 CPUtime=0.02
/proc/6269/stat : 6269 (bsolo3.0.16) R 6267 6269 6209 0 -1 4194304 489 0 0 0 2 0 0 0 18 0 1 0 25572653 6033408 457 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6269/statm: 1473 457 329 324 0 115 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5892

[startup+0.101884 s]
/proc/loadavg: 0.77 0.92 0.97 3/64 6269
/proc/meminfo: memFree=1788336/2055920 swapFree=4184868/4192956
[pid=6269] ppid=6267 vsize=6408 CPUtime=0.09
/proc/6269/stat : 6269 (bsolo3.0.16) R 6267 6269 6209 0 -1 4194304 724 0 0 0 9 0 0 0 18 0 1 0 25572653 6561792 692 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6269/statm: 1602 692 437 324 0 244 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6408

[startup+0.301904 s]
/proc/loadavg: 0.77 0.92 0.97 3/64 6269
/proc/meminfo: memFree=1788336/2055920 swapFree=4184868/4192956
[pid=6269] ppid=6267 vsize=7780 CPUtime=0.29
/proc/6269/stat : 6269 (bsolo3.0.16) R 6267 6269 6209 0 -1 4194304 1772 0 0 0 28 1 0 0 19 0 1 0 25572653 7966720 1313 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5162619 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6269/statm: 1945 1314 306 324 0 1014 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7780

[startup+0.701944 s]
/proc/loadavg: 0.77 0.92 0.97 3/64 6269
/proc/meminfo: memFree=1788336/2055920 swapFree=4184868/4192956
[pid=6269] ppid=6267 vsize=10240 CPUtime=0.68
/proc/6269/stat : 6269 (bsolo3.0.16) R 6267 6269 6209 0 -1 4194304 2885 0 0 0 67 1 0 0 22 0 1 0 25572653 10485760 1921 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6269/statm: 2560 1921 311 324 0 1629 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 10240

[startup+1.50203 s]
/proc/loadavg: 0.77 0.92 0.97 2/65 6270
/proc/meminfo: memFree=1781608/2055920 swapFree=4184868/4192956
[pid=6269] ppid=6267 vsize=10504 CPUtime=1.49
/proc/6269/stat : 6269 (bsolo3.0.16) R 6267 6269 6209 0 -1 4194304 2959 0 0 0 147 2 0 0 25 0 1 0 25572653 10756096 1995 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6269/statm: 2626 1995 311 324 0 1695 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10504

[startup+3.10119 s]
/proc/loadavg: 0.77 0.92 0.97 2/65 6270
/proc/meminfo: memFree=1781096/2055920 swapFree=4184868/4192956
[pid=6269] ppid=6267 vsize=10904 CPUtime=3.09
/proc/6269/stat : 6269 (bsolo3.0.16) R 6267 6269 6209 0 -1 4194304 3074 0 0 0 304 5 0 0 25 0 1 0 25572653 11165696 2110 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6269/statm: 2726 2110 311 324 0 1795 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10904

[startup+6.30152 s]
/proc/loadavg: 0.79 0.92 0.97 2/65 6270
/proc/meminfo: memFree=1780072/2055920 swapFree=4184868/4192956
[pid=6269] ppid=6267 vsize=11960 CPUtime=6.29
/proc/6269/stat : 6269 (bsolo3.0.16) R 6267 6269 6209 0 -1 4194304 3341 0 0 0 620 9 0 0 25 0 1 0 25572653 12247040 2377 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6269/statm: 2990 2377 311 324 0 2059 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11960

[startup+12.7012 s]
/proc/loadavg: 0.81 0.92 0.97 2/65 6270
/proc/meminfo: memFree=1777072/2055920 swapFree=4184868/4192956
[pid=6269] ppid=6267 vsize=14868 CPUtime=12.69
/proc/6269/stat : 6269 (bsolo3.0.16) R 6267 6269 6209 0 -1 4194304 4069 0 0 0 1250 19 0 0 25 0 1 0 25572653 15224832 3105 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6269/statm: 3717 3105 311 324 0 2786 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14868

[startup+25.5015 s]
/proc/loadavg: 0.85 0.93 0.97 2/65 6270
/proc/meminfo: memFree=1770224/2055920 swapFree=4184868/4192956
[pid=6269] ppid=6267 vsize=21592 CPUtime=25.49
/proc/6269/stat : 6269 (bsolo3.0.16) R 6267 6269 6209 0 -1 4194304 5746 0 0 0 2515 34 0 0 25 0 1 0 25572653 22110208 4782 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6269/statm: 5398 4782 311 324 0 4467 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21592

[startup+51.1011 s]
/proc/loadavg: 0.90 0.93 0.97 2/65 6270
/proc/meminfo: memFree=1755824/2055920 swapFree=4184868/4192956
[pid=6269] ppid=6267 vsize=36392 CPUtime=51.08
/proc/6269/stat : 6269 (bsolo3.0.16) R 6267 6269 6209 0 -1 4194304 9434 0 0 0 5045 63 0 0 25 0 1 0 25572653 37265408 8470 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6269/statm: 9098 8470 311 324 0 8167 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 36392

[startup+102.305 s]
/proc/loadavg: 0.95 0.94 0.97 2/65 6270
/proc/meminfo: memFree=1733488/2055920 swapFree=4184868/4192956
[pid=6269] ppid=6267 vsize=58316 CPUtime=102.27
/proc/6269/stat : 6269 (bsolo3.0.16) R 6267 6269 6209 0 -1 4194304 14930 0 0 0 10112 115 0 0 25 0 1 0 25572653 59715584 13966 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6269/statm: 14579 13966 312 324 0 13648 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 58316

[startup+162.302 s]
/proc/loadavg: 0.98 0.95 0.97 2/65 6270
/proc/meminfo: memFree=1709360/2055920 swapFree=4184868/4192956
[pid=6269] ppid=6267 vsize=82580 CPUtime=162.25
/proc/6269/stat : 6269 (bsolo3.0.16) R 6267 6269 6209 0 -1 4194304 20986 0 0 0 16055 170 0 0 25 0 1 0 25572653 84561920 20022 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134552615 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6269/statm: 20645 20022 312 324 0 19714 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 82580

[startup+222.301 s]
/proc/loadavg: 0.99 0.95 0.97 2/65 6270
/proc/meminfo: memFree=1692464/2055920 swapFree=4184868/4192956
[pid=6269] ppid=6267 vsize=99248 CPUtime=222.23
/proc/6269/stat : 6269 (bsolo3.0.16) R 6267 6269 6209 0 -1 4194304 25153 0 0 0 22005 218 0 0 25 0 1 0 25572653 101629952 24189 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6269/statm: 24812 24189 312 324 0 23881 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 99248

[startup+282.302 s]
/proc/loadavg: 0.99 0.96 0.97 2/65 6270
/proc/meminfo: memFree=1676784/2055920 swapFree=4184868/4192956
[pid=6269] ppid=6267 vsize=115000 CPUtime=282.22
/proc/6269/stat : 6269 (bsolo3.0.16) R 6267 6269 6209 0 -1 4194304 29092 0 0 0 27962 260 0 0 25 0 1 0 25572653 117760000 28128 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6269/statm: 28750 28128 312 324 0 27819 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 115000

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 6270
/proc/meminfo: memFree=1660656/2055920 swapFree=4184868/4192956
[pid=6269] ppid=6267 vsize=131116 CPUtime=342.21
/proc/6269/stat : 6269 (bsolo3.0.16) R 6267 6269 6209 0 -1 4194304 33107 0 0 0 33921 300 0 0 25 0 1 0 25572653 134262784 32143 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6269/statm: 32779 32143 312 324 0 31848 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 131116

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 6270
/proc/meminfo: memFree=1650672/2055920 swapFree=4184868/4192956
[pid=6269] ppid=6267 vsize=140952 CPUtime=402.18
/proc/6269/stat : 6269 (bsolo3.0.16) R 6267 6269 6209 0 -1 4194304 35580 0 0 0 39885 333 0 0 25 0 1 0 25572653 144334848 34616 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6269/statm: 35238 34616 312 324 0 34307 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 140952

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 6270
/proc/meminfo: memFree=1641456/2055920 swapFree=4184868/4192956
[pid=6269] ppid=6267 vsize=150044 CPUtime=462.18
/proc/6269/stat : 6269 (bsolo3.0.16) R 6267 6269 6209 0 -1 4194304 37844 0 0 0 45851 367 0 0 25 0 1 0 25572653 153645056 36880 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6269/statm: 37511 36880 312 324 0 36580 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 150044

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 6270
/proc/meminfo: memFree=1633136/2055920 swapFree=4184868/4192956
[pid=6269] ppid=6267 vsize=158364 CPUtime=522.16
/proc/6269/stat : 6269 (bsolo3.0.16) R 6267 6269 6209 0 -1 4194304 39917 0 0 0 51818 398 0 0 25 0 1 0 25572653 162164736 38953 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6269/statm: 39591 38953 312 324 0 38660 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 158364

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 6270
/proc/meminfo: memFree=1625264/2055920 swapFree=4184868/4192956
[pid=6269] ppid=6267 vsize=166260 CPUtime=582.14
/proc/6269/stat : 6269 (bsolo3.0.16) R 6267 6269 6209 0 -1 4194304 41897 0 0 0 57789 425 0 0 25 0 1 0 25572653 170250240 40933 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6269/statm: 41565 40933 312 324 0 40634 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 166260

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 6270
/proc/meminfo: memFree=1616368/2055920 swapFree=4184868/4192956
[pid=6269] ppid=6267 vsize=174920 CPUtime=642.13
/proc/6269/stat : 6269 (bsolo3.0.16) R 6267 6269 6209 0 -1 4194304 44076 0 0 0 63764 449 0 0 25 0 1 0 25572653 179118080 43112 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5162619 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6269/statm: 43730 43112 312 324 0 42799 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 174920


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

/proc/meminfo: memFree=1585712/2055920 swapFree=4184868/4192956
[pid=6269] ppid=6267 vsize=205400 CPUtime=1122.01
/proc/6269/stat : 6269 (bsolo3.0.16) R 6267 6269 6209 0 -1 4194304 51977 0 0 0 111522 679 0 0 25 0 1 0 25572653 210329600 50739 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6269/statm: 51350 50739 312 324 0 50419 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 205400

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 6270
/proc/meminfo: memFree=1585712/2055920 swapFree=4184868/4192956
[pid=6269] ppid=6267 vsize=205400 CPUtime=1181.98
/proc/6269/stat : 6269 (bsolo3.0.16) R 6267 6269 6209 0 -1 4194304 51977 0 0 0 117495 703 0 0 25 0 1 0 25572653 210329600 50739 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6269/statm: 51350 50739 312 324 0 50419 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 205400

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 6270
/proc/meminfo: memFree=1585648/2055920 swapFree=4184868/4192956
[pid=6269] ppid=6267 vsize=205400 CPUtime=1241.98
/proc/6269/stat : 6269 (bsolo3.0.16) R 6267 6269 6209 0 -1 4194304 51977 0 0 0 123473 725 0 0 25 0 1 0 25572653 210329600 50739 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5160501 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6269/statm: 51350 50739 312 324 0 50419 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 205400

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 6270
/proc/meminfo: memFree=1585648/2055920 swapFree=4184868/4192956
[pid=6269] ppid=6267 vsize=205400 CPUtime=1301.96
/proc/6269/stat : 6269 (bsolo3.0.16) R 6267 6269 6209 0 -1 4194304 51977 0 0 0 129452 744 0 0 25 0 1 0 25572653 210329600 50739 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6269/statm: 51350 50739 312 324 0 50419 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 205400

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 6270
/proc/meminfo: memFree=1585712/2055920 swapFree=4184868/4192956
[pid=6269] ppid=6267 vsize=205400 CPUtime=1361.95
/proc/6269/stat : 6269 (bsolo3.0.16) R 6267 6269 6209 0 -1 4194304 51977 0 0 0 135435 760 0 0 25 0 1 0 25572653 210329600 50739 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6269/statm: 51350 50739 312 324 0 50419 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 205400

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 6270
/proc/meminfo: memFree=1585456/2055920 swapFree=4184868/4192956
[pid=6269] ppid=6267 vsize=205400 CPUtime=1421.93
/proc/6269/stat : 6269 (bsolo3.0.16) R 6267 6269 6209 0 -1 4194304 52250 0 0 0 141411 782 0 0 25 0 1 0 25572653 210329600 50739 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6269/statm: 51350 50739 312 324 0 50419 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 205400

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 6270
/proc/meminfo: memFree=1585456/2055920 swapFree=4184868/4192956
[pid=6269] ppid=6267 vsize=205400 CPUtime=1481.92
/proc/6269/stat : 6269 (bsolo3.0.16) R 6267 6269 6209 0 -1 4194304 52250 0 0 0 147368 824 0 0 25 0 1 0 25572653 210329600 50739 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6269/statm: 51350 50739 312 324 0 50419 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 205400

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 6270
/proc/meminfo: memFree=1585520/2055920 swapFree=4184868/4192956
[pid=6269] ppid=6267 vsize=205400 CPUtime=1541.9
/proc/6269/stat : 6269 (bsolo3.0.16) R 6267 6269 6209 0 -1 4194304 52250 0 0 0 153336 854 0 0 25 0 1 0 25572653 210329600 50739 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6269/statm: 51350 50739 312 324 0 50419 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 205400

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 6270
/proc/meminfo: memFree=1585520/2055920 swapFree=4184868/4192956
[pid=6269] ppid=6267 vsize=205400 CPUtime=1601.88
/proc/6269/stat : 6269 (bsolo3.0.16) R 6267 6269 6209 0 -1 4194304 52250 0 0 0 159314 874 0 0 25 0 1 0 25572653 210329600 50739 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6269/statm: 51350 50739 312 324 0 50419 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 205400

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 6270
/proc/meminfo: memFree=1585584/2055920 swapFree=4184868/4192956
[pid=6269] ppid=6267 vsize=205400 CPUtime=1661.87
/proc/6269/stat : 6269 (bsolo3.0.16) R 6267 6269 6209 0 -1 4194304 52250 0 0 0 165294 893 0 0 25 0 1 0 25572653 210329600 50739 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6269/statm: 51350 50739 312 324 0 50419 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 205400

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 6270
/proc/meminfo: memFree=1585520/2055920 swapFree=4184868/4192956
[pid=6269] ppid=6267 vsize=205400 CPUtime=1721.85
/proc/6269/stat : 6269 (bsolo3.0.16) R 6267 6269 6209 0 -1 4194304 52250 0 0 0 171269 916 0 0 25 0 1 0 25572653 210329600 50739 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6269/statm: 51350 50739 312 324 0 50419 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 205400

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 6270
/proc/meminfo: memFree=1585520/2055920 swapFree=4184868/4192956
[pid=6269] ppid=6267 vsize=205400 CPUtime=1781.84
/proc/6269/stat : 6269 (bsolo3.0.16) R 6267 6269 6209 0 -1 4194304 52250 0 0 0 177250 934 0 0 25 0 1 0 25572653 210329600 50739 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6269/statm: 51350 50739 312 324 0 50419 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 205400

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

[startup+1791.91 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 6270
/proc/meminfo: memFree=1585456/2055920 swapFree=4184868/4192956
[pid=6269] ppid=6267 vsize=205400 CPUtime=1791.44
/proc/6269/stat : 6269 (bsolo3.0.16) R 6267 6269 6209 0 -1 4194304 52250 0 0 0 178207 937 0 0 25 0 1 0 25572653 210329600 50739 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6269/statm: 51350 50739 312 324 0 50419 0
Current children cumulated CPU time (s) 1791.44
Current children cumulated vsize (KiB) 205400

[startup+1795.1 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 6270
/proc/meminfo: memFree=1585456/2055920 swapFree=4184868/4192956
[pid=6269] ppid=6267 vsize=205400 CPUtime=1794.64
/proc/6269/stat : 6269 (bsolo3.0.16) R 6267 6269 6209 0 -1 4194304 52250 0 0 0 178527 937 0 0 25 0 1 0 25572653 210329600 50739 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6269/statm: 51350 50739 312 324 0 50419 0
Current children cumulated CPU time (s) 1794.64
Current children cumulated vsize (KiB) 205400

[startup+1798.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 6270
/proc/meminfo: memFree=1585456/2055920 swapFree=4184868/4192956
[pid=6269] ppid=6267 vsize=205400 CPUtime=1797.83
/proc/6269/stat : 6269 (bsolo3.0.16) R 6267 6269 6209 0 -1 4194304 52250 0 0 0 178845 938 0 0 25 0 1 0 25572653 210329600 50739 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5158777 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6269/statm: 51350 50739 312 324 0 50419 0
Current children cumulated CPU time (s) 1797.83
Current children cumulated vsize (KiB) 205400

[startup+1799.1 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 6270
/proc/meminfo: memFree=1585456/2055920 swapFree=4184868/4192956
[pid=6269] ppid=6267 vsize=205400 CPUtime=1798.64
/proc/6269/stat : 6269 (bsolo3.0.16) R 6267 6269 6209 0 -1 4194304 52250 0 0 0 178925 939 0 0 25 0 1 0 25572653 210329600 50739 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6269/statm: 51350 50739 312 324 0 50419 0
Current children cumulated CPU time (s) 1798.64
Current children cumulated vsize (KiB) 205400

[startup+1799.9 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 6270
/proc/meminfo: memFree=1585456/2055920 swapFree=4184868/4192956
[pid=6269] ppid=6267 vsize=205400 CPUtime=1799.44
/proc/6269/stat : 6269 (bsolo3.0.16) R 6267 6269 6209 0 -1 4194304 52250 0 0 0 179005 939 0 0 25 0 1 0 25572653 210329600 50739 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6269/statm: 51350 50739 312 324 0 50419 0
Current children cumulated CPU time (s) 1799.44
Current children cumulated vsize (KiB) 205400

[startup+1800.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 6270
/proc/meminfo: memFree=1585456/2055920 swapFree=4184868/4192956
[pid=6269] ppid=6267 vsize=205400 CPUtime=1799.84
/proc/6269/stat : 6269 (bsolo3.0.16) R 6267 6269 6209 0 -1 4194304 52250 0 0 0 179045 939 0 0 25 0 1 0 25572653 210329600 50739 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6269/statm: 51350 50739 312 324 0 50419 0
Current children cumulated CPU time (s) 1799.84
Current children cumulated vsize (KiB) 205400

[startup+1800.4 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 6270
/proc/meminfo: memFree=1585456/2055920 swapFree=4184868/4192956
[pid=6269] ppid=6267 vsize=205400 CPUtime=1799.94
/proc/6269/stat : 6269 (bsolo3.0.16) R 6267 6269 6209 0 -1 4194304 52250 0 0 0 179055 939 0 0 25 0 1 0 25572653 210329600 50739 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6269/statm: 51350 50739 312 324 0 50419 0
Current children cumulated CPU time (s) 1799.94
Current children cumulated vsize (KiB) 205400

Child status: 0
Real time (s): 1800.5
CPU time (s): 1800.04
CPU user time (s): 1790.61
CPU system time (s): 9.42357
CPU usage (%): 99.9745
Max. virtual memory (cumulated for all children) (KiB): 206496

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

runsolver used 1.19882 second user time and 3.76643 second system time

The end

Begin job on node45 on Mon Apr 16 07:07:50 UTC 2007

IDJOB= 354390
IDBENCH= 2507
IDSOLVER= 163
FILE ID= node45/354390-1176707270

PBS_JOBID= 4560087

Free space on /tmp= 66521 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-liu.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354390-1176707270/instance-354390-1176707270.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node45/watcher-354390-1176707270 -o ROOT/results/node45/solver-354390-1176707270 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354390-1176707270/instance-354390-1176707270.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  ab83b851ef1a0a843838e278a21b0618

RANDOM SEED= 508349654

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node45.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.218
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.218
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:       1788808 kB
Buffers:         14320 kB
Cached:         190712 kB
SwapCached:       2572 kB
Active:          89744 kB
Inactive:       125156 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1788808 kB
SwapTotal:     4192956 kB
SwapFree:      4184868 kB
Dirty:            6296 kB
Writeback:           0 kB
Mapped:          16288 kB
Slab:            38272 kB
Committed_AS:   969824 kB
PageTables:       1396 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= 66521 MiB

End job on node45 on Mon Apr 16 07:37:51 UTC 2007