ELF>D@@ HEL9rSIM9wJID$H߸ID$HCHHEID$HEHIDžAeDHEL9rNIM9wEID$H߸ID$HCHHEID$HEHIDžAefHEL9rSIM9wJID$H߸ID$HCHHEID$HEHIDžAeDHEL9rNIM9wEID$H߸ID$HCHHEID$HEHIDžAefHEL9rSIM9wJID$H߸ID$HCHHEID$HEHIDžAeDHEL9rSIM9wJID$H߸ID$HCHHEID$HEHIDžAeDHEL9rSIM9wJID$H߸ID$HCHHEID$HEHIDžAeDHEL9rSIM9wJID$H߸ID$HCHHEID$HEHIDžAeDHEL9rHEH]HAe@"I0M9wBID$HEID$HCID$ID$ID$ID$HCI$I\$HeIDž0AefD HEL9r"HCHEHHEHHu#AeT@  IM9w"ID$HCI$H[IIt$IDžAefD HEL9rTI(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" IPM9wdID$HEID$HEID$HCID$ID$ID$ID$ID$HEI$It$I|$LCHIDžPAe@" HCHEH[HEHHu#@   HEL9rHuHHEHHu#AeHEL9rHEH]HAeHEL9rHEH]HAe@HEL9r=IM9w4HEH]ID$ID$HEHEHIDžAeHEL9rHEH]1HAeHEL9r=IM9w4HEH]ID$ID$HEHEHIDžAe HEL9r"HCHEHuHEHAeHEL9r=IM9w4HEH]ID$HCI$It$H{HIDžAeHEL9r=IM9w4HEH]ID$HCI$HsI|$HIDžAeHEL9r*HEH]HCHEHEHAeHEL9rEIM9wIM9w5HEH]ID$HCI$I|$HIDžAef@HEL9r>IM9w5HEH]ID$HCI$I|$HIDžAefHEL9rHEH]HAe@HEL9r#HEH]HsHAeHEL9rHEH]HAe@HEL9r#HEH]HsHAeHEL9r=IM9w4HEH]ID$HCI$HsI|$HIDžAeHEL9r#HEH]HsHAeHEL9r=IM9w4HEH]ID$HCI$HsI|$HIDžAe"HH@"C HHHsxIhM9ID$ID$HEID$ID$ID$ID$HEID$ID$ID$ID$ID$ID$ID$I$I\$HHEHIDžhAeC`HEL9rgI(M9w^HEH]ID$ID$HCI$HCHEID$HEID$HEHEHEHIDž(AeHEL9rHEH]HAe@HEL9r6IM9w-HEH]ID$It$HIDžAefHEL9rHEH]HAe@HEL9r?I M9w6HEH]ID$ID$It$I|$HIDž AeHEL9rHEH]HsHAeDHEL9r"HEH]H{H[HAeHEL9rHEH]HsHAeD"HHHs=IM9ID$HE ID$HEI$H]It$H}H(IPM9wUID$HEID$HEID$ID$HEID$ID$ID$ID$ID$I$I\$H(eIDžPAeIDžAef"HHHsBI0M9wwID$HEID$ID$ID$ID$I$I\$H(eHCHEHE HEHCHE HCHEHEHEHIDž0Ae@"H]HEHu#,@"HHHs H(eD"HHHsH]HEHu#gD  HEL9r.HCHEH}HuH]HHEHHu#Aep IM9w#ID$HCI$I\$HtIDžAeDHEL9rGI M9w>HEH]ID$ID$I$It$I|$HIDž AeHEL9rHEH]HsHAeDHEL9rGI(M9w>HEH]ID$ID$HCI$It$I|$HIDž(AeHEL9r=IM9w4HEH]ID$HCI$It$H{HIDžAeHEL9rHEH]HAe@HEL9r2HEH]HEHCHEHEHAeHEL9rMIM9wDHEH]ID$HCI$ID$HEHEHEHIDžAeHEL9r9IM9w0HEH]ID$HCI$It$HIDžAe HEL9rGI(M9w>HEH]ID$ID$HCI$It$I|$HIDž(Ae HEL9r>IM9w5HEH]ID$HCI$I|$HIDžAefHEL9r2HEH]HEHCHEHEHAeHEL9rYI0M9wPHEH]ID$HCID$ID$ID$ID$I$It$H{HIDž0Ae HEL9rBI M9w9HEH]ID$HCID$HCI$It$HIDž AefDHEL9r*HEH]HEHEHAeHEL9r5IM9w,HEH]ID$It$H{HIDžAeHEL9rBIM9w9HEH]ID$ID$I$It$HIDžAefDHEL9r2HEH]HEHCHEHEHAeHEL9rMIM9wDHEH]ID$HCI$ID$HEHEHEHIDžAeHEL9r9IM9w0HEH]ID$HCI$It$HIDžAe HEL9rGI(M9w>HEH]ID$ID$HCI$It$I|$HIDž(AeHEL9r9IM9w0HEH]ID$HCI$It$HIDžAeHEL9rTI0M9wKHEH]ID$HC ID$ID$HCI$HsI|$MD$HIDž0Ae@HEL9rKI(M9wBHEH]ID$HCID$HCID$HC I$It$HIDž(AeDHEL9r2HEH]HEHCHEHEHAeHEL9r~IXM9wuHEH]ID$HCID$HCID$HC ID$ID$HCID$ID$ID$ID$I$It$I|$HIDžXAefHEL9rKI(M9wBHEH]ID$HCID$HCID$HC I$It$HIDž(AeDHEL9I`M9HEH]ID$HC ID$ID$HCID$HC(ID$ID$HCID$HC ID$HC(I$ID$HEHsH{ MD$ML$HIDž`Aef IM9IDŽ$@I$PIDŽ$XI$@I$hIDŽ$pI$XID$ID$I$pID$ID$I$pID$ID$HCID$I$@ID$ID$HCID$ID$ID$ID$ID$ID$I$I|$IDžAefHEL9rHEH]HsHAeDHEL9IĐM9IDŽ$xID$ID$ID$ID$ID$ID$ID$ID$ID$ID$ID$I$zID$ID$ID$ID$I4$ID$HEID$HEHEHIDžAe@HEL9rNIM9wEID$H߸ID$HCHHEID$HEHIDžAefHEL9rNIM9wEID$H߸ID$HCHHEID$HEHIDžAefHEL9rMIM9wDHEH]ID$HCI$HEID$HEHEHIDžAeHEL9rMIM9wDHEH]ID$HCI$ID$HEHEHEHIDžAe"H['HuHHEL9r/HEH]HCHEH[HEHHu#AefHEL9rHEH]HAe@HEL9r*HEH]HCHEHEHAeHEL9rGI(M9w>HEH]ID$ID$HCI$It$I|$HIDž(Ae"HHHs HeIPM9wUID$HEID$HCID$ID$HCID$ID$ID$ID$ID$I$I\$HeIDžPAef HEL9rH]HHEHHu#Ae(HEL9r2HEH]HEHCHEHEHAeHEL9rEIM9wIM9w5HEH]ID$HCI$I|$HIDžAefy8HEL9rYI0M9wPHEH]ID$ID$ID$ID$HCI$It$I|$HIDž0Ae{HEL9rBI(M9w9HEH]ID$ID$HCI$I\$It$H IDž(AefDHEL9r$HEH]HAeHEL9r6IM9w-HEH]ID$I|$HIDžAefHEL9rHI(M9w?HEH]ID$HCID$ID$It$I|$HIDž(Ae IPM9wXID$HCID$It$ID$ID$ID$ID$ID$I$It$I|$IDžPAeHEL9rPI(M9wGHEH]ID$HCID$ID$HCI$It$I|$HIDž(AeHEL9r$HEH]HAeHEL9r5IM9w,HEH]ID$It$H{HIDžAeHEL9r$HEH]HAeHEL9r5IM9w,HEH]ID$It$H{HIDžAeHEL9rHEH]HAe@cHEL9NIM9>HEH]IDŽ$ IDŽ$(IDŽ$0IDŽ$8I$"I$@IDŽ$HIDŽ$PHCI$`IDŽ$hI$PI$pI$:I$xID$ID$ID$ID$ID$ID$I$jID$ID$HCID$ID$ID$ID$ID$ID$ID$ID$ID$ID$ID$I$It$HIDžAefDHEL9rPI0M9wGHEH]ID$HCID$ID$HCI$It$I|$HIDž0AeHEL9rHEH]HAe@HEL9rHEH]HAe@HEL9rHEH]HAe@HEL9IxM9HEH]ID$ID$ID$ID$ID$ID$ID$ID$ID$ID$ID$ID$ID$ID$ID$ID$I$It$HIDžxAeHEL9rHI(M9w?HEH]ID$HCID$ID$It$I|$HIDž(AeHEL9rHEH]HsHAeD I0M9w/ID$I|$ID$I4$It$I|$IDž0Ae@H<%uHH%HHEHHEHHEHHEHHEHefD%%!!!!!! cnfThis is not a CNF file p cnf c c SAT instance in DIMACS CNF input format. c GHC 6.10.3.symtab.strtab.shstrtab.rela.text.rela.data.bss.rodata.note.GNU-stack.comment @m?t0K +?X&8p 1D6Dk>sDNsD DWGX  0b !0*87AXJhW ajw( 8@Pp$.H8BLPV`0jpt~8(p@   p  (   `  ` ( 2(<FP`ZdnhxHpP(p(  * 4h>HR\fpzX8(`h(X0 $ . 8p!BLV `8j!t8"~P"#p##`$$H%%P&&X''( )hp**4=Jx+Tu+x,,- p--..(/p//H00 1 11X2(22 3<p3F3PX4Z4d@5n5xH6677888@99(9@:;0H< 8<h(<2 =<=Fh>PPc %Wv  G e       7 T p      & V      , H o *       8 G a p       '@b7Sq@->Oa?7`h?r3dV_srtr3dV_closurer3dV_infor3dX_srtr3dX_closurer3dX_infor3dZ_srtr3dZ_closurer3dZ_infor3e1_srtr3e1_closurer3e1_infor3e3_srtr3e3_closurer3e3_infor3e5_srtr3e5_closurer3e5_infor3e7_srtr3e7_closurer3e7_infor3e9_srtr3e9_closurer3e9_infoFileFormatziSATLIB_loadCNFFile_srtc3pL_srtds3eX_infos3pq_infos3fa_infos3fe_infos3fi_infos3eC_infos3pr_infos3eQ_infos3eU_infos3pp_infos3po_infos3fl_infos3fo_infos3fr_infos3ft_infos3fw_infos3fy_infos3fF_infos3fI_infos3g8_infos3fW_infos3fY_infos3g0_infos3ga_infos3fK_infos3fM_infos3fU_infos3gc_infoc3pV_srtds3gu_infos3gl_infos3gp_infos3gr_infos3gw_infos3gB_infos3gF_infos3gH_infos3gJ_infos3gL_infoc3zw_strs3gS_infos3gQ_infos3gW_infos3h6_infos3h8_infos3h0_infos3h2_infoc3B4_strs3ha_infos3pw_infos3hc_infos3i8_infos3ia_infos3i6_infos3ic_infos3hH_infos3hT_infos3hP_infos3hR_infos3pC_infos3pB_infos3hV_infos3pG_infos3pD_infos3i4_infos3ie_infos3ht_infos3ig_infos3ii_infoc3q4_srtds3jk_infos3je_infos3jg_infos3ji_infos3jm_infos3jo_infos3j2_infos3j6_infos3j8_infoc3qa_srtdc3qe_srtdc3qi_srtdc3qm_srtds3iM_infos3iO_infoc3qr_srtds3iE_infos3iw_infos3iy_infos3iA_infos3iG_infos3iI_infos3iQ_infos3iS_infos3io_infos3iU_infos3iW_infos3jq_infos3js_infos3gf_infor3eb_srtr3eb_closurer3eb_infor3ed_srtr3ed_closurer3ed_infoFileFormatziSATLIB_saveAsCNF_srts3mg_infos3mi_infos3NV_infos3kx_infoc3Pz_strs3kN_infos3kL_infos3kP_infos3O2_infos3kR_infos3lr_infos3lt_infos3lv_infos3lD_infos3lb_infos3ld_infos3ll_infos3lF_infos3l1_infos3kY_infos3l3_infos3l5_infos3lH_infos3lJ_infos3lP_infos3lR_infos3kz_infos3kB_infos3lT_infos3lZ_infos3mk_infos3k1_infos3k3_infos3jS_infos3jV_infoc3W8_strs3jQ_infos3kj_infos3mm_infoc3Xa_strs3jG_infoc3Xq_strs3jE_infoc3XG_strs3jC_infos3jO_infos3mo_infos3jA_info_module_registeredbase_GHCziBase_zdf4_closurebase_GHCziBase_zdf12_closurestg_CAF_BLACKHOLE_infonewCAFstg_IND_STATIC_infostg_upd_frame_infostg_ap_p_fastbase_GHCziArr_zdf14_closurebase_GHCziArr_zdp1Ix_infocontainerszm0zi2zi0zi1_DataziMap_fromList_closurebase_GHCziIOBase_zdf25_closurebase_GHCziBase_return_infobase_GHCziArr_zn_closurebase_GHCziArr_listArray_closurebase_TextziRead_read_closurebase_GHCziRead_zdf20_closurebase_GHCziErr_error_closurebase_GHCziBase_unpackCStringzh_closurebase_GHCziList_filter_closurebase_GHCziList_zzip_closureinteger_GHCziInteger_smallInteger_closurebase_GHCziBase_map_closurebase_GHCziBase_zd_closurebase_GHCziBase_zi_closurebase_GHCziList_znzn_closurebase_GHCziList_concatMap_closurebase_GHCziList_foldl_closurebase_GHCziList_head_closurebase_GHCziList_repeat_closurebase_GHCziList_reverse_closurebase_GHCziList_tail_closurebase_SystemziIO_readFile_closurebase_DataziList_lines_closurebase_DataziList_words_closurecontainerszm0zi2zi0zi1_DataziMap_adjust_closurecontainerszm0zi2zi0zi1_DataziMap_elems_closurebase_GHCziBase_zdf1_closurebase_DataziList_partition_closurebase_GHCziNum_zdf6_closurebase_GHCziBase_zdf2_closureCombinatorialOptimisationziSAT_satproblem_closurebase_GHCziEnum_zdf1_closureFileFormatziSATLIB_loadCNFFile_closureFileFormatziSATLIB_loadCNFFile_infoghczmprim_GHCziTypes_ZC_con_infoghczmprim_GHCziTuple_Z2T_con_infostg_ap_ppp_fastbase_GHCziNum_abs_infostg_ap_n_faststg_ap_p_infobase_GHCziNum_fromInteger_infostg_ap_pp_infobase_GHCziClasses_zg_infostg_ap_pp_faststg_sel_1_upd_infobase_GHCziNum_negate_infobase_GHCziNum_zp_infostg_sel_0_upd_infostg_CHARLIKE_closurebase_GHCziClasses_zsze_infobase_GHCziClasses_zeze_infostg_INTLIKE_closurebase_GHCziErr_error_infoghczmprim_GHCziTypes_ZMZN_closureghczmprim_GHCziBool_False_closurebase_GHCziNum_zm_infobase_GHCziEnum_enumFromTo_infobase_GHCziEnum_enumFrom_infostg_ap_ppppp_fastbase_GHCziBase_zgzgze_infobase_GHCziNum_zdp2Num_infobase_GHCziShow_show_infobase_GHCziBase_zpzp_closurebase_GHCziList_concat_closurebase_DataziTuple_fst_closurebase_DataziTuple_snd_closurebase_GHCziList_init_closurebase_SystemziIO_writeFile_closurebase_DataziList_sortBy_closureFileFormatziSATLIB_saveAsCNF_closureFileFormatziSATLIB_saveAsCNF_infostg_ap_2_upd_infobase_GHCziClasses_compare_infoCombinatorialOptimisationziSAT_numClauses_closureCombinatorialOptimisationziSAT_numVariables_closure__stginit_FileFormatziSATLIB___stginit_base_DataziList___stginit_base_Prelude___stginit_arrayzm0zi2zi0zi0_DataziArray___stginit_containerszm0zi2zi0zi1_DataziMap___stginit_CombinatorialOptimisationziSAT___stginit_FileFormatziSATLIB/ <L T b g   @7 DT \ j o 8p    ? L\ d r w      O \l t   8(     0U ^ c    ^   H P = F K ~   pF x  0 8 8 P (  x  ( xV c t y x x   , 1 P   p  > K \    $ ) H v   (  `  H m  ` > K ]  j x     ( Hm z     1, 1 Ph~   h  ` h  0U b x H   h + 9 Xh    h  p  8`] f k E      5 B G 1X  (    !> K \ XX  p (  F K ES pX  P    - 6 ; P~        P. ; hD I p     * @w    S e w    X 86 Hu ( ` 3 P~       > K hT a   (  & + @e q     X   pF S ` p   0 p. ; H M hp    !  ! ! 5! X!! !  ! !0! "  " " "pN" [" !i" "" " " " " #%# 1# A# F# X## # ## # # #p$ $ p# $ H$pv$ $ "$ #$ $8$ $ `$%  0% ^% k% 8"}% $% %% % H%& 8&]& i& y& ~& && & %& P&' ' ' @'n' {' &' '' (  ( p!0( X'`( (( ( ( ) ) 2) Q) '|) ) )) ) )x-* p6* ?* @ H*  Q* x* (* )* * * *P+ +,+ 4+ B+ `+x+ ++ + + p+, , +, <, A, `,, , +, , , %- =- ,X-}- - - E -- - - p-. +. p-4. -A. h.. . . .. /= K= H<T= g= p= <y= = <= = => > ;%>  =*> P>u> > >> => h>> >  ? P? P'? 3? ?? K? W? pxlwT_   :   j  2  .   }:kB#tPjA\D\3t4n[  >!!"r""O##.$$%% &&+''s())*K++J,,,--T./00W1-222C33&4455q66M77]889i99:;<l<<<==>>>i?08X`8h (8 8@HPpx (08@HPX`hhpx Ppp 8Php*px+    (0p8@