ELF>H@@ "H[HH#fHEL9rHHEHHu #Aef"H[HH#fHEL9rHHEHHu #Aef"H[HH#fHEL9rHHEHHu #Aef"H[HHEL9rHHEHHu #Aef"H['HHEL9rHHEHHu #Aef"H[/HH#fHEL9rHHEHHu #Aef"H[7HH#fHEL9rHHEHHu #AefHEL9rXIM9wOID$H߸ID$HCHHEID$HEHIDžAeHEL9r`I0M9wWHEH]ID$HCID$ID$HCI$ID$HEID$HEHEHIDž0AeHEL9r`I0M9wWHEH]ID$HCID$ID$HCI$ID$HEID$HEHEHIDž0Ae I@M9w9ID$It$I|$ID$It$I<$It$I|$IDž@AefHEL9rSIM9wJID$H߸ID$HCHHEID$HEHIDžAeD HEL9rLI0M9wCID$It$ID$I<$ID$HEID$HEHEHIDž0AeHEL9rSIM9wJID$H߸ID$HCHHEID$HEHIDžAeDHEL9rSIM9wJID$H߸ID$HCHHEID$HEHIDžAeDHEL9rSIM9wJID$H߸ID$HCHHEID$HEHIDžAeDHEL9rSIM9wJID$H߸ID$HCHHEID$HEHIDžAeDHEL9rSIM9wJID$H߸ID$HCHHEID$HEHIDžAeDHEL9rSIM9wJID$H߸ID$HCHHEID$HEHIDžAeDHEL9rXIM9wOID$H߸ID$HCHHEID$HEHIDžAeHEL9rNIM9wEID$H߸ID$HCHHEID$HEHIDžAefHEL9r>IM9w5HEH]ID$HCI$I|$HIDžAef HEL9r"HEHuHEHAeHEL9r5IM9w,HEH]ID$It$H{HIDžAeHEL9r9IM9w0HEH]ID$HCI$It$HIDžAe HEL9r"HEHuHEHAeHEL9r5IM9w,HEH]ID$It$H{HIDžAeHEL9r9IM9w0HEH]ID$HCI$It$HIDžAeI`M9wXID$It$ID$ID$ID$ID$ID$ID$ID$ID$ID$ID$I$I\$eIDž`AeHEL9rLI0M9wCID$It$ID$I4$ID$HEID$HEHEHIDž0AeHEL9rNIM9wEID$H߸ID$HCHHEID$HEHIDžAef"HHHsHHDHEL9rhI0M9w_HEH]ID$HCID$ID$HCI$ID$HEID$HEHEHEHIDž0AeHEL9rEIM9wIM9w5HEH]ID$HCI$I|$HIDžAef!HEL9rYI0M9wPHEH]ID$HCID$ID$ID$I$It$I|$HIDž0AeHEL9rHEH]HsHAef!0HEL9rPI0M9wGHEH]ID$HCID$ID$HCI$It$I|$HIDž0Ae!0HEL9rYI0M9wPHEH]ID$HCID$ID$ID$I$It$I|$HIDž0AeHEL9r*HEH]HCHEHEHAeHEL9rHEH]HAe@HEL9r*HEH]HCHEHEHAeHEL9rHEH]HAe@$HEL99IM9)HEH]IDŽ$(IDŽ$0IDŽ$8IDŽ$@I$*I$HIDŽ$PIDŽ$XHCI$hIDŽ$pI$XI$xI$BID$ID$ID$ID$ID$I$rID$ID$HCID$ID$ID$ID$ID$ID$ID$ID$ID$ID$ID$I$It$HIDžAe"$IXM9w^ID$HEID$HEID$ID$HCID$HCID$ID$ID$ID$ID$I$I\$HeIDžXAef"$HHHs HeHCHEH[HEHHu#/ $HEL9rH]HHEHHu#AehHEL9r9IM9w0HEH]ID$HCI$It$HIDžAe#$HEL9rBI(M9w9HEH]ID$ID$HCI$I\$It$HIDž(AefD#$HEL9r9IM9w0HEH]ID$HCI$It$HIDžAegxHEL9rPI0M9wGHEH]ID$HCID$ID$HCI$It$I|$HIDž0AegxHEL9rYI0M9wPHEH]ID$HCID$ID$ID$I$It$I|$HIDž0AeHEL9rMIM9wDHEH]ID$HCI$HEID$HEHEHIDžAe!HEL9rMIM9wDHEH]ID$HCI$ID$HEHEHEHIDžAe"H['HuHHEL9r/HEH]HCHEH[HEHHu#AefHEL9r*HEH]HCHEHEHAe"IĀM9ID$HEID$HEID$ID$HCID$ID$ID$ID$ID$ID$HCID$ID$ID$ID$ID$ID$ID$I$I\$HeIDžAe@"HHHs HeHCHEH[HEHHu# HEL9rH]HHEHHu#Aeh IM9wID$It$I$I\$eIDžAefHEL9rHI(M9w?HEH]ID$HCID$ID$It$I|$HIDž(Ae IM9wID$It$I$I\$eIDžAefHEL9rHI(M9w?HEH]ID$HCID$ID$It$I|$HIDž(AeHEL9rPI0M9wGHEH]ID$HCID$ID$HCI$It$I|$HIDž0AeHEL9rHEH]HsHAeDHEL9rHEH]HsHAeD  HEL9rLI0M9wCID$I|$ID$I4$ID$HEID$HEHEHIDž0Ae@QHEL9r1IM9w(HEH]ID$It$HIDžAeHEL9rHI(M9w?HEH]ID$HCID$ID$It$I|$HIDž(AeHEL9rBI(M9w9HEH]ID$ID$HCI$I\$It$HeIDž(AefDHEL9rHEH]HAe@HEL9r1IM9w(HEH]ID$It$HIDžAeHEL9rHI(M9w?HEH]ID$HCID$ID$It$I|$HIDž(AeHEL9r>IM9w5HEH]ID$HCI$I|$HIDžAefHEL9rYI0M9wPHEH]ID$ID$ID$ID$HCI$It$I|$HIDž0Ae IPM9wMID$HCID$It$ID$ID$ID$ID$ID$ID$I$I\$eIDžPAeHEL9rPI(M9wGHEH]ID$HCID$ID$HCI$It$I|$HIDž(AeHEL9rHEH]HAe@HEL9rHI(M9w?HEH]ID$HCID$ID$It$I|$HIDž(AeHEL9r9IM9w0HEH]ID$HCI$It$HIDžAeHEL9rYI0M9wPHEH]ID$ID$ID$ID$HCI$It$I|$HIDž0AeI0M9w/ID$It$ID$I4$It$I|$IDž0Ae@HEL9rSIM9wJID$H߸ID$HCHHEID$HEHIDžAeDHEL9rSIM9wJID$H߸ID$HCHHEID$HEHIDžAeDHEL9rSIM9wJID$H߸ID$HCHHEID$HEHIDžAeDHEL9rNIM9wEID$H߸ID$HCHHEID$HEHIDžAefHEL9rSIM9wJID$H߸ID$HCHHEID$HEHIDžAeDHEL9rSIM9wJID$H߸ID$HCHHEID$HEHIDžAeDHEL9r2HEH]HEHCHEHEHAeHEL9rMIM9wDHEH]ID$HCI$ID$HEHEHEHIDžAe HEL9rHEH]HAe@HEL9rHEH]HAe@HEL9r=IM9w4HEH]ID$ID$HEHEHIDžAe"H[HH#fHEL9r%HEH]HsH[HEHAefD HEL9r"HCHEHuHEHAe  IM9w"ID$HCI$H[IIt$IDžAefD"H[HH#fHEL9r%HEH]HsH[HEHAefD HEL9r"HCHEHuHEHAe  IM9w"ID$HCI$H[IIt$IDžAefD"!HHHs^I8M9ID$HEID$HEID$ID$HE(ID$HE I$It$H}MD$H0I8M9wQID$HEID$HEID$ID$HE(ID$HE I$It$H}MD$H0IDž8AeIDž8AeD  !HEL9r:HCHEHuH}HCHEHCHEHsHEHAeHEL9I`M9w{HEH]ID$HC ID$ID$ID$ID$ID$ID$ID$ID$HCID$HCI$It$MD$HIDž`AeHEL9rHEH]HsHAeD"HHHs HeHe HEL9r*HEHuHEHEHAeHEL9rHI(M9w?HEH]ID$HCID$ID$It$I|$HIDž(AeHEL9r>IM9w5HEH]ID$HCI$I|$HIDžAefIĀM9wtID$HEID$MD$I|$ID$ID$ID$ID$It$ID$ID$I|$MD$ML$HEID$ID$I$I\$HeIDžAe@HEL9rHEH]HsHAeDHEL9rMIM9wDHEH]ID$HCI$HEID$HEHEHIDžAeHEL9rMIM9wDHEH]ID$HCI$ID$HEHEHEHIDžAe)HEL9r9IM9w0HEH]ID$HCI$It$HIDžAe/HEL9rPI0M9wGHEH]ID$HCID$ID$HCI$It$I|$HIDž0AeoHEL9rGI M9w>HEH]ID$HCID$HCI$I|$HIDž Ae HEL9r|IĀM9wpID$I|$It$ID$I|$ID$I|$ID$I|$ID$I<$ID$HEIt$I|$MD$ML$HIDžAeHEL9rHEH]HAe@HEL9r2HEH]HCHEHCHEHEHAeHEL9rMIM9wDHEH]ID$HCI$HEID$HEHEHIDžAeHEL9rMIM9wDHEH]ID$HCI$ID$HEHEHEHIDžAeHEL9r9IM9w0HEH]ID$HCI$It$HIDžAeHEL9rYI8M9wPHEH]ID$HCID$HC ID$ID$HCI$It$I|$HIDž8AeHEL9rOI(M9wFHEH]ID$HCID$HC ID$HC(I$HsI|$HIDž(Ae  HEL9IĐM9IDŽ$xHCID$I|$HCID$It$ID$I|$ID$I|$ID$I|$ID$I<$I$xHEIt$I|$MD$ML$HIDžAe@I(M9w(ID$ID$ID$ID$I4$I\$eIDž(AeHEL9rHEH]HAeHEL9rHEH]HsHAefHEL9rHEH]HsHAeDHEL9rHEH]HAe@HEL9rHEH]HAe@HEL9rHEH]HAe@HEL9r6IM9w-HEH]ID$It$I|$HIDžAefAHEL9r1IM9w(HEH]ID$It$HIDžAeHEL9rHEH]HsHAeDHEL9rHEH]HsHAeDHEL9rHEH]HsHAeDHEL9rHEH]HsHAeD@HEL9r`I0M9wWHEH]ID$HCID$ID$HCI$ID$HEID$HEHEHIDž0AeHEL9r^IM9wUHEH]ID$ID$I$HCHEID$HEHCHEHEHIDžAefHEL9r2HEH]HEHCHEHEHAeHEL9IHM9w{HEH]ID$HCID$ID$HC ID$ID$ID$ID$I$ID$HEID$HEHCHEHEHIDžHAe "HHHshIHM9ID$HEID$ID$HEID$HEID$ID$HE ID$ID$I$I\$It$H({IHM9w[ID$HEID$ID$HEID$HE ID$ID$ID$ID$HEI$I\$It$H(IDžHAeIDžHAe "HHHsLIM9ID$HE(I$HEID$HEHEHuHHEHI0M9w?ID$HEID$ID$HE ID$HEI$I\$It$H(?IDž0AeIDžAe"HHHIİM98IDŽ$XHE(I$hHEI$pIDŽ$xHE(ID$I$XID$HE ID$ID$I$xID$ID$HE0ID$ID$ID$HEID$ID$HE0ID$ID$ID$HEI$ID$HEI$xHEI$XHEIt$I|$HEHI M9w1ID$HEID$HEID$HEI$I\$H@IDž AeIDžAe"I M9wXID$HCID$HCI$HCHEHCHEHEID$HEHEHu(HEHIDž Ae"HuHEHHu#XHEL9raIM9wXHEH]HCHEHCHEHC HEHC(HEID$ID$I$Hs0I\$H^IDžAeHEL9r8IM9w/HEH]ID$HCI$H[It$HIDžAeHEL9r8IM9w/HEH]ID$HCI$H[It$HIDžAe IM9IDŽ$8HCI$HHCI$PHCI$XHC'I$`I$hIDŽ$pI$8ID$ID$HCID$I$8ID$ID$HCID$I$8ID$ID$ID$ID$ID$ID$ID$ID$ID$I$pID$ID$ID$I$I\$eIDžAeHEL9raI0M9wXHEH]ID$HCID$HCID$HC ID$HC(ID$HC0I$It$H{8HIDž0AeHEL9reI@M9w\HEH]ID$HCID$HC ID$HC(ID$HC0ID$HC8ID$HC@I$H[It$HIDž@AeHEL9rHEH]HsHAeDSHEL9I`M9w}HEH]ID$HCID$HCID$HC ID$HC(ID$HC8ID$HC@ID$HCHID$ID$HC0I$It$I|$HIDž`AefDHEL9rHEH]HAe@HEL9r2HEH]HEHCHEHEHAeHEL9rMIM9wDHEH]ID$HCI$ID$HEHEHEHIDžAeHEL9r9IM9w0HEH]ID$HCI$It$HIDžAeEHEL9rGI(M9w>HEH]ID$ID$HCI$It$I|$HIDž(AeEHEL9r=IM9w4HEH]ID$HCI$HsI|$HIDžAeHEL9r2HEH]HEHCHEHEHAeHEL9rXI0M9wOHEH]ID$HCID$ID$ID$ID$I$It$H{ H[HIDž0AeHEL9rJI(M9wAHEH]ID$HCID$HC ID$HC(I$H[It$HIDž(AefDHEL9r*HEH]HEHEHAeHEL9r5IM9w,HEH]ID$It$H{HIDžAeHEL9rBIM9w9HEH]ID$ID$I$It$HIDžAefDHEL9r2HEH]HEHCHEHEHAeHEL9rMIM9wDHEH]ID$HCI$ID$HEHEHEHIDžAeAHEL9rGI(M9w>HEH]ID$ID$HCI$It$I|$HIDž(AeAHEL9rHEH]HAe@EAHEL9rHI(M9w?HEH]ID$HCID$ID$It$I|$HIDž(AeHEL9rHEH]HAe@"I0M9wBID$HEID$HCID$ID$ID$ID$HCI$I\$HeIDž0AefD HEL9r"HCHEHHEHHu#AeT@  IM9w"ID$HCI$H[IIt$IDžAefDAHEL9rTI(M9wKHEH]ID$ID$HCID$ID$I$It$H{LC HIDž(Ae@HEL9rHEH]HAe@"I0M9wBID$HEID$HCID$ID$HCID$ID$I$I\$HeIDž0AefD HEL9r"HCHEHHEHHu#AeT@  IM9w"ID$HCI$H[IIt$IDžAefD"AIPM9wdID$HEID$HEID$HCID$ID$ID$ID$ID$HEI$It$I|$LCHIDžPAe@"AHCHEH[HEHHu#@  AHEL9rHuHHEHHu#AeUEHEL9rHI(M9w?HEH]ID$HCID$ID$It$I|$HIDž(AeUEHEL9rPI0M9wGHEH]ID$HCID$ID$HCI$It$I|$HIDž0AeUMHEL9rBI M9w9HEH]ID$HCID$HCI$It$HIDž AefDHEL9r2HEH]HEHCHEHEHAeUMHEL9rtIPM9wkHEH]ID$HCID$HC ID$ID$HCID$ID$ID$ID$I$H[It$I|$HIDžPAe@UMHEL9rJI(M9wAHEH]ID$HCID$HC ID$HC(I$H[It$HIDž(AefD MHEL9IM9IDŽ$8HCI$HHC%I$PHC-I$XHC5I$`M$hHC=I$pI$xIt$ID$HC ID$I|$ID$HCID$HCID$I|$I$8ID$ID$HCID$HCID$I|$I$8I$ID$HELMD$ML$HIDžAeIM9IDŽ$ IDŽ$0I$ I$@IDŽ$HI$ I$XIDŽ$`IDŽ$pID$ID$I$ ID$ID$I$0ID$ID$I$0ID$I$HID$I$`ID$I$pID$ID$ID$ID$ID$ID$ID$I4$I\$eIDžAe@HEL9rSIM9wJID$H߸ID$HCHHEID$HEHIDžAeDHEL9rSIM9wJID$H߸ID$HCHHEID$HEHIDžAeDHEL9rHEH]HAe@HEL9rHEH]HAe@HEL9r=IM9w4HEH]ID$ID$HEHEHIDžAeHEL9rHEH]HAe@HEL9r=IM9w4HEH]ID$ID$HEHEHIDžAeHEL9rHEH]HAe@"HHHsH]H(H#HEHEHEH"HEHEHEHEHEHHEH@HEL9rBHEH]HC(HEHC HEHCHEHCHEHEHAeHEL9r2HEH]HCHEHCHEHEHAeHEL9rII M9w@HEH]ID$HCID$HC0I$Hs(I|$LC H[HIDž Ae"IĨM9IDŽ$`HEI$pHCI$xHEID$ID$HE ID$HEID$I$`ID$HCID$ID$HE(ID$HEID$HCID$HEID$I$`ID$ID$ID$ID$ID$I$I\$H0eIDžAe  HEL9r>H}HCHEHCHEHCHEHCHEHHEHHu#AeHEL9rHEH]HAe@HEL9rHEH]HAe@HEL9r=IM9w4HEH]ID$ID$HEHEHIDžAeHEL9rHEH]HAe@HEL9r=IM9w4HEH]ID$ID$HEHEHIDžAeHEL9rHEH]1HAeHEL9r=IM9w4HEH]ID$ID$HEHEHIDžAeHEL9rHEH]HAe@"HHHsH]H(H#HEHEHEH"HEHEHEHEHEHHEH@HEL9rBHEH]HC(HEHC HEHCHEHCHEHEHAeHEL9r2HEH]HCHEHCHEHEHAeHEL9rII M9w@HEH]ID$HCID$HC0I$Hs(I|$LC H[HIDž Ae"IĨM9IDŽ$`HEI$pHCI$xHEID$ID$HE ID$HEID$I$`ID$HCID$ID$HE0ID$HE(ID$HCID$HEID$I$`ID$ID$ID$ID$ID$I$I\$H8eIDžAe  HEL9rFH}HC&HEHCHEHCHEHCHEHCHEHHEHHu#Ae"H[HuHHEL9r/HEH]HCHEH[HEHHu#AefHEL9r=IM9w4HEH]ID$HCI$It$H{HIDžAeHEL9rGI M9w>HEH]ID$HCID$HCI$I|$HIDž Ae"HHHshIHM9ID$HEID$ID$HEID$ID$ID$ID$I$Hu I|$MD$H(IHM9w[ID$HEID$ID$HEID$ID$ID$ID$I$HuI|$MD$H(IDžHAeIDžHAeHEL9rGHEH]HC(HEHC HEHCHEHCHEH[0HEHHu#Ae"HHHshIHM9ID$HEID$ID$HEID$ID$ID$ID$I$HuI|$MD$H(IHM9w[ID$HEID$ID$HEID$ID$ID$ID$I$Hu I|$MD$H(IDžHAeIDžHAeHEL9rGHEH]HC0HEHC HEHCHEHCHEH[(HEHHu#AeHEL9r`I0M9wWHEH]ID$HCID$ID$HCI$ID$HEID$HEHEHIDž0AeHEL9r&HEH]HsH{LC HAeDHEL9r2HEH]HCHEHCHEHEHAe"IĠM9IDŽ$hHEI$xID$HE ID$HEID$HC/ID$ID$HEID$HCID$ID$HCID$ID$ID$HCID$HCID$HC'ID$ID$ID$I$hI$I\$H(IDžAeHEL9rGHEH]HC0HEHC(HEHC HEHCHEH[HEHHu#Ae IM9qIDŽ$IDŽ$IDŽ$ IDŽ$0IDŽ$@I$I$HI$I$PI$ I$XI$0I$`IDŽ$hIDŽ$xIDŽ$IDŽ$IDŽ$IDŽ$I$hI$I$xI$I$I$I$I$I$I$IDŽ$I$I$IDŽ$I$I$ IDŽ$(I$BI$8I$I$@I$HI$I$PI$I$XIDŽ$`I$BI$pI$I$xI$ID$I$ID$I$(ID$ID$I$(ID$I$`ID$ID$I|$It$I$ID$I$`ID$ID$ID$ID$ID$ID$ID$I$I\$eIDžAeHuH}LELMH I@M9wCID$It$I|$MD$ML$HEID$HEID$HEI$I\$HeIDž@HHuH}LELMAe@HefHefH<%u`H%HHEHHEHHEHHEHHEHHEHHEHefDunSATisfiedSATisfiedsatisfied clauses : number of variables : number of clauses : = x \/ /\ main:CombinatorialOptimisation.SAT.SATProblemmain:CombinatorialOptimisation.SAT.SATProblemGHC 6.10.3.symtab.strtab.shstrtab.rela.text.rela.data.bss.rodata.note.GNU-stack.comment @u +u&MX 1}6}>~N~ ~WH* 3 ! xH)3=G8PP]gpp}x 0@PP0+8ER_(is8}HpX  `  $ . 8 BH L V H@  (p(81;0EPNXpan*x00phph  ` *H4>8HRH\fp@zX  !X!! ""#`##0$$%x%%#8&-&7 'A'K8(U^(h)rx)|) xX*p++,-& /0<-FPt.~h..0/x//0X0001p112 3 384x4(425<5Ft6~6x77h88 :h::@;;0<"<,H=6`n>x>>@???@@@0AxAABB(C C 8D (H" HE,  F6 G@ `HJ HT PI^ Ih Jr K|  L hL (M pM M HN N 0O O O P Q PQ Q 0R R S& S0 S: @TD TN TX HUb Ul (Vv hV V 0W W  X hX X (Y Y  Z xZ  [ [ 8 H ^ h! x. ^8 h (_r p_| _ (` p` ` (a a a 0b b c d pd d e pe e (f& pf0 f: (gD gN gX 0hb hl iv j pj j j `k k l `m pn n xo o  p q   ' Y 8   'Xp 4(l@0 8Tp!4W`>` *G`~( Tv  CVl`1?M` <`!0Mr.Xu65Tjzuh9H[nP >=\x%Et(\"<L{9mqxt- (t\ (u 0u    !-!V!!!us1xR_infos1yq_infos1yZ_infos1zy_infos1A6_infos1AE_infos1Bd_infor1a9_srtr1a9_closurer1a9_infor1ab_srtr1ab_closurer1ab_infos1d4_infos1cG_infor1ad_srtr1ad_closurer1ad_infor1af_srtr1af_closurer1af_infor1ah_srtr1aj_srtr1al_srtr1an_srtr1ap_srtr1ar_srtr1ar_closurer1ap_closurer1an_closurer1al_closurer1aj_closurer1ah_closurer1ah_infor1aj_infor1al_infor1an_infor1ap_infor1ar_infor1at_srtr1at_closurer1at_infor1av_srtr1av_closurer1av_infoCombinatorialOptimisationziSAT_getTrueFalseCount_srts1dX_infos1e9_infos1eb_infos1ed_infos1e1_infos1e3_infos1e5_infoCombinatorialOptimisationziSAT_numUnSATEDClauses_srtr1ax_srtr1ax_closurer1ax_infoCombinatorialOptimisationziSAT_summariseSAT_srtc1La_strc1Lg_strs1Ky_infos1g0_infos1fx_infoc1M6_strs1fk_infos1fe_infoc1MC_strs1f1_infos1eV_infoc1N8_strs1eH_infor1az_srtr1az_closurer1az_infos1jR_infos1jT_infos1jV_infos1jL_infos1jX_infos1jZ_infos1j4_infoc1QI_strs1j1_infos1iZ_infoc1Rc_strs1iW_infos1jk_infos1Oa_infos1O9_infos1jm_infos1jB_infos1jD_infos1jF_infos1k1_infos1k3_infos1ir_infos1it_infos1Op_infos1gJ_infos1h6_infos1Ox_infos1Ow_infos1hc_infos1hK_infos1hS_infos1hw_infos1hE_infos1hU_infos1hm_infos1hj_infos1ho_infos1hq_infos1hW_infos1hY_infoc1Yy_strs1gN_infos1gP_infos1i0_infos1i2_infos1i8_infos1ia_infos1iv_infoc1ZZ_strs1gu_infos1ix_infos1iz_infos1iF_infor1aB_srtr1aD_srtr1aD_closurer1aB_closurer1aB_infor1aD_infor1aF_srtr1aF_closurer1aF_infor1aH_srtr1aH_closurer1aH_infor1aJ_srtr1aJ_closurer1aJ_infor1aL_srtr1aL_closurer1aL_infoCombinatorialOptimisationziSAT_satproblem_srts1lb_infos1ld_infos1kk_infos1kn_infos1kp_infos23c_infos1kM_infos1kA_infos1kE_infos23a_infos1l2_infos1kS_infos1kW_infos239_infos1l4_infos1lf_infos1lp_infos23e_infos1ln_infos1lr_infos1lt_infoCombinatorialOptimisationziSAT_setAllVars_srts1mE_infos1mx_infos1mz_infos1mB_infos1mG_infos1mI_infoCombinatorialOptimisationziSAT_randomiseVariables_srts1mN_infos1nX_infos1nP_infos1nR_infos1nT_infos1nZ_infos1o1_infos2bo_infoCombinatorialOptimisationziSAT_makeRandomSATProblem_srts1oe_infos1oh_infos1ok_infos1on_infos1oq_infos1ou_infos1ow_infos1oy_infos1oB_infos1oE_infos1p1_infos1oY_infos1p3_infos1ph_infos1pp_infos1pz_infos1tn_infos1q5_infos1tk_infos1ti_infos1tj_infos1qs_infos1qK_infos1qB_infos1qX_infos1r0_infos1r2_infos1oL_infos1r4_infos1t4_infos1sY_infos1t0_infos1t2_infos1t6_infos1t8_infos1sM_infos1sQ_infos1sS_infos1sw_infos1sy_infos1sm_infos1sg_infos1si_infos1so_infos1sa_infos1sq_infos1rK_infos2dO_infos1rX_infos1s1_infos1s5_infos1rp_infos2dP_infos1rD_infos1rH_infos2dN_infos2dM_infos1s8_infos1ss_infos1sA_infos1sC_infos1ra_infos1sE_infos1sG_infos2dQ_infor1aN_srtr1aN_closurer1aN_infor1aP_srtr1aP_closurer1aP_infoCombinatorialOptimisationziSAT_flipVariable_srts1tG_infos1tJ_infos1tL_infos1tO_infos1tQ_infos1tT_infos2xf_infos1ub_infos1uf_infos1u7_infos1u9_infos2xe_infos1uh_infos1uk_infos1un_infos1up_infos1us_infos1uu_infos1ux_infos1uz_infos1uC_infos2xh_infos1uU_infos1uY_infos1uQ_infos1uS_infos2xg_infos1v0_infos2xi_infos1ve_infos1vs_infos1vu_infos2xw_infos1we_infos2xP_infos1wO_infos1x3_infos1xl_infos1xf_infos2y2_infos1xt_infoc2LA_strc2LJ_str_module_registeredCombinatorialOptimisationziSAT_numClauses_closureCombinatorialOptimisationziSAT_numClauses_infoCombinatorialOptimisationziSAT_numSATEDClauses_closureCombinatorialOptimisationziSAT_numSATEDClauses_infoCombinatorialOptimisationziSAT_numVariables_closureCombinatorialOptimisationziSAT_numVariables_infoCombinatorialOptimisationziSAT_variableLookUp_closureCombinatorialOptimisationziSAT_variableLookUp_infostg_ap_0_fastCombinatorialOptimisationziSAT_clauseLookUp_closureCombinatorialOptimisationziSAT_clauseLookUp_infoCombinatorialOptimisationziSAT_variablePosition_closureCombinatorialOptimisationziSAT_variablePosition_infoCombinatorialOptimisationziSAT_clausePosition_closureCombinatorialOptimisationziSAT_clausePosition_infocontainerszm0zi2zi0zi1_DataziMap_zdf8_closurebase_GHCziBase_zdf8_closurebase_GHCziBase_zdf2_closurestg_CAF_BLACKHOLE_infonewCAFstg_IND_STATIC_infostg_upd_frame_infostg_ap_pp_fastbase_GHCziClasses_zaza_closurestg_sel_5_upd_infostg_ap_pp_infobase_GHCziClasses_zeze_infostg_sel_1_upd_infobase_GHCziClasses_zddmzsze_closureCombinatorialOptimisationziSAT_zdf3_closurebase_GHCziClasses_ZCDEq_static_infostg_ap_p_fastbase_GHCziBase_zdf1_closurebase_GHCziClasses_compare_infobase_GHCziClasses_zddmmin_closureCombinatorialOptimisationziSAT_zdf2_closurebase_GHCziClasses_zddmmax_closurebase_GHCziClasses_zddmzlze_closurebase_GHCziClasses_zddmzg_closurebase_GHCziClasses_zddmzgze_closurebase_GHCziClasses_zddmzl_closurebase_GHCziClasses_ZCDOrd_static_infobase_GHCziShow_zdf14_closurebase_GHCziShow_zdf16_closurebase_GHCziShow_show_infobase_GHCziList_filter_closurebase_GHCziBase_zd_closurebase_GHCziList_length_closurecontainerszm0zi2zi0zi1_DataziMap_elems_closureCombinatorialOptimisationziSAT_getTrueFalseCount_closureCombinatorialOptimisationziSAT_getTrueFalseCount_infoghczmprim_GHCziBool_False_closureghczmprim_GHCziBool_True_closureghczmprim_GHCziTuple_Z2T_con_infobase_GHCziNum_zdf6_closureCombinatorialOptimisationziSAT_numUnSATEDClauses_closureCombinatorialOptimisationziSAT_numUnSATEDClauses_infostg_sel_0_upd_infobase_GHCziNum_zm_infobase_GHCziNum_zdp2Num_infobase_GHCziBase_unpackCStringzh_closurebase_GHCziList_concat_closureCombinatorialOptimisationziSAT_summariseSAT_closureCombinatorialOptimisationziSAT_summariseSAT_infostg_ap_n_faststg_ap_p_infostg_sel_2_upd_infoghczmprim_GHCziTypes_ZC_con_infostg_CHARLIKE_closureghczmprim_GHCziTypes_ZMZN_closurebase_GHCziBase_zpzp_closurebase_DataziTuple_fst_closurebase_GHCziBase_map_closurecontainerszm0zi2zi0zi1_DataziMap_assocs_closurebase_DataziList_intersperse_closurebase_DataziList_sortBy_closurebase_GHCziShow_zdf19_closurebase_GHCziEnum_zdf1_closurestg_ap_2_upd_infostg_INTLIKE_closurebase_GHCziEnum_enumFromTo_infobase_GHCziShow_zddmshowList_closureCombinatorialOptimisationziSAT_zdf1_closurebase_GHCziShow_zddmshowsPrec_closurebase_GHCziShow_ZCDShow_static_infocontainerszm0zi2zi0zi1_DataziMap_fromList_closurebase_GHCziClasses_zdp1Ord_infobase_DataziList_sum_closurecontainerszm0zi2zi0zi1_DataziMap_zn_closureinteger_GHCziInteger_smallInteger_closurebase_GHCziList_foldl_closurecontainerszm0zi2zi0zi1_DataziMap_adjust_closurecontainerszm0zi2zi0zi1_DataziMap_empty_closureCombinatorialOptimisationziSAT_satproblem_closureCombinatorialOptimisationziSAT_satproblem_infobase_GHCziNum_fromInteger_infobase_GHCziNum_zp_infostg_ap_ppp_fastCombinatorialOptimisationziSAT_SATProblem_con_infobase_GHCziList_zzip_closurebase_GHCziList_repeat_closureCombinatorialOptimisationziSAT_setAllVars_closureCombinatorialOptimisationziSAT_setAllVars_infostg_sel_4_upd_infostg_sel_3_upd_inforandomzm1zi0zi0zi1_SystemziRandom_zdf4_closureCombinatorialOptimisationziSAT_randomiseVariables_closureCombinatorialOptimisationziSAT_randomiseVariables_inforandomzm1zi0zi0zi1_SystemziRandom_randoms_infobase_GHCziClasses_zbzb_closurebase_GHCziList_elem_closurebase_GHCziList_take_closurebase_DataziTuple_zdf30_closurebase_GHCziArr_zn_closurebase_GHCziArr_listArray_closurebase_DataziList_nub_closurebase_DataziList_sort_closurebase_DataziList_unfoldr_closurerandomzm1zi0zi0zi1_SystemziRandom_zdf6_closurebase_GHCziBase_zdf12_closurebase_GHCziArr_zdf14_closureCombinatorialOptimisationziSAT_makeRandomSATProblem_closureCombinatorialOptimisationziSAT_makeRandomSATProblem_infobase_GHCziArr_zdp1Ix_infostg_ap_ppp_inforandomzm1zi0zi0zi1_SystemziRandom_randomR_infostg_ap_3_upd_infoghczmprim_GHCziTuple_Z3T_con_infobase_DataziMaybe_Just_con_infobase_GHCziEnum_enumFrom_infocontainerszm0zi2zi0zi1_DataziMap_insert_closurebase_GHCziClasses_not_closureCombinatorialOptimisationziSAT_flipVariable_closureCombinatorialOptimisationziSAT_flipVariable_infobase_GHCziNum_zdp1Num_infostg_sel_6_upd_infoCombinatorialOptimisationziSAT_SATProblem_closureCombinatorialOptimisationziSAT_SATProblem_infoCombinatorialOptimisationziSAT_SATProblem_slowCombinatorialOptimisationziSAT_SATProblem_static_info__stginit_CombinatorialOptimisationziSAT___stginit_base_DataziChar___stginit_base_DataziList___stginit_base_Prelude___stginit_base_SystemziIOziUnsafe___stginit_arrayzm0zi2zi0zi0_DataziArray___stginit_containerszm0zi2zi0zi1_DataziMap___stginit_randomzm1zi0zi0zi1_SystemziRandom___stginit_CombinatorialOptimisationziSATH \ 3 x 5 , 7 H 9  <P d >  @  EF$ G, H: B? DD C`h H K K L P` H+ N= N_ Ld DP x  J ' E4FD GL HZ O_ P N N L S ? ELF\ Gd Hr Uw V EF G H W V O E\Fl Gt H X V EF G H  Y V0(_ ElF| G H Z V8 EF G H [ V@ Xo E| F G H ] ^ ^  E F G H* H v H K a c  f L C 6 HC  Q `p  H  b  g L C0 ^ Hk  y `  H H b 6 ` D  W  j h d  N l L i! j0_ ElF| G H i( o > o >(. H; lM No Lt D| @ H N t ^(5 H> oC > X@ H u t ^( H o >8@F HS ll tq ^( H o >P  v w( x4 vP x\ p v v w x v  v, (8 vd vp w| x v p v  v) v2 w; xD vd 0r v  v p q HF HS ` ae X H 0 v w x y= HXX H  0 yX H p% v. w6 x; yh H t ` H o >h% H9 t> ^P`u H~ o >p` H v w x v! x- E vk t v  v h v p`. I d v` x  X, Hv H K |` H  `0`^ Hk x pX H  H y XN H[ m vv w~ x y H l   L i0^ Hk   L  H  (M Ha tf  x  @ v w v v@ f x   X ! h#! w@!xn! H{! N! !! {! h! w"x6" HC" lU" !Z" {"X" H" X!"  "" y#p%# H2# zH#pm# Hz# z#h# ## `## L# S$pF$ HS$ #X$ ~$X$ H$ "$ 0$$ a$X&% H3%  <% $p%`% H% o% >x%`% H% %% } &XN& H[& %m& %r& a&X& H& 8&& a& p'X6' HC' vL' wU' x^' &k' y'P' '  '' v' w (XN( H[( Hm( 'z( {(`( H( o( >(X) H#) 8(5) (:) }`)X) H) )) p)X) H * v* w* x&* x)3* y`*P* 8* )* y* ** E +F+ G$+ H2+ 7+ X++ E+F+ G+ H+ + +, E,F,, G4, HB, G, Sh,, E,F, G, H, S,- E$-F4- G<- HJ- O- ip-- E-F- G- H- - S-x. H). 9. L>. iP.x~. H. .. . L. .X. H. / S/8=/ HF/ `/8/ H/ 0// t/ i 0 H!0 /80pq0 Lv0 i0p0 X0%1 H91 0P1p1 L1 i1p1 p12P72 0R2 0h2 2 12 12 3HN3 0V3 2h383 H3 h.3 .3 x/3  33 3  4`E4 HR4 c4 4 44 4 L4 4 x44@&5 H35 84E5 4J5 {p5@5 H5 55 a5 506 3-6 5@6 6 66 H6 67 H7 u+7 <7 LA7 i`77 H7 67 7 L7 78 H8 x7(8 P8~8 H8 68 78 a88 H 9 h8!9 a&9 H99 89 9 9 u9 l9 :-: H6: ;: SP:u: H: L: : : H: u: ; L ; i(; V; Hc; :|; ; L; ;; H; @;; <F< HS< h:n< ;{< a<< H< 0<= a(=m= <= = = u= l>.>  :7> H=]> h>> H> > H>? H? (?M? HV? [? p?? H? ? ?? H? ? D@.@ H;@ ?@@ h@@ H@ @@ @@ HA A`=A HJA `ApA HA bApA HA bApB H+B xA=B A_B LdB iBB HB hB B B B C5C HAC QC LVC ihCC HC NC (CC hC C D  DPWD NiD vD hD ND vD h0EPgE lwE E LE 8DE NE hFPIF BmF CF lF F G #G HE>G GPG BG 1G LG  FHP0H GHHPvH HH hH xH xI HI NfI HsI lIHI `HJ u2J HQJ PIpJ hJ hJ JPK HK IMK pKPK HK JL-L H:L PLPL HL KL  LL aMx5M H>M CM fXM}M HM M LM iMM HM pMN  N LN 0NH^N HkN MxN NHN HN (MN HNN aOHFO HSO NdO aOO HO O LO iOP HP O-P h6P hPP HP OP Q HQ !Q t&Q 8QHfQ HsQ QQ QxQ HQ hQ xQ xQ R=R HIR YR L^R ipRR HR 0RR R LR RHS H+S Q4S RAS hSS HS S SSHS HS SS ST a(TMT HVT [T ST vT hU TVU TUhU HU @TU HUU V5V H>V CV SvV vV hV hV>W VpWhW UW (VW 0WW Xh0X WHX`|X  XXHX HX SX hXX YH>Y HKY PQ]Y XjY aYHY HY (YY cZ-Z H9Z IZ LNZ i`ZHZ HZ YZ  ZZ hZ [H6[ HC[ xZ[@[ hL'\ 0O>\ Pk\  [\@\ >] > ] ><] @?H] ?Q] @Z] @p] 0A] [] ^ /^ E<^FL^ GT^ Hb^ g^ S^P^ E^F^ G^ H^ ^ S_5_ H>_ C_ SX_}_ H_ __ H_ p__ t_ i`5` H>` X`` H` (`` t` i`` H` ` SaOa LTa ihaa La (aaa Ha ib ab=b HYb L^b ipbb Hb 0bb c Jc a{c bc hcf Xff Hf (ff tf iff Hf f SgOg LTg ihgg Lg (ggg Hg ih gh=h HYh L^h iphh Hh 0hh i Ji g{i hi hiDj ij Hj pjjk Hk K)k xHkvk Hk jk ak kk l l l h-l 2l [l lml l hl l ll H%m kHmm Nm lm hm m m Nm ln hn n Xn}n Hn `mnn H o No N?o LDo i`oo Ho Hoo Ho Lo ip8p lMp xoqp op pq HMq  ppqxq (_q _q p`q `q d$r pd0r epu>4u ?u Ou [u gu su u u u Q;;MIMmMIhRTRRRRR( R I3 _ I MZ I R' M I RmnssM_Ls_ sz_sResIINrINI_sG_sRRR IImRo_!Im"I"I;#R#R$Tf$R$I%s&R&I&I~'I(I(sM)I)RF*I*I@+R+RP,R,X-R-RG.m. /RT/s/*0R00B1R1122_3I 4[4R4M]5I5I6RJ7m768R8I49I9D:R:;m;;R<I=I=>>?Rd?R?R?RS@I@R ARSARARARmBB_Cm DEM,GIfGHGM-IRIRVKIKRCLRLILMRMmNNROIrOIOmUPIPR/QQIQRgRmRTSISRTIdTRoUULVRWWWXI}YIYRWZmZIo[R\p^R^RL_R_s_L`s`aR]amaMbgbmbdRdsBeeseIfsfgR]ggMhghh}jR2kIkIIllm5nMooopH=tu468: =(?0A8B@CHDPpJxDPOPQSUVWV X(V0Y8V@ZHVP[XV`\hPpxP0(80HPp]x^X  `abcCeiki H@oHpPDX^`rpyxopz{a|S}~i^dq * (08x@HXX*xp+S+S,i- (S0-PX{`ahpxcSi0aia (S08i@HP`hpaxbcSiD (8@SH^hpSx^aSiHx