7042so|:V.(Tw1:17&::_,!m3ں        %"U8)Q.]5N*ed_]V-6xC$yxa7JKq>Js0H ~RN5NW0kKxJ^ħOy\t h7A+<"_EDaD=#ҍ3Z:jH5U$S?1^R%KP %΀k yjEo&DBmH'q#MަG(%5#')AQ w*׍fu=p*Ջf8kBS٣"EXGLfux;el +L L'-\/_n u$t }{,LLf LLf2:1*2xLC -L  L'L' ^7wi7jN]x.LLf LLf i>M=d[^.+-/",*0.1combinatorial-problems-0.0.5FileFormat.SATLIBCombinatorialOptimisation.SAT array-0.4.0.0basecontainers-0.5.2.1deepseq-1.3.0.0ghc-prim integer-gmpold-locale-1.0.0.4random-1.0.1.1time-1.4Control.Monad.InstancesGHC.Base GHC.Float System.RandomData.Time.Calendar.GregorianData.Time.Format.ParseData.Time.LocalTime.LocalTime Data.Either Data.Maybe GHC.Generics GHC.Tuple Data.Array Data.List Data.TupleGHC.ArrGHC.IOGHC.ListGHC.NumGHC.ShowPrelude System.IO Text.Read SATProblem clauseLookUp numClauses numVariables satproblem Data.IntMapData.IntMap.Base GHC.Classes GHC.Types loadCNFFile loadCNFFile1 saveAsCNF saveAsCNF1FilePathNTCo:IO