An embedded and charset-unspecified text was scrubbed... Name: not available Url: http://list.coin-or.org/pipermail/bonmin/attachments/20080610/83367d65/attachment.pl