7004p,R("r%E*?3#Y>cYݮw        JKԕ,J.@$;!O >%B*|`61Zv=zN}֘;zyDNNcqOGTP57%㭇 ZZOÀ D[9hFA''>~ybwXH$q.mTwbVL;lGO; 8l“4k'bV6^_7*L Ex/`lz%w`6Sgc\ FVo LK+    !"#$%&'()*+,-./uO(܇3h}˂4y+D ,4ٿ0  y+D ,4ٿ123  23y+D ,4ٿ4/y+D ,4ٿ5   y+D ,4ٿ6233789:;<=>9?@2ABCDEFGHCIJ @JK @JL  y+D ,4ٿM!233789:;<=>9?@2ABCDEFGHCIJ @JK @J y+D ,4ٿNy+D ,4ٿO233789:;<=>9?@2ABCDEFGHCIJ @JK @JL  y+D ,4ٿP QRR789:;<=>9?@QABCDEFGHCIJ @Jy+D ,4ٿS TUTVWXYZ[\]X^_U789:;<=>9?@ @_A @_I W _YZ[\] 8?:;<=> 8?:;<=>y+D ,4ٿ`=TUTVWXYZ[\]X^_U789:;<=>9?@ @_A @_I 8?:;<=> W _YZ[\] W _YZ[\]y+D ,4ٿa   y+D ,4ٿb y+D ,4ٿc !2d e d7 " #fe$2g % & ' 2h  % (ei  : :? "h$3j % ) ' 3ijigy+D ,4ٿk!82e  *l mllnl +lmn 2eW?Z$w2+o,-,-W,X-Y,Z- WY7  . /XZXZ2p,,{W,X, XW7 XW?   (HDzwpq j}B*W y7tr Td T7 89:;<=> 0= 1 2 3d0W W 1 2 4d0W Wի*K a~Ist 5tt     --FDV5WR*%)ut 5tt     --t T5tUtV 6V789:;<=>8V789:;<=>:V7  89:;<=>;V7  89:;<=><V7-89:;<=>:?-23, 721 803A-v,  w,x   w3I  v 9w1 :y wB BI " ; $zj % yzxj < =v0 >tTU ? c0o ks{    -     --&[UlA_H||     --bTU 6U789:;<=>8U789:;<=>:U7  89:;<=>;U7  89:;<=><U7-89:;<=>:?-23, 721 803A-v,  >w,x   w3I  v 9w1 :y wB BI " ; $zj % yzxj < =v0g  %Tgg ?y+D ,4ٿ      --#$%&!'"3IV'm]>$4!   r887  9:;<=>B=\g`m"- 887-9:;<=>BBKn]- Ձ.W( g@<@y\n1BM?0) Aw\y#=Z7}887  Ok*^>C`s~U88JL)q>*t 5ttBTD4&?hJ`# T8879:;<=>B97?H^m $ 8879:;<=>B:n ɰF .+ ee789:;<=>8?29A3  723 jo<$wu-% !A8879:;<=>B;# ˃:Tbt,t 5tt!Cw6H RZ3t-! < = ; hLF=x;i   "D8  ; ـBT UH-    -"6mBD,) bp.# D< HͣӞ/ $e ' Ee7 89:;<=>8T W ' F0W ; % G ' H:U X ' F0X ; % G ' I9V Y ' F0Y ; % G YW?  J K ~w^twܝ= $ ' L MK{9 HZ %1 % G ;P_W|Y_ y%b N R?K% % O]T 9% % % ' P MfՏ ufr % Ob2Ld>†Sh͸ &" OLdfTގ &P OĘI΍Y4qp &~ O 켋8!8B&   '887  9:;<=>BB>   Q  R 'i>M=d[^.S 41o0P6ONMS` p  kbc f    ~} {f qrsu| 5acombinatorial-problems-0.0.5CombinatorialOptimisation.SAT array-0.3.0.2basecontainers-0.5.0.0deepseq-1.2.0.1ghc-prim integer-gmpold-locale-1.0.0.2random-1.0.0.3 time-1.2.0.3Control.Monad.InstancesGHC.Base GHC.FloatGHC.NumData.Time.Calendar.GregorianData.Time.Format.ParseData.Time.LocalTime.LocalTime Data.Array Data.Char Data.List Data.Maybe Data.TupleGHC.Arr GHC.ClassesGHC.ListGHC.ShowPreludeSystem.IO.Unsafe Data.IntMapData.IntMap.Base System.Random SATProblem clauseLookUpclausePosition numClausesnumSATEDClauses numVariablesvariableLookUpvariablePosition flipVariablegetTrueFalseCountmakeRandomSATProblemnumUnSATEDClausesrandomiseVariables satproblem setAllVars summariseSAT$fEqSATProblem$fEqSATProblem_$c/=xy$fEqSATProblem_$c==$fOrdSATProblem$fOrdSATProblem_$c<wilddsds1ds2ds3ds4ds5ds6wild1x#wild2ds7ds8ds9ds10ds11ds12ds13wild3y#wild4wild5$fOrdSATProblem_$c<=$fOrdSATProblem_$c>$fOrdSATProblem_$c>=$fOrdSATProblem_$ccompares1s2$fOrdSATProblem_$cmaxww1w2wwww1ww2ww3ww4ww5ww6ww7ww8$fOrdSATProblem_$cmin$fShowSATProblem$fShowSATProblem_$cshow$fShowSATProblem_$cshowListlss[]xs2lvl22showlys$fShowSATProblem_$cshowsPrecbcn$w$c==$w$c>$wflipVariable$wgetTrueFalseCount$wmakeRandomSATProblemg$wrandomiseVariablesgo3x1_r_xy1 $wsatproblem $wsetAllVarsgetTrueFalseCount1getTrueFalseCount2randomiseVariables1randomiseVariables_n summariseSAT1 summariseSAT2 summariseSAT3 summariseSAT4 SATisfied summariseSAT5 summariseSAT6 unSATisfied summariseSAT7satisfied clauses : summariseSAT8number of variables : summariseSAT9number of clauses : EqnotOrd GHC.TypesI#GHC.Prim<#GHC.BoolFalse==#True GHC.OrderingOrdering compareInt#ShowStringShowSunpackAppendCString#: showList__3++ showList__2 showList__1augmentfoldrInt#IntMapequal$fEqBoolelems$wlenfilter RandomGen-#>#+# fromList1Nil$fRandomBool_$crandoms$wshowSignedIntC#unpackCString#