di610380x$Z/Oڬ)vTLM    B=޻1^yd]HRwDX n|*NxhR+sX tQ6' A1!g9#Fh#<i8 t]; t0ik>$6PRPg ,4yJW<Qƒ߇7gc^#)%sYz7?;b$Lz&f?ˣ5>pQ*FVu [-!R Pv%7Q>-QFlRܒ_S/4Xϡ~%r!+6FK i>M=d[^. !"mainFileFormat.SATLIBCombinatorialOptimisation.SATghc-primintegerbase array-0.2.0.0containers-0.2.0.1old-locale-1.0.0.1old-time-1.0.0.2random-1.0.0.1Control.Exception.BaseControl.Monad.Instances Data.TupleGHC.Base GHC.FloatGHC.Num Data.Array Data.ListGHC.Arr GHC.Classes GHC.IOBaseGHC.ListGHC.ShowPrelude System.IO Text.ReadData.Map SATProblem satproblem loadCNFFile saveAsCNFFilePathIO