70422.@䬂3vKxJ^ħOy\tX.t        "U8)Q.]5Nh2v~BYn*ed_]V-6x~:u{L&3C$yxa7JKq>Js0H ~RN5NM.bLlv;N5B .@EL &\!}U ^w5,O5 q#MަG!%5#'"AQ w*׍fu=p S"CiR2    h7A+<:_EDaD=#L>  _EDaD=$%&  %&_EDaD='O_EDaD=(L         _EDaD=)%&&* +,-./01,2M 3%4 56789:;6<M = N@3=_EDaD=>%&&* +,-./01,2M 3%4 56789:;6<M = N@3=?M N@3=M M_EDaD=@B%&&* +,-./01,2M 3%4 56789:;6<M = N@3=?M N@3=AM MM M M M _EDaD=B l%&&* +,-./01,2M 3%4 56789:;6<M = N@3=?M MM M _EDaD=CLZ DEE* +,-./01,2M 3D4 56789:;6<M = 3=_EDaD=F %&&* +,-./01,2M 3%4 56789:;6<M = N@3=?M N@3=AM4M*M*_EDaD=G G%&&* +,-./01,2M 3%4 56789:;6<M = N@3=?M N@3=AM*M4M4_EDaD=HL    _EDaD=IL _EDaD=J !,K LLK*M " MLM%N M # L %O  M $LP  - -2MOM&Q M % L &PQPN_EDaD=R!+%LL LS TSSUS LSTU %Lr̃`iWqVL*&L*&WL*X&YL*Z& N@WY*M M M ' (XZ5V=ul[ I\]+  ]* ,-./015/\^]* ,-./015\_M W )1W2M MM M , &^*M+2`a *]4 -./01566 +`WXYXYM+2`a ,]4 -./01566 +`WXYXY- &^*M+2`a -,4bcb +aWXYXYM+2`a .,4bcb +aWXYXYd,*bcc2M %-4eff<M & M  N@%&]* ./01567 /./2M %d4M & M  N@%&015 0\^6-2efed/qnodg P\K \* +,-./01 10 2 L  3K 0W M W 2 L  4K 0W M Wfũe^85h& 5 &C'F9Vi& 5 &cx!@>±7j& 5 &REK4xh>Ok& 5 &'7>|Ig lm 6mm     &&yJ#mѲnm 6mm     &&5m \6m]m_ 7_* +,-./01+_* +,-./01-_* +,-./01._* +,-./01/_* +,-./01-2M %&L* N@ % 1 N@ 0&4MoL*  JpL*q q<M M MrQ M  M pr N@p&?Mo N@p 1QM M  8 9o 0 :m\]M ;{ׁus    &     &&\]_  t  u&v&]*M %w& 5&Bx&+ 5+2MxMpNpyM W )uW4M_y<`aw <xaNM_y<`aw =x`Nw 9 > 0 N@ % 1\v* ? @ M* 0W M WAz{|} N@{ 02M ? @ @ M}| 0W M WM ? @ @ M|} 0W M W]_tuvg%~     &&![\] 7]* +,-./01+]* +,-./01-]* +,-./01.]* +,-./01/]* +,-./01-2M %&L* N@ % 1 N@ 0&4MoL*   zpL*q q<M M MrQ M  M pr N@p&?Mo N@p 1QM M  8 9o 0 B\M ;_EDaD=    &&ҍ3Z:jH5U  "c++* ,-./01504&hY7CY &"++* ,-./0155ˡ=t #QCZ#x$f= # M 0l߯"q L3 #DE\&>PV}$0++*M MM M eP.n +t$p++FD3 m 6mm$ES?1^R%KP %m++* ,-./015,ƧPI{N<%++* ,-./015-s\0x~&LL* +,-./01+2M %,4M & M  N@ %&΀k yjEo'U++* ,-./015.T8}ʍ(m 6mm'Fͷ/<-oV&( 8 9 M (_\]pHճ8 & (CLC6* oH& 5&(s|vP'>& 5&(DBmH    &)C7k=⎭M ~{)GEb{?1629VdL+FL L HL* +,-./01+\M W L I 0W M M J L K-]M X L I 0X M M J L L,_M Y L I 0Y M M J N@YW2M MM NN<8t˅~e2{ +| L O PA<2&%3b + M J MȯK)hF{↕+ M q,E{-+Ϣ= , L NcPϽʹ ,K L Q PMB1 }ɔ ,y L NU;sGK , L ) 7=cs , L Á꧰_q[8 - L rZ$3ͨc`î  -++* ,-./015/0sBm}2T&.-++* ,-./0151LL RLS.yi>M=d[^.T'$"V#C)B@>FG"RIJ!!"!kjih!! s!! ![gln~(Hcombinatorial-problems-0.0.5CombinatorialOptimisation.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.Char Data.List Data.TupleGHC.ArrGHC.ListGHC.NumGHC.ShowPreludeSystem.IO.Unsafe Data.IntMapData.IntMap.Base GHC.Classes$fEqSATProblem$fEqSATProblem_$c/=xy$fEqSATProblem_$c==$fOrdSATProblem$fOrdSATProblem_$c<wilddsds1ds2ds3ds4ds5ds6wild1x#wild2ds7ds8ds9ds10ds11ds12ds13wild3y#$fOrdSATProblem_$c<=wild4$fOrdSATProblem_$c>wild5$fOrdSATProblem_$c>=$fOrdSATProblem_$ccompares1s2$fOrdSATProblem_$cmax$fOrdSATProblem_$cmin$fShowSATProblem$fShowSATProblem_$cshow$fShowSATProblem_$cshowListlss[]xs2lvl20showlys$fShowSATProblem_$cshowsPrecbcn$w$c==wwww1ww2ww3$wflipVariableww1 changedVarw2ordsnegscp' ordChange overAllChangemodifiedClausePos negChange$wgetTrueFalseCount$wlgo$wlgo1$wlgo2$wlgo3$wmakeRandomSATProblemg$wrandomiseVariablesgo1x1etay1 $wsatproblemw3w4finalClausePositionlgo1zw5rbrb1lr $wsetAllVars SATProblem numClausesnumSATEDClauses numVariablesvariableLookUp clauseLookUpvariablePositionclausePosition flipVariable flipVariable1getTrueFalseCountgetTrueFalseCount1getTrueFalseCount2makeRandomSATProblemnumUnSATEDClausesrandomiseVariablesrandomiseVariables1randomiseVariables_go2randomiseVariables_lgorandomiseVariables_lgo1 satproblem setAllVars summariseSAT summariseSAT1 summariseSAT2 summariseSAT3 summariseSAT4 SATisfied summariseSAT5 summariseSAT6 unSATisfied summariseSAT7satisfied clauses : summariseSAT8number of variables : summariseSAT9number of clauses : not compareInt#ShowS GHC.CStringunpackAppendCString# showList__3 showList__2 showList__1IntMapequal$fEqBool$w!insertelems$wlenData.IntSet.BaseKey RandomGen fromList1Nil$fRandomBool_$crandomsGHC.EnumeftInt$wsum'Binrepeat$wshowSignedInt